Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250000108.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 MultiwaySync-PT-none, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250000108
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 292K
-rw-r--r-- 1 mcc users 3.6K Apr 8 13:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 8 13:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 16:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 16:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 6 19:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 6 19:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 6 02:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 02:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 111K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-00
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-01
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-02
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-03
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-04
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-05
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-06
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-07
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-08
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-09
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-10
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-11
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-12
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-13
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-14
FORMULA_NAME MultiwaySync-PT-none-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589637808687

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running MultiwaySync (PT), instance none
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 222 places, 472 transitions, 1496 arcs.
AT ITER 0 NEW BEST:: SOT 81779 SOS 68511 HAS SOPS 68511 HAS SOUS 37256 HAS SOUPS 37256 WITH SCORE 37324.511
AT ITER 3 NEW BEST:: SOT 81797 SOS 68502 HAS SOPS 68502 HAS SOUS 37242 HAS SOUPS 37242 WITH SCORE 37310.502
AT ITER 4 NEW BEST:: SOT 81919 SOS 68498 HAS SOPS 68498 HAS SOUS 37139 HAS SOUPS 37139 WITH SCORE 37207.498
AT ITER 11 NEW BEST:: SOT 81885 SOS 68212 HAS SOPS 68212 HAS SOUS 36802 HAS SOUPS 36802 WITH SCORE 36870.212
AT ITER 19 NEW BEST:: SOT 81999 SOS 68177 HAS SOPS 68177 HAS SOUS 36694 HAS SOUPS 36694 WITH SCORE 36762.177
AT ITER 28 NEW BEST:: SOT 81928 SOS 67974 HAS SOPS 67974 HAS SOUS 36589 HAS SOUPS 36589 WITH SCORE 36656.974
AT ITER 29 NEW BEST:: SOT 82025 SOS 68025 HAS SOPS 68025 HAS SOUS 36548 HAS SOUPS 36548 WITH SCORE 36616.025
AT ITER 30 NEW BEST:: SOT 82025 SOS 68046 HAS SOPS 68046 HAS SOUS 36527 HAS SOUPS 36527 WITH SCORE 36595.046
AT ITER 31 NEW BEST:: SOT 82004 SOS 67725 HAS SOPS 67725 HAS SOUS 36477 HAS SOUPS 36477 WITH SCORE 36544.725
AT ITER 32 NEW BEST:: SOT 81636 SOS 67260 HAS SOPS 67260 HAS SOUS 36011 HAS SOUPS 36011 WITH SCORE 36078.26
AT ITER 34 NEW BEST:: SOT 81636 SOS 67166 HAS SOPS 67166 HAS SOUS 36011 HAS SOUPS 36011 WITH SCORE 36078.166
AT ITER 37 NEW BEST:: SOT 82004 SOS 67537 HAS SOPS 67537 HAS SOUS 35877 HAS SOUPS 35877 WITH SCORE 35944.537
AT ITER 42 NEW BEST:: SOT 82004 SOS 67508 HAS SOPS 67508 HAS SOUS 35819 HAS SOUPS 35819 WITH SCORE 35886.508
AT ITER 45 NEW BEST:: SOT 81766 SOS 67270 HAS SOPS 67270 HAS SOUS 35638 HAS SOUPS 35638 WITH SCORE 35705.27
AT ITER 49 NEW BEST:: SOT 81116 SOS 66620 HAS SOPS 66620 HAS SOUS 35243 HAS SOUPS 35243 WITH SCORE 35309.62
AT ITER 51 NEW BEST:: SOT 81132 SOS 66604 HAS SOPS 66604 HAS SOUS 35227 HAS SOUPS 35227 WITH SCORE 35293.604
AT ITER 52 NEW BEST:: SOT 80423 SOS 65930 HAS SOPS 65930 HAS SOUS 35101 HAS SOUPS 35101 WITH SCORE 35166.93
AT ITER 54 NEW BEST:: SOT 80504 SOS 65788 HAS SOPS 65788 HAS SOUS 34999 HAS SOUPS 34999 WITH SCORE 35064.788
AT ITER 55 NEW BEST:: SOT 80214 SOS 65440 HAS SOPS 65440 HAS SOUS 34773 HAS SOUPS 34773 WITH SCORE 34838.44
AT ITER 56 NEW BEST:: SOT 80189 SOS 65390 HAS SOPS 65390 HAS SOUS 34723 HAS SOUPS 34723 WITH SCORE 34788.39
AT ITER 57 NEW BEST:: SOT 80186 SOS 65384 HAS SOPS 65384 HAS SOUS 34711 HAS SOUPS 34711 WITH SCORE 34776.384
AT ITER 59 NEW BEST:: SOT 79676 SOS 64729 HAS SOPS 64729 HAS SOUS 34474 HAS SOUPS 34474 WITH SCORE 34538.729
AT ITER 60 NEW BEST:: SOT 79667 SOS 64449 HAS SOPS 64449 HAS SOUS 34377 HAS SOUPS 34377 WITH SCORE 34441.449
AT ITER 62 NEW BEST:: SOT 79586 SOS 64368 HAS SOPS 64368 HAS SOUS 34359 HAS SOUPS 34359 WITH SCORE 34423.368
AT ITER 67 NEW BEST:: SOT 79557 SOS 64310 HAS SOPS 64310 HAS SOUS 34272 HAS SOUPS 34272 WITH SCORE 34336.31
AT ITER 69 NEW BEST:: SOT 79543 SOS 64221 HAS SOPS 64221 HAS SOUS 34135 HAS SOUPS 34135 WITH SCORE 34199.221
AT ITER 72 NEW BEST:: SOT 79485 SOS 63977 HAS SOPS 63977 HAS SOUS 34015 HAS SOUPS 34015 WITH SCORE 34078.977
AT ITER 80 NEW BEST:: SOT 78970 SOS 63050 HAS SOPS 63050 HAS SOUS 33659 HAS SOUPS 33659 WITH SCORE 33722.05
AT ITER 81 NEW BEST:: SOT 78932 SOS 63025 HAS SOPS 63025 HAS SOUS 33391 HAS SOUPS 33391 WITH SCORE 33454.025
AT ITER 85 NEW BEST:: SOT 78915 SOS 63008 HAS SOPS 63008 HAS SOUS 33340 HAS SOUPS 33340 WITH SCORE 33403.008
AT ITER 86 NEW BEST:: SOT 78699 SOS 62756 HAS SOPS 62756 HAS SOUS 33196 HAS SOUPS 33196 WITH SCORE 33258.756
AT ITER 87 NEW BEST:: SOT 78699 SOS 62768 HAS SOPS 62768 HAS SOUS 33178 HAS SOUPS 33178 WITH SCORE 33240.768
AT ITER 88 NEW BEST:: SOT 78696 SOS 62762 HAS SOPS 62762 HAS SOUS 33169 HAS SOUPS 33169 WITH SCORE 33231.762
AT ITER 90 NEW BEST:: SOT 78696 SOS 62759 HAS SOPS 62759 HAS SOUS 33169 HAS SOUPS 33169 WITH SCORE 33231.759
AT ITER 92 NEW BEST:: SOT 78629 SOS 62270 HAS SOPS 62270 HAS SOUS 33058 HAS SOUPS 33058 WITH SCORE 33120.27
AT ITER 96 NEW BEST:: SOT 78604 SOS 62245 HAS SOPS 62245 HAS SOUS 32958 HAS SOUPS 32958 WITH SCORE 33020.245
AT ITER 98 NEW BEST:: SOT 77537 SOS 62069 HAS SOPS 62069 HAS SOUS 32704 HAS SOUPS 32704 WITH SCORE 32766.069
AT ITER 100 NEW BEST:: SOT 77537 SOS 62067 HAS SOPS 62067 HAS SOUS 32690 HAS SOUPS 32690 WITH SCORE 32752.067
AT ITER 112 NEW BEST:: SOT 77537 SOS 61997 HAS SOPS 61997 HAS SOUS 32666 HAS SOUPS 32666 WITH SCORE 32727.997
AT ITER 120 NEW BEST:: SOT 77461 SOS 54351 HAS SOPS 54351 HAS SOUS 30467 HAS SOUPS 30467 WITH SCORE 30521.351
AT ITER 127 NEW BEST:: SOT 70345 SOS 47186 HAS SOPS 47186 HAS SOUS 23986 HAS SOUPS 23986 WITH SCORE 24033.186
AT ITER 129 NEW BEST:: SOT 70163 SOS 46900 HAS SOPS 46900 HAS SOUS 23878 HAS SOUPS 23878 WITH SCORE 23924.9
AT ITER 130 NEW BEST:: SOT 70104 SOS 46469 HAS SOPS 46469 HAS SOUS 23738 HAS SOUPS 23738 WITH SCORE 23784.469
AT ITER 135 NEW BEST:: SOT 69999 SOS 46364 HAS SOPS 46364 HAS SOUS 23660 HAS SOUPS 23660 WITH SCORE 23706.364
AT ITER 140 NEW BEST:: SOT 70027 SOS 46376 HAS SOPS 46376 HAS SOUS 23640 HAS SOUPS 23640 WITH SCORE 23686.376
AT ITER 144 NEW BEST:: SOT 69919 SOS 46268 HAS SOPS 46268 HAS SOUS 23640 HAS SOUPS 23640 WITH SCORE 23686.268
AT ITER 148 NEW BEST:: SOT 69916 SOS 46265 HAS SOPS 46265 HAS SOUS 23640 HAS SOUPS 23640 WITH SCORE 23686.265
AT ITER 149 NEW BEST:: SOT 69963 SOS 45980 HAS SOPS 45980 HAS SOUS 23512 HAS SOUPS 23512 WITH SCORE 23557.98
AT ITER 151 NEW BEST:: SOT 69391 SOS 45444 HAS SOPS 45444 HAS SOUS 23160 HAS SOUPS 23160 WITH SCORE 23205.444
AT ITER 157 NEW BEST:: SOT 69226 SOS 45279 HAS SOPS 45279 HAS SOUS 23085 HAS SOUPS 23085 WITH SCORE 23130.279
AT ITER 158 NEW BEST:: SOT 69406 SOS 45056 HAS SOPS 45056 HAS SOUS 23061 HAS SOUPS 23061 WITH SCORE 23106.056
AT ITER 161 NEW BEST:: SOT 69362 SOS 45010 HAS SOPS 45010 HAS SOUS 23052 HAS SOUPS 23052 WITH SCORE 23097.01
AT ITER 167 NEW BEST:: SOT 69344 SOS 45042 HAS SOPS 45042 HAS SOUS 22956 HAS SOUPS 22956 WITH SCORE 23001.042
AT ITER 168 NEW BEST:: SOT 69500 SOS 45080 HAS SOPS 45080 HAS SOUS 22883 HAS SOUPS 22883 WITH SCORE 22928.08
AT ITER 175 NEW BEST:: SOT 68471 SOS 44165 HAS SOPS 44165 HAS SOUS 22681 HAS SOUPS 22681 WITH SCORE 22725.165
AT ITER 179 NEW BEST:: SOT 68471 SOS 44244 HAS SOPS 44244 HAS SOUS 22670 HAS SOUPS 22670 WITH SCORE 22714.244
AT ITER 180 NEW BEST:: SOT 68469 SOS 44242 HAS SOPS 44242 HAS SOUS 22670 HAS SOUPS 22670 WITH SCORE 22714.242
AT ITER 181 NEW BEST:: SOT 68502 SOS 44292 HAS SOPS 44292 HAS SOUS 22637 HAS SOUPS 22637 WITH SCORE 22681.292
AT ITER 186 NEW BEST:: SOT 68502 SOS 44232 HAS SOPS 44232 HAS SOUS 22637 HAS SOUPS 22637 WITH SCORE 22681.232
AT ITER 187 NEW BEST:: SOT 68529 SOS 44326 HAS SOPS 44326 HAS SOUS 22610 HAS SOUPS 22610 WITH SCORE 22654.326
AT ITER 191 NEW BEST:: SOT 68517 SOS 44335 HAS SOPS 44335 HAS SOUS 22551 HAS SOUPS 22551 WITH SCORE 22595.335
AT ITER 192 NEW BEST:: SOT 68558 SOS 44307 HAS SOPS 44307 HAS SOUS 22518 HAS SOUPS 22518 WITH SCORE 22562.307
AT ITER 194 NEW BEST:: SOT 68558 SOS 44317 HAS SOPS 44317 HAS SOUS 22514 HAS SOUPS 22514 WITH SCORE 22558.317
AT ITER 196 NEW BEST:: SOT 68247 SOS 43715 HAS SOPS 43715 HAS SOUS 22423 HAS SOUPS 22423 WITH SCORE 22466.715
AT ITER 204 NEW BEST:: SOT 68247 SOS 43708 HAS SOPS 43708 HAS SOUS 22423 HAS SOUPS 22423 WITH SCORE 22466.708
AT ITER 205 NEW BEST:: SOT 68122 SOS 43558 HAS SOPS 43558 HAS SOUS 22323 HAS SOUPS 22323 WITH SCORE 22366.558
AT ITER 210 NEW BEST:: SOT 68119 SOS 43552 HAS SOPS 43552 HAS SOUS 22314 HAS SOUPS 22314 WITH SCORE 22357.552
AT ITER 211 NEW BEST:: SOT 68118 SOS 43548 HAS SOPS 43548 HAS SOUS 22314 HAS SOUPS 22314 WITH SCORE 22357.548
AT ITER 214 NEW BEST:: SOT 68114 SOS 43494 HAS SOPS 43494 HAS SOUS 22310 HAS SOUPS 22310 WITH SCORE 22353.494
AT ITER 215 NEW BEST:: SOT 67749 SOS 42826 HAS SOPS 42826 HAS SOUS 22086 HAS SOUPS 22086 WITH SCORE 22128.826
AT ITER 228 NEW BEST:: SOT 67729 SOS 42806 HAS SOPS 42806 HAS SOUS 22086 HAS SOUPS 22086 WITH SCORE 22128.806
AT ITER 231 NEW BEST:: SOT 67695 SOS 42843 HAS SOPS 42843 HAS SOUS 22083 HAS SOUPS 22083 WITH SCORE 22125.843
AT ITER 233 NEW BEST:: SOT 67759 SOS 42698 HAS SOPS 42681 HAS SOUS 22093 HAS SOUPS 22076 WITH SCORE 22118.698
AT ITER 236 NEW BEST:: SOT 67759 SOS 42653 HAS SOPS 42636 HAS SOUS 22093 HAS SOUPS 22076 WITH SCORE 22118.653
AT ITER 247 NEW BEST:: SOT 67732 SOS 42467 HAS SOPS 42450 HAS SOUS 22047 HAS SOUPS 22030 WITH SCORE 22072.467
AT ITER 251 NEW BEST:: SOT 67732 SOS 42476 HAS SOPS 42459 HAS SOUS 22029 HAS SOUPS 22012 WITH SCORE 22054.476
AT ITER 255 NEW BEST:: SOT 67695 SOS 42379 HAS SOPS 42362 HAS SOUS 21972 HAS SOUPS 21955 WITH SCORE 21997.379
AT ITER 257 NEW BEST:: SOT 67604 SOS 42548 HAS SOPS 42531 HAS SOUS 21936 HAS SOUPS 21919 WITH SCORE 21961.548
AT ITER 267 NEW BEST:: SOT 67589 SOS 42439 HAS SOPS 42422 HAS SOUS 21925 HAS SOUPS 21908 WITH SCORE 21950.439
AT ITER 269 NEW BEST:: SOT 67582 SOS 42453 HAS SOPS 42436 HAS SOUS 21904 HAS SOUPS 21887 WITH SCORE 21929.453
AT ITER 272 NEW BEST:: SOT 67558 SOS 42432 HAS SOPS 42415 HAS SOUS 21886 HAS SOUPS 21869 WITH SCORE 21911.432
AT ITER 284 NEW BEST:: SOT 67561 SOS 42426 HAS SOPS 42409 HAS SOUS 21886 HAS SOUPS 21869 WITH SCORE 21911.426
AT ITER 289 NEW BEST:: SOT 67406 SOS 41716 HAS SOPS 41699 HAS SOUS 21760 HAS SOUPS 21743 WITH SCORE 21784.716
AT ITER 292 NEW BEST:: SOT 67404 SOS 41714 HAS SOPS 41697 HAS SOUS 21751 HAS SOUPS 21734 WITH SCORE 21775.714
AT ITER 293 NEW BEST:: SOT 67530 SOS 41681 HAS SOPS 41664 HAS SOUS 21616 HAS SOUPS 21599 WITH SCORE 21640.681
AT ITER 294 NEW BEST:: SOT 67511 SOS 41526 HAS SOPS 41509 HAS SOUS 21616 HAS SOUPS 21599 WITH SCORE 21640.526
AT ITER 306 NEW BEST:: SOT 67370 SOS 40952 HAS SOPS 40935 HAS SOUS 21554 HAS SOUPS 21537 WITH SCORE 21577.952
AT ITER 311 NEW BEST:: SOT 67663 SOS 41255 HAS SOPS 41238 HAS SOUS 21482 HAS SOUPS 21465 WITH SCORE 21506.255
AT ITER 315 NEW BEST:: SOT 67663 SOS 41231 HAS SOPS 41214 HAS SOUS 21482 HAS SOUPS 21465 WITH SCORE 21506.231
AT ITER 316 NEW BEST:: SOT 67664 SOS 41221 HAS SOPS 41204 HAS SOUS 21482 HAS SOUPS 21465 WITH SCORE 21506.221
AT ITER 319 NEW BEST:: SOT 67488 SOS 40859 HAS SOPS 40842 HAS SOUS 21312 HAS SOUPS 21295 WITH SCORE 21335.859
AT ITER 321 NEW BEST:: SOT 67469 SOS 40783 HAS SOPS 40766 HAS SOUS 21146 HAS SOUPS 21129 WITH SCORE 21169.783
AT ITER 324 NEW BEST:: SOT 67469 SOS 40781 HAS SOPS 40764 HAS SOUS 21136 HAS SOUPS 21119 WITH SCORE 21159.781
AT ITER 328 NEW BEST:: SOT 67435 SOS 40747 HAS SOPS 40730 HAS SOUS 21102 HAS SOUPS 21085 WITH SCORE 21125.747
AT ITER 331 NEW BEST:: SOT 67429 SOS 40738 HAS SOPS 40721 HAS SOUS 21090 HAS SOUPS 21073 WITH SCORE 21113.738
AT ITER 334 NEW BEST:: SOT 67363 SOS 40659 HAS SOPS 40642 HAS SOUS 21021 HAS SOUPS 21004 WITH SCORE 21044.659
AT ITER 336 NEW BEST:: SOT 67344 SOS 40564 HAS SOPS 40547 HAS SOUS 20996 HAS SOUPS 20979 WITH SCORE 21019.564
AT ITER 344 NEW BEST:: SOT 67016 SOS 40038 HAS SOPS 40021 HAS SOUS 20857 HAS SOUPS 20840 WITH SCORE 20880.038
AT ITER 345 NEW BEST:: SOT 67019 SOS 40029 HAS SOPS 40012 HAS SOUS 20847 HAS SOUPS 20830 WITH SCORE 20870.029
AT ITER 347 NEW BEST:: SOT 67001 SOS 39871 HAS SOPS 39854 HAS SOUS 20760 HAS SOUPS 20743 WITH SCORE 20782.871
AT ITER 352 NEW BEST:: SOT 67076 SOS 39909 HAS SOPS 39892 HAS SOUS 20747 HAS SOUPS 20730 WITH SCORE 20769.909
AT ITER 355 NEW BEST:: SOT 66836 SOS 39657 HAS SOPS 39640 HAS SOUS 20593 HAS SOUPS 20576 WITH SCORE 20615.657
AT ITER 360 NEW BEST:: SOT 66833 SOS 39654 HAS SOPS 39637 HAS SOUS 20586 HAS SOUPS 20569 WITH SCORE 20608.654
AT ITER 361 NEW BEST:: SOT 66998 SOS 39383 HAS SOPS 39366 HAS SOUS 20529 HAS SOUPS 20512 WITH SCORE 20551.383
AT ITER 363 NEW BEST:: SOT 67010 SOS 39015 HAS SOPS 38998 HAS SOUS 20369 HAS SOUPS 20352 WITH SCORE 20391.015
AT ITER 365 NEW BEST:: SOT 66969 SOS 38914 HAS SOPS 38897 HAS SOUS 20311 HAS SOUPS 20294 WITH SCORE 20332.914
AT ITER 366 NEW BEST:: SOT 66914 SOS 38679 HAS SOPS 38662 HAS SOUS 20145 HAS SOUPS 20128 WITH SCORE 20166.679
AT ITER 367 NEW BEST:: SOT 66730 SOS 38185 HAS SOPS 38168 HAS SOUS 20028 HAS SOUPS 20011 WITH SCORE 20049.185
AT ITER 375 NEW BEST:: SOT 66466 SOS 37734 HAS SOPS 37717 HAS SOUS 19951 HAS SOUPS 19934 WITH SCORE 19971.734
AT ITER 376 NEW BEST:: SOT 66307 SOS 37627 HAS SOPS 37610 HAS SOUS 19897 HAS SOUPS 19880 WITH SCORE 19917.627
AT ITER 392 NEW BEST:: SOT 66780 SOS 37880 HAS SOPS 37863 HAS SOUS 19842 HAS SOUPS 19825 WITH SCORE 19862.88
AT ITER 394 NEW BEST:: SOT 66855 SOS 37955 HAS SOPS 37938 HAS SOUS 19801 HAS SOUPS 19784 WITH SCORE 19821.955
AT ITER 400 NEW BEST:: SOT 66465 SOS 37727 HAS SOPS 37710 HAS SOUS 19324 HAS SOUPS 19307 WITH SCORE 19344.727
AT ITER 402 NEW BEST:: SOT 66395 SOS 37810 HAS SOPS 37793 HAS SOUS 19223 HAS SOUPS 19206 WITH SCORE 19243.81
AT ITER 413 NEW BEST:: SOT 66302 SOS 37657 HAS SOPS 37640 HAS SOUS 19071 HAS SOUPS 19054 WITH SCORE 19091.657
AT ITER 417 NEW BEST:: SOT 66348 SOS 37601 HAS SOPS 37584 HAS SOUS 19054 HAS SOUPS 19037 WITH SCORE 19074.601
AT ITER 421 NEW BEST:: SOT 66362 SOS 37504 HAS SOPS 37487 HAS SOUS 19032 HAS SOUPS 19015 WITH SCORE 19052.504
AT ITER 424 NEW BEST:: SOT 66334 SOS 37462 HAS SOPS 37445 HAS SOUS 18976 HAS SOUPS 18959 WITH SCORE 18996.462
AT ITER 429 NEW BEST:: SOT 66334 SOS 37493 HAS SOPS 37476 HAS SOUS 18941 HAS SOUPS 18924 WITH SCORE 18961.493
AT ITER 440 NEW BEST:: SOT 66318 SOS 37521 HAS SOPS 37504 HAS SOUS 18922 HAS SOUPS 18905 WITH SCORE 18942.521
AT ITER 441 NEW BEST:: SOT 66311 SOS 37485 HAS SOPS 37468 HAS SOUS 18918 HAS SOUPS 18901 WITH SCORE 18938.485
AT ITER 442 NEW BEST:: SOT 66151 SOS 37410 HAS SOPS 37393 HAS SOUS 18796 HAS SOUPS 18779 WITH SCORE 18816.41
AT ITER 445 NEW BEST:: SOT 66140 SOS 37400 HAS SOPS 37383 HAS SOUS 18794 HAS SOUPS 18777 WITH SCORE 18814.4
AT ITER 447 NEW BEST:: SOT 66158 SOS 37409 HAS SOPS 37392 HAS SOUS 18706 HAS SOUPS 18689 WITH SCORE 18726.409
AT ITER 448 NEW BEST:: SOT 66230 SOS 37208 HAS SOPS 37191 HAS SOUS 18704 HAS SOUPS 18687 WITH SCORE 18724.208
AT ITER 451 NEW BEST:: SOT 65967 SOS 37649 HAS SOPS 37632 HAS SOUS 18631 HAS SOUPS 18614 WITH SCORE 18651.649
AT ITER 458 NEW BEST:: SOT 65970 SOS 37375 HAS SOPS 37358 HAS SOUS 18617 HAS SOUPS 18600 WITH SCORE 18637.375
AT ITER 459 NEW BEST:: SOT 66018 SOS 37471 HAS SOPS 37454 HAS SOUS 18505 HAS SOUPS 18488 WITH SCORE 18525.471
AT ITER 464 NEW BEST:: SOT 65876 SOS 37606 HAS SOPS 37589 HAS SOUS 18283 HAS SOUPS 18266 WITH SCORE 18303.606
AT ITER 468 NEW BEST:: SOT 65874 SOS 37605 HAS SOPS 37588 HAS SOUS 18281 HAS SOUPS 18264 WITH SCORE 18301.605
AT ITER 469 NEW BEST:: SOT 65864 SOS 37580 HAS SOPS 37563 HAS SOUS 18266 HAS SOUPS 18249 WITH SCORE 18286.58
AT ITER 475 NEW BEST:: SOT 65831 SOS 37514 HAS SOPS 37497 HAS SOUS 18217 HAS SOUPS 18200 WITH SCORE 18237.514
AT ITER 477 NEW BEST:: SOT 65792 SOS 37443 HAS SOPS 37426 HAS SOUS 18189 HAS SOUPS 18172 WITH SCORE 18209.443
AT ITER 485 NEW BEST:: SOT 65917 SOS 37181 HAS SOPS 37164 HAS SOUS 18079 HAS SOUPS 18062 WITH SCORE 18099.181
AT ITER 501 NEW BEST:: SOT 65997 SOS 37086 HAS SOPS 37069 HAS SOUS 18076 HAS SOUPS 18059 WITH SCORE 18096.086
AT ITER 503 NEW BEST:: SOT 66001 SOS 37094 HAS SOPS 37077 HAS SOUS 18068 HAS SOUPS 18051 WITH SCORE 18088.094
AT ITER 511 NEW BEST:: SOT 65903 SOS 36996 HAS SOPS 36979 HAS SOUS 17985 HAS SOUPS 17968 WITH SCORE 18004.996
AT ITER 518 NEW BEST:: SOT 65837 SOS 36930 HAS SOPS 36913 HAS SOUS 17968 HAS SOUPS 17951 WITH SCORE 17987.93
AT ITER 519 NEW BEST:: SOT 65760 SOS 36318 HAS SOPS 36241 HAS SOUS 17886 HAS SOUPS 17809 WITH SCORE 17845.318
AT ITER 520 NEW BEST:: SOT 65823 SOS 36335 HAS SOPS 36258 HAS SOUS 17855 HAS SOUPS 17778 WITH SCORE 17814.335
AT ITER 521 NEW BEST:: SOT 65816 SOS 36323 HAS SOPS 36246 HAS SOUS 17841 HAS SOUPS 17764 WITH SCORE 17800.323
AT ITER 523 NEW BEST:: SOT 65816 SOS 36320 HAS SOPS 36243 HAS SOUS 17838 HAS SOUPS 17761 WITH SCORE 17797.32
AT ITER 537 NEW BEST:: SOT 65866 SOS 36494 HAS SOPS 36417 HAS SOUS 17812 HAS SOUPS 17735 WITH SCORE 17771.494
AT ITER 540 NEW BEST:: SOT 65824 SOS 36423 HAS SOPS 36346 HAS SOUS 17646 HAS SOUPS 17569 WITH SCORE 17605.423
AT ITER 548 NEW BEST:: SOT 65808 SOS 36334 HAS SOPS 36257 HAS SOUS 17597 HAS SOUPS 17520 WITH SCORE 17556.334
AT ITER 549 NEW BEST:: SOT 65653 SOS 35922 HAS SOPS 35845 HAS SOUS 17332 HAS SOUPS 17255 WITH SCORE 17290.922
AT ITER 553 NEW BEST:: SOT 65791 SOS 35973 HAS SOPS 35896 HAS SOUS 17322 HAS SOUPS 17245 WITH SCORE 17280.973
AT ITER 559 NEW BEST:: SOT 65791 SOS 35964 HAS SOPS 35887 HAS SOUS 17322 HAS SOUPS 17245 WITH SCORE 17280.964
AT ITER 573 NEW BEST:: SOT 65895 SOS 36100 HAS SOPS 36023 HAS SOUS 17291 HAS SOUPS 17214 WITH SCORE 17250.1
AT ITER 611 NEW BEST:: SOT 65962 SOS 36049 HAS SOPS 35972 HAS SOUS 17243 HAS SOUPS 17166 WITH SCORE 17202.049
AT ITER 624 NEW BEST:: SOT 65857 SOS 35524 HAS SOPS 35447 HAS SOUS 17033 HAS SOUPS 16956 WITH SCORE 16991.524
AT ITER 627 NEW BEST:: SOT 65905 SOS 35556 HAS SOPS 35479 HAS SOUS 17017 HAS SOUPS 16940 WITH SCORE 16975.556
AT ITER 637 NEW BEST:: SOT 65177 SOS 35110 HAS SOPS 35033 HAS SOUS 16901 HAS SOUPS 16824 WITH SCORE 16859.11
AT ITER 644 NEW BEST:: SOT 65144 SOS 34957 HAS SOPS 34880 HAS SOUS 16882 HAS SOUPS 16805 WITH SCORE 16839.957
AT ITER 656 NEW BEST:: SOT 65155 SOS 34839 HAS SOPS 34762 HAS SOUS 16868 HAS SOUPS 16791 WITH SCORE 16825.839
AT ITER 658 NEW BEST:: SOT 65148 SOS 34813 HAS SOPS 34736 HAS SOUS 16861 HAS SOUPS 16784 WITH SCORE 16818.813
AT ITER 668 NEW BEST:: SOT 65128 SOS 34537 HAS SOPS 34393 HAS SOUS 16902 HAS SOUPS 16758 WITH SCORE 16792.537
AT ITER 671 NEW BEST:: SOT 65145 SOS 34522 HAS SOPS 34378 HAS SOUS 16902 HAS SOUPS 16758 WITH SCORE 16792.522
AT ITER 681 NEW BEST:: SOT 65295 SOS 34672 HAS SOPS 34528 HAS SOUS 16852 HAS SOUPS 16708 WITH SCORE 16742.672
AT ITER 686 NEW BEST:: SOT 65276 SOS 34665 HAS SOPS 34521 HAS SOUS 16833 HAS SOUPS 16689 WITH SCORE 16723.665
AT ITER 696 NEW BEST:: SOT 65269 SOS 34672 HAS SOPS 34528 HAS SOUS 16826 HAS SOUPS 16682 WITH SCORE 16716.672
AT ITER 709 NEW BEST:: SOT 65268 SOS 34668 HAS SOPS 34537 HAS SOUS 16813 HAS SOUPS 16682 WITH SCORE 16716.668
AT ITER 729 NEW BEST:: SOT 65261 SOS 34699 HAS SOPS 34568 HAS SOUS 16806 HAS SOUPS 16675 WITH SCORE 16709.699
AT ITER 735 NEW BEST:: SOT 64994 SOS 34432 HAS SOPS 34301 HAS SOUS 16717 HAS SOUPS 16586 WITH SCORE 16620.432
AT ITER 745 NEW BEST:: SOT 64855 SOS 34282 HAS SOPS 34151 HAS SOUS 16660 HAS SOUPS 16529 WITH SCORE 16563.282
AT ITER 750 NEW BEST:: SOT 64734 SOS 34237 HAS SOPS 34106 HAS SOUS 16658 HAS SOUPS 16527 WITH SCORE 16561.237
AT ITER 751 NEW BEST:: SOT 64724 SOS 34227 HAS SOPS 34096 HAS SOUS 16645 HAS SOUPS 16514 WITH SCORE 16548.227
AT ITER 762 NEW BEST:: SOT 64676 SOS 34123 HAS SOPS 33992 HAS SOUS 16633 HAS SOUPS 16502 WITH SCORE 16536.123
AT ITER 771 NEW BEST:: SOT 64666 SOS 34093 HAS SOPS 33962 HAS SOUS 16613 HAS SOUPS 16482 WITH SCORE 16516.093
AT ITER 799 NEW BEST:: SOT 64596 SOS 34023 HAS SOPS 33892 HAS SOUS 16511 HAS SOUPS 16380 WITH SCORE 16414.023
AT ITER 801 NEW BEST:: SOT 64606 SOS 33844 HAS SOPS 33713 HAS SOUS 16499 HAS SOUPS 16368 WITH SCORE 16401.844
AT ITER 804 NEW BEST:: SOT 64516 SOS 33754 HAS SOPS 33623 HAS SOUS 16424 HAS SOUPS 16293 WITH SCORE 16326.754
AT ITER 805 NEW BEST:: SOT 64516 SOS 33786 HAS SOPS 33655 HAS SOUS 16392 HAS SOUPS 16261 WITH SCORE 16294.786
AT ITER 812 NEW BEST:: SOT 64505 SOS 33755 HAS SOPS 33624 HAS SOUS 16381 HAS SOUPS 16250 WITH SCORE 16283.755
AT ITER 813 NEW BEST:: SOT 64332 SOS 33576 HAS SOPS 33445 HAS SOUS 16232 HAS SOUPS 16101 WITH SCORE 16134.576
AT ITER 818 NEW BEST:: SOT 64245 SOS 33427 HAS SOPS 33296 HAS SOUS 16087 HAS SOUPS 15956 WITH SCORE 15989.427
AT ITER 821 NEW BEST:: SOT 64221 SOS 33411 HAS SOPS 33280 HAS SOUS 16087 HAS SOUPS 15956 WITH SCORE 15989.411
AT ITER 839 NEW BEST:: SOT 63724 SOS 32634 HAS SOPS 32503 HAS SOUS 15754 HAS SOUPS 15623 WITH SCORE 15655.634
AT ITER 844 NEW BEST:: SOT 63782 SOS 32733 HAS SOPS 32602 HAS SOUS 15743 HAS SOUPS 15612 WITH SCORE 15644.733
AT ITER 850 NEW BEST:: SOT 63470 SOS 32405 HAS SOPS 32274 HAS SOUS 15550 HAS SOUPS 15419 WITH SCORE 15451.405
AT ITER 856 NEW BEST:: SOT 63283 SOS 32232 HAS SOPS 32101 HAS SOUS 15442 HAS SOUPS 15311 WITH SCORE 15343.232
AT ITER 864 NEW BEST:: SOT 63258 SOS 32207 HAS SOPS 32076 HAS SOUS 15417 HAS SOUPS 15286 WITH SCORE 15318.207
AT ITER 877 NEW BEST:: SOT 63211 SOS 32079 HAS SOPS 31948 HAS SOUS 15290 HAS SOUPS 15159 WITH SCORE 15191.079
AT ITER 894 NEW BEST:: SOT 63147 SOS 32000 HAS SOPS 31869 HAS SOUS 15275 HAS SOUPS 15144 WITH SCORE 15176.0
AT ITER 895 NEW BEST:: SOT 63171 SOS 32024 HAS SOPS 31893 HAS SOUS 15203 HAS SOUPS 15072 WITH SCORE 15104.024
AT ITER 896 NEW BEST:: SOT 63171 SOS 32014 HAS SOPS 31883 HAS SOUS 15187 HAS SOUPS 15056 WITH SCORE 15088.014
AT ITER 927 NEW BEST:: SOT 63173 SOS 32009 HAS SOPS 31878 HAS SOUS 15187 HAS SOUPS 15056 WITH SCORE 15088.009
AT ITER 939 NEW BEST:: SOT 63161 SOS 31997 HAS SOPS 31866 HAS SOUS 15187 HAS SOUPS 15056 WITH SCORE 15087.997
AT ITER 948 NEW BEST:: SOT 63161 SOS 31977 HAS SOPS 31846 HAS SOUS 15187 HAS SOUPS 15056 WITH SCORE 15087.977
AT ITER 960 NEW BEST:: SOT 63193 SOS 31952 HAS SOPS 31806 HAS SOUS 15178 HAS SOUPS 15032 WITH SCORE 15063.952
AT ITER 980 NEW BEST:: SOT 63166 SOS 31831 HAS SOPS 31685 HAS SOUS 15165 HAS SOUPS 15019 WITH SCORE 15050.831
AT ITER 987 NEW BEST:: SOT 63118 SOS 31735 HAS SOPS 31589 HAS SOUS 15141 HAS SOUPS 14995 WITH SCORE 15026.735
AT ITER 993 NEW BEST:: SOT 63132 SOS 31749 HAS SOPS 31603 HAS SOUS 15138 HAS SOUPS 14992 WITH SCORE 15023.749
AT ITER 996 NEW BEST:: SOT 63126 SOS 31743 HAS SOPS 31597 HAS SOUS 15138 HAS SOUPS 14992 WITH SCORE 15023.743
AT ITER 997 NEW BEST:: SOT 63114 SOS 31721 HAS SOPS 31575 HAS SOUS 15126 HAS SOUPS 14980 WITH SCORE 15011.721
AT ITER 1001 NEW BEST:: SOT 63114 SOS 31721 HAS SOPS 31575 HAS SOUS 15088 HAS SOUPS 14942 WITH SCORE 14973.721
AT ITER 1005 NEW BEST:: SOT 63114 SOS 31721 HAS SOPS 31575 HAS SOUS 15082 HAS SOUPS 14936 WITH SCORE 14967.721
AT ITER 1006 NEW BEST:: SOT 63090 SOS 31651 HAS SOPS 31505 HAS SOUS 15034 HAS SOUPS 14888 WITH SCORE 14919.651
AT ITER 1013 NEW BEST:: SOT 63090 SOS 31651 HAS SOPS 31505 HAS SOUS 15020 HAS SOUPS 14874 WITH SCORE 14905.651
AT ITER 1015 NEW BEST:: SOT 63088 SOS 31635 HAS SOPS 31489 HAS SOUS 15018 HAS SOUPS 14872 WITH SCORE 14903.635
AT ITER 1019 NEW BEST:: SOT 63064 SOS 31599 HAS SOPS 31453 HAS SOUS 14970 HAS SOUPS 14824 WITH SCORE 14855.599
AT ITER 1026 NEW BEST:: SOT 63070 SOS 31604 HAS SOPS 31458 HAS SOUS 14883 HAS SOUPS 14737 WITH SCORE 14768.604
AT ITER 1041 NEW BEST:: SOT 63070 SOS 31571 HAS SOPS 31425 HAS SOUS 14872 HAS SOUPS 14726 WITH SCORE 14757.571
AT ITER 1044 NEW BEST:: SOT 63099 SOS 31484 HAS SOPS 31338 HAS SOUS 14872 HAS SOUPS 14726 WITH SCORE 14757.484
AT ITER 1062 NEW BEST:: SOT 63099 SOS 31472 HAS SOPS 31326 HAS SOUS 14860 HAS SOUPS 14714 WITH SCORE 14745.472
AT ITER 1074 NEW BEST:: SOT 63039 SOS 31416 HAS SOPS 31270 HAS SOUS 14831 HAS SOUPS 14685 WITH SCORE 14716.416
AT ITER 1077 NEW BEST:: SOT 63146 SOS 31574 HAS SOPS 31428 HAS SOUS 14803 HAS SOUPS 14657 WITH SCORE 14688.574
AT ITER 1098 NEW BEST:: SOT 63154 SOS 31594 HAS SOPS 31448 HAS SOUS 14801 HAS SOUPS 14655 WITH SCORE 14686.594
AT ITER 1111 NEW BEST:: SOT 63153 SOS 31593 HAS SOPS 31447 HAS SOUS 14800 HAS SOUPS 14654 WITH SCORE 14685.593
AT ITER 1137 NEW BEST:: SOT 63106 SOS 31500 HAS SOPS 31354 HAS SOUS 14792 HAS SOUPS 14646 WITH SCORE 14677.5
AT ITER 1165 NEW BEST:: SOT 63106 SOS 31470 HAS SOPS 31324 HAS SOUS 14792 HAS SOUPS 14646 WITH SCORE 14677.47
AT ITER 1173 NEW BEST:: SOT 63110 SOS 31450 HAS SOPS 31304 HAS SOUS 14772 HAS SOUPS 14626 WITH SCORE 14657.45
AT ITER 1184 NEW BEST:: SOT 62779 SOS 30864 HAS SOPS 30718 HAS SOUS 14544 HAS SOUPS 14398 WITH SCORE 14428.864
AT ITER 1201 NEW BEST:: SOT 62794 SOS 30849 HAS SOPS 30703 HAS SOUS 14538 HAS SOUPS 14392 WITH SCORE 14422.849
AT ITER 1217 NEW BEST:: SOT 62776 SOS 30785 HAS SOPS 30639 HAS SOUS 14520 HAS SOUPS 14374 WITH SCORE 14404.785
AT ITER 1218 NEW BEST:: SOT 62802 SOS 30726 HAS SOPS 30580 HAS SOUS 14513 HAS SOUPS 14367 WITH SCORE 14397.726
AT ITER 1256 NEW BEST:: SOT 62742 SOS 30636 HAS SOPS 30490 HAS SOUS 14393 HAS SOUPS 14247 WITH SCORE 14277.636
AT ITER 1270 NEW BEST:: SOT 62746 SOS 30634 HAS SOPS 30488 HAS SOUS 14381 HAS SOUPS 14235 WITH SCORE 14265.634
AT ITER 1272 NEW BEST:: SOT 62708 SOS 30588 HAS SOPS 30442 HAS SOUS 14377 HAS SOUPS 14231 WITH SCORE 14261.588
AT ITER 1273 NEW BEST:: SOT 62583 SOS 30432 HAS SOPS 30286 HAS SOUS 14151 HAS SOUPS 14005 WITH SCORE 14035.432
AT ITER 1283 NEW BEST:: SOT 62559 SOS 30402 HAS SOPS 30256 HAS SOUS 14115 HAS SOUPS 13969 WITH SCORE 13999.402
AT ITER 1294 NEW BEST:: SOT 62533 SOS 30481 HAS SOPS 30335 HAS SOUS 14094 HAS SOUPS 13948 WITH SCORE 13978.481
AT ITER 1298 NEW BEST:: SOT 62526 SOS 30467 HAS SOPS 30321 HAS SOUS 14066 HAS SOUPS 13920 WITH SCORE 13950.467
AT ITER 1313 NEW BEST:: SOT 62513 SOS 30402 HAS SOPS 30256 HAS SOUS 14040 HAS SOUPS 13894 WITH SCORE 13924.402
AT ITER 1315 NEW BEST:: SOT 62513 SOS 30402 HAS SOPS 30256 HAS SOUS 14039 HAS SOUPS 13893 WITH SCORE 13923.402
AT ITER 1323 NEW BEST:: SOT 62478 SOS 30393 HAS SOPS 30247 HAS SOUS 14012 HAS SOUPS 13866 WITH SCORE 13896.393
AT ITER 1355 NEW BEST:: SOT 62465 SOS 30328 HAS SOPS 30182 HAS SOUS 14012 HAS SOUPS 13866 WITH SCORE 13896.328
AT ITER 1359 NEW BEST:: SOT 62348 SOS 29770 HAS SOPS 29624 HAS SOUS 13799 HAS SOUPS 13653 WITH SCORE 13682.77
AT ITER 1362 NEW BEST:: SOT 62269 SOS 29691 HAS SOPS 29545 HAS SOUS 13711 HAS SOUPS 13565 WITH SCORE 13594.691
AT ITER 1371 NEW BEST:: SOT 62286 SOS 29697 HAS SOPS 29551 HAS SOUS 13688 HAS SOUPS 13542 WITH SCORE 13571.697
AT ITER 1372 NEW BEST:: SOT 62329 SOS 28985 HAS SOPS 28839 HAS SOUS 13671 HAS SOUPS 13525 WITH SCORE 13553.985
AT ITER 1374 NEW BEST:: SOT 62329 SOS 28941 HAS SOPS 28795 HAS SOUS 13649 HAS SOUPS 13503 WITH SCORE 13531.941
AT ITER 1378 NEW BEST:: SOT 62307 SOS 28901 HAS SOPS 28755 HAS SOUS 13647 HAS SOUPS 13501 WITH SCORE 13529.901
AT ITER 1388 NEW BEST:: SOT 62308 SOS 28903 HAS SOPS 28757 HAS SOUS 13643 HAS SOUPS 13497 WITH SCORE 13525.903
AT ITER 1394 NEW BEST:: SOT 62304 SOS 28899 HAS SOPS 28753 HAS SOUS 13621 HAS SOUPS 13475 WITH SCORE 13503.899
AT ITER 1407 NEW BEST:: SOT 62284 SOS 28936 HAS SOPS 28790 HAS SOUS 13575 HAS SOUPS 13429 WITH SCORE 13457.936
AT ITER 1413 NEW BEST:: SOT 62257 SOS 28892 HAS SOPS 28746 HAS SOUS 13539 HAS SOUPS 13393 WITH SCORE 13421.892
AT ITER 1415 NEW BEST:: SOT 62265 SOS 28665 HAS SOPS 28519 HAS SOUS 13489 HAS SOUPS 13343 WITH SCORE 13371.665
AT ITER 1431 NEW BEST:: SOT 62274 SOS 28305 HAS SOPS 28138 HAS SOUS 13505 HAS SOUPS 13338 WITH SCORE 13366.305
AT ITER 1437 NEW BEST:: SOT 62268 SOS 28287 HAS SOPS 28120 HAS SOUS 13496 HAS SOUPS 13329 WITH SCORE 13357.287
AT ITER 1447 NEW BEST:: SOT 62133 SOS 28131 HAS SOPS 27964 HAS SOUS 13475 HAS SOUPS 13308 WITH SCORE 13336.131
AT ITER 1483 NEW BEST:: SOT 61823 SOS 28003 HAS SOPS 27836 HAS SOUS 13462 HAS SOUPS 13295 WITH SCORE 13323.003
AT ITER 1508 NEW BEST:: SOT 61835 SOS 27996 HAS SOPS 27829 HAS SOUS 13417 HAS SOUPS 13250 WITH SCORE 13277.996
AT ITER 1549 NEW BEST:: SOT 61835 SOS 27992 HAS SOPS 27825 HAS SOUS 13413 HAS SOUPS 13246 WITH SCORE 13273.992
AT ITER 1575 NEW BEST:: SOT 61807 SOS 27938 HAS SOPS 27771 HAS SOUS 13396 HAS SOUPS 13229 WITH SCORE 13256.938
AT ITER 1577 NEW BEST:: SOT 61807 SOS 27872 HAS SOPS 27705 HAS SOUS 13388 HAS SOUPS 13221 WITH SCORE 13248.872
AT ITER 1586 NEW BEST:: SOT 61804 SOS 27927 HAS SOPS 27760 HAS SOUS 13386 HAS SOUPS 13219 WITH SCORE 13246.927
AT ITER 1587 NEW BEST:: SOT 61816 SOS 27927 HAS SOPS 27760 HAS SOUS 13380 HAS SOUPS 13213 WITH SCORE 13240.927
AT ITER 1609 NEW BEST:: SOT 61816 SOS 27996 HAS SOPS 27829 HAS SOUS 13353 HAS SOUPS 13186 WITH SCORE 13213.996
AT ITER 1610 NEW BEST:: SOT 61708 SOS 27911 HAS SOPS 27744 HAS SOUS 13314 HAS SOUPS 13147 WITH SCORE 13174.911
AT ITER 1630 NEW BEST:: SOT 61711 SOS 27748 HAS SOPS 27581 HAS SOUS 13313 HAS SOUPS 13146 WITH SCORE 13173.748
AT ITER 1635 NEW BEST:: SOT 61712 SOS 27749 HAS SOPS 27582 HAS SOUS 13279 HAS SOUPS 13112 WITH SCORE 13139.749
AT ITER 1650 NEW BEST:: SOT 61712 SOS 27743 HAS SOPS 27576 HAS SOUS 13263 HAS SOUPS 13096 WITH SCORE 13123.743
AT ITER 1675 NEW BEST:: SOT 61712 SOS 27746 HAS SOPS 27579 HAS SOUS 13262 HAS SOUPS 13095 WITH SCORE 13122.746
AT ITER 1676 NEW BEST:: SOT 61698 SOS 27726 HAS SOPS 27559 HAS SOUS 13258 HAS SOUPS 13091 WITH SCORE 13118.726
AT ITER 1684 NEW BEST:: SOT 61681 SOS 27708 HAS SOPS 27541 HAS SOUS 13238 HAS SOUPS 13071 WITH SCORE 13098.708
AT ITER 1686 NEW BEST:: SOT 61621 SOS 27744 HAS SOPS 27577 HAS SOUS 13223 HAS SOUPS 13056 WITH SCORE 13083.744
AT ITER 1690 NEW BEST:: SOT 61611 SOS 27734 HAS SOPS 27567 HAS SOUS 13219 HAS SOUPS 13052 WITH SCORE 13079.734
AT ITER 1713 NEW BEST:: SOT 61611 SOS 27731 HAS SOPS 27564 HAS SOUS 13219 HAS SOUPS 13052 WITH SCORE 13079.731
AT ITER 1715 NEW BEST:: SOT 61562 SOS 27662 HAS SOPS 27495 HAS SOUS 13110 HAS SOUPS 12943 WITH SCORE 12970.662
AT ITER 1726 NEW BEST:: SOT 61525 SOS 27594 HAS SOPS 27427 HAS SOUS 13042 HAS SOUPS 12875 WITH SCORE 12902.594
AT ITER 1730 NEW BEST:: SOT 61486 SOS 27600 HAS SOPS 27439 HAS SOUS 13033 HAS SOUPS 12872 WITH SCORE 12899.6
AT ITER 1772 NEW BEST:: SOT 61479 SOS 27572 HAS SOPS 27411 HAS SOUS 13026 HAS SOUPS 12865 WITH SCORE 12892.572
AT ITER 1778 NEW BEST:: SOT 61479 SOS 27569 HAS SOPS 27408 HAS SOUS 13026 HAS SOUPS 12865 WITH SCORE 12892.569
AT ITER 1779 NEW BEST:: SOT 61478 SOS 27574 HAS SOPS 27413 HAS SOUS 13000 HAS SOUPS 12839 WITH SCORE 12866.574
AT ITER 1805 NEW BEST:: SOT 61477 SOS 27518 HAS SOPS 27357 HAS SOUS 12986 HAS SOUPS 12825 WITH SCORE 12852.518
AT ITER 1806 NEW BEST:: SOT 61457 SOS 27501 HAS SOPS 27340 HAS SOUS 12937 HAS SOUPS 12776 WITH SCORE 12803.501
AT ITER 1809 NEW BEST:: SOT 61368 SOS 27353 HAS SOPS 27192 HAS SOUS 12869 HAS SOUPS 12708 WITH SCORE 12735.353
AT ITER 1831 NEW BEST:: SOT 61365 SOS 27419 HAS SOPS 27258 HAS SOUS 12805 HAS SOUPS 12644 WITH SCORE 12671.419
AT ITER 1834 NEW BEST:: SOT 61365 SOS 27343 HAS SOPS 27182 HAS SOUS 12804 HAS SOUPS 12643 WITH SCORE 12670.343
AT ITER 1844 NEW BEST:: SOT 61598 SOS 27576 HAS SOPS 27415 HAS SOUS 12799 HAS SOUPS 12638 WITH SCORE 12665.576
AT ITER 1849 NEW BEST:: SOT 61773 SOS 27904 HAS SOPS 27743 HAS SOUS 12765 HAS SOUPS 12604 WITH SCORE 12631.904
AT ITER 1850 NEW BEST:: SOT 61299 SOS 27982 HAS SOPS 27821 HAS SOUS 12472 HAS SOUPS 12311 WITH SCORE 12338.982
AT ITER 1861 NEW BEST:: SOT 61311 SOS 27986 HAS SOPS 27825 HAS SOUS 12468 HAS SOUPS 12307 WITH SCORE 12334.986
AT ITER 1901 NEW BEST:: SOT 61318 SOS 28060 HAS SOPS 27899 HAS SOUS 12465 HAS SOUPS 12304 WITH SCORE 12332.06
AT ITER 1903 NEW BEST:: SOT 61312 SOS 28037 HAS SOPS 27876 HAS SOUS 12441 HAS SOUPS 12280 WITH SCORE 12308.037
AT ITER 1914 NEW BEST:: SOT 61312 SOS 27980 HAS SOPS 27819 HAS SOUS 12438 HAS SOUPS 12277 WITH SCORE 12304.98
AT ITER 1924 NEW BEST:: SOT 61311 SOS 27850 HAS SOPS 27657 HAS SOUS 12439 HAS SOUPS 12246 WITH SCORE 12273.85
AT ITER 1931 NEW BEST:: SOT 61314 SOS 27846 HAS SOPS 27653 HAS SOUS 12431 HAS SOUPS 12238 WITH SCORE 12265.846
AT ITER 1964 NEW BEST:: SOT 61254 SOS 27778 HAS SOPS 27585 HAS SOUS 12411 HAS SOUPS 12218 WITH SCORE 12245.778
AT ITER 1967 NEW BEST:: SOT 61256 SOS 27780 HAS SOPS 27587 HAS SOUS 12410 HAS SOUPS 12217 WITH SCORE 12244.78
AT ITER 1983 NEW BEST:: SOT 61249 SOS 27759 HAS SOPS 27566 HAS SOUS 12396 HAS SOUPS 12203 WITH SCORE 12230.759
AT ITER 1996 NEW BEST:: SOT 61263 SOS 27668 HAS SOPS 27475 HAS SOUS 12215 HAS SOUPS 12022 WITH SCORE 12049.668
AT ITER 2025 NEW BEST:: SOT 61291 SOS 27696 HAS SOPS 27503 HAS SOUS 12201 HAS SOUPS 12008 WITH SCORE 12035.696
AT ITER 2030 NEW BEST:: SOT 61290 SOS 27673 HAS SOPS 27480 HAS SOUS 12180 HAS SOUPS 11987 WITH SCORE 12014.673
AT ITER 2032 NEW BEST:: SOT 61254 SOS 27614 HAS SOPS 27421 HAS SOUS 12108 HAS SOUPS 11915 WITH SCORE 11942.614
AT ITER 2033 NEW BEST:: SOT 61264 SOS 27662 HAS SOPS 27469 HAS SOUS 12105 HAS SOUPS 11912 WITH SCORE 11939.662
AT ITER 2037 NEW BEST:: SOT 61263 SOS 27664 HAS SOPS 27471 HAS SOUS 12102 HAS SOUPS 11909 WITH SCORE 11936.664
AT ITER 2044 NEW BEST:: SOT 61157 SOS 27563 HAS SOPS 27370 HAS SOUS 12077 HAS SOUPS 11884 WITH SCORE 11911.563
AT ITER 2045 NEW BEST:: SOT 61184 SOS 27590 HAS SOPS 27397 HAS SOUS 12050 HAS SOUPS 11857 WITH SCORE 11884.59
AT ITER 2053 NEW BEST:: SOT 61185 SOS 27589 HAS SOPS 27396 HAS SOUS 12047 HAS SOUPS 11854 WITH SCORE 11881.589
AT ITER 2054 NEW BEST:: SOT 61165 SOS 27559 HAS SOPS 27366 HAS SOUS 11997 HAS SOUPS 11804 WITH SCORE 11831.559
AT ITER 2058 NEW BEST:: SOT 61130 SOS 27488 HAS SOPS 27295 HAS SOUS 11891 HAS SOUPS 11698 WITH SCORE 11725.488
AT ITER 2083 NEW BEST:: SOT 61106 SOS 27584 HAS SOPS 27391 HAS SOUS 11867 HAS SOUPS 11674 WITH SCORE 11701.584
AT ITER 2092 NEW BEST:: SOT 61232 SOS 27702 HAS SOPS 27509 HAS SOUS 11866 HAS SOUPS 11673 WITH SCORE 11700.702
AT ITER 2110 NEW BEST:: SOT 61187 SOS 27904 HAS SOPS 27711 HAS SOUS 11821 HAS SOUPS 11628 WITH SCORE 11655.904
AT ITER 2131 NEW BEST:: SOT 61178 SOS 27879 HAS SOPS 27686 HAS SOUS 11782 HAS SOUPS 11589 WITH SCORE 11616.879
AT ITER 2143 NEW BEST:: SOT 61176 SOS 27873 HAS SOPS 27680 HAS SOUS 11778 HAS SOUPS 11585 WITH SCORE 11612.873
AT ITER 2154 NEW BEST:: SOT 61174 SOS 27867 HAS SOPS 27676 HAS SOUS 11774 HAS SOUPS 11583 WITH SCORE 11610.867
AT ITER 2162 NEW BEST:: SOT 61130 SOS 27793 HAS SOPS 27602 HAS SOUS 11632 HAS SOUPS 11441 WITH SCORE 11468.793
AT ITER 2170 NEW BEST:: SOT 61035 SOS 27686 HAS SOPS 27495 HAS SOUS 11620 HAS SOUPS 11429 WITH SCORE 11456.686
AT ITER 2171 NEW BEST:: SOT 60966 SOS 27630 HAS SOPS 27439 HAS SOUS 11617 HAS SOUPS 11426 WITH SCORE 11453.63
AT ITER 2182 NEW BEST:: SOT 60921 SOS 27559 HAS SOPS 27368 HAS SOUS 11596 HAS SOUPS 11405 WITH SCORE 11432.559
AT ITER 2185 NEW BEST:: SOT 60792 SOS 27271 HAS SOPS 27080 HAS SOUS 11445 HAS SOUPS 11254 WITH SCORE 11281.271
AT ITER 2192 NEW BEST:: SOT 60779 SOS 27258 HAS SOPS 27067 HAS SOUS 11432 HAS SOUPS 11241 WITH SCORE 11268.258
AT ITER 2212 NEW BEST:: SOT 60788 SOS 27267 HAS SOPS 27076 HAS SOUS 11427 HAS SOUPS 11236 WITH SCORE 11263.267
AT ITER 2217 NEW BEST:: SOT 60782 SOS 27290 HAS SOPS 27099 HAS SOUS 11415 HAS SOUPS 11224 WITH SCORE 11251.29
AT ITER 2248 NEW BEST:: SOT 60857 SOS 27340 HAS SOPS 27149 HAS SOUS 11336 HAS SOUPS 11145 WITH SCORE 11172.34
AT ITER 2264 NEW BEST:: SOT 60857 SOS 27340 HAS SOPS 27149 HAS SOUS 11332 HAS SOUPS 11141 WITH SCORE 11168.34
AT ITER 2270 NEW BEST:: SOT 60839 SOS 27274 HAS SOPS 27083 HAS SOUS 11302 HAS SOUPS 11111 WITH SCORE 11138.274
AT ITER 2276 NEW BEST:: SOT 61078 SOS 27521 HAS SOPS 27330 HAS SOUS 11237 HAS SOUPS 11046 WITH SCORE 11073.521
AT ITER 2283 NEW BEST:: SOT 61057 SOS 27591 HAS SOPS 27400 HAS SOUS 11223 HAS SOUPS 11032 WITH SCORE 11059.591
AT ITER 2296 NEW BEST:: SOT 61026 SOS 27678 HAS SOPS 27487 HAS SOUS 11187 HAS SOUPS 10996 WITH SCORE 11023.678
AT ITER 2306 NEW BEST:: SOT 60927 SOS 28048 HAS SOPS 27857 HAS SOUS 11162 HAS SOUPS 10971 WITH SCORE 10999.048
AT ITER 2313 NEW BEST:: SOT 60927 SOS 28040 HAS SOPS 27849 HAS SOUS 11162 HAS SOUPS 10971 WITH SCORE 10999.04
AT ITER 2314 NEW BEST:: SOT 60940 SOS 27942 HAS SOPS 27751 HAS SOUS 11157 HAS SOUPS 10966 WITH SCORE 10993.942
AT ITER 2324 NEW BEST:: SOT 60927 SOS 27929 HAS SOPS 27738 HAS SOUS 11156 HAS SOUPS 10965 WITH SCORE 10992.929
AT ITER 2326 NEW BEST:: SOT 60900 SOS 27695 HAS SOPS 27504 HAS SOUS 11057 HAS SOUPS 10866 WITH SCORE 10893.695
AT ITER 2358 NEW BEST:: SOT 60881 SOS 27608 HAS SOPS 27417 HAS SOUS 10996 HAS SOUPS 10805 WITH SCORE 10832.608
AT ITER 2409 NEW BEST:: SOT 60867 SOS 27594 HAS SOPS 27403 HAS SOUS 10991 HAS SOUPS 10800 WITH SCORE 10827.594
AT ITER 2414 NEW BEST:: SOT 60852 SOS 27565 HAS SOPS 27374 HAS SOUS 10962 HAS SOUPS 10771 WITH SCORE 10798.565
AT ITER 2421 NEW BEST:: SOT 60849 SOS 27556 HAS SOPS 27365 HAS SOUS 10956 HAS SOUPS 10765 WITH SCORE 10792.556
AT ITER 2465 NEW BEST:: SOT 60843 SOS 27263 HAS SOPS 27072 HAS SOUS 10884 HAS SOUPS 10693 WITH SCORE 10720.263
AT ITER 2483 NEW BEST:: SOT 60800 SOS 27263 HAS SOPS 27072 HAS SOUS 10841 HAS SOUPS 10650 WITH SCORE 10677.263
AT ITER 2488 NEW BEST:: SOT 60801 SOS 27263 HAS SOPS 27072 HAS SOUS 10840 HAS SOUPS 10649 WITH SCORE 10676.263
AT ITER 2492 NEW BEST:: SOT 60795 SOS 27257 HAS SOPS 27066 HAS SOUS 10838 HAS SOUPS 10647 WITH SCORE 10674.257
AT ITER 2493 NEW BEST:: SOT 60704 SOS 27237 HAS SOPS 27046 HAS SOUS 10773 HAS SOUPS 10582 WITH SCORE 10609.237
AT ITER 2522 NEW BEST:: SOT 60653 SOS 27217 HAS SOPS 27026 HAS SOUS 10700 HAS SOUPS 10509 WITH SCORE 10536.217
AT ITER 2540 NEW BEST:: SOT 60641 SOS 27181 HAS SOPS 26990 HAS SOUS 10685 HAS SOUPS 10494 WITH SCORE 10521.181
AT ITER 2547 NEW BEST:: SOT 60623 SOS 27133 HAS SOPS 26942 HAS SOUS 10677 HAS SOUPS 10486 WITH SCORE 10513.133
AT ITER 2553 NEW BEST:: SOT 60625 SOS 27180 HAS SOPS 26989 HAS SOUS 10666 HAS SOUPS 10475 WITH SCORE 10502.18
AT ITER 2578 NEW BEST:: SOT 60625 SOS 27171 HAS SOPS 26990 HAS SOUS 10654 HAS SOUPS 10473 WITH SCORE 10500.171
AT ITER 2585 NEW BEST:: SOT 60630 SOS 27176 HAS SOPS 26995 HAS SOUS 10651 HAS SOUPS 10470 WITH SCORE 10497.176
AT ITER 2600 NEW BEST:: SOT 60621 SOS 27118 HAS SOPS 26937 HAS SOUS 10642 HAS SOUPS 10461 WITH SCORE 10488.118
AT ITER 2608 NEW BEST:: SOT 60669 SOS 27214 HAS SOPS 27033 HAS SOUS 10594 HAS SOUPS 10413 WITH SCORE 10440.214
AT ITER 2618 NEW BEST:: SOT 60664 SOS 27215 HAS SOPS 27034 HAS SOUS 10592 HAS SOUPS 10411 WITH SCORE 10438.215
AT ITER 2621 NEW BEST:: SOT 60669 SOS 27228 HAS SOPS 27047 HAS SOUS 10588 HAS SOUPS 10407 WITH SCORE 10434.228
AT ITER 2633 NEW BEST:: SOT 60619 SOS 27178 HAS SOPS 26997 HAS SOUS 10588 HAS SOUPS 10407 WITH SCORE 10434.178
AT ITER 2639 NEW BEST:: SOT 60619 SOS 27178 HAS SOPS 26997 HAS SOUS 10587 HAS SOUPS 10406 WITH SCORE 10433.178
AT ITER 2666 NEW BEST:: SOT 60630 SOS 27060 HAS SOPS 26879 HAS SOUS 10503 HAS SOUPS 10322 WITH SCORE 10349.06
AT ITER 2673 NEW BEST:: SOT 60628 SOS 27064 HAS SOPS 26883 HAS SOUS 10464 HAS SOUPS 10283 WITH SCORE 10310.064
AT ITER 2676 NEW BEST:: SOT 60585 SOS 27019 HAS SOPS 26838 HAS SOUS 10410 HAS SOUPS 10229 WITH SCORE 10256.019
AT ITER 2709 NEW BEST:: SOT 60583 SOS 27015 HAS SOPS 26834 HAS SOUS 10405 HAS SOUPS 10224 WITH SCORE 10251.015
AT ITER 2718 NEW BEST:: SOT 60504 SOS 27019 HAS SOPS 26838 HAS SOUS 10403 HAS SOUPS 10222 WITH SCORE 10249.019
AT ITER 2720 NEW BEST:: SOT 60511 SOS 27025 HAS SOPS 26844 HAS SOUS 10401 HAS SOUPS 10220 WITH SCORE 10247.025
AT ITER 2736 NEW BEST:: SOT 60511 SOS 27025 HAS SOPS 26844 HAS SOUS 10385 HAS SOUPS 10204 WITH SCORE 10231.025
AT ITER 2745 NEW BEST:: SOT 60549 SOS 27012 HAS SOPS 26831 HAS SOUS 10363 HAS SOUPS 10182 WITH SCORE 10209.012
AT ITER 2749 NEW BEST:: SOT 60548 SOS 27011 HAS SOPS 26830 HAS SOUS 10360 HAS SOUPS 10179 WITH SCORE 10206.011
AT ITER 2765 NEW BEST:: SOT 60446 SOS 26892 HAS SOPS 26711 HAS SOUS 10311 HAS SOUPS 10130 WITH SCORE 10156.892
AT ITER 2777 NEW BEST:: SOT 60404 SOS 26850 HAS SOPS 26669 HAS SOUS 10260 HAS SOUPS 10079 WITH SCORE 10105.85
AT ITER 2801 NEW BEST:: SOT 60407 SOS 26829 HAS SOPS 26648 HAS SOUS 10254 HAS SOUPS 10073 WITH SCORE 10099.829
AT ITER 2824 NEW BEST:: SOT 60329 SOS 26772 HAS SOPS 26591 HAS SOUS 10173 HAS SOUPS 9992 WITH SCORE 10018.772
AT ITER 2827 NEW BEST:: SOT 60325 SOS 26756 HAS SOPS 26575 HAS SOUS 10166 HAS SOUPS 9985 WITH SCORE 10011.756
AT ITER 2838 NEW BEST:: SOT 60316 SOS 26744 HAS SOPS 26563 HAS SOUS 10148 HAS SOUPS 9967 WITH SCORE 9993.744
AT ITER 2843 NEW BEST:: SOT 60151 SOS 26579 HAS SOPS 26398 HAS SOUS 10087 HAS SOUPS 9906 WITH SCORE 9932.579
AT ITER 2890 NEW BEST:: SOT 60160 SOS 26453 HAS SOPS 26272 HAS SOUS 10081 HAS SOUPS 9900 WITH SCORE 9926.453
AT ITER 2942 NEW BEST:: SOT 60139 SOS 26420 HAS SOPS 26239 HAS SOUS 10063 HAS SOUPS 9882 WITH SCORE 9908.42
AT ITER 2971 NEW BEST:: SOT 60131 SOS 26316 HAS SOPS 26135 HAS SOUS 10035 HAS SOUPS 9854 WITH SCORE 9880.316
AT ITER 2972 NEW BEST:: SOT 60118 SOS 26303 HAS SOPS 26122 HAS SOUS 10034 HAS SOUPS 9853 WITH SCORE 9879.303
AT ITER 2996 NEW BEST:: SOT 60118 SOS 26303 HAS SOPS 26122 HAS SOUS 10026 HAS SOUPS 9845 WITH SCORE 9871.303
AT ITER 3005 NEW BEST:: SOT 60118 SOS 26271 HAS SOPS 26090 HAS SOUS 10026 HAS SOUPS 9845 WITH SCORE 9871.271
AT ITER 3033 NEW BEST:: SOT 60104 SOS 26229 HAS SOPS 26048 HAS SOUS 10012 HAS SOUPS 9831 WITH SCORE 9857.229
AT ITER 3044 NEW BEST:: SOT 60120 SOS 26236 HAS SOPS 26055 HAS SOUS 10007 HAS SOUPS 9826 WITH SCORE 9852.236
AT ITER 3064 NEW BEST:: SOT 60095 SOS 26211 HAS SOPS 26030 HAS SOUS 9966 HAS SOUPS 9785 WITH SCORE 9811.211
AT ITER 3073 NEW BEST:: SOT 60091 SOS 26231 HAS SOPS 26050 HAS SOUS 9962 HAS SOUPS 9781 WITH SCORE 9807.231
AT ITER 3149 NEW BEST:: SOT 60081 SOS 26172 HAS SOPS 25991 HAS SOUS 9931 HAS SOUPS 9750 WITH SCORE 9776.172
AT ITER 3187 NEW BEST:: SOT 60078 SOS 26169 HAS SOPS 25988 HAS SOUS 9929 HAS SOUPS 9748 WITH SCORE 9774.169
AT ITER 3191 NEW BEST:: SOT 60078 SOS 26167 HAS SOPS 25986 HAS SOUS 9927 HAS SOUPS 9746 WITH SCORE 9772.167
AT ITER 3200 NEW BEST:: SOT 60065 SOS 26154 HAS SOPS 25973 HAS SOUS 9914 HAS SOUPS 9733 WITH SCORE 9759.154
AT ITER 3206 NEW BEST:: SOT 60245 SOS 26198 HAS SOPS 26017 HAS SOUS 9910 HAS SOUPS 9729 WITH SCORE 9755.198
AT ITER 3207 NEW BEST:: SOT 60266 SOS 26123 HAS SOPS 25942 HAS SOUS 9835 HAS SOUPS 9654 WITH SCORE 9680.123
AT ITER 3214 NEW BEST:: SOT 60260 SOS 26131 HAS SOPS 25950 HAS SOUS 9827 HAS SOUPS 9646 WITH SCORE 9672.131
AT ITER 3224 NEW BEST:: SOT 60218 SOS 26110 HAS SOPS 25929 HAS SOUS 9806 HAS SOUPS 9625 WITH SCORE 9651.11
AT ITER 3256 NEW BEST:: SOT 60205 SOS 26019 HAS SOPS 25838 HAS SOUS 9804 HAS SOUPS 9623 WITH SCORE 9649.019
AT ITER 3276 NEW BEST:: SOT 60205 SOS 26055 HAS SOPS 25874 HAS SOUS 9795 HAS SOUPS 9614 WITH SCORE 9640.055
AT ITER 3283 NEW BEST:: SOT 60205 SOS 26059 HAS SOPS 25876 HAS SOUS 9793 HAS SOUPS 9610 WITH SCORE 9636.059
AT ITER 3315 NEW BEST:: SOT 60077 SOS 25906 HAS SOPS 25754 HAS SOUS 9735 HAS SOUPS 9583 WITH SCORE 9608.906
AT ITER 3330 NEW BEST:: SOT 60220 SOS 25987 HAS SOPS 25835 HAS SOUS 9729 HAS SOUPS 9577 WITH SCORE 9602.987
AT ITER 3335 NEW BEST:: SOT 60152 SOS 25709 HAS SOPS 25524 HAS SOUS 9643 HAS SOUPS 9458 WITH SCORE 9483.709
AT ITER 3364 NEW BEST:: SOT 60170 SOS 25569 HAS SOPS 25384 HAS SOUS 9637 HAS SOUPS 9452 WITH SCORE 9477.569
AT ITER 3369 NEW BEST:: SOT 60164 SOS 25560 HAS SOPS 25375 HAS SOUS 9628 HAS SOUPS 9443 WITH SCORE 9468.56
AT ITER 3389 NEW BEST:: SOT 60202 SOS 25593 HAS SOPS 25408 HAS SOUS 9613 HAS SOUPS 9428 WITH SCORE 9453.593
AT ITER 3397 NEW BEST:: SOT 60197 SOS 25548 HAS SOPS 25363 HAS SOUS 9603 HAS SOUPS 9418 WITH SCORE 9443.548
AT ITER 3399 NEW BEST:: SOT 60146 SOS 25521 HAS SOPS 25336 HAS SOUS 9588 HAS SOUPS 9403 WITH SCORE 9428.521
AT ITER 3400 NEW BEST:: SOT 60143 SOS 25517 HAS SOPS 25332 HAS SOUS 9582 HAS SOUPS 9397 WITH SCORE 9422.517
AT ITER 3439 NEW BEST:: SOT 60138 SOS 25493 HAS SOPS 25308 HAS SOUS 9567 HAS SOUPS 9382 WITH SCORE 9407.493
AT ITER 3476 NEW BEST:: SOT 60136 SOS 25493 HAS SOPS 25308 HAS SOUS 9566 HAS SOUPS 9381 WITH SCORE 9406.493
AT ITER 3521 NEW BEST:: SOT 60104 SOS 25473 HAS SOPS 25288 HAS SOUS 9546 HAS SOUPS 9361 WITH SCORE 9386.473
AT ITER 3567 NEW BEST:: SOT 60100 SOS 25424 HAS SOPS 25239 HAS SOUS 9480 HAS SOUPS 9295 WITH SCORE 9320.424
AT ITER 3574 NEW BEST:: SOT 60061 SOS 25385 HAS SOPS 25200 HAS SOUS 9474 HAS SOUPS 9289 WITH SCORE 9314.385
AT ITER 3613 NEW BEST:: SOT 60061 SOS 25385 HAS SOPS 25200 HAS SOUS 9458 HAS SOUPS 9273 WITH SCORE 9298.385
AT ITER 3615 NEW BEST:: SOT 60054 SOS 25364 HAS SOPS 25179 HAS SOUS 9447 HAS SOUPS 9262 WITH SCORE 9287.364
AT ITER 3616 NEW BEST:: SOT 60019 SOS 25434 HAS SOPS 25249 HAS SOUS 9442 HAS SOUPS 9257 WITH SCORE 9282.434
AT ITER 3622 NEW BEST:: SOT 60016 SOS 25431 HAS SOPS 25246 HAS SOUS 9433 HAS SOUPS 9248 WITH SCORE 9273.431
AT ITER 3650 NEW BEST:: SOT 60013 SOS 25428 HAS SOPS 25243 HAS SOUS 9427 HAS SOUPS 9242 WITH SCORE 9267.428
AT ITER 3691 NEW BEST:: SOT 60011 SOS 25436 HAS SOPS 25251 HAS SOUS 9424 HAS SOUPS 9239 WITH SCORE 9264.436
AT ITER 3714 NEW BEST:: SOT 60011 SOS 25433 HAS SOPS 25248 HAS SOUS 9424 HAS SOUPS 9239 WITH SCORE 9264.433
AT ITER 3727 NEW BEST:: SOT 59939 SOS 25361 HAS SOPS 25176 HAS SOUS 9408 HAS SOUPS 9223 WITH SCORE 9248.361
AT ITER 3738 NEW BEST:: SOT 59976 SOS 25394 HAS SOPS 25209 HAS SOUS 9401 HAS SOUPS 9216 WITH SCORE 9241.394
AT ITER 3747 NEW BEST:: SOT 59994 SOS 25356 HAS SOPS 25171 HAS SOUS 9367 HAS SOUPS 9182 WITH SCORE 9207.356
AT ITER 3753 NEW BEST:: SOT 59987 SOS 25665 HAS SOPS 25480 HAS SOUS 9355 HAS SOUPS 9170 WITH SCORE 9195.665
AT ITER 3813 NEW BEST:: SOT 59981 SOS 25656 HAS SOPS 25471 HAS SOUS 9343 HAS SOUPS 9158 WITH SCORE 9183.656
AT ITER 3865 NEW BEST:: SOT 59981 SOS 25653 HAS SOPS 25468 HAS SOUS 9343 HAS SOUPS 9158 WITH SCORE 9183.653
AT ITER 3866 NEW BEST:: SOT 59993 SOS 25680 HAS SOPS 25495 HAS SOUS 9334 HAS SOUPS 9149 WITH SCORE 9174.68
AT ITER 3877 NEW BEST:: SOT 59993 SOS 25669 HAS SOPS 25484 HAS SOUS 9334 HAS SOUPS 9149 WITH SCORE 9174.669
AT ITER 3940 NEW BEST:: SOT 59968 SOS 25644 HAS SOPS 25459 HAS SOUS 9312 HAS SOUPS 9127 WITH SCORE 9152.644
AT ITER 3945 NEW BEST:: SOT 59984 SOS 25640 HAS SOPS 25455 HAS SOUS 9311 HAS SOUPS 9126 WITH SCORE 9151.64
AT ITER 3983 NEW BEST:: SOT 59975 SOS 25628 HAS SOPS 25443 HAS SOUS 9290 HAS SOUPS 9105 WITH SCORE 9130.628
AT ITER 4009 NEW BEST:: SOT 59982 SOS 25544 HAS SOPS 25359 HAS SOUS 9269 HAS SOUPS 9084 WITH SCORE 9109.544
AT ITER 4029 NEW BEST:: SOT 59958 SOS 25516 HAS SOPS 25331 HAS SOUS 9257 HAS SOUPS 9072 WITH SCORE 9097.516
AT ITER 4087 NEW BEST:: SOT 59972 SOS 25492 HAS SOPS 25307 HAS SOUS 9235 HAS SOUPS 9050 WITH SCORE 9075.492
AT ITER 4088 NEW BEST:: SOT 59960 SOS 25464 HAS SOPS 25279 HAS SOUS 9231 HAS SOUPS 9046 WITH SCORE 9071.464
AT ITER 4096 NEW BEST:: SOT 59965 SOS 25464 HAS SOPS 25279 HAS SOUS 9223 HAS SOUPS 9038 WITH SCORE 9063.464
AT ITER 4144 NEW BEST:: SOT 59948 SOS 25439 HAS SOPS 25254 HAS SOUS 9206 HAS SOUPS 9021 WITH SCORE 9046.439
AT ITER 4155 NEW BEST:: SOT 60011 SOS 25377 HAS SOPS 25192 HAS SOUS 9121 HAS SOUPS 8936 WITH SCORE 8961.377
AT ITER 4161 NEW BEST:: SOT 60004 SOS 25307 HAS SOPS 25114 HAS SOUS 9122 HAS SOUPS 8929 WITH SCORE 8954.307
AT ITER 4167 NEW BEST:: SOT 60004 SOS 25306 HAS SOPS 25113 HAS SOUS 9122 HAS SOUPS 8929 WITH SCORE 8954.306
AT ITER 4188 NEW BEST:: SOT 60007 SOS 25353 HAS SOPS 25160 HAS SOUS 9093 HAS SOUPS 8900 WITH SCORE 8925.353
AT ITER 4189 NEW BEST:: SOT 60007 SOS 25341 HAS SOPS 25148 HAS SOUS 9090 HAS SOUPS 8897 WITH SCORE 8922.341
AT ITER 4203 NEW BEST:: SOT 59932 SOS 25310 HAS SOPS 25117 HAS SOUS 9023 HAS SOUPS 8830 WITH SCORE 8855.31
AT ITER 4204 NEW BEST:: SOT 59931 SOS 25305 HAS SOPS 25112 HAS SOUS 9017 HAS SOUPS 8824 WITH SCORE 8849.305
AT ITER 4205 NEW BEST:: SOT 59980 SOS 25234 HAS SOPS 25041 HAS SOUS 8996 HAS SOUPS 8803 WITH SCORE 8828.234
AT ITER 4274 NEW BEST:: SOT 59858 SOS 25159 HAS SOPS 24966 HAS SOUS 8963 HAS SOUPS 8770 WITH SCORE 8795.159
AT ITER 4283 NEW BEST:: SOT 59769 SOS 25113 HAS SOPS 24920 HAS SOUS 8948 HAS SOUPS 8755 WITH SCORE 8780.113
AT ITER 4314 NEW BEST:: SOT 59832 SOS 25116 HAS SOPS 24923 HAS SOUS 8925 HAS SOUPS 8732 WITH SCORE 8757.116
AT ITER 4364 NEW BEST:: SOT 59818 SOS 25045 HAS SOPS 24852 HAS SOUS 8906 HAS SOUPS 8713 WITH SCORE 8738.045
AT ITER 4377 NEW BEST:: SOT 59800 SOS 25020 HAS SOPS 24827 HAS SOUS 8886 HAS SOUPS 8693 WITH SCORE 8718.02
AT ITER 4442 NEW BEST:: SOT 59799 SOS 25020 HAS SOPS 24827 HAS SOUS 8880 HAS SOUPS 8687 WITH SCORE 8712.02
AT ITER 4460 NEW BEST:: SOT 59756 SOS 24958 HAS SOPS 24765 HAS SOUS 8796 HAS SOUPS 8603 WITH SCORE 8627.958
AT ITER 4474 NEW BEST:: SOT 59774 SOS 24976 HAS SOPS 24783 HAS SOUS 8790 HAS SOUPS 8597 WITH SCORE 8621.976
AT ITER 4537 NEW BEST:: SOT 59772 SOS 24973 HAS SOPS 24780 HAS SOUS 8784 HAS SOUPS 8591 WITH SCORE 8615.973
AT ITER 4552 NEW BEST:: SOT 59769 SOS 24964 HAS SOPS 24771 HAS SOUS 8776 HAS SOUPS 8583 WITH SCORE 8607.964
AT ITER 4561 NEW BEST:: SOT 59752 SOS 24957 HAS SOPS 24764 HAS SOUS 8770 HAS SOUPS 8577 WITH SCORE 8601.957
AT ITER 4624 NEW BEST:: SOT 59756 SOS 24967 HAS SOPS 24774 HAS SOUS 8769 HAS SOUPS 8576 WITH SCORE 8600.967
AT ITER 4698 NEW BEST:: SOT 59753 SOS 24969 HAS SOPS 24776 HAS SOUS 8768 HAS SOUPS 8575 WITH SCORE 8599.969
AT ITER 4708 NEW BEST:: SOT 59753 SOS 24961 HAS SOPS 24768 HAS SOUS 8768 HAS SOUPS 8575 WITH SCORE 8599.961
AT ITER 4714 NEW BEST:: SOT 59742 SOS 24942 HAS SOPS 24749 HAS SOUS 8752 HAS SOUPS 8559 WITH SCORE 8583.942
AT ITER 4722 NEW BEST:: SOT 59739 SOS 24938 HAS SOPS 24745 HAS SOUS 8747 HAS SOUPS 8554 WITH SCORE 8578.938
AT ITER 4734 NEW BEST:: SOT 59739 SOS 24934 HAS SOPS 24741 HAS SOUS 8745 HAS SOUPS 8552 WITH SCORE 8576.934
AT ITER 4821 NEW BEST:: SOT 59739 SOS 24928 HAS SOPS 24735 HAS SOUS 8742 HAS SOUPS 8549 WITH SCORE 8573.928
AT ITER 4902 NEW BEST:: SOT 59737 SOS 24926 HAS SOPS 24733 HAS SOUS 8740 HAS SOUPS 8547 WITH SCORE 8571.926
AT ITER 4913 NEW BEST:: SOT 59737 SOS 24924 HAS SOPS 24731 HAS SOUS 8737 HAS SOUPS 8544 WITH SCORE 8568.924
AT ITER 4929 NEW BEST:: SOT 59775 SOS 24967 HAS SOPS 24774 HAS SOUS 8716 HAS SOUPS 8523 WITH SCORE 8547.967
AT ITER 4981 NEW BEST:: SOT 59777 SOS 24925 HAS SOPS 24732 HAS SOUS 8712 HAS SOUPS 8519 WITH SCORE 8543.925
Bounds file is: CTLFireability.xml
PROPERTY: MultiwaySync-PT-none-CTLFireability-00 (EF( ((potential((tk(P127)>=1) & (tk(P142)>=1))))))
PROPERTY: MultiwaySync-PT-none-CTLFireability-01 (AF( ( (AG( ((potential((tk(P205)>=1)))))) | (! (AF( ((potential((tk(P221)>=1) & (tk(P192)>=1))))))) )))
PROPERTY: MultiwaySync-PT-none-CTLFireability-02 (! (! (AF( ((potential((tk(P42)>=1))))))))
PROPERTY: MultiwaySync-PT-none-CTLFireability-03 ( (! (AU( (! ((potential((tk(P206)>=1))))) , (! ((potential((tk(P221)>=1) & (tk(P53)>=1))))) ))) | (AU( ( ((potential((tk(P185)>=1)))) & ( ((potential((tk(P221)>=1) & (tk(P62)>=1)))) | ((potential((tk(P221)>=1) & (tk(P186)>=1)))) ) ) , (EF( ((potential((tk(P67)>=1) & (tk(P221)>=1)))))) )) )
PROPERTY: MultiwaySync-PT-none-CTLFireability-04 (AX( (AF( ( ((potential((tk(P185)>=1)))) & ((potential((tk(P110)>=1) & (tk(P221)>=1)))) )))))
PROPERTY: MultiwaySync-PT-none-CTLFireability-05 (EF( ((potential((tk(P60)>=1) & (tk(P221)>=1))))))
PROPERTY: MultiwaySync-PT-none-CTLFireability-06 ( (AU( ((potential((tk(P168)>=1) & (tk(P221)>=1)))) , (AX( ((potential((tk(P25)>=1)))))) )) | ( (AG( (AF( ((potential((tk(P144)>=1) & (tk(P221)>=1)))))))) & (EF( ((potential((tk(P64)>=1)))))) ) )
PROPERTY: MultiwaySync-PT-none-CTLFireability-07 (EU( ((potential((tk(P220)>=1)))) , (EF( ( ((potential((tk(P131)>=1) & (tk(P142)>=1)))) & ((potential((tk(P4)>=1) & (tk(P12)>=1)))) ))) ))
PROPERTY: MultiwaySync-PT-none-CTLFireability-08 ( (EU( (! ( ((potential((tk(P197)>=1)))) & ((potential((tk(P45)>=1) & (tk(P221)>=1)))) )) , ( (! ((potential((tk(P3)>=1))))) | ( ((potential((tk(P57)>=1) & (tk(P73)>=1)))) | ((potential((tk(P121)>=1)))) ) ) )) & (EU( (! ( ((potential((tk(P202)>=1) & (tk(P221)>=1)))) | ((potential((tk(P64)>=1) & (tk(P221)>=1)))) )) , ( ( ((potential((tk(P3)>=1)))) & ((potential((tk(P221)>=1) & (tk(P66)>=1)))) ) & (! ((potential((tk(P209)>=1))))) ) )) )
PROPERTY: MultiwaySync-PT-none-CTLFireability-09 (EG( (AF( (AF( ((potential((tk(P85)>=1))))))))))
PROPERTY: MultiwaySync-PT-none-CTLFireability-10 (! (AF( ( ((potential((tk(P168)>=1) & (tk(P221)>=1)))) & (! ( ((potential((tk(P86)>=1) & (tk(P103)>=1)))) & ((potential((tk(P185)>=1)))) )) ))))
PROPERTY: MultiwaySync-PT-none-CTLFireability-11 ( (! (EU( (! ((potential((tk(P221)>=1) & (tk(P198)>=1))))) , ((potential((tk(P82)>=1) & (tk(P107)>=1)))) ))) | ( ( ((potential((tk(P199)>=1) & (tk(P221)>=1)))) | (EG( ( ((potential((tk(P99)>=1) & (tk(P107)>=1)))) | ((potential((tk(P28)>=1)))) ))) ) | (EU( (! ((potential((tk(P60)>=1))))) , ( ((potential((tk(P221)>=1) & (tk(P70)>=1)))) & ((potential((tk(P175)>=1) & (tk(P221)>=1)))) ) )) ) )
PROPERTY: MultiwaySync-PT-none-CTLFireability-12 (! (! ( (! (AF( ((potential((tk(P38)>=1))))))) | ((potential((tk(P95)>=1) & (tk(P103)>=1)))) )))
PROPERTY: MultiwaySync-PT-none-CTLFireability-13 (! (AF( ( (EF( ((potential((tk(P135)>=1) & (tk(P221)>=1)))))) | (AG( ((potential((tk(P52)>=1)))))) ))))
PROPERTY: MultiwaySync-PT-none-CTLFireability-14 ( ((potential((tk(P2)>=1) & (tk(P21)>=1)))) | (EG( (! ( ( ((potential((tk(P211)>=1) & (tk(P221)>=1)))) & ((potential((tk(P64)>=1) & (tk(P221)>=1)))) ) & ((potential((tk(P18)>=1) & (tk(P221)>=1)))) )))) )
PROPERTY: MultiwaySync-PT-none-CTLFireability-15 ( ( (! (! (! ( ((potential((tk(P76)>=1)))) | ((potential((tk(P156)>=1) & (tk(P166)>=1)))) )))) | (AX( ((potential((tk(P194)>=1)))))) ) & (AF( ( ( ( ((potential((tk(P129)>=1) & (tk(P150)>=1)))) | ((potential((tk(P211)>=1)))) ) & ((potential((tk(P191)>=1)))) ) & (EX( ((potential((tk(P222)>=1)))))) ))) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiwaySync-PT-none"
export BK_EXAMINATION="CTLFireability"
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 MultiwaySync-PT-none, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250000108"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiwaySync-PT-none.tgz
mv MultiwaySync-PT-none execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;