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.r355-smll-167891803500408.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 SemanticWebServices-PT-S128P15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803500408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 744K
-rw-r--r-- 1 mcc users 6.7K Feb 26 10:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 10:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 10:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 10:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 10:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 191K Feb 26 10:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 10:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 10:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 227K Mar 5 18:23 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 1679933680169

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=SemanticWebServices-PT-S128P15
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S128P15
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: 188 places, 416 transitions, 1593 arcs.
AT ITER 0 NEW BEST:: SOT 66439 SOS 43251 HAS SOPS 35395 HAS SOUS 16805 HAS SOUPS 14678 WITH SCORE 14721.251
AT ITER 3 NEW BEST:: SOT 66439 SOS 43579 HAS SOPS 35723 HAS SOUS 16545 HAS SOUPS 14418 WITH SCORE 14461.579
AT ITER 6 NEW BEST:: SOT 66597 SOS 43169 HAS SOPS 35189 HAS SOUS 16151 HAS SOUPS 13962 WITH SCORE 14005.169
AT ITER 11 NEW BEST:: SOT 66597 SOS 43147 HAS SOPS 35109 HAS SOUS 16140 HAS SOUPS 13922 WITH SCORE 13965.147
AT ITER 14 NEW BEST:: SOT 66597 SOS 43167 HAS SOPS 35109 HAS SOUS 16083 HAS SOUPS 13855 WITH SCORE 13898.167
AT ITER 16 NEW BEST:: SOT 66597 SOS 43057 HAS SOPS 34999 HAS SOUS 16034 HAS SOUPS 13806 WITH SCORE 13849.057
AT ITER 17 NEW BEST:: SOT 66597 SOS 43051 HAS SOPS 34993 HAS SOUS 15977 HAS SOUPS 13749 WITH SCORE 13792.051
AT ITER 20 NEW BEST:: SOT 66597 SOS 43245 HAS SOPS 35187 HAS SOUS 15817 HAS SOUPS 13589 WITH SCORE 13632.245
AT ITER 24 NEW BEST:: SOT 66597 SOS 43231 HAS SOPS 35173 HAS SOUS 15810 HAS SOUPS 13582 WITH SCORE 13625.231
AT ITER 25 NEW BEST:: SOT 66683 SOS 43155 HAS SOPS 35067 HAS SOUS 15731 HAS SOUPS 13488 WITH SCORE 13531.155
AT ITER 26 NEW BEST:: SOT 62067 SOS 39157 HAS SOPS 31783 HAS SOUS 13559 HAS SOUPS 11503 WITH SCORE 11542.157
AT ITER 27 NEW BEST:: SOT 62071 SOS 39179 HAS SOPS 31805 HAS SOUS 13514 HAS SOUPS 11458 WITH SCORE 11497.179
AT ITER 34 NEW BEST:: SOT 62071 SOS 39085 HAS SOPS 31669 HAS SOUS 13371 HAS SOUPS 11294 WITH SCORE 11333.085
AT ITER 37 NEW BEST:: SOT 62071 SOS 39073 HAS SOPS 31665 HAS SOUS 13367 HAS SOUPS 11292 WITH SCORE 11331.073
AT ITER 38 NEW BEST:: SOT 62064 SOS 39038 HAS SOPS 31644 HAS SOUS 13367 HAS SOUPS 11292 WITH SCORE 11331.038
AT ITER 39 NEW BEST:: SOT 62106 SOS 38928 HAS SOPS 31478 HAS SOUS 13312 HAS SOUPS 11209 WITH SCORE 11247.928
AT ITER 40 NEW BEST:: SOT 62106 SOS 38720 HAS SOPS 31234 HAS SOUS 13257 HAS SOUPS 11136 WITH SCORE 11174.72
AT ITER 42 NEW BEST:: SOT 62092 SOS 38706 HAS SOPS 31220 HAS SOUS 13253 HAS SOUPS 11132 WITH SCORE 11170.706
AT ITER 44 NEW BEST:: SOT 62092 SOS 38746 HAS SOPS 31260 HAS SOUS 13180 HAS SOUPS 11059 WITH SCORE 11097.746
AT ITER 46 NEW BEST:: SOT 62092 SOS 38718 HAS SOPS 31230 HAS SOUS 13166 HAS SOUPS 11044 WITH SCORE 11082.718
AT ITER 47 NEW BEST:: SOT 62092 SOS 38730 HAS SOPS 31224 HAS SOUS 13172 HAS SOUPS 11041 WITH SCORE 11079.73
AT ITER 49 NEW BEST:: SOT 62092 SOS 38442 HAS SOPS 31224 HAS SOUS 13100 HAS SOUPS 11041 WITH SCORE 11079.442
AT ITER 51 NEW BEST:: SOT 62092 SOS 38362 HAS SOPS 31086 HAS SOUS 13060 HAS SOUPS 10972 WITH SCORE 11010.362
AT ITER 53 NEW BEST:: SOT 62092 SOS 38316 HAS SOPS 31048 HAS SOUS 13037 HAS SOUPS 10953 WITH SCORE 10991.316
AT ITER 58 NEW BEST:: SOT 62092 SOS 38286 HAS SOPS 31018 HAS SOUS 12864 HAS SOUPS 10780 WITH SCORE 10818.286
AT ITER 60 NEW BEST:: SOT 62072 SOS 37880 HAS SOPS 30788 HAS SOUS 12684 HAS SOUPS 10600 WITH SCORE 10637.88
AT ITER 64 NEW BEST:: SOT 62108 SOS 37524 HAS SOPS 30432 HAS SOUS 12684 HAS SOUPS 10600 WITH SCORE 10637.524
AT ITER 70 NEW BEST:: SOT 62136 SOS 37400 HAS SOPS 30308 HAS SOUS 12657 HAS SOUPS 10573 WITH SCORE 10610.4
AT ITER 72 NEW BEST:: SOT 62136 SOS 37076 HAS SOPS 30132 HAS SOUS 12583 HAS SOUPS 10573 WITH SCORE 10610.076
AT ITER 73 NEW BEST:: SOT 62136 SOS 37150 HAS SOPS 30082 HAS SOUS 12545 HAS SOUPS 10523 WITH SCORE 10560.15
AT ITER 74 NEW BEST:: SOT 62136 SOS 37020 HAS SOPS 30076 HAS SOUS 12543 HAS SOUPS 10520 WITH SCORE 10557.02
AT ITER 76 NEW BEST:: SOT 62136 SOS 36994 HAS SOPS 30076 HAS SOUS 12530 HAS SOUPS 10520 WITH SCORE 10556.994
AT ITER 81 NEW BEST:: SOT 62142 SOS 37000 HAS SOPS 30082 HAS SOUS 12505 HAS SOUPS 10495 WITH SCORE 10532.0
AT ITER 83 NEW BEST:: SOT 62142 SOS 36970 HAS SOPS 29978 HAS SOUS 12438 HAS SOUPS 10391 WITH SCORE 10427.97
AT ITER 86 NEW BEST:: SOT 62142 SOS 36890 HAS SOPS 29978 HAS SOUS 12437 HAS SOUPS 10391 WITH SCORE 10427.89
AT ITER 88 NEW BEST:: SOT 62142 SOS 36886 HAS SOPS 29976 HAS SOUS 12436 HAS SOUPS 10391 WITH SCORE 10427.886
AT ITER 89 NEW BEST:: SOT 62142 SOS 36830 HAS SOPS 29976 HAS SOUS 12408 HAS SOUPS 10391 WITH SCORE 10427.83
AT ITER 90 NEW BEST:: SOT 62142 SOS 36072 HAS SOPS 29218 HAS SOUS 12314 HAS SOUPS 10297 WITH SCORE 10333.072
AT ITER 93 NEW BEST:: SOT 62122 SOS 35880 HAS SOPS 29198 HAS SOUS 12251 HAS SOUPS 10277 WITH SCORE 10312.88
AT ITER 98 NEW BEST:: SOT 62122 SOS 35396 HAS SOPS 28634 HAS SOUS 12291 HAS SOUPS 10277 WITH SCORE 10312.396
AT ITER 99 NEW BEST:: SOT 62250 SOS 35546 HAS SOPS 28784 HAS SOUS 12162 HAS SOUPS 10148 WITH SCORE 10183.546
AT ITER 104 NEW BEST:: SOT 62322 SOS 34948 HAS SOPS 28186 HAS SOUS 12014 HAS SOUPS 10000 WITH SCORE 10034.948
AT ITER 107 NEW BEST:: SOT 62322 SOS 34836 HAS SOPS 28102 HAS SOUS 12000 HAS SOUPS 10000 WITH SCORE 10034.836
AT ITER 111 NEW BEST:: SOT 62178 SOS 34692 HAS SOPS 27958 HAS SOUS 11952 HAS SOUPS 9952 WITH SCORE 9986.692
AT ITER 112 NEW BEST:: SOT 61986 SOS 34512 HAS SOPS 27778 HAS SOUS 11904 HAS SOUPS 9904 WITH SCORE 9938.512
AT ITER 116 NEW BEST:: SOT 61986 SOS 34476 HAS SOPS 27760 HAS SOUS 11886 HAS SOUPS 9895 WITH SCORE 9929.476
AT ITER 119 NEW BEST:: SOT 61986 SOS 34430 HAS SOPS 27732 HAS SOUS 11863 HAS SOUPS 9881 WITH SCORE 9915.43
AT ITER 120 NEW BEST:: SOT 61986 SOS 34426 HAS SOPS 27732 HAS SOUS 11861 HAS SOUPS 9881 WITH SCORE 9915.426
AT ITER 125 NEW BEST:: SOT 62002 SOS 34362 HAS SOPS 27668 HAS SOUS 11828 HAS SOUPS 9848 WITH SCORE 9882.362
AT ITER 128 NEW BEST:: SOT 62008 SOS 34296 HAS SOPS 27602 HAS SOUS 11819 HAS SOUPS 9839 WITH SCORE 9873.296
AT ITER 140 NEW BEST:: SOT 62005 SOS 34287 HAS SOPS 27599 HAS SOUS 11819 HAS SOUPS 9839 WITH SCORE 9873.287
AT ITER 141 NEW BEST:: SOT 62005 SOS 34247 HAS SOPS 27559 HAS SOUS 11814 HAS SOUPS 9834 WITH SCORE 9868.247
AT ITER 155 NEW BEST:: SOT 62005 SOS 33495 HAS SOPS 26895 HAS SOUS 11718 HAS SOUPS 9782 WITH SCORE 9815.495
AT ITER 158 NEW BEST:: SOT 62005 SOS 32943 HAS SOPS 26339 HAS SOUS 11666 HAS SOUPS 9728 WITH SCORE 9760.943
AT ITER 163 NEW BEST:: SOT 61995 SOS 32933 HAS SOPS 26329 HAS SOUS 11656 HAS SOUPS 9718 WITH SCORE 9750.933
AT ITER 171 NEW BEST:: SOT 61995 SOS 33017 HAS SOPS 26413 HAS SOUS 11614 HAS SOUPS 9676 WITH SCORE 9709.017
AT ITER 175 NEW BEST:: SOT 61995 SOS 32997 HAS SOPS 26381 HAS SOUS 11604 HAS SOUPS 9660 WITH SCORE 9692.997
AT ITER 177 NEW BEST:: SOT 62043 SOS 33045 HAS SOPS 26355 HAS SOUS 11628 HAS SOUPS 9647 WITH SCORE 9680.045
AT ITER 181 NEW BEST:: SOT 62043 SOS 33033 HAS SOPS 26355 HAS SOUS 11622 HAS SOUPS 9647 WITH SCORE 9680.033
AT ITER 190 NEW BEST:: SOT 62063 SOS 33087 HAS SOPS 26409 HAS SOUS 11621 HAS SOUPS 9646 WITH SCORE 9679.087
AT ITER 194 NEW BEST:: SOT 61831 SOS 33097 HAS SOPS 26259 HAS SOUS 11592 HAS SOUPS 9607 WITH SCORE 9640.097
AT ITER 196 NEW BEST:: SOT 61831 SOS 33049 HAS SOPS 26211 HAS SOUS 11592 HAS SOUPS 9607 WITH SCORE 9640.049
AT ITER 215 NEW BEST:: SOT 61831 SOS 32851 HAS SOPS 26021 HAS SOUS 11551 HAS SOUPS 9570 WITH SCORE 9602.851
AT ITER 223 NEW BEST:: SOT 61831 SOS 32789 HAS SOPS 25917 HAS SOUS 11572 HAS SOUPS 9570 WITH SCORE 9602.789
AT ITER 227 NEW BEST:: SOT 61879 SOS 32635 HAS SOPS 25913 HAS SOUS 11475 HAS SOUPS 9548 WITH SCORE 9580.635
AT ITER 230 NEW BEST:: SOT 61985 SOS 32563 HAS SOPS 26219 HAS SOUS 11468 HAS SOUPS 9541 WITH SCORE 9573.563
AT ITER 244 NEW BEST:: SOT 61985 SOS 32135 HAS SOPS 26219 HAS SOUS 11355 HAS SOUPS 9541 WITH SCORE 9573.135
AT ITER 245 NEW BEST:: SOT 61985 SOS 32133 HAS SOPS 26217 HAS SOUS 11354 HAS SOUPS 9540 WITH SCORE 9572.133
AT ITER 251 NEW BEST:: SOT 61985 SOS 32137 HAS SOPS 26195 HAS SOUS 11356 HAS SOUPS 9529 WITH SCORE 9561.137
AT ITER 253 NEW BEST:: SOT 61985 SOS 32013 HAS SOPS 26129 HAS SOUS 11327 HAS SOUPS 9529 WITH SCORE 9561.013
AT ITER 254 NEW BEST:: SOT 62007 SOS 32097 HAS SOPS 26213 HAS SOUS 11291 HAS SOUPS 9493 WITH SCORE 9525.097
AT ITER 255 NEW BEST:: SOT 62007 SOS 31945 HAS SOPS 25909 HAS SOUS 11329 HAS SOUPS 9493 WITH SCORE 9524.945
AT ITER 260 NEW BEST:: SOT 62007 SOS 31723 HAS SOPS 25909 HAS SOUS 11329 HAS SOUPS 9493 WITH SCORE 9524.723
AT ITER 261 NEW BEST:: SOT 62007 SOS 31591 HAS SOPS 25909 HAS SOUS 11314 HAS SOUPS 9493 WITH SCORE 9524.591
AT ITER 268 NEW BEST:: SOT 62007 SOS 31535 HAS SOPS 25759 HAS SOUS 11300 HAS SOUPS 9479 WITH SCORE 9510.535
AT ITER 269 NEW BEST:: SOT 61957 SOS 31413 HAS SOPS 25637 HAS SOUS 11214 HAS SOUPS 9393 WITH SCORE 9424.413
AT ITER 272 NEW BEST:: SOT 61957 SOS 31409 HAS SOPS 25637 HAS SOUS 11212 HAS SOUPS 9393 WITH SCORE 9424.409
AT ITER 278 NEW BEST:: SOT 61957 SOS 31343 HAS SOPS 25571 HAS SOUS 11212 HAS SOUPS 9393 WITH SCORE 9424.343
AT ITER 284 NEW BEST:: SOT 61891 SOS 31307 HAS SOPS 25535 HAS SOUS 11146 HAS SOUPS 9327 WITH SCORE 9358.307
AT ITER 292 NEW BEST:: SOT 61830 SOS 30946 HAS SOPS 25174 HAS SOUS 11120 HAS SOUPS 9301 WITH SCORE 9331.946
AT ITER 300 NEW BEST:: SOT 60102 SOS 29670 HAS SOPS 24402 HAS SOUS 10332 HAS SOUPS 8621 WITH SCORE 8650.67
AT ITER 301 NEW BEST:: SOT 60102 SOS 29302 HAS SOPS 24034 HAS SOUS 10332 HAS SOUPS 8621 WITH SCORE 8650.302
AT ITER 305 NEW BEST:: SOT 59953 SOS 29161 HAS SOPS 23893 HAS SOUS 10288 HAS SOUPS 8577 WITH SCORE 8606.161
AT ITER 306 NEW BEST:: SOT 59953 SOS 28881 HAS SOPS 23613 HAS SOUS 10288 HAS SOUPS 8577 WITH SCORE 8605.881
AT ITER 310 NEW BEST:: SOT 59953 SOS 28793 HAS SOPS 23525 HAS SOUS 10244 HAS SOUPS 8533 WITH SCORE 8561.793
AT ITER 313 NEW BEST:: SOT 59953 SOS 28629 HAS SOPS 23443 HAS SOUS 10244 HAS SOUPS 8533 WITH SCORE 8561.629
AT ITER 315 NEW BEST:: SOT 58547 SOS 27985 HAS SOPS 23157 HAS SOUS 9624 HAS SOUPS 8013 WITH SCORE 8040.985
AT ITER 338 NEW BEST:: SOT 58551 SOS 28023 HAS SOPS 23077 HAS SOUS 9613 HAS SOUPS 7987 WITH SCORE 8015.023
AT ITER 342 NEW BEST:: SOT 58551 SOS 27753 HAS SOPS 22807 HAS SOUS 9598 HAS SOUPS 7972 WITH SCORE 7999.753
AT ITER 355 NEW BEST:: SOT 58547 SOS 27749 HAS SOPS 22803 HAS SOUS 9596 HAS SOUPS 7970 WITH SCORE 7997.749
AT ITER 363 NEW BEST:: SOT 58547 SOS 27689 HAS SOPS 22723 HAS SOUS 9606 HAS SOUPS 7970 WITH SCORE 7997.689
AT ITER 364 NEW BEST:: SOT 58529 SOS 27825 HAS SOPS 22859 HAS SOUS 9605 HAS SOUPS 7969 WITH SCORE 7996.825
AT ITER 375 NEW BEST:: SOT 58529 SOS 27795 HAS SOPS 22829 HAS SOUS 9600 HAS SOUPS 7964 WITH SCORE 7991.795
AT ITER 384 NEW BEST:: SOT 58529 SOS 27691 HAS SOPS 22725 HAS SOUS 9600 HAS SOUPS 7964 WITH SCORE 7991.691
AT ITER 386 NEW BEST:: SOT 58529 SOS 27683 HAS SOPS 22717 HAS SOUS 9596 HAS SOUPS 7960 WITH SCORE 7987.683
AT ITER 399 NEW BEST:: SOT 58621 SOS 27775 HAS SOPS 22809 HAS SOUS 9573 HAS SOUPS 7937 WITH SCORE 7964.775
AT ITER 406 NEW BEST:: SOT 58621 SOS 27575 HAS SOPS 22609 HAS SOUS 9573 HAS SOUPS 7937 WITH SCORE 7964.575
AT ITER 411 NEW BEST:: SOT 58603 SOS 27557 HAS SOPS 22591 HAS SOUS 9573 HAS SOUPS 7937 WITH SCORE 7964.557
AT ITER 414 NEW BEST:: SOT 58603 SOS 27591 HAS SOPS 22559 HAS SOUS 9590 HAS SOUPS 7921 WITH SCORE 7948.591
AT ITER 416 NEW BEST:: SOT 58725 SOS 27563 HAS SOPS 22531 HAS SOUS 9514 HAS SOUPS 7845 WITH SCORE 7872.563
AT ITER 417 NEW BEST:: SOT 58717 SOS 27501 HAS SOPS 22469 HAS SOUS 9510 HAS SOUPS 7841 WITH SCORE 7868.501
AT ITER 419 NEW BEST:: SOT 58749 SOS 27753 HAS SOPS 22509 HAS SOUS 9458 HAS SOUPS 7789 WITH SCORE 7816.753
AT ITER 423 NEW BEST:: SOT 58749 SOS 27753 HAS SOPS 22509 HAS SOUS 9456 HAS SOUPS 7787 WITH SCORE 7814.753
AT ITER 427 NEW BEST:: SOT 58707 SOS 27735 HAS SOPS 22491 HAS SOUS 9424 HAS SOUPS 7755 WITH SCORE 7782.735
AT ITER 434 NEW BEST:: SOT 58707 SOS 27623 HAS SOPS 22491 HAS SOUS 9397 HAS SOUPS 7755 WITH SCORE 7782.623
AT ITER 439 NEW BEST:: SOT 58425 SOS 27331 HAS SOPS 22199 HAS SOUS 9392 HAS SOUPS 7750 WITH SCORE 7777.331
AT ITER 443 NEW BEST:: SOT 58344 SOS 27574 HAS SOPS 22334 HAS SOUS 9365 HAS SOUPS 7723 WITH SCORE 7750.574
AT ITER 444 NEW BEST:: SOT 58340 SOS 27428 HAS SOPS 22188 HAS SOUS 9363 HAS SOUPS 7721 WITH SCORE 7748.428
AT ITER 445 NEW BEST:: SOT 57858 SOS 26961 HAS SOPS 21721 HAS SOUS 9249 HAS SOUPS 7607 WITH SCORE 7633.961
AT ITER 449 NEW BEST:: SOT 57858 SOS 26897 HAS SOPS 21657 HAS SOUS 9249 HAS SOUPS 7607 WITH SCORE 7633.897
AT ITER 451 NEW BEST:: SOT 57786 SOS 26825 HAS SOPS 21585 HAS SOUS 9246 HAS SOUPS 7604 WITH SCORE 7630.825
AT ITER 464 NEW BEST:: SOT 58020 SOS 27065 HAS SOPS 21825 HAS SOUS 9202 HAS SOUPS 7560 WITH SCORE 7587.065
AT ITER 466 NEW BEST:: SOT 58020 SOS 26987 HAS SOPS 21733 HAS SOUS 9204 HAS SOUPS 7555 WITH SCORE 7581.987
AT ITER 474 NEW BEST:: SOT 58020 SOS 26951 HAS SOPS 21697 HAS SOUS 9195 HAS SOUPS 7546 WITH SCORE 7572.951
AT ITER 476 NEW BEST:: SOT 58020 SOS 26843 HAS SOPS 21643 HAS SOUS 9168 HAS SOUPS 7519 WITH SCORE 7545.843
AT ITER 480 NEW BEST:: SOT 57998 SOS 26837 HAS SOPS 21637 HAS SOUS 9157 HAS SOUPS 7508 WITH SCORE 7534.837
AT ITER 481 NEW BEST:: SOT 57998 SOS 26829 HAS SOPS 21637 HAS SOUS 9153 HAS SOUPS 7508 WITH SCORE 7534.829
AT ITER 484 NEW BEST:: SOT 57998 SOS 26803 HAS SOPS 21637 HAS SOUS 9140 HAS SOUPS 7508 WITH SCORE 7534.803
AT ITER 493 NEW BEST:: SOT 57998 SOS 26725 HAS SOPS 21637 HAS SOUS 9101 HAS SOUPS 7508 WITH SCORE 7534.725
AT ITER 495 NEW BEST:: SOT 57998 SOS 26689 HAS SOPS 21601 HAS SOUS 9092 HAS SOUPS 7499 WITH SCORE 7525.689
AT ITER 506 NEW BEST:: SOT 57980 SOS 26703 HAS SOPS 21615 HAS SOUS 9086 HAS SOUPS 7493 WITH SCORE 7519.703
AT ITER 520 NEW BEST:: SOT 57980 SOS 26651 HAS SOPS 21563 HAS SOUS 9060 HAS SOUPS 7467 WITH SCORE 7493.651
AT ITER 528 NEW BEST:: SOT 57980 SOS 26637 HAS SOPS 21563 HAS SOUS 9053 HAS SOUPS 7467 WITH SCORE 7493.637
AT ITER 533 NEW BEST:: SOT 57980 SOS 26617 HAS SOPS 21563 HAS SOUS 9043 HAS SOUPS 7467 WITH SCORE 7493.617
AT ITER 537 NEW BEST:: SOT 57980 SOS 26465 HAS SOPS 21391 HAS SOUS 9053 HAS SOUPS 7467 WITH SCORE 7493.465
AT ITER 540 NEW BEST:: SOT 58028 SOS 26519 HAS SOPS 21445 HAS SOUS 9023 HAS SOUPS 7437 WITH SCORE 7463.519
AT ITER 554 NEW BEST:: SOT 58028 SOS 26507 HAS SOPS 21417 HAS SOUS 9031 HAS SOUPS 7437 WITH SCORE 7463.507
AT ITER 577 NEW BEST:: SOT 58028 SOS 26499 HAS SOPS 21381 HAS SOUS 9027 HAS SOUPS 7419 WITH SCORE 7445.499
AT ITER 584 NEW BEST:: SOT 58028 SOS 26445 HAS SOPS 21381 HAS SOUS 9000 HAS SOUPS 7419 WITH SCORE 7445.445
AT ITER 592 NEW BEST:: SOT 58028 SOS 26403 HAS SOPS 21339 HAS SOUS 8993 HAS SOUPS 7412 WITH SCORE 7438.403
AT ITER 593 NEW BEST:: SOT 58028 SOS 26391 HAS SOPS 21333 HAS SOUS 8990 HAS SOUPS 7412 WITH SCORE 7438.391
AT ITER 604 NEW BEST:: SOT 57998 SOS 26361 HAS SOPS 21303 HAS SOUS 8990 HAS SOUPS 7412 WITH SCORE 7438.361
AT ITER 608 NEW BEST:: SOT 57990 SOS 26353 HAS SOPS 21295 HAS SOUS 8984 HAS SOUPS 7406 WITH SCORE 7432.353
AT ITER 620 NEW BEST:: SOT 57990 SOS 26305 HAS SOPS 21247 HAS SOUS 8960 HAS SOUPS 7382 WITH SCORE 7408.305
AT ITER 623 NEW BEST:: SOT 57990 SOS 26255 HAS SOPS 21211 HAS SOUS 8935 HAS SOUPS 7364 WITH SCORE 7390.255
AT ITER 624 NEW BEST:: SOT 57990 SOS 26253 HAS SOPS 21211 HAS SOUS 8933 HAS SOUPS 7363 WITH SCORE 7389.253
AT ITER 625 NEW BEST:: SOT 58018 SOS 26281 HAS SOPS 21239 HAS SOUS 8931 HAS SOUPS 7361 WITH SCORE 7387.281
AT ITER 638 NEW BEST:: SOT 58018 SOS 26279 HAS SOPS 21237 HAS SOUS 8929 HAS SOUPS 7359 WITH SCORE 7385.279
AT ITER 642 NEW BEST:: SOT 57964 SOS 26267 HAS SOPS 21141 HAS SOUS 8925 HAS SOUPS 7334 WITH SCORE 7360.267
AT ITER 650 NEW BEST:: SOT 57964 SOS 26191 HAS SOPS 21103 HAS SOUS 8909 HAS SOUPS 7318 WITH SCORE 7344.191
AT ITER 653 NEW BEST:: SOT 57964 SOS 26113 HAS SOPS 21103 HAS SOUS 8870 HAS SOUPS 7318 WITH SCORE 7344.113
AT ITER 662 NEW BEST:: SOT 57964 SOS 26095 HAS SOPS 21075 HAS SOUS 8861 HAS SOUPS 7304 WITH SCORE 7330.095
AT ITER 669 NEW BEST:: SOT 57964 SOS 25971 HAS SOPS 20951 HAS SOUS 8861 HAS SOUPS 7304 WITH SCORE 7329.971
AT ITER 670 NEW BEST:: SOT 57958 SOS 25965 HAS SOPS 20945 HAS SOUS 8857 HAS SOUPS 7300 WITH SCORE 7325.965
AT ITER 681 NEW BEST:: SOT 57958 SOS 25933 HAS SOPS 20929 HAS SOUS 8841 HAS SOUPS 7292 WITH SCORE 7317.933
AT ITER 691 NEW BEST:: SOT 57958 SOS 26363 HAS SOPS 21359 HAS SOUS 8832 HAS SOUPS 7283 WITH SCORE 7309.363
AT ITER 695 NEW BEST:: SOT 57958 SOS 26343 HAS SOPS 21303 HAS SOUS 8822 HAS SOUPS 7255 WITH SCORE 7281.343
AT ITER 704 NEW BEST:: SOT 57958 SOS 26329 HAS SOPS 21289 HAS SOUS 8815 HAS SOUPS 7248 WITH SCORE 7274.329
AT ITER 728 NEW BEST:: SOT 57958 SOS 26279 HAS SOPS 21239 HAS SOUS 8790 HAS SOUPS 7223 WITH SCORE 7249.279
AT ITER 743 NEW BEST:: SOT 57958 SOS 26277 HAS SOPS 21237 HAS SOUS 8790 HAS SOUPS 7223 WITH SCORE 7249.277
AT ITER 765 NEW BEST:: SOT 57958 SOS 26221 HAS SOPS 21181 HAS SOUS 8790 HAS SOUPS 7223 WITH SCORE 7249.221
AT ITER 781 NEW BEST:: SOT 57958 SOS 26191 HAS SOPS 21141 HAS SOUS 8775 HAS SOUPS 7203 WITH SCORE 7229.191
AT ITER 791 NEW BEST:: SOT 57958 SOS 26123 HAS SOPS 21107 HAS SOUS 8741 HAS SOUPS 7186 WITH SCORE 7212.123
AT ITER 803 NEW BEST:: SOT 57958 SOS 26083 HAS SOPS 21107 HAS SOUS 8721 HAS SOUPS 7186 WITH SCORE 7212.083
AT ITER 805 NEW BEST:: SOT 57958 SOS 26081 HAS SOPS 21105 HAS SOUS 8721 HAS SOUPS 7185 WITH SCORE 7211.081
AT ITER 813 NEW BEST:: SOT 55984 SOS 25647 HAS SOPS 21323 HAS SOUS 7932 HAS SOUPS 6571 WITH SCORE 6596.647
AT ITER 814 NEW BEST:: SOT 55978 SOS 25613 HAS SOPS 21317 HAS SOUS 7912 HAS SOUPS 6565 WITH SCORE 6590.613
AT ITER 830 NEW BEST:: SOT 55966 SOS 25731 HAS SOPS 21435 HAS SOUS 7893 HAS SOUPS 6546 WITH SCORE 6571.731
AT ITER 845 NEW BEST:: SOT 55922 SOS 25687 HAS SOPS 21391 HAS SOUS 7860 HAS SOUPS 6513 WITH SCORE 6538.687
AT ITER 848 NEW BEST:: SOT 55898 SOS 25663 HAS SOPS 21367 HAS SOUS 7858 HAS SOUPS 6511 WITH SCORE 6536.663
AT ITER 853 NEW BEST:: SOT 55898 SOS 25623 HAS SOPS 21327 HAS SOUS 7858 HAS SOUPS 6511 WITH SCORE 6536.623
AT ITER 859 NEW BEST:: SOT 55898 SOS 25593 HAS SOPS 21297 HAS SOUS 7853 HAS SOUPS 6506 WITH SCORE 6531.593
AT ITER 895 NEW BEST:: SOT 55898 SOS 25581 HAS SOPS 21285 HAS SOUS 7847 HAS SOUPS 6500 WITH SCORE 6525.581
AT ITER 907 NEW BEST:: SOT 55898 SOS 25411 HAS SOPS 21115 HAS SOUS 7847 HAS SOUPS 6500 WITH SCORE 6525.411
AT ITER 921 NEW BEST:: SOT 55912 SOS 25425 HAS SOPS 21129 HAS SOUS 7840 HAS SOUPS 6493 WITH SCORE 6518.425
AT ITER 931 NEW BEST:: SOT 55912 SOS 25345 HAS SOPS 21049 HAS SOUS 7832 HAS SOUPS 6485 WITH SCORE 6510.345
AT ITER 941 NEW BEST:: SOT 55843 SOS 25273 HAS SOPS 20977 HAS SOUS 7826 HAS SOUPS 6479 WITH SCORE 6504.273
AT ITER 966 NEW BEST:: SOT 55829 SOS 25259 HAS SOPS 20963 HAS SOUS 7826 HAS SOUPS 6479 WITH SCORE 6504.259
AT ITER 968 NEW BEST:: SOT 55639 SOS 25075 HAS SOPS 20779 HAS SOUS 7825 HAS SOUPS 6478 WITH SCORE 6503.075
AT ITER 975 NEW BEST:: SOT 55635 SOS 25071 HAS SOPS 20803 HAS SOUS 7816 HAS SOUPS 6476 WITH SCORE 6501.071
AT ITER 987 NEW BEST:: SOT 55635 SOS 25067 HAS SOPS 20803 HAS SOUS 7814 HAS SOUPS 6476 WITH SCORE 6501.067
AT ITER 1000 NEW BEST:: SOT 55635 SOS 25095 HAS SOPS 20735 HAS SOUS 7828 HAS SOUPS 6442 WITH SCORE 6467.095
AT ITER 1005 NEW BEST:: SOT 55635 SOS 25049 HAS SOPS 20693 HAS SOUS 7805 HAS SOUPS 6421 WITH SCORE 6446.049
AT ITER 1012 NEW BEST:: SOT 55623 SOS 25037 HAS SOPS 20681 HAS SOUS 7803 HAS SOUPS 6419 WITH SCORE 6444.037
AT ITER 1016 NEW BEST:: SOT 55623 SOS 25023 HAS SOPS 20681 HAS SOUS 7796 HAS SOUPS 6419 WITH SCORE 6444.023
AT ITER 1027 NEW BEST:: SOT 55623 SOS 25003 HAS SOPS 20671 HAS SOUS 7786 HAS SOUPS 6414 WITH SCORE 6439.003
AT ITER 1032 NEW BEST:: SOT 55623 SOS 24999 HAS SOPS 20667 HAS SOUS 7784 HAS SOUPS 6412 WITH SCORE 6436.999
AT ITER 1034 NEW BEST:: SOT 55623 SOS 24947 HAS SOPS 20667 HAS SOUS 7758 HAS SOUPS 6412 WITH SCORE 6436.947
AT ITER 1037 NEW BEST:: SOT 55623 SOS 24869 HAS SOPS 20589 HAS SOUS 7733 HAS SOUPS 6387 WITH SCORE 6411.869
AT ITER 1041 NEW BEST:: SOT 55659 SOS 24905 HAS SOPS 20625 HAS SOUS 7708 HAS SOUPS 6362 WITH SCORE 6386.905
AT ITER 1054 NEW BEST:: SOT 55653 SOS 24899 HAS SOPS 20619 HAS SOUS 7707 HAS SOUPS 6361 WITH SCORE 6385.899
AT ITER 1088 NEW BEST:: SOT 55653 SOS 24831 HAS SOPS 20613 HAS SOUS 7673 HAS SOUPS 6358 WITH SCORE 6382.831
AT ITER 1089 NEW BEST:: SOT 55653 SOS 24827 HAS SOPS 20609 HAS SOUS 7671 HAS SOUPS 6356 WITH SCORE 6380.827
AT ITER 1092 NEW BEST:: SOT 55627 SOS 24581 HAS SOPS 20325 HAS SOUS 7646 HAS SOUPS 6312 WITH SCORE 6336.581
AT ITER 1106 NEW BEST:: SOT 55627 SOS 24575 HAS SOPS 20325 HAS SOUS 7643 HAS SOUPS 6312 WITH SCORE 6336.575
AT ITER 1120 NEW BEST:: SOT 51517 SOS 42677 HAS SOPS 42271 HAS SOUS 5862 HAS SOUPS 5738 WITH SCORE 5780.677
AT ITER 1123 NEW BEST:: SOT 51329 SOS 42489 HAS SOPS 42083 HAS SOUS 5825 HAS SOUPS 5701 WITH SCORE 5743.489
AT ITER 1128 NEW BEST:: SOT 51317 SOS 42477 HAS SOPS 42071 HAS SOUS 5823 HAS SOUPS 5699 WITH SCORE 5741.477
AT ITER 1132 NEW BEST:: SOT 52219 SOS 29743 HAS SOPS 27251 HAS SOUS 6236 HAS SOUPS 5443 WITH SCORE 5472.743
AT ITER 1152 NEW BEST:: SOT 52167 SOS 29457 HAS SOPS 26965 HAS SOUS 6187 HAS SOUPS 5394 WITH SCORE 5423.457
AT ITER 1162 NEW BEST:: SOT 52167 SOS 29435 HAS SOPS 26981 HAS SOUS 6168 HAS SOUPS 5394 WITH SCORE 5423.435
AT ITER 1167 NEW BEST:: SOT 52167 SOS 29431 HAS SOPS 26981 HAS SOUS 6166 HAS SOUPS 5394 WITH SCORE 5423.431
AT ITER 1174 NEW BEST:: SOT 52173 SOS 29495 HAS SOPS 27103 HAS SOUS 6126 HAS SOUPS 5383 WITH SCORE 5412.495
AT ITER 1176 NEW BEST:: SOT 51933 SOS 30837 HAS SOPS 28697 HAS SOUS 6018 HAS SOUPS 5353 WITH SCORE 5383.837
AT ITER 1190 NEW BEST:: SOT 51841 SOS 30665 HAS SOPS 28605 HAS SOUS 5955 HAS SOUPS 5291 WITH SCORE 5321.665
AT ITER 1212 NEW BEST:: SOT 51817 SOS 30641 HAS SOPS 28581 HAS SOUS 5955 HAS SOUPS 5291 WITH SCORE 5321.641
AT ITER 1220 NEW BEST:: SOT 51797 SOS 30621 HAS SOPS 28561 HAS SOUS 5945 HAS SOUPS 5281 WITH SCORE 5311.621
AT ITER 1241 NEW BEST:: SOT 51793 SOS 30617 HAS SOPS 28557 HAS SOUS 5941 HAS SOUPS 5277 WITH SCORE 5307.617
AT ITER 1247 NEW BEST:: SOT 51783 SOS 30607 HAS SOPS 28547 HAS SOUS 5931 HAS SOUPS 5267 WITH SCORE 5297.607
AT ITER 1254 NEW BEST:: SOT 51591 SOS 30415 HAS SOPS 28355 HAS SOUS 5931 HAS SOUPS 5267 WITH SCORE 5297.415
AT ITER 1277 NEW BEST:: SOT 51573 SOS 30397 HAS SOPS 28337 HAS SOUS 5922 HAS SOUPS 5258 WITH SCORE 5288.397
AT ITER 1279 NEW BEST:: SOT 51565 SOS 30389 HAS SOPS 28329 HAS SOUS 5918 HAS SOUPS 5254 WITH SCORE 5284.389
AT ITER 1283 NEW BEST:: SOT 51565 SOS 30361 HAS SOPS 28329 HAS SOUS 5904 HAS SOUPS 5254 WITH SCORE 5284.361
AT ITER 1285 NEW BEST:: SOT 51545 SOS 30301 HAS SOPS 28309 HAS SOUS 5864 HAS SOUPS 5234 WITH SCORE 5264.301
AT ITER 1295 NEW BEST:: SOT 51545 SOS 30295 HAS SOPS 28307 HAS SOUS 5862 HAS SOUPS 5233 WITH SCORE 5263.295
AT ITER 1302 NEW BEST:: SOT 50819 SOS 29595 HAS SOPS 27607 HAS SOUS 5737 HAS SOUPS 5108 WITH SCORE 5137.595
AT ITER 1328 NEW BEST:: SOT 50819 SOS 29591 HAS SOPS 27569 HAS SOUS 5754 HAS SOUPS 5108 WITH SCORE 5137.591
AT ITER 1341 NEW BEST:: SOT 50787 SOS 29589 HAS SOPS 27537 HAS SOUS 5722 HAS SOUPS 5076 WITH SCORE 5105.589
AT ITER 1345 NEW BEST:: SOT 50787 SOS 29589 HAS SOPS 27537 HAS SOUS 5714 HAS SOUPS 5068 WITH SCORE 5097.589
AT ITER 1353 NEW BEST:: SOT 50787 SOS 29577 HAS SOPS 27533 HAS SOUS 5710 HAS SOUPS 5066 WITH SCORE 5095.577
AT ITER 1359 NEW BEST:: SOT 50753 SOS 29545 HAS SOPS 27499 HAS SOUS 5670 HAS SOUPS 5025 WITH SCORE 5054.545
AT ITER 1362 NEW BEST:: SOT 50021 SOS 35363 HAS SOPS 34275 HAS SOUS 5327 HAS SOUPS 4985 WITH SCORE 5020.363
AT ITER 1379 NEW BEST:: SOT 50007 SOS 35349 HAS SOPS 34261 HAS SOUS 5320 HAS SOUPS 4978 WITH SCORE 5013.349
AT ITER 1384 NEW BEST:: SOT 49989 SOS 35331 HAS SOPS 34243 HAS SOUS 5319 HAS SOUPS 4977 WITH SCORE 5012.331
AT ITER 1388 NEW BEST:: SOT 50049 SOS 35391 HAS SOPS 34303 HAS SOUS 5313 HAS SOUPS 4971 WITH SCORE 5006.391
AT ITER 1390 NEW BEST:: SOT 50021 SOS 35317 HAS SOPS 34275 HAS SOUS 5276 HAS SOUPS 4957 WITH SCORE 4992.317
AT ITER 1426 NEW BEST:: SOT 50021 SOS 35311 HAS SOPS 34269 HAS SOUS 5273 HAS SOUPS 4954 WITH SCORE 4989.311
AT ITER 1428 NEW BEST:: SOT 50001 SOS 35291 HAS SOPS 34249 HAS SOUS 5265 HAS SOUPS 4946 WITH SCORE 4981.291
AT ITER 1434 NEW BEST:: SOT 49959 SOS 35249 HAS SOPS 34207 HAS SOUS 5244 HAS SOUPS 4925 WITH SCORE 4960.249
AT ITER 1513 NEW BEST:: SOT 49955 SOS 35245 HAS SOPS 34203 HAS SOUS 5238 HAS SOUPS 4919 WITH SCORE 4954.245
AT ITER 1520 NEW BEST:: SOT 49951 SOS 35249 HAS SOPS 34209 HAS SOUS 5235 HAS SOUPS 4917 WITH SCORE 4952.249
AT ITER 1529 NEW BEST:: SOT 49815 SOS 34897 HAS SOPS 33857 HAS SOUS 5235 HAS SOUPS 4917 WITH SCORE 4951.897
AT ITER 1550 NEW BEST:: SOT 49743 SOS 34825 HAS SOPS 33785 HAS SOUS 5217 HAS SOUPS 4899 WITH SCORE 4933.825
AT ITER 1557 NEW BEST:: SOT 49313 SOS 34414 HAS SOPS 33374 HAS SOUS 5165 HAS SOUPS 4847 WITH SCORE 4881.414
AT ITER 1566 NEW BEST:: SOT 49241 SOS 34342 HAS SOPS 33302 HAS SOUS 5155 HAS SOUPS 4837 WITH SCORE 4871.342
AT ITER 1599 NEW BEST:: SOT 49241 SOS 34336 HAS SOPS 33300 HAS SOUS 5153 HAS SOUPS 4836 WITH SCORE 4870.336
AT ITER 1608 NEW BEST:: SOT 49089 SOS 34184 HAS SOPS 33148 HAS SOUS 5153 HAS SOUPS 4836 WITH SCORE 4870.184
AT ITER 1609 NEW BEST:: SOT 49045 SOS 34140 HAS SOPS 33104 HAS SOUS 5126 HAS SOUPS 4809 WITH SCORE 4843.14
AT ITER 1621 NEW BEST:: SOT 49017 SOS 34112 HAS SOPS 33076 HAS SOUS 5119 HAS SOUPS 4802 WITH SCORE 4836.112
AT ITER 1640 NEW BEST:: SOT 49014 SOS 34106 HAS SOPS 33070 HAS SOUS 5113 HAS SOUPS 4796 WITH SCORE 4830.106
AT ITER 1642 NEW BEST:: SOT 49020 SOS 34112 HAS SOPS 33076 HAS SOUS 5112 HAS SOUPS 4795 WITH SCORE 4829.112
AT ITER 1651 NEW BEST:: SOT 49020 SOS 34130 HAS SOPS 33074 HAS SOUS 5111 HAS SOUPS 4794 WITH SCORE 4828.13
AT ITER 1656 NEW BEST:: SOT 49000 SOS 34110 HAS SOPS 33054 HAS SOUS 5105 HAS SOUPS 4788 WITH SCORE 4822.11
AT ITER 1678 NEW BEST:: SOT 49000 SOS 34094 HAS SOPS 33054 HAS SOUS 5101 HAS SOUPS 4788 WITH SCORE 4822.094
AT ITER 1685 NEW BEST:: SOT 49000 SOS 34080 HAS SOPS 33040 HAS SOUS 5101 HAS SOUPS 4788 WITH SCORE 4822.08
AT ITER 1693 NEW BEST:: SOT 49018 SOS 34098 HAS SOPS 33058 HAS SOUS 5067 HAS SOUPS 4754 WITH SCORE 4788.098
AT ITER 1700 NEW BEST:: SOT 49018 SOS 34066 HAS SOPS 33058 HAS SOUS 5059 HAS SOUPS 4754 WITH SCORE 4788.066
AT ITER 1703 NEW BEST:: SOT 48870 SOS 33918 HAS SOPS 32910 HAS SOUS 4984 HAS SOUPS 4679 WITH SCORE 4712.918
AT ITER 1730 NEW BEST:: SOT 48870 SOS 33922 HAS SOPS 32898 HAS SOUS 4982 HAS SOUPS 4673 WITH SCORE 4706.922
AT ITER 1734 NEW BEST:: SOT 48870 SOS 33900 HAS SOPS 32896 HAS SOUS 4971 HAS SOUPS 4672 WITH SCORE 4705.9
AT ITER 1736 NEW BEST:: SOT 48870 SOS 33898 HAS SOPS 32896 HAS SOUS 4970 HAS SOUPS 4672 WITH SCORE 4705.898
AT ITER 1742 NEW BEST:: SOT 48848 SOS 33876 HAS SOPS 32874 HAS SOUS 4962 HAS SOUPS 4664 WITH SCORE 4697.876
AT ITER 1743 NEW BEST:: SOT 48844 SOS 33872 HAS SOPS 32870 HAS SOUS 4949 HAS SOUPS 4651 WITH SCORE 4684.872
AT ITER 1744 NEW BEST:: SOT 48630 SOS 33658 HAS SOPS 32656 HAS SOUS 4929 HAS SOUPS 4631 WITH SCORE 4664.658
AT ITER 1746 NEW BEST:: SOT 48626 SOS 33654 HAS SOPS 32652 HAS SOUS 4927 HAS SOUPS 4629 WITH SCORE 4662.654
AT ITER 1748 NEW BEST:: SOT 48612 SOS 33640 HAS SOPS 32638 HAS SOUS 4920 HAS SOUPS 4622 WITH SCORE 4655.64
AT ITER 1751 NEW BEST:: SOT 48612 SOS 33640 HAS SOPS 32638 HAS SOUS 4915 HAS SOUPS 4617 WITH SCORE 4650.64
AT ITER 1757 NEW BEST:: SOT 48624 SOS 33652 HAS SOPS 32650 HAS SOUS 4908 HAS SOUPS 4610 WITH SCORE 4643.652
AT ITER 1761 NEW BEST:: SOT 48488 SOS 33516 HAS SOPS 32514 HAS SOUS 4908 HAS SOUPS 4610 WITH SCORE 4643.516
AT ITER 1765 NEW BEST:: SOT 48428 SOS 33456 HAS SOPS 32454 HAS SOUS 4858 HAS SOUPS 4560 WITH SCORE 4593.456
AT ITER 1766 NEW BEST:: SOT 48420 SOS 33448 HAS SOPS 32446 HAS SOUS 4850 HAS SOUPS 4552 WITH SCORE 4585.448
AT ITER 1787 NEW BEST:: SOT 48408 SOS 33436 HAS SOPS 32434 HAS SOUS 4841 HAS SOUPS 4543 WITH SCORE 4576.436
AT ITER 1803 NEW BEST:: SOT 48386 SOS 33436 HAS SOPS 32434 HAS SOUS 4830 HAS SOUPS 4532 WITH SCORE 4565.436
AT ITER 1832 NEW BEST:: SOT 48382 SOS 33432 HAS SOPS 32430 HAS SOUS 4826 HAS SOUPS 4528 WITH SCORE 4561.432
AT ITER 1833 NEW BEST:: SOT 48294 SOS 33344 HAS SOPS 32342 HAS SOUS 4811 HAS SOUPS 4513 WITH SCORE 4546.344
AT ITER 1880 NEW BEST:: SOT 48256 SOS 33248 HAS SOPS 32304 HAS SOUS 4751 HAS SOUPS 4482 WITH SCORE 4515.248
AT ITER 1890 NEW BEST:: SOT 48248 SOS 33240 HAS SOPS 32296 HAS SOUS 4743 HAS SOUPS 4474 WITH SCORE 4507.24
AT ITER 1891 NEW BEST:: SOT 48172 SOS 33164 HAS SOPS 32220 HAS SOUS 4705 HAS SOUPS 4436 WITH SCORE 4469.164
AT ITER 1894 NEW BEST:: SOT 48090 SOS 33082 HAS SOPS 32138 HAS SOUS 4677 HAS SOUPS 4408 WITH SCORE 4441.082
AT ITER 1922 NEW BEST:: SOT 47260 SOS 32306 HAS SOPS 31362 HAS SOUS 4525 HAS SOUPS 4256 WITH SCORE 4288.306
AT ITER 1951 NEW BEST:: SOT 47274 SOS 32320 HAS SOPS 31376 HAS SOUS 4511 HAS SOUPS 4242 WITH SCORE 4274.32
AT ITER 1954 NEW BEST:: SOT 47274 SOS 32312 HAS SOPS 31368 HAS SOUS 4509 HAS SOUPS 4240 WITH SCORE 4272.312
AT ITER 1979 NEW BEST:: SOT 47270 SOS 32308 HAS SOPS 31364 HAS SOUS 4506 HAS SOUPS 4237 WITH SCORE 4269.308
AT ITER 1993 NEW BEST:: SOT 47248 SOS 32286 HAS SOPS 31342 HAS SOUS 4505 HAS SOUPS 4236 WITH SCORE 4268.286
AT ITER 1996 NEW BEST:: SOT 47252 SOS 32290 HAS SOPS 31346 HAS SOUS 4492 HAS SOUPS 4223 WITH SCORE 4255.29
AT ITER 2001 NEW BEST:: SOT 47252 SOS 32276 HAS SOPS 31328 HAS SOUS 4485 HAS SOUPS 4214 WITH SCORE 4246.276
AT ITER 2006 NEW BEST:: SOT 47198 SOS 32222 HAS SOPS 31274 HAS SOUS 4451 HAS SOUPS 4180 WITH SCORE 4212.222
AT ITER 2028 NEW BEST:: SOT 47192 SOS 32204 HAS SOPS 31256 HAS SOUS 4448 HAS SOUPS 4177 WITH SCORE 4209.204
AT ITER 2029 NEW BEST:: SOT 47192 SOS 32198 HAS SOPS 31256 HAS SOUS 4448 HAS SOUPS 4177 WITH SCORE 4209.198
AT ITER 2032 NEW BEST:: SOT 47265 SOS 32279 HAS SOPS 31337 HAS SOUS 4438 HAS SOUPS 4167 WITH SCORE 4199.279
AT ITER 2050 NEW BEST:: SOT 47263 SOS 32277 HAS SOPS 31335 HAS SOUS 4436 HAS SOUPS 4165 WITH SCORE 4197.277
AT ITER 2056 NEW BEST:: SOT 47261 SOS 32275 HAS SOPS 31333 HAS SOUS 4434 HAS SOUPS 4163 WITH SCORE 4195.275
AT ITER 2086 NEW BEST:: SOT 47311 SOS 32325 HAS SOPS 31383 HAS SOUS 4429 HAS SOUPS 4158 WITH SCORE 4190.325
AT ITER 2093 NEW BEST:: SOT 47275 SOS 32289 HAS SOPS 31347 HAS SOUS 4396 HAS SOUPS 4125 WITH SCORE 4157.289
AT ITER 2094 NEW BEST:: SOT 47191 SOS 32205 HAS SOPS 31263 HAS SOUS 4382 HAS SOUPS 4111 WITH SCORE 4143.205
AT ITER 2117 NEW BEST:: SOT 47106 SOS 32035 HAS SOPS 31093 HAS SOUS 4373 HAS SOUPS 4102 WITH SCORE 4134.035
AT ITER 2148 NEW BEST:: SOT 47044 SOS 31973 HAS SOPS 31031 HAS SOUS 4373 HAS SOUPS 4102 WITH SCORE 4133.973
AT ITER 2150 NEW BEST:: SOT 47008 SOS 31937 HAS SOPS 30995 HAS SOUS 4365 HAS SOUPS 4094 WITH SCORE 4125.937
AT ITER 2179 NEW BEST:: SOT 46994 SOS 31923 HAS SOPS 30981 HAS SOUS 4358 HAS SOUPS 4087 WITH SCORE 4118.923
AT ITER 2191 NEW BEST:: SOT 46980 SOS 31909 HAS SOPS 30967 HAS SOUS 4358 HAS SOUPS 4087 WITH SCORE 4118.909
AT ITER 2199 NEW BEST:: SOT 46932 SOS 31861 HAS SOPS 30919 HAS SOUS 4341 HAS SOUPS 4070 WITH SCORE 4101.861
AT ITER 2212 NEW BEST:: SOT 46924 SOS 31853 HAS SOPS 30911 HAS SOUS 4333 HAS SOUPS 4062 WITH SCORE 4093.853
AT ITER 2233 NEW BEST:: SOT 46928 SOS 31853 HAS SOPS 30907 HAS SOUS 4331 HAS SOUPS 4058 WITH SCORE 4089.853
AT ITER 2248 NEW BEST:: SOT 46928 SOS 31851 HAS SOPS 30909 HAS SOUS 4330 HAS SOUPS 4058 WITH SCORE 4089.851
AT ITER 2251 NEW BEST:: SOT 46924 SOS 31847 HAS SOPS 30905 HAS SOUS 4326 HAS SOUPS 4054 WITH SCORE 4085.847
AT ITER 2257 NEW BEST:: SOT 46888 SOS 31875 HAS SOPS 30933 HAS SOUS 4320 HAS SOUPS 4048 WITH SCORE 4079.875
AT ITER 2261 NEW BEST:: SOT 46882 SOS 31847 HAS SOPS 30927 HAS SOUS 4303 HAS SOUPS 4042 WITH SCORE 4073.847
AT ITER 2272 NEW BEST:: SOT 46880 SOS 31845 HAS SOPS 30925 HAS SOUS 4303 HAS SOUPS 4042 WITH SCORE 4073.845
AT ITER 2279 NEW BEST:: SOT 46862 SOS 31827 HAS SOPS 30907 HAS SOUS 4296 HAS SOUPS 4035 WITH SCORE 4066.827
AT ITER 2282 NEW BEST:: SOT 46848 SOS 31813 HAS SOPS 30893 HAS SOUS 4284 HAS SOUPS 4023 WITH SCORE 4054.813
AT ITER 2288 NEW BEST:: SOT 46842 SOS 31805 HAS SOPS 30887 HAS SOUS 4277 HAS SOUPS 4017 WITH SCORE 4048.805
AT ITER 2306 NEW BEST:: SOT 46788 SOS 31751 HAS SOPS 30833 HAS SOUS 4249 HAS SOUPS 3989 WITH SCORE 4020.751
AT ITER 2313 NEW BEST:: SOT 46871 SOS 31783 HAS SOPS 30865 HAS SOUS 4237 HAS SOUPS 3977 WITH SCORE 4008.783
AT ITER 2335 NEW BEST:: SOT 46863 SOS 31775 HAS SOPS 30857 HAS SOUS 4235 HAS SOUPS 3975 WITH SCORE 4006.775
AT ITER 2355 NEW BEST:: SOT 46829 SOS 31716 HAS SOPS 30798 HAS SOUS 4218 HAS SOUPS 3958 WITH SCORE 3989.716
AT ITER 2375 NEW BEST:: SOT 46813 SOS 31776 HAS SOPS 30858 HAS SOUS 4216 HAS SOUPS 3956 WITH SCORE 3987.776
AT ITER 2378 NEW BEST:: SOT 46813 SOS 31756 HAS SOPS 30854 HAS SOUS 4210 HAS SOUPS 3954 WITH SCORE 3985.756
AT ITER 2386 NEW BEST:: SOT 46801 SOS 31744 HAS SOPS 30842 HAS SOUS 4198 HAS SOUPS 3942 WITH SCORE 3973.744
AT ITER 2414 NEW BEST:: SOT 46785 SOS 31728 HAS SOPS 30826 HAS SOUS 4194 HAS SOUPS 3938 WITH SCORE 3969.728
AT ITER 2456 NEW BEST:: SOT 46769 SOS 31712 HAS SOPS 30810 HAS SOUS 4182 HAS SOUPS 3926 WITH SCORE 3957.712
AT ITER 2461 NEW BEST:: SOT 46737 SOS 31680 HAS SOPS 30778 HAS SOUS 4170 HAS SOUPS 3914 WITH SCORE 3945.68
AT ITER 2505 NEW BEST:: SOT 46726 SOS 31668 HAS SOPS 30766 HAS SOUS 4159 HAS SOUPS 3903 WITH SCORE 3934.668
AT ITER 2534 NEW BEST:: SOT 46720 SOS 31662 HAS SOPS 30760 HAS SOUS 4158 HAS SOUPS 3902 WITH SCORE 3933.662
AT ITER 2543 NEW BEST:: SOT 46714 SOS 31656 HAS SOPS 30754 HAS SOUS 4155 HAS SOUPS 3899 WITH SCORE 3930.656
AT ITER 2546 NEW BEST:: SOT 46788 SOS 31730 HAS SOPS 30828 HAS SOUS 4145 HAS SOUPS 3889 WITH SCORE 3920.73
AT ITER 2556 NEW BEST:: SOT 46786 SOS 31728 HAS SOPS 30826 HAS SOUS 4143 HAS SOUPS 3887 WITH SCORE 3918.728
AT ITER 2566 NEW BEST:: SOT 46790 SOS 31732 HAS SOPS 30830 HAS SOUS 4142 HAS SOUPS 3886 WITH SCORE 3917.732
AT ITER 2578 NEW BEST:: SOT 46766 SOS 31708 HAS SOPS 30806 HAS SOUS 4125 HAS SOUPS 3869 WITH SCORE 3900.708
AT ITER 2609 NEW BEST:: SOT 46800 SOS 31686 HAS SOPS 30784 HAS SOUS 4084 HAS SOUPS 3828 WITH SCORE 3859.686
AT ITER 2615 NEW BEST:: SOT 46794 SOS 31680 HAS SOPS 30778 HAS SOUS 4078 HAS SOUPS 3822 WITH SCORE 3853.68
AT ITER 2638 NEW BEST:: SOT 46736 SOS 31622 HAS SOPS 30720 HAS SOUS 4064 HAS SOUPS 3808 WITH SCORE 3839.622
AT ITER 2642 NEW BEST:: SOT 46780 SOS 31602 HAS SOPS 30700 HAS SOUS 4064 HAS SOUPS 3808 WITH SCORE 3839.602
AT ITER 2663 NEW BEST:: SOT 46794 SOS 31616 HAS SOPS 30714 HAS SOUS 4060 HAS SOUPS 3804 WITH SCORE 3835.616
AT ITER 2740 NEW BEST:: SOT 46794 SOS 31608 HAS SOPS 30714 HAS SOUS 4056 HAS SOUPS 3804 WITH SCORE 3835.608
AT ITER 2742 NEW BEST:: SOT 46774 SOS 31584 HAS SOPS 30670 HAS SOUS 4034 HAS SOUPS 3772 WITH SCORE 3803.584
AT ITER 2749 NEW BEST:: SOT 46696 SOS 31506 HAS SOPS 30592 HAS SOUS 4034 HAS SOUPS 3772 WITH SCORE 3803.506
AT ITER 2769 NEW BEST:: SOT 46718 SOS 31528 HAS SOPS 30614 HAS SOUS 4026 HAS SOUPS 3764 WITH SCORE 3795.528
AT ITER 2784 NEW BEST:: SOT 46718 SOS 31528 HAS SOPS 30614 HAS SOUS 4025 HAS SOUPS 3763 WITH SCORE 3794.528
AT ITER 2787 NEW BEST:: SOT 46718 SOS 31512 HAS SOPS 30598 HAS SOUS 4025 HAS SOUPS 3763 WITH SCORE 3794.512
AT ITER 2841 NEW BEST:: SOT 46662 SOS 31488 HAS SOPS 30574 HAS SOUS 4025 HAS SOUPS 3763 WITH SCORE 3794.488
AT ITER 2844 NEW BEST:: SOT 46680 SOS 31506 HAS SOPS 30592 HAS SOUS 4020 HAS SOUPS 3758 WITH SCORE 3789.506
AT ITER 2859 NEW BEST:: SOT 46680 SOS 31506 HAS SOPS 30592 HAS SOUS 4019 HAS SOUPS 3757 WITH SCORE 3788.506
AT ITER 2869 NEW BEST:: SOT 46676 SOS 31502 HAS SOPS 30588 HAS SOUS 4015 HAS SOUPS 3753 WITH SCORE 3784.502
AT ITER 2897 NEW BEST:: SOT 46672 SOS 31498 HAS SOPS 30584 HAS SOUS 4007 HAS SOUPS 3745 WITH SCORE 3776.498
AT ITER 2898 NEW BEST:: SOT 46672 SOS 31498 HAS SOPS 30584 HAS SOUS 4003 HAS SOUPS 3741 WITH SCORE 3772.498
AT ITER 2909 NEW BEST:: SOT 46708 SOS 31534 HAS SOPS 30620 HAS SOUS 3999 HAS SOUPS 3737 WITH SCORE 3768.534
AT ITER 2920 NEW BEST:: SOT 46708 SOS 31522 HAS SOPS 30620 HAS SOUS 3993 HAS SOUPS 3737 WITH SCORE 3768.522
AT ITER 2925 NEW BEST:: SOT 46676 SOS 31490 HAS SOPS 30588 HAS SOUS 3993 HAS SOUPS 3737 WITH SCORE 3768.49
AT ITER 2931 NEW BEST:: SOT 46610 SOS 31424 HAS SOPS 30522 HAS SOUS 3977 HAS SOUPS 3721 WITH SCORE 3752.424
AT ITER 2957 NEW BEST:: SOT 46604 SOS 31418 HAS SOPS 30516 HAS SOUS 3974 HAS SOUPS 3718 WITH SCORE 3749.418
AT ITER 2976 NEW BEST:: SOT 46604 SOS 31412 HAS SOPS 30516 HAS SOUS 3974 HAS SOUPS 3718 WITH SCORE 3749.412
AT ITER 2980 NEW BEST:: SOT 46580 SOS 31388 HAS SOPS 30492 HAS SOUS 3969 HAS SOUPS 3713 WITH SCORE 3744.388
AT ITER 3033 NEW BEST:: SOT 46526 SOS 31334 HAS SOPS 30438 HAS SOUS 3914 HAS SOUPS 3658 WITH SCORE 3689.334
AT ITER 3038 NEW BEST:: SOT 46520 SOS 31328 HAS SOPS 30432 HAS SOUS 3914 HAS SOUPS 3658 WITH SCORE 3689.328
AT ITER 3080 NEW BEST:: SOT 46514 SOS 31329 HAS SOPS 30433 HAS SOUS 3902 HAS SOUPS 3646 WITH SCORE 3677.329
AT ITER 3119 NEW BEST:: SOT 46510 SOS 31325 HAS SOPS 30429 HAS SOUS 3895 HAS SOUPS 3639 WITH SCORE 3670.325
AT ITER 3122 NEW BEST:: SOT 46510 SOS 31321 HAS SOPS 30429 HAS SOUS 3894 HAS SOUPS 3639 WITH SCORE 3670.321
AT ITER 3144 NEW BEST:: SOT 46510 SOS 31321 HAS SOPS 30429 HAS SOUS 3882 HAS SOUPS 3627 WITH SCORE 3658.321
AT ITER 3147 NEW BEST:: SOT 46476 SOS 31287 HAS SOPS 30395 HAS SOUS 3869 HAS SOUPS 3614 WITH SCORE 3645.287
AT ITER 3210 NEW BEST:: SOT 46476 SOS 31283 HAS SOPS 30393 HAS SOUS 3868 HAS SOUPS 3614 WITH SCORE 3645.283
AT ITER 3226 NEW BEST:: SOT 46442 SOS 31249 HAS SOPS 30359 HAS SOUS 3851 HAS SOUPS 3597 WITH SCORE 3628.249
AT ITER 3231 NEW BEST:: SOT 46394 SOS 31201 HAS SOPS 30311 HAS SOUS 3847 HAS SOUPS 3593 WITH SCORE 3624.201
AT ITER 3282 NEW BEST:: SOT 46384 SOS 31191 HAS SOPS 30301 HAS SOUS 3843 HAS SOUPS 3589 WITH SCORE 3620.191
AT ITER 3304 NEW BEST:: SOT 46380 SOS 31187 HAS SOPS 30297 HAS SOUS 3837 HAS SOUPS 3583 WITH SCORE 3614.187
AT ITER 3320 NEW BEST:: SOT 46368 SOS 31175 HAS SOPS 30285 HAS SOUS 3819 HAS SOUPS 3565 WITH SCORE 3596.175
AT ITER 3333 NEW BEST:: SOT 46367 SOS 31174 HAS SOPS 30284 HAS SOUS 3816 HAS SOUPS 3562 WITH SCORE 3593.174
AT ITER 3372 NEW BEST:: SOT 46363 SOS 31150 HAS SOPS 30280 HAS SOUS 3803 HAS SOUPS 3554 WITH SCORE 3585.15
AT ITER 3381 NEW BEST:: SOT 46361 SOS 31148 HAS SOPS 30278 HAS SOUS 3802 HAS SOUPS 3553 WITH SCORE 3584.148
AT ITER 3391 NEW BEST:: SOT 46349 SOS 31136 HAS SOPS 30266 HAS SOUS 3796 HAS SOUPS 3547 WITH SCORE 3578.136
AT ITER 3444 NEW BEST:: SOT 46363 SOS 31150 HAS SOPS 30280 HAS SOUS 3788 HAS SOUPS 3539 WITH SCORE 3570.15
AT ITER 3526 NEW BEST:: SOT 46371 SOS 31200 HAS SOPS 30288 HAS SOUS 3802 HAS SOUPS 3532 WITH SCORE 3563.2
AT ITER 3550 NEW BEST:: SOT 46361 SOS 31190 HAS SOPS 30278 HAS SOUS 3792 HAS SOUPS 3522 WITH SCORE 3553.19
AT ITER 3557 NEW BEST:: SOT 46361 SOS 31186 HAS SOPS 30278 HAS SOUS 3790 HAS SOUPS 3522 WITH SCORE 3553.186
AT ITER 3631 NEW BEST:: SOT 46365 SOS 31160 HAS SOPS 30252 HAS SOUS 3790 HAS SOUPS 3522 WITH SCORE 3553.16
AT ITER 3636 NEW BEST:: SOT 46331 SOS 31126 HAS SOPS 30218 HAS SOUS 3760 HAS SOUPS 3492 WITH SCORE 3523.126
AT ITER 3675 NEW BEST:: SOT 46301 SOS 31096 HAS SOPS 30188 HAS SOUS 3738 HAS SOUPS 3470 WITH SCORE 3501.096
AT ITER 3695 NEW BEST:: SOT 46279 SOS 31074 HAS SOPS 30166 HAS SOUS 3727 HAS SOUPS 3459 WITH SCORE 3490.074
AT ITER 3717 NEW BEST:: SOT 46077 SOS 30872 HAS SOPS 29964 HAS SOUS 3724 HAS SOUPS 3456 WITH SCORE 3486.872
AT ITER 3722 NEW BEST:: SOT 46041 SOS 30836 HAS SOPS 29928 HAS SOUS 3706 HAS SOUPS 3438 WITH SCORE 3468.836
AT ITER 3767 NEW BEST:: SOT 46041 SOS 30832 HAS SOPS 29912 HAS SOUS 3704 HAS SOUPS 3430 WITH SCORE 3460.832
AT ITER 3794 NEW BEST:: SOT 46033 SOS 30824 HAS SOPS 29904 HAS SOUS 3704 HAS SOUPS 3430 WITH SCORE 3460.824
AT ITER 3808 NEW BEST:: SOT 46033 SOS 30816 HAS SOPS 29900 HAS SOUS 3700 HAS SOUPS 3428 WITH SCORE 3458.816
AT ITER 3811 NEW BEST:: SOT 46033 SOS 30804 HAS SOPS 29894 HAS SOUS 3694 HAS SOUPS 3425 WITH SCORE 3455.804
AT ITER 3816 NEW BEST:: SOT 46017 SOS 30788 HAS SOPS 29878 HAS SOUS 3678 HAS SOUPS 3409 WITH SCORE 3439.788
AT ITER 3843 NEW BEST:: SOT 45991 SOS 30753 HAS SOPS 29843 HAS SOUS 3664 HAS SOUPS 3395 WITH SCORE 3425.753
AT ITER 3885 NEW BEST:: SOT 45991 SOS 30761 HAS SOPS 29833 HAS SOUS 3668 HAS SOUPS 3390 WITH SCORE 3420.761
AT ITER 3893 NEW BEST:: SOT 46001 SOS 30771 HAS SOPS 29843 HAS SOUS 3661 HAS SOUPS 3383 WITH SCORE 3413.771
AT ITER 3926 NEW BEST:: SOT 45951 SOS 30753 HAS SOPS 29837 HAS SOUS 3657 HAS SOUPS 3382 WITH SCORE 3412.753
AT ITER 3934 NEW BEST:: SOT 45959 SOS 30761 HAS SOPS 29845 HAS SOUS 3655 HAS SOUPS 3380 WITH SCORE 3410.761
AT ITER 3956 NEW BEST:: SOT 45939 SOS 30741 HAS SOPS 29825 HAS SOUS 3655 HAS SOUPS 3380 WITH SCORE 3410.741
AT ITER 4027 NEW BEST:: SOT 45901 SOS 30703 HAS SOPS 29787 HAS SOUS 3642 HAS SOUPS 3367 WITH SCORE 3397.703
AT ITER 4043 NEW BEST:: SOT 45875 SOS 30677 HAS SOPS 29761 HAS SOUS 3616 HAS SOUPS 3341 WITH SCORE 3371.677
AT ITER 4065 NEW BEST:: SOT 45871 SOS 30673 HAS SOPS 29757 HAS SOUS 3616 HAS SOUPS 3341 WITH SCORE 3371.673
AT ITER 4084 NEW BEST:: SOT 45865 SOS 30667 HAS SOPS 29751 HAS SOUS 3609 HAS SOUPS 3334 WITH SCORE 3364.667
AT ITER 4137 NEW BEST:: SOT 45859 SOS 30661 HAS SOPS 29745 HAS SOUS 3606 HAS SOUPS 3331 WITH SCORE 3361.661
AT ITER 4186 NEW BEST:: SOT 45891 SOS 30693 HAS SOPS 29777 HAS SOUS 3592 HAS SOUPS 3317 WITH SCORE 3347.693
AT ITER 4195 NEW BEST:: SOT 45891 SOS 30693 HAS SOPS 29777 HAS SOUS 3586 HAS SOUPS 3311 WITH SCORE 3341.693
AT ITER 4230 NEW BEST:: SOT 45883 SOS 30685 HAS SOPS 29769 HAS SOUS 3579 HAS SOUPS 3304 WITH SCORE 3334.685
AT ITER 4265 NEW BEST:: SOT 45869 SOS 30671 HAS SOPS 29755 HAS SOUS 3564 HAS SOUPS 3289 WITH SCORE 3319.671
AT ITER 4266 NEW BEST:: SOT 45849 SOS 30651 HAS SOPS 29735 HAS SOUS 3563 HAS SOUPS 3288 WITH SCORE 3318.651
AT ITER 4286 NEW BEST:: SOT 45849 SOS 30647 HAS SOPS 29731 HAS SOUS 3562 HAS SOUPS 3287 WITH SCORE 3317.647
AT ITER 4321 NEW BEST:: SOT 45829 SOS 30627 HAS SOPS 29711 HAS SOUS 3555 HAS SOUPS 3280 WITH SCORE 3310.627
AT ITER 4461 NEW BEST:: SOT 45673 SOS 30471 HAS SOPS 29555 HAS SOUS 3534 HAS SOUPS 3259 WITH SCORE 3289.471
AT ITER 4471 NEW BEST:: SOT 45665 SOS 30463 HAS SOPS 29547 HAS SOUS 3534 HAS SOUPS 3259 WITH SCORE 3289.463
AT ITER 4549 NEW BEST:: SOT 45657 SOS 30455 HAS SOPS 29539 HAS SOUS 3530 HAS SOUPS 3255 WITH SCORE 3285.455
AT ITER 4558 NEW BEST:: SOT 45657 SOS 30447 HAS SOPS 29523 HAS SOUS 3526 HAS SOUPS 3247 WITH SCORE 3277.447
AT ITER 4671 NEW BEST:: SOT 45661 SOS 30451 HAS SOPS 29527 HAS SOUS 3524 HAS SOUPS 3245 WITH SCORE 3275.451
AT ITER 4760 NEW BEST:: SOT 45647 SOS 30437 HAS SOPS 29513 HAS SOUS 3517 HAS SOUPS 3238 WITH SCORE 3268.437
AT ITER 4764 NEW BEST:: SOT 45647 SOS 30435 HAS SOPS 29511 HAS SOUS 3517 HAS SOUPS 3238 WITH SCORE 3268.435
AT ITER 4864 NEW BEST:: SOT 45592 SOS 30399 HAS SOPS 29475 HAS SOUS 3504 HAS SOUPS 3225 WITH SCORE 3255.399
AT ITER 4866 NEW BEST:: SOT 45544 SOS 30351 HAS SOPS 29427 HAS SOUS 3489 HAS SOUPS 3210 WITH SCORE 3240.351
AT ITER 4867 NEW BEST:: SOT 45526 SOS 30293 HAS SOPS 29369 HAS SOUS 3475 HAS SOUPS 3196 WITH SCORE 3226.293
AT ITER 4880 NEW BEST:: SOT 45516 SOS 30283 HAS SOPS 29359 HAS SOUS 3475 HAS SOUPS 3196 WITH SCORE 3226.283
AT ITER 4933 NEW BEST:: SOT 45542 SOS 30311 HAS SOPS 29387 HAS SOUS 3471 HAS SOUPS 3192 WITH SCORE 3222.311
AT ITER 4939 NEW BEST:: SOT 45516 SOS 30285 HAS SOPS 29361 HAS SOUS 3470 HAS SOUPS 3191 WITH SCORE 3221.285
AT ITER 4974 NEW BEST:: SOT 45516 SOS 30285 HAS SOPS 29361 HAS SOUS 3462 HAS SOUPS 3183 WITH SCORE 3213.285
AT ITER 5012 NEW BEST:: SOT 45516 SOS 30259 HAS SOPS 29361 HAS SOUS 3449 HAS SOUPS 3183 WITH SCORE 3213.259
AT ITER 5199 NEW BEST:: SOT 45428 SOS 30171 HAS SOPS 29273 HAS SOUS 3429 HAS SOUPS 3163 WITH SCORE 3193.171
AT ITER 5293 NEW BEST:: SOT 45314 SOS 30057 HAS SOPS 29159 HAS SOUS 3429 HAS SOUPS 3163 WITH SCORE 3193.057
AT ITER 5310 NEW BEST:: SOT 45268 SOS 30011 HAS SOPS 29113 HAS SOUS 3406 HAS SOUPS 3140 WITH SCORE 3170.011
AT ITER 5330 NEW BEST:: SOT 45264 SOS 30007 HAS SOPS 29109 HAS SOUS 3404 HAS SOUPS 3138 WITH SCORE 3168.007
AT ITER 5353 NEW BEST:: SOT 45264 SOS 29995 HAS SOPS 29103 HAS SOUS 3401 HAS SOUPS 3135 WITH SCORE 3164.995
AT ITER 5391 NEW BEST:: SOT 45264 SOS 29983 HAS SOPS 29097 HAS SOUS 3395 HAS SOUPS 3132 WITH SCORE 3161.983
AT ITER 5401 NEW BEST:: SOT 45264 SOS 29985 HAS SOPS 29077 HAS SOUS 3396 HAS SOUPS 3122 WITH SCORE 3151.985
AT ITER 5427 NEW BEST:: SOT 45224 SOS 29981 HAS SOPS 29057 HAS SOUS 3395 HAS SOUPS 3113 WITH SCORE 3142.981
AT ITER 5534 NEW BEST:: SOT 45218 SOS 29975 HAS SOPS 29051 HAS SOUS 3392 HAS SOUPS 3110 WITH SCORE 3139.975
AT ITER 5538 NEW BEST:: SOT 45214 SOS 29971 HAS SOPS 29047 HAS SOUS 3388 HAS SOUPS 3106 WITH SCORE 3135.971
AT ITER 5707 NEW BEST:: SOT 45204 SOS 29961 HAS SOPS 29037 HAS SOUS 3387 HAS SOUPS 3105 WITH SCORE 3134.961
AT ITER 5723 NEW BEST:: SOT 45204 SOS 29953 HAS SOPS 29037 HAS SOUS 3383 HAS SOUPS 3105 WITH SCORE 3134.953
AT ITER 5727 NEW BEST:: SOT 45172 SOS 29921 HAS SOPS 29005 HAS SOUS 3383 HAS SOUPS 3105 WITH SCORE 3134.921
AT ITER 5750 NEW BEST:: SOT 45130 SOS 29851 HAS SOPS 28963 HAS SOUS 3368 HAS SOUPS 3104 WITH SCORE 3133.851
AT ITER 5765 NEW BEST:: SOT 45172 SOS 29857 HAS SOPS 28969 HAS SOUS 3354 HAS SOUPS 3090 WITH SCORE 3119.857
AT ITER 5772 NEW BEST:: SOT 45172 SOS 29857 HAS SOPS 28969 HAS SOUS 3353 HAS SOUPS 3089 WITH SCORE 3118.857
AT ITER 5877 NEW BEST:: SOT 45144 SOS 29829 HAS SOPS 28941 HAS SOUS 3345 HAS SOUPS 3081 WITH SCORE 3110.829
AT ITER 5878 NEW BEST:: SOT 45144 SOS 29803 HAS SOPS 28937 HAS SOUS 3332 HAS SOUPS 3079 WITH SCORE 3108.803
AT ITER 5933 NEW BEST:: SOT 45146 SOS 29805 HAS SOPS 28939 HAS SOUS 3331 HAS SOUPS 3078 WITH SCORE 3107.805
AT ITER 5939 NEW BEST:: SOT 45146 SOS 29801 HAS SOPS 28937 HAS SOUS 3329 HAS SOUPS 3077 WITH SCORE 3106.801
AT ITER 5957 NEW BEST:: SOT 45154 SOS 29809 HAS SOPS 28945 HAS SOUS 3325 HAS SOUPS 3073 WITH SCORE 3102.809
AT ITER 6096 NEW BEST:: SOT 45140 SOS 29795 HAS SOPS 28931 HAS SOUS 3325 HAS SOUPS 3073 WITH SCORE 3102.795
AT ITER 6104 NEW BEST:: SOT 45128 SOS 29785 HAS SOPS 28921 HAS SOUS 3323 HAS SOUPS 3071 WITH SCORE 3100.785
AT ITER 6117 NEW BEST:: SOT 45084 SOS 29741 HAS SOPS 28877 HAS SOUS 3286 HAS SOUPS 3034 WITH SCORE 3063.741
AT ITER 6121 NEW BEST:: SOT 45110 SOS 29767 HAS SOPS 28903 HAS SOUS 3283 HAS SOUPS 3031 WITH SCORE 3060.767
AT ITER 6172 NEW BEST:: SOT 45107 SOS 29769 HAS SOPS 28905 HAS SOUS 3279 HAS SOUPS 3027 WITH SCORE 3056.769
AT ITER 6320 NEW BEST:: SOT 45107 SOS 29769 HAS SOPS 28905 HAS SOUS 3278 HAS SOUPS 3026 WITH SCORE 3055.769
AT ITER 6384 NEW BEST:: SOT 45103 SOS 29765 HAS SOPS 28901 HAS SOUS 3277 HAS SOUPS 3025 WITH SCORE 3054.765
AT ITER 6516 NEW BEST:: SOT 45087 SOS 29755 HAS SOPS 28891 HAS SOUS 3275 HAS SOUPS 3023 WITH SCORE 3052.755
AT ITER 6603 NEW BEST:: SOT 45069 SOS 29737 HAS SOPS 28873 HAS SOUS 3266 HAS SOUPS 3014 WITH SCORE 3043.737
AT ITER 6627 NEW BEST:: SOT 45069 SOS 29729 HAS SOPS 28869 HAS SOUS 3262 HAS SOUPS 3012 WITH SCORE 3041.729
AT ITER 6665 NEW BEST:: SOT 45093 SOS 29753 HAS SOPS 28893 HAS SOUS 3252 HAS SOUPS 3002 WITH SCORE 3031.753
AT ITER 6695 NEW BEST:: SOT 45093 SOS 29753 HAS SOPS 28893 HAS SOUS 3247 HAS SOUPS 2997 WITH SCORE 3026.753
AT ITER 6887 NEW BEST:: SOT 45089 SOS 29751 HAS SOPS 28891 HAS SOUS 3247 HAS SOUPS 2997 WITH SCORE 3026.751
AT ITER 6901 NEW BEST:: SOT 45087 SOS 29749 HAS SOPS 28889 HAS SOUS 3247 HAS SOUPS 2997 WITH SCORE 3026.749
AT ITER 6918 NEW BEST:: SOT 45123 SOS 29785 HAS SOPS 28925 HAS SOUS 3246 HAS SOUPS 2996 WITH SCORE 3025.785
AT ITER 6941 NEW BEST:: SOT 45099 SOS 29761 HAS SOPS 28901 HAS SOUS 3241 HAS SOUPS 2991 WITH SCORE 3020.761
AT ITER 6968 NEW BEST:: SOT 45097 SOS 29759 HAS SOPS 28899 HAS SOUS 3240 HAS SOUPS 2990 WITH SCORE 3019.759
AT ITER 7079 NEW BEST:: SOT 45105 SOS 29767 HAS SOPS 28907 HAS SOUS 3239 HAS SOUPS 2989 WITH SCORE 3018.767
AT ITER 7099 NEW BEST:: SOT 45097 SOS 29759 HAS SOPS 28899 HAS SOUS 3235 HAS SOUPS 2985 WITH SCORE 3014.759
AT ITER 7155 NEW BEST:: SOT 45085 SOS 29747 HAS SOPS 28887 HAS SOUS 3233 HAS SOUPS 2983 WITH SCORE 3012.747
AT ITER 7183 NEW BEST:: SOT 45083 SOS 29745 HAS SOPS 28885 HAS SOUS 3231 HAS SOUPS 2981 WITH SCORE 3010.745
AT ITER 7194 NEW BEST:: SOT 45085 SOS 29747 HAS SOPS 28887 HAS SOUS 3230 HAS SOUPS 2980 WITH SCORE 3009.747
AT ITER 7200 NEW BEST:: SOT 45090 SOS 29752 HAS SOPS 28892 HAS SOUS 3227 HAS SOUPS 2977 WITH SCORE 3006.752
AT ITER 7290 NEW BEST:: SOT 45086 SOS 29748 HAS SOPS 28888 HAS SOUS 3227 HAS SOUPS 2977 WITH SCORE 3006.748
AT ITER 7298 NEW BEST:: SOT 45092 SOS 29754 HAS SOPS 28894 HAS SOUS 3223 HAS SOUPS 2973 WITH SCORE 3002.754
AT ITER 7361 NEW BEST:: SOT 45096 SOS 29754 HAS SOPS 28894 HAS SOUS 3221 HAS SOUPS 2971 WITH SCORE 3000.754
AT ITER 7433 NEW BEST:: SOT 45092 SOS 29750 HAS SOPS 28890 HAS SOUS 3219 HAS SOUPS 2969 WITH SCORE 2998.75
AT ITER 7449 NEW BEST:: SOT 45090 SOS 29748 HAS SOPS 28888 HAS SOUS 3217 HAS SOUPS 2967 WITH SCORE 2996.748
AT ITER 7485 NEW BEST:: SOT 45078 SOS 29736 HAS SOPS 28876 HAS SOUS 3211 HAS SOUPS 2961 WITH SCORE 2990.736
AT ITER 7527 NEW BEST:: SOT 45056 SOS 29714 HAS SOPS 28854 HAS SOUS 3206 HAS SOUPS 2956 WITH SCORE 2985.714
AT ITER 7606 NEW BEST:: SOT 45440 SOS 30098 HAS SOPS 29238 HAS SOUS 3202 HAS SOUPS 2952 WITH SCORE 2982.098
AT ITER 7631 NEW BEST:: SOT 45440 SOS 30098 HAS SOPS 29238 HAS SOUS 3199 HAS SOUPS 2949 WITH SCORE 2979.098
AT ITER 7780 NEW BEST:: SOT 45424 SOS 30082 HAS SOPS 29222 HAS SOUS 3195 HAS SOUPS 2945 WITH SCORE 2975.082
AT ITER 7782 NEW BEST:: SOT 45420 SOS 30078 HAS SOPS 29218 HAS SOUS 3195 HAS SOUPS 2945 WITH SCORE 2975.078
AT ITER 7971 NEW BEST:: SOT 45414 SOS 30074 HAS SOPS 29214 HAS SOUS 3194 HAS SOUPS 2944 WITH SCORE 2974.074
AT ITER 8208 NEW BEST:: SOT 45416 SOS 30076 HAS SOPS 29216 HAS SOUS 3193 HAS SOUPS 2943 WITH SCORE 2973.076
AT ITER 8308 NEW BEST:: SOT 45308 SOS 29968 HAS SOPS 29108 HAS SOUS 3193 HAS SOUPS 2943 WITH SCORE 2972.968
AT ITER 8427 NEW BEST:: SOT 45308 SOS 29968 HAS SOPS 29108 HAS SOUS 3191 HAS SOUPS 2941 WITH SCORE 2970.968
AT ITER 8445 NEW BEST:: SOT 45264 SOS 29924 HAS SOPS 29064 HAS SOUS 3188 HAS SOUPS 2938 WITH SCORE 2967.924
AT ITER 8486 NEW BEST:: SOT 45288 SOS 29948 HAS SOPS 29088 HAS SOUS 3185 HAS SOUPS 2935 WITH SCORE 2964.948
AT ITER 8581 NEW BEST:: SOT 45356 SOS 30016 HAS SOPS 29156 HAS SOUS 3175 HAS SOUPS 2925 WITH SCORE 2955.016
AT ITER 8588 NEW BEST:: SOT 45356 SOS 30014 HAS SOPS 29156 HAS SOUS 3175 HAS SOUPS 2925 WITH SCORE 2955.014
AT ITER 8610 NEW BEST:: SOT 45354 SOS 30012 HAS SOPS 29154 HAS SOUS 3170 HAS SOUPS 2920 WITH SCORE 2950.012
AT ITER 8690 NEW BEST:: SOT 45354 SOS 30004 HAS SOPS 29154 HAS SOUS 3166 HAS SOUPS 2920 WITH SCORE 2950.004
AT ITER 8739 NEW BEST:: SOT 45370 SOS 30020 HAS SOPS 29170 HAS SOUS 3160 HAS SOUPS 2914 WITH SCORE 2944.02
AT ITER 8805 NEW BEST:: SOT 45364 SOS 30014 HAS SOPS 29164 HAS SOUS 3158 HAS SOUPS 2912 WITH SCORE 2942.014
AT ITER 8933 NEW BEST:: SOT 45356 SOS 30006 HAS SOPS 29156 HAS SOUS 3158 HAS SOUPS 2912 WITH SCORE 2942.006
AT ITER 9001 NEW BEST:: SOT 45356 SOS 30002 HAS SOPS 29154 HAS SOUS 3156 HAS SOUPS 2911 WITH SCORE 2941.002
AT ITER 9013 NEW BEST:: SOT 45268 SOS 29914 HAS SOPS 29066 HAS SOUS 3156 HAS SOUPS 2911 WITH SCORE 2940.914
AT ITER 9074 NEW BEST:: SOT 45262 SOS 29908 HAS SOPS 29060 HAS SOUS 3154 HAS SOUPS 2909 WITH SCORE 2938.908
AT ITER 9077 NEW BEST:: SOT 45252 SOS 29898 HAS SOPS 29050 HAS SOUS 3150 HAS SOUPS 2905 WITH SCORE 2934.898
AT ITER 9123 NEW BEST:: SOT 45220 SOS 29866 HAS SOPS 29018 HAS SOUS 3149 HAS SOUPS 2904 WITH SCORE 2933.866
AT ITER 9149 NEW BEST:: SOT 45220 SOS 29862 HAS SOPS 29016 HAS SOUS 3147 HAS SOUPS 2903 WITH SCORE 2932.862
AT ITER 9379 NEW BEST:: SOT 45188 SOS 29830 HAS SOPS 28984 HAS SOUS 3147 HAS SOUPS 2903 WITH SCORE 2932.83
AT ITER 9385 NEW BEST:: SOT 45310 SOS 29952 HAS SOPS 29106 HAS SOUS 3142 HAS SOUPS 2898 WITH SCORE 2927.952
AT ITER 9406 NEW BEST:: SOT 45310 SOS 29952 HAS SOPS 29106 HAS SOUS 3139 HAS SOUPS 2895 WITH SCORE 2924.952
AT ITER 9511 NEW BEST:: SOT 45312 SOS 29954 HAS SOPS 29108 HAS SOUS 3135 HAS SOUPS 2891 WITH SCORE 2920.954
AT ITER 9561 NEW BEST:: SOT 45312 SOS 29954 HAS SOPS 29108 HAS SOUS 3134 HAS SOUPS 2890 WITH SCORE 2919.954
AT ITER 9630 NEW BEST:: SOT 45284 SOS 29926 HAS SOPS 29080 HAS SOUS 3134 HAS SOUPS 2890 WITH SCORE 2919.926
AT ITER 9660 NEW BEST:: SOT 45280 SOS 29922 HAS SOPS 29076 HAS SOUS 3128 HAS SOUPS 2884 WITH SCORE 2913.922
AT ITER 9793 NEW BEST:: SOT 45240 SOS 29882 HAS SOPS 29036 HAS SOUS 3128 HAS SOUPS 2884 WITH SCORE 2913.882
AT ITER 9969 NEW BEST:: SOT 45238 SOS 29880 HAS SOPS 29034 HAS SOUS 3126 HAS SOUPS 2882 WITH SCORE 2911.88

BK_STOP 1679936955783

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

ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 2214
/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 370 Segmentation fault ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

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

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