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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 6.7K Feb 26 15:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 15:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 15:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 15:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 15:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 15:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 15:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 15:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.2M 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 1679430560891

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=EnergyBus-PT-none
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 20:29:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 20:29:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 20:29:22] [INFO ] Load time of PNML (sax parser for PT used): 283 ms
[2023-03-21 20:29:22] [INFO ] Transformed 157 places.
[2023-03-21 20:29:22] [INFO ] Transformed 4430 transitions.
[2023-03-21 20:29:22] [INFO ] Found NUPN structural information;
[2023-03-21 20:29:22] [INFO ] Parsed PT model containing 157 places and 4430 transitions and 63389 arcs in 380 ms.
[2023-03-21 20:29:22] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 157 places, 4430 transitions and 63389 arcs took 85 ms.
Total runtime 491 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EnergyBus (PT), instance none
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: 157 places, 4430 transitions, 63389 arcs.
AT ITER 0 NEW BEST:: SOT 603808 SOS 495441 HAS SOPS 494768 HAS SOUS 184910 HAS SOUPS 184686 WITH SCORE 185181.441
AT ITER 2 NEW BEST:: SOT 603784 SOS 495425 HAS SOPS 494752 HAS SOUS 184894 HAS SOUPS 184670 WITH SCORE 185165.425
AT ITER 5 NEW BEST:: SOT 603893 SOS 495694 HAS SOPS 495021 HAS SOUS 180195 HAS SOUPS 179971 WITH SCORE 180466.694
AT ITER 7 NEW BEST:: SOT 603883 SOS 495643 HAS SOPS 494775 HAS SOUS 180185 HAS SOUPS 179922 WITH SCORE 180417.643
AT ITER 9 NEW BEST:: SOT 603872 SOS 495621 HAS SOPS 494753 HAS SOUS 180183 HAS SOUPS 179920 WITH SCORE 180415.621
AT ITER 10 NEW BEST:: SOT 603968 SOS 495617 HAS SOPS 494749 HAS SOUS 178247 HAS SOUPS 177984 WITH SCORE 178479.617
AT ITER 14 NEW BEST:: SOT 603967 SOS 495616 HAS SOPS 494748 HAS SOUS 178246 HAS SOUPS 177983 WITH SCORE 178478.616
AT ITER 15 NEW BEST:: SOT 602968 SOS 495005 HAS SOPS 493742 HAS SOUS 178081 HAS SOUPS 177750 WITH SCORE 178245.005
AT ITER 17 NEW BEST:: SOT 602324 SOS 494467 HAS SOPS 493160 HAS SOUS 175587 HAS SOUPS 175213 WITH SCORE 175707.467
AT ITER 20 NEW BEST:: SOT 602351 SOS 494578 HAS SOPS 493271 HAS SOUS 175394 HAS SOUPS 175020 WITH SCORE 175514.578
AT ITER 35 NEW BEST:: SOT 602351 SOS 494498 HAS SOPS 493403 HAS SOUS 173634 HAS SOUPS 173314 WITH SCORE 173808.498
AT ITER 36 NEW BEST:: SOT 602008 SOS 493934 HAS SOPS 493039 HAS SOUS 171555 HAS SOUPS 171275 WITH SCORE 171768.934
AT ITER 47 NEW BEST:: SOT 600545 SOS 492547 HAS SOPS 491632 HAS SOUS 170784 HAS SOUPS 170485 WITH SCORE 170977.547
AT ITER 50 NEW BEST:: SOT 600539 SOS 492612 HAS SOPS 491697 HAS SOUS 169521 HAS SOUPS 169222 WITH SCORE 169714.612
AT ITER 53 NEW BEST:: SOT 600511 SOS 492570 HAS SOPS 491702 HAS SOUS 169493 HAS SOUPS 169194 WITH SCORE 169686.57
AT ITER 55 NEW BEST:: SOT 600511 SOS 492447 HAS SOPS 491579 HAS SOUS 169394 HAS SOUPS 169095 WITH SCORE 169587.447
AT ITER 56 NEW BEST:: SOT 600507 SOS 492424 HAS SOPS 491556 HAS SOUS 169229 HAS SOUPS 168930 WITH SCORE 169422.424
AT ITER 58 NEW BEST:: SOT 600492 SOS 492336 HAS SOPS 491498 HAS SOUS 169182 HAS SOUPS 168883 WITH SCORE 169375.336
AT ITER 63 NEW BEST:: SOT 600464 SOS 492308 HAS SOPS 491470 HAS SOUS 169154 HAS SOUPS 168855 WITH SCORE 169347.308
AT ITER 67 NEW BEST:: SOT 600484 SOS 492233 HAS SOPS 491649 HAS SOUS 167720 HAS SOUPS 167477 WITH SCORE 167969.233
AT ITER 70 NEW BEST:: SOT 600637 SOS 492225 HAS SOPS 491566 HAS SOUS 167694 HAS SOUPS 167437 WITH SCORE 167929.225
AT ITER 74 NEW BEST:: SOT 600591 SOS 492220 HAS SOPS 491561 HAS SOUS 162732 HAS SOUPS 162475 WITH SCORE 162967.22
AT ITER 76 NEW BEST:: SOT 600591 SOS 492289 HAS SOPS 491630 HAS SOUS 159459 HAS SOUPS 159202 WITH SCORE 159694.289
AT ITER 79 NEW BEST:: SOT 600591 SOS 492295 HAS SOPS 491636 HAS SOUS 158889 HAS SOUPS 158632 WITH SCORE 159124.295
AT ITER 80 NEW BEST:: SOT 600661 SOS 492325 HAS SOPS 491666 HAS SOUS 158824 HAS SOUPS 158567 WITH SCORE 159059.325
AT ITER 82 NEW BEST:: SOT 600675 SOS 492339 HAS SOPS 491680 HAS SOUS 157652 HAS SOUPS 157395 WITH SCORE 157887.339
AT ITER 87 NEW BEST:: SOT 600573 SOS 492220 HAS SOPS 491561 HAS SOUS 155887 HAS SOUPS 155630 WITH SCORE 156122.22
AT ITER 88 NEW BEST:: SOT 600557 SOS 492146 HAS SOPS 491487 HAS SOUS 155837 HAS SOUPS 155580 WITH SCORE 156072.146
AT ITER 89 NEW BEST:: SOT 601822 SOS 493428 HAS SOPS 492766 HAS SOUS 150629 HAS SOUPS 150369 WITH SCORE 150862.428
AT ITER 90 NEW BEST:: SOT 601804 SOS 493410 HAS SOPS 492748 HAS SOUS 150608 HAS SOUPS 150348 WITH SCORE 150841.41
AT ITER 93 NEW BEST:: SOT 601749 SOS 493000 HAS SOPS 492203 HAS SOUS 150530 HAS SOUPS 150243 WITH SCORE 150736.0
AT ITER 94 NEW BEST:: SOT 603336 SOS 494609 HAS SOPS 493812 HAS SOUS 140010 HAS SOUPS 139723 WITH SCORE 140217.609
AT ITER 96 NEW BEST:: SOT 603316 SOS 494561 HAS SOPS 493764 HAS SOUS 139990 HAS SOUPS 139703 WITH SCORE 140197.561
AT ITER 98 NEW BEST:: SOT 609012 SOS 500379 HAS SOPS 499582 HAS SOUS 137942 HAS SOUPS 137655 WITH SCORE 138155.379
AT ITER 100 NEW BEST:: SOT 608620 SOS 501568 HAS SOPS 500909 HAS SOUS 137852 HAS SOUPS 137595 WITH SCORE 138096.568
AT ITER 126 NEW BEST:: SOT 607854 SOS 500802 HAS SOPS 500143 HAS SOUS 137654 HAS SOUPS 137397 WITH SCORE 137897.802
AT ITER 128 NEW BEST:: SOT 607813 SOS 500720 HAS SOPS 500061 HAS SOUS 137529 HAS SOUPS 137272 WITH SCORE 137772.72
AT ITER 132 NEW BEST:: SOT 607799 SOS 500709 HAS SOPS 500050 HAS SOUS 136089 HAS SOUPS 135832 WITH SCORE 136332.709
AT ITER 136 NEW BEST:: SOT 607770 SOS 500674 HAS SOPS 500015 HAS SOUS 136046 HAS SOUPS 135789 WITH SCORE 136289.674
AT ITER 140 NEW BEST:: SOT 607760 SOS 500722 HAS SOPS 500063 HAS SOUS 132875 HAS SOUPS 132618 WITH SCORE 133118.722
AT ITER 144 NEW BEST:: SOT 607726 SOS 500655 HAS SOPS 499963 HAS SOUS 132775 HAS SOUPS 132518 WITH SCORE 133018.655
AT ITER 152 NEW BEST:: SOT 607726 SOS 500681 HAS SOPS 500041 HAS SOUS 128887 HAS SOUPS 128682 WITH SCORE 129182.681
AT ITER 157 NEW BEST:: SOT 607704 SOS 500619 HAS SOPS 499979 HAS SOUS 128825 HAS SOUPS 128620 WITH SCORE 129120.619
AT ITER 158 NEW BEST:: SOT 607761 SOS 500689 HAS SOPS 500049 HAS SOUS 118641 HAS SOUPS 118436 WITH SCORE 118936.689
AT ITER 159 NEW BEST:: SOT 607703 SOS 500589 HAS SOPS 499949 HAS SOUS 118552 HAS SOUPS 118347 WITH SCORE 118847.589
AT ITER 161 NEW BEST:: SOT 607721 SOS 500625 HAS SOPS 499985 HAS SOUS 115930 HAS SOUPS 115725 WITH SCORE 116225.625
AT ITER 163 NEW BEST:: SOT 607186 SOS 500081 HAS SOPS 499441 HAS SOUS 115832 HAS SOUPS 115627 WITH SCORE 116127.081
AT ITER 164 NEW BEST:: SOT 607186 SOS 500111 HAS SOPS 499471 HAS SOUS 115818 HAS SOUPS 115613 WITH SCORE 116113.111
AT ITER 171 NEW BEST:: SOT 607179 SOS 500104 HAS SOPS 499464 HAS SOUS 115804 HAS SOUPS 115599 WITH SCORE 116099.104
AT ITER 173 NEW BEST:: SOT 607171 SOS 495398 HAS SOPS 491248 HAS SOUS 115802 HAS SOUPS 115593 WITH SCORE 116088.398
AT ITER 174 NEW BEST:: SOT 607174 SOS 495460 HAS SOPS 491310 HAS SOUS 115116 HAS SOUPS 114907 WITH SCORE 115402.46
AT ITER 176 NEW BEST:: SOT 608671 SOS 496891 HAS SOPS 492741 HAS SOUS 110391 HAS SOUPS 110182 WITH SCORE 110678.891
AT ITER 178 NEW BEST:: SOT 608674 SOS 496900 HAS SOPS 492750 HAS SOUS 109929 HAS SOUPS 109720 WITH SCORE 110216.9
AT ITER 180 NEW BEST:: SOT 608673 SOS 496869 HAS SOPS 492719 HAS SOUS 109666 HAS SOUPS 109457 WITH SCORE 109953.869
AT ITER 183 NEW BEST:: SOT 608655 SOS 496833 HAS SOPS 492683 HAS SOUS 109648 HAS SOUPS 109439 WITH SCORE 109935.833
AT ITER 188 NEW BEST:: SOT 608642 SOS 496813 HAS SOPS 492700 HAS SOUS 109635 HAS SOUPS 109426 WITH SCORE 109922.813
AT ITER 190 NEW BEST:: SOT 608642 SOS 496804 HAS SOPS 492691 HAS SOUS 109617 HAS SOUPS 109408 WITH SCORE 109904.804
AT ITER 191 NEW BEST:: SOT 608633 SOS 496777 HAS SOPS 492664 HAS SOUS 109617 HAS SOUPS 109408 WITH SCORE 109904.777
AT ITER 194 NEW BEST:: SOT 608544 SOS 496588 HAS SOPS 492489 HAS SOUS 109598 HAS SOUPS 109389 WITH SCORE 109885.588
AT ITER 195 NEW BEST:: SOT 608544 SOS 496707 HAS SOPS 492608 HAS SOUS 106061 HAS SOUPS 105852 WITH SCORE 106348.707
AT ITER 201 NEW BEST:: SOT 608545 SOS 496709 HAS SOPS 492611 HAS SOUS 105902 HAS SOUPS 105694 WITH SCORE 106190.709
AT ITER 205 NEW BEST:: SOT 603567 SOS 491704 HAS SOPS 487606 HAS SOUS 103457 HAS SOUPS 103249 WITH SCORE 103740.704
AT ITER 207 NEW BEST:: SOT 603561 SOS 491686 HAS SOPS 487588 HAS SOUS 103455 HAS SOUPS 103247 WITH SCORE 103738.686
AT ITER 211 NEW BEST:: SOT 603607 SOS 491762 HAS SOPS 487664 HAS SOUS 103418 HAS SOUPS 103210 WITH SCORE 103701.762
AT ITER 213 NEW BEST:: SOT 603573 SOS 491604 HAS SOPS 487528 HAS SOUS 103390 HAS SOUPS 103182 WITH SCORE 103673.604
AT ITER 214 NEW BEST:: SOT 603549 SOS 491580 HAS SOPS 487504 HAS SOUS 99780 HAS SOUPS 99572 WITH SCORE 100063.58
AT ITER 221 NEW BEST:: SOT 603544 SOS 491539 HAS SOPS 487463 HAS SOUS 99586 HAS SOUPS 99378 WITH SCORE 99869.539
AT ITER 222 NEW BEST:: SOT 603534 SOS 491503 HAS SOPS 487427 HAS SOUS 99566 HAS SOUPS 99358 WITH SCORE 99849.503
AT ITER 223 NEW BEST:: SOT 603448 SOS 491577 HAS SOPS 487544 HAS SOUS 99480 HAS SOUPS 99272 WITH SCORE 99763.577
AT ITER 227 NEW BEST:: SOT 603489 SOS 489677 HAS SOPS 488206 HAS SOUS 89724 HAS SOUPS 89520 WITH SCORE 90009.677
AT ITER 231 NEW BEST:: SOT 603427 SOS 489762 HAS SOPS 488291 HAS SOUS 89723 HAS SOUPS 89519 WITH SCORE 90008.762
AT ITER 232 NEW BEST:: SOT 603375 SOS 489684 HAS SOPS 488213 HAS SOUS 89645 HAS SOUPS 89441 WITH SCORE 89930.684
AT ITER 234 NEW BEST:: SOT 603229 SOS 489561 HAS SOPS 488090 HAS SOUS 89522 HAS SOUPS 89318 WITH SCORE 89807.561
AT ITER 236 NEW BEST:: SOT 603226 SOS 489546 HAS SOPS 488075 HAS SOUS 89482 HAS SOUPS 89278 WITH SCORE 89767.546
AT ITER 237 NEW BEST:: SOT 603719 SOS 490039 HAS SOPS 488568 HAS SOUS 85760 HAS SOUPS 85556 WITH SCORE 86046.039
AT ITER 244 NEW BEST:: SOT 603689 SOS 490011 HAS SOPS 488540 HAS SOUS 85732 HAS SOUPS 85528 WITH SCORE 86018.011
AT ITER 252 NEW BEST:: SOT 603749 SOS 490045 HAS SOPS 488582 HAS SOUS 84748 HAS SOUPS 84544 WITH SCORE 85034.045
AT ITER 253 NEW BEST:: SOT 604216 SOS 490512 HAS SOPS 489025 HAS SOUS 83728 HAS SOUPS 83524 WITH SCORE 84014.512
AT ITER 254 NEW BEST:: SOT 604216 SOS 490512 HAS SOPS 489025 HAS SOUS 81924 HAS SOUPS 81720 WITH SCORE 82210.512
AT ITER 256 NEW BEST:: SOT 604196 SOS 490472 HAS SOPS 488985 HAS SOUS 81891 HAS SOUPS 81687 WITH SCORE 82177.472
AT ITER 259 NEW BEST:: SOT 604217 SOS 490514 HAS SOPS 489083 HAS SOUS 81865 HAS SOUPS 81684 WITH SCORE 82174.514
AT ITER 260 NEW BEST:: SOT 604217 SOS 490090 HAS SOPS 488589 HAS SOUS 81861 HAS SOUPS 81680 WITH SCORE 82170.09
AT ITER 266 NEW BEST:: SOT 585199 SOS 471376 HAS SOPS 469803 HAS SOUS 77985 HAS SOUPS 77733 WITH SCORE 78204.376
AT ITER 268 NEW BEST:: SOT 592106 SOS 478283 HAS SOPS 476710 HAS SOUS 75544 HAS SOUPS 75292 WITH SCORE 75770.283
AT ITER 272 NEW BEST:: SOT 592129 SOS 478352 HAS SOPS 476802 HAS SOUS 72733 HAS SOUPS 72504 WITH SCORE 72982.352
AT ITER 273 NEW BEST:: SOT 592110 SOS 478333 HAS SOPS 476783 HAS SOUS 71177 HAS SOUPS 70948 WITH SCORE 71426.333
AT ITER 276 NEW BEST:: SOT 592081 SOS 478228 HAS SOPS 476678 HAS SOUS 69957 HAS SOUPS 69728 WITH SCORE 70206.228
AT ITER 278 NEW BEST:: SOT 591057 SOS 477204 HAS SOPS 475654 HAS SOUS 69445 HAS SOUPS 69216 WITH SCORE 69693.204
AT ITER 280 NEW BEST:: SOT 591020 SOS 477175 HAS SOPS 475610 HAS SOUS 69404 HAS SOUPS 69175 WITH SCORE 69652.175
AT ITER 285 NEW BEST:: SOT 577937 SOS 464092 HAS SOPS 462527 HAS SOUS 68637 HAS SOUPS 68408 WITH SCORE 68872.092
AT ITER 293 NEW BEST:: SOT 582152 SOS 468329 HAS SOPS 466764 HAS SOUS 67957 HAS SOUPS 67728 WITH SCORE 68196.329
AT ITER 294 NEW BEST:: SOT 582139 SOS 468316 HAS SOPS 466751 HAS SOUS 67937 HAS SOUPS 67708 WITH SCORE 68176.316
AT ITER 296 NEW BEST:: SOT 582133 SOS 468306 HAS SOPS 466741 HAS SOUS 67933 HAS SOUPS 67704 WITH SCORE 68172.306
AT ITER 297 NEW BEST:: SOT 582111 SOS 468287 HAS SOPS 466675 HAS SOUS 67866 HAS SOUPS 67637 WITH SCORE 68105.287
AT ITER 298 NEW BEST:: SOT 582001 SOS 468177 HAS SOPS 466565 HAS SOUS 67821 HAS SOUPS 67592 WITH SCORE 68060.177
AT ITER 304 NEW BEST:: SOT 581948 SOS 468044 HAS SOPS 466432 HAS SOUS 67768 HAS SOUPS 67539 WITH SCORE 68007.044
AT ITER 305 NEW BEST:: SOT 581881 SOS 467855 HAS SOPS 466269 HAS SOUS 67660 HAS SOUPS 67431 WITH SCORE 67898.855
AT ITER 310 NEW BEST:: SOT 585052 SOS 471097 HAS SOPS 469576 HAS SOUS 67399 HAS SOUPS 67193 WITH SCORE 67664.097
AT ITER 315 NEW BEST:: SOT 585052 SOS 471095 HAS SOPS 469574 HAS SOUS 67397 HAS SOUPS 67191 WITH SCORE 67662.095
AT ITER 316 NEW BEST:: SOT 585030 SOS 471083 HAS SOPS 469562 HAS SOUS 67349 HAS SOUPS 67143 WITH SCORE 67614.083
AT ITER 318 NEW BEST:: SOT 585016 SOS 470979 HAS SOPS 469458 HAS SOUS 67160 HAS SOUPS 66954 WITH SCORE 67424.979
AT ITER 319 NEW BEST:: SOT 584976 SOS 470916 HAS SOPS 469375 HAS SOUS 67097 HAS SOUPS 66891 WITH SCORE 67361.916
AT ITER 320 NEW BEST:: SOT 585007 SOS 470971 HAS SOPS 469430 HAS SOUS 66993 HAS SOUPS 66787 WITH SCORE 67257.971
AT ITER 321 NEW BEST:: SOT 584025 SOS 469987 HAS SOPS 468446 HAS SOUS 66536 HAS SOUPS 66330 WITH SCORE 66799.987
AT ITER 334 NEW BEST:: SOT 583965 SOS 469921 HAS SOPS 468380 HAS SOUS 66476 HAS SOUPS 66270 WITH SCORE 66739.921
AT ITER 336 NEW BEST:: SOT 584068 SOS 469984 HAS SOPS 468443 HAS SOUS 66472 HAS SOUPS 66266 WITH SCORE 66735.984
AT ITER 341 NEW BEST:: SOT 593873 SOS 479789 HAS SOPS 478170 HAS SOUS 61849 HAS SOUPS 61603 WITH SCORE 62082.789
AT ITER 344 NEW BEST:: SOT 593811 SOS 479695 HAS SOPS 478046 HAS SOUS 61769 HAS SOUPS 61493 WITH SCORE 61972.695
AT ITER 345 NEW BEST:: SOT 592932 SOS 478811 HAS SOPS 477162 HAS SOUS 61338 HAS SOUPS 61062 WITH SCORE 61540.811
AT ITER 349 NEW BEST:: SOT 592933 SOS 478822 HAS SOPS 477173 HAS SOUS 61326 HAS SOUPS 61050 WITH SCORE 61528.822
AT ITER 355 NEW BEST:: SOT 591293 SOS 477182 HAS SOPS 475507 HAS SOUS 59634 HAS SOUPS 59358 WITH SCORE 59835.182
AT ITER 357 NEW BEST:: SOT 591287 SOS 477167 HAS SOPS 475492 HAS SOUS 59337 HAS SOUPS 59061 WITH SCORE 59538.167
AT ITER 360 NEW BEST:: SOT 591261 SOS 477155 HAS SOPS 475460 HAS SOUS 59322 HAS SOUPS 59046 WITH SCORE 59523.155
AT ITER 363 NEW BEST:: SOT 588379 SOS 474251 HAS SOPS 472579 HAS SOUS 58691 HAS SOUPS 58438 WITH SCORE 58912.251
AT ITER 372 NEW BEST:: SOT 591804 SOS 477676 HAS SOPS 476004 HAS SOUS 55898 HAS SOUPS 55645 WITH SCORE 56122.676
AT ITER 373 NEW BEST:: SOT 591820 SOS 477425 HAS SOPS 475683 HAS SOUS 55769 HAS SOUPS 55516 WITH SCORE 55993.425
AT ITER 378 NEW BEST:: SOT 591830 SOS 477305 HAS SOPS 475612 HAS SOUS 55111 HAS SOUPS 54858 WITH SCORE 55335.305
AT ITER 384 NEW BEST:: SOT 591786 SOS 477250 HAS SOPS 475590 HAS SOUS 55061 HAS SOUPS 54808 WITH SCORE 55285.25
AT ITER 388 NEW BEST:: SOT 588421 SOS 473885 HAS SOPS 472225 HAS SOUS 53382 HAS SOUPS 53129 WITH SCORE 53602.885
AT ITER 394 NEW BEST:: SOT 588690 SOS 474014 HAS SOPS 472354 HAS SOUS 52309 HAS SOUPS 52056 WITH SCORE 52530.014
AT ITER 396 NEW BEST:: SOT 588641 SOS 474062 HAS SOPS 472305 HAS SOUS 52287 HAS SOUPS 51983 WITH SCORE 52457.062
AT ITER 403 NEW BEST:: SOT 588661 SOS 472949 HAS SOPS 472289 HAS SOUS 52229 HAS SOUPS 51953 WITH SCORE 52425.949
AT ITER 410 NEW BEST:: SOT 588629 SOS 472981 HAS SOPS 472289 HAS SOUS 52197 HAS SOUPS 51921 WITH SCORE 52393.981
AT ITER 411 NEW BEST:: SOT 588635 SOS 472695 HAS SOPS 472387 HAS SOUS 51994 HAS SOUPS 51788 WITH SCORE 52260.695
AT ITER 412 NEW BEST:: SOT 588539 SOS 472575 HAS SOPS 472255 HAS SOUS 51937 HAS SOUPS 51719 WITH SCORE 52191.575
AT ITER 419 NEW BEST:: SOT 588506 SOS 472542 HAS SOPS 472228 HAS SOUS 51904 HAS SOUPS 51692 WITH SCORE 52164.542
AT ITER 421 NEW BEST:: SOT 581167 SOS 465203 HAS SOPS 464883 HAS SOUS 50549 HAS SOUPS 50331 WITH SCORE 50796.203
AT ITER 424 NEW BEST:: SOT 581167 SOS 470599 HAS SOPS 470279 HAS SOUS 50525 HAS SOUPS 50307 WITH SCORE 50777.599
AT ITER 426 NEW BEST:: SOT 581646 SOS 471159 HAS SOPS 470839 HAS SOUS 49952 HAS SOUPS 49734 WITH SCORE 50205.159
AT ITER 427 NEW BEST:: SOT 581608 SOS 471095 HAS SOPS 470775 HAS SOUS 49911 HAS SOUPS 49693 WITH SCORE 50164.095
AT ITER 431 NEW BEST:: SOT 579256 SOS 468743 HAS SOPS 468423 HAS SOUS 49559 HAS SOUPS 49341 WITH SCORE 49809.743
AT ITER 432 NEW BEST:: SOT 579219 SOS 468712 HAS SOPS 468392 HAS SOUS 49528 HAS SOUPS 49310 WITH SCORE 49778.712
AT ITER 434 NEW BEST:: SOT 579167 SOS 468660 HAS SOPS 468340 HAS SOUS 49515 HAS SOUPS 49297 WITH SCORE 49765.66
AT ITER 438 NEW BEST:: SOT 583603 SOS 472925 HAS SOPS 472605 HAS SOUS 48959 HAS SOUPS 48741 WITH SCORE 49213.925
AT ITER 441 NEW BEST:: SOT 583527 SOS 472757 HAS SOPS 472437 HAS SOUS 48876 HAS SOUPS 48658 WITH SCORE 49130.757
AT ITER 447 NEW BEST:: SOT 583609 SOS 472775 HAS SOPS 472499 HAS SOUS 48057 HAS SOUPS 47883 WITH SCORE 48355.775
AT ITER 448 NEW BEST:: SOT 588240 SOS 477409 HAS SOPS 477136 HAS SOUS 47617 HAS SOUPS 47446 WITH SCORE 47923.409
AT ITER 451 NEW BEST:: SOT 588240 SOS 477409 HAS SOPS 477136 HAS SOUS 47616 HAS SOUPS 47445 WITH SCORE 47922.409
AT ITER 453 NEW BEST:: SOT 588111 SOS 477382 HAS SOPS 477109 HAS SOUS 47345 HAS SOUPS 47174 WITH SCORE 47651.382
AT ITER 462 NEW BEST:: SOT 586433 SOS 475700 HAS SOPS 475427 HAS SOUS 47272 HAS SOUPS 47101 WITH SCORE 47576.7
AT ITER 467 NEW BEST:: SOT 586433 SOS 475688 HAS SOPS 475415 HAS SOUS 47260 HAS SOUPS 47089 WITH SCORE 47564.688
AT ITER 471 NEW BEST:: SOT 586434 SOS 475768 HAS SOPS 475495 HAS SOUS 46674 HAS SOUPS 46503 WITH SCORE 46978.768
AT ITER 490 NEW BEST:: SOT 586335 SOS 475685 HAS SOPS 475412 HAS SOUS 46574 HAS SOUPS 46403 WITH SCORE 46878.685
AT ITER 491 NEW BEST:: SOT 586375 SOS 475627 HAS SOPS 475354 HAS SOUS 46571 HAS SOUPS 46400 WITH SCORE 46875.627
AT ITER 494 NEW BEST:: SOT 586261 SOS 475513 HAS SOPS 475240 HAS SOUS 45426 HAS SOUPS 45255 WITH SCORE 45730.513
AT ITER 498 NEW BEST:: SOT 586097 SOS 475363 HAS SOPS 474948 HAS SOUS 43952 HAS SOUPS 43749 WITH SCORE 44224.363
AT ITER 499 NEW BEST:: SOT 585967 SOS 475231 HAS SOPS 474816 HAS SOUS 43950 HAS SOUPS 43747 WITH SCORE 44222.231
AT ITER 505 NEW BEST:: SOT 585971 SOS 475238 HAS SOPS 474823 HAS SOUS 43844 HAS SOUPS 43641 WITH SCORE 44116.238
AT ITER 509 NEW BEST:: SOT 586786 SOS 475941 HAS SOPS 475526 HAS SOUS 43090 HAS SOUPS 42887 WITH SCORE 43362.941
AT ITER 512 NEW BEST:: SOT 586751 SOS 475906 HAS SOPS 475491 HAS SOUS 43055 HAS SOUPS 42852 WITH SCORE 43327.906
AT ITER 513 NEW BEST:: SOT 586822 SOS 475956 HAS SOPS 475541 HAS SOUS 43014 HAS SOUPS 42811 WITH SCORE 43286.956
AT ITER 522 NEW BEST:: SOT 586831 SOS 475938 HAS SOPS 475523 HAS SOUS 43014 HAS SOUPS 42811 WITH SCORE 43286.938
AT ITER 525 NEW BEST:: SOT 587168 SOS 476244 HAS SOPS 475851 HAS SOUS 42341 HAS SOUPS 42138 WITH SCORE 42614.244
AT ITER 527 NEW BEST:: SOT 587151 SOS 476216 HAS SOPS 475823 HAS SOUS 42324 HAS SOUPS 42121 WITH SCORE 42597.216
AT ITER 529 NEW BEST:: SOT 587117 SOS 476152 HAS SOPS 475759 HAS SOUS 42247 HAS SOUPS 42044 WITH SCORE 42520.152
AT ITER 530 NEW BEST:: SOT 587118 SOS 476150 HAS SOPS 475757 HAS SOUS 42167 HAS SOUPS 41964 WITH SCORE 42440.15
AT ITER 536 NEW BEST:: SOT 587058 SOS 476147 HAS SOPS 475768 HAS SOUS 42085 HAS SOUPS 41895 WITH SCORE 42371.147
AT ITER 543 NEW BEST:: SOT 587047 SOS 476099 HAS SOPS 475720 HAS SOUS 42043 HAS SOUPS 41853 WITH SCORE 42329.099
AT ITER 548 NEW BEST:: SOT 587108 SOS 476154 HAS SOPS 475775 HAS SOUS 42026 HAS SOUPS 41836 WITH SCORE 42312.154
AT ITER 552 NEW BEST:: SOT 587078 SOS 475339 HAS SOPS 474925 HAS SOUS 42039 HAS SOUPS 41826 WITH SCORE 42301.339
AT ITER 553 NEW BEST:: SOT 587078 SOS 475344 HAS SOPS 474930 HAS SOUS 42038 HAS SOUPS 41825 WITH SCORE 42300.344
AT ITER 557 NEW BEST:: SOT 587040 SOS 475249 HAS SOPS 474854 HAS SOUS 41962 HAS SOUPS 41749 WITH SCORE 42224.249
AT ITER 566 NEW BEST:: SOT 587045 SOS 475271 HAS SOPS 474876 HAS SOUS 41760 HAS SOUPS 41547 WITH SCORE 42022.271
AT ITER 574 NEW BEST:: SOT 587093 SOS 475347 HAS SOPS 474976 HAS SOUS 41323 HAS SOUPS 41115 WITH SCORE 41590.347
AT ITER 592 NEW BEST:: SOT 586890 SOS 475140 HAS SOPS 474779 HAS SOUS 41141 HAS SOUPS 40933 WITH SCORE 41408.14
AT ITER 593 NEW BEST:: SOT 586886 SOS 475124 HAS SOPS 474763 HAS SOUS 41140 HAS SOUPS 40932 WITH SCORE 41407.124
AT ITER 594 NEW BEST:: SOT 586886 SOS 475124 HAS SOPS 474763 HAS SOUS 41012 HAS SOUPS 40804 WITH SCORE 41279.124
AT ITER 597 NEW BEST:: SOT 586851 SOS 475012 HAS SOPS 474651 HAS SOUS 40074 HAS SOUPS 39866 WITH SCORE 40341.012
AT ITER 598 NEW BEST:: SOT 586837 SOS 474981 HAS SOPS 474620 HAS SOUS 40064 HAS SOUPS 39856 WITH SCORE 40330.981
AT ITER 603 NEW BEST:: SOT 586804 SOS 474915 HAS SOPS 474554 HAS SOUS 40031 HAS SOUPS 39823 WITH SCORE 40297.915
AT ITER 607 NEW BEST:: SOT 586802 SOS 474910 HAS SOPS 474547 HAS SOUS 40025 HAS SOUPS 39817 WITH SCORE 40291.91
AT ITER 611 NEW BEST:: SOT 588412 SOS 476537 HAS SOPS 476174 HAS SOUS 39392 HAS SOUPS 39184 WITH SCORE 39660.537
AT ITER 616 NEW BEST:: SOT 588410 SOS 476533 HAS SOPS 476170 HAS SOUS 39392 HAS SOUPS 39184 WITH SCORE 39660.533
AT ITER 617 NEW BEST:: SOT 587871 SOS 477062 HAS SOPS 476734 HAS SOUS 39251 HAS SOUPS 39066 WITH SCORE 39543.062
AT ITER 620 NEW BEST:: SOT 588439 SOS 477638 HAS SOPS 477310 HAS SOUS 39219 HAS SOUPS 39034 WITH SCORE 39511.638
AT ITER 621 NEW BEST:: SOT 588423 SOS 477577 HAS SOPS 477249 HAS SOUS 39210 HAS SOUPS 39025 WITH SCORE 39502.577
AT ITER 622 NEW BEST:: SOT 588250 SOS 477408 HAS SOPS 477051 HAS SOUS 39003 HAS SOUPS 38818 WITH SCORE 39295.408
AT ITER 627 NEW BEST:: SOT 588349 SOS 477509 HAS SOPS 477151 HAS SOUS 38956 HAS SOUPS 38770 WITH SCORE 39247.509
AT ITER 645 NEW BEST:: SOT 588226 SOS 477367 HAS SOPS 477082 HAS SOUS 38908 HAS SOUPS 38768 WITH SCORE 39245.367
AT ITER 647 NEW BEST:: SOT 588955 SOS 478100 HAS SOPS 477836 HAS SOUS 38770 HAS SOUPS 38651 WITH SCORE 39129.1
AT ITER 675 NEW BEST:: SOT 588947 SOS 478092 HAS SOPS 477828 HAS SOUS 38758 HAS SOUPS 38639 WITH SCORE 39117.092
AT ITER 680 NEW BEST:: SOT 589014 SOS 478150 HAS SOPS 477893 HAS SOUS 38746 HAS SOUPS 38633 WITH SCORE 39111.15
AT ITER 688 NEW BEST:: SOT 588997 SOS 478113 HAS SOPS 477856 HAS SOUS 38692 HAS SOUPS 38579 WITH SCORE 39057.113
AT ITER 715 NEW BEST:: SOT 588233 SOS 477349 HAS SOPS 477092 HAS SOUS 38632 HAS SOUPS 38519 WITH SCORE 38996.349
AT ITER 718 NEW BEST:: SOT 588233 SOS 477341 HAS SOPS 477084 HAS SOUS 38632 HAS SOUPS 38519 WITH SCORE 38996.341
AT ITER 724 NEW BEST:: SOT 588227 SOS 477335 HAS SOPS 477078 HAS SOUS 38626 HAS SOUPS 38513 WITH SCORE 38990.335
AT ITER 731 NEW BEST:: SOT 588090 SOS 477150 HAS SOPS 476883 HAS SOUS 38369 HAS SOUPS 38246 WITH SCORE 38723.15
AT ITER 738 NEW BEST:: SOT 588101 SOS 477210 HAS SOPS 476872 HAS SOUS 38165 HAS SOUPS 38003 WITH SCORE 38480.21
AT ITER 740 NEW BEST:: SOT 588097 SOS 477200 HAS SOPS 476862 HAS SOUS 38157 HAS SOUPS 37995 WITH SCORE 38472.2
AT ITER 745 NEW BEST:: SOT 589017 SOS 478143 HAS SOPS 477805 HAS SOUS 36228 HAS SOUPS 36066 WITH SCORE 36544.143
AT ITER 750 NEW BEST:: SOT 588771 SOS 477899 HAS SOPS 477559 HAS SOUS 36102 HAS SOUPS 35938 WITH SCORE 36415.899
AT ITER 754 NEW BEST:: SOT 588749 SOS 477877 HAS SOPS 477518 HAS SOUS 36061 HAS SOUPS 35878 WITH SCORE 36355.877
AT ITER 762 NEW BEST:: SOT 588731 SOS 477797 HAS SOPS 477438 HAS SOUS 35990 HAS SOUPS 35807 WITH SCORE 36284.797
AT ITER 773 NEW BEST:: SOT 588715 SOS 477740 HAS SOPS 477381 HAS SOUS 35982 HAS SOUPS 35799 WITH SCORE 36276.74
AT ITER 775 NEW BEST:: SOT 586688 SOS 475633 HAS SOPS 475305 HAS SOUS 35371 HAS SOUPS 35188 WITH SCORE 35663.633
AT ITER 776 NEW BEST:: SOT 586682 SOS 475688 HAS SOPS 475360 HAS SOUS 35308 HAS SOUPS 35125 WITH SCORE 35600.688
AT ITER 802 NEW BEST:: SOT 586679 SOS 475679 HAS SOPS 475351 HAS SOUS 35299 HAS SOUPS 35116 WITH SCORE 35591.679
AT ITER 804 NEW BEST:: SOT 586694 SOS 475577 HAS SOPS 475249 HAS SOUS 35201 HAS SOUPS 35018 WITH SCORE 35493.577
AT ITER 805 NEW BEST:: SOT 586679 SOS 475507 HAS SOPS 475186 HAS SOUS 35185 HAS SOUPS 35002 WITH SCORE 35477.507
AT ITER 809 NEW BEST:: SOT 586645 SOS 475526 HAS SOPS 475202 HAS SOUS 35104 HAS SOUPS 34921 WITH SCORE 35396.526
AT ITER 826 NEW BEST:: SOT 586648 SOS 475526 HAS SOPS 475202 HAS SOUS 35076 HAS SOUPS 34893 WITH SCORE 35368.526
AT ITER 864 NEW BEST:: SOT 586653 SOS 475482 HAS SOPS 475207 HAS SOUS 35059 HAS SOUPS 34891 WITH SCORE 35366.482
AT ITER 890 NEW BEST:: SOT 586653 SOS 475472 HAS SOPS 475197 HAS SOUS 35049 HAS SOUPS 34881 WITH SCORE 35356.472
AT ITER 904 NEW BEST:: SOT 586653 SOS 471292 HAS SOPS 471017 HAS SOUS 35049 HAS SOUPS 34881 WITH SCORE 35352.292
AT ITER 917 NEW BEST:: SOT 586647 SOS 471280 HAS SOPS 471005 HAS SOUS 35037 HAS SOUPS 34869 WITH SCORE 35340.28
AT ITER 926 NEW BEST:: SOT 584351 SOS 468984 HAS SOPS 468709 HAS SOUS 34461 HAS SOUPS 34293 WITH SCORE 34761.984
AT ITER 936 NEW BEST:: SOT 593556 SOS 478232 HAS SOPS 478012 HAS SOUS 34291 HAS SOUPS 34151 WITH SCORE 34629.232
AT ITER 941 NEW BEST:: SOT 597606 SOS 482282 HAS SOPS 482062 HAS SOUS 34055 HAS SOUPS 33915 WITH SCORE 34397.282
AT ITER 945 NEW BEST:: SOT 597642 SOS 482294 HAS SOPS 482074 HAS SOUS 34041 HAS SOUPS 33901 WITH SCORE 34383.294
AT ITER 947 NEW BEST:: SOT 597638 SOS 482286 HAS SOPS 482066 HAS SOUS 33971 HAS SOUPS 33831 WITH SCORE 34313.286
AT ITER 953 NEW BEST:: SOT 597644 SOS 482277 HAS SOPS 482057 HAS SOUS 33970 HAS SOUPS 33830 WITH SCORE 34312.277
AT ITER 955 NEW BEST:: SOT 597579 SOS 482212 HAS SOPS 481992 HAS SOUS 33941 HAS SOUPS 33801 WITH SCORE 34283.212
AT ITER 958 NEW BEST:: SOT 597627 SOS 482269 HAS SOPS 482049 HAS SOUS 33419 HAS SOUPS 33279 WITH SCORE 33761.269
AT ITER 961 NEW BEST:: SOT 597988 SOS 482633 HAS SOPS 482425 HAS SOUS 33412 HAS SOUPS 33278 WITH SCORE 33760.633
AT ITER 968 NEW BEST:: SOT 602686 SOS 487331 HAS SOPS 487123 HAS SOUS 33070 HAS SOUPS 32936 WITH SCORE 33423.331
AT ITER 998 NEW BEST:: SOT 602664 SOS 487306 HAS SOPS 487098 HAS SOUS 33021 HAS SOUPS 32887 WITH SCORE 33374.306
AT ITER 1019 NEW BEST:: SOT 602675 SOS 487328 HAS SOPS 487120 HAS SOUS 33020 HAS SOUPS 32886 WITH SCORE 33373.328
AT ITER 1030 NEW BEST:: SOT 602669 SOS 487314 HAS SOPS 487106 HAS SOUS 32960 HAS SOUPS 32826 WITH SCORE 33313.314
AT ITER 1041 NEW BEST:: SOT 602671 SOS 487306 HAS SOPS 487098 HAS SOUS 32945 HAS SOUPS 32811 WITH SCORE 33298.306
AT ITER 1065 NEW BEST:: SOT 602592 SOS 476688 HAS SOPS 476480 HAS SOUS 32834 HAS SOUPS 32700 WITH SCORE 33176.688
AT ITER 1067 NEW BEST:: SOT 602415 SOS 476596 HAS SOPS 476277 HAS SOUS 32742 HAS SOUPS 32582 WITH SCORE 33058.596
AT ITER 1092 NEW BEST:: SOT 602423 SOS 476600 HAS SOPS 476281 HAS SOUS 32698 HAS SOUPS 32538 WITH SCORE 33014.6
AT ITER 1093 NEW BEST:: SOT 602423 SOS 476601 HAS SOPS 476281 HAS SOUS 32621 HAS SOUPS 32461 WITH SCORE 32937.601
AT ITER 1094 NEW BEST:: SOT 600543 SOS 474721 HAS SOPS 474401 HAS SOUS 32397 HAS SOUPS 32237 WITH SCORE 32711.721
AT ITER 1098 NEW BEST:: SOT 600552 SOS 474730 HAS SOPS 474410 HAS SOUS 32394 HAS SOUPS 32234 WITH SCORE 32708.73
AT ITER 1101 NEW BEST:: SOT 600742 SOS 474922 HAS SOPS 474600 HAS SOUS 32332 HAS SOUPS 32170 WITH SCORE 32644.922
AT ITER 1104 NEW BEST:: SOT 600730 SOS 474897 HAS SOPS 474575 HAS SOUS 32323 HAS SOUPS 32161 WITH SCORE 32635.897
AT ITER 1112 NEW BEST:: SOT 600724 SOS 474891 HAS SOPS 474569 HAS SOUS 32314 HAS SOUPS 32152 WITH SCORE 32626.891
AT ITER 1114 NEW BEST:: SOT 600718 SOS 474903 HAS SOPS 474581 HAS SOUS 32308 HAS SOUPS 32146 WITH SCORE 32620.903
AT ITER 1135 NEW BEST:: SOT 600717 SOS 474902 HAS SOPS 474580 HAS SOUS 32307 HAS SOUPS 32145 WITH SCORE 32619.902
AT ITER 1145 NEW BEST:: SOT 600660 SOS 474810 HAS SOPS 474488 HAS SOUS 32194 HAS SOUPS 32032 WITH SCORE 32506.81
AT ITER 1188 NEW BEST:: SOT 600756 SOS 474906 HAS SOPS 474584 HAS SOUS 32178 HAS SOUPS 32016 WITH SCORE 32490.906
AT ITER 1202 NEW BEST:: SOT 600724 SOS 474899 HAS SOPS 474577 HAS SOUS 32155 HAS SOUPS 31993 WITH SCORE 32467.899
AT ITER 1208 NEW BEST:: SOT 600706 SOS 474892 HAS SOPS 474538 HAS SOUS 32177 HAS SOUPS 31983 WITH SCORE 32457.892
AT ITER 1215 NEW BEST:: SOT 601069 SOS 475241 HAS SOPS 474887 HAS SOUS 31560 HAS SOUPS 31366 WITH SCORE 31841.241
AT ITER 1217 NEW BEST:: SOT 601989 SOS 476161 HAS SOPS 475807 HAS SOUS 31444 HAS SOUPS 31250 WITH SCORE 31726.161
AT ITER 1224 NEW BEST:: SOT 601990 SOS 476105 HAS SOPS 475751 HAS SOUS 31393 HAS SOUPS 31199 WITH SCORE 31675.105
AT ITER 1230 NEW BEST:: SOT 602047 SOS 476181 HAS SOPS 475808 HAS SOUS 29545 HAS SOUPS 29338 WITH SCORE 29814.181
AT ITER 1234 NEW BEST:: SOT 602017 SOS 476150 HAS SOPS 475768 HAS SOUS 29525 HAS SOUPS 29318 WITH SCORE 29794.15
AT ITER 1241 NEW BEST:: SOT 601972 SOS 476075 HAS SOPS 475693 HAS SOUS 29495 HAS SOUPS 29288 WITH SCORE 29764.075
AT ITER 1250 NEW BEST:: SOT 601970 SOS 476073 HAS SOPS 475689 HAS SOUS 29493 HAS SOUPS 29284 WITH SCORE 29760.073
AT ITER 1255 NEW BEST:: SOT 601959 SOS 476051 HAS SOPS 475667 HAS SOUS 29471 HAS SOUPS 29262 WITH SCORE 29738.051
AT ITER 1265 NEW BEST:: SOT 601960 SOS 476054 HAS SOPS 475670 HAS SOUS 29470 HAS SOUPS 29261 WITH SCORE 29737.054
AT ITER 1266 NEW BEST:: SOT 601960 SOS 475985 HAS SOPS 475601 HAS SOUS 29436 HAS SOUPS 29227 WITH SCORE 29702.985
AT ITER 1271 NEW BEST:: SOT 601935 SOS 476014 HAS SOPS 475558 HAS SOUS 29435 HAS SOUPS 29214 WITH SCORE 29690.014
AT ITER 1283 NEW BEST:: SOT 601948 SOS 475997 HAS SOPS 475541 HAS SOUS 29399 HAS SOUPS 29178 WITH SCORE 29653.997
AT ITER 1293 NEW BEST:: SOT 597774 SOS 471849 HAS SOPS 471393 HAS SOUS 29379 HAS SOUPS 29158 WITH SCORE 29629.849
AT ITER 1298 NEW BEST:: SOT 597772 SOS 471847 HAS SOPS 471391 HAS SOUS 29377 HAS SOUPS 29156 WITH SCORE 29627.847
AT ITER 1300 NEW BEST:: SOT 597691 SOS 471707 HAS SOPS 471251 HAS SOUS 29265 HAS SOUPS 29044 WITH SCORE 29515.707
AT ITER 1304 NEW BEST:: SOT 598191 SOS 472191 HAS SOPS 471735 HAS SOUS 29121 HAS SOUPS 28900 WITH SCORE 29372.191
AT ITER 1315 NEW BEST:: SOT 598187 SOS 472187 HAS SOPS 471731 HAS SOUS 28944 HAS SOUPS 28723 WITH SCORE 29195.187
AT ITER 1343 NEW BEST:: SOT 598135 SOS 472122 HAS SOPS 471666 HAS SOUS 28882 HAS SOUPS 28661 WITH SCORE 29133.122
AT ITER 1344 NEW BEST:: SOT 598054 SOS 472006 HAS SOPS 471550 HAS SOUS 28776 HAS SOUPS 28555 WITH SCORE 29027.006
AT ITER 1345 NEW BEST:: SOT 592824 SOS 466801 HAS SOPS 466345 HAS SOUS 28659 HAS SOUPS 28438 WITH SCORE 28904.801
AT ITER 1350 NEW BEST:: SOT 589006 SOS 462951 HAS SOPS 462459 HAS SOUS 28297 HAS SOUPS 28058 WITH SCORE 28520.951
AT ITER 1352 NEW BEST:: SOT 588992 SOS 462937 HAS SOPS 462445 HAS SOUS 28290 HAS SOUPS 28051 WITH SCORE 28513.937
AT ITER 1362 NEW BEST:: SOT 588991 SOS 462933 HAS SOPS 462441 HAS SOUS 28279 HAS SOUPS 28040 WITH SCORE 28502.933
AT ITER 1366 NEW BEST:: SOT 588920 SOS 462946 HAS SOPS 462454 HAS SOUS 28255 HAS SOUPS 28016 WITH SCORE 28478.946
AT ITER 1372 NEW BEST:: SOT 588913 SOS 462938 HAS SOPS 462446 HAS SOUS 28247 HAS SOUPS 28008 WITH SCORE 28470.938
AT ITER 1375 NEW BEST:: SOT 588943 SOS 462906 HAS SOPS 462414 HAS SOUS 28245 HAS SOUPS 28006 WITH SCORE 28468.906
AT ITER 1377 NEW BEST:: SOT 588951 SOS 462906 HAS SOPS 462418 HAS SOUS 28213 HAS SOUPS 27978 WITH SCORE 28440.906
AT ITER 1381 NEW BEST:: SOT 591788 SOS 465749 HAS SOPS 465261 HAS SOUS 28170 HAS SOUPS 27935 WITH SCORE 28400.749
AT ITER 1388 NEW BEST:: SOT 591782 SOS 465729 HAS SOPS 465241 HAS SOUS 28168 HAS SOUPS 27933 WITH SCORE 28398.729
AT ITER 1398 NEW BEST:: SOT 591787 SOS 465729 HAS SOPS 465241 HAS SOUS 28163 HAS SOUPS 27928 WITH SCORE 28393.729
AT ITER 1403 NEW BEST:: SOT 591765 SOS 465474 HAS SOPS 464986 HAS SOUS 28158 HAS SOUPS 27923 WITH SCORE 28388.474
AT ITER 1406 NEW BEST:: SOT 591747 SOS 465459 HAS SOPS 464971 HAS SOUS 28155 HAS SOUPS 27920 WITH SCORE 28385.459
AT ITER 1438 NEW BEST:: SOT 591747 SOS 465464 HAS SOPS 464976 HAS SOUS 28154 HAS SOUPS 27919 WITH SCORE 28384.464
AT ITER 1452 NEW BEST:: SOT 591564 SOS 465290 HAS SOPS 464802 HAS SOUS 28092 HAS SOUPS 27857 WITH SCORE 28322.29
AT ITER 1457 NEW BEST:: SOT 592112 SOS 465838 HAS SOPS 465350 HAS SOUS 28020 HAS SOUPS 27785 WITH SCORE 28250.838
AT ITER 1470 NEW BEST:: SOT 593244 SOS 466967 HAS SOPS 466479 HAS SOUS 27945 HAS SOUPS 27710 WITH SCORE 28176.967
AT ITER 1481 NEW BEST:: SOT 594120 SOS 467797 HAS SOPS 467309 HAS SOUS 27580 HAS SOUPS 27345 WITH SCORE 27812.797
AT ITER 1507 NEW BEST:: SOT 594117 SOS 467689 HAS SOPS 467233 HAS SOUS 27542 HAS SOUPS 27339 WITH SCORE 27806.689
AT ITER 1526 NEW BEST:: SOT 594109 SOS 467673 HAS SOPS 467217 HAS SOUS 27526 HAS SOUPS 27323 WITH SCORE 27790.673
AT ITER 1536 NEW BEST:: SOT 594109 SOS 467671 HAS SOPS 467215 HAS SOUS 27526 HAS SOUPS 27323 WITH SCORE 27790.671
AT ITER 1550 NEW BEST:: SOT 594038 SOS 467619 HAS SOPS 467163 HAS SOUS 27474 HAS SOUPS 27271 WITH SCORE 27738.619
AT ITER 1603 NEW BEST:: SOT 594037 SOS 467617 HAS SOPS 467161 HAS SOUS 27473 HAS SOUPS 27270 WITH SCORE 27737.617
AT ITER 1622 NEW BEST:: SOT 593909 SOS 467489 HAS SOPS 467033 HAS SOUS 27412 HAS SOUPS 27209 WITH SCORE 27676.489
AT ITER 1636 NEW BEST:: SOT 593901 SOS 467465 HAS SOPS 467009 HAS SOUS 27304 HAS SOUPS 27101 WITH SCORE 27568.465
AT ITER 1670 NEW BEST:: SOT 593851 SOS 467381 HAS SOPS 466947 HAS SOUS 27293 HAS SOUPS 27090 WITH SCORE 27557.381
AT ITER 1686 NEW BEST:: SOT 593854 SOS 467369 HAS SOPS 466935 HAS SOUS 27260 HAS SOUPS 27057 WITH SCORE 27524.369
AT ITER 1688 NEW BEST:: SOT 593872 SOS 467343 HAS SOPS 466909 HAS SOUS 27243 HAS SOUPS 27040 WITH SCORE 27507.343
AT ITER 1715 NEW BEST:: SOT 593901 SOS 467239 HAS SOPS 466805 HAS SOUS 27209 HAS SOUPS 27006 WITH SCORE 27473.239
AT ITER 1716 NEW BEST:: SOT 591614 SOS 464960 HAS SOPS 464526 HAS SOUS 26882 HAS SOUPS 26679 WITH SCORE 27143.96
AT ITER 1718 NEW BEST:: SOT 591614 SOS 464945 HAS SOPS 464511 HAS SOUS 26867 HAS SOUPS 26664 WITH SCORE 27128.945
AT ITER 1749 NEW BEST:: SOT 594854 SOS 468166 HAS SOPS 467746 HAS SOUS 26777 HAS SOUPS 26587 WITH SCORE 27055.166
AT ITER 1778 NEW BEST:: SOT 594832 SOS 468104 HAS SOPS 467684 HAS SOUS 26741 HAS SOUPS 26551 WITH SCORE 27019.104
AT ITER 1780 NEW BEST:: SOT 594839 SOS 468103 HAS SOPS 467683 HAS SOUS 26740 HAS SOUPS 26550 WITH SCORE 27018.103
AT ITER 1790 NEW BEST:: SOT 593484 SOS 466751 HAS SOPS 466331 HAS SOUS 26082 HAS SOUPS 25892 WITH SCORE 26358.751
AT ITER 1794 NEW BEST:: SOT 593447 SOS 466724 HAS SOPS 466304 HAS SOUS 26055 HAS SOUPS 25865 WITH SCORE 26331.724
AT ITER 1796 NEW BEST:: SOT 593588 SOS 466850 HAS SOPS 466430 HAS SOUS 25988 HAS SOUPS 25798 WITH SCORE 26264.85
AT ITER 1798 NEW BEST:: SOT 593584 SOS 466834 HAS SOPS 466418 HAS SOUS 25976 HAS SOUPS 25786 WITH SCORE 26252.834
AT ITER 1805 NEW BEST:: SOT 592331 SOS 465588 HAS SOPS 465172 HAS SOUS 25463 HAS SOUPS 25273 WITH SCORE 25738.588
AT ITER 1815 NEW BEST:: SOT 592276 SOS 465544 HAS SOPS 465128 HAS SOUS 25403 HAS SOUPS 25213 WITH SCORE 25678.544
AT ITER 1837 NEW BEST:: SOT 591998 SOS 465266 HAS SOPS 464850 HAS SOUS 25270 HAS SOUPS 25080 WITH SCORE 25545.266
AT ITER 1876 NEW BEST:: SOT 593548 SOS 466834 HAS SOPS 466408 HAS SOUS 25068 HAS SOUPS 24868 WITH SCORE 25334.834
AT ITER 1878 NEW BEST:: SOT 593561 SOS 441820 HAS SOPS 441394 HAS SOUS 25084 HAS SOUPS 24884 WITH SCORE 25325.82
AT ITER 1882 NEW BEST:: SOT 593526 SOS 441784 HAS SOPS 441358 HAS SOUS 25069 HAS SOUPS 24869 WITH SCORE 25310.784
AT ITER 1888 NEW BEST:: SOT 592758 SOS 441016 HAS SOPS 440590 HAS SOUS 25009 HAS SOUPS 24809 WITH SCORE 25250.016
AT ITER 1897 NEW BEST:: SOT 592758 SOS 441016 HAS SOPS 440590 HAS SOUS 24937 HAS SOUPS 24746 WITH SCORE 25187.016
AT ITER 1901 NEW BEST:: SOT 592630 SOS 440888 HAS SOPS 440462 HAS SOUS 24794 HAS SOUPS 24603 WITH SCORE 25043.888
AT ITER 1913 NEW BEST:: SOT 592628 SOS 440887 HAS SOPS 440461 HAS SOUS 24793 HAS SOUPS 24602 WITH SCORE 25042.887
AT ITER 1917 NEW BEST:: SOT 592627 SOS 440862 HAS SOPS 440436 HAS SOUS 24780 HAS SOUPS 24589 WITH SCORE 25029.862
AT ITER 1932 NEW BEST:: SOT 593261 SOS 441496 HAS SOPS 441073 HAS SOUS 24739 HAS SOUPS 24551 WITH SCORE 24992.496
AT ITER 1936 NEW BEST:: SOT 593257 SOS 441490 HAS SOPS 441067 HAS SOUS 24735 HAS SOUPS 24547 WITH SCORE 24988.49
AT ITER 1979 NEW BEST:: SOT 593254 SOS 441484 HAS SOPS 441061 HAS SOUS 24730 HAS SOUPS 24542 WITH SCORE 24983.484
AT ITER 1987 NEW BEST:: SOT 593258 SOS 439913 HAS SOPS 439496 HAS SOUS 24729 HAS SOUPS 24542 WITH SCORE 24981.913
AT ITER 1994 NEW BEST:: SOT 593259 SOS 439915 HAS SOPS 439498 HAS SOUS 24715 HAS SOUPS 24528 WITH SCORE 24967.915
AT ITER 1995 NEW BEST:: SOT 593183 SOS 439850 HAS SOPS 439433 HAS SOUS 24650 HAS SOUPS 24463 WITH SCORE 24902.85
AT ITER 2032 NEW BEST:: SOT 593171 SOS 439839 HAS SOPS 439423 HAS SOUS 24648 HAS SOUPS 24461 WITH SCORE 24900.839
AT ITER 2042 NEW BEST:: SOT 593171 SOS 439820 HAS SOPS 439423 HAS SOUS 24638 HAS SOUPS 24461 WITH SCORE 24900.82
AT ITER 2047 NEW BEST:: SOT 593162 SOS 439771 HAS SOPS 439374 HAS SOUS 24591 HAS SOUPS 24414 WITH SCORE 24853.771
AT ITER 2054 NEW BEST:: SOT 593165 SOS 439771 HAS SOPS 439374 HAS SOUS 24577 HAS SOUPS 24400 WITH SCORE 24839.771
AT ITER 2073 NEW BEST:: SOT 593164 SOS 439769 HAS SOPS 439372 HAS SOUS 24571 HAS SOUPS 24394 WITH SCORE 24833.769
AT ITER 2118 NEW BEST:: SOT 593162 SOS 439787 HAS SOPS 439390 HAS SOUS 24489 HAS SOUPS 24312 WITH SCORE 24751.787
AT ITER 2124 NEW BEST:: SOT 593102 SOS 439873 HAS SOPS 439476 HAS SOUS 24412 HAS SOUPS 24235 WITH SCORE 24674.873
AT ITER 2137 NEW BEST:: SOT 593087 SOS 439843 HAS SOPS 439451 HAS SOUS 24347 HAS SOUPS 24175 WITH SCORE 24614.843
AT ITER 2166 NEW BEST:: SOT 593061 SOS 439817 HAS SOPS 439425 HAS SOUS 24325 HAS SOUPS 24153 WITH SCORE 24592.817
AT ITER 2186 NEW BEST:: SOT 593050 SOS 439905 HAS SOPS 439513 HAS SOUS 24303 HAS SOUPS 24131 WITH SCORE 24570.905
AT ITER 2197 NEW BEST:: SOT 593046 SOS 439857 HAS SOPS 439465 HAS SOUS 24299 HAS SOUPS 24127 WITH SCORE 24566.857
AT ITER 2230 NEW BEST:: SOT 593041 SOS 439852 HAS SOPS 439460 HAS SOUS 24059 HAS SOUPS 23887 WITH SCORE 24326.852
AT ITER 2239 NEW BEST:: SOT 592991 SOS 439802 HAS SOPS 439410 HAS SOUS 24020 HAS SOUPS 23848 WITH SCORE 24287.802
AT ITER 2256 NEW BEST:: SOT 592999 SOS 439800 HAS SOPS 439400 HAS SOUS 23663 HAS SOUPS 23491 WITH SCORE 23930.8
AT ITER 2258 NEW BEST:: SOT 593015 SOS 439819 HAS SOPS 439419 HAS SOUS 23657 HAS SOUPS 23485 WITH SCORE 23924.819
AT ITER 2303 NEW BEST:: SOT 593007 SOS 439803 HAS SOPS 439403 HAS SOUS 23641 HAS SOUPS 23469 WITH SCORE 23908.803
AT ITER 2331 NEW BEST:: SOT 592960 SOS 439694 HAS SOPS 439294 HAS SOUS 23622 HAS SOUPS 23450 WITH SCORE 23889.694
AT ITER 2352 NEW BEST:: SOT 592969 SOS 439719 HAS SOPS 439319 HAS SOUS 23617 HAS SOUPS 23445 WITH SCORE 23884.719
AT ITER 2362 NEW BEST:: SOT 592969 SOS 439656 HAS SOPS 439256 HAS SOUS 23617 HAS SOUPS 23445 WITH SCORE 23884.656
AT ITER 2373 NEW BEST:: SOT 592911 SOS 439600 HAS SOPS 439200 HAS SOUS 23557 HAS SOUPS 23385 WITH SCORE 23824.6
AT ITER 2383 NEW BEST:: SOT 592926 SOS 439609 HAS SOPS 439209 HAS SOUS 23320 HAS SOUPS 23148 WITH SCORE 23587.609
AT ITER 2420 NEW BEST:: SOT 592926 SOS 439597 HAS SOPS 439197 HAS SOUS 23320 HAS SOUPS 23148 WITH SCORE 23587.597
AT ITER 2427 NEW BEST:: SOT 592937 SOS 439641 HAS SOPS 439241 HAS SOUS 23246 HAS SOUPS 23074 WITH SCORE 23513.641
AT ITER 2458 NEW BEST:: SOT 592937 SOS 439652 HAS SOPS 439252 HAS SOUS 23235 HAS SOUPS 23063 WITH SCORE 23502.652
AT ITER 2473 NEW BEST:: SOT 592938 SOS 439650 HAS SOPS 439250 HAS SOUS 23235 HAS SOUPS 23063 WITH SCORE 23502.65
AT ITER 2478 NEW BEST:: SOT 593068 SOS 439788 HAS SOPS 439388 HAS SOUS 23019 HAS SOUPS 22847 WITH SCORE 23286.788
AT ITER 2486 NEW BEST:: SOT 593068 SOS 439794 HAS SOPS 439394 HAS SOUS 22923 HAS SOUPS 22751 WITH SCORE 23190.794
AT ITER 2496 NEW BEST:: SOT 593001 SOS 439727 HAS SOPS 439327 HAS SOUS 22856 HAS SOUPS 22684 WITH SCORE 23123.727
AT ITER 2510 NEW BEST:: SOT 592999 SOS 439724 HAS SOPS 439324 HAS SOUS 22854 HAS SOUPS 22682 WITH SCORE 23121.724
AT ITER 2529 NEW BEST:: SOT 593001 SOS 439650 HAS SOPS 439250 HAS SOUS 22801 HAS SOUPS 22629 WITH SCORE 23068.65
AT ITER 2561 NEW BEST:: SOT 593002 SOS 439658 HAS SOPS 439258 HAS SOUS 22795 HAS SOUPS 22623 WITH SCORE 23062.658
AT ITER 2618 NEW BEST:: SOT 592998 SOS 439652 HAS SOPS 439252 HAS SOUS 22789 HAS SOUPS 22617 WITH SCORE 23056.652
AT ITER 2638 NEW BEST:: SOT 592998 SOS 439662 HAS SOPS 439257 HAS SOUS 22730 HAS SOUPS 22558 WITH SCORE 22997.662
AT ITER 2642 NEW BEST:: SOT 592994 SOS 439659 HAS SOPS 439254 HAS SOUS 22730 HAS SOUPS 22558 WITH SCORE 22997.659
AT ITER 2648 NEW BEST:: SOT 593016 SOS 439639 HAS SOPS 439234 HAS SOUS 22725 HAS SOUPS 22553 WITH SCORE 22992.639
AT ITER 2650 NEW BEST:: SOT 593015 SOS 439625 HAS SOPS 439219 HAS SOUS 22711 HAS SOUPS 22538 WITH SCORE 22977.625
AT ITER 2654 NEW BEST:: SOT 593013 SOS 439621 HAS SOPS 439215 HAS SOUS 22709 HAS SOUPS 22536 WITH SCORE 22975.621
AT ITER 2659 NEW BEST:: SOT 593012 SOS 439617 HAS SOPS 439211 HAS SOUS 22708 HAS SOUPS 22535 WITH SCORE 22974.617
AT ITER 2673 NEW BEST:: SOT 593207 SOS 439815 HAS SOPS 439409 HAS SOUS 22343 HAS SOUPS 22170 WITH SCORE 22609.815
AT ITER 2674 NEW BEST:: SOT 593204 SOS 439810 HAS SOPS 439404 HAS SOUS 22338 HAS SOUPS 22165 WITH SCORE 22604.81
AT ITER 2769 NEW BEST:: SOT 593204 SOS 435630 HAS SOPS 435224 HAS SOUS 22336 HAS SOUPS 22163 WITH SCORE 22598.63
AT ITER 2817 NEW BEST:: SOT 593204 SOS 435622 HAS SOPS 435216 HAS SOUS 22320 HAS SOUPS 22147 WITH SCORE 22582.622
AT ITER 2818 NEW BEST:: SOT 593150 SOS 435559 HAS SOPS 435209 HAS SOUS 22290 HAS SOUPS 22145 WITH SCORE 22580.559
AT ITER 2830 NEW BEST:: SOT 593146 SOS 435559 HAS SOPS 435209 HAS SOUS 22258 HAS SOUPS 22113 WITH SCORE 22548.559
AT ITER 2841 NEW BEST:: SOT 593106 SOS 455955 HAS SOPS 455535 HAS SOUS 22248 HAS SOUPS 22091 WITH SCORE 22546.955
AT ITER 2893 NEW BEST:: SOT 593104 SOS 455943 HAS SOPS 455523 HAS SOUS 22234 HAS SOUPS 22077 WITH SCORE 22532.943
AT ITER 2901 NEW BEST:: SOT 592006 SOS 454902 HAS SOPS 454482 HAS SOUS 22172 HAS SOUPS 22015 WITH SCORE 22469.902
AT ITER 2923 NEW BEST:: SOT 591974 SOS 454838 HAS SOPS 454418 HAS SOUS 22142 HAS SOUPS 21985 WITH SCORE 22439.838
AT ITER 2924 NEW BEST:: SOT 591986 SOS 454856 HAS SOPS 454436 HAS SOUS 22070 HAS SOUPS 21913 WITH SCORE 22367.856
AT ITER 2930 NEW BEST:: SOT 591986 SOS 454854 HAS SOPS 454434 HAS SOUS 22070 HAS SOUPS 21913 WITH SCORE 22367.854
AT ITER 2935 NEW BEST:: SOT 592013 SOS 454833 HAS SOPS 454426 HAS SOUS 22035 HAS SOUPS 21891 WITH SCORE 22345.833
AT ITER 3020 NEW BEST:: SOT 592006 SOS 454817 HAS SOPS 454410 HAS SOUS 22022 HAS SOUPS 21878 WITH SCORE 22332.817
AT ITER 3027 NEW BEST:: SOT 591984 SOS 454772 HAS SOPS 454365 HAS SOUS 21984 HAS SOUPS 21840 WITH SCORE 22294.772
AT ITER 3062 NEW BEST:: SOT 591968 SOS 454764 HAS SOPS 454357 HAS SOUS 21977 HAS SOUPS 21833 WITH SCORE 22287.764
AT ITER 3066 NEW BEST:: SOT 591968 SOS 454768 HAS SOPS 454358 HAS SOUS 21914 HAS SOUPS 21770 WITH SCORE 22224.768
AT ITER 3090 NEW BEST:: SOT 591842 SOS 454642 HAS SOPS 454232 HAS SOUS 21852 HAS SOUPS 21708 WITH SCORE 22162.642
AT ITER 3092 NEW BEST:: SOT 591839 SOS 454641 HAS SOPS 454223 HAS SOUS 21675 HAS SOUPS 21523 WITH SCORE 21977.641
AT ITER 3110 NEW BEST:: SOT 591941 SOS 454786 HAS SOPS 454332 HAS SOUS 21706 HAS SOUPS 21518 WITH SCORE 21972.786
AT ITER 3116 NEW BEST:: SOT 591944 SOS 454782 HAS SOPS 454328 HAS SOUS 21702 HAS SOUPS 21514 WITH SCORE 21968.782
AT ITER 3144 NEW BEST:: SOT 591948 SOS 452695 HAS SOPS 452247 HAS SOUS 21703 HAS SOUPS 21516 WITH SCORE 21968.695
AT ITER 3149 NEW BEST:: SOT 591944 SOS 452689 HAS SOPS 452241 HAS SOUS 21695 HAS SOUPS 21508 WITH SCORE 21960.689
AT ITER 3161 NEW BEST:: SOT 591785 SOS 452530 HAS SOPS 452082 HAS SOUS 21616 HAS SOUPS 21429 WITH SCORE 21881.53
AT ITER 3177 NEW BEST:: SOT 591776 SOS 452520 HAS SOPS 452072 HAS SOUS 21606 HAS SOUPS 21419 WITH SCORE 21871.52
AT ITER 3180 NEW BEST:: SOT 591778 SOS 452517 HAS SOPS 452069 HAS SOUS 21603 HAS SOUPS 21416 WITH SCORE 21868.517
AT ITER 3181 NEW BEST:: SOT 591791 SOS 452512 HAS SOPS 452064 HAS SOUS 21580 HAS SOUPS 21393 WITH SCORE 21845.512
AT ITER 3188 NEW BEST:: SOT 591791 SOS 452504 HAS SOPS 452056 HAS SOUS 21452 HAS SOUPS 21265 WITH SCORE 21717.504
AT ITER 3209 NEW BEST:: SOT 591783 SOS 452432 HAS SOPS 451984 HAS SOUS 21441 HAS SOUPS 21254 WITH SCORE 21706.432
AT ITER 3210 NEW BEST:: SOT 591779 SOS 452421 HAS SOPS 451973 HAS SOUS 21439 HAS SOUPS 21252 WITH SCORE 21704.421
AT ITER 3274 NEW BEST:: SOT 591787 SOS 452403 HAS SOPS 451968 HAS SOUS 21070 HAS SOUPS 20890 WITH SCORE 21342.403
AT ITER 3277 NEW BEST:: SOT 593078 SOS 453691 HAS SOPS 453256 HAS SOUS 20947 HAS SOUPS 20767 WITH SCORE 21220.691
AT ITER 3292 NEW BEST:: SOT 593093 SOS 453702 HAS SOPS 453267 HAS SOUS 20941 HAS SOUPS 20761 WITH SCORE 21214.702
AT ITER 3355 NEW BEST:: SOT 593086 SOS 453695 HAS SOPS 453260 HAS SOUS 20934 HAS SOUPS 20754 WITH SCORE 21207.695
AT ITER 3423 NEW BEST:: SOT 593085 SOS 453694 HAS SOPS 453259 HAS SOUS 20934 HAS SOUPS 20754 WITH SCORE 21207.694
AT ITER 3432 NEW BEST:: SOT 593111 SOS 453713 HAS SOPS 453278 HAS SOUS 20777 HAS SOUPS 20597 WITH SCORE 21050.713
AT ITER 3441 NEW BEST:: SOT 593067 SOS 453669 HAS SOPS 453234 HAS SOUS 20775 HAS SOUPS 20595 WITH SCORE 21048.669
AT ITER 3448 NEW BEST:: SOT 594809 SOS 455427 HAS SOPS 454992 HAS SOUS 19974 HAS SOUPS 19794 WITH SCORE 20249.427
AT ITER 3466 NEW BEST:: SOT 594809 SOS 455417 HAS SOPS 454982 HAS SOUS 19974 HAS SOUPS 19794 WITH SCORE 20249.417
AT ITER 3485 NEW BEST:: SOT 594934 SOS 455545 HAS SOPS 455118 HAS SOUS 19926 HAS SOUPS 19746 WITH SCORE 20201.545
AT ITER 3489 NEW BEST:: SOT 594932 SOS 455585 HAS SOPS 455158 HAS SOUS 19922 HAS SOUPS 19742 WITH SCORE 20197.585
AT ITER 3493 NEW BEST:: SOT 594923 SOS 455563 HAS SOPS 455136 HAS SOUS 19899 HAS SOUPS 19719 WITH SCORE 20174.563
AT ITER 3548 NEW BEST:: SOT 595043 SOS 455683 HAS SOPS 455256 HAS SOUS 19847 HAS SOUPS 19667 WITH SCORE 20122.683
AT ITER 3619 NEW BEST:: SOT 595037 SOS 455800 HAS SOPS 455373 HAS SOUS 19841 HAS SOUPS 19661 WITH SCORE 20116.8
AT ITER 3622 NEW BEST:: SOT 595030 SOS 455786 HAS SOPS 455359 HAS SOUS 19839 HAS SOUPS 19659 WITH SCORE 20114.786
AT ITER 3656 NEW BEST:: SOT 594162 SOS 454910 HAS SOPS 454479 HAS SOUS 19767 HAS SOUPS 19583 WITH SCORE 20037.91
AT ITER 3680 NEW BEST:: SOT 594163 SOS 454907 HAS SOPS 454477 HAS SOUS 19764 HAS SOUPS 19581 WITH SCORE 20035.907
AT ITER 3706 NEW BEST:: SOT 594328 SOS 455072 HAS SOPS 454642 HAS SOUS 19751 HAS SOUPS 19568 WITH SCORE 20023.072
AT ITER 3737 NEW BEST:: SOT 594326 SOS 455010 HAS SOPS 454580 HAS SOUS 19750 HAS SOUPS 19567 WITH SCORE 20022.01
AT ITER 3738 NEW BEST:: SOT 594323 SOS 455024 HAS SOPS 454594 HAS SOUS 19745 HAS SOUPS 19562 WITH SCORE 20017.024
AT ITER 3808 NEW BEST:: SOT 594314 SOS 455014 HAS SOPS 454584 HAS SOUS 19741 HAS SOUPS 19558 WITH SCORE 20013.014
AT ITER 3930 NEW BEST:: SOT 594298 SOS 455004 HAS SOPS 454583 HAS SOUS 19730 HAS SOUPS 19547 WITH SCORE 20002.004
AT ITER 3955 NEW BEST:: SOT 594282 SOS 455001 HAS SOPS 454580 HAS SOUS 19729 HAS SOUPS 19546 WITH SCORE 20001.001
AT ITER 3959 NEW BEST:: SOT 594252 SOS 454980 HAS SOPS 454559 HAS SOUS 19721 HAS SOUPS 19538 WITH SCORE 19992.98
AT ITER 3963 NEW BEST:: SOT 594251 SOS 454975 HAS SOPS 454557 HAS SOUS 19718 HAS SOUPS 19535 WITH SCORE 19989.975
AT ITER 3990 NEW BEST:: SOT 594248 SOS 454973 HAS SOPS 454554 HAS SOUS 19717 HAS SOUPS 19534 WITH SCORE 19988.973
AT ITER 3992 NEW BEST:: SOT 594242 SOS 454970 HAS SOPS 454549 HAS SOUS 19714 HAS SOUPS 19529 WITH SCORE 19983.97
AT ITER 3995 NEW BEST:: SOT 594242 SOS 454970 HAS SOPS 454549 HAS SOUS 19713 HAS SOUPS 19528 WITH SCORE 19982.97
AT ITER 4009 NEW BEST:: SOT 594206 SOS 454958 HAS SOPS 454537 HAS SOUS 19701 HAS SOUPS 19516 WITH SCORE 19970.958
AT ITER 4011 NEW BEST:: SOT 594202 SOS 454950 HAS SOPS 454529 HAS SOUS 19695 HAS SOUPS 19510 WITH SCORE 19964.95
AT ITER 4035 NEW BEST:: SOT 594181 SOS 454935 HAS SOPS 454514 HAS SOUS 19680 HAS SOUPS 19495 WITH SCORE 19949.935
AT ITER 4098 NEW BEST:: SOT 594172 SOS 454929 HAS SOPS 454508 HAS SOUS 19597 HAS SOUPS 19412 WITH SCORE 19866.929
AT ITER 4101 NEW BEST:: SOT 593536 SOS 454289 HAS SOPS 453868 HAS SOUS 19565 HAS SOUPS 19380 WITH SCORE 19834.289
AT ITER 4129 NEW BEST:: SOT 593526 SOS 454234 HAS SOPS 453813 HAS SOUS 19528 HAS SOUPS 19343 WITH SCORE 19797.234
AT ITER 4146 NEW BEST:: SOT 593547 SOS 454257 HAS SOPS 453837 HAS SOUS 18945 HAS SOUPS 18761 WITH SCORE 19215.257
AT ITER 4148 NEW BEST:: SOT 593547 SOS 454256 HAS SOPS 453836 HAS SOUS 18944 HAS SOUPS 18760 WITH SCORE 19214.256
AT ITER 4205 NEW BEST:: SOT 593535 SOS 454244 HAS SOPS 453824 HAS SOUS 18932 HAS SOUPS 18748 WITH SCORE 19202.244
AT ITER 4219 NEW BEST:: SOT 594117 SOS 454832 HAS SOPS 454406 HAS SOUS 18910 HAS SOUPS 18720 WITH SCORE 19174.832
AT ITER 4239 NEW BEST:: SOT 594117 SOS 454826 HAS SOPS 454400 HAS SOUS 18901 HAS SOUPS 18711 WITH SCORE 19165.826
AT ITER 4289 NEW BEST:: SOT 594118 SOS 454823 HAS SOPS 454397 HAS SOUS 18892 HAS SOUPS 18702 WITH SCORE 19156.823
AT ITER 4330 NEW BEST:: SOT 594106 SOS 454811 HAS SOPS 454385 HAS SOUS 18892 HAS SOUPS 18702 WITH SCORE 19156.811
AT ITER 4337 NEW BEST:: SOT 594037 SOS 454721 HAS SOPS 454295 HAS SOUS 18760 HAS SOUPS 18570 WITH SCORE 19024.721
AT ITER 4463 NEW BEST:: SOT 594055 SOS 454739 HAS SOPS 454313 HAS SOUS 18746 HAS SOUPS 18556 WITH SCORE 19010.739
AT ITER 4480 NEW BEST:: SOT 594054 SOS 454737 HAS SOPS 454311 HAS SOUS 18745 HAS SOUPS 18555 WITH SCORE 19009.737
AT ITER 4520 NEW BEST:: SOT 594054 SOS 454735 HAS SOPS 454307 HAS SOUS 18745 HAS SOUPS 18555 WITH SCORE 19009.735
AT ITER 4521 NEW BEST:: SOT 594032 SOS 454700 HAS SOPS 454272 HAS SOUS 18692 HAS SOUPS 18502 WITH SCORE 18956.7
AT ITER 4531 NEW BEST:: SOT 594031 SOS 454697 HAS SOPS 454269 HAS SOUS 18688 HAS SOUPS 18498 WITH SCORE 18952.697
AT ITER 4609 NEW BEST:: SOT 594025 SOS 454691 HAS SOPS 454263 HAS SOUS 18680 HAS SOUPS 18490 WITH SCORE 18944.691
AT ITER 4677 NEW BEST:: SOT 594022 SOS 454685 HAS SOPS 454257 HAS SOUS 18677 HAS SOUPS 18487 WITH SCORE 18941.685
AT ITER 4715 NEW BEST:: SOT 594016 SOS 454664 HAS SOPS 454236 HAS SOUS 18668 HAS SOUPS 18478 WITH SCORE 18932.664
AT ITER 4716 NEW BEST:: SOT 594013 SOS 454659 HAS SOPS 454231 HAS SOUS 18663 HAS SOUPS 18473 WITH SCORE 18927.659
AT ITER 4767 NEW BEST:: SOT 594041 SOS 454672 HAS SOPS 454197 HAS SOUS 18678 HAS SOUPS 18459 WITH SCORE 18913.672
AT ITER 4831 NEW BEST:: SOT 594518 SOS 455149 HAS SOPS 454674 HAS SOUS 18675 HAS SOUPS 18456 WITH SCORE 18911.149
AT ITER 4845 NEW BEST:: SOT 594507 SOS 455151 HAS SOPS 454676 HAS SOUS 18673 HAS SOUPS 18454 WITH SCORE 18909.151
AT ITER 4944 NEW BEST:: SOT 594505 SOS 455145 HAS SOPS 454670 HAS SOUS 18667 HAS SOUPS 18448 WITH SCORE 18903.145
AT ITER 4975 NEW BEST:: SOT 594498 SOS 461401 HAS SOPS 460926 HAS SOUS 18652 HAS SOUPS 18433 WITH SCORE 18894.401
AT ITER 4988 NEW BEST:: SOT 594476 SOS 461390 HAS SOPS 460926 HAS SOUS 18630 HAS SOUPS 18422 WITH SCORE 18883.39
AT ITER 4993 NEW BEST:: SOT 594476 SOS 461358 HAS SOPS 460894 HAS SOUS 18624 HAS SOUPS 18416 WITH SCORE 18877.358
AT ITER 5007 NEW BEST:: SOT 594474 SOS 461370 HAS SOPS 460906 HAS SOUS 18618 HAS SOUPS 18410 WITH SCORE 18871.37
AT ITER 5010 NEW BEST:: SOT 594473 SOS 461369 HAS SOPS 460904 HAS SOUS 18616 HAS SOUPS 18408 WITH SCORE 18869.369
AT ITER 5018 NEW BEST:: SOT 594474 SOS 461370 HAS SOPS 460905 HAS SOUS 18615 HAS SOUPS 18407 WITH SCORE 18868.37
AT ITER 5192 NEW BEST:: SOT 594472 SOS 461369 HAS SOPS 460904 HAS SOUS 18615 HAS SOUPS 18407 WITH SCORE 18868.369
AT ITER 5265 NEW BEST:: SOT 594466 SOS 461342 HAS SOPS 460877 HAS SOUS 18609 HAS SOUPS 18401 WITH SCORE 18862.342
AT ITER 5285 NEW BEST:: SOT 594462 SOS 461194 HAS SOPS 460729 HAS SOUS 18605 HAS SOUPS 18397 WITH SCORE 18858.194
AT ITER 5316 NEW BEST:: SOT 594461 SOS 461190 HAS SOPS 460725 HAS SOUS 18604 HAS SOUPS 18396 WITH SCORE 18857.19
AT ITER 5361 NEW BEST:: SOT 594420 SOS 461073 HAS SOPS 460630 HAS SOUS 18594 HAS SOUPS 18386 WITH SCORE 18847.073
AT ITER 5417 NEW BEST:: SOT 594274 SOS 460920 HAS SOPS 460477 HAS SOUS 18512 HAS SOUPS 18304 WITH SCORE 18764.92
AT ITER 5446 NEW BEST:: SOT 594299 SOS 460945 HAS SOPS 460502 HAS SOUS 18498 HAS SOUPS 18290 WITH SCORE 18750.945
AT ITER 5589 NEW BEST:: SOT 594291 SOS 460893 HAS SOPS 460450 HAS SOUS 18490 HAS SOUPS 18282 WITH SCORE 18742.893
AT ITER 5607 NEW BEST:: SOT 594295 SOS 460897 HAS SOPS 460458 HAS SOUS 18306 HAS SOUPS 18098 WITH SCORE 18558.897
AT ITER 5708 NEW BEST:: SOT 594133 SOS 460735 HAS SOPS 460296 HAS SOUS 18297 HAS SOUPS 18089 WITH SCORE 18549.735
AT ITER 5734 NEW BEST:: SOT 593497 SOS 460099 HAS SOPS 459660 HAS SOUS 18221 HAS SOUPS 18013 WITH SCORE 18473.099
AT ITER 5759 NEW BEST:: SOT 593497 SOS 460099 HAS SOPS 459660 HAS SOUS 18220 HAS SOUPS 18012 WITH SCORE 18472.099
AT ITER 5828 NEW BEST:: SOT 593497 SOS 460098 HAS SOPS 459659 HAS SOUS 18139 HAS SOUPS 17931 WITH SCORE 18391.098
AT ITER 5928 NEW BEST:: SOT 593880 SOS 460481 HAS SOPS 460044 HAS SOUS 17683 HAS SOUPS 17477 WITH SCORE 17937.481
AT ITER 5938 NEW BEST:: SOT 594196 SOS 460797 HAS SOPS 460360 HAS SOUS 17681 HAS SOUPS 17475 WITH SCORE 17935.797
AT ITER 5955 NEW BEST:: SOT 594192 SOS 460800 HAS SOPS 460363 HAS SOUS 17641 HAS SOUPS 17435 WITH SCORE 17895.8
AT ITER 5965 NEW BEST:: SOT 594187 SOS 460787 HAS SOPS 460350 HAS SOUS 17628 HAS SOUPS 17422 WITH SCORE 17882.787
AT ITER 6006 NEW BEST:: SOT 594186 SOS 460785 HAS SOPS 460348 HAS SOUS 17626 HAS SOUPS 17420 WITH SCORE 17880.785
AT ITER 6056 NEW BEST:: SOT 595313 SOS 461923 HAS SOPS 461491 HAS SOUS 17427 HAS SOUPS 17226 WITH SCORE 17687.923
AT ITER 6112 NEW BEST:: SOT 595312 SOS 461922 HAS SOPS 461490 HAS SOUS 17425 HAS SOUPS 17224 WITH SCORE 17685.922
AT ITER 6246 NEW BEST:: SOT 595288 SOS 461895 HAS SOPS 461454 HAS SOUS 17377 HAS SOUPS 17176 WITH SCORE 17637.895
AT ITER 6272 NEW BEST:: SOT 595285 SOS 461895 HAS SOPS 461454 HAS SOUS 17376 HAS SOUPS 17175 WITH SCORE 17636.895
AT ITER 6284 NEW BEST:: SOT 595286 SOS 461905 HAS SOPS 461464 HAS SOUS 17374 HAS SOUPS 17173 WITH SCORE 17634.905
AT ITER 6327 NEW BEST:: SOT 595282 SOS 461893 HAS SOPS 461452 HAS SOUS 17363 HAS SOUPS 17162 WITH SCORE 17623.893
AT ITER 6391 NEW BEST:: SOT 595283 SOS 461893 HAS SOPS 461454 HAS SOUS 17349 HAS SOUPS 17148 WITH SCORE 17609.893
AT ITER 6410 NEW BEST:: SOT 595346 SOS 461956 HAS SOPS 461517 HAS SOUS 17317 HAS SOUPS 17116 WITH SCORE 17577.956
AT ITER 6425 NEW BEST:: SOT 596918 SOS 463520 HAS SOPS 463081 HAS SOUS 17313 HAS SOUPS 17112 WITH SCORE 17575.52
AT ITER 6721 NEW BEST:: SOT 596920 SOS 463518 HAS SOPS 463079 HAS SOUS 17312 HAS SOUPS 17111 WITH SCORE 17574.518
AT ITER 6722 NEW BEST:: SOT 596918 SOS 463514 HAS SOPS 463075 HAS SOUS 17309 HAS SOUPS 17108 WITH SCORE 17571.514
AT ITER 6727 NEW BEST:: SOT 596917 SOS 463506 HAS SOPS 463067 HAS SOUS 17306 HAS SOUPS 17105 WITH SCORE 17568.506
AT ITER 6807 NEW BEST:: SOT 597141 SOS 463730 HAS SOPS 463291 HAS SOUS 17289 HAS SOUPS 17088 WITH SCORE 17551.73
AT ITER 6821 NEW BEST:: SOT 597141 SOS 461640 HAS SOPS 461201 HAS SOUS 17288 HAS SOUPS 17087 WITH SCORE 17548.64
AT ITER 7040 NEW BEST:: SOT 597138 SOS 461635 HAS SOPS 461196 HAS SOUS 17284 HAS SOUPS 17083 WITH SCORE 17544.635
AT ITER 7203 NEW BEST:: SOT 597149 SOS 461657 HAS SOPS 461218 HAS SOUS 17282 HAS SOUPS 17081 WITH SCORE 17542.657
AT ITER 7276 NEW BEST:: SOT 597143 SOS 461645 HAS SOPS 461206 HAS SOUS 17276 HAS SOUPS 17075 WITH SCORE 17536.645
AT ITER 7350 NEW BEST:: SOT 597141 SOS 461639 HAS SOPS 461200 HAS SOUS 17270 HAS SOUPS 17069 WITH SCORE 17530.639
AT ITER 7488 NEW BEST:: SOT 597132 SOS 461622 HAS SOPS 461183 HAS SOUS 17251 HAS SOUPS 17050 WITH SCORE 17511.622
AT ITER 7622 NEW BEST:: SOT 597124 SOS 461614 HAS SOPS 461175 HAS SOUS 17243 HAS SOUPS 17042 WITH SCORE 17503.614
AT ITER 7707 NEW BEST:: SOT 597119 SOS 461614 HAS SOPS 461173 HAS SOUS 17227 HAS SOUPS 17026 WITH SCORE 17487.614
AT ITER 7754 NEW BEST:: SOT 596467 SOS 460962 HAS SOPS 460521 HAS SOUS 17075 HAS SOUPS 16874 WITH SCORE 17334.962
AT ITER 7850 NEW BEST:: SOT 596466 SOS 460954 HAS SOPS 460513 HAS SOUS 17072 HAS SOUPS 16871 WITH SCORE 17331.954
AT ITER 8056 NEW BEST:: SOT 596457 SOS 460933 HAS SOPS 460492 HAS SOUS 17068 HAS SOUPS 16867 WITH SCORE 17327.933
AT ITER 8239 NEW BEST:: SOT 596203 SOS 460682 HAS SOPS 460241 HAS SOUS 16947 HAS SOUPS 16746 WITH SCORE 17206.682
AT ITER 8296 NEW BEST:: SOT 596205 SOS 460684 HAS SOPS 460243 HAS SOUS 16946 HAS SOUPS 16745 WITH SCORE 17205.684
AT ITER 8412 NEW BEST:: SOT 596198 SOS 460677 HAS SOPS 460236 HAS SOUS 16939 HAS SOUPS 16738 WITH SCORE 17198.677
AT ITER 8499 NEW BEST:: SOT 596198 SOS 460674 HAS SOPS 460233 HAS SOUS 16936 HAS SOUPS 16735 WITH SCORE 17195.674
AT ITER 8663 NEW BEST:: SOT 596201 SOS 460685 HAS SOPS 460244 HAS SOUS 16931 HAS SOUPS 16730 WITH SCORE 17190.685
AT ITER 8734 NEW BEST:: SOT 596073 SOS 460557 HAS SOPS 460116 HAS SOUS 16927 HAS SOUPS 16726 WITH SCORE 17186.557
AT ITER 8756 NEW BEST:: SOT 596073 SOS 460564 HAS SOPS 460123 HAS SOUS 16922 HAS SOUPS 16721 WITH SCORE 17181.564
AT ITER 8776 NEW BEST:: SOT 596070 SOS 460560 HAS SOPS 460119 HAS SOUS 16917 HAS SOUPS 16716 WITH SCORE 17176.56
AT ITER 8827 NEW BEST:: SOT 596070 SOS 460559 HAS SOPS 460118 HAS SOUS 16912 HAS SOUPS 16711 WITH SCORE 17171.559
AT ITER 8886 NEW BEST:: SOT 596076 SOS 460581 HAS SOPS 460140 HAS SOUS 16911 HAS SOUPS 16710 WITH SCORE 17170.581
AT ITER 8920 NEW BEST:: SOT 596074 SOS 460579 HAS SOPS 460138 HAS SOUS 16909 HAS SOUPS 16708 WITH SCORE 17168.579
AT ITER 8960 NEW BEST:: SOT 596139 SOS 460642 HAS SOPS 460201 HAS SOUS 16908 HAS SOUPS 16707 WITH SCORE 17167.642
AT ITER 9014 NEW BEST:: SOT 596137 SOS 460668 HAS SOPS 460227 HAS SOUS 16905 HAS SOUPS 16704 WITH SCORE 17164.668
AT ITER 9094 NEW BEST:: SOT 596142 SOS 460670 HAS SOPS 460221 HAS SOUS 16905 HAS SOUPS 16700 WITH SCORE 17160.67
AT ITER 9297 NEW BEST:: SOT 595992 SOS 460530 HAS SOPS 460081 HAS SOUS 16895 HAS SOUPS 16690 WITH SCORE 17150.53
AT ITER 9305 NEW BEST:: SOT 596022 SOS 460557 HAS SOPS 460085 HAS SOUS 16894 HAS SOUPS 16689 WITH SCORE 17149.557
AT ITER 9393 NEW BEST:: SOT 596022 SOS 460556 HAS SOPS 460085 HAS SOUS 16893 HAS SOUPS 16689 WITH SCORE 17149.556
AT ITER 9434 NEW BEST:: SOT 596021 SOS 460553 HAS SOPS 460082 HAS SOUS 16891 HAS SOUPS 16687 WITH SCORE 17147.553
AT ITER 9493 NEW BEST:: SOT 596020 SOS 460553 HAS SOPS 460082 HAS SOUS 16888 HAS SOUPS 16684 WITH SCORE 17144.553
AT ITER 9495 NEW BEST:: SOT 596023 SOS 460559 HAS SOPS 460088 HAS SOUS 16859 HAS SOUPS 16655 WITH SCORE 17115.559
AT ITER 9544 NEW BEST:: SOT 596021 SOS 460561 HAS SOPS 460094 HAS SOUS 16843 HAS SOUPS 16641 WITH SCORE 17101.561
AT ITER 9598 NEW BEST:: SOT 596004 SOS 460545 HAS SOPS 460078 HAS SOUS 16842 HAS SOUPS 16640 WITH SCORE 17100.545
AT ITER 9603 NEW BEST:: SOT 595681 SOS 460224 HAS SOPS 459757 HAS SOUS 16737 HAS SOUPS 16535 WITH SCORE 16995.224
AT ITER 9616 NEW BEST:: SOT 595681 SOS 460224 HAS SOPS 459757 HAS SOUS 16736 HAS SOUPS 16534 WITH SCORE 16994.224
AT ITER 9660 NEW BEST:: SOT 595616 SOS 460156 HAS SOPS 459689 HAS SOUS 16622 HAS SOUPS 16420 WITH SCORE 16880.156
AT ITER 9733 NEW BEST:: SOT 595614 SOS 460153 HAS SOPS 459686 HAS SOUS 16622 HAS SOUPS 16420 WITH SCORE 16880.153
AT ITER 9835 NEW BEST:: SOT 595620 SOS 460155 HAS SOPS 459688 HAS SOUS 16614 HAS SOUPS 16412 WITH SCORE 16872.155
AT ITER 9936 NEW BEST:: SOT 595617 SOS 460151 HAS SOPS 459683 HAS SOUS 16610 HAS SOUPS 16407 WITH SCORE 16867.151
AT ITER 9946 NEW BEST:: SOT 595612 SOS 460146 HAS SOPS 459678 HAS SOUS 16608 HAS SOUPS 16405 WITH SCORE 16865.146
STATE_SPACE STATES 2131836945601 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 22 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 40858680778941 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679432008169

--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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

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="EnergyBus-PT-none"
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 EnergyBus-PT-none, 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-167838858100136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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