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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 8.2K Feb 25 16:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 16:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 16:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 18:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 25 18:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 17:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 25 17:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 2.8M 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 1678389118121

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=DLCflexbar-PT-5a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 19:11:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 19:11:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 19:11:59] [INFO ] Load time of PNML (sax parser for PT used): 292 ms
[2023-03-09 19:11:59] [INFO ] Transformed 1415 places.
[2023-03-09 19:11:59] [INFO ] Transformed 10593 transitions.
[2023-03-09 19:11:59] [INFO ] Found NUPN structural information;
[2023-03-09 19:11:59] [INFO ] Parsed PT model containing 1415 places and 10593 transitions and 41484 arcs in 438 ms.
[2023-03-09 19:12:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1415 places, 10593 transitions and 41484 arcs took 72 ms.
Total runtime 539 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 5a
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: 1415 places, 10593 transitions, 41484 arcs.
AT ITER 0 NEW BEST:: SOT 8913446 SOS 7528787 HAS SOPS 3709854 HAS SOUS 567692 HAS SOUPS 243619 WITH SCORE 251147.787
AT ITER 2 NEW BEST:: SOT 8913446 SOS 7528787 HAS SOPS 3709854 HAS SOUS 567648 HAS SOUPS 243575 WITH SCORE 251103.787
AT ITER 3 NEW BEST:: SOT 8913009 SOS 7530841 HAS SOPS 3709493 HAS SOUS 567379 HAS SOUPS 243191 WITH SCORE 250721.84100000001
AT ITER 15 NEW BEST:: SOT 8913009 SOS 7530841 HAS SOPS 3709493 HAS SOUS 567255 HAS SOUPS 243067 WITH SCORE 250597.84100000001
AT ITER 65 NEW BEST:: SOT 8913009 SOS 7530841 HAS SOPS 3709493 HAS SOUS 567223 HAS SOUPS 243035 WITH SCORE 250565.84100000001
AT ITER 82 NEW BEST:: SOT 8913009 SOS 7530841 HAS SOPS 3709493 HAS SOUS 567171 HAS SOUPS 242983 WITH SCORE 250513.84100000001
AT ITER 89 NEW BEST:: SOT 8913009 SOS 7530841 HAS SOPS 3709493 HAS SOUS 567145 HAS SOUPS 242957 WITH SCORE 250487.84100000001
AT ITER 93 NEW BEST:: SOT 8911426 SOS 7539835 HAS SOPS 3713055 HAS SOUS 566231 HAS SOUPS 242043 WITH SCORE 249582.835
AT ITER 133 NEW BEST:: SOT 8911250 SOS 7539483 HAS SOPS 3712703 HAS SOUS 565967 HAS SOUPS 241779 WITH SCORE 249318.483
AT ITER 143 NEW BEST:: SOT 8911250 SOS 7539483 HAS SOPS 3712703 HAS SOUS 565859 HAS SOUPS 241671 WITH SCORE 249210.483
AT ITER 163 NEW BEST:: SOT 8911597 SOS 7520521 HAS SOPS 3714957 HAS SOUS 565444 HAS SOUPS 241568 WITH SCORE 249088.521
AT ITER 208 NEW BEST:: SOT 8910073 SOS 7527654 HAS SOPS 3717344 HAS SOUS 564695 HAS SOUPS 240819 WITH SCORE 248346.654
AT ITER 211 NEW BEST:: SOT 8909145 SOS 7529230 HAS SOPS 3715644 HAS SOUS 564061 HAS SOUPS 240029 WITH SCORE 247558.23
AT ITER 212 NEW BEST:: SOT 8909019 SOS 7528348 HAS SOPS 3714762 HAS SOUS 563935 HAS SOUPS 239903 WITH SCORE 247431.348
AT ITER 237 NEW BEST:: SOT 8908169 SOS 7529728 HAS SOPS 3713202 HAS SOUS 563363 HAS SOUPS 239191 WITH SCORE 246720.728
AT ITER 238 NEW BEST:: SOT 8906357 SOS 7535832 HAS SOPS 3714532 HAS SOUS 562062 HAS SOUPS 237890 WITH SCORE 245425.832
AT ITER 262 NEW BEST:: SOT 8905898 SOS 7537339 HAS SOPS 3714002 HAS SOUS 561784 HAS SOUPS 237515 WITH SCORE 245052.339
AT ITER 269 NEW BEST:: SOT 8905816 SOS 7537052 HAS SOPS 3713715 HAS SOUS 561702 HAS SOUPS 237433 WITH SCORE 244970.052
AT ITER 277 NEW BEST:: SOT 8904605 SOS 7541351 HAS SOPS 3714864 HAS SOUS 561009 HAS SOUPS 236740 WITH SCORE 244281.351
AT ITER 281 NEW BEST:: SOT 8904605 SOS 7541351 HAS SOPS 3714864 HAS SOUS 560903 HAS SOUPS 236634 WITH SCORE 244175.351
AT ITER 282 NEW BEST:: SOT 8904407 SOS 7540262 HAS SOPS 3714468 HAS SOUS 560505 HAS SOUPS 236335 WITH SCORE 243875.262
AT ITER 311 NEW BEST:: SOT 8904407 SOS 7540262 HAS SOPS 3714468 HAS SOUS 560381 HAS SOUPS 236211 WITH SCORE 243751.262
AT ITER 312 NEW BEST:: SOT 8904265 SOS 7539978 HAS SOPS 3715178 HAS SOUS 560097 HAS SOUPS 236069 WITH SCORE 243608.978
AT ITER 337 NEW BEST:: SOT 8902698 SOS 7549699 HAS SOPS 3719103 HAS SOUS 559232 HAS SOUPS 235204 WITH SCORE 242753.699
AT ITER 343 NEW BEST:: SOT 8902471 SOS 7548830 HAS SOPS 3718234 HAS SOUS 558922 HAS SOUPS 234894 WITH SCORE 242442.83
AT ITER 353 NEW BEST:: SOT 8902471 SOS 7548830 HAS SOPS 3718234 HAS SOUS 558884 HAS SOUPS 234856 WITH SCORE 242404.83
AT ITER 370 NEW BEST:: SOT 8902283 SOS 7548454 HAS SOPS 3718516 HAS SOUS 558508 HAS SOUPS 234574 WITH SCORE 242122.454
AT ITER 394 NEW BEST:: SOT 8901831 SOS 7546710 HAS SOPS 3718732 HAS SOUS 557918 HAS SOUPS 234264 WITH SCORE 241810.71
AT ITER 395 NEW BEST:: SOT 8901831 SOS 7546710 HAS SOPS 3718732 HAS SOUS 557828 HAS SOUPS 234174 WITH SCORE 241720.71
AT ITER 402 NEW BEST:: SOT 8901050 SOS 7547898 HAS SOPS 3717295 HAS SOUS 557306 HAS SOUPS 233527 WITH SCORE 241074.898
AT ITER 412 NEW BEST:: SOT 8900900 SOS 7546896 HAS SOPS 3717931 HAS SOUS 556922 HAS SOUPS 233377 WITH SCORE 240923.896
AT ITER 414 NEW BEST:: SOT 8900791 SOS 7546678 HAS SOPS 3718665 HAS SOUS 556677 HAS SOUPS 233268 WITH SCORE 240814.678
AT ITER 421 NEW BEST:: SOT 8900199 SOS 7549058 HAS SOPS 3717643 HAS SOUS 556610 HAS SOUPS 233039 WITH SCORE 240588.058
AT ITER 422 NEW BEST:: SOT 8900178 SOS 7548269 HAS SOPS 3718597 HAS SOUS 556343 HAS SOUPS 233021 WITH SCORE 240569.269
AT ITER 455 NEW BEST:: SOT 8899135 SOS 7554726 HAS SOPS 3720994 HAS SOUS 555826 HAS SOUPS 232504 WITH SCORE 240058.726
AT ITER 458 NEW BEST:: SOT 8898993 SOS 7554442 HAS SOPS 3721375 HAS SOUS 555542 HAS SOUPS 232315 WITH SCORE 239869.442
AT ITER 462 NEW BEST:: SOT 8898858 SOS 7553617 HAS SOPS 3721845 HAS SOUS 555251 HAS SOUPS 232209 WITH SCORE 239762.617
AT ITER 475 NEW BEST:: SOT 8898858 SOS 7553617 HAS SOPS 3721845 HAS SOUS 555177 HAS SOUPS 232135 WITH SCORE 239688.617
AT ITER 484 NEW BEST:: SOT 8898858 SOS 7553617 HAS SOPS 3721845 HAS SOUS 555091 HAS SOUPS 232049 WITH SCORE 239602.617
AT ITER 485 NEW BEST:: SOT 8898639 SOS 7553179 HAS SOPS 3722625 HAS SOUS 554605 HAS SOUPS 231737 WITH SCORE 239290.179
AT ITER 495 NEW BEST:: SOT 8898639 SOS 7553179 HAS SOPS 3722625 HAS SOUS 554555 HAS SOUPS 231687 WITH SCORE 239240.179
AT ITER 502 NEW BEST:: SOT 8898548 SOS 7552199 HAS SOPS 3721645 HAS SOUS 554319 HAS SOUPS 231451 WITH SCORE 239003.199
AT ITER 523 NEW BEST:: SOT 8897818 SOS 7556873 HAS SOPS 3723841 HAS SOUS 553788 HAS SOUPS 230920 WITH SCORE 238476.873
AT ITER 528 NEW BEST:: SOT 8893562 SOS 7549657 HAS SOPS 3721045 HAS SOUS 553229 HAS SOUPS 230701 WITH SCORE 238250.657
AT ITER 529 NEW BEST:: SOT 8891290 SOS 7528886 HAS SOPS 3720061 HAS SOUS 552166 HAS SOUPS 229638 WITH SCORE 237166.886
AT ITER 541 NEW BEST:: SOT 8891290 SOS 7528886 HAS SOPS 3720061 HAS SOUS 552074 HAS SOUPS 229546 WITH SCORE 237074.886
AT ITER 560 NEW BEST:: SOT 8890786 SOS 7527362 HAS SOPS 3719741 HAS SOUS 551614 HAS SOUPS 229258 WITH SCORE 236785.362
AT ITER 586 NEW BEST:: SOT 8889704 SOS 7537005 HAS SOPS 3723826 HAS SOUS 551179 HAS SOUPS 228823 WITH SCORE 236360.005
AT ITER 591 NEW BEST:: SOT 8889523 SOS 7536643 HAS SOPS 3725326 HAS SOUS 550686 HAS SOUPS 228596 WITH SCORE 236132.643
AT ITER 593 NEW BEST:: SOT 8888984 SOS 7549936 HAS SOPS 3730156 HAS SOUS 550699 HAS SOUPS 228206 WITH SCORE 235755.936
AT ITER 609 NEW BEST:: SOT 8888833 SOS 7549106 HAS SOPS 3730558 HAS SOUS 550417 HAS SOUPS 228100 WITH SCORE 235649.106
AT ITER 627 NEW BEST:: SOT 8888833 SOS 7549106 HAS SOPS 3730558 HAS SOUS 550293 HAS SOUPS 227976 WITH SCORE 235525.106
AT ITER 633 NEW BEST:: SOT 8887935 SOS 7558138 HAS SOPS 3734312 HAS SOUS 550043 HAS SOUPS 227726 WITH SCORE 235284.138
AT ITER 650 NEW BEST:: SOT 8887935 SOS 7558138 HAS SOPS 3734312 HAS SOUS 549919 HAS SOUPS 227602 WITH SCORE 235160.138
AT ITER 677 NEW BEST:: SOT 8887060 SOS 7562010 HAS SOPS 3734194 HAS SOUS 549689 HAS SOUPS 227182 WITH SCORE 234744.01
AT ITER 680 NEW BEST:: SOT 8887060 SOS 7562010 HAS SOPS 3734194 HAS SOUS 549565 HAS SOUPS 227058 WITH SCORE 234620.01
AT ITER 686 NEW BEST:: SOT 8887060 SOS 7562010 HAS SOPS 3734194 HAS SOUS 549511 HAS SOUPS 227004 WITH SCORE 234566.01
AT ITER 688 NEW BEST:: SOT 8885782 SOS 7566894 HAS SOPS 3733534 HAS SOUS 548787 HAS SOUPS 226016 WITH SCORE 233582.894
AT ITER 692 NEW BEST:: SOT 8885782 SOS 7566894 HAS SOPS 3733534 HAS SOUS 548757 HAS SOUPS 225986 WITH SCORE 233552.894
AT ITER 693 NEW BEST:: SOT 8885740 SOS 7566726 HAS SOPS 3733366 HAS SOUS 548715 HAS SOUPS 225944 WITH SCORE 233510.726
AT ITER 694 NEW BEST:: SOT 8885740 SOS 7566726 HAS SOPS 3733366 HAS SOUS 548637 HAS SOUPS 225866 WITH SCORE 233432.726
AT ITER 698 NEW BEST:: SOT 8885606 SOS 7565999 HAS SOPS 3732639 HAS SOUS 548503 HAS SOUPS 225732 WITH SCORE 233297.999
AT ITER 701 NEW BEST:: SOT 8885493 SOS 7565773 HAS SOPS 3733204 HAS SOUS 548277 HAS SOUPS 225619 WITH SCORE 233184.773
AT ITER 702 NEW BEST:: SOT 8883696 SOS 7572320 HAS SOPS 3735271 HAS SOUS 546908 HAS SOUPS 224250 WITH SCORE 231822.32
AT ITER 734 NEW BEST:: SOT 8883696 SOS 7572320 HAS SOPS 3735271 HAS SOUS 546784 HAS SOUPS 224126 WITH SCORE 231698.32
AT ITER 740 NEW BEST:: SOT 8883702 SOS 7572116 HAS SOPS 3735151 HAS SOUS 546784 HAS SOUPS 224126 WITH SCORE 231698.116
AT ITER 743 NEW BEST:: SOT 8883702 SOS 7572116 HAS SOPS 3735151 HAS SOUS 546660 HAS SOUPS 224002 WITH SCORE 231574.116
AT ITER 749 NEW BEST:: SOT 8882072 SOS 7569660 HAS SOPS 3733123 HAS SOUS 546763 HAS SOUPS 223996 WITH SCORE 231565.66
AT ITER 754 NEW BEST:: SOT 8881900 SOS 7568714 HAS SOPS 3732177 HAS SOUS 546504 HAS SOUPS 223737 WITH SCORE 231305.714
AT ITER 758 NEW BEST:: SOT 8881900 SOS 7567636 HAS SOPS 3732835 HAS SOUS 546171 HAS SOUPS 223652 WITH SCORE 231219.636
AT ITER 780 NEW BEST:: SOT 8881439 SOS 7568789 HAS SOPS 3732245 HAS SOUS 545899 HAS SOUPS 223297 WITH SCORE 230865.789
AT ITER 808 NEW BEST:: SOT 8881439 SOS 7568789 HAS SOPS 3732245 HAS SOUS 545799 HAS SOUPS 223197 WITH SCORE 230765.789
AT ITER 828 NEW BEST:: SOT 8881439 SOS 7567872 HAS SOPS 3732245 HAS SOUS 545668 HAS SOUPS 223197 WITH SCORE 230764.872
AT ITER 836 NEW BEST:: SOT 8879628 SOS 7576055 HAS SOPS 3734996 HAS SOUS 544287 HAS SOUPS 221816 WITH SCORE 229392.055
AT ITER 840 NEW BEST:: SOT 8879113 SOS 7577648 HAS SOPS 3734132 HAS SOUS 544208 HAS SOUPS 221620 WITH SCORE 229197.648
AT ITER 884 NEW BEST:: SOT 8878427 SOS 7581287 HAS SOPS 3733382 HAS SOUS 544200 HAS SOUPS 221403 WITH SCORE 228984.287
AT ITER 885 NEW BEST:: SOT 8878241 SOS 7580915 HAS SOPS 3733661 HAS SOUS 543828 HAS SOUPS 221124 WITH SCORE 228704.915
AT ITER 893 NEW BEST:: SOT 8877615 SOS 7580047 HAS SOPS 3732793 HAS SOUS 543541 HAS SOUPS 220837 WITH SCORE 228417.047
AT ITER 896 NEW BEST:: SOT 8877492 SOS 7580826 HAS SOPS 3732711 HAS SOUS 543459 HAS SOUPS 220714 WITH SCORE 228294.826
AT ITER 918 NEW BEST:: SOT 8874202 SOS 7575779 HAS SOPS 3729104 HAS SOUS 543104 HAS SOUPS 220359 WITH SCORE 227934.779
AT ITER 929 NEW BEST:: SOT 8873333 SOS 7572306 HAS SOPS 3728060 HAS SOUS 541713 HAS SOUPS 219315 WITH SCORE 226887.306
AT ITER 946 NEW BEST:: SOT 8873333 SOS 7572306 HAS SOPS 3728060 HAS SOUS 541689 HAS SOUPS 219291 WITH SCORE 226863.306
AT ITER 965 NEW BEST:: SOT 8872830 SOS 7588751 HAS SOPS 3735286 HAS SOUS 541816 HAS SOUPS 218979 WITH SCORE 226567.751
AT ITER 974 NEW BEST:: SOT 8872751 SOS 7588593 HAS SOPS 3735128 HAS SOUS 541658 HAS SOUPS 218821 WITH SCORE 226409.593
AT ITER 980 NEW BEST:: SOT 8872751 SOS 7588593 HAS SOPS 3735128 HAS SOUS 541548 HAS SOUPS 218711 WITH SCORE 226299.593
AT ITER 992 NEW BEST:: SOT 8870724 SOS 7593558 HAS SOPS 3736131 HAS SOUS 540596 HAS SOUPS 217759 WITH SCORE 225352.558
AT ITER 1011 NEW BEST:: SOT 8870585 SOS 7593280 HAS SOPS 3735853 HAS SOUS 540457 HAS SOUPS 217620 WITH SCORE 225213.28
AT ITER 1013 NEW BEST:: SOT 8870292 SOS 7592694 HAS SOPS 3736569 HAS SOUS 539842 HAS SOUPS 217191 WITH SCORE 224783.694
AT ITER 1027 NEW BEST:: SOT 8868832 SOS 7597901 HAS SOPS 3737758 HAS SOUS 538851 HAS SOUPS 216200 WITH SCORE 223797.901
AT ITER 1029 NEW BEST:: SOT 8867193 SOS 7605665 HAS SOPS 3740482 HAS SOUS 537638 HAS SOUPS 214987 WITH SCORE 222592.665
AT ITER 1033 NEW BEST:: SOT 8866963 SOS 7604400 HAS SOPS 3740022 HAS SOUS 537177 HAS SOUPS 214641 WITH SCORE 222245.4
AT ITER 1039 NEW BEST:: SOT 8866963 SOS 7604400 HAS SOPS 3740022 HAS SOUS 537081 HAS SOUPS 214545 WITH SCORE 222149.4
AT ITER 1055 NEW BEST:: SOT 8866859 SOS 7604036 HAS SOPS 3739658 HAS SOUS 536977 HAS SOUPS 214441 WITH SCORE 222045.036
AT ITER 1057 NEW BEST:: SOT 8866779 SOS 7603876 HAS SOPS 3739498 HAS SOUS 536897 HAS SOUPS 214361 WITH SCORE 221964.876
AT ITER 1068 NEW BEST:: SOT 8866555 SOS 7603652 HAS SOPS 3739274 HAS SOUS 536841 HAS SOUPS 214305 WITH SCORE 221908.652
AT ITER 1069 NEW BEST:: SOT 8866555 SOS 7603652 HAS SOPS 3739274 HAS SOUS 536833 HAS SOUPS 214297 WITH SCORE 221900.652
AT ITER 1078 NEW BEST:: SOT 8861924 SOS 7596074 HAS SOPS 3736125 HAS SOUS 536523 HAS SOUPS 214206 WITH SCORE 221802.074
AT ITER 1099 NEW BEST:: SOT 8861507 SOS 7575312 HAS SOPS 3735763 HAS SOUS 535319 HAS SOUPS 213302 WITH SCORE 220877.312
AT ITER 1103 NEW BEST:: SOT 8858926 SOS 7571609 HAS SOPS 3733290 HAS SOUS 535263 HAS SOUPS 213246 WITH SCORE 220817.609
AT ITER 1113 NEW BEST:: SOT 8858811 SOS 7571379 HAS SOPS 3733060 HAS SOUS 535164 HAS SOUPS 213147 WITH SCORE 220718.379
AT ITER 1118 NEW BEST:: SOT 8857932 SOS 7573489 HAS SOPS 3733252 HAS SOUS 534625 HAS SOUPS 212608 WITH SCORE 220181.489
AT ITER 1138 NEW BEST:: SOT 8853696 SOS 7566775 HAS SOPS 3730274 HAS SOUS 534085 HAS SOUPS 212252 WITH SCORE 219818.775
AT ITER 1161 NEW BEST:: SOT 8853696 SOS 7566775 HAS SOPS 3730274 HAS SOUS 533961 HAS SOUPS 212128 WITH SCORE 219694.775
AT ITER 1184 NEW BEST:: SOT 8853715 SOS 7566129 HAS SOPS 3729894 HAS SOUS 533961 HAS SOUPS 212128 WITH SCORE 219694.129
AT ITER 1185 NEW BEST:: SOT 8853709 SOS 7565535 HAS SOPS 3729888 HAS SOUS 533787 HAS SOUPS 212038 WITH SCORE 219603.535
AT ITER 1187 NEW BEST:: SOT 8853674 SOS 7565255 HAS SOPS 3729608 HAS SOUS 533748 HAS SOUPS 211999 WITH SCORE 219564.255
AT ITER 1210 NEW BEST:: SOT 8853709 SOS 7564065 HAS SOPS 3728908 HAS SOUS 533748 HAS SOUPS 211999 WITH SCORE 219563.065
AT ITER 1251 NEW BEST:: SOT 8850751 SOS 7559457 HAS SOPS 3726820 HAS SOUS 533641 HAS SOUPS 211940 WITH SCORE 219499.457
AT ITER 1265 NEW BEST:: SOT 8850751 SOS 7559025 HAS SOPS 3726556 HAS SOUS 533628 HAS SOUPS 211927 WITH SCORE 219486.025
AT ITER 1278 NEW BEST:: SOT 8850751 SOS 7559025 HAS SOPS 3726556 HAS SOUS 533624 HAS SOUPS 211923 WITH SCORE 219482.025
AT ITER 1328 NEW BEST:: SOT 8850619 SOS 7558761 HAS SOPS 3726292 HAS SOUS 533558 HAS SOUPS 211857 WITH SCORE 219415.761
AT ITER 1333 NEW BEST:: SOT 8850557 SOS 7460042 HAS SOPS 3648723 HAS SOUS 533113 HAS SOUPS 211412 WITH SCORE 218872.042
AT ITER 1336 NEW BEST:: SOT 8850488 SOS 7450727 HAS SOPS 3644100 HAS SOUS 532906 HAS SOUPS 211274 WITH SCORE 218724.727
AT ITER 1339 NEW BEST:: SOT 8850410 SOS 7450298 HAS SOPS 3643944 HAS SOUS 532711 HAS SOUPS 211118 WITH SCORE 218568.298
AT ITER 1343 NEW BEST:: SOT 8845985 SOS 7444762 HAS SOPS 3640646 HAS SOUS 532691 HAS SOUPS 211098 WITH SCORE 218542.762
AT ITER 1349 NEW BEST:: SOT 8845985 SOS 7444762 HAS SOPS 3640646 HAS SOUS 532689 HAS SOUPS 211096 WITH SCORE 218540.762
AT ITER 1352 NEW BEST:: SOT 8844594 SOS 7448069 HAS SOPS 3641517 HAS SOUS 531940 HAS SOUPS 210347 WITH SCORE 217795.069
AT ITER 1355 NEW BEST:: SOT 8844594 SOS 7448069 HAS SOPS 3641517 HAS SOUS 531816 HAS SOUPS 210223 WITH SCORE 217671.069
AT ITER 1378 NEW BEST:: SOT 8844594 SOS 7448069 HAS SOPS 3641447 HAS SOUS 531816 HAS SOUPS 210213 WITH SCORE 217661.069
AT ITER 1429 NEW BEST:: SOT 8844594 SOS 7448069 HAS SOPS 3641447 HAS SOUS 531692 HAS SOUPS 210089 WITH SCORE 217537.069
AT ITER 1438 NEW BEST:: SOT 8844594 SOS 7448069 HAS SOPS 3641447 HAS SOUS 531584 HAS SOUPS 209981 WITH SCORE 217429.069
AT ITER 1448 NEW BEST:: SOT 8844594 SOS 7448069 HAS SOPS 3641447 HAS SOUS 531526 HAS SOUPS 209923 WITH SCORE 217371.069
AT ITER 1474 NEW BEST:: SOT 8843142 SOS 7454012 HAS SOPS 3644851 HAS SOUS 531064 HAS SOUPS 209712 WITH SCORE 217166.012
AT ITER 1492 NEW BEST:: SOT 8843142 SOS 7454012 HAS SOPS 3644851 HAS SOUS 530940 HAS SOUPS 209588 WITH SCORE 217042.012
AT ITER 1521 NEW BEST:: SOT 8843142 SOS 7454012 HAS SOPS 3644851 HAS SOUS 530892 HAS SOUPS 209540 WITH SCORE 216994.012
AT ITER 1523 NEW BEST:: SOT 8843142 SOS 7454012 HAS SOPS 3644851 HAS SOUS 530822 HAS SOUPS 209470 WITH SCORE 216924.012
AT ITER 1545 NEW BEST:: SOT 8843142 SOS 7454012 HAS SOPS 3644851 HAS SOUS 530784 HAS SOUPS 209432 WITH SCORE 216886.012
AT ITER 1550 NEW BEST:: SOT 8837921 SOS 7445574 HAS SOPS 3641318 HAS SOUS 530303 HAS SOUPS 209230 WITH SCORE 216675.574
AT ITER 1552 NEW BEST:: SOT 8837889 SOS 7445510 HAS SOPS 3641254 HAS SOUS 530271 HAS SOUPS 209198 WITH SCORE 216643.51
AT ITER 1580 NEW BEST:: SOT 8837174 SOS 7448466 HAS SOPS 3643178 HAS SOUS 529944 HAS SOUPS 209000 WITH SCORE 216448.46600000001
AT ITER 1597 NEW BEST:: SOT 8836697 SOS 7449255 HAS SOPS 3643026 HAS SOUS 529878 HAS SOUPS 208934 WITH SCORE 216383.255
AT ITER 1599 NEW BEST:: SOT 8836561 SOS 7448983 HAS SOPS 3643230 HAS SOUS 529606 HAS SOUPS 208730 WITH SCORE 216178.983
AT ITER 1631 NEW BEST:: SOT 8836321 SOS 7448098 HAS SOPS 3643290 HAS SOUS 529231 HAS SOUPS 208490 WITH SCORE 215938.098
AT ITER 1632 NEW BEST:: SOT 8836321 SOS 7448098 HAS SOPS 3643290 HAS SOUS 529107 HAS SOUPS 208366 WITH SCORE 215814.098
AT ITER 1649 NEW BEST:: SOT 8834852 SOS 7461138 HAS SOPS 3647615 HAS SOUS 528880 HAS SOUPS 207724 WITH SCORE 215185.138
AT ITER 1659 NEW BEST:: SOT 8834724 SOS 7460522 HAS SOPS 3647839 HAS SOUS 528632 HAS SOUPS 207596 WITH SCORE 215056.522
AT ITER 1692 NEW BEST:: SOT 8834647 SOS 7459957 HAS SOPS 3647274 HAS SOUS 528555 HAS SOUPS 207519 WITH SCORE 214978.957
AT ITER 1704 NEW BEST:: SOT 8834647 SOS 7459957 HAS SOPS 3647274 HAS SOUS 528475 HAS SOUPS 207439 WITH SCORE 214898.957
AT ITER 1706 NEW BEST:: SOT 8832799 SOS 7457977 HAS SOPS 3646230 HAS SOUS 528419 HAS SOUPS 207383 WITH SCORE 214840.977
AT ITER 1724 NEW BEST:: SOT 8832793 SOS 7457965 HAS SOPS 3646197 HAS SOUS 528416 HAS SOUPS 207377 WITH SCORE 214834.965
AT ITER 1725 NEW BEST:: SOT 8832690 SOS 7457759 HAS SOPS 3646712 HAS SOUS 528107 HAS SOUPS 207171 WITH SCORE 214628.759
AT ITER 1733 NEW BEST:: SOT 8831886 SOS 7461115 HAS SOPS 3647114 HAS SOUS 527693 HAS SOUPS 206757 WITH SCORE 214218.115
AT ITER 1755 NEW BEST:: SOT 8831886 SOS 7461115 HAS SOPS 3647114 HAS SOUS 527569 HAS SOUPS 206633 WITH SCORE 214094.115
AT ITER 1776 NEW BEST:: SOT 8831448 SOS 7463894 HAS SOPS 3646491 HAS SOUS 527664 HAS SOUPS 206566 WITH SCORE 214029.894
AT ITER 1789 NEW BEST:: SOT 8831191 SOS 7462225 HAS SOPS 3646411 HAS SOUS 527044 HAS SOUPS 206173 WITH SCORE 213635.225
AT ITER 1790 NEW BEST:: SOT 8831191 SOS 7462225 HAS SOPS 3646411 HAS SOUS 526934 HAS SOUPS 206063 WITH SCORE 213525.225
AT ITER 1793 NEW BEST:: SOT 8829591 SOS 7469979 HAS SOPS 3648887 HAS SOUS 526033 HAS SOUPS 205162 WITH SCORE 212631.979
AT ITER 1801 NEW BEST:: SOT 8829579 SOS 7465891 HAS SOPS 3647727 HAS SOUS 526005 HAS SOUPS 205134 WITH SCORE 212599.891
AT ITER 1804 NEW BEST:: SOT 8829341 SOS 7467039 HAS SOPS 3647251 HAS SOUS 525707 HAS SOUPS 204604 WITH SCORE 212071.039
AT ITER 1823 NEW BEST:: SOT 8829638 SOS 7463963 HAS SOPS 3645777 HAS SOUS 525656 HAS SOUPS 204575 WITH SCORE 212038.963
AT ITER 1834 NEW BEST:: SOT 8829416 SOS 7463060 HAS SOPS 3646496 HAS SOUS 525354 HAS SOUPS 204482 WITH SCORE 211945.06
AT ITER 1837 NEW BEST:: SOT 8829416 SOS 7463060 HAS SOPS 3646496 HAS SOUS 525288 HAS SOUPS 204416 WITH SCORE 211879.06
AT ITER 1845 NEW BEST:: SOT 8828316 SOS 7460206 HAS SOPS 3645168 HAS SOUS 524624 HAS SOUPS 203970 WITH SCORE 211430.206
AT ITER 1852 NEW BEST:: SOT 8829876 SOS 7469030 HAS SOPS 3648970 HAS SOUS 524412 HAS SOUPS 203572 WITH SCORE 211041.03
AT ITER 1856 NEW BEST:: SOT 8828522 SOS 7465404 HAS SOPS 3647486 HAS SOUS 523575 HAS SOUPS 203041 WITH SCORE 210506.404
AT ITER 1874 NEW BEST:: SOT 8827750 SOS 7468817 HAS SOPS 3646909 HAS SOUS 523366 HAS SOUPS 202642 WITH SCORE 210110.817
AT ITER 1902 NEW BEST:: SOT 8827671 SOS 7468659 HAS SOPS 3646751 HAS SOUS 523208 HAS SOUPS 202484 WITH SCORE 209952.659
AT ITER 1953 NEW BEST:: SOT 8827671 SOS 7468659 HAS SOPS 3646751 HAS SOUS 523192 HAS SOUPS 202468 WITH SCORE 209936.659
AT ITER 1964 NEW BEST:: SOT 8827671 SOS 7468092 HAS SOPS 3646751 HAS SOUS 523111 HAS SOUPS 202468 WITH SCORE 209936.092
AT ITER 1969 NEW BEST:: SOT 8827720 SOS 7462670 HAS SOPS 3644049 HAS SOUS 523026 HAS SOUPS 202423 WITH SCORE 209885.67
AT ITER 1978 NEW BEST:: SOT 8827462 SOS 7459927 HAS SOPS 3643112 HAS SOUS 522768 HAS SOUPS 202251 WITH SCORE 209710.927
AT ITER 1988 NEW BEST:: SOT 8827417 SOS 7460041 HAS SOPS 3643226 HAS SOUS 522723 HAS SOUPS 202206 WITH SCORE 209666.041
AT ITER 1989 NEW BEST:: SOT 8827417 SOS 7459768 HAS SOPS 3644430 HAS SOUS 522473 HAS SOUPS 202167 WITH SCORE 209626.768
AT ITER 2021 NEW BEST:: SOT 8823870 SOS 7453804 HAS SOPS 3642223 HAS SOUS 522179 HAS SOUPS 202162 WITH SCORE 209615.804
AT ITER 2031 NEW BEST:: SOT 8823870 SOS 7453588 HAS SOPS 3642007 HAS SOUS 522179 HAS SOUPS 202162 WITH SCORE 209615.588
AT ITER 2053 NEW BEST:: SOT 8823836 SOS 7453520 HAS SOPS 3641407 HAS SOUS 522187 HAS SOUPS 202094 WITH SCORE 209547.52
AT ITER 2057 NEW BEST:: SOT 8823752 SOS 7454052 HAS SOPS 3641351 HAS SOUS 522187 HAS SOUPS 202066 WITH SCORE 209520.052
AT ITER 2062 NEW BEST:: SOT 8823459 SOS 7452869 HAS SOPS 3640168 HAS SOUS 521747 HAS SOUPS 201626 WITH SCORE 209078.869
AT ITER 2080 NEW BEST:: SOT 8823258 SOS 7454342 HAS SOPS 3640066 HAS SOUS 521609 HAS SOUPS 201413 WITH SCORE 208867.342
AT ITER 2087 NEW BEST:: SOT 8823258 SOS 7454342 HAS SOPS 3640066 HAS SOUS 521485 HAS SOUPS 201289 WITH SCORE 208743.342
AT ITER 2131 NEW BEST:: SOT 8823258 SOS 7454342 HAS SOPS 3640066 HAS SOUS 521389 HAS SOUPS 201193 WITH SCORE 208647.342
AT ITER 2148 NEW BEST:: SOT 8823362 SOS 7378177 HAS SOPS 3582815 HAS SOUS 521346 HAS SOUPS 201201 WITH SCORE 208579.177
AT ITER 2195 NEW BEST:: SOT 8823362 SOS 7378177 HAS SOPS 3582815 HAS SOUS 521240 HAS SOUPS 201095 WITH SCORE 208473.177
AT ITER 2219 NEW BEST:: SOT 8823151 SOS 7380671 HAS SOPS 3582873 HAS SOUS 521313 HAS SOUPS 201052 WITH SCORE 208432.671
AT ITER 2228 NEW BEST:: SOT 8823151 SOS 7380671 HAS SOPS 3582019 HAS SOUS 521434 HAS SOUPS 201051 WITH SCORE 208431.671
AT ITER 2245 NEW BEST:: SOT 8823492 SOS 7335035 HAS SOPS 3559571 HAS SOUS 520905 HAS SOUPS 200863 WITH SCORE 208198.035
AT ITER 2257 NEW BEST:: SOT 8822606 SOS 7332432 HAS SOPS 3558907 HAS SOUS 520253 HAS SOUPS 200488 WITH SCORE 207820.432
AT ITER 2266 NEW BEST:: SOT 8821274 SOS 7334426 HAS SOPS 3558213 HAS SOUS 519304 HAS SOUPS 199539 WITH SCORE 206873.426
AT ITER 2269 NEW BEST:: SOT 8821331 SOS 7334483 HAS SOPS 3558270 HAS SOUS 519180 HAS SOUPS 199415 WITH SCORE 206749.483
AT ITER 2291 NEW BEST:: SOT 8820165 SOS 7340434 HAS SOPS 3560077 HAS SOUS 518684 HAS SOUPS 198919 WITH SCORE 206259.434
AT ITER 2292 NEW BEST:: SOT 8820105 SOS 7340314 HAS SOPS 3559957 HAS SOUS 518564 HAS SOUPS 198799 WITH SCORE 206139.314
AT ITER 2331 NEW BEST:: SOT 8819500 SOS 7353965 HAS SOPS 3564914 HAS SOUS 518607 HAS SOUPS 198428 WITH SCORE 205781.965
AT ITER 2379 NEW BEST:: SOT 8819581 SOS 7351211 HAS SOPS 3563294 HAS SOUS 518600 HAS SOUPS 198421 WITH SCORE 205772.211
AT ITER 2385 NEW BEST:: SOT 8819581 SOS 7351211 HAS SOPS 3563294 HAS SOUS 518550 HAS SOUPS 198371 WITH SCORE 205722.211
AT ITER 2388 NEW BEST:: SOT 8819432 SOS 7350045 HAS SOPS 3564095 HAS SOUS 518232 HAS SOUPS 198334 WITH SCORE 205684.045
AT ITER 2389 NEW BEST:: SOT 8819109 SOS 7350400 HAS SOPS 3564450 HAS SOUS 517841 HAS SOUPS 197943 WITH SCORE 205293.4
AT ITER 2398 NEW BEST:: SOT 8819109 SOS 7350400 HAS SOPS 3564450 HAS SOUS 517835 HAS SOUPS 197937 WITH SCORE 205287.4
AT ITER 2404 NEW BEST:: SOT 8819109 SOS 7350400 HAS SOPS 3564450 HAS SOUS 517815 HAS SOUPS 197917 WITH SCORE 205267.4
AT ITER 2408 NEW BEST:: SOT 8819049 SOS 7350280 HAS SOPS 3564330 HAS SOUS 517755 HAS SOUPS 197857 WITH SCORE 205207.28
AT ITER 2409 NEW BEST:: SOT 8818764 SOS 7349710 HAS SOPS 3563760 HAS SOUS 517493 HAS SOUPS 197595 WITH SCORE 204944.71
AT ITER 2433 NEW BEST:: SOT 8815733 SOS 7344810 HAS SOPS 3561889 HAS SOUS 517195 HAS SOUPS 197530 WITH SCORE 204874.81
AT ITER 2497 NEW BEST:: SOT 8815733 SOS 7345958 HAS SOPS 3561889 HAS SOUS 517341 HAS SOUPS 197512 WITH SCORE 204857.958
AT ITER 2560 NEW BEST:: SOT 8815733 SOS 7345958 HAS SOPS 3561889 HAS SOUS 517271 HAS SOUPS 197442 WITH SCORE 204787.958
AT ITER 2561 NEW BEST:: SOT 8815691 SOS 7345874 HAS SOPS 3561805 HAS SOUS 517187 HAS SOUPS 197358 WITH SCORE 204703.874
AT ITER 2575 NEW BEST:: SOT 8815695 SOS 7344577 HAS SOPS 3561453 HAS SOUS 517056 HAS SOUPS 197272 WITH SCORE 204616.577
AT ITER 2584 NEW BEST:: SOT 8815673 SOS 7344533 HAS SOPS 3561640 HAS SOUS 516994 HAS SOUPS 197243 WITH SCORE 204587.533
AT ITER 2590 NEW BEST:: SOT 8815673 SOS 7344533 HAS SOPS 3561640 HAS SOUS 516978 HAS SOUPS 197227 WITH SCORE 204571.533
AT ITER 2636 NEW BEST:: SOT 8815673 SOS 7344533 HAS SOPS 3561640 HAS SOUS 516916 HAS SOUPS 197165 WITH SCORE 204509.533
AT ITER 2646 NEW BEST:: SOT 8815745 SOS 7343381 HAS SOPS 3560992 HAS SOUS 516916 HAS SOUPS 197165 WITH SCORE 204508.381
AT ITER 2649 NEW BEST:: SOT 8815745 SOS 7343381 HAS SOPS 3560992 HAS SOUS 516894 HAS SOUPS 197143 WITH SCORE 204486.381
AT ITER 2655 NEW BEST:: SOT 8817785 SOS 7346611 HAS SOPS 3562012 HAS SOUS 516775 HAS SOUPS 196854 WITH SCORE 204200.611
AT ITER 2668 NEW BEST:: SOT 8816672 SOS 7355217 HAS SOPS 3563529 HAS SOUS 516302 HAS SOUPS 196051 WITH SCORE 203406.217
AT ITER 2678 NEW BEST:: SOT 8816672 SOS 7355217 HAS SOPS 3563529 HAS SOUS 516198 HAS SOUPS 195947 WITH SCORE 203302.217
AT ITER 2705 NEW BEST:: SOT 8816672 SOS 7355217 HAS SOPS 3563529 HAS SOUS 516114 HAS SOUPS 195863 WITH SCORE 203218.217
AT ITER 2707 NEW BEST:: SOT 8816566 SOS 7355349 HAS SOPS 3563661 HAS SOUS 516093 HAS SOUPS 195842 WITH SCORE 203197.349
AT ITER 2712 NEW BEST:: SOT 8816521 SOS 7345347 HAS SOPS 3553659 HAS SOUS 516057 HAS SOUPS 195806 WITH SCORE 203151.347
AT ITER 2733 NEW BEST:: SOT 8816442 SOS 7345189 HAS SOPS 3553501 HAS SOUS 515978 HAS SOUPS 195727 WITH SCORE 203072.189
AT ITER 2745 NEW BEST:: SOT 8815812 SOS 7349160 HAS SOPS 3553755 HAS SOUS 515915 HAS SOUPS 195487 WITH SCORE 202836.16
AT ITER 2750 NEW BEST:: SOT 8815673 SOS 7348882 HAS SOPS 3553974 HAS SOUS 515637 HAS SOUPS 195280 WITH SCORE 202628.882
AT ITER 2768 NEW BEST:: SOT 8815614 SOS 7348764 HAS SOPS 3553856 HAS SOUS 515578 HAS SOUPS 195221 WITH SCORE 202569.764
AT ITER 2781 NEW BEST:: SOT 8815614 SOS 7348764 HAS SOPS 3553856 HAS SOUS 515562 HAS SOUPS 195205 WITH SCORE 202553.764
AT ITER 2815 NEW BEST:: SOT 8815287 SOS 7346635 HAS SOPS 3553204 HAS SOUS 514878 HAS SOUPS 194732 WITH SCORE 202078.635
AT ITER 2820 NEW BEST:: SOT 8815314 SOS 7344457 HAS SOPS 3551894 HAS SOUS 514843 HAS SOUPS 194697 WITH SCORE 202041.457
AT ITER 2824 NEW BEST:: SOT 8814524 SOS 7320173 HAS SOPS 3551002 HAS SOUS 513907 HAS SOUPS 194105 WITH SCORE 201425.173
AT ITER 2826 NEW BEST:: SOT 8813954 SOS 7319318 HAS SOPS 3550546 HAS SOUS 513793 HAS SOUPS 193991 WITH SCORE 201310.318
AT ITER 2833 NEW BEST:: SOT 8813820 SOS 7319050 HAS SOPS 3550278 HAS SOUS 513612 HAS SOUPS 193810 WITH SCORE 201129.05
AT ITER 2845 NEW BEST:: SOT 8813404 SOS 7317906 HAS SOPS 3549134 HAS SOUS 513561 HAS SOUPS 193759 WITH SCORE 201076.906
AT ITER 2866 NEW BEST:: SOT 8812256 SOS 7314851 HAS SOPS 3547850 HAS SOUS 512783 HAS SOUPS 193234 WITH SCORE 200548.851
AT ITER 2878 NEW BEST:: SOT 8812256 SOS 7314746 HAS SOPS 3547850 HAS SOUS 512768 HAS SOUPS 193234 WITH SCORE 200548.746
AT ITER 2895 NEW BEST:: SOT 8812231 SOS 7316596 HAS SOPS 3550393 HAS SOUS 512661 HAS SOUPS 193160 WITH SCORE 200476.596
AT ITER 2896 NEW BEST:: SOT 8811971 SOS 7316316 HAS SOPS 3550233 HAS SOUS 512652 HAS SOUPS 193151 WITH SCORE 200467.316
AT ITER 2902 NEW BEST:: SOT 8811971 SOS 7316316 HAS SOPS 3550233 HAS SOUS 512580 HAS SOUPS 193079 WITH SCORE 200395.316
AT ITER 2911 NEW BEST:: SOT 8811919 SOS 7316212 HAS SOPS 3551921 HAS SOUS 512272 HAS SOUPS 193027 WITH SCORE 200343.212
AT ITER 2917 NEW BEST:: SOT 8811903 SOS 7315092 HAS SOPS 3550801 HAS SOUS 512256 HAS SOUPS 193011 WITH SCORE 200326.092
AT ITER 2958 NEW BEST:: SOT 8813909 SOS 7317058 HAS SOPS 3551681 HAS SOUS 511873 HAS SOUPS 192748 WITH SCORE 200065.058
AT ITER 2959 NEW BEST:: SOT 8813713 SOS 7317303 HAS SOPS 3551926 HAS SOUS 511768 HAS SOUPS 192643 WITH SCORE 199960.303
AT ITER 3004 NEW BEST:: SOT 8813599 SOS 7317171 HAS SOPS 3551794 HAS SOUS 511709 HAS SOUPS 192584 WITH SCORE 199901.171
AT ITER 3005 NEW BEST:: SOT 8814265 SOS 7318305 HAS SOPS 3552532 HAS SOUS 511649 HAS SOUPS 192524 WITH SCORE 199842.305
AT ITER 3007 NEW BEST:: SOT 8814133 SOS 7318239 HAS SOPS 3552004 HAS SOUS 511517 HAS SOUPS 192326 WITH SCORE 199644.239
AT ITER 3040 NEW BEST:: SOT 8814102 SOS 7318177 HAS SOPS 3553020 HAS SOUS 511343 HAS SOUPS 192306 WITH SCORE 199624.177
AT ITER 3055 NEW BEST:: SOT 8813970 SOS 7317814 HAS SOPS 3552888 HAS SOUS 511277 HAS SOUPS 192273 WITH SCORE 199590.814
AT ITER 3056 NEW BEST:: SOT 8813250 SOS 7315816 HAS SOPS 3552192 HAS SOUS 510829 HAS SOUPS 192011 WITH SCORE 199326.816
AT ITER 3065 NEW BEST:: SOT 8813230 SOS 7315656 HAS SOPS 3552172 HAS SOUS 510789 HAS SOUPS 191991 WITH SCORE 199306.656
AT ITER 3076 NEW BEST:: SOT 8813226 SOS 7315078 HAS SOPS 3552924 HAS SOUS 510597 HAS SOUPS 191989 WITH SCORE 199304.078
AT ITER 3092 NEW BEST:: SOT 8808474 SOS 7307370 HAS SOPS 3549690 HAS SOUS 510365 HAS SOUPS 191968 WITH SCORE 199275.37
AT ITER 3131 NEW BEST:: SOT 8808307 SOS 7306034 HAS SOPS 3548354 HAS SOUS 510344 HAS SOUPS 191947 WITH SCORE 199253.034
AT ITER 3152 NEW BEST:: SOT 8807890 SOS 7308035 HAS SOPS 3548150 HAS SOUS 510340 HAS SOUPS 191838 WITH SCORE 199146.035
AT ITER 3163 NEW BEST:: SOT 8807451 SOS 7306800 HAS SOPS 3547748 HAS SOUS 510180 HAS SOUPS 191797 WITH SCORE 199103.8
AT ITER 3213 NEW BEST:: SOT 8807451 SOS 7306800 HAS SOPS 3547748 HAS SOUS 510110 HAS SOUPS 191727 WITH SCORE 199033.8
AT ITER 3220 NEW BEST:: SOT 8807840 SOS 7325256 HAS SOPS 3566204 HAS SOUS 509939 HAS SOUPS 191556 WITH SCORE 198881.256
AT ITER 3226 NEW BEST:: SOT 8807696 SOS 7325472 HAS SOPS 3566420 HAS SOUS 509866 HAS SOUPS 191483 WITH SCORE 198808.472
AT ITER 3236 NEW BEST:: SOT 8807943 SOS 7326050 HAS SOPS 3566998 HAS SOUS 509855 HAS SOUPS 191472 WITH SCORE 198798.05
AT ITER 3264 NEW BEST:: SOT 8805421 SOS 7321956 HAS SOPS 3565374 HAS SOUS 509561 HAS SOUPS 191368 WITH SCORE 198689.956
AT ITER 3292 NEW BEST:: SOT 8805421 SOS 7321956 HAS SOPS 3565374 HAS SOUS 509469 HAS SOUPS 191276 WITH SCORE 198597.956
AT ITER 3315 NEW BEST:: SOT 8805382 SOS 7321878 HAS SOPS 3565296 HAS SOUS 509451 HAS SOUPS 191258 WITH SCORE 198579.878
AT ITER 3352 NEW BEST:: SOT 8804507 SOS 7320099 HAS SOPS 3564873 HAS SOUS 509104 HAS SOUPS 191137 WITH SCORE 198457.099
AT ITER 3375 NEW BEST:: SOT 8804377 SOS 7319211 HAS SOPS 3564706 HAS SOUS 508974 HAS SOUPS 191110 WITH SCORE 198429.211
AT ITER 3407 NEW BEST:: SOT 8804237 SOS 7318667 HAS SOPS 3564162 HAS SOUS 508790 HAS SOUPS 190926 WITH SCORE 198244.667
AT ITER 3427 NEW BEST:: SOT 8803931 SOS 7320105 HAS SOPS 3563878 HAS SOUS 508816 HAS SOUPS 190870 WITH SCORE 198190.105
AT ITER 3429 NEW BEST:: SOT 8799194 SOS 7312225 HAS SOPS 3560873 HAS SOUS 508290 HAS SOUPS 190719 WITH SCORE 198031.225
AT ITER 3430 NEW BEST:: SOT 8798977 SOS 7309642 HAS SOPS 3560530 HAS SOUS 507572 HAS SOUPS 190321 WITH SCORE 197630.642
AT ITER 3431 NEW BEST:: SOT 8798977 SOS 7309642 HAS SOPS 3560530 HAS SOUS 507448 HAS SOUPS 190197 WITH SCORE 197506.642
AT ITER 3436 NEW BEST:: SOT 8798839 SOS 7309274 HAS SOPS 3560162 HAS SOUS 507337 HAS SOUPS 190086 WITH SCORE 197395.274
AT ITER 3475 NEW BEST:: SOT 8798107 SOS 7308040 HAS SOPS 3559644 HAS SOUS 507263 HAS SOUPS 190045 WITH SCORE 197353.04
AT ITER 3476 NEW BEST:: SOT 8796598 SOS 7311924 HAS SOPS 3559510 HAS SOUS 506464 HAS SOUPS 189246 WITH SCORE 196557.924
AT ITER 3485 NEW BEST:: SOT 8796502 SOS 7312436 HAS SOPS 3559350 HAS SOUS 506432 HAS SOUPS 189182 WITH SCORE 196494.436
AT ITER 3502 NEW BEST:: SOT 8796403 SOS 7311983 HAS SOPS 3559492 HAS SOUS 506248 HAS SOUPS 189083 WITH SCORE 196394.983
AT ITER 3529 NEW BEST:: SOT 8796403 SOS 7311983 HAS SOPS 3559492 HAS SOUS 506216 HAS SOUPS 189051 WITH SCORE 196362.983
AT ITER 3549 NEW BEST:: SOT 8796403 SOS 7311983 HAS SOPS 3559492 HAS SOUS 506096 HAS SOUPS 188931 WITH SCORE 196242.983
AT ITER 3582 NEW BEST:: SOT 8796393 SOS 7311973 HAS SOPS 3559482 HAS SOUS 506005 HAS SOUPS 188840 WITH SCORE 196151.973
AT ITER 3590 NEW BEST:: SOT 8796072 SOS 7311052 HAS SOPS 3559212 HAS SOUS 505828 HAS SOUPS 188756 WITH SCORE 196067.052
AT ITER 3602 NEW BEST:: SOT 8796072 SOS 7311052 HAS SOPS 3559212 HAS SOUS 505806 HAS SOUPS 188734 WITH SCORE 196045.052
AT ITER 3612 NEW BEST:: SOT 8796072 SOS 7311052 HAS SOPS 3559212 HAS SOUS 505802 HAS SOUPS 188730 WITH SCORE 196041.052
AT ITER 3615 NEW BEST:: SOT 8795926 SOS 7315745 HAS SOPS 3561087 HAS SOUS 505789 HAS SOUPS 188584 WITH SCORE 195899.745
AT ITER 3627 NEW BEST:: SOT 8795864 SOS 7314997 HAS SOPS 3561795 HAS SOUS 505519 HAS SOUPS 188522 WITH SCORE 195836.997
AT ITER 3651 NEW BEST:: SOT 8795855 SOS 7314818 HAS SOPS 3561777 HAS SOUS 505464 HAS SOUPS 188490 WITH SCORE 195804.818
AT ITER 3662 NEW BEST:: SOT 8795754 SOS 7314616 HAS SOPS 3561575 HAS SOUS 505262 HAS SOUPS 188288 WITH SCORE 195602.616
AT ITER 3666 NEW BEST:: SOT 8795509 SOS 7313280 HAS SOPS 3561226 HAS SOUS 504913 HAS SOUPS 188080 WITH SCORE 195393.28
AT ITER 3691 NEW BEST:: SOT 8795509 SOS 7313280 HAS SOPS 3561226 HAS SOUS 504789 HAS SOUPS 187956 WITH SCORE 195269.28
AT ITER 3722 NEW BEST:: SOT 8795347 SOS 7313118 HAS SOPS 3561064 HAS SOUS 504789 HAS SOUPS 187956 WITH SCORE 195269.118
AT ITER 3729 NEW BEST:: SOT 8793105 SOS 7310078 HAS SOPS 3559026 HAS SOUS 504551 HAS SOUPS 187718 WITH SCORE 195028.078
AT ITER 3733 NEW BEST:: SOT 8793105 SOS 7310078 HAS SOPS 3559026 HAS SOUS 504531 HAS SOUPS 187698 WITH SCORE 195008.078
AT ITER 3801 NEW BEST:: SOT 8792543 SOS 7314544 HAS SOPS 3560888 HAS SOUS 504305 HAS SOUPS 187472 WITH SCORE 194786.544
AT ITER 3807 NEW BEST:: SOT 8792183 SOS 7309398 HAS SOPS 3560621 HAS SOUS 504304 HAS SOUPS 187475 WITH SCORE 194784.398
AT ITER 3813 NEW BEST:: SOT 8792148 SOS 7308964 HAS SOPS 3561069 HAS SOUS 504143 HAS SOUPS 187440 WITH SCORE 194748.964
AT ITER 3815 NEW BEST:: SOT 8792148 SOS 7308964 HAS SOPS 3561069 HAS SOUS 504091 HAS SOUPS 187388 WITH SCORE 194696.964
AT ITER 3842 NEW BEST:: SOT 8792304 SOS 7304971 HAS SOPS 3559659 HAS SOUS 503878 HAS SOUPS 187298 WITH SCORE 194602.971
AT ITER 3844 NEW BEST:: SOT 8792159 SOS 7281931 HAS SOPS 3535394 HAS SOUS 503908 HAS SOUPS 187153 WITH SCORE 194434.931
AT ITER 3901 NEW BEST:: SOT 8791575 SOS 7281319 HAS SOPS 3534782 HAS SOUS 503867 HAS SOUPS 187112 WITH SCORE 194393.319
AT ITER 3965 NEW BEST:: SOT 8791580 SOS 7280679 HAS SOPS 3534482 HAS SOUS 503862 HAS SOUPS 187112 WITH SCORE 194392.679
AT ITER 3975 NEW BEST:: SOT 8791533 SOS 7273597 HAS SOPS 3533112 HAS SOUS 503761 HAS SOUPS 187095 WITH SCORE 194368.597
AT ITER 4006 NEW BEST:: SOT 8791500 SOS 7272201 HAS SOPS 3533046 HAS SOUS 503432 HAS SOUPS 186956 WITH SCORE 194228.201
AT ITER 4008 NEW BEST:: SOT 8791500 SOS 7272201 HAS SOPS 3533046 HAS SOUS 503326 HAS SOUPS 186850 WITH SCORE 194122.201
AT ITER 4044 NEW BEST:: SOT 8791452 SOS 7272021 HAS SOPS 3533062 HAS SOUS 503286 HAS SOUPS 186838 WITH SCORE 194110.021
AT ITER 4081 NEW BEST:: SOT 8791303 SOS 7271723 HAS SOPS 3533807 HAS SOUS 502839 HAS SOUPS 186540 WITH SCORE 193811.723
AT ITER 4096 NEW BEST:: SOT 8791210 SOS 7271012 HAS SOPS 3533831 HAS SOUS 502641 HAS SOUPS 186447 WITH SCORE 193718.012
AT ITER 4099 NEW BEST:: SOT 8785736 SOS 7262095 HAS SOPS 3530335 HAS SOUS 502050 HAS SOUPS 186273 WITH SCORE 193535.095
AT ITER 4101 NEW BEST:: SOT 8785735 SOS 7262100 HAS SOPS 3530333 HAS SOUS 502050 HAS SOUPS 186272 WITH SCORE 193534.1
AT ITER 4123 NEW BEST:: SOT 8785843 SOS 7262271 HAS SOPS 3530387 HAS SOUS 502041 HAS SOUPS 186254 WITH SCORE 193516.271
AT ITER 4131 NEW BEST:: SOT 8784190 SOS 7271112 HAS SOPS 3534729 HAS SOUS 501764 HAS SOUPS 186183 WITH SCORE 193454.112
AT ITER 4183 NEW BEST:: SOT 8784168 SOS 7271090 HAS SOPS 3534707 HAS SOUS 501744 HAS SOUPS 186163 WITH SCORE 193434.09
AT ITER 4186 NEW BEST:: SOT 8784355 SOS 7271677 HAS SOPS 3534666 HAS SOUS 501726 HAS SOUPS 186031 WITH SCORE 193302.677
AT ITER 4198 NEW BEST:: SOT 8784341 SOS 7271724 HAS SOPS 3534538 HAS SOUS 501709 HAS SOUPS 185989 WITH SCORE 193260.724
AT ITER 4206 NEW BEST:: SOT 8785229 SOS 7272552 HAS SOPS 3535366 HAS SOUS 501649 HAS SOUPS 185929 WITH SCORE 193201.552
AT ITER 4242 NEW BEST:: SOT 8785201 SOS 7272085 HAS SOPS 3534899 HAS SOUS 501621 HAS SOUPS 185901 WITH SCORE 193173.085
AT ITER 4285 NEW BEST:: SOT 8786173 SOS 7273624 HAS SOPS 3535385 HAS SOUS 501647 HAS SOUPS 185846 WITH SCORE 193119.624
AT ITER 4290 NEW BEST:: SOT 8786054 SOS 7273386 HAS SOPS 3535147 HAS SOUS 501454 HAS SOUPS 185653 WITH SCORE 192926.386
AT ITER 4293 NEW BEST:: SOT 8786007 SOS 7273342 HAS SOPS 3535097 HAS SOUS 501407 HAS SOUPS 185603 WITH SCORE 192876.342
AT ITER 4322 NEW BEST:: SOT 8785458 SOS 7271830 HAS SOPS 3534551 HAS SOUS 501143 HAS SOUPS 185477 WITH SCORE 192748.83
AT ITER 4326 NEW BEST:: SOT 8785458 SOS 7271830 HAS SOPS 3534551 HAS SOUS 501111 HAS SOUPS 185445 WITH SCORE 192716.83
AT ITER 4330 NEW BEST:: SOT 8785407 SOS 7271452 HAS SOPS 3534817 HAS SOUS 500968 HAS SOUPS 185394 WITH SCORE 192665.452
AT ITER 4355 NEW BEST:: SOT 8785407 SOS 7271452 HAS SOPS 3534817 HAS SOUS 500862 HAS SOUPS 185288 WITH SCORE 192559.452
AT ITER 4360 NEW BEST:: SOT 8785138 SOS 7270263 HAS SOPS 3535623 HAS SOUS 500464 HAS SOUPS 185175 WITH SCORE 192445.263
AT ITER 4467 NEW BEST:: SOT 8784440 SOS 7271375 HAS SOPS 3535139 HAS SOUS 500218 HAS SOUPS 184929 WITH SCORE 192200.375
AT ITER 4487 NEW BEST:: SOT 8784440 SOS 7271375 HAS SOPS 3535139 HAS SOUS 500094 HAS SOUPS 184805 WITH SCORE 192076.375
AT ITER 4509 NEW BEST:: SOT 8784382 SOS 7271259 HAS SOPS 3535023 HAS SOUS 500007 HAS SOUPS 184718 WITH SCORE 191989.259
AT ITER 4522 NEW BEST:: SOT 8781345 SOS 7267479 HAS SOPS 3532731 HAS SOUS 499968 HAS SOUPS 184679 WITH SCORE 191946.479
AT ITER 4541 NEW BEST:: SOT 8781345 SOS 7267479 HAS SOPS 3532731 HAS SOUS 499844 HAS SOUPS 184555 WITH SCORE 191822.479
AT ITER 4570 NEW BEST:: SOT 8780653 SOS 7265480 HAS SOPS 3532167 HAS SOUS 499637 HAS SOUPS 184553 WITH SCORE 191818.48
AT ITER 4579 NEW BEST:: SOT 8779669 SOS 7269871 HAS SOPS 3533086 HAS SOUS 499376 HAS SOUPS 184292 WITH SCORE 191561.871
AT ITER 4599 NEW BEST:: SOT 8779655 SOS 7270088 HAS SOPS 3533156 HAS SOUS 499369 HAS SOUPS 184278 WITH SCORE 191548.088
AT ITER 4603 NEW BEST:: SOT 8779655 SOS 7270088 HAS SOPS 3533156 HAS SOUS 499367 HAS SOUPS 184276 WITH SCORE 191546.088
AT ITER 4617 NEW BEST:: SOT 8779600 SOS 7269593 HAS SOPS 3532661 HAS SOUS 499312 HAS SOUPS 184221 WITH SCORE 191490.593
AT ITER 4649 NEW BEST:: SOT 8779557 SOS 7269507 HAS SOPS 3532904 HAS SOUS 499201 HAS SOUPS 184157 WITH SCORE 191426.507
AT ITER 4652 NEW BEST:: SOT 8779761 SOS 7252765 HAS SOPS 3533434 HAS SOUS 498897 HAS SOUPS 184107 WITH SCORE 191359.765
AT ITER 4686 NEW BEST:: SOT 8779735 SOS 7252713 HAS SOPS 3533382 HAS SOUS 498845 HAS SOUPS 184055 WITH SCORE 191307.713
AT ITER 4701 NEW BEST:: SOT 8779710 SOS 7251151 HAS SOPS 3533675 HAS SOUS 498556 HAS SOUPS 184031 WITH SCORE 191282.151
AT ITER 4729 NEW BEST:: SOT 8779790 SOS 7251151 HAS SOPS 3533675 HAS SOUS 498476 HAS SOUPS 183951 WITH SCORE 191202.151
AT ITER 4751 NEW BEST:: SOT 8779703 SOS 7250522 HAS SOPS 3534222 HAS SOUS 498302 HAS SOUPS 183945 WITH SCORE 191195.522
AT ITER 4754 NEW BEST:: SOT 8779703 SOS 7250522 HAS SOPS 3534222 HAS SOUS 498178 HAS SOUPS 183821 WITH SCORE 191071.522
AT ITER 4759 NEW BEST:: SOT 8779703 SOS 7250522 HAS SOPS 3534222 HAS SOUS 498106 HAS SOUPS 183749 WITH SCORE 190999.522
AT ITER 4767 NEW BEST:: SOT 8779631 SOS 7250378 HAS SOPS 3534078 HAS SOUS 498034 HAS SOUPS 183677 WITH SCORE 190927.378
AT ITER 4781 NEW BEST:: SOT 8779557 SOS 7250230 HAS SOPS 3533930 HAS SOUS 497978 HAS SOUPS 183621 WITH SCORE 190871.23
AT ITER 4806 NEW BEST:: SOT 8779554 SOS 7250224 HAS SOPS 3533924 HAS SOUS 497975 HAS SOUPS 183618 WITH SCORE 190868.224
AT ITER 4829 NEW BEST:: SOT 8780082 SOS 7251060 HAS SOPS 3534188 HAS SOUS 497975 HAS SOUPS 183574 WITH SCORE 190825.06
AT ITER 4845 NEW BEST:: SOT 8778978 SOS 7249956 HAS SOPS 3533636 HAS SOUS 497975 HAS SOUPS 183574 WITH SCORE 190823.956
AT ITER 4862 NEW BEST:: SOT 8778518 SOS 7248538 HAS SOPS 3533380 HAS SOUS 497737 HAS SOUPS 183502 WITH SCORE 190750.538
AT ITER 4883 NEW BEST:: SOT 8778472 SOS 7248446 HAS SOPS 3533288 HAS SOUS 497668 HAS SOUPS 183433 WITH SCORE 190681.446
AT ITER 4892 NEW BEST:: SOT 8777935 SOS 7249958 HAS SOPS 3533288 HAS SOUS 497563 HAS SOUPS 183328 WITH SCORE 190577.958
AT ITER 4894 NEW BEST:: SOT 8776794 SOS 7255801 HAS SOPS 3534945 HAS SOUS 497368 HAS SOUPS 183133 WITH SCORE 190388.801
AT ITER 4956 NEW BEST:: SOT 8775276 SOS 7253360 HAS SOPS 3534051 HAS SOUS 497159 HAS SOUPS 183043 WITH SCORE 190296.36
AT ITER 4957 NEW BEST:: SOT 8775260 SOS 7253559 HAS SOPS 3533711 HAS SOUS 497208 HAS SOUPS 183015 WITH SCORE 190268.559
AT ITER 4971 NEW BEST:: SOT 8775228 SOS 7251319 HAS SOPS 3533647 HAS SOUS 497176 HAS SOUPS 183015 WITH SCORE 190266.319
AT ITER 4982 NEW BEST:: SOT 8775022 SOS 7252307 HAS SOPS 3534635 HAS SOUS 496970 HAS SOUPS 182809 WITH SCORE 190061.307
AT ITER 5016 NEW BEST:: SOT 8774738 SOS 7252023 HAS SOPS 3534351 HAS SOUS 496899 HAS SOUPS 182738 WITH SCORE 189990.023
AT ITER 5018 NEW BEST:: SOT 8774738 SOS 7252023 HAS SOPS 3534351 HAS SOUS 496885 HAS SOUPS 182724 WITH SCORE 189976.023
AT ITER 5026 NEW BEST:: SOT 8771641 SOS 7247116 HAS SOPS 3532207 HAS SOUS 496710 HAS SOUPS 182600 WITH SCORE 189847.116
AT ITER 5039 NEW BEST:: SOT 8771641 SOS 7247116 HAS SOPS 3532207 HAS SOUS 496692 HAS SOUPS 182582 WITH SCORE 189829.116
AT ITER 5041 NEW BEST:: SOT 8771641 SOS 7247116 HAS SOPS 3532207 HAS SOUS 496596 HAS SOUPS 182486 WITH SCORE 189733.116
AT ITER 5052 NEW BEST:: SOT 8771852 SOS 7242594 HAS SOPS 3530100 HAS SOUS 496462 HAS SOUPS 182467 WITH SCORE 189709.594
AT ITER 5065 NEW BEST:: SOT 8771876 SOS 7242648 HAS SOPS 3530094 HAS SOUS 496486 HAS SOUPS 182461 WITH SCORE 189703.648
AT ITER 5119 NEW BEST:: SOT 8771838 SOS 7242572 HAS SOPS 3530018 HAS SOUS 496421 HAS SOUPS 182396 WITH SCORE 189638.572
AT ITER 5160 NEW BEST:: SOT 8771838 SOS 7242572 HAS SOPS 3530018 HAS SOUS 496297 HAS SOUPS 182272 WITH SCORE 189514.572
AT ITER 5165 NEW BEST:: SOT 8771831 SOS 7242502 HAS SOPS 3529948 HAS SOUS 496276 HAS SOUPS 182251 WITH SCORE 189493.502
AT ITER 5173 NEW BEST:: SOT 8771831 SOS 7242502 HAS SOPS 3529948 HAS SOUS 496178 HAS SOUPS 182153 WITH SCORE 189395.502
AT ITER 5179 NEW BEST:: SOT 8771959 SOS 7242950 HAS SOPS 3529948 HAS SOUS 496079 HAS SOUPS 181990 WITH SCORE 189232.95
AT ITER 5189 NEW BEST:: SOT 8770933 SOS 7241836 HAS SOPS 3528834 HAS SOUS 495740 HAS SOUPS 181651 WITH SCORE 188892.836
AT ITER 5215 NEW BEST:: SOT 8770843 SOS 7241836 HAS SOPS 3528834 HAS SOUS 495669 HAS SOUPS 181580 WITH SCORE 188821.836
AT ITER 5218 NEW BEST:: SOT 8770622 SOS 7241479 HAS SOPS 3528698 HAS SOUS 495642 HAS SOUPS 181570 WITH SCORE 188811.479
AT ITER 5246 NEW BEST:: SOT 8770622 SOS 7241360 HAS SOPS 3528803 HAS SOUS 495593 HAS SOUPS 181553 WITH SCORE 188794.36
AT ITER 5249 NEW BEST:: SOT 8770321 SOS 7239610 HAS SOPS 3527053 HAS SOUS 495292 HAS SOUPS 181252 WITH SCORE 188491.61
AT ITER 5292 NEW BEST:: SOT 8769361 SOS 7240018 HAS SOPS 3526491 HAS SOUS 494824 HAS SOUPS 180881 WITH SCORE 188121.018
AT ITER 5318 NEW BEST:: SOT 8769316 SOS 7240264 HAS SOPS 3526114 HAS SOUS 494823 HAS SOUPS 180791 WITH SCORE 188031.264
AT ITER 5339 NEW BEST:: SOT 8769171 SOS 7239974 HAS SOPS 3525824 HAS SOUS 494738 HAS SOUPS 180706 WITH SCORE 187945.974
AT ITER 5361 NEW BEST:: SOT 8769191 SOS 7240029 HAS SOPS 3525844 HAS SOUS 494740 HAS SOUPS 180703 WITH SCORE 187943.029
AT ITER 5382 NEW BEST:: SOT 8769186 SOS 7239669 HAS SOPS 3525824 HAS SOUS 494720 HAS SOUPS 180688 WITH SCORE 187927.669
AT ITER 5392 NEW BEST:: SOT 8768958 SOS 7249903 HAS SOPS 3530958 HAS SOUS 494774 HAS SOUPS 180667 WITH SCORE 187916.903
AT ITER 5422 NEW BEST:: SOT 8768997 SOS 7248647 HAS SOPS 3530248 HAS SOUS 494774 HAS SOUPS 180667 WITH SCORE 187915.647
AT ITER 5438 NEW BEST:: SOT 8768894 SOS 7250133 HAS SOPS 3531076 HAS SOUS 494765 HAS SOUPS 180658 WITH SCORE 187908.133
AT ITER 5442 NEW BEST:: SOT 8768894 SOS 7250133 HAS SOPS 3531076 HAS SOUS 494681 HAS SOUPS 180574 WITH SCORE 187824.133
AT ITER 5456 NEW BEST:: SOT 8769252 SOS 7228779 HAS SOPS 3533182 HAS SOUS 494250 HAS SOUPS 180488 WITH SCORE 187716.779
AT ITER 5460 NEW BEST:: SOT 8769284 SOS 7228867 HAS SOPS 3533214 HAS SOUS 494250 HAS SOUPS 180480 WITH SCORE 187708.867
AT ITER 5488 NEW BEST:: SOT 8769457 SOS 7227343 HAS SOPS 3532130 HAS SOUS 494258 HAS SOUPS 180433 WITH SCORE 187660.343
AT ITER 5512 NEW BEST:: SOT 8769457 SOS 7227343 HAS SOPS 3532130 HAS SOUS 494200 HAS SOUPS 180375 WITH SCORE 187602.343
AT ITER 5523 NEW BEST:: SOT 8771162 SOS 7230141 HAS SOPS 3533017 HAS SOUS 494266 HAS SOUPS 180294 WITH SCORE 187524.141
AT ITER 5534 NEW BEST:: SOT 8771032 SOS 7229935 HAS SOPS 3532811 HAS SOUS 494199 HAS SOUPS 180227 WITH SCORE 187456.935
AT ITER 5571 NEW BEST:: SOT 8770906 SOS 7229683 HAS SOPS 3532559 HAS SOUS 494010 HAS SOUPS 180038 WITH SCORE 187267.683
AT ITER 5588 NEW BEST:: SOT 8770878 SOS 7229627 HAS SOPS 3532503 HAS SOUS 493982 HAS SOUPS 180010 WITH SCORE 187239.627
AT ITER 5622 NEW BEST:: SOT 8773530 SOS 7233826 HAS SOPS 3533829 HAS SOUS 494172 HAS SOUPS 179979 WITH SCORE 187212.826
AT ITER 5654 NEW BEST:: SOT 8773524 SOS 7233400 HAS SOPS 3533811 HAS SOUS 494154 HAS SOUPS 179967 WITH SCORE 187200.4
AT ITER 5700 NEW BEST:: SOT 8773957 SOS 7234935 HAS SOPS 3533785 HAS SOUS 494347 HAS SOUPS 179937 WITH SCORE 187171.935
AT ITER 5705 NEW BEST:: SOT 8774187 SOS 7229529 HAS SOPS 3531319 HAS SOUS 494202 HAS SOUPS 179932 WITH SCORE 187161.529
AT ITER 5710 NEW BEST:: SOT 8776757 SOS 7244104 HAS SOPS 3536525 HAS SOUS 494154 HAS SOUPS 179537 WITH SCORE 186781.104
AT ITER 5731 NEW BEST:: SOT 8776682 SOS 7243954 HAS SOPS 3536375 HAS SOUS 493903 HAS SOUPS 179286 WITH SCORE 186529.954
AT ITER 5737 NEW BEST:: SOT 8776682 SOS 7243954 HAS SOPS 3536375 HAS SOUS 493779 HAS SOUPS 179162 WITH SCORE 186405.954
AT ITER 5738 NEW BEST:: SOT 8776662 SOS 7243914 HAS SOPS 3536335 HAS SOUS 493759 HAS SOUPS 179142 WITH SCORE 186385.914
AT ITER 5742 NEW BEST:: SOT 8776662 SOS 7243914 HAS SOPS 3536335 HAS SOUS 493751 HAS SOUPS 179134 WITH SCORE 186377.914
AT ITER 5751 NEW BEST:: SOT 8776622 SOS 7243954 HAS SOPS 3536095 HAS SOUS 493751 HAS SOUPS 179094 WITH SCORE 186337.954
AT ITER 5782 NEW BEST:: SOT 8776622 SOS 7243954 HAS SOPS 3536095 HAS SOUS 493745 HAS SOUPS 179088 WITH SCORE 186331.954
AT ITER 5826 NEW BEST:: SOT 8776470 SOS 7243476 HAS SOPS 3536023 HAS SOUS 493649 HAS SOUPS 179050 WITH SCORE 186293.476
AT ITER 5836 NEW BEST:: SOT 8776449 SOS 7243434 HAS SOPS 3535981 HAS SOUS 493628 HAS SOUPS 179029 WITH SCORE 186272.434
AT ITER 5837 NEW BEST:: SOT 8776449 SOS 7243434 HAS SOPS 3535981 HAS SOUS 493616 HAS SOUPS 179017 WITH SCORE 186260.434
AT ITER 5849 NEW BEST:: SOT 8776513 SOS 7241386 HAS SOPS 3534445 HAS SOUS 493424 HAS SOUPS 178761 WITH SCORE 186002.386
AT ITER 5861 NEW BEST:: SOT 8776513 SOS 7241386 HAS SOPS 3534445 HAS SOUS 493300 HAS SOUPS 178637 WITH SCORE 185878.386
AT ITER 5898 NEW BEST:: SOT 8776513 SOS 7241386 HAS SOPS 3534445 HAS SOUS 493264 HAS SOUPS 178601 WITH SCORE 185842.386
AT ITER 5919 NEW BEST:: SOT 8776513 SOS 7241386 HAS SOPS 3534445 HAS SOUS 493246 HAS SOUPS 178583 WITH SCORE 185824.386
AT ITER 5950 NEW BEST:: SOT 8776528 SOS 7235676 HAS SOPS 3532271 HAS SOUS 493181 HAS SOUPS 178570 WITH SCORE 185805.676
AT ITER 5951 NEW BEST:: SOT 8776561 SOS 7234014 HAS SOPS 3531281 HAS SOUS 493166 HAS SOUPS 178555 WITH SCORE 185789.014
AT ITER 5997 NEW BEST:: SOT 8776425 SOS 7233878 HAS SOPS 3531145 HAS SOUS 493098 HAS SOUPS 178487 WITH SCORE 185720.878
AT ITER 6011 NEW BEST:: SOT 8775651 SOS 7233418 HAS SOPS 3530685 HAS SOUS 492782 HAS SOUPS 178171 WITH SCORE 185404.418
AT ITER 6035 NEW BEST:: SOT 8775607 SOS 7233330 HAS SOPS 3530597 HAS SOUS 492771 HAS SOUPS 178160 WITH SCORE 185393.33
AT ITER 6065 NEW BEST:: SOT 8775551 SOS 7233022 HAS SOPS 3530485 HAS SOUS 492659 HAS SOUPS 178076 WITH SCORE 185309.022
AT ITER 6074 NEW BEST:: SOT 8775075 SOS 7233520 HAS SOPS 3530983 HAS SOUS 492520 HAS SOUPS 177937 WITH SCORE 185170.52
AT ITER 6075 NEW BEST:: SOT 8775075 SOS 7233520 HAS SOPS 3530983 HAS SOUS 492470 HAS SOUPS 177887 WITH SCORE 185120.52
AT ITER 6103 NEW BEST:: SOT 8775046 SOS 7233462 HAS SOPS 3531128 HAS SOUS 492412 HAS SOUPS 177858 WITH SCORE 185091.462
AT ITER 6130 NEW BEST:: SOT 8775046 SOS 7233462 HAS SOPS 3531128 HAS SOUS 492382 HAS SOUPS 177828 WITH SCORE 185061.462
AT ITER 6144 NEW BEST:: SOT 8773232 SOS 7239427 HAS SOPS 3532347 HAS SOUS 491552 HAS SOUPS 176998 WITH SCORE 184237.427
AT ITER 6168 NEW BEST:: SOT 8773232 SOS 7239427 HAS SOPS 3532347 HAS SOUS 491516 HAS SOUPS 176962 WITH SCORE 184201.427
AT ITER 6217 NEW BEST:: SOT 8773214 SOS 7239181 HAS SOPS 3532500 HAS SOUS 491441 HAS SOUPS 176944 WITH SCORE 184183.181
AT ITER 6219 NEW BEST:: SOT 8773214 SOS 7239181 HAS SOPS 3532500 HAS SOUS 491350 HAS SOUPS 176853 WITH SCORE 184092.181
AT ITER 6232 NEW BEST:: SOT 8772054 SOS 7237242 HAS SOPS 3531661 HAS SOUS 491302 HAS SOUPS 176805 WITH SCORE 184042.242
AT ITER 6243 NEW BEST:: SOT 8772040 SOS 7237214 HAS SOPS 3531633 HAS SOUS 491274 HAS SOUPS 176777 WITH SCORE 184014.214
AT ITER 6295 NEW BEST:: SOT 8772028 SOS 7237190 HAS SOPS 3531609 HAS SOUS 491238 HAS SOUPS 176741 WITH SCORE 183978.19
AT ITER 6297 NEW BEST:: SOT 8772028 SOS 7237190 HAS SOPS 3531609 HAS SOUS 491192 HAS SOUPS 176695 WITH SCORE 183932.19
AT ITER 6303 NEW BEST:: SOT 8772028 SOS 7237190 HAS SOPS 3531609 HAS SOUS 491154 HAS SOUPS 176657 WITH SCORE 183894.19
AT ITER 6309 NEW BEST:: SOT 8771980 SOS 7236149 HAS SOPS 3531513 HAS SOUS 491009 HAS SOUPS 176647 WITH SCORE 183883.149
AT ITER 6350 NEW BEST:: SOT 8771921 SOS 7237111 HAS SOPS 3531845 HAS SOUS 491010 HAS SOUPS 176618 WITH SCORE 183855.111
AT ITER 6367 NEW BEST:: SOT 8771921 SOS 7237111 HAS SOPS 3531845 HAS SOUS 490990 HAS SOUPS 176598 WITH SCORE 183835.111
AT ITER 6378 NEW BEST:: SOT 8771921 SOS 7237111 HAS SOPS 3531845 HAS SOUS 490986 HAS SOUPS 176594 WITH SCORE 183831.111
AT ITER 6416 NEW BEST:: SOT 8771921 SOS 7237111 HAS SOPS 3531845 HAS SOUS 490862 HAS SOUPS 176470 WITH SCORE 183707.111
AT ITER 6447 NEW BEST:: SOT 8771921 SOS 7237111 HAS SOPS 3531845 HAS SOUS 490788 HAS SOUPS 176396 WITH SCORE 183633.111
AT ITER 6509 NEW BEST:: SOT 8771804 SOS 7236877 HAS SOPS 3530792 HAS SOUS 490727 HAS SOUPS 176218 WITH SCORE 183454.877
AT ITER 6569 NEW BEST:: SOT 8771742 SOS 7236970 HAS SOPS 3530668 HAS SOUS 490696 HAS SOUPS 176156 WITH SCORE 183392.97
AT ITER 6585 NEW BEST:: SOT 8770561 SOS 7246649 HAS SOPS 3534943 HAS SOUS 490407 HAS SOUPS 175867 WITH SCORE 183113.649
AT ITER 6622 NEW BEST:: SOT 8770561 SOS 7246649 HAS SOPS 3534943 HAS SOUS 490307 HAS SOUPS 175767 WITH SCORE 183013.649
AT ITER 6643 NEW BEST:: SOT 8770771 SOS 7247282 HAS SOPS 3535079 HAS SOUS 490272 HAS SOUPS 175661 WITH SCORE 182908.282
AT ITER 6646 NEW BEST:: SOT 8770771 SOS 7247282 HAS SOPS 3535079 HAS SOUS 490166 HAS SOUPS 175555 WITH SCORE 182802.282
AT ITER 6680 NEW BEST:: SOT 8770730 SOS 7247200 HAS SOPS 3534710 HAS SOUS 490125 HAS SOUPS 175473 WITH SCORE 182720.2
AT ITER 6727 NEW BEST:: SOT 8769896 SOS 7256896 HAS SOPS 3539464 HAS SOUS 489650 HAS SOUPS 174998 WITH SCORE 182254.896
AT ITER 6733 NEW BEST:: SOT 8769896 SOS 7255408 HAS SOPS 3539440 HAS SOUS 489626 HAS SOUPS 174974 WITH SCORE 182229.408
AT ITER 6757 NEW BEST:: SOT 8769896 SOS 7255408 HAS SOPS 3539440 HAS SOUS 489520 HAS SOUPS 174868 WITH SCORE 182123.408
AT ITER 6777 NEW BEST:: SOT 8769896 SOS 7255317 HAS SOPS 3539440 HAS SOUS 489500 HAS SOUPS 174861 WITH SCORE 182116.317
AT ITER 6809 NEW BEST:: SOT 8769763 SOS 7253966 HAS SOPS 3539503 HAS SOUS 489255 HAS SOUPS 174818 WITH SCORE 182071.96600000001
AT ITER 6822 NEW BEST:: SOT 8769769 SOS 7253966 HAS SOPS 3539503 HAS SOUS 489249 HAS SOUPS 174812 WITH SCORE 182065.96600000001
AT ITER 6861 NEW BEST:: SOT 8768705 SOS 7251019 HAS SOPS 3538467 HAS SOUS 488634 HAS SOUPS 174470 WITH SCORE 181721.019
AT ITER 6869 NEW BEST:: SOT 8768701 SOS 7251011 HAS SOPS 3538431 HAS SOUS 488634 HAS SOUPS 174466 WITH SCORE 181717.011
AT ITER 6870 NEW BEST:: SOT 8768701 SOS 7251011 HAS SOPS 3538431 HAS SOUS 488139 HAS SOUPS 173971 WITH SCORE 181222.011
AT ITER 6877 NEW BEST:: SOT 8768640 SOS 7252401 HAS SOPS 3538357 HAS SOUS 488089 HAS SOUPS 173921 WITH SCORE 181173.401
AT ITER 6913 NEW BEST:: SOT 8768640 SOS 7252401 HAS SOPS 3538357 HAS SOUS 487971 HAS SOUPS 173803 WITH SCORE 181055.401
AT ITER 6992 NEW BEST:: SOT 8768640 SOS 7252401 HAS SOPS 3538357 HAS SOUS 487847 HAS SOUPS 173679 WITH SCORE 180931.401
AT ITER 7007 NEW BEST:: SOT 8768640 SOS 7252401 HAS SOPS 3538357 HAS SOUS 487777 HAS SOUPS 173609 WITH SCORE 180861.401
AT ITER 7012 NEW BEST:: SOT 8768622 SOS 7252293 HAS SOPS 3538417 HAS SOUS 487738 HAS SOUPS 173594 WITH SCORE 180846.293
AT ITER 7049 NEW BEST:: SOT 8768605 SOS 7252259 HAS SOPS 3538383 HAS SOUS 487691 HAS SOUPS 173547 WITH SCORE 180799.259
AT ITER 7053 NEW BEST:: SOT 8771377 SOS 7255326 HAS SOPS 3540189 HAS SOUS 487341 HAS SOUPS 173273 WITH SCORE 180528.326
AT ITER 7058 NEW BEST:: SOT 8771377 SOS 7255326 HAS SOPS 3540189 HAS SOUS 487287 HAS SOUPS 173219 WITH SCORE 180474.326
AT ITER 7062 NEW BEST:: SOT 8771369 SOS 7255282 HAS SOPS 3540145 HAS SOUS 487275 HAS SOUPS 173207 WITH SCORE 180462.282
AT ITER 7100 NEW BEST:: SOT 8771369 SOS 7255282 HAS SOPS 3540145 HAS SOUS 487257 HAS SOUPS 173189 WITH SCORE 180444.282
AT ITER 7169 NEW BEST:: SOT 8771369 SOS 7255282 HAS SOPS 3540145 HAS SOUS 487133 HAS SOUPS 173065 WITH SCORE 180320.282
AT ITER 7187 NEW BEST:: SOT 8771145 SOS 7254834 HAS SOPS 3539697 HAS SOUS 486909 HAS SOUPS 172841 WITH SCORE 180095.834
AT ITER 7321 NEW BEST:: SOT 8771145 SOS 7254834 HAS SOPS 3539697 HAS SOUS 486867 HAS SOUPS 172799 WITH SCORE 180053.834
AT ITER 7325 NEW BEST:: SOT 8771132 SOS 7254598 HAS SOPS 3539671 HAS SOUS 486824 HAS SOUPS 172786 WITH SCORE 180040.598
AT ITER 7353 NEW BEST:: SOT 8771145 SOS 7254539 HAS SOPS 3539535 HAS SOUS 486760 HAS SOUPS 172722 WITH SCORE 179976.539
AT ITER 7383 NEW BEST:: SOT 8771145 SOS 7254539 HAS SOPS 3539535 HAS SOUS 486636 HAS SOUPS 172598 WITH SCORE 179852.539
AT ITER 7429 NEW BEST:: SOT 8771140 SOS 7253494 HAS SOPS 3539510 HAS SOUS 486586 HAS SOUPS 172563 WITH SCORE 179816.494
AT ITER 7455 NEW BEST:: SOT 8770985 SOS 7243469 HAS SOPS 3519625 HAS SOUS 486721 HAS SOUPS 172553 WITH SCORE 179796.469
AT ITER 7491 NEW BEST:: SOT 8771863 SOS 7267325 HAS SOPS 3520361 HAS SOUS 486981 HAS SOUPS 172473 WITH SCORE 179740.325
AT ITER 7503 NEW BEST:: SOT 8771775 SOS 7266044 HAS SOPS 3527172 HAS SOUS 486848 HAS SOUPS 172459 WITH SCORE 179725.044
AT ITER 7506 NEW BEST:: SOT 8771742 SOS 7265747 HAS SOPS 3527106 HAS SOUS 486749 HAS SOUPS 172393 WITH SCORE 179658.747
AT ITER 7534 NEW BEST:: SOT 8771742 SOS 7265747 HAS SOPS 3527106 HAS SOUS 486731 HAS SOUPS 172375 WITH SCORE 179640.747
AT ITER 7559 NEW BEST:: SOT 8771620 SOS 7265173 HAS SOPS 3526994 HAS SOUS 486563 HAS SOUPS 172273 WITH SCORE 179538.173
AT ITER 7568 NEW BEST:: SOT 8771456 SOS 7264845 HAS SOPS 3526666 HAS SOUS 486308 HAS SOUPS 172018 WITH SCORE 179282.845
AT ITER 7587 NEW BEST:: SOT 8771267 SOS 7263935 HAS SOPS 3525961 HAS SOUS 486267 HAS SOUPS 172018 WITH SCORE 179281.935
AT ITER 7623 NEW BEST:: SOT 8771240 SOS 7264043 HAS SOPS 3525880 HAS SOUS 486234 HAS SOUPS 171958 WITH SCORE 179222.043
AT ITER 7651 NEW BEST:: SOT 8771194 SOS 7264532 HAS SOPS 3525144 HAS SOUS 486367 HAS SOUPS 171916 WITH SCORE 179180.532
AT ITER 7664 NEW BEST:: SOT 8768420 SOS 7260862 HAS SOPS 3522896 HAS SOUS 486353 HAS SOUPS 171902 WITH SCORE 179162.862
AT ITER 7678 NEW BEST:: SOT 8768351 SOS 7260206 HAS SOPS 3523115 HAS SOUS 486159 HAS SOUPS 171833 WITH SCORE 179093.206
AT ITER 7694 NEW BEST:: SOT 8768355 SOS 7260214 HAS SOPS 3523123 HAS SOUS 486141 HAS SOUPS 171815 WITH SCORE 179075.214
AT ITER 7695 NEW BEST:: SOT 8768355 SOS 7260214 HAS SOPS 3523123 HAS SOUS 486139 HAS SOUPS 171813 WITH SCORE 179073.214
AT ITER 7718 NEW BEST:: SOT 8768090 SOS 7259684 HAS SOPS 3522593 HAS SOUS 485731 HAS SOUPS 171405 WITH SCORE 178664.684
AT ITER 7731 NEW BEST:: SOT 8768250 SOS 7260229 HAS SOPS 3522613 HAS SOUS 485677 HAS SOUPS 171276 WITH SCORE 178536.229
AT ITER 7732 NEW BEST:: SOT 8768241 SOS 7260932 HAS SOPS 3522434 HAS SOUS 485777 HAS SOUPS 171250 WITH SCORE 178510.932
AT ITER 7757 NEW BEST:: SOT 8768219 SOS 7259691 HAS SOPS 3522775 HAS SOUS 485521 HAS SOUPS 171220 WITH SCORE 178479.691
AT ITER 7762 NEW BEST:: SOT 8768219 SOS 7259691 HAS SOPS 3522775 HAS SOUS 485503 HAS SOUPS 171202 WITH SCORE 178461.691
AT ITER 7768 NEW BEST:: SOT 8768209 SOS 7259653 HAS SOPS 3522735 HAS SOUS 485485 HAS SOUPS 171184 WITH SCORE 178443.653
AT ITER 7791 NEW BEST:: SOT 8768204 SOS 7259720 HAS SOPS 3522515 HAS SOUS 485512 HAS SOUPS 171170 WITH SCORE 178429.72
AT ITER 7800 NEW BEST:: SOT 8768204 SOS 7259720 HAS SOPS 3522515 HAS SOUS 485502 HAS SOUPS 171160 WITH SCORE 178419.72
AT ITER 7832 NEW BEST:: SOT 8768204 SOS 7259720 HAS SOPS 3522515 HAS SOUS 485394 HAS SOUPS 171052 WITH SCORE 178311.72
AT ITER 7874 NEW BEST:: SOT 8768204 SOS 7259720 HAS SOPS 3522515 HAS SOUS 485332 HAS SOUPS 170990 WITH SCORE 178249.72
AT ITER 7890 NEW BEST:: SOT 8768204 SOS 7259720 HAS SOPS 3522515 HAS SOUS 485238 HAS SOUPS 170896 WITH SCORE 178155.72
AT ITER 7910 NEW BEST:: SOT 8768128 SOS 7260504 HAS SOPS 3522753 HAS SOUS 485214 HAS SOUPS 170846 WITH SCORE 178106.504
AT ITER 7937 NEW BEST:: SOT 8768086 SOS 7259286 HAS SOPS 3523509 HAS SOUS 485172 HAS SOUPS 170804 WITH SCORE 178063.286
AT ITER 7973 NEW BEST:: SOT 8768308 SOS 7259928 HAS SOPS 3523689 HAS SOUS 485196 HAS SOUPS 170762 WITH SCORE 178021.928
AT ITER 8042 NEW BEST:: SOT 8768138 SOS 7260812 HAS SOPS 3523859 HAS SOUS 485229 HAS SOUPS 170761 WITH SCORE 178021.812
AT ITER 8081 NEW BEST:: SOT 8767142 SOS 7258820 HAS SOPS 3521867 HAS SOUS 484853 HAS SOUPS 170385 WITH SCORE 177643.82
AT ITER 8098 NEW BEST:: SOT 8767101 SOS 7260432 HAS SOPS 3521785 HAS SOUS 485022 HAS SOUPS 170312 WITH SCORE 177572.432
AT ITER 8104 NEW BEST:: SOT 8767069 SOS 7260368 HAS SOPS 3521497 HAS SOUS 485022 HAS SOUPS 170280 WITH SCORE 177540.368
AT ITER 8133 NEW BEST:: SOT 8767011 SOS 7260222 HAS SOPS 3521421 HAS SOUS 484984 HAS SOUPS 170252 WITH SCORE 177512.222
AT ITER 8142 NEW BEST:: SOT 8767242 SOS 7255538 HAS SOPS 3519551 HAS SOUS 484732 HAS SOUPS 170134 WITH SCORE 177389.538
AT ITER 8183 NEW BEST:: SOT 8767206 SOS 7255409 HAS SOPS 3519422 HAS SOUS 484623 HAS SOUPS 170025 WITH SCORE 177280.409
AT ITER 8189 NEW BEST:: SOT 8767050 SOS 7255019 HAS SOPS 3519214 HAS SOUS 484519 HAS SOUPS 169947 WITH SCORE 177202.019
AT ITER 8229 NEW BEST:: SOT 8767022 SOS 7255019 HAS SOPS 3519116 HAS SOUS 484479 HAS SOUPS 169893 WITH SCORE 177148.019
AT ITER 8264 NEW BEST:: SOT 8767022 SOS 7255019 HAS SOPS 3519116 HAS SOUS 484429 HAS SOUPS 169843 WITH SCORE 177098.019
AT ITER 8269 NEW BEST:: SOT 8765872 SOS 7253639 HAS SOPS 3518426 HAS SOUS 484375 HAS SOUPS 169789 WITH SCORE 177042.639
AT ITER 8277 NEW BEST:: SOT 8764869 SOS 7250709 HAS SOPS 3517652 HAS SOUS 483739 HAS SOUPS 169461 WITH SCORE 176711.709
AT ITER 8293 NEW BEST:: SOT 8765501 SOS 7244146 HAS SOPS 3514337 HAS SOUS 483386 HAS SOUPS 169108 WITH SCORE 176352.146
AT ITER 8301 NEW BEST:: SOT 8765388 SOS 7245667 HAS SOPS 3515116 HAS SOUS 483372 HAS SOUPS 169094 WITH SCORE 176339.667
AT ITER 8357 NEW BEST:: SOT 8765494 SOS 7245972 HAS SOPS 3515204 HAS SOUS 483385 HAS SOUPS 169076 WITH SCORE 176321.972
AT ITER 8482 NEW BEST:: SOT 8765467 SOS 7245918 HAS SOPS 3515150 HAS SOUS 483231 HAS SOUPS 168922 WITH SCORE 176167.918
AT ITER 8531 NEW BEST:: SOT 8765375 SOS 7245734 HAS SOPS 3514966 HAS SOUS 483047 HAS SOUPS 168738 WITH SCORE 175983.734
AT ITER 8536 NEW BEST:: SOT 8765213 SOS 7234394 HAS SOPS 3514642 HAS SOUS 482885 HAS SOUPS 168738 WITH SCORE 175972.394
AT ITER 8539 NEW BEST:: SOT 8765174 SOS 7234316 HAS SOPS 3514564 HAS SOUS 482750 HAS SOUPS 168603 WITH SCORE 175837.316
AT ITER 8605 NEW BEST:: SOT 8765176 SOS 7234320 HAS SOPS 3514568 HAS SOUS 482655 HAS SOUPS 168508 WITH SCORE 175742.32
AT ITER 8623 NEW BEST:: SOT 8765065 SOS 7234193 HAS SOPS 3514489 HAS SOUS 482648 HAS SOUPS 168501 WITH SCORE 175735.193
AT ITER 8659 NEW BEST:: SOT 8765024 SOS 7232683 HAS SOPS 3514407 HAS SOUS 482418 HAS SOUPS 168475 WITH SCORE 175707.683
AT ITER 8678 NEW BEST:: SOT 8763347 SOS 7216548 HAS SOPS 3512744 HAS SOUS 482416 HAS SOUPS 168473 WITH SCORE 175689.548
AT ITER 8684 NEW BEST:: SOT 8763276 SOS 7217129 HAS SOPS 3513003 HAS SOUS 482368 HAS SOUPS 168425 WITH SCORE 175642.129
AT ITER 8702 NEW BEST:: SOT 8759666 SOS 7211252 HAS SOPS 3510894 HAS SOUS 482065 HAS SOUPS 168402 WITH SCORE 175613.252
AT ITER 8722 NEW BEST:: SOT 8759666 SOS 7211252 HAS SOPS 3510894 HAS SOUS 482031 HAS SOUPS 168368 WITH SCORE 175579.252
AT ITER 8751 NEW BEST:: SOT 8759656 SOS 7211197 HAS SOPS 3510839 HAS SOUS 482021 HAS SOUPS 168358 WITH SCORE 175569.197
AT ITER 8761 NEW BEST:: SOT 8759548 SOS 7210981 HAS SOPS 3510623 HAS SOUS 481873 HAS SOUPS 168210 WITH SCORE 175420.981
AT ITER 8802 NEW BEST:: SOT 8760019 SOS 7211754 HAS SOPS 3511396 HAS SOUS 481828 HAS SOUPS 168165 WITH SCORE 175376.754
AT ITER 8857 NEW BEST:: SOT 8760003 SOS 7211477 HAS SOPS 3511119 HAS SOUS 481812 HAS SOUPS 168149 WITH SCORE 175360.477
AT ITER 8862 NEW BEST:: SOT 8760003 SOS 7211477 HAS SOPS 3511119 HAS SOUS 481688 HAS SOUPS 168025 WITH SCORE 175236.477
AT ITER 8874 NEW BEST:: SOT 8759997 SOS 7211465 HAS SOPS 3511107 HAS SOUS 481688 HAS SOUPS 168025 WITH SCORE 175236.465
AT ITER 8884 NEW BEST:: SOT 8759997 SOS 7211465 HAS SOPS 3511107 HAS SOUS 481618 HAS SOUPS 167955 WITH SCORE 175166.465
AT ITER 8951 NEW BEST:: SOT 8759931 SOS 7211258 HAS SOPS 3511075 HAS SOUS 481539 HAS SOUPS 167901 WITH SCORE 175112.258
AT ITER 8954 NEW BEST:: SOT 8757207 SOS 7206867 HAS SOPS 3507938 HAS SOUS 481317 HAS SOUPS 167679 WITH SCORE 174885.867
AT ITER 8968 NEW BEST:: SOT 8757155 SOS 7206945 HAS SOPS 3507834 HAS SOUS 481278 HAS SOUPS 167614 WITH SCORE 174820.945
AT ITER 9017 NEW BEST:: SOT 8757155 SOS 7206945 HAS SOPS 3507834 HAS SOUS 481262 HAS SOUPS 167598 WITH SCORE 174804.945
AT ITER 9066 NEW BEST:: SOT 8757232 SOS 7203004 HAS SOPS 3506098 HAS SOUS 481129 HAS SOUPS 167570 WITH SCORE 174773.004
AT ITER 9099 NEW BEST:: SOT 8757050 SOS 7203394 HAS SOPS 3505942 HAS SOUS 481103 HAS SOUPS 167518 WITH SCORE 174721.394
AT ITER 9119 NEW BEST:: SOT 8754022 SOS 7198608 HAS SOPS 3503998 HAS SOUS 480737 HAS SOUPS 167302 WITH SCORE 174500.608
AT ITER 9213 NEW BEST:: SOT 8749011 SOS 7190551 HAS SOPS 3501045 HAS SOUS 480331 HAS SOUPS 167258 WITH SCORE 174448.551
AT ITER 9231 NEW BEST:: SOT 8749113 SOS 7191211 HAS SOPS 3500641 HAS SOUS 480382 HAS SOUPS 167157 WITH SCORE 174348.211
AT ITER 9238 NEW BEST:: SOT 8748810 SOS 7181595 HAS SOPS 3495918 HAS SOUS 479997 HAS SOUPS 167005 WITH SCORE 174186.595
AT ITER 9272 NEW BEST:: SOT 8748876 SOS 7180255 HAS SOPS 3495314 HAS SOUS 479956 HAS SOUPS 166964 WITH SCORE 174144.255
AT ITER 9274 NEW BEST:: SOT 8744757 SOS 7173595 HAS SOPS 3492635 HAS SOUS 479471 HAS SOUPS 166766 WITH SCORE 173939.595
AT ITER 9288 NEW BEST:: SOT 8741847 SOS 7170458 HAS SOPS 3490860 HAS SOUS 479282 HAS SOUPS 166577 WITH SCORE 173747.458
AT ITER 9289 NEW BEST:: SOT 8741860 SOS 7169665 HAS SOPS 3489976 HAS SOUS 479295 HAS SOUPS 166577 WITH SCORE 173746.665
AT ITER 9346 NEW BEST:: SOT 8741940 SOS 7169885 HAS SOPS 3490056 HAS SOUS 479295 HAS SOUPS 166557 WITH SCORE 173726.885
AT ITER 9360 NEW BEST:: SOT 8742088 SOS 7168458 HAS SOPS 3489054 HAS SOUS 479287 HAS SOUPS 166497 WITH SCORE 173665.458
AT ITER 9390 NEW BEST:: SOT 8742002 SOS 7169834 HAS SOPS 3489828 HAS SOUS 479244 HAS SOUPS 166454 WITH SCORE 173623.834
AT ITER 9399 NEW BEST:: SOT 8742002 SOS 7169834 HAS SOPS 3489828 HAS SOUS 479228 HAS SOUPS 166438 WITH SCORE 173607.834
AT ITER 9414 NEW BEST:: SOT 8742002 SOS 7169834 HAS SOPS 3489828 HAS SOUS 479184 HAS SOUPS 166394 WITH SCORE 173563.834
AT ITER 9461 NEW BEST:: SOT 8742002 SOS 7169834 HAS SOPS 3489828 HAS SOUS 479102 HAS SOUPS 166312 WITH SCORE 173481.834
AT ITER 9471 NEW BEST:: SOT 8742002 SOS 7169323 HAS SOPS 3489828 HAS SOUS 479024 HAS SOUPS 166307 WITH SCORE 173476.323
AT ITER 9502 NEW BEST:: SOT 8742002 SOS 7169203 HAS SOPS 3489796 HAS SOUS 479020 HAS SOUPS 166307 WITH SCORE 173476.203
AT ITER 9560 NEW BEST:: SOT 8741544 SOS 7181832 HAS SOPS 3489576 HAS SOUS 478610 HAS SOUPS 166030 WITH SCORE 173211.832
AT ITER 9572 NEW BEST:: SOT 8743680 SOS 7185214 HAS SOPS 3490644 HAS SOUS 478491 HAS SOUPS 165733 WITH SCORE 172918.214
AT ITER 9605 NEW BEST:: SOT 8743356 SOS 7184566 HAS SOPS 3489996 HAS SOUS 478433 HAS SOUPS 165675 WITH SCORE 172859.566
AT ITER 9640 NEW BEST:: SOT 8743356 SOS 7184566 HAS SOPS 3489996 HAS SOUS 478431 HAS SOUPS 165673 WITH SCORE 172857.566
AT ITER 9664 NEW BEST:: SOT 8743356 SOS 7184566 HAS SOPS 3489996 HAS SOUS 478407 HAS SOUPS 165649 WITH SCORE 172833.566
AT ITER 9733 NEW BEST:: SOT 8743371 SOS 7184335 HAS SOPS 3489954 HAS SOUS 478398 HAS SOUPS 165649 WITH SCORE 172833.335
AT ITER 9758 NEW BEST:: SOT 8743347 SOS 7184287 HAS SOPS 3489668 HAS SOUS 478408 HAS SOUPS 165625 WITH SCORE 172809.287
AT ITER 9772 NEW BEST:: SOT 8743347 SOS 7184287 HAS SOPS 3489668 HAS SOUS 478404 HAS SOUPS 165621 WITH SCORE 172805.287
AT ITER 9804 NEW BEST:: SOT 8743347 SOS 7184287 HAS SOPS 3489668 HAS SOUS 478394 HAS SOUPS 165611 WITH SCORE 172795.287
AT ITER 9838 NEW BEST:: SOT 8743203 SOS 7184059 HAS SOPS 3489596 HAS SOUS 478382 HAS SOUPS 165611 WITH SCORE 172795.059
AT ITER 9842 NEW BEST:: SOT 8742973 SOS 7187068 HAS SOPS 3491079 HAS SOUS 478342 HAS SOUPS 165571 WITH SCORE 172758.068
AT ITER 9865 NEW BEST:: SOT 8742776 SOS 7186871 HAS SOPS 3490882 HAS SOUS 478160 HAS SOUPS 165389 WITH SCORE 172575.871
AT ITER 9872 NEW BEST:: SOT 8742931 SOS 7183403 HAS SOPS 3489052 HAS SOUS 477892 HAS SOUPS 165121 WITH SCORE 172304.403
AT ITER 9895 NEW BEST:: SOT 8743153 SOS 7183562 HAS SOPS 3489200 HAS SOUS 477844 HAS SOUPS 165110 WITH SCORE 172293.562
AT ITER 9904 NEW BEST:: SOT 8740191 SOS 7178798 HAS SOPS 3487452 HAS SOUS 477543 HAS SOUPS 165041 WITH SCORE 172219.798
AT ITER 9910 NEW BEST:: SOT 8742210 SOS 7181269 HAS SOPS 3488725 HAS SOUS 477330 HAS SOUPS 164844 WITH SCORE 172025.269
AT ITER 9989 NEW BEST:: SOT 8742206 SOS 7181257 HAS SOPS 3488713 HAS SOUS 477320 HAS SOUPS 164834 WITH SCORE 172015.257
AT ITER 9992 NEW BEST:: SOT 8742206 SOS 7181257 HAS SOPS 3488713 HAS SOUS 477196 HAS SOUPS 164710 WITH SCORE 171891.257

BK_STOP 1678391478054

--------------------
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: 484 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="DLCflexbar-PT-5a"
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 DLCflexbar-PT-5a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484400560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-5a.tgz
mv DLCflexbar-PT-5a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;