About the Execution of Smart for DLCround-PT-05a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
685.020 | 63651.00 | 63089.00 | 0.00 | 2.4010E+0009 2.7817E+0011 1 88 | normal |
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.r099-tall-167814472700656.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 smart
Input is DLCround-PT-05a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472700656
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 784K
-rw-r--r-- 1 mcc users 8.0K Feb 25 18:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 18:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 18:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 18:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 18:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 161K Feb 25 18:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 18:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 25 18:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 259K 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 1678256085203
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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCround-PT-05a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 05a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 167 places, 1055 transitions, 3985 arcs.
AT ITER 0 NEW BEST:: SOT 117369 SOS 92878 HAS SOPS 56439 HAS SOUS 16646 HAS SOUPS 11230 WITH SCORE 11322.878
AT ITER 3 NEW BEST:: SOT 117339 SOS 92768 HAS SOPS 56389 HAS SOUS 16616 HAS SOUPS 11210 WITH SCORE 11302.768
AT ITER 6 NEW BEST:: SOT 117236 SOS 93414 HAS SOPS 56687 HAS SOUS 16554 HAS SOUPS 11148 WITH SCORE 11241.414
AT ITER 12 NEW BEST:: SOT 117283 SOS 93502 HAS SOPS 56570 HAS SOUS 16487 HAS SOUPS 10915 WITH SCORE 11008.502
AT ITER 38 NEW BEST:: SOT 117431 SOS 93718 HAS SOPS 56378 HAS SOUS 16269 HAS SOUPS 10516 WITH SCORE 10609.718
AT ITER 41 NEW BEST:: SOT 117491 SOS 93778 HAS SOPS 56377 HAS SOUS 16220 HAS SOUPS 10488 WITH SCORE 10581.778
AT ITER 45 NEW BEST:: SOT 117478 SOS 93706 HAS SOPS 56443 HAS SOUS 16187 HAS SOUPS 10478 WITH SCORE 10571.706
AT ITER 49 NEW BEST:: SOT 117463 SOS 93651 HAS SOPS 56418 HAS SOUS 16172 HAS SOUPS 10468 WITH SCORE 10561.651
AT ITER 51 NEW BEST:: SOT 117452 SOS 93541 HAS SOPS 56407 HAS SOUS 16150 HAS SOUPS 10457 WITH SCORE 10550.541
AT ITER 64 NEW BEST:: SOT 117499 SOS 93056 HAS SOPS 56300 HAS SOUS 16076 HAS SOUPS 10425 WITH SCORE 10518.056
AT ITER 67 NEW BEST:: SOT 117538 SOS 93076 HAS SOPS 56320 HAS SOUS 16020 HAS SOUPS 10369 WITH SCORE 10462.076
AT ITER 83 NEW BEST:: SOT 117524 SOS 93048 HAS SOPS 56292 HAS SOUS 16007 HAS SOUPS 10356 WITH SCORE 10449.048
AT ITER 89 NEW BEST:: SOT 117869 SOS 93393 HAS SOPS 56582 HAS SOUS 16003 HAS SOUPS 10336 WITH SCORE 10429.393
AT ITER 98 NEW BEST:: SOT 117800 SOS 93341 HAS SOPS 56445 HAS SOUS 15900 HAS SOUPS 10197 WITH SCORE 10290.341
AT ITER 103 NEW BEST:: SOT 117812 SOS 93396 HAS SOPS 56285 HAS SOUS 15849 HAS SOUPS 9952 WITH SCORE 10045.396
AT ITER 104 NEW BEST:: SOT 118106 SOS 93690 HAS SOPS 56530 HAS SOUS 15800 HAS SOUPS 9903 WITH SCORE 9996.69
AT ITER 106 NEW BEST:: SOT 118023 SOS 94405 HAS SOPS 56873 HAS SOUS 15786 HAS SOUPS 9889 WITH SCORE 9983.405
AT ITER 108 NEW BEST:: SOT 118018 SOS 94400 HAS SOPS 56868 HAS SOUS 15763 HAS SOUPS 9874 WITH SCORE 9968.4
AT ITER 109 NEW BEST:: SOT 118064 SOS 94446 HAS SOPS 56914 HAS SOUS 15717 HAS SOUPS 9828 WITH SCORE 9922.446
AT ITER 142 NEW BEST:: SOT 118064 SOS 94187 HAS SOPS 56781 HAS SOUS 15703 HAS SOUPS 9821 WITH SCORE 9915.187
AT ITER 145 NEW BEST:: SOT 118062 SOS 94185 HAS SOPS 56779 HAS SOUS 15701 HAS SOUPS 9819 WITH SCORE 9913.185
AT ITER 151 NEW BEST:: SOT 118009 SOS 92948 HAS SOPS 56288 HAS SOUS 15621 HAS SOUPS 9811 WITH SCORE 9903.948
AT ITER 157 NEW BEST:: SOT 118173 SOS 93112 HAS SOPS 56452 HAS SOUS 15599 HAS SOUPS 9789 WITH SCORE 9882.112
AT ITER 158 NEW BEST:: SOT 118077 SOS 93080 HAS SOPS 56420 HAS SOUS 15376 HAS SOUPS 9566 WITH SCORE 9659.08
AT ITER 163 NEW BEST:: SOT 117731 SOS 92427 HAS SOPS 56029 HAS SOUS 15073 HAS SOUPS 9215 WITH SCORE 9307.427
AT ITER 164 NEW BEST:: SOT 117803 SOS 92043 HAS SOPS 56077 HAS SOUS 14977 HAS SOUPS 9167 WITH SCORE 9259.043
AT ITER 165 NEW BEST:: SOT 117898 SOS 92223 HAS SOPS 56257 HAS SOUS 14976 HAS SOUPS 9166 WITH SCORE 9258.223
AT ITER 170 NEW BEST:: SOT 117795 SOS 91855 HAS SOPS 55875 HAS SOUS 14973 HAS SOUPS 9163 WITH SCORE 9254.855
AT ITER 172 NEW BEST:: SOT 117846 SOS 90256 HAS SOPS 54600 HAS SOUS 14930 HAS SOUPS 9156 WITH SCORE 9246.256
AT ITER 184 NEW BEST:: SOT 117840 SOS 90234 HAS SOPS 54590 HAS SOUS 14924 HAS SOUPS 9152 WITH SCORE 9242.234
AT ITER 185 NEW BEST:: SOT 117765 SOS 88170 HAS SOPS 52526 HAS SOUS 14864 HAS SOUPS 9092 WITH SCORE 9180.17
AT ITER 189 NEW BEST:: SOT 117758 SOS 88100 HAS SOPS 52456 HAS SOUS 14857 HAS SOUPS 9085 WITH SCORE 9173.1
AT ITER 207 NEW BEST:: SOT 117715 SOS 88057 HAS SOPS 52420 HAS SOUS 14831 HAS SOUPS 9058 WITH SCORE 9146.057
AT ITER 214 NEW BEST:: SOT 117539 SOS 87728 HAS SOPS 52310 HAS SOUS 14830 HAS SOUPS 9057 WITH SCORE 9144.728
AT ITER 218 NEW BEST:: SOT 117472 SOS 87661 HAS SOPS 52277 HAS SOUS 14797 HAS SOUPS 9024 WITH SCORE 9111.661
AT ITER 219 NEW BEST:: SOT 117418 SOS 87607 HAS SOPS 52223 HAS SOUS 14707 HAS SOUPS 8973 WITH SCORE 9060.607
AT ITER 221 NEW BEST:: SOT 117401 SOS 87582 HAS SOPS 52210 HAS SOUS 14694 HAS SOUPS 8964 WITH SCORE 9051.582
AT ITER 222 NEW BEST:: SOT 117392 SOS 87492 HAS SOPS 52120 HAS SOUS 14685 HAS SOUPS 8955 WITH SCORE 9042.492
AT ITER 229 NEW BEST:: SOT 117381 SOS 88510 HAS SOPS 53138 HAS SOUS 14671 HAS SOUPS 8941 WITH SCORE 9029.51
AT ITER 230 NEW BEST:: SOT 117560 SOS 87348 HAS SOPS 52593 HAS SOUS 14672 HAS SOUPS 8792 WITH SCORE 8879.348
AT ITER 234 NEW BEST:: SOT 117548 SOS 87324 HAS SOPS 52593 HAS SOUS 14660 HAS SOUPS 8792 WITH SCORE 8879.324
AT ITER 245 NEW BEST:: SOT 117492 SOS 87268 HAS SOPS 52545 HAS SOUS 14613 HAS SOUPS 8767 WITH SCORE 8854.268
AT ITER 254 NEW BEST:: SOT 117420 SOS 84728 HAS SOPS 50365 HAS SOUS 14551 HAS SOUPS 8745 WITH SCORE 8829.728
AT ITER 259 NEW BEST:: SOT 117554 SOS 84836 HAS SOPS 50525 HAS SOUS 14496 HAS SOUPS 8717 WITH SCORE 8801.836
AT ITER 267 NEW BEST:: SOT 117535 SOS 85374 HAS SOPS 51063 HAS SOUS 14477 HAS SOUPS 8698 WITH SCORE 8783.374
AT ITER 278 NEW BEST:: SOT 117171 SOS 84556 HAS SOPS 51024 HAS SOUS 14400 HAS SOUPS 8680 WITH SCORE 8764.556
AT ITER 282 NEW BEST:: SOT 117175 SOS 84452 HAS SOPS 50988 HAS SOUS 14348 HAS SOUPS 8644 WITH SCORE 8728.452
AT ITER 283 NEW BEST:: SOT 117121 SOS 84398 HAS SOPS 50934 HAS SOUS 14348 HAS SOUPS 8644 WITH SCORE 8728.398
AT ITER 284 NEW BEST:: SOT 117095 SOS 84372 HAS SOPS 50908 HAS SOUS 14328 HAS SOUPS 8623 WITH SCORE 8707.372
AT ITER 288 NEW BEST:: SOT 117087 SOS 84366 HAS SOPS 50890 HAS SOUS 14322 HAS SOUPS 8605 WITH SCORE 8689.366
AT ITER 289 NEW BEST:: SOT 116856 SOS 83242 HAS SOPS 50696 HAS SOUS 14364 HAS SOUPS 8517 WITH SCORE 8600.242
AT ITER 297 NEW BEST:: SOT 116397 SOS 82549 HAS SOPS 50365 HAS SOUS 14323 HAS SOUPS 8495 WITH SCORE 8577.549
AT ITER 302 NEW BEST:: SOT 116394 SOS 82525 HAS SOPS 50341 HAS SOUS 14319 HAS SOUPS 8491 WITH SCORE 8573.525
AT ITER 304 NEW BEST:: SOT 116301 SOS 82498 HAS SOPS 50094 HAS SOUS 14053 HAS SOUPS 8196 WITH SCORE 8278.498
AT ITER 305 NEW BEST:: SOT 116473 SOS 82645 HAS SOPS 50291 HAS SOUS 14021 HAS SOUPS 8181 WITH SCORE 8263.645
AT ITER 308 NEW BEST:: SOT 116496 SOS 82665 HAS SOPS 50302 HAS SOUS 14011 HAS SOUPS 8174 WITH SCORE 8256.665
AT ITER 312 NEW BEST:: SOT 116597 SOS 82563 HAS SOPS 50017 HAS SOUS 13966 HAS SOUPS 8010 WITH SCORE 8092.563
AT ITER 321 NEW BEST:: SOT 116576 SOS 83941 HAS SOPS 50604 HAS SOUS 13894 HAS SOUPS 7938 WITH SCORE 8021.941
AT ITER 338 NEW BEST:: SOT 116569 SOS 83934 HAS SOPS 50598 HAS SOUS 13885 HAS SOUPS 7933 WITH SCORE 8016.934
AT ITER 345 NEW BEST:: SOT 116564 SOS 83931 HAS SOPS 50598 HAS SOUS 13844 HAS SOUPS 7921 WITH SCORE 8004.931
AT ITER 349 NEW BEST:: SOT 116576 SOS 83955 HAS SOPS 50598 HAS SOUS 13840 HAS SOUPS 7917 WITH SCORE 8000.955
AT ITER 371 NEW BEST:: SOT 116485 SOS 83752 HAS SOPS 50540 HAS SOUS 13823 HAS SOUPS 7900 WITH SCORE 7983.752
AT ITER 379 NEW BEST:: SOT 116454 SOS 83690 HAS SOPS 50509 HAS SOUS 13783 HAS SOUPS 7891 WITH SCORE 7974.69
AT ITER 408 NEW BEST:: SOT 116424 SOS 83656 HAS SOPS 50483 HAS SOUS 13726 HAS SOUPS 7850 WITH SCORE 7933.656
AT ITER 412 NEW BEST:: SOT 116339 SOS 83588 HAS SOPS 50398 HAS SOUS 13738 HAS SOUPS 7845 WITH SCORE 7928.588
AT ITER 416 NEW BEST:: SOT 116327 SOS 83564 HAS SOPS 50330 HAS SOUS 13702 HAS SOUPS 7809 WITH SCORE 7892.564
AT ITER 419 NEW BEST:: SOT 116303 SOS 83528 HAS SOPS 50330 HAS SOUS 13663 HAS SOUPS 7794 WITH SCORE 7877.528
AT ITER 431 NEW BEST:: SOT 116307 SOS 83484 HAS SOPS 50298 HAS SOUS 13663 HAS SOUPS 7794 WITH SCORE 7877.484
AT ITER 434 NEW BEST:: SOT 116307 SOS 83408 HAS SOPS 50279 HAS SOUS 13644 HAS SOUPS 7775 WITH SCORE 7858.408
AT ITER 435 NEW BEST:: SOT 116283 SOS 83264 HAS SOPS 50243 HAS SOUS 13620 HAS SOUPS 7763 WITH SCORE 7846.264
AT ITER 436 NEW BEST:: SOT 116300 SOS 83241 HAS SOPS 50220 HAS SOUS 13604 HAS SOUPS 7747 WITH SCORE 7830.241
AT ITER 437 NEW BEST:: SOT 116293 SOS 83108 HAS SOPS 50150 HAS SOUS 13593 HAS SOUPS 7743 WITH SCORE 7826.108
AT ITER 440 NEW BEST:: SOT 116279 SOS 83087 HAS SOPS 50143 HAS SOUS 13561 HAS SOUPS 7726 WITH SCORE 7809.087
AT ITER 443 NEW BEST:: SOT 116245 SOS 82934 HAS SOPS 50092 HAS SOUS 13544 HAS SOUPS 7726 WITH SCORE 7808.934
AT ITER 449 NEW BEST:: SOT 116231 SOS 82930 HAS SOPS 50092 HAS SOUS 13510 HAS SOUPS 7718 WITH SCORE 7800.93
AT ITER 452 NEW BEST:: SOT 116201 SOS 82785 HAS SOPS 50073 HAS SOUS 13475 HAS SOUPS 7697 WITH SCORE 7779.785
AT ITER 461 NEW BEST:: SOT 116147 SOS 82695 HAS SOPS 50001 HAS SOUS 13493 HAS SOUPS 7697 WITH SCORE 7779.695
AT ITER 472 NEW BEST:: SOT 116172 SOS 80150 HAS SOPS 47880 HAS SOUS 13477 HAS SOUPS 7681 WITH SCORE 7761.15
AT ITER 473 NEW BEST:: SOT 116162 SOS 80130 HAS SOPS 47880 HAS SOUS 13471 HAS SOUPS 7675 WITH SCORE 7755.13
AT ITER 493 NEW BEST:: SOT 116156 SOS 80118 HAS SOPS 47874 HAS SOUS 13463 HAS SOUPS 7673 WITH SCORE 7753.118
AT ITER 517 NEW BEST:: SOT 115752 SOS 79474 HAS SOPS 47410 HAS SOUS 13455 HAS SOUPS 7665 WITH SCORE 7744.474
AT ITER 518 NEW BEST:: SOT 115757 SOS 79480 HAS SOPS 47398 HAS SOUS 13453 HAS SOUPS 7654 WITH SCORE 7733.48
AT ITER 526 NEW BEST:: SOT 115804 SOS 79916 HAS SOPS 47834 HAS SOUS 13451 HAS SOUPS 7652 WITH SCORE 7731.916
AT ITER 527 NEW BEST:: SOT 115740 SOS 79726 HAS SOPS 47644 HAS SOUS 13412 HAS SOUPS 7613 WITH SCORE 7692.726
AT ITER 544 NEW BEST:: SOT 115720 SOS 78986 HAS SOPS 46904 HAS SOUS 13405 HAS SOUPS 7606 WITH SCORE 7684.986
AT ITER 565 NEW BEST:: SOT 115494 SOS 78524 HAS SOPS 46519 HAS SOUS 13417 HAS SOUPS 7589 WITH SCORE 7667.524
AT ITER 571 NEW BEST:: SOT 115484 SOS 78536 HAS SOPS 46487 HAS SOUS 13407 HAS SOUPS 7557 WITH SCORE 7635.536
AT ITER 604 NEW BEST:: SOT 115485 SOS 78512 HAS SOPS 46468 HAS SOUS 13408 HAS SOUPS 7557 WITH SCORE 7635.512
AT ITER 616 NEW BEST:: SOT 115486 SOS 78511 HAS SOPS 46468 HAS SOUS 13419 HAS SOUPS 7557 WITH SCORE 7635.511
AT ITER 617 NEW BEST:: SOT 115524 SOS 78565 HAS SOPS 46490 HAS SOUS 13419 HAS SOUPS 7553 WITH SCORE 7631.565
AT ITER 622 NEW BEST:: SOT 115113 SOS 77958 HAS SOPS 46219 HAS SOUS 13377 HAS SOUPS 7532 WITH SCORE 7609.958
AT ITER 639 NEW BEST:: SOT 115110 SOS 77952 HAS SOPS 46186 HAS SOUS 13380 HAS SOUPS 7532 WITH SCORE 7609.952
AT ITER 641 NEW BEST:: SOT 115000 SOS 77732 HAS SOPS 45966 HAS SOUS 13330 HAS SOUPS 7482 WITH SCORE 7559.732
AT ITER 670 NEW BEST:: SOT 114973 SOS 77697 HAS SOPS 45951 HAS SOUS 13307 HAS SOUPS 7475 WITH SCORE 7552.697
AT ITER 676 NEW BEST:: SOT 114781 SOS 77332 HAS SOPS 45649 HAS SOUS 13329 HAS SOUPS 7475 WITH SCORE 7552.332
AT ITER 681 NEW BEST:: SOT 114757 SOS 77326 HAS SOPS 45571 HAS SOUS 13334 HAS SOUPS 7466 WITH SCORE 7543.326
AT ITER 688 NEW BEST:: SOT 114765 SOS 77254 HAS SOPS 45499 HAS SOUS 13320 HAS SOUPS 7452 WITH SCORE 7529.254
AT ITER 702 NEW BEST:: SOT 114765 SOS 77254 HAS SOPS 45469 HAS SOUS 13326 HAS SOUPS 7438 WITH SCORE 7515.254
AT ITER 719 NEW BEST:: SOT 114721 SOS 76905 HAS SOPS 45543 HAS SOUS 13201 HAS SOUPS 7360 WITH SCORE 7436.905
AT ITER 738 NEW BEST:: SOT 114949 SOS 77204 HAS SOPS 45782 HAS SOUS 13166 HAS SOUPS 7351 WITH SCORE 7428.204
AT ITER 746 NEW BEST:: SOT 114931 SOS 77115 HAS SOPS 45693 HAS SOUS 13147 HAS SOUPS 7332 WITH SCORE 7409.115
AT ITER 760 NEW BEST:: SOT 114891 SOS 77059 HAS SOPS 45693 HAS SOUS 13068 HAS SOUPS 7297 WITH SCORE 7374.059
AT ITER 769 NEW BEST:: SOT 114883 SOS 77099 HAS SOPS 45685 HAS SOUS 13060 HAS SOUPS 7289 WITH SCORE 7366.099
AT ITER 782 NEW BEST:: SOT 114883 SOS 77099 HAS SOPS 45685 HAS SOUS 13051 HAS SOUPS 7284 WITH SCORE 7361.099
AT ITER 785 NEW BEST:: SOT 114827 SOS 77036 HAS SOPS 45643 HAS SOUS 13015 HAS SOUPS 7262 WITH SCORE 7339.036
AT ITER 823 NEW BEST:: SOT 114719 SOS 76952 HAS SOPS 45595 HAS SOUS 13023 HAS SOUPS 7258 WITH SCORE 7334.952
AT ITER 844 NEW BEST:: SOT 114719 SOS 76952 HAS SOPS 45595 HAS SOUS 13017 HAS SOUPS 7252 WITH SCORE 7328.952
AT ITER 862 NEW BEST:: SOT 114661 SOS 76846 HAS SOPS 45558 HAS SOUS 12987 HAS SOUPS 7243 WITH SCORE 7319.846
AT ITER 865 NEW BEST:: SOT 114604 SOS 76888 HAS SOPS 45504 HAS SOUS 12845 HAS SOUPS 7155 WITH SCORE 7231.888
AT ITER 894 NEW BEST:: SOT 114606 SOS 76870 HAS SOPS 45504 HAS SOUS 12843 HAS SOUPS 7155 WITH SCORE 7231.87
AT ITER 899 NEW BEST:: SOT 114598 SOS 76854 HAS SOPS 45500 HAS SOUS 12839 HAS SOUPS 7155 WITH SCORE 7231.854
AT ITER 922 NEW BEST:: SOT 114481 SOS 76629 HAS SOPS 45491 HAS SOUS 12807 HAS SOUPS 7148 WITH SCORE 7224.629
AT ITER 924 NEW BEST:: SOT 114470 SOS 76607 HAS SOPS 45334 HAS SOUS 12812 HAS SOUPS 7138 WITH SCORE 7214.607
AT ITER 934 NEW BEST:: SOT 114469 SOS 76597 HAS SOPS 45333 HAS SOUS 12808 HAS SOUPS 7135 WITH SCORE 7211.597
AT ITER 937 NEW BEST:: SOT 114469 SOS 76729 HAS SOPS 45312 HAS SOUS 12822 HAS SOUPS 7132 WITH SCORE 7208.729
AT ITER 941 NEW BEST:: SOT 114479 SOS 76733 HAS SOPS 45298 HAS SOUS 12802 HAS SOUPS 7118 WITH SCORE 7194.733
AT ITER 951 NEW BEST:: SOT 114479 SOS 76733 HAS SOPS 45298 HAS SOUS 12801 HAS SOUPS 7117 WITH SCORE 7193.733
AT ITER 979 NEW BEST:: SOT 114517 SOS 76828 HAS SOPS 45298 HAS SOUS 12742 HAS SOUPS 7091 WITH SCORE 7167.828
AT ITER 1011 NEW BEST:: SOT 114509 SOS 76876 HAS SOPS 45370 HAS SOUS 12726 HAS SOUPS 7083 WITH SCORE 7159.876
AT ITER 1017 NEW BEST:: SOT 114521 SOS 76635 HAS SOPS 45192 HAS SOUS 12718 HAS SOUPS 7082 WITH SCORE 7158.635
AT ITER 1021 NEW BEST:: SOT 114473 SOS 76587 HAS SOPS 45144 HAS SOUS 12700 HAS SOUPS 7072 WITH SCORE 7148.587
AT ITER 1035 NEW BEST:: SOT 114471 SOS 76583 HAS SOPS 45143 HAS SOUS 12699 HAS SOUPS 7072 WITH SCORE 7148.583
AT ITER 1036 NEW BEST:: SOT 114471 SOS 76519 HAS SOPS 45149 HAS SOUS 12685 HAS SOUPS 7069 WITH SCORE 7145.519
AT ITER 1053 NEW BEST:: SOT 114357 SOS 76405 HAS SOPS 45035 HAS SOUS 12685 HAS SOUPS 7069 WITH SCORE 7145.405
AT ITER 1075 NEW BEST:: SOT 114419 SOS 76454 HAS SOPS 45110 HAS SOUS 12669 HAS SOUPS 7066 WITH SCORE 7142.454
AT ITER 1076 NEW BEST:: SOT 114573 SOS 76620 HAS SOPS 45190 HAS SOUS 12621 HAS SOUPS 7040 WITH SCORE 7116.62
AT ITER 1088 NEW BEST:: SOT 114571 SOS 76616 HAS SOPS 45186 HAS SOUS 12619 HAS SOUPS 7038 WITH SCORE 7114.616
AT ITER 1097 NEW BEST:: SOT 114724 SOS 76922 HAS SOPS 45372 HAS SOUS 12512 HAS SOUPS 7021 WITH SCORE 7097.922
AT ITER 1125 NEW BEST:: SOT 114350 SOS 76548 HAS SOPS 45072 HAS SOUS 12545 HAS SOUPS 7017 WITH SCORE 7093.548
AT ITER 1153 NEW BEST:: SOT 114354 SOS 76528 HAS SOPS 45045 HAS SOUS 12413 HAS SOUPS 6945 WITH SCORE 7021.528
AT ITER 1159 NEW BEST:: SOT 114343 SOS 76436 HAS SOPS 45016 HAS SOUS 12395 HAS SOUPS 6934 WITH SCORE 7010.436
AT ITER 1161 NEW BEST:: SOT 114290 SOS 76306 HAS SOPS 44958 HAS SOUS 12366 HAS SOUPS 6917 WITH SCORE 6993.306
AT ITER 1166 NEW BEST:: SOT 114345 SOS 76366 HAS SOPS 44998 HAS SOUS 12358 HAS SOUPS 6914 WITH SCORE 6990.366
AT ITER 1167 NEW BEST:: SOT 114330 SOS 76351 HAS SOPS 44983 HAS SOUS 12348 HAS SOUPS 6904 WITH SCORE 6980.351
AT ITER 1172 NEW BEST:: SOT 114116 SOS 76138 HAS SOPS 44768 HAS SOUS 12323 HAS SOUPS 6890 WITH SCORE 6966.138
AT ITER 1182 NEW BEST:: SOT 114131 SOS 76025 HAS SOPS 44772 HAS SOUS 12309 HAS SOUPS 6889 WITH SCORE 6965.025
AT ITER 1190 NEW BEST:: SOT 114128 SOS 76022 HAS SOPS 44772 HAS SOUS 12309 HAS SOUPS 6889 WITH SCORE 6965.022
AT ITER 1203 NEW BEST:: SOT 114120 SOS 75976 HAS SOPS 44762 HAS SOUS 12298 HAS SOUPS 6884 WITH SCORE 6959.976
AT ITER 1205 NEW BEST:: SOT 114116 SOS 75964 HAS SOPS 44758 HAS SOUS 12294 HAS SOUPS 6884 WITH SCORE 6959.964
AT ITER 1225 NEW BEST:: SOT 114110 SOS 75958 HAS SOPS 44758 HAS SOUS 12294 HAS SOUPS 6884 WITH SCORE 6959.958
AT ITER 1243 NEW BEST:: SOT 114039 SOS 76042 HAS SOPS 44842 HAS SOUS 12288 HAS SOUPS 6878 WITH SCORE 6954.042
AT ITER 1266 NEW BEST:: SOT 114039 SOS 76042 HAS SOPS 44842 HAS SOUS 12285 HAS SOUPS 6876 WITH SCORE 6952.042
AT ITER 1281 NEW BEST:: SOT 113959 SOS 75822 HAS SOPS 44727 HAS SOUS 12271 HAS SOUPS 6869 WITH SCORE 6944.822
AT ITER 1290 NEW BEST:: SOT 113959 SOS 75822 HAS SOPS 44727 HAS SOUS 12262 HAS SOUPS 6863 WITH SCORE 6938.822
AT ITER 1292 NEW BEST:: SOT 113417 SOS 74668 HAS SOPS 44175 HAS SOUS 12231 HAS SOUPS 6832 WITH SCORE 6906.668
AT ITER 1309 NEW BEST:: SOT 113419 SOS 74694 HAS SOPS 44177 HAS SOUS 12233 HAS SOUPS 6830 WITH SCORE 6904.694
AT ITER 1317 NEW BEST:: SOT 113342 SOS 74533 HAS SOPS 44058 HAS SOUS 12221 HAS SOUPS 6818 WITH SCORE 6892.533
AT ITER 1331 NEW BEST:: SOT 113445 SOS 74727 HAS SOPS 44130 HAS SOUS 12190 HAS SOUPS 6804 WITH SCORE 6878.727
AT ITER 1336 NEW BEST:: SOT 113452 SOS 74744 HAS SOPS 44147 HAS SOUS 12184 HAS SOUPS 6798 WITH SCORE 6872.744
AT ITER 1353 NEW BEST:: SOT 113444 SOS 74736 HAS SOPS 44147 HAS SOUS 12184 HAS SOUPS 6798 WITH SCORE 6872.736
AT ITER 1367 NEW BEST:: SOT 113550 SOS 74841 HAS SOPS 44254 HAS SOUS 12182 HAS SOUPS 6797 WITH SCORE 6871.841
AT ITER 1374 NEW BEST:: SOT 113561 SOS 74852 HAS SOPS 44251 HAS SOUS 12179 HAS SOUPS 6794 WITH SCORE 6868.852
AT ITER 1394 NEW BEST:: SOT 113585 SOS 74882 HAS SOPS 44263 HAS SOUS 12176 HAS SOUPS 6791 WITH SCORE 6865.882
AT ITER 1399 NEW BEST:: SOT 113548 SOS 74778 HAS SOPS 44057 HAS SOUS 12192 HAS SOUPS 6790 WITH SCORE 6864.778
AT ITER 1423 NEW BEST:: SOT 113512 SOS 74710 HAS SOPS 44001 HAS SOUS 12188 HAS SOUPS 6786 WITH SCORE 6860.71
AT ITER 1424 NEW BEST:: SOT 113519 SOS 74468 HAS SOPS 43864 HAS SOUS 12163 HAS SOUPS 6777 WITH SCORE 6851.468
AT ITER 1466 NEW BEST:: SOT 113504 SOS 74423 HAS SOPS 43849 HAS SOUS 12148 HAS SOUPS 6777 WITH SCORE 6851.423
AT ITER 1476 NEW BEST:: SOT 113560 SOS 74542 HAS SOPS 43869 HAS SOUS 12165 HAS SOUPS 6776 WITH SCORE 6850.542
AT ITER 1478 NEW BEST:: SOT 113530 SOS 74512 HAS SOPS 43839 HAS SOUS 12165 HAS SOUPS 6776 WITH SCORE 6850.512
AT ITER 1515 NEW BEST:: SOT 113530 SOS 74512 HAS SOPS 43839 HAS SOUS 12145 HAS SOUPS 6756 WITH SCORE 6830.512
AT ITER 1518 NEW BEST:: SOT 113137 SOS 74043 HAS SOPS 43560 HAS SOUS 12140 HAS SOUPS 6751 WITH SCORE 6825.043
AT ITER 1547 NEW BEST:: SOT 112957 SOS 73858 HAS SOPS 43433 HAS SOUS 12143 HAS SOUPS 6738 WITH SCORE 6811.858
AT ITER 1570 NEW BEST:: SOT 112948 SOS 73741 HAS SOPS 43379 HAS SOUS 12140 HAS SOUPS 6738 WITH SCORE 6811.741
AT ITER 1579 NEW BEST:: SOT 112968 SOS 73761 HAS SOPS 43389 HAS SOUS 12138 HAS SOUPS 6736 WITH SCORE 6809.761
AT ITER 1634 NEW BEST:: SOT 112916 SOS 73660 HAS SOPS 43351 HAS SOUS 12134 HAS SOUPS 6732 WITH SCORE 6805.66
AT ITER 1635 NEW BEST:: SOT 112853 SOS 73597 HAS SOPS 43297 HAS SOUS 12098 HAS SOUPS 6704 WITH SCORE 6777.597
AT ITER 1639 NEW BEST:: SOT 112864 SOS 72823 HAS SOPS 42730 HAS SOUS 12071 HAS SOUPS 6702 WITH SCORE 6774.823
AT ITER 1645 NEW BEST:: SOT 112854 SOS 72715 HAS SOPS 42622 HAS SOUS 12061 HAS SOUPS 6692 WITH SCORE 6764.715
AT ITER 1649 NEW BEST:: SOT 112469 SOS 71912 HAS SOPS 42351 HAS SOUS 12008 HAS SOUPS 6677 WITH SCORE 6748.912
AT ITER 1659 NEW BEST:: SOT 112457 SOS 72048 HAS SOPS 42431 HAS SOUS 12010 HAS SOUPS 6676 WITH SCORE 6748.048
AT ITER 1676 NEW BEST:: SOT 112600 SOS 72256 HAS SOPS 42509 HAS SOUS 12011 HAS SOUPS 6668 WITH SCORE 6740.256
AT ITER 1688 NEW BEST:: SOT 112673 SOS 71942 HAS SOPS 42350 HAS SOUS 12011 HAS SOUPS 6668 WITH SCORE 6739.942
AT ITER 1727 NEW BEST:: SOT 112667 SOS 71906 HAS SOPS 42341 HAS SOUS 12005 HAS SOUPS 6665 WITH SCORE 6736.906
AT ITER 1732 NEW BEST:: SOT 112663 SOS 71914 HAS SOPS 42361 HAS SOUS 12001 HAS SOUPS 6663 WITH SCORE 6734.914
AT ITER 1736 NEW BEST:: SOT 112613 SOS 71482 HAS SOPS 41890 HAS SOUS 11991 HAS SOUPS 6653 WITH SCORE 6724.482
AT ITER 1753 NEW BEST:: SOT 112595 SOS 71458 HAS SOPS 41874 HAS SOUS 11987 HAS SOUPS 6649 WITH SCORE 6720.458
AT ITER 1755 NEW BEST:: SOT 111655 SOS 69897 HAS SOPS 40752 HAS SOUS 11980 HAS SOUPS 6642 WITH SCORE 6711.897
AT ITER 1767 NEW BEST:: SOT 111637 SOS 69879 HAS SOPS 40734 HAS SOUS 11971 HAS SOUPS 6637 WITH SCORE 6706.879
AT ITER 1784 NEW BEST:: SOT 111593 SOS 70123 HAS SOPS 40733 HAS SOUS 12001 HAS SOUPS 6618 WITH SCORE 6688.123
AT ITER 1788 NEW BEST:: SOT 111580 SOS 70102 HAS SOPS 40724 HAS SOUS 11996 HAS SOUPS 6613 WITH SCORE 6683.102
AT ITER 1791 NEW BEST:: SOT 111576 SOS 70126 HAS SOPS 40740 HAS SOUS 11995 HAS SOUPS 6611 WITH SCORE 6681.126
AT ITER 1798 NEW BEST:: SOT 111579 SOS 70036 HAS SOPS 40686 HAS SOUS 11995 HAS SOUPS 6611 WITH SCORE 6681.036
AT ITER 1809 NEW BEST:: SOT 111190 SOS 69576 HAS SOPS 40368 HAS SOUS 11972 HAS SOUPS 6611 WITH SCORE 6680.576
AT ITER 1825 NEW BEST:: SOT 111209 SOS 69589 HAS SOPS 40381 HAS SOUS 11959 HAS SOUPS 6598 WITH SCORE 6667.589
AT ITER 1835 NEW BEST:: SOT 111205 SOS 69585 HAS SOPS 40377 HAS SOUS 11956 HAS SOUPS 6595 WITH SCORE 6664.585
AT ITER 1859 NEW BEST:: SOT 111205 SOS 69583 HAS SOPS 40375 HAS SOUS 11956 HAS SOUPS 6595 WITH SCORE 6664.583
AT ITER 1862 NEW BEST:: SOT 110829 SOS 69079 HAS SOPS 40057 HAS SOUS 11920 HAS SOUPS 6559 WITH SCORE 6628.079
AT ITER 1897 NEW BEST:: SOT 110818 SOS 68987 HAS SOPS 40033 HAS SOUS 11897 HAS SOUPS 6545 WITH SCORE 6613.987
AT ITER 1910 NEW BEST:: SOT 110821 SOS 69002 HAS SOPS 40048 HAS SOUS 11894 HAS SOUPS 6542 WITH SCORE 6611.002
AT ITER 1921 NEW BEST:: SOT 110816 SOS 68922 HAS SOPS 39998 HAS SOUS 11889 HAS SOUPS 6537 WITH SCORE 6605.922
AT ITER 1955 NEW BEST:: SOT 110814 SOS 68920 HAS SOPS 39998 HAS SOUS 11889 HAS SOUPS 6537 WITH SCORE 6605.92
AT ITER 1971 NEW BEST:: SOT 110824 SOS 68830 HAS SOPS 39998 HAS SOUS 11872 HAS SOUPS 6530 WITH SCORE 6598.83
AT ITER 1981 NEW BEST:: SOT 110876 SOS 68903 HAS SOPS 40077 HAS SOUS 11855 HAS SOUPS 6513 WITH SCORE 6581.903
AT ITER 1986 NEW BEST:: SOT 110540 SOS 68376 HAS SOPS 39831 HAS SOUS 11779 HAS SOUPS 6440 WITH SCORE 6508.376
AT ITER 2008 NEW BEST:: SOT 110539 SOS 68375 HAS SOPS 39831 HAS SOUS 11779 HAS SOUPS 6440 WITH SCORE 6508.375
AT ITER 2009 NEW BEST:: SOT 110593 SOS 68435 HAS SOPS 39855 HAS SOUS 11773 HAS SOUPS 6434 WITH SCORE 6502.435
AT ITER 2030 NEW BEST:: SOT 110593 SOS 68435 HAS SOPS 39855 HAS SOUS 11747 HAS SOUPS 6422 WITH SCORE 6490.435
AT ITER 2045 NEW BEST:: SOT 110617 SOS 68463 HAS SOPS 39871 HAS SOUS 11745 HAS SOUPS 6420 WITH SCORE 6488.463
AT ITER 2066 NEW BEST:: SOT 110617 SOS 66447 HAS SOPS 37951 HAS SOUS 11745 HAS SOUPS 6420 WITH SCORE 6486.447
AT ITER 2100 NEW BEST:: SOT 110617 SOS 66454 HAS SOPS 38021 HAS SOUS 11731 HAS SOUPS 6413 WITH SCORE 6479.454
AT ITER 2108 NEW BEST:: SOT 110389 SOS 66118 HAS SOPS 37892 HAS SOUS 11722 HAS SOUPS 6404 WITH SCORE 6470.118
AT ITER 2118 NEW BEST:: SOT 110407 SOS 66152 HAS SOPS 37904 HAS SOUS 11716 HAS SOUPS 6400 WITH SCORE 6466.152
AT ITER 2151 NEW BEST:: SOT 110213 SOS 65984 HAS SOPS 37924 HAS SOUS 11727 HAS SOUPS 6400 WITH SCORE 6465.984
AT ITER 2158 NEW BEST:: SOT 110213 SOS 65952 HAS SOPS 37892 HAS SOUS 11727 HAS SOUPS 6400 WITH SCORE 6465.952
AT ITER 2164 NEW BEST:: SOT 110277 SOS 66218 HAS SOPS 37994 HAS SOUS 11749 HAS SOUPS 6397 WITH SCORE 6463.218
AT ITER 2172 NEW BEST:: SOT 109951 SOS 65857 HAS SOPS 37794 HAS SOUS 11728 HAS SOUPS 6365 WITH SCORE 6430.857
AT ITER 2216 NEW BEST:: SOT 109843 SOS 65707 HAS SOPS 37710 HAS SOUS 11708 HAS SOUPS 6345 WITH SCORE 6410.707
AT ITER 2225 NEW BEST:: SOT 110046 SOS 65985 HAS SOPS 37838 HAS SOUS 11721 HAS SOUPS 6333 WITH SCORE 6398.985
AT ITER 2227 NEW BEST:: SOT 110022 SOS 65961 HAS SOPS 37814 HAS SOUS 11721 HAS SOUPS 6333 WITH SCORE 6398.961
AT ITER 2229 NEW BEST:: SOT 110008 SOS 65947 HAS SOPS 37802 HAS SOUS 11719 HAS SOUPS 6331 WITH SCORE 6396.947
AT ITER 2230 NEW BEST:: SOT 110000 SOS 65888 HAS SOPS 37788 HAS SOUS 11697 HAS SOUPS 6314 WITH SCORE 6379.888
AT ITER 2241 NEW BEST:: SOT 109964 SOS 65852 HAS SOPS 37752 HAS SOUS 11697 HAS SOUPS 6314 WITH SCORE 6379.852
AT ITER 2252 NEW BEST:: SOT 109889 SOS 65655 HAS SOPS 37682 HAS SOUS 11670 HAS SOUPS 6287 WITH SCORE 6352.655
AT ITER 2258 NEW BEST:: SOT 109856 SOS 65589 HAS SOPS 37682 HAS SOUS 11670 HAS SOUPS 6287 WITH SCORE 6352.589
AT ITER 2263 NEW BEST:: SOT 109856 SOS 65589 HAS SOPS 37682 HAS SOUS 11634 HAS SOUPS 6267 WITH SCORE 6332.589
AT ITER 2295 NEW BEST:: SOT 109897 SOS 65630 HAS SOPS 37667 HAS SOUS 11628 HAS SOUPS 6261 WITH SCORE 6326.63
AT ITER 2305 NEW BEST:: SOT 109897 SOS 65630 HAS SOPS 37667 HAS SOUS 11633 HAS SOUPS 6259 WITH SCORE 6324.63
AT ITER 2349 NEW BEST:: SOT 109886 SOS 65563 HAS SOPS 37528 HAS SOUS 11640 HAS SOUPS 6258 WITH SCORE 6323.563
AT ITER 2352 NEW BEST:: SOT 109846 SOS 65483 HAS SOPS 37528 HAS SOUS 11566 HAS SOUPS 6244 WITH SCORE 6309.483
AT ITER 2354 NEW BEST:: SOT 110440 SOS 66202 HAS SOPS 37997 HAS SOUS 11603 HAS SOUPS 6237 WITH SCORE 6303.202
AT ITER 2388 NEW BEST:: SOT 110439 SOS 66166 HAS SOPS 37985 HAS SOUS 11601 HAS SOUPS 6225 WITH SCORE 6291.166
AT ITER 2395 NEW BEST:: SOT 110108 SOS 63818 HAS SOPS 36718 HAS SOUS 11590 HAS SOUPS 6226 WITH SCORE 6289.818
AT ITER 2403 NEW BEST:: SOT 110072 SOS 63756 HAS SOPS 36692 HAS SOUS 11590 HAS SOUPS 6226 WITH SCORE 6289.756
AT ITER 2404 NEW BEST:: SOT 110072 SOS 63756 HAS SOPS 36692 HAS SOUS 11581 HAS SOUPS 6220 WITH SCORE 6283.756
AT ITER 2431 NEW BEST:: SOT 110075 SOS 63735 HAS SOPS 36698 HAS SOUS 11578 HAS SOUPS 6220 WITH SCORE 6283.735
AT ITER 2446 NEW BEST:: SOT 110062 SOS 63722 HAS SOPS 36698 HAS SOUS 11578 HAS SOUPS 6220 WITH SCORE 6283.722
AT ITER 2511 NEW BEST:: SOT 110026 SOS 63650 HAS SOPS 36644 HAS SOUS 11570 HAS SOUPS 6212 WITH SCORE 6275.65
AT ITER 2522 NEW BEST:: SOT 109720 SOS 60695 HAS SOPS 34031 HAS SOUS 11552 HAS SOUPS 6202 WITH SCORE 6262.695
AT ITER 2530 NEW BEST:: SOT 108880 SOS 59323 HAS SOPS 33396 HAS SOUS 11369 HAS SOUPS 6086 WITH SCORE 6145.323
AT ITER 2540 NEW BEST:: SOT 108877 SOS 59295 HAS SOPS 33395 HAS SOUS 11365 HAS SOUPS 6085 WITH SCORE 6144.295
AT ITER 2541 NEW BEST:: SOT 108886 SOS 59216 HAS SOPS 33036 HAS SOUS 11359 HAS SOUPS 6059 WITH SCORE 6118.216
AT ITER 2543 NEW BEST:: SOT 108878 SOS 59242 HAS SOPS 32984 HAS SOUS 11353 HAS SOUPS 6040 WITH SCORE 6099.242
AT ITER 2602 NEW BEST:: SOT 108874 SOS 59231 HAS SOPS 32970 HAS SOUS 11345 HAS SOUPS 6032 WITH SCORE 6091.231
AT ITER 2606 NEW BEST:: SOT 108776 SOS 59091 HAS SOPS 32872 HAS SOUS 11329 HAS SOUPS 6016 WITH SCORE 6075.091
AT ITER 2626 NEW BEST:: SOT 108764 SOS 59075 HAS SOPS 32876 HAS SOUS 11329 HAS SOUPS 6016 WITH SCORE 6075.075
AT ITER 2628 NEW BEST:: SOT 108800 SOS 59127 HAS SOPS 32900 HAS SOUS 11329 HAS SOUPS 6012 WITH SCORE 6071.127
AT ITER 2693 NEW BEST:: SOT 108780 SOS 59083 HAS SOPS 32866 HAS SOUS 11327 HAS SOUPS 6010 WITH SCORE 6069.083
AT ITER 2730 NEW BEST:: SOT 108741 SOS 58984 HAS SOPS 32812 HAS SOUS 11318 HAS SOUPS 6004 WITH SCORE 6062.984
AT ITER 2742 NEW BEST:: SOT 108719 SOS 59004 HAS SOPS 32814 HAS SOUS 11293 HAS SOUPS 5991 WITH SCORE 6050.004
AT ITER 2791 NEW BEST:: SOT 108733 SOS 59158 HAS SOPS 32842 HAS SOUS 11303 HAS SOUPS 5987 WITH SCORE 6046.158
AT ITER 2795 NEW BEST:: SOT 108746 SOS 59513 HAS SOPS 33039 HAS SOUS 11302 HAS SOUPS 5986 WITH SCORE 6045.513
AT ITER 2831 NEW BEST:: SOT 108738 SOS 59508 HAS SOPS 33034 HAS SOUS 11301 HAS SOUPS 5984 WITH SCORE 6043.508
AT ITER 2860 NEW BEST:: SOT 108733 SOS 59489 HAS SOPS 33015 HAS SOUS 11300 HAS SOUPS 5983 WITH SCORE 6042.489
AT ITER 2875 NEW BEST:: SOT 108734 SOS 59490 HAS SOPS 33013 HAS SOUS 11298 HAS SOUPS 5981 WITH SCORE 6040.49
AT ITER 2905 NEW BEST:: SOT 108734 SOS 59408 HAS SOPS 32949 HAS SOUS 11296 HAS SOUPS 5981 WITH SCORE 6040.408
AT ITER 2936 NEW BEST:: SOT 108644 SOS 59316 HAS SOPS 32542 HAS SOUS 11330 HAS SOUPS 5976 WITH SCORE 6035.316
AT ITER 2984 NEW BEST:: SOT 108831 SOS 60068 HAS SOPS 32629 HAS SOUS 11335 HAS SOUPS 5970 WITH SCORE 6030.068
AT ITER 3033 NEW BEST:: SOT 108814 SOS 59963 HAS SOPS 32506 HAS SOUS 11312 HAS SOUPS 5947 WITH SCORE 6006.963
AT ITER 3059 NEW BEST:: SOT 108800 SOS 59935 HAS SOPS 32499 HAS SOUS 11298 HAS SOUPS 5933 WITH SCORE 5992.935
AT ITER 3060 NEW BEST:: SOT 108798 SOS 59988 HAS SOPS 32495 HAS SOUS 11292 HAS SOUPS 5910 WITH SCORE 5969.988
AT ITER 3064 NEW BEST:: SOT 108874 SOS 60295 HAS SOPS 32720 HAS SOUS 11283 HAS SOUPS 5901 WITH SCORE 5961.295
AT ITER 3080 NEW BEST:: SOT 108864 SOS 60286 HAS SOPS 32720 HAS SOUS 11274 HAS SOUPS 5901 WITH SCORE 5961.286
AT ITER 3081 NEW BEST:: SOT 108838 SOS 60238 HAS SOPS 32716 HAS SOUS 11262 HAS SOUPS 5896 WITH SCORE 5956.238
AT ITER 3087 NEW BEST:: SOT 108506 SOS 59575 HAS SOPS 32510 HAS SOUS 11208 HAS SOUPS 5891 WITH SCORE 5950.575
AT ITER 3113 NEW BEST:: SOT 108491 SOS 59560 HAS SOPS 32510 HAS SOUS 11193 HAS SOUPS 5880 WITH SCORE 5939.56
AT ITER 3114 NEW BEST:: SOT 108488 SOS 59566 HAS SOPS 32507 HAS SOUS 11194 HAS SOUPS 5878 WITH SCORE 5937.566
AT ITER 3120 NEW BEST:: SOT 108260 SOS 57223 HAS SOPS 30419 HAS SOUS 11169 HAS SOUPS 5863 WITH SCORE 5920.223
AT ITER 3122 NEW BEST:: SOT 108334 SOS 57415 HAS SOPS 30473 HAS SOUS 11196 HAS SOUPS 5862 WITH SCORE 5919.415
AT ITER 3124 NEW BEST:: SOT 108256 SOS 57337 HAS SOPS 30395 HAS SOUS 11187 HAS SOUPS 5857 WITH SCORE 5914.337
AT ITER 3138 NEW BEST:: SOT 108226 SOS 57223 HAS SOPS 30365 HAS SOUS 11175 HAS SOUPS 5851 WITH SCORE 5908.223
AT ITER 3147 NEW BEST:: SOT 108209 SOS 57206 HAS SOPS 30369 HAS SOUS 11184 HAS SOUPS 5848 WITH SCORE 5905.206
AT ITER 3151 NEW BEST:: SOT 108176 SOS 57123 HAS SOPS 30337 HAS SOUS 11161 HAS SOUPS 5842 WITH SCORE 5899.123
AT ITER 3198 NEW BEST:: SOT 108170 SOS 56883 HAS SOPS 30109 HAS SOUS 11157 HAS SOUPS 5838 WITH SCORE 5894.883
AT ITER 3219 NEW BEST:: SOT 108154 SOS 56782 HAS SOPS 30029 HAS SOUS 11153 HAS SOUPS 5836 WITH SCORE 5892.782
AT ITER 3236 NEW BEST:: SOT 108288 SOS 56939 HAS SOPS 30172 HAS SOUS 11134 HAS SOUPS 5826 WITH SCORE 5882.939
AT ITER 3239 NEW BEST:: SOT 108293 SOS 56941 HAS SOPS 30174 HAS SOUS 11131 HAS SOUPS 5824 WITH SCORE 5880.941
AT ITER 3246 NEW BEST:: SOT 108263 SOS 56911 HAS SOPS 30144 HAS SOUS 11128 HAS SOUPS 5824 WITH SCORE 5880.911
AT ITER 3254 NEW BEST:: SOT 108359 SOS 57122 HAS SOPS 30207 HAS SOUS 11142 HAS SOUPS 5805 WITH SCORE 5862.122
AT ITER 3289 NEW BEST:: SOT 108359 SOS 57122 HAS SOPS 30207 HAS SOUS 11106 HAS SOUPS 5785 WITH SCORE 5842.122
AT ITER 3294 NEW BEST:: SOT 108709 SOS 57842 HAS SOPS 30420 HAS SOUS 11069 HAS SOUPS 5757 WITH SCORE 5814.842
AT ITER 3300 NEW BEST:: SOT 108735 SOS 57880 HAS SOPS 30428 HAS SOUS 11059 HAS SOUPS 5747 WITH SCORE 5804.88
AT ITER 3316 NEW BEST:: SOT 108735 SOS 57880 HAS SOPS 30428 HAS SOUS 11050 HAS SOUPS 5741 WITH SCORE 5798.88
AT ITER 3353 NEW BEST:: SOT 108705 SOS 57850 HAS SOPS 30398 HAS SOUS 11050 HAS SOUPS 5741 WITH SCORE 5798.85
AT ITER 3357 NEW BEST:: SOT 108708 SOS 57818 HAS SOPS 30354 HAS SOUS 11047 HAS SOUPS 5734 WITH SCORE 5791.818
AT ITER 3364 NEW BEST:: SOT 108523 SOS 57644 HAS SOPS 30213 HAS SOUS 11053 HAS SOUPS 5732 WITH SCORE 5789.644
AT ITER 3370 NEW BEST:: SOT 108536 SOS 57842 HAS SOPS 30221 HAS SOUS 11067 HAS SOUPS 5727 WITH SCORE 5784.842
AT ITER 3373 NEW BEST:: SOT 108658 SOS 58017 HAS SOPS 30290 HAS SOUS 11041 HAS SOUPS 5712 WITH SCORE 5770.017
AT ITER 3376 NEW BEST:: SOT 108724 SOS 58013 HAS SOPS 30258 HAS SOUS 11046 HAS SOUPS 5712 WITH SCORE 5770.013
AT ITER 3392 NEW BEST:: SOT 108740 SOS 58029 HAS SOPS 30264 HAS SOUS 11040 HAS SOUPS 5706 WITH SCORE 5764.029
AT ITER 3427 NEW BEST:: SOT 108576 SOS 57706 HAS SOPS 29991 HAS SOUS 11038 HAS SOUPS 5695 WITH SCORE 5752.706
AT ITER 3463 NEW BEST:: SOT 108269 SOS 57170 HAS SOPS 29802 HAS SOUS 11012 HAS SOUPS 5685 WITH SCORE 5742.17
AT ITER 3467 NEW BEST:: SOT 108454 SOS 57540 HAS SOPS 29802 HAS SOUS 11047 HAS SOUPS 5671 WITH SCORE 5728.54
AT ITER 3470 NEW BEST:: SOT 108471 SOS 57557 HAS SOPS 29779 HAS SOUS 11041 HAS SOUPS 5665 WITH SCORE 5722.557
AT ITER 3486 NEW BEST:: SOT 108470 SOS 57555 HAS SOPS 29777 HAS SOUS 11040 HAS SOUPS 5664 WITH SCORE 5721.555
AT ITER 3489 NEW BEST:: SOT 108490 SOS 57585 HAS SOPS 29789 HAS SOUS 11036 HAS SOUPS 5660 WITH SCORE 5717.585
AT ITER 3513 NEW BEST:: SOT 108457 SOS 57504 HAS SOPS 29767 HAS SOUS 10990 HAS SOUPS 5651 WITH SCORE 5708.504
AT ITER 3533 NEW BEST:: SOT 108295 SOS 57342 HAS SOPS 29605 HAS SOUS 10936 HAS SOUPS 5622 WITH SCORE 5679.342
AT ITER 3541 NEW BEST:: SOT 108488 SOS 57687 HAS SOPS 29767 HAS SOUS 10924 HAS SOUPS 5618 WITH SCORE 5675.687
AT ITER 3561 NEW BEST:: SOT 108494 SOS 57711 HAS SOPS 29758 HAS SOUS 10925 HAS SOUPS 5615 WITH SCORE 5672.711
AT ITER 3571 NEW BEST:: SOT 108494 SOS 57711 HAS SOPS 29758 HAS SOUS 10889 HAS SOUPS 5595 WITH SCORE 5652.711
AT ITER 3572 NEW BEST:: SOT 108524 SOS 57756 HAS SOPS 29776 HAS SOUS 10883 HAS SOUPS 5589 WITH SCORE 5646.756
AT ITER 3588 NEW BEST:: SOT 108523 SOS 57669 HAS SOPS 29653 HAS SOUS 10894 HAS SOUPS 5588 WITH SCORE 5645.669
AT ITER 3689 NEW BEST:: SOT 108425 SOS 57470 HAS SOPS 29486 HAS SOUS 10896 HAS SOUPS 5583 WITH SCORE 5640.47
AT ITER 3722 NEW BEST:: SOT 108407 SOS 57404 HAS SOPS 29456 HAS SOUS 10876 HAS SOUPS 5569 WITH SCORE 5626.404
AT ITER 3769 NEW BEST:: SOT 108403 SOS 57411 HAS SOPS 29466 HAS SOUS 10875 HAS SOUPS 5568 WITH SCORE 5625.411
AT ITER 3789 NEW BEST:: SOT 108406 SOS 57414 HAS SOPS 29466 HAS SOUS 10854 HAS SOUPS 5559 WITH SCORE 5616.414
AT ITER 3850 NEW BEST:: SOT 108402 SOS 57410 HAS SOPS 29466 HAS SOUS 10854 HAS SOUPS 5559 WITH SCORE 5616.41
AT ITER 3853 NEW BEST:: SOT 108393 SOS 57335 HAS SOPS 29391 HAS SOUS 10848 HAS SOUPS 5553 WITH SCORE 5610.335
AT ITER 3874 NEW BEST:: SOT 107871 SOS 56243 HAS SOPS 29062 HAS SOUS 10848 HAS SOUPS 5553 WITH SCORE 5609.243
AT ITER 3900 NEW BEST:: SOT 107867 SOS 56171 HAS SOPS 28990 HAS SOUS 10844 HAS SOUPS 5549 WITH SCORE 5605.171
AT ITER 3945 NEW BEST:: SOT 107867 SOS 56171 HAS SOPS 28990 HAS SOUS 10838 HAS SOUPS 5545 WITH SCORE 5601.171
AT ITER 3953 NEW BEST:: SOT 107866 SOS 56199 HAS SOPS 29017 HAS SOUS 10835 HAS SOUPS 5542 WITH SCORE 5598.199
AT ITER 3971 NEW BEST:: SOT 107866 SOS 56199 HAS SOPS 29017 HAS SOUS 10817 HAS SOUPS 5532 WITH SCORE 5588.199
AT ITER 3973 NEW BEST:: SOT 107539 SOS 55561 HAS SOPS 28809 HAS SOUS 10779 HAS SOUPS 5522 WITH SCORE 5577.561
AT ITER 4062 NEW BEST:: SOT 107500 SOS 55483 HAS SOPS 28783 HAS SOUS 10766 HAS SOUPS 5522 WITH SCORE 5577.483
AT ITER 4080 NEW BEST:: SOT 107500 SOS 55481 HAS SOPS 28781 HAS SOUS 10766 HAS SOUPS 5522 WITH SCORE 5577.481
AT ITER 4105 NEW BEST:: SOT 107459 SOS 55402 HAS SOPS 28760 HAS SOUS 10753 HAS SOUPS 5519 WITH SCORE 5574.402
AT ITER 4120 NEW BEST:: SOT 107458 SOS 55364 HAS SOPS 28758 HAS SOUS 10748 HAS SOUPS 5518 WITH SCORE 5573.364
AT ITER 4149 NEW BEST:: SOT 107452 SOS 55364 HAS SOPS 28725 HAS SOUS 10745 HAS SOUPS 5512 WITH SCORE 5567.364
AT ITER 4166 NEW BEST:: SOT 107745 SOS 55925 HAS SOPS 28912 HAS SOUS 10770 HAS SOUPS 5510 WITH SCORE 5565.925
AT ITER 4185 NEW BEST:: SOT 107787 SOS 55943 HAS SOPS 28930 HAS SOUS 10758 HAS SOUPS 5504 WITH SCORE 5559.943
AT ITER 4222 NEW BEST:: SOT 107763 SOS 55883 HAS SOPS 28918 HAS SOUS 10758 HAS SOUPS 5504 WITH SCORE 5559.883
AT ITER 4284 NEW BEST:: SOT 107722 SOS 55820 HAS SOPS 28870 HAS SOUS 10753 HAS SOUPS 5499 WITH SCORE 5554.82
AT ITER 4417 NEW BEST:: SOT 107716 SOS 55774 HAS SOPS 28842 HAS SOUS 10747 HAS SOUPS 5495 WITH SCORE 5550.774
AT ITER 4425 NEW BEST:: SOT 107701 SOS 55765 HAS SOPS 28836 HAS SOUS 10738 HAS SOUPS 5486 WITH SCORE 5541.765
AT ITER 4440 NEW BEST:: SOT 107579 SOS 55442 HAS SOPS 28645 HAS SOUS 10716 HAS SOUPS 5466 WITH SCORE 5521.442
AT ITER 4539 NEW BEST:: SOT 107669 SOS 55532 HAS SOPS 28735 HAS SOUS 10713 HAS SOUPS 5464 WITH SCORE 5519.532
AT ITER 4576 NEW BEST:: SOT 107478 SOS 55342 HAS SOPS 28539 HAS SOUS 10736 HAS SOUPS 5463 WITH SCORE 5518.342
AT ITER 4588 NEW BEST:: SOT 107417 SOS 55080 HAS SOPS 28280 HAS SOUS 10749 HAS SOUPS 5452 WITH SCORE 5507.08
AT ITER 4596 NEW BEST:: SOT 107443 SOS 54965 HAS SOPS 28191 HAS SOUS 10739 HAS SOUPS 5447 WITH SCORE 5501.965
AT ITER 4625 NEW BEST:: SOT 107352 SOS 54959 HAS SOPS 28174 HAS SOUS 10715 HAS SOUPS 5447 WITH SCORE 5501.959
AT ITER 4628 NEW BEST:: SOT 107352 SOS 54956 HAS SOPS 28164 HAS SOUS 10708 HAS SOUPS 5440 WITH SCORE 5494.956
AT ITER 4654 NEW BEST:: SOT 107403 SOS 55063 HAS SOPS 28273 HAS SOUS 10697 HAS SOUPS 5437 WITH SCORE 5492.063
AT ITER 4660 NEW BEST:: SOT 107401 SOS 55065 HAS SOPS 28264 HAS SOUS 10694 HAS SOUPS 5433 WITH SCORE 5488.065
AT ITER 4663 NEW BEST:: SOT 107393 SOS 55050 HAS SOPS 28259 HAS SOUS 10693 HAS SOUPS 5433 WITH SCORE 5488.05
AT ITER 4683 NEW BEST:: SOT 107372 SOS 54954 HAS SOPS 28196 HAS SOUS 10693 HAS SOUPS 5433 WITH SCORE 5487.954
AT ITER 4690 NEW BEST:: SOT 107362 SOS 54939 HAS SOPS 28190 HAS SOUS 10692 HAS SOUPS 5433 WITH SCORE 5487.939
AT ITER 4692 NEW BEST:: SOT 107360 SOS 54934 HAS SOPS 28194 HAS SOUS 10689 HAS SOUPS 5432 WITH SCORE 5486.934
AT ITER 4697 NEW BEST:: SOT 107349 SOS 54825 HAS SOPS 28085 HAS SOUS 10687 HAS SOUPS 5430 WITH SCORE 5484.825
AT ITER 4705 NEW BEST:: SOT 107320 SOS 54770 HAS SOPS 28065 HAS SOUS 10675 HAS SOUPS 5427 WITH SCORE 5481.77
AT ITER 4720 NEW BEST:: SOT 107353 SOS 55322 HAS SOPS 27989 HAS SOUS 10702 HAS SOUPS 5421 WITH SCORE 5476.322
AT ITER 4733 NEW BEST:: SOT 107218 SOS 55051 HAS SOPS 27898 HAS SOUS 10684 HAS SOUPS 5415 WITH SCORE 5470.051
AT ITER 4753 NEW BEST:: SOT 107218 SOS 55045 HAS SOPS 27892 HAS SOUS 10684 HAS SOUPS 5415 WITH SCORE 5470.045
AT ITER 4792 NEW BEST:: SOT 107208 SOS 55043 HAS SOPS 27830 HAS SOUS 10677 HAS SOUPS 5398 WITH SCORE 5453.043
AT ITER 4799 NEW BEST:: SOT 107112 SOS 54863 HAS SOPS 27758 HAS SOUS 10665 HAS SOUPS 5386 WITH SCORE 5440.863
AT ITER 4836 NEW BEST:: SOT 107087 SOS 54836 HAS SOPS 27733 HAS SOUS 10666 HAS SOUPS 5384 WITH SCORE 5438.836
AT ITER 4890 NEW BEST:: SOT 107087 SOS 54836 HAS SOPS 27733 HAS SOUS 10663 HAS SOUPS 5382 WITH SCORE 5436.836
AT ITER 4892 NEW BEST:: SOT 106977 SOS 54682 HAS SOPS 27667 HAS SOUS 10654 HAS SOUPS 5382 WITH SCORE 5436.682
AT ITER 4909 NEW BEST:: SOT 106959 SOS 54664 HAS SOPS 27649 HAS SOUS 10654 HAS SOUPS 5382 WITH SCORE 5436.664
AT ITER 4937 NEW BEST:: SOT 106896 SOS 54475 HAS SOPS 27537 HAS SOUS 10647 HAS SOUPS 5375 WITH SCORE 5429.475
AT ITER 4996 NEW BEST:: SOT 106863 SOS 54730 HAS SOPS 27749 HAS SOUS 10642 HAS SOUPS 5370 WITH SCORE 5424.73
AT ITER 5012 NEW BEST:: SOT 106151 SOS 53780 HAS SOPS 27275 HAS SOUS 10560 HAS SOUPS 5365 WITH SCORE 5418.78
AT ITER 5017 NEW BEST:: SOT 106119 SOS 53716 HAS SOPS 27251 HAS SOUS 10556 HAS SOUPS 5361 WITH SCORE 5414.716
AT ITER 5035 NEW BEST:: SOT 106119 SOS 53779 HAS SOPS 27251 HAS SOUS 10558 HAS SOUPS 5356 WITH SCORE 5409.779
AT ITER 5081 NEW BEST:: SOT 106177 SOS 53854 HAS SOPS 27284 HAS SOUS 10549 HAS SOUPS 5347 WITH SCORE 5400.854
AT ITER 5090 NEW BEST:: SOT 106144 SOS 53809 HAS SOPS 27245 HAS SOUS 10546 HAS SOUPS 5341 WITH SCORE 5394.809
AT ITER 5162 NEW BEST:: SOT 106108 SOS 53773 HAS SOPS 27209 HAS SOUS 10546 HAS SOUPS 5341 WITH SCORE 5394.773
AT ITER 5254 NEW BEST:: SOT 106099 SOS 53785 HAS SOPS 27213 HAS SOUS 10545 HAS SOUPS 5340 WITH SCORE 5393.785
AT ITER 5262 NEW BEST:: SOT 105969 SOS 53510 HAS SOPS 27137 HAS SOUS 10490 HAS SOUPS 5312 WITH SCORE 5365.51
AT ITER 5279 NEW BEST:: SOT 105967 SOS 53508 HAS SOPS 27137 HAS SOUS 10490 HAS SOUPS 5312 WITH SCORE 5365.508
AT ITER 5308 NEW BEST:: SOT 105940 SOS 53610 HAS SOPS 27191 HAS SOUS 10492 HAS SOUPS 5311 WITH SCORE 5364.61
AT ITER 5360 NEW BEST:: SOT 105934 SOS 53604 HAS SOPS 27185 HAS SOUS 10492 HAS SOUPS 5311 WITH SCORE 5364.604
AT ITER 5362 NEW BEST:: SOT 105939 SOS 53606 HAS SOPS 27176 HAS SOUS 10486 HAS SOUPS 5305 WITH SCORE 5358.606
AT ITER 5382 NEW BEST:: SOT 105677 SOS 53105 HAS SOPS 27009 HAS SOUS 10457 HAS SOUPS 5300 WITH SCORE 5353.105
AT ITER 5408 NEW BEST:: SOT 105615 SOS 52975 HAS SOPS 26862 HAS SOUS 10465 HAS SOUPS 5298 WITH SCORE 5350.975
AT ITER 5437 NEW BEST:: SOT 105349 SOS 52597 HAS SOPS 26719 HAS SOUS 10447 HAS SOUPS 5293 WITH SCORE 5345.597
AT ITER 5438 NEW BEST:: SOT 105325 SOS 52573 HAS SOPS 26695 HAS SOUS 10447 HAS SOUPS 5293 WITH SCORE 5345.573
AT ITER 5446 NEW BEST:: SOT 105329 SOS 52580 HAS SOPS 26684 HAS SOUS 10439 HAS SOUPS 5285 WITH SCORE 5337.58
AT ITER 5470 NEW BEST:: SOT 105357 SOS 52592 HAS SOPS 26696 HAS SOUS 10429 HAS SOUPS 5279 WITH SCORE 5331.592
AT ITER 5480 NEW BEST:: SOT 105349 SOS 52558 HAS SOPS 26662 HAS SOUS 10427 HAS SOUPS 5277 WITH SCORE 5329.558
AT ITER 5602 NEW BEST:: SOT 105325 SOS 52518 HAS SOPS 26644 HAS SOUS 10422 HAS SOUPS 5274 WITH SCORE 5326.518
AT ITER 5641 NEW BEST:: SOT 105317 SOS 52502 HAS SOPS 26640 HAS SOUS 10420 HAS SOUPS 5274 WITH SCORE 5326.502
AT ITER 5690 NEW BEST:: SOT 105376 SOS 52581 HAS SOPS 26679 HAS SOUS 10367 HAS SOUPS 5243 WITH SCORE 5295.581
AT ITER 5715 NEW BEST:: SOT 105497 SOS 52827 HAS SOPS 26755 HAS SOUS 10381 HAS SOUPS 5241 WITH SCORE 5293.827
AT ITER 5746 NEW BEST:: SOT 105495 SOS 52833 HAS SOPS 26755 HAS SOUS 10381 HAS SOUPS 5240 WITH SCORE 5292.833
AT ITER 5755 NEW BEST:: SOT 105485 SOS 52820 HAS SOPS 26715 HAS SOUS 10378 HAS SOUPS 5233 WITH SCORE 5285.82
AT ITER 5831 NEW BEST:: SOT 105479 SOS 52798 HAS SOPS 26705 HAS SOUS 10374 HAS SOUPS 5231 WITH SCORE 5283.798
AT ITER 5871 NEW BEST:: SOT 105480 SOS 52801 HAS SOPS 26705 HAS SOUS 10374 HAS SOUPS 5230 WITH SCORE 5282.801
AT ITER 5879 NEW BEST:: SOT 105480 SOS 52792 HAS SOPS 26705 HAS SOUS 10374 HAS SOUPS 5230 WITH SCORE 5282.792
AT ITER 5915 NEW BEST:: SOT 105506 SOS 52705 HAS SOPS 26584 HAS SOUS 10372 HAS SOUPS 5228 WITH SCORE 5280.705
AT ITER 5928 NEW BEST:: SOT 105031 SOS 51768 HAS SOPS 26278 HAS SOUS 10373 HAS SOUPS 5226 WITH SCORE 5277.768
AT ITER 6076 NEW BEST:: SOT 106020 SOS 53845 HAS SOPS 26887 HAS SOUS 10393 HAS SOUPS 5203 WITH SCORE 5256.845
AT ITER 6079 NEW BEST:: SOT 106014 SOS 53845 HAS SOPS 26887 HAS SOUS 10385 HAS SOUPS 5195 WITH SCORE 5248.845
AT ITER 6127 NEW BEST:: SOT 106515 SOS 54405 HAS SOPS 27327 HAS SOUS 10395 HAS SOUPS 5187 WITH SCORE 5241.405
AT ITER 6168 NEW BEST:: SOT 105845 SOS 53569 HAS SOPS 26823 HAS SOUS 10349 HAS SOUPS 5187 WITH SCORE 5240.569
AT ITER 6196 NEW BEST:: SOT 105838 SOS 53495 HAS SOPS 26749 HAS SOUS 10337 HAS SOUPS 5175 WITH SCORE 5228.495
AT ITER 6275 NEW BEST:: SOT 105669 SOS 53325 HAS SOPS 26675 HAS SOUS 10337 HAS SOUPS 5175 WITH SCORE 5228.325
AT ITER 6388 NEW BEST:: SOT 105574 SOS 53155 HAS SOPS 26617 HAS SOUS 10334 HAS SOUPS 5174 WITH SCORE 5227.155
AT ITER 6396 NEW BEST:: SOT 105574 SOS 53155 HAS SOPS 26617 HAS SOUS 10331 HAS SOUPS 5172 WITH SCORE 5225.155
AT ITER 6408 NEW BEST:: SOT 105571 SOS 53138 HAS SOPS 26594 HAS SOUS 10324 HAS SOUPS 5165 WITH SCORE 5218.138
AT ITER 6411 NEW BEST:: SOT 105567 SOS 53126 HAS SOPS 26546 HAS SOUS 10328 HAS SOUPS 5165 WITH SCORE 5218.126
AT ITER 6440 NEW BEST:: SOT 105358 SOS 52854 HAS SOPS 26443 HAS SOUS 10246 HAS SOUPS 5134 WITH SCORE 5186.854
AT ITER 6492 NEW BEST:: SOT 105381 SOS 52902 HAS SOPS 26454 HAS SOUS 10250 HAS SOUPS 5132 WITH SCORE 5184.902
AT ITER 6524 NEW BEST:: SOT 105377 SOS 52870 HAS SOPS 26446 HAS SOUS 10246 HAS SOUPS 5128 WITH SCORE 5180.87
AT ITER 6539 NEW BEST:: SOT 105375 SOS 52880 HAS SOPS 26430 HAS SOUS 10236 HAS SOUPS 5114 WITH SCORE 5166.88
AT ITER 6572 NEW BEST:: SOT 105379 SOS 52866 HAS SOPS 26434 HAS SOUS 10234 HAS SOUPS 5114 WITH SCORE 5166.866
AT ITER 6627 NEW BEST:: SOT 105389 SOS 52871 HAS SOPS 26439 HAS SOUS 10231 HAS SOUPS 5111 WITH SCORE 5163.871
AT ITER 6664 NEW BEST:: SOT 105387 SOS 52850 HAS SOPS 26420 HAS SOUS 10228 HAS SOUPS 5108 WITH SCORE 5160.85
AT ITER 6669 NEW BEST:: SOT 105351 SOS 52784 HAS SOPS 26399 HAS SOUS 10225 HAS SOUPS 5108 WITH SCORE 5160.784
AT ITER 6697 NEW BEST:: SOT 105334 SOS 52551 HAS SOPS 26302 HAS SOUS 10223 HAS SOUPS 5102 WITH SCORE 5154.551
AT ITER 6789 NEW BEST:: SOT 105334 SOS 52551 HAS SOPS 26302 HAS SOUS 10219 HAS SOUPS 5098 WITH SCORE 5150.551
AT ITER 6812 NEW BEST:: SOT 105316 SOS 52533 HAS SOPS 26284 HAS SOUS 10192 HAS SOUPS 5083 WITH SCORE 5135.533
AT ITER 6828 NEW BEST:: SOT 105304 SOS 52516 HAS SOPS 26273 HAS SOUS 10155 HAS SOUPS 5066 WITH SCORE 5118.516
AT ITER 6848 NEW BEST:: SOT 105126 SOS 52201 HAS SOPS 25971 HAS SOUS 10180 HAS SOUPS 5066 WITH SCORE 5118.201
AT ITER 6850 NEW BEST:: SOT 105120 SOS 52195 HAS SOPS 25965 HAS SOUS 10180 HAS SOUPS 5066 WITH SCORE 5118.195
AT ITER 6899 NEW BEST:: SOT 105252 SOS 52393 HAS SOPS 26031 HAS SOUS 10189 HAS SOUPS 5064 WITH SCORE 5116.393
AT ITER 6929 NEW BEST:: SOT 105249 SOS 52384 HAS SOPS 26028 HAS SOUS 10188 HAS SOUPS 5064 WITH SCORE 5116.384
AT ITER 6954 NEW BEST:: SOT 105213 SOS 52348 HAS SOPS 25992 HAS SOUS 10170 HAS SOUPS 5054 WITH SCORE 5106.348
AT ITER 6986 NEW BEST:: SOT 105201 SOS 52448 HAS SOPS 26007 HAS SOUS 10168 HAS SOUPS 5040 WITH SCORE 5092.448
AT ITER 7012 NEW BEST:: SOT 105195 SOS 52506 HAS SOPS 26005 HAS SOUS 10177 HAS SOUPS 5039 WITH SCORE 5091.506
AT ITER 7020 NEW BEST:: SOT 105213 SOS 52488 HAS SOPS 26005 HAS SOUS 10176 HAS SOUPS 5038 WITH SCORE 5090.488
AT ITER 7022 NEW BEST:: SOT 105205 SOS 52480 HAS SOPS 26005 HAS SOUS 10176 HAS SOUPS 5038 WITH SCORE 5090.48
AT ITER 7051 NEW BEST:: SOT 105196 SOS 52463 HAS SOPS 25988 HAS SOUS 10176 HAS SOUPS 5037 WITH SCORE 5089.463
AT ITER 7067 NEW BEST:: SOT 105309 SOS 52658 HAS SOPS 26058 HAS SOUS 10149 HAS SOUPS 5018 WITH SCORE 5070.658
AT ITER 7089 NEW BEST:: SOT 105233 SOS 52506 HAS SOPS 26020 HAS SOUS 10130 HAS SOUPS 5018 WITH SCORE 5070.506
AT ITER 7130 NEW BEST:: SOT 105218 SOS 52497 HAS SOPS 25878 HAS SOUS 10120 HAS SOUPS 4998 WITH SCORE 5050.497
AT ITER 7170 NEW BEST:: SOT 105241 SOS 52500 HAS SOPS 25887 HAS SOUS 10114 HAS SOUPS 4996 WITH SCORE 5048.5
AT ITER 7179 NEW BEST:: SOT 105239 SOS 52478 HAS SOPS 25883 HAS SOUS 10112 HAS SOUPS 4996 WITH SCORE 5048.478
AT ITER 7181 NEW BEST:: SOT 105239 SOS 52478 HAS SOPS 25883 HAS SOUS 10103 HAS SOUPS 4991 WITH SCORE 5043.478
AT ITER 7216 NEW BEST:: SOT 105224 SOS 52445 HAS SOPS 25883 HAS SOUS 10100 HAS SOUPS 4991 WITH SCORE 5043.445
AT ITER 7290 NEW BEST:: SOT 105209 SOS 52304 HAS SOPS 25808 HAS SOUS 10089 HAS SOUPS 4980 WITH SCORE 5032.304
AT ITER 7311 NEW BEST:: SOT 105189 SOS 52254 HAS SOPS 25788 HAS SOUS 10074 HAS SOUPS 4970 WITH SCORE 5022.254
AT ITER 7350 NEW BEST:: SOT 105214 SOS 52309 HAS SOPS 25788 HAS SOUS 10075 HAS SOUPS 4966 WITH SCORE 5018.309
AT ITER 7394 NEW BEST:: SOT 105348 SOS 52579 HAS SOPS 25871 HAS SOUS 10091 HAS SOUPS 4965 WITH SCORE 5017.579
AT ITER 7430 NEW BEST:: SOT 105336 SOS 52499 HAS SOPS 25801 HAS SOUS 10087 HAS SOUPS 4962 WITH SCORE 5014.499
AT ITER 7474 NEW BEST:: SOT 105327 SOS 52491 HAS SOPS 25793 HAS SOUS 10087 HAS SOUPS 4962 WITH SCORE 5014.491
AT ITER 7510 NEW BEST:: SOT 105329 SOS 52493 HAS SOPS 25795 HAS SOUS 10085 HAS SOUPS 4960 WITH SCORE 5012.493
AT ITER 7528 NEW BEST:: SOT 105321 SOS 52483 HAS SOPS 25785 HAS SOUS 10083 HAS SOUPS 4958 WITH SCORE 5010.483
AT ITER 7567 NEW BEST:: SOT 105293 SOS 52301 HAS SOPS 25581 HAS SOUS 10072 HAS SOUPS 4947 WITH SCORE 4999.301
AT ITER 7590 NEW BEST:: SOT 105259 SOS 52269 HAS SOPS 25561 HAS SOUS 10071 HAS SOUPS 4946 WITH SCORE 4998.269
AT ITER 7609 NEW BEST:: SOT 105257 SOS 52263 HAS SOPS 25549 HAS SOUS 10069 HAS SOUPS 4943 WITH SCORE 4995.263
AT ITER 7621 NEW BEST:: SOT 105257 SOS 52250 HAS SOPS 25549 HAS SOUS 10069 HAS SOUPS 4943 WITH SCORE 4995.25
AT ITER 7677 NEW BEST:: SOT 105264 SOS 52240 HAS SOPS 25551 HAS SOUS 10062 HAS SOUPS 4939 WITH SCORE 4991.24
AT ITER 7693 NEW BEST:: SOT 105216 SOS 52144 HAS SOPS 25521 HAS SOUS 10056 HAS SOUPS 4939 WITH SCORE 4991.144
AT ITER 7758 NEW BEST:: SOT 105314 SOS 50920 HAS SOPS 24377 HAS SOUS 10044 HAS SOUPS 4935 WITH SCORE 4985.92
AT ITER 7778 NEW BEST:: SOT 105311 SOS 50934 HAS SOPS 24398 HAS SOUS 10035 HAS SOUPS 4926 WITH SCORE 4976.934
AT ITER 7809 NEW BEST:: SOT 105300 SOS 50912 HAS SOPS 24376 HAS SOUS 10017 HAS SOUPS 4908 WITH SCORE 4958.912
AT ITER 7818 NEW BEST:: SOT 105356 SOS 50962 HAS SOPS 24302 HAS SOUS 10004 HAS SOUPS 4881 WITH SCORE 4931.962
AT ITER 7859 NEW BEST:: SOT 105350 SOS 50952 HAS SOPS 24298 HAS SOUS 10000 HAS SOUPS 4879 WITH SCORE 4929.952
AT ITER 7901 NEW BEST:: SOT 105333 SOS 50935 HAS SOPS 24293 HAS SOUS 10000 HAS SOUPS 4879 WITH SCORE 4929.935
AT ITER 7995 NEW BEST:: SOT 105339 SOS 50927 HAS SOPS 24297 HAS SOUS 9998 HAS SOUPS 4879 WITH SCORE 4929.927
AT ITER 8001 NEW BEST:: SOT 105335 SOS 50923 HAS SOPS 24293 HAS SOUS 9995 HAS SOUPS 4876 WITH SCORE 4926.923
AT ITER 8056 NEW BEST:: SOT 105326 SOS 50911 HAS SOPS 24281 HAS SOUS 9995 HAS SOUPS 4876 WITH SCORE 4926.911
AT ITER 8091 NEW BEST:: SOT 105307 SOS 50890 HAS SOPS 24259 HAS SOUS 9994 HAS SOUPS 4875 WITH SCORE 4925.89
AT ITER 8111 NEW BEST:: SOT 105270 SOS 50823 HAS SOPS 24191 HAS SOUS 9996 HAS SOUPS 4872 WITH SCORE 4922.823
AT ITER 8236 NEW BEST:: SOT 105216 SOS 50787 HAS SOPS 24048 HAS SOUS 9989 HAS SOUPS 4848 WITH SCORE 4898.787
AT ITER 8333 NEW BEST:: SOT 105223 SOS 50794 HAS SOPS 24046 HAS SOUS 9986 HAS SOUPS 4845 WITH SCORE 4895.794
AT ITER 8368 NEW BEST:: SOT 105193 SOS 50724 HAS SOPS 24026 HAS SOUS 9976 HAS SOUPS 4845 WITH SCORE 4895.724
AT ITER 8388 NEW BEST:: SOT 105184 SOS 50737 HAS SOPS 24048 HAS SOUS 9970 HAS SOUPS 4838 WITH SCORE 4888.737
AT ITER 8424 NEW BEST:: SOT 105080 SOS 50577 HAS SOPS 23924 HAS SOUS 9986 HAS SOUPS 4825 WITH SCORE 4875.577
AT ITER 8470 NEW BEST:: SOT 105070 SOS 50487 HAS SOPS 23914 HAS SOUS 9986 HAS SOUPS 4825 WITH SCORE 4875.487
AT ITER 8565 NEW BEST:: SOT 105055 SOS 50452 HAS SOPS 23904 HAS SOUS 9981 HAS SOUPS 4825 WITH SCORE 4875.452
AT ITER 8610 NEW BEST:: SOT 105013 SOS 50410 HAS SOPS 23862 HAS SOUS 9978 HAS SOUPS 4824 WITH SCORE 4874.41
AT ITER 8810 NEW BEST:: SOT 104910 SOS 50262 HAS SOPS 23762 HAS SOUS 9973 HAS SOUPS 4819 WITH SCORE 4869.262
AT ITER 8822 NEW BEST:: SOT 105032 SOS 49999 HAS SOPS 23391 HAS SOUS 9978 HAS SOUPS 4809 WITH SCORE 4858.999
AT ITER 8823 NEW BEST:: SOT 105031 SOS 49977 HAS SOPS 23387 HAS SOUS 9976 HAS SOUPS 4809 WITH SCORE 4858.977
AT ITER 8882 NEW BEST:: SOT 105023 SOS 49957 HAS SOPS 23379 HAS SOUS 9974 HAS SOUPS 4809 WITH SCORE 4858.957
AT ITER 8935 NEW BEST:: SOT 105018 SOS 49925 HAS SOPS 23337 HAS SOUS 9969 HAS SOUPS 4804 WITH SCORE 4853.925
AT ITER 8975 NEW BEST:: SOT 105002 SOS 49884 HAS SOPS 23362 HAS SOUS 9964 HAS SOUPS 4804 WITH SCORE 4853.884
AT ITER 9129 NEW BEST:: SOT 105107 SOS 50090 HAS SOPS 23427 HAS SOUS 9964 HAS SOUPS 4793 WITH SCORE 4843.09
AT ITER 9159 NEW BEST:: SOT 104997 SOS 49880 HAS SOPS 23257 HAS SOUS 9954 HAS SOUPS 4783 WITH SCORE 4832.88
AT ITER 9294 NEW BEST:: SOT 104988 SOS 49884 HAS SOPS 23253 HAS SOUS 9954 HAS SOUPS 4781 WITH SCORE 4830.884
AT ITER 9489 NEW BEST:: SOT 104988 SOS 49884 HAS SOPS 23253 HAS SOUS 9951 HAS SOUPS 4779 WITH SCORE 4828.884
AT ITER 9553 NEW BEST:: SOT 104983 SOS 49878 HAS SOPS 23247 HAS SOUS 9949 HAS SOUPS 4777 WITH SCORE 4826.878
AT ITER 9720 NEW BEST:: SOT 104904 SOS 49718 HAS SOPS 23208 HAS SOUS 9944 HAS SOUPS 4775 WITH SCORE 4824.718
AT ITER 9775 NEW BEST:: SOT 104860 SOS 49658 HAS SOPS 23184 HAS SOUS 9940 HAS SOUPS 4775 WITH SCORE 4824.658
AT ITER 9797 NEW BEST:: SOT 104864 SOS 49644 HAS SOPS 23188 HAS SOUS 9938 HAS SOUPS 4775 WITH SCORE 4824.644
AT ITER 9848 NEW BEST:: SOT 104864 SOS 49644 HAS SOPS 23188 HAS SOUS 9951 HAS SOUPS 4773 WITH SCORE 4822.644
AT ITER 9853 NEW BEST:: SOT 104863 SOS 49632 HAS SOPS 23184 HAS SOUS 9946 HAS SOUPS 4770 WITH SCORE 4819.632
STATE_SPACE STATES 2401000001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 88 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 278173000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678256148854
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-05a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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 smart"
echo " Input is DLCround-PT-05a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472700656"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-05a.tgz
mv DLCround-PT-05a 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 '
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 ;