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.r203-smll-167840349600464.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 HirschbergSinclair-PT-25, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349600464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 9.7K Feb 26 02:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 02:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 02:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 02:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 02:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Feb 26 02:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 02:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 26 02:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 321K 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 1678630038009

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=HirschbergSinclair-PT-25
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 14:07:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 14:07:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 14:07:21] [INFO ] Load time of PNML (sax parser for PT used): 183 ms
[2023-03-12 14:07:21] [INFO ] Transformed 600 places.
[2023-03-12 14:07:21] [INFO ] Transformed 545 transitions.
[2023-03-12 14:07:21] [INFO ] Parsed PT model containing 600 places and 545 transitions and 1664 arcs in 343 ms.
[2023-03-12 14:07:21] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 600 places, 545 transitions and 1664 arcs took 18 ms.
Total runtime 425 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HirschbergSinclair (PT), instance 25
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: 600 places, 545 transitions, 1664 arcs.
AT ITER 0 NEW BEST:: SOT 275705 SOS 133119 HAS SOPS 133119 HAS SOUS 132605 HAS SOUPS 132605 WITH SCORE 132738.119
AT ITER 2 NEW BEST:: SOT 275705 SOS 133118 HAS SOPS 133118 HAS SOUS 132604 HAS SOUPS 132604 WITH SCORE 132737.118
AT ITER 9 NEW BEST:: SOT 275705 SOS 133117 HAS SOPS 133117 HAS SOUS 132603 HAS SOUPS 132603 WITH SCORE 132736.117
AT ITER 15 NEW BEST:: SOT 275705 SOS 133019 HAS SOPS 133019 HAS SOUS 132505 HAS SOUPS 132505 WITH SCORE 132638.019
AT ITER 19 NEW BEST:: SOT 270141 SOS 133799 HAS SOPS 133799 HAS SOUS 127666 HAS SOUPS 127666 WITH SCORE 127799.799
AT ITER 31 NEW BEST:: SOT 270141 SOS 133725 HAS SOPS 133725 HAS SOUS 127592 HAS SOUPS 127592 WITH SCORE 127725.725
AT ITER 33 NEW BEST:: SOT 270141 SOS 133656 HAS SOPS 133656 HAS SOUS 127523 HAS SOUPS 127523 WITH SCORE 127656.656
AT ITER 34 NEW BEST:: SOT 270141 SOS 133655 HAS SOPS 133655 HAS SOUS 127522 HAS SOUPS 127522 WITH SCORE 127655.655
AT ITER 36 NEW BEST:: SOT 270141 SOS 133654 HAS SOPS 133654 HAS SOUS 127521 HAS SOUPS 127521 WITH SCORE 127654.654
AT ITER 37 NEW BEST:: SOT 263899 SOS 131208 HAS SOPS 131208 HAS SOUS 122029 HAS SOUPS 122029 WITH SCORE 122160.208
AT ITER 45 NEW BEST:: SOT 263591 SOS 131207 HAS SOPS 131207 HAS SOUS 122028 HAS SOUPS 122028 WITH SCORE 122159.207
AT ITER 52 NEW BEST:: SOT 259078 SOS 131908 HAS SOPS 131908 HAS SOUS 118441 HAS SOUPS 118441 WITH SCORE 118572.908
AT ITER 58 NEW BEST:: SOT 259050 SOS 131907 HAS SOPS 131907 HAS SOUS 118440 HAS SOUPS 118440 WITH SCORE 118571.907
AT ITER 61 NEW BEST:: SOT 255564 SOS 134829 HAS SOPS 134829 HAS SOUS 115657 HAS SOUPS 115657 WITH SCORE 115791.829
AT ITER 62 NEW BEST:: SOT 252398 SOS 132858 HAS SOPS 132858 HAS SOUS 112858 HAS SOUPS 112858 WITH SCORE 112990.858
AT ITER 64 NEW BEST:: SOT 249667 SOS 130565 HAS SOPS 130565 HAS SOUS 110389 HAS SOUPS 110389 WITH SCORE 110519.565
AT ITER 69 NEW BEST:: SOT 249667 SOS 130564 HAS SOPS 130564 HAS SOUS 110388 HAS SOUPS 110388 WITH SCORE 110518.564
AT ITER 90 NEW BEST:: SOT 249667 SOS 130563 HAS SOPS 130563 HAS SOUS 110387 HAS SOUPS 110387 WITH SCORE 110517.563
AT ITER 102 NEW BEST:: SOT 249663 SOS 130559 HAS SOPS 130559 HAS SOUS 110383 HAS SOUPS 110383 WITH SCORE 110513.559
AT ITER 106 NEW BEST:: SOT 249663 SOS 130558 HAS SOPS 130558 HAS SOUS 110382 HAS SOUPS 110382 WITH SCORE 110512.558
AT ITER 117 NEW BEST:: SOT 249579 SOS 130495 HAS SOPS 130495 HAS SOUS 110319 HAS SOUPS 110319 WITH SCORE 110449.495
AT ITER 127 NEW BEST:: SOT 245348 SOS 130963 HAS SOPS 130963 HAS SOUS 106465 HAS SOUPS 106465 WITH SCORE 106595.963
AT ITER 136 NEW BEST:: SOT 244620 SOS 130598 HAS SOPS 130598 HAS SOUS 106100 HAS SOUPS 106100 WITH SCORE 106230.598
AT ITER 139 NEW BEST:: SOT 244561 SOS 130538 HAS SOPS 130538 HAS SOUS 106040 HAS SOUPS 106040 WITH SCORE 106170.538
AT ITER 142 NEW BEST:: SOT 244561 SOS 130537 HAS SOPS 130537 HAS SOUS 106039 HAS SOUPS 106039 WITH SCORE 106169.537
AT ITER 149 NEW BEST:: SOT 244294 SOS 130269 HAS SOPS 130269 HAS SOUS 105771 HAS SOUPS 105771 WITH SCORE 105901.269
AT ITER 151 NEW BEST:: SOT 241111 SOS 130899 HAS SOPS 130899 HAS SOUS 103386 HAS SOUPS 103386 WITH SCORE 103516.899
AT ITER 153 NEW BEST:: SOT 236157 SOS 127382 HAS SOPS 127382 HAS SOUS 99093 HAS SOUPS 99093 WITH SCORE 99220.382
AT ITER 167 NEW BEST:: SOT 232433 SOS 125114 HAS SOPS 125114 HAS SOUS 95700 HAS SOUPS 95700 WITH SCORE 95825.114
AT ITER 170 NEW BEST:: SOT 232399 SOS 125080 HAS SOPS 125080 HAS SOUS 95666 HAS SOUPS 95666 WITH SCORE 95791.08
AT ITER 185 NEW BEST:: SOT 232399 SOS 125079 HAS SOPS 125079 HAS SOUS 95665 HAS SOUPS 95665 WITH SCORE 95790.079
AT ITER 198 NEW BEST:: SOT 231960 SOS 125973 HAS SOPS 125973 HAS SOUS 95451 HAS SOUPS 95451 WITH SCORE 95576.973
AT ITER 200 NEW BEST:: SOT 231969 SOS 125864 HAS SOPS 125864 HAS SOUS 95342 HAS SOUPS 95342 WITH SCORE 95467.864
AT ITER 201 NEW BEST:: SOT 231981 SOS 125876 HAS SOPS 125876 HAS SOUS 95322 HAS SOUPS 95322 WITH SCORE 95447.876
AT ITER 210 NEW BEST:: SOT 228396 SOS 125447 HAS SOPS 125447 HAS SOUS 92490 HAS SOUPS 92490 WITH SCORE 92615.447
AT ITER 233 NEW BEST:: SOT 228344 SOS 125342 HAS SOPS 125342 HAS SOUS 92385 HAS SOUPS 92385 WITH SCORE 92510.342
AT ITER 234 NEW BEST:: SOT 228433 SOS 125301 HAS SOPS 125301 HAS SOUS 92375 HAS SOUPS 92375 WITH SCORE 92500.301
AT ITER 237 NEW BEST:: SOT 228432 SOS 125300 HAS SOPS 125300 HAS SOUS 92373 HAS SOUPS 92373 WITH SCORE 92498.3
AT ITER 250 NEW BEST:: SOT 228324 SOS 125245 HAS SOPS 125245 HAS SOUS 92344 HAS SOUPS 92344 WITH SCORE 92469.245
AT ITER 267 NEW BEST:: SOT 227910 SOS 123773 HAS SOPS 123773 HAS SOUS 91930 HAS SOUPS 91930 WITH SCORE 92053.773
AT ITER 277 NEW BEST:: SOT 227910 SOS 123772 HAS SOPS 123772 HAS SOUS 91929 HAS SOUPS 91929 WITH SCORE 92052.772
AT ITER 286 NEW BEST:: SOT 227863 SOS 123678 HAS SOPS 123678 HAS SOUS 91835 HAS SOUPS 91835 WITH SCORE 91958.678
AT ITER 339 NEW BEST:: SOT 227862 SOS 123432 HAS SOPS 123432 HAS SOUS 91832 HAS SOUPS 91832 WITH SCORE 91955.432
AT ITER 341 NEW BEST:: SOT 227708 SOS 123278 HAS SOPS 123278 HAS SOUS 91677 HAS SOUPS 91677 WITH SCORE 91800.278
AT ITER 352 NEW BEST:: SOT 225624 SOS 122308 HAS SOPS 122308 HAS SOUS 89976 HAS SOUPS 89976 WITH SCORE 90098.308
AT ITER 372 NEW BEST:: SOT 225622 SOS 121979 HAS SOPS 121979 HAS SOUS 89647 HAS SOUPS 89647 WITH SCORE 89768.979
AT ITER 377 NEW BEST:: SOT 225623 SOS 120965 HAS SOPS 120965 HAS SOUS 89447 HAS SOUPS 89447 WITH SCORE 89567.965
AT ITER 405 NEW BEST:: SOT 225623 SOS 120964 HAS SOPS 120964 HAS SOUS 89446 HAS SOUPS 89446 WITH SCORE 89566.964
AT ITER 417 NEW BEST:: SOT 225575 SOS 120975 HAS SOPS 120975 HAS SOUS 89409 HAS SOUPS 89409 WITH SCORE 89529.975
AT ITER 424 NEW BEST:: SOT 225557 SOS 120973 HAS SOPS 120973 HAS SOUS 89395 HAS SOUPS 89395 WITH SCORE 89515.973
AT ITER 435 NEW BEST:: SOT 225557 SOS 120972 HAS SOPS 120972 HAS SOUS 89394 HAS SOUPS 89394 WITH SCORE 89514.972
AT ITER 440 NEW BEST:: SOT 225461 SOS 120876 HAS SOPS 120876 HAS SOUS 89294 HAS SOUPS 89294 WITH SCORE 89414.876
AT ITER 458 NEW BEST:: SOT 224845 SOS 120274 HAS SOPS 120274 HAS SOUS 88705 HAS SOUPS 88705 WITH SCORE 88825.274
AT ITER 468 NEW BEST:: SOT 224807 SOS 120236 HAS SOPS 120236 HAS SOUS 88667 HAS SOUPS 88667 WITH SCORE 88787.236
AT ITER 477 NEW BEST:: SOT 224807 SOS 120235 HAS SOPS 120235 HAS SOUS 88666 HAS SOUPS 88666 WITH SCORE 88786.235
AT ITER 483 NEW BEST:: SOT 224803 SOS 120138 HAS SOPS 120138 HAS SOUS 88569 HAS SOUPS 88569 WITH SCORE 88689.138
AT ITER 488 NEW BEST:: SOT 224782 SOS 120117 HAS SOPS 120117 HAS SOUS 88548 HAS SOUPS 88548 WITH SCORE 88668.117
AT ITER 492 NEW BEST:: SOT 224013 SOS 123234 HAS SOPS 123234 HAS SOUS 88222 HAS SOUPS 88222 WITH SCORE 88345.234
AT ITER 497 NEW BEST:: SOT 224012 SOS 123233 HAS SOPS 123233 HAS SOUS 88220 HAS SOUPS 88220 WITH SCORE 88343.233
AT ITER 502 NEW BEST:: SOT 223848 SOS 123967 HAS SOPS 123967 HAS SOUS 88195 HAS SOUPS 88195 WITH SCORE 88318.967
AT ITER 507 NEW BEST:: SOT 223814 SOS 123932 HAS SOPS 123932 HAS SOUS 88175 HAS SOUPS 88175 WITH SCORE 88298.932
AT ITER 512 NEW BEST:: SOT 223216 SOS 123210 HAS SOPS 123210 HAS SOUS 87556 HAS SOUPS 87556 WITH SCORE 87679.21
AT ITER 529 NEW BEST:: SOT 219840 SOS 120288 HAS SOPS 120288 HAS SOUS 84634 HAS SOUPS 84634 WITH SCORE 84754.288
AT ITER 534 NEW BEST:: SOT 219756 SOS 120392 HAS SOPS 120392 HAS SOUS 84497 HAS SOUPS 84497 WITH SCORE 84617.392
AT ITER 543 NEW BEST:: SOT 219433 SOS 120068 HAS SOPS 120068 HAS SOUS 84173 HAS SOUPS 84173 WITH SCORE 84293.068
AT ITER 547 NEW BEST:: SOT 218418 SOS 119166 HAS SOPS 119166 HAS SOUS 83207 HAS SOUPS 83207 WITH SCORE 83326.166
AT ITER 557 NEW BEST:: SOT 214352 SOS 115723 HAS SOPS 115723 HAS SOUS 79368 HAS SOUPS 79368 WITH SCORE 79483.723
AT ITER 563 NEW BEST:: SOT 214306 SOS 115660 HAS SOPS 115660 HAS SOUS 79315 HAS SOUPS 79315 WITH SCORE 79430.66
AT ITER 564 NEW BEST:: SOT 214277 SOS 115631 HAS SOPS 115631 HAS SOUS 79286 HAS SOUPS 79286 WITH SCORE 79401.631
AT ITER 570 NEW BEST:: SOT 214268 SOS 115622 HAS SOPS 115622 HAS SOUS 79208 HAS SOUPS 79208 WITH SCORE 79323.622
AT ITER 573 NEW BEST:: SOT 214252 SOS 115589 HAS SOPS 115589 HAS SOUS 79207 HAS SOUPS 79207 WITH SCORE 79322.589
AT ITER 577 NEW BEST:: SOT 214039 SOS 115376 HAS SOPS 115376 HAS SOUS 78925 HAS SOUPS 78925 WITH SCORE 79040.376
AT ITER 596 NEW BEST:: SOT 214029 SOS 115366 HAS SOPS 115366 HAS SOUS 78915 HAS SOUPS 78915 WITH SCORE 79030.366
AT ITER 628 NEW BEST:: SOT 213826 SOS 115163 HAS SOPS 115163 HAS SOUS 78509 HAS SOUPS 78509 WITH SCORE 78624.163
AT ITER 631 NEW BEST:: SOT 213804 SOS 114615 HAS SOPS 114615 HAS SOUS 78391 HAS SOUPS 78391 WITH SCORE 78505.615
AT ITER 634 NEW BEST:: SOT 213533 SOS 114343 HAS SOPS 114343 HAS SOUS 78119 HAS SOUPS 78119 WITH SCORE 78233.343
AT ITER 643 NEW BEST:: SOT 209678 SOS 115635 HAS SOPS 115635 HAS SOUS 75190 HAS SOUPS 75190 WITH SCORE 75305.635
AT ITER 646 NEW BEST:: SOT 210018 SOS 115529 HAS SOPS 115529 HAS SOUS 75084 HAS SOUPS 75084 WITH SCORE 75199.529
AT ITER 649 NEW BEST:: SOT 209963 SOS 115419 HAS SOPS 115419 HAS SOUS 74996 HAS SOUPS 74996 WITH SCORE 75111.419
AT ITER 671 NEW BEST:: SOT 209934 SOS 115426 HAS SOPS 115426 HAS SOUS 74970 HAS SOUPS 74970 WITH SCORE 75085.426
AT ITER 674 NEW BEST:: SOT 209862 SOS 115354 HAS SOPS 115354 HAS SOUS 74826 HAS SOUPS 74826 WITH SCORE 74941.354
AT ITER 676 NEW BEST:: SOT 209681 SOS 115172 HAS SOPS 115172 HAS SOUS 74644 HAS SOUPS 74644 WITH SCORE 74759.172
AT ITER 680 NEW BEST:: SOT 209623 SOS 115113 HAS SOPS 115113 HAS SOUS 74585 HAS SOUPS 74585 WITH SCORE 74700.113
AT ITER 681 NEW BEST:: SOT 209623 SOS 115113 HAS SOPS 115113 HAS SOUS 74583 HAS SOUPS 74583 WITH SCORE 74698.113
AT ITER 690 NEW BEST:: SOT 207303 SOS 114727 HAS SOPS 114727 HAS SOUS 72802 HAS SOUPS 72802 WITH SCORE 72916.727
AT ITER 691 NEW BEST:: SOT 207092 SOS 114725 HAS SOPS 114725 HAS SOUS 72800 HAS SOUPS 72800 WITH SCORE 72914.725
AT ITER 727 NEW BEST:: SOT 206852 SOS 115780 HAS SOPS 115780 HAS SOUS 72634 HAS SOUPS 72634 WITH SCORE 72749.78
AT ITER 728 NEW BEST:: SOT 206851 SOS 115778 HAS SOPS 115778 HAS SOUS 72632 HAS SOUPS 72632 WITH SCORE 72747.778
AT ITER 741 NEW BEST:: SOT 206781 SOS 115849 HAS SOPS 115849 HAS SOUS 72573 HAS SOUPS 72573 WITH SCORE 72688.849
AT ITER 746 NEW BEST:: SOT 204369 SOS 114553 HAS SOPS 114553 HAS SOUS 70493 HAS SOUPS 70493 WITH SCORE 70607.553
AT ITER 758 NEW BEST:: SOT 204442 SOS 114626 HAS SOPS 114626 HAS SOUS 70491 HAS SOUPS 70491 WITH SCORE 70605.626
AT ITER 771 NEW BEST:: SOT 204442 SOS 114408 HAS SOPS 114408 HAS SOUS 70489 HAS SOUPS 70489 WITH SCORE 70603.408
AT ITER 775 NEW BEST:: SOT 204300 SOS 114104 HAS SOPS 114104 HAS SOUS 70185 HAS SOUPS 70185 WITH SCORE 70299.104
AT ITER 788 NEW BEST:: SOT 204300 SOS 114103 HAS SOPS 114103 HAS SOUS 70184 HAS SOUPS 70184 WITH SCORE 70298.103
AT ITER 820 NEW BEST:: SOT 204300 SOS 114102 HAS SOPS 114102 HAS SOUS 70183 HAS SOUPS 70183 WITH SCORE 70297.102
AT ITER 841 NEW BEST:: SOT 203317 SOS 116486 HAS SOPS 116486 HAS SOUS 69520 HAS SOUPS 69520 WITH SCORE 69636.486
AT ITER 858 NEW BEST:: SOT 201280 SOS 119273 HAS SOPS 119273 HAS SOUS 68288 HAS SOUPS 68288 WITH SCORE 68407.273
AT ITER 866 NEW BEST:: SOT 198936 SOS 117117 HAS SOPS 117117 HAS SOUS 66132 HAS SOUPS 66132 WITH SCORE 66249.117
AT ITER 868 NEW BEST:: SOT 198882 SOS 117063 HAS SOPS 117063 HAS SOUS 66078 HAS SOUPS 66078 WITH SCORE 66195.063
AT ITER 874 NEW BEST:: SOT 198836 SOS 117035 HAS SOPS 117035 HAS SOUS 66050 HAS SOUPS 66050 WITH SCORE 66167.035
AT ITER 882 NEW BEST:: SOT 198783 SOS 116982 HAS SOPS 116982 HAS SOUS 65944 HAS SOUPS 65944 WITH SCORE 66060.982
AT ITER 892 NEW BEST:: SOT 198701 SOS 116900 HAS SOPS 116900 HAS SOUS 65861 HAS SOUPS 65861 WITH SCORE 65977.9
AT ITER 902 NEW BEST:: SOT 198686 SOS 116884 HAS SOPS 116884 HAS SOUS 65832 HAS SOUPS 65832 WITH SCORE 65948.884
AT ITER 920 NEW BEST:: SOT 197455 SOS 117421 HAS SOPS 117421 HAS SOUS 64770 HAS SOUPS 64770 WITH SCORE 64887.421
AT ITER 923 NEW BEST:: SOT 197454 SOS 117420 HAS SOPS 117420 HAS SOUS 64764 HAS SOUPS 64764 WITH SCORE 64881.42
AT ITER 927 NEW BEST:: SOT 197185 SOS 117150 HAS SOPS 117150 HAS SOUS 64753 HAS SOUPS 64753 WITH SCORE 64870.15
AT ITER 937 NEW BEST:: SOT 197185 SOS 116122 HAS SOPS 116122 HAS SOUS 64751 HAS SOUPS 64751 WITH SCORE 64867.122
AT ITER 939 NEW BEST:: SOT 197152 SOS 116089 HAS SOPS 116089 HAS SOUS 64718 HAS SOUPS 64718 WITH SCORE 64834.089
AT ITER 941 NEW BEST:: SOT 197151 SOS 116088 HAS SOPS 116088 HAS SOUS 64716 HAS SOUPS 64716 WITH SCORE 64832.088
AT ITER 956 NEW BEST:: SOT 196158 SOS 118144 HAS SOPS 118144 HAS SOUS 63945 HAS SOUPS 63945 WITH SCORE 64063.144
AT ITER 1012 NEW BEST:: SOT 195926 SOS 117911 HAS SOPS 117911 HAS SOUS 63712 HAS SOUPS 63712 WITH SCORE 63829.911
AT ITER 1014 NEW BEST:: SOT 195925 SOS 116979 HAS SOPS 116979 HAS SOUS 63710 HAS SOUPS 63710 WITH SCORE 63826.979
AT ITER 1023 NEW BEST:: SOT 195924 SOS 116978 HAS SOPS 116978 HAS SOUS 63709 HAS SOUPS 63709 WITH SCORE 63825.978
AT ITER 1032 NEW BEST:: SOT 195924 SOS 115856 HAS SOPS 115856 HAS SOUS 63708 HAS SOUPS 63708 WITH SCORE 63823.856
AT ITER 1039 NEW BEST:: SOT 195923 SOS 115606 HAS SOPS 115606 HAS SOUS 63706 HAS SOUPS 63706 WITH SCORE 63821.606
AT ITER 1044 NEW BEST:: SOT 195922 SOS 115605 HAS SOPS 115605 HAS SOUS 63696 HAS SOUPS 63696 WITH SCORE 63811.605
AT ITER 1049 NEW BEST:: SOT 195882 SOS 115570 HAS SOPS 115570 HAS SOUS 63679 HAS SOUPS 63679 WITH SCORE 63794.57
AT ITER 1066 NEW BEST:: SOT 195712 SOS 115240 HAS SOPS 115240 HAS SOUS 63421 HAS SOUPS 63421 WITH SCORE 63536.24
AT ITER 1068 NEW BEST:: SOT 195602 SOS 114981 HAS SOPS 114981 HAS SOUS 63099 HAS SOUPS 63099 WITH SCORE 63213.981
AT ITER 1073 NEW BEST:: SOT 195601 SOS 114980 HAS SOPS 114980 HAS SOUS 63097 HAS SOUPS 63097 WITH SCORE 63211.98
AT ITER 1097 NEW BEST:: SOT 195592 SOS 114979 HAS SOPS 114979 HAS SOUS 63096 HAS SOUPS 63096 WITH SCORE 63210.979
AT ITER 1114 NEW BEST:: SOT 195592 SOS 114949 HAS SOPS 114949 HAS SOUS 63066 HAS SOUPS 63066 WITH SCORE 63180.949
AT ITER 1120 NEW BEST:: SOT 195579 SOS 114936 HAS SOPS 114936 HAS SOUS 63053 HAS SOUPS 63053 WITH SCORE 63167.936
AT ITER 1148 NEW BEST:: SOT 195390 SOS 114499 HAS SOPS 114499 HAS SOUS 63029 HAS SOUPS 63029 WITH SCORE 63143.499
AT ITER 1153 NEW BEST:: SOT 195270 SOS 114338 HAS SOPS 114338 HAS SOUS 62830 HAS SOUPS 62830 WITH SCORE 62944.338
AT ITER 1161 NEW BEST:: SOT 193344 SOS 112685 HAS SOPS 112685 HAS SOUS 60940 HAS SOUPS 60940 WITH SCORE 61052.685
AT ITER 1172 NEW BEST:: SOT 193066 SOS 112407 HAS SOPS 112407 HAS SOUS 60662 HAS SOUPS 60662 WITH SCORE 60774.407
AT ITER 1194 NEW BEST:: SOT 193065 SOS 112295 HAS SOPS 112295 HAS SOUS 60660 HAS SOUPS 60660 WITH SCORE 60772.295
AT ITER 1204 NEW BEST:: SOT 193064 SOS 112294 HAS SOPS 112294 HAS SOUS 60635 HAS SOUPS 60635 WITH SCORE 60747.294
AT ITER 1205 NEW BEST:: SOT 191685 SOS 114591 HAS SOPS 114591 HAS SOUS 60066 HAS SOUPS 60066 WITH SCORE 60180.591
AT ITER 1207 NEW BEST:: SOT 191669 SOS 114575 HAS SOPS 114575 HAS SOUS 60034 HAS SOUPS 60034 WITH SCORE 60148.575
AT ITER 1209 NEW BEST:: SOT 191629 SOS 114535 HAS SOPS 114535 HAS SOUS 59954 HAS SOUPS 59954 WITH SCORE 60068.535
AT ITER 1222 NEW BEST:: SOT 191505 SOS 115737 HAS SOPS 115737 HAS SOUS 59892 HAS SOUPS 59892 WITH SCORE 60007.737
AT ITER 1237 NEW BEST:: SOT 191684 SOS 115916 HAS SOPS 115916 HAS SOUS 59890 HAS SOUPS 59890 WITH SCORE 60005.916
AT ITER 1257 NEW BEST:: SOT 191599 SOS 115830 HAS SOPS 115830 HAS SOUS 59889 HAS SOUPS 59889 WITH SCORE 60004.83
AT ITER 1261 NEW BEST:: SOT 191584 SOS 115815 HAS SOPS 115815 HAS SOUS 59874 HAS SOUPS 59874 WITH SCORE 59989.815
AT ITER 1282 NEW BEST:: SOT 191538 SOS 115769 HAS SOPS 115769 HAS SOUS 59788 HAS SOUPS 59788 WITH SCORE 59903.769
AT ITER 1289 NEW BEST:: SOT 191529 SOS 115759 HAS SOPS 115759 HAS SOUS 59778 HAS SOUPS 59778 WITH SCORE 59893.759
AT ITER 1298 NEW BEST:: SOT 191386 SOS 115616 HAS SOPS 115616 HAS SOUS 59499 HAS SOUPS 59499 WITH SCORE 59614.616
AT ITER 1328 NEW BEST:: SOT 191272 SOS 115502 HAS SOPS 115502 HAS SOUS 59337 HAS SOUPS 59337 WITH SCORE 59452.502
AT ITER 1348 NEW BEST:: SOT 191072 SOS 115184 HAS SOPS 115184 HAS SOUS 59087 HAS SOUPS 59087 WITH SCORE 59202.184
AT ITER 1368 NEW BEST:: SOT 191071 SOS 115183 HAS SOPS 115183 HAS SOUS 59066 HAS SOUPS 59066 WITH SCORE 59181.183
AT ITER 1383 NEW BEST:: SOT 191252 SOS 115329 HAS SOPS 115329 HAS SOUS 59024 HAS SOUPS 59024 WITH SCORE 59139.329
AT ITER 1389 NEW BEST:: SOT 191251 SOS 115328 HAS SOPS 115328 HAS SOUS 59023 HAS SOUPS 59023 WITH SCORE 59138.328
AT ITER 1401 NEW BEST:: SOT 191175 SOS 115252 HAS SOPS 115252 HAS SOUS 59013 HAS SOUPS 59013 WITH SCORE 59128.252
AT ITER 1426 NEW BEST:: SOT 191187 SOS 115174 HAS SOPS 115174 HAS SOUS 59010 HAS SOUPS 59010 WITH SCORE 59125.174
AT ITER 1438 NEW BEST:: SOT 191186 SOS 115173 HAS SOPS 115173 HAS SOUS 59008 HAS SOUPS 59008 WITH SCORE 59123.173
AT ITER 1452 NEW BEST:: SOT 191140 SOS 115015 HAS SOPS 115015 HAS SOUS 58850 HAS SOUPS 58850 WITH SCORE 58965.015
AT ITER 1458 NEW BEST:: SOT 191132 SOS 115005 HAS SOPS 115005 HAS SOUS 58848 HAS SOUPS 58848 WITH SCORE 58963.005
AT ITER 1476 NEW BEST:: SOT 191131 SOS 115004 HAS SOPS 115004 HAS SOUS 58846 HAS SOUPS 58846 WITH SCORE 58961.004
AT ITER 1477 NEW BEST:: SOT 191056 SOS 112531 HAS SOPS 112531 HAS SOUS 58649 HAS SOUPS 58649 WITH SCORE 58761.531
AT ITER 1498 NEW BEST:: SOT 191045 SOS 112520 HAS SOPS 112520 HAS SOUS 58645 HAS SOUPS 58645 WITH SCORE 58757.52
AT ITER 1501 NEW BEST:: SOT 190386 SOS 112027 HAS SOPS 112027 HAS SOUS 58020 HAS SOUPS 58020 WITH SCORE 58132.027
AT ITER 1506 NEW BEST:: SOT 190385 SOS 112028 HAS SOPS 112028 HAS SOUS 58018 HAS SOUPS 58018 WITH SCORE 58130.028
AT ITER 1510 NEW BEST:: SOT 190361 SOS 112004 HAS SOPS 112004 HAS SOUS 57934 HAS SOUPS 57934 WITH SCORE 58046.004
AT ITER 1512 NEW BEST:: SOT 190362 SOS 111963 HAS SOPS 111963 HAS SOUS 57863 HAS SOUPS 57863 WITH SCORE 57974.963
AT ITER 1526 NEW BEST:: SOT 190361 SOS 111972 HAS SOPS 111972 HAS SOUS 57861 HAS SOUPS 57861 WITH SCORE 57972.972
AT ITER 1536 NEW BEST:: SOT 190356 SOS 111967 HAS SOPS 111967 HAS SOUS 57838 HAS SOUPS 57838 WITH SCORE 57949.967
AT ITER 1541 NEW BEST:: SOT 190349 SOS 111960 HAS SOPS 111960 HAS SOUS 57831 HAS SOUPS 57831 WITH SCORE 57942.96
AT ITER 1567 NEW BEST:: SOT 190348 SOS 111959 HAS SOPS 111959 HAS SOUS 57829 HAS SOUPS 57829 WITH SCORE 57940.959
AT ITER 1575 NEW BEST:: SOT 189784 SOS 113050 HAS SOPS 113050 HAS SOUS 57484 HAS SOUPS 57484 WITH SCORE 57597.05
AT ITER 1585 NEW BEST:: SOT 189757 SOS 112575 HAS SOPS 112575 HAS SOUS 57129 HAS SOUPS 57129 WITH SCORE 57241.575
AT ITER 1587 NEW BEST:: SOT 189757 SOS 112575 HAS SOPS 112575 HAS SOUS 57098 HAS SOUPS 57098 WITH SCORE 57210.575
AT ITER 1589 NEW BEST:: SOT 188345 SOS 112429 HAS SOPS 112429 HAS SOUS 55911 HAS SOUPS 55911 WITH SCORE 56023.429
AT ITER 1591 NEW BEST:: SOT 188344 SOS 112424 HAS SOPS 112424 HAS SOUS 55909 HAS SOUPS 55909 WITH SCORE 56021.424
AT ITER 1612 NEW BEST:: SOT 188312 SOS 112392 HAS SOPS 112392 HAS SOUS 55877 HAS SOUPS 55877 WITH SCORE 55989.392
AT ITER 1626 NEW BEST:: SOT 188417 SOS 112497 HAS SOPS 112497 HAS SOUS 55855 HAS SOUPS 55855 WITH SCORE 55967.497
AT ITER 1646 NEW BEST:: SOT 188389 SOS 112469 HAS SOPS 112469 HAS SOUS 55799 HAS SOUPS 55799 WITH SCORE 55911.469
AT ITER 1681 NEW BEST:: SOT 188389 SOS 112469 HAS SOPS 112469 HAS SOUS 55781 HAS SOUPS 55781 WITH SCORE 55893.469
AT ITER 1712 NEW BEST:: SOT 188182 SOS 114028 HAS SOPS 114028 HAS SOUS 55685 HAS SOUPS 55685 WITH SCORE 55799.028
AT ITER 1724 NEW BEST:: SOT 188181 SOS 114027 HAS SOPS 114027 HAS SOUS 55683 HAS SOUPS 55683 WITH SCORE 55797.027
AT ITER 1729 NEW BEST:: SOT 188180 SOS 114026 HAS SOPS 114026 HAS SOUS 55682 HAS SOUPS 55682 WITH SCORE 55796.026
AT ITER 1732 NEW BEST:: SOT 188177 SOS 114004 HAS SOPS 114004 HAS SOUS 55663 HAS SOUPS 55663 WITH SCORE 55777.004
AT ITER 1742 NEW BEST:: SOT 188177 SOS 114004 HAS SOPS 114004 HAS SOUS 55658 HAS SOUPS 55658 WITH SCORE 55772.004
AT ITER 1749 NEW BEST:: SOT 188130 SOS 113957 HAS SOPS 113957 HAS SOUS 55564 HAS SOUPS 55564 WITH SCORE 55677.957
AT ITER 1750 NEW BEST:: SOT 188119 SOS 113935 HAS SOPS 113935 HAS SOUS 55533 HAS SOUPS 55533 WITH SCORE 55646.935
AT ITER 1752 NEW BEST:: SOT 188117 SOS 113933 HAS SOPS 113933 HAS SOUS 55529 HAS SOUPS 55529 WITH SCORE 55642.933
AT ITER 1806 NEW BEST:: SOT 188086 SOS 113902 HAS SOPS 113902 HAS SOUS 55461 HAS SOUPS 55461 WITH SCORE 55574.902
AT ITER 1810 NEW BEST:: SOT 188095 SOS 113968 HAS SOPS 113968 HAS SOUS 55460 HAS SOUPS 55460 WITH SCORE 55573.968
AT ITER 1901 NEW BEST:: SOT 188002 SOS 113747 HAS SOPS 113747 HAS SOUS 55274 HAS SOUPS 55274 WITH SCORE 55387.747
AT ITER 1942 NEW BEST:: SOT 188001 SOS 113746 HAS SOPS 113746 HAS SOUS 55272 HAS SOUPS 55272 WITH SCORE 55385.746
AT ITER 1944 NEW BEST:: SOT 187051 SOS 111495 HAS SOPS 111495 HAS SOUS 54322 HAS SOUPS 54322 WITH SCORE 54433.495
AT ITER 1947 NEW BEST:: SOT 187050 SOS 111494 HAS SOPS 111494 HAS SOUS 54320 HAS SOUPS 54320 WITH SCORE 54431.494
AT ITER 1980 NEW BEST:: SOT 187030 SOS 111474 HAS SOPS 111474 HAS SOUS 54280 HAS SOUPS 54280 WITH SCORE 54391.474
AT ITER 2005 NEW BEST:: SOT 187022 SOS 111466 HAS SOPS 111466 HAS SOUS 54264 HAS SOUPS 54264 WITH SCORE 54375.466
AT ITER 2019 NEW BEST:: SOT 187015 SOS 111459 HAS SOPS 111459 HAS SOUS 54227 HAS SOUPS 54227 WITH SCORE 54338.459
AT ITER 2048 NEW BEST:: SOT 187175 SOS 111619 HAS SOPS 111619 HAS SOUS 54138 HAS SOUPS 54138 WITH SCORE 54249.619
AT ITER 2071 NEW BEST:: SOT 187120 SOS 111563 HAS SOPS 111563 HAS SOUS 54082 HAS SOUPS 54082 WITH SCORE 54193.563
AT ITER 2078 NEW BEST:: SOT 187119 SOS 111562 HAS SOPS 111562 HAS SOUS 54080 HAS SOUPS 54080 WITH SCORE 54191.562
AT ITER 2082 NEW BEST:: SOT 187039 SOS 111400 HAS SOPS 111400 HAS SOUS 53967 HAS SOUPS 53967 WITH SCORE 54078.4
AT ITER 2083 NEW BEST:: SOT 187061 SOS 111422 HAS SOPS 111422 HAS SOUS 53946 HAS SOUPS 53946 WITH SCORE 54057.422
AT ITER 2084 NEW BEST:: SOT 187037 SOS 111376 HAS SOPS 111376 HAS SOUS 53920 HAS SOUPS 53920 WITH SCORE 54031.376
AT ITER 2090 NEW BEST:: SOT 186952 SOS 111210 HAS SOPS 111210 HAS SOUS 53754 HAS SOUPS 53754 WITH SCORE 53865.21
AT ITER 2095 NEW BEST:: SOT 186861 SOS 111007 HAS SOPS 111007 HAS SOUS 53456 HAS SOUPS 53456 WITH SCORE 53567.007
AT ITER 2107 NEW BEST:: SOT 186840 SOS 111184 HAS SOPS 111184 HAS SOUS 53444 HAS SOUPS 53444 WITH SCORE 53555.184
AT ITER 2108 NEW BEST:: SOT 186783 SOS 111109 HAS SOPS 111109 HAS SOUS 53334 HAS SOUPS 53334 WITH SCORE 53445.109
AT ITER 2115 NEW BEST:: SOT 186782 SOS 111194 HAS SOPS 111194 HAS SOUS 53332 HAS SOUPS 53332 WITH SCORE 53443.194
AT ITER 2118 NEW BEST:: SOT 186669 SOS 111706 HAS SOPS 111706 HAS SOUS 53293 HAS SOUPS 53293 WITH SCORE 53404.706
AT ITER 2119 NEW BEST:: SOT 186547 SOS 111584 HAS SOPS 111584 HAS SOUS 53049 HAS SOUPS 53049 WITH SCORE 53160.584
AT ITER 2123 NEW BEST:: SOT 186340 SOS 111293 HAS SOPS 111293 HAS SOUS 52783 HAS SOUPS 52783 WITH SCORE 52894.293
AT ITER 2150 NEW BEST:: SOT 186339 SOS 111292 HAS SOPS 111292 HAS SOUS 52781 HAS SOUPS 52781 WITH SCORE 52892.292
AT ITER 2157 NEW BEST:: SOT 186087 SOS 111397 HAS SOPS 111397 HAS SOUS 52590 HAS SOUPS 52590 WITH SCORE 52701.397
AT ITER 2166 NEW BEST:: SOT 186012 SOS 111322 HAS SOPS 111322 HAS SOUS 52440 HAS SOUPS 52440 WITH SCORE 52551.322
AT ITER 2176 NEW BEST:: SOT 186011 SOS 111298 HAS SOPS 111298 HAS SOUS 52438 HAS SOUPS 52438 WITH SCORE 52549.298
AT ITER 2178 NEW BEST:: SOT 185997 SOS 111284 HAS SOPS 111284 HAS SOUS 52415 HAS SOUPS 52415 WITH SCORE 52526.284
AT ITER 2179 NEW BEST:: SOT 185994 SOS 111281 HAS SOPS 111281 HAS SOUS 52409 HAS SOUPS 52409 WITH SCORE 52520.281
AT ITER 2181 NEW BEST:: SOT 185977 SOS 111263 HAS SOPS 111263 HAS SOUS 52391 HAS SOUPS 52391 WITH SCORE 52502.263
AT ITER 2207 NEW BEST:: SOT 185930 SOS 111216 HAS SOPS 111216 HAS SOUS 52387 HAS SOUPS 52387 WITH SCORE 52498.216
AT ITER 2214 NEW BEST:: SOT 185913 SOS 111199 HAS SOPS 111199 HAS SOUS 52353 HAS SOUPS 52353 WITH SCORE 52464.199
AT ITER 2224 NEW BEST:: SOT 185845 SOS 111131 HAS SOPS 111131 HAS SOUS 52217 HAS SOUPS 52217 WITH SCORE 52328.131
AT ITER 2238 NEW BEST:: SOT 185827 SOS 111130 HAS SOPS 111130 HAS SOUS 52199 HAS SOUPS 52199 WITH SCORE 52310.13
AT ITER 2269 NEW BEST:: SOT 185826 SOS 110839 HAS SOPS 110839 HAS SOUS 52197 HAS SOUPS 52197 WITH SCORE 52307.839
AT ITER 2274 NEW BEST:: SOT 185733 SOS 111650 HAS SOPS 111650 HAS SOUS 52175 HAS SOUPS 52175 WITH SCORE 52286.65
AT ITER 2303 NEW BEST:: SOT 185732 SOS 111649 HAS SOPS 111649 HAS SOUS 52154 HAS SOUPS 52154 WITH SCORE 52265.649
AT ITER 2311 NEW BEST:: SOT 185731 SOS 111648 HAS SOPS 111648 HAS SOUS 52152 HAS SOUPS 52152 WITH SCORE 52263.648
AT ITER 2322 NEW BEST:: SOT 185738 SOS 111647 HAS SOPS 111647 HAS SOUS 52150 HAS SOUPS 52150 WITH SCORE 52261.647
AT ITER 2336 NEW BEST:: SOT 185617 SOS 111880 HAS SOPS 111880 HAS SOUS 52092 HAS SOUPS 52092 WITH SCORE 52203.88
AT ITER 2369 NEW BEST:: SOT 185617 SOS 111830 HAS SOPS 111830 HAS SOUS 52033 HAS SOUPS 52033 WITH SCORE 52144.83
AT ITER 2378 NEW BEST:: SOT 185617 SOS 111813 HAS SOPS 111813 HAS SOUS 52032 HAS SOUPS 52032 WITH SCORE 52143.813
AT ITER 2388 NEW BEST:: SOT 185617 SOS 111747 HAS SOPS 111747 HAS SOUS 52020 HAS SOUPS 52020 WITH SCORE 52131.747
AT ITER 2405 NEW BEST:: SOT 185605 SOS 111735 HAS SOPS 111735 HAS SOUS 52008 HAS SOUPS 52008 WITH SCORE 52119.735
AT ITER 2408 NEW BEST:: SOT 185628 SOS 111883 HAS SOPS 111883 HAS SOUS 51881 HAS SOUPS 51881 WITH SCORE 51992.883
AT ITER 2409 NEW BEST:: SOT 185619 SOS 111876 HAS SOPS 111876 HAS SOUS 51863 HAS SOUPS 51863 WITH SCORE 51974.876
AT ITER 2417 NEW BEST:: SOT 185609 SOS 111866 HAS SOPS 111866 HAS SOUS 51843 HAS SOUPS 51843 WITH SCORE 51954.866
AT ITER 2440 NEW BEST:: SOT 185589 SOS 111929 HAS SOPS 111929 HAS SOUS 51830 HAS SOUPS 51830 WITH SCORE 51941.929
AT ITER 2470 NEW BEST:: SOT 185588 SOS 111928 HAS SOPS 111928 HAS SOUS 51828 HAS SOUPS 51828 WITH SCORE 51939.928
AT ITER 2507 NEW BEST:: SOT 185545 SOS 111885 HAS SOPS 111885 HAS SOUS 51742 HAS SOUPS 51742 WITH SCORE 51853.885
AT ITER 2510 NEW BEST:: SOT 185540 SOS 111880 HAS SOPS 111880 HAS SOUS 51732 HAS SOUPS 51732 WITH SCORE 51843.88
AT ITER 2518 NEW BEST:: SOT 185524 SOS 111864 HAS SOPS 111864 HAS SOUS 51732 HAS SOUPS 51732 WITH SCORE 51843.864
AT ITER 2553 NEW BEST:: SOT 185494 SOS 111834 HAS SOPS 111834 HAS SOUS 51687 HAS SOUPS 51687 WITH SCORE 51798.834
AT ITER 2565 NEW BEST:: SOT 185442 SOS 111907 HAS SOPS 111907 HAS SOUS 51679 HAS SOUPS 51679 WITH SCORE 51790.907
AT ITER 2576 NEW BEST:: SOT 185441 SOS 111906 HAS SOPS 111906 HAS SOUS 51677 HAS SOUPS 51677 WITH SCORE 51788.906
AT ITER 2581 NEW BEST:: SOT 185352 SOS 111817 HAS SOPS 111817 HAS SOUS 51499 HAS SOUPS 51499 WITH SCORE 51610.817
AT ITER 2595 NEW BEST:: SOT 185436 SOS 111185 HAS SOPS 111185 HAS SOUS 51479 HAS SOUPS 51479 WITH SCORE 51590.185
AT ITER 2596 NEW BEST:: SOT 185435 SOS 111184 HAS SOPS 111184 HAS SOUS 51477 HAS SOUPS 51477 WITH SCORE 51588.184
AT ITER 2605 NEW BEST:: SOT 185321 SOS 112104 HAS SOPS 112104 HAS SOUS 51437 HAS SOUPS 51437 WITH SCORE 51549.104
AT ITER 2624 NEW BEST:: SOT 185321 SOS 112074 HAS SOPS 112074 HAS SOUS 51407 HAS SOUPS 51407 WITH SCORE 51519.074
AT ITER 2652 NEW BEST:: SOT 185334 SOS 112087 HAS SOPS 112087 HAS SOUS 51406 HAS SOUPS 51406 WITH SCORE 51518.087
AT ITER 2664 NEW BEST:: SOT 185345 SOS 112098 HAS SOPS 112098 HAS SOUS 51392 HAS SOUPS 51392 WITH SCORE 51504.098
AT ITER 2690 NEW BEST:: SOT 185310 SOS 112063 HAS SOPS 112063 HAS SOUS 51357 HAS SOUPS 51357 WITH SCORE 51469.063
AT ITER 2699 NEW BEST:: SOT 185219 SOS 111972 HAS SOPS 111972 HAS SOUS 51326 HAS SOUPS 51326 WITH SCORE 51437.972
AT ITER 2725 NEW BEST:: SOT 185218 SOS 111971 HAS SOPS 111971 HAS SOUS 51324 HAS SOUPS 51324 WITH SCORE 51435.971
AT ITER 2728 NEW BEST:: SOT 185236 SOS 111520 HAS SOPS 111520 HAS SOUS 51316 HAS SOUPS 51316 WITH SCORE 51427.52
AT ITER 2731 NEW BEST:: SOT 185297 SOS 111581 HAS SOPS 111581 HAS SOUS 51265 HAS SOUPS 51265 WITH SCORE 51376.581
AT ITER 2773 NEW BEST:: SOT 185291 SOS 111575 HAS SOPS 111575 HAS SOUS 51253 HAS SOUPS 51253 WITH SCORE 51364.575
AT ITER 2783 NEW BEST:: SOT 185278 SOS 111562 HAS SOPS 111562 HAS SOUS 51216 HAS SOUPS 51216 WITH SCORE 51327.562
AT ITER 2797 NEW BEST:: SOT 185151 SOS 111435 HAS SOPS 111435 HAS SOUS 51086 HAS SOUPS 51086 WITH SCORE 51197.435
AT ITER 2802 NEW BEST:: SOT 185134 SOS 111391 HAS SOPS 111391 HAS SOUS 51083 HAS SOUPS 51083 WITH SCORE 51194.391
AT ITER 2808 NEW BEST:: SOT 185133 SOS 111390 HAS SOPS 111390 HAS SOUS 51082 HAS SOUPS 51082 WITH SCORE 51193.39
AT ITER 2811 NEW BEST:: SOT 185141 SOS 111398 HAS SOPS 111398 HAS SOUS 51065 HAS SOUPS 51065 WITH SCORE 51176.398
AT ITER 2817 NEW BEST:: SOT 184861 SOS 111118 HAS SOPS 111118 HAS SOUS 50785 HAS SOUPS 50785 WITH SCORE 50896.118
AT ITER 2832 NEW BEST:: SOT 184857 SOS 111104 HAS SOPS 111104 HAS SOUS 50771 HAS SOUPS 50771 WITH SCORE 50882.104
AT ITER 2891 NEW BEST:: SOT 184719 SOS 112506 HAS SOPS 112506 HAS SOUS 50633 HAS SOUPS 50633 WITH SCORE 50745.506
AT ITER 2892 NEW BEST:: SOT 184719 SOS 112047 HAS SOPS 112047 HAS SOUS 50630 HAS SOUPS 50630 WITH SCORE 50742.047
AT ITER 2933 NEW BEST:: SOT 184469 SOS 113409 HAS SOPS 113409 HAS SOUS 50596 HAS SOUPS 50596 WITH SCORE 50709.409
AT ITER 2956 NEW BEST:: SOT 183959 SOS 114351 HAS SOPS 114351 HAS SOUS 50224 HAS SOUPS 50224 WITH SCORE 50338.351
AT ITER 2966 NEW BEST:: SOT 183859 SOS 114251 HAS SOPS 114251 HAS SOUS 50156 HAS SOUPS 50156 WITH SCORE 50270.251
AT ITER 3020 NEW BEST:: SOT 183673 SOS 114957 HAS SOPS 114957 HAS SOUS 50098 HAS SOUPS 50098 WITH SCORE 50212.957
AT ITER 3040 NEW BEST:: SOT 183675 SOS 114923 HAS SOPS 114923 HAS SOUS 50096 HAS SOUPS 50096 WITH SCORE 50210.923
AT ITER 3046 NEW BEST:: SOT 183669 SOS 114917 HAS SOPS 114917 HAS SOUS 50087 HAS SOUPS 50087 WITH SCORE 50201.917
AT ITER 3050 NEW BEST:: SOT 183666 SOS 114914 HAS SOPS 114914 HAS SOUS 50081 HAS SOUPS 50081 WITH SCORE 50195.914
AT ITER 3120 NEW BEST:: SOT 183639 SOS 114887 HAS SOPS 114887 HAS SOUS 50054 HAS SOUPS 50054 WITH SCORE 50168.887
AT ITER 3131 NEW BEST:: SOT 183639 SOS 114887 HAS SOPS 114887 HAS SOUS 50049 HAS SOUPS 50049 WITH SCORE 50163.887
AT ITER 3134 NEW BEST:: SOT 183639 SOS 114885 HAS SOPS 114885 HAS SOUS 50049 HAS SOUPS 50049 WITH SCORE 50163.885
AT ITER 3138 NEW BEST:: SOT 183624 SOS 114870 HAS SOPS 114870 HAS SOUS 50019 HAS SOUPS 50019 WITH SCORE 50133.87
AT ITER 3151 NEW BEST:: SOT 183598 SOS 114843 HAS SOPS 114843 HAS SOUS 49992 HAS SOUPS 49992 WITH SCORE 50106.843
AT ITER 3172 NEW BEST:: SOT 183597 SOS 114842 HAS SOPS 114842 HAS SOUS 49990 HAS SOUPS 49990 WITH SCORE 50104.842
AT ITER 3187 NEW BEST:: SOT 183589 SOS 114779 HAS SOPS 114779 HAS SOUS 49975 HAS SOUPS 49975 WITH SCORE 50089.779
AT ITER 3265 NEW BEST:: SOT 183466 SOS 114607 HAS SOPS 114607 HAS SOUS 49859 HAS SOUPS 49859 WITH SCORE 49973.607
AT ITER 3272 NEW BEST:: SOT 183185 SOS 115045 HAS SOPS 115045 HAS SOUS 49702 HAS SOUPS 49702 WITH SCORE 49817.045
AT ITER 3309 NEW BEST:: SOT 183175 SOS 115035 HAS SOPS 115035 HAS SOUS 49692 HAS SOUPS 49692 WITH SCORE 49807.035
AT ITER 3311 NEW BEST:: SOT 183173 SOS 115033 HAS SOPS 115033 HAS SOUS 49690 HAS SOUPS 49690 WITH SCORE 49805.033
AT ITER 3319 NEW BEST:: SOT 182965 SOS 114860 HAS SOPS 114860 HAS SOUS 49481 HAS SOUPS 49481 WITH SCORE 49595.86
AT ITER 3327 NEW BEST:: SOT 182909 SOS 114804 HAS SOPS 114804 HAS SOUS 49439 HAS SOUPS 49439 WITH SCORE 49553.804
AT ITER 3356 NEW BEST:: SOT 182883 SOS 114812 HAS SOPS 114812 HAS SOUS 49413 HAS SOUPS 49413 WITH SCORE 49527.812
AT ITER 3361 NEW BEST:: SOT 182881 SOS 114810 HAS SOPS 114810 HAS SOUS 49408 HAS SOUPS 49408 WITH SCORE 49522.81
AT ITER 3369 NEW BEST:: SOT 182874 SOS 114800 HAS SOPS 114800 HAS SOUS 49398 HAS SOUPS 49398 WITH SCORE 49512.8
AT ITER 3401 NEW BEST:: SOT 182846 SOS 114772 HAS SOPS 114772 HAS SOUS 49341 HAS SOUPS 49341 WITH SCORE 49455.772
AT ITER 3421 NEW BEST:: SOT 182580 SOS 114684 HAS SOPS 114684 HAS SOUS 49234 HAS SOUPS 49234 WITH SCORE 49348.684
AT ITER 3422 NEW BEST:: SOT 182476 SOS 114580 HAS SOPS 114580 HAS SOUS 48856 HAS SOUPS 48856 WITH SCORE 48970.58
AT ITER 3426 NEW BEST:: SOT 182475 SOS 114579 HAS SOPS 114579 HAS SOUS 48856 HAS SOUPS 48856 WITH SCORE 48970.579
AT ITER 3460 NEW BEST:: SOT 182180 SOS 116627 HAS SOPS 116627 HAS SOUS 48787 HAS SOUPS 48787 WITH SCORE 48903.627
AT ITER 3461 NEW BEST:: SOT 182179 SOS 116626 HAS SOPS 116626 HAS SOUS 48755 HAS SOUPS 48755 WITH SCORE 48871.626
AT ITER 3464 NEW BEST:: SOT 182178 SOS 116625 HAS SOPS 116625 HAS SOUS 48738 HAS SOUPS 48738 WITH SCORE 48854.625
AT ITER 3527 NEW BEST:: SOT 182163 SOS 116610 HAS SOPS 116610 HAS SOUS 48738 HAS SOUPS 48738 WITH SCORE 48854.61
AT ITER 3538 NEW BEST:: SOT 182161 SOS 116608 HAS SOPS 116608 HAS SOUS 48734 HAS SOUPS 48734 WITH SCORE 48850.608
AT ITER 3576 NEW BEST:: SOT 182131 SOS 116578 HAS SOPS 116578 HAS SOUS 48683 HAS SOUPS 48683 WITH SCORE 48799.578
AT ITER 3577 NEW BEST:: SOT 182076 SOS 116523 HAS SOPS 116523 HAS SOUS 48573 HAS SOUPS 48573 WITH SCORE 48689.523
AT ITER 3606 NEW BEST:: SOT 182075 SOS 116522 HAS SOPS 116522 HAS SOUS 48571 HAS SOUPS 48571 WITH SCORE 48687.522
AT ITER 3626 NEW BEST:: SOT 182073 SOS 116520 HAS SOPS 116520 HAS SOUS 48567 HAS SOUPS 48567 WITH SCORE 48683.52
AT ITER 3641 NEW BEST:: SOT 182036 SOS 116437 HAS SOPS 116437 HAS SOUS 48493 HAS SOUPS 48493 WITH SCORE 48609.437
AT ITER 3649 NEW BEST:: SOT 182035 SOS 116436 HAS SOPS 116436 HAS SOUS 48491 HAS SOUPS 48491 WITH SCORE 48607.436
AT ITER 3650 NEW BEST:: SOT 181975 SOS 116376 HAS SOPS 116376 HAS SOUS 48371 HAS SOUPS 48371 WITH SCORE 48487.376
AT ITER 3714 NEW BEST:: SOT 181863 SOS 116264 HAS SOPS 116264 HAS SOUS 48371 HAS SOUPS 48371 WITH SCORE 48487.264
AT ITER 3715 NEW BEST:: SOT 181862 SOS 116263 HAS SOPS 116263 HAS SOUS 48369 HAS SOUPS 48369 WITH SCORE 48485.263
AT ITER 3718 NEW BEST:: SOT 181794 SOS 116174 HAS SOPS 116174 HAS SOUS 48233 HAS SOUPS 48233 WITH SCORE 48349.174
AT ITER 3725 NEW BEST:: SOT 181794 SOS 116174 HAS SOPS 116174 HAS SOUS 48188 HAS SOUPS 48188 WITH SCORE 48304.174
AT ITER 3788 NEW BEST:: SOT 181780 SOS 116160 HAS SOPS 116160 HAS SOUS 48160 HAS SOUPS 48160 WITH SCORE 48276.16
AT ITER 3796 NEW BEST:: SOT 181730 SOS 116089 HAS SOPS 116089 HAS SOUS 48089 HAS SOUPS 48089 WITH SCORE 48205.089
AT ITER 3803 NEW BEST:: SOT 181720 SOS 116079 HAS SOPS 116079 HAS SOUS 48069 HAS SOUPS 48069 WITH SCORE 48185.079
AT ITER 3804 NEW BEST:: SOT 181680 SOS 116039 HAS SOPS 116039 HAS SOUS 47989 HAS SOUPS 47989 WITH SCORE 48105.039
AT ITER 3806 NEW BEST:: SOT 181665 SOS 116024 HAS SOPS 116024 HAS SOUS 47973 HAS SOUPS 47973 WITH SCORE 48089.024
AT ITER 3810 NEW BEST:: SOT 181663 SOS 116022 HAS SOPS 116022 HAS SOUS 47969 HAS SOUPS 47969 WITH SCORE 48085.022
AT ITER 3816 NEW BEST:: SOT 181652 SOS 116011 HAS SOPS 116011 HAS SOUS 47897 HAS SOUPS 47897 WITH SCORE 48013.011
AT ITER 3820 NEW BEST:: SOT 181647 SOS 115996 HAS SOPS 115996 HAS SOUS 47877 HAS SOUPS 47877 WITH SCORE 47992.996
AT ITER 3844 NEW BEST:: SOT 181545 SOS 117440 HAS SOPS 117440 HAS SOUS 47842 HAS SOUPS 47842 WITH SCORE 47959.44
AT ITER 3845 NEW BEST:: SOT 181405 SOS 117300 HAS SOPS 117300 HAS SOUS 47698 HAS SOUPS 47698 WITH SCORE 47815.3
AT ITER 3855 NEW BEST:: SOT 181405 SOS 117289 HAS SOPS 117289 HAS SOUS 47698 HAS SOUPS 47698 WITH SCORE 47815.289
AT ITER 3869 NEW BEST:: SOT 181399 SOS 117283 HAS SOPS 117283 HAS SOUS 47692 HAS SOUPS 47692 WITH SCORE 47809.283
AT ITER 3876 NEW BEST:: SOT 181401 SOS 117285 HAS SOPS 117285 HAS SOUS 47677 HAS SOUPS 47677 WITH SCORE 47794.285
AT ITER 3889 NEW BEST:: SOT 181418 SOS 117302 HAS SOPS 117302 HAS SOUS 47670 HAS SOUPS 47670 WITH SCORE 47787.302
AT ITER 3891 NEW BEST:: SOT 181416 SOS 117296 HAS SOPS 117296 HAS SOUS 47666 HAS SOUPS 47666 WITH SCORE 47783.296
AT ITER 3939 NEW BEST:: SOT 181372 SOS 117256 HAS SOPS 117256 HAS SOUS 47555 HAS SOUPS 47555 WITH SCORE 47672.256
AT ITER 3965 NEW BEST:: SOT 181356 SOS 117240 HAS SOPS 117240 HAS SOUS 47539 HAS SOUPS 47539 WITH SCORE 47656.24
AT ITER 3970 NEW BEST:: SOT 181340 SOS 117224 HAS SOPS 117224 HAS SOUS 47501 HAS SOUPS 47501 WITH SCORE 47618.224
AT ITER 3981 NEW BEST:: SOT 181284 SOS 117168 HAS SOPS 117168 HAS SOUS 47389 HAS SOUPS 47389 WITH SCORE 47506.168
AT ITER 3982 NEW BEST:: SOT 181261 SOS 117058 HAS SOPS 117058 HAS SOUS 47357 HAS SOUPS 47357 WITH SCORE 47474.058
AT ITER 4005 NEW BEST:: SOT 181303 SOS 116002 HAS SOPS 116002 HAS SOUS 47338 HAS SOUPS 47338 WITH SCORE 47454.002
AT ITER 4014 NEW BEST:: SOT 181266 SOS 115965 HAS SOPS 115965 HAS SOUS 47232 HAS SOUPS 47232 WITH SCORE 47347.965
AT ITER 4028 NEW BEST:: SOT 181117 SOS 115816 HAS SOPS 115816 HAS SOUS 47120 HAS SOUPS 47120 WITH SCORE 47235.816
AT ITER 4076 NEW BEST:: SOT 180828 SOS 117795 HAS SOPS 117795 HAS SOUS 47019 HAS SOUPS 47019 WITH SCORE 47136.795
AT ITER 4094 NEW BEST:: SOT 180827 SOS 117794 HAS SOPS 117794 HAS SOUS 47017 HAS SOUPS 47017 WITH SCORE 47134.794
AT ITER 4178 NEW BEST:: SOT 180830 SOS 117743 HAS SOPS 117743 HAS SOUS 47017 HAS SOUPS 47017 WITH SCORE 47134.743
AT ITER 4181 NEW BEST:: SOT 180742 SOS 118429 HAS SOPS 118429 HAS SOUS 46929 HAS SOUPS 46929 WITH SCORE 47047.429
AT ITER 4189 NEW BEST:: SOT 180686 SOS 118373 HAS SOPS 118373 HAS SOUS 46873 HAS SOUPS 46873 WITH SCORE 46991.373
AT ITER 4219 NEW BEST:: SOT 180685 SOS 118372 HAS SOPS 118372 HAS SOUS 46871 HAS SOUPS 46871 WITH SCORE 46989.372
AT ITER 4257 NEW BEST:: SOT 180574 SOS 118261 HAS SOPS 118261 HAS SOUS 46661 HAS SOUPS 46661 WITH SCORE 46779.261
AT ITER 4261 NEW BEST:: SOT 180573 SOS 118260 HAS SOPS 118260 HAS SOUS 46659 HAS SOUPS 46659 WITH SCORE 46777.26
AT ITER 4271 NEW BEST:: SOT 180547 SOS 118234 HAS SOPS 118234 HAS SOUS 46607 HAS SOUPS 46607 WITH SCORE 46725.234
AT ITER 4292 NEW BEST:: SOT 180546 SOS 118233 HAS SOPS 118233 HAS SOUS 46605 HAS SOUPS 46605 WITH SCORE 46723.233
AT ITER 4308 NEW BEST:: SOT 180546 SOS 118233 HAS SOPS 118233 HAS SOUS 46602 HAS SOUPS 46602 WITH SCORE 46720.233
AT ITER 4344 NEW BEST:: SOT 180507 SOS 118194 HAS SOPS 118194 HAS SOUS 46524 HAS SOUPS 46524 WITH SCORE 46642.194
AT ITER 4387 NEW BEST:: SOT 180504 SOS 118191 HAS SOPS 118191 HAS SOUS 46518 HAS SOUPS 46518 WITH SCORE 46636.191
AT ITER 4416 NEW BEST:: SOT 180503 SOS 118190 HAS SOPS 118190 HAS SOUS 46516 HAS SOUPS 46516 WITH SCORE 46634.19
AT ITER 4427 NEW BEST:: SOT 180454 SOS 118078 HAS SOPS 118078 HAS SOUS 46418 HAS SOUPS 46418 WITH SCORE 46536.078
AT ITER 4447 NEW BEST:: SOT 180435 SOS 118059 HAS SOPS 118059 HAS SOUS 46380 HAS SOUPS 46380 WITH SCORE 46498.059
AT ITER 4454 NEW BEST:: SOT 180324 SOS 117948 HAS SOPS 117948 HAS SOUS 46320 HAS SOUPS 46320 WITH SCORE 46437.948
AT ITER 4490 NEW BEST:: SOT 180310 SOS 117199 HAS SOPS 117199 HAS SOUS 46267 HAS SOUPS 46267 WITH SCORE 46384.199
AT ITER 4545 NEW BEST:: SOT 180309 SOS 117179 HAS SOPS 117179 HAS SOUS 46265 HAS SOUPS 46265 WITH SCORE 46382.179
AT ITER 4557 NEW BEST:: SOT 180254 SOS 116995 HAS SOPS 116995 HAS SOUS 46155 HAS SOUPS 46155 WITH SCORE 46271.995
AT ITER 4577 NEW BEST:: SOT 180254 SOS 116914 HAS SOPS 116914 HAS SOUS 46135 HAS SOUPS 46135 WITH SCORE 46251.914
AT ITER 4586 NEW BEST:: SOT 180252 SOS 116901 HAS SOPS 116901 HAS SOUS 46131 HAS SOUPS 46131 WITH SCORE 46247.901
AT ITER 4605 NEW BEST:: SOT 180223 SOS 116872 HAS SOPS 116872 HAS SOUS 46090 HAS SOUPS 46090 WITH SCORE 46206.872
AT ITER 4615 NEW BEST:: SOT 180225 SOS 116926 HAS SOPS 116926 HAS SOUS 46042 HAS SOUPS 46042 WITH SCORE 46158.926
AT ITER 4657 NEW BEST:: SOT 180224 SOS 116925 HAS SOPS 116925 HAS SOUS 46040 HAS SOUPS 46040 WITH SCORE 46156.925
AT ITER 4722 NEW BEST:: SOT 180202 SOS 116903 HAS SOPS 116903 HAS SOUS 45996 HAS SOUPS 45996 WITH SCORE 46112.903
AT ITER 4735 NEW BEST:: SOT 180197 SOS 118084 HAS SOPS 118084 HAS SOUS 45991 HAS SOUPS 45991 WITH SCORE 46109.084
AT ITER 4752 NEW BEST:: SOT 180163 SOS 118081 HAS SOPS 118081 HAS SOUS 45988 HAS SOUPS 45988 WITH SCORE 46106.081
AT ITER 4824 NEW BEST:: SOT 180147 SOS 118065 HAS SOPS 118065 HAS SOUS 45956 HAS SOUPS 45956 WITH SCORE 46074.065
AT ITER 4832 NEW BEST:: SOT 180094 SOS 118012 HAS SOPS 118012 HAS SOUS 45850 HAS SOUPS 45850 WITH SCORE 45968.012
AT ITER 4842 NEW BEST:: SOT 180093 SOS 118011 HAS SOPS 118011 HAS SOUS 45848 HAS SOUPS 45848 WITH SCORE 45966.011
AT ITER 4876 NEW BEST:: SOT 180092 SOS 118010 HAS SOPS 118010 HAS SOUS 45846 HAS SOUPS 45846 WITH SCORE 45964.01
AT ITER 4881 NEW BEST:: SOT 180079 SOS 117737 HAS SOPS 117737 HAS SOUS 45833 HAS SOUPS 45833 WITH SCORE 45950.737
AT ITER 4883 NEW BEST:: SOT 180079 SOS 117529 HAS SOPS 117529 HAS SOUS 45825 HAS SOUPS 45825 WITH SCORE 45942.529
AT ITER 4927 NEW BEST:: SOT 180069 SOS 117519 HAS SOPS 117519 HAS SOUS 45805 HAS SOUPS 45805 WITH SCORE 45922.519
AT ITER 4948 NEW BEST:: SOT 180119 SOS 117569 HAS SOPS 117569 HAS SOUS 45787 HAS SOUPS 45787 WITH SCORE 45904.569
AT ITER 4953 NEW BEST:: SOT 180088 SOS 117538 HAS SOPS 117538 HAS SOUS 45725 HAS SOUPS 45725 WITH SCORE 45842.538
AT ITER 4969 NEW BEST:: SOT 179970 SOS 117420 HAS SOPS 117420 HAS SOUS 45607 HAS SOUPS 45607 WITH SCORE 45724.42
AT ITER 4974 NEW BEST:: SOT 179938 SOS 117388 HAS SOPS 117388 HAS SOUS 45543 HAS SOUPS 45543 WITH SCORE 45660.388
AT ITER 4985 NEW BEST:: SOT 179914 SOS 117360 HAS SOPS 117360 HAS SOUS 45515 HAS SOUPS 45515 WITH SCORE 45632.36
AT ITER 5005 NEW BEST:: SOT 179889 SOS 117335 HAS SOPS 117335 HAS SOUS 45465 HAS SOUPS 45465 WITH SCORE 45582.335
AT ITER 5013 NEW BEST:: SOT 179874 SOS 117320 HAS SOPS 117320 HAS SOUS 45435 HAS SOUPS 45435 WITH SCORE 45552.32
AT ITER 5015 NEW BEST:: SOT 179867 SOS 117327 HAS SOPS 117327 HAS SOUS 45413 HAS SOUPS 45413 WITH SCORE 45530.327
AT ITER 5022 NEW BEST:: SOT 179866 SOS 117326 HAS SOPS 117326 HAS SOUS 45411 HAS SOUPS 45411 WITH SCORE 45528.326
AT ITER 5028 NEW BEST:: SOT 179820 SOS 117280 HAS SOPS 117280 HAS SOUS 45357 HAS SOUPS 45357 WITH SCORE 45474.28
AT ITER 5029 NEW BEST:: SOT 179819 SOS 117279 HAS SOPS 117279 HAS SOUS 45319 HAS SOUPS 45319 WITH SCORE 45436.279
AT ITER 5042 NEW BEST:: SOT 179811 SOS 117271 HAS SOPS 117271 HAS SOUS 45303 HAS SOUPS 45303 WITH SCORE 45420.271
AT ITER 5077 NEW BEST:: SOT 179804 SOS 117264 HAS SOPS 117264 HAS SOUS 45289 HAS SOUPS 45289 WITH SCORE 45406.264
AT ITER 5144 NEW BEST:: SOT 179771 SOS 117231 HAS SOPS 117231 HAS SOUS 45223 HAS SOUPS 45223 WITH SCORE 45340.231
AT ITER 5245 NEW BEST:: SOT 179761 SOS 117221 HAS SOPS 117221 HAS SOUS 45203 HAS SOUPS 45203 WITH SCORE 45320.221
AT ITER 5263 NEW BEST:: SOT 179756 SOS 117216 HAS SOPS 117216 HAS SOUS 45198 HAS SOUPS 45198 WITH SCORE 45315.216
AT ITER 5339 NEW BEST:: SOT 179721 SOS 117143 HAS SOPS 117143 HAS SOUS 45166 HAS SOUPS 45166 WITH SCORE 45283.143
AT ITER 5358 NEW BEST:: SOT 179721 SOS 117143 HAS SOPS 117143 HAS SOUS 45161 HAS SOUPS 45161 WITH SCORE 45278.143
AT ITER 5363 NEW BEST:: SOT 179705 SOS 117127 HAS SOPS 117127 HAS SOUS 45129 HAS SOUPS 45129 WITH SCORE 45246.127
AT ITER 5383 NEW BEST:: SOT 179705 SOS 117125 HAS SOPS 117125 HAS SOUS 45114 HAS SOUPS 45114 WITH SCORE 45231.125
AT ITER 5406 NEW BEST:: SOT 179688 SOS 117108 HAS SOPS 117108 HAS SOUS 45097 HAS SOUPS 45097 WITH SCORE 45214.108
AT ITER 5451 NEW BEST:: SOT 179687 SOS 117092 HAS SOPS 117092 HAS SOUS 45095 HAS SOUPS 45095 WITH SCORE 45212.092
AT ITER 5481 NEW BEST:: SOT 179668 SOS 117054 HAS SOPS 117054 HAS SOUS 45057 HAS SOUPS 45057 WITH SCORE 45174.054
AT ITER 5510 NEW BEST:: SOT 179665 SOS 117051 HAS SOPS 117051 HAS SOUS 45051 HAS SOUPS 45051 WITH SCORE 45168.051
AT ITER 5554 NEW BEST:: SOT 179625 SOS 117011 HAS SOPS 117011 HAS SOUS 44971 HAS SOUPS 44971 WITH SCORE 45088.011
AT ITER 5569 NEW BEST:: SOT 179755 SOS 117141 HAS SOPS 117141 HAS SOUS 44907 HAS SOUPS 44907 WITH SCORE 45024.141
AT ITER 5608 NEW BEST:: SOT 179732 SOS 117118 HAS SOPS 117118 HAS SOUS 44861 HAS SOUPS 44861 WITH SCORE 44978.118
AT ITER 5683 NEW BEST:: SOT 179729 SOS 117112 HAS SOPS 117112 HAS SOUS 44858 HAS SOUPS 44858 WITH SCORE 44975.112
AT ITER 5687 NEW BEST:: SOT 179716 SOS 117099 HAS SOPS 117099 HAS SOUS 44832 HAS SOUPS 44832 WITH SCORE 44949.099
AT ITER 5703 NEW BEST:: SOT 179683 SOS 117066 HAS SOPS 117066 HAS SOUS 44695 HAS SOUPS 44695 WITH SCORE 44812.066
AT ITER 5710 NEW BEST:: SOT 179651 SOS 117034 HAS SOPS 117034 HAS SOUS 44631 HAS SOUPS 44631 WITH SCORE 44748.034
AT ITER 5728 NEW BEST:: SOT 179651 SOS 117034 HAS SOPS 117034 HAS SOUS 44610 HAS SOUPS 44610 WITH SCORE 44727.034
AT ITER 5733 NEW BEST:: SOT 179645 SOS 117028 HAS SOPS 117028 HAS SOUS 44604 HAS SOUPS 44604 WITH SCORE 44721.028
AT ITER 5742 NEW BEST:: SOT 179645 SOS 117028 HAS SOPS 117028 HAS SOUS 44600 HAS SOUPS 44600 WITH SCORE 44717.028
AT ITER 5763 NEW BEST:: SOT 179630 SOS 117013 HAS SOPS 117013 HAS SOUS 44570 HAS SOUPS 44570 WITH SCORE 44687.013
AT ITER 5766 NEW BEST:: SOT 179618 SOS 116989 HAS SOPS 116989 HAS SOUS 44558 HAS SOUPS 44558 WITH SCORE 44674.989
AT ITER 5777 NEW BEST:: SOT 179607 SOS 116978 HAS SOPS 116978 HAS SOUS 44536 HAS SOUPS 44536 WITH SCORE 44652.978
AT ITER 5779 NEW BEST:: SOT 179597 SOS 116968 HAS SOPS 116968 HAS SOUS 44526 HAS SOUPS 44526 WITH SCORE 44642.968
AT ITER 5814 NEW BEST:: SOT 179591 SOS 116962 HAS SOPS 116962 HAS SOUS 44514 HAS SOUPS 44514 WITH SCORE 44630.962
AT ITER 5826 NEW BEST:: SOT 179591 SOS 116962 HAS SOPS 116962 HAS SOUS 44492 HAS SOUPS 44492 WITH SCORE 44608.962
AT ITER 5846 NEW BEST:: SOT 179574 SOS 117361 HAS SOPS 117361 HAS SOUS 44475 HAS SOUPS 44475 WITH SCORE 44592.361
AT ITER 5867 NEW BEST:: SOT 179572 SOS 117359 HAS SOPS 117359 HAS SOUS 44474 HAS SOUPS 44474 WITH SCORE 44591.359
AT ITER 5878 NEW BEST:: SOT 179622 SOS 117409 HAS SOPS 117409 HAS SOUS 44473 HAS SOUPS 44473 WITH SCORE 44590.409
AT ITER 5889 NEW BEST:: SOT 179621 SOS 117408 HAS SOPS 117408 HAS SOUS 44471 HAS SOUPS 44471 WITH SCORE 44588.408
AT ITER 5940 NEW BEST:: SOT 179620 SOS 117407 HAS SOPS 117407 HAS SOUS 44469 HAS SOUPS 44469 WITH SCORE 44586.407
AT ITER 5966 NEW BEST:: SOT 179613 SOS 117400 HAS SOPS 117400 HAS SOUS 44455 HAS SOUPS 44455 WITH SCORE 44572.4
AT ITER 5977 NEW BEST:: SOT 179602 SOS 117389 HAS SOPS 117389 HAS SOUS 44444 HAS SOUPS 44444 WITH SCORE 44561.389
AT ITER 6009 NEW BEST:: SOT 179598 SOS 117385 HAS SOPS 117385 HAS SOUS 44436 HAS SOUPS 44436 WITH SCORE 44553.385
AT ITER 6025 NEW BEST:: SOT 179598 SOS 117265 HAS SOPS 117265 HAS SOUS 44424 HAS SOUPS 44424 WITH SCORE 44541.265
AT ITER 6037 NEW BEST:: SOT 179580 SOS 117247 HAS SOPS 117247 HAS SOUS 44417 HAS SOUPS 44417 WITH SCORE 44534.247
AT ITER 6043 NEW BEST:: SOT 179580 SOS 117171 HAS SOPS 117171 HAS SOUS 44417 HAS SOUPS 44417 WITH SCORE 44534.171
AT ITER 6077 NEW BEST:: SOT 179557 SOS 117157 HAS SOPS 117157 HAS SOUS 44417 HAS SOUPS 44417 WITH SCORE 44534.157
AT ITER 6084 NEW BEST:: SOT 179563 SOS 117055 HAS SOPS 117055 HAS SOUS 44411 HAS SOUPS 44411 WITH SCORE 44528.055
AT ITER 6165 NEW BEST:: SOT 179562 SOS 117054 HAS SOPS 117054 HAS SOUS 44409 HAS SOUPS 44409 WITH SCORE 44526.054
AT ITER 6168 NEW BEST:: SOT 179561 SOS 117053 HAS SOPS 117053 HAS SOUS 44403 HAS SOUPS 44403 WITH SCORE 44520.053
AT ITER 6304 NEW BEST:: SOT 179560 SOS 117052 HAS SOPS 117052 HAS SOUS 44401 HAS SOUPS 44401 WITH SCORE 44518.052
AT ITER 6306 NEW BEST:: SOT 179560 SOS 117051 HAS SOPS 117051 HAS SOUS 44401 HAS SOUPS 44401 WITH SCORE 44518.051
AT ITER 6311 NEW BEST:: SOT 179583 SOS 117074 HAS SOPS 117074 HAS SOUS 44397 HAS SOUPS 44397 WITH SCORE 44514.074
AT ITER 6325 NEW BEST:: SOT 179577 SOS 117068 HAS SOPS 117068 HAS SOUS 44391 HAS SOUPS 44391 WITH SCORE 44508.068
AT ITER 6356 NEW BEST:: SOT 179489 SOS 116980 HAS SOPS 116980 HAS SOUS 44264 HAS SOUPS 44264 WITH SCORE 44380.98
AT ITER 6362 NEW BEST:: SOT 179481 SOS 116972 HAS SOPS 116972 HAS SOUS 44248 HAS SOUPS 44248 WITH SCORE 44364.972
AT ITER 6420 NEW BEST:: SOT 179480 SOS 116971 HAS SOPS 116971 HAS SOUS 44246 HAS SOUPS 44246 WITH SCORE 44362.971
AT ITER 6446 NEW BEST:: SOT 179427 SOS 116819 HAS SOPS 116819 HAS SOUS 44140 HAS SOUPS 44140 WITH SCORE 44256.819
AT ITER 6454 NEW BEST:: SOT 179426 SOS 116818 HAS SOPS 116818 HAS SOUS 44138 HAS SOUPS 44138 WITH SCORE 44254.818
AT ITER 6463 NEW BEST:: SOT 179378 SOS 116770 HAS SOPS 116770 HAS SOUS 44100 HAS SOUPS 44100 WITH SCORE 44216.77
AT ITER 6466 NEW BEST:: SOT 179370 SOS 116762 HAS SOPS 116762 HAS SOUS 44084 HAS SOUPS 44084 WITH SCORE 44200.762
AT ITER 6483 NEW BEST:: SOT 179389 SOS 116277 HAS SOPS 116277 HAS SOUS 44082 HAS SOUPS 44082 WITH SCORE 44198.277
AT ITER 6488 NEW BEST:: SOT 179325 SOS 116853 HAS SOPS 116853 HAS SOUS 44050 HAS SOUPS 44050 WITH SCORE 44166.853
AT ITER 6531 NEW BEST:: SOT 179324 SOS 116852 HAS SOPS 116852 HAS SOUS 44048 HAS SOUPS 44048 WITH SCORE 44164.852
AT ITER 6539 NEW BEST:: SOT 179302 SOS 116830 HAS SOPS 116830 HAS SOUS 44026 HAS SOUPS 44026 WITH SCORE 44142.83
AT ITER 6565 NEW BEST:: SOT 179292 SOS 116820 HAS SOPS 116820 HAS SOUS 44006 HAS SOUPS 44006 WITH SCORE 44122.82
AT ITER 6584 NEW BEST:: SOT 179301 SOS 116523 HAS SOPS 116523 HAS SOUS 43998 HAS SOUPS 43998 WITH SCORE 44114.523
AT ITER 6596 NEW BEST:: SOT 179300 SOS 116522 HAS SOPS 116522 HAS SOUS 43996 HAS SOUPS 43996 WITH SCORE 44112.522
AT ITER 6693 NEW BEST:: SOT 179235 SOS 116457 HAS SOPS 116457 HAS SOUS 43980 HAS SOUPS 43980 WITH SCORE 44096.457
AT ITER 6700 NEW BEST:: SOT 179225 SOS 116447 HAS SOPS 116447 HAS SOUS 43969 HAS SOUPS 43969 WITH SCORE 44085.447
AT ITER 6711 NEW BEST:: SOT 179245 SOS 116467 HAS SOPS 116467 HAS SOUS 43915 HAS SOUPS 43915 WITH SCORE 44031.467
AT ITER 6750 NEW BEST:: SOT 179198 SOS 116420 HAS SOPS 116420 HAS SOUS 43821 HAS SOUPS 43821 WITH SCORE 43937.42
AT ITER 6758 NEW BEST:: SOT 179185 SOS 116447 HAS SOPS 116447 HAS SOUS 43811 HAS SOUPS 43811 WITH SCORE 43927.447
AT ITER 6776 NEW BEST:: SOT 179179 SOS 116441 HAS SOPS 116441 HAS SOUS 43799 HAS SOUPS 43799 WITH SCORE 43915.441
AT ITER 6820 NEW BEST:: SOT 179179 SOS 116420 HAS SOPS 116420 HAS SOUS 43778 HAS SOUPS 43778 WITH SCORE 43894.42
AT ITER 6839 NEW BEST:: SOT 179169 SOS 116410 HAS SOPS 116410 HAS SOUS 43758 HAS SOUPS 43758 WITH SCORE 43874.41
AT ITER 6849 NEW BEST:: SOT 179188 SOS 115490 HAS SOPS 115490 HAS SOUS 43737 HAS SOUPS 43737 WITH SCORE 43852.49
AT ITER 6909 NEW BEST:: SOT 179187 SOS 115527 HAS SOPS 115527 HAS SOUS 43735 HAS SOUPS 43735 WITH SCORE 43850.527
AT ITER 6912 NEW BEST:: SOT 179195 SOS 115535 HAS SOPS 115535 HAS SOUS 43728 HAS SOUPS 43728 WITH SCORE 43843.535
AT ITER 6913 NEW BEST:: SOT 179192 SOS 115532 HAS SOPS 115532 HAS SOUS 43722 HAS SOUPS 43722 WITH SCORE 43837.532
AT ITER 6914 NEW BEST:: SOT 179179 SOS 115519 HAS SOPS 115519 HAS SOUS 43709 HAS SOUPS 43709 WITH SCORE 43824.519
AT ITER 6956 NEW BEST:: SOT 179257 SOS 115516 HAS SOPS 115516 HAS SOUS 43703 HAS SOUPS 43703 WITH SCORE 43818.516
AT ITER 6994 NEW BEST:: SOT 179165 SOS 115424 HAS SOPS 115424 HAS SOUS 43602 HAS SOUPS 43602 WITH SCORE 43717.424
AT ITER 6997 NEW BEST:: SOT 179164 SOS 115153 HAS SOPS 115153 HAS SOUS 43576 HAS SOUPS 43576 WITH SCORE 43691.153
AT ITER 7005 NEW BEST:: SOT 179154 SOS 115133 HAS SOPS 115133 HAS SOUS 43556 HAS SOUPS 43556 WITH SCORE 43671.133
AT ITER 7006 NEW BEST:: SOT 179148 SOS 115127 HAS SOPS 115127 HAS SOUS 43544 HAS SOUPS 43544 WITH SCORE 43659.127
AT ITER 7034 NEW BEST:: SOT 179089 SOS 115068 HAS SOPS 115068 HAS SOUS 43507 HAS SOUPS 43507 WITH SCORE 43622.068
AT ITER 7078 NEW BEST:: SOT 179079 SOS 115058 HAS SOPS 115058 HAS SOUS 43487 HAS SOUPS 43487 WITH SCORE 43602.058
AT ITER 7232 NEW BEST:: SOT 179079 SOS 114818 HAS SOPS 114818 HAS SOUS 43487 HAS SOUPS 43487 WITH SCORE 43601.818
AT ITER 7252 NEW BEST:: SOT 179065 SOS 114804 HAS SOPS 114804 HAS SOUS 43459 HAS SOUPS 43459 WITH SCORE 43573.804
AT ITER 7265 NEW BEST:: SOT 179061 SOS 114796 HAS SOPS 114796 HAS SOUS 43447 HAS SOUPS 43447 WITH SCORE 43561.796
AT ITER 7272 NEW BEST:: SOT 179046 SOS 114781 HAS SOPS 114781 HAS SOUS 43417 HAS SOUPS 43417 WITH SCORE 43531.781
AT ITER 7276 NEW BEST:: SOT 179033 SOS 114768 HAS SOPS 114768 HAS SOUS 43399 HAS SOUPS 43399 WITH SCORE 43513.768
AT ITER 7301 NEW BEST:: SOT 179017 SOS 114752 HAS SOPS 114752 HAS SOUS 43367 HAS SOUPS 43367 WITH SCORE 43481.752
AT ITER 7305 NEW BEST:: SOT 179017 SOS 114750 HAS SOPS 114750 HAS SOUS 43367 HAS SOUPS 43367 WITH SCORE 43481.75
AT ITER 7313 NEW BEST:: SOT 178940 SOS 114673 HAS SOPS 114673 HAS SOUS 43326 HAS SOUPS 43326 WITH SCORE 43440.673
AT ITER 7318 NEW BEST:: SOT 178923 SOS 114656 HAS SOPS 114656 HAS SOUS 43292 HAS SOUPS 43292 WITH SCORE 43406.656
AT ITER 7339 NEW BEST:: SOT 178916 SOS 114649 HAS SOPS 114649 HAS SOUS 43278 HAS SOUPS 43278 WITH SCORE 43392.649
AT ITER 7363 NEW BEST:: SOT 178915 SOS 114648 HAS SOPS 114648 HAS SOUS 43277 HAS SOUPS 43277 WITH SCORE 43391.648
AT ITER 7390 NEW BEST:: SOT 178927 SOS 114660 HAS SOPS 114660 HAS SOUS 43232 HAS SOUPS 43232 WITH SCORE 43346.66
AT ITER 7400 NEW BEST:: SOT 178927 SOS 114660 HAS SOPS 114660 HAS SOUS 43220 HAS SOUPS 43220 WITH SCORE 43334.66
AT ITER 7426 NEW BEST:: SOT 178895 SOS 114628 HAS SOPS 114628 HAS SOUS 43171 HAS SOUPS 43171 WITH SCORE 43285.628
AT ITER 7441 NEW BEST:: SOT 178848 SOS 114565 HAS SOPS 114565 HAS SOUS 43124 HAS SOUPS 43124 WITH SCORE 43238.565
AT ITER 7451 NEW BEST:: SOT 178848 SOS 114564 HAS SOPS 114564 HAS SOUS 43123 HAS SOUPS 43123 WITH SCORE 43237.564
AT ITER 7454 NEW BEST:: SOT 178819 SOS 114535 HAS SOPS 114535 HAS SOUS 43038 HAS SOUPS 43038 WITH SCORE 43152.535
AT ITER 7582 NEW BEST:: SOT 178821 SOS 114537 HAS SOPS 114537 HAS SOUS 43030 HAS SOUPS 43030 WITH SCORE 43144.537
AT ITER 7637 NEW BEST:: SOT 178811 SOS 114527 HAS SOPS 114527 HAS SOUS 43020 HAS SOUPS 43020 WITH SCORE 43134.527
AT ITER 7654 NEW BEST:: SOT 178810 SOS 114522 HAS SOPS 114522 HAS SOUS 43015 HAS SOUPS 43015 WITH SCORE 43129.522
AT ITER 7678 NEW BEST:: SOT 178794 SOS 114506 HAS SOPS 114506 HAS SOUS 42983 HAS SOUPS 42983 WITH SCORE 43097.506
AT ITER 7717 NEW BEST:: SOT 178781 SOS 114493 HAS SOPS 114493 HAS SOUS 42953 HAS SOUPS 42953 WITH SCORE 43067.493
AT ITER 7765 NEW BEST:: SOT 178768 SOS 114480 HAS SOPS 114480 HAS SOUS 42927 HAS SOUPS 42927 WITH SCORE 43041.48
AT ITER 7785 NEW BEST:: SOT 178713 SOS 114425 HAS SOPS 114425 HAS SOUS 42898 HAS SOUPS 42898 WITH SCORE 43012.425
AT ITER 7847 NEW BEST:: SOT 178679 SOS 115003 HAS SOPS 115003 HAS SOUS 42873 HAS SOUPS 42873 WITH SCORE 42988.003
AT ITER 7854 NEW BEST:: SOT 178661 SOS 114985 HAS SOPS 114985 HAS SOUS 42837 HAS SOUPS 42837 WITH SCORE 42951.985
AT ITER 7862 NEW BEST:: SOT 178648 SOS 114972 HAS SOPS 114972 HAS SOUS 42811 HAS SOUPS 42811 WITH SCORE 42925.972
AT ITER 7889 NEW BEST:: SOT 178606 SOS 114930 HAS SOPS 114930 HAS SOUS 42727 HAS SOUPS 42727 WITH SCORE 42841.93
AT ITER 7897 NEW BEST:: SOT 178594 SOS 114918 HAS SOPS 114918 HAS SOUS 42703 HAS SOUPS 42703 WITH SCORE 42817.918
AT ITER 7898 NEW BEST:: SOT 178594 SOS 114899 HAS SOPS 114899 HAS SOUS 42658 HAS SOUPS 42658 WITH SCORE 42772.899
AT ITER 7911 NEW BEST:: SOT 178591 SOS 114901 HAS SOPS 114901 HAS SOUS 42652 HAS SOUPS 42652 WITH SCORE 42766.901
AT ITER 7913 NEW BEST:: SOT 178547 SOS 114788 HAS SOPS 114788 HAS SOUS 42564 HAS SOUPS 42564 WITH SCORE 42678.788
AT ITER 7920 NEW BEST:: SOT 178475 SOS 114721 HAS SOPS 114721 HAS SOUS 42492 HAS SOUPS 42492 WITH SCORE 42606.721
AT ITER 7935 NEW BEST:: SOT 178442 SOS 114627 HAS SOPS 114627 HAS SOUS 42487 HAS SOUPS 42487 WITH SCORE 42601.627
AT ITER 7943 NEW BEST:: SOT 178441 SOS 114626 HAS SOPS 114626 HAS SOUS 42485 HAS SOUPS 42485 WITH SCORE 42599.626
AT ITER 8045 NEW BEST:: SOT 178440 SOS 114625 HAS SOPS 114625 HAS SOUS 42484 HAS SOUPS 42484 WITH SCORE 42598.625
AT ITER 8075 NEW BEST:: SOT 178433 SOS 114618 HAS SOPS 114618 HAS SOUS 42470 HAS SOUPS 42470 WITH SCORE 42584.618
AT ITER 8091 NEW BEST:: SOT 178423 SOS 114608 HAS SOPS 114608 HAS SOUS 42470 HAS SOUPS 42470 WITH SCORE 42584.608
AT ITER 8092 NEW BEST:: SOT 178407 SOS 114592 HAS SOPS 114592 HAS SOUS 42438 HAS SOUPS 42438 WITH SCORE 42552.592
AT ITER 8098 NEW BEST:: SOT 178406 SOS 114591 HAS SOPS 114591 HAS SOUS 42427 HAS SOUPS 42427 WITH SCORE 42541.591
AT ITER 8121 NEW BEST:: SOT 178393 SOS 114628 HAS SOPS 114628 HAS SOUS 42354 HAS SOUPS 42354 WITH SCORE 42468.628
AT ITER 8133 NEW BEST:: SOT 178374 SOS 114609 HAS SOPS 114609 HAS SOUS 42350 HAS SOUPS 42350 WITH SCORE 42464.609
AT ITER 8143 NEW BEST:: SOT 178362 SOS 114597 HAS SOPS 114597 HAS SOUS 42348 HAS SOUPS 42348 WITH SCORE 42462.597
AT ITER 8148 NEW BEST:: SOT 178361 SOS 114596 HAS SOPS 114596 HAS SOUS 42346 HAS SOUPS 42346 WITH SCORE 42460.596
AT ITER 8152 NEW BEST:: SOT 178370 SOS 114605 HAS SOPS 114605 HAS SOUS 42345 HAS SOUPS 42345 WITH SCORE 42459.605
AT ITER 8168 NEW BEST:: SOT 178350 SOS 114585 HAS SOPS 114585 HAS SOUS 42345 HAS SOUPS 42345 WITH SCORE 42459.585
AT ITER 8233 NEW BEST:: SOT 178336 SOS 114571 HAS SOPS 114571 HAS SOUS 42317 HAS SOUPS 42317 WITH SCORE 42431.571
AT ITER 8239 NEW BEST:: SOT 178481 SOS 114716 HAS SOPS 114716 HAS SOUS 42277 HAS SOUPS 42277 WITH SCORE 42391.716
AT ITER 8253 NEW BEST:: SOT 178492 SOS 114727 HAS SOPS 114727 HAS SOUS 42276 HAS SOUPS 42276 WITH SCORE 42390.727
AT ITER 8254 NEW BEST:: SOT 178488 SOS 114723 HAS SOPS 114723 HAS SOUS 42268 HAS SOUPS 42268 WITH SCORE 42382.723
AT ITER 8262 NEW BEST:: SOT 178488 SOS 114706 HAS SOPS 114706 HAS SOUS 42251 HAS SOUPS 42251 WITH SCORE 42365.706
AT ITER 8289 NEW BEST:: SOT 178488 SOS 114706 HAS SOPS 114706 HAS SOUS 42249 HAS SOUPS 42249 WITH SCORE 42363.706
AT ITER 8368 NEW BEST:: SOT 178496 SOS 114578 HAS SOPS 114578 HAS SOUS 42249 HAS SOUPS 42249 WITH SCORE 42363.578
AT ITER 8379 NEW BEST:: SOT 178485 SOS 114567 HAS SOPS 114567 HAS SOUS 42227 HAS SOUPS 42227 WITH SCORE 42341.567
AT ITER 8391 NEW BEST:: SOT 178468 SOS 114555 HAS SOPS 114555 HAS SOUS 42180 HAS SOUPS 42180 WITH SCORE 42294.555
AT ITER 8407 NEW BEST:: SOT 178467 SOS 114554 HAS SOPS 114554 HAS SOUS 42179 HAS SOUPS 42179 WITH SCORE 42293.554
AT ITER 8416 NEW BEST:: SOT 178462 SOS 114549 HAS SOPS 114549 HAS SOUS 42158 HAS SOUPS 42158 WITH SCORE 42272.549
AT ITER 8427 NEW BEST:: SOT 178456 SOS 114537 HAS SOPS 114537 HAS SOUS 42158 HAS SOUPS 42158 WITH SCORE 42272.537
AT ITER 8436 NEW BEST:: SOT 178461 SOS 114542 HAS SOPS 114542 HAS SOUS 42157 HAS SOUPS 42157 WITH SCORE 42271.542
AT ITER 8466 NEW BEST:: SOT 178432 SOS 114513 HAS SOPS 114513 HAS SOUS 42141 HAS SOUPS 42141 WITH SCORE 42255.513
AT ITER 8489 NEW BEST:: SOT 178490 SOS 113663 HAS SOPS 113663 HAS SOUS 42141 HAS SOUPS 42141 WITH SCORE 42254.663
AT ITER 8511 NEW BEST:: SOT 178481 SOS 113654 HAS SOPS 113654 HAS SOUS 42123 HAS SOUPS 42123 WITH SCORE 42236.654
AT ITER 8569 NEW BEST:: SOT 178480 SOS 113539 HAS SOPS 113539 HAS SOUS 42121 HAS SOUPS 42121 WITH SCORE 42234.539
AT ITER 8614 NEW BEST:: SOT 178465 SOS 113524 HAS SOPS 113524 HAS SOUS 42121 HAS SOUPS 42121 WITH SCORE 42234.524
AT ITER 8776 NEW BEST:: SOT 178458 SOS 113517 HAS SOPS 113517 HAS SOUS 42107 HAS SOUPS 42107 WITH SCORE 42220.517
AT ITER 8805 NEW BEST:: SOT 178451 SOS 113510 HAS SOPS 113510 HAS SOUS 42100 HAS SOUPS 42100 WITH SCORE 42213.51
AT ITER 8853 NEW BEST:: SOT 178449 SOS 113508 HAS SOPS 113508 HAS SOUS 42096 HAS SOUPS 42096 WITH SCORE 42209.508
AT ITER 8871 NEW BEST:: SOT 178422 SOS 113434 HAS SOPS 113434 HAS SOUS 42042 HAS SOUPS 42042 WITH SCORE 42155.434
AT ITER 8883 NEW BEST:: SOT 178347 SOS 113359 HAS SOPS 113359 HAS SOUS 41981 HAS SOUPS 41981 WITH SCORE 42094.359
AT ITER 8888 NEW BEST:: SOT 178346 SOS 113358 HAS SOPS 113358 HAS SOUS 41979 HAS SOUPS 41979 WITH SCORE 42092.358
AT ITER 8892 NEW BEST:: SOT 178325 SOS 113337 HAS SOPS 113337 HAS SOUS 41958 HAS SOUPS 41958 WITH SCORE 42071.337
AT ITER 8919 NEW BEST:: SOT 178322 SOS 113334 HAS SOPS 113334 HAS SOUS 41952 HAS SOUPS 41952 WITH SCORE 42065.334
AT ITER 8926 NEW BEST:: SOT 178331 SOS 112097 HAS SOPS 112097 HAS SOUS 41909 HAS SOUPS 41909 WITH SCORE 42021.097
AT ITER 9003 NEW BEST:: SOT 178331 SOS 112083 HAS SOPS 112083 HAS SOUS 41909 HAS SOUPS 41909 WITH SCORE 42021.083
AT ITER 9034 NEW BEST:: SOT 178337 SOS 112089 HAS SOPS 112089 HAS SOUS 41907 HAS SOUPS 41907 WITH SCORE 42019.089
AT ITER 9035 NEW BEST:: SOT 178308 SOS 112083 HAS SOPS 112083 HAS SOUS 41848 HAS SOUPS 41848 WITH SCORE 41960.083
AT ITER 9055 NEW BEST:: SOT 178303 SOS 112078 HAS SOPS 112078 HAS SOUS 41821 HAS SOUPS 41821 WITH SCORE 41933.078
AT ITER 9056 NEW BEST:: SOT 178346 SOS 112033 HAS SOPS 112033 HAS SOUS 41777 HAS SOUPS 41777 WITH SCORE 41889.033
AT ITER 9110 NEW BEST:: SOT 178334 SOS 112021 HAS SOPS 112021 HAS SOUS 41765 HAS SOUPS 41765 WITH SCORE 41877.021
AT ITER 9166 NEW BEST:: SOT 178338 SOS 112025 HAS SOPS 112025 HAS SOUS 41747 HAS SOUPS 41747 WITH SCORE 41859.025
AT ITER 9184 NEW BEST:: SOT 178338 SOS 111993 HAS SOPS 111993 HAS SOUS 41715 HAS SOUPS 41715 WITH SCORE 41826.993
AT ITER 9230 NEW BEST:: SOT 178330 SOS 111985 HAS SOPS 111985 HAS SOUS 41707 HAS SOUPS 41707 WITH SCORE 41818.985
AT ITER 9255 NEW BEST:: SOT 178324 SOS 111979 HAS SOPS 111979 HAS SOUS 41704 HAS SOUPS 41704 WITH SCORE 41815.979
AT ITER 9288 NEW BEST:: SOT 178301 SOS 111946 HAS SOPS 111946 HAS SOUS 41694 HAS SOUPS 41694 WITH SCORE 41805.946
AT ITER 9295 NEW BEST:: SOT 178280 SOS 111925 HAS SOPS 111925 HAS SOUS 41652 HAS SOUPS 41652 WITH SCORE 41763.925
AT ITER 9318 NEW BEST:: SOT 178276 SOS 111921 HAS SOPS 111921 HAS SOUS 41650 HAS SOUPS 41650 WITH SCORE 41761.921
AT ITER 9350 NEW BEST:: SOT 178122 SOS 113161 HAS SOPS 113161 HAS SOUS 41580 HAS SOUPS 41580 WITH SCORE 41693.161
AT ITER 9351 NEW BEST:: SOT 178054 SOS 113025 HAS SOPS 113025 HAS SOUS 41512 HAS SOUPS 41512 WITH SCORE 41625.025
AT ITER 9374 NEW BEST:: SOT 178085 SOS 113056 HAS SOPS 113056 HAS SOUS 41483 HAS SOUPS 41483 WITH SCORE 41596.056
AT ITER 9468 NEW BEST:: SOT 178076 SOS 113047 HAS SOPS 113047 HAS SOUS 41465 HAS SOUPS 41465 WITH SCORE 41578.047
AT ITER 9482 NEW BEST:: SOT 178069 SOS 113040 HAS SOPS 113040 HAS SOUS 41451 HAS SOUPS 41451 WITH SCORE 41564.04
AT ITER 9503 NEW BEST:: SOT 178037 SOS 113008 HAS SOPS 113008 HAS SOUS 41387 HAS SOUPS 41387 WITH SCORE 41500.008
AT ITER 9514 NEW BEST:: SOT 178037 SOS 113005 HAS SOPS 113005 HAS SOUS 41387 HAS SOUPS 41387 WITH SCORE 41500.005
AT ITER 9552 NEW BEST:: SOT 178036 SOS 113004 HAS SOPS 113004 HAS SOUS 41379 HAS SOUPS 41379 WITH SCORE 41492.004
AT ITER 9573 NEW BEST:: SOT 177981 SOS 112949 HAS SOPS 112949 HAS SOUS 41269 HAS SOUPS 41269 WITH SCORE 41381.949
AT ITER 9599 NEW BEST:: SOT 177974 SOS 112925 HAS SOPS 112925 HAS SOUS 41255 HAS SOUPS 41255 WITH SCORE 41367.925
AT ITER 9602 NEW BEST:: SOT 177964 SOS 113003 HAS SOPS 113003 HAS SOUS 41250 HAS SOUPS 41250 WITH SCORE 41363.003
AT ITER 9634 NEW BEST:: SOT 177948 SOS 112987 HAS SOPS 112987 HAS SOUS 41234 HAS SOUPS 41234 WITH SCORE 41346.987
AT ITER 9675 NEW BEST:: SOT 177914 SOS 112953 HAS SOPS 112953 HAS SOUS 41201 HAS SOUPS 41201 WITH SCORE 41313.953
AT ITER 9715 NEW BEST:: SOT 177911 SOS 112950 HAS SOPS 112950 HAS SOUS 41195 HAS SOUPS 41195 WITH SCORE 41307.95
AT ITER 9733 NEW BEST:: SOT 177886 SOS 112925 HAS SOPS 112925 HAS SOUS 41189 HAS SOUPS 41189 WITH SCORE 41301.925
AT ITER 9749 NEW BEST:: SOT 177880 SOS 112907 HAS SOPS 112907 HAS SOUS 41177 HAS SOUPS 41177 WITH SCORE 41289.907
AT ITER 9753 NEW BEST:: SOT 177861 SOS 112892 HAS SOPS 112892 HAS SOUS 41139 HAS SOUPS 41139 WITH SCORE 41251.892
AT ITER 9792 NEW BEST:: SOT 177829 SOS 112857 HAS SOPS 112857 HAS SOUS 41075 HAS SOUPS 41075 WITH SCORE 41187.857
AT ITER 9809 NEW BEST:: SOT 177830 SOS 112858 HAS SOPS 112858 HAS SOUS 41068 HAS SOUPS 41068 WITH SCORE 41180.858
AT ITER 9827 NEW BEST:: SOT 177905 SOS 111208 HAS SOPS 111208 HAS SOUS 41068 HAS SOUPS 41068 WITH SCORE 41179.208
AT ITER 9895 NEW BEST:: SOT 177905 SOS 111208 HAS SOPS 111208 HAS SOUS 40985 HAS SOUPS 40985 WITH SCORE 41096.208
AT ITER 9919 NEW BEST:: SOT 177904 SOS 111204 HAS SOPS 111204 HAS SOUS 40983 HAS SOUPS 40983 WITH SCORE 41094.204
AT ITER 9948 NEW BEST:: SOT 177846 SOS 112115 HAS SOPS 112115 HAS SOUS 40982 HAS SOUPS 40982 WITH SCORE 41094.115
AT ITER 9975 NEW BEST:: SOT 177814 SOS 112083 HAS SOPS 112083 HAS SOUS 40950 HAS SOUPS 40950 WITH SCORE 41062.083
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7337796 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124932 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ 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
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HirschbergSinclair-PT-25"
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 HirschbergSinclair-PT-25, 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 r203-smll-167840349600464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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