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.r451-smll-167912643200232.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 smart
Input is SmartHome-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643200232
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 576K
-rw-r--r-- 1 mcc users 6.3K Feb 26 05:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 05:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 05:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 05:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K 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 17K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 05:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 188K Feb 26 05:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 05:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 05:49 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 68K 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 1679183237197

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

Filename model.pnml
Petri model created: 273 places, 308 transitions, 699 arcs.
AT ITER 0 NEW BEST:: SOT 48623 SOS 11211 HAS SOPS 11211 HAS SOUS 10718 HAS SOUPS 10718 WITH SCORE 10729.211
AT ITER 22 NEW BEST:: SOT 48604 SOS 11192 HAS SOPS 11192 HAS SOUS 10699 HAS SOUPS 10699 WITH SCORE 10710.192
AT ITER 36 NEW BEST:: SOT 48571 SOS 11120 HAS SOPS 11120 HAS SOUS 10687 HAS SOUPS 10687 WITH SCORE 10698.12
AT ITER 47 NEW BEST:: SOT 48561 SOS 11100 HAS SOPS 11100 HAS SOUS 10672 HAS SOUPS 10672 WITH SCORE 10683.1
AT ITER 53 NEW BEST:: SOT 48560 SOS 11098 HAS SOPS 11098 HAS SOUS 10671 HAS SOUPS 10671 WITH SCORE 10682.098
AT ITER 89 NEW BEST:: SOT 48532 SOS 11070 HAS SOPS 11070 HAS SOUS 10643 HAS SOUPS 10643 WITH SCORE 10654.07
AT ITER 92 NEW BEST:: SOT 48520 SOS 11046 HAS SOPS 11046 HAS SOUS 10615 HAS SOUPS 10615 WITH SCORE 10626.046
AT ITER 98 NEW BEST:: SOT 48504 SOS 11014 HAS SOPS 11014 HAS SOUS 10569 HAS SOUPS 10569 WITH SCORE 10580.014
AT ITER 104 NEW BEST:: SOT 48487 SOS 10998 HAS SOPS 10998 HAS SOUS 10553 HAS SOUPS 10553 WITH SCORE 10563.998
AT ITER 136 NEW BEST:: SOT 48449 SOS 10801 HAS SOPS 10801 HAS SOUS 10413 HAS SOUPS 10413 WITH SCORE 10423.801
AT ITER 146 NEW BEST:: SOT 48449 SOS 10792 HAS SOPS 10792 HAS SOUS 10404 HAS SOUPS 10404 WITH SCORE 10414.792
AT ITER 163 NEW BEST:: SOT 48435 SOS 10778 HAS SOPS 10778 HAS SOUS 10390 HAS SOUPS 10390 WITH SCORE 10400.778
AT ITER 172 NEW BEST:: SOT 48427 SOS 10788 HAS SOPS 10788 HAS SOUS 10382 HAS SOUPS 10382 WITH SCORE 10392.788
AT ITER 177 NEW BEST:: SOT 48409 SOS 10716 HAS SOPS 10716 HAS SOUS 10360 HAS SOUPS 10360 WITH SCORE 10370.716
AT ITER 184 NEW BEST:: SOT 48410 SOS 10714 HAS SOPS 10714 HAS SOUS 10360 HAS SOUPS 10360 WITH SCORE 10370.714
AT ITER 191 NEW BEST:: SOT 48397 SOS 10714 HAS SOPS 10714 HAS SOUS 10354 HAS SOUPS 10354 WITH SCORE 10364.714
AT ITER 194 NEW BEST:: SOT 47875 SOS 11783 HAS SOPS 11783 HAS SOUS 10129 HAS SOUPS 10129 WITH SCORE 10140.783
AT ITER 198 NEW BEST:: SOT 47852 SOS 11737 HAS SOPS 11737 HAS SOUS 10065 HAS SOUPS 10065 WITH SCORE 10076.737
AT ITER 204 NEW BEST:: SOT 47852 SOS 11724 HAS SOPS 11724 HAS SOUS 10052 HAS SOUPS 10052 WITH SCORE 10063.724
AT ITER 237 NEW BEST:: SOT 47848 SOS 11698 HAS SOPS 11698 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10055.698
AT ITER 241 NEW BEST:: SOT 47848 SOS 11647 HAS SOPS 11647 HAS SOUS 10011 HAS SOUPS 10011 WITH SCORE 10022.647
AT ITER 244 NEW BEST:: SOT 47848 SOS 11635 HAS SOPS 11635 HAS SOUS 9999 HAS SOUPS 9999 WITH SCORE 10010.635
AT ITER 252 NEW BEST:: SOT 47816 SOS 11571 HAS SOPS 11571 HAS SOUS 9967 HAS SOUPS 9967 WITH SCORE 9978.571
AT ITER 265 NEW BEST:: SOT 47816 SOS 11564 HAS SOPS 11564 HAS SOUS 9966 HAS SOUPS 9966 WITH SCORE 9977.564
AT ITER 266 NEW BEST:: SOT 47814 SOS 11560 HAS SOPS 11560 HAS SOUS 9962 HAS SOUPS 9962 WITH SCORE 9973.56
AT ITER 270 NEW BEST:: SOT 47778 SOS 11488 HAS SOPS 11488 HAS SOUS 9907 HAS SOUPS 9907 WITH SCORE 9918.488
AT ITER 279 NEW BEST:: SOT 47778 SOS 11488 HAS SOPS 11488 HAS SOUS 9871 HAS SOUPS 9871 WITH SCORE 9882.488
AT ITER 281 NEW BEST:: SOT 47760 SOS 11470 HAS SOPS 11470 HAS SOUS 9853 HAS SOUPS 9853 WITH SCORE 9864.47
AT ITER 282 NEW BEST:: SOT 47732 SOS 11442 HAS SOPS 11442 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9836.442
AT ITER 294 NEW BEST:: SOT 47732 SOS 11379 HAS SOPS 11379 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9836.379
AT ITER 295 NEW BEST:: SOT 47732 SOS 11362 HAS SOPS 11362 HAS SOUS 9808 HAS SOUPS 9808 WITH SCORE 9819.362
AT ITER 300 NEW BEST:: SOT 47719 SOS 11352 HAS SOPS 11352 HAS SOUS 9790 HAS SOUPS 9790 WITH SCORE 9801.352
AT ITER 320 NEW BEST:: SOT 47722 SOS 11358 HAS SOPS 11358 HAS SOUS 9759 HAS SOUPS 9759 WITH SCORE 9770.358
AT ITER 324 NEW BEST:: SOT 47716 SOS 11346 HAS SOPS 11346 HAS SOUS 9747 HAS SOUPS 9747 WITH SCORE 9758.346
AT ITER 336 NEW BEST:: SOT 47711 SOS 11335 HAS SOPS 11335 HAS SOUS 9742 HAS SOUPS 9742 WITH SCORE 9753.335
AT ITER 337 NEW BEST:: SOT 47717 SOS 11298 HAS SOPS 11298 HAS SOUS 9705 HAS SOUPS 9705 WITH SCORE 9716.298
AT ITER 351 NEW BEST:: SOT 47723 SOS 11281 HAS SOPS 11281 HAS SOUS 9688 HAS SOUPS 9688 WITH SCORE 9699.281
AT ITER 370 NEW BEST:: SOT 47722 SOS 11279 HAS SOPS 11279 HAS SOUS 9686 HAS SOUPS 9686 WITH SCORE 9697.279
AT ITER 377 NEW BEST:: SOT 47754 SOS 11306 HAS SOPS 11306 HAS SOUS 9681 HAS SOUPS 9681 WITH SCORE 9692.306
AT ITER 379 NEW BEST:: SOT 47754 SOS 11306 HAS SOPS 11306 HAS SOUS 9676 HAS SOUPS 9676 WITH SCORE 9687.306
AT ITER 380 NEW BEST:: SOT 47699 SOS 11196 HAS SOPS 11196 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9652.196
AT ITER 399 NEW BEST:: SOT 47691 SOS 11180 HAS SOPS 11180 HAS SOUS 9625 HAS SOUPS 9625 WITH SCORE 9636.18
AT ITER 404 NEW BEST:: SOT 47691 SOS 11132 HAS SOPS 11132 HAS SOUS 9577 HAS SOUPS 9577 WITH SCORE 9588.132
AT ITER 438 NEW BEST:: SOT 47691 SOS 11127 HAS SOPS 11127 HAS SOUS 9572 HAS SOUPS 9572 WITH SCORE 9583.127
AT ITER 488 NEW BEST:: SOT 47610 SOS 11046 HAS SOPS 11046 HAS SOUS 9491 HAS SOUPS 9491 WITH SCORE 9502.046
AT ITER 502 NEW BEST:: SOT 47606 SOS 11026 HAS SOPS 11026 HAS SOUS 9471 HAS SOUPS 9471 WITH SCORE 9482.026
AT ITER 503 NEW BEST:: SOT 47606 SOS 10928 HAS SOPS 10928 HAS SOUS 9471 HAS SOUPS 9471 WITH SCORE 9481.928
AT ITER 573 NEW BEST:: SOT 47606 SOS 10952 HAS SOPS 10952 HAS SOUS 9467 HAS SOUPS 9467 WITH SCORE 9477.952
AT ITER 592 NEW BEST:: SOT 47609 SOS 10958 HAS SOPS 10958 HAS SOUS 9443 HAS SOUPS 9443 WITH SCORE 9453.958
AT ITER 598 NEW BEST:: SOT 47609 SOS 10928 HAS SOPS 10928 HAS SOUS 9443 HAS SOUPS 9443 WITH SCORE 9453.928
AT ITER 629 NEW BEST:: SOT 47484 SOS 10891 HAS SOPS 10891 HAS SOUS 9324 HAS SOUPS 9324 WITH SCORE 9334.891
AT ITER 632 NEW BEST:: SOT 47481 SOS 10884 HAS SOPS 10884 HAS SOUS 9273 HAS SOUPS 9273 WITH SCORE 9283.884
AT ITER 662 NEW BEST:: SOT 47146 SOS 11083 HAS SOPS 11083 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9027.083
AT ITER 664 NEW BEST:: SOT 47146 SOS 11067 HAS SOPS 11067 HAS SOUS 9000 HAS SOUPS 9000 WITH SCORE 9011.067
AT ITER 669 NEW BEST:: SOT 47137 SOS 11067 HAS SOPS 11067 HAS SOUS 8991 HAS SOUPS 8991 WITH SCORE 9002.067
AT ITER 732 NEW BEST:: SOT 47109 SOS 11053 HAS SOPS 11053 HAS SOUS 8938 HAS SOUPS 8938 WITH SCORE 8949.053
AT ITER 755 NEW BEST:: SOT 47085 SOS 11028 HAS SOPS 11028 HAS SOUS 8913 HAS SOUPS 8913 WITH SCORE 8924.028
AT ITER 771 NEW BEST:: SOT 47080 SOS 11028 HAS SOPS 11028 HAS SOUS 8908 HAS SOUPS 8908 WITH SCORE 8919.028
AT ITER 773 NEW BEST:: SOT 47076 SOS 11031 HAS SOPS 11031 HAS SOUS 8904 HAS SOUPS 8904 WITH SCORE 8915.031
AT ITER 794 NEW BEST:: SOT 47077 SOS 11032 HAS SOPS 11032 HAS SOUS 8903 HAS SOUPS 8903 WITH SCORE 8914.032
AT ITER 816 NEW BEST:: SOT 47076 SOS 11031 HAS SOPS 11031 HAS SOUS 8902 HAS SOUPS 8902 WITH SCORE 8913.031
AT ITER 847 NEW BEST:: SOT 47056 SOS 11030 HAS SOPS 11030 HAS SOUS 8901 HAS SOUPS 8901 WITH SCORE 8912.03
AT ITER 850 NEW BEST:: SOT 47051 SOS 11026 HAS SOPS 11026 HAS SOUS 8897 HAS SOUPS 8897 WITH SCORE 8908.026
AT ITER 855 NEW BEST:: SOT 47053 SOS 11019 HAS SOPS 11019 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8901.019
AT ITER 884 NEW BEST:: SOT 47051 SOS 11017 HAS SOPS 11017 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8901.017
AT ITER 895 NEW BEST:: SOT 47050 SOS 11016 HAS SOPS 11016 HAS SOUS 8889 HAS SOUPS 8889 WITH SCORE 8900.016
AT ITER 908 NEW BEST:: SOT 47043 SOS 11002 HAS SOPS 11002 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8893.002
AT ITER 948 NEW BEST:: SOT 47048 SOS 10994 HAS SOPS 10994 HAS SOUS 8880 HAS SOUPS 8880 WITH SCORE 8890.994
AT ITER 975 NEW BEST:: SOT 47036 SOS 10825 HAS SOPS 10825 HAS SOUS 8850 HAS SOUPS 8850 WITH SCORE 8860.825
AT ITER 999 NEW BEST:: SOT 47035 SOS 10823 HAS SOPS 10823 HAS SOUS 8848 HAS SOUPS 8848 WITH SCORE 8858.823
AT ITER 1041 NEW BEST:: SOT 47021 SOS 10795 HAS SOPS 10795 HAS SOUS 8837 HAS SOUPS 8837 WITH SCORE 8847.795
AT ITER 1051 NEW BEST:: SOT 47009 SOS 10765 HAS SOPS 10765 HAS SOUS 8819 HAS SOUPS 8819 WITH SCORE 8829.765
AT ITER 1053 NEW BEST:: SOT 46988 SOS 10738 HAS SOPS 10738 HAS SOUS 8807 HAS SOUPS 8807 WITH SCORE 8817.738
AT ITER 1064 NEW BEST:: SOT 46976 SOS 10714 HAS SOPS 10714 HAS SOUS 8777 HAS SOUPS 8777 WITH SCORE 8787.714
AT ITER 1076 NEW BEST:: SOT 46959 SOS 10728 HAS SOPS 10728 HAS SOUS 8763 HAS SOUPS 8763 WITH SCORE 8773.728
AT ITER 1083 NEW BEST:: SOT 46955 SOS 10720 HAS SOPS 10720 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8765.72
AT ITER 1086 NEW BEST:: SOT 46955 SOS 10719 HAS SOPS 10719 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8764.719
AT ITER 1092 NEW BEST:: SOT 46946 SOS 10710 HAS SOPS 10710 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8764.71
AT ITER 1123 NEW BEST:: SOT 46938 SOS 10686 HAS SOPS 10686 HAS SOUS 8735 HAS SOUPS 8735 WITH SCORE 8745.686
AT ITER 1124 NEW BEST:: SOT 46860 SOS 11031 HAS SOPS 11031 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8738.031
AT ITER 1132 NEW BEST:: SOT 46748 SOS 11960 HAS SOPS 11960 HAS SOUS 8692 HAS SOUPS 8692 WITH SCORE 8703.96
AT ITER 1174 NEW BEST:: SOT 46751 SOS 11963 HAS SOPS 11963 HAS SOUS 8679 HAS SOUPS 8679 WITH SCORE 8690.963
AT ITER 1185 NEW BEST:: SOT 46697 SOS 11925 HAS SOPS 11925 HAS SOUS 8636 HAS SOUPS 8636 WITH SCORE 8647.925
AT ITER 1197 NEW BEST:: SOT 46695 SOS 11945 HAS SOPS 11945 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8632.945
AT ITER 1217 NEW BEST:: SOT 46679 SOS 11928 HAS SOPS 11928 HAS SOUS 8619 HAS SOUPS 8619 WITH SCORE 8630.928
AT ITER 1218 NEW BEST:: SOT 46679 SOS 11927 HAS SOPS 11927 HAS SOUS 8618 HAS SOUPS 8618 WITH SCORE 8629.927
AT ITER 1238 NEW BEST:: SOT 46442 SOS 12776 HAS SOPS 12776 HAS SOUS 8541 HAS SOUPS 8541 WITH SCORE 8553.776
AT ITER 1260 NEW BEST:: SOT 46447 SOS 12763 HAS SOPS 12763 HAS SOUS 8528 HAS SOUPS 8528 WITH SCORE 8540.763
AT ITER 1264 NEW BEST:: SOT 46445 SOS 12731 HAS SOPS 12731 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8536.731
AT ITER 1271 NEW BEST:: SOT 46333 SOS 12602 HAS SOPS 12602 HAS SOUS 8483 HAS SOUPS 8483 WITH SCORE 8495.602
AT ITER 1282 NEW BEST:: SOT 46341 SOS 12589 HAS SOPS 12589 HAS SOUS 8444 HAS SOUPS 8444 WITH SCORE 8456.589
AT ITER 1311 NEW BEST:: SOT 46320 SOS 12550 HAS SOPS 12550 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8439.55
AT ITER 1326 NEW BEST:: SOT 46245 SOS 13091 HAS SOPS 13091 HAS SOUS 8423 HAS SOUPS 8423 WITH SCORE 8436.091
AT ITER 1330 NEW BEST:: SOT 46243 SOS 13090 HAS SOPS 13090 HAS SOUS 8421 HAS SOUPS 8421 WITH SCORE 8434.09
AT ITER 1355 NEW BEST:: SOT 46234 SOS 13063 HAS SOPS 13063 HAS SOUS 8403 HAS SOUPS 8403 WITH SCORE 8416.063
AT ITER 1368 NEW BEST:: SOT 46232 SOS 13061 HAS SOPS 13061 HAS SOUS 8401 HAS SOUPS 8401 WITH SCORE 8414.061
AT ITER 1375 NEW BEST:: SOT 46232 SOS 13079 HAS SOPS 13079 HAS SOUS 8383 HAS SOUPS 8383 WITH SCORE 8396.079
AT ITER 1384 NEW BEST:: SOT 46226 SOS 13073 HAS SOPS 13073 HAS SOUS 8377 HAS SOUPS 8377 WITH SCORE 8390.073
AT ITER 1409 NEW BEST:: SOT 46200 SOS 13021 HAS SOPS 13021 HAS SOUS 8350 HAS SOUPS 8350 WITH SCORE 8363.021
AT ITER 1416 NEW BEST:: SOT 46198 SOS 13018 HAS SOPS 13018 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8360.018
AT ITER 1453 NEW BEST:: SOT 46196 SOS 13012 HAS SOPS 13012 HAS SOUS 8346 HAS SOUPS 8346 WITH SCORE 8359.012
AT ITER 1474 NEW BEST:: SOT 46196 SOS 13000 HAS SOPS 13000 HAS SOUS 8346 HAS SOUPS 8346 WITH SCORE 8359.0
AT ITER 1480 NEW BEST:: SOT 46178 SOS 12965 HAS SOPS 12965 HAS SOUS 8335 HAS SOUPS 8335 WITH SCORE 8347.965
AT ITER 1488 NEW BEST:: SOT 46178 SOS 12965 HAS SOPS 12965 HAS SOUS 8266 HAS SOUPS 8266 WITH SCORE 8278.965
AT ITER 1492 NEW BEST:: SOT 46134 SOS 12918 HAS SOPS 12918 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8231.918
AT ITER 1514 NEW BEST:: SOT 46040 SOS 12678 HAS SOPS 12678 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8137.678
AT ITER 1551 NEW BEST:: SOT 46046 SOS 12695 HAS SOPS 12695 HAS SOUS 8123 HAS SOUPS 8123 WITH SCORE 8135.695
AT ITER 1556 NEW BEST:: SOT 46044 SOS 12693 HAS SOPS 12693 HAS SOUS 8121 HAS SOUPS 8121 WITH SCORE 8133.693
AT ITER 1559 NEW BEST:: SOT 46059 SOS 12691 HAS SOPS 12691 HAS SOUS 8119 HAS SOUPS 8119 WITH SCORE 8131.691
AT ITER 1561 NEW BEST:: SOT 46058 SOS 12690 HAS SOPS 12690 HAS SOUS 8117 HAS SOUPS 8117 WITH SCORE 8129.69
AT ITER 1565 NEW BEST:: SOT 46055 SOS 12684 HAS SOPS 12684 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8123.684
AT ITER 1594 NEW BEST:: SOT 46051 SOS 12691 HAS SOPS 12691 HAS SOUS 8103 HAS SOUPS 8103 WITH SCORE 8115.691
AT ITER 1607 NEW BEST:: SOT 46019 SOS 12661 HAS SOPS 12661 HAS SOUS 8052 HAS SOUPS 8052 WITH SCORE 8064.661
AT ITER 1613 NEW BEST:: SOT 46033 SOS 12689 HAS SOPS 12689 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8048.689
AT ITER 1637 NEW BEST:: SOT 46033 SOS 12647 HAS SOPS 12647 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8048.647
AT ITER 1662 NEW BEST:: SOT 46009 SOS 12599 HAS SOPS 12599 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 8000.599
AT ITER 1699 NEW BEST:: SOT 45991 SOS 12583 HAS SOPS 12583 HAS SOUS 7972 HAS SOUPS 7972 WITH SCORE 7984.583
AT ITER 1702 NEW BEST:: SOT 45960 SOS 12521 HAS SOPS 12521 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7922.521
AT ITER 1741 NEW BEST:: SOT 45926 SOS 12487 HAS SOPS 12487 HAS SOUS 7876 HAS SOUPS 7876 WITH SCORE 7888.487
AT ITER 1744 NEW BEST:: SOT 45906 SOS 12447 HAS SOPS 12447 HAS SOUS 7850 HAS SOUPS 7850 WITH SCORE 7862.447
AT ITER 1757 NEW BEST:: SOT 45905 SOS 12449 HAS SOPS 12449 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7860.449
AT ITER 1764 NEW BEST:: SOT 45903 SOS 12445 HAS SOPS 12445 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7856.445
AT ITER 1789 NEW BEST:: SOT 45855 SOS 12421 HAS SOPS 12421 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7835.421
AT ITER 1802 NEW BEST:: SOT 45845 SOS 12401 HAS SOPS 12401 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7835.401
AT ITER 1807 NEW BEST:: SOT 45800 SOS 12311 HAS SOPS 12311 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7781.311
AT ITER 1824 NEW BEST:: SOT 45790 SOS 12301 HAS SOPS 12301 HAS SOUS 7759 HAS SOUPS 7759 WITH SCORE 7771.301
AT ITER 1835 NEW BEST:: SOT 45768 SOS 12257 HAS SOPS 12257 HAS SOUS 7715 HAS SOUPS 7715 WITH SCORE 7727.257
AT ITER 1855 NEW BEST:: SOT 45768 SOS 12257 HAS SOPS 12257 HAS SOUS 7713 HAS SOUPS 7713 WITH SCORE 7725.257
AT ITER 1858 NEW BEST:: SOT 45767 SOS 12255 HAS SOPS 12255 HAS SOUS 7711 HAS SOUPS 7711 WITH SCORE 7723.255
AT ITER 1861 NEW BEST:: SOT 45764 SOS 12249 HAS SOPS 12249 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7717.249
AT ITER 1899 NEW BEST:: SOT 45749 SOS 12219 HAS SOPS 12219 HAS SOUS 7703 HAS SOUPS 7703 WITH SCORE 7715.219
AT ITER 1902 NEW BEST:: SOT 45749 SOS 12215 HAS SOPS 12215 HAS SOUS 7699 HAS SOUPS 7699 WITH SCORE 7711.215
AT ITER 1905 NEW BEST:: SOT 45761 SOS 12207 HAS SOPS 12207 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7703.207
AT ITER 1909 NEW BEST:: SOT 45758 SOS 12201 HAS SOPS 12201 HAS SOUS 7685 HAS SOUPS 7685 WITH SCORE 7697.201
AT ITER 1914 NEW BEST:: SOT 45740 SOS 12166 HAS SOPS 12166 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7679.166
AT ITER 1928 NEW BEST:: SOT 45739 SOS 12164 HAS SOPS 12164 HAS SOUS 7665 HAS SOUPS 7665 WITH SCORE 7677.164
AT ITER 1932 NEW BEST:: SOT 45710 SOS 12123 HAS SOPS 12123 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7653.123
AT ITER 1945 NEW BEST:: SOT 45729 SOS 12142 HAS SOPS 12142 HAS SOUS 7632 HAS SOUPS 7632 WITH SCORE 7644.142
AT ITER 1948 NEW BEST:: SOT 45729 SOS 12142 HAS SOPS 12142 HAS SOUS 7624 HAS SOUPS 7624 WITH SCORE 7636.142
AT ITER 1966 NEW BEST:: SOT 45703 SOS 12136 HAS SOPS 12136 HAS SOUS 7618 HAS SOUPS 7618 WITH SCORE 7630.136
AT ITER 1967 NEW BEST:: SOT 45690 SOS 12123 HAS SOPS 12123 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7617.123
AT ITER 1968 NEW BEST:: SOT 45690 SOS 12123 HAS SOPS 12123 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7574.123
AT ITER 1998 NEW BEST:: SOT 45671 SOS 12085 HAS SOPS 12085 HAS SOUS 7544 HAS SOUPS 7544 WITH SCORE 7556.085
AT ITER 2020 NEW BEST:: SOT 45664 SOS 12078 HAS SOPS 12078 HAS SOUS 7537 HAS SOUPS 7537 WITH SCORE 7549.078
AT ITER 2026 NEW BEST:: SOT 45657 SOS 12064 HAS SOPS 12064 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7528.064
AT ITER 2030 NEW BEST:: SOT 45639 SOS 12028 HAS SOPS 12028 HAS SOUS 7480 HAS SOUPS 7480 WITH SCORE 7492.028
AT ITER 2058 NEW BEST:: SOT 45629 SOS 12008 HAS SOPS 12008 HAS SOUS 7460 HAS SOUPS 7460 WITH SCORE 7472.008
AT ITER 2097 NEW BEST:: SOT 45569 SOS 11948 HAS SOPS 11948 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7453.948
AT ITER 2100 NEW BEST:: SOT 45559 SOS 11928 HAS SOPS 11928 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7433.928
AT ITER 2106 NEW BEST:: SOT 45559 SOS 11929 HAS SOPS 11929 HAS SOUS 7419 HAS SOUPS 7419 WITH SCORE 7430.929
AT ITER 2109 NEW BEST:: SOT 45556 SOS 11935 HAS SOPS 11935 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7427.935
AT ITER 2120 NEW BEST:: SOT 45548 SOS 11919 HAS SOPS 11919 HAS SOUS 7400 HAS SOUPS 7400 WITH SCORE 7411.919
AT ITER 2127 NEW BEST:: SOT 45548 SOS 11910 HAS SOPS 11910 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7402.91
AT ITER 2137 NEW BEST:: SOT 45536 SOS 11886 HAS SOPS 11886 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7377.886
AT ITER 2143 NEW BEST:: SOT 45537 SOS 11872 HAS SOPS 11872 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7363.872
AT ITER 2153 NEW BEST:: SOT 45528 SOS 11854 HAS SOPS 11854 HAS SOUS 7344 HAS SOUPS 7344 WITH SCORE 7355.854
AT ITER 2156 NEW BEST:: SOT 45528 SOS 11854 HAS SOPS 11854 HAS SOUS 7332 HAS SOUPS 7332 WITH SCORE 7343.854
AT ITER 2157 NEW BEST:: SOT 45499 SOS 11796 HAS SOPS 11796 HAS SOUS 7330 HAS SOUPS 7330 WITH SCORE 7341.796
AT ITER 2180 NEW BEST:: SOT 45499 SOS 11791 HAS SOPS 11791 HAS SOUS 7330 HAS SOUPS 7330 WITH SCORE 7341.791
AT ITER 2188 NEW BEST:: SOT 45513 SOS 11757 HAS SOPS 11757 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7333.757
AT ITER 2195 NEW BEST:: SOT 45510 SOS 11751 HAS SOPS 11751 HAS SOUS 7321 HAS SOUPS 7321 WITH SCORE 7332.751
AT ITER 2254 NEW BEST:: SOT 45510 SOS 11751 HAS SOPS 11751 HAS SOUS 7312 HAS SOUPS 7312 WITH SCORE 7323.751
AT ITER 2258 NEW BEST:: SOT 45502 SOS 11735 HAS SOPS 11735 HAS SOUS 7296 HAS SOUPS 7296 WITH SCORE 7307.735
AT ITER 2275 NEW BEST:: SOT 45502 SOS 11729 HAS SOPS 11729 HAS SOUS 7290 HAS SOUPS 7290 WITH SCORE 7301.729
AT ITER 2289 NEW BEST:: SOT 45487 SOS 11699 HAS SOPS 11699 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7271.699
AT ITER 2320 NEW BEST:: SOT 45484 SOS 11693 HAS SOPS 11693 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7265.693
AT ITER 2323 NEW BEST:: SOT 45452 SOS 11660 HAS SOPS 11660 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7265.66
AT ITER 2324 NEW BEST:: SOT 45452 SOS 11646 HAS SOPS 11646 HAS SOUS 7246 HAS SOUPS 7246 WITH SCORE 7257.646
AT ITER 2329 NEW BEST:: SOT 45440 SOS 11632 HAS SOPS 11632 HAS SOUS 7232 HAS SOUPS 7232 WITH SCORE 7243.632
AT ITER 2378 NEW BEST:: SOT 45374 SOS 11551 HAS SOPS 11551 HAS SOUS 7197 HAS SOUPS 7197 WITH SCORE 7208.551
AT ITER 2402 NEW BEST:: SOT 45367 SOS 11537 HAS SOPS 11537 HAS SOUS 7183 HAS SOUPS 7183 WITH SCORE 7194.537
AT ITER 2409 NEW BEST:: SOT 45357 SOS 11512 HAS SOPS 11512 HAS SOUS 7168 HAS SOUPS 7168 WITH SCORE 7179.512
AT ITER 2421 NEW BEST:: SOT 45363 SOS 11507 HAS SOPS 11507 HAS SOUS 7164 HAS SOUPS 7164 WITH SCORE 7175.507
AT ITER 2431 NEW BEST:: SOT 45363 SOS 11507 HAS SOPS 11507 HAS SOUS 7118 HAS SOUPS 7118 WITH SCORE 7129.507
AT ITER 2439 NEW BEST:: SOT 45365 SOS 11503 HAS SOPS 11503 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7125.503
AT ITER 2448 NEW BEST:: SOT 45350 SOS 11488 HAS SOPS 11488 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7109.488
AT ITER 2453 NEW BEST:: SOT 45350 SOS 11488 HAS SOPS 11488 HAS SOUS 7083 HAS SOUPS 7083 WITH SCORE 7094.488
AT ITER 2456 NEW BEST:: SOT 45346 SOS 11475 HAS SOPS 11475 HAS SOUS 7075 HAS SOUPS 7075 WITH SCORE 7086.475
AT ITER 2475 NEW BEST:: SOT 45346 SOS 11475 HAS SOPS 11475 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7077.475
AT ITER 2506 NEW BEST:: SOT 45345 SOS 11473 HAS SOPS 11473 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7075.473
AT ITER 2530 NEW BEST:: SOT 45339 SOS 11465 HAS SOPS 11465 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7070.465
AT ITER 2565 NEW BEST:: SOT 45339 SOS 11465 HAS SOPS 11465 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7053.465
AT ITER 2624 NEW BEST:: SOT 45329 SOS 11383 HAS SOPS 11383 HAS SOUS 6991 HAS SOUPS 6991 WITH SCORE 7002.383
AT ITER 2663 NEW BEST:: SOT 45327 SOS 11373 HAS SOPS 11373 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6994.373
AT ITER 2672 NEW BEST:: SOT 45348 SOS 11415 HAS SOPS 11415 HAS SOUS 6981 HAS SOUPS 6981 WITH SCORE 6992.415
AT ITER 2676 NEW BEST:: SOT 45357 SOS 11415 HAS SOPS 11415 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 6980.415
AT ITER 2679 NEW BEST:: SOT 45342 SOS 11411 HAS SOPS 11411 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6976.411
AT ITER 2685 NEW BEST:: SOT 45327 SOS 11371 HAS SOPS 11371 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6958.371
AT ITER 2697 NEW BEST:: SOT 45326 SOS 11201 HAS SOPS 11201 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6956.201
AT ITER 2699 NEW BEST:: SOT 45304 SOS 11157 HAS SOPS 11157 HAS SOUS 6930 HAS SOUPS 6930 WITH SCORE 6941.157
AT ITER 2706 NEW BEST:: SOT 45303 SOS 11155 HAS SOPS 11155 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6937.155
AT ITER 2739 NEW BEST:: SOT 45291 SOS 11131 HAS SOPS 11131 HAS SOUS 6914 HAS SOUPS 6914 WITH SCORE 6925.131
AT ITER 2764 NEW BEST:: SOT 45290 SOS 11129 HAS SOPS 11129 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6924.129
AT ITER 2772 NEW BEST:: SOT 45261 SOS 11063 HAS SOPS 11063 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6874.063
AT ITER 2804 NEW BEST:: SOT 45260 SOS 11062 HAS SOPS 11062 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6873.062
AT ITER 2806 NEW BEST:: SOT 45249 SOS 11060 HAS SOPS 11060 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6871.06
AT ITER 2818 NEW BEST:: SOT 45245 SOS 11052 HAS SOPS 11052 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6861.052
AT ITER 2851 NEW BEST:: SOT 45245 SOS 11038 HAS SOPS 11038 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6861.038
AT ITER 2897 NEW BEST:: SOT 45243 SOS 11041 HAS SOPS 11041 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6860.041
AT ITER 2937 NEW BEST:: SOT 45231 SOS 11029 HAS SOPS 11029 HAS SOUS 6837 HAS SOUPS 6837 WITH SCORE 6848.029
AT ITER 3014 NEW BEST:: SOT 45228 SOS 11023 HAS SOPS 11023 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6842.023
AT ITER 3023 NEW BEST:: SOT 45228 SOS 11016 HAS SOPS 11016 HAS SOUS 6824 HAS SOUPS 6824 WITH SCORE 6835.016
AT ITER 3025 NEW BEST:: SOT 45226 SOS 10998 HAS SOPS 10998 HAS SOUS 6821 HAS SOUPS 6821 WITH SCORE 6831.998
AT ITER 3038 NEW BEST:: SOT 45233 SOS 11012 HAS SOPS 11012 HAS SOUS 6814 HAS SOUPS 6814 WITH SCORE 6825.012
AT ITER 3064 NEW BEST:: SOT 45226 SOS 10998 HAS SOPS 10998 HAS SOUS 6800 HAS SOUPS 6800 WITH SCORE 6810.998
AT ITER 3072 NEW BEST:: SOT 45226 SOS 11002 HAS SOPS 11002 HAS SOUS 6796 HAS SOUPS 6796 WITH SCORE 6807.002
AT ITER 3098 NEW BEST:: SOT 45223 SOS 10999 HAS SOPS 10999 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6800.999
AT ITER 3106 NEW BEST:: SOT 45192 SOS 10944 HAS SOPS 10944 HAS SOUS 6765 HAS SOUPS 6765 WITH SCORE 6775.944
AT ITER 3111 NEW BEST:: SOT 45187 SOS 10934 HAS SOPS 10934 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6765.934
AT ITER 3119 NEW BEST:: SOT 45196 SOS 10930 HAS SOPS 10930 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6761.93
AT ITER 3130 NEW BEST:: SOT 45191 SOS 10918 HAS SOPS 10918 HAS SOUS 6739 HAS SOUPS 6739 WITH SCORE 6749.918
AT ITER 3157 NEW BEST:: SOT 45167 SOS 10894 HAS SOPS 10894 HAS SOUS 6739 HAS SOUPS 6739 WITH SCORE 6749.894
AT ITER 3158 NEW BEST:: SOT 45165 SOS 10894 HAS SOPS 10894 HAS SOUS 6735 HAS SOUPS 6735 WITH SCORE 6745.894
AT ITER 3165 NEW BEST:: SOT 45161 SOS 10886 HAS SOPS 10886 HAS SOUS 6727 HAS SOUPS 6727 WITH SCORE 6737.886
AT ITER 3218 NEW BEST:: SOT 45161 SOS 10885 HAS SOPS 10885 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6736.885
AT ITER 3256 NEW BEST:: SOT 45156 SOS 10880 HAS SOPS 10880 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6736.88
AT ITER 3304 NEW BEST:: SOT 45147 SOS 10857 HAS SOPS 10857 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6694.857
AT ITER 3329 NEW BEST:: SOT 45150 SOS 10863 HAS SOPS 10863 HAS SOUS 6672 HAS SOUPS 6672 WITH SCORE 6682.863
AT ITER 3361 NEW BEST:: SOT 45150 SOS 10863 HAS SOPS 10863 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6679.863
AT ITER 3372 NEW BEST:: SOT 45149 SOS 10861 HAS SOPS 10861 HAS SOUS 6667 HAS SOUPS 6667 WITH SCORE 6677.861
AT ITER 3396 NEW BEST:: SOT 45128 SOS 10819 HAS SOPS 10819 HAS SOUS 6646 HAS SOUPS 6646 WITH SCORE 6656.819
AT ITER 3414 NEW BEST:: SOT 45114 SOS 10824 HAS SOPS 10824 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6609.824
AT ITER 3444 NEW BEST:: SOT 45105 SOS 11170 HAS SOPS 11170 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6602.17
AT ITER 3460 NEW BEST:: SOT 45094 SOS 11148 HAS SOPS 11148 HAS SOUS 6563 HAS SOUPS 6563 WITH SCORE 6574.148
AT ITER 3472 NEW BEST:: SOT 45070 SOS 11338 HAS SOPS 11338 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6564.338
AT ITER 3476 NEW BEST:: SOT 45059 SOS 11327 HAS SOPS 11327 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6553.327
AT ITER 3505 NEW BEST:: SOT 45054 SOS 11292 HAS SOPS 11292 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6543.292
AT ITER 3527 NEW BEST:: SOT 45046 SOS 11276 HAS SOPS 11276 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6527.276
AT ITER 3549 NEW BEST:: SOT 45045 SOS 11274 HAS SOPS 11274 HAS SOUS 6515 HAS SOUPS 6515 WITH SCORE 6526.274
AT ITER 3607 NEW BEST:: SOT 45043 SOS 11272 HAS SOPS 11272 HAS SOUS 6515 HAS SOUPS 6515 WITH SCORE 6526.272
AT ITER 3609 NEW BEST:: SOT 45021 SOS 11229 HAS SOPS 11229 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6495.229
AT ITER 3638 NEW BEST:: SOT 45021 SOS 11226 HAS SOPS 11226 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6492.226
AT ITER 3656 NEW BEST:: SOT 45014 SOS 11212 HAS SOPS 11212 HAS SOUS 6467 HAS SOUPS 6467 WITH SCORE 6478.212
AT ITER 3657 NEW BEST:: SOT 45007 SOS 11221 HAS SOPS 11221 HAS SOUS 6464 HAS SOUPS 6464 WITH SCORE 6475.221
AT ITER 3662 NEW BEST:: SOT 45003 SOS 11213 HAS SOPS 11213 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6473.213
AT ITER 3669 NEW BEST:: SOT 44996 SOS 11151 HAS SOPS 11151 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6411.151
AT ITER 3713 NEW BEST:: SOT 44987 SOS 11147 HAS SOPS 11147 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6407.147
AT ITER 3773 NEW BEST:: SOT 45007 SOS 11175 HAS SOPS 11175 HAS SOUS 6382 HAS SOUPS 6382 WITH SCORE 6393.175
AT ITER 3776 NEW BEST:: SOT 45007 SOS 11175 HAS SOPS 11175 HAS SOUS 6376 HAS SOUPS 6376 WITH SCORE 6387.175
AT ITER 3786 NEW BEST:: SOT 45008 SOS 11166 HAS SOPS 11166 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6380.166
AT ITER 3790 NEW BEST:: SOT 45001 SOS 11162 HAS SOPS 11162 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6376.162
AT ITER 3832 NEW BEST:: SOT 44979 SOS 11118 HAS SOPS 11118 HAS SOUS 6347 HAS SOUPS 6347 WITH SCORE 6358.118
AT ITER 3876 NEW BEST:: SOT 44946 SOS 11052 HAS SOPS 11052 HAS SOUS 6347 HAS SOUPS 6347 WITH SCORE 6358.052
AT ITER 3911 NEW BEST:: SOT 44942 SOS 11044 HAS SOPS 11044 HAS SOUS 6343 HAS SOUPS 6343 WITH SCORE 6354.044
AT ITER 3917 NEW BEST:: SOT 44942 SOS 11044 HAS SOPS 11044 HAS SOUS 6341 HAS SOUPS 6341 WITH SCORE 6352.044
AT ITER 3937 NEW BEST:: SOT 44942 SOS 11044 HAS SOPS 11044 HAS SOUS 6335 HAS SOUPS 6335 WITH SCORE 6346.044
AT ITER 3982 NEW BEST:: SOT 44927 SOS 10999 HAS SOPS 10999 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6315.999
AT ITER 3997 NEW BEST:: SOT 44927 SOS 10999 HAS SOPS 10999 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6314.999
AT ITER 4037 NEW BEST:: SOT 44863 SOS 10878 HAS SOPS 10878 HAS SOUS 6253 HAS SOUPS 6253 WITH SCORE 6263.878
AT ITER 4038 NEW BEST:: SOT 44857 SOS 10872 HAS SOPS 10872 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6262.872
AT ITER 4041 NEW BEST:: SOT 44856 SOS 10870 HAS SOPS 10870 HAS SOUS 6251 HAS SOUPS 6251 WITH SCORE 6261.87
AT ITER 4052 NEW BEST:: SOT 44834 SOS 10863 HAS SOPS 10863 HAS SOUS 6239 HAS SOUPS 6239 WITH SCORE 6249.863
AT ITER 4131 NEW BEST:: SOT 44830 SOS 10859 HAS SOPS 10859 HAS SOUS 6235 HAS SOUPS 6235 WITH SCORE 6245.859
AT ITER 4162 NEW BEST:: SOT 44830 SOS 10854 HAS SOPS 10854 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6240.854
AT ITER 4169 NEW BEST:: SOT 44824 SOS 10784 HAS SOPS 10784 HAS SOUS 6211 HAS SOUPS 6211 WITH SCORE 6221.784
AT ITER 4179 NEW BEST:: SOT 44792 SOS 10698 HAS SOPS 10698 HAS SOUS 6179 HAS SOUPS 6179 WITH SCORE 6189.698
AT ITER 4201 NEW BEST:: SOT 44795 SOS 10704 HAS SOPS 10704 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6162.704
AT ITER 4213 NEW BEST:: SOT 44792 SOS 10698 HAS SOPS 10698 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6159.698
AT ITER 4405 NEW BEST:: SOT 44792 SOS 10683 HAS SOPS 10683 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6144.683
AT ITER 4406 NEW BEST:: SOT 44790 SOS 10679 HAS SOPS 10679 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6140.679
AT ITER 4430 NEW BEST:: SOT 44790 SOS 10497 HAS SOPS 10497 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6140.497
AT ITER 4441 NEW BEST:: SOT 44778 SOS 10485 HAS SOPS 10485 HAS SOUS 6118 HAS SOUPS 6118 WITH SCORE 6128.485
AT ITER 4460 NEW BEST:: SOT 44777 SOS 10482 HAS SOPS 10482 HAS SOUS 6117 HAS SOUPS 6117 WITH SCORE 6127.482
AT ITER 4500 NEW BEST:: SOT 44746 SOS 10451 HAS SOPS 10451 HAS SOUS 6116 HAS SOUPS 6116 WITH SCORE 6126.451
AT ITER 4534 NEW BEST:: SOT 44746 SOS 10441 HAS SOPS 10441 HAS SOUS 6116 HAS SOUPS 6116 WITH SCORE 6126.441
AT ITER 4539 NEW BEST:: SOT 44745 SOS 10439 HAS SOPS 10439 HAS SOUS 6114 HAS SOUPS 6114 WITH SCORE 6124.439
AT ITER 4548 NEW BEST:: SOT 44740 SOS 10434 HAS SOPS 10434 HAS SOUS 6109 HAS SOUPS 6109 WITH SCORE 6119.434
AT ITER 4588 NEW BEST:: SOT 44739 SOS 10432 HAS SOPS 10432 HAS SOUS 6107 HAS SOUPS 6107 WITH SCORE 6117.432
AT ITER 4593 NEW BEST:: SOT 44749 SOS 10386 HAS SOPS 10386 HAS SOUS 6079 HAS SOUPS 6079 WITH SCORE 6089.386
AT ITER 4603 NEW BEST:: SOT 44748 SOS 10384 HAS SOPS 10384 HAS SOUS 6077 HAS SOUPS 6077 WITH SCORE 6087.384
AT ITER 4657 NEW BEST:: SOT 44748 SOS 10384 HAS SOPS 10384 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6079.384
AT ITER 4669 NEW BEST:: SOT 44745 SOS 10378 HAS SOPS 10378 HAS SOUS 6066 HAS SOUPS 6066 WITH SCORE 6076.378
AT ITER 4704 NEW BEST:: SOT 44741 SOS 10370 HAS SOPS 10370 HAS SOUS 6061 HAS SOUPS 6061 WITH SCORE 6071.37
AT ITER 4708 NEW BEST:: SOT 44738 SOS 10364 HAS SOPS 10364 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6065.364
AT ITER 4711 NEW BEST:: SOT 44747 SOS 10382 HAS SOPS 10382 HAS SOUS 6046 HAS SOUPS 6046 WITH SCORE 6056.382
AT ITER 4745 NEW BEST:: SOT 44747 SOS 10373 HAS SOPS 10373 HAS SOUS 6037 HAS SOUPS 6037 WITH SCORE 6047.373
AT ITER 4754 NEW BEST:: SOT 44747 SOS 10373 HAS SOPS 10373 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6044.373
AT ITER 4776 NEW BEST:: SOT 44749 SOS 10372 HAS SOPS 10372 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6043.372
AT ITER 4853 NEW BEST:: SOT 44749 SOS 10372 HAS SOPS 10372 HAS SOUS 6025 HAS SOUPS 6025 WITH SCORE 6035.372
AT ITER 4879 NEW BEST:: SOT 44744 SOS 10373 HAS SOPS 10373 HAS SOUS 6015 HAS SOUPS 6015 WITH SCORE 6025.373
AT ITER 4880 NEW BEST:: SOT 44776 SOS 10405 HAS SOPS 10405 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5985.405
AT ITER 4910 NEW BEST:: SOT 44776 SOS 10361 HAS SOPS 10361 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5985.361
AT ITER 4974 NEW BEST:: SOT 44773 SOS 10355 HAS SOPS 10355 HAS SOUS 5971 HAS SOUPS 5971 WITH SCORE 5981.355
AT ITER 4975 NEW BEST:: SOT 44766 SOS 10338 HAS SOPS 10338 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5964.338
AT ITER 4989 NEW BEST:: SOT 44740 SOS 10312 HAS SOPS 10312 HAS SOUS 5947 HAS SOUPS 5947 WITH SCORE 5957.312
AT ITER 4997 NEW BEST:: SOT 44716 SOS 10288 HAS SOPS 10288 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5950.288
AT ITER 5035 NEW BEST:: SOT 44706 SOS 10278 HAS SOPS 10278 HAS SOUS 5930 HAS SOUPS 5930 WITH SCORE 5940.278
AT ITER 5039 NEW BEST:: SOT 44706 SOS 10278 HAS SOPS 10278 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5935.278
AT ITER 5043 NEW BEST:: SOT 44706 SOS 10267 HAS SOPS 10267 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5924.267
AT ITER 5106 NEW BEST:: SOT 44697 SOS 10249 HAS SOPS 10249 HAS SOUS 5905 HAS SOUPS 5905 WITH SCORE 5915.249
AT ITER 5125 NEW BEST:: SOT 44707 SOS 10108 HAS SOPS 10108 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5910.108
AT ITER 5177 NEW BEST:: SOT 44707 SOS 10108 HAS SOPS 10108 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5909.108
AT ITER 5200 NEW BEST:: SOT 44680 SOS 10128 HAS SOPS 10128 HAS SOUS 5885 HAS SOUPS 5885 WITH SCORE 5895.128
AT ITER 5226 NEW BEST:: SOT 44680 SOS 10128 HAS SOPS 10128 HAS SOUS 5876 HAS SOUPS 5876 WITH SCORE 5886.128
AT ITER 5241 NEW BEST:: SOT 44620 SOS 10008 HAS SOPS 10008 HAS SOUS 5846 HAS SOUPS 5846 WITH SCORE 5856.008
AT ITER 5330 NEW BEST:: SOT 44619 SOS 10006 HAS SOPS 10006 HAS SOUS 5845 HAS SOUPS 5845 WITH SCORE 5855.006
AT ITER 5341 NEW BEST:: SOT 44611 SOS 10000 HAS SOPS 10000 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5849.0
AT ITER 5388 NEW BEST:: SOT 44608 SOS 9997 HAS SOPS 9997 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5845.997
AT ITER 5400 NEW BEST:: SOT 44588 SOS 9977 HAS SOPS 9977 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5845.977
AT ITER 5406 NEW BEST:: SOT 44586 SOS 9973 HAS SOPS 9973 HAS SOUS 5832 HAS SOUPS 5832 WITH SCORE 5841.973
AT ITER 5459 NEW BEST:: SOT 44586 SOS 9973 HAS SOPS 9973 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5838.973
AT ITER 5557 NEW BEST:: SOT 44586 SOS 9967 HAS SOPS 9967 HAS SOUS 5818 HAS SOUPS 5818 WITH SCORE 5827.967
AT ITER 5569 NEW BEST:: SOT 44586 SOS 9881 HAS SOPS 9881 HAS SOUS 5818 HAS SOUPS 5818 WITH SCORE 5827.881
AT ITER 5618 NEW BEST:: SOT 44581 SOS 9879 HAS SOPS 9879 HAS SOUS 5813 HAS SOUPS 5813 WITH SCORE 5822.879
AT ITER 5626 NEW BEST:: SOT 44560 SOS 9854 HAS SOPS 9854 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5797.854
AT ITER 5628 NEW BEST:: SOT 44555 SOS 9844 HAS SOPS 9844 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5787.844
AT ITER 5632 NEW BEST:: SOT 44555 SOS 9837 HAS SOPS 9837 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5780.837
AT ITER 5666 NEW BEST:: SOT 44549 SOS 9825 HAS SOPS 9825 HAS SOUS 5759 HAS SOUPS 5759 WITH SCORE 5768.825
AT ITER 5707 NEW BEST:: SOT 44540 SOS 9816 HAS SOPS 9816 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5759.816
AT ITER 5748 NEW BEST:: SOT 44539 SOS 9814 HAS SOPS 9814 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5758.814
AT ITER 5752 NEW BEST:: SOT 44535 SOS 9810 HAS SOPS 9810 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5754.81
AT ITER 5770 NEW BEST:: SOT 44533 SOS 9698 HAS SOPS 9698 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5747.698
AT ITER 5793 NEW BEST:: SOT 44510 SOS 9604 HAS SOPS 9604 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5724.604
AT ITER 5889 NEW BEST:: SOT 44509 SOS 9603 HAS SOPS 9603 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5723.603
AT ITER 5942 NEW BEST:: SOT 44508 SOS 9601 HAS SOPS 9601 HAS SOUS 5712 HAS SOUPS 5712 WITH SCORE 5721.601
AT ITER 5951 NEW BEST:: SOT 44484 SOS 9585 HAS SOPS 9585 HAS SOUS 5710 HAS SOUPS 5710 WITH SCORE 5719.585
AT ITER 5978 NEW BEST:: SOT 44479 SOS 9580 HAS SOPS 9580 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5714.58
AT ITER 5996 NEW BEST:: SOT 44454 SOS 9908 HAS SOPS 9908 HAS SOUS 5701 HAS SOUPS 5701 WITH SCORE 5710.908
AT ITER 6069 NEW BEST:: SOT 44446 SOS 9892 HAS SOPS 9892 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5702.892
AT ITER 6071 NEW BEST:: SOT 44427 SOS 10007 HAS SOPS 10007 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5693.007
AT ITER 6095 NEW BEST:: SOT 44426 SOS 10005 HAS SOPS 10005 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5691.005
AT ITER 6108 NEW BEST:: SOT 44374 SOS 9901 HAS SOPS 9901 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5638.901
AT ITER 6135 NEW BEST:: SOT 44372 SOS 9898 HAS SOPS 9898 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5636.898
AT ITER 6162 NEW BEST:: SOT 44376 SOS 9842 HAS SOPS 9842 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5636.842
AT ITER 6262 NEW BEST:: SOT 44376 SOS 9841 HAS SOPS 9841 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5635.841
AT ITER 6273 NEW BEST:: SOT 44366 SOS 9821 HAS SOPS 9821 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5615.821
AT ITER 6329 NEW BEST:: SOT 44366 SOS 9821 HAS SOPS 9821 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5613.821
AT ITER 6333 NEW BEST:: SOT 44338 SOS 9765 HAS SOPS 9765 HAS SOUS 5576 HAS SOUPS 5576 WITH SCORE 5585.765
AT ITER 6341 NEW BEST:: SOT 44321 SOS 9722 HAS SOPS 9722 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5561.722
AT ITER 6370 NEW BEST:: SOT 44318 SOS 9716 HAS SOPS 9716 HAS SOUS 5551 HAS SOUPS 5551 WITH SCORE 5560.716
AT ITER 6556 NEW BEST:: SOT 44318 SOS 9716 HAS SOPS 9716 HAS SOUS 5533 HAS SOUPS 5533 WITH SCORE 5542.716
AT ITER 6578 NEW BEST:: SOT 44318 SOS 9664 HAS SOPS 9664 HAS SOUS 5533 HAS SOUPS 5533 WITH SCORE 5542.664
AT ITER 6597 NEW BEST:: SOT 44294 SOS 9640 HAS SOPS 9640 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5494.64
AT ITER 6606 NEW BEST:: SOT 44266 SOS 9584 HAS SOPS 9584 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5452.584
AT ITER 6680 NEW BEST:: SOT 44261 SOS 9628 HAS SOPS 9628 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5450.628
AT ITER 6752 NEW BEST:: SOT 44254 SOS 9625 HAS SOPS 9625 HAS SOUS 5438 HAS SOUPS 5438 WITH SCORE 5447.625
AT ITER 6778 NEW BEST:: SOT 44253 SOS 9623 HAS SOPS 9623 HAS SOUS 5436 HAS SOUPS 5436 WITH SCORE 5445.623
AT ITER 6825 NEW BEST:: SOT 44247 SOS 9617 HAS SOPS 9617 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5442.617
AT ITER 6862 NEW BEST:: SOT 44245 SOS 9613 HAS SOPS 9613 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5438.613
AT ITER 6956 NEW BEST:: SOT 44244 SOS 9612 HAS SOPS 9612 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5437.612
AT ITER 7017 NEW BEST:: SOT 44236 SOS 9610 HAS SOPS 9610 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5435.61
AT ITER 7045 NEW BEST:: SOT 44234 SOS 9607 HAS SOPS 9607 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5433.607
AT ITER 7093 NEW BEST:: SOT 44237 SOS 9601 HAS SOPS 9601 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5424.601
AT ITER 7095 NEW BEST:: SOT 44237 SOS 9600 HAS SOPS 9600 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5423.6
AT ITER 7122 NEW BEST:: SOT 44236 SOS 9598 HAS SOPS 9598 HAS SOUS 5412 HAS SOUPS 5412 WITH SCORE 5421.598
AT ITER 7179 NEW BEST:: SOT 44233 SOS 9595 HAS SOPS 9595 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5418.595
AT ITER 7210 NEW BEST:: SOT 44224 SOS 9586 HAS SOPS 9586 HAS SOUS 5400 HAS SOUPS 5400 WITH SCORE 5409.586
AT ITER 7213 NEW BEST:: SOT 44211 SOS 9573 HAS SOPS 9573 HAS SOUS 5400 HAS SOUPS 5400 WITH SCORE 5409.573
AT ITER 7221 NEW BEST:: SOT 44208 SOS 9570 HAS SOPS 9570 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5406.57
AT ITER 7227 NEW BEST:: SOT 44218 SOS 9529 HAS SOPS 9529 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5406.529
AT ITER 7247 NEW BEST:: SOT 44205 SOS 9529 HAS SOPS 9529 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5395.529
AT ITER 7286 NEW BEST:: SOT 44201 SOS 9521 HAS SOPS 9521 HAS SOUS 5382 HAS SOUPS 5382 WITH SCORE 5391.521
AT ITER 7308 NEW BEST:: SOT 44200 SOS 9519 HAS SOPS 9519 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5389.519
AT ITER 7330 NEW BEST:: SOT 44201 SOS 9473 HAS SOPS 9473 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5389.473
AT ITER 7351 NEW BEST:: SOT 44201 SOS 9473 HAS SOPS 9473 HAS SOUS 5366 HAS SOUPS 5366 WITH SCORE 5375.473
AT ITER 7371 NEW BEST:: SOT 44193 SOS 9457 HAS SOPS 9457 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5359.457
AT ITER 7470 NEW BEST:: SOT 44177 SOS 9435 HAS SOPS 9435 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5337.435
AT ITER 7478 NEW BEST:: SOT 44174 SOS 9425 HAS SOPS 9425 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5331.425
AT ITER 7519 NEW BEST:: SOT 44169 SOS 9422 HAS SOPS 9422 HAS SOUS 5319 HAS SOUPS 5319 WITH SCORE 5328.422
AT ITER 7566 NEW BEST:: SOT 44168 SOS 9422 HAS SOPS 9422 HAS SOUS 5317 HAS SOUPS 5317 WITH SCORE 5326.422
AT ITER 7600 NEW BEST:: SOT 44155 SOS 9409 HAS SOPS 9409 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5308.409
AT ITER 7608 NEW BEST:: SOT 44155 SOS 9407 HAS SOPS 9407 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5306.407
AT ITER 7614 NEW BEST:: SOT 44155 SOS 9407 HAS SOPS 9407 HAS SOUS 5295 HAS SOUPS 5295 WITH SCORE 5304.407
AT ITER 7646 NEW BEST:: SOT 44149 SOS 9405 HAS SOPS 9405 HAS SOUS 5293 HAS SOUPS 5293 WITH SCORE 5302.405
AT ITER 7685 NEW BEST:: SOT 44137 SOS 9387 HAS SOPS 9387 HAS SOUS 5287 HAS SOUPS 5287 WITH SCORE 5296.387
AT ITER 7705 NEW BEST:: SOT 44129 SOS 9377 HAS SOPS 9377 HAS SOUS 5277 HAS SOUPS 5277 WITH SCORE 5286.377
AT ITER 7727 NEW BEST:: SOT 44124 SOS 9367 HAS SOPS 9367 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5276.367
AT ITER 7733 NEW BEST:: SOT 44118 SOS 9376 HAS SOPS 9376 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5274.376
AT ITER 7763 NEW BEST:: SOT 44118 SOS 9376 HAS SOPS 9376 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5272.376
AT ITER 7871 NEW BEST:: SOT 44128 SOS 9396 HAS SOPS 9396 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5270.396
AT ITER 7917 NEW BEST:: SOT 44124 SOS 9383 HAS SOPS 9383 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5267.383
AT ITER 7937 NEW BEST:: SOT 44121 SOS 9377 HAS SOPS 9377 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5261.377
AT ITER 8026 NEW BEST:: SOT 44118 SOS 9373 HAS SOPS 9373 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5257.373
AT ITER 8030 NEW BEST:: SOT 44114 SOS 9374 HAS SOPS 9374 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5256.374
AT ITER 8093 NEW BEST:: SOT 44106 SOS 9448 HAS SOPS 9448 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5254.448
AT ITER 8130 NEW BEST:: SOT 44094 SOS 9438 HAS SOPS 9438 HAS SOUS 5235 HAS SOUPS 5235 WITH SCORE 5244.438
AT ITER 8139 NEW BEST:: SOT 44096 SOS 9434 HAS SOPS 9434 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5227.434
AT ITER 8209 NEW BEST:: SOT 44080 SOS 9421 HAS SOPS 9421 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5211.421
AT ITER 8241 NEW BEST:: SOT 44078 SOS 9417 HAS SOPS 9417 HAS SOUS 5198 HAS SOUPS 5198 WITH SCORE 5207.417
AT ITER 8247 NEW BEST:: SOT 44075 SOS 9414 HAS SOPS 9414 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5203.414
AT ITER 8290 NEW BEST:: SOT 44074 SOS 9412 HAS SOPS 9412 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5202.412
AT ITER 8294 NEW BEST:: SOT 44079 SOS 9417 HAS SOPS 9417 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5201.417
AT ITER 8299 NEW BEST:: SOT 44080 SOS 9419 HAS SOPS 9419 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5194.419
AT ITER 8342 NEW BEST:: SOT 44075 SOS 9414 HAS SOPS 9414 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5184.414
AT ITER 8380 NEW BEST:: SOT 44073 SOS 9410 HAS SOPS 9410 HAS SOUS 5171 HAS SOUPS 5171 WITH SCORE 5180.41
AT ITER 8430 NEW BEST:: SOT 44073 SOS 9408 HAS SOPS 9408 HAS SOUS 5169 HAS SOUPS 5169 WITH SCORE 5178.408
AT ITER 8445 NEW BEST:: SOT 44065 SOS 9404 HAS SOPS 9404 HAS SOUS 5165 HAS SOUPS 5165 WITH SCORE 5174.404
AT ITER 8446 NEW BEST:: SOT 44064 SOS 9402 HAS SOPS 9402 HAS SOUS 5164 HAS SOUPS 5164 WITH SCORE 5173.402
AT ITER 8537 NEW BEST:: SOT 44060 SOS 9394 HAS SOPS 9394 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5165.394
AT ITER 8580 NEW BEST:: SOT 44060 SOS 9393 HAS SOPS 9393 HAS SOUS 5155 HAS SOUPS 5155 WITH SCORE 5164.393
AT ITER 8608 NEW BEST:: SOT 44060 SOS 9392 HAS SOPS 9392 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5163.392
AT ITER 8609 NEW BEST:: SOT 44053 SOS 9385 HAS SOPS 9385 HAS SOUS 5147 HAS SOUPS 5147 WITH SCORE 5156.385
AT ITER 8681 NEW BEST:: SOT 44052 SOS 9384 HAS SOPS 9384 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5155.384
AT ITER 8729 NEW BEST:: SOT 44052 SOS 9383 HAS SOPS 9383 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5155.383
AT ITER 8744 NEW BEST:: SOT 44063 SOS 9394 HAS SOPS 9394 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5147.394
AT ITER 8764 NEW BEST:: SOT 44062 SOS 9398 HAS SOPS 9398 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5145.398
AT ITER 8768 NEW BEST:: SOT 44064 SOS 9368 HAS SOPS 9368 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5145.368
AT ITER 8837 NEW BEST:: SOT 44062 SOS 9364 HAS SOPS 9364 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5141.364
AT ITER 8915 NEW BEST:: SOT 44062 SOS 9360 HAS SOPS 9360 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5137.36
AT ITER 9186 NEW BEST:: SOT 44062 SOS 9360 HAS SOPS 9360 HAS SOUS 5113 HAS SOUPS 5113 WITH SCORE 5122.36
AT ITER 9204 NEW BEST:: SOT 44054 SOS 9330 HAS SOPS 9330 HAS SOUS 5090 HAS SOUPS 5090 WITH SCORE 5099.33
AT ITER 9211 NEW BEST:: SOT 44054 SOS 9299 HAS SOPS 9299 HAS SOUS 5078 HAS SOUPS 5078 WITH SCORE 5087.299
AT ITER 9237 NEW BEST:: SOT 44052 SOS 9295 HAS SOPS 9295 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5083.295
AT ITER 9261 NEW BEST:: SOT 44048 SOS 9287 HAS SOPS 9287 HAS SOUS 5066 HAS SOUPS 5066 WITH SCORE 5075.287
AT ITER 9342 NEW BEST:: SOT 44033 SOS 9365 HAS SOPS 9365 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5069.365
AT ITER 9439 NEW BEST:: SOT 44033 SOS 9364 HAS SOPS 9364 HAS SOUS 5059 HAS SOUPS 5059 WITH SCORE 5068.364
AT ITER 9506 NEW BEST:: SOT 44031 SOS 9360 HAS SOPS 9360 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5064.36
AT ITER 9508 NEW BEST:: SOT 44031 SOS 9360 HAS SOPS 9360 HAS SOUS 5053 HAS SOUPS 5053 WITH SCORE 5062.36
AT ITER 9591 NEW BEST:: SOT 44032 SOS 9356 HAS SOPS 9356 HAS SOUS 5049 HAS SOUPS 5049 WITH SCORE 5058.356
AT ITER 9676 NEW BEST:: SOT 44030 SOS 9335 HAS SOPS 9335 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5041.335
AT ITER 9806 NEW BEST:: SOT 44029 SOS 9320 HAS SOPS 9320 HAS SOUS 5029 HAS SOUPS 5029 WITH SCORE 5038.32
AT ITER 9884 NEW BEST:: SOT 44027 SOS 9316 HAS SOPS 9316 HAS SOUS 5025 HAS SOUPS 5025 WITH SCORE 5034.316
AT ITER 9920 NEW BEST:: SOT 44025 SOS 9314 HAS SOPS 9314 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5032.314
AT ITER 9992 NEW BEST:: SOT 44025 SOS 9312 HAS SOPS 9312 HAS SOUS 5021 HAS SOUPS 5021 WITH SCORE 5030.312
STATE_SPACE STATES 430089117268 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 11 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3908939323563 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679183258883

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SmartHome-PT-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is SmartHome-PT-10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r451-smll-167912643200232"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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