Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688200472.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BusinessProcesses-PT-03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688200472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 7.4K Feb 25 16:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 16:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 16:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 25 16:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 25 16:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 16:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 63K Mar 5 18:22 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 1678468101145

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-03
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 03
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 274 places, 237 transitions, 632 arcs.
AT ITER 0 NEW BEST:: SOT 42126 SOS 18114 HAS SOPS 18114 HAS SOUS 17253 HAS SOUPS 17253 WITH SCORE 17271.114
AT ITER 1 NEW BEST:: SOT 42126 SOS 18063 HAS SOPS 18063 HAS SOUS 17224 HAS SOUPS 17224 WITH SCORE 17242.063
AT ITER 6 NEW BEST:: SOT 42089 SOS 18017 HAS SOPS 18017 HAS SOUS 17178 HAS SOUPS 17178 WITH SCORE 17196.017
AT ITER 16 NEW BEST:: SOT 42017 SOS 17971 HAS SOPS 17971 HAS SOUS 17132 HAS SOUPS 17132 WITH SCORE 17149.971
AT ITER 20 NEW BEST:: SOT 42000 SOS 17954 HAS SOPS 17954 HAS SOUS 17132 HAS SOUPS 17132 WITH SCORE 17149.954
AT ITER 27 NEW BEST:: SOT 41890 SOS 17727 HAS SOPS 17727 HAS SOUS 16997 HAS SOUPS 16997 WITH SCORE 17014.727
AT ITER 38 NEW BEST:: SOT 41818 SOS 17601 HAS SOPS 17601 HAS SOUS 16871 HAS SOUPS 16871 WITH SCORE 16888.601
AT ITER 42 NEW BEST:: SOT 41877 SOS 17529 HAS SOPS 17529 HAS SOUS 16852 HAS SOUPS 16852 WITH SCORE 16869.529
AT ITER 60 NEW BEST:: SOT 41877 SOS 17472 HAS SOPS 17472 HAS SOUS 16795 HAS SOUPS 16795 WITH SCORE 16812.472
AT ITER 79 NEW BEST:: SOT 41846 SOS 17463 HAS SOPS 17463 HAS SOUS 16786 HAS SOUPS 16786 WITH SCORE 16803.463
AT ITER 84 NEW BEST:: SOT 41819 SOS 17436 HAS SOPS 17436 HAS SOUS 16759 HAS SOUPS 16759 WITH SCORE 16776.436
AT ITER 85 NEW BEST:: SOT 41753 SOS 17330 HAS SOPS 17330 HAS SOUS 16678 HAS SOUPS 16678 WITH SCORE 16695.33
AT ITER 89 NEW BEST:: SOT 41753 SOS 17327 HAS SOPS 17327 HAS SOUS 16675 HAS SOUPS 16675 WITH SCORE 16692.327
AT ITER 95 NEW BEST:: SOT 41753 SOS 17165 HAS SOPS 17165 HAS SOUS 16611 HAS SOUPS 16611 WITH SCORE 16628.165
AT ITER 100 NEW BEST:: SOT 41710 SOS 17121 HAS SOPS 17121 HAS SOUS 16570 HAS SOUPS 16570 WITH SCORE 16587.121
AT ITER 102 NEW BEST:: SOT 41640 SOS 17056 HAS SOPS 17056 HAS SOUS 16505 HAS SOUPS 16505 WITH SCORE 16522.056
AT ITER 103 NEW BEST:: SOT 41612 SOS 17004 HAS SOPS 17004 HAS SOUS 16453 HAS SOUPS 16453 WITH SCORE 16470.004
AT ITER 108 NEW BEST:: SOT 41612 SOS 16997 HAS SOPS 16997 HAS SOUS 16446 HAS SOUPS 16446 WITH SCORE 16462.997
AT ITER 123 NEW BEST:: SOT 41611 SOS 16926 HAS SOPS 16926 HAS SOUS 16375 HAS SOUPS 16375 WITH SCORE 16391.926
AT ITER 131 NEW BEST:: SOT 41571 SOS 16823 HAS SOPS 16823 HAS SOUS 16272 HAS SOUPS 16272 WITH SCORE 16288.823
AT ITER 147 NEW BEST:: SOT 41602 SOS 16737 HAS SOPS 16737 HAS SOUS 16186 HAS SOUPS 16186 WITH SCORE 16202.737
AT ITER 153 NEW BEST:: SOT 41550 SOS 16564 HAS SOPS 16564 HAS SOUS 16073 HAS SOUPS 16073 WITH SCORE 16089.564
AT ITER 172 NEW BEST:: SOT 41478 SOS 16492 HAS SOPS 16492 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16017.492
AT ITER 173 NEW BEST:: SOT 41477 SOS 16487 HAS SOPS 16487 HAS SOUS 15996 HAS SOUPS 15996 WITH SCORE 16012.487
AT ITER 186 NEW BEST:: SOT 41460 SOS 16453 HAS SOPS 16453 HAS SOUS 15962 HAS SOUPS 15962 WITH SCORE 15978.453
AT ITER 189 NEW BEST:: SOT 41460 SOS 16361 HAS SOPS 16361 HAS SOUS 15870 HAS SOUPS 15870 WITH SCORE 15886.361
AT ITER 191 NEW BEST:: SOT 41401 SOS 16326 HAS SOPS 16326 HAS SOUS 15835 HAS SOUPS 15835 WITH SCORE 15851.326
AT ITER 205 NEW BEST:: SOT 41476 SOS 16295 HAS SOPS 16295 HAS SOUS 15804 HAS SOUPS 15804 WITH SCORE 15820.295
AT ITER 215 NEW BEST:: SOT 41466 SOS 16281 HAS SOPS 16281 HAS SOUS 15790 HAS SOUPS 15790 WITH SCORE 15806.281
AT ITER 219 NEW BEST:: SOT 41435 SOS 16250 HAS SOPS 16250 HAS SOUS 15759 HAS SOUPS 15759 WITH SCORE 15775.25
AT ITER 224 NEW BEST:: SOT 41435 SOS 16188 HAS SOPS 16188 HAS SOUS 15697 HAS SOUPS 15697 WITH SCORE 15713.188
AT ITER 225 NEW BEST:: SOT 41372 SOS 16103 HAS SOPS 16103 HAS SOUS 15621 HAS SOUPS 15621 WITH SCORE 15637.103
AT ITER 226 NEW BEST:: SOT 41346 SOS 16051 HAS SOPS 16051 HAS SOUS 15569 HAS SOUPS 15569 WITH SCORE 15585.051
AT ITER 233 NEW BEST:: SOT 41280 SOS 15944 HAS SOPS 15944 HAS SOUS 15462 HAS SOUPS 15462 WITH SCORE 15477.944
AT ITER 237 NEW BEST:: SOT 41280 SOS 15919 HAS SOPS 15919 HAS SOUS 15437 HAS SOUPS 15437 WITH SCORE 15452.919
AT ITER 238 NEW BEST:: SOT 41280 SOS 15904 HAS SOPS 15904 HAS SOUS 15422 HAS SOUPS 15422 WITH SCORE 15437.904
AT ITER 248 NEW BEST:: SOT 41331 SOS 15901 HAS SOPS 15901 HAS SOUS 15419 HAS SOUPS 15419 WITH SCORE 15434.901
AT ITER 252 NEW BEST:: SOT 41308 SOS 15884 HAS SOPS 15884 HAS SOUS 15402 HAS SOUPS 15402 WITH SCORE 15417.884
AT ITER 278 NEW BEST:: SOT 40324 SOS 14995 HAS SOPS 14995 HAS SOUS 14480 HAS SOUPS 14480 WITH SCORE 14494.995
AT ITER 285 NEW BEST:: SOT 40166 SOS 14686 HAS SOPS 14686 HAS SOUS 14171 HAS SOUPS 14171 WITH SCORE 14185.686
AT ITER 287 NEW BEST:: SOT 40169 SOS 14682 HAS SOPS 14682 HAS SOUS 14167 HAS SOUPS 14167 WITH SCORE 14181.682
AT ITER 291 NEW BEST:: SOT 40168 SOS 14681 HAS SOPS 14681 HAS SOUS 14166 HAS SOUPS 14166 WITH SCORE 14180.681
AT ITER 296 NEW BEST:: SOT 40168 SOS 14662 HAS SOPS 14662 HAS SOUS 14147 HAS SOUPS 14147 WITH SCORE 14161.662
AT ITER 302 NEW BEST:: SOT 40129 SOS 14623 HAS SOPS 14623 HAS SOUS 14108 HAS SOUPS 14108 WITH SCORE 14122.623
AT ITER 309 NEW BEST:: SOT 40207 SOS 14605 HAS SOPS 14605 HAS SOUS 14079 HAS SOUPS 14079 WITH SCORE 14093.605
AT ITER 321 NEW BEST:: SOT 39779 SOS 14958 HAS SOPS 14958 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13763.958
AT ITER 332 NEW BEST:: SOT 39778 SOS 14956 HAS SOPS 14956 HAS SOUS 13747 HAS SOUPS 13747 WITH SCORE 13761.956
AT ITER 333 NEW BEST:: SOT 39837 SOS 14872 HAS SOPS 14872 HAS SOUS 13663 HAS SOUPS 13663 WITH SCORE 13677.872
AT ITER 337 NEW BEST:: SOT 39816 SOS 14851 HAS SOPS 14851 HAS SOUS 13663 HAS SOUPS 13663 WITH SCORE 13677.851
AT ITER 339 NEW BEST:: SOT 39852 SOS 14869 HAS SOPS 14869 HAS SOUS 13657 HAS SOUPS 13657 WITH SCORE 13671.869
AT ITER 347 NEW BEST:: SOT 39785 SOS 14836 HAS SOPS 14836 HAS SOUS 13624 HAS SOUPS 13624 WITH SCORE 13638.836
AT ITER 354 NEW BEST:: SOT 39809 SOS 14788 HAS SOPS 14788 HAS SOUS 13602 HAS SOUPS 13602 WITH SCORE 13616.788
AT ITER 356 NEW BEST:: SOT 39800 SOS 14770 HAS SOPS 14770 HAS SOUS 13584 HAS SOUPS 13584 WITH SCORE 13598.77
AT ITER 360 NEW BEST:: SOT 39783 SOS 14498 HAS SOPS 14498 HAS SOUS 13493 HAS SOUPS 13493 WITH SCORE 13507.498
AT ITER 363 NEW BEST:: SOT 39786 SOS 14477 HAS SOPS 14477 HAS SOUS 13472 HAS SOUPS 13472 WITH SCORE 13486.477
AT ITER 380 NEW BEST:: SOT 39732 SOS 14369 HAS SOPS 14369 HAS SOUS 13364 HAS SOUPS 13364 WITH SCORE 13378.369
AT ITER 386 NEW BEST:: SOT 39677 SOS 14314 HAS SOPS 14314 HAS SOUS 13309 HAS SOUPS 13309 WITH SCORE 13323.314
AT ITER 390 NEW BEST:: SOT 39677 SOS 14312 HAS SOPS 14312 HAS SOUS 13307 HAS SOUPS 13307 WITH SCORE 13321.312
AT ITER 399 NEW BEST:: SOT 39645 SOS 14310 HAS SOPS 14310 HAS SOUS 13305 HAS SOUPS 13305 WITH SCORE 13319.31
AT ITER 406 NEW BEST:: SOT 39636 SOS 14301 HAS SOPS 14301 HAS SOUS 13305 HAS SOUPS 13305 WITH SCORE 13319.301
AT ITER 409 NEW BEST:: SOT 39648 SOS 14300 HAS SOPS 14300 HAS SOUS 13304 HAS SOUPS 13304 WITH SCORE 13318.3
AT ITER 424 NEW BEST:: SOT 39653 SOS 14281 HAS SOPS 14281 HAS SOUS 13285 HAS SOUPS 13285 WITH SCORE 13299.281
AT ITER 426 NEW BEST:: SOT 39702 SOS 14272 HAS SOPS 14272 HAS SOUS 13277 HAS SOUPS 13277 WITH SCORE 13291.272
AT ITER 436 NEW BEST:: SOT 39683 SOS 14253 HAS SOPS 14253 HAS SOUS 13258 HAS SOUPS 13258 WITH SCORE 13272.253
AT ITER 444 NEW BEST:: SOT 39683 SOS 14224 HAS SOPS 14224 HAS SOUS 13229 HAS SOUPS 13229 WITH SCORE 13243.224
AT ITER 448 NEW BEST:: SOT 39683 SOS 14218 HAS SOPS 14218 HAS SOUS 13223 HAS SOUPS 13223 WITH SCORE 13237.218
AT ITER 451 NEW BEST:: SOT 39604 SOS 14065 HAS SOPS 14065 HAS SOUS 13070 HAS SOUPS 13070 WITH SCORE 13084.065
AT ITER 455 NEW BEST:: SOT 39583 SOS 14044 HAS SOPS 14044 HAS SOUS 13049 HAS SOUPS 13049 WITH SCORE 13063.044
AT ITER 465 NEW BEST:: SOT 39519 SOS 13992 HAS SOPS 13992 HAS SOUS 12997 HAS SOUPS 12997 WITH SCORE 13010.992
AT ITER 470 NEW BEST:: SOT 39531 SOS 13981 HAS SOPS 13981 HAS SOUS 12986 HAS SOUPS 12986 WITH SCORE 12999.981
AT ITER 482 NEW BEST:: SOT 39525 SOS 13975 HAS SOPS 13975 HAS SOUS 12986 HAS SOUPS 12986 WITH SCORE 12999.975
AT ITER 492 NEW BEST:: SOT 39524 SOS 13974 HAS SOPS 13974 HAS SOUS 12985 HAS SOUPS 12985 WITH SCORE 12998.974
AT ITER 499 NEW BEST:: SOT 39523 SOS 13972 HAS SOPS 13972 HAS SOUS 12983 HAS SOUPS 12983 WITH SCORE 12996.972
AT ITER 504 NEW BEST:: SOT 39523 SOS 13971 HAS SOPS 13971 HAS SOUS 12982 HAS SOUPS 12982 WITH SCORE 12995.971
AT ITER 507 NEW BEST:: SOT 39503 SOS 13926 HAS SOPS 13926 HAS SOUS 12937 HAS SOUPS 12937 WITH SCORE 12950.926
AT ITER 524 NEW BEST:: SOT 39509 SOS 13923 HAS SOPS 13923 HAS SOUS 12934 HAS SOUPS 12934 WITH SCORE 12947.923
AT ITER 533 NEW BEST:: SOT 39500 SOS 13919 HAS SOPS 13919 HAS SOUS 12930 HAS SOUPS 12930 WITH SCORE 12943.919
AT ITER 534 NEW BEST:: SOT 39552 SOS 13971 HAS SOPS 13971 HAS SOUS 12929 HAS SOUPS 12929 WITH SCORE 12942.971
AT ITER 540 NEW BEST:: SOT 39600 SOS 14013 HAS SOPS 14013 HAS SOUS 12917 HAS SOUPS 12917 WITH SCORE 12931.013
AT ITER 542 NEW BEST:: SOT 39541 SOS 13958 HAS SOPS 13958 HAS SOUS 12865 HAS SOUPS 12865 WITH SCORE 12878.958
AT ITER 544 NEW BEST:: SOT 39475 SOS 13943 HAS SOPS 13943 HAS SOUS 12850 HAS SOUPS 12850 WITH SCORE 12863.943
AT ITER 549 NEW BEST:: SOT 39475 SOS 13956 HAS SOPS 13956 HAS SOUS 12837 HAS SOUPS 12837 WITH SCORE 12850.956
AT ITER 568 NEW BEST:: SOT 39519 SOS 13942 HAS SOPS 13942 HAS SOUS 12823 HAS SOUPS 12823 WITH SCORE 12836.942
AT ITER 585 NEW BEST:: SOT 39440 SOS 13796 HAS SOPS 13796 HAS SOUS 12751 HAS SOUPS 12751 WITH SCORE 12764.796
AT ITER 588 NEW BEST:: SOT 39443 SOS 13730 HAS SOPS 13730 HAS SOUS 12748 HAS SOUPS 12748 WITH SCORE 12761.73
AT ITER 596 NEW BEST:: SOT 39437 SOS 13822 HAS SOPS 13822 HAS SOUS 12738 HAS SOUPS 12738 WITH SCORE 12751.822
AT ITER 599 NEW BEST:: SOT 39413 SOS 13817 HAS SOPS 13817 HAS SOUS 12733 HAS SOUPS 12733 WITH SCORE 12746.817
AT ITER 605 NEW BEST:: SOT 39379 SOS 13800 HAS SOPS 13800 HAS SOUS 12716 HAS SOUPS 12716 WITH SCORE 12729.8
AT ITER 607 NEW BEST:: SOT 39343 SOS 13764 HAS SOPS 13764 HAS SOUS 12704 HAS SOUPS 12704 WITH SCORE 12717.764
AT ITER 611 NEW BEST:: SOT 39329 SOS 13708 HAS SOPS 13708 HAS SOUS 12676 HAS SOUPS 12676 WITH SCORE 12689.708
AT ITER 618 NEW BEST:: SOT 39333 SOS 13716 HAS SOPS 13716 HAS SOUS 12670 HAS SOUPS 12670 WITH SCORE 12683.716
AT ITER 622 NEW BEST:: SOT 39306 SOS 13706 HAS SOPS 13706 HAS SOUS 12660 HAS SOUPS 12660 WITH SCORE 12673.706
AT ITER 630 NEW BEST:: SOT 39233 SOS 13633 HAS SOPS 13633 HAS SOUS 12587 HAS SOUPS 12587 WITH SCORE 12600.633
AT ITER 635 NEW BEST:: SOT 39150 SOS 13538 HAS SOPS 13538 HAS SOUS 12527 HAS SOUPS 12527 WITH SCORE 12540.538
AT ITER 644 NEW BEST:: SOT 39150 SOS 13536 HAS SOPS 13536 HAS SOUS 12523 HAS SOUPS 12523 WITH SCORE 12536.536
AT ITER 652 NEW BEST:: SOT 39138 SOS 13512 HAS SOPS 13512 HAS SOUS 12499 HAS SOUPS 12499 WITH SCORE 12512.512
AT ITER 660 NEW BEST:: SOT 39138 SOS 13493 HAS SOPS 13493 HAS SOUS 12480 HAS SOUPS 12480 WITH SCORE 12493.493
AT ITER 668 NEW BEST:: SOT 39136 SOS 13490 HAS SOPS 13490 HAS SOUS 12477 HAS SOUPS 12477 WITH SCORE 12490.49
AT ITER 669 NEW BEST:: SOT 39136 SOS 13489 HAS SOPS 13489 HAS SOUS 12476 HAS SOUPS 12476 WITH SCORE 12489.489
AT ITER 682 NEW BEST:: SOT 39098 SOS 13470 HAS SOPS 13470 HAS SOUS 12457 HAS SOUPS 12457 WITH SCORE 12470.47
AT ITER 686 NEW BEST:: SOT 39105 SOS 13433 HAS SOPS 13433 HAS SOUS 12413 HAS SOUPS 12413 WITH SCORE 12426.433
AT ITER 693 NEW BEST:: SOT 39056 SOS 13255 HAS SOPS 13255 HAS SOUS 12367 HAS SOUPS 12367 WITH SCORE 12380.255
AT ITER 698 NEW BEST:: SOT 39056 SOS 13253 HAS SOPS 13253 HAS SOUS 12365 HAS SOUPS 12365 WITH SCORE 12378.253
AT ITER 699 NEW BEST:: SOT 39039 SOS 13238 HAS SOPS 13238 HAS SOUS 12350 HAS SOUPS 12350 WITH SCORE 12363.238
AT ITER 705 NEW BEST:: SOT 39038 SOS 13237 HAS SOPS 13237 HAS SOUS 12349 HAS SOUPS 12349 WITH SCORE 12362.237
AT ITER 717 NEW BEST:: SOT 38996 SOS 13195 HAS SOPS 13195 HAS SOUS 12316 HAS SOUPS 12316 WITH SCORE 12329.195
AT ITER 746 NEW BEST:: SOT 38969 SOS 13142 HAS SOPS 13142 HAS SOUS 12263 HAS SOUPS 12263 WITH SCORE 12276.142
AT ITER 772 NEW BEST:: SOT 38962 SOS 13128 HAS SOPS 13128 HAS SOUS 12249 HAS SOUPS 12249 WITH SCORE 12262.128
AT ITER 785 NEW BEST:: SOT 38962 SOS 13119 HAS SOPS 13119 HAS SOUS 12240 HAS SOUPS 12240 WITH SCORE 12253.119
AT ITER 788 NEW BEST:: SOT 38962 SOS 13116 HAS SOPS 13116 HAS SOUS 12237 HAS SOUPS 12237 WITH SCORE 12250.116
AT ITER 789 NEW BEST:: SOT 38958 SOS 13087 HAS SOPS 13087 HAS SOUS 12218 HAS SOUPS 12218 WITH SCORE 12231.087
AT ITER 805 NEW BEST:: SOT 38971 SOS 13029 HAS SOPS 13029 HAS SOUS 12160 HAS SOUPS 12160 WITH SCORE 12173.029
AT ITER 807 NEW BEST:: SOT 38960 SOS 13018 HAS SOPS 13018 HAS SOUS 12160 HAS SOUPS 12160 WITH SCORE 12173.018
AT ITER 817 NEW BEST:: SOT 38945 SOS 13030 HAS SOPS 13030 HAS SOUS 12159 HAS SOUPS 12159 WITH SCORE 12172.03
AT ITER 859 NEW BEST:: SOT 38949 SOS 13024 HAS SOPS 13024 HAS SOUS 12153 HAS SOUPS 12153 WITH SCORE 12166.024
AT ITER 886 NEW BEST:: SOT 38908 SOS 12948 HAS SOPS 12948 HAS SOUS 12077 HAS SOUPS 12077 WITH SCORE 12089.948
AT ITER 897 NEW BEST:: SOT 38925 SOS 12903 HAS SOPS 12903 HAS SOUS 12056 HAS SOUPS 12056 WITH SCORE 12068.903
AT ITER 907 NEW BEST:: SOT 38925 SOS 12900 HAS SOPS 12900 HAS SOUS 12053 HAS SOUPS 12053 WITH SCORE 12065.9
AT ITER 927 NEW BEST:: SOT 38865 SOS 12837 HAS SOPS 12837 HAS SOUS 11990 HAS SOUPS 11990 WITH SCORE 12002.837
AT ITER 941 NEW BEST:: SOT 38862 SOS 12834 HAS SOPS 12834 HAS SOUS 11987 HAS SOUPS 11987 WITH SCORE 11999.834
AT ITER 952 NEW BEST:: SOT 38843 SOS 12814 HAS SOPS 12814 HAS SOUS 11985 HAS SOUPS 11985 WITH SCORE 11997.814
AT ITER 966 NEW BEST:: SOT 38843 SOS 12628 HAS SOPS 12628 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11811.628
AT ITER 991 NEW BEST:: SOT 38830 SOS 12615 HAS SOPS 12615 HAS SOUS 11786 HAS SOUPS 11786 WITH SCORE 11798.615
AT ITER 1008 NEW BEST:: SOT 38825 SOS 12604 HAS SOPS 12604 HAS SOUS 11775 HAS SOUPS 11775 WITH SCORE 11787.604
AT ITER 1011 NEW BEST:: SOT 38800 SOS 12554 HAS SOPS 12554 HAS SOUS 11706 HAS SOUPS 11706 WITH SCORE 11718.554
AT ITER 1046 NEW BEST:: SOT 38800 SOS 12552 HAS SOPS 12552 HAS SOUS 11704 HAS SOUPS 11704 WITH SCORE 11716.552
AT ITER 1051 NEW BEST:: SOT 38829 SOS 12577 HAS SOPS 12577 HAS SOUS 11696 HAS SOUPS 11696 WITH SCORE 11708.577
AT ITER 1053 NEW BEST:: SOT 38829 SOS 12523 HAS SOPS 12523 HAS SOUS 11616 HAS SOUPS 11616 WITH SCORE 11628.523
AT ITER 1056 NEW BEST:: SOT 38800 SOS 12525 HAS SOPS 12525 HAS SOUS 11603 HAS SOUPS 11603 WITH SCORE 11615.525
AT ITER 1060 NEW BEST:: SOT 38803 SOS 12513 HAS SOPS 12513 HAS SOUS 11591 HAS SOUPS 11591 WITH SCORE 11603.513
AT ITER 1064 NEW BEST:: SOT 38847 SOS 12557 HAS SOPS 12557 HAS SOUS 11589 HAS SOUPS 11589 WITH SCORE 11601.557
AT ITER 1079 NEW BEST:: SOT 38825 SOS 12535 HAS SOPS 12535 HAS SOUS 11567 HAS SOUPS 11567 WITH SCORE 11579.535
AT ITER 1084 NEW BEST:: SOT 38813 SOS 12511 HAS SOPS 12511 HAS SOUS 11543 HAS SOUPS 11543 WITH SCORE 11555.511
AT ITER 1102 NEW BEST:: SOT 38826 SOS 12521 HAS SOPS 12521 HAS SOUS 11536 HAS SOUPS 11536 WITH SCORE 11548.521
AT ITER 1125 NEW BEST:: SOT 38811 SOS 12491 HAS SOPS 12491 HAS SOUS 11506 HAS SOUPS 11506 WITH SCORE 11518.491
AT ITER 1157 NEW BEST:: SOT 38802 SOS 12464 HAS SOPS 12464 HAS SOUS 11488 HAS SOUPS 11488 WITH SCORE 11500.464
AT ITER 1197 NEW BEST:: SOT 38802 SOS 12460 HAS SOPS 12460 HAS SOUS 11484 HAS SOUPS 11484 WITH SCORE 11496.46
AT ITER 1204 NEW BEST:: SOT 38789 SOS 12455 HAS SOPS 12455 HAS SOUS 11479 HAS SOUPS 11479 WITH SCORE 11491.455
AT ITER 1218 NEW BEST:: SOT 38783 SOS 12443 HAS SOPS 12443 HAS SOUS 11473 HAS SOUPS 11473 WITH SCORE 11485.443
AT ITER 1264 NEW BEST:: SOT 38782 SOS 12436 HAS SOPS 12436 HAS SOUS 11466 HAS SOUPS 11466 WITH SCORE 11478.436
AT ITER 1274 NEW BEST:: SOT 38765 SOS 12402 HAS SOPS 12402 HAS SOUS 11432 HAS SOUPS 11432 WITH SCORE 11444.402
AT ITER 1283 NEW BEST:: SOT 38772 SOS 12389 HAS SOPS 12389 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11431.389
AT ITER 1284 NEW BEST:: SOT 38770 SOS 12387 HAS SOPS 12387 HAS SOUS 11417 HAS SOUPS 11417 WITH SCORE 11429.387
AT ITER 1285 NEW BEST:: SOT 38770 SOS 12386 HAS SOPS 12386 HAS SOUS 11416 HAS SOUPS 11416 WITH SCORE 11428.386
AT ITER 1297 NEW BEST:: SOT 38770 SOS 12380 HAS SOPS 12380 HAS SOUS 11410 HAS SOUPS 11410 WITH SCORE 11422.38
AT ITER 1312 NEW BEST:: SOT 38762 SOS 12372 HAS SOPS 12372 HAS SOUS 11410 HAS SOUPS 11410 WITH SCORE 11422.372
AT ITER 1324 NEW BEST:: SOT 38754 SOS 12369 HAS SOPS 12369 HAS SOUS 11404 HAS SOUPS 11404 WITH SCORE 11416.369
AT ITER 1346 NEW BEST:: SOT 38750 SOS 12365 HAS SOPS 12365 HAS SOUS 11400 HAS SOUPS 11400 WITH SCORE 11412.365
AT ITER 1361 NEW BEST:: SOT 38737 SOS 12359 HAS SOPS 12359 HAS SOUS 11394 HAS SOUPS 11394 WITH SCORE 11406.359
AT ITER 1370 NEW BEST:: SOT 38729 SOS 12343 HAS SOPS 12343 HAS SOUS 11378 HAS SOUPS 11378 WITH SCORE 11390.343
AT ITER 1380 NEW BEST:: SOT 38693 SOS 12318 HAS SOPS 12318 HAS SOUS 11353 HAS SOUPS 11353 WITH SCORE 11365.318
AT ITER 1427 NEW BEST:: SOT 38737 SOS 12362 HAS SOPS 12362 HAS SOUS 11352 HAS SOUPS 11352 WITH SCORE 11364.362
AT ITER 1439 NEW BEST:: SOT 38758 SOS 12331 HAS SOPS 12331 HAS SOUS 11321 HAS SOUPS 11321 WITH SCORE 11333.331
AT ITER 1443 NEW BEST:: SOT 38707 SOS 12253 HAS SOPS 12253 HAS SOUS 11243 HAS SOUPS 11243 WITH SCORE 11255.253
AT ITER 1525 NEW BEST:: SOT 38706 SOS 12246 HAS SOPS 12246 HAS SOUS 11236 HAS SOUPS 11236 WITH SCORE 11248.246
AT ITER 1526 NEW BEST:: SOT 38706 SOS 12244 HAS SOPS 12244 HAS SOUS 11234 HAS SOUPS 11234 WITH SCORE 11246.244
AT ITER 1539 NEW BEST:: SOT 38700 SOS 12232 HAS SOPS 12232 HAS SOUS 11228 HAS SOUPS 11228 WITH SCORE 11240.232
AT ITER 1550 NEW BEST:: SOT 38676 SOS 12197 HAS SOPS 12197 HAS SOUS 11193 HAS SOUPS 11193 WITH SCORE 11205.197
AT ITER 1558 NEW BEST:: SOT 38664 SOS 12173 HAS SOPS 12173 HAS SOUS 11193 HAS SOUPS 11193 WITH SCORE 11205.173
AT ITER 1563 NEW BEST:: SOT 38668 SOS 12101 HAS SOPS 12101 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11133.101
AT ITER 1567 NEW BEST:: SOT 38663 SOS 12091 HAS SOPS 12091 HAS SOUS 11111 HAS SOUPS 11111 WITH SCORE 11123.091
AT ITER 1575 NEW BEST:: SOT 38688 SOS 12077 HAS SOPS 12077 HAS SOUS 11097 HAS SOUPS 11097 WITH SCORE 11109.077
AT ITER 1582 NEW BEST:: SOT 38688 SOS 12068 HAS SOPS 12068 HAS SOUS 11088 HAS SOUPS 11088 WITH SCORE 11100.068
AT ITER 1590 NEW BEST:: SOT 38688 SOS 12049 HAS SOPS 12049 HAS SOUS 11069 HAS SOUPS 11069 WITH SCORE 11081.049
AT ITER 1592 NEW BEST:: SOT 38686 SOS 12045 HAS SOPS 12045 HAS SOUS 11065 HAS SOUPS 11065 WITH SCORE 11077.045
AT ITER 1598 NEW BEST:: SOT 38677 SOS 12036 HAS SOPS 12036 HAS SOUS 11056 HAS SOUPS 11056 WITH SCORE 11068.036
AT ITER 1640 NEW BEST:: SOT 38692 SOS 12066 HAS SOPS 12066 HAS SOUS 11053 HAS SOUPS 11053 WITH SCORE 11065.066
AT ITER 1647 NEW BEST:: SOT 38645 SOS 12019 HAS SOPS 12019 HAS SOUS 11053 HAS SOUPS 11053 WITH SCORE 11065.019
AT ITER 1655 NEW BEST:: SOT 38575 SOS 11994 HAS SOPS 11994 HAS SOUS 11012 HAS SOUPS 11012 WITH SCORE 11023.994
AT ITER 1663 NEW BEST:: SOT 38556 SOS 11956 HAS SOPS 11956 HAS SOUS 10974 HAS SOUPS 10974 WITH SCORE 10985.956
AT ITER 1680 NEW BEST:: SOT 38564 SOS 11948 HAS SOPS 11948 HAS SOUS 10974 HAS SOUPS 10974 WITH SCORE 10985.948
AT ITER 1681 NEW BEST:: SOT 38556 SOS 11943 HAS SOPS 11943 HAS SOUS 10966 HAS SOUPS 10966 WITH SCORE 10977.943
AT ITER 1687 NEW BEST:: SOT 38532 SOS 11913 HAS SOPS 11913 HAS SOUS 10936 HAS SOUPS 10936 WITH SCORE 10947.913
AT ITER 1694 NEW BEST:: SOT 38528 SOS 11905 HAS SOPS 11905 HAS SOUS 10928 HAS SOUPS 10928 WITH SCORE 10939.905
AT ITER 1705 NEW BEST:: SOT 38503 SOS 11774 HAS SOPS 11774 HAS SOUS 10903 HAS SOUPS 10903 WITH SCORE 10914.774
AT ITER 1711 NEW BEST:: SOT 38502 SOS 11772 HAS SOPS 11772 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10912.772
AT ITER 1717 NEW BEST:: SOT 38478 SOS 11727 HAS SOPS 11727 HAS SOUS 10856 HAS SOUPS 10856 WITH SCORE 10867.727
AT ITER 1726 NEW BEST:: SOT 38465 SOS 11715 HAS SOPS 11715 HAS SOUS 10844 HAS SOUPS 10844 WITH SCORE 10855.715
AT ITER 1750 NEW BEST:: SOT 38465 SOS 11715 HAS SOPS 11715 HAS SOUS 10818 HAS SOUPS 10818 WITH SCORE 10829.715
AT ITER 1757 NEW BEST:: SOT 38458 SOS 11708 HAS SOPS 11708 HAS SOUS 10818 HAS SOUPS 10818 WITH SCORE 10829.708
AT ITER 1800 NEW BEST:: SOT 38448 SOS 11685 HAS SOPS 11685 HAS SOUS 10787 HAS SOUPS 10787 WITH SCORE 10798.685
AT ITER 1810 NEW BEST:: SOT 38405 SOS 11638 HAS SOPS 11638 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10751.638
AT ITER 1815 NEW BEST:: SOT 38390 SOS 11584 HAS SOPS 11584 HAS SOUS 10637 HAS SOUPS 10637 WITH SCORE 10648.584
AT ITER 1856 NEW BEST:: SOT 38396 SOS 11582 HAS SOPS 11582 HAS SOUS 10635 HAS SOUPS 10635 WITH SCORE 10646.582
AT ITER 1861 NEW BEST:: SOT 38396 SOS 11579 HAS SOPS 11579 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10643.579
AT ITER 1901 NEW BEST:: SOT 38380 SOS 11582 HAS SOPS 11582 HAS SOUS 10630 HAS SOUPS 10630 WITH SCORE 10641.582
AT ITER 1909 NEW BEST:: SOT 38371 SOS 11564 HAS SOPS 11564 HAS SOUS 10612 HAS SOUPS 10612 WITH SCORE 10623.564
AT ITER 1914 NEW BEST:: SOT 38371 SOS 11562 HAS SOPS 11562 HAS SOUS 10610 HAS SOUPS 10610 WITH SCORE 10621.562
AT ITER 1928 NEW BEST:: SOT 38385 SOS 11556 HAS SOPS 11556 HAS SOUS 10604 HAS SOUPS 10604 WITH SCORE 10615.556
AT ITER 1935 NEW BEST:: SOT 38312 SOS 11485 HAS SOPS 11485 HAS SOUS 10533 HAS SOUPS 10533 WITH SCORE 10544.485
AT ITER 1971 NEW BEST:: SOT 38313 SOS 11482 HAS SOPS 11482 HAS SOUS 10530 HAS SOUPS 10530 WITH SCORE 10541.482
AT ITER 1976 NEW BEST:: SOT 38308 SOS 11467 HAS SOPS 11467 HAS SOUS 10520 HAS SOUPS 10520 WITH SCORE 10531.467
AT ITER 2013 NEW BEST:: SOT 38280 SOS 11454 HAS SOPS 11454 HAS SOUS 10507 HAS SOUPS 10507 WITH SCORE 10518.454
AT ITER 2049 NEW BEST:: SOT 38278 SOS 11450 HAS SOPS 11450 HAS SOUS 10503 HAS SOUPS 10503 WITH SCORE 10514.45
AT ITER 2080 NEW BEST:: SOT 38275 SOS 11444 HAS SOPS 11444 HAS SOUS 10497 HAS SOUPS 10497 WITH SCORE 10508.444
AT ITER 2082 NEW BEST:: SOT 38268 SOS 11430 HAS SOPS 11430 HAS SOUS 10483 HAS SOUPS 10483 WITH SCORE 10494.43
AT ITER 2103 NEW BEST:: SOT 38264 SOS 11422 HAS SOPS 11422 HAS SOUS 10475 HAS SOUPS 10475 WITH SCORE 10486.422
AT ITER 2131 NEW BEST:: SOT 38241 SOS 11390 HAS SOPS 11390 HAS SOUS 10443 HAS SOUPS 10443 WITH SCORE 10454.39
AT ITER 2138 NEW BEST:: SOT 38241 SOS 11390 HAS SOPS 11390 HAS SOUS 10439 HAS SOUPS 10439 WITH SCORE 10450.39
AT ITER 2144 NEW BEST:: SOT 38222 SOS 11342 HAS SOPS 11342 HAS SOUS 10419 HAS SOUPS 10419 WITH SCORE 10430.342
AT ITER 2207 NEW BEST:: SOT 38216 SOS 11406 HAS SOPS 11406 HAS SOUS 10413 HAS SOUPS 10413 WITH SCORE 10424.406
AT ITER 2216 NEW BEST:: SOT 38206 SOS 11386 HAS SOPS 11386 HAS SOUS 10405 HAS SOUPS 10405 WITH SCORE 10416.386
AT ITER 2232 NEW BEST:: SOT 38204 SOS 11382 HAS SOPS 11382 HAS SOUS 10401 HAS SOUPS 10401 WITH SCORE 10412.382
AT ITER 2238 NEW BEST:: SOT 38203 SOS 11380 HAS SOPS 11380 HAS SOUS 10399 HAS SOUPS 10399 WITH SCORE 10410.38
AT ITER 2289 NEW BEST:: SOT 38198 SOS 11356 HAS SOPS 11356 HAS SOUS 10375 HAS SOUPS 10375 WITH SCORE 10386.356
AT ITER 2295 NEW BEST:: SOT 38193 SOS 11346 HAS SOPS 11346 HAS SOUS 10365 HAS SOUPS 10365 WITH SCORE 10376.346
AT ITER 2310 NEW BEST:: SOT 38177 SOS 11330 HAS SOPS 11330 HAS SOUS 10349 HAS SOUPS 10349 WITH SCORE 10360.33
AT ITER 2323 NEW BEST:: SOT 38168 SOS 11321 HAS SOPS 11321 HAS SOUS 10349 HAS SOUPS 10349 WITH SCORE 10360.321
AT ITER 2375 NEW BEST:: SOT 38156 SOS 11303 HAS SOPS 11303 HAS SOUS 10342 HAS SOUPS 10342 WITH SCORE 10353.303
AT ITER 2378 NEW BEST:: SOT 38154 SOS 11299 HAS SOPS 11299 HAS SOUS 10338 HAS SOUPS 10338 WITH SCORE 10349.299
AT ITER 2388 NEW BEST:: SOT 38152 SOS 11297 HAS SOPS 11297 HAS SOUS 10336 HAS SOUPS 10336 WITH SCORE 10347.297
AT ITER 2392 NEW BEST:: SOT 38068 SOS 12197 HAS SOPS 12197 HAS SOUS 10334 HAS SOUPS 10334 WITH SCORE 10346.197
AT ITER 2411 NEW BEST:: SOT 38061 SOS 12152 HAS SOPS 12152 HAS SOUS 10289 HAS SOUPS 10289 WITH SCORE 10301.152
AT ITER 2427 NEW BEST:: SOT 38032 SOS 12094 HAS SOPS 12094 HAS SOUS 10263 HAS SOUPS 10263 WITH SCORE 10275.094
AT ITER 2432 NEW BEST:: SOT 38035 SOS 12089 HAS SOPS 12089 HAS SOUS 10258 HAS SOUPS 10258 WITH SCORE 10270.089
AT ITER 2442 NEW BEST:: SOT 38047 SOS 12120 HAS SOPS 12120 HAS SOUS 10238 HAS SOUPS 10238 WITH SCORE 10250.12
AT ITER 2443 NEW BEST:: SOT 38040 SOS 12094 HAS SOPS 12094 HAS SOUS 10212 HAS SOUPS 10212 WITH SCORE 10224.094
AT ITER 2448 NEW BEST:: SOT 38042 SOS 12066 HAS SOPS 12066 HAS SOUS 10184 HAS SOUPS 10184 WITH SCORE 10196.066
AT ITER 2449 NEW BEST:: SOT 38041 SOS 12064 HAS SOPS 12064 HAS SOUS 10182 HAS SOUPS 10182 WITH SCORE 10194.064
AT ITER 2452 NEW BEST:: SOT 38035 SOS 12039 HAS SOPS 12039 HAS SOUS 10151 HAS SOUPS 10151 WITH SCORE 10163.039
AT ITER 2466 NEW BEST:: SOT 38040 SOS 12036 HAS SOPS 12036 HAS SOUS 10148 HAS SOUPS 10148 WITH SCORE 10160.036
AT ITER 2469 NEW BEST:: SOT 38040 SOS 12024 HAS SOPS 12024 HAS SOUS 10136 HAS SOUPS 10136 WITH SCORE 10148.024
AT ITER 2476 NEW BEST:: SOT 38040 SOS 12019 HAS SOPS 12019 HAS SOUS 10136 HAS SOUPS 10136 WITH SCORE 10148.019
AT ITER 2524 NEW BEST:: SOT 38027 SOS 12008 HAS SOPS 12008 HAS SOUS 10125 HAS SOUPS 10125 WITH SCORE 10137.008
AT ITER 2535 NEW BEST:: SOT 38080 SOS 12041 HAS SOPS 12041 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10132.041
AT ITER 2538 NEW BEST:: SOT 38074 SOS 12018 HAS SOPS 12018 HAS SOUS 10097 HAS SOUPS 10097 WITH SCORE 10109.018
AT ITER 2547 NEW BEST:: SOT 38052 SOS 11985 HAS SOPS 11985 HAS SOUS 10075 HAS SOUPS 10075 WITH SCORE 10086.985
AT ITER 2554 NEW BEST:: SOT 38046 SOS 11973 HAS SOPS 11973 HAS SOUS 10063 HAS SOUPS 10063 WITH SCORE 10074.973
AT ITER 2564 NEW BEST:: SOT 38043 SOS 11970 HAS SOPS 11970 HAS SOUS 10060 HAS SOUPS 10060 WITH SCORE 10071.97
AT ITER 2565 NEW BEST:: SOT 38060 SOS 11951 HAS SOPS 11951 HAS SOUS 10041 HAS SOUPS 10041 WITH SCORE 10052.951
AT ITER 2580 NEW BEST:: SOT 38061 SOS 11932 HAS SOPS 11932 HAS SOUS 10022 HAS SOUPS 10022 WITH SCORE 10033.932
AT ITER 2583 NEW BEST:: SOT 38061 SOS 11931 HAS SOPS 11931 HAS SOUS 10021 HAS SOUPS 10021 WITH SCORE 10032.931
AT ITER 2595 NEW BEST:: SOT 38055 SOS 11919 HAS SOPS 11919 HAS SOUS 10021 HAS SOUPS 10021 WITH SCORE 10032.919
AT ITER 2687 NEW BEST:: SOT 38008 SOS 11863 HAS SOPS 11863 HAS SOUS 10003 HAS SOUPS 10003 WITH SCORE 10014.863
AT ITER 2711 NEW BEST:: SOT 37998 SOS 11854 HAS SOPS 11854 HAS SOUS 9994 HAS SOUPS 9994 WITH SCORE 10005.854
AT ITER 2716 NEW BEST:: SOT 37975 SOS 11785 HAS SOPS 11785 HAS SOUS 9925 HAS SOUPS 9925 WITH SCORE 9936.785
AT ITER 2740 NEW BEST:: SOT 37956 SOS 11747 HAS SOPS 11747 HAS SOUS 9887 HAS SOUPS 9887 WITH SCORE 9898.747
AT ITER 2744 NEW BEST:: SOT 37956 SOS 11732 HAS SOPS 11732 HAS SOUS 9872 HAS SOUPS 9872 WITH SCORE 9883.732
AT ITER 2771 NEW BEST:: SOT 37944 SOS 11708 HAS SOPS 11708 HAS SOUS 9848 HAS SOUPS 9848 WITH SCORE 9859.708
AT ITER 2778 NEW BEST:: SOT 37944 SOS 11703 HAS SOPS 11703 HAS SOUS 9848 HAS SOUPS 9848 WITH SCORE 9859.703
AT ITER 2780 NEW BEST:: SOT 37940 SOS 11684 HAS SOPS 11684 HAS SOUS 9846 HAS SOUPS 9846 WITH SCORE 9857.684
AT ITER 2799 NEW BEST:: SOT 37939 SOS 11682 HAS SOPS 11682 HAS SOUS 9844 HAS SOUPS 9844 WITH SCORE 9855.682
AT ITER 2817 NEW BEST:: SOT 37929 SOS 11659 HAS SOPS 11659 HAS SOUS 9821 HAS SOUPS 9821 WITH SCORE 9832.659
AT ITER 2843 NEW BEST:: SOT 37924 SOS 11649 HAS SOPS 11649 HAS SOUS 9811 HAS SOUPS 9811 WITH SCORE 9822.649
AT ITER 2844 NEW BEST:: SOT 37922 SOS 11649 HAS SOPS 11649 HAS SOUS 9809 HAS SOUPS 9809 WITH SCORE 9820.649
AT ITER 2861 NEW BEST:: SOT 37916 SOS 11640 HAS SOPS 11640 HAS SOUS 9800 HAS SOUPS 9800 WITH SCORE 9811.64
AT ITER 2873 NEW BEST:: SOT 37917 SOS 11638 HAS SOPS 11638 HAS SOUS 9798 HAS SOUPS 9798 WITH SCORE 9809.638
AT ITER 2888 NEW BEST:: SOT 37905 SOS 11626 HAS SOPS 11626 HAS SOUS 9786 HAS SOUPS 9786 WITH SCORE 9797.626
AT ITER 2915 NEW BEST:: SOT 37904 SOS 11624 HAS SOPS 11624 HAS SOUS 9784 HAS SOUPS 9784 WITH SCORE 9795.624
AT ITER 2916 NEW BEST:: SOT 37917 SOS 11630 HAS SOPS 11630 HAS SOUS 9770 HAS SOUPS 9770 WITH SCORE 9781.63
AT ITER 2932 NEW BEST:: SOT 37850 SOS 11664 HAS SOPS 11664 HAS SOUS 9769 HAS SOUPS 9769 WITH SCORE 9780.664
AT ITER 2938 NEW BEST:: SOT 37801 SOS 11628 HAS SOPS 11628 HAS SOUS 9733 HAS SOUPS 9733 WITH SCORE 9744.628
AT ITER 2946 NEW BEST:: SOT 37776 SOS 11596 HAS SOPS 11596 HAS SOUS 9719 HAS SOUPS 9719 WITH SCORE 9730.596
AT ITER 2947 NEW BEST:: SOT 37777 SOS 11593 HAS SOPS 11593 HAS SOUS 9716 HAS SOUPS 9716 WITH SCORE 9727.593
AT ITER 2970 NEW BEST:: SOT 37849 SOS 11571 HAS SOPS 11571 HAS SOUS 9694 HAS SOUPS 9694 WITH SCORE 9705.571
AT ITER 2971 NEW BEST:: SOT 37849 SOS 11570 HAS SOPS 11570 HAS SOUS 9693 HAS SOUPS 9693 WITH SCORE 9704.57
AT ITER 3010 NEW BEST:: SOT 37841 SOS 11491 HAS SOPS 11491 HAS SOUS 9614 HAS SOUPS 9614 WITH SCORE 9625.491
AT ITER 3014 NEW BEST:: SOT 37834 SOS 11484 HAS SOPS 11484 HAS SOUS 9607 HAS SOUPS 9607 WITH SCORE 9618.484
AT ITER 3015 NEW BEST:: SOT 37834 SOS 11484 HAS SOPS 11484 HAS SOUS 9605 HAS SOUPS 9605 WITH SCORE 9616.484
AT ITER 3018 NEW BEST:: SOT 37833 SOS 11478 HAS SOPS 11478 HAS SOUS 9599 HAS SOUPS 9599 WITH SCORE 9610.478
AT ITER 3024 NEW BEST:: SOT 37832 SOS 11476 HAS SOPS 11476 HAS SOUS 9597 HAS SOUPS 9597 WITH SCORE 9608.476
AT ITER 3045 NEW BEST:: SOT 37862 SOS 11492 HAS SOPS 11492 HAS SOUS 9569 HAS SOUPS 9569 WITH SCORE 9580.492
AT ITER 3050 NEW BEST:: SOT 37861 SOS 11491 HAS SOPS 11491 HAS SOUS 9568 HAS SOUPS 9568 WITH SCORE 9579.491
AT ITER 3063 NEW BEST:: SOT 37861 SOS 11488 HAS SOPS 11488 HAS SOUS 9565 HAS SOUPS 9565 WITH SCORE 9576.488
AT ITER 3064 NEW BEST:: SOT 37892 SOS 11519 HAS SOPS 11519 HAS SOUS 9561 HAS SOUPS 9561 WITH SCORE 9572.519
AT ITER 3082 NEW BEST:: SOT 37886 SOS 11513 HAS SOPS 11513 HAS SOUS 9555 HAS SOUPS 9555 WITH SCORE 9566.513
AT ITER 3109 NEW BEST:: SOT 37877 SOS 11501 HAS SOPS 11501 HAS SOUS 9543 HAS SOUPS 9543 WITH SCORE 9554.501
AT ITER 3126 NEW BEST:: SOT 37877 SOS 11469 HAS SOPS 11469 HAS SOUS 9543 HAS SOUPS 9543 WITH SCORE 9554.469
AT ITER 3158 NEW BEST:: SOT 37810 SOS 11429 HAS SOPS 11429 HAS SOUS 9533 HAS SOUPS 9533 WITH SCORE 9544.429
AT ITER 3178 NEW BEST:: SOT 37844 SOS 11402 HAS SOPS 11402 HAS SOUS 9531 HAS SOUPS 9531 WITH SCORE 9542.402
AT ITER 3193 NEW BEST:: SOT 37839 SOS 11392 HAS SOPS 11392 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9532.392
AT ITER 3218 NEW BEST:: SOT 37839 SOS 11389 HAS SOPS 11389 HAS SOUS 9518 HAS SOUPS 9518 WITH SCORE 9529.389
AT ITER 3235 NEW BEST:: SOT 37791 SOS 11290 HAS SOPS 11290 HAS SOUS 9419 HAS SOUPS 9419 WITH SCORE 9430.29
AT ITER 3243 NEW BEST:: SOT 37827 SOS 11326 HAS SOPS 11326 HAS SOUS 9413 HAS SOUPS 9413 WITH SCORE 9424.326
AT ITER 3253 NEW BEST:: SOT 37832 SOS 11317 HAS SOPS 11317 HAS SOUS 9399 HAS SOUPS 9399 WITH SCORE 9410.317
AT ITER 3282 NEW BEST:: SOT 37829 SOS 11314 HAS SOPS 11314 HAS SOUS 9396 HAS SOUPS 9396 WITH SCORE 9407.314
AT ITER 3283 NEW BEST:: SOT 37827 SOS 11310 HAS SOPS 11310 HAS SOUS 9392 HAS SOUPS 9392 WITH SCORE 9403.31
AT ITER 3287 NEW BEST:: SOT 37818 SOS 11292 HAS SOPS 11292 HAS SOUS 9374 HAS SOUPS 9374 WITH SCORE 9385.292
AT ITER 3293 NEW BEST:: SOT 37796 SOS 11270 HAS SOPS 11270 HAS SOUS 9352 HAS SOUPS 9352 WITH SCORE 9363.27
AT ITER 3302 NEW BEST:: SOT 37795 SOS 11266 HAS SOPS 11266 HAS SOUS 9348 HAS SOUPS 9348 WITH SCORE 9359.266
AT ITER 3307 NEW BEST:: SOT 37797 SOS 11264 HAS SOPS 11264 HAS SOUS 9348 HAS SOUPS 9348 WITH SCORE 9359.264
AT ITER 3319 NEW BEST:: SOT 37756 SOS 11223 HAS SOPS 11223 HAS SOUS 9307 HAS SOUPS 9307 WITH SCORE 9318.223
AT ITER 3329 NEW BEST:: SOT 37749 SOS 11209 HAS SOPS 11209 HAS SOUS 9307 HAS SOUPS 9307 WITH SCORE 9318.209
AT ITER 3380 NEW BEST:: SOT 37749 SOS 11205 HAS SOPS 11205 HAS SOUS 9303 HAS SOUPS 9303 WITH SCORE 9314.205
AT ITER 3429 NEW BEST:: SOT 37751 SOS 11203 HAS SOPS 11203 HAS SOUS 9297 HAS SOUPS 9297 WITH SCORE 9308.203
AT ITER 3453 NEW BEST:: SOT 37743 SOS 11195 HAS SOPS 11195 HAS SOUS 9289 HAS SOUPS 9289 WITH SCORE 9300.195
AT ITER 3468 NEW BEST:: SOT 37729 SOS 11181 HAS SOPS 11181 HAS SOUS 9275 HAS SOUPS 9275 WITH SCORE 9286.181
AT ITER 3475 NEW BEST:: SOT 37710 SOS 11143 HAS SOPS 11143 HAS SOUS 9237 HAS SOUPS 9237 WITH SCORE 9248.143
AT ITER 3484 NEW BEST:: SOT 37706 SOS 11146 HAS SOPS 11146 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9230.146
AT ITER 3489 NEW BEST:: SOT 37750 SOS 11136 HAS SOPS 11136 HAS SOUS 9209 HAS SOUPS 9209 WITH SCORE 9220.136
AT ITER 3491 NEW BEST:: SOT 37685 SOS 11049 HAS SOPS 11049 HAS SOUS 9175 HAS SOUPS 9175 WITH SCORE 9186.049
AT ITER 3507 NEW BEST:: SOT 37681 SOS 11043 HAS SOPS 11043 HAS SOUS 9169 HAS SOUPS 9169 WITH SCORE 9180.043
AT ITER 3514 NEW BEST:: SOT 37672 SOS 11031 HAS SOPS 11031 HAS SOUS 9157 HAS SOUPS 9157 WITH SCORE 9168.031
AT ITER 3525 NEW BEST:: SOT 37657 SOS 10994 HAS SOPS 10994 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9131.994
AT ITER 3543 NEW BEST:: SOT 37655 SOS 10993 HAS SOPS 10993 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9130.993
AT ITER 3548 NEW BEST:: SOT 37647 SOS 10985 HAS SOPS 10985 HAS SOUS 9112 HAS SOUPS 9112 WITH SCORE 9122.985
AT ITER 3560 NEW BEST:: SOT 37647 SOS 10984 HAS SOPS 10984 HAS SOUS 9111 HAS SOUPS 9111 WITH SCORE 9121.984
AT ITER 3564 NEW BEST:: SOT 37647 SOS 10984 HAS SOPS 10984 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9105.984
AT ITER 3592 NEW BEST:: SOT 37647 SOS 10978 HAS SOPS 10978 HAS SOUS 9089 HAS SOUPS 9089 WITH SCORE 9099.978
AT ITER 3594 NEW BEST:: SOT 37636 SOS 10945 HAS SOPS 10945 HAS SOUS 9078 HAS SOUPS 9078 WITH SCORE 9088.945
AT ITER 3651 NEW BEST:: SOT 37639 SOS 10944 HAS SOPS 10944 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9084.944
AT ITER 3666 NEW BEST:: SOT 37637 SOS 10939 HAS SOPS 10939 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9079.939
AT ITER 3709 NEW BEST:: SOT 37623 SOS 10904 HAS SOPS 10904 HAS SOUS 9048 HAS SOUPS 9048 WITH SCORE 9058.904
AT ITER 3716 NEW BEST:: SOT 37620 SOS 10904 HAS SOPS 10904 HAS SOUS 9045 HAS SOUPS 9045 WITH SCORE 9055.904
AT ITER 3723 NEW BEST:: SOT 37615 SOS 10894 HAS SOPS 10894 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9045.894
AT ITER 3770 NEW BEST:: SOT 37615 SOS 10889 HAS SOPS 10889 HAS SOUS 9034 HAS SOUPS 9034 WITH SCORE 9044.889
AT ITER 3815 NEW BEST:: SOT 37615 SOS 10882 HAS SOPS 10882 HAS SOUS 9027 HAS SOUPS 9027 WITH SCORE 9037.882
AT ITER 3840 NEW BEST:: SOT 37614 SOS 10880 HAS SOPS 10880 HAS SOUS 9025 HAS SOUPS 9025 WITH SCORE 9035.88
AT ITER 3868 NEW BEST:: SOT 37608 SOS 10875 HAS SOPS 10875 HAS SOUS 9020 HAS SOUPS 9020 WITH SCORE 9030.875
AT ITER 3907 NEW BEST:: SOT 37606 SOS 10873 HAS SOPS 10873 HAS SOUS 9018 HAS SOUPS 9018 WITH SCORE 9028.873
AT ITER 3918 NEW BEST:: SOT 37590 SOS 10841 HAS SOPS 10841 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9027.841
AT ITER 3919 NEW BEST:: SOT 37594 SOS 10827 HAS SOPS 10827 HAS SOUS 9003 HAS SOUPS 9003 WITH SCORE 9013.827
AT ITER 3937 NEW BEST:: SOT 37593 SOS 10812 HAS SOPS 10812 HAS SOUS 8988 HAS SOUPS 8988 WITH SCORE 8998.812
AT ITER 3967 NEW BEST:: SOT 37593 SOS 10806 HAS SOPS 10806 HAS SOUS 8982 HAS SOUPS 8982 WITH SCORE 8992.806
AT ITER 3980 NEW BEST:: SOT 37576 SOS 10804 HAS SOPS 10804 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 8990.804
AT ITER 4020 NEW BEST:: SOT 37575 SOS 10803 HAS SOPS 10803 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 8990.803
AT ITER 4052 NEW BEST:: SOT 37586 SOS 10794 HAS SOPS 10794 HAS SOUS 8971 HAS SOUPS 8971 WITH SCORE 8981.794
AT ITER 4116 NEW BEST:: SOT 37612 SOS 10817 HAS SOPS 10817 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8975.817
AT ITER 4140 NEW BEST:: SOT 37599 SOS 10806 HAS SOPS 10806 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8968.806
AT ITER 4178 NEW BEST:: SOT 37599 SOS 10800 HAS SOPS 10800 HAS SOUS 8952 HAS SOUPS 8952 WITH SCORE 8962.8
AT ITER 4208 NEW BEST:: SOT 37591 SOS 10791 HAS SOPS 10791 HAS SOUS 8944 HAS SOUPS 8944 WITH SCORE 8954.791
AT ITER 4224 NEW BEST:: SOT 37590 SOS 10789 HAS SOPS 10789 HAS SOUS 8943 HAS SOUPS 8943 WITH SCORE 8953.789
AT ITER 4289 NEW BEST:: SOT 37548 SOS 10769 HAS SOPS 10769 HAS SOUS 8923 HAS SOUPS 8923 WITH SCORE 8933.769
AT ITER 4361 NEW BEST:: SOT 37529 SOS 10753 HAS SOPS 10753 HAS SOUS 8907 HAS SOUPS 8907 WITH SCORE 8917.753
AT ITER 4371 NEW BEST:: SOT 37493 SOS 10727 HAS SOPS 10727 HAS SOUS 8868 HAS SOUPS 8868 WITH SCORE 8878.727
AT ITER 4391 NEW BEST:: SOT 37488 SOS 10717 HAS SOPS 10717 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8868.717
AT ITER 4402 NEW BEST:: SOT 37480 SOS 10805 HAS SOPS 10805 HAS SOUS 8854 HAS SOUPS 8854 WITH SCORE 8864.805
AT ITER 4413 NEW BEST:: SOT 37483 SOS 10796 HAS SOPS 10796 HAS SOUS 8845 HAS SOUPS 8845 WITH SCORE 8855.796
AT ITER 4423 NEW BEST:: SOT 37468 SOS 10766 HAS SOPS 10766 HAS SOUS 8839 HAS SOUPS 8839 WITH SCORE 8849.766
AT ITER 4461 NEW BEST:: SOT 37462 SOS 10772 HAS SOPS 10772 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8846.772
AT ITER 4496 NEW BEST:: SOT 37442 SOS 10752 HAS SOPS 10752 HAS SOUS 8816 HAS SOUPS 8816 WITH SCORE 8826.752
AT ITER 4506 NEW BEST:: SOT 37437 SOS 10734 HAS SOPS 10734 HAS SOUS 8811 HAS SOUPS 8811 WITH SCORE 8821.734
AT ITER 4525 NEW BEST:: SOT 37436 SOS 10732 HAS SOPS 10732 HAS SOUS 8809 HAS SOUPS 8809 WITH SCORE 8819.732
AT ITER 4566 NEW BEST:: SOT 37432 SOS 10724 HAS SOPS 10724 HAS SOUS 8801 HAS SOUPS 8801 WITH SCORE 8811.724
AT ITER 4576 NEW BEST:: SOT 37416 SOS 10723 HAS SOPS 10723 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8810.723
AT ITER 4598 NEW BEST:: SOT 37415 SOS 10721 HAS SOPS 10721 HAS SOUS 8799 HAS SOUPS 8799 WITH SCORE 8809.721
AT ITER 4616 NEW BEST:: SOT 37418 SOS 10727 HAS SOPS 10727 HAS SOUS 8793 HAS SOUPS 8793 WITH SCORE 8803.727
AT ITER 4642 NEW BEST:: SOT 37417 SOS 10716 HAS SOPS 10716 HAS SOUS 8782 HAS SOUPS 8782 WITH SCORE 8792.716
AT ITER 4732 NEW BEST:: SOT 37423 SOS 10690 HAS SOPS 10690 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8777.69
AT ITER 4793 NEW BEST:: SOT 37416 SOS 10676 HAS SOPS 10676 HAS SOUS 8760 HAS SOUPS 8760 WITH SCORE 8770.676
AT ITER 4802 NEW BEST:: SOT 37391 SOS 10648 HAS SOPS 10648 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8764.648
AT ITER 4853 NEW BEST:: SOT 37377 SOS 10643 HAS SOPS 10643 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8759.643
AT ITER 4925 NEW BEST:: SOT 37380 SOS 10620 HAS SOPS 10620 HAS SOUS 8739 HAS SOUPS 8739 WITH SCORE 8749.62
AT ITER 4961 NEW BEST:: SOT 37377 SOS 10614 HAS SOPS 10614 HAS SOUS 8733 HAS SOUPS 8733 WITH SCORE 8743.614
AT ITER 4985 NEW BEST:: SOT 37356 SOS 10612 HAS SOPS 10612 HAS SOUS 8731 HAS SOUPS 8731 WITH SCORE 8741.612
AT ITER 5030 NEW BEST:: SOT 37343 SOS 10586 HAS SOPS 10586 HAS SOUS 8705 HAS SOUPS 8705 WITH SCORE 8715.586
AT ITER 5034 NEW BEST:: SOT 37342 SOS 10583 HAS SOPS 10583 HAS SOUS 8703 HAS SOUPS 8703 WITH SCORE 8713.583
AT ITER 5052 NEW BEST:: SOT 37336 SOS 10571 HAS SOPS 10571 HAS SOUS 8691 HAS SOUPS 8691 WITH SCORE 8701.571
AT ITER 5081 NEW BEST:: SOT 37336 SOS 10558 HAS SOPS 10558 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8675.558
AT ITER 5101 NEW BEST:: SOT 37319 SOS 10541 HAS SOPS 10541 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8658.541
AT ITER 5204 NEW BEST:: SOT 37319 SOS 10519 HAS SOPS 10519 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8636.519
AT ITER 5228 NEW BEST:: SOT 37318 SOS 10517 HAS SOPS 10517 HAS SOUS 8624 HAS SOUPS 8624 WITH SCORE 8634.517
AT ITER 5261 NEW BEST:: SOT 37317 SOS 10516 HAS SOPS 10516 HAS SOUS 8623 HAS SOUPS 8623 WITH SCORE 8633.516
AT ITER 5263 NEW BEST:: SOT 37305 SOS 10481 HAS SOPS 10481 HAS SOUS 8588 HAS SOUPS 8588 WITH SCORE 8598.481
AT ITER 5306 NEW BEST:: SOT 37302 SOS 10478 HAS SOPS 10478 HAS SOUS 8585 HAS SOUPS 8585 WITH SCORE 8595.478
AT ITER 5333 NEW BEST:: SOT 37248 SOS 10430 HAS SOPS 10430 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8571.43
AT ITER 5354 NEW BEST:: SOT 37273 SOS 10436 HAS SOPS 10436 HAS SOUS 8543 HAS SOUPS 8543 WITH SCORE 8553.436
AT ITER 5355 NEW BEST:: SOT 37270 SOS 10433 HAS SOPS 10433 HAS SOUS 8540 HAS SOUPS 8540 WITH SCORE 8550.433
AT ITER 5418 NEW BEST:: SOT 37269 SOS 10431 HAS SOPS 10431 HAS SOUS 8536 HAS SOUPS 8536 WITH SCORE 8546.431
AT ITER 5434 NEW BEST:: SOT 37268 SOS 10429 HAS SOPS 10429 HAS SOUS 8534 HAS SOUPS 8534 WITH SCORE 8544.429
AT ITER 5448 NEW BEST:: SOT 37250 SOS 10393 HAS SOPS 10393 HAS SOUS 8498 HAS SOUPS 8498 WITH SCORE 8508.393
AT ITER 5470 NEW BEST:: SOT 37250 SOS 10392 HAS SOPS 10392 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8507.392
AT ITER 5539 NEW BEST:: SOT 37273 SOS 10438 HAS SOPS 10438 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8502.438
AT ITER 5542 NEW BEST:: SOT 37268 SOS 10430 HAS SOPS 10430 HAS SOUS 8484 HAS SOUPS 8484 WITH SCORE 8494.43
AT ITER 5620 NEW BEST:: SOT 37266 SOS 10427 HAS SOPS 10427 HAS SOUS 8482 HAS SOUPS 8482 WITH SCORE 8492.427
AT ITER 5635 NEW BEST:: SOT 37283 SOS 10421 HAS SOPS 10421 HAS SOUS 8476 HAS SOUPS 8476 WITH SCORE 8486.421
AT ITER 5644 NEW BEST:: SOT 37282 SOS 10417 HAS SOPS 10417 HAS SOUS 8472 HAS SOUPS 8472 WITH SCORE 8482.417
AT ITER 5657 NEW BEST:: SOT 37280 SOS 10411 HAS SOPS 10411 HAS SOUS 8470 HAS SOUPS 8470 WITH SCORE 8480.411
AT ITER 5663 NEW BEST:: SOT 37283 SOS 10398 HAS SOPS 10398 HAS SOUS 8457 HAS SOUPS 8457 WITH SCORE 8467.398
AT ITER 5725 NEW BEST:: SOT 37288 SOS 10402 HAS SOPS 10402 HAS SOUS 8456 HAS SOUPS 8456 WITH SCORE 8466.402
AT ITER 5811 NEW BEST:: SOT 37283 SOS 10392 HAS SOPS 10392 HAS SOUS 8446 HAS SOUPS 8446 WITH SCORE 8456.392
AT ITER 5866 NEW BEST:: SOT 37267 SOS 10370 HAS SOPS 10370 HAS SOUS 8434 HAS SOUPS 8434 WITH SCORE 8444.37
AT ITER 5879 NEW BEST:: SOT 37267 SOS 10366 HAS SOPS 10366 HAS SOUS 8430 HAS SOUPS 8430 WITH SCORE 8440.366
AT ITER 5881 NEW BEST:: SOT 37253 SOS 10340 HAS SOPS 10340 HAS SOUS 8419 HAS SOUPS 8419 WITH SCORE 8429.34
AT ITER 5915 NEW BEST:: SOT 37241 SOS 10316 HAS SOPS 10316 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8405.316
AT ITER 5943 NEW BEST:: SOT 37241 SOS 10316 HAS SOPS 10316 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8402.316
AT ITER 5956 NEW BEST:: SOT 37245 SOS 10312 HAS SOPS 10312 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8398.312
AT ITER 5997 NEW BEST:: SOT 37245 SOS 10312 HAS SOPS 10312 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8395.312
AT ITER 6015 NEW BEST:: SOT 37238 SOS 10304 HAS SOPS 10304 HAS SOUS 8377 HAS SOUPS 8377 WITH SCORE 8387.304
AT ITER 6027 NEW BEST:: SOT 37233 SOS 10299 HAS SOPS 10299 HAS SOUS 8372 HAS SOUPS 8372 WITH SCORE 8382.299
AT ITER 6034 NEW BEST:: SOT 37228 SOS 10289 HAS SOPS 10289 HAS SOUS 8362 HAS SOUPS 8362 WITH SCORE 8372.289
AT ITER 6144 NEW BEST:: SOT 37231 SOS 10295 HAS SOPS 10295 HAS SOUS 8354 HAS SOUPS 8354 WITH SCORE 8364.295
AT ITER 6158 NEW BEST:: SOT 37230 SOS 10293 HAS SOPS 10293 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8361.293
AT ITER 6162 NEW BEST:: SOT 37228 SOS 10289 HAS SOPS 10289 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8357.289
AT ITER 6167 NEW BEST:: SOT 37228 SOS 10287 HAS SOPS 10287 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8357.287
AT ITER 6186 NEW BEST:: SOT 37220 SOS 10271 HAS SOPS 10271 HAS SOUS 8331 HAS SOUPS 8331 WITH SCORE 8341.271
AT ITER 6255 NEW BEST:: SOT 37221 SOS 10267 HAS SOPS 10267 HAS SOUS 8327 HAS SOUPS 8327 WITH SCORE 8337.267
AT ITER 6262 NEW BEST:: SOT 37243 SOS 10277 HAS SOPS 10277 HAS SOUS 8313 HAS SOUPS 8313 WITH SCORE 8323.277
AT ITER 6264 NEW BEST:: SOT 37242 SOS 10275 HAS SOPS 10275 HAS SOUS 8312 HAS SOUPS 8312 WITH SCORE 8322.275
AT ITER 6298 NEW BEST:: SOT 37244 SOS 10260 HAS SOPS 10260 HAS SOUS 8297 HAS SOUPS 8297 WITH SCORE 8307.26
AT ITER 6348 NEW BEST:: SOT 37246 SOS 10264 HAS SOPS 10264 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8305.264
AT ITER 6389 NEW BEST:: SOT 37245 SOS 10262 HAS SOPS 10262 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8303.262
AT ITER 6445 NEW BEST:: SOT 37241 SOS 10254 HAS SOPS 10254 HAS SOUS 8285 HAS SOUPS 8285 WITH SCORE 8295.254
AT ITER 6492 NEW BEST:: SOT 37237 SOS 10242 HAS SOPS 10242 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8286.242
AT ITER 6499 NEW BEST:: SOT 37249 SOS 10244 HAS SOPS 10244 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8273.244
AT ITER 6521 NEW BEST:: SOT 37240 SOS 10226 HAS SOPS 10226 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8273.226
AT ITER 6526 NEW BEST:: SOT 37236 SOS 10214 HAS SOPS 10214 HAS SOUS 8255 HAS SOUPS 8255 WITH SCORE 8265.214
AT ITER 6530 NEW BEST:: SOT 37233 SOS 10208 HAS SOPS 10208 HAS SOUS 8253 HAS SOUPS 8253 WITH SCORE 8263.208
AT ITER 6570 NEW BEST:: SOT 37233 SOS 10206 HAS SOPS 10206 HAS SOUS 8251 HAS SOUPS 8251 WITH SCORE 8261.206
AT ITER 6584 NEW BEST:: SOT 37231 SOS 10204 HAS SOPS 10204 HAS SOUS 8249 HAS SOUPS 8249 WITH SCORE 8259.204
AT ITER 6605 NEW BEST:: SOT 37228 SOS 10198 HAS SOPS 10198 HAS SOUS 8243 HAS SOUPS 8243 WITH SCORE 8253.198
AT ITER 6653 NEW BEST:: SOT 37225 SOS 10192 HAS SOPS 10192 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8247.192
AT ITER 6702 NEW BEST:: SOT 37221 SOS 10184 HAS SOPS 10184 HAS SOUS 8232 HAS SOUPS 8232 WITH SCORE 8242.184
AT ITER 6730 NEW BEST:: SOT 37215 SOS 10183 HAS SOPS 10183 HAS SOUS 8231 HAS SOUPS 8231 WITH SCORE 8241.183
AT ITER 6731 NEW BEST:: SOT 37215 SOS 10171 HAS SOPS 10171 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8229.171
AT ITER 6796 NEW BEST:: SOT 37211 SOS 10163 HAS SOPS 10163 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8228.163
AT ITER 6802 NEW BEST:: SOT 37195 SOS 10131 HAS SOPS 10131 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8212.131
AT ITER 6868 NEW BEST:: SOT 37194 SOS 10129 HAS SOPS 10129 HAS SOUS 8200 HAS SOUPS 8200 WITH SCORE 8210.129
AT ITER 6916 NEW BEST:: SOT 37194 SOS 10128 HAS SOPS 10128 HAS SOUS 8199 HAS SOUPS 8199 WITH SCORE 8209.128
AT ITER 6954 NEW BEST:: SOT 37191 SOS 10122 HAS SOPS 10122 HAS SOUS 8193 HAS SOUPS 8193 WITH SCORE 8203.122
AT ITER 6989 NEW BEST:: SOT 37190 SOS 10121 HAS SOPS 10121 HAS SOUS 8192 HAS SOUPS 8192 WITH SCORE 8202.121
AT ITER 7013 NEW BEST:: SOT 37182 SOS 10113 HAS SOPS 10113 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8194.113
AT ITER 7038 NEW BEST:: SOT 37146 SOS 10075 HAS SOPS 10075 HAS SOUS 8180 HAS SOUPS 8180 WITH SCORE 8190.075
AT ITER 7062 NEW BEST:: SOT 37166 SOS 10071 HAS SOPS 10071 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8186.071
AT ITER 7096 NEW BEST:: SOT 37152 SOS 10053 HAS SOPS 10053 HAS SOUS 8158 HAS SOUPS 8158 WITH SCORE 8168.053
AT ITER 7158 NEW BEST:: SOT 37152 SOS 10049 HAS SOPS 10049 HAS SOUS 8154 HAS SOUPS 8154 WITH SCORE 8164.049
AT ITER 7179 NEW BEST:: SOT 37136 SOS 10018 HAS SOPS 10018 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8145.018
AT ITER 7259 NEW BEST:: SOT 37124 SOS 9994 HAS SOPS 9994 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8134.994
AT ITER 7263 NEW BEST:: SOT 37115 SOS 9983 HAS SOPS 9983 HAS SOUS 8114 HAS SOUPS 8114 WITH SCORE 8123.983
AT ITER 7341 NEW BEST:: SOT 37115 SOS 9981 HAS SOPS 9981 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8121.981
AT ITER 7346 NEW BEST:: SOT 37114 SOS 9979 HAS SOPS 9979 HAS SOUS 8110 HAS SOUPS 8110 WITH SCORE 8119.979
AT ITER 7363 NEW BEST:: SOT 37126 SOS 9990 HAS SOPS 9990 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8117.99
AT ITER 7367 NEW BEST:: SOT 37118 SOS 9974 HAS SOPS 9974 HAS SOUS 8107 HAS SOUPS 8107 WITH SCORE 8116.974
AT ITER 7408 NEW BEST:: SOT 37120 SOS 9978 HAS SOPS 9978 HAS SOUS 8097 HAS SOUPS 8097 WITH SCORE 8106.978
AT ITER 7475 NEW BEST:: SOT 37119 SOS 9976 HAS SOPS 9976 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8104.976
AT ITER 7499 NEW BEST:: SOT 37118 SOS 9975 HAS SOPS 9975 HAS SOUS 8094 HAS SOUPS 8094 WITH SCORE 8103.975
AT ITER 7512 NEW BEST:: SOT 37102 SOS 9966 HAS SOPS 9966 HAS SOUS 8085 HAS SOUPS 8085 WITH SCORE 8094.966
AT ITER 7531 NEW BEST:: SOT 37088 SOS 9952 HAS SOPS 9952 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8080.952
AT ITER 7658 NEW BEST:: SOT 37089 SOS 9942 HAS SOPS 9942 HAS SOUS 8067 HAS SOUPS 8067 WITH SCORE 8076.942
AT ITER 7918 NEW BEST:: SOT 37088 SOS 9924 HAS SOPS 9924 HAS SOUS 8049 HAS SOUPS 8049 WITH SCORE 8058.924
AT ITER 7956 NEW BEST:: SOT 37097 SOS 9933 HAS SOPS 9933 HAS SOUS 8047 HAS SOUPS 8047 WITH SCORE 8056.933
AT ITER 8171 NEW BEST:: SOT 37087 SOS 9931 HAS SOPS 9931 HAS SOUS 8045 HAS SOUPS 8045 WITH SCORE 8054.931
AT ITER 8182 NEW BEST:: SOT 37087 SOS 9931 HAS SOPS 9931 HAS SOUS 8041 HAS SOUPS 8041 WITH SCORE 8050.931
AT ITER 8239 NEW BEST:: SOT 37087 SOS 9925 HAS SOPS 9925 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8044.925
AT ITER 8263 NEW BEST:: SOT 37083 SOS 9921 HAS SOPS 9921 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8044.921
AT ITER 8287 NEW BEST:: SOT 37084 SOS 9896 HAS SOPS 9896 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8044.896
AT ITER 8310 NEW BEST:: SOT 37086 SOS 9898 HAS SOPS 9898 HAS SOUS 8030 HAS SOUPS 8030 WITH SCORE 8039.898
AT ITER 8569 NEW BEST:: SOT 37069 SOS 9878 HAS SOPS 9878 HAS SOUS 8010 HAS SOUPS 8010 WITH SCORE 8019.878
AT ITER 8579 NEW BEST:: SOT 37068 SOS 9876 HAS SOPS 9876 HAS SOUS 8008 HAS SOUPS 8008 WITH SCORE 8017.876
AT ITER 8636 NEW BEST:: SOT 37056 SOS 9852 HAS SOPS 9852 HAS SOUS 8004 HAS SOUPS 8004 WITH SCORE 8013.852
AT ITER 8673 NEW BEST:: SOT 37051 SOS 9847 HAS SOPS 9847 HAS SOUS 8004 HAS SOUPS 8004 WITH SCORE 8013.847
AT ITER 8699 NEW BEST:: SOT 37085 SOS 9865 HAS SOPS 9865 HAS SOUS 7997 HAS SOUPS 7997 WITH SCORE 8006.865
AT ITER 8860 NEW BEST:: SOT 37085 SOS 9864 HAS SOPS 9864 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8005.864
AT ITER 9041 NEW BEST:: SOT 37085 SOS 9864 HAS SOPS 9864 HAS SOUS 7995 HAS SOUPS 7995 WITH SCORE 8004.864
AT ITER 9194 NEW BEST:: SOT 37080 SOS 9863 HAS SOPS 9863 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8003.863
AT ITER 9243 NEW BEST:: SOT 37079 SOS 9861 HAS SOPS 9861 HAS SOUS 7992 HAS SOUPS 7992 WITH SCORE 8001.861
AT ITER 9247 NEW BEST:: SOT 37075 SOS 9849 HAS SOPS 9849 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7997.849
AT ITER 9276 NEW BEST:: SOT 37079 SOS 9845 HAS SOPS 9845 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7997.845
AT ITER 9416 NEW BEST:: SOT 37077 SOS 9843 HAS SOPS 9843 HAS SOUS 7986 HAS SOUPS 7986 WITH SCORE 7995.843
AT ITER 9447 NEW BEST:: SOT 37075 SOS 9841 HAS SOPS 9841 HAS SOUS 7984 HAS SOUPS 7984 WITH SCORE 7993.841
AT ITER 9588 NEW BEST:: SOT 37082 SOS 9848 HAS SOPS 9848 HAS SOUS 7980 HAS SOUPS 7980 WITH SCORE 7989.848
AT ITER 9722 NEW BEST:: SOT 37079 SOS 9842 HAS SOPS 9842 HAS SOUS 7974 HAS SOUPS 7974 WITH SCORE 7983.842
AT ITER 9874 NEW BEST:: SOT 37072 SOS 9835 HAS SOPS 9835 HAS SOUS 7974 HAS SOUPS 7974 WITH SCORE 7983.835
STATE_SPACE STATES 14794040839043 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 31 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 258219153985267 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678468191189

--------------------
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-03"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-03, 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 r035-tajo-167813688200472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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