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-158897680000480.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-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680000480
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 240K
-rw-r--r-- 1 mcc users 2.9K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 14:37 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 79K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589017884972

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

Filename model.pnml
Petri model created: 288 places, 283 transitions, 916 arcs.
AT ITER 0 NEW BEST:: SOT 54232 SOS 22226 HAS SOPS 22226 HAS SOUS 20115 HAS SOUPS 20115 WITH SCORE 20137.226
AT ITER 5 NEW BEST:: SOT 52695 SOS 20864 HAS SOPS 20864 HAS SOUS 18723 HAS SOUPS 18723 WITH SCORE 18743.864
AT ITER 7 NEW BEST:: SOT 51420 SOS 19674 HAS SOPS 19674 HAS SOUS 17532 HAS SOUPS 17532 WITH SCORE 17551.674
AT ITER 20 NEW BEST:: SOT 51419 SOS 19672 HAS SOPS 19672 HAS SOUS 17530 HAS SOUPS 17530 WITH SCORE 17549.672
AT ITER 32 NEW BEST:: SOT 51427 SOS 19654 HAS SOPS 19654 HAS SOUS 17512 HAS SOUPS 17512 WITH SCORE 17531.654
AT ITER 33 NEW BEST:: SOT 51427 SOS 19706 HAS SOPS 19706 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17529.706
AT ITER 35 NEW BEST:: SOT 51406 SOS 19685 HAS SOPS 19685 HAS SOUS 17489 HAS SOUPS 17489 WITH SCORE 17508.685
AT ITER 38 NEW BEST:: SOT 51306 SOS 19590 HAS SOPS 19590 HAS SOUS 17394 HAS SOUPS 17394 WITH SCORE 17413.59
AT ITER 42 NEW BEST:: SOT 51287 SOS 19571 HAS SOPS 19571 HAS SOUS 17373 HAS SOUPS 17373 WITH SCORE 17392.571
AT ITER 44 NEW BEST:: SOT 51297 SOS 19619 HAS SOPS 19619 HAS SOUS 17340 HAS SOUPS 17340 WITH SCORE 17359.619
AT ITER 49 NEW BEST:: SOT 50236 SOS 18936 HAS SOPS 18936 HAS SOUS 16436 HAS SOUPS 16436 WITH SCORE 16454.936
AT ITER 52 NEW BEST:: SOT 50232 SOS 18928 HAS SOPS 18928 HAS SOUS 16428 HAS SOUPS 16428 WITH SCORE 16446.928
AT ITER 53 NEW BEST:: SOT 50231 SOS 18925 HAS SOPS 18925 HAS SOUS 16425 HAS SOUPS 16425 WITH SCORE 16443.925
AT ITER 57 NEW BEST:: SOT 50261 SOS 18762 HAS SOPS 18762 HAS SOUS 16424 HAS SOUPS 16424 WITH SCORE 16442.762
AT ITER 60 NEW BEST:: SOT 50112 SOS 18662 HAS SOPS 18662 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16342.662
AT ITER 64 NEW BEST:: SOT 50066 SOS 18615 HAS SOPS 18615 HAS SOUS 16277 HAS SOUPS 16277 WITH SCORE 16295.615
AT ITER 65 NEW BEST:: SOT 50027 SOS 18680 HAS SOPS 18680 HAS SOUS 16238 HAS SOUPS 16238 WITH SCORE 16256.68
AT ITER 67 NEW BEST:: SOT 50025 SOS 18675 HAS SOPS 18675 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16255.675
AT ITER 75 NEW BEST:: SOT 49956 SOS 18642 HAS SOPS 18642 HAS SOUS 16204 HAS SOUPS 16204 WITH SCORE 16222.642
AT ITER 84 NEW BEST:: SOT 49963 SOS 18630 HAS SOPS 18630 HAS SOUS 16192 HAS SOUPS 16192 WITH SCORE 16210.63
AT ITER 86 NEW BEST:: SOT 49962 SOS 18628 HAS SOPS 18628 HAS SOUS 16190 HAS SOUPS 16190 WITH SCORE 16208.628
AT ITER 87 NEW BEST:: SOT 49961 SOS 18606 HAS SOPS 18606 HAS SOUS 16168 HAS SOUPS 16168 WITH SCORE 16186.606
AT ITER 88 NEW BEST:: SOT 49941 SOS 18583 HAS SOPS 18583 HAS SOUS 16145 HAS SOUPS 16145 WITH SCORE 16163.583
AT ITER 92 NEW BEST:: SOT 49890 SOS 18511 HAS SOPS 18511 HAS SOUS 16073 HAS SOUPS 16073 WITH SCORE 16091.511
AT ITER 95 NEW BEST:: SOT 49880 SOS 18516 HAS SOPS 18516 HAS SOUS 16071 HAS SOUPS 16071 WITH SCORE 16089.516
AT ITER 100 NEW BEST:: SOT 49887 SOS 18364 HAS SOPS 18364 HAS SOUS 15919 HAS SOUPS 15919 WITH SCORE 15937.364
AT ITER 107 NEW BEST:: SOT 49886 SOS 18362 HAS SOPS 18362 HAS SOUS 15917 HAS SOUPS 15917 WITH SCORE 15935.362
AT ITER 117 NEW BEST:: SOT 49877 SOS 18339 HAS SOPS 18339 HAS SOUS 15894 HAS SOUPS 15894 WITH SCORE 15912.339
AT ITER 131 NEW BEST:: SOT 49831 SOS 18286 HAS SOPS 18286 HAS SOUS 15825 HAS SOUPS 15825 WITH SCORE 15843.286
AT ITER 142 NEW BEST:: SOT 49831 SOS 18269 HAS SOPS 18269 HAS SOUS 15825 HAS SOUPS 15825 WITH SCORE 15843.269
AT ITER 163 NEW BEST:: SOT 49828 SOS 18263 HAS SOPS 18263 HAS SOUS 15819 HAS SOUPS 15819 WITH SCORE 15837.263
AT ITER 176 NEW BEST:: SOT 49552 SOS 17997 HAS SOPS 17997 HAS SOUS 15553 HAS SOUPS 15553 WITH SCORE 15570.997
AT ITER 186 NEW BEST:: SOT 49552 SOS 17997 HAS SOPS 17997 HAS SOUS 15552 HAS SOUPS 15552 WITH SCORE 15569.997
AT ITER 187 NEW BEST:: SOT 49588 SOS 18069 HAS SOPS 18069 HAS SOUS 15533 HAS SOUPS 15533 WITH SCORE 15551.069
AT ITER 188 NEW BEST:: SOT 49586 SOS 18067 HAS SOPS 18067 HAS SOUS 15531 HAS SOUPS 15531 WITH SCORE 15549.067
AT ITER 200 NEW BEST:: SOT 49581 SOS 18025 HAS SOPS 18025 HAS SOUS 15489 HAS SOUPS 15489 WITH SCORE 15507.025
AT ITER 201 NEW BEST:: SOT 49615 SOS 18000 HAS SOPS 18000 HAS SOUS 15464 HAS SOUPS 15464 WITH SCORE 15482.0
AT ITER 225 NEW BEST:: SOT 49585 SOS 17982 HAS SOPS 17982 HAS SOUS 15446 HAS SOUPS 15446 WITH SCORE 15463.982
AT ITER 238 NEW BEST:: SOT 49571 SOS 17968 HAS SOPS 17968 HAS SOUS 15432 HAS SOUPS 15432 WITH SCORE 15449.968
AT ITER 243 NEW BEST:: SOT 49579 SOS 18060 HAS SOPS 18060 HAS SOUS 15430 HAS SOUPS 15430 WITH SCORE 15448.06
AT ITER 258 NEW BEST:: SOT 49580 SOS 18056 HAS SOPS 18056 HAS SOUS 15426 HAS SOUPS 15426 WITH SCORE 15444.056
AT ITER 261 NEW BEST:: SOT 49580 SOS 18033 HAS SOPS 18033 HAS SOUS 15403 HAS SOUPS 15403 WITH SCORE 15421.033
AT ITER 274 NEW BEST:: SOT 49552 SOS 17904 HAS SOPS 17904 HAS SOUS 15274 HAS SOUPS 15274 WITH SCORE 15291.904
AT ITER 281 NEW BEST:: SOT 49526 SOS 17878 HAS SOPS 17878 HAS SOUS 15248 HAS SOUPS 15248 WITH SCORE 15265.878
AT ITER 285 NEW BEST:: SOT 49522 SOS 17874 HAS SOPS 17874 HAS SOUS 15244 HAS SOUPS 15244 WITH SCORE 15261.874
AT ITER 286 NEW BEST:: SOT 49467 SOS 17848 HAS SOPS 17848 HAS SOUS 15218 HAS SOUPS 15218 WITH SCORE 15235.848
AT ITER 288 NEW BEST:: SOT 49467 SOS 17830 HAS SOPS 17830 HAS SOUS 15200 HAS SOUPS 15200 WITH SCORE 15217.83
AT ITER 309 NEW BEST:: SOT 49467 SOS 17829 HAS SOPS 17829 HAS SOUS 15199 HAS SOUPS 15199 WITH SCORE 15216.829
AT ITER 310 NEW BEST:: SOT 49464 SOS 17826 HAS SOPS 17826 HAS SOUS 15196 HAS SOUPS 15196 WITH SCORE 15213.826
AT ITER 325 NEW BEST:: SOT 49450 SOS 17644 HAS SOPS 17644 HAS SOUS 15168 HAS SOUPS 15168 WITH SCORE 15185.644
AT ITER 334 NEW BEST:: SOT 49416 SOS 17688 HAS SOPS 17688 HAS SOUS 15122 HAS SOUPS 15122 WITH SCORE 15139.688
AT ITER 336 NEW BEST:: SOT 49403 SOS 17653 HAS SOPS 17653 HAS SOUS 15096 HAS SOUPS 15096 WITH SCORE 15113.653
AT ITER 346 NEW BEST:: SOT 49403 SOS 17649 HAS SOPS 17649 HAS SOUS 15092 HAS SOUPS 15092 WITH SCORE 15109.649
AT ITER 356 NEW BEST:: SOT 49364 SOS 17573 HAS SOPS 17573 HAS SOUS 15016 HAS SOUPS 15016 WITH SCORE 15033.573
AT ITER 364 NEW BEST:: SOT 49338 SOS 17588 HAS SOPS 17588 HAS SOUS 14997 HAS SOUPS 14997 WITH SCORE 15014.588
AT ITER 377 NEW BEST:: SOT 49321 SOS 17570 HAS SOPS 17570 HAS SOUS 14978 HAS SOUPS 14978 WITH SCORE 14995.57
AT ITER 384 NEW BEST:: SOT 49321 SOS 17558 HAS SOPS 17558 HAS SOUS 14966 HAS SOUPS 14966 WITH SCORE 14983.558
AT ITER 386 NEW BEST:: SOT 49306 SOS 17543 HAS SOPS 17543 HAS SOUS 14966 HAS SOUPS 14966 WITH SCORE 14983.543
AT ITER 392 NEW BEST:: SOT 49282 SOS 17419 HAS SOPS 17419 HAS SOUS 14892 HAS SOUPS 14892 WITH SCORE 14909.419
AT ITER 404 NEW BEST:: SOT 49273 SOS 17410 HAS SOPS 17410 HAS SOUS 14883 HAS SOUPS 14883 WITH SCORE 14900.41
AT ITER 406 NEW BEST:: SOT 49290 SOS 17359 HAS SOPS 17359 HAS SOUS 14883 HAS SOUPS 14883 WITH SCORE 14900.359
AT ITER 412 NEW BEST:: SOT 49299 SOS 17348 HAS SOPS 17348 HAS SOUS 14872 HAS SOUPS 14872 WITH SCORE 14889.348
AT ITER 414 NEW BEST:: SOT 49294 SOS 17338 HAS SOPS 17338 HAS SOUS 14867 HAS SOUPS 14867 WITH SCORE 14884.338
AT ITER 426 NEW BEST:: SOT 49289 SOS 17328 HAS SOPS 17328 HAS SOUS 14857 HAS SOUPS 14857 WITH SCORE 14874.328
AT ITER 428 NEW BEST:: SOT 49289 SOS 17305 HAS SOPS 17305 HAS SOUS 14834 HAS SOUPS 14834 WITH SCORE 14851.305
AT ITER 434 NEW BEST:: SOT 48953 SOS 16999 HAS SOPS 16999 HAS SOUS 14463 HAS SOUPS 14463 WITH SCORE 14479.999
AT ITER 435 NEW BEST:: SOT 48976 SOS 17032 HAS SOPS 17032 HAS SOUS 14425 HAS SOUPS 14425 WITH SCORE 14442.032
AT ITER 447 NEW BEST:: SOT 48988 SOS 17044 HAS SOPS 17044 HAS SOUS 14398 HAS SOUPS 14398 WITH SCORE 14415.044
AT ITER 454 NEW BEST:: SOT 48997 SOS 17045 HAS SOPS 17045 HAS SOUS 14395 HAS SOUPS 14395 WITH SCORE 14412.045
AT ITER 469 NEW BEST:: SOT 48985 SOS 17022 HAS SOPS 17022 HAS SOUS 14373 HAS SOUPS 14373 WITH SCORE 14390.022
AT ITER 484 NEW BEST:: SOT 48985 SOS 17015 HAS SOPS 17015 HAS SOUS 14372 HAS SOUPS 14372 WITH SCORE 14389.015
AT ITER 486 NEW BEST:: SOT 48983 SOS 16999 HAS SOPS 16999 HAS SOUS 14356 HAS SOUPS 14356 WITH SCORE 14372.999
AT ITER 540 NEW BEST:: SOT 48921 SOS 16906 HAS SOPS 16906 HAS SOUS 14263 HAS SOUPS 14263 WITH SCORE 14279.906
AT ITER 555 NEW BEST:: SOT 48915 SOS 16900 HAS SOPS 16900 HAS SOUS 14257 HAS SOUPS 14257 WITH SCORE 14273.9
AT ITER 562 NEW BEST:: SOT 48467 SOS 17249 HAS SOPS 17249 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13936.249
AT ITER 565 NEW BEST:: SOT 48411 SOS 17149 HAS SOPS 17149 HAS SOUS 13819 HAS SOUPS 13819 WITH SCORE 13836.149
AT ITER 586 NEW BEST:: SOT 48374 SOS 17075 HAS SOPS 17075 HAS SOUS 13782 HAS SOUPS 13782 WITH SCORE 13799.075
AT ITER 604 NEW BEST:: SOT 48299 SOS 17027 HAS SOPS 17027 HAS SOUS 13734 HAS SOUPS 13734 WITH SCORE 13751.027
AT ITER 620 NEW BEST:: SOT 48283 SOS 17011 HAS SOPS 17011 HAS SOUS 13718 HAS SOUPS 13718 WITH SCORE 13735.011
AT ITER 629 NEW BEST:: SOT 48259 SOS 16987 HAS SOPS 16987 HAS SOUS 13694 HAS SOUPS 13694 WITH SCORE 13710.987
AT ITER 642 NEW BEST:: SOT 48267 SOS 17007 HAS SOPS 17007 HAS SOUS 13670 HAS SOUPS 13670 WITH SCORE 13687.007
AT ITER 679 NEW BEST:: SOT 48049 SOS 16884 HAS SOPS 16884 HAS SOUS 13484 HAS SOUPS 13484 WITH SCORE 13500.884
AT ITER 703 NEW BEST:: SOT 48053 SOS 16892 HAS SOPS 16892 HAS SOUS 13455 HAS SOUPS 13455 WITH SCORE 13471.892
AT ITER 719 NEW BEST:: SOT 48046 SOS 16859 HAS SOPS 16859 HAS SOUS 13420 HAS SOUPS 13420 WITH SCORE 13436.859
AT ITER 725 NEW BEST:: SOT 48045 SOS 16857 HAS SOPS 16857 HAS SOUS 13418 HAS SOUPS 13418 WITH SCORE 13434.857
AT ITER 749 NEW BEST:: SOT 48041 SOS 16926 HAS SOPS 16926 HAS SOUS 13415 HAS SOUPS 13415 WITH SCORE 13431.926
AT ITER 753 NEW BEST:: SOT 48022 SOS 16838 HAS SOPS 16838 HAS SOUS 13402 HAS SOUPS 13402 WITH SCORE 13418.838
AT ITER 756 NEW BEST:: SOT 48019 SOS 16831 HAS SOPS 16831 HAS SOUS 13395 HAS SOUPS 13395 WITH SCORE 13411.831
AT ITER 762 NEW BEST:: SOT 47946 SOS 16750 HAS SOPS 16750 HAS SOUS 13314 HAS SOUPS 13314 WITH SCORE 13330.75
AT ITER 764 NEW BEST:: SOT 47932 SOS 16800 HAS SOPS 16800 HAS SOUS 13307 HAS SOUPS 13307 WITH SCORE 13323.8
AT ITER 765 NEW BEST:: SOT 47926 SOS 16794 HAS SOPS 16794 HAS SOUS 13301 HAS SOUPS 13301 WITH SCORE 13317.794
AT ITER 770 NEW BEST:: SOT 47882 SOS 16706 HAS SOPS 16706 HAS SOUS 13257 HAS SOUPS 13257 WITH SCORE 13273.706
AT ITER 786 NEW BEST:: SOT 47890 SOS 16669 HAS SOPS 16669 HAS SOUS 13193 HAS SOUPS 13193 WITH SCORE 13209.669
AT ITER 799 NEW BEST:: SOT 47890 SOS 16625 HAS SOPS 16625 HAS SOUS 13149 HAS SOUPS 13149 WITH SCORE 13165.625
AT ITER 800 NEW BEST:: SOT 47850 SOS 16567 HAS SOPS 16567 HAS SOUS 13116 HAS SOUPS 13116 WITH SCORE 13132.567
AT ITER 807 NEW BEST:: SOT 47850 SOS 16561 HAS SOPS 16561 HAS SOUS 13110 HAS SOUPS 13110 WITH SCORE 13126.561
AT ITER 810 NEW BEST:: SOT 47796 SOS 16507 HAS SOPS 16507 HAS SOUS 13056 HAS SOUPS 13056 WITH SCORE 13072.507
AT ITER 820 NEW BEST:: SOT 47788 SOS 16544 HAS SOPS 16544 HAS SOUS 13048 HAS SOUPS 13048 WITH SCORE 13064.544
AT ITER 830 NEW BEST:: SOT 47792 SOS 16542 HAS SOPS 16542 HAS SOUS 13046 HAS SOUPS 13046 WITH SCORE 13062.542
AT ITER 833 NEW BEST:: SOT 47806 SOS 16527 HAS SOPS 16527 HAS SOUS 13031 HAS SOUPS 13031 WITH SCORE 13047.527
AT ITER 835 NEW BEST:: SOT 47807 SOS 16517 HAS SOPS 16517 HAS SOUS 13021 HAS SOUPS 13021 WITH SCORE 13037.517
AT ITER 846 NEW BEST:: SOT 47800 SOS 16270 HAS SOPS 16270 HAS SOUS 12950 HAS SOUPS 12950 WITH SCORE 12966.27
AT ITER 867 NEW BEST:: SOT 47807 SOS 16254 HAS SOPS 16254 HAS SOUS 12915 HAS SOUPS 12915 WITH SCORE 12931.254
AT ITER 879 NEW BEST:: SOT 47807 SOS 16169 HAS SOPS 16169 HAS SOUS 12891 HAS SOUPS 12891 WITH SCORE 12907.169
AT ITER 881 NEW BEST:: SOT 47695 SOS 16001 HAS SOPS 16001 HAS SOUS 12723 HAS SOUPS 12723 WITH SCORE 12739.001
AT ITER 893 NEW BEST:: SOT 47703 SOS 16009 HAS SOPS 16009 HAS SOUS 12722 HAS SOUPS 12722 WITH SCORE 12738.009
AT ITER 898 NEW BEST:: SOT 47672 SOS 16021 HAS SOPS 16021 HAS SOUS 12689 HAS SOUPS 12689 WITH SCORE 12705.021
AT ITER 899 NEW BEST:: SOT 47671 SOS 16021 HAS SOPS 16021 HAS SOUS 12688 HAS SOUPS 12688 WITH SCORE 12704.021
AT ITER 905 NEW BEST:: SOT 47659 SOS 16009 HAS SOPS 16009 HAS SOUS 12676 HAS SOUPS 12676 WITH SCORE 12692.009
AT ITER 914 NEW BEST:: SOT 47658 SOS 16003 HAS SOPS 16003 HAS SOUS 12671 HAS SOUPS 12671 WITH SCORE 12687.003
AT ITER 917 NEW BEST:: SOT 47631 SOS 15963 HAS SOPS 15963 HAS SOUS 12631 HAS SOUPS 12631 WITH SCORE 12646.963
AT ITER 924 NEW BEST:: SOT 47629 SOS 15959 HAS SOPS 15959 HAS SOUS 12629 HAS SOUPS 12629 WITH SCORE 12644.959
AT ITER 938 NEW BEST:: SOT 47629 SOS 15958 HAS SOPS 15958 HAS SOUS 12628 HAS SOUPS 12628 WITH SCORE 12643.958
AT ITER 940 NEW BEST:: SOT 47616 SOS 15924 HAS SOPS 15924 HAS SOUS 12601 HAS SOUPS 12601 WITH SCORE 12616.924
AT ITER 960 NEW BEST:: SOT 47575 SOS 15855 HAS SOPS 15855 HAS SOUS 12544 HAS SOUPS 12544 WITH SCORE 12559.855
AT ITER 962 NEW BEST:: SOT 47567 SOS 15847 HAS SOPS 15847 HAS SOUS 12536 HAS SOUPS 12536 WITH SCORE 12551.847
AT ITER 967 NEW BEST:: SOT 47544 SOS 15866 HAS SOPS 15866 HAS SOUS 12511 HAS SOUPS 12511 WITH SCORE 12526.866
AT ITER 978 NEW BEST:: SOT 47499 SOS 15798 HAS SOPS 15798 HAS SOUS 12443 HAS SOUPS 12443 WITH SCORE 12458.798
AT ITER 979 NEW BEST:: SOT 47488 SOS 15787 HAS SOPS 15787 HAS SOUS 12443 HAS SOUPS 12443 WITH SCORE 12458.787
AT ITER 993 NEW BEST:: SOT 47488 SOS 15780 HAS SOPS 15780 HAS SOUS 12443 HAS SOUPS 12443 WITH SCORE 12458.78
AT ITER 1001 NEW BEST:: SOT 47510 SOS 15723 HAS SOPS 15723 HAS SOUS 12421 HAS SOUPS 12421 WITH SCORE 12436.723
AT ITER 1004 NEW BEST:: SOT 47497 SOS 15698 HAS SOPS 15698 HAS SOUS 12396 HAS SOUPS 12396 WITH SCORE 12411.698
AT ITER 1012 NEW BEST:: SOT 47445 SOS 16486 HAS SOPS 16486 HAS SOUS 12386 HAS SOUPS 12386 WITH SCORE 12402.486
AT ITER 1026 NEW BEST:: SOT 47433 SOS 16468 HAS SOPS 16468 HAS SOUS 12368 HAS SOUPS 12368 WITH SCORE 12384.468
AT ITER 1031 NEW BEST:: SOT 47403 SOS 16426 HAS SOPS 16426 HAS SOUS 12326 HAS SOUPS 12326 WITH SCORE 12342.426
AT ITER 1033 NEW BEST:: SOT 47385 SOS 16407 HAS SOPS 16407 HAS SOUS 12324 HAS SOUPS 12324 WITH SCORE 12340.407
AT ITER 1038 NEW BEST:: SOT 47366 SOS 16369 HAS SOPS 16369 HAS SOUS 12305 HAS SOUPS 12305 WITH SCORE 12321.369
AT ITER 1043 NEW BEST:: SOT 47366 SOS 16372 HAS SOPS 16372 HAS SOUS 12302 HAS SOUPS 12302 WITH SCORE 12318.372
AT ITER 1070 NEW BEST:: SOT 47356 SOS 16392 HAS SOPS 16392 HAS SOUS 12292 HAS SOUPS 12292 WITH SCORE 12308.392
AT ITER 1072 NEW BEST:: SOT 47335 SOS 16371 HAS SOPS 16371 HAS SOUS 12292 HAS SOUPS 12292 WITH SCORE 12308.371
AT ITER 1094 NEW BEST:: SOT 47325 SOS 16361 HAS SOPS 16361 HAS SOUS 12287 HAS SOUPS 12287 WITH SCORE 12303.361
AT ITER 1107 NEW BEST:: SOT 47317 SOS 16353 HAS SOPS 16353 HAS SOUS 12279 HAS SOUPS 12279 WITH SCORE 12295.353
AT ITER 1115 NEW BEST:: SOT 47165 SOS 16145 HAS SOPS 16145 HAS SOUS 12119 HAS SOUPS 12119 WITH SCORE 12135.145
AT ITER 1125 NEW BEST:: SOT 47141 SOS 16097 HAS SOPS 16097 HAS SOUS 12105 HAS SOUPS 12105 WITH SCORE 12121.097
AT ITER 1135 NEW BEST:: SOT 47128 SOS 16087 HAS SOPS 16087 HAS SOUS 12097 HAS SOUPS 12097 WITH SCORE 12113.087
AT ITER 1141 NEW BEST:: SOT 47060 SOS 15994 HAS SOPS 15994 HAS SOUS 12080 HAS SOUPS 12080 WITH SCORE 12095.994
AT ITER 1156 NEW BEST:: SOT 47056 SOS 15990 HAS SOPS 15990 HAS SOUS 12072 HAS SOUPS 12072 WITH SCORE 12087.99
AT ITER 1161 NEW BEST:: SOT 47056 SOS 15990 HAS SOPS 15990 HAS SOUS 12063 HAS SOUPS 12063 WITH SCORE 12078.99
AT ITER 1163 NEW BEST:: SOT 47050 SOS 15978 HAS SOPS 15978 HAS SOUS 12051 HAS SOUPS 12051 WITH SCORE 12066.978
AT ITER 1166 NEW BEST:: SOT 47042 SOS 15970 HAS SOPS 15970 HAS SOUS 12051 HAS SOUPS 12051 WITH SCORE 12066.97
AT ITER 1201 NEW BEST:: SOT 47020 SOS 15920 HAS SOPS 15920 HAS SOUS 12007 HAS SOUPS 12007 WITH SCORE 12022.92
AT ITER 1219 NEW BEST:: SOT 47019 SOS 15922 HAS SOPS 15922 HAS SOUS 12003 HAS SOUPS 12003 WITH SCORE 12018.922
AT ITER 1263 NEW BEST:: SOT 47018 SOS 15917 HAS SOPS 15917 HAS SOUS 12002 HAS SOUPS 12002 WITH SCORE 12017.917
AT ITER 1300 NEW BEST:: SOT 47016 SOS 15881 HAS SOPS 15881 HAS SOUS 11981 HAS SOUPS 11981 WITH SCORE 11996.881
AT ITER 1334 NEW BEST:: SOT 47022 SOS 15893 HAS SOPS 15893 HAS SOUS 11971 HAS SOUPS 11971 WITH SCORE 11986.893
AT ITER 1370 NEW BEST:: SOT 47022 SOS 15886 HAS SOPS 15886 HAS SOUS 11964 HAS SOUPS 11964 WITH SCORE 11979.886
AT ITER 1378 NEW BEST:: SOT 46978 SOS 15838 HAS SOPS 15838 HAS SOUS 11916 HAS SOUPS 11916 WITH SCORE 11931.838
AT ITER 1383 NEW BEST:: SOT 46937 SOS 15756 HAS SOPS 15756 HAS SOUS 11860 HAS SOUPS 11860 WITH SCORE 11875.756
AT ITER 1391 NEW BEST:: SOT 46977 SOS 15737 HAS SOPS 15737 HAS SOUS 11841 HAS SOUPS 11841 WITH SCORE 11856.737
AT ITER 1417 NEW BEST:: SOT 46948 SOS 15796 HAS SOPS 15796 HAS SOUS 11810 HAS SOUPS 11810 WITH SCORE 11825.796
AT ITER 1418 NEW BEST:: SOT 46947 SOS 15791 HAS SOPS 15791 HAS SOUS 11808 HAS SOUPS 11808 WITH SCORE 11823.791
AT ITER 1438 NEW BEST:: SOT 46878 SOS 15739 HAS SOPS 15739 HAS SOUS 11782 HAS SOUPS 11782 WITH SCORE 11797.739
AT ITER 1455 NEW BEST:: SOT 46845 SOS 15706 HAS SOPS 15706 HAS SOUS 11782 HAS SOUPS 11782 WITH SCORE 11797.706
AT ITER 1480 NEW BEST:: SOT 46855 SOS 15716 HAS SOPS 15716 HAS SOUS 11778 HAS SOUPS 11778 WITH SCORE 11793.716
AT ITER 1488 NEW BEST:: SOT 46833 SOS 15670 HAS SOPS 15670 HAS SOUS 11734 HAS SOUPS 11734 WITH SCORE 11749.67
AT ITER 1523 NEW BEST:: SOT 46833 SOS 15666 HAS SOPS 15666 HAS SOUS 11730 HAS SOUPS 11730 WITH SCORE 11745.666
AT ITER 1528 NEW BEST:: SOT 46757 SOS 15886 HAS SOPS 15886 HAS SOUS 11712 HAS SOUPS 11712 WITH SCORE 11727.886
AT ITER 1589 NEW BEST:: SOT 46756 SOS 15884 HAS SOPS 15884 HAS SOUS 11710 HAS SOUPS 11710 WITH SCORE 11725.884
AT ITER 1595 NEW BEST:: SOT 46743 SOS 15858 HAS SOPS 15858 HAS SOUS 11684 HAS SOUPS 11684 WITH SCORE 11699.858
AT ITER 1607 NEW BEST:: SOT 46743 SOS 15827 HAS SOPS 15827 HAS SOUS 11653 HAS SOUPS 11653 WITH SCORE 11668.827
AT ITER 1608 NEW BEST:: SOT 46712 SOS 15773 HAS SOPS 15773 HAS SOUS 11606 HAS SOUPS 11606 WITH SCORE 11621.773
AT ITER 1617 NEW BEST:: SOT 46712 SOS 15618 HAS SOPS 15618 HAS SOUS 11573 HAS SOUPS 11573 WITH SCORE 11588.618
AT ITER 1625 NEW BEST:: SOT 46730 SOS 15389 HAS SOPS 15389 HAS SOUS 11515 HAS SOUPS 11515 WITH SCORE 11530.389
AT ITER 1698 NEW BEST:: SOT 46743 SOS 15415 HAS SOPS 15415 HAS SOUS 11507 HAS SOUPS 11507 WITH SCORE 11522.415
AT ITER 1708 NEW BEST:: SOT 46736 SOS 15412 HAS SOPS 15412 HAS SOUS 11501 HAS SOUPS 11501 WITH SCORE 11516.412
AT ITER 1764 NEW BEST:: SOT 46712 SOS 15358 HAS SOPS 15358 HAS SOUS 11433 HAS SOUPS 11433 WITH SCORE 11448.358
AT ITER 1776 NEW BEST:: SOT 46719 SOS 15372 HAS SOPS 15372 HAS SOUS 11377 HAS SOUPS 11377 WITH SCORE 11392.372
AT ITER 1794 NEW BEST:: SOT 46748 SOS 15401 HAS SOPS 15401 HAS SOUS 11373 HAS SOUPS 11373 WITH SCORE 11388.401
AT ITER 1807 NEW BEST:: SOT 46746 SOS 15397 HAS SOPS 15397 HAS SOUS 11369 HAS SOUPS 11369 WITH SCORE 11384.397
AT ITER 1812 NEW BEST:: SOT 46772 SOS 15412 HAS SOPS 15412 HAS SOUS 11327 HAS SOUPS 11327 WITH SCORE 11342.412
AT ITER 1824 NEW BEST:: SOT 46764 SOS 15395 HAS SOPS 15395 HAS SOUS 11310 HAS SOUPS 11310 WITH SCORE 11325.395
AT ITER 1827 NEW BEST:: SOT 46759 SOS 15390 HAS SOPS 15390 HAS SOUS 11300 HAS SOUPS 11300 WITH SCORE 11315.39
AT ITER 1828 NEW BEST:: SOT 46781 SOS 15389 HAS SOPS 15389 HAS SOUS 11300 HAS SOUPS 11300 WITH SCORE 11315.389
AT ITER 1833 NEW BEST:: SOT 46781 SOS 15387 HAS SOPS 15387 HAS SOUS 11298 HAS SOUPS 11298 WITH SCORE 11313.387
AT ITER 1839 NEW BEST:: SOT 46781 SOS 15386 HAS SOPS 15386 HAS SOUS 11297 HAS SOUPS 11297 WITH SCORE 11312.386
AT ITER 1844 NEW BEST:: SOT 46739 SOS 15385 HAS SOPS 15385 HAS SOUS 11296 HAS SOUPS 11296 WITH SCORE 11311.385
AT ITER 1866 NEW BEST:: SOT 46739 SOS 15357 HAS SOPS 15357 HAS SOUS 11296 HAS SOUPS 11296 WITH SCORE 11311.357
AT ITER 1904 NEW BEST:: SOT 46746 SOS 15233 HAS SOPS 15233 HAS SOUS 11239 HAS SOUPS 11239 WITH SCORE 11254.233
AT ITER 1912 NEW BEST:: SOT 46744 SOS 15230 HAS SOPS 15230 HAS SOUS 11236 HAS SOUPS 11236 WITH SCORE 11251.23
AT ITER 1929 NEW BEST:: SOT 46743 SOS 15229 HAS SOPS 15229 HAS SOUS 11235 HAS SOUPS 11235 WITH SCORE 11250.229
AT ITER 1930 NEW BEST:: SOT 46687 SOS 15173 HAS SOPS 15173 HAS SOUS 11212 HAS SOUPS 11212 WITH SCORE 11227.173
AT ITER 1932 NEW BEST:: SOT 46731 SOS 15170 HAS SOPS 15170 HAS SOUS 11209 HAS SOUPS 11209 WITH SCORE 11224.17
AT ITER 1971 NEW BEST:: SOT 46721 SOS 15153 HAS SOPS 15153 HAS SOUS 11201 HAS SOUPS 11201 WITH SCORE 11216.153
AT ITER 1979 NEW BEST:: SOT 46658 SOS 15027 HAS SOPS 15027 HAS SOUS 11075 HAS SOUPS 11075 WITH SCORE 11090.027
AT ITER 1984 NEW BEST:: SOT 46663 SOS 15032 HAS SOPS 15032 HAS SOUS 11073 HAS SOUPS 11073 WITH SCORE 11088.032
AT ITER 1990 NEW BEST:: SOT 46557 SOS 14926 HAS SOPS 14926 HAS SOUS 10967 HAS SOUPS 10967 WITH SCORE 10981.926
AT ITER 2002 NEW BEST:: SOT 46520 SOS 14889 HAS SOPS 14889 HAS SOUS 10930 HAS SOUPS 10930 WITH SCORE 10944.889
AT ITER 2009 NEW BEST:: SOT 46469 SOS 15011 HAS SOPS 15011 HAS SOUS 10898 HAS SOUPS 10898 WITH SCORE 10913.011
AT ITER 2013 NEW BEST:: SOT 46474 SOS 14957 HAS SOPS 14957 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10911.957
AT ITER 2029 NEW BEST:: SOT 46462 SOS 14945 HAS SOPS 14945 HAS SOUS 10893 HAS SOUPS 10893 WITH SCORE 10907.945
AT ITER 2037 NEW BEST:: SOT 46453 SOS 14903 HAS SOPS 14903 HAS SOUS 10836 HAS SOUPS 10836 WITH SCORE 10850.903
AT ITER 2044 NEW BEST:: SOT 46445 SOS 14887 HAS SOPS 14887 HAS SOUS 10834 HAS SOUPS 10834 WITH SCORE 10848.887
AT ITER 2050 NEW BEST:: SOT 46440 SOS 14855 HAS SOPS 14855 HAS SOUS 10802 HAS SOUPS 10802 WITH SCORE 10816.855
AT ITER 2073 NEW BEST:: SOT 46415 SOS 14830 HAS SOPS 14830 HAS SOUS 10802 HAS SOUPS 10802 WITH SCORE 10816.83
AT ITER 2075 NEW BEST:: SOT 46415 SOS 14836 HAS SOPS 14836 HAS SOUS 10801 HAS SOUPS 10801 WITH SCORE 10815.836
AT ITER 2079 NEW BEST:: SOT 46397 SOS 14800 HAS SOPS 14800 HAS SOUS 10765 HAS SOUPS 10765 WITH SCORE 10779.8
AT ITER 2088 NEW BEST:: SOT 46397 SOS 14799 HAS SOPS 14799 HAS SOUS 10765 HAS SOUPS 10765 WITH SCORE 10779.799
AT ITER 2101 NEW BEST:: SOT 46389 SOS 14783 HAS SOPS 14783 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10755.783
AT ITER 2111 NEW BEST:: SOT 46384 SOS 14751 HAS SOPS 14751 HAS SOUS 10709 HAS SOUPS 10709 WITH SCORE 10723.751
AT ITER 2117 NEW BEST:: SOT 46353 SOS 14740 HAS SOPS 14740 HAS SOUS 10678 HAS SOUPS 10678 WITH SCORE 10692.74
AT ITER 2139 NEW BEST:: SOT 46378 SOS 14619 HAS SOPS 14619 HAS SOUS 10668 HAS SOUPS 10668 WITH SCORE 10682.619
AT ITER 2156 NEW BEST:: SOT 46369 SOS 14610 HAS SOPS 14610 HAS SOUS 10659 HAS SOUPS 10659 WITH SCORE 10673.61
AT ITER 2162 NEW BEST:: SOT 46354 SOS 14592 HAS SOPS 14592 HAS SOUS 10641 HAS SOUPS 10641 WITH SCORE 10655.592
AT ITER 2174 NEW BEST:: SOT 46298 SOS 14536 HAS SOPS 14536 HAS SOUS 10639 HAS SOUPS 10639 WITH SCORE 10653.536
AT ITER 2187 NEW BEST:: SOT 46268 SOS 14529 HAS SOPS 14529 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10646.529
AT ITER 2191 NEW BEST:: SOT 46261 SOS 14502 HAS SOPS 14502 HAS SOUS 10605 HAS SOUPS 10605 WITH SCORE 10619.502
AT ITER 2198 NEW BEST:: SOT 46252 SOS 14495 HAS SOPS 14495 HAS SOUS 10589 HAS SOUPS 10589 WITH SCORE 10603.495
AT ITER 2232 NEW BEST:: SOT 46252 SOS 14378 HAS SOPS 14378 HAS SOUS 10576 HAS SOUPS 10576 WITH SCORE 10590.378
AT ITER 2234 NEW BEST:: SOT 46245 SOS 14377 HAS SOPS 14377 HAS SOUS 10575 HAS SOUPS 10575 WITH SCORE 10589.377
AT ITER 2240 NEW BEST:: SOT 46219 SOS 14325 HAS SOPS 14325 HAS SOUS 10523 HAS SOUPS 10523 WITH SCORE 10537.325
AT ITER 2249 NEW BEST:: SOT 46268 SOS 14285 HAS SOPS 14285 HAS SOUS 10483 HAS SOUPS 10483 WITH SCORE 10497.285
AT ITER 2267 NEW BEST:: SOT 46268 SOS 14294 HAS SOPS 14294 HAS SOUS 10472 HAS SOUPS 10472 WITH SCORE 10486.294
AT ITER 2268 NEW BEST:: SOT 46136 SOS 14162 HAS SOPS 14162 HAS SOUS 10430 HAS SOUPS 10430 WITH SCORE 10444.162
AT ITER 2271 NEW BEST:: SOT 46120 SOS 14140 HAS SOPS 14140 HAS SOUS 10392 HAS SOUPS 10392 WITH SCORE 10406.14
AT ITER 2301 NEW BEST:: SOT 46129 SOS 14133 HAS SOPS 14133 HAS SOUS 10385 HAS SOUPS 10385 WITH SCORE 10399.133
AT ITER 2317 NEW BEST:: SOT 46123 SOS 14109 HAS SOPS 14109 HAS SOUS 10373 HAS SOUPS 10373 WITH SCORE 10387.109
AT ITER 2318 NEW BEST:: SOT 46191 SOS 14092 HAS SOPS 14092 HAS SOUS 10356 HAS SOUPS 10356 WITH SCORE 10370.092
AT ITER 2344 NEW BEST:: SOT 46189 SOS 14028 HAS SOPS 14028 HAS SOUS 10351 HAS SOUPS 10351 WITH SCORE 10365.028
AT ITER 2365 NEW BEST:: SOT 46189 SOS 14019 HAS SOPS 14019 HAS SOUS 10342 HAS SOUPS 10342 WITH SCORE 10356.019
AT ITER 2371 NEW BEST:: SOT 46092 SOS 13890 HAS SOPS 13890 HAS SOUS 10213 HAS SOUPS 10213 WITH SCORE 10226.89
AT ITER 2376 NEW BEST:: SOT 46082 SOS 13822 HAS SOPS 13822 HAS SOUS 10193 HAS SOUPS 10193 WITH SCORE 10206.822
AT ITER 2391 NEW BEST:: SOT 46073 SOS 13790 HAS SOPS 13790 HAS SOUS 10161 HAS SOUPS 10161 WITH SCORE 10174.79
AT ITER 2396 NEW BEST:: SOT 46058 SOS 13820 HAS SOPS 13820 HAS SOUS 10159 HAS SOUPS 10159 WITH SCORE 10172.82
AT ITER 2408 NEW BEST:: SOT 46033 SOS 13770 HAS SOPS 13770 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10122.77
AT ITER 2422 NEW BEST:: SOT 46009 SOS 13746 HAS SOPS 13746 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10122.746
AT ITER 2460 NEW BEST:: SOT 46004 SOS 13736 HAS SOPS 13736 HAS SOUS 10099 HAS SOUPS 10099 WITH SCORE 10112.736
AT ITER 2497 NEW BEST:: SOT 45997 SOS 13724 HAS SOPS 13724 HAS SOUS 10087 HAS SOUPS 10087 WITH SCORE 10100.724
AT ITER 2529 NEW BEST:: SOT 45987 SOS 13693 HAS SOPS 13693 HAS SOUS 10086 HAS SOUPS 10086 WITH SCORE 10099.693
AT ITER 2534 NEW BEST:: SOT 45946 SOS 13632 HAS SOPS 13632 HAS SOUS 10025 HAS SOUPS 10025 WITH SCORE 10038.632
AT ITER 2561 NEW BEST:: SOT 45928 SOS 13614 HAS SOPS 13614 HAS SOUS 10004 HAS SOUPS 10004 WITH SCORE 10017.614
AT ITER 2564 NEW BEST:: SOT 45927 SOS 13613 HAS SOPS 13613 HAS SOUS 10002 HAS SOUPS 10002 WITH SCORE 10015.613
AT ITER 2567 NEW BEST:: SOT 45923 SOS 13599 HAS SOPS 13599 HAS SOUS 9988 HAS SOUPS 9988 WITH SCORE 10001.599
AT ITER 2603 NEW BEST:: SOT 45930 SOS 13587 HAS SOPS 13587 HAS SOUS 9976 HAS SOUPS 9976 WITH SCORE 9989.587
AT ITER 2621 NEW BEST:: SOT 45930 SOS 13579 HAS SOPS 13579 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 9981.579
AT ITER 2654 NEW BEST:: SOT 45927 SOS 13576 HAS SOPS 13576 HAS SOUS 9965 HAS SOUPS 9965 WITH SCORE 9978.576
AT ITER 2660 NEW BEST:: SOT 45935 SOS 13574 HAS SOPS 13574 HAS SOUS 9963 HAS SOUPS 9963 WITH SCORE 9976.574
AT ITER 2680 NEW BEST:: SOT 45907 SOS 13562 HAS SOPS 13562 HAS SOUS 9951 HAS SOUPS 9951 WITH SCORE 9964.562
AT ITER 2694 NEW BEST:: SOT 45905 SOS 13560 HAS SOPS 13560 HAS SOUS 9950 HAS SOUPS 9950 WITH SCORE 9963.56
AT ITER 2761 NEW BEST:: SOT 45899 SOS 13554 HAS SOPS 13554 HAS SOUS 9950 HAS SOUPS 9950 WITH SCORE 9963.554
AT ITER 2795 NEW BEST:: SOT 45957 SOS 13434 HAS SOPS 13434 HAS SOUS 9950 HAS SOUPS 9950 WITH SCORE 9963.434
AT ITER 2818 NEW BEST:: SOT 45940 SOS 13400 HAS SOPS 13400 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9946.4
AT ITER 2835 NEW BEST:: SOT 45940 SOS 13400 HAS SOPS 13400 HAS SOUS 9918 HAS SOUPS 9918 WITH SCORE 9931.4
AT ITER 2901 NEW BEST:: SOT 45932 SOS 13390 HAS SOPS 13390 HAS SOUS 9914 HAS SOUPS 9914 WITH SCORE 9927.39
AT ITER 2903 NEW BEST:: SOT 45906 SOS 13367 HAS SOPS 13367 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9910.367
AT ITER 2916 NEW BEST:: SOT 45905 SOS 13364 HAS SOPS 13364 HAS SOUS 9894 HAS SOUPS 9894 WITH SCORE 9907.364
AT ITER 2932 NEW BEST:: SOT 45899 SOS 13358 HAS SOPS 13358 HAS SOUS 9888 HAS SOUPS 9888 WITH SCORE 9901.358
AT ITER 2941 NEW BEST:: SOT 45878 SOS 13379 HAS SOPS 13379 HAS SOUS 9852 HAS SOUPS 9852 WITH SCORE 9865.379
AT ITER 3016 NEW BEST:: SOT 45876 SOS 13376 HAS SOPS 13376 HAS SOUS 9849 HAS SOUPS 9849 WITH SCORE 9862.376
AT ITER 3021 NEW BEST:: SOT 45868 SOS 13368 HAS SOPS 13368 HAS SOUS 9841 HAS SOUPS 9841 WITH SCORE 9854.368
AT ITER 3031 NEW BEST:: SOT 45868 SOS 13366 HAS SOPS 13366 HAS SOUS 9839 HAS SOUPS 9839 WITH SCORE 9852.366
AT ITER 3118 NEW BEST:: SOT 45859 SOS 13361 HAS SOPS 13361 HAS SOUS 9834 HAS SOUPS 9834 WITH SCORE 9847.361
AT ITER 3127 NEW BEST:: SOT 45862 SOS 13287 HAS SOPS 13287 HAS SOUS 9811 HAS SOUPS 9811 WITH SCORE 9824.287
AT ITER 3136 NEW BEST:: SOT 45856 SOS 13275 HAS SOPS 13275 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9812.275
AT ITER 3145 NEW BEST:: SOT 45856 SOS 13270 HAS SOPS 13270 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9812.27
AT ITER 3190 NEW BEST:: SOT 45841 SOS 13255 HAS SOPS 13255 HAS SOUS 9784 HAS SOUPS 9784 WITH SCORE 9797.255
AT ITER 3298 NEW BEST:: SOT 45790 SOS 13204 HAS SOPS 13204 HAS SOUS 9784 HAS SOUPS 9784 WITH SCORE 9797.204
AT ITER 3306 NEW BEST:: SOT 45800 SOS 13181 HAS SOPS 13181 HAS SOUS 9761 HAS SOUPS 9761 WITH SCORE 9774.181
AT ITER 3323 NEW BEST:: SOT 45790 SOS 13144 HAS SOPS 13144 HAS SOUS 9752 HAS SOUPS 9752 WITH SCORE 9765.144
AT ITER 3330 NEW BEST:: SOT 45785 SOS 13139 HAS SOPS 13139 HAS SOUS 9747 HAS SOUPS 9747 WITH SCORE 9760.139
AT ITER 3332 NEW BEST:: SOT 45777 SOS 13128 HAS SOPS 13128 HAS SOUS 9736 HAS SOUPS 9736 WITH SCORE 9749.128
AT ITER 3355 NEW BEST:: SOT 45668 SOS 13323 HAS SOPS 13323 HAS SOUS 9686 HAS SOUPS 9686 WITH SCORE 9699.323
AT ITER 3406 NEW BEST:: SOT 45654 SOS 13308 HAS SOPS 13308 HAS SOUS 9684 HAS SOUPS 9684 WITH SCORE 9697.308
AT ITER 3433 NEW BEST:: SOT 45646 SOS 13303 HAS SOPS 13303 HAS SOUS 9679 HAS SOUPS 9679 WITH SCORE 9692.303
AT ITER 3484 NEW BEST:: SOT 45629 SOS 13285 HAS SOPS 13285 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9674.285
AT ITER 3587 NEW BEST:: SOT 45627 SOS 13279 HAS SOPS 13279 HAS SOUS 9655 HAS SOUPS 9655 WITH SCORE 9668.279
AT ITER 3595 NEW BEST:: SOT 45623 SOS 13253 HAS SOPS 13253 HAS SOUS 9645 HAS SOUPS 9645 WITH SCORE 9658.253
AT ITER 3602 NEW BEST:: SOT 45621 SOS 13251 HAS SOPS 13251 HAS SOUS 9643 HAS SOUPS 9643 WITH SCORE 9656.251
AT ITER 3603 NEW BEST:: SOT 45612 SOS 13245 HAS SOPS 13245 HAS SOUS 9637 HAS SOUPS 9637 WITH SCORE 9650.245
AT ITER 3632 NEW BEST:: SOT 45605 SOS 13231 HAS SOPS 13231 HAS SOUS 9623 HAS SOUPS 9623 WITH SCORE 9636.231
AT ITER 3679 NEW BEST:: SOT 45585 SOS 13191 HAS SOPS 13191 HAS SOUS 9584 HAS SOUPS 9584 WITH SCORE 9597.191
AT ITER 3700 NEW BEST:: SOT 45565 SOS 13170 HAS SOPS 13170 HAS SOUS 9582 HAS SOUPS 9582 WITH SCORE 9595.17
AT ITER 3708 NEW BEST:: SOT 45561 SOS 13162 HAS SOPS 13162 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9587.162
AT ITER 3720 NEW BEST:: SOT 45556 SOS 13157 HAS SOPS 13157 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9587.157
AT ITER 3754 NEW BEST:: SOT 45452 SOS 13046 HAS SOPS 13046 HAS SOUS 9547 HAS SOUPS 9547 WITH SCORE 9560.046
AT ITER 3778 NEW BEST:: SOT 45446 SOS 13042 HAS SOPS 13042 HAS SOUS 9543 HAS SOUPS 9543 WITH SCORE 9556.042
AT ITER 3813 NEW BEST:: SOT 45446 SOS 13040 HAS SOPS 13040 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9554.04
AT ITER 3816 NEW BEST:: SOT 45432 SOS 13026 HAS SOPS 13026 HAS SOUS 9527 HAS SOUPS 9527 WITH SCORE 9540.026
AT ITER 3818 NEW BEST:: SOT 45429 SOS 13020 HAS SOPS 13020 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9534.02
AT ITER 3839 NEW BEST:: SOT 45429 SOS 13020 HAS SOPS 13020 HAS SOUS 9518 HAS SOUPS 9518 WITH SCORE 9531.02
AT ITER 3895 NEW BEST:: SOT 45410 SOS 12982 HAS SOPS 12982 HAS SOUS 9433 HAS SOUPS 9433 WITH SCORE 9445.982
AT ITER 3908 NEW BEST:: SOT 45413 SOS 12974 HAS SOPS 12974 HAS SOUS 9425 HAS SOUPS 9425 WITH SCORE 9437.974
AT ITER 3927 NEW BEST:: SOT 45373 SOS 13148 HAS SOPS 13148 HAS SOUS 9387 HAS SOUPS 9387 WITH SCORE 9400.148
AT ITER 3928 NEW BEST:: SOT 45369 SOS 13145 HAS SOPS 13145 HAS SOUS 9384 HAS SOUPS 9384 WITH SCORE 9397.145
AT ITER 3935 NEW BEST:: SOT 45365 SOS 13089 HAS SOPS 13089 HAS SOUS 9376 HAS SOUPS 9376 WITH SCORE 9389.089
AT ITER 3944 NEW BEST:: SOT 45364 SOS 13087 HAS SOPS 13087 HAS SOUS 9374 HAS SOUPS 9374 WITH SCORE 9387.087
AT ITER 3973 NEW BEST:: SOT 45352 SOS 13072 HAS SOPS 13072 HAS SOUS 9359 HAS SOUPS 9359 WITH SCORE 9372.072
AT ITER 3980 NEW BEST:: SOT 45354 SOS 13067 HAS SOPS 13067 HAS SOUS 9345 HAS SOUPS 9345 WITH SCORE 9358.067
AT ITER 4000 NEW BEST:: SOT 45357 SOS 13062 HAS SOPS 13062 HAS SOUS 9340 HAS SOUPS 9340 WITH SCORE 9353.062
AT ITER 4050 NEW BEST:: SOT 45378 SOS 13083 HAS SOPS 13083 HAS SOUS 9335 HAS SOUPS 9335 WITH SCORE 9348.083
AT ITER 4070 NEW BEST:: SOT 45378 SOS 13081 HAS SOPS 13081 HAS SOUS 9335 HAS SOUPS 9335 WITH SCORE 9348.081
AT ITER 4078 NEW BEST:: SOT 45376 SOS 13077 HAS SOPS 13077 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9344.077
AT ITER 4093 NEW BEST:: SOT 45374 SOS 13073 HAS SOPS 13073 HAS SOUS 9327 HAS SOUPS 9327 WITH SCORE 9340.073
AT ITER 4099 NEW BEST:: SOT 45374 SOS 13068 HAS SOPS 13068 HAS SOUS 9322 HAS SOUPS 9322 WITH SCORE 9335.068
AT ITER 4113 NEW BEST:: SOT 45376 SOS 13072 HAS SOPS 13072 HAS SOUS 9317 HAS SOUPS 9317 WITH SCORE 9330.072
AT ITER 4161 NEW BEST:: SOT 45375 SOS 13070 HAS SOPS 13070 HAS SOUS 9315 HAS SOUPS 9315 WITH SCORE 9328.07
AT ITER 4171 NEW BEST:: SOT 45373 SOS 13066 HAS SOPS 13066 HAS SOUS 9311 HAS SOUPS 9311 WITH SCORE 9324.066
AT ITER 4179 NEW BEST:: SOT 45370 SOS 13063 HAS SOPS 13063 HAS SOUS 9311 HAS SOUPS 9311 WITH SCORE 9324.063
AT ITER 4206 NEW BEST:: SOT 45370 SOS 13058 HAS SOPS 13058 HAS SOUS 9311 HAS SOUPS 9311 WITH SCORE 9324.058
AT ITER 4219 NEW BEST:: SOT 45364 SOS 13066 HAS SOPS 13066 HAS SOUS 9299 HAS SOUPS 9299 WITH SCORE 9312.066
AT ITER 4226 NEW BEST:: SOT 45363 SOS 13057 HAS SOPS 13057 HAS SOUS 9286 HAS SOUPS 9286 WITH SCORE 9299.057
AT ITER 4234 NEW BEST:: SOT 45363 SOS 13054 HAS SOPS 13054 HAS SOUS 9283 HAS SOUPS 9283 WITH SCORE 9296.054
AT ITER 4287 NEW BEST:: SOT 45347 SOS 13053 HAS SOPS 13053 HAS SOUS 9282 HAS SOUPS 9282 WITH SCORE 9295.053
AT ITER 4294 NEW BEST:: SOT 45331 SOS 13021 HAS SOPS 13021 HAS SOUS 9250 HAS SOUPS 9250 WITH SCORE 9263.021
AT ITER 4297 NEW BEST:: SOT 45330 SOS 13019 HAS SOPS 13019 HAS SOUS 9248 HAS SOUPS 9248 WITH SCORE 9261.019
AT ITER 4342 NEW BEST:: SOT 45329 SOS 13014 HAS SOPS 13014 HAS SOUS 9243 HAS SOUPS 9243 WITH SCORE 9256.014
AT ITER 4343 NEW BEST:: SOT 45327 SOS 13010 HAS SOPS 13010 HAS SOUS 9241 HAS SOUPS 9241 WITH SCORE 9254.01
AT ITER 4491 NEW BEST:: SOT 45339 SOS 13018 HAS SOPS 13018 HAS SOUS 9227 HAS SOUPS 9227 WITH SCORE 9240.018
AT ITER 4498 NEW BEST:: SOT 45326 SOS 12986 HAS SOPS 12986 HAS SOUS 9201 HAS SOUPS 9201 WITH SCORE 9213.986
AT ITER 4515 NEW BEST:: SOT 45313 SOS 12968 HAS SOPS 12968 HAS SOUS 9191 HAS SOUPS 9191 WITH SCORE 9203.968
AT ITER 4546 NEW BEST:: SOT 45312 SOS 12966 HAS SOPS 12966 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9201.966
AT ITER 4548 NEW BEST:: SOT 45312 SOS 12960 HAS SOPS 12960 HAS SOUS 9183 HAS SOUPS 9183 WITH SCORE 9195.96
AT ITER 4560 NEW BEST:: SOT 45307 SOS 12941 HAS SOPS 12941 HAS SOUS 9164 HAS SOUPS 9164 WITH SCORE 9176.941
AT ITER 4604 NEW BEST:: SOT 45292 SOS 12922 HAS SOPS 12922 HAS SOUS 9145 HAS SOUPS 9145 WITH SCORE 9157.922
AT ITER 4634 NEW BEST:: SOT 45287 SOS 12914 HAS SOPS 12914 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9149.914
AT ITER 4689 NEW BEST:: SOT 45346 SOS 12922 HAS SOPS 12922 HAS SOUS 9102 HAS SOUPS 9102 WITH SCORE 9114.922
AT ITER 4764 NEW BEST:: SOT 45345 SOS 12920 HAS SOPS 12920 HAS SOUS 9101 HAS SOUPS 9101 WITH SCORE 9113.92
AT ITER 4774 NEW BEST:: SOT 45340 SOS 12918 HAS SOPS 12918 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9111.918
AT ITER 4782 NEW BEST:: SOT 45337 SOS 12915 HAS SOPS 12915 HAS SOUS 9096 HAS SOUPS 9096 WITH SCORE 9108.915
AT ITER 4810 NEW BEST:: SOT 45341 SOS 12908 HAS SOPS 12908 HAS SOUS 9089 HAS SOUPS 9089 WITH SCORE 9101.908
AT ITER 4891 NEW BEST:: SOT 45337 SOS 12914 HAS SOPS 12914 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9095.914
AT ITER 4902 NEW BEST:: SOT 45320 SOS 12896 HAS SOPS 12896 HAS SOUS 9078 HAS SOUPS 9078 WITH SCORE 9090.896
AT ITER 4907 NEW BEST:: SOT 45336 SOS 12904 HAS SOPS 12904 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9074.904
AT ITER 4947 NEW BEST:: SOT 45332 SOS 12896 HAS SOPS 12896 HAS SOUS 9054 HAS SOUPS 9054 WITH SCORE 9066.896
AT ITER 4972 NEW BEST:: SOT 45330 SOS 12892 HAS SOPS 12892 HAS SOUS 9050 HAS SOUPS 9050 WITH SCORE 9062.892
AT ITER 5018 NEW BEST:: SOT 45330 SOS 12888 HAS SOPS 12888 HAS SOUS 9046 HAS SOUPS 9046 WITH SCORE 9058.888
AT ITER 5042 NEW BEST:: SOT 45348 SOS 12879 HAS SOPS 12879 HAS SOUS 9037 HAS SOUPS 9037 WITH SCORE 9049.879
AT ITER 5043 NEW BEST:: SOT 45340 SOS 12876 HAS SOPS 12876 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9025.876
AT ITER 5066 NEW BEST:: SOT 45336 SOS 12863 HAS SOPS 12863 HAS SOUS 9004 HAS SOUPS 9004 WITH SCORE 9016.863
AT ITER 5099 NEW BEST:: SOT 45336 SOS 12857 HAS SOPS 12857 HAS SOUS 8998 HAS SOUPS 8998 WITH SCORE 9010.857
AT ITER 5107 NEW BEST:: SOT 45336 SOS 12853 HAS SOPS 12853 HAS SOUS 8994 HAS SOUPS 8994 WITH SCORE 9006.853
AT ITER 5111 NEW BEST:: SOT 45345 SOS 12862 HAS SOPS 12862 HAS SOUS 8979 HAS SOUPS 8979 WITH SCORE 8991.862
AT ITER 5173 NEW BEST:: SOT 45349 SOS 12824 HAS SOPS 12824 HAS SOUS 8977 HAS SOUPS 8977 WITH SCORE 8989.824
AT ITER 5184 NEW BEST:: SOT 45341 SOS 12815 HAS SOPS 12815 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8980.815
AT ITER 5214 NEW BEST:: SOT 45325 SOS 12805 HAS SOPS 12805 HAS SOUS 8938 HAS SOUPS 8938 WITH SCORE 8950.805
AT ITER 5226 NEW BEST:: SOT 45332 SOS 12807 HAS SOPS 12807 HAS SOUS 8937 HAS SOUPS 8937 WITH SCORE 8949.807
AT ITER 5253 NEW BEST:: SOT 45292 SOS 12896 HAS SOPS 12896 HAS SOUS 8894 HAS SOUPS 8894 WITH SCORE 8906.896
AT ITER 5272 NEW BEST:: SOT 45292 SOS 12896 HAS SOPS 12896 HAS SOUS 8889 HAS SOUPS 8889 WITH SCORE 8901.896
AT ITER 5273 NEW BEST:: SOT 45292 SOS 12896 HAS SOPS 12896 HAS SOUS 8888 HAS SOUPS 8888 WITH SCORE 8900.896
AT ITER 5345 NEW BEST:: SOT 45292 SOS 12895 HAS SOPS 12895 HAS SOUS 8888 HAS SOUPS 8888 WITH SCORE 8900.895
AT ITER 5364 NEW BEST:: SOT 45292 SOS 12835 HAS SOPS 12835 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8840.835
AT ITER 5372 NEW BEST:: SOT 45280 SOS 12817 HAS SOPS 12817 HAS SOUS 8812 HAS SOUPS 8812 WITH SCORE 8824.817
AT ITER 5393 NEW BEST:: SOT 45278 SOS 12786 HAS SOPS 12786 HAS SOUS 8807 HAS SOUPS 8807 WITH SCORE 8819.786
AT ITER 5507 NEW BEST:: SOT 45278 SOS 12785 HAS SOPS 12785 HAS SOUS 8806 HAS SOUPS 8806 WITH SCORE 8818.785
AT ITER 5544 NEW BEST:: SOT 45227 SOS 12723 HAS SOPS 12723 HAS SOUS 8772 HAS SOUPS 8772 WITH SCORE 8784.723
AT ITER 5552 NEW BEST:: SOT 45220 SOS 12719 HAS SOPS 12719 HAS SOUS 8760 HAS SOUPS 8760 WITH SCORE 8772.719
AT ITER 5572 NEW BEST:: SOT 45203 SOS 12706 HAS SOPS 12706 HAS SOUS 8747 HAS SOUPS 8747 WITH SCORE 8759.706
AT ITER 5600 NEW BEST:: SOT 45208 SOS 12710 HAS SOPS 12710 HAS SOUS 8745 HAS SOUPS 8745 WITH SCORE 8757.71
AT ITER 5661 NEW BEST:: SOT 45179 SOS 12677 HAS SOPS 12677 HAS SOUS 8744 HAS SOUPS 8744 WITH SCORE 8756.677
AT ITER 5749 NEW BEST:: SOT 45154 SOS 12649 HAS SOPS 12649 HAS SOUS 8716 HAS SOUPS 8716 WITH SCORE 8728.649
AT ITER 5773 NEW BEST:: SOT 45153 SOS 12648 HAS SOPS 12648 HAS SOUS 8715 HAS SOUPS 8715 WITH SCORE 8727.648
AT ITER 5794 NEW BEST:: SOT 45067 SOS 12558 HAS SOPS 12558 HAS SOUS 8707 HAS SOUPS 8707 WITH SCORE 8719.558
AT ITER 5835 NEW BEST:: SOT 45049 SOS 12522 HAS SOPS 12522 HAS SOUS 8671 HAS SOUPS 8671 WITH SCORE 8683.522
AT ITER 5848 NEW BEST:: SOT 45020 SOS 12493 HAS SOPS 12493 HAS SOUS 8664 HAS SOUPS 8664 WITH SCORE 8676.493
AT ITER 5914 NEW BEST:: SOT 45018 SOS 12492 HAS SOPS 12492 HAS SOUS 8663 HAS SOUPS 8663 WITH SCORE 8675.492
AT ITER 5915 NEW BEST:: SOT 45017 SOS 12489 HAS SOPS 12489 HAS SOUS 8661 HAS SOUPS 8661 WITH SCORE 8673.489
AT ITER 5952 NEW BEST:: SOT 45016 SOS 12474 HAS SOPS 12474 HAS SOUS 8652 HAS SOUPS 8652 WITH SCORE 8664.474
AT ITER 6007 NEW BEST:: SOT 45020 SOS 12471 HAS SOPS 12471 HAS SOUS 8642 HAS SOUPS 8642 WITH SCORE 8654.471
AT ITER 6091 NEW BEST:: SOT 45025 SOS 12476 HAS SOPS 12476 HAS SOUS 8610 HAS SOUPS 8610 WITH SCORE 8622.476
AT ITER 6114 NEW BEST:: SOT 45018 SOS 12469 HAS SOPS 12469 HAS SOUS 8598 HAS SOUPS 8598 WITH SCORE 8610.469
AT ITER 6145 NEW BEST:: SOT 45021 SOS 12467 HAS SOPS 12467 HAS SOUS 8596 HAS SOUPS 8596 WITH SCORE 8608.467
AT ITER 6165 NEW BEST:: SOT 45000 SOS 12446 HAS SOPS 12446 HAS SOUS 8596 HAS SOUPS 8596 WITH SCORE 8608.446
AT ITER 6180 NEW BEST:: SOT 44998 SOS 12444 HAS SOPS 12444 HAS SOUS 8594 HAS SOUPS 8594 WITH SCORE 8606.444
AT ITER 6222 NEW BEST:: SOT 45000 SOS 12433 HAS SOPS 12433 HAS SOUS 8583 HAS SOUPS 8583 WITH SCORE 8595.433
AT ITER 6366 NEW BEST:: SOT 45017 SOS 12467 HAS SOPS 12467 HAS SOUS 8581 HAS SOUPS 8581 WITH SCORE 8593.467
AT ITER 6395 NEW BEST:: SOT 45015 SOS 12463 HAS SOPS 12463 HAS SOUS 8577 HAS SOUPS 8577 WITH SCORE 8589.463
AT ITER 6467 NEW BEST:: SOT 45015 SOS 12462 HAS SOPS 12462 HAS SOUS 8576 HAS SOUPS 8576 WITH SCORE 8588.462
AT ITER 6518 NEW BEST:: SOT 45017 SOS 12471 HAS SOPS 12471 HAS SOUS 8575 HAS SOUPS 8575 WITH SCORE 8587.471
AT ITER 6587 NEW BEST:: SOT 45053 SOS 12387 HAS SOPS 12387 HAS SOUS 8563 HAS SOUPS 8563 WITH SCORE 8575.387
AT ITER 6644 NEW BEST:: SOT 45049 SOS 12361 HAS SOPS 12361 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8537.361
AT ITER 6687 NEW BEST:: SOT 45056 SOS 12364 HAS SOPS 12364 HAS SOUS 8517 HAS SOUPS 8517 WITH SCORE 8529.364
AT ITER 6853 NEW BEST:: SOT 45054 SOS 12355 HAS SOPS 12355 HAS SOUS 8508 HAS SOUPS 8508 WITH SCORE 8520.355
AT ITER 6920 NEW BEST:: SOT 45050 SOS 12345 HAS SOPS 12345 HAS SOUS 8502 HAS SOUPS 8502 WITH SCORE 8514.345
AT ITER 6927 NEW BEST:: SOT 45048 SOS 12344 HAS SOPS 12344 HAS SOUS 8501 HAS SOUPS 8501 WITH SCORE 8513.344
AT ITER 6971 NEW BEST:: SOT 45045 SOS 12335 HAS SOPS 12335 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8504.335
AT ITER 6982 NEW BEST:: SOT 45043 SOS 12333 HAS SOPS 12333 HAS SOUS 8490 HAS SOUPS 8490 WITH SCORE 8502.333
AT ITER 6986 NEW BEST:: SOT 45043 SOS 12319 HAS SOPS 12319 HAS SOUS 8479 HAS SOUPS 8479 WITH SCORE 8491.319
AT ITER 7042 NEW BEST:: SOT 45043 SOS 12315 HAS SOPS 12315 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8487.315
AT ITER 7095 NEW BEST:: SOT 45035 SOS 12295 HAS SOPS 12295 HAS SOUS 8460 HAS SOUPS 8460 WITH SCORE 8472.295
AT ITER 7194 NEW BEST:: SOT 45009 SOS 12249 HAS SOPS 12249 HAS SOUS 8414 HAS SOUPS 8414 WITH SCORE 8426.249
AT ITER 7257 NEW BEST:: SOT 45009 SOS 12245 HAS SOPS 12245 HAS SOUS 8410 HAS SOUPS 8410 WITH SCORE 8422.245
AT ITER 7384 NEW BEST:: SOT 45008 SOS 12243 HAS SOPS 12243 HAS SOUS 8409 HAS SOUPS 8409 WITH SCORE 8421.243
AT ITER 7437 NEW BEST:: SOT 45007 SOS 12241 HAS SOPS 12241 HAS SOUS 8407 HAS SOUPS 8407 WITH SCORE 8419.241
AT ITER 7579 NEW BEST:: SOT 45005 SOS 12237 HAS SOPS 12237 HAS SOUS 8405 HAS SOUPS 8405 WITH SCORE 8417.237
AT ITER 7591 NEW BEST:: SOT 45004 SOS 12233 HAS SOPS 12233 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8414.233
AT ITER 7594 NEW BEST:: SOT 44996 SOS 12228 HAS SOPS 12228 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8398.228
AT ITER 7612 NEW BEST:: SOT 44985 SOS 12227 HAS SOPS 12227 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8397.227
AT ITER 7652 NEW BEST:: SOT 44939 SOS 12219 HAS SOPS 12219 HAS SOUS 8377 HAS SOUPS 8377 WITH SCORE 8389.219
AT ITER 7791 NEW BEST:: SOT 44916 SOS 12207 HAS SOPS 12207 HAS SOUS 8365 HAS SOUPS 8365 WITH SCORE 8377.207
AT ITER 7810 NEW BEST:: SOT 44885 SOS 12159 HAS SOPS 12159 HAS SOUS 8340 HAS SOUPS 8340 WITH SCORE 8352.159
AT ITER 7821 NEW BEST:: SOT 44891 SOS 12158 HAS SOPS 12158 HAS SOUS 8340 HAS SOUPS 8340 WITH SCORE 8352.158
AT ITER 7830 NEW BEST:: SOT 44894 SOS 12155 HAS SOPS 12155 HAS SOUS 8328 HAS SOUPS 8328 WITH SCORE 8340.155
AT ITER 7888 NEW BEST:: SOT 44832 SOS 12088 HAS SOPS 12088 HAS SOUS 8285 HAS SOUPS 8285 WITH SCORE 8297.088
AT ITER 7902 NEW BEST:: SOT 44833 SOS 12087 HAS SOPS 12087 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8296.087
AT ITER 7985 NEW BEST:: SOT 44830 SOS 12081 HAS SOPS 12081 HAS SOUS 8281 HAS SOUPS 8281 WITH SCORE 8293.081
AT ITER 7987 NEW BEST:: SOT 44837 SOS 12067 HAS SOPS 12067 HAS SOUS 8281 HAS SOUPS 8281 WITH SCORE 8293.067
AT ITER 8071 NEW BEST:: SOT 44837 SOS 12066 HAS SOPS 12066 HAS SOUS 8280 HAS SOUPS 8280 WITH SCORE 8292.066
AT ITER 8114 NEW BEST:: SOT 44840 SOS 12064 HAS SOPS 12064 HAS SOUS 8278 HAS SOUPS 8278 WITH SCORE 8290.064
AT ITER 8293 NEW BEST:: SOT 44835 SOS 12069 HAS SOPS 12069 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8280.069
AT ITER 8381 NEW BEST:: SOT 44835 SOS 12063 HAS SOPS 12063 HAS SOUS 8262 HAS SOUPS 8262 WITH SCORE 8274.063
AT ITER 8425 NEW BEST:: SOT 44833 SOS 12051 HAS SOPS 12051 HAS SOUS 8250 HAS SOUPS 8250 WITH SCORE 8262.051
AT ITER 8504 NEW BEST:: SOT 44833 SOS 12050 HAS SOPS 12050 HAS SOUS 8250 HAS SOUPS 8250 WITH SCORE 8262.05
AT ITER 8572 NEW BEST:: SOT 44824 SOS 12038 HAS SOPS 12038 HAS SOUS 8232 HAS SOUPS 8232 WITH SCORE 8244.038
AT ITER 8579 NEW BEST:: SOT 44824 SOS 12009 HAS SOPS 12009 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8215.009
AT ITER 8632 NEW BEST:: SOT 44824 SOS 12007 HAS SOPS 12007 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8215.007
AT ITER 8640 NEW BEST:: SOT 44864 SOS 11960 HAS SOPS 11960 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8157.96
AT ITER 8645 NEW BEST:: SOT 44812 SOS 11856 HAS SOPS 11856 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8086.856
AT ITER 8652 NEW BEST:: SOT 44809 SOS 11854 HAS SOPS 11854 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8084.854
AT ITER 8653 NEW BEST:: SOT 44809 SOS 11850 HAS SOPS 11850 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8084.85
AT ITER 8918 NEW BEST:: SOT 44808 SOS 11848 HAS SOPS 11848 HAS SOUS 8072 HAS SOUPS 8072 WITH SCORE 8083.848
AT ITER 8922 NEW BEST:: SOT 44791 SOS 11831 HAS SOPS 11831 HAS SOUS 8072 HAS SOUPS 8072 WITH SCORE 8083.831
AT ITER 8935 NEW BEST:: SOT 44791 SOS 11821 HAS SOPS 11821 HAS SOUS 8062 HAS SOUPS 8062 WITH SCORE 8073.821
AT ITER 9070 NEW BEST:: SOT 44786 SOS 11809 HAS SOPS 11809 HAS SOUS 8046 HAS SOUPS 8046 WITH SCORE 8057.809
AT ITER 9128 NEW BEST:: SOT 44782 SOS 11805 HAS SOPS 11805 HAS SOUS 8042 HAS SOUPS 8042 WITH SCORE 8053.805
AT ITER 9145 NEW BEST:: SOT 44782 SOS 11797 HAS SOPS 11797 HAS SOUS 8038 HAS SOUPS 8038 WITH SCORE 8049.797
AT ITER 9208 NEW BEST:: SOT 44777 SOS 11792 HAS SOPS 11792 HAS SOUS 8033 HAS SOUPS 8033 WITH SCORE 8044.792
AT ITER 9211 NEW BEST:: SOT 44776 SOS 11781 HAS SOPS 11781 HAS SOUS 8028 HAS SOUPS 8028 WITH SCORE 8039.781
AT ITER 9286 NEW BEST:: SOT 44772 SOS 11780 HAS SOPS 11780 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8038.78
AT ITER 9308 NEW BEST:: SOT 44771 SOS 11783 HAS SOPS 11783 HAS SOUS 8025 HAS SOUPS 8025 WITH SCORE 8036.783
AT ITER 9311 NEW BEST:: SOT 44769 SOS 11781 HAS SOPS 11781 HAS SOUS 8021 HAS SOUPS 8021 WITH SCORE 8032.781
AT ITER 9333 NEW BEST:: SOT 44772 SOS 11830 HAS SOPS 11830 HAS SOUS 8019 HAS SOUPS 8019 WITH SCORE 8030.83
AT ITER 9364 NEW BEST:: SOT 44765 SOS 11854 HAS SOPS 11854 HAS SOUS 8016 HAS SOUPS 8016 WITH SCORE 8027.854
AT ITER 9447 NEW BEST:: SOT 44761 SOS 11858 HAS SOPS 11858 HAS SOUS 8008 HAS SOUPS 8008 WITH SCORE 8019.858
AT ITER 9466 NEW BEST:: SOT 44766 SOS 11769 HAS SOPS 11769 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8007.769
AT ITER 9500 NEW BEST:: SOT 44763 SOS 11774 HAS SOPS 11774 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 8001.774
AT ITER 9529 NEW BEST:: SOT 44763 SOS 11768 HAS SOPS 11768 HAS SOUS 7984 HAS SOUPS 7984 WITH SCORE 7995.768
AT ITER 9574 NEW BEST:: SOT 44763 SOS 11768 HAS SOPS 11768 HAS SOUS 7980 HAS SOUPS 7980 WITH SCORE 7991.768
AT ITER 9632 NEW BEST:: SOT 44761 SOS 11767 HAS SOPS 11767 HAS SOUS 7979 HAS SOUPS 7979 WITH SCORE 7990.767
AT ITER 9766 NEW BEST:: SOT 44752 SOS 11752 HAS SOPS 11752 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7984.752
AT ITER 9812 NEW BEST:: SOT 44748 SOS 11744 HAS SOPS 11744 HAS SOUS 7965 HAS SOUPS 7965 WITH SCORE 7976.744
AT ITER 9831 NEW BEST:: SOT 44754 SOS 11739 HAS SOPS 11739 HAS SOUS 7960 HAS SOUPS 7960 WITH SCORE 7971.739
AT ITER 9869 NEW BEST:: SOT 44781 SOS 11787 HAS SOPS 11787 HAS SOUS 7950 HAS SOUPS 7950 WITH SCORE 7961.787
AT ITER 9891 NEW BEST:: SOT 44777 SOS 11803 HAS SOPS 11803 HAS SOUS 7948 HAS SOUPS 7948 WITH SCORE 7959.803
AT ITER 9978 NEW BEST:: SOT 44775 SOS 11799 HAS SOPS 11799 HAS SOUS 7946 HAS SOUPS 7946 WITH SCORE 7957.799
STATE_SPACE STATES 219702042353 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 25 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2557520010237 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589018015603

--------------------
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-04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-04.tgz
mv BusinessProcesses-PT-04 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;