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.r018-oct2-158897680200555.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 BusinessProcesses-PT-14, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200555
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 328K
-rw-r--r-- 1 mcc users 3.1K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 26 02:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 156K 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 BusinessProcesses-PT-14-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-14-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-14-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-14-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-14-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-14-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-14-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-14-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-14-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-14-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-14-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-14-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-14-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-14-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-14-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-14-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590869263634

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 14
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 624 places, 564 transitions, 1657 arcs.
AT ITER 0 NEW BEST:: SOT 223547 SOS 85893 HAS SOPS 85893 HAS SOUS 83009 HAS SOUPS 83009 WITH SCORE 83094.893
AT ITER 13 NEW BEST:: SOT 223482 SOS 85856 HAS SOPS 85856 HAS SOUS 82972 HAS SOUPS 82972 WITH SCORE 83057.856
AT ITER 14 NEW BEST:: SOT 223209 SOS 85541 HAS SOPS 85541 HAS SOUS 82657 HAS SOUPS 82657 WITH SCORE 82742.541
AT ITER 18 NEW BEST:: SOT 223027 SOS 85325 HAS SOPS 85325 HAS SOUS 82466 HAS SOUPS 82466 WITH SCORE 82551.325
AT ITER 43 NEW BEST:: SOT 222984 SOS 85282 HAS SOPS 85282 HAS SOUS 82423 HAS SOUPS 82423 WITH SCORE 82508.282
AT ITER 44 NEW BEST:: SOT 222889 SOS 85460 HAS SOPS 85460 HAS SOUS 82389 HAS SOUPS 82389 WITH SCORE 82474.46
AT ITER 46 NEW BEST:: SOT 222889 SOS 85445 HAS SOPS 85445 HAS SOUS 82374 HAS SOUPS 82374 WITH SCORE 82459.445
AT ITER 47 NEW BEST:: SOT 222839 SOS 85277 HAS SOPS 85277 HAS SOUS 82274 HAS SOUPS 82274 WITH SCORE 82359.277
AT ITER 57 NEW BEST:: SOT 222839 SOS 85168 HAS SOPS 85168 HAS SOUS 82165 HAS SOUPS 82165 WITH SCORE 82250.168
AT ITER 60 NEW BEST:: SOT 222839 SOS 85127 HAS SOPS 85127 HAS SOUS 82124 HAS SOUPS 82124 WITH SCORE 82209.127
AT ITER 62 NEW BEST:: SOT 222869 SOS 85098 HAS SOPS 85098 HAS SOUS 82095 HAS SOUPS 82095 WITH SCORE 82180.098
AT ITER 65 NEW BEST:: SOT 222869 SOS 85028 HAS SOPS 85028 HAS SOUS 82025 HAS SOUPS 82025 WITH SCORE 82110.028
AT ITER 70 NEW BEST:: SOT 222869 SOS 85024 HAS SOPS 85024 HAS SOUS 82021 HAS SOUPS 82021 WITH SCORE 82106.024
AT ITER 78 NEW BEST:: SOT 222869 SOS 84987 HAS SOPS 84987 HAS SOUS 81984 HAS SOUPS 81984 WITH SCORE 82068.987
AT ITER 99 NEW BEST:: SOT 222780 SOS 84864 HAS SOPS 84864 HAS SOUS 81861 HAS SOUPS 81861 WITH SCORE 81945.864
AT ITER 100 NEW BEST:: SOT 222613 SOS 84530 HAS SOPS 84530 HAS SOUS 81527 HAS SOUPS 81527 WITH SCORE 81611.53
AT ITER 106 NEW BEST:: SOT 219398 SOS 82085 HAS SOPS 82085 HAS SOUS 78348 HAS SOUPS 78348 WITH SCORE 78430.085
AT ITER 116 NEW BEST:: SOT 219398 SOS 82033 HAS SOPS 82033 HAS SOUS 78297 HAS SOUPS 78297 WITH SCORE 78379.033
AT ITER 117 NEW BEST:: SOT 219398 SOS 81962 HAS SOPS 81962 HAS SOUS 78226 HAS SOUPS 78226 WITH SCORE 78307.962
AT ITER 118 NEW BEST:: SOT 219298 SOS 82239 HAS SOPS 82239 HAS SOUS 78126 HAS SOUPS 78126 WITH SCORE 78208.239
AT ITER 144 NEW BEST:: SOT 219490 SOS 81899 HAS SOPS 81899 HAS SOUS 78088 HAS SOUPS 78088 WITH SCORE 78169.899
AT ITER 153 NEW BEST:: SOT 219490 SOS 81792 HAS SOPS 81792 HAS SOUS 77981 HAS SOUPS 77981 WITH SCORE 78062.792
AT ITER 163 NEW BEST:: SOT 219404 SOS 81173 HAS SOPS 81173 HAS SOUS 77478 HAS SOUPS 77478 WITH SCORE 77559.173
AT ITER 167 NEW BEST:: SOT 219404 SOS 81163 HAS SOPS 81163 HAS SOUS 77468 HAS SOUPS 77468 WITH SCORE 77549.163
AT ITER 177 NEW BEST:: SOT 219290 SOS 81191 HAS SOPS 81191 HAS SOUS 77429 HAS SOUPS 77429 WITH SCORE 77510.191
AT ITER 178 NEW BEST:: SOT 219405 SOS 80916 HAS SOPS 80916 HAS SOUS 77360 HAS SOUPS 77360 WITH SCORE 77440.916
AT ITER 182 NEW BEST:: SOT 219315 SOS 80898 HAS SOPS 80898 HAS SOUS 77342 HAS SOUPS 77342 WITH SCORE 77422.898
AT ITER 183 NEW BEST:: SOT 219280 SOS 80863 HAS SOPS 80863 HAS SOUS 77307 HAS SOUPS 77307 WITH SCORE 77387.863
AT ITER 184 NEW BEST:: SOT 219473 SOS 80725 HAS SOPS 80725 HAS SOUS 77169 HAS SOUPS 77169 WITH SCORE 77249.725
AT ITER 190 NEW BEST:: SOT 219473 SOS 80699 HAS SOPS 80699 HAS SOUS 77143 HAS SOUPS 77143 WITH SCORE 77223.699
AT ITER 192 NEW BEST:: SOT 219462 SOS 80728 HAS SOPS 80728 HAS SOUS 77139 HAS SOUPS 77139 WITH SCORE 77219.728
AT ITER 204 NEW BEST:: SOT 219497 SOS 80756 HAS SOPS 80756 HAS SOUS 77132 HAS SOUPS 77132 WITH SCORE 77212.756
AT ITER 215 NEW BEST:: SOT 219485 SOS 80744 HAS SOPS 80744 HAS SOUS 77120 HAS SOUPS 77120 WITH SCORE 77200.744
AT ITER 216 NEW BEST:: SOT 213321 SOS 87383 HAS SOPS 87383 HAS SOUS 71289 HAS SOUPS 71289 WITH SCORE 71376.383
AT ITER 217 NEW BEST:: SOT 213439 SOS 87337 HAS SOPS 87337 HAS SOUS 71243 HAS SOUPS 71243 WITH SCORE 71330.337
AT ITER 219 NEW BEST:: SOT 213041 SOS 86782 HAS SOPS 86782 HAS SOUS 70922 HAS SOUPS 70922 WITH SCORE 71008.782
AT ITER 222 NEW BEST:: SOT 213027 SOS 86768 HAS SOPS 86768 HAS SOUS 70908 HAS SOUPS 70908 WITH SCORE 70994.768
AT ITER 242 NEW BEST:: SOT 213026 SOS 86647 HAS SOPS 86647 HAS SOUS 70906 HAS SOUPS 70906 WITH SCORE 70992.647
AT ITER 243 NEW BEST:: SOT 213026 SOS 86505 HAS SOPS 86505 HAS SOUS 70647 HAS SOUPS 70647 WITH SCORE 70733.505
AT ITER 254 NEW BEST:: SOT 213077 SOS 86378 HAS SOPS 86378 HAS SOUS 70569 HAS SOUPS 70569 WITH SCORE 70655.378
AT ITER 260 NEW BEST:: SOT 213096 SOS 86374 HAS SOPS 86374 HAS SOUS 70565 HAS SOUPS 70565 WITH SCORE 70651.374
AT ITER 267 NEW BEST:: SOT 213086 SOS 86364 HAS SOPS 86364 HAS SOUS 70555 HAS SOUPS 70555 WITH SCORE 70641.364
AT ITER 270 NEW BEST:: SOT 213067 SOS 86326 HAS SOPS 86326 HAS SOUS 70517 HAS SOUPS 70517 WITH SCORE 70603.326
AT ITER 283 NEW BEST:: SOT 212937 SOS 86196 HAS SOPS 86196 HAS SOUS 70517 HAS SOUPS 70517 WITH SCORE 70603.196
AT ITER 287 NEW BEST:: SOT 212748 SOS 85817 HAS SOPS 85817 HAS SOUS 70298 HAS SOUPS 70298 WITH SCORE 70383.817
AT ITER 288 NEW BEST:: SOT 212657 SOS 85725 HAS SOPS 85725 HAS SOUS 70296 HAS SOUPS 70296 WITH SCORE 70381.725
AT ITER 293 NEW BEST:: SOT 212657 SOS 85723 HAS SOPS 85723 HAS SOUS 70294 HAS SOUPS 70294 WITH SCORE 70379.723
AT ITER 314 NEW BEST:: SOT 212411 SOS 85320 HAS SOPS 85320 HAS SOUS 70111 HAS SOUPS 70111 WITH SCORE 70196.32
AT ITER 327 NEW BEST:: SOT 212407 SOS 85316 HAS SOPS 85316 HAS SOUS 70111 HAS SOUPS 70111 WITH SCORE 70196.316
AT ITER 330 NEW BEST:: SOT 212285 SOS 84895 HAS SOPS 84895 HAS SOUS 69947 HAS SOUPS 69947 WITH SCORE 70031.895
AT ITER 342 NEW BEST:: SOT 212063 SOS 84452 HAS SOPS 84452 HAS SOUS 69748 HAS SOUPS 69748 WITH SCORE 69832.452
AT ITER 345 NEW BEST:: SOT 211961 SOS 84261 HAS SOPS 84261 HAS SOUS 69557 HAS SOUPS 69557 WITH SCORE 69641.261
AT ITER 349 NEW BEST:: SOT 211591 SOS 83763 HAS SOPS 83763 HAS SOUS 69059 HAS SOUPS 69059 WITH SCORE 69142.763
AT ITER 354 NEW BEST:: SOT 211590 SOS 83656 HAS SOPS 83656 HAS SOUS 68929 HAS SOUPS 68929 WITH SCORE 69012.656
AT ITER 356 NEW BEST:: SOT 211271 SOS 83018 HAS SOPS 83018 HAS SOUS 68427 HAS SOUPS 68427 WITH SCORE 68510.018
AT ITER 361 NEW BEST:: SOT 211067 SOS 82814 HAS SOPS 82814 HAS SOUS 68223 HAS SOUPS 68223 WITH SCORE 68305.814
AT ITER 362 NEW BEST:: SOT 211032 SOS 82844 HAS SOPS 82844 HAS SOUS 68153 HAS SOUPS 68153 WITH SCORE 68235.844
AT ITER 364 NEW BEST:: SOT 210983 SOS 82795 HAS SOPS 82795 HAS SOUS 68104 HAS SOUPS 68104 WITH SCORE 68186.795
AT ITER 373 NEW BEST:: SOT 210837 SOS 82511 HAS SOPS 82511 HAS SOUS 67820 HAS SOUPS 67820 WITH SCORE 67902.511
AT ITER 374 NEW BEST:: SOT 210822 SOS 82312 HAS SOPS 82312 HAS SOUS 67621 HAS SOUPS 67621 WITH SCORE 67703.312
AT ITER 377 NEW BEST:: SOT 210694 SOS 82056 HAS SOPS 82056 HAS SOUS 67446 HAS SOUPS 67446 WITH SCORE 67528.056
AT ITER 383 NEW BEST:: SOT 210693 SOS 82054 HAS SOPS 82054 HAS SOUS 67444 HAS SOUPS 67444 WITH SCORE 67526.054
AT ITER 398 NEW BEST:: SOT 210606 SOS 81859 HAS SOPS 81859 HAS SOUS 67388 HAS SOUPS 67388 WITH SCORE 67469.859
AT ITER 400 NEW BEST:: SOT 210521 SOS 81774 HAS SOPS 81774 HAS SOUS 67388 HAS SOUPS 67388 WITH SCORE 67469.774
AT ITER 401 NEW BEST:: SOT 210522 SOS 81778 HAS SOPS 81778 HAS SOUS 67319 HAS SOUPS 67319 WITH SCORE 67400.778
AT ITER 403 NEW BEST:: SOT 210521 SOS 81663 HAS SOPS 81663 HAS SOUS 67204 HAS SOUPS 67204 WITH SCORE 67285.663
AT ITER 408 NEW BEST:: SOT 210520 SOS 81661 HAS SOPS 81661 HAS SOUS 67202 HAS SOUPS 67202 WITH SCORE 67283.661
AT ITER 421 NEW BEST:: SOT 210617 SOS 81566 HAS SOPS 81566 HAS SOUS 67126 HAS SOUPS 67126 WITH SCORE 67207.566
AT ITER 427 NEW BEST:: SOT 210617 SOS 81562 HAS SOPS 81562 HAS SOUS 67118 HAS SOUPS 67118 WITH SCORE 67199.562
AT ITER 430 NEW BEST:: SOT 210533 SOS 81394 HAS SOPS 81394 HAS SOUS 67111 HAS SOUPS 67111 WITH SCORE 67192.394
AT ITER 441 NEW BEST:: SOT 210518 SOS 81364 HAS SOPS 81364 HAS SOUS 67081 HAS SOUPS 67081 WITH SCORE 67162.364
AT ITER 444 NEW BEST:: SOT 210483 SOS 81294 HAS SOPS 81294 HAS SOUS 67046 HAS SOUPS 67046 WITH SCORE 67127.294
AT ITER 473 NEW BEST:: SOT 210348 SOS 81024 HAS SOPS 81024 HAS SOUS 66974 HAS SOUPS 66974 WITH SCORE 67055.024
AT ITER 480 NEW BEST:: SOT 210285 SOS 80887 HAS SOPS 80887 HAS SOUS 66837 HAS SOUPS 66837 WITH SCORE 66917.887
AT ITER 482 NEW BEST:: SOT 210174 SOS 80670 HAS SOPS 80670 HAS SOUS 66571 HAS SOUPS 66571 WITH SCORE 66651.67
AT ITER 490 NEW BEST:: SOT 210127 SOS 80623 HAS SOPS 80623 HAS SOUS 66571 HAS SOUPS 66571 WITH SCORE 66651.623
AT ITER 491 NEW BEST:: SOT 210080 SOS 80587 HAS SOPS 80587 HAS SOUS 66534 HAS SOUPS 66534 WITH SCORE 66614.587
AT ITER 494 NEW BEST:: SOT 210012 SOS 80519 HAS SOPS 80519 HAS SOUS 66534 HAS SOUPS 66534 WITH SCORE 66614.519
AT ITER 502 NEW BEST:: SOT 210011 SOS 80518 HAS SOPS 80518 HAS SOUS 66533 HAS SOUPS 66533 WITH SCORE 66613.518
AT ITER 506 NEW BEST:: SOT 209685 SOS 79866 HAS SOPS 79866 HAS SOUS 66044 HAS SOUPS 66044 WITH SCORE 66123.866
AT ITER 507 NEW BEST:: SOT 209985 SOS 80132 HAS SOPS 80132 HAS SOUS 66021 HAS SOUPS 66021 WITH SCORE 66101.132
AT ITER 510 NEW BEST:: SOT 209876 SOS 80061 HAS SOPS 80061 HAS SOUS 65965 HAS SOUPS 65965 WITH SCORE 66045.061
AT ITER 520 NEW BEST:: SOT 209783 SOS 80026 HAS SOPS 80026 HAS SOUS 65964 HAS SOUPS 65964 WITH SCORE 66044.026
AT ITER 523 NEW BEST:: SOT 209692 SOS 79963 HAS SOPS 79963 HAS SOUS 65898 HAS SOUPS 65898 WITH SCORE 65977.963
AT ITER 530 NEW BEST:: SOT 209692 SOS 79882 HAS SOPS 79882 HAS SOUS 65778 HAS SOUPS 65778 WITH SCORE 65857.882
AT ITER 551 NEW BEST:: SOT 209452 SOS 79566 HAS SOPS 79566 HAS SOUS 65485 HAS SOUPS 65485 WITH SCORE 65564.566
AT ITER 556 NEW BEST:: SOT 209216 SOS 79086 HAS SOPS 79086 HAS SOUS 65169 HAS SOUPS 65169 WITH SCORE 65248.086
AT ITER 561 NEW BEST:: SOT 209176 SOS 79005 HAS SOPS 79005 HAS SOUS 65102 HAS SOUPS 65102 WITH SCORE 65181.005
AT ITER 573 NEW BEST:: SOT 209175 SOS 79003 HAS SOPS 79003 HAS SOUS 65100 HAS SOUPS 65100 WITH SCORE 65179.003
AT ITER 575 NEW BEST:: SOT 209251 SOS 78961 HAS SOPS 78961 HAS SOUS 65053 HAS SOUPS 65053 WITH SCORE 65131.961
AT ITER 583 NEW BEST:: SOT 209139 SOS 78737 HAS SOPS 78737 HAS SOUS 64985 HAS SOUPS 64985 WITH SCORE 65063.737
AT ITER 592 NEW BEST:: SOT 209186 SOS 78784 HAS SOPS 78784 HAS SOUS 64982 HAS SOUPS 64982 WITH SCORE 65060.784
AT ITER 597 NEW BEST:: SOT 209399 SOS 78716 HAS SOPS 78716 HAS SOUS 64914 HAS SOUPS 64914 WITH SCORE 64992.716
AT ITER 602 NEW BEST:: SOT 209375 SOS 78692 HAS SOPS 78692 HAS SOUS 64886 HAS SOUPS 64886 WITH SCORE 64964.692
AT ITER 605 NEW BEST:: SOT 209375 SOS 78692 HAS SOPS 78692 HAS SOUS 64830 HAS SOUPS 64830 WITH SCORE 64908.692
AT ITER 608 NEW BEST:: SOT 209307 SOS 78488 HAS SOPS 78488 HAS SOUS 64626 HAS SOUPS 64626 WITH SCORE 64704.488
AT ITER 621 NEW BEST:: SOT 209307 SOS 78377 HAS SOPS 78377 HAS SOUS 64543 HAS SOUPS 64543 WITH SCORE 64621.377
AT ITER 629 NEW BEST:: SOT 209305 SOS 78375 HAS SOPS 78375 HAS SOUS 64541 HAS SOUPS 64541 WITH SCORE 64619.375
AT ITER 632 NEW BEST:: SOT 209342 SOS 78368 HAS SOPS 78368 HAS SOUS 64534 HAS SOUPS 64534 WITH SCORE 64612.368
AT ITER 644 NEW BEST:: SOT 209324 SOS 78332 HAS SOPS 78332 HAS SOUS 64498 HAS SOUPS 64498 WITH SCORE 64576.332
AT ITER 682 NEW BEST:: SOT 209324 SOS 78332 HAS SOPS 78332 HAS SOUS 64421 HAS SOUPS 64421 WITH SCORE 64499.332
AT ITER 692 NEW BEST:: SOT 209324 SOS 78324 HAS SOPS 78324 HAS SOUS 64413 HAS SOUPS 64413 WITH SCORE 64491.324
AT ITER 704 NEW BEST:: SOT 209289 SOS 78289 HAS SOPS 78289 HAS SOUS 64370 HAS SOUPS 64370 WITH SCORE 64448.289
AT ITER 709 NEW BEST:: SOT 209287 SOS 78285 HAS SOPS 78285 HAS SOUS 64366 HAS SOUPS 64366 WITH SCORE 64444.285
AT ITER 712 NEW BEST:: SOT 209256 SOS 78261 HAS SOPS 78261 HAS SOUS 64342 HAS SOUPS 64342 WITH SCORE 64420.261
AT ITER 728 NEW BEST:: SOT 209248 SOS 78253 HAS SOPS 78253 HAS SOUS 64334 HAS SOUPS 64334 WITH SCORE 64412.253
AT ITER 729 NEW BEST:: SOT 209207 SOS 78212 HAS SOPS 78212 HAS SOUS 64311 HAS SOUPS 64311 WITH SCORE 64389.212
AT ITER 740 NEW BEST:: SOT 209207 SOS 78196 HAS SOPS 78196 HAS SOUS 64295 HAS SOUPS 64295 WITH SCORE 64373.196
AT ITER 742 NEW BEST:: SOT 209189 SOS 78177 HAS SOPS 78177 HAS SOUS 64276 HAS SOUPS 64276 WITH SCORE 64354.177
AT ITER 743 NEW BEST:: SOT 209189 SOS 78177 HAS SOPS 78177 HAS SOUS 64128 HAS SOUPS 64128 WITH SCORE 64206.177
AT ITER 750 NEW BEST:: SOT 209252 SOS 77818 HAS SOPS 77818 HAS SOUS 63824 HAS SOUPS 63824 WITH SCORE 63901.818
AT ITER 758 NEW BEST:: SOT 209168 SOS 77734 HAS SOPS 77734 HAS SOUS 63740 HAS SOUPS 63740 WITH SCORE 63817.734
AT ITER 768 NEW BEST:: SOT 209168 SOS 77729 HAS SOPS 77729 HAS SOUS 63738 HAS SOUPS 63738 WITH SCORE 63815.729
AT ITER 773 NEW BEST:: SOT 209168 SOS 77593 HAS SOPS 77593 HAS SOUS 63737 HAS SOUPS 63737 WITH SCORE 63814.593
AT ITER 782 NEW BEST:: SOT 209114 SOS 77398 HAS SOPS 77398 HAS SOUS 63585 HAS SOUPS 63585 WITH SCORE 63662.398
AT ITER 788 NEW BEST:: SOT 209074 SOS 77317 HAS SOPS 77317 HAS SOUS 63517 HAS SOUPS 63517 WITH SCORE 63594.317
AT ITER 790 NEW BEST:: SOT 209038 SOS 77245 HAS SOPS 77245 HAS SOUS 63463 HAS SOUPS 63463 WITH SCORE 63540.245
AT ITER 800 NEW BEST:: SOT 208856 SOS 77124 HAS SOPS 77124 HAS SOUS 63342 HAS SOUPS 63342 WITH SCORE 63419.124
AT ITER 806 NEW BEST:: SOT 208670 SOS 76955 HAS SOPS 76955 HAS SOUS 63279 HAS SOUPS 63279 WITH SCORE 63355.955
AT ITER 809 NEW BEST:: SOT 208576 SOS 76767 HAS SOPS 76767 HAS SOUS 63234 HAS SOUPS 63234 WITH SCORE 63310.767
AT ITER 812 NEW BEST:: SOT 208576 SOS 76754 HAS SOPS 76754 HAS SOUS 63234 HAS SOUPS 63234 WITH SCORE 63310.754
AT ITER 842 NEW BEST:: SOT 208451 SOS 76477 HAS SOPS 76477 HAS SOUS 63161 HAS SOUPS 63161 WITH SCORE 63237.477
AT ITER 845 NEW BEST:: SOT 208374 SOS 76334 HAS SOPS 76334 HAS SOUS 63049 HAS SOUPS 63049 WITH SCORE 63125.334
AT ITER 852 NEW BEST:: SOT 208174 SOS 75934 HAS SOPS 75934 HAS SOUS 62875 HAS SOUPS 62875 WITH SCORE 62950.934
AT ITER 859 NEW BEST:: SOT 205161 SOS 74848 HAS SOPS 74848 HAS SOUS 60109 HAS SOUPS 60109 WITH SCORE 60183.848
AT ITER 861 NEW BEST:: SOT 205154 SOS 74824 HAS SOPS 74824 HAS SOUS 59990 HAS SOUPS 59990 WITH SCORE 60064.824
AT ITER 868 NEW BEST:: SOT 205292 SOS 74797 HAS SOPS 74797 HAS SOUS 59981 HAS SOUPS 59981 WITH SCORE 60055.797
AT ITER 870 NEW BEST:: SOT 205271 SOS 74776 HAS SOPS 74776 HAS SOUS 59960 HAS SOUPS 59960 WITH SCORE 60034.776
AT ITER 874 NEW BEST:: SOT 205226 SOS 74628 HAS SOPS 74628 HAS SOUS 59946 HAS SOUPS 59946 WITH SCORE 60020.628
AT ITER 876 NEW BEST:: SOT 205159 SOS 74559 HAS SOPS 74559 HAS SOUS 59877 HAS SOUPS 59877 WITH SCORE 59951.559
AT ITER 879 NEW BEST:: SOT 205140 SOS 74540 HAS SOPS 74540 HAS SOUS 59877 HAS SOUPS 59877 WITH SCORE 59951.54
AT ITER 904 NEW BEST:: SOT 205140 SOS 74352 HAS SOPS 74352 HAS SOUS 59689 HAS SOUPS 59689 WITH SCORE 59763.352
AT ITER 910 NEW BEST:: SOT 205090 SOS 74252 HAS SOPS 74252 HAS SOUS 59657 HAS SOUPS 59657 WITH SCORE 59731.252
AT ITER 913 NEW BEST:: SOT 202853 SOS 74300 HAS SOPS 74300 HAS SOUS 57932 HAS SOUPS 57932 WITH SCORE 58006.3
AT ITER 919 NEW BEST:: SOT 202875 SOS 74217 HAS SOPS 74217 HAS SOUS 57890 HAS SOUPS 57890 WITH SCORE 57964.217
AT ITER 934 NEW BEST:: SOT 202791 SOS 74049 HAS SOPS 74049 HAS SOUS 57722 HAS SOUPS 57722 WITH SCORE 57796.049
AT ITER 941 NEW BEST:: SOT 202790 SOS 73935 HAS SOPS 73935 HAS SOUS 57682 HAS SOUPS 57682 WITH SCORE 57755.935
AT ITER 947 NEW BEST:: SOT 202789 SOS 73934 HAS SOPS 73934 HAS SOUS 57681 HAS SOUPS 57681 WITH SCORE 57754.934
AT ITER 954 NEW BEST:: SOT 202628 SOS 73773 HAS SOPS 73773 HAS SOUS 57520 HAS SOUPS 57520 WITH SCORE 57593.773
AT ITER 959 NEW BEST:: SOT 202474 SOS 73619 HAS SOPS 73619 HAS SOUS 57520 HAS SOUPS 57520 WITH SCORE 57593.619
AT ITER 984 NEW BEST:: SOT 202493 SOS 73521 HAS SOPS 73521 HAS SOUS 57486 HAS SOUPS 57486 WITH SCORE 57559.521
AT ITER 987 NEW BEST:: SOT 202456 SOS 73483 HAS SOPS 73483 HAS SOUS 57484 HAS SOUPS 57484 WITH SCORE 57557.483
AT ITER 995 NEW BEST:: SOT 202434 SOS 73439 HAS SOPS 73439 HAS SOUS 57462 HAS SOUPS 57462 WITH SCORE 57535.439
AT ITER 1005 NEW BEST:: SOT 202361 SOS 75371 HAS SOPS 75371 HAS SOUS 57422 HAS SOUPS 57422 WITH SCORE 57497.371
AT ITER 1007 NEW BEST:: SOT 202338 SOS 74980 HAS SOPS 74980 HAS SOUS 57376 HAS SOUPS 57376 WITH SCORE 57450.98
AT ITER 1013 NEW BEST:: SOT 202338 SOS 74938 HAS SOPS 74938 HAS SOUS 57334 HAS SOUPS 57334 WITH SCORE 57408.938
AT ITER 1020 NEW BEST:: SOT 202338 SOS 74901 HAS SOPS 74901 HAS SOUS 57332 HAS SOUPS 57332 WITH SCORE 57406.901
AT ITER 1025 NEW BEST:: SOT 202313 SOS 74801 HAS SOPS 74801 HAS SOUS 57232 HAS SOUPS 57232 WITH SCORE 57306.801
AT ITER 1028 NEW BEST:: SOT 202219 SOS 74613 HAS SOPS 74613 HAS SOUS 57138 HAS SOUPS 57138 WITH SCORE 57212.613
AT ITER 1038 NEW BEST:: SOT 202153 SOS 74556 HAS SOPS 74556 HAS SOUS 57118 HAS SOUPS 57118 WITH SCORE 57192.556
AT ITER 1041 NEW BEST:: SOT 202147 SOS 74544 HAS SOPS 74544 HAS SOUS 57106 HAS SOUPS 57106 WITH SCORE 57180.544
AT ITER 1042 NEW BEST:: SOT 202108 SOS 74505 HAS SOPS 74505 HAS SOUS 57067 HAS SOUPS 57067 WITH SCORE 57141.505
AT ITER 1043 NEW BEST:: SOT 202250 SOS 74248 HAS SOPS 74248 HAS SOUS 56953 HAS SOUPS 56953 WITH SCORE 57027.248
AT ITER 1053 NEW BEST:: SOT 202214 SOS 74212 HAS SOPS 74212 HAS SOUS 56917 HAS SOUPS 56917 WITH SCORE 56991.212
AT ITER 1090 NEW BEST:: SOT 202214 SOS 74212 HAS SOPS 74212 HAS SOUS 56914 HAS SOUPS 56914 WITH SCORE 56988.212
AT ITER 1103 NEW BEST:: SOT 202202 SOS 74188 HAS SOPS 74188 HAS SOUS 56902 HAS SOUPS 56902 WITH SCORE 56976.188
AT ITER 1108 NEW BEST:: SOT 202185 SOS 74171 HAS SOPS 74171 HAS SOUS 56885 HAS SOUPS 56885 WITH SCORE 56959.171
AT ITER 1113 NEW BEST:: SOT 202145 SOS 74131 HAS SOPS 74131 HAS SOUS 56845 HAS SOUPS 56845 WITH SCORE 56919.131
AT ITER 1128 NEW BEST:: SOT 202137 SOS 73995 HAS SOPS 73995 HAS SOUS 56829 HAS SOUPS 56829 WITH SCORE 56902.995
AT ITER 1132 NEW BEST:: SOT 202156 SOS 73913 HAS SOPS 73913 HAS SOUS 56803 HAS SOUPS 56803 WITH SCORE 56876.913
AT ITER 1135 NEW BEST:: SOT 202141 SOS 73883 HAS SOPS 73883 HAS SOUS 56773 HAS SOUPS 56773 WITH SCORE 56846.883
AT ITER 1156 NEW BEST:: SOT 202030 SOS 73711 HAS SOPS 73711 HAS SOUS 56672 HAS SOUPS 56672 WITH SCORE 56745.711
AT ITER 1159 NEW BEST:: SOT 202105 SOS 73648 HAS SOPS 73648 HAS SOUS 56609 HAS SOUPS 56609 WITH SCORE 56682.648
AT ITER 1160 NEW BEST:: SOT 202104 SOS 73645 HAS SOPS 73645 HAS SOUS 56607 HAS SOUPS 56607 WITH SCORE 56680.645
AT ITER 1162 NEW BEST:: SOT 202072 SOS 73613 HAS SOPS 73613 HAS SOUS 56575 HAS SOUPS 56575 WITH SCORE 56648.613
AT ITER 1165 NEW BEST:: SOT 202072 SOS 73613 HAS SOPS 73613 HAS SOUS 56453 HAS SOUPS 56453 WITH SCORE 56526.613
AT ITER 1198 NEW BEST:: SOT 201931 SOS 73430 HAS SOPS 73430 HAS SOUS 56270 HAS SOUPS 56270 WITH SCORE 56343.43
AT ITER 1199 NEW BEST:: SOT 201929 SOS 73428 HAS SOPS 73428 HAS SOUS 56268 HAS SOUPS 56268 WITH SCORE 56341.428
AT ITER 1202 NEW BEST:: SOT 201924 SOS 73400 HAS SOPS 73400 HAS SOUS 56240 HAS SOUPS 56240 WITH SCORE 56313.4
AT ITER 1213 NEW BEST:: SOT 201914 SOS 73378 HAS SOPS 73378 HAS SOUS 56218 HAS SOUPS 56218 WITH SCORE 56291.378
AT ITER 1251 NEW BEST:: SOT 201770 SOS 73223 HAS SOPS 73223 HAS SOUS 55956 HAS SOUPS 55956 WITH SCORE 56029.223
AT ITER 1255 NEW BEST:: SOT 201755 SOS 72968 HAS SOPS 72968 HAS SOUS 55926 HAS SOUPS 55926 WITH SCORE 55998.968
AT ITER 1262 NEW BEST:: SOT 201754 SOS 72966 HAS SOPS 72966 HAS SOUS 55924 HAS SOUPS 55924 WITH SCORE 55996.966
AT ITER 1264 NEW BEST:: SOT 201688 SOS 72921 HAS SOPS 72921 HAS SOUS 55879 HAS SOUPS 55879 WITH SCORE 55951.921
AT ITER 1278 NEW BEST:: SOT 201673 SOS 72891 HAS SOPS 72891 HAS SOUS 55849 HAS SOUPS 55849 WITH SCORE 55921.891
AT ITER 1280 NEW BEST:: SOT 201627 SOS 72813 HAS SOPS 72813 HAS SOUS 55785 HAS SOUPS 55785 WITH SCORE 55857.813
AT ITER 1310 NEW BEST:: SOT 201626 SOS 72812 HAS SOPS 72812 HAS SOUS 55685 HAS SOUPS 55685 WITH SCORE 55757.812
AT ITER 1312 NEW BEST:: SOT 201696 SOS 72812 HAS SOPS 72812 HAS SOUS 55615 HAS SOUPS 55615 WITH SCORE 55687.812
AT ITER 1322 NEW BEST:: SOT 201654 SOS 72770 HAS SOPS 72770 HAS SOUS 55615 HAS SOUPS 55615 WITH SCORE 55687.77
AT ITER 1337 NEW BEST:: SOT 201654 SOS 72457 HAS SOPS 72457 HAS SOUS 55572 HAS SOUPS 55572 WITH SCORE 55644.457
AT ITER 1342 NEW BEST:: SOT 201636 SOS 72421 HAS SOPS 72421 HAS SOUS 55535 HAS SOUPS 55535 WITH SCORE 55607.421
AT ITER 1360 NEW BEST:: SOT 201567 SOS 72283 HAS SOPS 72283 HAS SOUS 55466 HAS SOUPS 55466 WITH SCORE 55538.283
AT ITER 1375 NEW BEST:: SOT 201565 SOS 72281 HAS SOPS 72281 HAS SOUS 55460 HAS SOUPS 55460 WITH SCORE 55532.281
AT ITER 1411 NEW BEST:: SOT 201482 SOS 72177 HAS SOPS 72177 HAS SOUS 55356 HAS SOUPS 55356 WITH SCORE 55428.177
AT ITER 1417 NEW BEST:: SOT 201482 SOS 72175 HAS SOPS 72175 HAS SOUS 55354 HAS SOUPS 55354 WITH SCORE 55426.175
AT ITER 1432 NEW BEST:: SOT 201684 SOS 72359 HAS SOPS 72359 HAS SOUS 55318 HAS SOUPS 55318 WITH SCORE 55390.359
AT ITER 1444 NEW BEST:: SOT 201518 SOS 72339 HAS SOPS 72339 HAS SOUS 55298 HAS SOUPS 55298 WITH SCORE 55370.339
AT ITER 1446 NEW BEST:: SOT 201263 SOS 71829 HAS SOPS 71829 HAS SOUS 55094 HAS SOUPS 55094 WITH SCORE 55165.829
AT ITER 1455 NEW BEST:: SOT 201263 SOS 71822 HAS SOPS 71822 HAS SOUS 55087 HAS SOUPS 55087 WITH SCORE 55158.822
AT ITER 1462 NEW BEST:: SOT 201252 SOS 71808 HAS SOPS 71808 HAS SOUS 55073 HAS SOUPS 55073 WITH SCORE 55144.808
AT ITER 1478 NEW BEST:: SOT 201210 SOS 71724 HAS SOPS 71724 HAS SOUS 55031 HAS SOUPS 55031 WITH SCORE 55102.724
AT ITER 1480 NEW BEST:: SOT 201037 SOS 71509 HAS SOPS 71509 HAS SOUS 54914 HAS SOUPS 54914 WITH SCORE 54985.509
AT ITER 1482 NEW BEST:: SOT 201002 SOS 71474 HAS SOPS 71474 HAS SOUS 54914 HAS SOUPS 54914 WITH SCORE 54985.474
AT ITER 1485 NEW BEST:: SOT 201001 SOS 71471 HAS SOPS 71471 HAS SOUS 54870 HAS SOUPS 54870 WITH SCORE 54941.471
AT ITER 1496 NEW BEST:: SOT 200974 SOS 71417 HAS SOPS 71417 HAS SOUS 54816 HAS SOUPS 54816 WITH SCORE 54887.417
AT ITER 1524 NEW BEST:: SOT 201007 SOS 71401 HAS SOPS 71401 HAS SOUS 54800 HAS SOUPS 54800 WITH SCORE 54871.401
AT ITER 1583 NEW BEST:: SOT 201064 SOS 71401 HAS SOPS 71401 HAS SOUS 54760 HAS SOUPS 54760 WITH SCORE 54831.401
AT ITER 1584 NEW BEST:: SOT 201064 SOS 71323 HAS SOPS 71323 HAS SOUS 54682 HAS SOUPS 54682 WITH SCORE 54753.323
AT ITER 1586 NEW BEST:: SOT 201027 SOS 71249 HAS SOPS 71249 HAS SOUS 54645 HAS SOUPS 54645 WITH SCORE 54716.249
AT ITER 1590 NEW BEST:: SOT 201086 SOS 71308 HAS SOPS 71308 HAS SOUS 54627 HAS SOUPS 54627 WITH SCORE 54698.308
AT ITER 1597 NEW BEST:: SOT 201071 SOS 71278 HAS SOPS 71278 HAS SOUS 54597 HAS SOUPS 54597 WITH SCORE 54668.278
AT ITER 1603 NEW BEST:: SOT 201024 SOS 71121 HAS SOPS 71121 HAS SOUS 54550 HAS SOUPS 54550 WITH SCORE 54621.121
AT ITER 1607 NEW BEST:: SOT 200854 SOS 70955 HAS SOPS 70955 HAS SOUS 54384 HAS SOUPS 54384 WITH SCORE 54454.955
AT ITER 1614 NEW BEST:: SOT 200854 SOS 70953 HAS SOPS 70953 HAS SOUS 54384 HAS SOUPS 54384 WITH SCORE 54454.953
AT ITER 1631 NEW BEST:: SOT 200816 SOS 70884 HAS SOPS 70884 HAS SOUS 54347 HAS SOUPS 54347 WITH SCORE 54417.884
AT ITER 1654 NEW BEST:: SOT 200812 SOS 70878 HAS SOPS 70878 HAS SOUS 54341 HAS SOUPS 54341 WITH SCORE 54411.878
AT ITER 1657 NEW BEST:: SOT 200807 SOS 70868 HAS SOPS 70868 HAS SOUS 54261 HAS SOUPS 54261 WITH SCORE 54331.868
AT ITER 1678 NEW BEST:: SOT 200762 SOS 70812 HAS SOPS 70812 HAS SOUS 54205 HAS SOUPS 54205 WITH SCORE 54275.812
AT ITER 1683 NEW BEST:: SOT 200760 SOS 70808 HAS SOPS 70808 HAS SOUS 54203 HAS SOUPS 54203 WITH SCORE 54273.808
AT ITER 1698 NEW BEST:: SOT 200760 SOS 70734 HAS SOPS 70734 HAS SOUS 54202 HAS SOUPS 54202 WITH SCORE 54272.734
AT ITER 1699 NEW BEST:: SOT 200816 SOS 70528 HAS SOPS 70528 HAS SOUS 53996 HAS SOUPS 53996 WITH SCORE 54066.528
AT ITER 1728 NEW BEST:: SOT 200699 SOS 70294 HAS SOPS 70294 HAS SOUS 53573 HAS SOUPS 53573 WITH SCORE 53643.294
AT ITER 1759 NEW BEST:: SOT 200699 SOS 70283 HAS SOPS 70283 HAS SOUS 53551 HAS SOUPS 53551 WITH SCORE 53621.283
AT ITER 1767 NEW BEST:: SOT 200699 SOS 70283 HAS SOPS 70283 HAS SOUS 53501 HAS SOUPS 53501 WITH SCORE 53571.283
AT ITER 1770 NEW BEST:: SOT 200615 SOS 70245 HAS SOPS 70245 HAS SOUS 53461 HAS SOUPS 53461 WITH SCORE 53531.245
AT ITER 1786 NEW BEST:: SOT 200443 SOS 70072 HAS SOPS 70072 HAS SOUS 53459 HAS SOUPS 53459 WITH SCORE 53529.072
AT ITER 1804 NEW BEST:: SOT 200428 SOS 70042 HAS SOPS 70042 HAS SOUS 53429 HAS SOUPS 53429 WITH SCORE 53499.042
AT ITER 1814 NEW BEST:: SOT 200432 SOS 69985 HAS SOPS 69985 HAS SOUS 53422 HAS SOUPS 53422 WITH SCORE 53491.985
AT ITER 1845 NEW BEST:: SOT 200451 SOS 69987 HAS SOPS 69987 HAS SOUS 53408 HAS SOUPS 53408 WITH SCORE 53477.987
AT ITER 1848 NEW BEST:: SOT 200437 SOS 69959 HAS SOPS 69959 HAS SOUS 53380 HAS SOUPS 53380 WITH SCORE 53449.959
AT ITER 1849 NEW BEST:: SOT 200362 SOS 69849 HAS SOPS 69849 HAS SOUS 53270 HAS SOUPS 53270 WITH SCORE 53339.849
AT ITER 1860 NEW BEST:: SOT 200316 SOS 69811 HAS SOPS 69811 HAS SOUS 53224 HAS SOUPS 53224 WITH SCORE 53293.811
AT ITER 1871 NEW BEST:: SOT 200286 SOS 69781 HAS SOPS 69781 HAS SOUS 53194 HAS SOUPS 53194 WITH SCORE 53263.781
AT ITER 1876 NEW BEST:: SOT 200242 SOS 69735 HAS SOPS 69735 HAS SOUS 53148 HAS SOUPS 53148 WITH SCORE 53217.735
AT ITER 1879 NEW BEST:: SOT 200179 SOS 69491 HAS SOPS 69491 HAS SOUS 53037 HAS SOUPS 53037 WITH SCORE 53106.491
AT ITER 1880 NEW BEST:: SOT 200165 SOS 69477 HAS SOPS 69477 HAS SOUS 53023 HAS SOUPS 53023 WITH SCORE 53092.477
AT ITER 1885 NEW BEST:: SOT 199985 SOS 69203 HAS SOPS 69203 HAS SOUS 52917 HAS SOUPS 52917 WITH SCORE 52986.203
AT ITER 1892 NEW BEST:: SOT 199935 SOS 69153 HAS SOPS 69153 HAS SOUS 52867 HAS SOUPS 52867 WITH SCORE 52936.153
AT ITER 1902 NEW BEST:: SOT 199969 SOS 69141 HAS SOPS 69141 HAS SOUS 52825 HAS SOUPS 52825 WITH SCORE 52894.141
AT ITER 1905 NEW BEST:: SOT 199870 SOS 69140 HAS SOPS 69140 HAS SOUS 52726 HAS SOUPS 52726 WITH SCORE 52795.14
AT ITER 1920 NEW BEST:: SOT 199719 SOS 69114 HAS SOPS 69114 HAS SOUS 52700 HAS SOUPS 52700 WITH SCORE 52769.114
AT ITER 1928 NEW BEST:: SOT 199621 SOS 68755 HAS SOPS 68755 HAS SOUS 52554 HAS SOUPS 52554 WITH SCORE 52622.755
AT ITER 1935 NEW BEST:: SOT 199621 SOS 68753 HAS SOPS 68753 HAS SOUS 52552 HAS SOUPS 52552 WITH SCORE 52620.753
AT ITER 1936 NEW BEST:: SOT 199659 SOS 68777 HAS SOPS 68777 HAS SOUS 52524 HAS SOUPS 52524 WITH SCORE 52592.777
AT ITER 1943 NEW BEST:: SOT 199458 SOS 68728 HAS SOPS 68728 HAS SOUS 52323 HAS SOUPS 52323 WITH SCORE 52391.728
AT ITER 1948 NEW BEST:: SOT 199458 SOS 68675 HAS SOPS 68675 HAS SOUS 52270 HAS SOUPS 52270 WITH SCORE 52338.675
AT ITER 1959 NEW BEST:: SOT 199492 SOS 68596 HAS SOPS 68596 HAS SOUS 52191 HAS SOUPS 52191 WITH SCORE 52259.596
AT ITER 1962 NEW BEST:: SOT 199491 SOS 68594 HAS SOPS 68594 HAS SOUS 52189 HAS SOUPS 52189 WITH SCORE 52257.594
AT ITER 1971 NEW BEST:: SOT 199475 SOS 68594 HAS SOPS 68594 HAS SOUS 52173 HAS SOUPS 52173 WITH SCORE 52241.594
AT ITER 1987 NEW BEST:: SOT 199475 SOS 68554 HAS SOPS 68554 HAS SOUS 52133 HAS SOUPS 52133 WITH SCORE 52201.554
AT ITER 1993 NEW BEST:: SOT 199472 SOS 68406 HAS SOPS 68406 HAS SOUS 51985 HAS SOUPS 51985 WITH SCORE 52053.406
AT ITER 2017 NEW BEST:: SOT 199414 SOS 68148 HAS SOPS 68148 HAS SOUS 51680 HAS SOUPS 51680 WITH SCORE 51748.148
AT ITER 2021 NEW BEST:: SOT 199417 SOS 68147 HAS SOPS 68147 HAS SOUS 51679 HAS SOUPS 51679 WITH SCORE 51747.147
AT ITER 2070 NEW BEST:: SOT 199459 SOS 68131 HAS SOPS 68131 HAS SOUS 51600 HAS SOUPS 51600 WITH SCORE 51668.131
AT ITER 2077 NEW BEST:: SOT 199396 SOS 67937 HAS SOPS 67937 HAS SOUS 51406 HAS SOUPS 51406 WITH SCORE 51473.937
AT ITER 2085 NEW BEST:: SOT 199328 SOS 67882 HAS SOPS 67882 HAS SOUS 51351 HAS SOUPS 51351 WITH SCORE 51418.882
AT ITER 2090 NEW BEST:: SOT 199290 SOS 67806 HAS SOPS 67806 HAS SOUS 51313 HAS SOUPS 51313 WITH SCORE 51380.806
AT ITER 2094 NEW BEST:: SOT 199287 SOS 67803 HAS SOPS 67803 HAS SOUS 51310 HAS SOUPS 51310 WITH SCORE 51377.803
AT ITER 2096 NEW BEST:: SOT 199163 SOS 67617 HAS SOPS 67617 HAS SOUS 51186 HAS SOUPS 51186 WITH SCORE 51253.617
AT ITER 2111 NEW BEST:: SOT 199044 SOS 67376 HAS SOPS 67376 HAS SOUS 51039 HAS SOUPS 51039 WITH SCORE 51106.376
AT ITER 2133 NEW BEST:: SOT 199010 SOS 67269 HAS SOPS 67269 HAS SOUS 50932 HAS SOUPS 50932 WITH SCORE 50999.269
AT ITER 2143 NEW BEST:: SOT 199038 SOS 67206 HAS SOPS 67206 HAS SOUS 50894 HAS SOUPS 50894 WITH SCORE 50961.206
AT ITER 2154 NEW BEST:: SOT 199038 SOS 67206 HAS SOPS 67206 HAS SOUS 50891 HAS SOUPS 50891 WITH SCORE 50958.206
AT ITER 2163 NEW BEST:: SOT 198981 SOS 67148 HAS SOPS 67148 HAS SOUS 50890 HAS SOUPS 50890 WITH SCORE 50957.148
AT ITER 2193 NEW BEST:: SOT 198978 SOS 67145 HAS SOPS 67145 HAS SOUS 50887 HAS SOUPS 50887 WITH SCORE 50954.145
AT ITER 2199 NEW BEST:: SOT 198970 SOS 67137 HAS SOPS 67137 HAS SOUS 50879 HAS SOUPS 50879 WITH SCORE 50946.137
AT ITER 2214 NEW BEST:: SOT 198940 SOS 67107 HAS SOPS 67107 HAS SOUS 50849 HAS SOUPS 50849 WITH SCORE 50916.107
AT ITER 2223 NEW BEST:: SOT 198909 SOS 67034 HAS SOPS 67034 HAS SOUS 50776 HAS SOUPS 50776 WITH SCORE 50843.034
AT ITER 2238 NEW BEST:: SOT 198912 SOS 67031 HAS SOPS 67031 HAS SOUS 50773 HAS SOUPS 50773 WITH SCORE 50840.031
AT ITER 2243 NEW BEST:: SOT 198912 SOS 67023 HAS SOPS 67023 HAS SOUS 50765 HAS SOUPS 50765 WITH SCORE 50832.023
AT ITER 2289 NEW BEST:: SOT 198912 SOS 67023 HAS SOPS 67023 HAS SOUS 50744 HAS SOUPS 50744 WITH SCORE 50811.023
AT ITER 2291 NEW BEST:: SOT 198848 SOS 66263 HAS SOPS 66263 HAS SOUS 50684 HAS SOUPS 50684 WITH SCORE 50750.263
AT ITER 2324 NEW BEST:: SOT 198847 SOS 66261 HAS SOPS 66261 HAS SOUS 50682 HAS SOUPS 50682 WITH SCORE 50748.261
AT ITER 2329 NEW BEST:: SOT 198847 SOS 66260 HAS SOPS 66260 HAS SOUS 50681 HAS SOUPS 50681 WITH SCORE 50747.26
AT ITER 2332 NEW BEST:: SOT 198847 SOS 66260 HAS SOPS 66260 HAS SOUS 50679 HAS SOUPS 50679 WITH SCORE 50745.26
AT ITER 2333 NEW BEST:: SOT 198836 SOS 66215 HAS SOPS 66215 HAS SOUS 50668 HAS SOUPS 50668 WITH SCORE 50734.215
AT ITER 2340 NEW BEST:: SOT 198827 SOS 66197 HAS SOPS 66197 HAS SOUS 50650 HAS SOUPS 50650 WITH SCORE 50716.197
AT ITER 2343 NEW BEST:: SOT 198807 SOS 66177 HAS SOPS 66177 HAS SOUS 50630 HAS SOUPS 50630 WITH SCORE 50696.177
AT ITER 2347 NEW BEST:: SOT 198755 SOS 66144 HAS SOPS 66144 HAS SOUS 50597 HAS SOUPS 50597 WITH SCORE 50663.144
AT ITER 2348 NEW BEST:: SOT 198721 SOS 66106 HAS SOPS 66106 HAS SOUS 50593 HAS SOUPS 50593 WITH SCORE 50659.106
AT ITER 2351 NEW BEST:: SOT 198709 SOS 66088 HAS SOPS 66088 HAS SOUS 50575 HAS SOUPS 50575 WITH SCORE 50641.088
AT ITER 2356 NEW BEST:: SOT 198699 SOS 66078 HAS SOPS 66078 HAS SOUS 50565 HAS SOUPS 50565 WITH SCORE 50631.078
AT ITER 2381 NEW BEST:: SOT 198703 SOS 65977 HAS SOPS 65977 HAS SOUS 50559 HAS SOUPS 50559 WITH SCORE 50624.977
AT ITER 2385 NEW BEST:: SOT 198583 SOS 65716 HAS SOPS 65716 HAS SOUS 50298 HAS SOUPS 50298 WITH SCORE 50363.716
AT ITER 2409 NEW BEST:: SOT 198576 SOS 65709 HAS SOPS 65709 HAS SOUS 50291 HAS SOUPS 50291 WITH SCORE 50356.709
AT ITER 2415 NEW BEST:: SOT 198542 SOS 65709 HAS SOPS 65709 HAS SOUS 50257 HAS SOUPS 50257 WITH SCORE 50322.709
AT ITER 2419 NEW BEST:: SOT 198520 SOS 65643 HAS SOPS 65643 HAS SOUS 50191 HAS SOUPS 50191 WITH SCORE 50256.643
AT ITER 2475 NEW BEST:: SOT 198510 SOS 65602 HAS SOPS 65602 HAS SOUS 50150 HAS SOUPS 50150 WITH SCORE 50215.602
AT ITER 2487 NEW BEST:: SOT 198504 SOS 65590 HAS SOPS 65590 HAS SOUS 50138 HAS SOUPS 50138 WITH SCORE 50203.59
AT ITER 2524 NEW BEST:: SOT 198272 SOS 65360 HAS SOPS 65360 HAS SOUS 49908 HAS SOUPS 49908 WITH SCORE 49973.36
AT ITER 2531 NEW BEST:: SOT 198300 SOS 65381 HAS SOPS 65381 HAS SOUS 49901 HAS SOUPS 49901 WITH SCORE 49966.381
AT ITER 2540 NEW BEST:: SOT 198260 SOS 65341 HAS SOPS 65341 HAS SOUS 49861 HAS SOUPS 49861 WITH SCORE 49926.341
AT ITER 2545 NEW BEST:: SOT 198212 SOS 65304 HAS SOPS 65304 HAS SOUS 49860 HAS SOUPS 49860 WITH SCORE 49925.304
AT ITER 2556 NEW BEST:: SOT 198164 SOS 64990 HAS SOPS 64990 HAS SOUS 49502 HAS SOUPS 49502 WITH SCORE 49566.99
AT ITER 2584 NEW BEST:: SOT 198127 SOS 64916 HAS SOPS 64916 HAS SOUS 49498 HAS SOUPS 49498 WITH SCORE 49562.916
AT ITER 2586 NEW BEST:: SOT 198127 SOS 64899 HAS SOPS 64899 HAS SOUS 49481 HAS SOUPS 49481 WITH SCORE 49545.899
AT ITER 2597 NEW BEST:: SOT 198013 SOS 64588 HAS SOPS 64588 HAS SOUS 49284 HAS SOUPS 49284 WITH SCORE 49348.588
AT ITER 2630 NEW BEST:: SOT 198006 SOS 64581 HAS SOPS 64581 HAS SOUS 49277 HAS SOUPS 49277 WITH SCORE 49341.581
AT ITER 2641 NEW BEST:: SOT 197979 SOS 64497 HAS SOPS 64497 HAS SOUS 49223 HAS SOUPS 49223 WITH SCORE 49287.497
AT ITER 2664 NEW BEST:: SOT 197973 SOS 64485 HAS SOPS 64485 HAS SOUS 49211 HAS SOUPS 49211 WITH SCORE 49275.485
AT ITER 2685 NEW BEST:: SOT 197941 SOS 64421 HAS SOPS 64421 HAS SOUS 49147 HAS SOUPS 49147 WITH SCORE 49211.421
AT ITER 2694 NEW BEST:: SOT 197913 SOS 64365 HAS SOPS 64365 HAS SOUS 49085 HAS SOUPS 49085 WITH SCORE 49149.365
AT ITER 2751 NEW BEST:: SOT 197819 SOS 64272 HAS SOPS 64272 HAS SOUS 48992 HAS SOUPS 48992 WITH SCORE 49056.272
AT ITER 2773 NEW BEST:: SOT 197773 SOS 64226 HAS SOPS 64226 HAS SOUS 48992 HAS SOUPS 48992 WITH SCORE 49056.226
AT ITER 2774 NEW BEST:: SOT 197697 SOS 63973 HAS SOPS 63973 HAS SOUS 48916 HAS SOUPS 48916 WITH SCORE 48979.973
AT ITER 2786 NEW BEST:: SOT 197697 SOS 63141 HAS SOPS 63141 HAS SOUS 48864 HAS SOUPS 48864 WITH SCORE 48927.141
AT ITER 2793 NEW BEST:: SOT 197716 SOS 63120 HAS SOPS 63120 HAS SOUS 48843 HAS SOUPS 48843 WITH SCORE 48906.12
AT ITER 2797 NEW BEST:: SOT 197699 SOS 63103 HAS SOPS 63103 HAS SOUS 48843 HAS SOUPS 48843 WITH SCORE 48906.103
AT ITER 2807 NEW BEST:: SOT 197659 SOS 63063 HAS SOPS 63063 HAS SOUS 48821 HAS SOUPS 48821 WITH SCORE 48884.063
AT ITER 2812 NEW BEST:: SOT 197642 SOS 63046 HAS SOPS 63046 HAS SOUS 48804 HAS SOUPS 48804 WITH SCORE 48867.046
AT ITER 2824 NEW BEST:: SOT 197584 SOS 62988 HAS SOPS 62988 HAS SOUS 48804 HAS SOUPS 48804 WITH SCORE 48866.988
AT ITER 2844 NEW BEST:: SOT 197584 SOS 62988 HAS SOPS 62988 HAS SOUS 48799 HAS SOUPS 48799 WITH SCORE 48861.988
AT ITER 2850 NEW BEST:: SOT 197566 SOS 62970 HAS SOPS 62970 HAS SOUS 48781 HAS SOUPS 48781 WITH SCORE 48843.97
AT ITER 2878 NEW BEST:: SOT 197619 SOS 62967 HAS SOPS 62967 HAS SOUS 48760 HAS SOUPS 48760 WITH SCORE 48822.967
AT ITER 3059 NEW BEST:: SOT 197611 SOS 62955 HAS SOPS 62955 HAS SOUS 48744 HAS SOUPS 48744 WITH SCORE 48806.955
AT ITER 3072 NEW BEST:: SOT 197551 SOS 63213 HAS SOPS 63213 HAS SOUS 48726 HAS SOUPS 48726 WITH SCORE 48789.213
AT ITER 3076 NEW BEST:: SOT 197549 SOS 63211 HAS SOPS 63211 HAS SOUS 48724 HAS SOUPS 48724 WITH SCORE 48787.211
AT ITER 3085 NEW BEST:: SOT 197541 SOS 63195 HAS SOPS 63195 HAS SOUS 48716 HAS SOUPS 48716 WITH SCORE 48779.195
AT ITER 3094 NEW BEST:: SOT 197567 SOS 63023 HAS SOPS 63023 HAS SOUS 48699 HAS SOUPS 48699 WITH SCORE 48762.023
AT ITER 3096 NEW BEST:: SOT 197554 SOS 62997 HAS SOPS 62997 HAS SOUS 48673 HAS SOUPS 48673 WITH SCORE 48735.997
AT ITER 3105 NEW BEST:: SOT 197556 SOS 62991 HAS SOPS 62991 HAS SOUS 48667 HAS SOUPS 48667 WITH SCORE 48729.991
AT ITER 3120 NEW BEST:: SOT 197438 SOS 62873 HAS SOPS 62873 HAS SOUS 48667 HAS SOUPS 48667 WITH SCORE 48729.873
AT ITER 3127 NEW BEST:: SOT 197415 SOS 62611 HAS SOPS 62611 HAS SOUS 48465 HAS SOUPS 48465 WITH SCORE 48527.611
AT ITER 3133 NEW BEST:: SOT 197415 SOS 62599 HAS SOPS 62599 HAS SOUS 48459 HAS SOUPS 48459 WITH SCORE 48521.599
AT ITER 3136 NEW BEST:: SOT 197396 SOS 62541 HAS SOPS 62541 HAS SOUS 48407 HAS SOUPS 48407 WITH SCORE 48469.541
AT ITER 3137 NEW BEST:: SOT 197393 SOS 62539 HAS SOPS 62539 HAS SOUS 48405 HAS SOUPS 48405 WITH SCORE 48467.539
AT ITER 3140 NEW BEST:: SOT 197349 SOS 62495 HAS SOPS 62495 HAS SOUS 48405 HAS SOUPS 48405 WITH SCORE 48467.495
AT ITER 3156 NEW BEST:: SOT 197322 SOS 62441 HAS SOPS 62441 HAS SOUS 48351 HAS SOUPS 48351 WITH SCORE 48413.441
AT ITER 3163 NEW BEST:: SOT 197304 SOS 62405 HAS SOPS 62405 HAS SOUS 48340 HAS SOUPS 48340 WITH SCORE 48402.405
AT ITER 3189 NEW BEST:: SOT 197304 SOS 62387 HAS SOPS 62387 HAS SOUS 48322 HAS SOUPS 48322 WITH SCORE 48384.387
AT ITER 3193 NEW BEST:: SOT 197302 SOS 62383 HAS SOPS 62383 HAS SOUS 48318 HAS SOUPS 48318 WITH SCORE 48380.383
AT ITER 3197 NEW BEST:: SOT 197301 SOS 62381 HAS SOPS 62381 HAS SOUS 48316 HAS SOUPS 48316 WITH SCORE 48378.381
AT ITER 3206 NEW BEST:: SOT 197301 SOS 62380 HAS SOPS 62380 HAS SOUS 48316 HAS SOUPS 48316 WITH SCORE 48378.38
AT ITER 3210 NEW BEST:: SOT 197126 SOS 62267 HAS SOPS 62267 HAS SOUS 48203 HAS SOUPS 48203 WITH SCORE 48265.267
AT ITER 3236 NEW BEST:: SOT 197051 SOS 63752 HAS SOPS 63752 HAS SOUS 48155 HAS SOUPS 48155 WITH SCORE 48218.752
AT ITER 3241 NEW BEST:: SOT 197075 SOS 63631 HAS SOPS 63631 HAS SOUS 47967 HAS SOUPS 47967 WITH SCORE 48030.631
AT ITER 3246 NEW BEST:: SOT 197057 SOS 63595 HAS SOPS 63595 HAS SOUS 47931 HAS SOUPS 47931 WITH SCORE 47994.595
AT ITER 3262 NEW BEST:: SOT 197053 SOS 63587 HAS SOPS 63587 HAS SOUS 47927 HAS SOUPS 47927 WITH SCORE 47990.587
AT ITER 3277 NEW BEST:: SOT 197053 SOS 63564 HAS SOPS 63564 HAS SOUS 47881 HAS SOUPS 47881 WITH SCORE 47944.564
AT ITER 3294 NEW BEST:: SOT 196950 SOS 63266 HAS SOPS 63266 HAS SOUS 47583 HAS SOUPS 47583 WITH SCORE 47646.266
AT ITER 3307 NEW BEST:: SOT 196917 SOS 63200 HAS SOPS 63200 HAS SOUS 47526 HAS SOUPS 47526 WITH SCORE 47589.2
AT ITER 3318 NEW BEST:: SOT 196917 SOS 63178 HAS SOPS 63178 HAS SOUS 47526 HAS SOUPS 47526 WITH SCORE 47589.178
AT ITER 3321 NEW BEST:: SOT 196859 SOS 63062 HAS SOPS 63062 HAS SOUS 47468 HAS SOUPS 47468 WITH SCORE 47531.062
AT ITER 3348 NEW BEST:: SOT 196829 SOS 63002 HAS SOPS 63002 HAS SOUS 47429 HAS SOUPS 47429 WITH SCORE 47492.002
AT ITER 3363 NEW BEST:: SOT 196818 SOS 62972 HAS SOPS 62972 HAS SOUS 47399 HAS SOUPS 47399 WITH SCORE 47461.972
AT ITER 3373 NEW BEST:: SOT 196782 SOS 62933 HAS SOPS 62933 HAS SOUS 47393 HAS SOUPS 47393 WITH SCORE 47455.933
AT ITER 3407 NEW BEST:: SOT 196717 SOS 62874 HAS SOPS 62874 HAS SOUS 47334 HAS SOUPS 47334 WITH SCORE 47396.874
AT ITER 3429 NEW BEST:: SOT 196717 SOS 62870 HAS SOPS 62870 HAS SOUS 47326 HAS SOUPS 47326 WITH SCORE 47388.87
AT ITER 3448 NEW BEST:: SOT 196721 SOS 62841 HAS SOPS 62841 HAS SOUS 47297 HAS SOUPS 47297 WITH SCORE 47359.841
AT ITER 3450 NEW BEST:: SOT 196576 SOS 62692 HAS SOPS 62692 HAS SOUS 47289 HAS SOUPS 47289 WITH SCORE 47351.692
AT ITER 3464 NEW BEST:: SOT 196567 SOS 62674 HAS SOPS 62674 HAS SOUS 47271 HAS SOUPS 47271 WITH SCORE 47333.674
AT ITER 3467 NEW BEST:: SOT 196540 SOS 62670 HAS SOPS 62670 HAS SOUS 47267 HAS SOUPS 47267 WITH SCORE 47329.67
AT ITER 3472 NEW BEST:: SOT 196539 SOS 62669 HAS SOPS 62669 HAS SOUS 47266 HAS SOUPS 47266 WITH SCORE 47328.669
AT ITER 3508 NEW BEST:: SOT 196520 SOS 62653 HAS SOPS 62653 HAS SOUS 47255 HAS SOUPS 47255 WITH SCORE 47317.653
AT ITER 3515 NEW BEST:: SOT 196518 SOS 62629 HAS SOPS 62629 HAS SOUS 47231 HAS SOUPS 47231 WITH SCORE 47293.629
AT ITER 3519 NEW BEST:: SOT 196462 SOS 62540 HAS SOPS 62540 HAS SOUS 47142 HAS SOUPS 47142 WITH SCORE 47204.54
AT ITER 3558 NEW BEST:: SOT 196462 SOS 62528 HAS SOPS 62528 HAS SOUS 47142 HAS SOUPS 47142 WITH SCORE 47204.528
AT ITER 3559 NEW BEST:: SOT 196413 SOS 62402 HAS SOPS 62402 HAS SOUS 47016 HAS SOUPS 47016 WITH SCORE 47078.402
AT ITER 3576 NEW BEST:: SOT 196413 SOS 62291 HAS SOPS 62291 HAS SOUS 46905 HAS SOUPS 46905 WITH SCORE 46967.291
AT ITER 3594 NEW BEST:: SOT 196462 SOS 62179 HAS SOPS 62179 HAS SOUS 46795 HAS SOUPS 46795 WITH SCORE 46857.179
AT ITER 3607 NEW BEST:: SOT 196453 SOS 62138 HAS SOPS 62138 HAS SOUS 46754 HAS SOUPS 46754 WITH SCORE 46816.138
AT ITER 3673 NEW BEST:: SOT 196451 SOS 62025 HAS SOPS 62025 HAS SOUS 46691 HAS SOUPS 46691 WITH SCORE 46753.025
AT ITER 3686 NEW BEST:: SOT 196409 SOS 61987 HAS SOPS 61987 HAS SOUS 46647 HAS SOUPS 46647 WITH SCORE 46708.987
AT ITER 3719 NEW BEST:: SOT 196409 SOS 61964 HAS SOPS 61964 HAS SOUS 46624 HAS SOUPS 46624 WITH SCORE 46685.964
AT ITER 3731 NEW BEST:: SOT 196403 SOS 61952 HAS SOPS 61952 HAS SOUS 46612 HAS SOUPS 46612 WITH SCORE 46673.952
AT ITER 3737 NEW BEST:: SOT 196211 SOS 61668 HAS SOPS 61668 HAS SOUS 46366 HAS SOUPS 46366 WITH SCORE 46427.668
AT ITER 3745 NEW BEST:: SOT 195756 SOS 61318 HAS SOPS 61318 HAS SOUS 46254 HAS SOUPS 46254 WITH SCORE 46315.318
AT ITER 3746 NEW BEST:: SOT 195799 SOS 61290 HAS SOPS 61290 HAS SOUS 46254 HAS SOUPS 46254 WITH SCORE 46315.29
AT ITER 3747 NEW BEST:: SOT 195856 SOS 61344 HAS SOPS 61344 HAS SOUS 46232 HAS SOUPS 46232 WITH SCORE 46293.344
AT ITER 3749 NEW BEST:: SOT 195856 SOS 61344 HAS SOPS 61344 HAS SOUS 46207 HAS SOUPS 46207 WITH SCORE 46268.344
AT ITER 3753 NEW BEST:: SOT 195838 SOS 61326 HAS SOPS 61326 HAS SOUS 46161 HAS SOUPS 46161 WITH SCORE 46222.326
AT ITER 3759 NEW BEST:: SOT 195738 SOS 61083 HAS SOPS 61083 HAS SOUS 46012 HAS SOUPS 46012 WITH SCORE 46073.083
AT ITER 3778 NEW BEST:: SOT 195690 SOS 60987 HAS SOPS 60987 HAS SOUS 45964 HAS SOUPS 45964 WITH SCORE 46024.987
AT ITER 3791 NEW BEST:: SOT 195657 SOS 60956 HAS SOPS 60956 HAS SOUS 45933 HAS SOUPS 45933 WITH SCORE 45993.956
AT ITER 3848 NEW BEST:: SOT 195636 SOS 60935 HAS SOPS 60935 HAS SOUS 45912 HAS SOUPS 45912 WITH SCORE 45972.935
AT ITER 3875 NEW BEST:: SOT 195737 SOS 60931 HAS SOPS 60931 HAS SOUS 45885 HAS SOUPS 45885 WITH SCORE 45945.931
AT ITER 3887 NEW BEST:: SOT 195730 SOS 60948 HAS SOPS 60948 HAS SOUS 45878 HAS SOUPS 45878 WITH SCORE 45938.948
AT ITER 3889 NEW BEST:: SOT 195709 SOS 60906 HAS SOPS 60906 HAS SOUS 45836 HAS SOUPS 45836 WITH SCORE 45896.906
AT ITER 3929 NEW BEST:: SOT 195673 SOS 60862 HAS SOPS 60862 HAS SOUS 45776 HAS SOUPS 45776 WITH SCORE 45836.862
AT ITER 3955 NEW BEST:: SOT 195672 SOS 60861 HAS SOPS 60861 HAS SOUS 45776 HAS SOUPS 45776 WITH SCORE 45836.861
AT ITER 3959 NEW BEST:: SOT 195614 SOS 60754 HAS SOPS 60754 HAS SOUS 45704 HAS SOUPS 45704 WITH SCORE 45764.754
AT ITER 4033 NEW BEST:: SOT 195591 SOS 60731 HAS SOPS 60731 HAS SOUS 45698 HAS SOUPS 45698 WITH SCORE 45758.731
AT ITER 4046 NEW BEST:: SOT 195536 SOS 60664 HAS SOPS 60664 HAS SOUS 45631 HAS SOUPS 45631 WITH SCORE 45691.664
AT ITER 4058 NEW BEST:: SOT 195525 SOS 60642 HAS SOPS 60642 HAS SOUS 45620 HAS SOUPS 45620 WITH SCORE 45680.642
AT ITER 4072 NEW BEST:: SOT 195525 SOS 60636 HAS SOPS 60636 HAS SOUS 45620 HAS SOUPS 45620 WITH SCORE 45680.636
AT ITER 4074 NEW BEST:: SOT 195461 SOS 60522 HAS SOPS 60522 HAS SOUS 45442 HAS SOUPS 45442 WITH SCORE 45502.522
AT ITER 4117 NEW BEST:: SOT 195444 SOS 60488 HAS SOPS 60488 HAS SOUS 45408 HAS SOUPS 45408 WITH SCORE 45468.488
AT ITER 4149 NEW BEST:: SOT 195444 SOS 60484 HAS SOPS 60484 HAS SOUS 45404 HAS SOUPS 45404 WITH SCORE 45464.484
AT ITER 4164 NEW BEST:: SOT 195419 SOS 60464 HAS SOPS 60464 HAS SOUS 45384 HAS SOUPS 45384 WITH SCORE 45444.464
AT ITER 4185 NEW BEST:: SOT 195516 SOS 60515 HAS SOPS 60515 HAS SOUS 45344 HAS SOUPS 45344 WITH SCORE 45404.515
AT ITER 4186 NEW BEST:: SOT 195515 SOS 60505 HAS SOPS 60505 HAS SOUS 45335 HAS SOUPS 45335 WITH SCORE 45395.505
AT ITER 4187 NEW BEST:: SOT 195534 SOS 60493 HAS SOPS 60493 HAS SOUS 45323 HAS SOUPS 45323 WITH SCORE 45383.493
AT ITER 4191 NEW BEST:: SOT 195533 SOS 60491 HAS SOPS 60491 HAS SOUS 45274 HAS SOUPS 45274 WITH SCORE 45334.491
AT ITER 4193 NEW BEST:: SOT 195529 SOS 60483 HAS SOPS 60483 HAS SOUS 45270 HAS SOUPS 45270 WITH SCORE 45330.483
AT ITER 4199 NEW BEST:: SOT 195504 SOS 60458 HAS SOPS 60458 HAS SOUS 45245 HAS SOUPS 45245 WITH SCORE 45305.458
AT ITER 4211 NEW BEST:: SOT 195495 SOS 60449 HAS SOPS 60449 HAS SOUS 45236 HAS SOUPS 45236 WITH SCORE 45296.449
AT ITER 4212 NEW BEST:: SOT 195452 SOS 60398 HAS SOPS 60398 HAS SOUS 45174 HAS SOUPS 45174 WITH SCORE 45234.398
AT ITER 4222 NEW BEST:: SOT 195448 SOS 60390 HAS SOPS 60390 HAS SOUS 45166 HAS SOUPS 45166 WITH SCORE 45226.39
AT ITER 4243 NEW BEST:: SOT 195432 SOS 60358 HAS SOPS 60358 HAS SOUS 45134 HAS SOUPS 45134 WITH SCORE 45194.358
AT ITER 4275 NEW BEST:: SOT 195432 SOS 60358 HAS SOPS 60358 HAS SOUS 45100 HAS SOUPS 45100 WITH SCORE 45160.358
AT ITER 4281 NEW BEST:: SOT 195433 SOS 60359 HAS SOPS 60359 HAS SOUS 45094 HAS SOUPS 45094 WITH SCORE 45154.359
AT ITER 4282 NEW BEST:: SOT 195444 SOS 60346 HAS SOPS 60346 HAS SOUS 45046 HAS SOUPS 45046 WITH SCORE 45106.346
AT ITER 4295 NEW BEST:: SOT 195437 SOS 60339 HAS SOPS 60339 HAS SOUS 45039 HAS SOUPS 45039 WITH SCORE 45099.339
AT ITER 4303 NEW BEST:: SOT 195336 SOS 60137 HAS SOPS 60137 HAS SOUS 44954 HAS SOUPS 44954 WITH SCORE 45014.137
AT ITER 4304 NEW BEST:: SOT 195302 SOS 60067 HAS SOPS 60067 HAS SOUS 44953 HAS SOUPS 44953 WITH SCORE 45013.067
AT ITER 4311 NEW BEST:: SOT 195242 SOS 59953 HAS SOPS 59953 HAS SOUS 44899 HAS SOUPS 44899 WITH SCORE 44958.953
AT ITER 4321 NEW BEST:: SOT 195173 SOS 59916 HAS SOPS 59916 HAS SOUS 44786 HAS SOUPS 44786 WITH SCORE 44845.916
AT ITER 4329 NEW BEST:: SOT 195162 SOS 59905 HAS SOPS 59905 HAS SOUS 44775 HAS SOUPS 44775 WITH SCORE 44834.905
AT ITER 4331 NEW BEST:: SOT 195162 SOS 59766 HAS SOPS 59766 HAS SOUS 44636 HAS SOUPS 44636 WITH SCORE 44695.766
AT ITER 4346 NEW BEST:: SOT 195168 SOS 59672 HAS SOPS 59672 HAS SOUS 44614 HAS SOUPS 44614 WITH SCORE 44673.672
AT ITER 4349 NEW BEST:: SOT 195105 SOS 59582 HAS SOPS 59582 HAS SOUS 44524 HAS SOUPS 44524 WITH SCORE 44583.582
AT ITER 4355 NEW BEST:: SOT 195121 SOS 59544 HAS SOPS 59544 HAS SOUS 44486 HAS SOUPS 44486 WITH SCORE 44545.544
AT ITER 4389 NEW BEST:: SOT 195097 SOS 59513 HAS SOPS 59513 HAS SOUS 44455 HAS SOUPS 44455 WITH SCORE 44514.513
AT ITER 4406 NEW BEST:: SOT 195095 SOS 59511 HAS SOPS 59511 HAS SOUS 44453 HAS SOUPS 44453 WITH SCORE 44512.511
AT ITER 4427 NEW BEST:: SOT 195031 SOS 59376 HAS SOPS 59376 HAS SOUS 44330 HAS SOUPS 44330 WITH SCORE 44389.376
AT ITER 4442 NEW BEST:: SOT 195020 SOS 59408 HAS SOPS 59408 HAS SOUS 44319 HAS SOUPS 44319 WITH SCORE 44378.408
AT ITER 4454 NEW BEST:: SOT 195125 SOS 59356 HAS SOPS 59356 HAS SOUS 44267 HAS SOUPS 44267 WITH SCORE 44326.356
AT ITER 4489 NEW BEST:: SOT 195092 SOS 59290 HAS SOPS 59290 HAS SOUS 44201 HAS SOUPS 44201 WITH SCORE 44260.29
AT ITER 4503 NEW BEST:: SOT 195100 SOS 59161 HAS SOPS 59161 HAS SOUS 44180 HAS SOUPS 44180 WITH SCORE 44239.161
AT ITER 4515 NEW BEST:: SOT 195089 SOS 59139 HAS SOPS 59139 HAS SOUS 44158 HAS SOUPS 44158 WITH SCORE 44217.139
AT ITER 4528 NEW BEST:: SOT 195062 SOS 59103 HAS SOPS 59103 HAS SOUS 44122 HAS SOUPS 44122 WITH SCORE 44181.103
AT ITER 4566 NEW BEST:: SOT 195058 SOS 59101 HAS SOPS 59101 HAS SOUS 44120 HAS SOUPS 44120 WITH SCORE 44179.101
AT ITER 4577 NEW BEST:: SOT 195046 SOS 59023 HAS SOPS 59023 HAS SOUS 44108 HAS SOUPS 44108 WITH SCORE 44167.023
AT ITER 4590 NEW BEST:: SOT 195039 SOS 59016 HAS SOPS 59016 HAS SOUS 44097 HAS SOUPS 44097 WITH SCORE 44156.016
AT ITER 4617 NEW BEST:: SOT 195010 SOS 58958 HAS SOPS 58958 HAS SOUS 44039 HAS SOUPS 44039 WITH SCORE 44097.958
AT ITER 4634 NEW BEST:: SOT 195004 SOS 58946 HAS SOPS 58946 HAS SOUS 44027 HAS SOUPS 44027 WITH SCORE 44085.946
AT ITER 4665 NEW BEST:: SOT 195002 SOS 58866 HAS SOPS 58866 HAS SOUS 43947 HAS SOUPS 43947 WITH SCORE 44005.866
AT ITER 4681 NEW BEST:: SOT 194998 SOS 58795 HAS SOPS 58795 HAS SOUS 43876 HAS SOUPS 43876 WITH SCORE 43934.795
AT ITER 4687 NEW BEST:: SOT 194859 SOS 58657 HAS SOPS 58657 HAS SOUS 43738 HAS SOUPS 43738 WITH SCORE 43796.657
AT ITER 4709 NEW BEST:: SOT 194811 SOS 58609 HAS SOPS 58609 HAS SOUS 43690 HAS SOUPS 43690 WITH SCORE 43748.609
AT ITER 4725 NEW BEST:: SOT 194614 SOS 58439 HAS SOPS 58439 HAS SOUS 43493 HAS SOUPS 43493 WITH SCORE 43551.439
AT ITER 4732 NEW BEST:: SOT 194574 SOS 58420 HAS SOPS 58420 HAS SOUS 43485 HAS SOUPS 43485 WITH SCORE 43543.42
AT ITER 4736 NEW BEST:: SOT 194574 SOS 58406 HAS SOPS 58406 HAS SOUS 43471 HAS SOUPS 43471 WITH SCORE 43529.406
AT ITER 4760 NEW BEST:: SOT 194572 SOS 58404 HAS SOPS 58404 HAS SOUS 43469 HAS SOUPS 43469 WITH SCORE 43527.404
AT ITER 4762 NEW BEST:: SOT 194557 SOS 58285 HAS SOPS 58285 HAS SOUS 43370 HAS SOUPS 43370 WITH SCORE 43428.285
AT ITER 4765 NEW BEST:: SOT 194554 SOS 58265 HAS SOPS 58265 HAS SOUS 43350 HAS SOUPS 43350 WITH SCORE 43408.265
AT ITER 4769 NEW BEST:: SOT 194546 SOS 58257 HAS SOPS 58257 HAS SOUS 43334 HAS SOUPS 43334 WITH SCORE 43392.257
AT ITER 4781 NEW BEST:: SOT 194524 SOS 58224 HAS SOPS 58224 HAS SOUS 43290 HAS SOUPS 43290 WITH SCORE 43348.224
AT ITER 4816 NEW BEST:: SOT 194492 SOS 57868 HAS SOPS 57868 HAS SOUS 43249 HAS SOUPS 43249 WITH SCORE 43306.868
AT ITER 4837 NEW BEST:: SOT 194450 SOS 57864 HAS SOPS 57864 HAS SOUS 43245 HAS SOUPS 43245 WITH SCORE 43302.864
AT ITER 4846 NEW BEST:: SOT 194450 SOS 57780 HAS SOPS 57780 HAS SOUS 43231 HAS SOUPS 43231 WITH SCORE 43288.78
AT ITER 4886 NEW BEST:: SOT 194335 SOS 57665 HAS SOPS 57665 HAS SOUS 43229 HAS SOUPS 43229 WITH SCORE 43286.665
AT ITER 4888 NEW BEST:: SOT 194335 SOS 57631 HAS SOPS 57631 HAS SOUS 43195 HAS SOUPS 43195 WITH SCORE 43252.631
AT ITER 4892 NEW BEST:: SOT 194335 SOS 57630 HAS SOPS 57630 HAS SOUS 43194 HAS SOUPS 43194 WITH SCORE 43251.63
AT ITER 4913 NEW BEST:: SOT 194335 SOS 57550 HAS SOPS 57550 HAS SOUS 43114 HAS SOUPS 43114 WITH SCORE 43171.55
AT ITER 4915 NEW BEST:: SOT 194354 SOS 57517 HAS SOPS 57517 HAS SOUS 43108 HAS SOUPS 43108 WITH SCORE 43165.517
AT ITER 4933 NEW BEST:: SOT 194351 SOS 57500 HAS SOPS 57500 HAS SOUS 43091 HAS SOUPS 43091 WITH SCORE 43148.5
AT ITER 4965 NEW BEST:: SOT 194344 SOS 57493 HAS SOPS 57493 HAS SOUS 43084 HAS SOUPS 43084 WITH SCORE 43141.493
AT ITER 4985 NEW BEST:: SOT 194331 SOS 57453 HAS SOPS 57453 HAS SOUS 43068 HAS SOUPS 43068 WITH SCORE 43125.453
AT ITER 4996 NEW BEST:: SOT 194349 SOS 57447 HAS SOPS 57447 HAS SOUS 43062 HAS SOUPS 43062 WITH SCORE 43119.447
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-00 (! (AF((EF(potential( ( 2 ) <= (tk(P414)) ))))))
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-01 (! ( (! (! ( potential( ( 3 ) <= (tk(P421)) ) | potential( ( 1 ) <= (tk(P106)) ) ))) | (AG( (! potential( ( 2 ) <= (tk(P101)) )))) ))
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-02 (EU( (! (! potential( ( 2 ) <= (tk(P372)) ))),(AG( potential( (tk(P566)) <= (tk(P39)) ))) ))
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-03 (EU( (EX( potential( (tk(P564)) <= (tk(P372)) ))),(EX( potential( ( 1 ) <= (tk(P76)) ))) ))
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-04 ( (AF((AG( potential( (tk(P116)) <= (tk(P603)) ))))) & ( ( (! potential( ( 2 ) <= (tk(P418)) )) & ( ( potential( (tk(P7)) <= (tk(P616)) ) | potential( (tk(P81)) <= (tk(P514)) ) ) & ( potential( ( 2 ) <= (tk(P386)) ) | potential( (tk(P226)) <= (tk(P582)) ) ) ) ) | (! (EF(potential( (tk(P540)) <= (tk(P370)) )))) ) )
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-05 (AG( ( (EG( potential( ( 2 ) <= (tk(P376)) ))) | (EX( potential( (tk(P326)) <= (tk(P433)) ))) )))
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-06 (AX( (! (EF(potential( ( 2 ) <= (tk(P256)) ))))))
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-07 (AG( (AX( ( potential( (tk(P526)) <= (tk(P344)) ) & potential( (tk(P610)) <= (tk(P261)) ) )))))
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-08 (EF((! (EF(potential( ( 3 ) <= (tk(P139)) ))))))
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-09 (AF((EU( potential( (tk(P612)) <= (tk(P243)) ),potential( ( 2 ) <= (tk(P146)) ) ))))
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-10 (EX( (AG( potential( (tk(P487)) <= (tk(P180)) )))))
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-11 ( (! ( (AG( potential( ( 2 ) <= (tk(P129)) ))) & potential( ( 3 ) <= (tk(P321)) ) )) & (EF(( ( potential( ( 1 ) <= (tk(P279)) ) | potential( ( 2 ) <= (tk(P476)) ) ) | potential( ( 3 ) <= (tk(P217)) ) ))) )
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-12 (EF(potential( ( 2 ) <= (tk(P148)) )))
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-13 (AG( (! potential( ( 2 ) <= (tk(P484)) ))))
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-14 (EF((EX( potential( ( 2 ) <= (tk(P186)) )))))
PROPERTY: BusinessProcesses-PT-14-CTLCardinality-15 (EU( ( ( potential( (tk(P66)) <= (tk(P85)) ) | potential( (tk(P393)) <= (tk(P541)) ) ) & potential( (tk(P434)) <= (tk(P497)) ) ),( (! potential( (tk(P94)) <= (tk(P425)) )) & ( potential( ( 2 ) <= (tk(P340)) ) | potential( (tk(P437)) <= (tk(P573)) ) ) ) ))

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="BusinessProcesses-PT-14"
export BK_EXAMINATION="CTLCardinality"
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 BusinessProcesses-PT-14, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897680200555"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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