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.r235-tall-167856421800448.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 LamportFastMutEx-PT-8, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421800448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 24K Feb 25 13:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 163K Feb 25 13:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 43K Feb 25 13:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 228K Feb 25 13:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 25K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 101K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 25 13:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 25 13:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 64K Feb 25 13:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 321K Feb 25 13:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.3K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 329K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678656796092

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=LamportFastMutEx-PT-8
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 21:33:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 21:33:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 21:33:17] [INFO ] Load time of PNML (sax parser for PT used): 73 ms
[2023-03-12 21:33:17] [INFO ] Transformed 315 places.
[2023-03-12 21:33:17] [INFO ] Transformed 666 transitions.
[2023-03-12 21:33:17] [INFO ] Found NUPN structural information;
[2023-03-12 21:33:17] [INFO ] Completing missing partition info from NUPN : creating a component with [P_start_1_0, P_start_1_1, P_start_1_2, P_start_1_3, P_start_1_4, P_start_1_5, P_start_1_6, P_start_1_7, P_start_1_8, P_b_0_false, P_b_0_true, P_b_1_false, P_b_1_true, P_b_2_false, P_b_2_true, P_b_3_false, P_b_3_true, P_b_4_false, P_b_4_true, P_b_5_false, P_b_5_true, P_b_6_false, P_b_6_true, P_b_7_false, P_b_7_true, P_b_8_false, P_b_8_true, P_setx_3_0, P_setx_3_1, P_setx_3_2, P_setx_3_3, P_setx_3_4, P_setx_3_5, P_setx_3_6, P_setx_3_7, P_setx_3_8, P_setbi_5_0, P_setbi_5_1, P_setbi_5_2, P_setbi_5_3, P_setbi_5_4, P_setbi_5_5, P_setbi_5_6, P_setbi_5_7, P_setbi_5_8, P_ify0_4_0, P_ify0_4_1, P_ify0_4_2, P_ify0_4_3, P_ify0_4_4, P_ify0_4_5, P_ify0_4_6, P_ify0_4_7, P_ify0_4_8, P_sety_9_0, P_sety_9_1, P_sety_9_2, P_sety_9_3, P_sety_9_4, P_sety_9_5, P_sety_9_6, P_sety_9_7, P_sety_9_8, P_ifxi_10_0, P_ifxi_10_1, P_ifxi_10_2, P_ifxi_10_3, P_ifxi_10_4, P_ifxi_10_5, P_ifxi_10_6, P_ifxi_10_7, P_ifxi_10_8, P_setbi_11_0, P_setbi_11_1, P_setbi_11_2, P_setbi_11_3, P_setbi_11_4, P_setbi_11_5, P_setbi_11_6, P_setbi_11_7, P_setbi_11_8, P_fordo_12_0, P_fordo_12_1, P_fordo_12_2, P_fordo_12_3, P_fordo_12_4, P_fordo_12_5, P_fordo_12_6, P_fordo_12_7, P_fordo_12_8, P_wait_0_0, P_wait_0_1, P_wait_0_2, P_wait_0_3, P_wait_0_4, P_wait_0_5, P_wait_0_6, P_wait_0_7, P_wait_0_8, P_wait_1_0, P_wait_1_1, P_wait_1_2, P_wait_1_3, P_wait_1_4, P_wait_1_5, P_wait_1_6, P_wait_1_7, P_wait_1_8, P_wait_2_0, P_wait_2_1, P_wait_2_2, P_wait_2_3, P_wait_2_4, P_wait_2_5, P_wait_2_6, P_wait_2_7, P_wait_2_8, P_wait_3_0, P_wait_3_1, P_wait_3_2, P_wait_3_3, P_wait_3_4, P_wait_3_5, P_wait_3_6, P_wait_3_7, P_wait_3_8, P_wait_4_0, P_wait_4_1, P_wait_4_2, P_wait_4_3, P_wait_4_4, P_wait_4_5, P_wait_4_6, P_wait_4_7, P_wait_4_8, P_wait_5_0, P_wait_5_1, P_wait_5_2, P_wait_5_3, P_wait_5_4, P_wait_5_5, P_wait_5_6, P_wait_5_7, P_wait_5_8, P_wait_6_0, P_wait_6_1, P_wait_6_2, P_wait_6_3, P_wait_6_4, P_wait_6_5, P_wait_6_6, P_wait_6_7, P_wait_6_8, P_wait_7_0, P_wait_7_1, P_wait_7_2, P_wait_7_3, P_wait_7_4, P_wait_7_5, P_wait_7_6, P_wait_7_7, P_wait_7_8, P_wait_8_0, P_wait_8_1, P_wait_8_2, P_wait_8_3, P_wait_8_4, P_wait_8_5, P_wait_8_6, P_wait_8_7, P_wait_8_8, P_await_13_0, P_await_13_1, P_await_13_2, P_await_13_3, P_await_13_4, P_await_13_5, P_await_13_6, P_await_13_7, P_await_13_8, P_done_0_0, P_done_0_1, P_done_0_2, P_done_0_3, P_done_0_4, P_done_0_5, P_done_0_6, P_done_0_7, P_done_0_8, P_done_1_0, P_done_1_1, P_done_1_2, P_done_1_3, P_done_1_4, P_done_1_5, P_done_1_6, P_done_1_7, P_done_1_8, P_done_2_0, P_done_2_1, P_done_2_2, P_done_2_3, P_done_2_4, P_done_2_5, P_done_2_6, P_done_2_7, P_done_2_8, P_done_3_0, P_done_3_1, P_done_3_2, P_done_3_3, P_done_3_4, P_done_3_5, P_done_3_6, P_done_3_7, P_done_3_8, P_done_4_0, P_done_4_1, P_done_4_2, P_done_4_3, P_done_4_4, P_done_4_5, P_done_4_6, P_done_4_7, P_done_4_8, P_done_5_0, P_done_5_1, P_done_5_2, P_done_5_3, P_done_5_4, P_done_5_5, P_done_5_6, P_done_5_7, P_done_5_8, P_done_6_0, P_done_6_1, P_done_6_2, P_done_6_3, P_done_6_4, P_done_6_5, P_done_6_6, P_done_6_7, P_done_6_8, P_done_7_0, P_done_7_1, P_done_7_2, P_done_7_3, P_done_7_4, P_done_7_5, P_done_7_6, P_done_7_7, P_done_7_8, P_done_8_0, P_done_8_1, P_done_8_2, P_done_8_3, P_done_8_4, P_done_8_5, P_done_8_6, P_done_8_7, P_done_8_8, P_ifyi_15_0, P_ifyi_15_1, P_ifyi_15_2, P_ifyi_15_3, P_ifyi_15_4, P_ifyi_15_5, P_ifyi_15_6, P_ifyi_15_7, P_ifyi_15_8, P_awaity_0, P_awaity_1, P_awaity_2, P_awaity_3, P_awaity_4, P_awaity_5, P_awaity_6, P_awaity_7, P_awaity_8, P_CS_21_0, P_CS_21_1, P_CS_21_2, P_CS_21_3, P_CS_21_4, P_CS_21_5, P_CS_21_6, P_CS_21_7, P_CS_21_8, P_setbi_24_0, P_setbi_24_1, P_setbi_24_2, P_setbi_24_3, P_setbi_24_4, P_setbi_24_5, P_setbi_24_6, P_setbi_24_7, P_setbi_24_8]
[2023-03-12 21:33:17] [INFO ] Parsed PT model containing 315 places and 666 transitions and 2934 arcs in 141 ms.
[2023-03-12 21:33:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 315 places, 666 transitions and 2934 arcs took 9 ms.
Total runtime 175 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (PT), instance 8
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: 315 places, 666 transitions, 2934 arcs.
AT ITER 0 NEW BEST:: SOT 89191 SOS 57300 HAS SOPS 51812 HAS SOUS 43756 HAS SOUPS 41129 WITH SCORE 41186.3
AT ITER 4 NEW BEST:: SOT 89316 SOS 57513 HAS SOPS 52025 HAS SOUS 43437 HAS SOUPS 40810 WITH SCORE 40867.513
AT ITER 7 NEW BEST:: SOT 89695 SOS 58050 HAS SOPS 52595 HAS SOUS 43366 HAS SOUPS 40772 WITH SCORE 40830.05
AT ITER 12 NEW BEST:: SOT 89812 SOS 58331 HAS SOPS 51823 HAS SOUS 42711 HAS SOUPS 40000 WITH SCORE 40058.331
AT ITER 15 NEW BEST:: SOT 89692 SOS 58249 HAS SOPS 51703 HAS SOUS 42629 HAS SOUPS 39880 WITH SCORE 39938.249
AT ITER 19 NEW BEST:: SOT 89729 SOS 58331 HAS SOPS 51785 HAS SOUS 42531 HAS SOUPS 39782 WITH SCORE 39840.331
AT ITER 24 NEW BEST:: SOT 89729 SOS 58270 HAS SOPS 51724 HAS SOUS 42470 HAS SOUPS 39721 WITH SCORE 39779.27
AT ITER 30 NEW BEST:: SOT 89606 SOS 58345 HAS SOPS 51814 HAS SOUS 42193 HAS SOUPS 39480 WITH SCORE 39538.345
AT ITER 35 NEW BEST:: SOT 89606 SOS 58341 HAS SOPS 51810 HAS SOUS 42189 HAS SOUPS 39476 WITH SCORE 39534.341
AT ITER 36 NEW BEST:: SOT 89496 SOS 58265 HAS SOPS 51700 HAS SOUS 42113 HAS SOUPS 39366 WITH SCORE 39424.265
AT ITER 59 NEW BEST:: SOT 89496 SOS 58210 HAS SOPS 51645 HAS SOUS 42058 HAS SOUPS 39311 WITH SCORE 39369.21
AT ITER 68 NEW BEST:: SOT 89496 SOS 58184 HAS SOPS 51619 HAS SOUS 42032 HAS SOUPS 39285 WITH SCORE 39343.184
AT ITER 69 NEW BEST:: SOT 88895 SOS 57610 HAS SOPS 50954 HAS SOUS 41448 HAS SOUPS 38620 WITH SCORE 38677.61
AT ITER 76 NEW BEST:: SOT 88760 SOS 57475 HAS SOPS 50819 HAS SOUS 41313 HAS SOUPS 38485 WITH SCORE 38542.475
AT ITER 84 NEW BEST:: SOT 88787 SOS 57502 HAS SOPS 50846 HAS SOUS 41232 HAS SOUPS 38404 WITH SCORE 38461.502
AT ITER 85 NEW BEST:: SOT 88655 SOS 57396 HAS SOPS 50714 HAS SOUS 41126 HAS SOUPS 38272 WITH SCORE 38329.396
AT ITER 89 NEW BEST:: SOT 88851 SOS 57251 HAS SOPS 50298 HAS SOUS 41296 HAS SOUPS 38209 WITH SCORE 38266.251
AT ITER 93 NEW BEST:: SOT 88851 SOS 57217 HAS SOPS 50264 HAS SOUS 41262 HAS SOUPS 38175 WITH SCORE 38232.217
AT ITER 116 NEW BEST:: SOT 88860 SOS 57245 HAS SOPS 50292 HAS SOUS 41222 HAS SOUPS 38135 WITH SCORE 38192.245
AT ITER 127 NEW BEST:: SOT 88846 SOS 57217 HAS SOPS 50264 HAS SOUS 41208 HAS SOUPS 38121 WITH SCORE 38178.217
AT ITER 129 NEW BEST:: SOT 88846 SOS 57164 HAS SOPS 50211 HAS SOUS 41155 HAS SOUPS 38068 WITH SCORE 38125.164
AT ITER 133 NEW BEST:: SOT 88756 SOS 57184 HAS SOPS 50260 HAS SOUS 41120 HAS SOUPS 38062 WITH SCORE 38119.184
AT ITER 135 NEW BEST:: SOT 88385 SOS 56861 HAS SOPS 49889 HAS SOUS 40793 HAS SOUPS 37691 WITH SCORE 37747.861
AT ITER 138 NEW BEST:: SOT 88385 SOS 56816 HAS SOPS 49844 HAS SOUS 40748 HAS SOUPS 37646 WITH SCORE 37702.816
AT ITER 140 NEW BEST:: SOT 88418 SOS 56806 HAS SOPS 49834 HAS SOUS 40738 HAS SOUPS 37636 WITH SCORE 37692.806
AT ITER 143 NEW BEST:: SOT 88418 SOS 56762 HAS SOPS 49780 HAS SOUS 40684 HAS SOUPS 37582 WITH SCORE 37638.762
AT ITER 164 NEW BEST:: SOT 87414 SOS 56019 HAS SOPS 49037 HAS SOUS 39791 HAS SOUPS 36689 WITH SCORE 36745.019
AT ITER 168 NEW BEST:: SOT 87392 SOS 55925 HAS SOPS 48925 HAS SOUS 39733 HAS SOUPS 36613 WITH SCORE 36668.925
AT ITER 169 NEW BEST:: SOT 87392 SOS 55873 HAS SOPS 48873 HAS SOUS 39681 HAS SOUPS 36561 WITH SCORE 36616.873
AT ITER 172 NEW BEST:: SOT 87392 SOS 55807 HAS SOPS 48807 HAS SOUS 39675 HAS SOUPS 36555 WITH SCORE 36610.807
AT ITER 174 NEW BEST:: SOT 87336 SOS 55866 HAS SOPS 48751 HAS SOUS 39689 HAS SOUPS 36499 WITH SCORE 36554.866
AT ITER 179 NEW BEST:: SOT 87216 SOS 55746 HAS SOPS 48496 HAS SOUS 39434 HAS SOUPS 36244 WITH SCORE 36299.746
AT ITER 181 NEW BEST:: SOT 87347 SOS 55486 HAS SOPS 47935 HAS SOUS 39343 HAS SOUPS 36097 WITH SCORE 36152.486
AT ITER 184 NEW BEST:: SOT 87347 SOS 55486 HAS SOPS 47934 HAS SOUS 39343 HAS SOUPS 36096 WITH SCORE 36151.486
AT ITER 191 NEW BEST:: SOT 87347 SOS 55489 HAS SOPS 47904 HAS SOUS 39313 HAS SOUPS 36066 WITH SCORE 36121.489
AT ITER 192 NEW BEST:: SOT 87347 SOS 55461 HAS SOPS 47876 HAS SOUS 39285 HAS SOUPS 36038 WITH SCORE 36093.461
AT ITER 199 NEW BEST:: SOT 87347 SOS 55381 HAS SOPS 47796 HAS SOUS 39269 HAS SOUPS 36022 WITH SCORE 36077.381
AT ITER 200 NEW BEST:: SOT 87287 SOS 55261 HAS SOPS 47717 HAS SOUS 39190 HAS SOUPS 35943 WITH SCORE 35998.261
AT ITER 201 NEW BEST:: SOT 87176 SOS 55190 HAS SOPS 47597 HAS SOUS 39110 HAS SOUPS 35823 WITH SCORE 35878.19
AT ITER 202 NEW BEST:: SOT 87176 SOS 55187 HAS SOPS 47594 HAS SOUS 39107 HAS SOUPS 35820 WITH SCORE 35875.187
AT ITER 205 NEW BEST:: SOT 87086 SOS 55288 HAS SOPS 47402 HAS SOUS 39029 HAS SOUPS 35628 WITH SCORE 35683.288
AT ITER 211 NEW BEST:: SOT 87012 SOS 55214 HAS SOPS 47328 HAS SOUS 38955 HAS SOUPS 35554 WITH SCORE 35609.214
AT ITER 224 NEW BEST:: SOT 86987 SOS 55189 HAS SOPS 47298 HAS SOUS 38930 HAS SOUPS 35524 WITH SCORE 35579.189
AT ITER 226 NEW BEST:: SOT 86987 SOS 55188 HAS SOPS 47297 HAS SOUS 38929 HAS SOUPS 35523 WITH SCORE 35578.188
AT ITER 230 NEW BEST:: SOT 86480 SOS 55075 HAS SOPS 46779 HAS SOUS 38510 HAS SOUPS 35005 WITH SCORE 35060.075
AT ITER 231 NEW BEST:: SOT 86480 SOS 55054 HAS SOPS 46758 HAS SOUS 38489 HAS SOUPS 34984 WITH SCORE 35039.054
AT ITER 235 NEW BEST:: SOT 86480 SOS 55012 HAS SOPS 46758 HAS SOUS 38489 HAS SOUPS 34984 WITH SCORE 35039.012
AT ITER 250 NEW BEST:: SOT 86406 SOS 54958 HAS SOPS 46645 HAS SOUS 38376 HAS SOUPS 34871 WITH SCORE 34925.958
AT ITER 253 NEW BEST:: SOT 85734 SOS 54507 HAS SOPS 45909 HAS SOUS 37763 HAS SOUPS 34135 WITH SCORE 34189.507
AT ITER 255 NEW BEST:: SOT 85734 SOS 54097 HAS SOPS 45499 HAS SOUS 37731 HAS SOUPS 34103 WITH SCORE 34157.097
AT ITER 261 NEW BEST:: SOT 84728 SOS 54047 HAS SOPS 44133 HAS SOUS 36741 HAS SOUPS 32927 WITH SCORE 32981.047
AT ITER 264 NEW BEST:: SOT 83825 SOS 53342 HAS SOPS 43439 HAS SOUS 35933 HAS SOUPS 32130 WITH SCORE 32183.342
AT ITER 266 NEW BEST:: SOT 83927 SOS 53194 HAS SOPS 43183 HAS SOUS 35924 HAS SOUPS 32121 WITH SCORE 32174.194
AT ITER 273 NEW BEST:: SOT 83910 SOS 53113 HAS SOPS 43146 HAS SOUS 35887 HAS SOUPS 32084 WITH SCORE 32137.113
AT ITER 280 NEW BEST:: SOT 83910 SOS 53113 HAS SOPS 43142 HAS SOUS 35887 HAS SOUPS 32080 WITH SCORE 32133.113
AT ITER 314 NEW BEST:: SOT 83893 SOS 53079 HAS SOPS 43108 HAS SOUS 35853 HAS SOUPS 32046 WITH SCORE 32099.079
AT ITER 321 NEW BEST:: SOT 83848 SOS 53034 HAS SOPS 43090 HAS SOUS 35835 HAS SOUPS 32028 WITH SCORE 32081.034
AT ITER 324 NEW BEST:: SOT 83908 SOS 53138 HAS SOPS 43218 HAS SOUS 35676 HAS SOUPS 31884 WITH SCORE 31937.138
AT ITER 328 NEW BEST:: SOT 83945 SOS 53175 HAS SOPS 43255 HAS SOUS 35565 HAS SOUPS 31773 WITH SCORE 31826.175
AT ITER 333 NEW BEST:: SOT 83861 SOS 53043 HAS SOPS 43066 HAS SOUS 35263 HAS SOUPS 31471 WITH SCORE 31524.043
AT ITER 338 NEW BEST:: SOT 83861 SOS 52979 HAS SOPS 43056 HAS SOUS 35253 HAS SOUPS 31461 WITH SCORE 31513.979
AT ITER 353 NEW BEST:: SOT 83841 SOS 52947 HAS SOPS 43024 HAS SOUS 35221 HAS SOUPS 31429 WITH SCORE 31481.947
AT ITER 358 NEW BEST:: SOT 83841 SOS 52898 HAS SOPS 42975 HAS SOUS 35172 HAS SOUPS 31380 WITH SCORE 31432.898
AT ITER 359 NEW BEST:: SOT 83760 SOS 52808 HAS SOPS 42804 HAS SOUS 35010 HAS SOUPS 31218 WITH SCORE 31270.808
AT ITER 360 NEW BEST:: SOT 83760 SOS 52786 HAS SOPS 42746 HAS SOUS 34952 HAS SOUPS 31160 WITH SCORE 31212.786
AT ITER 363 NEW BEST:: SOT 83760 SOS 52778 HAS SOPS 42692 HAS SOUS 34898 HAS SOUPS 31106 WITH SCORE 31158.778
AT ITER 377 NEW BEST:: SOT 83828 SOS 52846 HAS SOPS 42760 HAS SOUS 34794 HAS SOUPS 31002 WITH SCORE 31054.846
AT ITER 380 NEW BEST:: SOT 83876 SOS 52894 HAS SOPS 42849 HAS SOUS 34691 HAS SOUPS 30899 WITH SCORE 30951.894
AT ITER 384 NEW BEST:: SOT 83876 SOS 52867 HAS SOPS 42822 HAS SOUS 34664 HAS SOUPS 30872 WITH SCORE 30924.867
AT ITER 388 NEW BEST:: SOT 83766 SOS 52989 HAS SOPS 42712 HAS SOUS 34665 HAS SOUPS 30762 WITH SCORE 30814.989
AT ITER 398 NEW BEST:: SOT 83607 SOS 52881 HAS SOPS 42507 HAS SOUS 34502 HAS SOUPS 30557 WITH SCORE 30609.881
AT ITER 399 NEW BEST:: SOT 83328 SOS 52658 HAS SOPS 42228 HAS SOUS 34279 HAS SOUPS 30278 WITH SCORE 30330.658
AT ITER 401 NEW BEST:: SOT 83251 SOS 52661 HAS SOPS 42189 HAS SOUS 34076 HAS SOUPS 30075 WITH SCORE 30127.661
AT ITER 411 NEW BEST:: SOT 83246 SOS 52646 HAS SOPS 42174 HAS SOUS 34066 HAS SOUPS 30065 WITH SCORE 30117.646
AT ITER 414 NEW BEST:: SOT 83228 SOS 52628 HAS SOPS 42147 HAS SOUS 34039 HAS SOUPS 30038 WITH SCORE 30090.628
AT ITER 425 NEW BEST:: SOT 83101 SOS 52529 HAS SOPS 42020 HAS SOUS 34052 HAS SOUPS 30023 WITH SCORE 30075.529
AT ITER 431 NEW BEST:: SOT 83101 SOS 52517 HAS SOPS 42020 HAS SOUS 34052 HAS SOUPS 30023 WITH SCORE 30075.517
AT ITER 432 NEW BEST:: SOT 83101 SOS 52517 HAS SOPS 42019 HAS SOUS 34052 HAS SOUPS 30022 WITH SCORE 30074.517
AT ITER 433 NEW BEST:: SOT 82951 SOS 52367 HAS SOPS 41869 HAS SOUS 33902 HAS SOUPS 29872 WITH SCORE 29924.367
AT ITER 437 NEW BEST:: SOT 82978 SOS 52304 HAS SOPS 41626 HAS SOUS 33768 HAS SOUPS 29738 WITH SCORE 29790.304
AT ITER 440 NEW BEST:: SOT 82930 SOS 51817 HAS SOPS 40999 HAS SOUS 33558 HAS SOUPS 29528 WITH SCORE 29579.817
AT ITER 441 NEW BEST:: SOT 82865 SOS 52275 HAS SOPS 40874 HAS SOUS 33720 HAS SOUPS 29403 WITH SCORE 29455.275
AT ITER 450 NEW BEST:: SOT 82865 SOS 52254 HAS SOPS 40853 HAS SOUS 33699 HAS SOUPS 29382 WITH SCORE 29434.254
AT ITER 451 NEW BEST:: SOT 82865 SOS 52254 HAS SOPS 40843 HAS SOUS 33689 HAS SOUPS 29372 WITH SCORE 29424.254
AT ITER 468 NEW BEST:: SOT 82875 SOS 52270 HAS SOPS 40832 HAS SOUS 33678 HAS SOUPS 29361 WITH SCORE 29413.27
AT ITER 473 NEW BEST:: SOT 82875 SOS 52238 HAS SOPS 40832 HAS SOUS 33664 HAS SOUPS 29361 WITH SCORE 29413.238
AT ITER 478 NEW BEST:: SOT 82437 SOS 51908 HAS SOPS 40472 HAS SOUS 33250 HAS SOUPS 28947 WITH SCORE 28998.908
AT ITER 481 NEW BEST:: SOT 82437 SOS 51908 HAS SOPS 40433 HAS SOUS 33236 HAS SOUPS 28908 WITH SCORE 28959.908
AT ITER 482 NEW BEST:: SOT 82461 SOS 51932 HAS SOPS 40417 HAS SOUS 33282 HAS SOUPS 28892 WITH SCORE 28943.932
AT ITER 485 NEW BEST:: SOT 82419 SOS 51851 HAS SOPS 40297 HAS SOUS 33359 HAS SOUPS 28891 WITH SCORE 28942.851
AT ITER 486 NEW BEST:: SOT 82379 SOS 51755 HAS SOPS 40223 HAS SOUS 33272 HAS SOUPS 28804 WITH SCORE 28855.755
AT ITER 501 NEW BEST:: SOT 82348 SOS 51724 HAS SOPS 40192 HAS SOUS 33241 HAS SOUPS 28773 WITH SCORE 28824.724
AT ITER 528 NEW BEST:: SOT 82337 SOS 51713 HAS SOPS 40181 HAS SOUS 33230 HAS SOUPS 28762 WITH SCORE 28813.713
AT ITER 532 NEW BEST:: SOT 81626 SOS 51195 HAS SOPS 39470 HAS SOUS 32628 HAS SOUPS 28051 WITH SCORE 28102.195
AT ITER 535 NEW BEST:: SOT 81626 SOS 51195 HAS SOPS 39427 HAS SOUS 32592 HAS SOUPS 28008 WITH SCORE 28059.195
AT ITER 543 NEW BEST:: SOT 81530 SOS 51099 HAS SOPS 39235 HAS SOUS 32380 HAS SOUPS 27816 WITH SCORE 27867.099
AT ITER 555 NEW BEST:: SOT 81450 SOS 51238 HAS SOPS 39155 HAS SOUS 32492 HAS SOUPS 27736 WITH SCORE 27787.238
AT ITER 561 NEW BEST:: SOT 81450 SOS 51098 HAS SOPS 39015 HAS SOUS 32450 HAS SOUPS 27694 WITH SCORE 27745.098
AT ITER 566 NEW BEST:: SOT 81398 SOS 51016 HAS SOPS 38949 HAS SOUS 32355 HAS SOUPS 27628 WITH SCORE 27679.016
AT ITER 567 NEW BEST:: SOT 81388 SOS 51006 HAS SOPS 38936 HAS SOUS 32345 HAS SOUPS 27615 WITH SCORE 27666.006
AT ITER 575 NEW BEST:: SOT 81300 SOS 50950 HAS SOPS 38832 HAS SOUS 32313 HAS SOUPS 27551 WITH SCORE 27601.95
AT ITER 577 NEW BEST:: SOT 81013 SOS 50709 HAS SOPS 38545 HAS SOUS 32309 HAS SOUPS 27448 WITH SCORE 27498.709
AT ITER 582 NEW BEST:: SOT 81005 SOS 50701 HAS SOPS 38534 HAS SOUS 32301 HAS SOUPS 27437 WITH SCORE 27487.701
AT ITER 587 NEW BEST:: SOT 80996 SOS 50692 HAS SOPS 38516 HAS SOUS 32283 HAS SOUPS 27419 WITH SCORE 27469.692
AT ITER 605 NEW BEST:: SOT 80990 SOS 50686 HAS SOPS 38504 HAS SOUS 32277 HAS SOUPS 27407 WITH SCORE 27457.686
AT ITER 615 NEW BEST:: SOT 80990 SOS 50657 HAS SOPS 38504 HAS SOUS 32277 HAS SOUPS 27407 WITH SCORE 27457.657
AT ITER 620 NEW BEST:: SOT 80769 SOS 50454 HAS SOPS 38239 HAS SOUS 31780 HAS SOUPS 26910 WITH SCORE 26960.454
AT ITER 621 NEW BEST:: SOT 80769 SOS 50472 HAS SOPS 38212 HAS SOUS 31811 HAS SOUPS 26883 WITH SCORE 26933.472
AT ITER 638 NEW BEST:: SOT 80758 SOS 50046 HAS SOPS 38195 HAS SOUS 31566 HAS SOUPS 26696 WITH SCORE 26746.046
AT ITER 640 NEW BEST:: SOT 80740 SOS 50028 HAS SOPS 38177 HAS SOUS 31548 HAS SOUPS 26678 WITH SCORE 26728.028
AT ITER 674 NEW BEST:: SOT 80696 SOS 49984 HAS SOPS 38091 HAS SOUS 31442 HAS SOUPS 26592 WITH SCORE 26641.984
AT ITER 676 NEW BEST:: SOT 80800 SOS 49940 HAS SOPS 37739 HAS SOUS 31283 HAS SOUPS 26433 WITH SCORE 26482.94
AT ITER 680 NEW BEST:: SOT 80775 SOS 49915 HAS SOPS 37664 HAS SOUS 31208 HAS SOUPS 26358 WITH SCORE 26407.915
AT ITER 689 NEW BEST:: SOT 80188 SOS 49521 HAS SOPS 37446 HAS SOUS 30880 HAS SOUPS 26030 WITH SCORE 26079.521
AT ITER 692 NEW BEST:: SOT 80188 SOS 49521 HAS SOPS 37410 HAS SOUS 30924 HAS SOUPS 25994 WITH SCORE 26043.521
AT ITER 697 NEW BEST:: SOT 80164 SOS 49497 HAS SOPS 37362 HAS SOUS 30900 HAS SOUPS 25946 WITH SCORE 25995.497
AT ITER 704 NEW BEST:: SOT 80164 SOS 49497 HAS SOPS 37360 HAS SOUS 30900 HAS SOUPS 25944 WITH SCORE 25993.497
AT ITER 709 NEW BEST:: SOT 80164 SOS 49493 HAS SOPS 37356 HAS SOUS 30896 HAS SOUPS 25940 WITH SCORE 25989.493
AT ITER 712 NEW BEST:: SOT 80156 SOS 49467 HAS SOPS 37304 HAS SOUS 30853 HAS SOUPS 25897 WITH SCORE 25946.467
AT ITER 716 NEW BEST:: SOT 80156 SOS 49456 HAS SOPS 37304 HAS SOUS 30853 HAS SOUPS 25897 WITH SCORE 25946.456
AT ITER 722 NEW BEST:: SOT 80155 SOS 49455 HAS SOPS 37292 HAS SOUS 30852 HAS SOUPS 25885 WITH SCORE 25934.455
AT ITER 727 NEW BEST:: SOT 80155 SOS 49450 HAS SOPS 37292 HAS SOUS 30852 HAS SOUPS 25885 WITH SCORE 25934.45
AT ITER 751 NEW BEST:: SOT 80155 SOS 49444 HAS SOPS 37292 HAS SOUS 30852 HAS SOUPS 25885 WITH SCORE 25934.444
AT ITER 769 NEW BEST:: SOT 80245 SOS 49534 HAS SOPS 37168 HAS SOUS 30728 HAS SOUPS 25761 WITH SCORE 25810.534
AT ITER 771 NEW BEST:: SOT 80245 SOS 49534 HAS SOPS 37104 HAS SOUS 30664 HAS SOUPS 25697 WITH SCORE 25746.534
AT ITER 776 NEW BEST:: SOT 80176 SOS 49473 HAS SOPS 37035 HAS SOUS 30574 HAS SOUPS 25620 WITH SCORE 25669.473
AT ITER 777 NEW BEST:: SOT 80302 SOS 49552 HAS SOPS 37161 HAS SOUS 30466 HAS SOUPS 25614 WITH SCORE 25663.552
AT ITER 789 NEW BEST:: SOT 79998 SOS 49198 HAS SOPS 36878 HAS SOUS 30165 HAS SOUPS 25331 WITH SCORE 25380.198
AT ITER 795 NEW BEST:: SOT 79987 SOS 49187 HAS SOPS 36867 HAS SOUS 30154 HAS SOUPS 25320 WITH SCORE 25369.187
AT ITER 799 NEW BEST:: SOT 79856 SOS 49138 HAS SOPS 36723 HAS SOUS 30189 HAS SOUPS 25176 WITH SCORE 25225.138
AT ITER 810 NEW BEST:: SOT 79845 SOS 49127 HAS SOPS 36701 HAS SOUS 30178 HAS SOUPS 25154 WITH SCORE 25203.127
AT ITER 832 NEW BEST:: SOT 79754 SOS 49036 HAS SOPS 36516 HAS SOUS 30018 HAS SOUPS 24969 WITH SCORE 25018.036
AT ITER 842 NEW BEST:: SOT 79750 SOS 49032 HAS SOPS 36512 HAS SOUS 30014 HAS SOUPS 24965 WITH SCORE 25014.032
AT ITER 847 NEW BEST:: SOT 79836 SOS 49166 HAS SOPS 36508 HAS SOUS 29986 HAS SOUPS 24937 WITH SCORE 24986.166
AT ITER 861 NEW BEST:: SOT 79815 SOS 49145 HAS SOPS 36461 HAS SOUS 29973 HAS SOUPS 24890 WITH SCORE 24939.145
AT ITER 866 NEW BEST:: SOT 79815 SOS 49131 HAS SOPS 36441 HAS SOUS 29953 HAS SOUPS 24870 WITH SCORE 24919.131
AT ITER 868 NEW BEST:: SOT 79785 SOS 49101 HAS SOPS 36411 HAS SOUS 29923 HAS SOUPS 24840 WITH SCORE 24889.101
AT ITER 881 NEW BEST:: SOT 79753 SOS 49077 HAS SOPS 36355 HAS SOUS 29863 HAS SOUPS 24780 WITH SCORE 24829.077
AT ITER 888 NEW BEST:: SOT 79753 SOS 49072 HAS SOPS 36350 HAS SOUS 29858 HAS SOUPS 24775 WITH SCORE 24824.072
AT ITER 890 NEW BEST:: SOT 79724 SOS 49043 HAS SOPS 36276 HAS SOUS 29810 HAS SOUPS 24701 WITH SCORE 24750.043
AT ITER 900 NEW BEST:: SOT 79724 SOS 49020 HAS SOPS 36276 HAS SOUS 29810 HAS SOUPS 24701 WITH SCORE 24750.02
AT ITER 909 NEW BEST:: SOT 79276 SOS 48739 HAS SOPS 35828 HAS SOUS 29793 HAS SOUPS 24489 WITH SCORE 24537.739
AT ITER 938 NEW BEST:: SOT 79298 SOS 48749 HAS SOPS 35874 HAS SOUS 29727 HAS SOUPS 24432 WITH SCORE 24480.749
AT ITER 940 NEW BEST:: SOT 79207 SOS 48658 HAS SOPS 35736 HAS SOUS 29636 HAS SOUPS 24294 WITH SCORE 24342.658
AT ITER 943 NEW BEST:: SOT 79193 SOS 48642 HAS SOPS 35688 HAS SOUS 29620 HAS SOUPS 24246 WITH SCORE 24294.642
AT ITER 947 NEW BEST:: SOT 79191 SOS 48640 HAS SOPS 35684 HAS SOUS 29618 HAS SOUPS 24242 WITH SCORE 24290.64
AT ITER 965 NEW BEST:: SOT 79107 SOS 48640 HAS SOPS 35600 HAS SOUS 29570 HAS SOUPS 24158 WITH SCORE 24206.64
AT ITER 972 NEW BEST:: SOT 79107 SOS 48632 HAS SOPS 35600 HAS SOUS 29570 HAS SOUPS 24158 WITH SCORE 24206.632
AT ITER 974 NEW BEST:: SOT 79092 SOS 48617 HAS SOPS 35592 HAS SOUS 29555 HAS SOUPS 24150 WITH SCORE 24198.617
AT ITER 980 NEW BEST:: SOT 79082 SOS 48562 HAS SOPS 35547 HAS SOUS 29530 HAS SOUPS 24125 WITH SCORE 24173.562
AT ITER 982 NEW BEST:: SOT 79027 SOS 48507 HAS SOPS 35492 HAS SOUS 29475 HAS SOUPS 24070 WITH SCORE 24118.507
AT ITER 1006 NEW BEST:: SOT 79023 SOS 48503 HAS SOPS 35488 HAS SOUS 29471 HAS SOUPS 24066 WITH SCORE 24114.503
AT ITER 1022 NEW BEST:: SOT 78974 SOS 48531 HAS SOPS 35438 HAS SOUS 29183 HAS SOUPS 23778 WITH SCORE 23826.531
AT ITER 1027 NEW BEST:: SOT 78964 SOS 48214 HAS SOPS 34959 HAS SOUS 29008 HAS SOUPS 23598 WITH SCORE 23646.214
AT ITER 1037 NEW BEST:: SOT 78964 SOS 48126 HAS SOPS 34871 HAS SOUS 29006 HAS SOUPS 23596 WITH SCORE 23644.126
AT ITER 1041 NEW BEST:: SOT 78804 SOS 47999 HAS SOPS 34711 HAS SOUS 28892 HAS SOUPS 23436 WITH SCORE 23483.999
AT ITER 1052 NEW BEST:: SOT 78551 SOS 47746 HAS SOPS 34457 HAS SOUS 28710 HAS SOUPS 23254 WITH SCORE 23301.746
AT ITER 1055 NEW BEST:: SOT 78431 SOS 47644 HAS SOPS 34326 HAS SOUS 28683 HAS SOUPS 23195 WITH SCORE 23242.644
AT ITER 1077 NEW BEST:: SOT 78426 SOS 47639 HAS SOPS 34310 HAS SOUS 28678 HAS SOUPS 23179 WITH SCORE 23226.639
AT ITER 1080 NEW BEST:: SOT 78426 SOS 47626 HAS SOPS 34310 HAS SOUS 28660 HAS SOUPS 23179 WITH SCORE 23226.626
AT ITER 1096 NEW BEST:: SOT 78426 SOS 47626 HAS SOPS 34307 HAS SOUS 28657 HAS SOUPS 23176 WITH SCORE 23223.626
AT ITER 1103 NEW BEST:: SOT 78426 SOS 47488 HAS SOPS 34169 HAS SOUS 28647 HAS SOUPS 23166 WITH SCORE 23213.488
AT ITER 1110 NEW BEST:: SOT 78425 SOS 47487 HAS SOPS 34166 HAS SOUS 28644 HAS SOUPS 23163 WITH SCORE 23210.487
AT ITER 1122 NEW BEST:: SOT 78430 SOS 47492 HAS SOPS 34164 HAS SOUS 28649 HAS SOUPS 23161 WITH SCORE 23208.492
AT ITER 1126 NEW BEST:: SOT 78430 SOS 47588 HAS SOPS 34260 HAS SOUS 28636 HAS SOUPS 23148 WITH SCORE 23195.588
AT ITER 1127 NEW BEST:: SOT 78430 SOS 47576 HAS SOPS 34260 HAS SOUS 28636 HAS SOUPS 23148 WITH SCORE 23195.576
AT ITER 1130 NEW BEST:: SOT 78177 SOS 47116 HAS SOPS 33769 HAS SOUS 28356 HAS SOUPS 22854 WITH SCORE 22901.116
AT ITER 1137 NEW BEST:: SOT 78136 SOS 47075 HAS SOPS 33728 HAS SOUS 28315 HAS SOUPS 22813 WITH SCORE 22860.075
AT ITER 1148 NEW BEST:: SOT 77961 SOS 46900 HAS SOPS 33553 HAS SOUS 28188 HAS SOUPS 22686 WITH SCORE 22732.9
AT ITER 1153 NEW BEST:: SOT 77913 SOS 46852 HAS SOPS 33505 HAS SOUS 28140 HAS SOUPS 22638 WITH SCORE 22684.852
AT ITER 1161 NEW BEST:: SOT 77841 SOS 46762 HAS SOPS 33334 HAS SOUS 27978 HAS SOUPS 22476 WITH SCORE 22522.762
AT ITER 1171 NEW BEST:: SOT 77743 SOS 46847 HAS SOPS 33234 HAS SOUS 27961 HAS SOUPS 22404 WITH SCORE 22450.847
AT ITER 1178 NEW BEST:: SOT 77704 SOS 46808 HAS SOPS 33195 HAS SOUS 27922 HAS SOUPS 22365 WITH SCORE 22411.808
AT ITER 1191 NEW BEST:: SOT 77704 SOS 46742 HAS SOPS 33195 HAS SOUS 27922 HAS SOUPS 22365 WITH SCORE 22411.742
AT ITER 1197 NEW BEST:: SOT 77706 SOS 46744 HAS SOPS 33187 HAS SOUS 27924 HAS SOUPS 22357 WITH SCORE 22403.744
AT ITER 1223 NEW BEST:: SOT 77706 SOS 46744 HAS SOPS 33180 HAS SOUS 27924 HAS SOUPS 22350 WITH SCORE 22396.744
AT ITER 1234 NEW BEST:: SOT 77622 SOS 46696 HAS SOPS 33084 HAS SOUS 27852 HAS SOUPS 22254 WITH SCORE 22300.696
AT ITER 1250 NEW BEST:: SOT 77523 SOS 46597 HAS SOPS 32974 HAS SOUS 27742 HAS SOUPS 22144 WITH SCORE 22190.597
AT ITER 1253 NEW BEST:: SOT 77557 SOS 46624 HAS SOPS 32956 HAS SOUS 27741 HAS SOUPS 22126 WITH SCORE 22172.624
AT ITER 1261 NEW BEST:: SOT 77510 SOS 46577 HAS SOPS 32862 HAS SOUS 27703 HAS SOUPS 22032 WITH SCORE 22078.577
AT ITER 1262 NEW BEST:: SOT 77412 SOS 46501 HAS SOPS 32792 HAS SOUS 27622 HAS SOUPS 21951 WITH SCORE 21997.501
AT ITER 1276 NEW BEST:: SOT 77410 SOS 46499 HAS SOPS 32755 HAS SOUS 27629 HAS SOUPS 21914 WITH SCORE 21960.499
AT ITER 1279 NEW BEST:: SOT 77409 SOS 46498 HAS SOPS 32754 HAS SOUS 27628 HAS SOUPS 21913 WITH SCORE 21959.498
AT ITER 1312 NEW BEST:: SOT 77400 SOS 46489 HAS SOPS 32748 HAS SOUS 27619 HAS SOUPS 21907 WITH SCORE 21953.489
AT ITER 1323 NEW BEST:: SOT 77400 SOS 46468 HAS SOPS 32727 HAS SOUS 27619 HAS SOUPS 21907 WITH SCORE 21953.468
AT ITER 1336 NEW BEST:: SOT 77393 SOS 46398 HAS SOPS 32713 HAS SOUS 27591 HAS SOUPS 21893 WITH SCORE 21939.398
AT ITER 1348 NEW BEST:: SOT 77243 SOS 46268 HAS SOPS 32433 HAS SOUS 27311 HAS SOUPS 21613 WITH SCORE 21659.268
AT ITER 1363 NEW BEST:: SOT 77081 SOS 46148 HAS SOPS 32316 HAS SOUS 27170 HAS SOUPS 21475 WITH SCORE 21521.148
AT ITER 1387 NEW BEST:: SOT 77064 SOS 46168 HAS SOPS 32287 HAS SOUS 27141 HAS SOUPS 21446 WITH SCORE 21492.168
AT ITER 1403 NEW BEST:: SOT 77049 SOS 45872 HAS SOPS 32283 HAS SOUS 26985 HAS SOUPS 21442 WITH SCORE 21487.872
AT ITER 1404 NEW BEST:: SOT 77019 SOS 45836 HAS SOPS 32247 HAS SOUS 26952 HAS SOUPS 21409 WITH SCORE 21454.836
AT ITER 1420 NEW BEST:: SOT 77022 SOS 45839 HAS SOPS 32254 HAS SOUS 26927 HAS SOUPS 21384 WITH SCORE 21429.839
AT ITER 1433 NEW BEST:: SOT 77021 SOS 45838 HAS SOPS 32252 HAS SOUS 26926 HAS SOUPS 21382 WITH SCORE 21427.838
AT ITER 1436 NEW BEST:: SOT 77021 SOS 45842 HAS SOPS 32256 HAS SOUS 26920 HAS SOUPS 21376 WITH SCORE 21421.842
AT ITER 1452 NEW BEST:: SOT 77021 SOS 45863 HAS SOPS 32246 HAS SOUS 26960 HAS SOUPS 21366 WITH SCORE 21411.863
AT ITER 1463 NEW BEST:: SOT 76941 SOS 45783 HAS SOPS 32110 HAS SOUS 26824 HAS SOUPS 21230 WITH SCORE 21275.783
AT ITER 1474 NEW BEST:: SOT 77000 SOS 45751 HAS SOPS 32176 HAS SOUS 26788 HAS SOUPS 21201 WITH SCORE 21246.751
AT ITER 1488 NEW BEST:: SOT 76999 SOS 45746 HAS SOPS 32171 HAS SOUS 26783 HAS SOUPS 21196 WITH SCORE 21241.746
AT ITER 1491 NEW BEST:: SOT 76818 SOS 45834 HAS SOPS 31969 HAS SOUS 26816 HAS SOUPS 21102 WITH SCORE 21147.834
AT ITER 1530 NEW BEST:: SOT 76695 SOS 45663 HAS SOPS 31798 HAS SOUS 26729 HAS SOUPS 21015 WITH SCORE 21060.663
AT ITER 1551 NEW BEST:: SOT 76677 SOS 45645 HAS SOPS 31753 HAS SOUS 26703 HAS SOUPS 20970 WITH SCORE 21015.645
AT ITER 1554 NEW BEST:: SOT 76603 SOS 45571 HAS SOPS 31684 HAS SOUS 26629 HAS SOUPS 20901 WITH SCORE 20946.571
AT ITER 1579 NEW BEST:: SOT 76585 SOS 45551 HAS SOPS 31655 HAS SOUS 26601 HAS SOUPS 20873 WITH SCORE 20918.551
AT ITER 1601 NEW BEST:: SOT 76559 SOS 45509 HAS SOPS 31611 HAS SOUS 26577 HAS SOUPS 20849 WITH SCORE 20894.509
AT ITER 1614 NEW BEST:: SOT 76595 SOS 45553 HAS SOPS 31683 HAS SOUS 26505 HAS SOUPS 20777 WITH SCORE 20822.553
AT ITER 1636 NEW BEST:: SOT 76589 SOS 45547 HAS SOPS 31670 HAS SOUS 26499 HAS SOUPS 20764 WITH SCORE 20809.547
AT ITER 1645 NEW BEST:: SOT 76589 SOS 45774 HAS SOPS 31635 HAS SOUS 26615 HAS SOUPS 20729 WITH SCORE 20774.774
AT ITER 1656 NEW BEST:: SOT 76572 SOS 45757 HAS SOPS 31608 HAS SOUS 26598 HAS SOUPS 20702 WITH SCORE 20747.757
AT ITER 1666 NEW BEST:: SOT 76571 SOS 45756 HAS SOPS 31607 HAS SOUS 26597 HAS SOUPS 20701 WITH SCORE 20746.756
AT ITER 1722 NEW BEST:: SOT 76548 SOS 45733 HAS SOPS 31561 HAS SOUS 26551 HAS SOUPS 20655 WITH SCORE 20700.733
AT ITER 1727 NEW BEST:: SOT 76478 SOS 45683 HAS SOPS 31511 HAS SOUS 26491 HAS SOUPS 20595 WITH SCORE 20640.683
AT ITER 1745 NEW BEST:: SOT 76448 SOS 45653 HAS SOPS 31451 HAS SOUS 26411 HAS SOUPS 20535 WITH SCORE 20580.653
AT ITER 1764 NEW BEST:: SOT 76430 SOS 45627 HAS SOPS 31426 HAS SOUS 26386 HAS SOUPS 20510 WITH SCORE 20555.627
AT ITER 1780 NEW BEST:: SOT 76420 SOS 45555 HAS SOPS 31418 HAS SOUS 26262 HAS SOUPS 20399 WITH SCORE 20444.555
AT ITER 1784 NEW BEST:: SOT 76356 SOS 45506 HAS SOPS 31305 HAS SOUS 26154 HAS SOUPS 20291 WITH SCORE 20336.506
AT ITER 1823 NEW BEST:: SOT 76340 SOS 45504 HAS SOPS 31268 HAS SOUS 26127 HAS SOUPS 20254 WITH SCORE 20299.504
AT ITER 1871 NEW BEST:: SOT 76322 SOS 45510 HAS SOPS 31289 HAS SOUS 26124 HAS SOUPS 20251 WITH SCORE 20296.51
AT ITER 1874 NEW BEST:: SOT 76316 SOS 45504 HAS SOPS 31277 HAS SOUS 26118 HAS SOUPS 20239 WITH SCORE 20284.504
AT ITER 1880 NEW BEST:: SOT 76318 SOS 45506 HAS SOPS 31275 HAS SOUS 26102 HAS SOUPS 20237 WITH SCORE 20282.506
AT ITER 1904 NEW BEST:: SOT 76319 SOS 45521 HAS SOPS 31266 HAS SOUS 26103 HAS SOUPS 20233 WITH SCORE 20278.521
AT ITER 1916 NEW BEST:: SOT 76305 SOS 45507 HAS SOPS 31238 HAS SOUS 26075 HAS SOUPS 20205 WITH SCORE 20250.507
AT ITER 1919 NEW BEST:: SOT 76281 SOS 45483 HAS SOPS 31190 HAS SOUS 26051 HAS SOUPS 20157 WITH SCORE 20202.483
AT ITER 1940 NEW BEST:: SOT 76257 SOS 45447 HAS SOPS 31154 HAS SOUS 26015 HAS SOUPS 20121 WITH SCORE 20166.447
AT ITER 1945 NEW BEST:: SOT 76244 SOS 45443 HAS SOPS 31138 HAS SOUS 26038 HAS SOUPS 20105 WITH SCORE 20150.443
AT ITER 1963 NEW BEST:: SOT 76244 SOS 45435 HAS SOPS 31130 HAS SOUS 26037 HAS SOUPS 20104 WITH SCORE 20149.435
AT ITER 1979 NEW BEST:: SOT 76242 SOS 45433 HAS SOPS 31128 HAS SOUS 26035 HAS SOUPS 20102 WITH SCORE 20147.433
AT ITER 1993 NEW BEST:: SOT 76241 SOS 45432 HAS SOPS 31122 HAS SOUS 25997 HAS SOUPS 20096 WITH SCORE 20141.432
AT ITER 2003 NEW BEST:: SOT 76241 SOS 45436 HAS SOPS 31110 HAS SOUS 25985 HAS SOUPS 20084 WITH SCORE 20129.436
AT ITER 2018 NEW BEST:: SOT 76234 SOS 45499 HAS SOPS 31107 HAS SOUS 26064 HAS SOUPS 20081 WITH SCORE 20126.499
AT ITER 2031 NEW BEST:: SOT 76233 SOS 45498 HAS SOPS 31105 HAS SOUS 26063 HAS SOUPS 20079 WITH SCORE 20124.498
AT ITER 2105 NEW BEST:: SOT 76229 SOS 45494 HAS SOPS 31097 HAS SOUS 26059 HAS SOUPS 20071 WITH SCORE 20116.494
AT ITER 2131 NEW BEST:: SOT 76164 SOS 45446 HAS SOPS 31056 HAS SOUS 26027 HAS SOUPS 20030 WITH SCORE 20075.446
AT ITER 2137 NEW BEST:: SOT 76156 SOS 45436 HAS SOPS 31039 HAS SOUS 26011 HAS SOUPS 20014 WITH SCORE 20059.436
AT ITER 2162 NEW BEST:: SOT 76157 SOS 45445 HAS SOPS 31041 HAS SOUS 26009 HAS SOUPS 20012 WITH SCORE 20057.445
AT ITER 2190 NEW BEST:: SOT 76144 SOS 45432 HAS SOPS 31032 HAS SOUS 25996 HAS SOUPS 20003 WITH SCORE 20048.432
AT ITER 2211 NEW BEST:: SOT 76134 SOS 45422 HAS SOPS 31020 HAS SOUS 25986 HAS SOUPS 19991 WITH SCORE 20036.422
AT ITER 2221 NEW BEST:: SOT 76126 SOS 45414 HAS SOPS 31004 HAS SOUS 25978 HAS SOUPS 19975 WITH SCORE 20020.414
AT ITER 2238 NEW BEST:: SOT 76125 SOS 45413 HAS SOPS 31002 HAS SOUS 25977 HAS SOUPS 19973 WITH SCORE 20018.413
AT ITER 2259 NEW BEST:: SOT 76125 SOS 45383 HAS SOPS 30987 HAS SOUS 25977 HAS SOUPS 19973 WITH SCORE 20018.383
AT ITER 2272 NEW BEST:: SOT 76125 SOS 45428 HAS SOPS 31032 HAS SOUS 25974 HAS SOUPS 19970 WITH SCORE 20015.428
AT ITER 2306 NEW BEST:: SOT 76125 SOS 45398 HAS SOPS 31030 HAS SOUS 25972 HAS SOUPS 19968 WITH SCORE 20013.398
AT ITER 2348 NEW BEST:: SOT 76127 SOS 45400 HAS SOPS 31023 HAS SOUS 25965 HAS SOUPS 19961 WITH SCORE 20006.4
AT ITER 2363 NEW BEST:: SOT 75999 SOS 45272 HAS SOPS 30879 HAS SOUS 25821 HAS SOUPS 19817 WITH SCORE 19862.272
AT ITER 2395 NEW BEST:: SOT 75993 SOS 45266 HAS SOPS 30867 HAS SOUS 25809 HAS SOUPS 19805 WITH SCORE 19850.266
AT ITER 2440 NEW BEST:: SOT 75986 SOS 45259 HAS SOPS 30853 HAS SOUS 25775 HAS SOUPS 19791 WITH SCORE 19836.259
AT ITER 2464 NEW BEST:: SOT 75977 SOS 45254 HAS SOPS 30836 HAS SOUS 25732 HAS SOUPS 19748 WITH SCORE 19793.254
AT ITER 2469 NEW BEST:: SOT 75913 SOS 45176 HAS SOPS 30702 HAS SOUS 25605 HAS SOUPS 19621 WITH SCORE 19666.176
AT ITER 2471 NEW BEST:: SOT 75864 SOS 45127 HAS SOPS 30607 HAS SOUS 25556 HAS SOUPS 19526 WITH SCORE 19571.127
AT ITER 2497 NEW BEST:: SOT 75864 SOS 45039 HAS SOPS 30519 HAS SOUS 25556 HAS SOUPS 19526 WITH SCORE 19571.039
AT ITER 2506 NEW BEST:: SOT 75790 SOS 45009 HAS SOPS 30438 HAS SOUS 25299 HAS SOUPS 19269 WITH SCORE 19314.009
AT ITER 2524 NEW BEST:: SOT 75785 SOS 45004 HAS SOPS 30433 HAS SOUS 25294 HAS SOUPS 19264 WITH SCORE 19309.004
AT ITER 2548 NEW BEST:: SOT 75785 SOS 44996 HAS SOPS 30411 HAS SOUS 25272 HAS SOUPS 19242 WITH SCORE 19286.996
AT ITER 2575 NEW BEST:: SOT 75808 SOS 45019 HAS SOPS 30434 HAS SOUS 25262 HAS SOUPS 19237 WITH SCORE 19282.019
AT ITER 2578 NEW BEST:: SOT 75840 SOS 45039 HAS SOPS 30342 HAS SOUS 25176 HAS SOUPS 19151 WITH SCORE 19196.039
AT ITER 2579 NEW BEST:: SOT 75815 SOS 45014 HAS SOPS 30292 HAS SOUS 25151 HAS SOUPS 19101 WITH SCORE 19146.014
AT ITER 2583 NEW BEST:: SOT 75816 SOS 45025 HAS SOPS 30274 HAS SOUS 25154 HAS SOUPS 19083 WITH SCORE 19128.025
AT ITER 2616 NEW BEST:: SOT 75816 SOS 45019 HAS SOPS 30274 HAS SOUS 25154 HAS SOUPS 19083 WITH SCORE 19128.019
AT ITER 2639 NEW BEST:: SOT 75823 SOS 45045 HAS SOPS 30288 HAS SOUS 25149 HAS SOUPS 19078 WITH SCORE 19123.045
AT ITER 2713 NEW BEST:: SOT 75808 SOS 45030 HAS SOPS 30258 HAS SOUS 25119 HAS SOUPS 19048 WITH SCORE 19093.03
AT ITER 2742 NEW BEST:: SOT 75808 SOS 45029 HAS SOPS 30258 HAS SOUS 25119 HAS SOUPS 19048 WITH SCORE 19093.029
AT ITER 2750 NEW BEST:: SOT 75791 SOS 45012 HAS SOPS 30241 HAS SOUS 25102 HAS SOUPS 19031 WITH SCORE 19076.012
AT ITER 2795 NEW BEST:: SOT 75779 SOS 45000 HAS SOPS 30233 HAS SOUS 25094 HAS SOUPS 19023 WITH SCORE 19068.0
AT ITER 2940 NEW BEST:: SOT 75358 SOS 44824 HAS SOPS 30084 HAS SOUS 24795 HAS SOUPS 18724 WITH SCORE 18768.824
AT ITER 3001 NEW BEST:: SOT 75353 SOS 44819 HAS SOPS 30074 HAS SOUS 24790 HAS SOUPS 18714 WITH SCORE 18758.819
AT ITER 3005 NEW BEST:: SOT 75351 SOS 44817 HAS SOPS 30072 HAS SOUS 24788 HAS SOUPS 18712 WITH SCORE 18756.817
AT ITER 3007 NEW BEST:: SOT 75215 SOS 44720 HAS SOPS 29936 HAS SOUS 24921 HAS SOUPS 18684 WITH SCORE 18728.72
AT ITER 3027 NEW BEST:: SOT 75214 SOS 44729 HAS SOPS 29935 HAS SOUS 24940 HAS SOUPS 18683 WITH SCORE 18727.729
AT ITER 3092 NEW BEST:: SOT 75211 SOS 44726 HAS SOPS 29929 HAS SOUS 24937 HAS SOUPS 18677 WITH SCORE 18721.726
AT ITER 3103 NEW BEST:: SOT 75175 SOS 44694 HAS SOPS 29893 HAS SOUS 24901 HAS SOUPS 18641 WITH SCORE 18685.694
AT ITER 3139 NEW BEST:: SOT 75193 SOS 44705 HAS SOPS 29917 HAS SOUS 24855 HAS SOUPS 18637 WITH SCORE 18681.705
AT ITER 3143 NEW BEST:: SOT 75161 SOS 44675 HAS SOPS 29882 HAS SOUS 24820 HAS SOUPS 18602 WITH SCORE 18646.675
AT ITER 3165 NEW BEST:: SOT 75154 SOS 44650 HAS SOPS 29866 HAS SOUS 24756 HAS SOUPS 18541 WITH SCORE 18585.65
AT ITER 3173 NEW BEST:: SOT 75127 SOS 44623 HAS SOPS 29881 HAS SOUS 24749 HAS SOUPS 18536 WITH SCORE 18580.623
AT ITER 3199 NEW BEST:: SOT 75119 SOS 44615 HAS SOPS 29873 HAS SOUS 24737 HAS SOUPS 18524 WITH SCORE 18568.615
AT ITER 3225 NEW BEST:: SOT 75143 SOS 44480 HAS SOPS 29605 HAS SOUS 24640 HAS SOUPS 18427 WITH SCORE 18471.48
AT ITER 3237 NEW BEST:: SOT 75143 SOS 44476 HAS SOPS 29601 HAS SOUS 24640 HAS SOUPS 18427 WITH SCORE 18471.476
AT ITER 3273 NEW BEST:: SOT 75038 SOS 44371 HAS SOPS 29445 HAS SOUS 24628 HAS SOUPS 18395 WITH SCORE 18439.371
AT ITER 3274 NEW BEST:: SOT 75037 SOS 44368 HAS SOPS 29441 HAS SOUS 24625 HAS SOUPS 18392 WITH SCORE 18436.368
AT ITER 3306 NEW BEST:: SOT 75037 SOS 44346 HAS SOPS 29419 HAS SOUS 24486 HAS SOUPS 18253 WITH SCORE 18297.346
AT ITER 3311 NEW BEST:: SOT 74985 SOS 44294 HAS SOPS 29367 HAS SOUS 24434 HAS SOUPS 18201 WITH SCORE 18245.294
AT ITER 3325 NEW BEST:: SOT 74869 SOS 44407 HAS SOPS 29222 HAS SOUS 24477 HAS SOUPS 18160 WITH SCORE 18204.407
AT ITER 3330 NEW BEST:: SOT 74878 SOS 44426 HAS SOPS 29242 HAS SOUS 24460 HAS SOUPS 18143 WITH SCORE 18187.426
AT ITER 3341 NEW BEST:: SOT 74867 SOS 44415 HAS SOPS 29237 HAS SOUS 24449 HAS SOUPS 18138 WITH SCORE 18182.415
AT ITER 3383 NEW BEST:: SOT 74856 SOS 44404 HAS SOPS 29215 HAS SOUS 24438 HAS SOUPS 18116 WITH SCORE 18160.404
AT ITER 3411 NEW BEST:: SOT 74711 SOS 44447 HAS SOPS 29070 HAS SOUS 24512 HAS SOUPS 18115 WITH SCORE 18159.447
AT ITER 3434 NEW BEST:: SOT 74596 SOS 44051 HAS SOPS 28522 HAS SOUS 24238 HAS SOUPS 17841 WITH SCORE 17885.051
AT ITER 3437 NEW BEST:: SOT 74431 SOS 43866 HAS SOPS 28489 HAS SOUS 24215 HAS SOUPS 17818 WITH SCORE 17861.866
AT ITER 3439 NEW BEST:: SOT 74422 SOS 43857 HAS SOPS 28469 HAS SOUS 24225 HAS SOUPS 17798 WITH SCORE 17841.857
AT ITER 3453 NEW BEST:: SOT 74422 SOS 43808 HAS SOPS 28477 HAS SOUS 24178 HAS SOUPS 17774 WITH SCORE 17817.808
AT ITER 3476 NEW BEST:: SOT 74403 SOS 43852 HAS SOPS 28439 HAS SOUS 24245 HAS SOUPS 17736 WITH SCORE 17779.852
AT ITER 3479 NEW BEST:: SOT 74152 SOS 43502 HAS SOPS 28288 HAS SOUS 24014 HAS SOUPS 17637 WITH SCORE 17680.502
AT ITER 3488 NEW BEST:: SOT 74140 SOS 43466 HAS SOPS 28252 HAS SOUS 23978 HAS SOUPS 17601 WITH SCORE 17644.466
AT ITER 3503 NEW BEST:: SOT 74133 SOS 43286 HAS SOPS 28244 HAS SOUS 23800 HAS SOUPS 17593 WITH SCORE 17636.286
AT ITER 3553 NEW BEST:: SOT 74133 SOS 43286 HAS SOPS 28241 HAS SOUS 23797 HAS SOUPS 17590 WITH SCORE 17633.286
AT ITER 3557 NEW BEST:: SOT 74133 SOS 43286 HAS SOPS 28235 HAS SOUS 23797 HAS SOUPS 17584 WITH SCORE 17627.286
AT ITER 3599 NEW BEST:: SOT 74076 SOS 43267 HAS SOPS 28211 HAS SOUS 23773 HAS SOUPS 17560 WITH SCORE 17603.267
AT ITER 3621 NEW BEST:: SOT 74109 SOS 43327 HAS SOPS 28271 HAS SOUS 23749 HAS SOUPS 17536 WITH SCORE 17579.327
AT ITER 3628 NEW BEST:: SOT 74107 SOS 43325 HAS SOPS 28269 HAS SOUS 23747 HAS SOUPS 17534 WITH SCORE 17577.325
AT ITER 3642 NEW BEST:: SOT 74107 SOS 43325 HAS SOPS 28268 HAS SOUS 23747 HAS SOUPS 17533 WITH SCORE 17576.325
AT ITER 3645 NEW BEST:: SOT 74107 SOS 43315 HAS SOPS 28258 HAS SOUS 23702 HAS SOUPS 17488 WITH SCORE 17531.315
AT ITER 3669 NEW BEST:: SOT 74105 SOS 43313 HAS SOPS 28254 HAS SOUS 23700 HAS SOUPS 17484 WITH SCORE 17527.313
AT ITER 3676 NEW BEST:: SOT 74107 SOS 43351 HAS SOPS 28246 HAS SOUS 23774 HAS SOUPS 17476 WITH SCORE 17519.351
AT ITER 3683 NEW BEST:: SOT 74077 SOS 43321 HAS SOPS 28236 HAS SOUS 23744 HAS SOUPS 17466 WITH SCORE 17509.321
AT ITER 3724 NEW BEST:: SOT 74074 SOS 43303 HAS SOPS 28203 HAS SOUS 23735 HAS SOUPS 17457 WITH SCORE 17500.303
AT ITER 3731 NEW BEST:: SOT 74069 SOS 43277 HAS SOPS 28198 HAS SOUS 23715 HAS SOUPS 17440 WITH SCORE 17483.277
AT ITER 3743 NEW BEST:: SOT 74057 SOS 43265 HAS SOPS 28178 HAS SOUS 23703 HAS SOUPS 17420 WITH SCORE 17463.265
AT ITER 3767 NEW BEST:: SOT 74057 SOS 43265 HAS SOPS 28150 HAS SOUS 23686 HAS SOUPS 17392 WITH SCORE 17435.265
AT ITER 3779 NEW BEST:: SOT 74064 SOS 43256 HAS SOPS 28141 HAS SOUS 23677 HAS SOUPS 17383 WITH SCORE 17426.256
AT ITER 3793 NEW BEST:: SOT 73840 SOS 43006 HAS SOPS 27937 HAS SOUS 23502 HAS SOUPS 17186 WITH SCORE 17229.006
AT ITER 3836 NEW BEST:: SOT 73813 SOS 43036 HAS SOPS 27891 HAS SOUS 23517 HAS SOUPS 17140 WITH SCORE 17183.036
AT ITER 3871 NEW BEST:: SOT 73807 SOS 43030 HAS SOPS 27879 HAS SOUS 23511 HAS SOUPS 17128 WITH SCORE 17171.03
AT ITER 3933 NEW BEST:: SOT 73828 SOS 43117 HAS SOPS 27697 HAS SOUS 23296 HAS SOUPS 16913 WITH SCORE 16956.117
AT ITER 3954 NEW BEST:: SOT 73817 SOS 43106 HAS SOPS 27675 HAS SOUS 23292 HAS SOUPS 16891 WITH SCORE 16934.106
AT ITER 3967 NEW BEST:: SOT 73808 SOS 43138 HAS SOPS 27666 HAS SOUS 23373 HAS SOUPS 16882 WITH SCORE 16925.138
AT ITER 4038 NEW BEST:: SOT 73799 SOS 43161 HAS SOPS 27689 HAS SOUS 23358 HAS SOUPS 16867 WITH SCORE 16910.161
AT ITER 4056 NEW BEST:: SOT 73799 SOS 43126 HAS SOPS 27654 HAS SOUS 23358 HAS SOUPS 16867 WITH SCORE 16910.126
AT ITER 4070 NEW BEST:: SOT 73785 SOS 43110 HAS SOPS 27626 HAS SOUS 23336 HAS SOUPS 16839 WITH SCORE 16882.11
AT ITER 4073 NEW BEST:: SOT 73782 SOS 43105 HAS SOPS 27624 HAS SOUS 23335 HAS SOUPS 16838 WITH SCORE 16881.105
AT ITER 4093 NEW BEST:: SOT 73787 SOS 43102 HAS SOPS 27625 HAS SOUS 23316 HAS SOUPS 16821 WITH SCORE 16864.102
AT ITER 4096 NEW BEST:: SOT 73787 SOS 43084 HAS SOPS 27607 HAS SOUS 23316 HAS SOUPS 16821 WITH SCORE 16864.084
AT ITER 4132 NEW BEST:: SOT 73783 SOS 43077 HAS SOPS 27603 HAS SOUS 23307 HAS SOUPS 16817 WITH SCORE 16860.077
AT ITER 4137 NEW BEST:: SOT 73779 SOS 43069 HAS SOPS 27595 HAS SOUS 23303 HAS SOUPS 16813 WITH SCORE 16856.069
AT ITER 4215 NEW BEST:: SOT 73771 SOS 43066 HAS SOPS 27595 HAS SOUS 23295 HAS SOUPS 16808 WITH SCORE 16851.066
AT ITER 4229 NEW BEST:: SOT 73574 SOS 42998 HAS SOPS 27396 HAS SOUS 23592 HAS SOUPS 16709 WITH SCORE 16751.998
AT ITER 4274 NEW BEST:: SOT 73574 SOS 43019 HAS SOPS 27417 HAS SOUS 23589 HAS SOUPS 16706 WITH SCORE 16749.019
AT ITER 4303 NEW BEST:: SOT 73573 SOS 43012 HAS SOPS 27415 HAS SOUS 23596 HAS SOUPS 16704 WITH SCORE 16747.012
AT ITER 4335 NEW BEST:: SOT 73573 SOS 43012 HAS SOPS 27415 HAS SOUS 23592 HAS SOUPS 16700 WITH SCORE 16743.012
AT ITER 4345 NEW BEST:: SOT 73552 SOS 42996 HAS SOPS 27399 HAS SOUS 23576 HAS SOUPS 16684 WITH SCORE 16726.996
AT ITER 4364 NEW BEST:: SOT 73553 SOS 42992 HAS SOPS 27396 HAS SOUS 23563 HAS SOUPS 16681 WITH SCORE 16723.992
AT ITER 4367 NEW BEST:: SOT 73554 SOS 42896 HAS SOPS 27397 HAS SOUS 23514 HAS SOUPS 16670 WITH SCORE 16712.896
AT ITER 4374 NEW BEST:: SOT 73586 SOS 42958 HAS SOPS 27347 HAS SOUS 23431 HAS SOUPS 16605 WITH SCORE 16647.958
AT ITER 4396 NEW BEST:: SOT 73596 SOS 43112 HAS SOPS 27235 HAS SOUS 23393 HAS SOUPS 16549 WITH SCORE 16592.112
AT ITER 4410 NEW BEST:: SOT 73595 SOS 43111 HAS SOPS 27234 HAS SOUS 23392 HAS SOUPS 16548 WITH SCORE 16591.111
AT ITER 4413 NEW BEST:: SOT 73594 SOS 43110 HAS SOPS 27232 HAS SOUS 23419 HAS SOUPS 16546 WITH SCORE 16589.11
AT ITER 4430 NEW BEST:: SOT 73577 SOS 43093 HAS SOPS 27198 HAS SOUS 23392 HAS SOUPS 16512 WITH SCORE 16555.093
AT ITER 4455 NEW BEST:: SOT 73573 SOS 43089 HAS SOPS 27196 HAS SOUS 23388 HAS SOUPS 16510 WITH SCORE 16553.089
AT ITER 4460 NEW BEST:: SOT 73573 SOS 43089 HAS SOPS 27192 HAS SOUS 23388 HAS SOUPS 16506 WITH SCORE 16549.089
AT ITER 4466 NEW BEST:: SOT 73565 SOS 43081 HAS SOPS 27182 HAS SOUS 23378 HAS SOUPS 16496 WITH SCORE 16539.081
AT ITER 4494 NEW BEST:: SOT 73565 SOS 43077 HAS SOPS 27178 HAS SOUS 23377 HAS SOUPS 16495 WITH SCORE 16538.077
AT ITER 4524 NEW BEST:: SOT 73565 SOS 43036 HAS SOPS 27137 HAS SOUS 23373 HAS SOUPS 16491 WITH SCORE 16534.036
AT ITER 4616 NEW BEST:: SOT 73559 SOS 43054 HAS SOPS 27125 HAS SOUS 23415 HAS SOUPS 16479 WITH SCORE 16522.054
AT ITER 4687 NEW BEST:: SOT 73542 SOS 43079 HAS SOPS 27095 HAS SOUS 23496 HAS SOUPS 16449 WITH SCORE 16492.079
AT ITER 4704 NEW BEST:: SOT 73541 SOS 43078 HAS SOPS 27093 HAS SOUS 23495 HAS SOUPS 16447 WITH SCORE 16490.078
AT ITER 4790 NEW BEST:: SOT 73541 SOS 43071 HAS SOPS 27086 HAS SOUS 23488 HAS SOUPS 16440 WITH SCORE 16483.071
AT ITER 4830 NEW BEST:: SOT 73553 SOS 43083 HAS SOPS 27073 HAS SOUS 23503 HAS SOUPS 16427 WITH SCORE 16470.083
AT ITER 4893 NEW BEST:: SOT 73538 SOS 43065 HAS SOPS 27058 HAS SOUS 23488 HAS SOUPS 16412 WITH SCORE 16455.065
AT ITER 4929 NEW BEST:: SOT 73534 SOS 43066 HAS SOPS 27050 HAS SOUS 23460 HAS SOUPS 16404 WITH SCORE 16447.066
AT ITER 5001 NEW BEST:: SOT 73534 SOS 42965 HAS SOPS 26949 HAS SOUS 23451 HAS SOUPS 16395 WITH SCORE 16437.965
AT ITER 5010 NEW BEST:: SOT 73533 SOS 42964 HAS SOPS 26947 HAS SOUS 23450 HAS SOUPS 16393 WITH SCORE 16435.964
AT ITER 5122 NEW BEST:: SOT 73542 SOS 42973 HAS SOPS 26965 HAS SOUS 23432 HAS SOUPS 16375 WITH SCORE 16417.973
AT ITER 5157 NEW BEST:: SOT 73542 SOS 42959 HAS SOPS 26965 HAS SOUS 23392 HAS SOUPS 16375 WITH SCORE 16417.959
AT ITER 5166 NEW BEST:: SOT 73536 SOS 42953 HAS SOPS 26959 HAS SOUS 23386 HAS SOUPS 16369 WITH SCORE 16411.953
AT ITER 5180 NEW BEST:: SOT 73508 SOS 42925 HAS SOPS 26931 HAS SOUS 23358 HAS SOUPS 16341 WITH SCORE 16383.925
AT ITER 5214 NEW BEST:: SOT 73468 SOS 42885 HAS SOPS 26881 HAS SOUS 23318 HAS SOUPS 16291 WITH SCORE 16333.885
AT ITER 5230 NEW BEST:: SOT 73465 SOS 42882 HAS SOPS 26875 HAS SOUS 23315 HAS SOUPS 16285 WITH SCORE 16327.882
AT ITER 5257 NEW BEST:: SOT 73460 SOS 42877 HAS SOPS 26859 HAS SOUS 23310 HAS SOUPS 16269 WITH SCORE 16311.877
AT ITER 5279 NEW BEST:: SOT 73459 SOS 42876 HAS SOPS 26859 HAS SOUS 23309 HAS SOUPS 16269 WITH SCORE 16311.876
AT ITER 5284 NEW BEST:: SOT 73329 SOS 42635 HAS SOPS 26557 HAS SOUS 23136 HAS SOUPS 16096 WITH SCORE 16138.635
AT ITER 5291 NEW BEST:: SOT 73328 SOS 42634 HAS SOPS 26555 HAS SOUS 23116 HAS SOUPS 16094 WITH SCORE 16136.634
AT ITER 5304 NEW BEST:: SOT 73327 SOS 42633 HAS SOPS 26553 HAS SOUS 23115 HAS SOUPS 16092 WITH SCORE 16134.633
AT ITER 5316 NEW BEST:: SOT 73325 SOS 42625 HAS SOPS 26543 HAS SOUS 23105 HAS SOUPS 16082 WITH SCORE 16124.625
AT ITER 5365 NEW BEST:: SOT 73280 SOS 42580 HAS SOPS 26477 HAS SOUS 23060 HAS SOUPS 16016 WITH SCORE 16058.58
AT ITER 5412 NEW BEST:: SOT 73284 SOS 42584 HAS SOPS 26470 HAS SOUS 23065 HAS SOUPS 16009 WITH SCORE 16051.584
AT ITER 5424 NEW BEST:: SOT 73266 SOS 42566 HAS SOPS 26452 HAS SOUS 23047 HAS SOUPS 15991 WITH SCORE 16033.566
AT ITER 5460 NEW BEST:: SOT 73266 SOS 42557 HAS SOPS 26443 HAS SOUS 23046 HAS SOUPS 15990 WITH SCORE 16032.557
AT ITER 5479 NEW BEST:: SOT 73220 SOS 42511 HAS SOPS 26395 HAS SOUS 23044 HAS SOUPS 15986 WITH SCORE 16028.511
AT ITER 5494 NEW BEST:: SOT 73171 SOS 42465 HAS SOPS 26349 HAS SOUS 22998 HAS SOUPS 15940 WITH SCORE 15982.465
AT ITER 5539 NEW BEST:: SOT 73164 SOS 42458 HAS SOPS 26348 HAS SOUS 22991 HAS SOUPS 15939 WITH SCORE 15981.458
AT ITER 5546 NEW BEST:: SOT 73163 SOS 42457 HAS SOPS 26346 HAS SOUS 22990 HAS SOUPS 15937 WITH SCORE 15979.457
AT ITER 5561 NEW BEST:: SOT 73080 SOS 42383 HAS SOPS 26254 HAS SOUS 22952 HAS SOUPS 15845 WITH SCORE 15887.383
AT ITER 5727 NEW BEST:: SOT 73080 SOS 42397 HAS SOPS 26251 HAS SOUS 22962 HAS SOUPS 15842 WITH SCORE 15884.397
AT ITER 5743 NEW BEST:: SOT 73080 SOS 42397 HAS SOPS 26246 HAS SOUS 22962 HAS SOUPS 15837 WITH SCORE 15879.397
AT ITER 5744 NEW BEST:: SOT 73074 SOS 42391 HAS SOPS 26239 HAS SOUS 22956 HAS SOUPS 15830 WITH SCORE 15872.391
AT ITER 5761 NEW BEST:: SOT 73072 SOS 42389 HAS SOPS 26235 HAS SOUS 22954 HAS SOUPS 15826 WITH SCORE 15868.389
AT ITER 5813 NEW BEST:: SOT 73072 SOS 42389 HAS SOPS 26221 HAS SOUS 22960 HAS SOUPS 15812 WITH SCORE 15854.389
AT ITER 5827 NEW BEST:: SOT 73072 SOS 42379 HAS SOPS 26221 HAS SOUS 22954 HAS SOUPS 15812 WITH SCORE 15854.379
AT ITER 5844 NEW BEST:: SOT 73063 SOS 42370 HAS SOPS 26212 HAS SOUS 22945 HAS SOUPS 15803 WITH SCORE 15845.37
AT ITER 6007 NEW BEST:: SOT 73063 SOS 42364 HAS SOPS 26209 HAS SOUS 22945 HAS SOUPS 15803 WITH SCORE 15845.364
AT ITER 6038 NEW BEST:: SOT 73053 SOS 42368 HAS SOPS 26206 HAS SOUS 22936 HAS SOUPS 15800 WITH SCORE 15842.368
AT ITER 6041 NEW BEST:: SOT 73053 SOS 42372 HAS SOPS 26204 HAS SOUS 22937 HAS SOUPS 15798 WITH SCORE 15840.372
AT ITER 6086 NEW BEST:: SOT 73044 SOS 42363 HAS SOPS 26186 HAS SOUS 22928 HAS SOUPS 15780 WITH SCORE 15822.363
AT ITER 6126 NEW BEST:: SOT 73040 SOS 42359 HAS SOPS 26178 HAS SOUS 22924 HAS SOUPS 15772 WITH SCORE 15814.359
AT ITER 6138 NEW BEST:: SOT 73039 SOS 42358 HAS SOPS 26176 HAS SOUS 22923 HAS SOUPS 15770 WITH SCORE 15812.358
AT ITER 6153 NEW BEST:: SOT 73034 SOS 42483 HAS SOPS 26126 HAS SOUS 23197 HAS SOUPS 15720 WITH SCORE 15762.483
AT ITER 6170 NEW BEST:: SOT 73021 SOS 42470 HAS SOPS 26100 HAS SOUS 23184 HAS SOUPS 15694 WITH SCORE 15736.47
AT ITER 6200 NEW BEST:: SOT 73017 SOS 42466 HAS SOPS 26092 HAS SOUS 23180 HAS SOUPS 15686 WITH SCORE 15728.466
AT ITER 6204 NEW BEST:: SOT 73014 SOS 42457 HAS SOPS 26080 HAS SOUS 23171 HAS SOUPS 15677 WITH SCORE 15719.457
AT ITER 6300 NEW BEST:: SOT 73014 SOS 42538 HAS SOPS 26072 HAS SOUS 23205 HAS SOUPS 15669 WITH SCORE 15711.538
AT ITER 6388 NEW BEST:: SOT 73013 SOS 42537 HAS SOPS 26071 HAS SOUS 23204 HAS SOUPS 15668 WITH SCORE 15710.537
AT ITER 6411 NEW BEST:: SOT 73011 SOS 42535 HAS SOPS 26067 HAS SOUS 23202 HAS SOUPS 15664 WITH SCORE 15706.535
AT ITER 6414 NEW BEST:: SOT 73011 SOS 42535 HAS SOPS 26038 HAS SOUS 23191 HAS SOUPS 15635 WITH SCORE 15677.535
AT ITER 6496 NEW BEST:: SOT 73009 SOS 42533 HAS SOPS 26034 HAS SOUS 23189 HAS SOUPS 15631 WITH SCORE 15673.533
AT ITER 6536 NEW BEST:: SOT 72998 SOS 42522 HAS SOPS 26024 HAS SOUS 23178 HAS SOUPS 15621 WITH SCORE 15663.522
AT ITER 6573 NEW BEST:: SOT 72998 SOS 42522 HAS SOPS 26023 HAS SOUS 23178 HAS SOUPS 15620 WITH SCORE 15662.522
AT ITER 6587 NEW BEST:: SOT 72986 SOS 42510 HAS SOPS 26011 HAS SOUS 23166 HAS SOUPS 15608 WITH SCORE 15650.51
AT ITER 6635 NEW BEST:: SOT 72986 SOS 42399 HAS SOPS 25900 HAS SOUS 23161 HAS SOUPS 15603 WITH SCORE 15645.399
AT ITER 6644 NEW BEST:: SOT 72972 SOS 42387 HAS SOPS 25872 HAS SOUS 23131 HAS SOUPS 15573 WITH SCORE 15615.387
AT ITER 6654 NEW BEST:: SOT 72970 SOS 42385 HAS SOPS 25868 HAS SOUS 23129 HAS SOUPS 15569 WITH SCORE 15611.385
AT ITER 6705 NEW BEST:: SOT 72905 SOS 42359 HAS SOPS 25857 HAS SOUS 23079 HAS SOUPS 15519 WITH SCORE 15561.359
AT ITER 6728 NEW BEST:: SOT 72905 SOS 42359 HAS SOPS 25855 HAS SOUS 23079 HAS SOUPS 15517 WITH SCORE 15559.359
AT ITER 6753 NEW BEST:: SOT 72905 SOS 42359 HAS SOPS 25853 HAS SOUS 23077 HAS SOUPS 15515 WITH SCORE 15557.359
AT ITER 6780 NEW BEST:: SOT 72903 SOS 42353 HAS SOPS 25851 HAS SOUS 23059 HAS SOUPS 15513 WITH SCORE 15555.353
AT ITER 6797 NEW BEST:: SOT 72885 SOS 42335 HAS SOPS 25815 HAS SOUS 23041 HAS SOUPS 15477 WITH SCORE 15519.335
AT ITER 6847 NEW BEST:: SOT 72861 SOS 42314 HAS SOPS 25794 HAS SOUS 23017 HAS SOUPS 15453 WITH SCORE 15495.314
AT ITER 6861 NEW BEST:: SOT 72860 SOS 42313 HAS SOPS 25792 HAS SOUS 23016 HAS SOUPS 15451 WITH SCORE 15493.313
AT ITER 6879 NEW BEST:: SOT 72765 SOS 42238 HAS SOPS 25682 HAS SOUS 23112 HAS SOUPS 15413 WITH SCORE 15455.238
AT ITER 6884 NEW BEST:: SOT 72759 SOS 42232 HAS SOPS 25676 HAS SOUS 23106 HAS SOUPS 15407 WITH SCORE 15449.232
AT ITER 6890 NEW BEST:: SOT 72753 SOS 42213 HAS SOPS 25657 HAS SOUS 23087 HAS SOUPS 15388 WITH SCORE 15430.213
AT ITER 6917 NEW BEST:: SOT 72749 SOS 42209 HAS SOPS 25653 HAS SOUS 23078 HAS SOUPS 15384 WITH SCORE 15426.209
AT ITER 6934 NEW BEST:: SOT 72693 SOS 42233 HAS SOPS 25582 HAS SOUS 23088 HAS SOUPS 15369 WITH SCORE 15411.233
AT ITER 6973 NEW BEST:: SOT 72688 SOS 42228 HAS SOPS 25571 HAS SOUS 23083 HAS SOUPS 15358 WITH SCORE 15400.228
AT ITER 7081 NEW BEST:: SOT 72617 SOS 42123 HAS SOPS 25596 HAS SOUS 23077 HAS SOUPS 15352 WITH SCORE 15394.123
AT ITER 7088 NEW BEST:: SOT 72594 SOS 42100 HAS SOPS 25550 HAS SOUS 23054 HAS SOUPS 15306 WITH SCORE 15348.1
AT ITER 7089 NEW BEST:: SOT 72573 SOS 42013 HAS SOPS 25538 HAS SOUS 23009 HAS SOUPS 15294 WITH SCORE 15336.013
AT ITER 7114 NEW BEST:: SOT 72552 SOS 41986 HAS SOPS 25502 HAS SOUS 22973 HAS SOUPS 15258 WITH SCORE 15299.986
AT ITER 7162 NEW BEST:: SOT 72552 SOS 41977 HAS SOPS 25493 HAS SOUS 22972 HAS SOUPS 15257 WITH SCORE 15298.977
AT ITER 7201 NEW BEST:: SOT 72583 SOS 42008 HAS SOPS 25492 HAS SOUS 22971 HAS SOUPS 15256 WITH SCORE 15298.008
AT ITER 7277 NEW BEST:: SOT 72547 SOS 41929 HAS SOPS 25494 HAS SOUS 22884 HAS SOUPS 15203 WITH SCORE 15244.929
AT ITER 7378 NEW BEST:: SOT 72537 SOS 41919 HAS SOPS 25476 HAS SOUS 22874 HAS SOUPS 15185 WITH SCORE 15226.919
AT ITER 7404 NEW BEST:: SOT 72537 SOS 41815 HAS SOPS 25372 HAS SOUS 22874 HAS SOUPS 15185 WITH SCORE 15226.815
AT ITER 7420 NEW BEST:: SOT 72505 SOS 41793 HAS SOPS 25353 HAS SOUS 22850 HAS SOUPS 15161 WITH SCORE 15202.793
AT ITER 7436 NEW BEST:: SOT 72505 SOS 41775 HAS SOPS 25335 HAS SOUS 22848 HAS SOUPS 15159 WITH SCORE 15200.775
AT ITER 7471 NEW BEST:: SOT 72505 SOS 41751 HAS SOPS 25311 HAS SOUS 22836 HAS SOUPS 15147 WITH SCORE 15188.751
AT ITER 7477 NEW BEST:: SOT 72499 SOS 41745 HAS SOPS 25299 HAS SOUS 22830 HAS SOUPS 15135 WITH SCORE 15176.745
AT ITER 7511 NEW BEST:: SOT 72579 SOS 41806 HAS SOPS 25380 HAS SOUS 22817 HAS SOUPS 15132 WITH SCORE 15173.806
AT ITER 7530 NEW BEST:: SOT 72552 SOS 41779 HAS SOPS 25350 HAS SOUS 22763 HAS SOUPS 15078 WITH SCORE 15119.779
AT ITER 7568 NEW BEST:: SOT 72552 SOS 41779 HAS SOPS 25349 HAS SOUS 22763 HAS SOUPS 15077 WITH SCORE 15118.779
AT ITER 7606 NEW BEST:: SOT 72548 SOS 41775 HAS SOPS 25341 HAS SOUS 22759 HAS SOUPS 15069 WITH SCORE 15110.775
AT ITER 7663 NEW BEST:: SOT 72540 SOS 41767 HAS SOPS 25325 HAS SOUS 22743 HAS SOUPS 15053 WITH SCORE 15094.767
AT ITER 7770 NEW BEST:: SOT 72536 SOS 41777 HAS SOPS 25326 HAS SOUS 22721 HAS SOUPS 15031 WITH SCORE 15072.777
AT ITER 7793 NEW BEST:: SOT 72536 SOS 41759 HAS SOPS 25308 HAS SOUS 22719 HAS SOUPS 15029 WITH SCORE 15070.759
AT ITER 7825 NEW BEST:: SOT 72535 SOS 41758 HAS SOPS 25306 HAS SOUS 22717 HAS SOUPS 15027 WITH SCORE 15068.758
AT ITER 7843 NEW BEST:: SOT 72531 SOS 41754 HAS SOPS 25306 HAS SOUS 22711 HAS SOUPS 15027 WITH SCORE 15068.754
AT ITER 8064 NEW BEST:: SOT 72415 SOS 41638 HAS SOPS 25190 HAS SOUS 22659 HAS SOUPS 14975 WITH SCORE 15016.638
AT ITER 8263 NEW BEST:: SOT 72390 SOS 41613 HAS SOPS 25160 HAS SOUS 22634 HAS SOUPS 14945 WITH SCORE 14986.613
AT ITER 8368 NEW BEST:: SOT 72395 SOS 41618 HAS SOPS 25158 HAS SOUS 22639 HAS SOUPS 14943 WITH SCORE 14984.618
AT ITER 8454 NEW BEST:: SOT 72395 SOS 41650 HAS SOPS 25190 HAS SOUS 22634 HAS SOUPS 14938 WITH SCORE 14979.65
AT ITER 8455 NEW BEST:: SOT 72355 SOS 41615 HAS SOPS 25115 HAS SOUS 22554 HAS SOUPS 14858 WITH SCORE 14899.615
AT ITER 8496 NEW BEST:: SOT 72347 SOS 41607 HAS SOPS 25107 HAS SOUS 22546 HAS SOUPS 14850 WITH SCORE 14891.607
AT ITER 8554 NEW BEST:: SOT 72342 SOS 41602 HAS SOPS 25099 HAS SOUS 22541 HAS SOUPS 14842 WITH SCORE 14883.602
AT ITER 8566 NEW BEST:: SOT 72341 SOS 41601 HAS SOPS 25098 HAS SOUS 22540 HAS SOUPS 14841 WITH SCORE 14882.601
AT ITER 8570 NEW BEST:: SOT 72343 SOS 41571 HAS SOPS 25068 HAS SOUS 22538 HAS SOUPS 14839 WITH SCORE 14880.571
AT ITER 8632 NEW BEST:: SOT 72279 SOS 41653 HAS SOPS 24994 HAS SOUS 22543 HAS SOUPS 14793 WITH SCORE 14834.653
AT ITER 8646 NEW BEST:: SOT 72285 SOS 41651 HAS SOPS 25000 HAS SOUS 22529 HAS SOUPS 14791 WITH SCORE 14832.651
AT ITER 8659 NEW BEST:: SOT 72286 SOS 41652 HAS SOPS 25001 HAS SOUS 22514 HAS SOUPS 14776 WITH SCORE 14817.652
AT ITER 8675 NEW BEST:: SOT 72285 SOS 41651 HAS SOPS 24999 HAS SOUS 22513 HAS SOUPS 14774 WITH SCORE 14815.651
AT ITER 8708 NEW BEST:: SOT 72213 SOS 41579 HAS SOPS 24999 HAS SOUS 22513 HAS SOUPS 14774 WITH SCORE 14815.579
AT ITER 8774 NEW BEST:: SOT 72213 SOS 41570 HAS SOPS 24990 HAS SOUS 22512 HAS SOUPS 14773 WITH SCORE 14814.57
AT ITER 8828 NEW BEST:: SOT 72214 SOS 41571 HAS SOPS 24989 HAS SOUS 22513 HAS SOUPS 14772 WITH SCORE 14813.571
AT ITER 8834 NEW BEST:: SOT 72211 SOS 41568 HAS SOPS 24986 HAS SOUS 22510 HAS SOUPS 14769 WITH SCORE 14810.568
AT ITER 8966 NEW BEST:: SOT 72211 SOS 41566 HAS SOPS 24984 HAS SOUS 22510 HAS SOUPS 14769 WITH SCORE 14810.566
AT ITER 9011 NEW BEST:: SOT 72211 SOS 41564 HAS SOPS 24982 HAS SOUS 22508 HAS SOUPS 14767 WITH SCORE 14808.564
AT ITER 9078 NEW BEST:: SOT 72169 SOS 41522 HAS SOPS 24940 HAS SOUS 22466 HAS SOUPS 14725 WITH SCORE 14766.522
AT ITER 9191 NEW BEST:: SOT 72165 SOS 41518 HAS SOPS 24936 HAS SOUS 22462 HAS SOUPS 14721 WITH SCORE 14762.518
AT ITER 9221 NEW BEST:: SOT 72159 SOS 41512 HAS SOPS 24929 HAS SOUS 22447 HAS SOUPS 14706 WITH SCORE 14747.512
AT ITER 9240 NEW BEST:: SOT 72144 SOS 41422 HAS SOPS 24907 HAS SOUS 22307 HAS SOUPS 14684 WITH SCORE 14725.422
AT ITER 9248 NEW BEST:: SOT 72176 SOS 41479 HAS SOPS 24902 HAS SOUS 22303 HAS SOUPS 14680 WITH SCORE 14721.479
AT ITER 9334 NEW BEST:: SOT 72175 SOS 41478 HAS SOPS 24900 HAS SOUS 22302 HAS SOUPS 14678 WITH SCORE 14719.478
AT ITER 9368 NEW BEST:: SOT 72152 SOS 41475 HAS SOPS 24897 HAS SOUS 22299 HAS SOUPS 14675 WITH SCORE 14716.475
AT ITER 9519 NEW BEST:: SOT 72148 SOS 41471 HAS SOPS 24889 HAS SOUS 22295 HAS SOUPS 14667 WITH SCORE 14708.471
AT ITER 9569 NEW BEST:: SOT 72140 SOS 41463 HAS SOPS 24877 HAS SOUS 22287 HAS SOUPS 14655 WITH SCORE 14696.463
AT ITER 9605 NEW BEST:: SOT 72132 SOS 41455 HAS SOPS 24874 HAS SOUS 22279 HAS SOUPS 14652 WITH SCORE 14693.455
AT ITER 9623 NEW BEST:: SOT 72120 SOS 41443 HAS SOPS 24850 HAS SOUS 22267 HAS SOUPS 14628 WITH SCORE 14669.443
AT ITER 9673 NEW BEST:: SOT 72104 SOS 41427 HAS SOPS 24834 HAS SOUS 22251 HAS SOUPS 14612 WITH SCORE 14653.427
AT ITER 9765 NEW BEST:: SOT 72100 SOS 41423 HAS SOPS 24826 HAS SOUS 22247 HAS SOUPS 14604 WITH SCORE 14645.423
AT ITER 9775 NEW BEST:: SOT 72099 SOS 41422 HAS SOPS 24819 HAS SOUS 22246 HAS SOUPS 14597 WITH SCORE 14638.422
AT ITER 9796 NEW BEST:: SOT 72094 SOS 41417 HAS SOPS 24805 HAS SOUS 22241 HAS SOUPS 14583 WITH SCORE 14624.417
AT ITER 9798 NEW BEST:: SOT 72082 SOS 41405 HAS SOPS 24790 HAS SOUS 22229 HAS SOUPS 14568 WITH SCORE 14609.405
AT ITER 9804 NEW BEST:: SOT 72082 SOS 41405 HAS SOPS 24790 HAS SOUS 22227 HAS SOUPS 14566 WITH SCORE 14607.405
AT ITER 9824 NEW BEST:: SOT 72080 SOS 41403 HAS SOPS 24784 HAS SOUS 22225 HAS SOUPS 14560 WITH SCORE 14601.403
AT ITER 9845 NEW BEST:: SOT 72080 SOS 41403 HAS SOPS 24784 HAS SOUS 22217 HAS SOUPS 14552 WITH SCORE 14593.403
AT ITER 9866 NEW BEST:: SOT 72079 SOS 41402 HAS SOPS 24783 HAS SOUS 22216 HAS SOUPS 14551 WITH SCORE 14592.402
AT ITER 9913 NEW BEST:: SOT 72072 SOS 41395 HAS SOPS 24774 HAS SOUS 22209 HAS SOUPS 14542 WITH SCORE 14583.395
AT ITER 9918 NEW BEST:: SOT 72071 SOS 41391 HAS SOPS 24781 HAS SOUS 22201 HAS SOUPS 14535 WITH SCORE 14576.391
AT ITER 9965 NEW BEST:: SOT 72031 SOS 41351 HAS SOPS 24736 HAS SOUS 22161 HAS SOUPS 14490 WITH SCORE 14531.351
AT ITER 9986 NEW BEST:: SOT 72027 SOS 41332 HAS SOPS 24733 HAS SOUS 22122 HAS SOUPS 14487 WITH SCORE 14528.332
AT ITER 9993 NEW BEST:: SOT 72021 SOS 41326 HAS SOPS 24727 HAS SOUS 22116 HAS SOUPS 14481 WITH SCORE 14522.326

BK_STOP 1678659653647

--------------------
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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 481 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LamportFastMutEx-PT-8"
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 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 4"
echo " Run identifier is r235-tall-167856421800448"
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 ;