fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r459-smll-167912650900224
Last Updated
May 14, 2023

About the Execution of Smart+red for SmartHome-PT-09

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
587.439 91839.00 99339.00 716.70 3.9408E+0011 3.6392E+0012 1 10 normal

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-167912650900224.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-09, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912650900224
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 436K
-rw-r--r-- 1 mcc users 6.9K Feb 26 05:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 05:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 05:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 05:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 05:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 05:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 05:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 05:40 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 64K 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 1679260743702

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-09
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 21:19:06] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 21:19:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 21:19:06] [INFO ] Load time of PNML (sax parser for PT used): 131 ms
[2023-03-19 21:19:06] [INFO ] Transformed 253 places.
[2023-03-19 21:19:06] [INFO ] Transformed 293 transitions.
[2023-03-19 21:19:06] [INFO ] Found NUPN structural information;
[2023-03-19 21:19:06] [INFO ] Parsed PT model containing 253 places and 293 transitions and 664 arcs in 260 ms.
[2023-03-19 21:19:06] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 253 places, 293 transitions and 664 arcs took 12 ms.
Total runtime 318 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 09
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: 253 places, 293 transitions, 664 arcs.
AT ITER 0 NEW BEST:: SOT 44413 SOS 10952 HAS SOPS 10952 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10619.952
AT ITER 19 NEW BEST:: SOT 44389 SOS 10928 HAS SOPS 10928 HAS SOUS 10585 HAS SOUPS 10585 WITH SCORE 10595.928
AT ITER 29 NEW BEST:: SOT 44388 SOS 10926 HAS SOPS 10926 HAS SOUS 10583 HAS SOUPS 10583 WITH SCORE 10593.926
AT ITER 34 NEW BEST:: SOT 44376 SOS 10902 HAS SOPS 10902 HAS SOUS 10559 HAS SOUPS 10559 WITH SCORE 10569.902
AT ITER 49 NEW BEST:: SOT 44381 SOS 10893 HAS SOPS 10893 HAS SOUS 10550 HAS SOUPS 10550 WITH SCORE 10560.893
AT ITER 55 NEW BEST:: SOT 44364 SOS 10855 HAS SOPS 10855 HAS SOUS 10504 HAS SOUPS 10504 WITH SCORE 10514.855
AT ITER 60 NEW BEST:: SOT 44319 SOS 10835 HAS SOPS 10835 HAS SOUS 10464 HAS SOUPS 10464 WITH SCORE 10474.835
AT ITER 68 NEW BEST:: SOT 44231 SOS 10802 HAS SOPS 10802 HAS SOUS 10387 HAS SOUPS 10387 WITH SCORE 10397.802
AT ITER 71 NEW BEST:: SOT 44222 SOS 10793 HAS SOPS 10793 HAS SOUS 10378 HAS SOUPS 10378 WITH SCORE 10388.793
AT ITER 81 NEW BEST:: SOT 44224 SOS 10797 HAS SOPS 10797 HAS SOUS 10351 HAS SOUPS 10351 WITH SCORE 10361.797
AT ITER 84 NEW BEST:: SOT 44220 SOS 10787 HAS SOPS 10787 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10351.787
AT ITER 122 NEW BEST:: SOT 44208 SOS 10786 HAS SOPS 10786 HAS SOUS 10340 HAS SOUPS 10340 WITH SCORE 10350.786
AT ITER 125 NEW BEST:: SOT 44208 SOS 10736 HAS SOPS 10736 HAS SOUS 10290 HAS SOUPS 10290 WITH SCORE 10300.736
AT ITER 126 NEW BEST:: SOT 44194 SOS 10708 HAS SOPS 10708 HAS SOUS 10262 HAS SOUPS 10262 WITH SCORE 10272.708
AT ITER 140 NEW BEST:: SOT 44182 SOS 10673 HAS SOPS 10673 HAS SOUS 10227 HAS SOUPS 10227 WITH SCORE 10237.673
AT ITER 189 NEW BEST:: SOT 44172 SOS 10653 HAS SOPS 10653 HAS SOUS 10190 HAS SOUPS 10190 WITH SCORE 10200.653
AT ITER 191 NEW BEST:: SOT 44162 SOS 10641 HAS SOPS 10641 HAS SOUS 10178 HAS SOUPS 10178 WITH SCORE 10188.641
AT ITER 202 NEW BEST:: SOT 44162 SOS 10639 HAS SOPS 10639 HAS SOUS 10178 HAS SOUPS 10178 WITH SCORE 10188.639
AT ITER 208 NEW BEST:: SOT 44139 SOS 10593 HAS SOPS 10593 HAS SOUS 10119 HAS SOUPS 10119 WITH SCORE 10129.593
AT ITER 214 NEW BEST:: SOT 44061 SOS 10829 HAS SOPS 10829 HAS SOUS 10097 HAS SOUPS 10097 WITH SCORE 10107.829
AT ITER 228 NEW BEST:: SOT 44024 SOS 10787 HAS SOPS 10787 HAS SOUS 10055 HAS SOUPS 10055 WITH SCORE 10065.787
AT ITER 254 NEW BEST:: SOT 44019 SOS 10777 HAS SOPS 10777 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10060.777
AT ITER 272 NEW BEST:: SOT 44003 SOS 10747 HAS SOPS 10747 HAS SOUS 10020 HAS SOUPS 10020 WITH SCORE 10030.747
AT ITER 293 NEW BEST:: SOT 43749 SOS 11562 HAS SOPS 11562 HAS SOUS 9981 HAS SOUPS 9981 WITH SCORE 9992.562
AT ITER 309 NEW BEST:: SOT 43713 SOS 11532 HAS SOPS 11532 HAS SOUS 9901 HAS SOUPS 9901 WITH SCORE 9912.532
AT ITER 314 NEW BEST:: SOT 43738 SOS 11517 HAS SOPS 11517 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9897.517
AT ITER 317 NEW BEST:: SOT 43512 SOS 11598 HAS SOPS 11598 HAS SOUS 9695 HAS SOUPS 9695 WITH SCORE 9706.598
AT ITER 318 NEW BEST:: SOT 43501 SOS 11634 HAS SOPS 11634 HAS SOUS 9684 HAS SOUPS 9684 WITH SCORE 9695.634
AT ITER 333 NEW BEST:: SOT 43480 SOS 11560 HAS SOPS 11560 HAS SOUS 9631 HAS SOUPS 9631 WITH SCORE 9642.56
AT ITER 344 NEW BEST:: SOT 43226 SOS 11589 HAS SOPS 11589 HAS SOUS 9382 HAS SOUPS 9382 WITH SCORE 9393.589
AT ITER 345 NEW BEST:: SOT 43077 SOS 11783 HAS SOPS 11783 HAS SOUS 9312 HAS SOUPS 9312 WITH SCORE 9323.783
AT ITER 348 NEW BEST:: SOT 43080 SOS 11789 HAS SOPS 11789 HAS SOUS 9267 HAS SOUPS 9267 WITH SCORE 9278.789
AT ITER 362 NEW BEST:: SOT 43066 SOS 11761 HAS SOPS 11761 HAS SOUS 9239 HAS SOUPS 9239 WITH SCORE 9250.761
AT ITER 367 NEW BEST:: SOT 43095 SOS 11758 HAS SOPS 11758 HAS SOUS 9237 HAS SOUPS 9237 WITH SCORE 9248.758
AT ITER 369 NEW BEST:: SOT 43072 SOS 11748 HAS SOPS 11748 HAS SOUS 9227 HAS SOUPS 9227 WITH SCORE 9238.748
AT ITER 370 NEW BEST:: SOT 43064 SOS 11732 HAS SOPS 11732 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9230.732
AT ITER 387 NEW BEST:: SOT 43048 SOS 11700 HAS SOPS 11700 HAS SOUS 9205 HAS SOUPS 9205 WITH SCORE 9216.7
AT ITER 419 NEW BEST:: SOT 43048 SOS 11700 HAS SOPS 11700 HAS SOUS 9201 HAS SOUPS 9201 WITH SCORE 9212.7
AT ITER 420 NEW BEST:: SOT 43048 SOS 11685 HAS SOPS 11685 HAS SOUS 9186 HAS SOUPS 9186 WITH SCORE 9197.685
AT ITER 422 NEW BEST:: SOT 43048 SOS 11666 HAS SOPS 11666 HAS SOUS 9167 HAS SOUPS 9167 WITH SCORE 9178.666
AT ITER 430 NEW BEST:: SOT 43045 SOS 11663 HAS SOPS 11663 HAS SOUS 9167 HAS SOUPS 9167 WITH SCORE 9178.663
AT ITER 454 NEW BEST:: SOT 43045 SOS 11646 HAS SOPS 11646 HAS SOUS 9167 HAS SOUPS 9167 WITH SCORE 9178.646
AT ITER 478 NEW BEST:: SOT 43028 SOS 11001 HAS SOPS 11001 HAS SOUS 9111 HAS SOUPS 9111 WITH SCORE 9122.001
AT ITER 479 NEW BEST:: SOT 43041 SOS 11015 HAS SOPS 11015 HAS SOUS 9109 HAS SOUPS 9109 WITH SCORE 9120.015
AT ITER 485 NEW BEST:: SOT 43041 SOS 11002 HAS SOPS 11002 HAS SOUS 9109 HAS SOUPS 9109 WITH SCORE 9120.002
AT ITER 500 NEW BEST:: SOT 43031 SOS 10982 HAS SOPS 10982 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9109.982
AT ITER 501 NEW BEST:: SOT 42830 SOS 11113 HAS SOPS 11113 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8976.113
AT ITER 503 NEW BEST:: SOT 42816 SOS 11105 HAS SOPS 11105 HAS SOUS 8957 HAS SOUPS 8957 WITH SCORE 8968.105
AT ITER 508 NEW BEST:: SOT 42807 SOS 11087 HAS SOPS 11087 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8959.087
AT ITER 523 NEW BEST:: SOT 42807 SOS 11082 HAS SOPS 11082 HAS SOUS 8943 HAS SOUPS 8943 WITH SCORE 8954.082
AT ITER 540 NEW BEST:: SOT 42807 SOS 11063 HAS SOPS 11063 HAS SOUS 8924 HAS SOUPS 8924 WITH SCORE 8935.063
AT ITER 556 NEW BEST:: SOT 42733 SOS 11268 HAS SOPS 11268 HAS SOUS 8901 HAS SOUPS 8901 WITH SCORE 8912.268
AT ITER 564 NEW BEST:: SOT 42728 SOS 11258 HAS SOPS 11258 HAS SOUS 8891 HAS SOUPS 8891 WITH SCORE 8902.258
AT ITER 568 NEW BEST:: SOT 42722 SOS 11249 HAS SOPS 11249 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8893.249
AT ITER 574 NEW BEST:: SOT 42722 SOS 11228 HAS SOPS 11228 HAS SOUS 8861 HAS SOUPS 8861 WITH SCORE 8872.228
AT ITER 582 NEW BEST:: SOT 42701 SOS 11207 HAS SOPS 11207 HAS SOUS 8840 HAS SOUPS 8840 WITH SCORE 8851.207
AT ITER 589 NEW BEST:: SOT 42700 SOS 11206 HAS SOPS 11206 HAS SOUS 8840 HAS SOUPS 8840 WITH SCORE 8851.206
AT ITER 613 NEW BEST:: SOT 42688 SOS 11234 HAS SOPS 11234 HAS SOUS 8832 HAS SOUPS 8832 WITH SCORE 8843.234
AT ITER 617 NEW BEST:: SOT 42655 SOS 11168 HAS SOPS 11168 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8789.168
AT ITER 655 NEW BEST:: SOT 42653 SOS 11164 HAS SOPS 11164 HAS SOUS 8774 HAS SOUPS 8774 WITH SCORE 8785.164
AT ITER 658 NEW BEST:: SOT 42622 SOS 11102 HAS SOPS 11102 HAS SOUS 8760 HAS SOUPS 8760 WITH SCORE 8771.102
AT ITER 673 NEW BEST:: SOT 42591 SOS 11059 HAS SOPS 11059 HAS SOUS 8747 HAS SOUPS 8747 WITH SCORE 8758.059
AT ITER 675 NEW BEST:: SOT 42566 SOS 11019 HAS SOPS 11019 HAS SOUS 8705 HAS SOUPS 8705 WITH SCORE 8716.019
AT ITER 694 NEW BEST:: SOT 42566 SOS 11019 HAS SOPS 11019 HAS SOUS 8704 HAS SOUPS 8704 WITH SCORE 8715.019
AT ITER 733 NEW BEST:: SOT 42565 SOS 11017 HAS SOPS 11017 HAS SOUS 8703 HAS SOUPS 8703 WITH SCORE 8714.017
AT ITER 748 NEW BEST:: SOT 42561 SOS 11013 HAS SOPS 11013 HAS SOUS 8699 HAS SOUPS 8699 WITH SCORE 8710.013
AT ITER 749 NEW BEST:: SOT 42592 SOS 11075 HAS SOPS 11075 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8678.075
AT ITER 754 NEW BEST:: SOT 42562 SOS 11015 HAS SOPS 11015 HAS SOUS 8607 HAS SOUPS 8607 WITH SCORE 8618.015
AT ITER 762 NEW BEST:: SOT 42561 SOS 11014 HAS SOPS 11014 HAS SOUS 8606 HAS SOUPS 8606 WITH SCORE 8617.014
AT ITER 771 NEW BEST:: SOT 42561 SOS 11014 HAS SOPS 11014 HAS SOUS 8601 HAS SOUPS 8601 WITH SCORE 8612.014
AT ITER 843 NEW BEST:: SOT 42568 SOS 11014 HAS SOPS 11014 HAS SOUS 8594 HAS SOUPS 8594 WITH SCORE 8605.014
AT ITER 857 NEW BEST:: SOT 42498 SOS 10974 HAS SOPS 10974 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8548.974
AT ITER 879 NEW BEST:: SOT 42498 SOS 10974 HAS SOPS 10974 HAS SOUS 8535 HAS SOUPS 8535 WITH SCORE 8545.974
AT ITER 883 NEW BEST:: SOT 42456 SOS 10890 HAS SOPS 10890 HAS SOUS 8493 HAS SOUPS 8493 WITH SCORE 8503.89
AT ITER 893 NEW BEST:: SOT 42455 SOS 10888 HAS SOPS 10888 HAS SOUS 8491 HAS SOUPS 8491 WITH SCORE 8501.888
AT ITER 895 NEW BEST:: SOT 42432 SOS 10842 HAS SOPS 10842 HAS SOUS 8460 HAS SOUPS 8460 WITH SCORE 8470.842
AT ITER 932 NEW BEST:: SOT 42429 SOS 10836 HAS SOPS 10836 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8459.836
AT ITER 934 NEW BEST:: SOT 42429 SOS 10816 HAS SOPS 10816 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8459.816
AT ITER 942 NEW BEST:: SOT 42433 SOS 10813 HAS SOPS 10813 HAS SOUS 8446 HAS SOUPS 8446 WITH SCORE 8456.813
AT ITER 978 NEW BEST:: SOT 42412 SOS 10805 HAS SOPS 10805 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8435.805
AT ITER 982 NEW BEST:: SOT 42380 SOS 10871 HAS SOPS 10871 HAS SOUS 8396 HAS SOUPS 8396 WITH SCORE 8406.871
AT ITER 983 NEW BEST:: SOT 42395 SOS 10886 HAS SOPS 10886 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8396.886
AT ITER 988 NEW BEST:: SOT 42389 SOS 10880 HAS SOPS 10880 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8396.88
AT ITER 1006 NEW BEST:: SOT 42381 SOS 10830 HAS SOPS 10830 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8354.83
AT ITER 1011 NEW BEST:: SOT 42369 SOS 10823 HAS SOPS 10823 HAS SOUS 8340 HAS SOUPS 8340 WITH SCORE 8350.823
AT ITER 1073 NEW BEST:: SOT 42353 SOS 10807 HAS SOPS 10807 HAS SOUS 8324 HAS SOUPS 8324 WITH SCORE 8334.807
AT ITER 1075 NEW BEST:: SOT 42339 SOS 10785 HAS SOPS 10785 HAS SOUS 8302 HAS SOUPS 8302 WITH SCORE 8312.785
AT ITER 1082 NEW BEST:: SOT 42279 SOS 10826 HAS SOPS 10826 HAS SOUS 8290 HAS SOUPS 8290 WITH SCORE 8300.826
AT ITER 1090 NEW BEST:: SOT 42261 SOS 10825 HAS SOPS 10825 HAS SOUS 8289 HAS SOUPS 8289 WITH SCORE 8299.825
AT ITER 1103 NEW BEST:: SOT 42262 SOS 10783 HAS SOPS 10783 HAS SOUS 8273 HAS SOUPS 8273 WITH SCORE 8283.783
AT ITER 1117 NEW BEST:: SOT 42260 SOS 10781 HAS SOPS 10781 HAS SOUS 8273 HAS SOUPS 8273 WITH SCORE 8283.781
AT ITER 1133 NEW BEST:: SOT 42201 SOS 10734 HAS SOPS 10734 HAS SOUS 8226 HAS SOUPS 8226 WITH SCORE 8236.734
AT ITER 1141 NEW BEST:: SOT 42151 SOS 10687 HAS SOPS 10687 HAS SOUS 8216 HAS SOUPS 8216 WITH SCORE 8226.687
AT ITER 1152 NEW BEST:: SOT 42149 SOS 10683 HAS SOPS 10683 HAS SOUS 8212 HAS SOUPS 8212 WITH SCORE 8222.683
AT ITER 1165 NEW BEST:: SOT 42085 SOS 10555 HAS SOPS 10555 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8050.555
AT ITER 1187 NEW BEST:: SOT 42083 SOS 10548 HAS SOPS 10548 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8046.548
AT ITER 1210 NEW BEST:: SOT 42056 SOS 10494 HAS SOPS 10494 HAS SOUS 7982 HAS SOUPS 7982 WITH SCORE 7992.494
AT ITER 1247 NEW BEST:: SOT 42067 SOS 10501 HAS SOPS 10501 HAS SOUS 7974 HAS SOUPS 7974 WITH SCORE 7984.501
AT ITER 1263 NEW BEST:: SOT 42044 SOS 10496 HAS SOPS 10496 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7961.496
AT ITER 1291 NEW BEST:: SOT 42042 SOS 10494 HAS SOPS 10494 HAS SOUS 7949 HAS SOUPS 7949 WITH SCORE 7959.494
AT ITER 1307 NEW BEST:: SOT 42027 SOS 10479 HAS SOPS 10479 HAS SOUS 7934 HAS SOUPS 7934 WITH SCORE 7944.479
AT ITER 1315 NEW BEST:: SOT 42016 SOS 10468 HAS SOPS 10468 HAS SOUS 7923 HAS SOUPS 7923 WITH SCORE 7933.468
AT ITER 1385 NEW BEST:: SOT 41990 SOS 10442 HAS SOPS 10442 HAS SOUS 7923 HAS SOUPS 7923 WITH SCORE 7933.442
AT ITER 1410 NEW BEST:: SOT 41994 SOS 10450 HAS SOPS 10450 HAS SOUS 7902 HAS SOUPS 7902 WITH SCORE 7912.45
AT ITER 1437 NEW BEST:: SOT 41935 SOS 10749 HAS SOPS 10749 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7854.749
AT ITER 1439 NEW BEST:: SOT 41919 SOS 10717 HAS SOPS 10717 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7850.717
AT ITER 1446 NEW BEST:: SOT 41915 SOS 10713 HAS SOPS 10713 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7850.713
AT ITER 1457 NEW BEST:: SOT 41921 SOS 10725 HAS SOPS 10725 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7836.725
AT ITER 1486 NEW BEST:: SOT 41912 SOS 10707 HAS SOPS 10707 HAS SOUS 7816 HAS SOUPS 7816 WITH SCORE 7826.707
AT ITER 1505 NEW BEST:: SOT 41912 SOS 10707 HAS SOPS 10707 HAS SOUS 7814 HAS SOUPS 7814 WITH SCORE 7824.707
AT ITER 1514 NEW BEST:: SOT 41919 SOS 10714 HAS SOPS 10714 HAS SOUS 7813 HAS SOUPS 7813 WITH SCORE 7823.714
AT ITER 1523 NEW BEST:: SOT 41922 SOS 10717 HAS SOPS 10717 HAS SOUS 7810 HAS SOUPS 7810 WITH SCORE 7820.717
AT ITER 1533 NEW BEST:: SOT 41922 SOS 10694 HAS SOPS 10694 HAS SOUS 7808 HAS SOUPS 7808 WITH SCORE 7818.694
AT ITER 1535 NEW BEST:: SOT 41923 SOS 10665 HAS SOPS 10665 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7812.665
AT ITER 1540 NEW BEST:: SOT 41913 SOS 10645 HAS SOPS 10645 HAS SOUS 7800 HAS SOUPS 7800 WITH SCORE 7810.645
AT ITER 1546 NEW BEST:: SOT 41912 SOS 10643 HAS SOPS 10643 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7808.643
AT ITER 1555 NEW BEST:: SOT 41833 SOS 10564 HAS SOPS 10564 HAS SOUS 7725 HAS SOUPS 7725 WITH SCORE 7735.564
AT ITER 1556 NEW BEST:: SOT 41830 SOS 10558 HAS SOPS 10558 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7722.558
AT ITER 1557 NEW BEST:: SOT 41838 SOS 10574 HAS SOPS 10574 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7715.574
AT ITER 1598 NEW BEST:: SOT 41790 SOS 10531 HAS SOPS 10531 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7690.531
AT ITER 1610 NEW BEST:: SOT 41784 SOS 10517 HAS SOPS 10517 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7676.517
AT ITER 1614 NEW BEST:: SOT 41766 SOS 10499 HAS SOPS 10499 HAS SOUS 7648 HAS SOUPS 7648 WITH SCORE 7658.499
AT ITER 1623 NEW BEST:: SOT 41778 SOS 10456 HAS SOPS 10456 HAS SOUS 7640 HAS SOUPS 7640 WITH SCORE 7650.456
AT ITER 1646 NEW BEST:: SOT 41754 SOS 10363 HAS SOPS 10363 HAS SOUS 7589 HAS SOUPS 7589 WITH SCORE 7599.363
AT ITER 1657 NEW BEST:: SOT 41743 SOS 10358 HAS SOPS 10358 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7594.358
AT ITER 1663 NEW BEST:: SOT 41744 SOS 10337 HAS SOPS 10337 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7573.337
AT ITER 1692 NEW BEST:: SOT 41711 SOS 10271 HAS SOPS 10271 HAS SOUS 7530 HAS SOUPS 7530 WITH SCORE 7540.271
AT ITER 1705 NEW BEST:: SOT 41767 SOS 10313 HAS SOPS 10313 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7526.313
AT ITER 1709 NEW BEST:: SOT 41755 SOS 10289 HAS SOPS 10289 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7502.289
AT ITER 1712 NEW BEST:: SOT 41751 SOS 10281 HAS SOPS 10281 HAS SOUS 7487 HAS SOUPS 7487 WITH SCORE 7497.281
AT ITER 1724 NEW BEST:: SOT 41767 SOS 10297 HAS SOPS 10297 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7489.297
AT ITER 1726 NEW BEST:: SOT 41761 SOS 10274 HAS SOPS 10274 HAS SOUS 7462 HAS SOUPS 7462 WITH SCORE 7472.274
AT ITER 1744 NEW BEST:: SOT 41727 SOS 10745 HAS SOPS 10745 HAS SOUS 7428 HAS SOUPS 7428 WITH SCORE 7438.745
AT ITER 1747 NEW BEST:: SOT 41728 SOS 10747 HAS SOPS 10747 HAS SOUS 7412 HAS SOUPS 7412 WITH SCORE 7422.747
AT ITER 1749 NEW BEST:: SOT 41728 SOS 10742 HAS SOPS 10742 HAS SOUS 7402 HAS SOUPS 7402 WITH SCORE 7412.742
AT ITER 1778 NEW BEST:: SOT 41728 SOS 10742 HAS SOPS 10742 HAS SOUS 7398 HAS SOUPS 7398 WITH SCORE 7408.742
AT ITER 1818 NEW BEST:: SOT 41723 SOS 10745 HAS SOPS 10745 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7401.745
AT ITER 1832 NEW BEST:: SOT 41723 SOS 10713 HAS SOPS 10713 HAS SOUS 7375 HAS SOUPS 7375 WITH SCORE 7385.713
AT ITER 1841 NEW BEST:: SOT 41720 SOS 10700 HAS SOPS 10700 HAS SOUS 7369 HAS SOUPS 7369 WITH SCORE 7379.7
AT ITER 1847 NEW BEST:: SOT 41720 SOS 10700 HAS SOPS 10700 HAS SOUS 7355 HAS SOUPS 7355 WITH SCORE 7365.7
AT ITER 1901 NEW BEST:: SOT 41699 SOS 10675 HAS SOPS 10675 HAS SOUS 7339 HAS SOUPS 7339 WITH SCORE 7349.675
AT ITER 1915 NEW BEST:: SOT 41681 SOS 10639 HAS SOPS 10639 HAS SOUS 7320 HAS SOUPS 7320 WITH SCORE 7330.639
AT ITER 1924 NEW BEST:: SOT 41674 SOS 10625 HAS SOPS 10625 HAS SOUS 7320 HAS SOUPS 7320 WITH SCORE 7330.625
AT ITER 1927 NEW BEST:: SOT 41666 SOS 10609 HAS SOPS 10609 HAS SOUS 7309 HAS SOUPS 7309 WITH SCORE 7319.609
AT ITER 1928 NEW BEST:: SOT 41657 SOS 10591 HAS SOPS 10591 HAS SOUS 7300 HAS SOUPS 7300 WITH SCORE 7310.591
AT ITER 1981 NEW BEST:: SOT 41657 SOS 10577 HAS SOPS 10577 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7282.577
AT ITER 1989 NEW BEST:: SOT 41639 SOS 10559 HAS SOPS 10559 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7270.559
AT ITER 2004 NEW BEST:: SOT 41637 SOS 10555 HAS SOPS 10555 HAS SOUS 7256 HAS SOUPS 7256 WITH SCORE 7266.555
AT ITER 2037 NEW BEST:: SOT 41639 SOS 10557 HAS SOPS 10557 HAS SOUS 7235 HAS SOUPS 7235 WITH SCORE 7245.557
AT ITER 2049 NEW BEST:: SOT 41585 SOS 10530 HAS SOPS 10530 HAS SOUS 7208 HAS SOUPS 7208 WITH SCORE 7218.53
AT ITER 2071 NEW BEST:: SOT 41587 SOS 10470 HAS SOPS 10470 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7197.47
AT ITER 2088 NEW BEST:: SOT 41526 SOS 10397 HAS SOPS 10397 HAS SOUS 7147 HAS SOUPS 7147 WITH SCORE 7157.397
AT ITER 2092 NEW BEST:: SOT 41518 SOS 11123 HAS SOPS 11123 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7150.123
AT ITER 2098 NEW BEST:: SOT 41494 SOS 11075 HAS SOPS 11075 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7102.075
AT ITER 2116 NEW BEST:: SOT 41483 SOS 11064 HAS SOPS 11064 HAS SOUS 7086 HAS SOUPS 7086 WITH SCORE 7097.064
AT ITER 2157 NEW BEST:: SOT 41475 SOS 11044 HAS SOPS 11044 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7095.044
AT ITER 2166 NEW BEST:: SOT 41460 SOS 11014 HAS SOPS 11014 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7065.014
AT ITER 2168 NEW BEST:: SOT 41493 SOS 11047 HAS SOPS 11047 HAS SOUS 7051 HAS SOUPS 7051 WITH SCORE 7062.047
AT ITER 2179 NEW BEST:: SOT 41491 SOS 11014 HAS SOPS 11014 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7058.014
AT ITER 2186 NEW BEST:: SOT 41500 SOS 10522 HAS SOPS 10522 HAS SOUS 7022 HAS SOUPS 7022 WITH SCORE 7032.522
AT ITER 2199 NEW BEST:: SOT 41516 SOS 10529 HAS SOPS 10529 HAS SOUS 7011 HAS SOUPS 7011 WITH SCORE 7021.529
AT ITER 2206 NEW BEST:: SOT 41513 SOS 10523 HAS SOPS 10523 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7015.523
AT ITER 2207 NEW BEST:: SOT 41444 SOS 11477 HAS SOPS 11477 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 6999.477
AT ITER 2209 NEW BEST:: SOT 41447 SOS 11476 HAS SOPS 11476 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 6998.476
AT ITER 2223 NEW BEST:: SOT 41440 SOS 11462 HAS SOPS 11462 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6976.462
AT ITER 2245 NEW BEST:: SOT 41434 SOS 11456 HAS SOPS 11456 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6970.456
AT ITER 2264 NEW BEST:: SOT 41431 SOS 11450 HAS SOPS 11450 HAS SOUS 6953 HAS SOUPS 6953 WITH SCORE 6964.45
AT ITER 2265 NEW BEST:: SOT 41431 SOS 11438 HAS SOPS 11438 HAS SOUS 6953 HAS SOUPS 6953 WITH SCORE 6964.438
AT ITER 2362 NEW BEST:: SOT 41415 SOS 11357 HAS SOPS 11357 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6948.357
AT ITER 2363 NEW BEST:: SOT 41421 SOS 11363 HAS SOPS 11363 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6944.363
AT ITER 2370 NEW BEST:: SOT 41430 SOS 11282 HAS SOPS 11282 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6935.282
AT ITER 2405 NEW BEST:: SOT 41427 SOS 11257 HAS SOPS 11257 HAS SOUS 6918 HAS SOUPS 6918 WITH SCORE 6929.257
AT ITER 2414 NEW BEST:: SOT 41427 SOS 11247 HAS SOPS 11247 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6927.247
AT ITER 2439 NEW BEST:: SOT 41412 SOS 11217 HAS SOPS 11217 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6912.217
AT ITER 2506 NEW BEST:: SOT 41401 SOS 11195 HAS SOPS 11195 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6912.195
AT ITER 2517 NEW BEST:: SOT 41414 SOS 11221 HAS SOPS 11221 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6909.221
AT ITER 2526 NEW BEST:: SOT 41412 SOS 11217 HAS SOPS 11217 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6905.217
AT ITER 2566 NEW BEST:: SOT 41412 SOS 11217 HAS SOPS 11217 HAS SOUS 6889 HAS SOUPS 6889 WITH SCORE 6900.217
AT ITER 2568 NEW BEST:: SOT 41388 SOS 11185 HAS SOPS 11185 HAS SOUS 6865 HAS SOUPS 6865 WITH SCORE 6876.185
AT ITER 2580 NEW BEST:: SOT 41377 SOS 11163 HAS SOPS 11163 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6865.163
AT ITER 2583 NEW BEST:: SOT 41338 SOS 10805 HAS SOPS 10805 HAS SOUS 6815 HAS SOUPS 6815 WITH SCORE 6825.805
AT ITER 2657 NEW BEST:: SOT 41336 SOS 11011 HAS SOPS 11011 HAS SOUS 6813 HAS SOUPS 6813 WITH SCORE 6824.011
AT ITER 2677 NEW BEST:: SOT 41326 SOS 10991 HAS SOPS 10991 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6813.991
AT ITER 2686 NEW BEST:: SOT 41325 SOS 10989 HAS SOPS 10989 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6812.989
AT ITER 2722 NEW BEST:: SOT 41360 SOS 11027 HAS SOPS 11027 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6796.027
AT ITER 2769 NEW BEST:: SOT 41353 SOS 10985 HAS SOPS 10985 HAS SOUS 6771 HAS SOUPS 6771 WITH SCORE 6781.985
AT ITER 2787 NEW BEST:: SOT 41341 SOS 10973 HAS SOPS 10973 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6769.973
AT ITER 2797 NEW BEST:: SOT 41329 SOS 11017 HAS SOPS 11017 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6762.017
AT ITER 2821 NEW BEST:: SOT 41324 SOS 11007 HAS SOPS 11007 HAS SOUS 6747 HAS SOUPS 6747 WITH SCORE 6758.007
AT ITER 2831 NEW BEST:: SOT 41323 SOS 11009 HAS SOPS 11009 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6756.009
AT ITER 2834 NEW BEST:: SOT 41315 SOS 10993 HAS SOPS 10993 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6739.993
AT ITER 2843 NEW BEST:: SOT 41312 SOS 10987 HAS SOPS 10987 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6733.987
AT ITER 2848 NEW BEST:: SOT 41263 SOS 10889 HAS SOPS 10889 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6708.889
AT ITER 2885 NEW BEST:: SOT 41201 SOS 10765 HAS SOPS 10765 HAS SOUS 6617 HAS SOUPS 6617 WITH SCORE 6627.765
AT ITER 2928 NEW BEST:: SOT 41206 SOS 10775 HAS SOPS 10775 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6621.775
AT ITER 2929 NEW BEST:: SOT 41201 SOS 10770 HAS SOPS 10770 HAS SOUS 6606 HAS SOUPS 6606 WITH SCORE 6616.77
AT ITER 2960 NEW BEST:: SOT 41198 SOS 10733 HAS SOPS 10733 HAS SOUS 6569 HAS SOUPS 6569 WITH SCORE 6579.733
AT ITER 2985 NEW BEST:: SOT 41193 SOS 10723 HAS SOPS 10723 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6570.723
AT ITER 2997 NEW BEST:: SOT 41190 SOS 10722 HAS SOPS 10722 HAS SOUS 6559 HAS SOUPS 6559 WITH SCORE 6569.722
AT ITER 3010 NEW BEST:: SOT 41191 SOS 10723 HAS SOPS 10723 HAS SOUS 6555 HAS SOUPS 6555 WITH SCORE 6565.723
AT ITER 3013 NEW BEST:: SOT 41187 SOS 10719 HAS SOPS 10719 HAS SOUS 6547 HAS SOUPS 6547 WITH SCORE 6557.719
AT ITER 3032 NEW BEST:: SOT 41201 SOS 10739 HAS SOPS 10739 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6549.739
AT ITER 3063 NEW BEST:: SOT 41162 SOS 10722 HAS SOPS 10722 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6532.722
AT ITER 3067 NEW BEST:: SOT 41133 SOS 10664 HAS SOPS 10664 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6527.664
AT ITER 3068 NEW BEST:: SOT 41110 SOS 10618 HAS SOPS 10618 HAS SOUS 6453 HAS SOUPS 6453 WITH SCORE 6463.618
AT ITER 3078 NEW BEST:: SOT 41081 SOS 10560 HAS SOPS 10560 HAS SOUS 6424 HAS SOUPS 6424 WITH SCORE 6434.56
AT ITER 3121 NEW BEST:: SOT 41080 SOS 10558 HAS SOPS 10558 HAS SOUS 6422 HAS SOUPS 6422 WITH SCORE 6432.558
AT ITER 3127 NEW BEST:: SOT 41071 SOS 10551 HAS SOPS 10551 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6422.551
AT ITER 3132 NEW BEST:: SOT 41068 SOS 10548 HAS SOPS 10548 HAS SOUS 6409 HAS SOUPS 6409 WITH SCORE 6419.548
AT ITER 3148 NEW BEST:: SOT 41064 SOS 10533 HAS SOPS 10533 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6404.533
AT ITER 3169 NEW BEST:: SOT 41073 SOS 10532 HAS SOPS 10532 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6403.532
AT ITER 3178 NEW BEST:: SOT 41073 SOS 10531 HAS SOPS 10531 HAS SOUS 6392 HAS SOUPS 6392 WITH SCORE 6402.531
AT ITER 3184 NEW BEST:: SOT 41091 SOS 10551 HAS SOPS 10551 HAS SOUS 6387 HAS SOUPS 6387 WITH SCORE 6397.551
AT ITER 3203 NEW BEST:: SOT 41062 SOS 10544 HAS SOPS 10544 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6379.544
AT ITER 3217 NEW BEST:: SOT 41014 SOS 10448 HAS SOPS 10448 HAS SOUS 6347 HAS SOUPS 6347 WITH SCORE 6357.448
AT ITER 3234 NEW BEST:: SOT 41000 SOS 10420 HAS SOPS 10420 HAS SOUS 6327 HAS SOUPS 6327 WITH SCORE 6337.42
AT ITER 3246 NEW BEST:: SOT 41000 SOS 10420 HAS SOPS 10420 HAS SOUS 6325 HAS SOUPS 6325 WITH SCORE 6335.42
AT ITER 3250 NEW BEST:: SOT 41030 SOS 10480 HAS SOPS 10480 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6324.48
AT ITER 3269 NEW BEST:: SOT 41033 SOS 10486 HAS SOPS 10486 HAS SOUS 6309 HAS SOUPS 6309 WITH SCORE 6319.486
AT ITER 3297 NEW BEST:: SOT 41031 SOS 10482 HAS SOPS 10482 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6315.482
AT ITER 3305 NEW BEST:: SOT 41031 SOS 10482 HAS SOPS 10482 HAS SOUS 6302 HAS SOUPS 6302 WITH SCORE 6312.482
AT ITER 3341 NEW BEST:: SOT 41028 SOS 10482 HAS SOPS 10482 HAS SOUS 6299 HAS SOUPS 6299 WITH SCORE 6309.482
AT ITER 3347 NEW BEST:: SOT 41029 SOS 10467 HAS SOPS 10467 HAS SOUS 6284 HAS SOUPS 6284 WITH SCORE 6294.467
AT ITER 3359 NEW BEST:: SOT 41037 SOS 10475 HAS SOPS 10475 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6286.475
AT ITER 3360 NEW BEST:: SOT 41030 SOS 10521 HAS SOPS 10521 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6279.521
AT ITER 3423 NEW BEST:: SOT 41018 SOS 10509 HAS SOPS 10509 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6279.509
AT ITER 3425 NEW BEST:: SOT 41018 SOS 10509 HAS SOPS 10509 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6278.509
AT ITER 3443 NEW BEST:: SOT 41000 SOS 10435 HAS SOPS 10435 HAS SOUS 6249 HAS SOUPS 6249 WITH SCORE 6259.435
AT ITER 3457 NEW BEST:: SOT 40988 SOS 10411 HAS SOPS 10411 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6244.411
AT ITER 3477 NEW BEST:: SOT 40973 SOS 10381 HAS SOPS 10381 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6229.381
AT ITER 3481 NEW BEST:: SOT 40940 SOS 10348 HAS SOPS 10348 HAS SOUS 6214 HAS SOUPS 6214 WITH SCORE 6224.348
AT ITER 3525 NEW BEST:: SOT 40929 SOS 10315 HAS SOPS 10315 HAS SOUS 6192 HAS SOUPS 6192 WITH SCORE 6202.315
AT ITER 3534 NEW BEST:: SOT 40926 SOS 10312 HAS SOPS 10312 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6199.312
AT ITER 3640 NEW BEST:: SOT 40931 SOS 10317 HAS SOPS 10317 HAS SOUS 6188 HAS SOUPS 6188 WITH SCORE 6198.317
AT ITER 3658 NEW BEST:: SOT 40933 SOS 10314 HAS SOPS 10314 HAS SOUS 6185 HAS SOUPS 6185 WITH SCORE 6195.314
AT ITER 3660 NEW BEST:: SOT 40940 SOS 10328 HAS SOPS 10328 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6188.328
AT ITER 3669 NEW BEST:: SOT 40932 SOS 10320 HAS SOPS 10320 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6180.32
AT ITER 3682 NEW BEST:: SOT 40948 SOS 10336 HAS SOPS 10336 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6169.336
AT ITER 3687 NEW BEST:: SOT 40938 SOS 10324 HAS SOPS 10324 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6165.324
AT ITER 3693 NEW BEST:: SOT 40924 SOS 10310 HAS SOPS 10310 HAS SOUS 6141 HAS SOUPS 6141 WITH SCORE 6151.31
AT ITER 3715 NEW BEST:: SOT 40924 SOS 10309 HAS SOPS 10309 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6150.309
AT ITER 3719 NEW BEST:: SOT 40921 SOS 10303 HAS SOPS 10303 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6150.303
AT ITER 3742 NEW BEST:: SOT 40918 SOS 10263 HAS SOPS 10263 HAS SOUS 6099 HAS SOUPS 6099 WITH SCORE 6109.263
AT ITER 3812 NEW BEST:: SOT 40888 SOS 10249 HAS SOPS 10249 HAS SOUS 6085 HAS SOUPS 6085 WITH SCORE 6095.249
AT ITER 3827 NEW BEST:: SOT 40887 SOS 10247 HAS SOPS 10247 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6093.247
AT ITER 3836 NEW BEST:: SOT 40887 SOS 10247 HAS SOPS 10247 HAS SOUS 6075 HAS SOUPS 6075 WITH SCORE 6085.247
AT ITER 3848 NEW BEST:: SOT 40859 SOS 10347 HAS SOPS 10347 HAS SOUS 6047 HAS SOUPS 6047 WITH SCORE 6057.347
AT ITER 3853 NEW BEST:: SOT 40854 SOS 10337 HAS SOPS 10337 HAS SOUS 6037 HAS SOUPS 6037 WITH SCORE 6047.337
AT ITER 3875 NEW BEST:: SOT 40859 SOS 10342 HAS SOPS 10342 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6042.342
AT ITER 3878 NEW BEST:: SOT 40859 SOS 10342 HAS SOPS 10342 HAS SOUS 6021 HAS SOUPS 6021 WITH SCORE 6031.342
AT ITER 3885 NEW BEST:: SOT 40843 SOS 10310 HAS SOPS 10310 HAS SOUS 6019 HAS SOUPS 6019 WITH SCORE 6029.31
AT ITER 3888 NEW BEST:: SOT 40821 SOS 10277 HAS SOPS 10277 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6007.277
AT ITER 3898 NEW BEST:: SOT 40768 SOS 10224 HAS SOPS 10224 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6007.224
AT ITER 3919 NEW BEST:: SOT 40754 SOS 10196 HAS SOPS 10196 HAS SOUS 5983 HAS SOUPS 5983 WITH SCORE 5993.196
AT ITER 3927 NEW BEST:: SOT 40752 SOS 10194 HAS SOPS 10194 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5991.194
AT ITER 3983 NEW BEST:: SOT 40747 SOS 10187 HAS SOPS 10187 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5984.187
AT ITER 4001 NEW BEST:: SOT 40740 SOS 10173 HAS SOPS 10173 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5970.173
AT ITER 4021 NEW BEST:: SOT 40738 SOS 10169 HAS SOPS 10169 HAS SOUS 5956 HAS SOUPS 5956 WITH SCORE 5966.169
AT ITER 4108 NEW BEST:: SOT 40738 SOS 10165 HAS SOPS 10165 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5962.165
AT ITER 4130 NEW BEST:: SOT 40737 SOS 10163 HAS SOPS 10163 HAS SOUS 5950 HAS SOUPS 5950 WITH SCORE 5960.163
AT ITER 4136 NEW BEST:: SOT 40737 SOS 10160 HAS SOPS 10160 HAS SOUS 5947 HAS SOUPS 5947 WITH SCORE 5957.16
AT ITER 4161 NEW BEST:: SOT 40726 SOS 10118 HAS SOPS 10118 HAS SOUS 5933 HAS SOUPS 5933 WITH SCORE 5943.118
AT ITER 4189 NEW BEST:: SOT 40727 SOS 10078 HAS SOPS 10078 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5938.078
AT ITER 4219 NEW BEST:: SOT 40715 SOS 10066 HAS SOPS 10066 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5936.066
AT ITER 4231 NEW BEST:: SOT 40690 SOS 10041 HAS SOPS 10041 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5936.041
AT ITER 4239 NEW BEST:: SOT 40684 SOS 10028 HAS SOPS 10028 HAS SOUS 5913 HAS SOUPS 5913 WITH SCORE 5923.028
AT ITER 4277 NEW BEST:: SOT 40684 SOS 10028 HAS SOPS 10028 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5921.028
AT ITER 4278 NEW BEST:: SOT 40680 SOS 10020 HAS SOPS 10020 HAS SOUS 5903 HAS SOUPS 5903 WITH SCORE 5913.02
AT ITER 4293 NEW BEST:: SOT 40666 SOS 10006 HAS SOPS 10006 HAS SOUS 5889 HAS SOUPS 5889 WITH SCORE 5899.006
AT ITER 4298 NEW BEST:: SOT 40595 SOS 10977 HAS SOPS 10977 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5881.977
AT ITER 4306 NEW BEST:: SOT 40578 SOS 10931 HAS SOPS 10931 HAS SOUS 5857 HAS SOUPS 5857 WITH SCORE 5867.931
AT ITER 4307 NEW BEST:: SOT 40577 SOS 10929 HAS SOPS 10929 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5865.929
AT ITER 4320 NEW BEST:: SOT 40566 SOS 10911 HAS SOPS 10911 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5847.911
AT ITER 4348 NEW BEST:: SOT 40562 SOS 10903 HAS SOPS 10903 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5839.903
AT ITER 4369 NEW BEST:: SOT 40543 SOS 10855 HAS SOPS 10855 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5811.855
AT ITER 4373 NEW BEST:: SOT 40537 SOS 10843 HAS SOPS 10843 HAS SOUS 5789 HAS SOUPS 5789 WITH SCORE 5799.843
AT ITER 4386 NEW BEST:: SOT 40544 SOS 10847 HAS SOPS 10847 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5796.847
AT ITER 4398 NEW BEST:: SOT 40541 SOS 10838 HAS SOPS 10838 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5790.838
AT ITER 4441 NEW BEST:: SOT 40533 SOS 10822 HAS SOPS 10822 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5774.822
AT ITER 4501 NEW BEST:: SOT 40531 SOS 10818 HAS SOPS 10818 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5774.818
AT ITER 4505 NEW BEST:: SOT 40527 SOS 10798 HAS SOPS 10798 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5766.798
AT ITER 4509 NEW BEST:: SOT 40506 SOS 10756 HAS SOPS 10756 HAS SOUS 5741 HAS SOUPS 5741 WITH SCORE 5751.756
AT ITER 4685 NEW BEST:: SOT 40499 SOS 10761 HAS SOPS 10761 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5750.761
AT ITER 4730 NEW BEST:: SOT 40485 SOS 10741 HAS SOPS 10741 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5731.741
AT ITER 4749 NEW BEST:: SOT 40478 SOS 10753 HAS SOPS 10753 HAS SOUS 5713 HAS SOUPS 5713 WITH SCORE 5723.753
AT ITER 4799 NEW BEST:: SOT 40481 SOS 10759 HAS SOPS 10759 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5708.759
AT ITER 4812 NEW BEST:: SOT 40471 SOS 10739 HAS SOPS 10739 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5692.739
AT ITER 4818 NEW BEST:: SOT 40468 SOS 10208 HAS SOPS 10208 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5665.208
AT ITER 4836 NEW BEST:: SOT 40454 SOS 10194 HAS SOPS 10194 HAS SOUS 5648 HAS SOUPS 5648 WITH SCORE 5658.194
AT ITER 4862 NEW BEST:: SOT 40415 SOS 10068 HAS SOPS 10068 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5643.068
AT ITER 4888 NEW BEST:: SOT 40410 SOS 10058 HAS SOPS 10058 HAS SOUS 5631 HAS SOUPS 5631 WITH SCORE 5641.058
AT ITER 4894 NEW BEST:: SOT 40409 SOS 10056 HAS SOPS 10056 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5639.056
AT ITER 4996 NEW BEST:: SOT 40404 SOS 10031 HAS SOPS 10031 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5614.031
AT ITER 5008 NEW BEST:: SOT 40402 SOS 10029 HAS SOPS 10029 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5612.029
AT ITER 5016 NEW BEST:: SOT 40401 SOS 10027 HAS SOPS 10027 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5612.027
AT ITER 5062 NEW BEST:: SOT 40392 SOS 10018 HAS SOPS 10018 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5601.018
AT ITER 5168 NEW BEST:: SOT 40400 SOS 10001 HAS SOPS 10001 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5584.001
AT ITER 5171 NEW BEST:: SOT 40399 SOS 10000 HAS SOPS 10000 HAS SOUS 5573 HAS SOUPS 5573 WITH SCORE 5583.0
AT ITER 5262 NEW BEST:: SOT 40398 SOS 9998 HAS SOPS 9998 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5580.998
AT ITER 5281 NEW BEST:: SOT 40392 SOS 9992 HAS SOPS 9992 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5574.992
AT ITER 5349 NEW BEST:: SOT 40373 SOS 9954 HAS SOPS 9954 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5555.954
AT ITER 5367 NEW BEST:: SOT 40372 SOS 9952 HAS SOPS 9952 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5555.952
AT ITER 5374 NEW BEST:: SOT 40361 SOS 9930 HAS SOPS 9930 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5544.93
AT ITER 5406 NEW BEST:: SOT 40358 SOS 9927 HAS SOPS 9927 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5541.927
AT ITER 5423 NEW BEST:: SOT 40335 SOS 9910 HAS SOPS 9910 HAS SOUS 5515 HAS SOUPS 5515 WITH SCORE 5524.91
AT ITER 5473 NEW BEST:: SOT 40325 SOS 9895 HAS SOPS 9895 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5509.895
AT ITER 5489 NEW BEST:: SOT 40324 SOS 9893 HAS SOPS 9893 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5507.893
AT ITER 5502 NEW BEST:: SOT 40324 SOS 9893 HAS SOPS 9893 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5492.893
AT ITER 5603 NEW BEST:: SOT 40321 SOS 9890 HAS SOPS 9890 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5492.89
AT ITER 5631 NEW BEST:: SOT 40303 SOS 9871 HAS SOPS 9871 HAS SOUS 5465 HAS SOUPS 5465 WITH SCORE 5474.871
AT ITER 5648 NEW BEST:: SOT 40303 SOS 9871 HAS SOPS 9871 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5468.871
AT ITER 5699 NEW BEST:: SOT 40291 SOS 9848 HAS SOPS 9848 HAS SOUS 5458 HAS SOUPS 5458 WITH SCORE 5467.848
AT ITER 5753 NEW BEST:: SOT 40290 SOS 9846 HAS SOPS 9846 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5465.846
AT ITER 5805 NEW BEST:: SOT 40286 SOS 9842 HAS SOPS 9842 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5465.842
AT ITER 5814 NEW BEST:: SOT 40286 SOS 9839 HAS SOPS 9839 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5465.839
AT ITER 5854 NEW BEST:: SOT 40292 SOS 9845 HAS SOPS 9845 HAS SOUS 5453 HAS SOUPS 5453 WITH SCORE 5462.845
AT ITER 5870 NEW BEST:: SOT 40279 SOS 9832 HAS SOPS 9832 HAS SOUS 5440 HAS SOUPS 5440 WITH SCORE 5449.832
AT ITER 5873 NEW BEST:: SOT 40256 SOS 9912 HAS SOPS 9912 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5435.912
AT ITER 5992 NEW BEST:: SOT 40256 SOS 9902 HAS SOPS 9902 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5434.902
AT ITER 5997 NEW BEST:: SOT 40257 SOS 9901 HAS SOPS 9901 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5433.901
AT ITER 6005 NEW BEST:: SOT 40244 SOS 9875 HAS SOPS 9875 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5433.875
AT ITER 6019 NEW BEST:: SOT 40242 SOS 9872 HAS SOPS 9872 HAS SOUS 5419 HAS SOUPS 5419 WITH SCORE 5428.872
AT ITER 6051 NEW BEST:: SOT 40235 SOS 9865 HAS SOPS 9865 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5423.865
AT ITER 6089 NEW BEST:: SOT 40236 SOS 9862 HAS SOPS 9862 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5423.862
AT ITER 6115 NEW BEST:: SOT 40233 SOS 9814 HAS SOPS 9814 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5417.814
AT ITER 6191 NEW BEST:: SOT 40233 SOS 9809 HAS SOPS 9809 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5412.809
AT ITER 6238 NEW BEST:: SOT 40231 SOS 9805 HAS SOPS 9805 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5410.805
AT ITER 6258 NEW BEST:: SOT 40231 SOS 9804 HAS SOPS 9804 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5410.804
AT ITER 6262 NEW BEST:: SOT 40230 SOS 9802 HAS SOPS 9802 HAS SOUS 5400 HAS SOUPS 5400 WITH SCORE 5409.802
AT ITER 6287 NEW BEST:: SOT 40224 SOS 9792 HAS SOPS 9792 HAS SOUS 5400 HAS SOUPS 5400 WITH SCORE 5409.792
AT ITER 6314 NEW BEST:: SOT 40214 SOS 9829 HAS SOPS 9829 HAS SOUS 5395 HAS SOUPS 5395 WITH SCORE 5404.829
AT ITER 6342 NEW BEST:: SOT 40214 SOS 9829 HAS SOPS 9829 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5403.829
AT ITER 6357 NEW BEST:: SOT 40207 SOS 9815 HAS SOPS 9815 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5392.815
AT ITER 6365 NEW BEST:: SOT 40192 SOS 9785 HAS SOPS 9785 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5377.785
AT ITER 6399 NEW BEST:: SOT 40192 SOS 9785 HAS SOPS 9785 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5353.785
AT ITER 6542 NEW BEST:: SOT 40191 SOS 9783 HAS SOPS 9783 HAS SOUS 5342 HAS SOUPS 5342 WITH SCORE 5351.783
AT ITER 6580 NEW BEST:: SOT 40186 SOS 9773 HAS SOPS 9773 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5341.773
AT ITER 6581 NEW BEST:: SOT 40186 SOS 9737 HAS SOPS 9737 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5341.737
AT ITER 6586 NEW BEST:: SOT 40182 SOS 9733 HAS SOPS 9733 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5337.733
AT ITER 6613 NEW BEST:: SOT 40179 SOS 9730 HAS SOPS 9730 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5334.73
AT ITER 6616 NEW BEST:: SOT 40174 SOS 9714 HAS SOPS 9714 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5314.714
AT ITER 6696 NEW BEST:: SOT 40159 SOS 9696 HAS SOPS 9696 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5308.696
AT ITER 6816 NEW BEST:: SOT 40150 SOS 9690 HAS SOPS 9690 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5303.69
AT ITER 6880 NEW BEST:: SOT 40144 SOS 9684 HAS SOPS 9684 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5303.684
AT ITER 6898 NEW BEST:: SOT 40142 SOS 9680 HAS SOPS 9680 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5299.68
AT ITER 6914 NEW BEST:: SOT 40142 SOS 9676 HAS SOPS 9676 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5299.676
AT ITER 6936 NEW BEST:: SOT 40140 SOS 9673 HAS SOPS 9673 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5298.673
AT ITER 6962 NEW BEST:: SOT 40133 SOS 9641 HAS SOPS 9641 HAS SOUS 5273 HAS SOUPS 5273 WITH SCORE 5282.641
AT ITER 6965 NEW BEST:: SOT 40133 SOS 9617 HAS SOPS 9617 HAS SOUS 5273 HAS SOUPS 5273 WITH SCORE 5282.617
AT ITER 6978 NEW BEST:: SOT 40123 SOS 9608 HAS SOPS 9608 HAS SOUS 5264 HAS SOUPS 5264 WITH SCORE 5273.608
AT ITER 6992 NEW BEST:: SOT 40123 SOS 9607 HAS SOPS 9607 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5272.607
AT ITER 7142 NEW BEST:: SOT 40121 SOS 9603 HAS SOPS 9603 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5269.603
AT ITER 7243 NEW BEST:: SOT 40116 SOS 9593 HAS SOPS 9593 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5264.593
AT ITER 7293 NEW BEST:: SOT 40115 SOS 9591 HAS SOPS 9591 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5261.591
AT ITER 7386 NEW BEST:: SOT 40114 SOS 9583 HAS SOPS 9583 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5256.583
AT ITER 7435 NEW BEST:: SOT 40104 SOS 9580 HAS SOPS 9580 HAS SOUS 5244 HAS SOUPS 5244 WITH SCORE 5253.58
AT ITER 7482 NEW BEST:: SOT 40101 SOS 9574 HAS SOPS 9574 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5248.574
AT ITER 7490 NEW BEST:: SOT 40101 SOS 9570 HAS SOPS 9570 HAS SOUS 5235 HAS SOUPS 5235 WITH SCORE 5244.57
AT ITER 7498 NEW BEST:: SOT 40093 SOS 9554 HAS SOPS 9554 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5228.554
AT ITER 7537 NEW BEST:: SOT 40092 SOS 9552 HAS SOPS 9552 HAS SOUS 5217 HAS SOUPS 5217 WITH SCORE 5226.552
AT ITER 7622 NEW BEST:: SOT 40075 SOS 9539 HAS SOPS 9539 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5213.539
AT ITER 7655 NEW BEST:: SOT 40073 SOS 9537 HAS SOPS 9537 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5211.537
AT ITER 7731 NEW BEST:: SOT 40069 SOS 9530 HAS SOPS 9530 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5204.53
AT ITER 7751 NEW BEST:: SOT 40059 SOS 9510 HAS SOPS 9510 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5194.51
AT ITER 7763 NEW BEST:: SOT 40058 SOS 9508 HAS SOPS 9508 HAS SOUS 5184 HAS SOUPS 5184 WITH SCORE 5193.508
AT ITER 7769 NEW BEST:: SOT 40058 SOS 9490 HAS SOPS 9490 HAS SOUS 5184 HAS SOUPS 5184 WITH SCORE 5193.49
AT ITER 7798 NEW BEST:: SOT 40058 SOS 9490 HAS SOPS 9490 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5192.49
AT ITER 7800 NEW BEST:: SOT 40056 SOS 9486 HAS SOPS 9486 HAS SOUS 5180 HAS SOUPS 5180 WITH SCORE 5189.486
AT ITER 7830 NEW BEST:: SOT 40053 SOS 9480 HAS SOPS 9480 HAS SOUS 5174 HAS SOUPS 5174 WITH SCORE 5183.48
AT ITER 7974 NEW BEST:: SOT 40046 SOS 9473 HAS SOPS 9473 HAS SOUS 5169 HAS SOUPS 5169 WITH SCORE 5178.473
AT ITER 8169 NEW BEST:: SOT 40046 SOS 9473 HAS SOPS 9473 HAS SOUS 5162 HAS SOUPS 5162 WITH SCORE 5171.473
AT ITER 8335 NEW BEST:: SOT 40034 SOS 9465 HAS SOPS 9465 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5163.465
AT ITER 8368 NEW BEST:: SOT 40037 SOS 9471 HAS SOPS 9471 HAS SOUS 5112 HAS SOUPS 5112 WITH SCORE 5121.471
AT ITER 8391 NEW BEST:: SOT 40036 SOS 9470 HAS SOPS 9470 HAS SOUS 5111 HAS SOUPS 5111 WITH SCORE 5120.47
AT ITER 8425 NEW BEST:: SOT 40031 SOS 9348 HAS SOPS 9348 HAS SOUS 5098 HAS SOUPS 5098 WITH SCORE 5107.348
AT ITER 8463 NEW BEST:: SOT 40019 SOS 9331 HAS SOPS 9331 HAS SOUS 5088 HAS SOUPS 5088 WITH SCORE 5097.331
AT ITER 8496 NEW BEST:: SOT 40016 SOS 9319 HAS SOPS 9319 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5090.319
AT ITER 8517 NEW BEST:: SOT 40014 SOS 9317 HAS SOPS 9317 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5089.317
AT ITER 8545 NEW BEST:: SOT 40014 SOS 9329 HAS SOPS 9329 HAS SOUS 5076 HAS SOUPS 5076 WITH SCORE 5085.329
AT ITER 8638 NEW BEST:: SOT 40014 SOS 9329 HAS SOPS 9329 HAS SOUS 5075 HAS SOUPS 5075 WITH SCORE 5084.329
AT ITER 8732 NEW BEST:: SOT 40010 SOS 9321 HAS SOPS 9321 HAS SOUS 5069 HAS SOUPS 5069 WITH SCORE 5078.321
AT ITER 8750 NEW BEST:: SOT 40003 SOS 9359 HAS SOPS 9359 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5071.359
AT ITER 8823 NEW BEST:: SOT 39985 SOS 9341 HAS SOPS 9341 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5053.341
AT ITER 8849 NEW BEST:: SOT 39977 SOS 9325 HAS SOPS 9325 HAS SOUS 5036 HAS SOUPS 5036 WITH SCORE 5045.325
AT ITER 8863 NEW BEST:: SOT 39977 SOS 9325 HAS SOPS 9325 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5040.325
AT ITER 8918 NEW BEST:: SOT 39977 SOS 9325 HAS SOPS 9325 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5039.325
AT ITER 9044 NEW BEST:: SOT 39977 SOS 9323 HAS SOPS 9323 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5039.323
AT ITER 9199 NEW BEST:: SOT 39966 SOS 9323 HAS SOPS 9323 HAS SOUS 5024 HAS SOUPS 5024 WITH SCORE 5033.323
AT ITER 9283 NEW BEST:: SOT 39965 SOS 9321 HAS SOPS 9321 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5032.321
AT ITER 9297 NEW BEST:: SOT 39963 SOS 9320 HAS SOPS 9320 HAS SOUS 5022 HAS SOUPS 5022 WITH SCORE 5031.32
AT ITER 9318 NEW BEST:: SOT 39960 SOS 9311 HAS SOPS 9311 HAS SOUS 5019 HAS SOUPS 5019 WITH SCORE 5028.311
AT ITER 9321 NEW BEST:: SOT 39956 SOS 9307 HAS SOPS 9307 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5024.307
AT ITER 9382 NEW BEST:: SOT 39956 SOS 9307 HAS SOPS 9307 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5023.307
AT ITER 9400 NEW BEST:: SOT 39951 SOS 9302 HAS SOPS 9302 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5023.302
AT ITER 9448 NEW BEST:: SOT 39922 SOS 9273 HAS SOPS 9273 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5023.273
AT ITER 9495 NEW BEST:: SOT 39921 SOS 9271 HAS SOPS 9271 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5021.271
AT ITER 9535 NEW BEST:: SOT 39917 SOS 9263 HAS SOPS 9263 HAS SOUS 5004 HAS SOUPS 5004 WITH SCORE 5013.263
AT ITER 9620 NEW BEST:: SOT 39917 SOS 9260 HAS SOPS 9260 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5010.26
AT ITER 9665 NEW BEST:: SOT 39912 SOS 9250 HAS SOPS 9250 HAS SOUS 4991 HAS SOUPS 4991 WITH SCORE 5000.25
AT ITER 9741 NEW BEST:: SOT 39905 SOS 9236 HAS SOPS 9236 HAS SOUS 4984 HAS SOUPS 4984 WITH SCORE 4993.236
AT ITER 9759 NEW BEST:: SOT 39902 SOS 9230 HAS SOPS 9230 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4990.23
AT ITER 9818 NEW BEST:: SOT 39901 SOS 9224 HAS SOPS 9224 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4988.224
AT ITER 9865 NEW BEST:: SOT 39898 SOS 9218 HAS SOPS 9218 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4988.218
STATE_SPACE STATES 394081848449 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 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3639150097783 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679260835541

--------------------
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:
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
+ 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-09"
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-09, 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-167912650900224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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