Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140900696.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is LamportFastMutEx-PT-8, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140900696
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 908K
-rw-r--r-- 1 mcc users 7.9K Apr 30 13:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 35K Apr 30 13:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 20K Apr 30 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 87K Apr 30 13:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 30 13:04 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 18K Apr 30 13:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Apr 30 13:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 18K Apr 30 13:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 86K Apr 30 13:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Apr 30 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 57K Apr 30 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 24K Apr 30 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 100K Apr 30 13:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Apr 30 13:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.1K Apr 30 13:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 30 13:04 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 30 13:04 instance
-rw-r--r-- 1 mcc users 6 Apr 30 13:04 iscolored
-rw-r--r-- 1 mcc users 317K Apr 30 13:04 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 1589619591487

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (PT), instance 8
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 315 places, 666 transitions, 2934 arcs.
AT ITER 0 NEW BEST:: SOT 89207 SOS 57202 HAS SOPS 51770 HAS SOUS 43779 HAS SOUPS 41144 WITH SCORE 41201.202
AT ITER 1 NEW BEST:: SOT 89207 SOS 57173 HAS SOPS 51741 HAS SOUS 43750 HAS SOUPS 41115 WITH SCORE 41172.173
AT ITER 3 NEW BEST:: SOT 89207 SOS 57130 HAS SOPS 51698 HAS SOUS 43707 HAS SOUPS 41072 WITH SCORE 41129.13
AT ITER 14 NEW BEST:: SOT 89207 SOS 57120 HAS SOPS 51688 HAS SOUS 43697 HAS SOUPS 41062 WITH SCORE 41119.12
AT ITER 19 NEW BEST:: SOT 89207 SOS 57069 HAS SOPS 51637 HAS SOUS 43646 HAS SOUPS 41011 WITH SCORE 41068.069
AT ITER 20 NEW BEST:: SOT 89293 SOS 56835 HAS SOPS 51109 HAS SOUS 43696 HAS SOUPS 40813 WITH SCORE 40869.835
AT ITER 23 NEW BEST:: SOT 89293 SOS 56776 HAS SOPS 51050 HAS SOUS 43637 HAS SOUPS 40754 WITH SCORE 40810.776
AT ITER 24 NEW BEST:: SOT 89160 SOS 56681 HAS SOPS 50853 HAS SOUS 43516 HAS SOUPS 40557 WITH SCORE 40613.681
AT ITER 25 NEW BEST:: SOT 89160 SOS 56618 HAS SOPS 50790 HAS SOUS 43453 HAS SOUPS 40494 WITH SCORE 40550.618
AT ITER 27 NEW BEST:: SOT 89160 SOS 56568 HAS SOPS 50740 HAS SOUS 43403 HAS SOUPS 40444 WITH SCORE 40500.568
AT ITER 30 NEW BEST:: SOT 89126 SOS 56510 HAS SOPS 50706 HAS SOUS 43369 HAS SOUPS 40410 WITH SCORE 40466.51
AT ITER 31 NEW BEST:: SOT 89126 SOS 56457 HAS SOPS 50653 HAS SOUS 43316 HAS SOUPS 40357 WITH SCORE 40413.457
AT ITER 32 NEW BEST:: SOT 89111 SOS 56160 HAS SOPS 50225 HAS SOUS 43161 HAS SOUPS 40192 WITH SCORE 40248.16
AT ITER 33 NEW BEST:: SOT 89135 SOS 55980 HAS SOPS 49872 HAS SOUS 43017 HAS SOUPS 40042 WITH SCORE 40097.98
AT ITER 35 NEW BEST:: SOT 88977 SOS 56130 HAS SOPS 50022 HAS SOUS 43005 HAS SOUPS 40030 WITH SCORE 40086.13
AT ITER 37 NEW BEST:: SOT 88977 SOS 56090 HAS SOPS 49982 HAS SOUS 42965 HAS SOUPS 39990 WITH SCORE 40046.09
AT ITER 38 NEW BEST:: SOT 88971 SOS 56072 HAS SOPS 49922 HAS SOUS 42911 HAS SOUPS 39936 WITH SCORE 39992.072
AT ITER 42 NEW BEST:: SOT 88971 SOS 56027 HAS SOPS 49877 HAS SOUS 42866 HAS SOUPS 39891 WITH SCORE 39947.027
AT ITER 54 NEW BEST:: SOT 88971 SOS 55980 HAS SOPS 49830 HAS SOUS 42819 HAS SOUPS 39844 WITH SCORE 39899.98
AT ITER 66 NEW BEST:: SOT 89335 SOS 56507 HAS SOPS 50390 HAS SOUS 42738 HAS SOUPS 39796 WITH SCORE 39852.507
AT ITER 69 NEW BEST:: SOT 89298 SOS 56494 HAS SOPS 50379 HAS SOUS 42727 HAS SOUPS 39785 WITH SCORE 39841.494
AT ITER 76 NEW BEST:: SOT 89392 SOS 56570 HAS SOPS 50221 HAS SOUS 42578 HAS SOUPS 39636 WITH SCORE 39692.57
AT ITER 79 NEW BEST:: SOT 89392 SOS 56565 HAS SOPS 50216 HAS SOUS 42573 HAS SOUPS 39631 WITH SCORE 39687.565
AT ITER 83 NEW BEST:: SOT 89385 SOS 56565 HAS SOPS 50209 HAS SOUS 42560 HAS SOUPS 39618 WITH SCORE 39674.565
AT ITER 91 NEW BEST:: SOT 89385 SOS 56552 HAS SOPS 50196 HAS SOUS 42547 HAS SOUPS 39605 WITH SCORE 39661.552
AT ITER 93 NEW BEST:: SOT 89227 SOS 56811 HAS SOPS 50008 HAS SOUS 42498 HAS SOUPS 39417 WITH SCORE 39473.811
AT ITER 95 NEW BEST:: SOT 89227 SOS 56770 HAS SOPS 49967 HAS SOUS 42457 HAS SOUPS 39376 WITH SCORE 39432.77
AT ITER 100 NEW BEST:: SOT 89227 SOS 56730 HAS SOPS 49927 HAS SOUS 42417 HAS SOUPS 39336 WITH SCORE 39392.73
AT ITER 101 NEW BEST:: SOT 89186 SOS 56147 HAS SOPS 49002 HAS SOUS 42048 HAS SOUPS 38967 WITH SCORE 39023.147
AT ITER 108 NEW BEST:: SOT 89185 SOS 56146 HAS SOPS 49002 HAS SOUS 42048 HAS SOUPS 38967 WITH SCORE 39023.146
AT ITER 115 NEW BEST:: SOT 89066 SOS 56077 HAS SOPS 48692 HAS SOUS 41747 HAS SOUPS 38657 WITH SCORE 38713.077
AT ITER 130 NEW BEST:: SOT 89005 SOS 56089 HAS SOPS 48567 HAS SOUS 41703 HAS SOUPS 38532 WITH SCORE 38588.089
AT ITER 145 NEW BEST:: SOT 89005 SOS 56056 HAS SOPS 48556 HAS SOUS 41692 HAS SOUPS 38521 WITH SCORE 38577.056
AT ITER 151 NEW BEST:: SOT 88953 SOS 55940 HAS SOPS 48440 HAS SOUS 41576 HAS SOUPS 38405 WITH SCORE 38460.94
AT ITER 159 NEW BEST:: SOT 89064 SOS 56188 HAS SOPS 48688 HAS SOUS 41348 HAS SOUPS 38177 WITH SCORE 38233.188
AT ITER 165 NEW BEST:: SOT 89064 SOS 56169 HAS SOPS 48669 HAS SOUS 41329 HAS SOUPS 38158 WITH SCORE 38214.169
AT ITER 166 NEW BEST:: SOT 89064 SOS 56155 HAS SOPS 48655 HAS SOUS 41315 HAS SOUPS 38144 WITH SCORE 38200.155
AT ITER 167 NEW BEST:: SOT 89398 SOS 56632 HAS SOPS 49165 HAS SOUS 41200 HAS SOUPS 38062 WITH SCORE 38118.632
AT ITER 184 NEW BEST:: SOT 89074 SOS 56308 HAS SOPS 48841 HAS SOUS 40876 HAS SOUPS 37738 WITH SCORE 37794.308
AT ITER 188 NEW BEST:: SOT 89074 SOS 56278 HAS SOPS 48841 HAS SOUS 40876 HAS SOUPS 37738 WITH SCORE 37794.278
AT ITER 189 NEW BEST:: SOT 88548 SOS 55906 HAS SOPS 48281 HAS SOUS 40659 HAS SOUPS 37426 WITH SCORE 37481.906
AT ITER 195 NEW BEST:: SOT 88552 SOS 55910 HAS SOPS 48277 HAS SOUS 40655 HAS SOUPS 37422 WITH SCORE 37477.91
AT ITER 197 NEW BEST:: SOT 88292 SOS 55676 HAS SOPS 48017 HAS SOUS 40421 HAS SOUPS 37162 WITH SCORE 37217.676
AT ITER 217 NEW BEST:: SOT 88265 SOS 55649 HAS SOPS 47990 HAS SOUS 40394 HAS SOUPS 37135 WITH SCORE 37190.649
AT ITER 238 NEW BEST:: SOT 88261 SOS 55398 HAS SOPS 47585 HAS SOUS 40224 HAS SOUPS 36965 WITH SCORE 37020.398
AT ITER 242 NEW BEST:: SOT 88041 SOS 55200 HAS SOPS 47365 HAS SOUS 40026 HAS SOUPS 36745 WITH SCORE 36800.2
AT ITER 246 NEW BEST:: SOT 88041 SOS 55206 HAS SOPS 47371 HAS SOUS 40020 HAS SOUPS 36739 WITH SCORE 36794.206
AT ITER 251 NEW BEST:: SOT 88132 SOS 54955 HAS SOPS 47040 HAS SOUS 40003 HAS SOUPS 36722 WITH SCORE 36776.955
AT ITER 252 NEW BEST:: SOT 88016 SOS 54803 HAS SOPS 46824 HAS SOUS 39811 HAS SOUPS 36530 WITH SCORE 36584.803
AT ITER 271 NEW BEST:: SOT 87800 SOS 54538 HAS SOPS 46481 HAS SOUS 39327 HAS SOUPS 36046 WITH SCORE 36100.538
AT ITER 272 NEW BEST:: SOT 87795 SOS 54533 HAS SOPS 46391 HAS SOUS 39237 HAS SOUPS 35956 WITH SCORE 36010.533
AT ITER 282 NEW BEST:: SOT 87841 SOS 54597 HAS SOPS 46490 HAS SOUS 38888 HAS SOUPS 35607 WITH SCORE 35661.597
AT ITER 285 NEW BEST:: SOT 87841 SOS 54580 HAS SOPS 46473 HAS SOUS 38871 HAS SOUPS 35590 WITH SCORE 35644.58
AT ITER 288 NEW BEST:: SOT 87841 SOS 54580 HAS SOPS 46450 HAS SOUS 38848 HAS SOUPS 35567 WITH SCORE 35621.58
AT ITER 322 NEW BEST:: SOT 87460 SOS 54269 HAS SOPS 46069 HAS SOUS 38506 HAS SOUPS 35186 WITH SCORE 35240.269
AT ITER 323 NEW BEST:: SOT 87460 SOS 54211 HAS SOPS 46011 HAS SOUS 38448 HAS SOUPS 35128 WITH SCORE 35182.211
AT ITER 336 NEW BEST:: SOT 87326 SOS 54085 HAS SOPS 45853 HAS SOUS 38314 HAS SOUPS 34970 WITH SCORE 35024.085
AT ITER 339 NEW BEST:: SOT 87293 SOS 54010 HAS SOPS 45820 HAS SOUS 38281 HAS SOUPS 34937 WITH SCORE 34991.01
AT ITER 340 NEW BEST:: SOT 87374 SOS 53824 HAS SOPS 45959 HAS SOUS 38201 HAS SOUPS 34886 WITH SCORE 34939.824
AT ITER 345 NEW BEST:: SOT 87374 SOS 53791 HAS SOPS 45926 HAS SOUS 38168 HAS SOUPS 34853 WITH SCORE 34906.791
AT ITER 357 NEW BEST:: SOT 87374 SOS 53714 HAS SOPS 45849 HAS SOUS 38161 HAS SOUPS 34846 WITH SCORE 34899.714
AT ITER 362 NEW BEST:: SOT 88321 SOS 56053 HAS SOPS 44587 HAS SOUS 39317 HAS SOUPS 34301 WITH SCORE 34357.053
AT ITER 370 NEW BEST:: SOT 88244 SOS 55983 HAS SOPS 44510 HAS SOUS 39247 HAS SOUPS 34224 WITH SCORE 34279.983
AT ITER 385 NEW BEST:: SOT 87692 SOS 55836 HAS SOPS 43894 HAS SOUS 39265 HAS SOUPS 34100 WITH SCORE 34155.836
AT ITER 394 NEW BEST:: SOT 87540 SOS 55774 HAS SOPS 43868 HAS SOUS 39170 HAS SOUPS 34005 WITH SCORE 34060.774
AT ITER 397 NEW BEST:: SOT 87540 SOS 55772 HAS SOPS 43866 HAS SOUS 39168 HAS SOUPS 34003 WITH SCORE 34058.772
AT ITER 400 NEW BEST:: SOT 87039 SOS 55207 HAS SOPS 43301 HAS SOUS 38603 HAS SOUPS 33438 WITH SCORE 33493.207
AT ITER 401 NEW BEST:: SOT 87064 SOS 55265 HAS SOPS 43359 HAS SOUS 38529 HAS SOUPS 33364 WITH SCORE 33419.265
AT ITER 404 NEW BEST:: SOT 87060 SOS 55261 HAS SOPS 43347 HAS SOUS 38525 HAS SOUPS 33352 WITH SCORE 33407.261
AT ITER 406 NEW BEST:: SOT 87060 SOS 55232 HAS SOPS 43347 HAS SOUS 38496 HAS SOUPS 33352 WITH SCORE 33407.232
AT ITER 407 NEW BEST:: SOT 87199 SOS 55371 HAS SOPS 43518 HAS SOUS 38191 HAS SOUPS 33047 WITH SCORE 33102.371
AT ITER 418 NEW BEST:: SOT 86779 SOS 55338 HAS SOPS 43015 HAS SOUS 37960 HAS SOUPS 32544 WITH SCORE 32599.338
AT ITER 421 NEW BEST:: SOT 86779 SOS 55338 HAS SOPS 42955 HAS SOUS 37919 HAS SOUPS 32484 WITH SCORE 32539.338
AT ITER 438 NEW BEST:: SOT 86760 SOS 55367 HAS SOPS 42912 HAS SOUS 37924 HAS SOUPS 32441 WITH SCORE 32496.367
AT ITER 449 NEW BEST:: SOT 86760 SOS 55352 HAS SOPS 42912 HAS SOUS 37924 HAS SOUPS 32441 WITH SCORE 32496.352
AT ITER 460 NEW BEST:: SOT 86760 SOS 55320 HAS SOPS 42880 HAS SOUS 37892 HAS SOUPS 32409 WITH SCORE 32464.32
AT ITER 465 NEW BEST:: SOT 86752 SOS 55302 HAS SOPS 42864 HAS SOUS 37874 HAS SOUPS 32393 WITH SCORE 32448.302
AT ITER 466 NEW BEST:: SOT 86734 SOS 55238 HAS SOPS 42763 HAS SOUS 37815 HAS SOUPS 32334 WITH SCORE 32389.238
AT ITER 468 NEW BEST:: SOT 86734 SOS 55212 HAS SOPS 42761 HAS SOUS 37796 HAS SOUPS 32332 WITH SCORE 32387.212
AT ITER 473 NEW BEST:: SOT 86734 SOS 55212 HAS SOPS 42725 HAS SOUS 37760 HAS SOUPS 32296 WITH SCORE 32351.212
AT ITER 479 NEW BEST:: SOT 86590 SOS 55411 HAS SOPS 42657 HAS SOUS 37740 HAS SOUPS 32210 WITH SCORE 32265.411
AT ITER 482 NEW BEST:: SOT 86655 SOS 55524 HAS SOPS 42770 HAS SOUS 37593 HAS SOUPS 32063 WITH SCORE 32118.524
AT ITER 490 NEW BEST:: SOT 86653 SOS 55543 HAS SOPS 42768 HAS SOUS 37591 HAS SOUPS 32061 WITH SCORE 32116.543
AT ITER 495 NEW BEST:: SOT 86653 SOS 55567 HAS SOPS 42757 HAS SOUS 37596 HAS SOUPS 32050 WITH SCORE 32105.567
AT ITER 502 NEW BEST:: SOT 86543 SOS 55435 HAS SOPS 42625 HAS SOUS 37464 HAS SOUPS 31918 WITH SCORE 31973.435
AT ITER 507 NEW BEST:: SOT 86556 SOS 55448 HAS SOPS 42613 HAS SOUS 37475 HAS SOUPS 31905 WITH SCORE 31960.448
AT ITER 508 NEW BEST:: SOT 86425 SOS 55365 HAS SOPS 42482 HAS SOUS 37481 HAS SOUPS 31774 WITH SCORE 31829.365
AT ITER 521 NEW BEST:: SOT 86425 SOS 55345 HAS SOPS 42477 HAS SOUS 37476 HAS SOUPS 31769 WITH SCORE 31824.345
AT ITER 522 NEW BEST:: SOT 86425 SOS 55147 HAS SOPS 42309 HAS SOUS 37413 HAS SOUPS 31706 WITH SCORE 31761.147
AT ITER 524 NEW BEST:: SOT 86104 SOS 54970 HAS SOPS 42167 HAS SOUS 37234 HAS SOUPS 31527 WITH SCORE 31581.97
AT ITER 525 NEW BEST:: SOT 85803 SOS 54827 HAS SOPS 41835 HAS SOUS 37183 HAS SOUPS 31397 WITH SCORE 31451.827
AT ITER 531 NEW BEST:: SOT 85803 SOS 54587 HAS SOPS 41862 HAS SOUS 37144 HAS SOUPS 31381 WITH SCORE 31435.587
AT ITER 532 NEW BEST:: SOT 85803 SOS 54582 HAS SOPS 41857 HAS SOUS 37139 HAS SOUPS 31376 WITH SCORE 31430.582
AT ITER 537 NEW BEST:: SOT 85697 SOS 54924 HAS SOPS 41751 HAS SOUS 37368 HAS SOUPS 31270 WITH SCORE 31324.924
AT ITER 541 NEW BEST:: SOT 85677 SOS 54916 HAS SOPS 41731 HAS SOUS 37368 HAS SOUPS 31262 WITH SCORE 31316.916
AT ITER 546 NEW BEST:: SOT 85672 SOS 54911 HAS SOPS 41721 HAS SOUS 37363 HAS SOUPS 31252 WITH SCORE 31306.911
AT ITER 560 NEW BEST:: SOT 85693 SOS 54681 HAS SOPS 41384 HAS SOUS 37247 HAS SOUPS 31136 WITH SCORE 31190.681
AT ITER 564 NEW BEST:: SOT 85395 SOS 54797 HAS SOPS 41086 HAS SOUS 37206 HAS SOUPS 30838 WITH SCORE 30892.797
AT ITER 581 NEW BEST:: SOT 85394 SOS 54796 HAS SOPS 41074 HAS SOUS 37194 HAS SOUPS 30826 WITH SCORE 30880.796
AT ITER 585 NEW BEST:: SOT 84875 SOS 54277 HAS SOPS 40999 HAS SOUS 36647 HAS SOUPS 30751 WITH SCORE 30805.277
AT ITER 589 NEW BEST:: SOT 84875 SOS 54265 HAS SOPS 40987 HAS SOUS 36635 HAS SOUPS 30739 WITH SCORE 30793.265
AT ITER 598 NEW BEST:: SOT 84875 SOS 54264 HAS SOPS 40987 HAS SOUS 36635 HAS SOUPS 30739 WITH SCORE 30793.264
AT ITER 600 NEW BEST:: SOT 84872 SOS 54261 HAS SOPS 40981 HAS SOUS 36632 HAS SOUPS 30733 WITH SCORE 30787.261
AT ITER 611 NEW BEST:: SOT 84864 SOS 54250 HAS SOPS 40965 HAS SOUS 36616 HAS SOUPS 30717 WITH SCORE 30771.25
AT ITER 612 NEW BEST:: SOT 84846 SOS 54231 HAS SOPS 40956 HAS SOUS 36597 HAS SOUPS 30708 WITH SCORE 30762.231
AT ITER 618 NEW BEST:: SOT 84844 SOS 54229 HAS SOPS 40954 HAS SOUS 36595 HAS SOUPS 30706 WITH SCORE 30760.229
AT ITER 622 NEW BEST:: SOT 84836 SOS 54221 HAS SOPS 40938 HAS SOUS 36587 HAS SOUPS 30690 WITH SCORE 30744.221
AT ITER 637 NEW BEST:: SOT 84831 SOS 54216 HAS SOPS 40933 HAS SOUS 36582 HAS SOUPS 30685 WITH SCORE 30739.216
AT ITER 638 NEW BEST:: SOT 84869 SOS 54254 HAS SOPS 40737 HAS SOUS 36513 HAS SOUPS 30616 WITH SCORE 30670.254
AT ITER 644 NEW BEST:: SOT 84839 SOS 54224 HAS SOPS 40672 HAS SOUS 36448 HAS SOUPS 30551 WITH SCORE 30605.224
AT ITER 653 NEW BEST:: SOT 84779 SOS 54164 HAS SOPS 40588 HAS SOUS 36388 HAS SOUPS 30467 WITH SCORE 30521.164
AT ITER 654 NEW BEST:: SOT 84519 SOS 53950 HAS SOPS 40328 HAS SOUS 36388 HAS SOUPS 30391 WITH SCORE 30444.95
AT ITER 663 NEW BEST:: SOT 84519 SOS 53751 HAS SOPS 40129 HAS SOUS 36388 HAS SOUPS 30391 WITH SCORE 30444.751
AT ITER 682 NEW BEST:: SOT 84501 SOS 53733 HAS SOPS 40085 HAS SOUS 36350 HAS SOUPS 30347 WITH SCORE 30400.733
AT ITER 688 NEW BEST:: SOT 84582 SOS 53982 HAS SOPS 40117 HAS SOUS 35529 HAS SOUPS 29526 WITH SCORE 29579.982
AT ITER 690 NEW BEST:: SOT 84562 SOS 53944 HAS SOPS 40099 HAS SOUS 35511 HAS SOUPS 29508 WITH SCORE 29561.944
AT ITER 697 NEW BEST:: SOT 84537 SOS 53926 HAS SOPS 40056 HAS SOUS 35477 HAS SOUPS 29474 WITH SCORE 29527.926
AT ITER 709 NEW BEST:: SOT 84006 SOS 53487 HAS SOPS 39647 HAS SOUS 35022 HAS SOUPS 29019 WITH SCORE 29072.487
AT ITER 715 NEW BEST:: SOT 84006 SOS 53493 HAS SOPS 39641 HAS SOUS 35030 HAS SOUPS 29013 WITH SCORE 29066.493
AT ITER 723 NEW BEST:: SOT 83665 SOS 53152 HAS SOPS 39277 HAS SOUS 34666 HAS SOUPS 28649 WITH SCORE 28702.152
AT ITER 727 NEW BEST:: SOT 83312 SOS 52845 HAS SOPS 38885 HAS SOUS 34429 HAS SOUPS 28257 WITH SCORE 28309.845
AT ITER 734 NEW BEST:: SOT 83284 SOS 52735 HAS SOPS 38772 HAS SOUS 34316 HAS SOUPS 28144 WITH SCORE 28196.735
AT ITER 747 NEW BEST:: SOT 83258 SOS 52709 HAS SOPS 38733 HAS SOUS 34290 HAS SOUPS 28105 WITH SCORE 28157.709
AT ITER 754 NEW BEST:: SOT 82860 SOS 52294 HAS SOPS 38318 HAS SOUS 33935 HAS SOUPS 27750 WITH SCORE 27802.294
AT ITER 755 NEW BEST:: SOT 82783 SOS 52231 HAS SOPS 38248 HAS SOUS 33858 HAS SOUPS 27673 WITH SCORE 27725.231
AT ITER 760 NEW BEST:: SOT 82783 SOS 52211 HAS SOPS 38228 HAS SOUS 33838 HAS SOUPS 27653 WITH SCORE 27705.211
AT ITER 766 NEW BEST:: SOT 82859 SOS 52333 HAS SOPS 38355 HAS SOUS 33679 HAS SOUPS 27494 WITH SCORE 27546.333
AT ITER 767 NEW BEST:: SOT 82859 SOS 52329 HAS SOPS 38351 HAS SOUS 33675 HAS SOUPS 27490 WITH SCORE 27542.329
AT ITER 770 NEW BEST:: SOT 82828 SOS 52292 HAS SOPS 38289 HAS SOUS 33603 HAS SOUPS 27428 WITH SCORE 27480.292
AT ITER 779 NEW BEST:: SOT 82788 SOS 52252 HAS SOPS 38249 HAS SOUS 33563 HAS SOUPS 27388 WITH SCORE 27440.252
AT ITER 782 NEW BEST:: SOT 82765 SOS 52229 HAS SOPS 38197 HAS SOUS 33540 HAS SOUPS 27336 WITH SCORE 27388.229
AT ITER 801 NEW BEST:: SOT 82751 SOS 52213 HAS SOPS 38167 HAS SOUS 33510 HAS SOUPS 27306 WITH SCORE 27358.213
AT ITER 809 NEW BEST:: SOT 82490 SOS 52039 HAS SOPS 37848 HAS SOUS 33642 HAS SOUPS 27215 WITH SCORE 27267.039
AT ITER 815 NEW BEST:: SOT 82475 SOS 52005 HAS SOPS 37790 HAS SOUS 33605 HAS SOUPS 27157 WITH SCORE 27209.005
AT ITER 818 NEW BEST:: SOT 82419 SOS 51949 HAS SOPS 37729 HAS SOUS 33549 HAS SOUPS 27096 WITH SCORE 27147.949
AT ITER 824 NEW BEST:: SOT 82302 SOS 51809 HAS SOPS 37565 HAS SOUS 33426 HAS SOUPS 26973 WITH SCORE 27024.809
AT ITER 832 NEW BEST:: SOT 82262 SOS 51748 HAS SOPS 37536 HAS SOUS 33349 HAS SOUPS 26904 WITH SCORE 26955.748
AT ITER 845 NEW BEST:: SOT 82262 SOS 51748 HAS SOPS 37516 HAS SOUS 33349 HAS SOUPS 26884 WITH SCORE 26935.748
AT ITER 847 NEW BEST:: SOT 82262 SOS 51746 HAS SOPS 37514 HAS SOUS 33347 HAS SOUPS 26882 WITH SCORE 26933.746
AT ITER 859 NEW BEST:: SOT 82262 SOS 51740 HAS SOPS 37473 HAS SOUS 33334 HAS SOUPS 26841 WITH SCORE 26892.74
AT ITER 874 NEW BEST:: SOT 82237 SOS 51692 HAS SOPS 37423 HAS SOUS 33257 HAS SOUPS 26791 WITH SCORE 26842.692
AT ITER 884 NEW BEST:: SOT 82381 SOS 51737 HAS SOPS 37649 HAS SOUS 33148 HAS SOUPS 26696 WITH SCORE 26747.737
AT ITER 893 NEW BEST:: SOT 82172 SOS 51622 HAS SOPS 37534 HAS SOUS 32986 HAS SOUPS 26534 WITH SCORE 26585.622
AT ITER 917 NEW BEST:: SOT 82317 SOS 51767 HAS SOPS 37764 HAS SOUS 32841 HAS SOUPS 26428 WITH SCORE 26479.767
AT ITER 918 NEW BEST:: SOT 82288 SOS 51738 HAS SOPS 37741 HAS SOUS 32823 HAS SOUPS 26405 WITH SCORE 26456.738
AT ITER 922 NEW BEST:: SOT 82243 SOS 51693 HAS SOPS 37652 HAS SOUS 32690 HAS SOUPS 26316 WITH SCORE 26367.693
AT ITER 934 NEW BEST:: SOT 82323 SOS 51754 HAS SOPS 37641 HAS SOUS 32679 HAS SOUPS 26305 WITH SCORE 26356.754
AT ITER 949 NEW BEST:: SOT 82163 SOS 51544 HAS SOPS 37281 HAS SOUS 32349 HAS SOUPS 25975 WITH SCORE 26026.544
AT ITER 950 NEW BEST:: SOT 82164 SOS 51576 HAS SOPS 37283 HAS SOUS 32333 HAS SOUPS 25959 WITH SCORE 26010.576
AT ITER 960 NEW BEST:: SOT 82145 SOS 51557 HAS SOPS 37264 HAS SOUS 32329 HAS SOUPS 25955 WITH SCORE 26006.557
AT ITER 964 NEW BEST:: SOT 82145 SOS 51538 HAS SOPS 37245 HAS SOUS 32310 HAS SOUPS 25936 WITH SCORE 25987.538
AT ITER 981 NEW BEST:: SOT 81859 SOS 51355 HAS SOPS 36959 HAS SOUS 32272 HAS SOUPS 25722 WITH SCORE 25773.355
AT ITER 982 NEW BEST:: SOT 81802 SOS 51298 HAS SOPS 36902 HAS SOUS 32215 HAS SOUPS 25665 WITH SCORE 25716.298
AT ITER 989 NEW BEST:: SOT 81799 SOS 51321 HAS SOPS 36899 HAS SOUS 32242 HAS SOUPS 25662 WITH SCORE 25713.321
AT ITER 1009 NEW BEST:: SOT 81913 SOS 51471 HAS SOPS 36848 HAS SOUS 32191 HAS SOUPS 25611 WITH SCORE 25662.471
AT ITER 1015 NEW BEST:: SOT 81898 SOS 51456 HAS SOPS 36833 HAS SOUS 32176 HAS SOUPS 25596 WITH SCORE 25647.456
AT ITER 1026 NEW BEST:: SOT 81897 SOS 51455 HAS SOPS 36831 HAS SOUS 32175 HAS SOUPS 25594 WITH SCORE 25645.455
AT ITER 1035 NEW BEST:: SOT 81872 SOS 51430 HAS SOPS 36794 HAS SOUS 32150 HAS SOUPS 25557 WITH SCORE 25608.43
AT ITER 1040 NEW BEST:: SOT 81885 SOS 51443 HAS SOPS 36716 HAS SOUS 32072 HAS SOUPS 25479 WITH SCORE 25530.443
AT ITER 1042 NEW BEST:: SOT 82090 SOS 51485 HAS SOPS 37002 HAS SOUS 31895 HAS SOUPS 25321 WITH SCORE 25372.485
AT ITER 1043 NEW BEST:: SOT 82092 SOS 51487 HAS SOPS 37001 HAS SOUS 31897 HAS SOUPS 25320 WITH SCORE 25371.487
AT ITER 1053 NEW BEST:: SOT 82136 SOS 51485 HAS SOPS 37078 HAS SOUS 31868 HAS SOUPS 25308 WITH SCORE 25359.485
AT ITER 1055 NEW BEST:: SOT 82228 SOS 51520 HAS SOPS 37324 HAS SOUS 31807 HAS SOUPS 25273 WITH SCORE 25324.52
AT ITER 1058 NEW BEST:: SOT 82200 SOS 51494 HAS SOPS 37312 HAS SOUS 31783 HAS SOUPS 25261 WITH SCORE 25312.494
AT ITER 1068 NEW BEST:: SOT 82196 SOS 51490 HAS SOPS 37242 HAS SOUS 31559 HAS SOUPS 25015 WITH SCORE 25066.49
AT ITER 1076 NEW BEST:: SOT 82196 SOS 51490 HAS SOPS 37240 HAS SOUS 31559 HAS SOUPS 25013 WITH SCORE 25064.49
AT ITER 1082 NEW BEST:: SOT 82196 SOS 51490 HAS SOPS 37219 HAS SOUS 31559 HAS SOUPS 24992 WITH SCORE 25043.49
AT ITER 1096 NEW BEST:: SOT 82184 SOS 51478 HAS SOPS 37183 HAS SOUS 31547 HAS SOUPS 24956 WITH SCORE 25007.478
AT ITER 1099 NEW BEST:: SOT 82057 SOS 51351 HAS SOPS 37048 HAS SOUS 31412 HAS SOUPS 24821 WITH SCORE 24872.351
AT ITER 1110 NEW BEST:: SOT 82057 SOS 51350 HAS SOPS 37048 HAS SOUS 31412 HAS SOUPS 24821 WITH SCORE 24872.35
AT ITER 1111 NEW BEST:: SOT 82053 SOS 51346 HAS SOPS 37040 HAS SOUS 31404 HAS SOUPS 24813 WITH SCORE 24864.346
AT ITER 1131 NEW BEST:: SOT 81410 SOS 50773 HAS SOPS 36451 HAS SOUS 30826 HAS SOUPS 24217 WITH SCORE 24267.773
AT ITER 1133 NEW BEST:: SOT 81399 SOS 50579 HAS SOPS 36440 HAS SOUS 30740 HAS SOUPS 24206 WITH SCORE 24256.579
AT ITER 1146 NEW BEST:: SOT 81257 SOS 50437 HAS SOPS 36428 HAS SOUS 30600 HAS SOUPS 24194 WITH SCORE 24244.437
AT ITER 1157 NEW BEST:: SOT 81265 SOS 50441 HAS SOPS 36440 HAS SOUS 30582 HAS SOUPS 24178 WITH SCORE 24228.441
AT ITER 1162 NEW BEST:: SOT 81148 SOS 50324 HAS SOPS 36323 HAS SOUS 30465 HAS SOUPS 24061 WITH SCORE 24111.324
AT ITER 1186 NEW BEST:: SOT 81148 SOS 50333 HAS SOPS 36322 HAS SOUS 30464 HAS SOUPS 24060 WITH SCORE 24110.333
AT ITER 1193 NEW BEST:: SOT 80943 SOS 50128 HAS SOPS 36117 HAS SOUS 30311 HAS SOUPS 23907 WITH SCORE 23957.128
AT ITER 1243 NEW BEST:: SOT 80942 SOS 49812 HAS SOPS 35801 HAS SOUS 30276 HAS SOUPS 23872 WITH SCORE 23921.812
AT ITER 1253 NEW BEST:: SOT 80903 SOS 50099 HAS SOPS 35678 HAS SOUS 30542 HAS SOUPS 23749 WITH SCORE 23799.099
AT ITER 1257 NEW BEST:: SOT 80850 SOS 49987 HAS SOPS 35567 HAS SOUS 30480 HAS SOUPS 23687 WITH SCORE 23736.987
AT ITER 1269 NEW BEST:: SOT 80845 SOS 49982 HAS SOPS 35549 HAS SOUS 30475 HAS SOUPS 23669 WITH SCORE 23718.982
AT ITER 1276 NEW BEST:: SOT 80724 SOS 49861 HAS SOPS 35428 HAS SOUS 30378 HAS SOUPS 23572 WITH SCORE 23621.861
AT ITER 1289 NEW BEST:: SOT 80642 SOS 49545 HAS SOPS 35049 HAS SOUS 30170 HAS SOUPS 23364 WITH SCORE 23413.545
AT ITER 1306 NEW BEST:: SOT 80657 SOS 49578 HAS SOPS 34953 HAS SOUS 30074 HAS SOUPS 23268 WITH SCORE 23317.578
AT ITER 1310 NEW BEST:: SOT 80632 SOS 49634 HAS SOPS 34928 HAS SOUS 30166 HAS SOUPS 23243 WITH SCORE 23292.634
AT ITER 1311 NEW BEST:: SOT 80577 SOS 49579 HAS SOPS 34873 HAS SOUS 30111 HAS SOUPS 23188 WITH SCORE 23237.579
AT ITER 1314 NEW BEST:: SOT 80572 SOS 49574 HAS SOPS 34831 HAS SOUS 30106 HAS SOUPS 23146 WITH SCORE 23195.574
AT ITER 1317 NEW BEST:: SOT 80412 SOS 49582 HAS SOPS 34662 HAS SOUS 30084 HAS SOUPS 23065 WITH SCORE 23114.582
AT ITER 1322 NEW BEST:: SOT 80412 SOS 49582 HAS SOPS 34636 HAS SOUS 30084 HAS SOUPS 23039 WITH SCORE 23088.582
AT ITER 1325 NEW BEST:: SOT 80381 SOS 49551 HAS SOPS 34589 HAS SOUS 30037 HAS SOUPS 22992 WITH SCORE 23041.551
AT ITER 1328 NEW BEST:: SOT 80411 SOS 49519 HAS SOPS 34647 HAS SOUS 30003 HAS SOUPS 22990 WITH SCORE 23039.519
AT ITER 1335 NEW BEST:: SOT 80411 SOS 49426 HAS SOPS 34554 HAS SOUS 29986 HAS SOUPS 22973 WITH SCORE 23022.426
AT ITER 1348 NEW BEST:: SOT 80389 SOS 49404 HAS SOPS 34510 HAS SOUS 29952 HAS SOUPS 22929 WITH SCORE 22978.404
AT ITER 1358 NEW BEST:: SOT 80388 SOS 49474 HAS SOPS 34508 HAS SOUS 30021 HAS SOUPS 22927 WITH SCORE 22976.474
AT ITER 1359 NEW BEST:: SOT 80182 SOS 49268 HAS SOPS 34302 HAS SOUS 29815 HAS SOUPS 22721 WITH SCORE 22770.268
AT ITER 1363 NEW BEST:: SOT 80168 SOS 49254 HAS SOPS 34288 HAS SOUS 29801 HAS SOUPS 22707 WITH SCORE 22756.254
AT ITER 1367 NEW BEST:: SOT 80108 SOS 49194 HAS SOPS 34250 HAS SOUS 29741 HAS SOUPS 22669 WITH SCORE 22718.194
AT ITER 1374 NEW BEST:: SOT 80108 SOS 49113 HAS SOPS 34169 HAS SOUS 29732 HAS SOUPS 22660 WITH SCORE 22709.113
AT ITER 1405 NEW BEST:: SOT 80100 SOS 49105 HAS SOPS 34153 HAS SOUS 29724 HAS SOUPS 22644 WITH SCORE 22693.105
AT ITER 1407 NEW BEST:: SOT 80087 SOS 49092 HAS SOPS 34140 HAS SOUS 29711 HAS SOUPS 22631 WITH SCORE 22680.092
AT ITER 1414 NEW BEST:: SOT 79867 SOS 48983 HAS SOPS 33920 HAS SOUS 29957 HAS SOUPS 22631 WITH SCORE 22679.983
AT ITER 1416 NEW BEST:: SOT 79867 SOS 48981 HAS SOPS 33918 HAS SOUS 29956 HAS SOUPS 22630 WITH SCORE 22678.981
AT ITER 1424 NEW BEST:: SOT 79859 SOS 49044 HAS SOPS 33895 HAS SOUS 29963 HAS SOUPS 22607 WITH SCORE 22656.044
AT ITER 1435 NEW BEST:: SOT 79833 SOS 49033 HAS SOPS 33856 HAS SOUS 29963 HAS SOUPS 22568 WITH SCORE 22617.033
AT ITER 1449 NEW BEST:: SOT 79785 SOS 48985 HAS SOPS 33778 HAS SOUS 29915 HAS SOUPS 22490 WITH SCORE 22538.985
AT ITER 1462 NEW BEST:: SOT 79883 SOS 49016 HAS SOPS 33890 HAS SOUS 29863 HAS SOUPS 22445 WITH SCORE 22494.016
AT ITER 1473 NEW BEST:: SOT 79872 SOS 48962 HAS SOPS 33874 HAS SOUS 29830 HAS SOUPS 22429 WITH SCORE 22477.962
AT ITER 1493 NEW BEST:: SOT 79749 SOS 48877 HAS SOPS 33628 HAS SOUS 29563 HAS SOUPS 22162 WITH SCORE 22210.877
AT ITER 1514 NEW BEST:: SOT 79679 SOS 48801 HAS SOPS 33536 HAS SOUS 29471 HAS SOUPS 22070 WITH SCORE 22118.801
AT ITER 1526 NEW BEST:: SOT 79625 SOS 48725 HAS SOPS 33460 HAS SOUS 29381 HAS SOUPS 21980 WITH SCORE 22028.725
AT ITER 1544 NEW BEST:: SOT 79345 SOS 48457 HAS SOPS 33228 HAS SOUS 29143 HAS SOUPS 21742 WITH SCORE 21790.457
AT ITER 1549 NEW BEST:: SOT 79318 SOS 48430 HAS SOPS 33169 HAS SOUS 29116 HAS SOUPS 21683 WITH SCORE 21731.43
AT ITER 1564 NEW BEST:: SOT 79318 SOS 48428 HAS SOPS 33122 HAS SOUS 29095 HAS SOUPS 21636 WITH SCORE 21684.428
AT ITER 1567 NEW BEST:: SOT 78926 SOS 48148 HAS SOPS 32874 HAS SOUS 28759 HAS SOUPS 21332 WITH SCORE 21380.148
AT ITER 1589 NEW BEST:: SOT 78895 SOS 48117 HAS SOPS 32794 HAS SOUS 28728 HAS SOUPS 21252 WITH SCORE 21300.117
AT ITER 1590 NEW BEST:: SOT 78847 SOS 48069 HAS SOPS 32721 HAS SOUS 28666 HAS SOUPS 21179 WITH SCORE 21227.069
AT ITER 1593 NEW BEST:: SOT 78839 SOS 48061 HAS SOPS 32705 HAS SOUS 28650 HAS SOUPS 21163 WITH SCORE 21211.061
AT ITER 1594 NEW BEST:: SOT 78560 SOS 47860 HAS SOPS 32487 HAS SOUS 28457 HAS SOUPS 20970 WITH SCORE 21017.86
AT ITER 1606 NEW BEST:: SOT 78551 SOS 47851 HAS SOPS 32478 HAS SOUS 28448 HAS SOUPS 20961 WITH SCORE 21008.851
AT ITER 1613 NEW BEST:: SOT 78516 SOS 47816 HAS SOPS 32443 HAS SOUS 28413 HAS SOUPS 20926 WITH SCORE 20973.816
AT ITER 1617 NEW BEST:: SOT 78513 SOS 47813 HAS SOPS 32437 HAS SOUS 28410 HAS SOUPS 20920 WITH SCORE 20967.813
AT ITER 1621 NEW BEST:: SOT 78513 SOS 47559 HAS SOPS 32183 HAS SOUS 28386 HAS SOUPS 20896 WITH SCORE 20943.559
AT ITER 1624 NEW BEST:: SOT 78503 SOS 47529 HAS SOPS 32150 HAS SOUS 28390 HAS SOUPS 20863 WITH SCORE 20910.529
AT ITER 1636 NEW BEST:: SOT 78491 SOS 47517 HAS SOPS 32138 HAS SOUS 28378 HAS SOUPS 20851 WITH SCORE 20898.517
AT ITER 1643 NEW BEST:: SOT 78324 SOS 47774 HAS SOPS 31902 HAS SOUS 28437 HAS SOUPS 20799 WITH SCORE 20846.774
AT ITER 1663 NEW BEST:: SOT 78324 SOS 47769 HAS SOPS 31902 HAS SOUS 28437 HAS SOUPS 20799 WITH SCORE 20846.769
AT ITER 1671 NEW BEST:: SOT 78312 SOS 47757 HAS SOPS 31878 HAS SOUS 28425 HAS SOUPS 20775 WITH SCORE 20822.757
AT ITER 1681 NEW BEST:: SOT 78310 SOS 47755 HAS SOPS 31874 HAS SOUS 28423 HAS SOUPS 20771 WITH SCORE 20818.755
AT ITER 1689 NEW BEST:: SOT 78308 SOS 47753 HAS SOPS 31870 HAS SOUS 28414 HAS SOUPS 20767 WITH SCORE 20814.753
AT ITER 1690 NEW BEST:: SOT 78273 SOS 47706 HAS SOPS 31788 HAS SOUS 28342 HAS SOUPS 20695 WITH SCORE 20742.706
AT ITER 1738 NEW BEST:: SOT 78270 SOS 47703 HAS SOPS 31778 HAS SOUS 28332 HAS SOUPS 20685 WITH SCORE 20732.703
AT ITER 1752 NEW BEST:: SOT 78269 SOS 47702 HAS SOPS 31776 HAS SOUS 28330 HAS SOUPS 20683 WITH SCORE 20730.702
AT ITER 1759 NEW BEST:: SOT 78269 SOS 47690 HAS SOPS 31764 HAS SOUS 28330 HAS SOUPS 20683 WITH SCORE 20730.69
AT ITER 1769 NEW BEST:: SOT 78267 SOS 47688 HAS SOPS 31762 HAS SOUS 28328 HAS SOUPS 20681 WITH SCORE 20728.688
AT ITER 1805 NEW BEST:: SOT 78234 SOS 46919 HAS SOPS 31799 HAS SOUS 28018 HAS SOUPS 20450 WITH SCORE 20496.919
AT ITER 1870 NEW BEST:: SOT 78232 SOS 46942 HAS SOPS 31797 HAS SOUS 28033 HAS SOUPS 20448 WITH SCORE 20494.942
AT ITER 1887 NEW BEST:: SOT 78229 SOS 46939 HAS SOPS 31777 HAS SOUS 28030 HAS SOUPS 20428 WITH SCORE 20474.939
AT ITER 1888 NEW BEST:: SOT 78224 SOS 46604 HAS SOPS 31437 HAS SOUS 27980 HAS SOUPS 20378 WITH SCORE 20424.604
AT ITER 1909 NEW BEST:: SOT 78348 SOS 46718 HAS SOPS 31351 HAS SOUS 27903 HAS SOUPS 20301 WITH SCORE 20347.718
AT ITER 1911 NEW BEST:: SOT 78359 SOS 46729 HAS SOPS 31369 HAS SOUS 27890 HAS SOUPS 20295 WITH SCORE 20341.729
AT ITER 1962 NEW BEST:: SOT 78350 SOS 46682 HAS SOPS 31313 HAS SOUS 27863 HAS SOUPS 20268 WITH SCORE 20314.682
AT ITER 1986 NEW BEST:: SOT 78345 SOS 46677 HAS SOPS 31308 HAS SOUS 27858 HAS SOUPS 20263 WITH SCORE 20309.677
AT ITER 1988 NEW BEST:: SOT 78345 SOS 46676 HAS SOPS 31307 HAS SOUS 27857 HAS SOUPS 20262 WITH SCORE 20308.676
AT ITER 2002 NEW BEST:: SOT 78335 SOS 46666 HAS SOPS 31284 HAS SOUS 27847 HAS SOUPS 20239 WITH SCORE 20285.666
AT ITER 2033 NEW BEST:: SOT 78355 SOS 47056 HAS SOPS 31260 HAS SOUS 28015 HAS SOUPS 20215 WITH SCORE 20262.056
AT ITER 2034 NEW BEST:: SOT 78334 SOS 47035 HAS SOPS 31218 HAS SOUS 27994 HAS SOUPS 20173 WITH SCORE 20220.035
AT ITER 2048 NEW BEST:: SOT 78327 SOS 47014 HAS SOPS 31182 HAS SOUS 27958 HAS SOUPS 20137 WITH SCORE 20184.014
AT ITER 2058 NEW BEST:: SOT 78231 SOS 46942 HAS SOPS 31098 HAS SOUS 27874 HAS SOUPS 20041 WITH SCORE 20087.942
AT ITER 2069 NEW BEST:: SOT 78226 SOS 46932 HAS SOPS 31088 HAS SOUS 27869 HAS SOUPS 20036 WITH SCORE 20082.932
AT ITER 2070 NEW BEST:: SOT 78220 SOS 46926 HAS SOPS 31076 HAS SOUS 27857 HAS SOUPS 20024 WITH SCORE 20070.926
AT ITER 2128 NEW BEST:: SOT 77997 SOS 46789 HAS SOPS 30832 HAS SOUS 28197 HAS SOUPS 20024 WITH SCORE 20070.789
AT ITER 2153 NEW BEST:: SOT 77927 SOS 46719 HAS SOPS 30748 HAS SOUS 28113 HAS SOUPS 19940 WITH SCORE 19986.719
AT ITER 2157 NEW BEST:: SOT 77815 SOS 46607 HAS SOPS 30644 HAS SOUS 28009 HAS SOUPS 19836 WITH SCORE 19882.607
AT ITER 2164 NEW BEST:: SOT 77807 SOS 46599 HAS SOPS 30632 HAS SOUS 28021 HAS SOUPS 19824 WITH SCORE 19870.599
AT ITER 2167 NEW BEST:: SOT 77777 SOS 46534 HAS SOPS 30612 HAS SOUS 27971 HAS SOUPS 19779 WITH SCORE 19825.534
AT ITER 2171 NEW BEST:: SOT 77771 SOS 46528 HAS SOPS 30600 HAS SOUS 27965 HAS SOUPS 19767 WITH SCORE 19813.528
AT ITER 2195 NEW BEST:: SOT 77773 SOS 46528 HAS SOPS 30604 HAS SOUS 27957 HAS SOUPS 19763 WITH SCORE 19809.528
AT ITER 2206 NEW BEST:: SOT 77953 SOS 46547 HAS SOPS 31002 HAS SOUS 27899 HAS SOUPS 19742 WITH SCORE 19788.547
AT ITER 2210 NEW BEST:: SOT 77952 SOS 46546 HAS SOPS 31001 HAS SOUS 27898 HAS SOUPS 19741 WITH SCORE 19787.546
AT ITER 2211 NEW BEST:: SOT 77960 SOS 46620 HAS SOPS 31056 HAS SOUS 27875 HAS SOUPS 19718 WITH SCORE 19764.62
AT ITER 2229 NEW BEST:: SOT 77867 SOS 46527 HAS SOPS 30945 HAS SOUS 27764 HAS SOUPS 19607 WITH SCORE 19653.527
AT ITER 2249 NEW BEST:: SOT 77864 SOS 46524 HAS SOPS 30942 HAS SOUS 27761 HAS SOUPS 19604 WITH SCORE 19650.524
AT ITER 2252 NEW BEST:: SOT 77864 SOS 46511 HAS SOPS 30942 HAS SOUS 27753 HAS SOUPS 19604 WITH SCORE 19650.511
AT ITER 2289 NEW BEST:: SOT 78010 SOS 46515 HAS SOPS 31056 HAS SOUS 27584 HAS SOUPS 19461 WITH SCORE 19507.515
AT ITER 2303 NEW BEST:: SOT 77720 SOS 46384 HAS SOPS 30922 HAS SOUS 27096 HAS SOUPS 18973 WITH SCORE 19019.384
AT ITER 2305 NEW BEST:: SOT 77296 SOS 46148 HAS SOPS 31110 HAS SOUS 27083 HAS SOUPS 18957 WITH SCORE 19003.148
AT ITER 2348 NEW BEST:: SOT 77077 SOS 46043 HAS SOPS 30950 HAS SOUS 26837 HAS SOUPS 18711 WITH SCORE 18757.043
AT ITER 2350 NEW BEST:: SOT 77325 SOS 46142 HAS SOPS 30610 HAS SOUS 26679 HAS SOUPS 18553 WITH SCORE 18599.142
AT ITER 2354 NEW BEST:: SOT 77324 SOS 46141 HAS SOPS 30608 HAS SOUS 26665 HAS SOUPS 18551 WITH SCORE 18597.141
AT ITER 2370 NEW BEST:: SOT 77324 SOS 46238 HAS SOPS 30603 HAS SOUS 26688 HAS SOUPS 18546 WITH SCORE 18592.238
AT ITER 2390 NEW BEST:: SOT 77311 SOS 46225 HAS SOPS 30557 HAS SOUS 26675 HAS SOUPS 18500 WITH SCORE 18546.225
AT ITER 2407 NEW BEST:: SOT 77311 SOS 46148 HAS SOPS 30518 HAS SOUS 26636 HAS SOUPS 18461 WITH SCORE 18507.148
AT ITER 2491 NEW BEST:: SOT 77310 SOS 46147 HAS SOPS 30516 HAS SOUS 26635 HAS SOUPS 18459 WITH SCORE 18505.147
AT ITER 2534 NEW BEST:: SOT 77303 SOS 46148 HAS SOPS 30510 HAS SOUS 26629 HAS SOUPS 18453 WITH SCORE 18499.148
AT ITER 2536 NEW BEST:: SOT 77294 SOS 46139 HAS SOPS 30501 HAS SOUS 26620 HAS SOUPS 18444 WITH SCORE 18490.139
AT ITER 2542 NEW BEST:: SOT 77294 SOS 46271 HAS SOPS 30633 HAS SOUS 26619 HAS SOUPS 18443 WITH SCORE 18489.271
AT ITER 2594 NEW BEST:: SOT 77294 SOS 46456 HAS SOPS 30611 HAS SOUS 26853 HAS SOUPS 18421 WITH SCORE 18467.456
AT ITER 2603 NEW BEST:: SOT 77266 SOS 46428 HAS SOPS 30561 HAS SOUS 26825 HAS SOUPS 18371 WITH SCORE 18417.428
AT ITER 2650 NEW BEST:: SOT 77273 SOS 46435 HAS SOPS 30555 HAS SOUS 26832 HAS SOUPS 18365 WITH SCORE 18411.435
AT ITER 2659 NEW BEST:: SOT 77273 SOS 46430 HAS SOPS 30550 HAS SOUS 26819 HAS SOUPS 18352 WITH SCORE 18398.43
AT ITER 2727 NEW BEST:: SOT 77273 SOS 46430 HAS SOPS 30548 HAS SOUS 26819 HAS SOUPS 18350 WITH SCORE 18396.43
AT ITER 2733 NEW BEST:: SOT 77122 SOS 46279 HAS SOPS 30397 HAS SOUS 26648 HAS SOUPS 18179 WITH SCORE 18225.279
AT ITER 2750 NEW BEST:: SOT 77120 SOS 46277 HAS SOPS 30394 HAS SOUS 26646 HAS SOUPS 18176 WITH SCORE 18222.277
AT ITER 2751 NEW BEST:: SOT 77225 SOS 46169 HAS SOPS 30219 HAS SOUS 26643 HAS SOUPS 18173 WITH SCORE 18219.169
AT ITER 2753 NEW BEST:: SOT 77150 SOS 46094 HAS SOPS 30129 HAS SOUS 26568 HAS SOUPS 18083 WITH SCORE 18129.094
AT ITER 2771 NEW BEST:: SOT 77152 SOS 46096 HAS SOPS 30118 HAS SOUS 26597 HAS SOUPS 18072 WITH SCORE 18118.096
AT ITER 2799 NEW BEST:: SOT 77105 SOS 46049 HAS SOPS 30024 HAS SOUS 26550 HAS SOUPS 17978 WITH SCORE 18024.049
AT ITER 2802 NEW BEST:: SOT 77104 SOS 46049 HAS SOPS 30023 HAS SOUS 26549 HAS SOUPS 17977 WITH SCORE 18023.049
AT ITER 2839 NEW BEST:: SOT 77007 SOS 45863 HAS SOPS 29925 HAS SOUS 26415 HAS SOUPS 17879 WITH SCORE 17924.863
AT ITER 2845 NEW BEST:: SOT 77005 SOS 45861 HAS SOPS 29923 HAS SOUS 26413 HAS SOUPS 17877 WITH SCORE 17922.861
AT ITER 2890 NEW BEST:: SOT 77005 SOS 45829 HAS SOPS 29891 HAS SOUS 26411 HAS SOUPS 17875 WITH SCORE 17920.829
AT ITER 2920 NEW BEST:: SOT 77260 SOS 45984 HAS SOPS 30141 HAS SOUS 26366 HAS SOUPS 17855 WITH SCORE 17900.984
AT ITER 2927 NEW BEST:: SOT 77261 SOS 45985 HAS SOPS 30122 HAS SOUS 26367 HAS SOUPS 17836 WITH SCORE 17881.985
AT ITER 2933 NEW BEST:: SOT 77192 SOS 45935 HAS SOPS 30072 HAS SOUS 26317 HAS SOUPS 17786 WITH SCORE 17831.935
AT ITER 2938 NEW BEST:: SOT 77259 SOS 45932 HAS SOPS 30139 HAS SOUS 26294 HAS SOUPS 17768 WITH SCORE 17813.932
AT ITER 2950 NEW BEST:: SOT 77236 SOS 45909 HAS SOPS 30109 HAS SOUS 26276 HAS SOUPS 17750 WITH SCORE 17795.909
AT ITER 2956 NEW BEST:: SOT 77222 SOS 45877 HAS SOPS 30081 HAS SOUS 26248 HAS SOUPS 17722 WITH SCORE 17767.877
AT ITER 2977 NEW BEST:: SOT 77222 SOS 45852 HAS SOPS 30056 HAS SOUS 26242 HAS SOUPS 17716 WITH SCORE 17761.852
AT ITER 2979 NEW BEST:: SOT 77336 SOS 45886 HAS SOPS 30181 HAS SOUS 26210 HAS SOUPS 17703 WITH SCORE 17748.886
AT ITER 3033 NEW BEST:: SOT 77343 SOS 45909 HAS SOPS 30184 HAS SOUS 26207 HAS SOUPS 17700 WITH SCORE 17745.909
AT ITER 3075 NEW BEST:: SOT 77325 SOS 45728 HAS SOPS 30182 HAS SOUS 25844 HAS SOUPS 17698 WITH SCORE 17743.728
AT ITER 3146 NEW BEST:: SOT 77325 SOS 45728 HAS SOPS 30181 HAS SOUS 25868 HAS SOUPS 17697 WITH SCORE 17742.728
AT ITER 3152 NEW BEST:: SOT 77307 SOS 45710 HAS SOPS 30164 HAS SOUS 25851 HAS SOUPS 17680 WITH SCORE 17725.71
AT ITER 3175 NEW BEST:: SOT 77175 SOS 45650 HAS SOPS 29998 HAS SOUS 26080 HAS SOUPS 17650 WITH SCORE 17695.65
AT ITER 3188 NEW BEST:: SOT 77163 SOS 45642 HAS SOPS 29986 HAS SOUS 26084 HAS SOUPS 17638 WITH SCORE 17683.642
AT ITER 3190 NEW BEST:: SOT 77061 SOS 45573 HAS SOPS 29884 HAS SOUS 26029 HAS SOUPS 17575 WITH SCORE 17620.573
AT ITER 3196 NEW BEST:: SOT 77044 SOS 45556 HAS SOPS 29867 HAS SOUS 26012 HAS SOUPS 17558 WITH SCORE 17603.556
AT ITER 3214 NEW BEST:: SOT 77043 SOS 45554 HAS SOPS 29866 HAS SOUS 26011 HAS SOUPS 17557 WITH SCORE 17602.554
AT ITER 3240 NEW BEST:: SOT 76865 SOS 45376 HAS SOPS 29678 HAS SOUS 25937 HAS SOUPS 17473 WITH SCORE 17518.376
AT ITER 3241 NEW BEST:: SOT 76828 SOS 45361 HAS SOPS 29630 HAS SOUS 26022 HAS SOUPS 17465 WITH SCORE 17510.361
AT ITER 3284 NEW BEST:: SOT 76795 SOS 45296 HAS SOPS 29610 HAS SOUS 26013 HAS SOUPS 17456 WITH SCORE 17501.296
AT ITER 3289 NEW BEST:: SOT 76834 SOS 45387 HAS SOPS 29627 HAS SOUS 25993 HAS SOUPS 17436 WITH SCORE 17481.387
AT ITER 3327 NEW BEST:: SOT 76824 SOS 45365 HAS SOPS 29617 HAS SOUS 25917 HAS SOUPS 17402 WITH SCORE 17447.365
AT ITER 3328 NEW BEST:: SOT 76881 SOS 45375 HAS SOPS 29797 HAS SOUS 25898 HAS SOUPS 17400 WITH SCORE 17445.375
AT ITER 3387 NEW BEST:: SOT 76928 SOS 45452 HAS SOPS 29918 HAS SOUS 25849 HAS SOUPS 17362 WITH SCORE 17407.452
AT ITER 3395 NEW BEST:: SOT 76936 SOS 45454 HAS SOPS 29888 HAS SOUS 25819 HAS SOUPS 17332 WITH SCORE 17377.454
AT ITER 3439 NEW BEST:: SOT 76933 SOS 45451 HAS SOPS 29882 HAS SOUS 25813 HAS SOUPS 17326 WITH SCORE 17371.451
AT ITER 3470 NEW BEST:: SOT 76938 SOS 45466 HAS SOPS 29880 HAS SOUS 25815 HAS SOUPS 17324 WITH SCORE 17369.466
AT ITER 3472 NEW BEST:: SOT 76906 SOS 45259 HAS SOPS 29845 HAS SOUS 25677 HAS SOUPS 17289 WITH SCORE 17334.259
AT ITER 3480 NEW BEST:: SOT 76879 SOS 45263 HAS SOPS 29844 HAS SOUS 25681 HAS SOUPS 17288 WITH SCORE 17333.263
AT ITER 3517 NEW BEST:: SOT 76818 SOS 45217 HAS SOPS 29769 HAS SOUS 25749 HAS SOUPS 17273 WITH SCORE 17318.217
AT ITER 3543 NEW BEST:: SOT 76794 SOS 45193 HAS SOPS 29725 HAS SOUS 25723 HAS SOUPS 17229 WITH SCORE 17274.193
AT ITER 3547 NEW BEST:: SOT 76710 SOS 45004 HAS SOPS 29671 HAS SOUS 25579 HAS SOUPS 17100 WITH SCORE 17145.004
AT ITER 3552 NEW BEST:: SOT 76702 SOS 44996 HAS SOPS 29655 HAS SOUS 25559 HAS SOUPS 17084 WITH SCORE 17128.996
AT ITER 3597 NEW BEST:: SOT 76709 SOS 45003 HAS SOPS 29649 HAS SOUS 25566 HAS SOUPS 17078 WITH SCORE 17123.003
AT ITER 3622 NEW BEST:: SOT 76694 SOS 44988 HAS SOPS 29619 HAS SOUS 25551 HAS SOUPS 17048 WITH SCORE 17092.988
AT ITER 3699 NEW BEST:: SOT 76744 SOS 45047 HAS SOPS 29701 HAS SOUS 25522 HAS SOUPS 17026 WITH SCORE 17071.047
AT ITER 3708 NEW BEST:: SOT 76743 SOS 45046 HAS SOPS 29699 HAS SOUS 25521 HAS SOUPS 17024 WITH SCORE 17069.046
AT ITER 3721 NEW BEST:: SOT 76737 SOS 45042 HAS SOPS 29694 HAS SOUS 25515 HAS SOUPS 17018 WITH SCORE 17063.042
AT ITER 3734 NEW BEST:: SOT 76628 SOS 44659 HAS SOPS 29618 HAS SOUS 25208 HAS SOUPS 16942 WITH SCORE 16986.659
AT ITER 3744 NEW BEST:: SOT 76623 SOS 44654 HAS SOPS 29616 HAS SOUS 25203 HAS SOUPS 16940 WITH SCORE 16984.654
AT ITER 3758 NEW BEST:: SOT 76623 SOS 44647 HAS SOPS 29616 HAS SOUS 25201 HAS SOUPS 16940 WITH SCORE 16984.647
AT ITER 3807 NEW BEST:: SOT 76561 SOS 44585 HAS SOPS 29532 HAS SOUS 25187 HAS SOUPS 16904 WITH SCORE 16948.585
AT ITER 3816 NEW BEST:: SOT 76509 SOS 44557 HAS SOPS 29440 HAS SOUS 25083 HAS SOUPS 16800 WITH SCORE 16844.557
AT ITER 3822 NEW BEST:: SOT 76489 SOS 44579 HAS SOPS 29415 HAS SOUS 25039 HAS SOUPS 16756 WITH SCORE 16800.579
AT ITER 3828 NEW BEST:: SOT 76488 SOS 44578 HAS SOPS 29413 HAS SOUS 25038 HAS SOUPS 16754 WITH SCORE 16798.578
AT ITER 3843 NEW BEST:: SOT 76487 SOS 44577 HAS SOPS 29412 HAS SOUS 25037 HAS SOUPS 16753 WITH SCORE 16797.577
AT ITER 3848 NEW BEST:: SOT 76266 SOS 44356 HAS SOPS 29177 HAS SOUS 24816 HAS SOUPS 16518 WITH SCORE 16562.356
AT ITER 3900 NEW BEST:: SOT 76187 SOS 44342 HAS SOPS 29095 HAS SOUS 24800 HAS SOUPS 16440 WITH SCORE 16484.342
AT ITER 3904 NEW BEST:: SOT 76145 SOS 44278 HAS SOPS 29031 HAS SOUS 24736 HAS SOUPS 16376 WITH SCORE 16420.278
AT ITER 3922 NEW BEST:: SOT 76145 SOS 44186 HAS SOPS 28939 HAS SOUS 24732 HAS SOUPS 16372 WITH SCORE 16416.186
AT ITER 3937 NEW BEST:: SOT 76133 SOS 44174 HAS SOPS 28915 HAS SOUS 24720 HAS SOUPS 16348 WITH SCORE 16392.174
AT ITER 3939 NEW BEST:: SOT 76127 SOS 44168 HAS SOPS 28903 HAS SOUS 24714 HAS SOUPS 16336 WITH SCORE 16380.168
AT ITER 3944 NEW BEST:: SOT 76091 SOS 44132 HAS SOPS 28836 HAS SOUS 24647 HAS SOUPS 16269 WITH SCORE 16313.132
AT ITER 3950 NEW BEST:: SOT 76116 SOS 44319 HAS SOPS 29035 HAS SOUS 24610 HAS SOUPS 16232 WITH SCORE 16276.319
AT ITER 3968 NEW BEST:: SOT 76113 SOS 44289 HAS SOPS 29001 HAS SOUS 24597 HAS SOUPS 16219 WITH SCORE 16263.289
AT ITER 4044 NEW BEST:: SOT 76135 SOS 44311 HAS SOPS 28997 HAS SOUS 24593 HAS SOUPS 16215 WITH SCORE 16259.311
AT ITER 4056 NEW BEST:: SOT 76134 SOS 44310 HAS SOPS 28995 HAS SOUS 24592 HAS SOUPS 16213 WITH SCORE 16257.31
AT ITER 4061 NEW BEST:: SOT 76136 SOS 44163 HAS SOPS 28846 HAS SOUS 24581 HAS SOUPS 16202 WITH SCORE 16246.163
AT ITER 4071 NEW BEST:: SOT 76112 SOS 44139 HAS SOPS 28801 HAS SOUS 24536 HAS SOUPS 16157 WITH SCORE 16201.139
AT ITER 4099 NEW BEST:: SOT 76113 SOS 44123 HAS SOPS 28786 HAS SOUS 24521 HAS SOUPS 16142 WITH SCORE 16186.123
AT ITER 4118 NEW BEST:: SOT 76113 SOS 44123 HAS SOPS 28784 HAS SOUS 24519 HAS SOUPS 16140 WITH SCORE 16184.123
AT ITER 4144 NEW BEST:: SOT 76108 SOS 44118 HAS SOPS 28774 HAS SOUS 24514 HAS SOUPS 16130 WITH SCORE 16174.118
AT ITER 4168 NEW BEST:: SOT 76136 SOS 44137 HAS SOPS 28804 HAS SOUS 24502 HAS SOUPS 16121 WITH SCORE 16165.137
AT ITER 4194 NEW BEST:: SOT 75992 SOS 43977 HAS SOPS 28644 HAS SOUS 24418 HAS SOUPS 16037 WITH SCORE 16080.977
AT ITER 4249 NEW BEST:: SOT 75992 SOS 44001 HAS SOPS 28668 HAS SOUS 24411 HAS SOUPS 16030 WITH SCORE 16074.001
AT ITER 4302 NEW BEST:: SOT 75975 SOS 43975 HAS SOPS 28634 HAS SOUS 24373 HAS SOUPS 15996 WITH SCORE 16039.975
AT ITER 4310 NEW BEST:: SOT 75962 SOS 43962 HAS SOPS 28608 HAS SOUS 24360 HAS SOUPS 15970 WITH SCORE 16013.962
AT ITER 4317 NEW BEST:: SOT 75961 SOS 43961 HAS SOPS 28606 HAS SOUS 24359 HAS SOUPS 15968 WITH SCORE 16011.961
AT ITER 4387 NEW BEST:: SOT 75945 SOS 43945 HAS SOPS 28586 HAS SOUS 24344 HAS SOUPS 15948 WITH SCORE 15991.945
AT ITER 4431 NEW BEST:: SOT 75903 SOS 43779 HAS SOPS 28525 HAS SOUS 24068 HAS SOUPS 15887 WITH SCORE 15930.779
AT ITER 4445 NEW BEST:: SOT 75914 SOS 43790 HAS SOPS 28544 HAS SOUS 24040 HAS SOUPS 15862 WITH SCORE 15905.79
AT ITER 4544 NEW BEST:: SOT 75911 SOS 43787 HAS SOPS 28538 HAS SOUS 24037 HAS SOUPS 15856 WITH SCORE 15899.787
AT ITER 4567 NEW BEST:: SOT 75939 SOS 43815 HAS SOPS 28576 HAS SOUS 23999 HAS SOUPS 15818 WITH SCORE 15861.815
AT ITER 4568 NEW BEST:: SOT 75938 SOS 43812 HAS SOPS 28574 HAS SOUS 23998 HAS SOUPS 15817 WITH SCORE 15860.812
AT ITER 4613 NEW BEST:: SOT 75936 SOS 43810 HAS SOPS 28542 HAS SOUS 24000 HAS SOUPS 15785 WITH SCORE 15828.81
AT ITER 4637 NEW BEST:: SOT 75916 SOS 43790 HAS SOPS 28531 HAS SOUS 23980 HAS SOUPS 15774 WITH SCORE 15817.79
AT ITER 4675 NEW BEST:: SOT 75905 SOS 43784 HAS SOPS 28525 HAS SOUS 23974 HAS SOUPS 15768 WITH SCORE 15811.784
AT ITER 4742 NEW BEST:: SOT 75895 SOS 43774 HAS SOPS 28515 HAS SOUS 23972 HAS SOUPS 15766 WITH SCORE 15809.774
AT ITER 4812 NEW BEST:: SOT 75882 SOS 43744 HAS SOPS 28482 HAS SOUS 23943 HAS SOUPS 15737 WITH SCORE 15780.744
AT ITER 4950 NEW BEST:: SOT 75872 SOS 43734 HAS SOPS 28471 HAS SOUS 23932 HAS SOUPS 15726 WITH SCORE 15769.734
AT ITER 5002 NEW BEST:: SOT 75754 SOS 43616 HAS SOPS 28335 HAS SOUS 23906 HAS SOUPS 15682 WITH SCORE 15725.616
AT ITER 5005 NEW BEST:: SOT 75751 SOS 43613 HAS SOPS 28332 HAS SOUS 23903 HAS SOUPS 15679 WITH SCORE 15722.613
AT ITER 5017 NEW BEST:: SOT 75750 SOS 43612 HAS SOPS 28330 HAS SOUS 23902 HAS SOUPS 15677 WITH SCORE 15720.612
AT ITER 5020 NEW BEST:: SOT 75873 SOS 43702 HAS SOPS 28453 HAS SOUS 23877 HAS SOUPS 15663 WITH SCORE 15706.702
AT ITER 5062 NEW BEST:: SOT 75792 SOS 43621 HAS SOPS 28375 HAS SOUS 23817 HAS SOUPS 15603 WITH SCORE 15646.621
AT ITER 5077 NEW BEST:: SOT 75747 SOS 43576 HAS SOPS 28335 HAS SOUS 23777 HAS SOUPS 15563 WITH SCORE 15606.576
AT ITER 5081 NEW BEST:: SOT 75736 SOS 43619 HAS SOPS 28382 HAS SOUS 23770 HAS SOUPS 15556 WITH SCORE 15599.619
AT ITER 5167 NEW BEST:: SOT 75722 SOS 43605 HAS SOPS 28368 HAS SOUS 23756 HAS SOUPS 15542 WITH SCORE 15585.605
AT ITER 5183 NEW BEST:: SOT 75721 SOS 43604 HAS SOPS 28366 HAS SOUS 23755 HAS SOUPS 15540 WITH SCORE 15583.604
AT ITER 5190 NEW BEST:: SOT 75677 SOS 43469 HAS SOPS 28231 HAS SOUS 23662 HAS SOUPS 15447 WITH SCORE 15490.469
AT ITER 5209 NEW BEST:: SOT 75674 SOS 43466 HAS SOPS 28229 HAS SOUS 23659 HAS SOUPS 15445 WITH SCORE 15488.466
AT ITER 5262 NEW BEST:: SOT 75633 SOS 43469 HAS SOPS 28177 HAS SOUS 23704 HAS SOUPS 15429 WITH SCORE 15472.469
AT ITER 5296 NEW BEST:: SOT 75633 SOS 43460 HAS SOPS 28168 HAS SOUS 23703 HAS SOUPS 15428 WITH SCORE 15471.46
AT ITER 5306 NEW BEST:: SOT 75643 SOS 43458 HAS SOPS 28134 HAS SOUS 23707 HAS SOUPS 15400 WITH SCORE 15443.458
AT ITER 5313 NEW BEST:: SOT 75427 SOS 43349 HAS SOPS 27887 HAS SOUS 23998 HAS SOUPS 15305 WITH SCORE 15348.349
AT ITER 5322 NEW BEST:: SOT 75421 SOS 43343 HAS SOPS 27875 HAS SOUS 23992 HAS SOUPS 15293 WITH SCORE 15336.343
AT ITER 5374 NEW BEST:: SOT 75421 SOS 43424 HAS SOPS 27956 HAS SOUS 23991 HAS SOUPS 15292 WITH SCORE 15335.424
AT ITER 5375 NEW BEST:: SOT 75421 SOS 43477 HAS SOPS 27953 HAS SOUS 24048 HAS SOUPS 15289 WITH SCORE 15332.477
AT ITER 5454 NEW BEST:: SOT 75419 SOS 43475 HAS SOPS 27949 HAS SOUS 24046 HAS SOUPS 15285 WITH SCORE 15328.475
AT ITER 5594 NEW BEST:: SOT 75418 SOS 43474 HAS SOPS 27947 HAS SOUS 24045 HAS SOUPS 15283 WITH SCORE 15326.474
AT ITER 5604 NEW BEST:: SOT 75416 SOS 43472 HAS SOPS 27941 HAS SOUS 24043 HAS SOUPS 15277 WITH SCORE 15320.472
AT ITER 5610 NEW BEST:: SOT 75406 SOS 43462 HAS SOPS 27931 HAS SOUS 24033 HAS SOUPS 15267 WITH SCORE 15310.462
AT ITER 5612 NEW BEST:: SOT 75396 SOS 43452 HAS SOPS 27911 HAS SOUS 24020 HAS SOUPS 15247 WITH SCORE 15290.452
AT ITER 5641 NEW BEST:: SOT 75450 SOS 43450 HAS SOPS 27961 HAS SOUS 24010 HAS SOUPS 15241 WITH SCORE 15284.45
AT ITER 5690 NEW BEST:: SOT 75450 SOS 43577 HAS SOPS 28088 HAS SOUS 24003 HAS SOUPS 15234 WITH SCORE 15277.577
AT ITER 5715 NEW BEST:: SOT 75441 SOS 43568 HAS SOPS 28070 HAS SOUS 23994 HAS SOUPS 15216 WITH SCORE 15259.568
AT ITER 5733 NEW BEST:: SOT 75425 SOS 43552 HAS SOPS 28046 HAS SOUS 24002 HAS SOUPS 15216 WITH SCORE 15259.552
AT ITER 5780 NEW BEST:: SOT 75240 SOS 43401 HAS SOPS 27818 HAS SOUS 23957 HAS SOUPS 15152 WITH SCORE 15195.401
AT ITER 5810 NEW BEST:: SOT 75232 SOS 43392 HAS SOPS 27802 HAS SOUS 23941 HAS SOUPS 15136 WITH SCORE 15179.392
AT ITER 5839 NEW BEST:: SOT 75232 SOS 43391 HAS SOPS 27793 HAS SOUS 23933 HAS SOUPS 15128 WITH SCORE 15171.391
AT ITER 5849 NEW BEST:: SOT 75225 SOS 43384 HAS SOPS 27786 HAS SOUS 23926 HAS SOUPS 15121 WITH SCORE 15164.384
AT ITER 5853 NEW BEST:: SOT 75225 SOS 43386 HAS SOPS 27652 HAS SOUS 23791 HAS SOUPS 14986 WITH SCORE 15029.386
AT ITER 5914 NEW BEST:: SOT 75225 SOS 43358 HAS SOPS 27624 HAS SOUS 23791 HAS SOUPS 14986 WITH SCORE 15029.358
AT ITER 5956 NEW BEST:: SOT 75201 SOS 43334 HAS SOPS 27600 HAS SOUS 23767 HAS SOUPS 14962 WITH SCORE 15005.334
AT ITER 5960 NEW BEST:: SOT 75203 SOS 43340 HAS SOPS 27598 HAS SOUS 23805 HAS SOUPS 14960 WITH SCORE 15003.34
AT ITER 5971 NEW BEST:: SOT 75184 SOS 43321 HAS SOPS 27587 HAS SOUS 23786 HAS SOUPS 14949 WITH SCORE 14992.321
AT ITER 5988 NEW BEST:: SOT 75182 SOS 43319 HAS SOPS 27585 HAS SOUS 23784 HAS SOUPS 14947 WITH SCORE 14990.319
AT ITER 6001 NEW BEST:: SOT 75179 SOS 43316 HAS SOPS 27579 HAS SOUS 23781 HAS SOUPS 14941 WITH SCORE 14984.316
AT ITER 6027 NEW BEST:: SOT 75163 SOS 43300 HAS SOPS 27566 HAS SOUS 23768 HAS SOUPS 14928 WITH SCORE 14971.3
AT ITER 6056 NEW BEST:: SOT 75159 SOS 43130 HAS SOPS 27396 HAS SOUS 23768 HAS SOUPS 14928 WITH SCORE 14971.13
AT ITER 6116 NEW BEST:: SOT 75157 SOS 43128 HAS SOPS 27392 HAS SOUS 23766 HAS SOUPS 14924 WITH SCORE 14967.128
AT ITER 6132 NEW BEST:: SOT 75157 SOS 43100 HAS SOPS 27364 HAS SOUS 23761 HAS SOUPS 14919 WITH SCORE 14962.1
AT ITER 6153 NEW BEST:: SOT 75160 SOS 43026 HAS SOPS 27288 HAS SOUS 23760 HAS SOUPS 14918 WITH SCORE 14961.026
AT ITER 6179 NEW BEST:: SOT 75129 SOS 42995 HAS SOPS 27255 HAS SOUS 23729 HAS SOUPS 14885 WITH SCORE 14927.995
AT ITER 6193 NEW BEST:: SOT 75076 SOS 42938 HAS SOPS 27242 HAS SOUS 23725 HAS SOUPS 14881 WITH SCORE 14923.938
AT ITER 6194 NEW BEST:: SOT 75071 SOS 42933 HAS SOPS 27232 HAS SOUS 23720 HAS SOUPS 14871 WITH SCORE 14913.933
AT ITER 6204 NEW BEST:: SOT 75030 SOS 42892 HAS SOPS 27191 HAS SOUS 23691 HAS SOUPS 14842 WITH SCORE 14884.892
AT ITER 6210 NEW BEST:: SOT 75021 SOS 42883 HAS SOPS 27173 HAS SOUS 23682 HAS SOUPS 14824 WITH SCORE 14866.883
AT ITER 6213 NEW BEST:: SOT 75005 SOS 42863 HAS SOPS 27173 HAS SOUS 23682 HAS SOUPS 14824 WITH SCORE 14866.863
AT ITER 6223 NEW BEST:: SOT 75003 SOS 42861 HAS SOPS 27169 HAS SOUS 23680 HAS SOUPS 14820 WITH SCORE 14862.861
AT ITER 6240 NEW BEST:: SOT 75002 SOS 42860 HAS SOPS 27167 HAS SOUS 23679 HAS SOUPS 14818 WITH SCORE 14860.86
AT ITER 6246 NEW BEST:: SOT 74996 SOS 42854 HAS SOPS 27154 HAS SOUS 23673 HAS SOUPS 14805 WITH SCORE 14847.854
AT ITER 6267 NEW BEST:: SOT 74965 SOS 42823 HAS SOPS 27128 HAS SOUS 23647 HAS SOUPS 14779 WITH SCORE 14821.823
AT ITER 6276 NEW BEST:: SOT 74965 SOS 42823 HAS SOPS 27128 HAS SOUS 23646 HAS SOUPS 14778 WITH SCORE 14820.823
AT ITER 6284 NEW BEST:: SOT 74965 SOS 42839 HAS SOPS 27112 HAS SOUS 23790 HAS SOUPS 14762 WITH SCORE 14804.839
AT ITER 6370 NEW BEST:: SOT 74965 SOS 42837 HAS SOPS 27110 HAS SOUS 23787 HAS SOUPS 14759 WITH SCORE 14801.837
AT ITER 6401 NEW BEST:: SOT 74965 SOS 42819 HAS SOPS 27092 HAS SOUS 23785 HAS SOUPS 14757 WITH SCORE 14799.819
AT ITER 6501 NEW BEST:: SOT 75008 SOS 42819 HAS SOPS 27151 HAS SOUS 23638 HAS SOUPS 14748 WITH SCORE 14790.819
AT ITER 6505 NEW BEST:: SOT 75006 SOS 42817 HAS SOPS 27147 HAS SOUS 23636 HAS SOUPS 14744 WITH SCORE 14786.817
AT ITER 6506 NEW BEST:: SOT 75026 SOS 42785 HAS SOPS 27131 HAS SOUS 23596 HAS SOUPS 14708 WITH SCORE 14750.785
AT ITER 6595 NEW BEST:: SOT 75026 SOS 42779 HAS SOPS 27122 HAS SOUS 23590 HAS SOUPS 14702 WITH SCORE 14744.779
AT ITER 6634 NEW BEST:: SOT 75026 SOS 42788 HAS SOPS 27131 HAS SOUS 23589 HAS SOUPS 14701 WITH SCORE 14743.788
AT ITER 6647 NEW BEST:: SOT 75026 SOS 42847 HAS SOPS 27120 HAS SOUS 23607 HAS SOUPS 14690 WITH SCORE 14732.847
AT ITER 6677 NEW BEST:: SOT 75019 SOS 42840 HAS SOPS 27106 HAS SOUS 23600 HAS SOUPS 14676 WITH SCORE 14718.84
AT ITER 6713 NEW BEST:: SOT 75037 SOS 42744 HAS SOPS 27058 HAS SOUS 23594 HAS SOUPS 14672 WITH SCORE 14714.744
AT ITER 6737 NEW BEST:: SOT 75036 SOS 42742 HAS SOPS 27056 HAS SOUS 23592 HAS SOUPS 14670 WITH SCORE 14712.742
AT ITER 6739 NEW BEST:: SOT 74927 SOS 42707 HAS SOPS 26955 HAS SOUS 23569 HAS SOUPS 14641 WITH SCORE 14683.707
AT ITER 6791 NEW BEST:: SOT 74919 SOS 42699 HAS SOPS 26939 HAS SOUS 23561 HAS SOUPS 14625 WITH SCORE 14667.699
AT ITER 6814 NEW BEST:: SOT 74915 SOS 42687 HAS SOPS 26906 HAS SOUS 23557 HAS SOUPS 14621 WITH SCORE 14663.687
AT ITER 6840 NEW BEST:: SOT 74914 SOS 42686 HAS SOPS 26904 HAS SOUS 23556 HAS SOUPS 14619 WITH SCORE 14661.686
AT ITER 6842 NEW BEST:: SOT 74910 SOS 42682 HAS SOPS 26898 HAS SOUS 23552 HAS SOUPS 14613 WITH SCORE 14655.682
AT ITER 6985 NEW BEST:: SOT 74910 SOS 42682 HAS SOPS 26898 HAS SOUS 23549 HAS SOUPS 14610 WITH SCORE 14652.682
AT ITER 6987 NEW BEST:: SOT 74911 SOS 42683 HAS SOPS 26895 HAS SOUS 23550 HAS SOUPS 14607 WITH SCORE 14649.683
AT ITER 6998 NEW BEST:: SOT 74905 SOS 42677 HAS SOPS 26889 HAS SOUS 23544 HAS SOUPS 14601 WITH SCORE 14643.677
AT ITER 7192 NEW BEST:: SOT 74884 SOS 42831 HAS SOPS 27053 HAS SOUS 23534 HAS SOUPS 14591 WITH SCORE 14633.831
AT ITER 7250 NEW BEST:: SOT 74880 SOS 42827 HAS SOPS 27053 HAS SOUS 23538 HAS SOUPS 14591 WITH SCORE 14633.827
AT ITER 7253 NEW BEST:: SOT 74873 SOS 42820 HAS SOPS 27045 HAS SOUS 23531 HAS SOUPS 14583 WITH SCORE 14625.82
AT ITER 7294 NEW BEST:: SOT 74874 SOS 42821 HAS SOPS 27043 HAS SOUS 23532 HAS SOUPS 14581 WITH SCORE 14623.821
AT ITER 7310 NEW BEST:: SOT 74865 SOS 42812 HAS SOPS 27034 HAS SOUS 23523 HAS SOUPS 14572 WITH SCORE 14614.812
AT ITER 7337 NEW BEST:: SOT 74858 SOS 42805 HAS SOPS 27020 HAS SOUS 23516 HAS SOUPS 14558 WITH SCORE 14600.805
AT ITER 7350 NEW BEST:: SOT 74858 SOS 42829 HAS SOPS 27024 HAS SOUS 23496 HAS SOUPS 14538 WITH SCORE 14580.829
AT ITER 7433 NEW BEST:: SOT 74855 SOS 42826 HAS SOPS 27018 HAS SOUS 23493 HAS SOUPS 14532 WITH SCORE 14574.826
AT ITER 7437 NEW BEST:: SOT 74849 SOS 42820 HAS SOPS 27012 HAS SOUS 23487 HAS SOUPS 14526 WITH SCORE 14568.82
AT ITER 7455 NEW BEST:: SOT 74849 SOS 42810 HAS SOPS 27002 HAS SOUS 23485 HAS SOUPS 14524 WITH SCORE 14566.81
AT ITER 7494 NEW BEST:: SOT 74817 SOS 42778 HAS SOPS 26970 HAS SOUS 23481 HAS SOUPS 14520 WITH SCORE 14562.778
AT ITER 7538 NEW BEST:: SOT 74858 SOS 42807 HAS SOPS 27011 HAS SOUS 23470 HAS SOUPS 14513 WITH SCORE 14555.807
AT ITER 7564 NEW BEST:: SOT 74852 SOS 42801 HAS SOPS 26999 HAS SOUS 23464 HAS SOUPS 14501 WITH SCORE 14543.801
AT ITER 7608 NEW BEST:: SOT 74839 SOS 42813 HAS SOPS 26973 HAS SOUS 23407 HAS SOUPS 14444 WITH SCORE 14486.813
AT ITER 7647 NEW BEST:: SOT 74839 SOS 42809 HAS SOPS 26971 HAS SOUS 23407 HAS SOUPS 14444 WITH SCORE 14486.809
AT ITER 7650 NEW BEST:: SOT 74839 SOS 42991 HAS SOPS 26950 HAS SOUS 23451 HAS SOUPS 14423 WITH SCORE 14465.991
AT ITER 7654 NEW BEST:: SOT 74816 SOS 42968 HAS SOPS 26927 HAS SOUS 23428 HAS SOUPS 14400 WITH SCORE 14442.968
AT ITER 7705 NEW BEST:: SOT 74810 SOS 42963 HAS SOPS 26922 HAS SOUS 23422 HAS SOUPS 14394 WITH SCORE 14436.963
AT ITER 7731 NEW BEST:: SOT 74809 SOS 42962 HAS SOPS 26922 HAS SOUS 23421 HAS SOUPS 14394 WITH SCORE 14436.962
AT ITER 7791 NEW BEST:: SOT 74808 SOS 42961 HAS SOPS 26920 HAS SOUS 23420 HAS SOUPS 14392 WITH SCORE 14434.961
AT ITER 7833 NEW BEST:: SOT 74813 SOS 42957 HAS SOPS 26916 HAS SOUS 23416 HAS SOUPS 14388 WITH SCORE 14430.957
AT ITER 7840 NEW BEST:: SOT 74803 SOS 42954 HAS SOPS 26906 HAS SOUS 23413 HAS SOUPS 14378 WITH SCORE 14420.954
AT ITER 7870 NEW BEST:: SOT 74802 SOS 42953 HAS SOPS 26904 HAS SOUS 23412 HAS SOUPS 14376 WITH SCORE 14418.953
AT ITER 8012 NEW BEST:: SOT 74797 SOS 42948 HAS SOPS 26894 HAS SOUS 23407 HAS SOUPS 14366 WITH SCORE 14408.948
AT ITER 8024 NEW BEST:: SOT 74797 SOS 42936 HAS SOPS 26882 HAS SOUS 23391 HAS SOUPS 14350 WITH SCORE 14392.936
AT ITER 8085 NEW BEST:: SOT 74794 SOS 42933 HAS SOPS 26876 HAS SOUS 23388 HAS SOUPS 14344 WITH SCORE 14386.933
AT ITER 8142 NEW BEST:: SOT 74794 SOS 42637 HAS SOPS 26580 HAS SOUS 23351 HAS SOUPS 14307 WITH SCORE 14349.637
AT ITER 8266 NEW BEST:: SOT 74794 SOS 42553 HAS SOPS 26496 HAS SOUS 23339 HAS SOUPS 14295 WITH SCORE 14337.553
AT ITER 8292 NEW BEST:: SOT 74768 SOS 42527 HAS SOPS 26461 HAS SOUS 23304 HAS SOUPS 14260 WITH SCORE 14302.527
AT ITER 8293 NEW BEST:: SOT 74787 SOS 42538 HAS SOPS 26476 HAS SOUS 23297 HAS SOUPS 14255 WITH SCORE 14297.538
AT ITER 8304 NEW BEST:: SOT 74705 SOS 42378 HAS SOPS 26396 HAS SOUS 23195 HAS SOUPS 14175 WITH SCORE 14217.378
AT ITER 8390 NEW BEST:: SOT 74700 SOS 42373 HAS SOPS 26386 HAS SOUS 23190 HAS SOUPS 14165 WITH SCORE 14207.373
AT ITER 8396 NEW BEST:: SOT 74699 SOS 42372 HAS SOPS 26384 HAS SOUS 23189 HAS SOUPS 14163 WITH SCORE 14205.372
AT ITER 8418 NEW BEST:: SOT 74639 SOS 42312 HAS SOPS 26316 HAS SOUS 23144 HAS SOUPS 14115 WITH SCORE 14157.312
AT ITER 8429 NEW BEST:: SOT 74637 SOS 42310 HAS SOPS 26312 HAS SOUS 23142 HAS SOUPS 14111 WITH SCORE 14153.31
AT ITER 8470 NEW BEST:: SOT 74637 SOS 42310 HAS SOPS 26298 HAS SOUS 23142 HAS SOUPS 14097 WITH SCORE 14139.31
AT ITER 8504 NEW BEST:: SOT 74632 SOS 42305 HAS SOPS 26293 HAS SOUS 23137 HAS SOUPS 14092 WITH SCORE 14134.305
AT ITER 8541 NEW BEST:: SOT 74829 SOS 42416 HAS SOPS 26454 HAS SOUS 23041 HAS SOUPS 14021 WITH SCORE 14063.416
AT ITER 8582 NEW BEST:: SOT 74818 SOS 42404 HAS SOPS 26442 HAS SOUS 23029 HAS SOUPS 14009 WITH SCORE 14051.404
AT ITER 8591 NEW BEST:: SOT 74817 SOS 42403 HAS SOPS 26440 HAS SOUS 23028 HAS SOUPS 14007 WITH SCORE 14049.403
AT ITER 8791 NEW BEST:: SOT 74785 SOS 42352 HAS SOPS 26412 HAS SOUS 22979 HAS SOUPS 13975 WITH SCORE 14017.352
AT ITER 8885 NEW BEST:: SOT 74814 SOS 42301 HAS SOPS 26451 HAS SOUS 22968 HAS SOUPS 13974 WITH SCORE 14016.301
AT ITER 8887 NEW BEST:: SOT 74806 SOS 42293 HAS SOPS 26435 HAS SOUS 22960 HAS SOUPS 13958 WITH SCORE 14000.293
AT ITER 8898 NEW BEST:: SOT 74796 SOS 42283 HAS SOPS 26417 HAS SOUS 22950 HAS SOUPS 13940 WITH SCORE 13982.283
AT ITER 8900 NEW BEST:: SOT 74794 SOS 42281 HAS SOPS 26415 HAS SOUS 22948 HAS SOUPS 13938 WITH SCORE 13980.281
AT ITER 8905 NEW BEST:: SOT 74792 SOS 42279 HAS SOPS 26404 HAS SOUS 22946 HAS SOUPS 13927 WITH SCORE 13969.279
AT ITER 8906 NEW BEST:: SOT 74615 SOS 41989 HAS SOPS 26273 HAS SOUS 22733 HAS SOUPS 13773 WITH SCORE 13814.989
AT ITER 8928 NEW BEST:: SOT 74628 SOS 42002 HAS SOPS 26271 HAS SOUS 22738 HAS SOUPS 13771 WITH SCORE 13813.002
AT ITER 8932 NEW BEST:: SOT 74625 SOS 41999 HAS SOPS 26268 HAS SOUS 22707 HAS SOUPS 13740 WITH SCORE 13781.999
AT ITER 8949 NEW BEST:: SOT 74573 SOS 41986 HAS SOPS 26216 HAS SOUS 22820 HAS SOUPS 13732 WITH SCORE 13773.986
AT ITER 8970 NEW BEST:: SOT 74573 SOS 42020 HAS SOPS 26192 HAS SOUS 23026 HAS SOUPS 13708 WITH SCORE 13750.02
AT ITER 8972 NEW BEST:: SOT 74599 SOS 42046 HAS SOPS 26186 HAS SOUS 23052 HAS SOUPS 13702 WITH SCORE 13744.046
AT ITER 8982 NEW BEST:: SOT 74591 SOS 42038 HAS SOPS 26170 HAS SOUS 23044 HAS SOUPS 13686 WITH SCORE 13728.038
AT ITER 8992 NEW BEST:: SOT 74779 SOS 42168 HAS SOPS 26347 HAS SOUS 22938 HAS SOUPS 13602 WITH SCORE 13644.168
AT ITER 9099 NEW BEST:: SOT 74779 SOS 42168 HAS SOPS 26339 HAS SOUS 22930 HAS SOUPS 13594 WITH SCORE 13636.168
AT ITER 9106 NEW BEST:: SOT 74775 SOS 42164 HAS SOPS 26331 HAS SOUS 22926 HAS SOUPS 13586 WITH SCORE 13628.164
AT ITER 9163 NEW BEST:: SOT 74345 SOS 41824 HAS SOPS 25902 HAS SOUS 22950 HAS SOUPS 13570 WITH SCORE 13611.824
AT ITER 9169 NEW BEST:: SOT 74398 SOS 41823 HAS SOPS 25934 HAS SOUS 22890 HAS SOUPS 13522 WITH SCORE 13563.823
AT ITER 9179 NEW BEST:: SOT 74328 SOS 41901 HAS SOPS 25853 HAS SOUS 22994 HAS SOUPS 13517 WITH SCORE 13558.901
AT ITER 9421 NEW BEST:: SOT 74327 SOS 41900 HAS SOPS 25851 HAS SOUS 22993 HAS SOUPS 13515 WITH SCORE 13556.9
AT ITER 9435 NEW BEST:: SOT 74326 SOS 41899 HAS SOPS 25849 HAS SOUS 22992 HAS SOUPS 13513 WITH SCORE 13554.899
AT ITER 9561 NEW BEST:: SOT 74323 SOS 41896 HAS SOPS 25843 HAS SOUS 22989 HAS SOUPS 13507 WITH SCORE 13548.896
AT ITER 9748 NEW BEST:: SOT 74319 SOS 41888 HAS SOPS 25835 HAS SOUS 22981 HAS SOUPS 13499 WITH SCORE 13540.888
AT ITER 9765 NEW BEST:: SOT 74319 SOS 41878 HAS SOPS 25841 HAS SOUS 22976 HAS SOUPS 13494 WITH SCORE 13535.878
AT ITER 9770 NEW BEST:: SOT 74247 SOS 41806 HAS SOPS 25759 HAS SOUS 22922 HAS SOUPS 13440 WITH SCORE 13481.806

BK_STOP 1589622465352

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 464 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LamportFastMutEx-PT-8"
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 LamportFastMutEx-PT-8, 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 r093-oct2-158940140900696"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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