Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922808301008.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is EnergyBus-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922808301008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.4M
-rw-r--r-- 1 mcc users 3.0K Apr 13 13:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 13 13:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 13 13:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 13 13:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 15:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 15:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 13 13:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 13 13:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 13 13:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 13 13:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 13 13:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 13 13:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 3.2M Mar 24 05:37 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 1589369298034

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EnergyBus (PT), instance none
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 4 NEW BEST:: SOT 603784 SOS 495425 HAS SOPS 494752 HAS SOUS 184894 HAS SOUPS 184670 WITH SCORE 185165.425
AT ITER 7 NEW BEST:: SOT 603815 SOS 495394 HAS SOPS 494721 HAS SOUS 184832 HAS SOUPS 184608 WITH SCORE 185103.394
AT ITER 11 NEW BEST:: SOT 605505 SOS 497054 HAS SOPS 496323 HAS SOUS 101306 HAS SOUPS 101025 WITH SCORE 101522.054
AT ITER 13 NEW BEST:: SOT 605465 SOS 497023 HAS SOPS 496292 HAS SOUS 101306 HAS SOUPS 101025 WITH SCORE 101522.023
AT ITER 16 NEW BEST:: SOT 605666 SOS 497114 HAS SOPS 496518 HAS SOUS 100946 HAS SOUPS 100692 WITH SCORE 101189.114
AT ITER 17 NEW BEST:: SOT 605697 SOS 497101 HAS SOPS 496505 HAS SOUS 100891 HAS SOUPS 100637 WITH SCORE 101134.101
AT ITER 26 NEW BEST:: SOT 605669 SOS 497022 HAS SOPS 496426 HAS SOUS 100701 HAS SOUPS 100447 WITH SCORE 100944.022
AT ITER 39 NEW BEST:: SOT 605601 SOS 496951 HAS SOPS 496355 HAS SOUS 99064 HAS SOUPS 98810 WITH SCORE 99306.951
AT ITER 40 NEW BEST:: SOT 605632 SOS 497029 HAS SOPS 496433 HAS SOUS 98997 HAS SOUPS 98743 WITH SCORE 99240.029
AT ITER 41 NEW BEST:: SOT 605618 SOS 496987 HAS SOPS 496398 HAS SOUS 98976 HAS SOUPS 98729 WITH SCORE 99225.987
AT ITER 45 NEW BEST:: SOT 605638 SOS 496937 HAS SOPS 496363 HAS SOUS 98927 HAS SOUPS 98695 WITH SCORE 99191.937
AT ITER 47 NEW BEST:: SOT 605715 SOS 497033 HAS SOPS 496459 HAS SOUS 96610 HAS SOUPS 96378 WITH SCORE 96875.033
AT ITER 53 NEW BEST:: SOT 605382 SOS 496719 HAS SOPS 496126 HAS SOUS 96428 HAS SOUPS 96180 WITH SCORE 96676.719
AT ITER 59 NEW BEST:: SOT 605531 SOS 496773 HAS SOPS 496180 HAS SOUS 96381 HAS SOUPS 96133 WITH SCORE 96629.773
AT ITER 64 NEW BEST:: SOT 605546 SOS 496818 HAS SOPS 496255 HAS SOUS 96242 HAS SOUPS 96024 WITH SCORE 96520.818
AT ITER 73 NEW BEST:: SOT 605491 SOS 496793 HAS SOPS 496230 HAS SOUS 96157 HAS SOUPS 95939 WITH SCORE 96435.793
AT ITER 74 NEW BEST:: SOT 605539 SOS 496813 HAS SOPS 496250 HAS SOUS 94791 HAS SOUPS 94573 WITH SCORE 95069.813
AT ITER 80 NEW BEST:: SOT 605519 SOS 496791 HAS SOPS 496228 HAS SOUS 94719 HAS SOUPS 94501 WITH SCORE 94997.791
AT ITER 84 NEW BEST:: SOT 605440 SOS 496617 HAS SOPS 496054 HAS SOUS 94675 HAS SOUPS 94457 WITH SCORE 94953.617
AT ITER 85 NEW BEST:: SOT 605413 SOS 496584 HAS SOPS 496021 HAS SOUS 92776 HAS SOUPS 92558 WITH SCORE 93054.584
AT ITER 88 NEW BEST:: SOT 605342 SOS 496491 HAS SOPS 495928 HAS SOUS 92742 HAS SOUPS 92524 WITH SCORE 93020.491
AT ITER 92 NEW BEST:: SOT 605342 SOS 496532 HAS SOPS 495969 HAS SOUS 91091 HAS SOUPS 90873 WITH SCORE 91369.532
AT ITER 97 NEW BEST:: SOT 605309 SOS 496485 HAS SOPS 495922 HAS SOUS 91088 HAS SOUPS 90870 WITH SCORE 91366.485
AT ITER 100 NEW BEST:: SOT 605383 SOS 496576 HAS SOPS 496055 HAS SOUS 90961 HAS SOUPS 90784 WITH SCORE 91280.576
AT ITER 101 NEW BEST:: SOT 605382 SOS 496498 HAS SOPS 495977 HAS SOUS 90945 HAS SOUPS 90768 WITH SCORE 91264.498
AT ITER 103 NEW BEST:: SOT 605424 SOS 496449 HAS SOPS 495928 HAS SOUS 87277 HAS SOUPS 87100 WITH SCORE 87596.449
AT ITER 112 NEW BEST:: SOT 605320 SOS 496365 HAS SOPS 495844 HAS SOUS 87224 HAS SOUPS 87047 WITH SCORE 87543.365
AT ITER 115 NEW BEST:: SOT 605267 SOS 496275 HAS SOPS 495791 HAS SOUS 87108 HAS SOUPS 86969 WITH SCORE 87465.275
AT ITER 117 NEW BEST:: SOT 605477 SOS 496443 HAS SOPS 495959 HAS SOUS 83522 HAS SOUPS 83383 WITH SCORE 83879.443
AT ITER 119 NEW BEST:: SOT 605410 SOS 496446 HAS SOPS 495962 HAS SOUS 83481 HAS SOUPS 83342 WITH SCORE 83838.446
AT ITER 121 NEW BEST:: SOT 605379 SOS 496409 HAS SOPS 495925 HAS SOUS 83444 HAS SOUPS 83305 WITH SCORE 83801.409
AT ITER 122 NEW BEST:: SOT 605379 SOS 496385 HAS SOPS 495961 HAS SOUS 83230 HAS SOUPS 83103 WITH SCORE 83599.385
AT ITER 124 NEW BEST:: SOT 605369 SOS 496315 HAS SOPS 495941 HAS SOUS 83154 HAS SOUPS 83037 WITH SCORE 83533.315
AT ITER 130 NEW BEST:: SOT 605369 SOS 496315 HAS SOPS 495941 HAS SOUS 82490 HAS SOUPS 82373 WITH SCORE 82869.315
AT ITER 134 NEW BEST:: SOT 605272 SOS 496117 HAS SOPS 495743 HAS SOUS 82454 HAS SOUPS 82337 WITH SCORE 82833.117
AT ITER 139 NEW BEST:: SOT 605258 SOS 496071 HAS SOPS 495697 HAS SOUS 82450 HAS SOUPS 82333 WITH SCORE 82829.071
AT ITER 145 NEW BEST:: SOT 605200 SOS 496014 HAS SOPS 495640 HAS SOUS 82417 HAS SOUPS 82300 WITH SCORE 82796.014
AT ITER 148 NEW BEST:: SOT 605192 SOS 502267 HAS SOPS 501893 HAS SOUS 82408 HAS SOUPS 82291 WITH SCORE 82793.267
AT ITER 151 NEW BEST:: SOT 605207 SOS 502267 HAS SOPS 501893 HAS SOUS 81898 HAS SOUPS 81781 WITH SCORE 82283.267
AT ITER 152 NEW BEST:: SOT 604232 SOS 501292 HAS SOPS 500918 HAS SOUS 81403 HAS SOUPS 81286 WITH SCORE 81787.292
AT ITER 154 NEW BEST:: SOT 604261 SOS 501510 HAS SOPS 501136 HAS SOUS 81306 HAS SOUPS 81189 WITH SCORE 81690.51
AT ITER 158 NEW BEST:: SOT 604427 SOS 501411 HAS SOPS 501037 HAS SOUS 80194 HAS SOUPS 80077 WITH SCORE 80578.411
AT ITER 161 NEW BEST:: SOT 604434 SOS 501412 HAS SOPS 501037 HAS SOUS 80187 HAS SOUPS 80070 WITH SCORE 80571.412
AT ITER 163 NEW BEST:: SOT 604463 SOS 501337 HAS SOPS 500962 HAS SOUS 80105 HAS SOUPS 79988 WITH SCORE 80489.337
AT ITER 166 NEW BEST:: SOT 604463 SOS 501310 HAS SOPS 500935 HAS SOUS 80031 HAS SOUPS 79914 WITH SCORE 80415.31
AT ITER 167 NEW BEST:: SOT 604790 SOS 501146 HAS SOPS 500046 HAS SOUS 80164 HAS SOUPS 79902 WITH SCORE 80403.146
AT ITER 169 NEW BEST:: SOT 604458 SOS 500664 HAS SOPS 499564 HAS SOUS 79932 HAS SOUPS 79670 WITH SCORE 80170.664
AT ITER 173 NEW BEST:: SOT 604456 SOS 500662 HAS SOPS 499562 HAS SOUS 79836 HAS SOUPS 79574 WITH SCORE 80074.662
AT ITER 184 NEW BEST:: SOT 604757 SOS 501144 HAS SOPS 499937 HAS SOUS 76963 HAS SOUPS 76609 WITH SCORE 77110.144
AT ITER 191 NEW BEST:: SOT 607489 SOS 503957 HAS SOPS 502750 HAS SOUS 76595 HAS SOUPS 76241 WITH SCORE 76744.957
AT ITER 193 NEW BEST:: SOT 607471 SOS 503903 HAS SOPS 502696 HAS SOUS 76541 HAS SOUPS 76187 WITH SCORE 76690.903
AT ITER 194 NEW BEST:: SOT 607449 SOS 503879 HAS SOPS 502672 HAS SOUS 76540 HAS SOUPS 76186 WITH SCORE 76689.879
AT ITER 197 NEW BEST:: SOT 607373 SOS 503849 HAS SOPS 502646 HAS SOUS 76515 HAS SOUPS 76161 WITH SCORE 76664.849
AT ITER 198 NEW BEST:: SOT 607328 SOS 503782 HAS SOPS 502579 HAS SOUS 76452 HAS SOUPS 76098 WITH SCORE 76601.782
AT ITER 204 NEW BEST:: SOT 607218 SOS 503641 HAS SOPS 502438 HAS SOUS 75391 HAS SOUPS 75037 WITH SCORE 75540.641
AT ITER 206 NEW BEST:: SOT 607309 SOS 503734 HAS SOPS 502478 HAS SOUS 75419 HAS SOUPS 75022 WITH SCORE 75525.734
AT ITER 210 NEW BEST:: SOT 607309 SOS 503738 HAS SOPS 502463 HAS SOUS 74492 HAS SOUPS 74095 WITH SCORE 74598.738
AT ITER 211 NEW BEST:: SOT 607296 SOS 503725 HAS SOPS 502450 HAS SOUS 74479 HAS SOUPS 74082 WITH SCORE 74585.725
AT ITER 212 NEW BEST:: SOT 607272 SOS 503636 HAS SOPS 502361 HAS SOUS 74360 HAS SOUPS 73963 WITH SCORE 74466.636
AT ITER 213 NEW BEST:: SOT 607235 SOS 503599 HAS SOPS 502324 HAS SOUS 74291 HAS SOUPS 73894 WITH SCORE 74397.599
AT ITER 215 NEW BEST:: SOT 607229 SOS 503581 HAS SOPS 502306 HAS SOUS 74289 HAS SOUPS 73892 WITH SCORE 74395.581
AT ITER 216 NEW BEST:: SOT 607058 SOS 503332 HAS SOPS 502131 HAS SOUS 72892 HAS SOUPS 72495 WITH SCORE 72998.332
AT ITER 220 NEW BEST:: SOT 606968 SOS 503450 HAS SOPS 502275 HAS SOUS 72873 HAS SOUPS 72476 WITH SCORE 72979.45
AT ITER 222 NEW BEST:: SOT 606930 SOS 503404 HAS SOPS 502231 HAS SOUS 72083 HAS SOUPS 71686 WITH SCORE 72189.404
AT ITER 223 NEW BEST:: SOT 606938 SOS 503365 HAS SOPS 502192 HAS SOUS 70547 HAS SOUPS 70150 WITH SCORE 70653.365
AT ITER 225 NEW BEST:: SOT 606912 SOS 503274 HAS SOPS 502101 HAS SOUS 70455 HAS SOUPS 70058 WITH SCORE 70561.274
AT ITER 230 NEW BEST:: SOT 606916 SOS 503480 HAS SOPS 502142 HAS SOUS 70473 HAS SOUPS 70043 WITH SCORE 70546.48
AT ITER 235 NEW BEST:: SOT 606914 SOS 503476 HAS SOPS 502138 HAS SOUS 70467 HAS SOUPS 70037 WITH SCORE 70540.476
AT ITER 243 NEW BEST:: SOT 606908 SOS 503290 HAS SOPS 501952 HAS SOUS 70451 HAS SOUPS 70021 WITH SCORE 70524.29
AT ITER 244 NEW BEST:: SOT 606860 SOS 503208 HAS SOPS 501904 HAS SOUS 70379 HAS SOUPS 69973 WITH SCORE 70476.208
AT ITER 247 NEW BEST:: SOT 606860 SOS 503208 HAS SOPS 501904 HAS SOUS 69459 HAS SOUPS 69053 WITH SCORE 69556.208
AT ITER 248 NEW BEST:: SOT 606860 SOS 503207 HAS SOPS 501903 HAS SOUS 69458 HAS SOUPS 69052 WITH SCORE 69555.207
AT ITER 252 NEW BEST:: SOT 606778 SOS 502920 HAS SOPS 501821 HAS SOUS 69008 HAS SOUPS 68643 WITH SCORE 69145.92
AT ITER 255 NEW BEST:: SOT 606812 SOS 502740 HAS SOPS 501641 HAS SOUS 68976 HAS SOUPS 68611 WITH SCORE 69113.74
AT ITER 260 NEW BEST:: SOT 606783 SOS 502711 HAS SOPS 501612 HAS SOUS 67816 HAS SOUPS 67451 WITH SCORE 67953.711
AT ITER 261 NEW BEST:: SOT 606773 SOS 502691 HAS SOPS 501592 HAS SOUS 67726 HAS SOUPS 67361 WITH SCORE 67863.691
AT ITER 265 NEW BEST:: SOT 606773 SOS 502691 HAS SOPS 501592 HAS SOUS 66814 HAS SOUPS 66449 WITH SCORE 66951.691
AT ITER 268 NEW BEST:: SOT 606663 SOS 502303 HAS SOPS 501486 HAS SOUS 64408 HAS SOUPS 64100 WITH SCORE 64602.303
AT ITER 274 NEW BEST:: SOT 606671 SOS 502309 HAS SOPS 501492 HAS SOUS 64302 HAS SOUPS 63994 WITH SCORE 64496.309
AT ITER 278 NEW BEST:: SOT 606665 SOS 502303 HAS SOPS 501486 HAS SOUS 64296 HAS SOUPS 63988 WITH SCORE 64490.303
AT ITER 284 NEW BEST:: SOT 603976 SOS 499607 HAS SOPS 498790 HAS SOUS 63240 HAS SOUPS 62932 WITH SCORE 63431.607
AT ITER 285 NEW BEST:: SOT 603972 SOS 499603 HAS SOPS 498786 HAS SOUS 63236 HAS SOUPS 62928 WITH SCORE 63427.603
AT ITER 287 NEW BEST:: SOT 603924 SOS 499512 HAS SOPS 498695 HAS SOUS 63197 HAS SOUPS 62889 WITH SCORE 63388.512
AT ITER 288 NEW BEST:: SOT 603924 SOS 499536 HAS SOPS 498719 HAS SOUS 63155 HAS SOUPS 62847 WITH SCORE 63346.536
AT ITER 292 NEW BEST:: SOT 604174 SOS 499759 HAS SOPS 498970 HAS SOUS 60852 HAS SOUPS 60571 WITH SCORE 61070.759
AT ITER 297 NEW BEST:: SOT 604167 SOS 499745 HAS SOPS 498958 HAS SOUS 60822 HAS SOUPS 60541 WITH SCORE 61040.745
AT ITER 298 NEW BEST:: SOT 604203 SOS 499608 HAS SOPS 498795 HAS SOUS 60709 HAS SOUPS 60428 WITH SCORE 60927.608
AT ITER 307 NEW BEST:: SOT 604203 SOS 499596 HAS SOPS 498783 HAS SOUS 60385 HAS SOUPS 60104 WITH SCORE 60603.596
AT ITER 310 NEW BEST:: SOT 604226 SOS 499620 HAS SOPS 498807 HAS SOUS 60349 HAS SOUPS 60068 WITH SCORE 60567.62
AT ITER 315 NEW BEST:: SOT 604226 SOS 499615 HAS SOPS 498802 HAS SOUS 60194 HAS SOUPS 59913 WITH SCORE 60412.615
AT ITER 318 NEW BEST:: SOT 604226 SOS 499691 HAS SOPS 498840 HAS SOUS 59504 HAS SOUPS 59223 WITH SCORE 59722.691
AT ITER 327 NEW BEST:: SOT 604204 SOS 499656 HAS SOPS 498805 HAS SOUS 59469 HAS SOUPS 59188 WITH SCORE 59687.656
AT ITER 330 NEW BEST:: SOT 604120 SOS 499544 HAS SOPS 498693 HAS SOUS 59397 HAS SOUPS 59116 WITH SCORE 59615.544
AT ITER 331 NEW BEST:: SOT 606278 SOS 501613 HAS SOPS 500762 HAS SOUS 57730 HAS SOUPS 57449 WITH SCORE 57950.613
AT ITER 334 NEW BEST:: SOT 606344 SOS 501592 HAS SOPS 500741 HAS SOUS 57730 HAS SOUPS 57449 WITH SCORE 57950.592
AT ITER 342 NEW BEST:: SOT 609884 SOS 505185 HAS SOPS 504334 HAS SOUS 57712 HAS SOUPS 57431 WITH SCORE 57936.185
AT ITER 344 NEW BEST:: SOT 609809 SOS 505012 HAS SOPS 504161 HAS SOUS 57644 HAS SOUPS 57363 WITH SCORE 57868.012
AT ITER 358 NEW BEST:: SOT 609813 SOS 505343 HAS SOPS 504489 HAS SOUS 56012 HAS SOUPS 55731 WITH SCORE 56236.343
AT ITER 359 NEW BEST:: SOT 609791 SOS 505307 HAS SOPS 504453 HAS SOUS 55995 HAS SOUPS 55714 WITH SCORE 56219.307
AT ITER 364 NEW BEST:: SOT 609793 SOS 505286 HAS SOPS 504432 HAS SOUS 55878 HAS SOUPS 55597 WITH SCORE 56102.286
AT ITER 365 NEW BEST:: SOT 609812 SOS 505335 HAS SOPS 504507 HAS SOUS 55713 HAS SOUPS 55432 WITH SCORE 55937.335
AT ITER 370 NEW BEST:: SOT 609852 SOS 505215 HAS SOPS 504587 HAS SOUS 54081 HAS SOUPS 53840 WITH SCORE 54345.215
AT ITER 374 NEW BEST:: SOT 609837 SOS 505215 HAS SOPS 504587 HAS SOUS 54057 HAS SOUPS 53816 WITH SCORE 54321.215
AT ITER 378 NEW BEST:: SOT 609890 SOS 505256 HAS SOPS 504628 HAS SOUS 53452 HAS SOUPS 53211 WITH SCORE 53716.256
AT ITER 379 NEW BEST:: SOT 609874 SOS 505244 HAS SOPS 504616 HAS SOUS 53444 HAS SOUPS 53203 WITH SCORE 53708.244
AT ITER 381 NEW BEST:: SOT 609865 SOS 505310 HAS SOPS 504682 HAS SOUS 53237 HAS SOUPS 52996 WITH SCORE 53501.31
AT ITER 386 NEW BEST:: SOT 609825 SOS 505230 HAS SOPS 504602 HAS SOUS 52237 HAS SOUPS 51996 WITH SCORE 52501.23
AT ITER 393 NEW BEST:: SOT 609823 SOS 505222 HAS SOPS 504594 HAS SOUS 52229 HAS SOUPS 51988 WITH SCORE 52493.222
AT ITER 395 NEW BEST:: SOT 609659 SOS 505018 HAS SOPS 504390 HAS SOUS 52067 HAS SOUPS 51826 WITH SCORE 52331.018
AT ITER 398 NEW BEST:: SOT 609651 SOS 505007 HAS SOPS 504386 HAS SOUS 52059 HAS SOUPS 51822 WITH SCORE 52327.007
AT ITER 399 NEW BEST:: SOT 611490 SOS 506861 HAS SOPS 506240 HAS SOUS 51041 HAS SOUPS 50804 WITH SCORE 51310.861
AT ITER 401 NEW BEST:: SOT 611488 SOS 506884 HAS SOPS 506263 HAS SOUS 50270 HAS SOUPS 50033 WITH SCORE 50539.884
AT ITER 402 NEW BEST:: SOT 611488 SOS 506883 HAS SOPS 506262 HAS SOUS 50264 HAS SOUPS 50027 WITH SCORE 50533.883
AT ITER 407 NEW BEST:: SOT 611484 SOS 506878 HAS SOPS 506257 HAS SOUS 50219 HAS SOUPS 49982 WITH SCORE 50488.878
AT ITER 409 NEW BEST:: SOT 611468 SOS 506872 HAS SOPS 506235 HAS SOUS 49413 HAS SOUPS 49176 WITH SCORE 49682.872
AT ITER 410 NEW BEST:: SOT 611468 SOS 506870 HAS SOPS 506233 HAS SOUS 49413 HAS SOUPS 49176 WITH SCORE 49682.87
AT ITER 412 NEW BEST:: SOT 611559 SOS 506871 HAS SOPS 506234 HAS SOUS 48675 HAS SOUPS 48438 WITH SCORE 48944.871
AT ITER 414 NEW BEST:: SOT 611515 SOS 506808 HAS SOPS 506171 HAS SOUS 47772 HAS SOUPS 47535 WITH SCORE 48041.808
AT ITER 417 NEW BEST:: SOT 611527 SOS 507139 HAS SOPS 506195 HAS SOUS 47581 HAS SOUPS 47272 WITH SCORE 47779.139
AT ITER 418 NEW BEST:: SOT 611524 SOS 507129 HAS SOPS 506185 HAS SOUS 47532 HAS SOUPS 47223 WITH SCORE 47730.129
AT ITER 420 NEW BEST:: SOT 611419 SOS 507048 HAS SOPS 506035 HAS SOUS 47478 HAS SOUPS 47153 WITH SCORE 47660.048
AT ITER 422 NEW BEST:: SOT 611407 SOS 507036 HAS SOPS 506023 HAS SOUS 47466 HAS SOUPS 47141 WITH SCORE 47648.036
AT ITER 425 NEW BEST:: SOT 611402 SOS 507019 HAS SOPS 506026 HAS SOUS 47348 HAS SOUPS 47028 WITH SCORE 47535.019
AT ITER 427 NEW BEST:: SOT 611351 SOS 506771 HAS SOPS 506005 HAS SOUS 45269 HAS SOUPS 45004 WITH SCORE 45510.771
AT ITER 432 NEW BEST:: SOT 611472 SOS 506883 HAS SOPS 506117 HAS SOUS 44355 HAS SOUPS 44090 WITH SCORE 44596.883
AT ITER 440 NEW BEST:: SOT 611450 SOS 506872 HAS SOPS 506106 HAS SOUS 43915 HAS SOUPS 43650 WITH SCORE 44156.872
AT ITER 443 NEW BEST:: SOT 611450 SOS 506862 HAS SOPS 506045 HAS SOUS 43905 HAS SOUPS 43640 WITH SCORE 44146.862
AT ITER 448 NEW BEST:: SOT 611450 SOS 506744 HAS SOPS 505927 HAS SOUS 43855 HAS SOUPS 43590 WITH SCORE 44096.744
AT ITER 460 NEW BEST:: SOT 611443 SOS 506737 HAS SOPS 505920 HAS SOUS 43855 HAS SOUPS 43590 WITH SCORE 44096.737
AT ITER 462 NEW BEST:: SOT 611539 SOS 507109 HAS SOPS 506292 HAS SOUS 43848 HAS SOUPS 43583 WITH SCORE 44090.109
AT ITER 465 NEW BEST:: SOT 611496 SOS 507084 HAS SOPS 506260 HAS SOUS 43833 HAS SOUPS 43561 WITH SCORE 44068.084
AT ITER 481 NEW BEST:: SOT 611481 SOS 507062 HAS SOPS 506238 HAS SOUS 43775 HAS SOUPS 43503 WITH SCORE 44010.062
AT ITER 482 NEW BEST:: SOT 611502 SOS 507095 HAS SOPS 506271 HAS SOUS 43470 HAS SOUPS 43198 WITH SCORE 43705.095
AT ITER 484 NEW BEST:: SOT 611472 SOS 507071 HAS SOPS 506247 HAS SOUS 42708 HAS SOUPS 42436 WITH SCORE 42943.071
AT ITER 485 NEW BEST:: SOT 611422 SOS 506971 HAS SOPS 506147 HAS SOUS 40843 HAS SOUPS 40571 WITH SCORE 41077.971
AT ITER 489 NEW BEST:: SOT 611346 SOS 507029 HAS SOPS 506205 HAS SOUS 40823 HAS SOUPS 40551 WITH SCORE 41058.029
AT ITER 490 NEW BEST:: SOT 611478 SOS 506957 HAS SOPS 506133 HAS SOUS 40817 HAS SOUPS 40545 WITH SCORE 41051.957
AT ITER 498 NEW BEST:: SOT 611472 SOS 506981 HAS SOPS 506157 HAS SOUS 40811 HAS SOUPS 40539 WITH SCORE 41045.981
AT ITER 500 NEW BEST:: SOT 611472 SOS 507032 HAS SOPS 506208 HAS SOUS 40590 HAS SOUPS 40318 WITH SCORE 40825.032
AT ITER 504 NEW BEST:: SOT 611474 SOS 507071 HAS SOPS 506247 HAS SOUS 40583 HAS SOUPS 40311 WITH SCORE 40818.071
AT ITER 511 NEW BEST:: SOT 611474 SOS 507071 HAS SOPS 506247 HAS SOUS 40581 HAS SOUPS 40309 WITH SCORE 40816.071
AT ITER 520 NEW BEST:: SOT 611485 SOS 507202 HAS SOPS 506378 HAS SOUS 40506 HAS SOUPS 40234 WITH SCORE 40741.202
AT ITER 530 NEW BEST:: SOT 611517 SOS 507175 HAS SOPS 506338 HAS SOUS 40403 HAS SOUPS 40118 WITH SCORE 40625.175
AT ITER 532 NEW BEST:: SOT 611443 SOS 507038 HAS SOPS 506201 HAS SOUS 40289 HAS SOUPS 40004 WITH SCORE 40511.038
AT ITER 540 NEW BEST:: SOT 611425 SOS 507020 HAS SOPS 506183 HAS SOUS 39911 HAS SOUPS 39626 WITH SCORE 40133.02
AT ITER 542 NEW BEST:: SOT 611401 SOS 506980 HAS SOPS 506143 HAS SOUS 39903 HAS SOUPS 39618 WITH SCORE 40124.98
AT ITER 545 NEW BEST:: SOT 611405 SOS 474610 HAS SOPS 473773 HAS SOUS 39882 HAS SOUPS 39597 WITH SCORE 40071.61
AT ITER 550 NEW BEST:: SOT 611417 SOS 474601 HAS SOPS 473737 HAS SOUS 39894 HAS SOUPS 39585 WITH SCORE 40059.601
AT ITER 551 NEW BEST:: SOT 611280 SOS 474603 HAS SOPS 473739 HAS SOUS 39231 HAS SOUPS 38922 WITH SCORE 39396.603
AT ITER 552 NEW BEST:: SOT 611236 SOS 474564 HAS SOPS 473700 HAS SOUS 38766 HAS SOUPS 38457 WITH SCORE 38931.564
AT ITER 554 NEW BEST:: SOT 611885 SOS 475144 HAS SOPS 474280 HAS SOUS 38717 HAS SOUPS 38408 WITH SCORE 38883.144
AT ITER 578 NEW BEST:: SOT 611833 SOS 474930 HAS SOPS 474066 HAS SOUS 37045 HAS SOUPS 36736 WITH SCORE 37210.93
AT ITER 599 NEW BEST:: SOT 611811 SOS 474809 HAS SOPS 473945 HAS SOUS 37012 HAS SOUPS 36703 WITH SCORE 37177.809
AT ITER 601 NEW BEST:: SOT 611802 SOS 474800 HAS SOPS 473936 HAS SOUS 36976 HAS SOUPS 36667 WITH SCORE 37141.8
AT ITER 605 NEW BEST:: SOT 611794 SOS 474792 HAS SOPS 473928 HAS SOUS 36953 HAS SOUPS 36644 WITH SCORE 37118.792
AT ITER 611 NEW BEST:: SOT 611809 SOS 474782 HAS SOPS 473913 HAS SOUS 36752 HAS SOUPS 36438 WITH SCORE 36912.782
AT ITER 615 NEW BEST:: SOT 611811 SOS 474768 HAS SOPS 473899 HAS SOUS 36730 HAS SOUPS 36416 WITH SCORE 36890.768
AT ITER 618 NEW BEST:: SOT 611813 SOS 474770 HAS SOPS 473890 HAS SOUS 36179 HAS SOUPS 35865 WITH SCORE 36339.77
AT ITER 627 NEW BEST:: SOT 611803 SOS 474750 HAS SOPS 473870 HAS SOUS 36174 HAS SOUPS 35860 WITH SCORE 36334.75
AT ITER 628 NEW BEST:: SOT 611803 SOS 474745 HAS SOPS 473870 HAS SOUS 36168 HAS SOUPS 35859 WITH SCORE 36333.745
AT ITER 631 NEW BEST:: SOT 611792 SOS 474679 HAS SOPS 473804 HAS SOUS 36083 HAS SOUPS 35774 WITH SCORE 36248.679
AT ITER 637 NEW BEST:: SOT 611792 SOS 474679 HAS SOPS 473804 HAS SOUS 35651 HAS SOUPS 35342 WITH SCORE 35816.679
AT ITER 645 NEW BEST:: SOT 611804 SOS 474712 HAS SOPS 473837 HAS SOUS 35473 HAS SOUPS 35164 WITH SCORE 35638.712
AT ITER 647 NEW BEST:: SOT 611805 SOS 474188 HAS SOPS 473313 HAS SOUS 35472 HAS SOUPS 35163 WITH SCORE 35637.188
AT ITER 650 NEW BEST:: SOT 611802 SOS 474175 HAS SOPS 473307 HAS SOUS 35459 HAS SOUPS 35157 WITH SCORE 35631.175
AT ITER 657 NEW BEST:: SOT 611753 SOS 474312 HAS SOPS 473444 HAS SOUS 35414 HAS SOUPS 35112 WITH SCORE 35586.312
AT ITER 659 NEW BEST:: SOT 611737 SOS 474343 HAS SOPS 473449 HAS SOUS 35433 HAS SOUPS 35105 WITH SCORE 35579.343
AT ITER 672 NEW BEST:: SOT 611729 SOS 474323 HAS SOPS 473429 HAS SOUS 35421 HAS SOUPS 35093 WITH SCORE 35567.323
AT ITER 693 NEW BEST:: SOT 611720 SOS 474305 HAS SOPS 473411 HAS SOUS 35412 HAS SOUPS 35084 WITH SCORE 35558.305
AT ITER 710 NEW BEST:: SOT 611699 SOS 474302 HAS SOPS 473432 HAS SOUS 35391 HAS SOUPS 35084 WITH SCORE 35558.302
AT ITER 730 NEW BEST:: SOT 611702 SOS 474314 HAS SOPS 473444 HAS SOUS 35194 HAS SOUPS 34887 WITH SCORE 35361.314
AT ITER 733 NEW BEST:: SOT 611696 SOS 474311 HAS SOPS 473441 HAS SOUS 35185 HAS SOUPS 34878 WITH SCORE 35352.311
AT ITER 739 NEW BEST:: SOT 611696 SOS 474265 HAS SOPS 473395 HAS SOUS 35157 HAS SOUPS 34850 WITH SCORE 35324.265
AT ITER 744 NEW BEST:: SOT 611676 SOS 474233 HAS SOPS 473363 HAS SOUS 35136 HAS SOUPS 34829 WITH SCORE 35303.233
AT ITER 749 NEW BEST:: SOT 611676 SOS 474221 HAS SOPS 473351 HAS SOUS 35136 HAS SOUPS 34829 WITH SCORE 35303.221
AT ITER 751 NEW BEST:: SOT 610994 SOS 473429 HAS SOPS 472559 HAS SOUS 34948 HAS SOUPS 34641 WITH SCORE 35114.429
AT ITER 755 NEW BEST:: SOT 611945 SOS 474474 HAS SOPS 473833 HAS SOUS 34883 HAS SOUPS 34605 WITH SCORE 35079.474
AT ITER 768 NEW BEST:: SOT 611926 SOS 474450 HAS SOPS 473809 HAS SOUS 34859 HAS SOUPS 34581 WITH SCORE 35055.45
AT ITER 778 NEW BEST:: SOT 616348 SOS 478866 HAS SOPS 478225 HAS SOUS 34189 HAS SOUPS 33911 WITH SCORE 34389.866
AT ITER 780 NEW BEST:: SOT 616330 SOS 478848 HAS SOPS 478207 HAS SOUS 34177 HAS SOUPS 33899 WITH SCORE 34377.848
AT ITER 785 NEW BEST:: SOT 616324 SOS 478848 HAS SOPS 478207 HAS SOUS 33979 HAS SOUPS 33701 WITH SCORE 34179.848
AT ITER 791 NEW BEST:: SOT 616324 SOS 478841 HAS SOPS 478200 HAS SOUS 33951 HAS SOUPS 33673 WITH SCORE 34151.841
AT ITER 801 NEW BEST:: SOT 616283 SOS 478882 HAS SOPS 478241 HAS SOUS 33676 HAS SOUPS 33398 WITH SCORE 33876.882
AT ITER 810 NEW BEST:: SOT 616299 SOS 478872 HAS SOPS 478231 HAS SOUS 33266 HAS SOUPS 32988 WITH SCORE 33466.872
AT ITER 816 NEW BEST:: SOT 616299 SOS 478858 HAS SOPS 478217 HAS SOUS 33261 HAS SOUPS 32983 WITH SCORE 33461.858
AT ITER 822 NEW BEST:: SOT 616285 SOS 478898 HAS SOPS 478257 HAS SOUS 33247 HAS SOUPS 32969 WITH SCORE 33447.898
AT ITER 858 NEW BEST:: SOT 616285 SOS 478899 HAS SOPS 478257 HAS SOUS 33199 HAS SOUPS 32921 WITH SCORE 33399.899
AT ITER 859 NEW BEST:: SOT 616255 SOS 478893 HAS SOPS 478251 HAS SOUS 33195 HAS SOUPS 32917 WITH SCORE 33395.893
AT ITER 884 NEW BEST:: SOT 616255 SOS 478925 HAS SOPS 478283 HAS SOUS 33176 HAS SOUPS 32898 WITH SCORE 33376.925
AT ITER 900 NEW BEST:: SOT 616277 SOS 478893 HAS SOPS 478255 HAS SOUS 32930 HAS SOUPS 32656 WITH SCORE 33134.893
AT ITER 911 NEW BEST:: SOT 616286 SOS 478889 HAS SOPS 478251 HAS SOUS 32873 HAS SOUPS 32599 WITH SCORE 33077.889
AT ITER 914 NEW BEST:: SOT 616276 SOS 478889 HAS SOPS 478251 HAS SOUS 32675 HAS SOUPS 32401 WITH SCORE 32879.889
AT ITER 935 NEW BEST:: SOT 616247 SOS 478898 HAS SOPS 478260 HAS SOUS 32672 HAS SOUPS 32398 WITH SCORE 32876.898
AT ITER 938 NEW BEST:: SOT 616297 SOS 478928 HAS SOPS 478290 HAS SOUS 32550 HAS SOUPS 32276 WITH SCORE 32754.928
AT ITER 941 NEW BEST:: SOT 616287 SOS 478928 HAS SOPS 478290 HAS SOUS 32425 HAS SOUPS 32151 WITH SCORE 32629.928
AT ITER 947 NEW BEST:: SOT 616287 SOS 478943 HAS SOPS 478281 HAS SOUS 32437 HAS SOUPS 32142 WITH SCORE 32620.943
AT ITER 949 NEW BEST:: SOT 616326 SOS 478973 HAS SOPS 478311 HAS SOUS 32404 HAS SOUPS 32109 WITH SCORE 32587.973
AT ITER 974 NEW BEST:: SOT 616250 SOS 478852 HAS SOPS 478190 HAS SOUS 32305 HAS SOUPS 32010 WITH SCORE 32488.852
AT ITER 975 NEW BEST:: SOT 616234 SOS 478820 HAS SOPS 478158 HAS SOUS 32279 HAS SOUPS 31984 WITH SCORE 32462.82
AT ITER 978 NEW BEST:: SOT 616216 SOS 478751 HAS SOPS 478089 HAS SOUS 32262 HAS SOUPS 31967 WITH SCORE 32445.751
AT ITER 980 NEW BEST:: SOT 616216 SOS 478755 HAS SOPS 478093 HAS SOUS 32258 HAS SOUPS 31963 WITH SCORE 32441.755
AT ITER 981 NEW BEST:: SOT 616215 SOS 478740 HAS SOPS 478076 HAS SOUS 32258 HAS SOUPS 31961 WITH SCORE 32439.74
AT ITER 984 NEW BEST:: SOT 616208 SOS 489176 HAS SOPS 488512 HAS SOUS 32225 HAS SOUPS 31928 WITH SCORE 32417.176
AT ITER 1017 NEW BEST:: SOT 616116 SOS 489118 HAS SOPS 488454 HAS SOUS 32175 HAS SOUPS 31878 WITH SCORE 32367.118
AT ITER 1020 NEW BEST:: SOT 616115 SOS 489120 HAS SOPS 488456 HAS SOUS 32013 HAS SOUPS 31716 WITH SCORE 32205.12
AT ITER 1024 NEW BEST:: SOT 616179 SOS 489162 HAS SOPS 488498 HAS SOUS 31966 HAS SOUPS 31669 WITH SCORE 32158.162
AT ITER 1028 NEW BEST:: SOT 618534 SOS 491508 HAS SOPS 490844 HAS SOUS 31778 HAS SOUPS 31481 WITH SCORE 31972.508
AT ITER 1029 NEW BEST:: SOT 618536 SOS 491486 HAS SOPS 490822 HAS SOUS 31685 HAS SOUPS 31388 WITH SCORE 31879.486
AT ITER 1030 NEW BEST:: SOT 618524 SOS 491489 HAS SOPS 490825 HAS SOUS 31662 HAS SOUPS 31365 WITH SCORE 31856.489
AT ITER 1033 NEW BEST:: SOT 618520 SOS 491465 HAS SOPS 490797 HAS SOUS 31650 HAS SOUPS 31353 WITH SCORE 31844.465
AT ITER 1060 NEW BEST:: SOT 618520 SOS 491465 HAS SOPS 490797 HAS SOUS 31138 HAS SOUPS 30841 WITH SCORE 31332.465
AT ITER 1064 NEW BEST:: SOT 618520 SOS 491460 HAS SOPS 490792 HAS SOUS 31133 HAS SOUPS 30836 WITH SCORE 31327.46
AT ITER 1067 NEW BEST:: SOT 618432 SOS 491372 HAS SOPS 490704 HAS SOUS 31093 HAS SOUPS 30796 WITH SCORE 31287.372
AT ITER 1079 NEW BEST:: SOT 614966 SOS 487913 HAS SOPS 487248 HAS SOUS 30953 HAS SOUPS 30657 WITH SCORE 31144.913
AT ITER 1098 NEW BEST:: SOT 614774 SOS 487639 HAS SOPS 486974 HAS SOUS 30742 HAS SOUPS 30446 WITH SCORE 30933.639
AT ITER 1111 NEW BEST:: SOT 614758 SOS 487852 HAS SOPS 487187 HAS SOUS 30710 HAS SOUPS 30414 WITH SCORE 30901.852
AT ITER 1112 NEW BEST:: SOT 614757 SOS 487869 HAS SOPS 487193 HAS SOUS 30708 HAS SOUPS 30412 WITH SCORE 30899.869
AT ITER 1113 NEW BEST:: SOT 614753 SOS 487790 HAS SOPS 487110 HAS SOUS 30674 HAS SOUPS 30389 WITH SCORE 30876.79
AT ITER 1119 NEW BEST:: SOT 614722 SOS 487733 HAS SOPS 487053 HAS SOUS 30657 HAS SOUPS 30372 WITH SCORE 30859.733
AT ITER 1128 NEW BEST:: SOT 614722 SOS 487698 HAS SOPS 487011 HAS SOUS 30657 HAS SOUPS 30372 WITH SCORE 30859.698
AT ITER 1129 NEW BEST:: SOT 615040 SOS 488015 HAS SOPS 487328 HAS SOUS 30654 HAS SOUPS 30369 WITH SCORE 30857.015
AT ITER 1135 NEW BEST:: SOT 615038 SOS 489510 HAS SOPS 488823 HAS SOUS 30580 HAS SOUPS 30295 WITH SCORE 30784.51
AT ITER 1153 NEW BEST:: SOT 614990 SOS 489482 HAS SOPS 488795 HAS SOUS 30568 HAS SOUPS 30283 WITH SCORE 30772.482
AT ITER 1166 NEW BEST:: SOT 614957 SOS 489430 HAS SOPS 488743 HAS SOUS 30484 HAS SOUPS 30199 WITH SCORE 30688.43
AT ITER 1172 NEW BEST:: SOT 617191 SOS 491664 HAS SOPS 490977 HAS SOUS 29442 HAS SOUPS 29157 WITH SCORE 29648.664
AT ITER 1185 NEW BEST:: SOT 617210 SOS 491682 HAS SOPS 490995 HAS SOUS 29340 HAS SOUPS 29055 WITH SCORE 29546.682
AT ITER 1187 NEW BEST:: SOT 617248 SOS 491720 HAS SOPS 491033 HAS SOUS 29092 HAS SOUPS 28807 WITH SCORE 29298.72
AT ITER 1188 NEW BEST:: SOT 617230 SOS 491711 HAS SOPS 491024 HAS SOUS 29083 HAS SOUPS 28798 WITH SCORE 29289.711
AT ITER 1203 NEW BEST:: SOT 617222 SOS 491703 HAS SOPS 491012 HAS SOUS 29075 HAS SOUPS 28786 WITH SCORE 29277.703
AT ITER 1206 NEW BEST:: SOT 617221 SOS 491685 HAS SOPS 490994 HAS SOUS 29063 HAS SOUPS 28774 WITH SCORE 29265.685
AT ITER 1214 NEW BEST:: SOT 617236 SOS 491676 HAS SOPS 490985 HAS SOUS 29051 HAS SOUPS 28762 WITH SCORE 29253.676
AT ITER 1226 NEW BEST:: SOT 617284 SOS 491761 HAS SOPS 491070 HAS SOUS 28791 HAS SOUPS 28502 WITH SCORE 28993.761
AT ITER 1239 NEW BEST:: SOT 617284 SOS 491755 HAS SOPS 491064 HAS SOUS 28791 HAS SOUPS 28502 WITH SCORE 28993.755
AT ITER 1241 NEW BEST:: SOT 617101 SOS 491813 HAS SOPS 491122 HAS SOUS 28788 HAS SOUPS 28499 WITH SCORE 28990.813
AT ITER 1245 NEW BEST:: SOT 617023 SOS 491735 HAS SOPS 491044 HAS SOUS 28746 HAS SOUPS 28457 WITH SCORE 28948.735
AT ITER 1256 NEW BEST:: SOT 617015 SOS 491681 HAS SOPS 490990 HAS SOUS 28724 HAS SOUPS 28435 WITH SCORE 28926.681
AT ITER 1264 NEW BEST:: SOT 619443 SOS 494144 HAS SOPS 493481 HAS SOUS 27741 HAS SOUPS 27480 WITH SCORE 27974.144
AT ITER 1265 NEW BEST:: SOT 619463 SOS 494072 HAS SOPS 493424 HAS SOUS 27714 HAS SOUPS 27468 WITH SCORE 27962.072
AT ITER 1267 NEW BEST:: SOT 619346 SOS 493928 HAS SOPS 493280 HAS SOUS 26959 HAS SOUPS 26713 WITH SCORE 27206.928
AT ITER 1278 NEW BEST:: SOT 619347 SOS 489750 HAS SOPS 489102 HAS SOUS 26962 HAS SOUPS 26716 WITH SCORE 27205.75
AT ITER 1291 NEW BEST:: SOT 619341 SOS 489741 HAS SOPS 489093 HAS SOUS 26743 HAS SOUPS 26497 WITH SCORE 26986.741
AT ITER 1303 NEW BEST:: SOT 619318 SOS 489707 HAS SOPS 489059 HAS SOUS 26709 HAS SOUPS 26463 WITH SCORE 26952.707
AT ITER 1312 NEW BEST:: SOT 618694 SOS 490869 HAS SOPS 490366 HAS SOUS 26647 HAS SOUPS 26430 WITH SCORE 26920.869
AT ITER 1314 NEW BEST:: SOT 618708 SOS 490877 HAS SOPS 490374 HAS SOUS 26643 HAS SOUPS 26426 WITH SCORE 26916.877
AT ITER 1316 NEW BEST:: SOT 618693 SOS 490875 HAS SOPS 490372 HAS SOUS 26627 HAS SOUPS 26410 WITH SCORE 26900.875
AT ITER 1346 NEW BEST:: SOT 618663 SOS 490845 HAS SOPS 490342 HAS SOUS 26577 HAS SOUPS 26360 WITH SCORE 26850.845
AT ITER 1361 NEW BEST:: SOT 618661 SOS 490841 HAS SOPS 490338 HAS SOUS 26573 HAS SOUPS 26356 WITH SCORE 26846.841
AT ITER 1364 NEW BEST:: SOT 618654 SOS 490820 HAS SOPS 490317 HAS SOUS 26522 HAS SOUPS 26305 WITH SCORE 26795.82
AT ITER 1373 NEW BEST:: SOT 618571 SOS 490803 HAS SOPS 490300 HAS SOUS 26501 HAS SOUPS 26284 WITH SCORE 26774.803
AT ITER 1374 NEW BEST:: SOT 618561 SOS 490820 HAS SOPS 490303 HAS SOUS 26497 HAS SOUPS 26266 WITH SCORE 26756.82
AT ITER 1376 NEW BEST:: SOT 618522 SOS 490822 HAS SOPS 490301 HAS SOUS 26476 HAS SOUPS 26245 WITH SCORE 26735.822
AT ITER 1379 NEW BEST:: SOT 618522 SOS 490822 HAS SOPS 490301 HAS SOUS 26400 HAS SOUPS 26169 WITH SCORE 26659.822
AT ITER 1383 NEW BEST:: SOT 618551 SOS 490777 HAS SOPS 490256 HAS SOUS 26333 HAS SOUPS 26102 WITH SCORE 26592.777
AT ITER 1409 NEW BEST:: SOT 618541 SOS 490779 HAS SOPS 490246 HAS SOUS 26335 HAS SOUPS 26092 WITH SCORE 26582.779
AT ITER 1418 NEW BEST:: SOT 618546 SOS 490766 HAS SOPS 490254 HAS SOUS 26305 HAS SOUPS 26083 WITH SCORE 26573.766
AT ITER 1442 NEW BEST:: SOT 618742 SOS 490972 HAS SOPS 490460 HAS SOUS 26279 HAS SOUPS 26057 WITH SCORE 26547.972
AT ITER 1445 NEW BEST:: SOT 618742 SOS 490969 HAS SOPS 490457 HAS SOUS 26276 HAS SOUPS 26054 WITH SCORE 26544.969
AT ITER 1459 NEW BEST:: SOT 618742 SOS 490954 HAS SOPS 490442 HAS SOUS 25877 HAS SOUPS 25655 WITH SCORE 26145.954
AT ITER 1461 NEW BEST:: SOT 618360 SOS 490491 HAS SOPS 489979 HAS SOUS 25628 HAS SOUPS 25406 WITH SCORE 25896.491
AT ITER 1469 NEW BEST:: SOT 618348 SOS 490479 HAS SOPS 489967 HAS SOUS 25626 HAS SOUPS 25404 WITH SCORE 25894.479
AT ITER 1489 NEW BEST:: SOT 618345 SOS 490477 HAS SOPS 489964 HAS SOUS 25625 HAS SOUPS 25403 WITH SCORE 25893.477
AT ITER 1505 NEW BEST:: SOT 618362 SOS 490495 HAS SOPS 489982 HAS SOUS 25623 HAS SOUPS 25401 WITH SCORE 25891.495
AT ITER 1507 NEW BEST:: SOT 618364 SOS 490486 HAS SOPS 489965 HAS SOUS 25630 HAS SOUPS 25400 WITH SCORE 25890.486
AT ITER 1514 NEW BEST:: SOT 618362 SOS 490473 HAS SOPS 489952 HAS SOUS 25628 HAS SOUPS 25398 WITH SCORE 25888.473
AT ITER 1518 NEW BEST:: SOT 618360 SOS 490473 HAS SOPS 489952 HAS SOUS 25620 HAS SOUPS 25390 WITH SCORE 25880.473
AT ITER 1524 NEW BEST:: SOT 618359 SOS 490423 HAS SOPS 489902 HAS SOUS 25614 HAS SOUPS 25384 WITH SCORE 25874.423
AT ITER 1528 NEW BEST:: SOT 615383 SOS 487447 HAS SOPS 486926 HAS SOUS 24926 HAS SOUPS 24696 WITH SCORE 25183.447
AT ITER 1531 NEW BEST:: SOT 615376 SOS 487468 HAS SOPS 486947 HAS SOUS 24912 HAS SOUPS 24682 WITH SCORE 25169.468
AT ITER 1539 NEW BEST:: SOT 612779 SOS 484876 HAS SOPS 484361 HAS SOUS 24222 HAS SOUPS 23997 WITH SCORE 24481.876
AT ITER 1544 NEW BEST:: SOT 612766 SOS 484871 HAS SOPS 484356 HAS SOUS 24217 HAS SOUPS 23992 WITH SCORE 24476.871
AT ITER 1569 NEW BEST:: SOT 612762 SOS 484867 HAS SOPS 484352 HAS SOUS 24213 HAS SOUPS 23988 WITH SCORE 24472.867
AT ITER 1579 NEW BEST:: SOT 612750 SOS 484841 HAS SOPS 484326 HAS SOUS 24204 HAS SOUPS 23979 WITH SCORE 24463.841
AT ITER 1595 NEW BEST:: SOT 612990 SOS 485081 HAS SOPS 484566 HAS SOUS 24116 HAS SOUPS 23891 WITH SCORE 24376.081
AT ITER 1624 NEW BEST:: SOT 613070 SOS 485161 HAS SOPS 484646 HAS SOUS 23884 HAS SOUPS 23659 WITH SCORE 24144.161
AT ITER 1656 NEW BEST:: SOT 613132 SOS 485230 HAS SOPS 484715 HAS SOUS 23562 HAS SOUPS 23337 WITH SCORE 23822.23
AT ITER 1675 NEW BEST:: SOT 613142 SOS 485240 HAS SOPS 484725 HAS SOUS 23367 HAS SOUPS 23142 WITH SCORE 23627.24
AT ITER 1677 NEW BEST:: SOT 613142 SOS 485252 HAS SOPS 484737 HAS SOUS 23365 HAS SOUPS 23140 WITH SCORE 23625.252
AT ITER 1683 NEW BEST:: SOT 613130 SOS 485232 HAS SOPS 484717 HAS SOUS 23353 HAS SOUPS 23128 WITH SCORE 23613.232
AT ITER 1686 NEW BEST:: SOT 613107 SOS 485090 HAS SOPS 484629 HAS SOUS 23278 HAS SOUPS 23108 WITH SCORE 23593.09
AT ITER 1698 NEW BEST:: SOT 612393 SOS 484376 HAS SOPS 483915 HAS SOUS 23084 HAS SOUPS 22914 WITH SCORE 23398.376
AT ITER 1703 NEW BEST:: SOT 612357 SOS 484358 HAS SOPS 483933 HAS SOUS 23066 HAS SOUPS 22914 WITH SCORE 23398.358
AT ITER 1705 NEW BEST:: SOT 611721 SOS 483722 HAS SOPS 483297 HAS SOUS 22910 HAS SOUPS 22758 WITH SCORE 23241.722
AT ITER 1714 NEW BEST:: SOT 611680 SOS 483692 HAS SOPS 483267 HAS SOUS 22814 HAS SOUPS 22662 WITH SCORE 23145.692
AT ITER 1729 NEW BEST:: SOT 611629 SOS 483568 HAS SOPS 483143 HAS SOUS 22761 HAS SOUPS 22609 WITH SCORE 23092.568
AT ITER 1734 NEW BEST:: SOT 611629 SOS 483569 HAS SOPS 483143 HAS SOUS 22705 HAS SOUPS 22553 WITH SCORE 23036.569
AT ITER 1736 NEW BEST:: SOT 611629 SOS 483543 HAS SOPS 483130 HAS SOUS 22585 HAS SOUPS 22446 WITH SCORE 22929.543
AT ITER 1739 NEW BEST:: SOT 611609 SOS 483467 HAS SOPS 483054 HAS SOUS 22562 HAS SOUPS 22423 WITH SCORE 22906.467
AT ITER 1748 NEW BEST:: SOT 611606 SOS 483464 HAS SOPS 483051 HAS SOUS 22559 HAS SOUPS 22420 WITH SCORE 22903.464
AT ITER 1753 NEW BEST:: SOT 611576 SOS 483447 HAS SOPS 483034 HAS SOUS 22031 HAS SOUPS 21892 WITH SCORE 22375.447
AT ITER 1776 NEW BEST:: SOT 611526 SOS 483397 HAS SOPS 482984 HAS SOUS 21911 HAS SOUPS 21772 WITH SCORE 22255.397
AT ITER 1782 NEW BEST:: SOT 611540 SOS 483533 HAS SOPS 483120 HAS SOUS 21898 HAS SOUPS 21759 WITH SCORE 22242.533
AT ITER 1788 NEW BEST:: SOT 611535 SOS 483496 HAS SOPS 483083 HAS SOUS 21898 HAS SOUPS 21759 WITH SCORE 22242.496
AT ITER 1792 NEW BEST:: SOT 611533 SOS 483494 HAS SOPS 483079 HAS SOUS 21898 HAS SOUPS 21757 WITH SCORE 22240.494
AT ITER 1799 NEW BEST:: SOT 611528 SOS 483490 HAS SOPS 483075 HAS SOUS 21893 HAS SOUPS 21752 WITH SCORE 22235.49
AT ITER 1816 NEW BEST:: SOT 611531 SOS 483499 HAS SOPS 483084 HAS SOUS 21887 HAS SOUPS 21746 WITH SCORE 22229.499
AT ITER 1827 NEW BEST:: SOT 611564 SOS 483427 HAS SOPS 483007 HAS SOUS 21810 HAS SOUPS 21669 WITH SCORE 22152.427
AT ITER 1832 NEW BEST:: SOT 611560 SOS 483417 HAS SOPS 482997 HAS SOUS 21806 HAS SOUPS 21665 WITH SCORE 22148.417
AT ITER 1843 NEW BEST:: SOT 611489 SOS 483348 HAS SOPS 482929 HAS SOUS 21750 HAS SOUPS 21609 WITH SCORE 22092.348
AT ITER 1850 NEW BEST:: SOT 611486 SOS 483339 HAS SOPS 482920 HAS SOUS 21748 HAS SOUPS 21607 WITH SCORE 22090.339
AT ITER 1856 NEW BEST:: SOT 611490 SOS 483329 HAS SOPS 482910 HAS SOUS 21733 HAS SOUPS 21592 WITH SCORE 22075.329
AT ITER 1883 NEW BEST:: SOT 611491 SOS 483327 HAS SOPS 482908 HAS SOUS 21731 HAS SOUPS 21590 WITH SCORE 22073.327
AT ITER 1893 NEW BEST:: SOT 611492 SOS 483328 HAS SOPS 482909 HAS SOUS 21721 HAS SOUPS 21580 WITH SCORE 22063.328
AT ITER 1896 NEW BEST:: SOT 611489 SOS 483325 HAS SOPS 482906 HAS SOUS 21718 HAS SOUPS 21577 WITH SCORE 22060.325
AT ITER 1897 NEW BEST:: SOT 611438 SOS 483311 HAS SOPS 482892 HAS SOUS 21619 HAS SOUPS 21478 WITH SCORE 21961.311
AT ITER 1902 NEW BEST:: SOT 611440 SOS 483306 HAS SOPS 482887 HAS SOUS 21617 HAS SOUPS 21476 WITH SCORE 21959.306
AT ITER 1928 NEW BEST:: SOT 611453 SOS 483369 HAS SOPS 482950 HAS SOUS 21615 HAS SOUPS 21474 WITH SCORE 21957.369
AT ITER 1933 NEW BEST:: SOT 611432 SOS 483269 HAS SOPS 482850 HAS SOUS 21580 HAS SOUPS 21439 WITH SCORE 21922.269
AT ITER 1939 NEW BEST:: SOT 611431 SOS 483269 HAS SOPS 482850 HAS SOUS 21577 HAS SOUPS 21436 WITH SCORE 21919.269
AT ITER 1940 NEW BEST:: SOT 611404 SOS 483193 HAS SOPS 482774 HAS SOUS 21527 HAS SOUPS 21386 WITH SCORE 21869.193
AT ITER 1972 NEW BEST:: SOT 611427 SOS 483222 HAS SOPS 482809 HAS SOUS 21473 HAS SOUPS 21332 WITH SCORE 21815.222
AT ITER 1974 NEW BEST:: SOT 611430 SOS 483213 HAS SOPS 482800 HAS SOUS 21354 HAS SOUPS 21213 WITH SCORE 21696.213
AT ITER 1978 NEW BEST:: SOT 611382 SOS 483161 HAS SOPS 482748 HAS SOUS 21262 HAS SOUPS 21121 WITH SCORE 21604.161
AT ITER 2017 NEW BEST:: SOT 611383 SOS 483154 HAS SOPS 482741 HAS SOUS 21255 HAS SOUPS 21114 WITH SCORE 21597.154
AT ITER 2021 NEW BEST:: SOT 612316 SOS 484075 HAS SOPS 483658 HAS SOUS 20743 HAS SOUPS 20592 WITH SCORE 21076.075
AT ITER 2022 NEW BEST:: SOT 612344 SOS 484103 HAS SOPS 483686 HAS SOUS 20607 HAS SOUPS 20456 WITH SCORE 20940.103
AT ITER 2023 NEW BEST:: SOT 612324 SOS 484070 HAS SOPS 483653 HAS SOUS 20551 HAS SOUPS 20400 WITH SCORE 20884.07
AT ITER 2068 NEW BEST:: SOT 612316 SOS 484062 HAS SOPS 483645 HAS SOUS 20527 HAS SOUPS 20376 WITH SCORE 20860.062
AT ITER 2085 NEW BEST:: SOT 612316 SOS 484031 HAS SOPS 483614 HAS SOUS 20527 HAS SOUPS 20376 WITH SCORE 20860.031
AT ITER 2132 NEW BEST:: SOT 612350 SOS 484000 HAS SOPS 483583 HAS SOUS 20417 HAS SOUPS 20266 WITH SCORE 20750.0
AT ITER 2136 NEW BEST:: SOT 612351 SOS 483980 HAS SOPS 483563 HAS SOUS 20379 HAS SOUPS 20228 WITH SCORE 20711.98
AT ITER 2140 NEW BEST:: SOT 612359 SOS 484000 HAS SOPS 483579 HAS SOUS 20363 HAS SOUPS 20208 WITH SCORE 20692.0
AT ITER 2142 NEW BEST:: SOT 612337 SOS 483978 HAS SOPS 483557 HAS SOUS 20341 HAS SOUPS 20186 WITH SCORE 20669.978
AT ITER 2143 NEW BEST:: SOT 612337 SOS 483978 HAS SOPS 483557 HAS SOUS 20339 HAS SOUPS 20184 WITH SCORE 20667.978
AT ITER 2172 NEW BEST:: SOT 612331 SOS 483980 HAS SOPS 483559 HAS SOUS 20334 HAS SOUPS 20179 WITH SCORE 20662.98
AT ITER 2188 NEW BEST:: SOT 612326 SOS 483965 HAS SOPS 483549 HAS SOUS 20324 HAS SOUPS 20174 WITH SCORE 20657.965
AT ITER 2204 NEW BEST:: SOT 612128 SOS 483768 HAS SOPS 483352 HAS SOUS 20227 HAS SOUPS 20077 WITH SCORE 20560.768
AT ITER 2206 NEW BEST:: SOT 612129 SOS 483770 HAS SOPS 483354 HAS SOUS 20221 HAS SOUPS 20071 WITH SCORE 20554.77
AT ITER 2220 NEW BEST:: SOT 612100 SOS 483737 HAS SOPS 483321 HAS SOUS 20200 HAS SOUPS 20050 WITH SCORE 20533.737
AT ITER 2234 NEW BEST:: SOT 612048 SOS 483713 HAS SOPS 483297 HAS SOUS 20190 HAS SOUPS 20040 WITH SCORE 20523.713
AT ITER 2239 NEW BEST:: SOT 610784 SOS 482449 HAS SOPS 482033 HAS SOUS 19731 HAS SOUPS 19581 WITH SCORE 20063.449
AT ITER 2257 NEW BEST:: SOT 610776 SOS 482441 HAS SOPS 482025 HAS SOUS 19723 HAS SOUPS 19573 WITH SCORE 20055.441
AT ITER 2267 NEW BEST:: SOT 610836 SOS 482461 HAS SOPS 482045 HAS SOUS 19499 HAS SOUPS 19349 WITH SCORE 19831.461
AT ITER 2299 NEW BEST:: SOT 610836 SOS 482446 HAS SOPS 482030 HAS SOUS 19499 HAS SOUPS 19349 WITH SCORE 19831.446
AT ITER 2338 NEW BEST:: SOT 610833 SOS 482291 HAS SOPS 481875 HAS SOUS 19499 HAS SOUPS 19349 WITH SCORE 19831.291
AT ITER 2402 NEW BEST:: SOT 610831 SOS 482288 HAS SOPS 481872 HAS SOUS 19497 HAS SOUPS 19347 WITH SCORE 19829.288
AT ITER 2420 NEW BEST:: SOT 610824 SOS 482218 HAS SOPS 481780 HAS SOUS 19406 HAS SOUPS 19255 WITH SCORE 19737.218
AT ITER 2422 NEW BEST:: SOT 610819 SOS 481147 HAS SOPS 480709 HAS SOUS 19373 HAS SOUPS 19222 WITH SCORE 19703.147
AT ITER 2476 NEW BEST:: SOT 610775 SOS 481061 HAS SOPS 480623 HAS SOUS 19364 HAS SOUPS 19213 WITH SCORE 19694.061
AT ITER 2498 NEW BEST:: SOT 610777 SOS 481072 HAS SOPS 480634 HAS SOUS 19317 HAS SOUPS 19166 WITH SCORE 19647.072
AT ITER 2510 NEW BEST:: SOT 610770 SOS 481066 HAS SOPS 480628 HAS SOUS 19291 HAS SOUPS 19140 WITH SCORE 19621.066
AT ITER 2514 NEW BEST:: SOT 610585 SOS 480881 HAS SOPS 480443 HAS SOUS 19202 HAS SOUPS 19051 WITH SCORE 19531.881
AT ITER 2515 NEW BEST:: SOT 610579 SOS 480875 HAS SOPS 480437 HAS SOUS 19202 HAS SOUPS 19051 WITH SCORE 19531.875
AT ITER 2523 NEW BEST:: SOT 610597 SOS 480890 HAS SOPS 480452 HAS SOUS 19191 HAS SOUPS 19040 WITH SCORE 19520.89
AT ITER 2530 NEW BEST:: SOT 610665 SOS 480958 HAS SOPS 480452 HAS SOUS 19207 HAS SOUPS 19022 WITH SCORE 19502.958
AT ITER 2536 NEW BEST:: SOT 610613 SOS 480887 HAS SOPS 480381 HAS SOUS 19139 HAS SOUPS 18954 WITH SCORE 19434.887
AT ITER 2552 NEW BEST:: SOT 610613 SOS 480888 HAS SOPS 480382 HAS SOUS 19133 HAS SOUPS 18948 WITH SCORE 19428.888
AT ITER 2593 NEW BEST:: SOT 610611 SOS 480887 HAS SOPS 480381 HAS SOUS 19133 HAS SOUPS 18948 WITH SCORE 19428.887
AT ITER 2660 NEW BEST:: SOT 610590 SOS 480828 HAS SOPS 480322 HAS SOUS 19105 HAS SOUPS 18920 WITH SCORE 19400.828
AT ITER 2671 NEW BEST:: SOT 610586 SOS 478732 HAS SOPS 478226 HAS SOUS 19101 HAS SOUPS 18916 WITH SCORE 19394.732
AT ITER 2706 NEW BEST:: SOT 610586 SOS 478730 HAS SOPS 478224 HAS SOUS 19095 HAS SOUPS 18910 WITH SCORE 19388.73
AT ITER 2712 NEW BEST:: SOT 610591 SOS 478735 HAS SOPS 478224 HAS SOUS 18970 HAS SOUPS 18785 WITH SCORE 19263.735
AT ITER 2723 NEW BEST:: SOT 610588 SOS 478751 HAS SOPS 478240 HAS SOUS 18948 HAS SOUPS 18763 WITH SCORE 19241.751
AT ITER 2748 NEW BEST:: SOT 610582 SOS 478742 HAS SOPS 478231 HAS SOUS 18945 HAS SOUPS 18760 WITH SCORE 19238.742
AT ITER 2778 NEW BEST:: SOT 610565 SOS 478725 HAS SOPS 478214 HAS SOUS 18919 HAS SOUPS 18734 WITH SCORE 19212.725
AT ITER 2795 NEW BEST:: SOT 610549 SOS 478704 HAS SOPS 478193 HAS SOUS 18902 HAS SOUPS 18717 WITH SCORE 19195.704
AT ITER 2814 NEW BEST:: SOT 610552 SOS 478708 HAS SOPS 478197 HAS SOUS 18900 HAS SOUPS 18715 WITH SCORE 19193.708
AT ITER 2840 NEW BEST:: SOT 610554 SOS 478716 HAS SOPS 478205 HAS SOUS 18893 HAS SOUPS 18708 WITH SCORE 19186.716
AT ITER 2848 NEW BEST:: SOT 610603 SOS 478675 HAS SOPS 478164 HAS SOUS 18887 HAS SOUPS 18702 WITH SCORE 19180.675
AT ITER 2855 NEW BEST:: SOT 610623 SOS 478679 HAS SOPS 478168 HAS SOUS 18831 HAS SOUPS 18646 WITH SCORE 19124.679
AT ITER 2861 NEW BEST:: SOT 610603 SOS 478657 HAS SOPS 478146 HAS SOUS 18785 HAS SOUPS 18600 WITH SCORE 19078.657
AT ITER 2871 NEW BEST:: SOT 610603 SOS 478634 HAS SOPS 478112 HAS SOUS 18771 HAS SOUPS 18584 WITH SCORE 19062.634
AT ITER 2907 NEW BEST:: SOT 610603 SOS 478640 HAS SOPS 478090 HAS SOUS 18778 HAS SOUPS 18577 WITH SCORE 19055.64
AT ITER 2915 NEW BEST:: SOT 610604 SOS 474460 HAS SOPS 473910 HAS SOUS 18778 HAS SOUPS 18577 WITH SCORE 19051.46
AT ITER 2918 NEW BEST:: SOT 610604 SOS 474457 HAS SOPS 473907 HAS SOUS 18777 HAS SOUPS 18576 WITH SCORE 19050.457
AT ITER 2937 NEW BEST:: SOT 610560 SOS 474464 HAS SOPS 473868 HAS SOUS 18713 HAS SOUPS 18466 WITH SCORE 18940.464
AT ITER 3021 NEW BEST:: SOT 610590 SOS 474500 HAS SOPS 473904 HAS SOUS 18709 HAS SOUPS 18462 WITH SCORE 18936.5
AT ITER 3023 NEW BEST:: SOT 610562 SOS 474472 HAS SOPS 473876 HAS SOUS 18674 HAS SOUPS 18427 WITH SCORE 18901.472
AT ITER 3034 NEW BEST:: SOT 611574 SOS 475446 HAS SOPS 474850 HAS SOUS 17996 HAS SOUPS 17749 WITH SCORE 18224.446
AT ITER 3100 NEW BEST:: SOT 611488 SOS 475360 HAS SOPS 474764 HAS SOUS 17931 HAS SOUPS 17684 WITH SCORE 18159.36
AT ITER 3131 NEW BEST:: SOT 611485 SOS 475355 HAS SOPS 474759 HAS SOUS 17926 HAS SOUPS 17679 WITH SCORE 18154.355
AT ITER 3157 NEW BEST:: SOT 611485 SOS 475381 HAS SOPS 474785 HAS SOUS 17917 HAS SOUPS 17670 WITH SCORE 18145.381
AT ITER 3161 NEW BEST:: SOT 611486 SOS 475382 HAS SOPS 474786 HAS SOUS 17912 HAS SOUPS 17665 WITH SCORE 18140.382
AT ITER 3169 NEW BEST:: SOT 611493 SOS 475393 HAS SOPS 474797 HAS SOUS 17898 HAS SOUPS 17651 WITH SCORE 18126.393
AT ITER 3190 NEW BEST:: SOT 611493 SOS 475385 HAS SOPS 474789 HAS SOUS 17894 HAS SOUPS 17647 WITH SCORE 18122.385
AT ITER 3209 NEW BEST:: SOT 611501 SOS 475369 HAS SOPS 474773 HAS SOUS 17886 HAS SOUPS 17639 WITH SCORE 18114.369
AT ITER 3250 NEW BEST:: SOT 611492 SOS 475419 HAS SOPS 474823 HAS SOUS 17866 HAS SOUPS 17619 WITH SCORE 18094.419
AT ITER 3291 NEW BEST:: SOT 611489 SOS 475401 HAS SOPS 474805 HAS SOUS 17818 HAS SOUPS 17571 WITH SCORE 18046.401
AT ITER 3294 NEW BEST:: SOT 611486 SOS 475363 HAS SOPS 474767 HAS SOUS 17810 HAS SOUPS 17563 WITH SCORE 18038.363
AT ITER 3309 NEW BEST:: SOT 611288 SOS 475167 HAS SOPS 474571 HAS SOUS 17794 HAS SOUPS 17547 WITH SCORE 18022.167
AT ITER 3322 NEW BEST:: SOT 611272 SOS 475087 HAS SOPS 474491 HAS SOUS 17760 HAS SOUPS 17513 WITH SCORE 17988.087
AT ITER 3329 NEW BEST:: SOT 611288 SOS 475034 HAS SOPS 474438 HAS SOUS 17707 HAS SOUPS 17460 WITH SCORE 17935.034
AT ITER 3384 NEW BEST:: SOT 611288 SOS 475028 HAS SOPS 474432 HAS SOUS 17707 HAS SOUPS 17460 WITH SCORE 17935.028
AT ITER 3414 NEW BEST:: SOT 611275 SOS 475023 HAS SOPS 474427 HAS SOUS 17698 HAS SOUPS 17451 WITH SCORE 17926.023
AT ITER 3425 NEW BEST:: SOT 611253 SOS 475001 HAS SOPS 474405 HAS SOUS 17690 HAS SOUPS 17443 WITH SCORE 17918.001
AT ITER 3433 NEW BEST:: SOT 611241 SOS 474977 HAS SOPS 474393 HAS SOUS 17678 HAS SOUPS 17437 WITH SCORE 17911.977
AT ITER 3438 NEW BEST:: SOT 611240 SOS 474969 HAS SOPS 474385 HAS SOUS 17675 HAS SOUPS 17434 WITH SCORE 17908.969
AT ITER 3502 NEW BEST:: SOT 611240 SOS 474969 HAS SOPS 474385 HAS SOUS 17674 HAS SOUPS 17433 WITH SCORE 17907.969
AT ITER 3523 NEW BEST:: SOT 611227 SOS 474956 HAS SOPS 474372 HAS SOUS 17661 HAS SOUPS 17420 WITH SCORE 17894.956
AT ITER 3552 NEW BEST:: SOT 611213 SOS 474961 HAS SOPS 474377 HAS SOUS 17657 HAS SOUPS 17416 WITH SCORE 17890.961
AT ITER 3631 NEW BEST:: SOT 611212 SOS 474957 HAS SOPS 474373 HAS SOUS 17657 HAS SOUPS 17416 WITH SCORE 17890.957
AT ITER 3672 NEW BEST:: SOT 611193 SOS 474938 HAS SOPS 474354 HAS SOUS 17638 HAS SOUPS 17397 WITH SCORE 17871.938
AT ITER 3684 NEW BEST:: SOT 611187 SOS 474920 HAS SOPS 474336 HAS SOUS 17623 HAS SOUPS 17382 WITH SCORE 17856.92
AT ITER 3742 NEW BEST:: SOT 611157 SOS 474890 HAS SOPS 474306 HAS SOUS 17499 HAS SOUPS 17258 WITH SCORE 17732.89
AT ITER 3764 NEW BEST:: SOT 611161 SOS 474917 HAS SOPS 474333 HAS SOUS 17497 HAS SOUPS 17256 WITH SCORE 17730.917
AT ITER 3777 NEW BEST:: SOT 611101 SOS 474845 HAS SOPS 474261 HAS SOUS 17485 HAS SOUPS 17244 WITH SCORE 17718.845
AT ITER 3787 NEW BEST:: SOT 611092 SOS 474809 HAS SOPS 474234 HAS SOUS 17485 HAS SOUPS 17244 WITH SCORE 17718.809
AT ITER 3813 NEW BEST:: SOT 611092 SOS 474863 HAS SOPS 474288 HAS SOUS 17481 HAS SOUPS 17240 WITH SCORE 17714.863
AT ITER 3854 NEW BEST:: SOT 611085 SOS 474898 HAS SOPS 474323 HAS SOUS 17466 HAS SOUPS 17225 WITH SCORE 17699.898
AT ITER 3925 NEW BEST:: SOT 611085 SOS 474906 HAS SOPS 474327 HAS SOUS 17468 HAS SOUPS 17223 WITH SCORE 17697.906
AT ITER 3929 NEW BEST:: SOT 611091 SOS 474912 HAS SOPS 474333 HAS SOUS 17464 HAS SOUPS 17219 WITH SCORE 17693.912
AT ITER 3946 NEW BEST:: SOT 611273 SOS 475142 HAS SOPS 474508 HAS SOUS 17452 HAS SOUPS 17205 WITH SCORE 17680.142
AT ITER 3989 NEW BEST:: SOT 611258 SOS 475124 HAS SOPS 474490 HAS SOUS 17402 HAS SOUPS 17155 WITH SCORE 17630.124
AT ITER 3999 NEW BEST:: SOT 611263 SOS 475122 HAS SOPS 474488 HAS SOUS 17400 HAS SOUPS 17153 WITH SCORE 17628.122
AT ITER 4079 NEW BEST:: SOT 611263 SOS 475124 HAS SOPS 474490 HAS SOUS 17398 HAS SOUPS 17151 WITH SCORE 17626.124
AT ITER 4094 NEW BEST:: SOT 611262 SOS 475121 HAS SOPS 474487 HAS SOUS 17396 HAS SOUPS 17149 WITH SCORE 17624.121
AT ITER 4097 NEW BEST:: SOT 611259 SOS 475115 HAS SOPS 474481 HAS SOUS 17390 HAS SOUPS 17143 WITH SCORE 17618.115
AT ITER 4141 NEW BEST:: SOT 611264 SOS 475134 HAS SOPS 474500 HAS SOUS 17372 HAS SOUPS 17125 WITH SCORE 17600.134
AT ITER 4161 NEW BEST:: SOT 611233 SOS 475103 HAS SOPS 474470 HAS SOUS 17356 HAS SOUPS 17110 WITH SCORE 17585.103
AT ITER 4171 NEW BEST:: SOT 611231 SOS 475095 HAS SOPS 474462 HAS SOUS 17351 HAS SOUPS 17105 WITH SCORE 17580.095
AT ITER 4186 NEW BEST:: SOT 611234 SOS 475087 HAS SOPS 474454 HAS SOUS 17335 HAS SOUPS 17089 WITH SCORE 17564.087
AT ITER 4207 NEW BEST:: SOT 611231 SOS 475061 HAS SOPS 474428 HAS SOUS 17329 HAS SOUPS 17083 WITH SCORE 17558.061
AT ITER 4208 NEW BEST:: SOT 611237 SOS 475059 HAS SOPS 474426 HAS SOUS 17319 HAS SOUPS 17073 WITH SCORE 17548.059
AT ITER 4239 NEW BEST:: SOT 611229 SOS 475022 HAS SOPS 474389 HAS SOUS 17316 HAS SOUPS 17070 WITH SCORE 17545.022
AT ITER 4258 NEW BEST:: SOT 611225 SOS 475014 HAS SOPS 474381 HAS SOUS 17308 HAS SOUPS 17062 WITH SCORE 17537.014
AT ITER 4348 NEW BEST:: SOT 611181 SOS 474971 HAS SOPS 474316 HAS SOUS 17243 HAS SOUPS 16997 WITH SCORE 17471.971
AT ITER 4380 NEW BEST:: SOT 611162 SOS 475012 HAS SOPS 474361 HAS SOUS 17236 HAS SOUPS 16990 WITH SCORE 17465.012
AT ITER 4397 NEW BEST:: SOT 611162 SOS 475009 HAS SOPS 474358 HAS SOUS 17227 HAS SOUPS 16981 WITH SCORE 17456.009
AT ITER 4430 NEW BEST:: SOT 611161 SOS 475007 HAS SOPS 474356 HAS SOUS 17224 HAS SOUPS 16978 WITH SCORE 17453.007
AT ITER 4463 NEW BEST:: SOT 611161 SOS 474999 HAS SOPS 474348 HAS SOUS 17212 HAS SOUPS 16966 WITH SCORE 17440.999
AT ITER 4468 NEW BEST:: SOT 611171 SOS 475011 HAS SOPS 474360 HAS SOUS 17198 HAS SOUPS 16952 WITH SCORE 17427.011
AT ITER 4473 NEW BEST:: SOT 611171 SOS 475009 HAS SOPS 474358 HAS SOUS 17197 HAS SOUPS 16951 WITH SCORE 17426.009
AT ITER 4479 NEW BEST:: SOT 611169 SOS 475007 HAS SOPS 474356 HAS SOUS 17197 HAS SOUPS 16951 WITH SCORE 17426.007
AT ITER 4540 NEW BEST:: SOT 611175 SOS 475013 HAS SOPS 474362 HAS SOUS 17170 HAS SOUPS 16924 WITH SCORE 17399.013
AT ITER 4552 NEW BEST:: SOT 611144 SOS 474982 HAS SOPS 474320 HAS SOUS 17151 HAS SOUPS 16894 WITH SCORE 17368.982
AT ITER 4765 NEW BEST:: SOT 611124 SOS 474966 HAS SOPS 474304 HAS SOUS 17135 HAS SOUPS 16878 WITH SCORE 17352.966
AT ITER 4779 NEW BEST:: SOT 611120 SOS 474966 HAS SOPS 474304 HAS SOUS 17133 HAS SOUPS 16876 WITH SCORE 17350.966
AT ITER 4797 NEW BEST:: SOT 611115 SOS 474965 HAS SOPS 474303 HAS SOUS 17131 HAS SOUPS 16874 WITH SCORE 17348.965
AT ITER 4890 NEW BEST:: SOT 611126 SOS 474952 HAS SOPS 474290 HAS SOUS 17129 HAS SOUPS 16872 WITH SCORE 17346.952
AT ITER 4931 NEW BEST:: SOT 611114 SOS 474943 HAS SOPS 474281 HAS SOUS 17126 HAS SOUPS 16869 WITH SCORE 17343.943
AT ITER 4990 NEW BEST:: SOT 611115 SOS 474944 HAS SOPS 474282 HAS SOUS 17124 HAS SOUPS 16867 WITH SCORE 17341.944
AT ITER 4993 NEW BEST:: SOT 611118 SOS 474942 HAS SOPS 474280 HAS SOUS 17122 HAS SOUPS 16865 WITH SCORE 17339.942
AT ITER 4996 NEW BEST:: SOT 611130 SOS 474943 HAS SOPS 474281 HAS SOUS 17102 HAS SOUPS 16845 WITH SCORE 17319.943
AT ITER 5017 NEW BEST:: SOT 611115 SOS 474913 HAS SOPS 474251 HAS SOUS 16609 HAS SOUPS 16352 WITH SCORE 16826.913
AT ITER 5064 NEW BEST:: SOT 611111 SOS 474907 HAS SOPS 474245 HAS SOUS 16604 HAS SOUPS 16347 WITH SCORE 16821.907
AT ITER 5183 NEW BEST:: SOT 611110 SOS 474907 HAS SOPS 474245 HAS SOUS 16603 HAS SOUPS 16346 WITH SCORE 16820.907
AT ITER 5230 NEW BEST:: SOT 611096 SOS 474895 HAS SOPS 474233 HAS SOUS 16595 HAS SOUPS 16338 WITH SCORE 16812.895
AT ITER 5235 NEW BEST:: SOT 611094 SOS 474891 HAS SOPS 474229 HAS SOUS 16591 HAS SOUPS 16334 WITH SCORE 16808.891
AT ITER 5283 NEW BEST:: SOT 611084 SOS 474881 HAS SOPS 474219 HAS SOUS 16567 HAS SOUPS 16310 WITH SCORE 16784.881
AT ITER 5373 NEW BEST:: SOT 611085 SOS 474882 HAS SOPS 474220 HAS SOUS 16566 HAS SOUPS 16309 WITH SCORE 16783.882
AT ITER 5438 NEW BEST:: SOT 611082 SOS 474879 HAS SOPS 474217 HAS SOUS 16564 HAS SOUPS 16307 WITH SCORE 16781.879
AT ITER 5440 NEW BEST:: SOT 611076 SOS 474885 HAS SOPS 474223 HAS SOUS 16560 HAS SOUPS 16303 WITH SCORE 16777.885
AT ITER 5532 NEW BEST:: SOT 611087 SOS 474907 HAS SOPS 474245 HAS SOUS 16505 HAS SOUPS 16248 WITH SCORE 16722.907
AT ITER 5555 NEW BEST:: SOT 611089 SOS 474939 HAS SOPS 474277 HAS SOUS 16504 HAS SOUPS 16247 WITH SCORE 16721.939
AT ITER 5571 NEW BEST:: SOT 611086 SOS 474927 HAS SOPS 474265 HAS SOUS 16501 HAS SOUPS 16244 WITH SCORE 16718.927
AT ITER 5625 NEW BEST:: SOT 611086 SOS 474927 HAS SOPS 474265 HAS SOUS 16114 HAS SOUPS 15857 WITH SCORE 16331.927
AT ITER 5662 NEW BEST:: SOT 611085 SOS 474925 HAS SOPS 474265 HAS SOUS 16110 HAS SOUPS 15855 WITH SCORE 16329.925
AT ITER 5676 NEW BEST:: SOT 611065 SOS 474905 HAS SOPS 474245 HAS SOUS 16090 HAS SOUPS 15835 WITH SCORE 16309.905
AT ITER 5713 NEW BEST:: SOT 611065 SOS 474895 HAS SOPS 474235 HAS SOUS 16090 HAS SOUPS 15835 WITH SCORE 16309.895
AT ITER 5782 NEW BEST:: SOT 610361 SOS 474191 HAS SOPS 473531 HAS SOUS 15706 HAS SOUPS 15451 WITH SCORE 15925.191
AT ITER 5839 NEW BEST:: SOT 610361 SOS 474193 HAS SOPS 473533 HAS SOUS 15704 HAS SOUPS 15449 WITH SCORE 15923.193
AT ITER 5854 NEW BEST:: SOT 610372 SOS 474178 HAS SOPS 473518 HAS SOUS 15700 HAS SOUPS 15445 WITH SCORE 15919.178
AT ITER 5938 NEW BEST:: SOT 610420 SOS 474226 HAS SOPS 473566 HAS SOUS 15316 HAS SOUPS 15061 WITH SCORE 15535.226
AT ITER 5966 NEW BEST:: SOT 610321 SOS 474088 HAS SOPS 473428 HAS SOUS 15276 HAS SOUPS 15021 WITH SCORE 15495.088
AT ITER 5980 NEW BEST:: SOT 610132 SOS 473902 HAS SOPS 473242 HAS SOUS 15202 HAS SOUPS 14947 WITH SCORE 15420.902
AT ITER 6032 NEW BEST:: SOT 610132 SOS 473906 HAS SOPS 473246 HAS SOUS 15201 HAS SOUPS 14946 WITH SCORE 15419.906
AT ITER 6127 NEW BEST:: SOT 609780 SOS 473554 HAS SOPS 472894 HAS SOUS 15186 HAS SOUPS 14931 WITH SCORE 15404.554
AT ITER 6215 NEW BEST:: SOT 609770 SOS 473534 HAS SOPS 472874 HAS SOUS 15184 HAS SOUPS 14929 WITH SCORE 15402.534
AT ITER 6314 NEW BEST:: SOT 610887 SOS 474656 HAS SOPS 473996 HAS SOUS 15106 HAS SOUPS 14851 WITH SCORE 15325.656
AT ITER 6452 NEW BEST:: SOT 610887 SOS 474657 HAS SOPS 473997 HAS SOUS 15099 HAS SOUPS 14844 WITH SCORE 15318.657
AT ITER 6543 NEW BEST:: SOT 610875 SOS 474607 HAS SOPS 473947 HAS SOUS 15093 HAS SOUPS 14838 WITH SCORE 15312.607
AT ITER 6617 NEW BEST:: SOT 610911 SOS 474637 HAS SOPS 473977 HAS SOUS 15054 HAS SOUPS 14799 WITH SCORE 15273.637
AT ITER 6633 NEW BEST:: SOT 610914 SOS 474634 HAS SOPS 473974 HAS SOUS 15048 HAS SOUPS 14793 WITH SCORE 15267.634
AT ITER 6701 NEW BEST:: SOT 610911 SOS 474626 HAS SOPS 473966 HAS SOUS 15046 HAS SOUPS 14791 WITH SCORE 15265.626
AT ITER 6823 NEW BEST:: SOT 610911 SOS 474634 HAS SOPS 473974 HAS SOUS 15042 HAS SOUPS 14787 WITH SCORE 15261.634
AT ITER 6825 NEW BEST:: SOT 610912 SOS 474630 HAS SOPS 473970 HAS SOUS 15041 HAS SOUPS 14786 WITH SCORE 15260.63
AT ITER 6873 NEW BEST:: SOT 610907 SOS 474621 HAS SOPS 473961 HAS SOUS 15035 HAS SOUPS 14780 WITH SCORE 15254.621
AT ITER 6879 NEW BEST:: SOT 610901 SOS 474611 HAS SOPS 473956 HAS SOUS 15028 HAS SOUPS 14778 WITH SCORE 15252.611
AT ITER 6882 NEW BEST:: SOT 610582 SOS 474293 HAS SOPS 473638 HAS SOUS 14870 HAS SOUPS 14620 WITH SCORE 15094.293
AT ITER 6936 NEW BEST:: SOT 610568 SOS 474296 HAS SOPS 473641 HAS SOUS 14852 HAS SOUPS 14602 WITH SCORE 15076.296
AT ITER 7018 NEW BEST:: SOT 610564 SOS 474288 HAS SOPS 473637 HAS SOUS 14850 HAS SOUPS 14602 WITH SCORE 15076.288
AT ITER 7023 NEW BEST:: SOT 610568 SOS 474296 HAS SOPS 473645 HAS SOUS 14848 HAS SOUPS 14600 WITH SCORE 15074.296
AT ITER 7045 NEW BEST:: SOT 610558 SOS 474284 HAS SOPS 473633 HAS SOUS 14820 HAS SOUPS 14572 WITH SCORE 15046.284
AT ITER 7053 NEW BEST:: SOT 610557 SOS 474302 HAS SOPS 473651 HAS SOUS 14819 HAS SOUPS 14571 WITH SCORE 15045.302
AT ITER 7067 NEW BEST:: SOT 610554 SOS 474296 HAS SOPS 473645 HAS SOUS 14808 HAS SOUPS 14560 WITH SCORE 15034.296
AT ITER 7123 NEW BEST:: SOT 610544 SOS 474276 HAS SOPS 473625 HAS SOUS 14808 HAS SOUPS 14560 WITH SCORE 15034.276
AT ITER 7150 NEW BEST:: SOT 610543 SOS 474275 HAS SOPS 473624 HAS SOUS 14807 HAS SOUPS 14559 WITH SCORE 15033.275
AT ITER 7157 NEW BEST:: SOT 610492 SOS 474177 HAS SOPS 473526 HAS SOUS 14739 HAS SOUPS 14491 WITH SCORE 14965.177
AT ITER 7181 NEW BEST:: SOT 610426 SOS 474109 HAS SOPS 473458 HAS SOUS 14705 HAS SOUPS 14457 WITH SCORE 14931.109
AT ITER 7199 NEW BEST:: SOT 610425 SOS 474109 HAS SOPS 473458 HAS SOUS 14696 HAS SOUPS 14448 WITH SCORE 14922.109
AT ITER 7227 NEW BEST:: SOT 610456 SOS 474140 HAS SOPS 473488 HAS SOUS 14696 HAS SOUPS 14447 WITH SCORE 14921.14
AT ITER 7287 NEW BEST:: SOT 610489 SOS 474180 HAS SOPS 473526 HAS SOUS 14531 HAS SOUPS 14282 WITH SCORE 14756.18
AT ITER 7300 NEW BEST:: SOT 610489 SOS 474179 HAS SOPS 473525 HAS SOUS 14521 HAS SOUPS 14272 WITH SCORE 14746.179
AT ITER 7416 NEW BEST:: SOT 610481 SOS 474171 HAS SOPS 473517 HAS SOUS 14513 HAS SOUPS 14264 WITH SCORE 14738.171
AT ITER 7507 NEW BEST:: SOT 610473 SOS 474163 HAS SOPS 473509 HAS SOUS 14506 HAS SOUPS 14257 WITH SCORE 14731.163
AT ITER 7508 NEW BEST:: SOT 610462 SOS 474140 HAS SOPS 473486 HAS SOUS 14502 HAS SOUPS 14253 WITH SCORE 14727.14
AT ITER 7624 NEW BEST:: SOT 610468 SOS 474142 HAS SOPS 473488 HAS SOUS 14500 HAS SOUPS 14251 WITH SCORE 14725.142
AT ITER 7738 NEW BEST:: SOT 610463 SOS 480399 HAS SOPS 479745 HAS SOUS 14493 HAS SOUPS 14244 WITH SCORE 14724.399
AT ITER 7800 NEW BEST:: SOT 610015 SOS 479951 HAS SOPS 479297 HAS SOUS 14267 HAS SOUPS 14018 WITH SCORE 14497.951000000001
AT ITER 7810 NEW BEST:: SOT 610011 SOS 480130 HAS SOPS 479476 HAS SOUS 14259 HAS SOUPS 14010 WITH SCORE 14490.13
AT ITER 7843 NEW BEST:: SOT 610006 SOS 480120 HAS SOPS 479470 HAS SOUS 14253 HAS SOUPS 14006 WITH SCORE 14486.12
AT ITER 7865 NEW BEST:: SOT 610014 SOS 480128 HAS SOPS 479478 HAS SOUS 14249 HAS SOUPS 14002 WITH SCORE 14482.128
AT ITER 7899 NEW BEST:: SOT 610012 SOS 480065 HAS SOPS 479415 HAS SOUS 14244 HAS SOUPS 13997 WITH SCORE 14477.065
AT ITER 7958 NEW BEST:: SOT 610012 SOS 480066 HAS SOPS 479416 HAS SOUS 14243 HAS SOUPS 13996 WITH SCORE 14476.066
AT ITER 8014 NEW BEST:: SOT 610008 SOS 480068 HAS SOPS 479418 HAS SOUS 14239 HAS SOUPS 13992 WITH SCORE 14472.068
AT ITER 8031 NEW BEST:: SOT 610007 SOS 480063 HAS SOPS 479416 HAS SOUS 14230 HAS SOUPS 13986 WITH SCORE 14466.063
AT ITER 8062 NEW BEST:: SOT 610009 SOS 480070 HAS SOPS 479423 HAS SOUS 14226 HAS SOUPS 13982 WITH SCORE 14462.07
AT ITER 8106 NEW BEST:: SOT 610003 SOS 480070 HAS SOPS 479423 HAS SOUS 14220 HAS SOUPS 13976 WITH SCORE 14456.07
AT ITER 8132 NEW BEST:: SOT 609998 SOS 480064 HAS SOPS 479418 HAS SOUS 14208 HAS SOUPS 13964 WITH SCORE 14444.064
AT ITER 8231 NEW BEST:: SOT 609957 SOS 480017 HAS SOPS 479371 HAS SOUS 14083 HAS SOUPS 13839 WITH SCORE 14319.017
AT ITER 8238 NEW BEST:: SOT 609954 SOS 480011 HAS SOPS 479365 HAS SOUS 14077 HAS SOUPS 13833 WITH SCORE 14313.011
AT ITER 8348 NEW BEST:: SOT 609945 SOS 479990 HAS SOPS 479344 HAS SOUS 14065 HAS SOUPS 13821 WITH SCORE 14300.99
AT ITER 8533 NEW BEST:: SOT 609950 SOS 479998 HAS SOPS 479352 HAS SOUS 14053 HAS SOUPS 13809 WITH SCORE 14288.998
AT ITER 8538 NEW BEST:: SOT 609954 SOS 480002 HAS SOPS 479356 HAS SOUS 14049 HAS SOUPS 13805 WITH SCORE 14285.002
AT ITER 8541 NEW BEST:: SOT 609953 SOS 479987 HAS SOPS 479341 HAS SOUS 14043 HAS SOUPS 13799 WITH SCORE 14278.987
AT ITER 8598 NEW BEST:: SOT 609946 SOS 479993 HAS SOPS 479347 HAS SOUS 14042 HAS SOUPS 13798 WITH SCORE 14277.993
AT ITER 8682 NEW BEST:: SOT 609946 SOS 479993 HAS SOPS 479347 HAS SOUS 14041 HAS SOUPS 13797 WITH SCORE 14276.993
AT ITER 8738 NEW BEST:: SOT 609948 SOS 479980 HAS SOPS 479334 HAS SOUS 14027 HAS SOUPS 13783 WITH SCORE 14262.98
AT ITER 8744 NEW BEST:: SOT 609938 SOS 479968 HAS SOPS 479320 HAS SOUS 14023 HAS SOUPS 13779 WITH SCORE 14258.968
AT ITER 8866 NEW BEST:: SOT 609896 SOS 479922 HAS SOPS 479274 HAS SOUS 14019 HAS SOUPS 13775 WITH SCORE 14254.922
AT ITER 8894 NEW BEST:: SOT 609896 SOS 479920 HAS SOPS 479272 HAS SOUS 14019 HAS SOUPS 13775 WITH SCORE 14254.92
AT ITER 8918 NEW BEST:: SOT 609895 SOS 479929 HAS SOPS 479281 HAS SOUS 14017 HAS SOUPS 13773 WITH SCORE 14252.929
AT ITER 8994 NEW BEST:: SOT 609895 SOS 479932 HAS SOPS 479284 HAS SOUS 14015 HAS SOUPS 13771 WITH SCORE 14250.932
AT ITER 9064 NEW BEST:: SOT 609909 SOS 479940 HAS SOPS 479292 HAS SOUS 13759 HAS SOUPS 13515 WITH SCORE 13994.94
AT ITER 9065 NEW BEST:: SOT 609866 SOS 479926 HAS SOPS 479278 HAS SOUS 13748 HAS SOUPS 13504 WITH SCORE 13983.926
AT ITER 9142 NEW BEST:: SOT 609866 SOS 479908 HAS SOPS 479260 HAS SOUS 13748 HAS SOUPS 13504 WITH SCORE 13983.908
AT ITER 9213 NEW BEST:: SOT 609668 SOS 479711 HAS SOPS 479063 HAS SOUS 13731 HAS SOUPS 13487 WITH SCORE 13966.711
AT ITER 9257 NEW BEST:: SOT 609667 SOS 479709 HAS SOPS 479061 HAS SOUS 13731 HAS SOUPS 13487 WITH SCORE 13966.709
AT ITER 9324 NEW BEST:: SOT 609665 SOS 479707 HAS SOPS 479057 HAS SOUS 13729 HAS SOUPS 13483 WITH SCORE 13962.707
AT ITER 9485 NEW BEST:: SOT 609660 SOS 479692 HAS SOPS 479042 HAS SOUS 13726 HAS SOUPS 13480 WITH SCORE 13959.692
AT ITER 9657 NEW BEST:: SOT 609656 SOS 479684 HAS SOPS 479035 HAS SOUS 13723 HAS SOUPS 13478 WITH SCORE 13957.684
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 1589370776512

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

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="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
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 1"
echo " Run identifier is r063-tajo-158922808301008"
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 ;