Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r459-smll-167912651000240.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is SmartHome-PT-11, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651000240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 6.3K Feb 26 05:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 05:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 05:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 05:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 05:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 26 05:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 05:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 05:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 71K Mar 5 18:23 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 1679261402655

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SmartHome-PT-11
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 21:30:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 21:30:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 21:30:05] [INFO ] Load time of PNML (sax parser for PT used): 94 ms
[2023-03-19 21:30:05] [INFO ] Transformed 290 places.
[2023-03-19 21:30:05] [INFO ] Transformed 315 transitions.
[2023-03-19 21:30:05] [INFO ] Found NUPN structural information;
[2023-03-19 21:30:05] [INFO ] Parsed PT model containing 290 places and 315 transitions and 722 arcs in 196 ms.
[2023-03-19 21:30:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 290 places, 315 transitions and 722 arcs took 8 ms.
Total runtime 248 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 11
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 290 places, 315 transitions, 722 arcs.
AT ITER 0 NEW BEST:: SOT 55680 SOS 14283 HAS SOPS 14283 HAS SOUS 13862 HAS SOUPS 13862 WITH SCORE 13876.283
AT ITER 31 NEW BEST:: SOT 55646 SOS 14266 HAS SOPS 14266 HAS SOUS 13845 HAS SOUPS 13845 WITH SCORE 13859.266
AT ITER 38 NEW BEST:: SOT 55606 SOS 14206 HAS SOPS 14206 HAS SOUS 13785 HAS SOUPS 13785 WITH SCORE 13799.206
AT ITER 45 NEW BEST:: SOT 54918 SOS 15122 HAS SOPS 15122 HAS SOUS 13313 HAS SOUPS 13313 WITH SCORE 13328.122
AT ITER 46 NEW BEST:: SOT 54928 SOS 15114 HAS SOPS 15114 HAS SOUS 13303 HAS SOUPS 13303 WITH SCORE 13318.114
AT ITER 57 NEW BEST:: SOT 54946 SOS 15078 HAS SOPS 15078 HAS SOUS 13278 HAS SOUPS 13278 WITH SCORE 13293.078
AT ITER 61 NEW BEST:: SOT 54674 SOS 15194 HAS SOPS 15194 HAS SOUS 13083 HAS SOUPS 13083 WITH SCORE 13098.194
AT ITER 71 NEW BEST:: SOT 54673 SOS 15177 HAS SOPS 15177 HAS SOUS 13066 HAS SOUPS 13066 WITH SCORE 13081.177
AT ITER 77 NEW BEST:: SOT 54669 SOS 15169 HAS SOPS 15169 HAS SOUS 13025 HAS SOUPS 13025 WITH SCORE 13040.169
AT ITER 96 NEW BEST:: SOT 54602 SOS 15056 HAS SOPS 15056 HAS SOUS 12905 HAS SOUPS 12905 WITH SCORE 12920.056
AT ITER 98 NEW BEST:: SOT 54585 SOS 14942 HAS SOPS 14942 HAS SOUS 12836 HAS SOUPS 12836 WITH SCORE 12850.942
AT ITER 107 NEW BEST:: SOT 54589 SOS 14917 HAS SOPS 14917 HAS SOUS 12811 HAS SOUPS 12811 WITH SCORE 12825.917
AT ITER 112 NEW BEST:: SOT 54621 SOS 14924 HAS SOPS 14924 HAS SOUS 12786 HAS SOUPS 12786 WITH SCORE 12800.924
AT ITER 119 NEW BEST:: SOT 54620 SOS 14922 HAS SOPS 14922 HAS SOUS 12784 HAS SOUPS 12784 WITH SCORE 12798.922
AT ITER 133 NEW BEST:: SOT 54592 SOS 14838 HAS SOPS 14838 HAS SOUS 12723 HAS SOUPS 12723 WITH SCORE 12737.838
AT ITER 148 NEW BEST:: SOT 54557 SOS 14768 HAS SOPS 14768 HAS SOUS 12688 HAS SOUPS 12688 WITH SCORE 12702.768
AT ITER 165 NEW BEST:: SOT 54555 SOS 14764 HAS SOPS 14764 HAS SOUS 12686 HAS SOUPS 12686 WITH SCORE 12700.764
AT ITER 167 NEW BEST:: SOT 54555 SOS 14730 HAS SOPS 14730 HAS SOUS 12652 HAS SOUPS 12652 WITH SCORE 12666.73
AT ITER 218 NEW BEST:: SOT 54530 SOS 14692 HAS SOPS 14692 HAS SOUS 12639 HAS SOUPS 12639 WITH SCORE 12653.692
AT ITER 222 NEW BEST:: SOT 54474 SOS 14562 HAS SOPS 14562 HAS SOUS 12574 HAS SOUPS 12574 WITH SCORE 12588.562
AT ITER 223 NEW BEST:: SOT 54002 SOS 14518 HAS SOPS 14518 HAS SOUS 12233 HAS SOUPS 12233 WITH SCORE 12247.518
AT ITER 226 NEW BEST:: SOT 53388 SOS 17741 HAS SOPS 17741 HAS SOUS 11987 HAS SOUPS 11987 WITH SCORE 12004.741
AT ITER 234 NEW BEST:: SOT 53388 SOS 15441 HAS SOPS 15441 HAS SOUS 11987 HAS SOUPS 11987 WITH SCORE 12002.441
AT ITER 239 NEW BEST:: SOT 53395 SOS 15435 HAS SOPS 15435 HAS SOUS 11981 HAS SOUPS 11981 WITH SCORE 11996.435
AT ITER 243 NEW BEST:: SOT 53165 SOS 16050 HAS SOPS 16050 HAS SOUS 11910 HAS SOUPS 11910 WITH SCORE 11926.05
AT ITER 249 NEW BEST:: SOT 53152 SOS 16037 HAS SOPS 16037 HAS SOUS 11897 HAS SOUPS 11897 WITH SCORE 11913.037
AT ITER 256 NEW BEST:: SOT 53152 SOS 16037 HAS SOPS 16037 HAS SOUS 11894 HAS SOUPS 11894 WITH SCORE 11910.037
AT ITER 261 NEW BEST:: SOT 53130 SOS 16015 HAS SOPS 16015 HAS SOUS 11883 HAS SOUPS 11883 WITH SCORE 11899.015
AT ITER 262 NEW BEST:: SOT 53078 SOS 15963 HAS SOPS 15963 HAS SOUS 11864 HAS SOUPS 11864 WITH SCORE 11879.963
AT ITER 266 NEW BEST:: SOT 53078 SOS 15942 HAS SOPS 15942 HAS SOUS 11864 HAS SOUPS 11864 WITH SCORE 11879.942
AT ITER 269 NEW BEST:: SOT 53070 SOS 15926 HAS SOPS 15926 HAS SOUS 11856 HAS SOUPS 11856 WITH SCORE 11871.926
AT ITER 272 NEW BEST:: SOT 52960 SOS 15848 HAS SOPS 15848 HAS SOUS 11838 HAS SOUPS 11838 WITH SCORE 11853.848
AT ITER 273 NEW BEST:: SOT 52982 SOS 15782 HAS SOPS 15782 HAS SOUS 11806 HAS SOUPS 11806 WITH SCORE 11821.782
AT ITER 276 NEW BEST:: SOT 52982 SOS 15782 HAS SOPS 15782 HAS SOUS 11742 HAS SOUPS 11742 WITH SCORE 11757.782
AT ITER 281 NEW BEST:: SOT 52984 SOS 15784 HAS SOPS 15784 HAS SOUS 11741 HAS SOUPS 11741 WITH SCORE 11756.784
AT ITER 293 NEW BEST:: SOT 53034 SOS 15834 HAS SOPS 15834 HAS SOUS 11717 HAS SOUPS 11717 WITH SCORE 11732.834
AT ITER 301 NEW BEST:: SOT 53030 SOS 15826 HAS SOPS 15826 HAS SOUS 11709 HAS SOUPS 11709 WITH SCORE 11724.826
AT ITER 309 NEW BEST:: SOT 52930 SOS 15760 HAS SOPS 15760 HAS SOUS 11690 HAS SOUPS 11690 WITH SCORE 11705.76
AT ITER 311 NEW BEST:: SOT 52896 SOS 15726 HAS SOPS 15726 HAS SOUS 11656 HAS SOUPS 11656 WITH SCORE 11671.726
AT ITER 320 NEW BEST:: SOT 52876 SOS 15696 HAS SOPS 15696 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11641.696
AT ITER 323 NEW BEST:: SOT 52858 SOS 15660 HAS SOPS 15660 HAS SOUS 11590 HAS SOUPS 11590 WITH SCORE 11605.66
AT ITER 337 NEW BEST:: SOT 52830 SOS 15632 HAS SOPS 15632 HAS SOUS 11568 HAS SOUPS 11568 WITH SCORE 11583.632
AT ITER 345 NEW BEST:: SOT 52833 SOS 15634 HAS SOPS 15634 HAS SOUS 11567 HAS SOUPS 11567 WITH SCORE 11582.634
AT ITER 348 NEW BEST:: SOT 52792 SOS 15575 HAS SOPS 15575 HAS SOUS 11503 HAS SOUPS 11503 WITH SCORE 11518.575
AT ITER 353 NEW BEST:: SOT 52770 SOS 15531 HAS SOPS 15531 HAS SOUS 11481 HAS SOUPS 11481 WITH SCORE 11496.531
AT ITER 357 NEW BEST:: SOT 52781 SOS 15509 HAS SOPS 15509 HAS SOUS 11459 HAS SOUPS 11459 WITH SCORE 11474.509
AT ITER 360 NEW BEST:: SOT 52746 SOS 15439 HAS SOPS 15439 HAS SOUS 11400 HAS SOUPS 11400 WITH SCORE 11415.439
AT ITER 386 NEW BEST:: SOT 52739 SOS 15425 HAS SOPS 15425 HAS SOUS 11386 HAS SOUPS 11386 WITH SCORE 11401.425
AT ITER 388 NEW BEST:: SOT 52695 SOS 15360 HAS SOPS 15360 HAS SOUS 11352 HAS SOUPS 11352 WITH SCORE 11367.36
AT ITER 399 NEW BEST:: SOT 52671 SOS 15312 HAS SOPS 15312 HAS SOUS 11304 HAS SOUPS 11304 WITH SCORE 11319.312
AT ITER 400 NEW BEST:: SOT 52669 SOS 15262 HAS SOPS 15262 HAS SOUS 11265 HAS SOUPS 11265 WITH SCORE 11280.262
AT ITER 403 NEW BEST:: SOT 52650 SOS 15243 HAS SOPS 15243 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11261.243
AT ITER 409 NEW BEST:: SOT 52571 SOS 15160 HAS SOPS 15160 HAS SOUS 11186 HAS SOUPS 11186 WITH SCORE 11201.16
AT ITER 413 NEW BEST:: SOT 52546 SOS 15110 HAS SOPS 15110 HAS SOUS 11147 HAS SOUPS 11147 WITH SCORE 11162.11
AT ITER 423 NEW BEST:: SOT 52545 SOS 15108 HAS SOPS 15108 HAS SOUS 11145 HAS SOUPS 11145 WITH SCORE 11160.108
AT ITER 426 NEW BEST:: SOT 52545 SOS 15079 HAS SOPS 15079 HAS SOUS 11116 HAS SOUPS 11116 WITH SCORE 11131.079
AT ITER 434 NEW BEST:: SOT 52552 SOS 14978 HAS SOPS 14978 HAS SOUS 11036 HAS SOUPS 11036 WITH SCORE 11050.978
AT ITER 451 NEW BEST:: SOT 52512 SOS 14938 HAS SOPS 14938 HAS SOUS 10996 HAS SOUPS 10996 WITH SCORE 11010.938
AT ITER 475 NEW BEST:: SOT 52504 SOS 14928 HAS SOPS 14928 HAS SOUS 10986 HAS SOUPS 10986 WITH SCORE 11000.928
AT ITER 484 NEW BEST:: SOT 52464 SOS 14870 HAS SOPS 14870 HAS SOUS 10928 HAS SOUPS 10928 WITH SCORE 10942.87
AT ITER 496 NEW BEST:: SOT 52176 SOS 14863 HAS SOPS 14863 HAS SOUS 10663 HAS SOUPS 10663 WITH SCORE 10677.863
AT ITER 497 NEW BEST:: SOT 52126 SOS 14763 HAS SOPS 14763 HAS SOUS 10613 HAS SOUPS 10613 WITH SCORE 10627.763
AT ITER 503 NEW BEST:: SOT 52097 SOS 14705 HAS SOPS 14705 HAS SOUS 10611 HAS SOUPS 10611 WITH SCORE 10625.705
AT ITER 508 NEW BEST:: SOT 52093 SOS 14639 HAS SOPS 14639 HAS SOUS 10601 HAS SOUPS 10601 WITH SCORE 10615.639
AT ITER 522 NEW BEST:: SOT 52031 SOS 14515 HAS SOPS 14515 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10538.515
AT ITER 524 NEW BEST:: SOT 51721 SOS 14722 HAS SOPS 14722 HAS SOUS 10257 HAS SOUPS 10257 WITH SCORE 10271.722
AT ITER 549 NEW BEST:: SOT 51713 SOS 14714 HAS SOPS 14714 HAS SOUS 10249 HAS SOUPS 10249 WITH SCORE 10263.714
AT ITER 553 NEW BEST:: SOT 51692 SOS 14690 HAS SOPS 14690 HAS SOUS 10239 HAS SOUPS 10239 WITH SCORE 10253.69
AT ITER 554 NEW BEST:: SOT 51692 SOS 14690 HAS SOPS 14690 HAS SOUS 10221 HAS SOUPS 10221 WITH SCORE 10235.69
AT ITER 568 NEW BEST:: SOT 51691 SOS 14689 HAS SOPS 14689 HAS SOUS 10220 HAS SOUPS 10220 WITH SCORE 10234.689
AT ITER 576 NEW BEST:: SOT 51666 SOS 14639 HAS SOPS 14639 HAS SOUS 10195 HAS SOUPS 10195 WITH SCORE 10209.639
AT ITER 594 NEW BEST:: SOT 51666 SOS 14636 HAS SOPS 14636 HAS SOUS 10169 HAS SOUPS 10169 WITH SCORE 10183.636
AT ITER 619 NEW BEST:: SOT 51650 SOS 14620 HAS SOPS 14620 HAS SOUS 10153 HAS SOUPS 10153 WITH SCORE 10167.62
AT ITER 644 NEW BEST:: SOT 51594 SOS 14564 HAS SOPS 14564 HAS SOUS 10140 HAS SOUPS 10140 WITH SCORE 10154.564
AT ITER 653 NEW BEST:: SOT 51594 SOS 14564 HAS SOPS 14564 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10134.564
AT ITER 673 NEW BEST:: SOT 51554 SOS 15004 HAS SOPS 15004 HAS SOUS 10099 HAS SOUPS 10099 WITH SCORE 10114.004
AT ITER 739 NEW BEST:: SOT 51535 SOS 15000 HAS SOPS 15000 HAS SOUS 10095 HAS SOUPS 10095 WITH SCORE 10110.0
AT ITER 743 NEW BEST:: SOT 51521 SOS 14986 HAS SOPS 14986 HAS SOUS 10067 HAS SOUPS 10067 WITH SCORE 10081.986
AT ITER 751 NEW BEST:: SOT 51469 SOS 14927 HAS SOPS 14927 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10022.927
AT ITER 753 NEW BEST:: SOT 51451 SOS 14891 HAS SOPS 14891 HAS SOUS 9956 HAS SOUPS 9956 WITH SCORE 9970.891
AT ITER 757 NEW BEST:: SOT 51426 SOS 14866 HAS SOPS 14866 HAS SOUS 9953 HAS SOUPS 9953 WITH SCORE 9967.866
AT ITER 759 NEW BEST:: SOT 51407 SOS 14864 HAS SOPS 14864 HAS SOUS 9951 HAS SOUPS 9951 WITH SCORE 9965.864
AT ITER 771 NEW BEST:: SOT 51365 SOS 14780 HAS SOPS 14780 HAS SOUS 9936 HAS SOUPS 9936 WITH SCORE 9950.78
AT ITER 781 NEW BEST:: SOT 51368 SOS 14779 HAS SOPS 14779 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9949.779
AT ITER 783 NEW BEST:: SOT 51367 SOS 14777 HAS SOPS 14777 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9947.777
AT ITER 787 NEW BEST:: SOT 51391 SOS 14657 HAS SOPS 14657 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9947.657
AT ITER 799 NEW BEST:: SOT 51312 SOS 14613 HAS SOPS 14613 HAS SOUS 9929 HAS SOUPS 9929 WITH SCORE 9943.613
AT ITER 808 NEW BEST:: SOT 51301 SOS 14162 HAS SOPS 14162 HAS SOUS 9906 HAS SOUPS 9906 WITH SCORE 9920.162
AT ITER 815 NEW BEST:: SOT 51281 SOS 14122 HAS SOPS 14122 HAS SOUS 9891 HAS SOUPS 9891 WITH SCORE 9905.122
AT ITER 825 NEW BEST:: SOT 51259 SOS 13975 HAS SOPS 13975 HAS SOUS 9764 HAS SOUPS 9764 WITH SCORE 9777.975
AT ITER 836 NEW BEST:: SOT 51241 SOS 13948 HAS SOPS 13948 HAS SOUS 9737 HAS SOUPS 9737 WITH SCORE 9750.948
AT ITER 855 NEW BEST:: SOT 51237 SOS 13940 HAS SOPS 13940 HAS SOUS 9729 HAS SOUPS 9729 WITH SCORE 9742.94
AT ITER 883 NEW BEST:: SOT 51203 SOS 13872 HAS SOPS 13872 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9674.872
AT ITER 892 NEW BEST:: SOT 51188 SOS 13850 HAS SOPS 13850 HAS SOUS 9646 HAS SOUPS 9646 WITH SCORE 9659.85
AT ITER 897 NEW BEST:: SOT 51149 SOS 13772 HAS SOPS 13772 HAS SOUS 9568 HAS SOUPS 9568 WITH SCORE 9581.772
AT ITER 907 NEW BEST:: SOT 51129 SOS 13732 HAS SOPS 13732 HAS SOUS 9518 HAS SOUPS 9518 WITH SCORE 9531.732
AT ITER 926 NEW BEST:: SOT 51107 SOS 13688 HAS SOPS 13688 HAS SOUS 9496 HAS SOUPS 9496 WITH SCORE 9509.688
AT ITER 934 NEW BEST:: SOT 51087 SOS 13648 HAS SOPS 13648 HAS SOUS 9459 HAS SOUPS 9459 WITH SCORE 9472.648
AT ITER 946 NEW BEST:: SOT 51079 SOS 13632 HAS SOPS 13632 HAS SOUS 9435 HAS SOUPS 9435 WITH SCORE 9448.632
AT ITER 951 NEW BEST:: SOT 51067 SOS 13620 HAS SOPS 13620 HAS SOUS 9434 HAS SOUPS 9434 WITH SCORE 9447.62
AT ITER 954 NEW BEST:: SOT 51064 SOS 13614 HAS SOPS 13614 HAS SOUS 9431 HAS SOUPS 9431 WITH SCORE 9444.614
AT ITER 961 NEW BEST:: SOT 51055 SOS 13605 HAS SOPS 13605 HAS SOUS 9431 HAS SOUPS 9431 WITH SCORE 9444.605
AT ITER 969 NEW BEST:: SOT 51049 SOS 13596 HAS SOPS 13596 HAS SOUS 9422 HAS SOUPS 9422 WITH SCORE 9435.596
AT ITER 979 NEW BEST:: SOT 51009 SOS 13516 HAS SOPS 13516 HAS SOUS 9391 HAS SOUPS 9391 WITH SCORE 9404.516
AT ITER 988 NEW BEST:: SOT 50996 SOS 13492 HAS SOPS 13492 HAS SOUS 9380 HAS SOUPS 9380 WITH SCORE 9393.492
AT ITER 995 NEW BEST:: SOT 50995 SOS 13490 HAS SOPS 13490 HAS SOUS 9379 HAS SOUPS 9379 WITH SCORE 9392.49
AT ITER 1004 NEW BEST:: SOT 50979 SOS 13458 HAS SOPS 13458 HAS SOUS 9347 HAS SOUPS 9347 WITH SCORE 9360.458
AT ITER 1006 NEW BEST:: SOT 50904 SOS 13464 HAS SOPS 13464 HAS SOUS 9272 HAS SOUPS 9272 WITH SCORE 9285.464
AT ITER 1019 NEW BEST:: SOT 50897 SOS 13450 HAS SOPS 13450 HAS SOUS 9258 HAS SOUPS 9258 WITH SCORE 9271.45
AT ITER 1035 NEW BEST:: SOT 50908 SOS 13461 HAS SOPS 13461 HAS SOUS 9247 HAS SOUPS 9247 WITH SCORE 9260.461
AT ITER 1037 NEW BEST:: SOT 50891 SOS 13427 HAS SOPS 13427 HAS SOUS 9213 HAS SOUPS 9213 WITH SCORE 9226.427
AT ITER 1070 NEW BEST:: SOT 50908 SOS 13444 HAS SOPS 13444 HAS SOUS 9203 HAS SOUPS 9203 WITH SCORE 9216.444
AT ITER 1076 NEW BEST:: SOT 50907 SOS 13442 HAS SOPS 13442 HAS SOUS 9202 HAS SOUPS 9202 WITH SCORE 9215.442
AT ITER 1079 NEW BEST:: SOT 50894 SOS 13412 HAS SOPS 13412 HAS SOUS 9191 HAS SOUPS 9191 WITH SCORE 9204.412
AT ITER 1083 NEW BEST:: SOT 50887 SOS 13398 HAS SOPS 13398 HAS SOUS 9177 HAS SOUPS 9177 WITH SCORE 9190.398
AT ITER 1093 NEW BEST:: SOT 50878 SOS 13404 HAS SOPS 13404 HAS SOUS 9138 HAS SOUPS 9138 WITH SCORE 9151.404
AT ITER 1105 NEW BEST:: SOT 50870 SOS 13388 HAS SOPS 13388 HAS SOUS 9122 HAS SOUPS 9122 WITH SCORE 9135.388
AT ITER 1107 NEW BEST:: SOT 50957 SOS 13361 HAS SOPS 13361 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9108.361
AT ITER 1115 NEW BEST:: SOT 50956 SOS 13360 HAS SOPS 13360 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9108.36
AT ITER 1127 NEW BEST:: SOT 50797 SOS 13222 HAS SOPS 13222 HAS SOUS 9038 HAS SOUPS 9038 WITH SCORE 9051.222
AT ITER 1136 NEW BEST:: SOT 50797 SOS 13194 HAS SOPS 13194 HAS SOUS 9036 HAS SOUPS 9036 WITH SCORE 9049.194
AT ITER 1137 NEW BEST:: SOT 50750 SOS 13164 HAS SOPS 13164 HAS SOUS 9006 HAS SOUPS 9006 WITH SCORE 9019.164
AT ITER 1139 NEW BEST:: SOT 50708 SOS 13080 HAS SOPS 13080 HAS SOUS 8961 HAS SOUPS 8961 WITH SCORE 8974.08
AT ITER 1142 NEW BEST:: SOT 50706 SOS 13076 HAS SOPS 13076 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8973.076
AT ITER 1171 NEW BEST:: SOT 50717 SOS 13069 HAS SOPS 13069 HAS SOUS 8953 HAS SOUPS 8953 WITH SCORE 8966.069
AT ITER 1187 NEW BEST:: SOT 50717 SOS 13025 HAS SOPS 13025 HAS SOUS 8931 HAS SOUPS 8931 WITH SCORE 8944.025
AT ITER 1198 NEW BEST:: SOT 50723 SOS 12993 HAS SOPS 12993 HAS SOUS 8914 HAS SOUPS 8914 WITH SCORE 8926.993
AT ITER 1210 NEW BEST:: SOT 50694 SOS 12935 HAS SOPS 12935 HAS SOUS 8885 HAS SOUPS 8885 WITH SCORE 8897.935
AT ITER 1224 NEW BEST:: SOT 50694 SOS 12905 HAS SOPS 12905 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8882.905
AT ITER 1233 NEW BEST:: SOT 50685 SOS 12896 HAS SOPS 12896 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8882.896
AT ITER 1239 NEW BEST:: SOT 50679 SOS 12884 HAS SOPS 12884 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8876.884
AT ITER 1246 NEW BEST:: SOT 50675 SOS 12880 HAS SOPS 12880 HAS SOUS 8860 HAS SOUPS 8860 WITH SCORE 8872.88
AT ITER 1259 NEW BEST:: SOT 50659 SOS 12876 HAS SOPS 12876 HAS SOUS 8840 HAS SOUPS 8840 WITH SCORE 8852.876
AT ITER 1264 NEW BEST:: SOT 50675 SOS 12866 HAS SOPS 12866 HAS SOUS 8831 HAS SOUPS 8831 WITH SCORE 8843.866
AT ITER 1269 NEW BEST:: SOT 50660 SOS 12880 HAS SOPS 12880 HAS SOUS 8823 HAS SOUPS 8823 WITH SCORE 8835.88
AT ITER 1287 NEW BEST:: SOT 50648 SOS 12856 HAS SOPS 12856 HAS SOUS 8799 HAS SOUPS 8799 WITH SCORE 8811.856
AT ITER 1289 NEW BEST:: SOT 50635 SOS 12830 HAS SOPS 12830 HAS SOUS 8791 HAS SOUPS 8791 WITH SCORE 8803.83
AT ITER 1298 NEW BEST:: SOT 50635 SOS 12830 HAS SOPS 12830 HAS SOUS 8784 HAS SOUPS 8784 WITH SCORE 8796.83
AT ITER 1314 NEW BEST:: SOT 50643 SOS 12822 HAS SOPS 12822 HAS SOUS 8773 HAS SOUPS 8773 WITH SCORE 8785.822
AT ITER 1327 NEW BEST:: SOT 50635 SOS 12816 HAS SOPS 12816 HAS SOUS 8766 HAS SOUPS 8766 WITH SCORE 8778.816
AT ITER 1341 NEW BEST:: SOT 50618 SOS 12799 HAS SOPS 12799 HAS SOUS 8766 HAS SOUPS 8766 WITH SCORE 8778.799
AT ITER 1347 NEW BEST:: SOT 50615 SOS 12796 HAS SOPS 12796 HAS SOUS 8740 HAS SOUPS 8740 WITH SCORE 8752.796
AT ITER 1349 NEW BEST:: SOT 50584 SOS 12734 HAS SOPS 12734 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8690.734
AT ITER 1368 NEW BEST:: SOT 50584 SOS 12730 HAS SOPS 12730 HAS SOUS 8674 HAS SOUPS 8674 WITH SCORE 8686.73
AT ITER 1389 NEW BEST:: SOT 50556 SOS 12668 HAS SOPS 12668 HAS SOUS 8629 HAS SOUPS 8629 WITH SCORE 8641.668
AT ITER 1391 NEW BEST:: SOT 50556 SOS 12681 HAS SOPS 12681 HAS SOUS 8624 HAS SOUPS 8624 WITH SCORE 8636.681
AT ITER 1398 NEW BEST:: SOT 50543 SOS 12655 HAS SOPS 12655 HAS SOUS 8611 HAS SOUPS 8611 WITH SCORE 8623.655
AT ITER 1403 NEW BEST:: SOT 50542 SOS 12653 HAS SOPS 12653 HAS SOUS 8609 HAS SOUPS 8609 WITH SCORE 8621.653
AT ITER 1444 NEW BEST:: SOT 50492 SOS 12626 HAS SOPS 12626 HAS SOUS 8535 HAS SOUPS 8535 WITH SCORE 8547.626
AT ITER 1466 NEW BEST:: SOT 50471 SOS 12605 HAS SOPS 12605 HAS SOUS 8535 HAS SOUPS 8535 WITH SCORE 8547.605
AT ITER 1478 NEW BEST:: SOT 50448 SOS 12577 HAS SOPS 12577 HAS SOUS 8512 HAS SOUPS 8512 WITH SCORE 8524.577
AT ITER 1481 NEW BEST:: SOT 50426 SOS 12533 HAS SOPS 12533 HAS SOUS 8484 HAS SOUPS 8484 WITH SCORE 8496.533
AT ITER 1500 NEW BEST:: SOT 50425 SOS 12531 HAS SOPS 12531 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8483.531
AT ITER 1510 NEW BEST:: SOT 50388 SOS 12489 HAS SOPS 12489 HAS SOUS 8429 HAS SOUPS 8429 WITH SCORE 8441.489
AT ITER 1511 NEW BEST:: SOT 50368 SOS 12449 HAS SOPS 12449 HAS SOUS 8420 HAS SOUPS 8420 WITH SCORE 8432.449
AT ITER 1526 NEW BEST:: SOT 50377 SOS 12467 HAS SOPS 12467 HAS SOUS 8418 HAS SOUPS 8418 WITH SCORE 8430.467
AT ITER 1528 NEW BEST:: SOT 50404 SOS 12494 HAS SOPS 12494 HAS SOUS 8394 HAS SOUPS 8394 WITH SCORE 8406.494
AT ITER 1533 NEW BEST:: SOT 50344 SOS 12374 HAS SOPS 12374 HAS SOUS 8334 HAS SOUPS 8334 WITH SCORE 8346.374
AT ITER 1542 NEW BEST:: SOT 50215 SOS 12203 HAS SOPS 12203 HAS SOUS 8205 HAS SOUPS 8205 WITH SCORE 8217.203
AT ITER 1562 NEW BEST:: SOT 50215 SOS 12199 HAS SOPS 12199 HAS SOUS 8201 HAS SOUPS 8201 WITH SCORE 8213.199
AT ITER 1572 NEW BEST:: SOT 50186 SOS 12170 HAS SOPS 12170 HAS SOUS 8172 HAS SOUPS 8172 WITH SCORE 8184.17
AT ITER 1579 NEW BEST:: SOT 50185 SOS 12166 HAS SOPS 12166 HAS SOUS 8169 HAS SOUPS 8169 WITH SCORE 8181.166
AT ITER 1649 NEW BEST:: SOT 50196 SOS 12164 HAS SOPS 12164 HAS SOUS 8156 HAS SOUPS 8156 WITH SCORE 8168.164
AT ITER 1680 NEW BEST:: SOT 50176 SOS 12159 HAS SOPS 12159 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8144.159
AT ITER 1698 NEW BEST:: SOT 50163 SOS 12135 HAS SOPS 12135 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8144.135
AT ITER 1715 NEW BEST:: SOT 50158 SOS 12130 HAS SOPS 12130 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8139.13
AT ITER 1728 NEW BEST:: SOT 50140 SOS 12106 HAS SOPS 12106 HAS SOUS 8109 HAS SOUPS 8109 WITH SCORE 8121.106
AT ITER 1730 NEW BEST:: SOT 50118 SOS 12063 HAS SOPS 12063 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8102.063
AT ITER 1737 NEW BEST:: SOT 50116 SOS 12061 HAS SOPS 12061 HAS SOUS 8089 HAS SOUPS 8089 WITH SCORE 8101.061
AT ITER 1739 NEW BEST:: SOT 50094 SOS 12030 HAS SOPS 12030 HAS SOUS 8064 HAS SOUPS 8064 WITH SCORE 8076.03
AT ITER 1786 NEW BEST:: SOT 50092 SOS 12028 HAS SOPS 12028 HAS SOUS 8063 HAS SOUPS 8063 WITH SCORE 8075.028
AT ITER 1846 NEW BEST:: SOT 50088 SOS 12020 HAS SOPS 12020 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8067.02
AT ITER 1851 NEW BEST:: SOT 50074 SOS 11992 HAS SOPS 11992 HAS SOUS 8016 HAS SOUPS 8016 WITH SCORE 8027.992
AT ITER 1862 NEW BEST:: SOT 50081 SOS 12006 HAS SOPS 12006 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8026.006
AT ITER 1863 NEW BEST:: SOT 50056 SOS 11956 HAS SOPS 11956 HAS SOUS 7983 HAS SOUPS 7983 WITH SCORE 7994.956
AT ITER 1872 NEW BEST:: SOT 50058 SOS 11951 HAS SOPS 11951 HAS SOUS 7977 HAS SOUPS 7977 WITH SCORE 7988.951
AT ITER 1930 NEW BEST:: SOT 50062 SOS 11979 HAS SOPS 11979 HAS SOUS 7969 HAS SOUPS 7969 WITH SCORE 7980.979
AT ITER 1974 NEW BEST:: SOT 50005 SOS 12165 HAS SOPS 12165 HAS SOUS 7965 HAS SOUPS 7965 WITH SCORE 7977.165
AT ITER 1994 NEW BEST:: SOT 49983 SOS 12143 HAS SOPS 12143 HAS SOUS 7965 HAS SOUPS 7965 WITH SCORE 7977.143
AT ITER 2030 NEW BEST:: SOT 49983 SOS 12142 HAS SOPS 12142 HAS SOUS 7964 HAS SOUPS 7964 WITH SCORE 7976.142
AT ITER 2039 NEW BEST:: SOT 49975 SOS 12133 HAS SOPS 12133 HAS SOUS 7955 HAS SOUPS 7955 WITH SCORE 7967.133
AT ITER 2062 NEW BEST:: SOT 50008 SOS 12073 HAS SOPS 12073 HAS SOUS 7916 HAS SOUPS 7916 WITH SCORE 7928.073
AT ITER 2069 NEW BEST:: SOT 50005 SOS 12051 HAS SOPS 12051 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7922.051
AT ITER 2083 NEW BEST:: SOT 49993 SOS 12039 HAS SOPS 12039 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7922.039
AT ITER 2092 NEW BEST:: SOT 49992 SOS 12035 HAS SOPS 12035 HAS SOUS 7909 HAS SOUPS 7909 WITH SCORE 7921.035
AT ITER 2192 NEW BEST:: SOT 49986 SOS 12086 HAS SOPS 12086 HAS SOUS 7900 HAS SOUPS 7900 WITH SCORE 7912.086
AT ITER 2246 NEW BEST:: SOT 49986 SOS 12080 HAS SOPS 12080 HAS SOUS 7900 HAS SOUPS 7900 WITH SCORE 7912.08
AT ITER 2247 NEW BEST:: SOT 49980 SOS 12074 HAS SOPS 12074 HAS SOUS 7894 HAS SOUPS 7894 WITH SCORE 7906.074
AT ITER 2260 NEW BEST:: SOT 49985 SOS 12045 HAS SOPS 12045 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7877.045
AT ITER 2275 NEW BEST:: SOT 49985 SOS 12035 HAS SOPS 12035 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7877.035
AT ITER 2283 NEW BEST:: SOT 49982 SOS 12029 HAS SOPS 12029 HAS SOUS 7859 HAS SOUPS 7859 WITH SCORE 7871.029
AT ITER 2291 NEW BEST:: SOT 49982 SOS 11977 HAS SOPS 11977 HAS SOUS 7816 HAS SOUPS 7816 WITH SCORE 7827.977
AT ITER 2298 NEW BEST:: SOT 49950 SOS 11945 HAS SOPS 11945 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7795.945
AT ITER 2313 NEW BEST:: SOT 49939 SOS 11934 HAS SOPS 11934 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7795.934
AT ITER 2365 NEW BEST:: SOT 49893 SOS 11815 HAS SOPS 11815 HAS SOUS 7683 HAS SOUPS 7683 WITH SCORE 7694.815
AT ITER 2369 NEW BEST:: SOT 49878 SOS 11799 HAS SOPS 11799 HAS SOUS 7681 HAS SOUPS 7681 WITH SCORE 7692.799
AT ITER 2414 NEW BEST:: SOT 49876 SOS 11797 HAS SOPS 11797 HAS SOUS 7679 HAS SOUPS 7679 WITH SCORE 7690.797
AT ITER 2425 NEW BEST:: SOT 49869 SOS 11776 HAS SOPS 11776 HAS SOUS 7665 HAS SOUPS 7665 WITH SCORE 7676.776
AT ITER 2428 NEW BEST:: SOT 49835 SOS 11629 HAS SOPS 11629 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7645.629
AT ITER 2446 NEW BEST:: SOT 49819 SOS 11605 HAS SOPS 11605 HAS SOUS 7618 HAS SOUPS 7618 WITH SCORE 7629.605
AT ITER 2498 NEW BEST:: SOT 49811 SOS 11593 HAS SOPS 11593 HAS SOUS 7613 HAS SOUPS 7613 WITH SCORE 7624.593
AT ITER 2524 NEW BEST:: SOT 49805 SOS 11587 HAS SOPS 11587 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7618.587
AT ITER 2544 NEW BEST:: SOT 49805 SOS 11584 HAS SOPS 11584 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7615.584
AT ITER 2565 NEW BEST:: SOT 49803 SOS 11582 HAS SOPS 11582 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7613.582
AT ITER 2573 NEW BEST:: SOT 49790 SOS 11556 HAS SOPS 11556 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7613.556
AT ITER 2580 NEW BEST:: SOT 49772 SOS 11520 HAS SOPS 11520 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7595.52
AT ITER 2602 NEW BEST:: SOT 49689 SOS 11456 HAS SOPS 11456 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7527.456
AT ITER 2612 NEW BEST:: SOT 49684 SOS 11446 HAS SOPS 11446 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7517.446
AT ITER 2635 NEW BEST:: SOT 49684 SOS 11415 HAS SOPS 11415 HAS SOUS 7475 HAS SOUPS 7475 WITH SCORE 7486.415
AT ITER 2648 NEW BEST:: SOT 49684 SOS 11407 HAS SOPS 11407 HAS SOUS 7467 HAS SOUPS 7467 WITH SCORE 7478.407
AT ITER 2725 NEW BEST:: SOT 49684 SOS 11407 HAS SOPS 11407 HAS SOUS 7460 HAS SOUPS 7460 WITH SCORE 7471.407
AT ITER 2779 NEW BEST:: SOT 49684 SOS 11406 HAS SOPS 11406 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7470.406
AT ITER 2795 NEW BEST:: SOT 49671 SOS 11393 HAS SOPS 11393 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7453.393
AT ITER 2832 NEW BEST:: SOT 49663 SOS 11385 HAS SOPS 11385 HAS SOUS 7441 HAS SOUPS 7441 WITH SCORE 7452.385
AT ITER 2846 NEW BEST:: SOT 49660 SOS 11379 HAS SOPS 11379 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7442.379
AT ITER 2860 NEW BEST:: SOT 49645 SOS 11349 HAS SOPS 11349 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7427.349
AT ITER 2881 NEW BEST:: SOT 49648 SOS 11350 HAS SOPS 11350 HAS SOUS 7412 HAS SOUPS 7412 WITH SCORE 7423.35
AT ITER 2887 NEW BEST:: SOT 49634 SOS 11329 HAS SOPS 11329 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7402.329
AT ITER 2893 NEW BEST:: SOT 49639 SOS 11326 HAS SOPS 11326 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7400.326
AT ITER 2901 NEW BEST:: SOT 49639 SOS 11326 HAS SOPS 11326 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7371.326
AT ITER 2942 NEW BEST:: SOT 49638 SOS 11314 HAS SOPS 11314 HAS SOUS 7358 HAS SOUPS 7358 WITH SCORE 7369.314
AT ITER 2946 NEW BEST:: SOT 49627 SOS 11314 HAS SOPS 11314 HAS SOUS 7356 HAS SOUPS 7356 WITH SCORE 7367.314
AT ITER 3002 NEW BEST:: SOT 49628 SOS 11315 HAS SOPS 11315 HAS SOUS 7349 HAS SOUPS 7349 WITH SCORE 7360.315
AT ITER 3004 NEW BEST:: SOT 49623 SOS 11285 HAS SOPS 11285 HAS SOUS 7339 HAS SOUPS 7339 WITH SCORE 7350.285
AT ITER 3020 NEW BEST:: SOT 49623 SOS 11248 HAS SOPS 11248 HAS SOUS 7339 HAS SOUPS 7339 WITH SCORE 7350.248
AT ITER 3039 NEW BEST:: SOT 49568 SOS 11138 HAS SOPS 11138 HAS SOUS 7274 HAS SOUPS 7274 WITH SCORE 7285.138
AT ITER 3087 NEW BEST:: SOT 49558 SOS 11043 HAS SOPS 11043 HAS SOUS 7245 HAS SOUPS 7245 WITH SCORE 7256.043
AT ITER 3112 NEW BEST:: SOT 49560 SOS 11042 HAS SOPS 11042 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7253.042
AT ITER 3130 NEW BEST:: SOT 49559 SOS 11041 HAS SOPS 11041 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7253.041
AT ITER 3165 NEW BEST:: SOT 49554 SOS 11031 HAS SOPS 11031 HAS SOUS 7232 HAS SOUPS 7232 WITH SCORE 7243.031
AT ITER 3173 NEW BEST:: SOT 49535 SOS 10974 HAS SOPS 10974 HAS SOUS 7175 HAS SOUPS 7175 WITH SCORE 7185.974
AT ITER 3176 NEW BEST:: SOT 49523 SOS 10968 HAS SOPS 10968 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7179.968
AT ITER 3183 NEW BEST:: SOT 49508 SOS 10952 HAS SOPS 10952 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7156.952
AT ITER 3214 NEW BEST:: SOT 49512 SOS 10944 HAS SOPS 10944 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7155.944
AT ITER 3240 NEW BEST:: SOT 49490 SOS 10900 HAS SOPS 10900 HAS SOUS 7102 HAS SOUPS 7102 WITH SCORE 7112.9
AT ITER 3260 NEW BEST:: SOT 49477 SOS 10848 HAS SOPS 10848 HAS SOUS 7069 HAS SOUPS 7069 WITH SCORE 7079.848
AT ITER 3266 NEW BEST:: SOT 49468 SOS 10950 HAS SOPS 10950 HAS SOUS 7060 HAS SOUPS 7060 WITH SCORE 7070.95
AT ITER 3286 NEW BEST:: SOT 49468 SOS 10930 HAS SOPS 10930 HAS SOUS 7040 HAS SOUPS 7040 WITH SCORE 7050.93
AT ITER 3304 NEW BEST:: SOT 49468 SOS 10916 HAS SOPS 10916 HAS SOUS 7033 HAS SOUPS 7033 WITH SCORE 7043.916
AT ITER 3380 NEW BEST:: SOT 49468 SOS 10919 HAS SOPS 10919 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7040.919
AT ITER 3395 NEW BEST:: SOT 49439 SOS 10890 HAS SOPS 10890 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7040.89
AT ITER 3479 NEW BEST:: SOT 49419 SOS 10832 HAS SOPS 10832 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7004.832
AT ITER 3495 NEW BEST:: SOT 49415 SOS 10824 HAS SOPS 10824 HAS SOUS 6989 HAS SOUPS 6989 WITH SCORE 6999.824
AT ITER 3513 NEW BEST:: SOT 49414 SOS 10822 HAS SOPS 10822 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 6998.822
AT ITER 3526 NEW BEST:: SOT 49385 SOS 10795 HAS SOPS 10795 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6993.795
AT ITER 3559 NEW BEST:: SOT 49385 SOS 10793 HAS SOPS 10793 HAS SOUS 6981 HAS SOUPS 6981 WITH SCORE 6991.793
AT ITER 3642 NEW BEST:: SOT 49381 SOS 10791 HAS SOPS 10791 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 6987.791
AT ITER 3649 NEW BEST:: SOT 49363 SOS 10953 HAS SOPS 10953 HAS SOUS 6968 HAS SOUPS 6968 WITH SCORE 6978.953
AT ITER 3654 NEW BEST:: SOT 49355 SOS 10960 HAS SOPS 10960 HAS SOUS 6960 HAS SOUPS 6960 WITH SCORE 6970.96
AT ITER 3680 NEW BEST:: SOT 49350 SOS 10950 HAS SOPS 10950 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6960.95
AT ITER 3734 NEW BEST:: SOT 49350 SOS 10957 HAS SOPS 10957 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6953.957
AT ITER 3752 NEW BEST:: SOT 49351 SOS 10954 HAS SOPS 10954 HAS SOUS 6940 HAS SOUPS 6940 WITH SCORE 6950.954
AT ITER 3763 NEW BEST:: SOT 49341 SOS 10945 HAS SOPS 10945 HAS SOUS 6929 HAS SOUPS 6929 WITH SCORE 6939.945
AT ITER 3773 NEW BEST:: SOT 49303 SOS 10817 HAS SOPS 10817 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6901.817
AT ITER 3780 NEW BEST:: SOT 49247 SOS 10769 HAS SOPS 10769 HAS SOUS 6855 HAS SOUPS 6855 WITH SCORE 6865.769
AT ITER 3784 NEW BEST:: SOT 49239 SOS 10753 HAS SOPS 10753 HAS SOUS 6839 HAS SOUPS 6839 WITH SCORE 6849.753
AT ITER 3835 NEW BEST:: SOT 49267 SOS 10743 HAS SOPS 10743 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6841.743
AT ITER 3848 NEW BEST:: SOT 49282 SOS 10685 HAS SOPS 10685 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6841.685
AT ITER 3850 NEW BEST:: SOT 49279 SOS 10676 HAS SOPS 10676 HAS SOUS 6825 HAS SOUPS 6825 WITH SCORE 6835.676
AT ITER 3857 NEW BEST:: SOT 49279 SOS 10671 HAS SOPS 10671 HAS SOUS 6825 HAS SOUPS 6825 WITH SCORE 6835.671
AT ITER 3858 NEW BEST:: SOT 49276 SOS 10665 HAS SOPS 10665 HAS SOUS 6793 HAS SOUPS 6793 WITH SCORE 6803.665
AT ITER 3859 NEW BEST:: SOT 49265 SOS 10643 HAS SOPS 10643 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6801.643
AT ITER 3899 NEW BEST:: SOT 49252 SOS 10617 HAS SOPS 10617 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6801.617
AT ITER 3944 NEW BEST:: SOT 49222 SOS 10851 HAS SOPS 10851 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6800.851
AT ITER 3959 NEW BEST:: SOT 49219 SOS 10848 HAS SOPS 10848 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6800.848
AT ITER 4012 NEW BEST:: SOT 49207 SOS 10846 HAS SOPS 10846 HAS SOUS 6786 HAS SOUPS 6786 WITH SCORE 6796.846
AT ITER 4013 NEW BEST:: SOT 49194 SOS 10833 HAS SOPS 10833 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6787.833
AT ITER 4024 NEW BEST:: SOT 49177 SOS 10799 HAS SOPS 10799 HAS SOUS 6743 HAS SOUPS 6743 WITH SCORE 6753.799
AT ITER 4042 NEW BEST:: SOT 49170 SOS 10785 HAS SOPS 10785 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6746.785
AT ITER 4068 NEW BEST:: SOT 49169 SOS 10783 HAS SOPS 10783 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6744.783
AT ITER 4128 NEW BEST:: SOT 49183 SOS 10811 HAS SOPS 10811 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6743.811
AT ITER 4139 NEW BEST:: SOT 49184 SOS 10814 HAS SOPS 10814 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6742.814
AT ITER 4142 NEW BEST:: SOT 49184 SOS 10814 HAS SOPS 10814 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6740.814
AT ITER 4178 NEW BEST:: SOT 49177 SOS 10807 HAS SOPS 10807 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6740.807
AT ITER 4223 NEW BEST:: SOT 49183 SOS 10801 HAS SOPS 10801 HAS SOUS 6728 HAS SOUPS 6728 WITH SCORE 6738.801
AT ITER 4263 NEW BEST:: SOT 49161 SOS 10779 HAS SOPS 10779 HAS SOUS 6706 HAS SOUPS 6706 WITH SCORE 6716.779
AT ITER 4340 NEW BEST:: SOT 49145 SOS 10765 HAS SOPS 10765 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6711.765
AT ITER 4342 NEW BEST:: SOT 49145 SOS 10764 HAS SOPS 10764 HAS SOUS 6700 HAS SOUPS 6700 WITH SCORE 6710.764
AT ITER 4377 NEW BEST:: SOT 49119 SOS 10658 HAS SOPS 10658 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6611.658
AT ITER 4380 NEW BEST:: SOT 49116 SOS 10654 HAS SOPS 10654 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6611.654
AT ITER 4383 NEW BEST:: SOT 49116 SOS 10654 HAS SOPS 10654 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6610.654
AT ITER 4395 NEW BEST:: SOT 49116 SOS 10654 HAS SOPS 10654 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6593.654
AT ITER 4452 NEW BEST:: SOT 49116 SOS 10572 HAS SOPS 10572 HAS SOUS 6536 HAS SOUPS 6536 WITH SCORE 6546.572
AT ITER 4472 NEW BEST:: SOT 49112 SOS 10566 HAS SOPS 10566 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6542.566
AT ITER 4477 NEW BEST:: SOT 49094 SOS 10530 HAS SOPS 10530 HAS SOUS 6496 HAS SOUPS 6496 WITH SCORE 6506.53
AT ITER 4479 NEW BEST:: SOT 49062 SOS 10507 HAS SOPS 10507 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6483.507
AT ITER 4508 NEW BEST:: SOT 49057 SOS 10497 HAS SOPS 10497 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6478.497
AT ITER 4513 NEW BEST:: SOT 49049 SOS 10481 HAS SOPS 10481 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6476.481
AT ITER 4518 NEW BEST:: SOT 49046 SOS 10475 HAS SOPS 10475 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6470.475
AT ITER 4534 NEW BEST:: SOT 49046 SOS 10475 HAS SOPS 10475 HAS SOUS 6449 HAS SOUPS 6449 WITH SCORE 6459.475
AT ITER 4535 NEW BEST:: SOT 49043 SOS 10469 HAS SOPS 10469 HAS SOUS 6443 HAS SOUPS 6443 WITH SCORE 6453.469
AT ITER 4541 NEW BEST:: SOT 49043 SOS 10437 HAS SOPS 10437 HAS SOUS 6443 HAS SOUPS 6443 WITH SCORE 6453.437
AT ITER 4548 NEW BEST:: SOT 49043 SOS 10435 HAS SOPS 10435 HAS SOUS 6441 HAS SOUPS 6441 WITH SCORE 6451.435
AT ITER 4561 NEW BEST:: SOT 49042 SOS 10433 HAS SOPS 10433 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6450.433
AT ITER 4564 NEW BEST:: SOT 49009 SOS 10428 HAS SOPS 10428 HAS SOUS 6424 HAS SOUPS 6424 WITH SCORE 6434.428
AT ITER 4617 NEW BEST:: SOT 49008 SOS 10426 HAS SOPS 10426 HAS SOUS 6423 HAS SOUPS 6423 WITH SCORE 6433.426
AT ITER 4638 NEW BEST:: SOT 49006 SOS 10422 HAS SOPS 10422 HAS SOUS 6419 HAS SOUPS 6419 WITH SCORE 6429.422
AT ITER 4673 NEW BEST:: SOT 49004 SOS 10420 HAS SOPS 10420 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6427.42
AT ITER 4690 NEW BEST:: SOT 48950 SOS 10367 HAS SOPS 10367 HAS SOUS 6391 HAS SOUPS 6391 WITH SCORE 6401.367
AT ITER 4746 NEW BEST:: SOT 48944 SOS 10358 HAS SOPS 10358 HAS SOUS 6382 HAS SOUPS 6382 WITH SCORE 6392.358
AT ITER 4792 NEW BEST:: SOT 48936 SOS 10342 HAS SOPS 10342 HAS SOUS 6382 HAS SOUPS 6382 WITH SCORE 6392.342
AT ITER 4809 NEW BEST:: SOT 48930 SOS 10336 HAS SOPS 10336 HAS SOUS 6374 HAS SOUPS 6374 WITH SCORE 6384.336
AT ITER 4811 NEW BEST:: SOT 48929 SOS 10323 HAS SOPS 10323 HAS SOUS 6361 HAS SOUPS 6361 WITH SCORE 6371.323
AT ITER 4821 NEW BEST:: SOT 48929 SOS 10323 HAS SOPS 10323 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6360.323
AT ITER 4831 NEW BEST:: SOT 48926 SOS 10317 HAS SOPS 10317 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6358.317
AT ITER 4864 NEW BEST:: SOT 48925 SOS 10319 HAS SOPS 10319 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6356.319
AT ITER 4878 NEW BEST:: SOT 48961 SOS 10315 HAS SOPS 10315 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6352.315
AT ITER 4892 NEW BEST:: SOT 48970 SOS 10317 HAS SOPS 10317 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6348.317
AT ITER 4923 NEW BEST:: SOT 48968 SOS 10315 HAS SOPS 10315 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6346.315
AT ITER 4929 NEW BEST:: SOT 48948 SOS 10286 HAS SOPS 10286 HAS SOUS 6313 HAS SOUPS 6313 WITH SCORE 6323.286
AT ITER 5074 NEW BEST:: SOT 48934 SOS 10272 HAS SOPS 10272 HAS SOUS 6313 HAS SOUPS 6313 WITH SCORE 6323.272
AT ITER 5120 NEW BEST:: SOT 48934 SOS 10252 HAS SOPS 10252 HAS SOUS 6296 HAS SOUPS 6296 WITH SCORE 6306.252
AT ITER 5149 NEW BEST:: SOT 48920 SOS 10224 HAS SOPS 10224 HAS SOUS 6282 HAS SOUPS 6282 WITH SCORE 6292.224
AT ITER 5155 NEW BEST:: SOT 48911 SOS 10223 HAS SOPS 10223 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6291.223
AT ITER 5178 NEW BEST:: SOT 48907 SOS 10215 HAS SOPS 10215 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6287.215
AT ITER 5186 NEW BEST:: SOT 48907 SOS 10200 HAS SOPS 10200 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6286.2
AT ITER 5204 NEW BEST:: SOT 48851 SOS 10130 HAS SOPS 10130 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6272.13
AT ITER 5213 NEW BEST:: SOT 48851 SOS 10119 HAS SOPS 10119 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6272.119
AT ITER 5249 NEW BEST:: SOT 48845 SOS 10107 HAS SOPS 10107 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6266.107
AT ITER 5322 NEW BEST:: SOT 48845 SOS 10097 HAS SOPS 10097 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6266.097
AT ITER 5358 NEW BEST:: SOT 48844 SOS 10095 HAS SOPS 10095 HAS SOUS 6255 HAS SOUPS 6255 WITH SCORE 6265.095
AT ITER 5378 NEW BEST:: SOT 48844 SOS 10095 HAS SOPS 10095 HAS SOUS 6251 HAS SOUPS 6251 WITH SCORE 6261.095
AT ITER 5481 NEW BEST:: SOT 48842 SOS 10089 HAS SOPS 10089 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6257.089
AT ITER 5506 NEW BEST:: SOT 48840 SOS 10085 HAS SOPS 10085 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6257.085
AT ITER 5517 NEW BEST:: SOT 48835 SOS 10075 HAS SOPS 10075 HAS SOUS 6237 HAS SOUPS 6237 WITH SCORE 6247.075
AT ITER 5574 NEW BEST:: SOT 48835 SOS 10075 HAS SOPS 10075 HAS SOUS 6226 HAS SOUPS 6226 WITH SCORE 6236.075
AT ITER 5609 NEW BEST:: SOT 48835 SOS 10018 HAS SOPS 10018 HAS SOUS 6218 HAS SOUPS 6218 WITH SCORE 6228.018
AT ITER 5619 NEW BEST:: SOT 48818 SOS 10011 HAS SOPS 10011 HAS SOUS 6211 HAS SOUPS 6211 WITH SCORE 6221.011
AT ITER 5653 NEW BEST:: SOT 48816 SOS 10007 HAS SOPS 10007 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6217.007
AT ITER 5662 NEW BEST:: SOT 48806 SOS 10422 HAS SOPS 10422 HAS SOUS 6206 HAS SOUPS 6206 WITH SCORE 6216.422
AT ITER 5673 NEW BEST:: SOT 48806 SOS 10419 HAS SOPS 10419 HAS SOUS 6203 HAS SOUPS 6203 WITH SCORE 6213.419
AT ITER 5679 NEW BEST:: SOT 48800 SOS 10415 HAS SOPS 10415 HAS SOUS 6199 HAS SOUPS 6199 WITH SCORE 6209.415
AT ITER 5686 NEW BEST:: SOT 48754 SOS 10346 HAS SOPS 10346 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6208.346
AT ITER 5764 NEW BEST:: SOT 48769 SOS 10363 HAS SOPS 10363 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6178.363
AT ITER 5782 NEW BEST:: SOT 48768 SOS 10361 HAS SOPS 10361 HAS SOUS 6166 HAS SOUPS 6166 WITH SCORE 6176.361
AT ITER 5818 NEW BEST:: SOT 48756 SOS 10337 HAS SOPS 10337 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6170.337
AT ITER 5820 NEW BEST:: SOT 48743 SOS 10311 HAS SOPS 10311 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6144.311
AT ITER 5828 NEW BEST:: SOT 48727 SOS 10279 HAS SOPS 10279 HAS SOUS 6118 HAS SOUPS 6118 WITH SCORE 6128.279
AT ITER 6037 NEW BEST:: SOT 48727 SOS 10274 HAS SOPS 10274 HAS SOUS 6113 HAS SOUPS 6113 WITH SCORE 6123.274
AT ITER 6063 NEW BEST:: SOT 48721 SOS 10262 HAS SOPS 10262 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6094.262
AT ITER 6068 NEW BEST:: SOT 48710 SOS 10253 HAS SOPS 10253 HAS SOUS 6072 HAS SOUPS 6072 WITH SCORE 6082.253
AT ITER 6110 NEW BEST:: SOT 48697 SOS 10240 HAS SOPS 10240 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6070.24
AT ITER 6279 NEW BEST:: SOT 48691 SOS 10236 HAS SOPS 10236 HAS SOUS 6056 HAS SOUPS 6056 WITH SCORE 6066.236
AT ITER 6291 NEW BEST:: SOT 48685 SOS 10224 HAS SOPS 10224 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6054.224
AT ITER 6331 NEW BEST:: SOT 48709 SOS 10244 HAS SOPS 10244 HAS SOUS 6043 HAS SOUPS 6043 WITH SCORE 6053.244
AT ITER 6350 NEW BEST:: SOT 48707 SOS 10242 HAS SOPS 10242 HAS SOUS 6043 HAS SOUPS 6043 WITH SCORE 6053.242
AT ITER 6442 NEW BEST:: SOT 48707 SOS 10241 HAS SOPS 10241 HAS SOUS 6042 HAS SOUPS 6042 WITH SCORE 6052.241
AT ITER 6465 NEW BEST:: SOT 48699 SOS 10225 HAS SOPS 10225 HAS SOUS 6035 HAS SOUPS 6035 WITH SCORE 6045.225
AT ITER 6499 NEW BEST:: SOT 48698 SOS 10223 HAS SOPS 10223 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6044.223
AT ITER 6508 NEW BEST:: SOT 48696 SOS 10217 HAS SOPS 10217 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6024.217
AT ITER 6534 NEW BEST:: SOT 48658 SOS 10141 HAS SOPS 10141 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5984.141
AT ITER 6761 NEW BEST:: SOT 48656 SOS 10137 HAS SOPS 10137 HAS SOUS 5970 HAS SOUPS 5970 WITH SCORE 5980.137
AT ITER 6793 NEW BEST:: SOT 48616 SOS 10057 HAS SOPS 10057 HAS SOUS 5934 HAS SOUPS 5934 WITH SCORE 5944.057
AT ITER 6845 NEW BEST:: SOT 48609 SOS 10050 HAS SOPS 10050 HAS SOUS 5933 HAS SOUPS 5933 WITH SCORE 5943.05
AT ITER 6855 NEW BEST:: SOT 48583 SOS 10024 HAS SOPS 10024 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5917.024
AT ITER 6883 NEW BEST:: SOT 48585 SOS 10016 HAS SOPS 10016 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5909.016
AT ITER 6959 NEW BEST:: SOT 48580 SOS 10011 HAS SOPS 10011 HAS SOUS 5894 HAS SOUPS 5894 WITH SCORE 5904.011
AT ITER 6975 NEW BEST:: SOT 48579 SOS 10009 HAS SOPS 10009 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 5903.009
AT ITER 7059 NEW BEST:: SOT 48579 SOS 10009 HAS SOPS 10009 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5882.009
AT ITER 7101 NEW BEST:: SOT 48589 SOS 10019 HAS SOPS 10019 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5868.019
AT ITER 7115 NEW BEST:: SOT 48589 SOS 10019 HAS SOPS 10019 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5865.019
AT ITER 7151 NEW BEST:: SOT 48589 SOS 10019 HAS SOPS 10019 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5864.019
AT ITER 7223 NEW BEST:: SOT 48591 SOS 10023 HAS SOPS 10023 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5857.023
AT ITER 7245 NEW BEST:: SOT 48593 SOS 10027 HAS SOPS 10027 HAS SOUS 5846 HAS SOUPS 5846 WITH SCORE 5856.027
AT ITER 7283 NEW BEST:: SOT 48591 SOS 10023 HAS SOPS 10023 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5854.023
AT ITER 7373 NEW BEST:: SOT 48592 SOS 9995 HAS SOPS 9995 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5853.995
AT ITER 7497 NEW BEST:: SOT 48585 SOS 9981 HAS SOPS 9981 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5846.981
AT ITER 7502 NEW BEST:: SOT 48582 SOS 9976 HAS SOPS 9976 HAS SOUS 5832 HAS SOUPS 5832 WITH SCORE 5841.976
AT ITER 7504 NEW BEST:: SOT 48589 SOS 9990 HAS SOPS 9990 HAS SOUS 5830 HAS SOUPS 5830 WITH SCORE 5839.99
AT ITER 7524 NEW BEST:: SOT 48590 SOS 9975 HAS SOPS 9975 HAS SOUS 5813 HAS SOUPS 5813 WITH SCORE 5822.975
AT ITER 7577 NEW BEST:: SOT 48582 SOS 9945 HAS SOPS 9945 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5814.945
AT ITER 7715 NEW BEST:: SOT 48580 SOS 9943 HAS SOPS 9943 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5812.943
AT ITER 7723 NEW BEST:: SOT 48580 SOS 9948 HAS SOPS 9948 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5810.948
AT ITER 7750 NEW BEST:: SOT 48578 SOS 9944 HAS SOPS 9944 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5810.944
AT ITER 7889 NEW BEST:: SOT 48578 SOS 9941 HAS SOPS 9941 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5810.941
AT ITER 7914 NEW BEST:: SOT 48578 SOS 9941 HAS SOPS 9941 HAS SOUS 5797 HAS SOUPS 5797 WITH SCORE 5806.941
AT ITER 7922 NEW BEST:: SOT 48578 SOS 9958 HAS SOPS 9958 HAS SOUS 5791 HAS SOUPS 5791 WITH SCORE 5800.958
AT ITER 7928 NEW BEST:: SOT 48576 SOS 9954 HAS SOPS 9954 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5796.954
AT ITER 7954 NEW BEST:: SOT 48576 SOS 9954 HAS SOPS 9954 HAS SOUS 5785 HAS SOUPS 5785 WITH SCORE 5794.954
AT ITER 7955 NEW BEST:: SOT 48560 SOS 9939 HAS SOPS 9939 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5762.939
AT ITER 8072 NEW BEST:: SOT 48555 SOS 9935 HAS SOPS 9935 HAS SOUS 5752 HAS SOUPS 5752 WITH SCORE 5761.935
AT ITER 8088 NEW BEST:: SOT 48555 SOS 9934 HAS SOPS 9934 HAS SOUS 5751 HAS SOUPS 5751 WITH SCORE 5760.934
AT ITER 8123 NEW BEST:: SOT 48551 SOS 9928 HAS SOPS 9928 HAS SOUS 5747 HAS SOUPS 5747 WITH SCORE 5756.928
AT ITER 8166 NEW BEST:: SOT 48552 SOS 9926 HAS SOPS 9926 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5754.926
AT ITER 8180 NEW BEST:: SOT 48552 SOS 9916 HAS SOPS 9916 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5754.916
AT ITER 8213 NEW BEST:: SOT 48552 SOS 9914 HAS SOPS 9914 HAS SOUS 5743 HAS SOUPS 5743 WITH SCORE 5752.914
AT ITER 8237 NEW BEST:: SOT 48542 SOS 9894 HAS SOPS 9894 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5745.894
AT ITER 8239 NEW BEST:: SOT 48537 SOS 9889 HAS SOPS 9889 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5737.889
AT ITER 8303 NEW BEST:: SOT 48523 SOS 9875 HAS SOPS 9875 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5723.875
AT ITER 8345 NEW BEST:: SOT 48505 SOS 9865 HAS SOPS 9865 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5713.865
AT ITER 8346 NEW BEST:: SOT 48493 SOS 9841 HAS SOPS 9841 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5692.841
AT ITER 8372 NEW BEST:: SOT 48493 SOS 9808 HAS SOPS 9808 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5686.808
AT ITER 8474 NEW BEST:: SOT 48493 SOS 9805 HAS SOPS 9805 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5680.805
AT ITER 8478 NEW BEST:: SOT 48490 SOS 9799 HAS SOPS 9799 HAS SOUS 5663 HAS SOUPS 5663 WITH SCORE 5672.799
AT ITER 8521 NEW BEST:: SOT 48485 SOS 9794 HAS SOPS 9794 HAS SOUS 5658 HAS SOUPS 5658 WITH SCORE 5667.794
AT ITER 8566 NEW BEST:: SOT 48485 SOS 9791 HAS SOPS 9791 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5664.791
AT ITER 8571 NEW BEST:: SOT 48484 SOS 9790 HAS SOPS 9790 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5663.79
AT ITER 8657 NEW BEST:: SOT 48474 SOS 9779 HAS SOPS 9779 HAS SOUS 5643 HAS SOUPS 5643 WITH SCORE 5652.779
AT ITER 8748 NEW BEST:: SOT 48475 SOS 9773 HAS SOPS 9773 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5650.773
AT ITER 8765 NEW BEST:: SOT 48458 SOS 9744 HAS SOPS 9744 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5635.744
AT ITER 8874 NEW BEST:: SOT 48422 SOS 9708 HAS SOPS 9708 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5617.708
AT ITER 8922 NEW BEST:: SOT 48419 SOS 9695 HAS SOPS 9695 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5611.695
AT ITER 9005 NEW BEST:: SOT 48426 SOS 9692 HAS SOPS 9692 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5608.692
AT ITER 9038 NEW BEST:: SOT 48423 SOS 9689 HAS SOPS 9689 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5608.689
AT ITER 9202 NEW BEST:: SOT 48414 SOS 9662 HAS SOPS 9662 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5599.662
AT ITER 9234 NEW BEST:: SOT 48414 SOS 9657 HAS SOPS 9657 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5599.657
AT ITER 9246 NEW BEST:: SOT 48415 SOS 9658 HAS SOPS 9658 HAS SOUS 5589 HAS SOUPS 5589 WITH SCORE 5598.658
AT ITER 9294 NEW BEST:: SOT 48415 SOS 9639 HAS SOPS 9639 HAS SOUS 5581 HAS SOUPS 5581 WITH SCORE 5590.639
AT ITER 9571 NEW BEST:: SOT 48468 SOS 9686 HAS SOPS 9686 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5583.686
AT ITER 9608 NEW BEST:: SOT 48468 SOS 9688 HAS SOPS 9688 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5580.688
AT ITER 9629 NEW BEST:: SOT 48467 SOS 9687 HAS SOPS 9687 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5580.687
AT ITER 9688 NEW BEST:: SOT 48467 SOS 9685 HAS SOPS 9685 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5580.685
AT ITER 9752 NEW BEST:: SOT 48458 SOS 9667 HAS SOPS 9667 HAS SOUS 5562 HAS SOUPS 5562 WITH SCORE 5571.667
AT ITER 9766 NEW BEST:: SOT 48458 SOS 9660 HAS SOPS 9660 HAS SOUS 5562 HAS SOUPS 5562 WITH SCORE 5571.66
AT ITER 9962 NEW BEST:: SOT 48457 SOS 9658 HAS SOPS 9658 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5569.658
STATE_SPACE STATES 1910415931440 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 12 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 17954195498389 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679261475417

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="SmartHome-PT-11"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is SmartHome-PT-11, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912651000240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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