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.r523-tall-167987247800240.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 EisenbergMcGuire-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r523-tall-167987247800240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 968K
-rw-r--r-- 1 mcc users 9.1K Mar 23 15:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 97K Mar 23 15:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Mar 23 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Mar 23 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Mar 23 07:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 14K Mar 23 15:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Mar 23 15:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Mar 23 15:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Mar 23 15:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 460K Mar 31 16:48 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 1680811433910

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=EisenbergMcGuire-PT-05
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-06 20:03:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-06 20:03:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-06 20:03:55] [INFO ] Load time of PNML (sax parser for PT used): 171 ms
[2023-04-06 20:03:55] [INFO ] Transformed 295 places.
[2023-04-06 20:03:55] [INFO ] Transformed 800 transitions.
[2023-04-06 20:03:55] [INFO ] Found NUPN structural information;
[2023-04-06 20:03:55] [INFO ] Parsed PT model containing 295 places and 800 transitions and 3600 arcs in 254 ms.
[2023-04-06 20:03:55] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 295 places, 800 transitions and 3600 arcs took 10 ms.
Total runtime 297 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 05
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: 295 places, 800 transitions, 3600 arcs.
AT ITER 0 NEW BEST:: SOT 172033 SOS 86684 HAS SOPS 61224 HAS SOUS 48728 HAS SOUPS 46272 WITH SCORE 46358.684
AT ITER 3 NEW BEST:: SOT 171878 SOS 86576 HAS SOPS 61116 HAS SOUS 48700 HAS SOUPS 46244 WITH SCORE 46330.576
AT ITER 10 NEW BEST:: SOT 171853 SOS 86506 HAS SOPS 61046 HAS SOUS 48650 HAS SOUPS 46194 WITH SCORE 46280.506
AT ITER 22 NEW BEST:: SOT 171853 SOS 86501 HAS SOPS 61041 HAS SOUS 48650 HAS SOUPS 46194 WITH SCORE 46280.501
AT ITER 25 NEW BEST:: SOT 171823 SOS 86570 HAS SOPS 61126 HAS SOUS 48623 HAS SOUPS 46167 WITH SCORE 46253.57
AT ITER 27 NEW BEST:: SOT 171823 SOS 86542 HAS SOPS 61098 HAS SOUS 48623 HAS SOUPS 46167 WITH SCORE 46253.542
AT ITER 30 NEW BEST:: SOT 171766 SOS 86371 HAS SOPS 60471 HAS SOUS 48053 HAS SOUPS 45597 WITH SCORE 45683.371
AT ITER 40 NEW BEST:: SOT 171905 SOS 86479 HAS SOPS 60556 HAS SOUS 47960 HAS SOUPS 45504 WITH SCORE 45590.479
AT ITER 41 NEW BEST:: SOT 171905 SOS 86479 HAS SOPS 60556 HAS SOUS 47927 HAS SOUPS 45471 WITH SCORE 45557.479
AT ITER 44 NEW BEST:: SOT 171941 SOS 86533 HAS SOPS 60596 HAS SOUS 47904 HAS SOUPS 45448 WITH SCORE 45534.533
AT ITER 47 NEW BEST:: SOT 171852 SOS 86272 HAS SOPS 60353 HAS SOUS 47720 HAS SOUPS 45267 WITH SCORE 45353.272
AT ITER 51 NEW BEST:: SOT 171852 SOS 86138 HAS SOPS 60219 HAS SOUS 47720 HAS SOUPS 45267 WITH SCORE 45353.138
AT ITER 55 NEW BEST:: SOT 171775 SOS 85984 HAS SOPS 59218 HAS SOUS 46765 HAS SOUPS 44312 WITH SCORE 44397.984
AT ITER 60 NEW BEST:: SOT 171774 SOS 85707 HAS SOPS 58872 HAS SOUS 46694 HAS SOUPS 44241 WITH SCORE 44326.707
AT ITER 65 NEW BEST:: SOT 171716 SOS 85646 HAS SOPS 58748 HAS SOUS 46690 HAS SOUPS 44237 WITH SCORE 44322.646
AT ITER 66 NEW BEST:: SOT 171716 SOS 85618 HAS SOPS 58720 HAS SOUS 46690 HAS SOUPS 44237 WITH SCORE 44322.618
AT ITER 75 NEW BEST:: SOT 171688 SOS 85562 HAS SOPS 58664 HAS SOUS 46634 HAS SOUPS 44181 WITH SCORE 44266.562
AT ITER 77 NEW BEST:: SOT 168288 SOS 84512 HAS SOPS 59248 HAS SOUS 44399 HAS SOUPS 41946 WITH SCORE 42030.512
AT ITER 79 NEW BEST:: SOT 168203 SOS 84427 HAS SOPS 59188 HAS SOUS 44335 HAS SOUPS 41886 WITH SCORE 41970.427
AT ITER 80 NEW BEST:: SOT 168055 SOS 84246 HAS SOPS 59007 HAS SOUS 44335 HAS SOUPS 41886 WITH SCORE 41970.246
AT ITER 86 NEW BEST:: SOT 167989 SOS 84145 HAS SOPS 58821 HAS SOUS 44239 HAS SOUPS 41784 WITH SCORE 41868.145
AT ITER 89 NEW BEST:: SOT 167989 SOS 84085 HAS SOPS 58761 HAS SOUS 44239 HAS SOUPS 41784 WITH SCORE 41868.085
AT ITER 98 NEW BEST:: SOT 167989 SOS 83961 HAS SOPS 58674 HAS SOUS 44178 HAS SOUPS 41723 WITH SCORE 41806.961
AT ITER 105 NEW BEST:: SOT 167807 SOS 83752 HAS SOPS 58621 HAS SOUS 44114 HAS SOUPS 41670 WITH SCORE 41753.752
AT ITER 106 NEW BEST:: SOT 167792 SOS 83704 HAS SOPS 58573 HAS SOUS 44084 HAS SOUPS 41640 WITH SCORE 41723.704
AT ITER 111 NEW BEST:: SOT 167773 SOS 83645 HAS SOPS 58514 HAS SOUS 44079 HAS SOUPS 41635 WITH SCORE 41718.645
AT ITER 114 NEW BEST:: SOT 167772 SOS 83644 HAS SOPS 58512 HAS SOUS 44077 HAS SOUPS 41633 WITH SCORE 41716.644
AT ITER 119 NEW BEST:: SOT 167744 SOS 83433 HAS SOPS 58301 HAS SOUS 43984 HAS SOUPS 41540 WITH SCORE 41623.433
AT ITER 121 NEW BEST:: SOT 167702 SOS 83400 HAS SOPS 58264 HAS SOUS 43951 HAS SOUPS 41503 WITH SCORE 41586.4
AT ITER 123 NEW BEST:: SOT 167545 SOS 83218 HAS SOPS 58171 HAS SOUS 43852 HAS SOUPS 41410 WITH SCORE 41493.218
AT ITER 129 NEW BEST:: SOT 167367 SOS 82960 HAS SOPS 57989 HAS SOUS 43667 HAS SOUPS 41228 WITH SCORE 41310.96
AT ITER 130 NEW BEST:: SOT 167290 SOS 82793 HAS SOPS 57822 HAS SOUS 43509 HAS SOUPS 41070 WITH SCORE 41152.793
AT ITER 133 NEW BEST:: SOT 167209 SOS 82739 HAS SOPS 57829 HAS SOUS 43461 HAS SOUPS 41022 WITH SCORE 41104.739
AT ITER 149 NEW BEST:: SOT 167174 SOS 82701 HAS SOPS 57791 HAS SOUS 43423 HAS SOUPS 40984 WITH SCORE 41066.701
AT ITER 155 NEW BEST:: SOT 167124 SOS 82614 HAS SOPS 57704 HAS SOUS 43366 HAS SOUPS 40927 WITH SCORE 41009.614
AT ITER 185 NEW BEST:: SOT 167109 SOS 82640 HAS SOPS 57715 HAS SOUS 43312 HAS SOUPS 40873 WITH SCORE 40955.64
AT ITER 194 NEW BEST:: SOT 167099 SOS 82625 HAS SOPS 57705 HAS SOUS 43292 HAS SOUPS 40853 WITH SCORE 40935.625
AT ITER 203 NEW BEST:: SOT 167099 SOS 82598 HAS SOPS 57678 HAS SOUS 43292 HAS SOUPS 40853 WITH SCORE 40935.598
AT ITER 208 NEW BEST:: SOT 167004 SOS 82579 HAS SOPS 57800 HAS SOUS 43121 HAS SOUPS 40682 WITH SCORE 40764.579
AT ITER 209 NEW BEST:: SOT 166952 SOS 82101 HAS SOPS 57322 HAS SOUS 42991 HAS SOUPS 40552 WITH SCORE 40634.101
AT ITER 219 NEW BEST:: SOT 166962 SOS 82111 HAS SOPS 57276 HAS SOUS 42995 HAS SOUPS 40506 WITH SCORE 40588.111
AT ITER 221 NEW BEST:: SOT 165650 SOS 85225 HAS SOPS 56026 HAS SOUS 42516 HAS SOUPS 39947 WITH SCORE 40032.225
AT ITER 240 NEW BEST:: SOT 165511 SOS 85050 HAS SOPS 55927 HAS SOUS 42417 HAS SOUPS 39848 WITH SCORE 39933.05
AT ITER 248 NEW BEST:: SOT 163058 SOS 91108 HAS SOPS 54489 HAS SOUS 41112 HAS SOUPS 38010 WITH SCORE 38101.108
AT ITER 254 NEW BEST:: SOT 163050 SOS 91096 HAS SOPS 54477 HAS SOUS 41100 HAS SOUPS 37998 WITH SCORE 38089.096
AT ITER 255 NEW BEST:: SOT 162941 SOS 90906 HAS SOPS 54247 HAS SOUS 40765 HAS SOUPS 37663 WITH SCORE 37753.906
AT ITER 265 NEW BEST:: SOT 162852 SOS 90804 HAS SOPS 54361 HAS SOUS 40676 HAS SOUPS 37574 WITH SCORE 37664.804
AT ITER 288 NEW BEST:: SOT 162799 SOS 90642 HAS SOPS 53778 HAS SOUS 40143 HAS SOUPS 37044 WITH SCORE 37134.642
AT ITER 295 NEW BEST:: SOT 162535 SOS 90376 HAS SOPS 53459 HAS SOUS 39824 HAS SOUPS 36725 WITH SCORE 36815.376
AT ITER 298 NEW BEST:: SOT 162535 SOS 90374 HAS SOPS 53457 HAS SOUS 39822 HAS SOUPS 36723 WITH SCORE 36813.374
AT ITER 302 NEW BEST:: SOT 162535 SOS 90344 HAS SOPS 53427 HAS SOUS 39822 HAS SOUPS 36723 WITH SCORE 36813.344
AT ITER 306 NEW BEST:: SOT 162544 SOS 90430 HAS SOPS 53381 HAS SOUS 39784 HAS SOUPS 36611 WITH SCORE 36701.43
AT ITER 308 NEW BEST:: SOT 162286 SOS 90092 HAS SOPS 53329 HAS SOUS 39727 HAS SOUPS 36559 WITH SCORE 36649.092
AT ITER 310 NEW BEST:: SOT 162227 SOS 90033 HAS SOPS 53270 HAS SOUS 39668 HAS SOUPS 36500 WITH SCORE 36590.033
AT ITER 313 NEW BEST:: SOT 161446 SOS 89196 HAS SOPS 54447 HAS SOUS 38814 HAS SOUPS 35662 WITH SCORE 35751.196
AT ITER 316 NEW BEST:: SOT 161429 SOS 89110 HAS SOPS 54361 HAS SOUS 38780 HAS SOUPS 35628 WITH SCORE 35717.11
AT ITER 317 NEW BEST:: SOT 161402 SOS 89056 HAS SOPS 54173 HAS SOUS 38592 HAS SOUPS 35440 WITH SCORE 35529.056
AT ITER 333 NEW BEST:: SOT 161480 SOS 89134 HAS SOPS 54178 HAS SOUS 38456 HAS SOUPS 35278 WITH SCORE 35367.134
AT ITER 335 NEW BEST:: SOT 161480 SOS 89104 HAS SOPS 54148 HAS SOUS 38452 HAS SOUPS 35274 WITH SCORE 35363.104
AT ITER 344 NEW BEST:: SOT 161476 SOS 89074 HAS SOPS 54118 HAS SOUS 38444 HAS SOUPS 35266 WITH SCORE 35355.074
AT ITER 362 NEW BEST:: SOT 161448 SOS 89046 HAS SOPS 53878 HAS SOUS 38424 HAS SOUPS 35218 WITH SCORE 35307.046
AT ITER 368 NEW BEST:: SOT 161412 SOS 89071 HAS SOPS 53793 HAS SOUS 38449 HAS SOUPS 35133 WITH SCORE 35222.071
AT ITER 370 NEW BEST:: SOT 161415 SOS 88963 HAS SOPS 53685 HAS SOUS 38427 HAS SOUPS 35111 WITH SCORE 35199.963
AT ITER 373 NEW BEST:: SOT 161412 SOS 88951 HAS SOPS 53673 HAS SOUS 38421 HAS SOUPS 35105 WITH SCORE 35193.951
AT ITER 380 NEW BEST:: SOT 160566 SOS 88250 HAS SOPS 52947 HAS SOUS 37734 HAS SOUPS 34418 WITH SCORE 34506.25
AT ITER 391 NEW BEST:: SOT 160466 SOS 88100 HAS SOPS 52922 HAS SOUS 37734 HAS SOUPS 34418 WITH SCORE 34506.1
AT ITER 394 NEW BEST:: SOT 160214 SOS 88277 HAS SOPS 52729 HAS SOUS 37740 HAS SOUPS 34376 WITH SCORE 34464.277
AT ITER 403 NEW BEST:: SOT 160182 SOS 88229 HAS SOPS 52681 HAS SOUS 37692 HAS SOUPS 34328 WITH SCORE 34416.229
AT ITER 408 NEW BEST:: SOT 160182 SOS 88221 HAS SOPS 52673 HAS SOUS 37692 HAS SOUPS 34328 WITH SCORE 34416.221
AT ITER 409 NEW BEST:: SOT 160145 SOS 88147 HAS SOPS 52599 HAS SOUS 37618 HAS SOUPS 34254 WITH SCORE 34342.147
AT ITER 425 NEW BEST:: SOT 160102 SOS 88142 HAS SOPS 52594 HAS SOUS 37613 HAS SOUPS 34249 WITH SCORE 34337.142
AT ITER 428 NEW BEST:: SOT 160059 SOS 88042 HAS SOPS 52494 HAS SOUS 37527 HAS SOUPS 34163 WITH SCORE 34251.042
AT ITER 429 NEW BEST:: SOT 159918 SOS 87825 HAS SOPS 52277 HAS SOUS 37331 HAS SOUPS 33967 WITH SCORE 34054.825
AT ITER 435 NEW BEST:: SOT 159951 SOS 87786 HAS SOPS 52233 HAS SOUS 37295 HAS SOUPS 33931 WITH SCORE 34018.786
AT ITER 437 NEW BEST:: SOT 159945 SOS 87768 HAS SOPS 52215 HAS SOUS 37283 HAS SOUPS 33919 WITH SCORE 34006.768
AT ITER 442 NEW BEST:: SOT 159891 SOS 87713 HAS SOPS 52160 HAS SOUS 37229 HAS SOUPS 33865 WITH SCORE 33952.713
AT ITER 444 NEW BEST:: SOT 159960 SOS 88838 HAS SOPS 52200 HAS SOUS 37234 HAS SOUPS 33854 WITH SCORE 33942.838
AT ITER 454 NEW BEST:: SOT 159884 SOS 88910 HAS SOPS 52468 HAS SOUS 37166 HAS SOUPS 33786 WITH SCORE 33874.91
AT ITER 465 NEW BEST:: SOT 159874 SOS 84225 HAS SOPS 51800 HAS SOUS 37041 HAS SOUPS 33709 WITH SCORE 33793.225
AT ITER 468 NEW BEST:: SOT 159712 SOS 84043 HAS SOPS 51638 HAS SOUS 36881 HAS SOUPS 33547 WITH SCORE 33631.043
AT ITER 470 NEW BEST:: SOT 159712 SOS 84041 HAS SOPS 51636 HAS SOUS 36881 HAS SOUPS 33547 WITH SCORE 33631.041
AT ITER 475 NEW BEST:: SOT 159714 SOS 83995 HAS SOPS 51590 HAS SOUS 36875 HAS SOUPS 33541 WITH SCORE 33624.995
AT ITER 478 NEW BEST:: SOT 159704 SOS 83985 HAS SOPS 51580 HAS SOUS 36865 HAS SOUPS 33531 WITH SCORE 33614.985
AT ITER 480 NEW BEST:: SOT 159615 SOS 83882 HAS SOPS 51138 HAS SOUS 36611 HAS SOUPS 33277 WITH SCORE 33360.882
AT ITER 486 NEW BEST:: SOT 159438 SOS 83689 HAS SOPS 50835 HAS SOUS 36372 HAS SOUPS 33038 WITH SCORE 33121.689
AT ITER 489 NEW BEST:: SOT 159327 SOS 83578 HAS SOPS 50650 HAS SOUS 36346 HAS SOUPS 32958 WITH SCORE 33041.578
AT ITER 491 NEW BEST:: SOT 159076 SOS 83774 HAS SOPS 50797 HAS SOUS 36187 HAS SOUPS 32799 WITH SCORE 32882.774
AT ITER 493 NEW BEST:: SOT 159032 SOS 83730 HAS SOPS 50764 HAS SOUS 36187 HAS SOUPS 32799 WITH SCORE 32882.73
AT ITER 510 NEW BEST:: SOT 159000 SOS 83666 HAS SOPS 50700 HAS SOUS 36187 HAS SOUPS 32799 WITH SCORE 32882.666
AT ITER 518 NEW BEST:: SOT 159000 SOS 83591 HAS SOPS 50625 HAS SOUS 36187 HAS SOUPS 32799 WITH SCORE 32882.591
AT ITER 535 NEW BEST:: SOT 159000 SOS 83567 HAS SOPS 50601 HAS SOUS 36187 HAS SOUPS 32799 WITH SCORE 32882.567
AT ITER 548 NEW BEST:: SOT 159077 SOS 83658 HAS SOPS 50755 HAS SOUS 36183 HAS SOUPS 32795 WITH SCORE 32878.658
AT ITER 552 NEW BEST:: SOT 159086 SOS 83608 HAS SOPS 50705 HAS SOUS 36133 HAS SOUPS 32745 WITH SCORE 32828.608
AT ITER 554 NEW BEST:: SOT 159955 SOS 84468 HAS SOPS 50972 HAS SOUS 35578 HAS SOUPS 32180 WITH SCORE 32264.468
AT ITER 556 NEW BEST:: SOT 159915 SOS 84428 HAS SOPS 50928 HAS SOUS 35518 HAS SOUPS 32136 WITH SCORE 32220.428
AT ITER 559 NEW BEST:: SOT 159937 SOS 84450 HAS SOPS 50930 HAS SOUS 35496 HAS SOUPS 32114 WITH SCORE 32198.45
AT ITER 560 NEW BEST:: SOT 159937 SOS 84471 HAS SOPS 50951 HAS SOUS 35495 HAS SOUPS 32113 WITH SCORE 32197.471
AT ITER 569 NEW BEST:: SOT 159937 SOS 84425 HAS SOPS 50928 HAS SOUS 35472 HAS SOUPS 32113 WITH SCORE 32197.425
AT ITER 574 NEW BEST:: SOT 159921 SOS 84409 HAS SOPS 50928 HAS SOUS 35458 HAS SOUPS 32113 WITH SCORE 32197.409
AT ITER 575 NEW BEST:: SOT 160480 SOS 85151 HAS SOPS 51016 HAS SOUS 35411 HAS SOUPS 32069 WITH SCORE 32154.151
AT ITER 578 NEW BEST:: SOT 160480 SOS 85169 HAS SOPS 51034 HAS SOUS 35375 HAS SOUPS 32033 WITH SCORE 32118.169
AT ITER 582 NEW BEST:: SOT 160515 SOS 85394 HAS SOPS 50728 HAS SOUS 35461 HAS SOUPS 32019 WITH SCORE 32104.394
AT ITER 583 NEW BEST:: SOT 160598 SOS 85498 HAS SOPS 50769 HAS SOUS 35447 HAS SOUPS 32005 WITH SCORE 32090.498
AT ITER 585 NEW BEST:: SOT 160584 SOS 85484 HAS SOPS 50748 HAS SOUS 35426 HAS SOUPS 31984 WITH SCORE 32069.484
AT ITER 588 NEW BEST:: SOT 160596 SOS 85500 HAS SOPS 50552 HAS SOUS 35410 HAS SOUPS 31968 WITH SCORE 32053.5
AT ITER 602 NEW BEST:: SOT 160583 SOS 85487 HAS SOPS 50552 HAS SOUS 35386 HAS SOUPS 31944 WITH SCORE 32029.487
AT ITER 608 NEW BEST:: SOT 160583 SOS 85483 HAS SOPS 50548 HAS SOUS 35386 HAS SOUPS 31944 WITH SCORE 32029.483
AT ITER 622 NEW BEST:: SOT 160568 SOS 85429 HAS SOPS 50494 HAS SOUS 35356 HAS SOUPS 31914 WITH SCORE 31999.429
AT ITER 626 NEW BEST:: SOT 160568 SOS 85427 HAS SOPS 50492 HAS SOUS 35355 HAS SOUPS 31913 WITH SCORE 31998.427
AT ITER 635 NEW BEST:: SOT 160568 SOS 85357 HAS SOPS 50422 HAS SOUS 35353 HAS SOUPS 31911 WITH SCORE 31996.357
AT ITER 636 NEW BEST:: SOT 160568 SOS 85391 HAS SOPS 50388 HAS SOUS 35319 HAS SOUPS 31877 WITH SCORE 31962.391
AT ITER 643 NEW BEST:: SOT 160555 SOS 85354 HAS SOPS 50362 HAS SOUS 35314 HAS SOUPS 31872 WITH SCORE 31957.354
AT ITER 677 NEW BEST:: SOT 160138 SOS 84895 HAS SOPS 49819 HAS SOUS 35314 HAS SOUPS 31788 WITH SCORE 31872.895
AT ITER 693 NEW BEST:: SOT 160118 SOS 84799 HAS SOPS 49792 HAS SOUS 35287 HAS SOUPS 31761 WITH SCORE 31845.799
AT ITER 695 NEW BEST:: SOT 160078 SOS 84810 HAS SOPS 49712 HAS SOUS 35216 HAS SOUPS 31681 WITH SCORE 31765.81
AT ITER 696 NEW BEST:: SOT 160040 SOS 84734 HAS SOPS 49636 HAS SOUS 35140 HAS SOUPS 31605 WITH SCORE 31689.734
AT ITER 699 NEW BEST:: SOT 160023 SOS 84684 HAS SOPS 49536 HAS SOUS 35040 HAS SOUPS 31505 WITH SCORE 31589.684
AT ITER 721 NEW BEST:: SOT 160023 SOS 84652 HAS SOPS 49504 HAS SOUS 35030 HAS SOUPS 31495 WITH SCORE 31579.652
AT ITER 729 NEW BEST:: SOT 159922 SOS 84556 HAS SOPS 48999 HAS SOUS 35019 HAS SOUPS 31394 WITH SCORE 31478.556
AT ITER 732 NEW BEST:: SOT 159908 SOS 83872 HAS SOPS 48251 HAS SOUS 34979 HAS SOUPS 31354 WITH SCORE 31437.872
AT ITER 738 NEW BEST:: SOT 159871 SOS 83724 HAS SOPS 48103 HAS SOUS 34905 HAS SOUPS 31280 WITH SCORE 31363.724
AT ITER 763 NEW BEST:: SOT 159856 SOS 83666 HAS SOPS 48045 HAS SOUS 34875 HAS SOUPS 31250 WITH SCORE 31333.666
AT ITER 770 NEW BEST:: SOT 159196 SOS 83025 HAS SOPS 47445 HAS SOUS 34868 HAS SOUPS 31243 WITH SCORE 31326.025
AT ITER 776 NEW BEST:: SOT 159196 SOS 83033 HAS SOPS 47453 HAS SOUS 34862 HAS SOUPS 31237 WITH SCORE 31320.033
AT ITER 778 NEW BEST:: SOT 159175 SOS 82997 HAS SOPS 47411 HAS SOUS 34857 HAS SOUPS 31195 WITH SCORE 31277.997
AT ITER 781 NEW BEST:: SOT 159239 SOS 82952 HAS SOPS 47348 HAS SOUS 34837 HAS SOUPS 31175 WITH SCORE 31257.952
AT ITER 788 NEW BEST:: SOT 159239 SOS 82944 HAS SOPS 47340 HAS SOUS 34837 HAS SOUPS 31175 WITH SCORE 31257.944
AT ITER 790 NEW BEST:: SOT 159200 SOS 82723 HAS SOPS 47119 HAS SOUS 34718 HAS SOUPS 31056 WITH SCORE 31138.723
AT ITER 792 NEW BEST:: SOT 159142 SOS 82636 HAS SOPS 47148 HAS SOUS 34631 HAS SOUPS 30969 WITH SCORE 31051.636
AT ITER 822 NEW BEST:: SOT 159142 SOS 82607 HAS SOPS 47119 HAS SOUS 34631 HAS SOUPS 30969 WITH SCORE 31051.607
AT ITER 823 NEW BEST:: SOT 159142 SOS 82572 HAS SOPS 47084 HAS SOUS 34596 HAS SOUPS 30934 WITH SCORE 31016.572
AT ITER 866 NEW BEST:: SOT 159124 SOS 82514 HAS SOPS 47026 HAS SOUS 34560 HAS SOUPS 30898 WITH SCORE 30980.514
AT ITER 893 NEW BEST:: SOT 159124 SOS 82460 HAS SOPS 46949 HAS SOUS 34537 HAS SOUPS 30875 WITH SCORE 30957.46
AT ITER 926 NEW BEST:: SOT 159122 SOS 82407 HAS SOPS 46896 HAS SOUS 34484 HAS SOUPS 30822 WITH SCORE 30904.407
AT ITER 928 NEW BEST:: SOT 159098 SOS 82359 HAS SOPS 46848 HAS SOUS 34481 HAS SOUPS 30819 WITH SCORE 30901.359
AT ITER 932 NEW BEST:: SOT 159071 SOS 81985 HAS SOPS 46474 HAS SOUS 34384 HAS SOUPS 30722 WITH SCORE 30803.985
AT ITER 934 NEW BEST:: SOT 159106 SOS 81974 HAS SOPS 46463 HAS SOUS 34358 HAS SOUPS 30696 WITH SCORE 30777.974
AT ITER 936 NEW BEST:: SOT 159106 SOS 81970 HAS SOPS 46459 HAS SOUS 34358 HAS SOUPS 30696 WITH SCORE 30777.97
AT ITER 937 NEW BEST:: SOT 159098 SOS 81970 HAS SOPS 46443 HAS SOUS 34326 HAS SOUPS 30664 WITH SCORE 30745.97
AT ITER 939 NEW BEST:: SOT 159054 SOS 81915 HAS SOPS 46443 HAS SOUS 34326 HAS SOUPS 30664 WITH SCORE 30745.915
AT ITER 944 NEW BEST:: SOT 158347 SOS 81954 HAS SOPS 45736 HAS SOUS 33925 HAS SOUPS 30122 WITH SCORE 30203.954
AT ITER 945 NEW BEST:: SOT 158401 SOS 82001 HAS SOPS 45790 HAS SOUS 33907 HAS SOUPS 30104 WITH SCORE 30186.001
AT ITER 987 NEW BEST:: SOT 158401 SOS 81985 HAS SOPS 45790 HAS SOUS 33907 HAS SOUPS 30104 WITH SCORE 30185.985
AT ITER 1001 NEW BEST:: SOT 158401 SOS 81993 HAS SOPS 45774 HAS SOUS 33891 HAS SOUPS 30088 WITH SCORE 30169.993
AT ITER 1005 NEW BEST:: SOT 158367 SOS 82136 HAS SOPS 45917 HAS SOUS 33855 HAS SOUPS 30052 WITH SCORE 30134.136
AT ITER 1040 NEW BEST:: SOT 158301 SOS 82070 HAS SOPS 45785 HAS SOUS 33686 HAS SOUPS 29920 WITH SCORE 30002.07
AT ITER 1053 NEW BEST:: SOT 158286 SOS 82040 HAS SOPS 45755 HAS SOUS 33671 HAS SOUPS 29905 WITH SCORE 29987.04
AT ITER 1055 NEW BEST:: SOT 158259 SOS 82014 HAS SOPS 45729 HAS SOUS 33617 HAS SOUPS 29851 WITH SCORE 29933.014
AT ITER 1088 NEW BEST:: SOT 158305 SOS 82047 HAS SOPS 45745 HAS SOUS 33616 HAS SOUPS 29850 WITH SCORE 29932.047
AT ITER 1105 NEW BEST:: SOT 158297 SOS 82126 HAS SOPS 45824 HAS SOUS 33613 HAS SOUPS 29847 WITH SCORE 29929.126
AT ITER 1136 NEW BEST:: SOT 158313 SOS 82142 HAS SOPS 45788 HAS SOUS 33647 HAS SOUPS 29841 WITH SCORE 29923.142
AT ITER 1167 NEW BEST:: SOT 158312 SOS 82140 HAS SOPS 45786 HAS SOUS 33644 HAS SOUPS 29839 WITH SCORE 29921.14
AT ITER 1172 NEW BEST:: SOT 158623 SOS 82558 HAS SOPS 45338 HAS SOUS 33133 HAS SOUPS 29328 WITH SCORE 29410.558
AT ITER 1183 NEW BEST:: SOT 158605 SOS 82522 HAS SOPS 45302 HAS SOUS 33079 HAS SOUPS 29274 WITH SCORE 29356.522
AT ITER 1194 NEW BEST:: SOT 158553 SOS 82470 HAS SOPS 44714 HAS SOUS 33124 HAS SOUPS 29198 WITH SCORE 29280.47
AT ITER 1196 NEW BEST:: SOT 158579 SOS 82441 HAS SOPS 44735 HAS SOUS 33073 HAS SOUPS 29167 WITH SCORE 29249.441
AT ITER 1198 NEW BEST:: SOT 158517 SOS 82317 HAS SOPS 44611 HAS SOUS 33028 HAS SOUPS 29122 WITH SCORE 29204.317
AT ITER 1200 NEW BEST:: SOT 158516 SOS 82271 HAS SOPS 44565 HAS SOUS 33026 HAS SOUPS 29120 WITH SCORE 29202.271
AT ITER 1202 NEW BEST:: SOT 158517 SOS 82269 HAS SOPS 44563 HAS SOUS 32992 HAS SOUPS 29086 WITH SCORE 29168.269
AT ITER 1204 NEW BEST:: SOT 158517 SOS 82264 HAS SOPS 44558 HAS SOUS 32987 HAS SOUPS 29081 WITH SCORE 29163.264
AT ITER 1211 NEW BEST:: SOT 158789 SOS 82552 HAS SOPS 43070 HAS SOUS 32857 HAS SOUPS 28951 WITH SCORE 29033.552
AT ITER 1215 NEW BEST:: SOT 158843 SOS 82003 HAS SOPS 41861 HAS SOUS 32744 HAS SOUPS 28838 WITH SCORE 28920.003
AT ITER 1222 NEW BEST:: SOT 158702 SOS 81846 HAS SOPS 41719 HAS SOUS 32715 HAS SOUPS 28809 WITH SCORE 28890.846
AT ITER 1239 NEW BEST:: SOT 158714 SOS 81858 HAS SOPS 41713 HAS SOUS 32703 HAS SOUPS 28797 WITH SCORE 28878.858
AT ITER 1245 NEW BEST:: SOT 158757 SOS 81841 HAS SOPS 41655 HAS SOUS 32668 HAS SOUPS 28739 WITH SCORE 28820.841
AT ITER 1255 NEW BEST:: SOT 158741 SOS 81825 HAS SOPS 41639 HAS SOUS 32652 HAS SOUPS 28723 WITH SCORE 28804.825
AT ITER 1268 NEW BEST:: SOT 158627 SOS 81720 HAS SOPS 41519 HAS SOUS 32535 HAS SOUPS 28603 WITH SCORE 28684.72
AT ITER 1284 NEW BEST:: SOT 158629 SOS 81722 HAS SOPS 41522 HAS SOUS 32533 HAS SOUPS 28601 WITH SCORE 28682.722
AT ITER 1315 NEW BEST:: SOT 158600 SOS 81688 HAS SOPS 41488 HAS SOUS 32499 HAS SOUPS 28567 WITH SCORE 28648.688
AT ITER 1317 NEW BEST:: SOT 158669 SOS 81798 HAS SOPS 41374 HAS SOUS 32385 HAS SOUPS 28453 WITH SCORE 28534.798
AT ITER 1332 NEW BEST:: SOT 158737 SOS 81823 HAS SOPS 41314 HAS SOUS 32382 HAS SOUPS 28450 WITH SCORE 28531.823
AT ITER 1360 NEW BEST:: SOT 158732 SOS 81818 HAS SOPS 41309 HAS SOUS 32372 HAS SOUPS 28440 WITH SCORE 28521.818
AT ITER 1376 NEW BEST:: SOT 158738 SOS 81824 HAS SOPS 41307 HAS SOUS 32373 HAS SOUPS 28438 WITH SCORE 28519.824
AT ITER 1384 NEW BEST:: SOT 158617 SOS 82138 HAS SOPS 41210 HAS SOUS 32381 HAS SOUPS 28424 WITH SCORE 28506.138
AT ITER 1385 NEW BEST:: SOT 158605 SOS 82114 HAS SOPS 41186 HAS SOUS 32369 HAS SOUPS 28412 WITH SCORE 28494.114
AT ITER 1389 NEW BEST:: SOT 158591 SOS 82093 HAS SOPS 41172 HAS SOUS 32354 HAS SOUPS 28398 WITH SCORE 28480.093
AT ITER 1419 NEW BEST:: SOT 158591 SOS 82070 HAS SOPS 41149 HAS SOUS 32354 HAS SOUPS 28398 WITH SCORE 28480.07
AT ITER 1429 NEW BEST:: SOT 158575 SOS 82045 HAS SOPS 41128 HAS SOUS 32333 HAS SOUPS 28377 WITH SCORE 28459.045
AT ITER 1455 NEW BEST:: SOT 158705 SOS 81644 HAS SOPS 40528 HAS SOUS 32278 HAS SOUPS 28322 WITH SCORE 28403.644
AT ITER 1471 NEW BEST:: SOT 158630 SOS 81726 HAS SOPS 40448 HAS SOUS 32262 HAS SOUPS 28284 WITH SCORE 28365.726
AT ITER 1476 NEW BEST:: SOT 158621 SOS 81717 HAS SOPS 40448 HAS SOUS 32262 HAS SOUPS 28284 WITH SCORE 28365.717
AT ITER 1488 NEW BEST:: SOT 158500 SOS 81649 HAS SOPS 40318 HAS SOUS 32257 HAS SOUPS 28257 WITH SCORE 28338.649
AT ITER 1492 NEW BEST:: SOT 158540 SOS 81689 HAS SOPS 40286 HAS SOUS 32187 HAS SOUPS 28187 WITH SCORE 28268.689
AT ITER 1501 NEW BEST:: SOT 158426 SOS 81586 HAS SOPS 40198 HAS SOUS 32185 HAS SOUPS 28185 WITH SCORE 28266.586
AT ITER 1553 NEW BEST:: SOT 158412 SOS 81742 HAS SOPS 40354 HAS SOUS 32182 HAS SOUPS 28182 WITH SCORE 28263.742
AT ITER 1557 NEW BEST:: SOT 158432 SOS 81670 HAS SOPS 40374 HAS SOUS 32174 HAS SOUPS 28178 WITH SCORE 28259.67
AT ITER 1572 NEW BEST:: SOT 158402 SOS 81607 HAS SOPS 40281 HAS SOUS 32081 HAS SOUPS 28085 WITH SCORE 28166.607
AT ITER 1574 NEW BEST:: SOT 158391 SOS 81596 HAS SOPS 40248 HAS SOUS 32070 HAS SOUPS 28052 WITH SCORE 28133.596
AT ITER 1590 NEW BEST:: SOT 158342 SOS 81547 HAS SOPS 40192 HAS SOUS 31991 HAS SOUPS 27973 WITH SCORE 28054.547
AT ITER 1608 NEW BEST:: SOT 158333 SOS 81529 HAS SOPS 40183 HAS SOUS 31982 HAS SOUPS 27964 WITH SCORE 28045.529
AT ITER 1617 NEW BEST:: SOT 158326 SOS 81561 HAS SOPS 40215 HAS SOUS 31968 HAS SOUPS 27950 WITH SCORE 28031.561
AT ITER 1651 NEW BEST:: SOT 158303 SOS 81535 HAS SOPS 40205 HAS SOUS 31966 HAS SOUPS 27948 WITH SCORE 28029.535
AT ITER 1658 NEW BEST:: SOT 158211 SOS 81937 HAS SOPS 40636 HAS SOUS 31944 HAS SOUPS 27926 WITH SCORE 28007.937
AT ITER 1661 NEW BEST:: SOT 158284 SOS 82040 HAS SOPS 40709 HAS SOUS 31916 HAS SOUPS 27898 WITH SCORE 27980.04
AT ITER 1669 NEW BEST:: SOT 158264 SOS 82015 HAS SOPS 40669 HAS SOUS 31886 HAS SOUPS 27868 WITH SCORE 27950.015
AT ITER 1700 NEW BEST:: SOT 158194 SOS 81920 HAS SOPS 40529 HAS SOUS 31794 HAS SOUPS 27728 WITH SCORE 27809.92
AT ITER 1709 NEW BEST:: SOT 158194 SOS 81692 HAS SOPS 40301 HAS SOUS 31794 HAS SOUPS 27728 WITH SCORE 27809.692
AT ITER 1755 NEW BEST:: SOT 158194 SOS 81691 HAS SOPS 40300 HAS SOUS 31785 HAS SOUPS 27719 WITH SCORE 27800.691
AT ITER 1758 NEW BEST:: SOT 158190 SOS 81648 HAS SOPS 40292 HAS SOUS 31777 HAS SOUPS 27711 WITH SCORE 27792.648
AT ITER 1772 NEW BEST:: SOT 157810 SOS 81232 HAS SOPS 39906 HAS SOUS 31608 HAS SOUPS 27518 WITH SCORE 27599.232
AT ITER 1776 NEW BEST:: SOT 157787 SOS 81198 HAS SOPS 39872 HAS SOUS 31592 HAS SOUPS 27502 WITH SCORE 27583.198
AT ITER 1777 NEW BEST:: SOT 157979 SOS 81436 HAS SOPS 39870 HAS SOUS 31590 HAS SOUPS 27500 WITH SCORE 27581.436
AT ITER 1783 NEW BEST:: SOT 157812 SOS 81359 HAS SOPS 39754 HAS SOUS 31519 HAS SOUPS 27429 WITH SCORE 27510.359
AT ITER 1785 NEW BEST:: SOT 157802 SOS 81339 HAS SOPS 39734 HAS SOUS 31512 HAS SOUPS 27422 WITH SCORE 27503.339
AT ITER 1793 NEW BEST:: SOT 157778 SOS 81327 HAS SOPS 39722 HAS SOUS 31500 HAS SOUPS 27410 WITH SCORE 27491.327
AT ITER 1799 NEW BEST:: SOT 157767 SOS 81305 HAS SOPS 39700 HAS SOUS 31478 HAS SOUPS 27388 WITH SCORE 27469.305
AT ITER 1801 NEW BEST:: SOT 157823 SOS 81280 HAS SOPS 39548 HAS SOUS 31471 HAS SOUPS 27381 WITH SCORE 27462.28
AT ITER 1803 NEW BEST:: SOT 157819 SOS 81291 HAS SOPS 39559 HAS SOUS 31462 HAS SOUPS 27372 WITH SCORE 27453.291
AT ITER 1828 NEW BEST:: SOT 157800 SOS 81314 HAS SOPS 39582 HAS SOUS 31401 HAS SOUPS 27311 WITH SCORE 27392.314
AT ITER 1834 NEW BEST:: SOT 157851 SOS 81330 HAS SOPS 39556 HAS SOUS 31375 HAS SOUPS 27285 WITH SCORE 27366.33
AT ITER 1869 NEW BEST:: SOT 157838 SOS 81317 HAS SOPS 39543 HAS SOUS 31362 HAS SOUPS 27272 WITH SCORE 27353.317
AT ITER 1882 NEW BEST:: SOT 157814 SOS 81293 HAS SOPS 39519 HAS SOUS 31338 HAS SOUPS 27248 WITH SCORE 27329.293
AT ITER 1895 NEW BEST:: SOT 157680 SOS 81170 HAS SOPS 39389 HAS SOUS 31240 HAS SOUPS 27118 WITH SCORE 27199.17
AT ITER 1926 NEW BEST:: SOT 157705 SOS 81314 HAS SOPS 39533 HAS SOUS 31210 HAS SOUPS 27088 WITH SCORE 27169.314
AT ITER 1931 NEW BEST:: SOT 157637 SOS 81242 HAS SOPS 39489 HAS SOUS 31166 HAS SOUPS 27044 WITH SCORE 27125.242
AT ITER 1969 NEW BEST:: SOT 157551 SOS 81156 HAS SOPS 39354 HAS SOUS 31031 HAS SOUPS 26909 WITH SCORE 26990.156
AT ITER 1984 NEW BEST:: SOT 157502 SOS 81149 HAS SOPS 39355 HAS SOUS 31013 HAS SOUPS 26891 WITH SCORE 26972.149
AT ITER 2000 NEW BEST:: SOT 157500 SOS 81149 HAS SOPS 39355 HAS SOUS 31009 HAS SOUPS 26887 WITH SCORE 26968.149
AT ITER 2010 NEW BEST:: SOT 157547 SOS 81147 HAS SOPS 39292 HAS SOUS 30946 HAS SOUPS 26824 WITH SCORE 26905.147
AT ITER 2043 NEW BEST:: SOT 157290 SOS 81854 HAS SOPS 39090 HAS SOUS 31008 HAS SOUPS 26815 WITH SCORE 26896.854
AT ITER 2059 NEW BEST:: SOT 157162 SOS 81650 HAS SOPS 38886 HAS SOUS 30906 HAS SOUPS 26713 WITH SCORE 26794.65
AT ITER 2082 NEW BEST:: SOT 156975 SOS 81579 HAS SOPS 38920 HAS SOUS 30741 HAS SOUPS 26548 WITH SCORE 26629.579
AT ITER 2107 NEW BEST:: SOT 156975 SOS 81571 HAS SOPS 38904 HAS SOUS 30726 HAS SOUPS 26532 WITH SCORE 26613.571
AT ITER 2137 NEW BEST:: SOT 156968 SOS 81545 HAS SOPS 38878 HAS SOUS 30722 HAS SOUPS 26528 WITH SCORE 26609.545
AT ITER 2141 NEW BEST:: SOT 156962 SOS 81541 HAS SOPS 38874 HAS SOUS 30714 HAS SOUPS 26520 WITH SCORE 26601.541
AT ITER 2149 NEW BEST:: SOT 156964 SOS 81511 HAS SOPS 38844 HAS SOUS 30713 HAS SOUPS 26519 WITH SCORE 26600.511
AT ITER 2156 NEW BEST:: SOT 156958 SOS 81477 HAS SOPS 38810 HAS SOUS 30701 HAS SOUPS 26507 WITH SCORE 26588.477
AT ITER 2157 NEW BEST:: SOT 156839 SOS 81358 HAS SOPS 38664 HAS SOUS 30555 HAS SOUPS 26361 WITH SCORE 26442.358
AT ITER 2166 NEW BEST:: SOT 156717 SOS 81334 HAS SOPS 38523 HAS SOUS 30514 HAS SOUPS 26282 WITH SCORE 26363.334
AT ITER 2191 NEW BEST:: SOT 156574 SOS 81210 HAS SOPS 38321 HAS SOUS 30354 HAS SOUPS 26122 WITH SCORE 26203.21
AT ITER 2193 NEW BEST:: SOT 156562 SOS 81138 HAS SOPS 38315 HAS SOUS 30324 HAS SOUPS 26104 WITH SCORE 26185.138
AT ITER 2198 NEW BEST:: SOT 156553 SOS 81096 HAS SOPS 38273 HAS SOUS 30306 HAS SOUPS 26086 WITH SCORE 26167.096
AT ITER 2209 NEW BEST:: SOT 156640 SOS 81228 HAS SOPS 38229 HAS SOUS 30414 HAS SOUPS 26042 WITH SCORE 26123.228
AT ITER 2221 NEW BEST:: SOT 156642 SOS 81230 HAS SOPS 38213 HAS SOUS 30398 HAS SOUPS 26026 WITH SCORE 26107.23
AT ITER 2240 NEW BEST:: SOT 156628 SOS 81174 HAS SOPS 38157 HAS SOUS 30384 HAS SOUPS 26012 WITH SCORE 26093.174
AT ITER 2250 NEW BEST:: SOT 156592 SOS 81168 HAS SOPS 38085 HAS SOUS 30312 HAS SOUPS 25940 WITH SCORE 26021.168
AT ITER 2256 NEW BEST:: SOT 156582 SOS 81168 HAS SOPS 38055 HAS SOUS 30282 HAS SOUPS 25910 WITH SCORE 25991.168
AT ITER 2266 NEW BEST:: SOT 156591 SOS 81111 HAS SOPS 38060 HAS SOUS 30273 HAS SOUPS 25907 WITH SCORE 25988.111
AT ITER 2270 NEW BEST:: SOT 156573 SOS 81000 HAS SOPS 37949 HAS SOUS 30262 HAS SOUPS 25896 WITH SCORE 25977.0
AT ITER 2294 NEW BEST:: SOT 156575 SOS 80986 HAS SOPS 37951 HAS SOUS 30252 HAS SOUPS 25890 WITH SCORE 25970.986
AT ITER 2319 NEW BEST:: SOT 156566 SOS 80968 HAS SOPS 37933 HAS SOUS 30234 HAS SOUPS 25872 WITH SCORE 25952.968
AT ITER 2348 NEW BEST:: SOT 156548 SOS 80959 HAS SOPS 37924 HAS SOUS 30225 HAS SOUPS 25863 WITH SCORE 25943.959
AT ITER 2356 NEW BEST:: SOT 156443 SOS 80867 HAS SOPS 37832 HAS SOUS 30187 HAS SOUPS 25825 WITH SCORE 25905.867
AT ITER 2369 NEW BEST:: SOT 156431 SOS 80855 HAS SOPS 37817 HAS SOUS 30172 HAS SOUPS 25810 WITH SCORE 25890.855
AT ITER 2372 NEW BEST:: SOT 156437 SOS 80808 HAS SOPS 37868 HAS SOUS 30143 HAS SOUPS 25799 WITH SCORE 25879.808
AT ITER 2390 NEW BEST:: SOT 156444 SOS 80538 HAS SOPS 37576 HAS SOUS 30121 HAS SOUPS 25777 WITH SCORE 25857.538
AT ITER 2393 NEW BEST:: SOT 156425 SOS 80488 HAS SOPS 37526 HAS SOUS 30107 HAS SOUPS 25763 WITH SCORE 25843.488
AT ITER 2412 NEW BEST:: SOT 156404 SOS 80462 HAS SOPS 37499 HAS SOUS 30090 HAS SOUPS 25746 WITH SCORE 25826.462
AT ITER 2443 NEW BEST:: SOT 156401 SOS 80456 HAS SOPS 37493 HAS SOUS 30084 HAS SOUPS 25740 WITH SCORE 25820.456
AT ITER 2448 NEW BEST:: SOT 156417 SOS 80507 HAS SOPS 37524 HAS SOUS 30077 HAS SOUPS 25733 WITH SCORE 25813.507
AT ITER 2510 NEW BEST:: SOT 156438 SOS 80539 HAS SOPS 37565 HAS SOUS 30074 HAS SOUPS 25730 WITH SCORE 25810.539
AT ITER 2527 NEW BEST:: SOT 156438 SOS 80529 HAS SOPS 37555 HAS SOUS 30074 HAS SOUPS 25730 WITH SCORE 25810.529
AT ITER 2566 NEW BEST:: SOT 156436 SOS 80547 HAS SOPS 37551 HAS SOUS 30092 HAS SOUPS 25726 WITH SCORE 25806.547
AT ITER 2581 NEW BEST:: SOT 156238 SOS 80349 HAS SOPS 37353 HAS SOUS 30092 HAS SOUPS 25726 WITH SCORE 25806.349
AT ITER 2585 NEW BEST:: SOT 156223 SOS 80289 HAS SOPS 37293 HAS SOUS 30062 HAS SOUPS 25696 WITH SCORE 25776.289
AT ITER 2613 NEW BEST:: SOT 156177 SOS 80247 HAS SOPS 37234 HAS SOUS 30038 HAS SOUPS 25672 WITH SCORE 25752.247
AT ITER 2634 NEW BEST:: SOT 156173 SOS 80245 HAS SOPS 37232 HAS SOUS 30030 HAS SOUPS 25664 WITH SCORE 25744.245
AT ITER 2661 NEW BEST:: SOT 156173 SOS 80237 HAS SOPS 37232 HAS SOUS 30030 HAS SOUPS 25664 WITH SCORE 25744.237
AT ITER 2662 NEW BEST:: SOT 156170 SOS 80231 HAS SOPS 37226 HAS SOUS 30024 HAS SOUPS 25658 WITH SCORE 25738.231
AT ITER 2683 NEW BEST:: SOT 156170 SOS 80231 HAS SOPS 37226 HAS SOUS 30012 HAS SOUPS 25646 WITH SCORE 25726.231
AT ITER 2705 NEW BEST:: SOT 156158 SOS 80219 HAS SOPS 37205 HAS SOUS 29996 HAS SOUPS 25630 WITH SCORE 25710.219
AT ITER 2734 NEW BEST:: SOT 156177 SOS 80249 HAS SOPS 37171 HAS SOUS 29962 HAS SOUPS 25596 WITH SCORE 25676.249
AT ITER 2754 NEW BEST:: SOT 156209 SOS 79739 HAS SOPS 37181 HAS SOUS 29916 HAS SOUPS 25572 WITH SCORE 25651.739
AT ITER 2755 NEW BEST:: SOT 156205 SOS 79734 HAS SOPS 37178 HAS SOUS 29916 HAS SOUPS 25571 WITH SCORE 25650.734
AT ITER 2776 NEW BEST:: SOT 156205 SOS 79735 HAS SOPS 37177 HAS SOUS 29915 HAS SOUPS 25570 WITH SCORE 25649.735
AT ITER 2788 NEW BEST:: SOT 156225 SOS 79773 HAS SOPS 37172 HAS SOUS 29881 HAS SOUPS 25536 WITH SCORE 25615.773
AT ITER 2815 NEW BEST:: SOT 156242 SOS 79785 HAS SOPS 37167 HAS SOUS 29858 HAS SOUPS 25513 WITH SCORE 25592.785
AT ITER 2851 NEW BEST:: SOT 156242 SOS 79777 HAS SOPS 37159 HAS SOUS 29858 HAS SOUPS 25513 WITH SCORE 25592.777
AT ITER 2895 NEW BEST:: SOT 156162 SOS 79563 HAS SOPS 36945 HAS SOUS 29853 HAS SOUPS 25508 WITH SCORE 25587.563
AT ITER 2907 NEW BEST:: SOT 156167 SOS 79524 HAS SOPS 36885 HAS SOUS 29842 HAS SOUPS 25497 WITH SCORE 25576.524
AT ITER 2908 NEW BEST:: SOT 156155 SOS 79488 HAS SOPS 36849 HAS SOUS 29830 HAS SOUPS 25485 WITH SCORE 25564.488
AT ITER 2931 NEW BEST:: SOT 155964 SOS 79333 HAS SOPS 36697 HAS SOUS 29678 HAS SOUPS 25333 WITH SCORE 25412.333
AT ITER 2943 NEW BEST:: SOT 155946 SOS 79305 HAS SOPS 36661 HAS SOUS 29642 HAS SOUPS 25297 WITH SCORE 25376.305
AT ITER 2946 NEW BEST:: SOT 155931 SOS 79290 HAS SOPS 36677 HAS SOUS 29625 HAS SOUPS 25282 WITH SCORE 25361.29
AT ITER 2947 NEW BEST:: SOT 155934 SOS 79288 HAS SOPS 36658 HAS SOUS 29623 HAS SOUPS 25280 WITH SCORE 25359.288
AT ITER 2982 NEW BEST:: SOT 155940 SOS 79302 HAS SOPS 36670 HAS SOUS 29609 HAS SOUPS 25266 WITH SCORE 25345.302
AT ITER 3000 NEW BEST:: SOT 155922 SOS 79266 HAS SOPS 36634 HAS SOUS 29581 HAS SOUPS 25238 WITH SCORE 25317.266
AT ITER 3001 NEW BEST:: SOT 155920 SOS 79264 HAS SOPS 36626 HAS SOUS 29575 HAS SOUPS 25230 WITH SCORE 25309.264
AT ITER 3010 NEW BEST:: SOT 155904 SOS 79246 HAS SOPS 36624 HAS SOUS 29559 HAS SOUPS 25214 WITH SCORE 25293.246
AT ITER 3016 NEW BEST:: SOT 155785 SOS 79127 HAS SOPS 36757 HAS SOUS 29524 HAS SOUPS 25179 WITH SCORE 25258.127
AT ITER 3088 NEW BEST:: SOT 155783 SOS 79125 HAS SOPS 36755 HAS SOUS 29522 HAS SOUPS 25177 WITH SCORE 25256.125
AT ITER 3144 NEW BEST:: SOT 155866 SOS 79233 HAS SOPS 36826 HAS SOUS 29509 HAS SOUPS 25164 WITH SCORE 25243.233
AT ITER 3151 NEW BEST:: SOT 155875 SOS 79195 HAS SOPS 36744 HAS SOUS 29495 HAS SOUPS 25150 WITH SCORE 25229.195
AT ITER 3174 NEW BEST:: SOT 155885 SOS 79207 HAS SOPS 36740 HAS SOUS 29493 HAS SOUPS 25148 WITH SCORE 25227.207
AT ITER 3303 NEW BEST:: SOT 155878 SOS 79165 HAS SOPS 36698 HAS SOUS 29451 HAS SOUPS 25106 WITH SCORE 25185.165
AT ITER 3305 NEW BEST:: SOT 155878 SOS 79154 HAS SOPS 36698 HAS SOUS 29451 HAS SOUPS 25106 WITH SCORE 25185.154
AT ITER 3326 NEW BEST:: SOT 156032 SOS 79308 HAS SOPS 36852 HAS SOUS 29449 HAS SOUPS 25104 WITH SCORE 25183.308
AT ITER 3330 NEW BEST:: SOT 156020 SOS 79280 HAS SOPS 36824 HAS SOUS 29428 HAS SOUPS 25083 WITH SCORE 25162.28
AT ITER 3340 NEW BEST:: SOT 155990 SOS 79248 HAS SOPS 36794 HAS SOUS 29404 HAS SOUPS 25059 WITH SCORE 25138.248
AT ITER 3361 NEW BEST:: SOT 155940 SOS 79198 HAS SOPS 36719 HAS SOUS 29379 HAS SOUPS 24984 WITH SCORE 25063.198
AT ITER 3362 NEW BEST:: SOT 155766 SOS 78988 HAS SOPS 36479 HAS SOUS 29383 HAS SOUPS 24970 WITH SCORE 25048.988
AT ITER 3374 NEW BEST:: SOT 155754 SOS 78974 HAS SOPS 36465 HAS SOUS 29379 HAS SOUPS 24966 WITH SCORE 25044.974
AT ITER 3375 NEW BEST:: SOT 155720 SOS 78912 HAS SOPS 36381 HAS SOUS 29308 HAS SOUPS 24895 WITH SCORE 24973.912
AT ITER 3409 NEW BEST:: SOT 155720 SOS 78864 HAS SOPS 36333 HAS SOUS 29284 HAS SOUPS 24871 WITH SCORE 24949.864
AT ITER 3415 NEW BEST:: SOT 155697 SOS 78818 HAS SOPS 36287 HAS SOUS 29238 HAS SOUPS 24825 WITH SCORE 24903.818
AT ITER 3420 NEW BEST:: SOT 155696 SOS 78821 HAS SOPS 36315 HAS SOUS 29236 HAS SOUPS 24823 WITH SCORE 24901.821
AT ITER 3433 NEW BEST:: SOT 155249 SOS 78848 HAS SOPS 35741 HAS SOUS 29219 HAS SOUPS 24670 WITH SCORE 24748.848
AT ITER 3476 NEW BEST:: SOT 155222 SOS 78768 HAS SOPS 35687 HAS SOUS 29165 HAS SOUPS 24616 WITH SCORE 24694.768
AT ITER 3481 NEW BEST:: SOT 155192 SOS 78738 HAS SOPS 35757 HAS SOUS 29142 HAS SOUPS 24593 WITH SCORE 24671.738
AT ITER 3498 NEW BEST:: SOT 155109 SOS 78593 HAS SOPS 35612 HAS SOUS 29114 HAS SOUPS 24565 WITH SCORE 24643.593
AT ITER 3514 NEW BEST:: SOT 155069 SOS 78553 HAS SOPS 35568 HAS SOUS 29092 HAS SOUPS 24543 WITH SCORE 24621.553
AT ITER 3520 NEW BEST:: SOT 154917 SOS 78401 HAS SOPS 35414 HAS SOUS 28940 HAS SOUPS 24389 WITH SCORE 24467.401
AT ITER 3552 NEW BEST:: SOT 154914 SOS 78398 HAS SOPS 35375 HAS SOUS 28928 HAS SOUPS 24342 WITH SCORE 24420.398
AT ITER 3553 NEW BEST:: SOT 154983 SOS 79559 HAS SOPS 35391 HAS SOUS 28867 HAS SOUPS 24267 WITH SCORE 24346.559
AT ITER 3575 NEW BEST:: SOT 154968 SOS 79574 HAS SOPS 35376 HAS SOUS 28870 HAS SOUPS 24264 WITH SCORE 24343.574
AT ITER 3583 NEW BEST:: SOT 154955 SOS 77985 HAS SOPS 35160 HAS SOUS 28802 HAS SOUPS 24213 WITH SCORE 24290.985
AT ITER 3615 NEW BEST:: SOT 154948 SOS 77978 HAS SOPS 35160 HAS SOUS 28802 HAS SOUPS 24213 WITH SCORE 24290.978
AT ITER 3643 NEW BEST:: SOT 154951 SOS 78209 HAS SOPS 35154 HAS SOUS 28824 HAS SOUPS 24197 WITH SCORE 24275.209
AT ITER 3651 NEW BEST:: SOT 154958 SOS 78176 HAS SOPS 35158 HAS SOUS 28812 HAS SOUPS 24183 WITH SCORE 24261.176
AT ITER 3675 NEW BEST:: SOT 154958 SOS 78173 HAS SOPS 35155 HAS SOUS 28812 HAS SOUPS 24183 WITH SCORE 24261.173
AT ITER 3689 NEW BEST:: SOT 154941 SOS 78173 HAS SOPS 35155 HAS SOUS 28795 HAS SOUPS 24166 WITH SCORE 24244.173
AT ITER 3696 NEW BEST:: SOT 154941 SOS 78172 HAS SOPS 35154 HAS SOUS 28795 HAS SOUPS 24166 WITH SCORE 24244.172
AT ITER 3704 NEW BEST:: SOT 154944 SOS 78157 HAS SOPS 35139 HAS SOUS 28794 HAS SOUPS 24165 WITH SCORE 24243.157
AT ITER 3706 NEW BEST:: SOT 154991 SOS 78012 HAS SOPS 35174 HAS SOUS 28781 HAS SOUPS 24162 WITH SCORE 24240.012
AT ITER 3722 NEW BEST:: SOT 154986 SOS 78012 HAS SOPS 35109 HAS SOUS 28716 HAS SOUPS 24097 WITH SCORE 24175.012
AT ITER 3784 NEW BEST:: SOT 154952 SOS 77956 HAS SOPS 35089 HAS SOUS 28680 HAS SOUPS 24077 WITH SCORE 24154.956
AT ITER 3805 NEW BEST:: SOT 154950 SOS 77952 HAS SOPS 35085 HAS SOUS 28676 HAS SOUPS 24073 WITH SCORE 24150.952
AT ITER 3819 NEW BEST:: SOT 154942 SOS 77944 HAS SOPS 35069 HAS SOUS 28660 HAS SOUPS 24057 WITH SCORE 24134.944
AT ITER 3844 NEW BEST:: SOT 154941 SOS 77932 HAS SOPS 35057 HAS SOUS 28658 HAS SOUPS 24055 WITH SCORE 24132.932
AT ITER 3854 NEW BEST:: SOT 154942 SOS 77907 HAS SOPS 35022 HAS SOUS 28631 HAS SOUPS 24028 WITH SCORE 24105.907
AT ITER 3855 NEW BEST:: SOT 154926 SOS 77891 HAS SOPS 35018 HAS SOUS 28627 HAS SOUPS 24024 WITH SCORE 24101.891
AT ITER 3867 NEW BEST:: SOT 154926 SOS 78056 HAS SOPS 35183 HAS SOUS 28597 HAS SOUPS 23994 WITH SCORE 24072.056
AT ITER 3876 NEW BEST:: SOT 154957 SOS 78087 HAS SOPS 35172 HAS SOUS 28608 HAS SOUPS 23983 WITH SCORE 24061.087
AT ITER 3900 NEW BEST:: SOT 154952 SOS 78077 HAS SOPS 35162 HAS SOUS 28598 HAS SOUPS 23973 WITH SCORE 24051.077
AT ITER 3945 NEW BEST:: SOT 154931 SOS 78017 HAS SOPS 35081 HAS SOUS 28526 HAS SOUPS 23901 WITH SCORE 23979.017
AT ITER 3949 NEW BEST:: SOT 154920 SOS 78017 HAS SOPS 35081 HAS SOUS 28504 HAS SOUPS 23879 WITH SCORE 23957.017
AT ITER 3971 NEW BEST:: SOT 154952 SOS 78021 HAS SOPS 35077 HAS SOUS 28461 HAS SOUPS 23857 WITH SCORE 23935.021
AT ITER 3982 NEW BEST:: SOT 154952 SOS 78017 HAS SOPS 35077 HAS SOUS 28457 HAS SOUPS 23853 WITH SCORE 23931.017
AT ITER 3995 NEW BEST:: SOT 154961 SOS 78027 HAS SOPS 35087 HAS SOUS 28447 HAS SOUPS 23843 WITH SCORE 23921.027
AT ITER 4004 NEW BEST:: SOT 154939 SOS 78001 HAS SOPS 35043 HAS SOUS 28417 HAS SOUPS 23813 WITH SCORE 23891.001
AT ITER 4009 NEW BEST:: SOT 154926 SOS 78011 HAS SOPS 35074 HAS SOUS 28403 HAS SOUPS 23799 WITH SCORE 23877.011
AT ITER 4036 NEW BEST:: SOT 154921 SOS 78003 HAS SOPS 35065 HAS SOUS 28398 HAS SOUPS 23790 WITH SCORE 23868.003
AT ITER 4039 NEW BEST:: SOT 154920 SOS 77999 HAS SOPS 35061 HAS SOUS 28394 HAS SOUPS 23786 WITH SCORE 23863.999
AT ITER 4052 NEW BEST:: SOT 154917 SOS 77993 HAS SOPS 35055 HAS SOUS 28388 HAS SOUPS 23780 WITH SCORE 23857.993
AT ITER 4065 NEW BEST:: SOT 154829 SOS 77905 HAS SOPS 34967 HAS SOUS 28356 HAS SOUPS 23748 WITH SCORE 23825.905
AT ITER 4068 NEW BEST:: SOT 154829 SOS 77891 HAS SOPS 34953 HAS SOUS 28356 HAS SOUPS 23748 WITH SCORE 23825.891
AT ITER 4092 NEW BEST:: SOT 154830 SOS 77909 HAS SOPS 34971 HAS SOUS 28354 HAS SOUPS 23746 WITH SCORE 23823.909
AT ITER 4124 NEW BEST:: SOT 154803 SOS 77869 HAS SOPS 34940 HAS SOUS 28314 HAS SOUPS 23715 WITH SCORE 23792.869
AT ITER 4126 NEW BEST:: SOT 154792 SOS 77864 HAS SOPS 34943 HAS SOUS 28292 HAS SOUPS 23693 WITH SCORE 23770.864
AT ITER 4172 NEW BEST:: SOT 154779 SOS 78008 HAS SOPS 35087 HAS SOUS 28266 HAS SOUPS 23667 WITH SCORE 23745.008
AT ITER 4203 NEW BEST:: SOT 154778 SOS 78007 HAS SOPS 35086 HAS SOUS 28265 HAS SOUPS 23666 WITH SCORE 23744.007
AT ITER 4215 NEW BEST:: SOT 154784 SOS 78013 HAS SOPS 35088 HAS SOUS 28257 HAS SOUPS 23658 WITH SCORE 23736.013
AT ITER 4226 NEW BEST:: SOT 154783 SOS 78012 HAS SOPS 35086 HAS SOUS 28255 HAS SOUPS 23656 WITH SCORE 23734.012
AT ITER 4244 NEW BEST:: SOT 154782 SOS 78011 HAS SOPS 35073 HAS SOUS 28242 HAS SOUPS 23643 WITH SCORE 23721.011
AT ITER 4248 NEW BEST:: SOT 154740 SOS 78129 HAS SOPS 35030 HAS SOUS 28242 HAS SOUPS 23636 WITH SCORE 23714.129
AT ITER 4253 NEW BEST:: SOT 154740 SOS 78157 HAS SOPS 35002 HAS SOUS 28214 HAS SOUPS 23608 WITH SCORE 23686.157
AT ITER 4288 NEW BEST:: SOT 154757 SOS 78252 HAS SOPS 34944 HAS SOUS 28148 HAS SOUPS 23518 WITH SCORE 23596.252
AT ITER 4294 NEW BEST:: SOT 154747 SOS 78242 HAS SOPS 34924 HAS SOUS 28138 HAS SOUPS 23508 WITH SCORE 23586.242
AT ITER 4298 NEW BEST:: SOT 154722 SOS 78223 HAS SOPS 34909 HAS SOUS 28118 HAS SOUPS 23488 WITH SCORE 23566.223
AT ITER 4348 NEW BEST:: SOT 154721 SOS 78215 HAS SOPS 34901 HAS SOUS 28116 HAS SOUPS 23486 WITH SCORE 23564.215
AT ITER 4380 NEW BEST:: SOT 154718 SOS 78206 HAS SOPS 34892 HAS SOUS 28110 HAS SOUPS 23480 WITH SCORE 23558.206
AT ITER 4383 NEW BEST:: SOT 154621 SOS 78433 HAS SOPS 34795 HAS SOUS 28092 HAS SOUPS 23380 WITH SCORE 23458.433
AT ITER 4411 NEW BEST:: SOT 154545 SOS 78275 HAS SOPS 34637 HAS SOUS 27934 HAS SOUPS 23222 WITH SCORE 23300.275
AT ITER 4413 NEW BEST:: SOT 154544 SOS 78502 HAS SOPS 34630 HAS SOUS 27979 HAS SOUPS 23215 WITH SCORE 23293.502
AT ITER 4441 NEW BEST:: SOT 154544 SOS 78498 HAS SOPS 34626 HAS SOUS 27977 HAS SOUPS 23213 WITH SCORE 23291.498
AT ITER 4448 NEW BEST:: SOT 154530 SOS 77900 HAS SOPS 34485 HAS SOUS 27877 HAS SOUPS 23129 WITH SCORE 23206.9
AT ITER 4469 NEW BEST:: SOT 154526 SOS 77894 HAS SOPS 34479 HAS SOUS 27871 HAS SOUPS 23123 WITH SCORE 23200.894
AT ITER 4476 NEW BEST:: SOT 154442 SOS 77796 HAS SOPS 34353 HAS SOUS 27780 HAS SOUPS 23025 WITH SCORE 23102.796
AT ITER 4520 NEW BEST:: SOT 154441 SOS 77809 HAS SOPS 34351 HAS SOUS 27758 HAS SOUPS 22996 WITH SCORE 23073.809
AT ITER 4522 NEW BEST:: SOT 154439 SOS 77803 HAS SOPS 34345 HAS SOUS 27754 HAS SOUPS 22992 WITH SCORE 23069.803
AT ITER 4607 NEW BEST:: SOT 154426 SOS 77777 HAS SOPS 34319 HAS SOUS 27728 HAS SOUPS 22966 WITH SCORE 23043.777
AT ITER 4630 NEW BEST:: SOT 154349 SOS 77815 HAS SOPS 34357 HAS SOUS 27662 HAS SOUPS 22900 WITH SCORE 22977.815
AT ITER 4660 NEW BEST:: SOT 154337 SOS 77803 HAS SOPS 34321 HAS SOUS 27638 HAS SOUPS 22876 WITH SCORE 22953.803
AT ITER 4674 NEW BEST:: SOT 154337 SOS 77802 HAS SOPS 34320 HAS SOUS 27634 HAS SOUPS 22872 WITH SCORE 22949.802
AT ITER 4676 NEW BEST:: SOT 154334 SOS 77788 HAS SOPS 34306 HAS SOUS 27628 HAS SOUPS 22866 WITH SCORE 22943.788
AT ITER 4714 NEW BEST:: SOT 154334 SOS 77740 HAS SOPS 34258 HAS SOUS 27622 HAS SOUPS 22860 WITH SCORE 22937.74
AT ITER 4743 NEW BEST:: SOT 154326 SOS 77744 HAS SOPS 34260 HAS SOUS 27614 HAS SOUPS 22852 WITH SCORE 22929.744
AT ITER 4776 NEW BEST:: SOT 154326 SOS 77679 HAS SOPS 34195 HAS SOUS 27614 HAS SOUPS 22852 WITH SCORE 22929.679
AT ITER 4790 NEW BEST:: SOT 154292 SOS 77637 HAS SOPS 34145 HAS SOUS 27565 HAS SOUPS 22802 WITH SCORE 22879.637
AT ITER 4806 NEW BEST:: SOT 154301 SOS 77618 HAS SOPS 34124 HAS SOUS 27544 HAS SOUPS 22781 WITH SCORE 22858.618
AT ITER 4844 NEW BEST:: SOT 154296 SOS 77608 HAS SOPS 34119 HAS SOUS 27539 HAS SOUPS 22776 WITH SCORE 22853.608
AT ITER 4845 NEW BEST:: SOT 154297 SOS 77634 HAS SOPS 34083 HAS SOUS 27503 HAS SOUPS 22740 WITH SCORE 22817.634
AT ITER 4912 NEW BEST:: SOT 154298 SOS 77635 HAS SOPS 34085 HAS SOUS 27477 HAS SOUPS 22714 WITH SCORE 22791.635
AT ITER 4917 NEW BEST:: SOT 154348 SOS 77690 HAS SOPS 34140 HAS SOUS 27472 HAS SOUPS 22709 WITH SCORE 22786.69
AT ITER 4980 NEW BEST:: SOT 154339 SOS 77705 HAS SOPS 34155 HAS SOUS 27465 HAS SOUPS 22702 WITH SCORE 22779.705
AT ITER 5006 NEW BEST:: SOT 154258 SOS 78579 HAS SOPS 34023 HAS SOUS 27502 HAS SOUPS 22696 WITH SCORE 22774.579
AT ITER 5018 NEW BEST:: SOT 154252 SOS 78601 HAS SOPS 34039 HAS SOUS 27490 HAS SOUPS 22684 WITH SCORE 22762.601
AT ITER 5020 NEW BEST:: SOT 154252 SOS 78567 HAS SOPS 34005 HAS SOUS 27473 HAS SOUPS 22667 WITH SCORE 22745.567
AT ITER 5039 NEW BEST:: SOT 154252 SOS 78519 HAS SOPS 33973 HAS SOUS 27473 HAS SOUPS 22667 WITH SCORE 22745.519
AT ITER 5040 NEW BEST:: SOT 154252 SOS 78494 HAS SOPS 33973 HAS SOUS 27473 HAS SOUPS 22667 WITH SCORE 22745.494
AT ITER 5061 NEW BEST:: SOT 154250 SOS 78492 HAS SOPS 33969 HAS SOUS 27469 HAS SOUPS 22663 WITH SCORE 22741.492
AT ITER 5086 NEW BEST:: SOT 154184 SOS 78426 HAS SOPS 33903 HAS SOUS 27409 HAS SOUPS 22603 WITH SCORE 22681.426
AT ITER 5115 NEW BEST:: SOT 154183 SOS 78420 HAS SOPS 33897 HAS SOUS 27407 HAS SOUPS 22601 WITH SCORE 22679.42
AT ITER 5145 NEW BEST:: SOT 154183 SOS 78386 HAS SOPS 33897 HAS SOUS 27407 HAS SOUPS 22601 WITH SCORE 22679.386
AT ITER 5154 NEW BEST:: SOT 154313 SOS 78572 HAS SOPS 34120 HAS SOUS 27399 HAS SOUPS 22593 WITH SCORE 22671.572
AT ITER 5175 NEW BEST:: SOT 154323 SOS 78552 HAS SOPS 34080 HAS SOUS 27379 HAS SOUPS 22573 WITH SCORE 22651.552
AT ITER 5240 NEW BEST:: SOT 154320 SOS 78546 HAS SOPS 34072 HAS SOUS 27372 HAS SOUPS 22566 WITH SCORE 22644.546
AT ITER 5260 NEW BEST:: SOT 154325 SOS 78421 HAS SOPS 34077 HAS SOUS 27367 HAS SOUPS 22566 WITH SCORE 22644.421
AT ITER 5278 NEW BEST:: SOT 154328 SOS 78424 HAS SOPS 34077 HAS SOUS 27355 HAS SOUPS 22554 WITH SCORE 22632.424
AT ITER 5326 NEW BEST:: SOT 154317 SOS 78413 HAS SOPS 34055 HAS SOUS 27333 HAS SOUPS 22532 WITH SCORE 22610.413
AT ITER 5339 NEW BEST:: SOT 154313 SOS 78413 HAS SOPS 34055 HAS SOUS 27322 HAS SOUPS 22521 WITH SCORE 22599.413
AT ITER 5342 NEW BEST:: SOT 154312 SOS 78409 HAS SOPS 34007 HAS SOUS 27318 HAS SOUPS 22517 WITH SCORE 22595.409
AT ITER 5349 NEW BEST:: SOT 154312 SOS 78393 HAS SOPS 34007 HAS SOUS 27318 HAS SOUPS 22517 WITH SCORE 22595.393
AT ITER 5370 NEW BEST:: SOT 154302 SOS 78383 HAS SOPS 33987 HAS SOUS 27298 HAS SOUPS 22497 WITH SCORE 22575.383
AT ITER 5383 NEW BEST:: SOT 154206 SOS 78279 HAS SOPS 33875 HAS SOUS 27198 HAS SOUPS 22385 WITH SCORE 22463.279
AT ITER 5393 NEW BEST:: SOT 154171 SOS 78238 HAS SOPS 33805 HAS SOUS 27176 HAS SOUPS 22363 WITH SCORE 22441.238
AT ITER 5406 NEW BEST:: SOT 154164 SOS 78224 HAS SOPS 33784 HAS SOUS 27162 HAS SOUPS 22349 WITH SCORE 22427.224
AT ITER 5448 NEW BEST:: SOT 153751 SOS 77770 HAS SOPS 33420 HAS SOUS 27095 HAS SOUPS 22282 WITH SCORE 22359.77
AT ITER 5458 NEW BEST:: SOT 153732 SOS 77733 HAS SOPS 33346 HAS SOUS 26985 HAS SOUPS 22172 WITH SCORE 22249.733
AT ITER 5473 NEW BEST:: SOT 153713 SOS 77688 HAS SOPS 33301 HAS SOUS 26953 HAS SOUPS 22140 WITH SCORE 22217.688
AT ITER 5499 NEW BEST:: SOT 153506 SOS 77476 HAS SOPS 33103 HAS SOUS 26854 HAS SOUPS 22041 WITH SCORE 22118.476
AT ITER 5502 NEW BEST:: SOT 153501 SOS 77471 HAS SOPS 33093 HAS SOUS 26844 HAS SOUPS 22031 WITH SCORE 22108.471
AT ITER 5523 NEW BEST:: SOT 153522 SOS 77492 HAS SOPS 33089 HAS SOUS 26840 HAS SOUPS 22027 WITH SCORE 22104.492
AT ITER 5527 NEW BEST:: SOT 153518 SOS 77488 HAS SOPS 33083 HAS SOUS 26834 HAS SOUPS 22021 WITH SCORE 22098.488
AT ITER 5530 NEW BEST:: SOT 153516 SOS 77495 HAS SOPS 33081 HAS SOUS 26833 HAS SOUPS 22018 WITH SCORE 22095.495
AT ITER 5534 NEW BEST:: SOT 153454 SOS 77427 HAS SOPS 33013 HAS SOUS 26765 HAS SOUPS 21950 WITH SCORE 22027.427
AT ITER 5554 NEW BEST:: SOT 153432 SOS 77393 HAS SOPS 32979 HAS SOUS 26731 HAS SOUPS 21916 WITH SCORE 21993.393
AT ITER 5559 NEW BEST:: SOT 153417 SOS 77363 HAS SOPS 32949 HAS SOUS 26701 HAS SOUPS 21886 WITH SCORE 21963.363
AT ITER 5566 NEW BEST:: SOT 153409 SOS 77347 HAS SOPS 32925 HAS SOUS 26685 HAS SOUPS 21870 WITH SCORE 21947.347
AT ITER 5570 NEW BEST:: SOT 153406 SOS 77336 HAS SOPS 32914 HAS SOUS 26679 HAS SOUPS 21864 WITH SCORE 21941.336
AT ITER 5584 NEW BEST:: SOT 153376 SOS 77526 HAS SOPS 32841 HAS SOUS 26647 HAS SOUPS 21823 WITH SCORE 21900.526
AT ITER 5585 NEW BEST:: SOT 153359 SOS 77487 HAS SOPS 32772 HAS SOUS 26578 HAS SOUPS 21754 WITH SCORE 21831.487
AT ITER 5592 NEW BEST:: SOT 153352 SOS 77436 HAS SOPS 32721 HAS SOUS 26571 HAS SOUPS 21747 WITH SCORE 21824.436
AT ITER 5594 NEW BEST:: SOT 153322 SOS 77400 HAS SOPS 32700 HAS SOUS 26550 HAS SOUPS 21726 WITH SCORE 21803.4
AT ITER 5602 NEW BEST:: SOT 153314 SOS 77416 HAS SOPS 32716 HAS SOUS 26544 HAS SOUPS 21720 WITH SCORE 21797.416
AT ITER 5610 NEW BEST:: SOT 153178 SOS 77234 HAS SOPS 32631 HAS SOUS 26533 HAS SOUPS 21709 WITH SCORE 21786.234
AT ITER 5628 NEW BEST:: SOT 153162 SOS 77210 HAS SOPS 32589 HAS SOUS 26499 HAS SOUPS 21667 WITH SCORE 21744.21
AT ITER 5678 NEW BEST:: SOT 153174 SOS 77223 HAS SOPS 32567 HAS SOUS 26512 HAS SOUPS 21645 WITH SCORE 21722.223
AT ITER 5704 NEW BEST:: SOT 153033 SOS 77143 HAS SOPS 32485 HAS SOUS 26485 HAS SOUPS 21618 WITH SCORE 21695.143
AT ITER 5743 NEW BEST:: SOT 153003 SOS 77110 HAS SOPS 32446 HAS SOUS 26452 HAS SOUPS 21582 WITH SCORE 21659.11
AT ITER 5756 NEW BEST:: SOT 153037 SOS 77144 HAS SOPS 32457 HAS SOUS 26460 HAS SOUPS 21555 WITH SCORE 21632.144
AT ITER 5763 NEW BEST:: SOT 153037 SOS 77132 HAS SOPS 32457 HAS SOUS 26460 HAS SOUPS 21555 WITH SCORE 21632.132
AT ITER 5775 NEW BEST:: SOT 153022 SOS 77102 HAS SOPS 32427 HAS SOUS 26430 HAS SOUPS 21525 WITH SCORE 21602.102
AT ITER 5776 NEW BEST:: SOT 153022 SOS 77018 HAS SOPS 32343 HAS SOUS 26430 HAS SOUPS 21525 WITH SCORE 21602.018
AT ITER 5791 NEW BEST:: SOT 153016 SOS 77012 HAS SOPS 32331 HAS SOUS 26418 HAS SOUPS 21513 WITH SCORE 21590.012
AT ITER 5826 NEW BEST:: SOT 153016 SOS 77018 HAS SOPS 32325 HAS SOUS 26412 HAS SOUPS 21507 WITH SCORE 21584.018
AT ITER 5860 NEW BEST:: SOT 153011 SOS 76953 HAS SOPS 32202 HAS SOUS 26339 HAS SOUPS 21434 WITH SCORE 21510.953
AT ITER 5899 NEW BEST:: SOT 153011 SOS 76960 HAS SOPS 32209 HAS SOUS 26329 HAS SOUPS 21424 WITH SCORE 21500.96
AT ITER 5919 NEW BEST:: SOT 153045 SOS 76994 HAS SOPS 32220 HAS SOUS 26328 HAS SOUPS 21423 WITH SCORE 21499.994
AT ITER 5947 NEW BEST:: SOT 153027 SOS 76976 HAS SOPS 32196 HAS SOUS 26310 HAS SOUPS 21399 WITH SCORE 21475.976
AT ITER 5961 NEW BEST:: SOT 153007 SOS 76981 HAS SOPS 32193 HAS SOUS 26307 HAS SOUPS 21396 WITH SCORE 21472.981
AT ITER 5964 NEW BEST:: SOT 153003 SOS 76977 HAS SOPS 32195 HAS SOUS 26303 HAS SOUPS 21392 WITH SCORE 21468.977
AT ITER 5986 NEW BEST:: SOT 153006 SOS 76980 HAS SOPS 32193 HAS SOUS 26301 HAS SOUPS 21390 WITH SCORE 21466.98
AT ITER 5994 NEW BEST:: SOT 152998 SOS 76972 HAS SOPS 32161 HAS SOUS 26269 HAS SOUPS 21358 WITH SCORE 21434.972
AT ITER 6021 NEW BEST:: SOT 152993 SOS 76966 HAS SOPS 32151 HAS SOUS 26262 HAS SOUPS 21351 WITH SCORE 21427.966
AT ITER 6041 NEW BEST:: SOT 152991 SOS 76948 HAS SOPS 32133 HAS SOUS 26258 HAS SOUPS 21347 WITH SCORE 21423.948
AT ITER 6052 NEW BEST:: SOT 152978 SOS 76922 HAS SOPS 32107 HAS SOUS 26232 HAS SOUPS 21321 WITH SCORE 21397.922
AT ITER 6065 NEW BEST:: SOT 153048 SOS 76985 HAS SOPS 32103 HAS SOUS 26228 HAS SOUPS 21317 WITH SCORE 21393.985
AT ITER 6076 NEW BEST:: SOT 153048 SOS 76833 HAS SOPS 32087 HAS SOUS 26218 HAS SOUPS 21309 WITH SCORE 21385.833
AT ITER 6096 NEW BEST:: SOT 153048 SOS 76832 HAS SOPS 32087 HAS SOUS 26218 HAS SOUPS 21309 WITH SCORE 21385.832
AT ITER 6108 NEW BEST:: SOT 153040 SOS 76824 HAS SOPS 32082 HAS SOUS 26210 HAS SOUPS 21304 WITH SCORE 21380.824
AT ITER 6110 NEW BEST:: SOT 153052 SOS 76836 HAS SOPS 32048 HAS SOUS 26176 HAS SOUPS 21270 WITH SCORE 21346.836
AT ITER 6122 NEW BEST:: SOT 153044 SOS 76828 HAS SOPS 32048 HAS SOUS 26176 HAS SOUPS 21270 WITH SCORE 21346.828
AT ITER 6123 NEW BEST:: SOT 153042 SOS 76837 HAS SOPS 32044 HAS SOUS 26172 HAS SOUPS 21266 WITH SCORE 21342.837
AT ITER 6139 NEW BEST:: SOT 153038 SOS 76829 HAS SOPS 32032 HAS SOUS 26164 HAS SOUPS 21258 WITH SCORE 21334.829
AT ITER 6202 NEW BEST:: SOT 153035 SOS 76814 HAS SOPS 32017 HAS SOUS 26161 HAS SOUPS 21255 WITH SCORE 21331.814
AT ITER 6205 NEW BEST:: SOT 152982 SOS 77984 HAS SOPS 31994 HAS SOUS 26193 HAS SOUPS 21248 WITH SCORE 21325.984
AT ITER 6211 NEW BEST:: SOT 152978 SOS 77980 HAS SOPS 31989 HAS SOUS 26193 HAS SOUPS 21248 WITH SCORE 21325.98
AT ITER 6212 NEW BEST:: SOT 152976 SOS 78000 HAS SOPS 32009 HAS SOUS 26189 HAS SOUPS 21244 WITH SCORE 21322.0
AT ITER 6219 NEW BEST:: SOT 152953 SOS 80124 HAS SOPS 31878 HAS SOUS 26245 HAS SOUPS 21224 WITH SCORE 21304.124
AT ITER 6269 NEW BEST:: SOT 152912 SOS 80083 HAS SOPS 31868 HAS SOUS 26235 HAS SOUPS 21214 WITH SCORE 21294.083
AT ITER 6270 NEW BEST:: SOT 152910 SOS 80081 HAS SOPS 31868 HAS SOUS 26235 HAS SOUPS 21214 WITH SCORE 21294.081
AT ITER 6326 NEW BEST:: SOT 152908 SOS 80068 HAS SOPS 31855 HAS SOUS 26231 HAS SOUPS 21210 WITH SCORE 21290.068
AT ITER 6339 NEW BEST:: SOT 152926 SOS 80086 HAS SOPS 31849 HAS SOUS 26225 HAS SOUPS 21204 WITH SCORE 21284.086
AT ITER 6359 NEW BEST:: SOT 152926 SOS 80060 HAS SOPS 31797 HAS SOUS 26173 HAS SOUPS 21152 WITH SCORE 21232.06
AT ITER 6387 NEW BEST:: SOT 152913 SOS 80058 HAS SOPS 31747 HAS SOUS 26123 HAS SOUPS 21102 WITH SCORE 21182.058
AT ITER 6393 NEW BEST:: SOT 152913 SOS 80034 HAS SOPS 31747 HAS SOUS 26123 HAS SOUPS 21102 WITH SCORE 21182.034
AT ITER 6415 NEW BEST:: SOT 152901 SOS 80016 HAS SOPS 31729 HAS SOUS 26105 HAS SOUPS 21084 WITH SCORE 21164.016
AT ITER 6416 NEW BEST:: SOT 152898 SOS 80011 HAS SOPS 31719 HAS SOUS 26100 HAS SOUPS 21077 WITH SCORE 21157.011
AT ITER 6427 NEW BEST:: SOT 152806 SOS 79901 HAS SOPS 31609 HAS SOUS 26085 HAS SOUPS 21062 WITH SCORE 21141.901
AT ITER 6431 NEW BEST:: SOT 152807 SOS 79903 HAS SOPS 31603 HAS SOUS 26079 HAS SOUPS 21056 WITH SCORE 21135.903
AT ITER 6444 NEW BEST:: SOT 152825 SOS 79885 HAS SOPS 31603 HAS SOUS 26079 HAS SOUPS 21056 WITH SCORE 21135.885
AT ITER 6453 NEW BEST:: SOT 152832 SOS 79880 HAS SOPS 31598 HAS SOUS 26074 HAS SOUPS 21051 WITH SCORE 21130.88
AT ITER 6512 NEW BEST:: SOT 152824 SOS 79872 HAS SOPS 31590 HAS SOUS 26074 HAS SOUPS 21051 WITH SCORE 21130.872
AT ITER 6527 NEW BEST:: SOT 152837 SOS 79870 HAS SOPS 31546 HAS SOUS 26072 HAS SOUPS 21049 WITH SCORE 21128.87
AT ITER 6536 NEW BEST:: SOT 152837 SOS 79859 HAS SOPS 31524 HAS SOUS 26050 HAS SOUPS 21027 WITH SCORE 21106.859
AT ITER 6620 NEW BEST:: SOT 152810 SOS 79847 HAS SOPS 31513 HAS SOUS 26024 HAS SOUPS 21001 WITH SCORE 21080.847
AT ITER 6732 NEW BEST:: SOT 152807 SOS 79844 HAS SOPS 31507 HAS SOUS 26027 HAS SOUPS 20995 WITH SCORE 21074.844
AT ITER 6740 NEW BEST:: SOT 152798 SOS 79826 HAS SOPS 31489 HAS SOUS 26009 HAS SOUPS 20977 WITH SCORE 21056.826
AT ITER 6751 NEW BEST:: SOT 152781 SOS 79876 HAS SOPS 31455 HAS SOUS 25988 HAS SOUPS 20943 WITH SCORE 21022.876
AT ITER 6761 NEW BEST:: SOT 152742 SOS 79816 HAS SOPS 31451 HAS SOUS 25984 HAS SOUPS 20939 WITH SCORE 21018.816
AT ITER 6809 NEW BEST:: SOT 152742 SOS 79822 HAS SOPS 31457 HAS SOUS 25979 HAS SOUPS 20934 WITH SCORE 21013.822
AT ITER 6814 NEW BEST:: SOT 152697 SOS 80083 HAS SOPS 31395 HAS SOUS 25984 HAS SOUPS 20920 WITH SCORE 21000.083
AT ITER 6867 NEW BEST:: SOT 152711 SOS 80091 HAS SOPS 31368 HAS SOUS 25981 HAS SOUPS 20917 WITH SCORE 20997.091
AT ITER 6877 NEW BEST:: SOT 152693 SOS 80074 HAS SOPS 31313 HAS SOUS 25926 HAS SOUPS 20862 WITH SCORE 20942.074
AT ITER 6912 NEW BEST:: SOT 152661 SOS 80061 HAS SOPS 31299 HAS SOUS 25911 HAS SOUPS 20847 WITH SCORE 20927.061
AT ITER 6927 NEW BEST:: SOT 152633 SOS 80026 HAS SOPS 31243 HAS SOUS 25904 HAS SOUPS 20840 WITH SCORE 20920.026
AT ITER 6958 NEW BEST:: SOT 152624 SOS 80017 HAS SOPS 31234 HAS SOUS 25904 HAS SOUPS 20840 WITH SCORE 20920.017
AT ITER 6974 NEW BEST:: SOT 152593 SOS 79956 HAS SOPS 31166 HAS SOUS 25836 HAS SOUPS 20772 WITH SCORE 20851.956
AT ITER 7003 NEW BEST:: SOT 152644 SOS 80411 HAS SOPS 31092 HAS SOUS 25915 HAS SOUPS 20759 WITH SCORE 20839.411
AT ITER 7027 NEW BEST:: SOT 152643 SOS 80487 HAS SOPS 31168 HAS SOUS 25913 HAS SOUPS 20757 WITH SCORE 20837.487
AT ITER 7066 NEW BEST:: SOT 152643 SOS 80451 HAS SOPS 31132 HAS SOUS 25907 HAS SOUPS 20751 WITH SCORE 20831.451
AT ITER 7105 NEW BEST:: SOT 152662 SOS 80479 HAS SOPS 31161 HAS SOUS 25879 HAS SOUPS 20725 WITH SCORE 20805.479
AT ITER 7225 NEW BEST:: SOT 152660 SOS 80457 HAS SOPS 31139 HAS SOUS 25875 HAS SOUPS 20721 WITH SCORE 20801.457
AT ITER 7233 NEW BEST:: SOT 152656 SOS 80454 HAS SOPS 31136 HAS SOUS 25872 HAS SOUPS 20718 WITH SCORE 20798.454
AT ITER 7261 NEW BEST:: SOT 152658 SOS 80450 HAS SOPS 31132 HAS SOUS 25868 HAS SOUPS 20714 WITH SCORE 20794.45
AT ITER 7280 NEW BEST:: SOT 152655 SOS 80447 HAS SOPS 31127 HAS SOUS 25865 HAS SOUPS 20709 WITH SCORE 20789.447
AT ITER 7304 NEW BEST:: SOT 152646 SOS 80448 HAS SOPS 31128 HAS SOUS 25856 HAS SOUPS 20700 WITH SCORE 20780.448
AT ITER 7317 NEW BEST:: SOT 152679 SOS 80447 HAS SOPS 31106 HAS SOUS 25834 HAS SOUPS 20678 WITH SCORE 20758.447
AT ITER 7357 NEW BEST:: SOT 152671 SOS 80445 HAS SOPS 31104 HAS SOUS 25832 HAS SOUPS 20676 WITH SCORE 20756.445
AT ITER 7371 NEW BEST:: SOT 152647 SOS 80423 HAS SOPS 31046 HAS SOUS 25806 HAS SOUPS 20650 WITH SCORE 20730.423
AT ITER 7376 NEW BEST:: SOT 152697 SOS 80478 HAS SOPS 31101 HAS SOUS 25801 HAS SOUPS 20645 WITH SCORE 20725.478
AT ITER 7380 NEW BEST:: SOT 152694 SOS 80475 HAS SOPS 31101 HAS SOUS 25801 HAS SOUPS 20645 WITH SCORE 20725.475
AT ITER 7437 NEW BEST:: SOT 152672 SOS 80429 HAS SOPS 30997 HAS SOUS 25755 HAS SOUPS 20587 WITH SCORE 20667.429
AT ITER 7468 NEW BEST:: SOT 152662 SOS 80419 HAS SOPS 30979 HAS SOUS 25737 HAS SOUPS 20569 WITH SCORE 20649.419
AT ITER 7536 NEW BEST:: SOT 152672 SOS 80456 HAS SOPS 30972 HAS SOUS 25730 HAS SOUPS 20562 WITH SCORE 20642.456
AT ITER 7558 NEW BEST:: SOT 152669 SOS 80450 HAS SOPS 30966 HAS SOUS 25724 HAS SOUPS 20556 WITH SCORE 20636.45
AT ITER 7566 NEW BEST:: SOT 152669 SOS 80448 HAS SOPS 30966 HAS SOUS 25724 HAS SOUPS 20556 WITH SCORE 20636.448
AT ITER 7666 NEW BEST:: SOT 152664 SOS 80417 HAS SOPS 30956 HAS SOUS 25714 HAS SOUPS 20546 WITH SCORE 20626.417
AT ITER 7695 NEW BEST:: SOT 152654 SOS 80397 HAS SOPS 30936 HAS SOUS 25713 HAS SOUPS 20545 WITH SCORE 20625.397
AT ITER 7696 NEW BEST:: SOT 152654 SOS 80381 HAS SOPS 30920 HAS SOUS 25713 HAS SOUPS 20545 WITH SCORE 20625.381
AT ITER 7700 NEW BEST:: SOT 152656 SOS 80355 HAS SOPS 30854 HAS SOUS 25687 HAS SOUPS 20505 WITH SCORE 20585.355
AT ITER 7713 NEW BEST:: SOT 152657 SOS 80357 HAS SOPS 30856 HAS SOUS 25685 HAS SOUPS 20503 WITH SCORE 20583.357
AT ITER 7727 NEW BEST:: SOT 152650 SOS 80327 HAS SOPS 30826 HAS SOUS 25683 HAS SOUPS 20501 WITH SCORE 20581.327
AT ITER 7776 NEW BEST:: SOT 152636 SOS 80202 HAS SOPS 30788 HAS SOUS 25678 HAS SOUPS 20499 WITH SCORE 20579.202
AT ITER 7887 NEW BEST:: SOT 152658 SOS 80224 HAS SOPS 30810 HAS SOUS 25676 HAS SOUPS 20497 WITH SCORE 20577.224
AT ITER 7905 NEW BEST:: SOT 152629 SOS 80196 HAS SOPS 30782 HAS SOUS 25648 HAS SOUPS 20469 WITH SCORE 20549.196
AT ITER 7924 NEW BEST:: SOT 152625 SOS 80196 HAS SOPS 30786 HAS SOUS 25644 HAS SOUPS 20465 WITH SCORE 20545.196
AT ITER 7938 NEW BEST:: SOT 152589 SOS 80195 HAS SOPS 30784 HAS SOUS 25642 HAS SOUPS 20463 WITH SCORE 20543.195
AT ITER 7954 NEW BEST:: SOT 152547 SOS 80153 HAS SOPS 30742 HAS SOUS 25600 HAS SOUPS 20421 WITH SCORE 20501.153
AT ITER 7988 NEW BEST:: SOT 152537 SOS 80133 HAS SOPS 30722 HAS SOUS 25580 HAS SOUPS 20401 WITH SCORE 20481.133
AT ITER 7989 NEW BEST:: SOT 152513 SOS 80053 HAS SOPS 30717 HAS SOUS 25575 HAS SOUPS 20396 WITH SCORE 20476.053
AT ITER 8012 NEW BEST:: SOT 152513 SOS 80041 HAS SOPS 30687 HAS SOUS 25563 HAS SOUPS 20384 WITH SCORE 20464.041
AT ITER 8127 NEW BEST:: SOT 152513 SOS 80039 HAS SOPS 30685 HAS SOUS 25561 HAS SOUPS 20382 WITH SCORE 20462.039
AT ITER 8147 NEW BEST:: SOT 152355 SOS 80335 HAS SOPS 30426 HAS SOUS 25578 HAS SOUPS 20373 WITH SCORE 20453.335
AT ITER 8163 NEW BEST:: SOT 152264 SOS 80244 HAS SOPS 30264 HAS SOUS 25578 HAS SOUPS 20373 WITH SCORE 20453.244
AT ITER 8233 NEW BEST:: SOT 152263 SOS 80288 HAS SOPS 30216 HAS SOUS 25530 HAS SOUPS 20325 WITH SCORE 20405.288
AT ITER 8240 NEW BEST:: SOT 152259 SOS 80295 HAS SOPS 30179 HAS SOUS 25493 HAS SOUPS 20288 WITH SCORE 20368.295
AT ITER 8279 NEW BEST:: SOT 152160 SOS 80175 HAS SOPS 30149 HAS SOUS 25463 HAS SOUPS 20258 WITH SCORE 20338.175
AT ITER 8280 NEW BEST:: SOT 152157 SOS 80165 HAS SOPS 30148 HAS SOUS 25462 HAS SOUPS 20257 WITH SCORE 20337.165
AT ITER 8294 NEW BEST:: SOT 152132 SOS 81325 HAS SOPS 30016 HAS SOUS 25466 HAS SOUPS 20227 WITH SCORE 20308.325
AT ITER 8312 NEW BEST:: SOT 152127 SOS 80671 HAS SOPS 30008 HAS SOUS 25441 HAS SOUPS 20219 WITH SCORE 20299.671
AT ITER 8347 NEW BEST:: SOT 152027 SOS 80590 HAS SOPS 29953 HAS SOUS 25371 HAS SOUPS 20149 WITH SCORE 20229.59
AT ITER 8418 NEW BEST:: SOT 152019 SOS 80622 HAS SOPS 29985 HAS SOUS 25359 HAS SOUPS 20137 WITH SCORE 20217.622
AT ITER 8512 NEW BEST:: SOT 152033 SOS 80244 HAS SOPS 30041 HAS SOUS 25345 HAS SOUPS 20137 WITH SCORE 20217.244
AT ITER 8514 NEW BEST:: SOT 152027 SOS 80238 HAS SOPS 30017 HAS SOUS 25321 HAS SOUPS 20113 WITH SCORE 20193.238
AT ITER 8546 NEW BEST:: SOT 152016 SOS 80161 HAS SOPS 29940 HAS SOUS 25310 HAS SOUPS 20102 WITH SCORE 20182.161
AT ITER 8558 NEW BEST:: SOT 152015 SOS 80150 HAS SOPS 29929 HAS SOUS 25308 HAS SOUPS 20100 WITH SCORE 20180.15
AT ITER 8575 NEW BEST:: SOT 152004 SOS 80134 HAS SOPS 29907 HAS SOUS 25297 HAS SOUPS 20089 WITH SCORE 20169.134
AT ITER 8632 NEW BEST:: SOT 152004 SOS 80105 HAS SOPS 29878 HAS SOUS 25297 HAS SOUPS 20089 WITH SCORE 20169.105
AT ITER 8647 NEW BEST:: SOT 151998 SOS 80096 HAS SOPS 29872 HAS SOUS 25291 HAS SOUPS 20083 WITH SCORE 20163.096
AT ITER 8661 NEW BEST:: SOT 151999 SOS 80096 HAS SOPS 29858 HAS SOUS 25283 HAS SOUPS 20069 WITH SCORE 20149.096
AT ITER 8682 NEW BEST:: SOT 151999 SOS 80105 HAS SOPS 29849 HAS SOUS 25274 HAS SOUPS 20060 WITH SCORE 20140.105
AT ITER 8707 NEW BEST:: SOT 151857 SOS 81373 HAS SOPS 29686 HAS SOUS 25300 HAS SOUPS 20032 WITH SCORE 20113.373
AT ITER 8722 NEW BEST:: SOT 151853 SOS 81369 HAS SOPS 29660 HAS SOUS 25274 HAS SOUPS 20006 WITH SCORE 20087.369
AT ITER 8726 NEW BEST:: SOT 151802 SOS 81597 HAS SOPS 29609 HAS SOUS 25211 HAS SOUPS 19931 WITH SCORE 20012.597
AT ITER 8776 NEW BEST:: SOT 151779 SOS 81574 HAS SOPS 29501 HAS SOUS 25103 HAS SOUPS 19823 WITH SCORE 19904.574
AT ITER 8813 NEW BEST:: SOT 151779 SOS 81574 HAS SOPS 29492 HAS SOUS 25094 HAS SOUPS 19814 WITH SCORE 19895.574
AT ITER 8830 NEW BEST:: SOT 151779 SOS 81576 HAS SOPS 29490 HAS SOUS 25092 HAS SOUPS 19812 WITH SCORE 19893.576
AT ITER 8841 NEW BEST:: SOT 151659 SOS 81456 HAS SOPS 29360 HAS SOUS 25090 HAS SOUPS 19800 WITH SCORE 19881.456
AT ITER 8885 NEW BEST:: SOT 151618 SOS 81415 HAS SOPS 29321 HAS SOUS 25051 HAS SOUPS 19761 WITH SCORE 19842.415
AT ITER 8932 NEW BEST:: SOT 151559 SOS 81974 HAS SOPS 29382 HAS SOUS 25114 HAS SOUPS 19729 WITH SCORE 19810.974
AT ITER 8971 NEW BEST:: SOT 151559 SOS 81902 HAS SOPS 29310 HAS SOUS 25114 HAS SOUPS 19729 WITH SCORE 19810.902
AT ITER 8975 NEW BEST:: SOT 151558 SOS 81900 HAS SOPS 29307 HAS SOUS 25111 HAS SOUPS 19726 WITH SCORE 19807.9
AT ITER 8976 NEW BEST:: SOT 151537 SOS 81805 HAS SOPS 29300 HAS SOUS 25090 HAS SOUPS 19719 WITH SCORE 19800.805
AT ITER 8991 NEW BEST:: SOT 151529 SOS 81793 HAS SOPS 29292 HAS SOUS 25082 HAS SOUPS 19711 WITH SCORE 19792.793
AT ITER 9007 NEW BEST:: SOT 151521 SOS 81750 HAS SOPS 29249 HAS SOUS 25066 HAS SOUPS 19695 WITH SCORE 19776.75
AT ITER 9011 NEW BEST:: SOT 151524 SOS 81721 HAS SOPS 29251 HAS SOUS 25062 HAS SOUPS 19692 WITH SCORE 19773.721
AT ITER 9031 NEW BEST:: SOT 151521 SOS 81713 HAS SOPS 29243 HAS SOUS 25051 HAS SOUPS 19681 WITH SCORE 19762.713
AT ITER 9091 NEW BEST:: SOT 151476 SOS 81668 HAS SOPS 29189 HAS SOUS 25045 HAS SOUPS 19675 WITH SCORE 19756.668
AT ITER 9098 NEW BEST:: SOT 151421 SOS 81613 HAS SOPS 29181 HAS SOUS 25037 HAS SOUPS 19667 WITH SCORE 19748.613
AT ITER 9112 NEW BEST:: SOT 151429 SOS 81621 HAS SOPS 29142 HAS SOUS 25046 HAS SOUPS 19663 WITH SCORE 19744.621
AT ITER 9113 NEW BEST:: SOT 151428 SOS 81622 HAS SOPS 29142 HAS SOUS 25045 HAS SOUPS 19662 WITH SCORE 19743.622
AT ITER 9131 NEW BEST:: SOT 151390 SOS 81584 HAS SOPS 29122 HAS SOUS 25007 HAS SOUPS 19642 WITH SCORE 19723.584
AT ITER 9139 NEW BEST:: SOT 151352 SOS 81546 HAS SOPS 29070 HAS SOUS 24993 HAS SOUPS 19628 WITH SCORE 19709.546
AT ITER 9171 NEW BEST:: SOT 151330 SOS 81524 HAS SOPS 29070 HAS SOUS 24993 HAS SOUPS 19628 WITH SCORE 19709.524
AT ITER 9178 NEW BEST:: SOT 151332 SOS 81504 HAS SOPS 29071 HAS SOUS 24990 HAS SOUPS 19626 WITH SCORE 19707.504
AT ITER 9230 NEW BEST:: SOT 151280 SOS 81448 HAS SOPS 29019 HAS SOUS 24936 HAS SOUPS 19572 WITH SCORE 19653.448
AT ITER 9242 NEW BEST:: SOT 151260 SOS 81430 HAS SOPS 28999 HAS SOUS 24916 HAS SOUPS 19552 WITH SCORE 19633.43
AT ITER 9277 NEW BEST:: SOT 151250 SOS 81420 HAS SOPS 28988 HAS SOUS 24916 HAS SOUPS 19552 WITH SCORE 19633.42
AT ITER 9278 NEW BEST:: SOT 151246 SOS 81418 HAS SOPS 28990 HAS SOUS 24914 HAS SOUPS 19550 WITH SCORE 19631.418
AT ITER 9281 NEW BEST:: SOT 151246 SOS 81436 HAS SOPS 28988 HAS SOUS 24914 HAS SOUPS 19546 WITH SCORE 19627.436
AT ITER 9303 NEW BEST:: SOT 151250 SOS 81324 HAS SOPS 29000 HAS SOUS 24910 HAS SOUPS 19546 WITH SCORE 19627.324
AT ITER 9329 NEW BEST:: SOT 151253 SOS 81296 HAS SOPS 29003 HAS SOUS 24906 HAS SOUPS 19543 WITH SCORE 19624.296
AT ITER 9364 NEW BEST:: SOT 151249 SOS 81290 HAS SOPS 28999 HAS SOUS 24906 HAS SOUPS 19539 WITH SCORE 19620.29
AT ITER 9394 NEW BEST:: SOT 151251 SOS 81310 HAS SOPS 29019 HAS SOUS 24902 HAS SOUPS 19535 WITH SCORE 19616.31
AT ITER 9413 NEW BEST:: SOT 151253 SOS 81308 HAS SOPS 29017 HAS SOUS 24902 HAS SOUPS 19535 WITH SCORE 19616.308
AT ITER 9458 NEW BEST:: SOT 151253 SOS 82016 HAS SOPS 28995 HAS SOUS 24906 HAS SOUPS 19517 WITH SCORE 19599.016
AT ITER 9461 NEW BEST:: SOT 151253 SOS 82004 HAS SOPS 28995 HAS SOUS 24906 HAS SOUPS 19517 WITH SCORE 19599.004
AT ITER 9463 NEW BEST:: SOT 151253 SOS 82002 HAS SOPS 28995 HAS SOUS 24906 HAS SOUPS 19517 WITH SCORE 19599.002
AT ITER 9485 NEW BEST:: SOT 151241 SOS 81987 HAS SOPS 28995 HAS SOUS 24906 HAS SOUPS 19517 WITH SCORE 19598.987
AT ITER 9500 NEW BEST:: SOT 151239 SOS 81983 HAS SOPS 28991 HAS SOUS 24902 HAS SOUPS 19513 WITH SCORE 19594.983
AT ITER 9501 NEW BEST:: SOT 151268 SOS 81823 HAS SOPS 29020 HAS SOUS 24888 HAS SOUPS 19508 WITH SCORE 19589.823
AT ITER 9504 NEW BEST:: SOT 151257 SOS 81811 HAS SOPS 28977 HAS SOUS 24876 HAS SOUPS 19489 WITH SCORE 19570.811
AT ITER 9514 NEW BEST:: SOT 151253 SOS 81915 HAS SOPS 28977 HAS SOUS 24876 HAS SOUPS 19485 WITH SCORE 19566.915
AT ITER 9557 NEW BEST:: SOT 151249 SOS 81919 HAS SOPS 28981 HAS SOUS 24875 HAS SOUPS 19484 WITH SCORE 19565.919
AT ITER 9570 NEW BEST:: SOT 151248 SOS 81919 HAS SOPS 28981 HAS SOUS 24874 HAS SOUPS 19483 WITH SCORE 19564.919
AT ITER 9580 NEW BEST:: SOT 151248 SOS 81898 HAS SOPS 28963 HAS SOUS 24868 HAS SOUPS 19477 WITH SCORE 19558.898
AT ITER 9659 NEW BEST:: SOT 151245 SOS 81899 HAS SOPS 28959 HAS SOUS 24866 HAS SOUPS 19473 WITH SCORE 19554.899
AT ITER 9678 NEW BEST:: SOT 151245 SOS 81898 HAS SOPS 28959 HAS SOUS 24866 HAS SOUPS 19473 WITH SCORE 19554.898
AT ITER 9700 NEW BEST:: SOT 151255 SOS 81908 HAS SOPS 28939 HAS SOUS 24836 HAS SOUPS 19423 WITH SCORE 19504.908
AT ITER 9733 NEW BEST:: SOT 151328 SOS 81959 HAS SOPS 28927 HAS SOUS 24824 HAS SOUPS 19411 WITH SCORE 19492.959
AT ITER 9744 NEW BEST:: SOT 151328 SOS 81966 HAS SOPS 28913 HAS SOUS 24810 HAS SOUPS 19397 WITH SCORE 19478.966
AT ITER 9795 NEW BEST:: SOT 151322 SOS 81960 HAS SOPS 28905 HAS SOUS 24802 HAS SOUPS 19389 WITH SCORE 19470.96
AT ITER 9827 NEW BEST:: SOT 151321 SOS 81959 HAS SOPS 28904 HAS SOUS 24801 HAS SOUPS 19388 WITH SCORE 19469.959
AT ITER 9836 NEW BEST:: SOT 151324 SOS 81962 HAS SOPS 28892 HAS SOUS 24807 HAS SOUPS 19376 WITH SCORE 19457.962
AT ITER 9853 NEW BEST:: SOT 151265 SOS 81897 HAS SOPS 28828 HAS SOUS 24743 HAS SOUPS 19312 WITH SCORE 19393.897
AT ITER 9862 NEW BEST:: SOT 151169 SOS 81801 HAS SOPS 29092 HAS SOUS 24743 HAS SOUPS 19312 WITH SCORE 19393.801
AT ITER 9884 NEW BEST:: SOT 151170 SOS 81800 HAS SOPS 29089 HAS SOUS 24736 HAS SOUPS 19309 WITH SCORE 19390.8
AT ITER 9905 NEW BEST:: SOT 151142 SOS 81772 HAS SOPS 29061 HAS SOUS 24714 HAS SOUPS 19287 WITH SCORE 19368.772
AT ITER 9927 NEW BEST:: SOT 151141 SOS 81771 HAS SOPS 29060 HAS SOUS 24714 HAS SOUPS 19287 WITH SCORE 19368.771
AT ITER 9944 NEW BEST:: SOT 151139 SOS 81768 HAS SOPS 29057 HAS SOUS 24711 HAS SOUPS 19284 WITH SCORE 19365.768
AT ITER 9956 NEW BEST:: SOT 151134 SOS 81850 HAS SOPS 29035 HAS SOUS 24713 HAS SOUPS 19282 WITH SCORE 19363.85
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 150812 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16271784 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="EisenbergMcGuire-PT-05"
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 EisenbergMcGuire-PT-05, 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 r523-tall-167987247800240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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