Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 9.3K Apr 30 13:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 42K Apr 30 13:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Apr 30 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 82K Apr 30 13:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 30 13:04 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 18K Apr 30 13:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Apr 30 13:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Apr 30 13:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 81K Apr 30 13:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 30 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 51K Apr 30 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 20K Apr 30 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Apr 30 13:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 30 13:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.8K Apr 30 13:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 30 13:04 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 30 13:04 instance
-rw-r--r-- 1 mcc users 6 Apr 30 13:04 iscolored
-rw-r--r-- 1 mcc users 255K Apr 30 13:04 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589619357003

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

Filename model.pnml
Petri model created: 264 places, 536 transitions, 2352 arcs.
AT ITER 0 NEW BEST:: SOT 62486 SOS 39543 HAS SOPS 35624 HAS SOUS 30325 HAS SOUPS 28368 WITH SCORE 28407.543
AT ITER 7 NEW BEST:: SOT 62436 SOS 39493 HAS SOPS 35503 HAS SOUS 30043 HAS SOUPS 28086 WITH SCORE 28125.493
AT ITER 8 NEW BEST:: SOT 62497 SOS 39573 HAS SOPS 35583 HAS SOUS 29851 HAS SOUPS 27894 WITH SCORE 27933.573
AT ITER 11 NEW BEST:: SOT 62422 SOS 39518 HAS SOPS 35508 HAS SOUS 29796 HAS SOUPS 27819 WITH SCORE 27858.518
AT ITER 15 NEW BEST:: SOT 62422 SOS 39518 HAS SOPS 35505 HAS SOUS 29796 HAS SOUPS 27816 WITH SCORE 27855.518
AT ITER 21 NEW BEST:: SOT 62422 SOS 39483 HAS SOPS 35470 HAS SOUS 29761 HAS SOUPS 27781 WITH SCORE 27820.483
AT ITER 25 NEW BEST:: SOT 62518 SOS 39633 HAS SOPS 35620 HAS SOUS 29499 HAS SOUPS 27519 WITH SCORE 27558.633
AT ITER 26 NEW BEST:: SOT 62518 SOS 39588 HAS SOPS 35575 HAS SOUS 29489 HAS SOUPS 27509 WITH SCORE 27548.588
AT ITER 28 NEW BEST:: SOT 62518 SOS 39547 HAS SOPS 35534 HAS SOUS 29448 HAS SOUPS 27468 WITH SCORE 27507.547
AT ITER 33 NEW BEST:: SOT 62588 SOS 39645 HAS SOPS 35632 HAS SOUS 29238 HAS SOUPS 27258 WITH SCORE 27297.645
AT ITER 37 NEW BEST:: SOT 62588 SOS 39645 HAS SOPS 35629 HAS SOUS 29238 HAS SOUPS 27255 WITH SCORE 27294.645
AT ITER 39 NEW BEST:: SOT 62429 SOS 39488 HAS SOPS 35417 HAS SOUS 28859 HAS SOUPS 26876 WITH SCORE 26915.488
AT ITER 42 NEW BEST:: SOT 62429 SOS 39440 HAS SOPS 35369 HAS SOUS 28811 HAS SOUPS 26828 WITH SCORE 26867.44
AT ITER 46 NEW BEST:: SOT 61804 SOS 39220 HAS SOPS 34744 HAS SOUS 28300 HAS SOUPS 26203 WITH SCORE 26242.22
AT ITER 55 NEW BEST:: SOT 61804 SOS 39171 HAS SOPS 34701 HAS SOUS 28257 HAS SOUPS 26160 WITH SCORE 26199.171
AT ITER 59 NEW BEST:: SOT 61804 SOS 38987 HAS SOPS 34517 HAS SOUS 28248 HAS SOUPS 26151 WITH SCORE 26189.987
AT ITER 70 NEW BEST:: SOT 61953 SOS 39278 HAS SOPS 33616 HAS SOUS 27495 HAS SOUPS 25250 WITH SCORE 25289.278
AT ITER 75 NEW BEST:: SOT 61473 SOS 38877 HAS SOPS 33087 HAS SOUS 27032 HAS SOUPS 24721 WITH SCORE 24759.877
AT ITER 77 NEW BEST:: SOT 61473 SOS 38877 HAS SOPS 33086 HAS SOUS 27031 HAS SOUPS 24720 WITH SCORE 24758.877
AT ITER 85 NEW BEST:: SOT 60826 SOS 38480 HAS SOPS 32689 HAS SOUS 26509 HAS SOUPS 24198 WITH SCORE 24236.48
AT ITER 86 NEW BEST:: SOT 60602 SOS 38434 HAS SOPS 32703 HAS SOUS 26374 HAS SOUPS 24123 WITH SCORE 24161.434
AT ITER 95 NEW BEST:: SOT 60425 SOS 38294 HAS SOPS 32526 HAS SOUS 26234 HAS SOUPS 23946 WITH SCORE 23984.294
AT ITER 96 NEW BEST:: SOT 60425 SOS 38260 HAS SOPS 32492 HAS SOUS 26200 HAS SOUPS 23912 WITH SCORE 23950.26
AT ITER 117 NEW BEST:: SOT 60425 SOS 38260 HAS SOPS 32490 HAS SOUS 26200 HAS SOUPS 23910 WITH SCORE 23948.26
AT ITER 127 NEW BEST:: SOT 60419 SOS 38254 HAS SOPS 32484 HAS SOUS 26182 HAS SOUPS 23892 WITH SCORE 23930.254
AT ITER 130 NEW BEST:: SOT 60419 SOS 38240 HAS SOPS 32470 HAS SOUS 26168 HAS SOUPS 23878 WITH SCORE 23916.24
AT ITER 134 NEW BEST:: SOT 60423 SOS 38244 HAS SOPS 32474 HAS SOUS 26156 HAS SOUPS 23866 WITH SCORE 23904.244
AT ITER 135 NEW BEST:: SOT 60420 SOS 38099 HAS SOPS 32181 HAS SOUS 26113 HAS SOUPS 23732 WITH SCORE 23770.099
AT ITER 136 NEW BEST:: SOT 60420 SOS 38093 HAS SOPS 32175 HAS SOUS 26107 HAS SOUPS 23726 WITH SCORE 23764.093
AT ITER 140 NEW BEST:: SOT 60036 SOS 37997 HAS SOPS 31778 HAS SOUS 26192 HAS SOUPS 23705 WITH SCORE 23742.997
AT ITER 141 NEW BEST:: SOT 59976 SOS 37899 HAS SOPS 31641 HAS SOUS 25942 HAS SOUPS 23455 WITH SCORE 23492.899
AT ITER 142 NEW BEST:: SOT 59976 SOS 37900 HAS SOPS 31618 HAS SOUS 25919 HAS SOUPS 23432 WITH SCORE 23469.9
AT ITER 149 NEW BEST:: SOT 59976 SOS 37861 HAS SOPS 31579 HAS SOUS 25880 HAS SOUPS 23393 WITH SCORE 23430.861
AT ITER 153 NEW BEST:: SOT 60027 SOS 37744 HAS SOPS 31239 HAS SOUS 25788 HAS SOUPS 23223 WITH SCORE 23260.744
AT ITER 154 NEW BEST:: SOT 60027 SOS 37744 HAS SOPS 31212 HAS SOUS 25761 HAS SOUPS 23196 WITH SCORE 23233.744
AT ITER 157 NEW BEST:: SOT 60128 SOS 37919 HAS SOPS 31387 HAS SOUS 25724 HAS SOUPS 23159 WITH SCORE 23196.919
AT ITER 165 NEW BEST:: SOT 60165 SOS 38004 HAS SOPS 31396 HAS SOUS 25723 HAS SOUPS 23158 WITH SCORE 23196.004
AT ITER 170 NEW BEST:: SOT 60165 SOS 37983 HAS SOPS 31375 HAS SOUS 25702 HAS SOUPS 23137 WITH SCORE 23174.983
AT ITER 183 NEW BEST:: SOT 60165 SOS 37942 HAS SOPS 31356 HAS SOUS 25683 HAS SOUPS 23118 WITH SCORE 23155.942
AT ITER 185 NEW BEST:: SOT 59442 SOS 37482 HAS SOPS 30584 HAS SOUS 25009 HAS SOUPS 22346 WITH SCORE 22383.482
AT ITER 186 NEW BEST:: SOT 59442 SOS 37479 HAS SOPS 30581 HAS SOUS 25006 HAS SOUPS 22343 WITH SCORE 22380.479
AT ITER 190 NEW BEST:: SOT 59502 SOS 37434 HAS SOPS 30659 HAS SOUS 24984 HAS SOUPS 22341 WITH SCORE 22378.434
AT ITER 192 NEW BEST:: SOT 59469 SOS 37393 HAS SOPS 30621 HAS SOUS 24922 HAS SOUPS 22279 WITH SCORE 22316.393
AT ITER 198 NEW BEST:: SOT 59469 SOS 37390 HAS SOPS 30621 HAS SOUS 24922 HAS SOUPS 22279 WITH SCORE 22316.39
AT ITER 208 NEW BEST:: SOT 59469 SOS 37390 HAS SOPS 30644 HAS SOUS 24817 HAS SOUPS 22174 WITH SCORE 22211.39
AT ITER 217 NEW BEST:: SOT 59469 SOS 37379 HAS SOPS 30603 HAS SOUS 24776 HAS SOUPS 22133 WITH SCORE 22170.379
AT ITER 218 NEW BEST:: SOT 59324 SOS 37302 HAS SOPS 30458 HAS SOUS 24699 HAS SOUPS 21988 WITH SCORE 22025.302
AT ITER 224 NEW BEST:: SOT 59348 SOS 37023 HAS SOPS 29876 HAS SOUS 24462 HAS SOUPS 21751 WITH SCORE 21788.023
AT ITER 227 NEW BEST:: SOT 59348 SOS 37013 HAS SOPS 29866 HAS SOUS 24452 HAS SOUPS 21741 WITH SCORE 21778.013
AT ITER 239 NEW BEST:: SOT 59421 SOS 37102 HAS SOPS 29827 HAS SOUS 24453 HAS SOUPS 21726 WITH SCORE 21763.102
AT ITER 242 NEW BEST:: SOT 59421 SOS 37092 HAS SOPS 29827 HAS SOUS 24453 HAS SOUPS 21726 WITH SCORE 21763.092
AT ITER 246 NEW BEST:: SOT 59253 SOS 37114 HAS SOPS 29698 HAS SOUS 24417 HAS SOUPS 21635 WITH SCORE 21672.114
AT ITER 251 NEW BEST:: SOT 59140 SOS 36958 HAS SOPS 29536 HAS SOUS 24255 HAS SOUPS 21473 WITH SCORE 21509.958
AT ITER 253 NEW BEST:: SOT 59058 SOS 37055 HAS SOPS 29405 HAS SOUS 24272 HAS SOUPS 21342 WITH SCORE 21379.055
AT ITER 261 NEW BEST:: SOT 58761 SOS 36798 HAS SOPS 29080 HAS SOUS 24027 HAS SOUPS 21017 WITH SCORE 21053.798
AT ITER 269 NEW BEST:: SOT 58761 SOS 36787 HAS SOPS 29069 HAS SOUS 24016 HAS SOUPS 21006 WITH SCORE 21042.787
AT ITER 284 NEW BEST:: SOT 58765 SOS 36791 HAS SOPS 29073 HAS SOUS 24000 HAS SOUPS 20990 WITH SCORE 21026.791
AT ITER 286 NEW BEST:: SOT 58450 SOS 36476 HAS SOPS 29003 HAS SOUS 23930 HAS SOUPS 20920 WITH SCORE 20956.476
AT ITER 291 NEW BEST:: SOT 58431 SOS 36787 HAS SOPS 28984 HAS SOUS 23783 HAS SOUPS 20585 WITH SCORE 20621.787
AT ITER 297 NEW BEST:: SOT 58451 SOS 36807 HAS SOPS 29004 HAS SOUS 23687 HAS SOUPS 20489 WITH SCORE 20525.807
AT ITER 309 NEW BEST:: SOT 58360 SOS 36700 HAS SOPS 28896 HAS SOUS 23579 HAS SOUPS 20381 WITH SCORE 20417.7
AT ITER 316 NEW BEST:: SOT 58309 SOS 36649 HAS SOPS 28891 HAS SOUS 23517 HAS SOUPS 20327 WITH SCORE 20363.649
AT ITER 340 NEW BEST:: SOT 58305 SOS 36645 HAS SOPS 28887 HAS SOUS 23513 HAS SOUPS 20323 WITH SCORE 20359.645
AT ITER 349 NEW BEST:: SOT 58160 SOS 36554 HAS SOPS 28616 HAS SOUS 23215 HAS SOUPS 20025 WITH SCORE 20061.554
AT ITER 368 NEW BEST:: SOT 58160 SOS 36546 HAS SOPS 28616 HAS SOUS 23215 HAS SOUPS 20025 WITH SCORE 20061.546
AT ITER 371 NEW BEST:: SOT 58160 SOS 36530 HAS SOPS 28567 HAS SOUS 23166 HAS SOUPS 19976 WITH SCORE 20012.53
AT ITER 380 NEW BEST:: SOT 58160 SOS 36588 HAS SOPS 28542 HAS SOUS 23208 HAS SOUPS 19951 WITH SCORE 19987.588
AT ITER 413 NEW BEST:: SOT 58160 SOS 36555 HAS SOPS 28542 HAS SOUS 23208 HAS SOUPS 19951 WITH SCORE 19987.555
AT ITER 414 NEW BEST:: SOT 58154 SOS 36549 HAS SOPS 28519 HAS SOUS 23185 HAS SOUPS 19928 WITH SCORE 19964.549
AT ITER 416 NEW BEST:: SOT 58046 SOS 36484 HAS SOPS 28412 HAS SOUS 22961 HAS SOUPS 19704 WITH SCORE 19740.484
AT ITER 418 NEW BEST:: SOT 58123 SOS 36561 HAS SOPS 28398 HAS SOUS 22947 HAS SOUPS 19690 WITH SCORE 19726.561
AT ITER 429 NEW BEST:: SOT 57822 SOS 36260 HAS SOPS 28089 HAS SOUS 22638 HAS SOUPS 19381 WITH SCORE 19417.26
AT ITER 436 NEW BEST:: SOT 57822 SOS 36214 HAS SOPS 28043 HAS SOUS 22638 HAS SOUPS 19358 WITH SCORE 19394.214
AT ITER 438 NEW BEST:: SOT 57816 SOS 36004 HAS SOPS 27701 HAS SOUS 22513 HAS SOUPS 19227 WITH SCORE 19263.004
AT ITER 442 NEW BEST:: SOT 57955 SOS 36026 HAS SOPS 27443 HAS SOUS 22420 HAS SOUPS 19134 WITH SCORE 19170.026
AT ITER 465 NEW BEST:: SOT 57955 SOS 36024 HAS SOPS 27443 HAS SOUS 22420 HAS SOUPS 19134 WITH SCORE 19170.024
AT ITER 471 NEW BEST:: SOT 57906 SOS 35975 HAS SOPS 27401 HAS SOUS 22377 HAS SOUPS 19092 WITH SCORE 19127.975
AT ITER 478 NEW BEST:: SOT 57889 SOS 35958 HAS SOPS 27367 HAS SOUS 22343 HAS SOUPS 19058 WITH SCORE 19093.958
AT ITER 483 NEW BEST:: SOT 57889 SOS 35920 HAS SOPS 27356 HAS SOUS 22332 HAS SOUPS 19047 WITH SCORE 19082.92
AT ITER 485 NEW BEST:: SOT 57889 SOS 36089 HAS SOPS 27355 HAS SOUS 22383 HAS SOUPS 19046 WITH SCORE 19082.089
AT ITER 492 NEW BEST:: SOT 57287 SOS 35601 HAS SOPS 26817 HAS SOUS 21807 HAS SOUPS 18470 WITH SCORE 18505.601
AT ITER 494 NEW BEST:: SOT 57278 SOS 35592 HAS SOPS 26817 HAS SOUS 21807 HAS SOUPS 18470 WITH SCORE 18505.592
AT ITER 509 NEW BEST:: SOT 57278 SOS 35648 HAS SOPS 26802 HAS SOUS 21838 HAS SOUPS 18455 WITH SCORE 18490.648
AT ITER 520 NEW BEST:: SOT 57270 SOS 35640 HAS SOPS 26797 HAS SOUS 21833 HAS SOUPS 18450 WITH SCORE 18485.64
AT ITER 521 NEW BEST:: SOT 57270 SOS 35620 HAS SOPS 26797 HAS SOUS 21833 HAS SOUPS 18450 WITH SCORE 18485.62
AT ITER 524 NEW BEST:: SOT 57263 SOS 35613 HAS SOPS 26796 HAS SOUS 21826 HAS SOUPS 18449 WITH SCORE 18484.613
AT ITER 551 NEW BEST:: SOT 57263 SOS 35540 HAS SOPS 26723 HAS SOUS 21813 HAS SOUPS 18436 WITH SCORE 18471.54
AT ITER 571 NEW BEST:: SOT 57280 SOS 35575 HAS SOPS 26622 HAS SOUS 21732 HAS SOUPS 18326 WITH SCORE 18361.575
AT ITER 578 NEW BEST:: SOT 57267 SOS 35562 HAS SOPS 26609 HAS SOUS 21719 HAS SOUPS 18313 WITH SCORE 18348.562
AT ITER 589 NEW BEST:: SOT 57244 SOS 35513 HAS SOPS 26563 HAS SOUS 21670 HAS SOUPS 18267 WITH SCORE 18302.513
AT ITER 594 NEW BEST:: SOT 57145 SOS 35398 HAS SOPS 26437 HAS SOUS 21552 HAS SOUPS 18149 WITH SCORE 18184.398
AT ITER 599 NEW BEST:: SOT 57145 SOS 35400 HAS SOPS 26390 HAS SOUS 21505 HAS SOUPS 18102 WITH SCORE 18137.4
AT ITER 602 NEW BEST:: SOT 57145 SOS 35214 HAS SOPS 26204 HAS SOUS 21505 HAS SOUPS 18102 WITH SCORE 18137.214
AT ITER 606 NEW BEST:: SOT 56771 SOS 34900 HAS SOPS 25821 HAS SOUS 21334 HAS SOUPS 17871 WITH SCORE 17905.9
AT ITER 607 NEW BEST:: SOT 56656 SOS 34951 HAS SOPS 25678 HAS SOUS 21399 HAS SOUPS 17728 WITH SCORE 17762.951
AT ITER 609 NEW BEST:: SOT 56553 SOS 34838 HAS SOPS 25526 HAS SOUS 21257 HAS SOUPS 17576 WITH SCORE 17610.838
AT ITER 610 NEW BEST:: SOT 56491 SOS 34776 HAS SOPS 25449 HAS SOUS 21180 HAS SOUPS 17499 WITH SCORE 17533.776
AT ITER 622 NEW BEST:: SOT 56450 SOS 34735 HAS SOPS 25408 HAS SOUS 21139 HAS SOUPS 17458 WITH SCORE 17492.735
AT ITER 654 NEW BEST:: SOT 56443 SOS 34728 HAS SOPS 25405 HAS SOUS 21132 HAS SOUPS 17455 WITH SCORE 17489.728
AT ITER 655 NEW BEST:: SOT 56440 SOS 34725 HAS SOPS 25399 HAS SOUS 21097 HAS SOUPS 17449 WITH SCORE 17483.725
AT ITER 663 NEW BEST:: SOT 56413 SOS 34698 HAS SOPS 25372 HAS SOUS 21070 HAS SOUPS 17422 WITH SCORE 17456.698
AT ITER 703 NEW BEST:: SOT 56393 SOS 34660 HAS SOPS 25343 HAS SOUS 21041 HAS SOUPS 17393 WITH SCORE 17427.66
AT ITER 712 NEW BEST:: SOT 56342 SOS 34574 HAS SOPS 25257 HAS SOUS 20954 HAS SOUPS 17306 WITH SCORE 17340.574
AT ITER 717 NEW BEST:: SOT 56320 SOS 34552 HAS SOPS 25224 HAS SOUS 20947 HAS SOUPS 17293 WITH SCORE 17327.552
AT ITER 725 NEW BEST:: SOT 56317 SOS 34549 HAS SOPS 25204 HAS SOUS 20945 HAS SOUPS 17273 WITH SCORE 17307.549
AT ITER 740 NEW BEST:: SOT 56307 SOS 34539 HAS SOPS 25194 HAS SOUS 20935 HAS SOUPS 17263 WITH SCORE 17297.539
AT ITER 742 NEW BEST:: SOT 56307 SOS 34525 HAS SOPS 25180 HAS SOUS 20934 HAS SOUPS 17262 WITH SCORE 17296.525
AT ITER 749 NEW BEST:: SOT 56307 SOS 34512 HAS SOPS 25167 HAS SOUS 20933 HAS SOUPS 17261 WITH SCORE 17295.512
AT ITER 757 NEW BEST:: SOT 56307 SOS 34509 HAS SOPS 25167 HAS SOUS 20933 HAS SOUPS 17261 WITH SCORE 17295.509
AT ITER 765 NEW BEST:: SOT 56279 SOS 34481 HAS SOPS 25107 HAS SOUS 20873 HAS SOUPS 17201 WITH SCORE 17235.481
AT ITER 777 NEW BEST:: SOT 56272 SOS 34476 HAS SOPS 25094 HAS SOUS 20859 HAS SOUPS 17187 WITH SCORE 17221.476
AT ITER 779 NEW BEST:: SOT 56235 SOS 34468 HAS SOPS 25079 HAS SOUS 20838 HAS SOUPS 17172 WITH SCORE 17206.468
AT ITER 808 NEW BEST:: SOT 56027 SOS 34312 HAS SOPS 24897 HAS SOUS 20656 HAS SOUPS 16964 WITH SCORE 16998.312
AT ITER 814 NEW BEST:: SOT 56023 SOS 34310 HAS SOPS 24891 HAS SOUS 20657 HAS SOUPS 16958 WITH SCORE 16992.31
AT ITER 821 NEW BEST:: SOT 56022 SOS 34307 HAS SOPS 24889 HAS SOUS 20648 HAS SOUPS 16956 WITH SCORE 16990.307
AT ITER 832 NEW BEST:: SOT 56116 SOS 34393 HAS SOPS 24849 HAS SOUS 20612 HAS SOUPS 16920 WITH SCORE 16954.393
AT ITER 839 NEW BEST:: SOT 56115 SOS 34392 HAS SOPS 24848 HAS SOUS 20611 HAS SOUPS 16919 WITH SCORE 16953.392
AT ITER 849 NEW BEST:: SOT 56106 SOS 34383 HAS SOPS 24831 HAS SOUS 20602 HAS SOUPS 16902 WITH SCORE 16936.383
AT ITER 856 NEW BEST:: SOT 56106 SOS 34374 HAS SOPS 24822 HAS SOUS 20602 HAS SOUPS 16902 WITH SCORE 16936.374
AT ITER 857 NEW BEST:: SOT 56141 SOS 34604 HAS SOPS 24682 HAS SOUS 20497 HAS SOUPS 16770 WITH SCORE 16804.604
AT ITER 860 NEW BEST:: SOT 56146 SOS 34612 HAS SOPS 24680 HAS SOUS 20495 HAS SOUPS 16768 WITH SCORE 16802.612
AT ITER 879 NEW BEST:: SOT 56135 SOS 34601 HAS SOPS 24669 HAS SOUS 20484 HAS SOUPS 16757 WITH SCORE 16791.601
AT ITER 881 NEW BEST:: SOT 56121 SOS 34591 HAS SOPS 24657 HAS SOUS 20470 HAS SOUPS 16743 WITH SCORE 16777.591
AT ITER 888 NEW BEST:: SOT 56130 SOS 34616 HAS SOPS 24682 HAS SOUS 20459 HAS SOUPS 16732 WITH SCORE 16766.616
AT ITER 891 NEW BEST:: SOT 56130 SOS 34616 HAS SOPS 24668 HAS SOUS 20445 HAS SOUPS 16718 WITH SCORE 16752.616
AT ITER 895 NEW BEST:: SOT 56099 SOS 34741 HAS SOPS 24622 HAS SOUS 20587 HAS SOUPS 16672 WITH SCORE 16706.741
AT ITER 905 NEW BEST:: SOT 56092 SOS 34734 HAS SOPS 24620 HAS SOUS 20580 HAS SOUPS 16670 WITH SCORE 16704.734
AT ITER 942 NEW BEST:: SOT 56092 SOS 34710 HAS SOPS 24596 HAS SOUS 20577 HAS SOUPS 16667 WITH SCORE 16701.71
AT ITER 949 NEW BEST:: SOT 56068 SOS 34686 HAS SOPS 24548 HAS SOUS 20553 HAS SOUPS 16619 WITH SCORE 16653.686
AT ITER 983 NEW BEST:: SOT 55970 SOS 34623 HAS SOPS 24450 HAS SOUS 20598 HAS SOUPS 16521 WITH SCORE 16555.623
AT ITER 1007 NEW BEST:: SOT 55970 SOS 34623 HAS SOPS 24402 HAS SOUS 20550 HAS SOUPS 16473 WITH SCORE 16507.623
AT ITER 1011 NEW BEST:: SOT 55963 SOS 34616 HAS SOPS 24388 HAS SOUS 20543 HAS SOUPS 16459 WITH SCORE 16493.616
AT ITER 1020 NEW BEST:: SOT 55955 SOS 34610 HAS SOPS 24380 HAS SOUS 20539 HAS SOUPS 16451 WITH SCORE 16485.61
AT ITER 1030 NEW BEST:: SOT 55912 SOS 34682 HAS SOPS 24337 HAS SOUS 20664 HAS SOUPS 16408 WITH SCORE 16442.682
AT ITER 1049 NEW BEST:: SOT 55939 SOS 34709 HAS SOPS 24371 HAS SOUS 20655 HAS SOUPS 16406 WITH SCORE 16440.709
AT ITER 1054 NEW BEST:: SOT 55929 SOS 34699 HAS SOPS 24329 HAS SOUS 20645 HAS SOUPS 16364 WITH SCORE 16398.699
AT ITER 1082 NEW BEST:: SOT 55918 SOS 34673 HAS SOPS 24317 HAS SOUS 20633 HAS SOUPS 16352 WITH SCORE 16386.673
AT ITER 1089 NEW BEST:: SOT 55911 SOS 34666 HAS SOPS 24303 HAS SOUS 20626 HAS SOUPS 16338 WITH SCORE 16372.666
AT ITER 1090 NEW BEST:: SOT 55890 SOS 34645 HAS SOPS 24282 HAS SOUS 20605 HAS SOUPS 16317 WITH SCORE 16351.645
AT ITER 1109 NEW BEST:: SOT 55890 SOS 34636 HAS SOPS 24282 HAS SOUS 20578 HAS SOUPS 16317 WITH SCORE 16351.636
AT ITER 1110 NEW BEST:: SOT 55889 SOS 34635 HAS SOPS 24280 HAS SOUS 20577 HAS SOUPS 16315 WITH SCORE 16349.635
AT ITER 1121 NEW BEST:: SOT 55883 SOS 34629 HAS SOPS 24253 HAS SOUS 20550 HAS SOUPS 16288 WITH SCORE 16322.629
AT ITER 1141 NEW BEST:: SOT 55867 SOS 34613 HAS SOPS 24221 HAS SOUS 20534 HAS SOUPS 16256 WITH SCORE 16290.613
AT ITER 1151 NEW BEST:: SOT 55828 SOS 34574 HAS SOPS 24182 HAS SOUS 20495 HAS SOUPS 16217 WITH SCORE 16251.574
AT ITER 1153 NEW BEST:: SOT 55717 SOS 34553 HAS SOPS 24039 HAS SOUS 20604 HAS SOUPS 16202 WITH SCORE 16236.553
AT ITER 1155 NEW BEST:: SOT 55718 SOS 34458 HAS SOPS 24061 HAS SOUS 20506 HAS SOUPS 16132 WITH SCORE 16166.458
AT ITER 1189 NEW BEST:: SOT 55714 SOS 34442 HAS SOPS 24057 HAS SOUS 20502 HAS SOUPS 16128 WITH SCORE 16162.442
AT ITER 1208 NEW BEST:: SOT 55714 SOS 34509 HAS SOPS 24124 HAS SOUS 20495 HAS SOUPS 16121 WITH SCORE 16155.509
AT ITER 1210 NEW BEST:: SOT 55699 SOS 34494 HAS SOPS 24096 HAS SOUS 20480 HAS SOUPS 16093 WITH SCORE 16127.494
AT ITER 1213 NEW BEST:: SOT 55608 SOS 34423 HAS SOPS 24001 HAS SOUS 20516 HAS SOUPS 16066 WITH SCORE 16100.423
AT ITER 1223 NEW BEST:: SOT 55580 SOS 34371 HAS SOPS 23977 HAS SOUS 20484 HAS SOUPS 16038 WITH SCORE 16072.371
AT ITER 1229 NEW BEST:: SOT 55580 SOS 34369 HAS SOPS 23975 HAS SOUS 20484 HAS SOUPS 16038 WITH SCORE 16072.369
AT ITER 1232 NEW BEST:: SOT 55549 SOS 34338 HAS SOPS 23913 HAS SOUS 20466 HAS SOUPS 15976 WITH SCORE 16010.338
AT ITER 1236 NEW BEST:: SOT 55498 SOS 34287 HAS SOPS 23871 HAS SOUS 20424 HAS SOUPS 15934 WITH SCORE 15968.287
AT ITER 1240 NEW BEST:: SOT 55484 SOS 34273 HAS SOPS 23843 HAS SOUS 20410 HAS SOUPS 15906 WITH SCORE 15940.273
AT ITER 1285 NEW BEST:: SOT 55473 SOS 34267 HAS SOPS 23808 HAS SOUS 20404 HAS SOUPS 15871 WITH SCORE 15905.267
AT ITER 1300 NEW BEST:: SOT 55473 SOS 34255 HAS SOPS 23838 HAS SOUS 20398 HAS SOUPS 15865 WITH SCORE 15899.255
AT ITER 1307 NEW BEST:: SOT 55409 SOS 34173 HAS SOPS 23766 HAS SOUS 20333 HAS SOUPS 15800 WITH SCORE 15834.173
AT ITER 1313 NEW BEST:: SOT 55405 SOS 34169 HAS SOPS 23766 HAS SOUS 20329 HAS SOUPS 15800 WITH SCORE 15834.169
AT ITER 1319 NEW BEST:: SOT 55405 SOS 34121 HAS SOPS 23718 HAS SOUS 20329 HAS SOUPS 15800 WITH SCORE 15834.121
AT ITER 1320 NEW BEST:: SOT 55378 SOS 34094 HAS SOPS 23646 HAS SOUS 20302 HAS SOUPS 15728 WITH SCORE 15762.094
AT ITER 1344 NEW BEST:: SOT 55375 SOS 34091 HAS SOPS 23639 HAS SOUS 20299 HAS SOUPS 15721 WITH SCORE 15755.091
AT ITER 1352 NEW BEST:: SOT 55255 SOS 33986 HAS SOPS 23519 HAS SOUS 20179 HAS SOUPS 15601 WITH SCORE 15634.986
AT ITER 1354 NEW BEST:: SOT 55255 SOS 33980 HAS SOPS 23513 HAS SOUS 20173 HAS SOUPS 15595 WITH SCORE 15628.98
AT ITER 1390 NEW BEST:: SOT 55239 SOS 33964 HAS SOPS 23481 HAS SOUS 20129 HAS SOUPS 15563 WITH SCORE 15596.964
AT ITER 1407 NEW BEST:: SOT 55218 SOS 33943 HAS SOPS 23439 HAS SOUS 20105 HAS SOUPS 15521 WITH SCORE 15554.943
AT ITER 1420 NEW BEST:: SOT 55218 SOS 33979 HAS SOPS 23430 HAS SOUS 20149 HAS SOUPS 15512 WITH SCORE 15545.979
AT ITER 1431 NEW BEST:: SOT 55178 SOS 33939 HAS SOPS 23382 HAS SOUS 20101 HAS SOUPS 15464 WITH SCORE 15497.939
AT ITER 1442 NEW BEST:: SOT 55166 SOS 33927 HAS SOPS 23364 HAS SOUS 20089 HAS SOUPS 15446 WITH SCORE 15479.927
AT ITER 1448 NEW BEST:: SOT 55173 SOS 33899 HAS SOPS 23343 HAS SOUS 20068 HAS SOUPS 15425 WITH SCORE 15458.899
AT ITER 1460 NEW BEST:: SOT 55117 SOS 33843 HAS SOPS 23263 HAS SOUS 20012 HAS SOUPS 15345 WITH SCORE 15378.843
AT ITER 1484 NEW BEST:: SOT 55113 SOS 33839 HAS SOPS 23255 HAS SOUS 20008 HAS SOUPS 15337 WITH SCORE 15370.839
AT ITER 1533 NEW BEST:: SOT 55090 SOS 33846 HAS SOPS 23198 HAS SOUS 19985 HAS SOUPS 15297 WITH SCORE 15330.846
AT ITER 1551 NEW BEST:: SOT 55081 SOS 33828 HAS SOPS 23180 HAS SOUS 19976 HAS SOUPS 15288 WITH SCORE 15321.828
AT ITER 1561 NEW BEST:: SOT 55029 SOS 33776 HAS SOPS 23107 HAS SOUS 19924 HAS SOUPS 15215 WITH SCORE 15248.776
AT ITER 1565 NEW BEST:: SOT 55028 SOS 33775 HAS SOPS 23106 HAS SOUS 19924 HAS SOUPS 15215 WITH SCORE 15248.775
AT ITER 1579 NEW BEST:: SOT 55016 SOS 33760 HAS SOPS 23084 HAS SOUS 19902 HAS SOUPS 15193 WITH SCORE 15226.76
AT ITER 1581 NEW BEST:: SOT 55012 SOS 33734 HAS SOPS 23054 HAS SOUS 19887 HAS SOUPS 15174 WITH SCORE 15207.734
AT ITER 1585 NEW BEST:: SOT 54911 SOS 33595 HAS SOPS 22985 HAS SOUS 19837 HAS SOUPS 15124 WITH SCORE 15157.595
AT ITER 1594 NEW BEST:: SOT 54910 SOS 33594 HAS SOPS 22983 HAS SOUS 19836 HAS SOUPS 15122 WITH SCORE 15155.594
AT ITER 1612 NEW BEST:: SOT 54905 SOS 33589 HAS SOPS 22973 HAS SOUS 19831 HAS SOUPS 15112 WITH SCORE 15145.589
AT ITER 1652 NEW BEST:: SOT 54900 SOS 33594 HAS SOPS 22972 HAS SOUS 19818 HAS SOUPS 15099 WITH SCORE 15132.594
AT ITER 1656 NEW BEST:: SOT 54890 SOS 33584 HAS SOPS 22952 HAS SOUS 19796 HAS SOUPS 15079 WITH SCORE 15112.584
AT ITER 1658 NEW BEST:: SOT 54894 SOS 33584 HAS SOPS 22951 HAS SOUS 19790 HAS SOUPS 15073 WITH SCORE 15106.584
AT ITER 1660 NEW BEST:: SOT 54894 SOS 33579 HAS SOPS 22951 HAS SOUS 19782 HAS SOUPS 15073 WITH SCORE 15106.579
AT ITER 1661 NEW BEST:: SOT 54864 SOS 33574 HAS SOPS 22939 HAS SOUS 19777 HAS SOUPS 15061 WITH SCORE 15094.574
AT ITER 1662 NEW BEST:: SOT 54852 SOS 33568 HAS SOPS 22937 HAS SOUS 19775 HAS SOUPS 15059 WITH SCORE 15092.568
AT ITER 1677 NEW BEST:: SOT 54682 SOS 33432 HAS SOPS 22787 HAS SOUS 19633 HAS SOUPS 14892 WITH SCORE 14925.432
AT ITER 1678 NEW BEST:: SOT 54674 SOS 33424 HAS SOPS 22771 HAS SOUS 19625 HAS SOUPS 14876 WITH SCORE 14909.424
AT ITER 1683 NEW BEST:: SOT 54674 SOS 33424 HAS SOPS 22762 HAS SOUS 19632 HAS SOUPS 14867 WITH SCORE 14900.424
AT ITER 1685 NEW BEST:: SOT 54618 SOS 33375 HAS SOPS 22657 HAS SOUS 19527 HAS SOUPS 14762 WITH SCORE 14795.375
AT ITER 1690 NEW BEST:: SOT 54615 SOS 33372 HAS SOPS 22651 HAS SOUS 19529 HAS SOUPS 14756 WITH SCORE 14789.372
AT ITER 1706 NEW BEST:: SOT 54614 SOS 33371 HAS SOPS 22649 HAS SOUS 19528 HAS SOUPS 14754 WITH SCORE 14787.371
AT ITER 1707 NEW BEST:: SOT 54621 SOS 33378 HAS SOPS 22607 HAS SOUS 19486 HAS SOUPS 14712 WITH SCORE 14745.378
AT ITER 1756 NEW BEST:: SOT 54593 SOS 33368 HAS SOPS 22560 HAS SOUS 19430 HAS SOUPS 14656 WITH SCORE 14689.368
AT ITER 1793 NEW BEST:: SOT 54573 SOS 33526 HAS SOPS 22535 HAS SOUS 19494 HAS SOUPS 14631 WITH SCORE 14664.526
AT ITER 1795 NEW BEST:: SOT 54561 SOS 33514 HAS SOPS 22511 HAS SOUS 19482 HAS SOUPS 14607 WITH SCORE 14640.514
AT ITER 1808 NEW BEST:: SOT 54572 SOS 33525 HAS SOPS 22495 HAS SOUS 19471 HAS SOUPS 14591 WITH SCORE 14624.525
AT ITER 1815 NEW BEST:: SOT 54569 SOS 33522 HAS SOPS 22489 HAS SOUS 19457 HAS SOUPS 14585 WITH SCORE 14618.522
AT ITER 1847 NEW BEST:: SOT 54542 SOS 33495 HAS SOPS 22459 HAS SOUS 19427 HAS SOUPS 14555 WITH SCORE 14588.495
AT ITER 1911 NEW BEST:: SOT 54547 SOS 33500 HAS SOPS 22456 HAS SOUS 19432 HAS SOUPS 14552 WITH SCORE 14585.5
AT ITER 1940 NEW BEST:: SOT 54547 SOS 33505 HAS SOPS 22444 HAS SOUS 19420 HAS SOUPS 14540 WITH SCORE 14573.505
AT ITER 1946 NEW BEST:: SOT 54387 SOS 33345 HAS SOPS 22283 HAS SOUS 19407 HAS SOUPS 14527 WITH SCORE 14560.345
AT ITER 1949 NEW BEST:: SOT 54387 SOS 33350 HAS SOPS 22278 HAS SOUS 19402 HAS SOUPS 14522 WITH SCORE 14555.35
AT ITER 1985 NEW BEST:: SOT 54366 SOS 33618 HAS SOPS 22264 HAS SOUS 19526 HAS SOUPS 14508 WITH SCORE 14541.618
AT ITER 1990 NEW BEST:: SOT 54366 SOS 33618 HAS SOPS 22248 HAS SOUS 19526 HAS SOUPS 14492 WITH SCORE 14525.618
AT ITER 1993 NEW BEST:: SOT 54396 SOS 33636 HAS SOPS 22306 HAS SOUS 19448 HAS SOUPS 14454 WITH SCORE 14487.636
AT ITER 2040 NEW BEST:: SOT 54391 SOS 33622 HAS SOPS 22301 HAS SOUS 19388 HAS SOUPS 14413 WITH SCORE 14446.622
AT ITER 2049 NEW BEST:: SOT 54382 SOS 33613 HAS SOPS 22298 HAS SOUS 19386 HAS SOUPS 14410 WITH SCORE 14443.613
AT ITER 2057 NEW BEST:: SOT 54378 SOS 33609 HAS SOPS 22282 HAS SOUS 19374 HAS SOUPS 14394 WITH SCORE 14427.609
AT ITER 2064 NEW BEST:: SOT 54280 SOS 33543 HAS SOPS 22270 HAS SOUS 19346 HAS SOUPS 14359 WITH SCORE 14392.543
AT ITER 2110 NEW BEST:: SOT 54275 SOS 33513 HAS SOPS 22262 HAS SOUS 19333 HAS SOUPS 14351 WITH SCORE 14384.513
AT ITER 2119 NEW BEST:: SOT 54262 SOS 33425 HAS SOPS 22249 HAS SOUS 19300 HAS SOUPS 14338 WITH SCORE 14371.425
AT ITER 2174 NEW BEST:: SOT 54266 SOS 33429 HAS SOPS 22242 HAS SOUS 19304 HAS SOUPS 14331 WITH SCORE 14364.429
AT ITER 2209 NEW BEST:: SOT 54270 SOS 33429 HAS SOPS 22218 HAS SOUS 19280 HAS SOUPS 14307 WITH SCORE 14340.429
AT ITER 2214 NEW BEST:: SOT 54256 SOS 33415 HAS SOPS 22204 HAS SOUS 19266 HAS SOUPS 14293 WITH SCORE 14326.415
AT ITER 2252 NEW BEST:: SOT 54255 SOS 33414 HAS SOPS 22202 HAS SOUS 19265 HAS SOUPS 14291 WITH SCORE 14324.414
AT ITER 2258 NEW BEST:: SOT 54255 SOS 33422 HAS SOPS 22196 HAS SOUS 19272 HAS SOUPS 14285 WITH SCORE 14318.422
AT ITER 2265 NEW BEST:: SOT 54234 SOS 33401 HAS SOPS 22175 HAS SOUS 19251 HAS SOUPS 14264 WITH SCORE 14297.401
AT ITER 2294 NEW BEST:: SOT 54215 SOS 33382 HAS SOPS 22137 HAS SOUS 19211 HAS SOUPS 14226 WITH SCORE 14259.382
AT ITER 2298 NEW BEST:: SOT 54213 SOS 33380 HAS SOPS 22135 HAS SOUS 19209 HAS SOUPS 14224 WITH SCORE 14257.38
AT ITER 2315 NEW BEST:: SOT 54213 SOS 33374 HAS SOPS 22087 HAS SOUS 19161 HAS SOUPS 14176 WITH SCORE 14209.374
AT ITER 2348 NEW BEST:: SOT 54213 SOS 33371 HAS SOPS 22084 HAS SOUS 19158 HAS SOUPS 14173 WITH SCORE 14206.371
AT ITER 2369 NEW BEST:: SOT 54211 SOS 33369 HAS SOPS 22082 HAS SOUS 19156 HAS SOUPS 14171 WITH SCORE 14204.369
AT ITER 2373 NEW BEST:: SOT 54207 SOS 33365 HAS SOPS 22074 HAS SOUS 19152 HAS SOUPS 14163 WITH SCORE 14196.365
AT ITER 2380 NEW BEST:: SOT 54187 SOS 33337 HAS SOPS 22042 HAS SOUS 19128 HAS SOUPS 14135 WITH SCORE 14168.337
AT ITER 2407 NEW BEST:: SOT 54183 SOS 33333 HAS SOPS 22034 HAS SOUS 19120 HAS SOUPS 14127 WITH SCORE 14160.333
AT ITER 2418 NEW BEST:: SOT 54181 SOS 33326 HAS SOPS 22032 HAS SOUS 19101 HAS SOUPS 14109 WITH SCORE 14142.326
AT ITER 2456 NEW BEST:: SOT 54255 SOS 33357 HAS SOPS 22129 HAS SOUS 19060 HAS SOUPS 14088 WITH SCORE 14121.357
AT ITER 2457 NEW BEST:: SOT 54250 SOS 33352 HAS SOPS 22124 HAS SOUS 19055 HAS SOUPS 14083 WITH SCORE 14116.352
AT ITER 2458 NEW BEST:: SOT 54247 SOS 33349 HAS SOPS 22118 HAS SOUS 19052 HAS SOUPS 14077 WITH SCORE 14110.349
AT ITER 2495 NEW BEST:: SOT 54281 SOS 33373 HAS SOPS 22155 HAS SOUS 19000 HAS SOUPS 14074 WITH SCORE 14107.373
AT ITER 2513 NEW BEST:: SOT 54256 SOS 33366 HAS SOPS 22123 HAS SOUS 19011 HAS SOUPS 14042 WITH SCORE 14075.366
AT ITER 2515 NEW BEST:: SOT 54277 SOS 33379 HAS SOPS 22101 HAS SOUS 18989 HAS SOUPS 14020 WITH SCORE 14053.379
AT ITER 2547 NEW BEST:: SOT 54275 SOS 33377 HAS SOPS 22099 HAS SOUS 18987 HAS SOUPS 14018 WITH SCORE 14051.377
AT ITER 2570 NEW BEST:: SOT 54275 SOS 33377 HAS SOPS 22093 HAS SOUS 18981 HAS SOUPS 14012 WITH SCORE 14045.377
AT ITER 2577 NEW BEST:: SOT 54271 SOS 33373 HAS SOPS 22089 HAS SOUS 18977 HAS SOUPS 14008 WITH SCORE 14041.373
AT ITER 2579 NEW BEST:: SOT 54271 SOS 33373 HAS SOPS 22087 HAS SOUS 18977 HAS SOUPS 14006 WITH SCORE 14039.373
AT ITER 2590 NEW BEST:: SOT 54090 SOS 33192 HAS SOPS 21906 HAS SOUS 18848 HAS SOUPS 13877 WITH SCORE 13910.192
AT ITER 2604 NEW BEST:: SOT 54105 SOS 33259 HAS SOPS 21719 HAS SOUS 18607 HAS SOUPS 13631 WITH SCORE 13664.259
AT ITER 2613 NEW BEST:: SOT 54105 SOS 33177 HAS SOPS 21637 HAS SOUS 18603 HAS SOUPS 13627 WITH SCORE 13660.177
AT ITER 2615 NEW BEST:: SOT 54125 SOS 33167 HAS SOPS 21659 HAS SOUS 18541 HAS SOUPS 13573 WITH SCORE 13606.167
AT ITER 2662 NEW BEST:: SOT 54125 SOS 33167 HAS SOPS 21658 HAS SOUS 18540 HAS SOUPS 13572 WITH SCORE 13605.167
AT ITER 2666 NEW BEST:: SOT 54090 SOS 33132 HAS SOPS 21620 HAS SOUS 18505 HAS SOUPS 13534 WITH SCORE 13567.132
AT ITER 2718 NEW BEST:: SOT 54047 SOS 33099 HAS SOPS 21567 HAS SOUS 18542 HAS SOUPS 13521 WITH SCORE 13554.099
AT ITER 2803 NEW BEST:: SOT 54044 SOS 33096 HAS SOPS 21561 HAS SOUS 18539 HAS SOUPS 13515 WITH SCORE 13548.096
AT ITER 2818 NEW BEST:: SOT 53963 SOS 33012 HAS SOPS 21535 HAS SOUS 18513 HAS SOUPS 13489 WITH SCORE 13522.012
AT ITER 2836 NEW BEST:: SOT 53954 SOS 33003 HAS SOPS 21523 HAS SOUS 18504 HAS SOUPS 13477 WITH SCORE 13510.003
AT ITER 2858 NEW BEST:: SOT 53951 SOS 32969 HAS SOPS 21504 HAS SOUS 18470 HAS SOUPS 13458 WITH SCORE 13490.969
AT ITER 2920 NEW BEST:: SOT 53946 SOS 32964 HAS SOPS 21499 HAS SOUS 18465 HAS SOUPS 13453 WITH SCORE 13485.964
AT ITER 2922 NEW BEST:: SOT 53930 SOS 32948 HAS SOPS 21475 HAS SOUS 18449 HAS SOUPS 13429 WITH SCORE 13461.948
AT ITER 2931 NEW BEST:: SOT 53693 SOS 32749 HAS SOPS 21228 HAS SOUS 18386 HAS SOUPS 13182 WITH SCORE 13214.749
AT ITER 2938 NEW BEST:: SOT 53694 SOS 32752 HAS SOPS 21223 HAS SOUS 18380 HAS SOUPS 13176 WITH SCORE 13208.752
AT ITER 2940 NEW BEST:: SOT 53694 SOS 32535 HAS SOPS 21211 HAS SOUS 18316 HAS SOUPS 13164 WITH SCORE 13196.535
AT ITER 3029 NEW BEST:: SOT 53687 SOS 32528 HAS SOPS 21197 HAS SOUS 18309 HAS SOUPS 13150 WITH SCORE 13182.528
AT ITER 3042 NEW BEST:: SOT 53707 SOS 32550 HAS SOPS 21107 HAS SOUS 18230 HAS SOUPS 13071 WITH SCORE 13103.55
AT ITER 3053 NEW BEST:: SOT 53707 SOS 32486 HAS SOPS 21043 HAS SOUS 18222 HAS SOUPS 13063 WITH SCORE 13095.486
AT ITER 3054 NEW BEST:: SOT 53707 SOS 32482 HAS SOPS 21053 HAS SOUS 18220 HAS SOUPS 13061 WITH SCORE 13093.482
AT ITER 3057 NEW BEST:: SOT 53707 SOS 32435 HAS SOPS 21053 HAS SOUS 18163 HAS SOUPS 13061 WITH SCORE 13093.435
AT ITER 3104 NEW BEST:: SOT 53567 SOS 32296 HAS SOPS 20888 HAS SOUS 18016 HAS SOUPS 12914 WITH SCORE 12946.296
AT ITER 3111 NEW BEST:: SOT 53525 SOS 32254 HAS SOPS 20840 HAS SOUS 17926 HAS SOUPS 12824 WITH SCORE 12856.254
AT ITER 3129 NEW BEST:: SOT 53490 SOS 32219 HAS SOPS 20814 HAS SOUS 17891 HAS SOUPS 12798 WITH SCORE 12830.219
AT ITER 3169 NEW BEST:: SOT 53486 SOS 32194 HAS SOPS 20803 HAS SOUS 17866 HAS SOUPS 12787 WITH SCORE 12819.194
AT ITER 3191 NEW BEST:: SOT 53473 SOS 32181 HAS SOPS 20777 HAS SOUS 17840 HAS SOUPS 12761 WITH SCORE 12793.181
AT ITER 3223 NEW BEST:: SOT 53473 SOS 32166 HAS SOPS 20777 HAS SOUS 17831 HAS SOUPS 12761 WITH SCORE 12793.166
AT ITER 3224 NEW BEST:: SOT 53471 SOS 32201 HAS SOPS 20759 HAS SOUS 17815 HAS SOUPS 12743 WITH SCORE 12775.201
AT ITER 3229 NEW BEST:: SOT 53468 SOS 32198 HAS SOPS 20749 HAS SOUS 17812 HAS SOUPS 12733 WITH SCORE 12765.198
AT ITER 3237 NEW BEST:: SOT 53411 SOS 32141 HAS SOPS 20689 HAS SOUS 17815 HAS SOUPS 12733 WITH SCORE 12765.141
AT ITER 3250 NEW BEST:: SOT 53405 SOS 32135 HAS SOPS 20677 HAS SOUS 17803 HAS SOUPS 12721 WITH SCORE 12753.135
AT ITER 3259 NEW BEST:: SOT 53399 SOS 32129 HAS SOPS 20665 HAS SOUS 17797 HAS SOUPS 12709 WITH SCORE 12741.129
AT ITER 3262 NEW BEST:: SOT 53389 SOS 32119 HAS SOPS 20655 HAS SOUS 17787 HAS SOUPS 12699 WITH SCORE 12731.119
AT ITER 3311 NEW BEST:: SOT 53389 SOS 32119 HAS SOPS 20639 HAS SOUS 17771 HAS SOUPS 12683 WITH SCORE 12715.119
AT ITER 3328 NEW BEST:: SOT 53389 SOS 32022 HAS SOPS 20542 HAS SOUS 17769 HAS SOUPS 12681 WITH SCORE 12713.022
AT ITER 3332 NEW BEST:: SOT 53375 SOS 32008 HAS SOPS 20513 HAS SOUS 17755 HAS SOUPS 12652 WITH SCORE 12684.008
AT ITER 3404 NEW BEST:: SOT 53371 SOS 32004 HAS SOPS 20505 HAS SOUS 17751 HAS SOUPS 12644 WITH SCORE 12676.004
AT ITER 3427 NEW BEST:: SOT 53370 SOS 32003 HAS SOPS 20503 HAS SOUS 17750 HAS SOUPS 12642 WITH SCORE 12674.003
AT ITER 3428 NEW BEST:: SOT 53370 SOS 31994 HAS SOPS 20494 HAS SOUS 17741 HAS SOUPS 12633 WITH SCORE 12664.994
AT ITER 3496 NEW BEST:: SOT 53372 SOS 32032 HAS SOPS 20522 HAS SOUS 17709 HAS SOUPS 12601 WITH SCORE 12633.032
AT ITER 3584 NEW BEST:: SOT 53263 SOS 31992 HAS SOPS 20413 HAS SOUS 17887 HAS SOUPS 12572 WITH SCORE 12603.992
AT ITER 3623 NEW BEST:: SOT 53263 SOS 31925 HAS SOPS 20346 HAS SOUS 17884 HAS SOUPS 12569 WITH SCORE 12600.925
AT ITER 3640 NEW BEST:: SOT 53262 SOS 31924 HAS SOPS 20344 HAS SOUS 17883 HAS SOUPS 12567 WITH SCORE 12598.924
AT ITER 3648 NEW BEST:: SOT 53251 SOS 31913 HAS SOPS 20333 HAS SOUS 17872 HAS SOUPS 12556 WITH SCORE 12587.913
AT ITER 3791 NEW BEST:: SOT 53245 SOS 31909 HAS SOPS 20322 HAS SOUS 17869 HAS SOUPS 12545 WITH SCORE 12576.909
AT ITER 3793 NEW BEST:: SOT 53244 SOS 31908 HAS SOPS 20316 HAS SOUS 17868 HAS SOUPS 12539 WITH SCORE 12570.908
AT ITER 3890 NEW BEST:: SOT 53242 SOS 31906 HAS SOPS 20314 HAS SOUS 17866 HAS SOUPS 12537 WITH SCORE 12568.906
AT ITER 3891 NEW BEST:: SOT 53242 SOS 31873 HAS SOPS 20281 HAS SOUS 17860 HAS SOUPS 12531 WITH SCORE 12562.873
AT ITER 3892 NEW BEST:: SOT 53241 SOS 31872 HAS SOPS 20279 HAS SOUS 17859 HAS SOUPS 12529 WITH SCORE 12560.872
AT ITER 3939 NEW BEST:: SOT 53184 SOS 31890 HAS SOPS 20207 HAS SOUS 17850 HAS SOUPS 12465 WITH SCORE 12496.89
AT ITER 3950 NEW BEST:: SOT 53176 SOS 31874 HAS SOPS 20198 HAS SOUS 17839 HAS SOUPS 12456 WITH SCORE 12487.874
AT ITER 3955 NEW BEST:: SOT 53174 SOS 31872 HAS SOPS 20195 HAS SOUS 17837 HAS SOUPS 12453 WITH SCORE 12484.872
AT ITER 3960 NEW BEST:: SOT 53118 SOS 31827 HAS SOPS 20139 HAS SOUS 17876 HAS SOUPS 12441 WITH SCORE 12472.827
AT ITER 3975 NEW BEST:: SOT 53118 SOS 31822 HAS SOPS 20139 HAS SOUS 17876 HAS SOUPS 12441 WITH SCORE 12472.822
AT ITER 4006 NEW BEST:: SOT 53166 SOS 31834 HAS SOPS 20205 HAS SOUS 17748 HAS SOUPS 12435 WITH SCORE 12466.834
AT ITER 4044 NEW BEST:: SOT 53164 SOS 31832 HAS SOPS 20194 HAS SOUS 17746 HAS SOUPS 12424 WITH SCORE 12455.832
AT ITER 4048 NEW BEST:: SOT 53163 SOS 31829 HAS SOPS 20191 HAS SOUS 17743 HAS SOUPS 12421 WITH SCORE 12452.829
AT ITER 4129 NEW BEST:: SOT 53141 SOS 31807 HAS SOPS 20162 HAS SOUS 17714 HAS SOUPS 12392 WITH SCORE 12423.807
AT ITER 4181 NEW BEST:: SOT 53029 SOS 31731 HAS SOPS 20064 HAS SOUS 17472 HAS SOUPS 12150 WITH SCORE 12181.731
AT ITER 4189 NEW BEST:: SOT 53028 SOS 31728 HAS SOPS 20061 HAS SOUS 17467 HAS SOUPS 12147 WITH SCORE 12178.728
AT ITER 4226 NEW BEST:: SOT 53013 SOS 31713 HAS SOPS 20046 HAS SOUS 17464 HAS SOUPS 12144 WITH SCORE 12175.713
AT ITER 4250 NEW BEST:: SOT 52962 SOS 31662 HAS SOPS 19990 HAS SOUS 17408 HAS SOUPS 12088 WITH SCORE 12119.662
AT ITER 4253 NEW BEST:: SOT 52962 SOS 31662 HAS SOPS 19988 HAS SOUS 17408 HAS SOUPS 12086 WITH SCORE 12117.662
AT ITER 4310 NEW BEST:: SOT 52962 SOS 31656 HAS SOPS 19982 HAS SOUS 17408 HAS SOUPS 12086 WITH SCORE 12117.656
AT ITER 4380 NEW BEST:: SOT 52954 SOS 31648 HAS SOPS 19974 HAS SOUS 17400 HAS SOUPS 12078 WITH SCORE 12109.648
AT ITER 4385 NEW BEST:: SOT 52952 SOS 31646 HAS SOPS 19970 HAS SOUS 17398 HAS SOUPS 12074 WITH SCORE 12105.646
AT ITER 4412 NEW BEST:: SOT 52965 SOS 31659 HAS SOPS 19969 HAS SOUS 17411 HAS SOUPS 12073 WITH SCORE 12104.659
AT ITER 4420 NEW BEST:: SOT 52956 SOS 31650 HAS SOPS 19960 HAS SOUS 17402 HAS SOUPS 12064 WITH SCORE 12095.65
AT ITER 4425 NEW BEST:: SOT 52953 SOS 31647 HAS SOPS 19954 HAS SOUS 17399 HAS SOUPS 12058 WITH SCORE 12089.647
AT ITER 4428 NEW BEST:: SOT 52881 SOS 31575 HAS SOPS 19882 HAS SOUS 17371 HAS SOUPS 12030 WITH SCORE 12061.575
AT ITER 4453 NEW BEST:: SOT 52881 SOS 31589 HAS SOPS 19896 HAS SOUS 17369 HAS SOUPS 12028 WITH SCORE 12059.589
AT ITER 4457 NEW BEST:: SOT 52881 SOS 31587 HAS SOPS 19883 HAS SOUS 17356 HAS SOUPS 12015 WITH SCORE 12046.587
AT ITER 4513 NEW BEST:: SOT 52859 SOS 31553 HAS SOPS 19889 HAS SOUS 17348 HAS SOUPS 12013 WITH SCORE 12044.553
AT ITER 4515 NEW BEST:: SOT 52859 SOS 31553 HAS SOPS 19889 HAS SOUS 17344 HAS SOUPS 12009 WITH SCORE 12040.553
AT ITER 4533 NEW BEST:: SOT 52629 SOS 31447 HAS SOPS 19823 HAS SOUS 17184 HAS SOUPS 11849 WITH SCORE 11880.447
AT ITER 4534 NEW BEST:: SOT 52640 SOS 31525 HAS SOPS 19819 HAS SOUS 17233 HAS SOUPS 11845 WITH SCORE 11876.525
AT ITER 4556 NEW BEST:: SOT 52629 SOS 31491 HAS SOPS 19789 HAS SOUS 17203 HAS SOUPS 11815 WITH SCORE 11846.491
AT ITER 4584 NEW BEST:: SOT 52538 SOS 31289 HAS SOPS 19569 HAS SOUS 17077 HAS SOUPS 11689 WITH SCORE 11720.289
AT ITER 4644 NEW BEST:: SOT 52522 SOS 31273 HAS SOPS 19552 HAS SOUS 17069 HAS SOUPS 11680 WITH SCORE 11711.273
AT ITER 4658 NEW BEST:: SOT 52506 SOS 31265 HAS SOPS 19545 HAS SOUS 17058 HAS SOUPS 11669 WITH SCORE 11700.265
AT ITER 4679 NEW BEST:: SOT 52490 SOS 31253 HAS SOPS 19529 HAS SOUS 17026 HAS SOUPS 11637 WITH SCORE 11668.253
AT ITER 4689 NEW BEST:: SOT 52488 SOS 31251 HAS SOPS 19527 HAS SOUS 17024 HAS SOUPS 11635 WITH SCORE 11666.251
AT ITER 4709 NEW BEST:: SOT 52488 SOS 31235 HAS SOPS 19463 HAS SOUS 16960 HAS SOUPS 11579 WITH SCORE 11610.235
AT ITER 4766 NEW BEST:: SOT 52501 SOS 31248 HAS SOPS 19481 HAS SOUS 16929 HAS SOUPS 11553 WITH SCORE 11584.248
AT ITER 4817 NEW BEST:: SOT 52411 SOS 31164 HAS SOPS 19361 HAS SOUS 16825 HAS SOUPS 11441 WITH SCORE 11472.164
AT ITER 4849 NEW BEST:: SOT 52362 SOS 31026 HAS SOPS 19375 HAS SOUS 16811 HAS SOUPS 11441 WITH SCORE 11472.026
AT ITER 4869 NEW BEST:: SOT 52348 SOS 31012 HAS SOPS 19361 HAS SOUS 16797 HAS SOUPS 11427 WITH SCORE 11458.012
AT ITER 4885 NEW BEST:: SOT 52348 SOS 31012 HAS SOPS 19356 HAS SOUS 16792 HAS SOUPS 11422 WITH SCORE 11453.012
AT ITER 4904 NEW BEST:: SOT 52334 SOS 31014 HAS SOPS 19342 HAS SOUS 16802 HAS SOUPS 11416 WITH SCORE 11447.014
AT ITER 4919 NEW BEST:: SOT 52334 SOS 31014 HAS SOPS 19354 HAS SOUS 16800 HAS SOUPS 11414 WITH SCORE 11445.014
AT ITER 4924 NEW BEST:: SOT 52326 SOS 31006 HAS SOPS 19352 HAS SOUS 16792 HAS SOUPS 11412 WITH SCORE 11443.006
AT ITER 4985 NEW BEST:: SOT 52325 SOS 31005 HAS SOPS 19350 HAS SOUS 16785 HAS SOUPS 11410 WITH SCORE 11441.005
AT ITER 5010 NEW BEST:: SOT 52322 SOS 31002 HAS SOPS 19338 HAS SOUS 16789 HAS SOUPS 11398 WITH SCORE 11429.002
AT ITER 5014 NEW BEST:: SOT 52315 SOS 30984 HAS SOPS 19324 HAS SOUS 16779 HAS SOUPS 11388 WITH SCORE 11418.984
AT ITER 5053 NEW BEST:: SOT 52302 SOS 30971 HAS SOPS 19298 HAS SOUS 16766 HAS SOUPS 11362 WITH SCORE 11392.971
AT ITER 5076 NEW BEST:: SOT 52302 SOS 30964 HAS SOPS 19291 HAS SOUS 16766 HAS SOUPS 11362 WITH SCORE 11392.964
AT ITER 5105 NEW BEST:: SOT 52296 SOS 30957 HAS SOPS 19285 HAS SOUS 16757 HAS SOUPS 11356 WITH SCORE 11386.957
AT ITER 5107 NEW BEST:: SOT 52281 SOS 30942 HAS SOPS 19270 HAS SOUS 16750 HAS SOUPS 11349 WITH SCORE 11379.942
AT ITER 5116 NEW BEST:: SOT 52288 SOS 30957 HAS SOPS 19228 HAS SOUS 16708 HAS SOUPS 11307 WITH SCORE 11337.957
AT ITER 5133 NEW BEST:: SOT 52276 SOS 30945 HAS SOPS 19212 HAS SOUS 16700 HAS SOUPS 11299 WITH SCORE 11329.945
AT ITER 5228 NEW BEST:: SOT 52264 SOS 30933 HAS SOPS 19200 HAS SOUS 16688 HAS SOUPS 11287 WITH SCORE 11317.933
AT ITER 5270 NEW BEST:: SOT 52216 SOS 30883 HAS SOPS 19150 HAS SOUS 16638 HAS SOUPS 11237 WITH SCORE 11267.883
AT ITER 5276 NEW BEST:: SOT 52195 SOS 30866 HAS SOPS 19100 HAS SOUS 16586 HAS SOUPS 11185 WITH SCORE 11215.866
AT ITER 5324 NEW BEST:: SOT 52197 SOS 30861 HAS SOPS 19102 HAS SOUS 16582 HAS SOUPS 11183 WITH SCORE 11213.861
AT ITER 5403 NEW BEST:: SOT 52191 SOS 30855 HAS SOPS 19089 HAS SOUS 16569 HAS SOUPS 11170 WITH SCORE 11200.855
AT ITER 5422 NEW BEST:: SOT 52169 SOS 30871 HAS SOPS 19063 HAS SOUS 16543 HAS SOUPS 11144 WITH SCORE 11174.871
AT ITER 5524 NEW BEST:: SOT 52168 SOS 30870 HAS SOPS 19061 HAS SOUS 16541 HAS SOUPS 11142 WITH SCORE 11172.87
AT ITER 5620 NEW BEST:: SOT 52155 SOS 30857 HAS SOPS 19035 HAS SOUS 16528 HAS SOUPS 11116 WITH SCORE 11146.857
AT ITER 5625 NEW BEST:: SOT 52150 SOS 30852 HAS SOPS 18990 HAS SOUS 16483 HAS SOUPS 11071 WITH SCORE 11101.852
AT ITER 5650 NEW BEST:: SOT 52148 SOS 30855 HAS SOPS 18987 HAS SOUS 16486 HAS SOUPS 11068 WITH SCORE 11098.855
AT ITER 5808 NEW BEST:: SOT 52127 SOS 30834 HAS SOPS 18984 HAS SOUS 16441 HAS SOUPS 11044 WITH SCORE 11074.834
AT ITER 5813 NEW BEST:: SOT 52122 SOS 30829 HAS SOPS 18974 HAS SOUS 16436 HAS SOUPS 11034 WITH SCORE 11064.829
AT ITER 5828 NEW BEST:: SOT 52122 SOS 30780 HAS SOPS 18925 HAS SOUS 16426 HAS SOUPS 11024 WITH SCORE 11054.78
AT ITER 5832 NEW BEST:: SOT 52173 SOS 30765 HAS SOPS 18975 HAS SOUS 16415 HAS SOUPS 11018 WITH SCORE 11048.765
AT ITER 5839 NEW BEST:: SOT 52149 SOS 30741 HAS SOPS 18951 HAS SOUS 16391 HAS SOUPS 10994 WITH SCORE 11024.741
AT ITER 5841 NEW BEST:: SOT 52147 SOS 30739 HAS SOPS 18949 HAS SOUS 16386 HAS SOUPS 10989 WITH SCORE 11019.739
AT ITER 5845 NEW BEST:: SOT 52126 SOS 30705 HAS SOPS 18915 HAS SOUS 16352 HAS SOUPS 10955 WITH SCORE 10985.705
AT ITER 5852 NEW BEST:: SOT 52119 SOS 30698 HAS SOPS 18909 HAS SOUS 16345 HAS SOUPS 10949 WITH SCORE 10979.698
AT ITER 5889 NEW BEST:: SOT 52125 SOS 30704 HAS SOPS 18915 HAS SOUS 16339 HAS SOUPS 10943 WITH SCORE 10973.704
AT ITER 5954 NEW BEST:: SOT 52053 SOS 30614 HAS SOPS 18834 HAS SOUS 16267 HAS SOUPS 10871 WITH SCORE 10901.614
AT ITER 5992 NEW BEST:: SOT 52054 SOS 30617 HAS SOPS 18830 HAS SOUS 16262 HAS SOUPS 10866 WITH SCORE 10896.617
AT ITER 6009 NEW BEST:: SOT 52051 SOS 30614 HAS SOPS 18827 HAS SOUS 16259 HAS SOUPS 10863 WITH SCORE 10893.614
AT ITER 6023 NEW BEST:: SOT 52035 SOS 30600 HAS SOPS 18813 HAS SOUS 16245 HAS SOUPS 10849 WITH SCORE 10879.6
AT ITER 6038 NEW BEST:: SOT 52029 SOS 30573 HAS SOPS 18788 HAS SOUS 16213 HAS SOUPS 10824 WITH SCORE 10854.573
AT ITER 6047 NEW BEST:: SOT 52027 SOS 30571 HAS SOPS 18784 HAS SOUS 16211 HAS SOUPS 10820 WITH SCORE 10850.571
AT ITER 6105 NEW BEST:: SOT 52027 SOS 30616 HAS SOPS 18779 HAS SOUS 16238 HAS SOUPS 10815 WITH SCORE 10845.616
AT ITER 6141 NEW BEST:: SOT 52013 SOS 30603 HAS SOPS 18745 HAS SOUS 16204 HAS SOUPS 10781 WITH SCORE 10811.603
AT ITER 6166 NEW BEST:: SOT 52013 SOS 30603 HAS SOPS 18744 HAS SOUS 16204 HAS SOUPS 10780 WITH SCORE 10810.603
AT ITER 6276 NEW BEST:: SOT 51995 SOS 30585 HAS SOPS 18724 HAS SOUS 16184 HAS SOUPS 10760 WITH SCORE 10790.585
AT ITER 6284 NEW BEST:: SOT 51989 SOS 30579 HAS SOPS 18724 HAS SOUS 16178 HAS SOUPS 10760 WITH SCORE 10790.579
AT ITER 6308 NEW BEST:: SOT 51981 SOS 30571 HAS SOPS 18708 HAS SOUS 16170 HAS SOUPS 10744 WITH SCORE 10774.571
AT ITER 6315 NEW BEST:: SOT 51992 SOS 30571 HAS SOPS 18719 HAS SOUS 16167 HAS SOUPS 10742 WITH SCORE 10772.571
AT ITER 6352 NEW BEST:: SOT 51987 SOS 30566 HAS SOPS 18716 HAS SOUS 16164 HAS SOUPS 10739 WITH SCORE 10769.566
AT ITER 6367 NEW BEST:: SOT 51985 SOS 30564 HAS SOPS 18712 HAS SOUS 16162 HAS SOUPS 10735 WITH SCORE 10765.564
AT ITER 6392 NEW BEST:: SOT 51983 SOS 30562 HAS SOPS 18708 HAS SOUS 16160 HAS SOUPS 10731 WITH SCORE 10761.562
AT ITER 6403 NEW BEST:: SOT 51926 SOS 30471 HAS SOPS 18689 HAS SOUS 16151 HAS SOUPS 10722 WITH SCORE 10752.471
AT ITER 6500 NEW BEST:: SOT 51915 SOS 30460 HAS SOPS 18673 HAS SOUS 16140 HAS SOUPS 10706 WITH SCORE 10736.46
AT ITER 6575 NEW BEST:: SOT 51907 SOS 30452 HAS SOPS 18666 HAS SOUS 16132 HAS SOUPS 10699 WITH SCORE 10729.452
AT ITER 6681 NEW BEST:: SOT 51945 SOS 30490 HAS SOPS 18662 HAS SOUS 16128 HAS SOUPS 10695 WITH SCORE 10725.49
AT ITER 6690 NEW BEST:: SOT 51942 SOS 30487 HAS SOPS 18656 HAS SOUS 16125 HAS SOUPS 10689 WITH SCORE 10719.487
AT ITER 6737 NEW BEST:: SOT 51935 SOS 30480 HAS SOPS 18649 HAS SOUS 16118 HAS SOUPS 10682 WITH SCORE 10712.48
AT ITER 6775 NEW BEST:: SOT 51911 SOS 30451 HAS SOPS 18620 HAS SOUS 16089 HAS SOUPS 10653 WITH SCORE 10683.451
AT ITER 6801 NEW BEST:: SOT 51911 SOS 30379 HAS SOPS 18548 HAS SOUS 16089 HAS SOUPS 10653 WITH SCORE 10683.379
AT ITER 6844 NEW BEST:: SOT 51910 SOS 30378 HAS SOPS 18548 HAS SOUS 16088 HAS SOUPS 10653 WITH SCORE 10683.378
AT ITER 6879 NEW BEST:: SOT 51908 SOS 30376 HAS SOPS 18544 HAS SOUS 16084 HAS SOUPS 10649 WITH SCORE 10679.376
AT ITER 6886 NEW BEST:: SOT 51908 SOS 30366 HAS SOPS 18534 HAS SOUS 16084 HAS SOUPS 10649 WITH SCORE 10679.366
AT ITER 6963 NEW BEST:: SOT 51905 SOS 30363 HAS SOPS 18530 HAS SOUS 16080 HAS SOUPS 10645 WITH SCORE 10675.363
AT ITER 7052 NEW BEST:: SOT 51897 SOS 30355 HAS SOPS 18522 HAS SOUS 16072 HAS SOUPS 10637 WITH SCORE 10667.355
AT ITER 7119 NEW BEST:: SOT 51881 SOS 30345 HAS SOPS 18512 HAS SOUS 16062 HAS SOUPS 10627 WITH SCORE 10657.345
AT ITER 7310 NEW BEST:: SOT 51888 SOS 30366 HAS SOPS 18477 HAS SOUS 16020 HAS SOUPS 10585 WITH SCORE 10615.366
AT ITER 7335 NEW BEST:: SOT 51885 SOS 30363 HAS SOPS 18471 HAS SOUS 16017 HAS SOUPS 10579 WITH SCORE 10609.363
AT ITER 7398 NEW BEST:: SOT 51867 SOS 30351 HAS SOPS 18456 HAS SOUS 15999 HAS SOUPS 10561 WITH SCORE 10591.351
AT ITER 7483 NEW BEST:: SOT 51850 SOS 30337 HAS SOPS 18429 HAS SOUS 15968 HAS SOUPS 10534 WITH SCORE 10564.337
AT ITER 7489 NEW BEST:: SOT 51838 SOS 30325 HAS SOPS 18422 HAS SOUS 15956 HAS SOUPS 10527 WITH SCORE 10557.325
AT ITER 7492 NEW BEST:: SOT 51827 SOS 30314 HAS SOPS 18416 HAS SOUS 15950 HAS SOUPS 10521 WITH SCORE 10551.314
AT ITER 7506 NEW BEST:: SOT 51722 SOS 30224 HAS SOPS 18326 HAS SOUS 15845 HAS SOUPS 10416 WITH SCORE 10446.224
AT ITER 7579 NEW BEST:: SOT 51720 SOS 30221 HAS SOPS 18322 HAS SOUS 15841 HAS SOUPS 10412 WITH SCORE 10442.221
AT ITER 7592 NEW BEST:: SOT 51716 SOS 30217 HAS SOPS 18318 HAS SOUS 15837 HAS SOUPS 10408 WITH SCORE 10438.217
AT ITER 7739 NEW BEST:: SOT 51709 SOS 30210 HAS SOPS 18304 HAS SOUS 15816 HAS SOUPS 10394 WITH SCORE 10424.21
AT ITER 7848 NEW BEST:: SOT 51713 SOS 30214 HAS SOPS 18308 HAS SOUS 15808 HAS SOUPS 10386 WITH SCORE 10416.214
AT ITER 7909 NEW BEST:: SOT 51713 SOS 30214 HAS SOPS 18306 HAS SOUS 15806 HAS SOUPS 10384 WITH SCORE 10414.214
AT ITER 7970 NEW BEST:: SOT 51710 SOS 30211 HAS SOPS 18300 HAS SOUS 15803 HAS SOUPS 10378 WITH SCORE 10408.211
AT ITER 7981 NEW BEST:: SOT 51708 SOS 30209 HAS SOPS 18296 HAS SOUS 15801 HAS SOUPS 10374 WITH SCORE 10404.209
AT ITER 8040 NEW BEST:: SOT 51707 SOS 30208 HAS SOPS 18295 HAS SOUS 15800 HAS SOUPS 10373 WITH SCORE 10403.208
AT ITER 8048 NEW BEST:: SOT 51707 SOS 30144 HAS SOPS 18231 HAS SOUS 15797 HAS SOUPS 10370 WITH SCORE 10400.144
AT ITER 8054 NEW BEST:: SOT 51701 SOS 30138 HAS SOPS 18225 HAS SOUS 15791 HAS SOUPS 10364 WITH SCORE 10394.138
AT ITER 8057 NEW BEST:: SOT 51697 SOS 30138 HAS SOPS 18221 HAS SOUS 15787 HAS SOUPS 10360 WITH SCORE 10390.138
AT ITER 8247 NEW BEST:: SOT 51697 SOS 30176 HAS SOPS 18259 HAS SOUS 15784 HAS SOUPS 10357 WITH SCORE 10387.176
AT ITER 8253 NEW BEST:: SOT 51732 SOS 30169 HAS SOPS 18351 HAS SOUS 15773 HAS SOUPS 10355 WITH SCORE 10385.169
AT ITER 8266 NEW BEST:: SOT 51732 SOS 30156 HAS SOPS 18338 HAS SOUS 15771 HAS SOUPS 10353 WITH SCORE 10383.156
AT ITER 8277 NEW BEST:: SOT 51721 SOS 30147 HAS SOPS 18326 HAS SOUS 15772 HAS SOUPS 10353 WITH SCORE 10383.147
AT ITER 8321 NEW BEST:: SOT 51720 SOS 30146 HAS SOPS 18324 HAS SOUS 15771 HAS SOUPS 10351 WITH SCORE 10381.146
AT ITER 8563 NEW BEST:: SOT 51718 SOS 30144 HAS SOPS 18322 HAS SOUS 15769 HAS SOUPS 10349 WITH SCORE 10379.144
AT ITER 8595 NEW BEST:: SOT 51737 SOS 30052 HAS SOPS 18276 HAS SOUS 15765 HAS SOUPS 10347 WITH SCORE 10377.052
AT ITER 8601 NEW BEST:: SOT 51716 SOS 30037 HAS SOPS 18255 HAS SOUS 15720 HAS SOUPS 10302 WITH SCORE 10332.037
AT ITER 8609 NEW BEST:: SOT 51716 SOS 30059 HAS SOPS 18277 HAS SOUS 15719 HAS SOUPS 10301 WITH SCORE 10331.059
AT ITER 8623 NEW BEST:: SOT 51706 SOS 30057 HAS SOPS 18281 HAS SOUS 15691 HAS SOUPS 10273 WITH SCORE 10303.057
AT ITER 8677 NEW BEST:: SOT 51720 SOS 30071 HAS SOPS 18279 HAS SOUS 15703 HAS SOUPS 10271 WITH SCORE 10301.071
AT ITER 8720 NEW BEST:: SOT 51716 SOS 30063 HAS SOPS 18295 HAS SOUS 15695 HAS SOUPS 10263 WITH SCORE 10293.063
AT ITER 8795 NEW BEST:: SOT 51708 SOS 30055 HAS SOPS 18288 HAS SOUS 15688 HAS SOUPS 10256 WITH SCORE 10286.055
AT ITER 8861 NEW BEST:: SOT 51679 SOS 30038 HAS SOPS 18259 HAS SOUS 15705 HAS SOUPS 10243 WITH SCORE 10273.038
AT ITER 8948 NEW BEST:: SOT 51679 SOS 29994 HAS SOPS 18215 HAS SOUS 15705 HAS SOUPS 10243 WITH SCORE 10272.994
AT ITER 9001 NEW BEST:: SOT 51666 SOS 29953 HAS SOPS 18202 HAS SOUS 15687 HAS SOUPS 10242 WITH SCORE 10271.953
AT ITER 9073 NEW BEST:: SOT 51662 SOS 29949 HAS SOPS 18197 HAS SOUS 15683 HAS SOUPS 10237 WITH SCORE 10266.949
AT ITER 9166 NEW BEST:: SOT 51653 SOS 29940 HAS SOPS 18188 HAS SOUS 15674 HAS SOUPS 10228 WITH SCORE 10257.94
AT ITER 9413 NEW BEST:: SOT 51652 SOS 29939 HAS SOPS 18186 HAS SOUS 15673 HAS SOUPS 10226 WITH SCORE 10255.939
AT ITER 9442 NEW BEST:: SOT 51650 SOS 29935 HAS SOPS 18183 HAS SOUS 15671 HAS SOUPS 10224 WITH SCORE 10253.935
AT ITER 9446 NEW BEST:: SOT 51649 SOS 29934 HAS SOPS 18181 HAS SOUS 15670 HAS SOUPS 10222 WITH SCORE 10251.934
AT ITER 9514 NEW BEST:: SOT 51648 SOS 29934 HAS SOPS 18180 HAS SOUS 15670 HAS SOUPS 10221 WITH SCORE 10250.934
AT ITER 9580 NEW BEST:: SOT 51640 SOS 29926 HAS SOPS 18171 HAS SOUS 15654 HAS SOUPS 10205 WITH SCORE 10234.926
AT ITER 9581 NEW BEST:: SOT 51638 SOS 29930 HAS SOPS 18171 HAS SOUS 15644 HAS SOUPS 10195 WITH SCORE 10224.93
AT ITER 9596 NEW BEST:: SOT 51629 SOS 29824 HAS SOPS 18162 HAS SOUS 15559 HAS SOUPS 10186 WITH SCORE 10215.824
AT ITER 9645 NEW BEST:: SOT 51629 SOS 29823 HAS SOPS 18161 HAS SOUS 15559 HAS SOUPS 10186 WITH SCORE 10215.823
AT ITER 9729 NEW BEST:: SOT 51673 SOS 29811 HAS SOPS 18185 HAS SOUS 15495 HAS SOUPS 10131 WITH SCORE 10160.811
AT ITER 9760 NEW BEST:: SOT 51673 SOS 29787 HAS SOPS 18161 HAS SOUS 15495 HAS SOUPS 10131 WITH SCORE 10160.787
AT ITER 9816 NEW BEST:: SOT 51673 SOS 29783 HAS SOPS 18157 HAS SOUS 15493 HAS SOUPS 10129 WITH SCORE 10158.783
AT ITER 9998 NEW BEST:: SOT 51670 SOS 29780 HAS SOPS 18151 HAS SOUS 15490 HAS SOUPS 10123 WITH SCORE 10152.78

BK_STOP 1589621383387

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LamportFastMutEx-PT-7"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is LamportFastMutEx-PT-7, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r093-oct2-158940140900688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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