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

--------------------
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 1679183115117

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-09
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 09
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: 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 18 NEW BEST:: SOT 44358 SOS 10897 HAS SOPS 10897 HAS SOUS 10554 HAS SOUPS 10554 WITH SCORE 10564.897
AT ITER 21 NEW BEST:: SOT 44352 SOS 10891 HAS SOPS 10891 HAS SOUS 10548 HAS SOUPS 10548 WITH SCORE 10558.891
AT ITER 32 NEW BEST:: SOT 44351 SOS 10889 HAS SOPS 10889 HAS SOUS 10538 HAS SOUPS 10538 WITH SCORE 10548.889
AT ITER 40 NEW BEST:: SOT 44151 SOS 11773 HAS SOPS 11773 HAS SOUS 10459 HAS SOUPS 10459 WITH SCORE 10470.773
AT ITER 42 NEW BEST:: SOT 44115 SOS 11730 HAS SOPS 11730 HAS SOUS 10424 HAS SOUPS 10424 WITH SCORE 10435.73
AT ITER 44 NEW BEST:: SOT 44115 SOS 11719 HAS SOPS 11719 HAS SOUS 10413 HAS SOUPS 10413 WITH SCORE 10424.719
AT ITER 49 NEW BEST:: SOT 44112 SOS 11713 HAS SOPS 11713 HAS SOUS 10410 HAS SOUPS 10410 WITH SCORE 10421.713
AT ITER 56 NEW BEST:: SOT 44112 SOS 11692 HAS SOPS 11692 HAS SOUS 10409 HAS SOUPS 10409 WITH SCORE 10420.692
AT ITER 57 NEW BEST:: SOT 44110 SOS 11688 HAS SOPS 11688 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10408.688
AT ITER 66 NEW BEST:: SOT 43573 SOS 11360 HAS SOPS 11360 HAS SOUS 9874 HAS SOUPS 9874 WITH SCORE 9885.36
AT ITER 72 NEW BEST:: SOT 43573 SOS 11330 HAS SOPS 11330 HAS SOUS 9844 HAS SOUPS 9844 WITH SCORE 9855.33
AT ITER 87 NEW BEST:: SOT 43570 SOS 11324 HAS SOPS 11324 HAS SOUS 9820 HAS SOUPS 9820 WITH SCORE 9831.324
AT ITER 97 NEW BEST:: SOT 43553 SOS 11290 HAS SOPS 11290 HAS SOUS 9786 HAS SOUPS 9786 WITH SCORE 9797.29
AT ITER 100 NEW BEST:: SOT 43553 SOS 11266 HAS SOPS 11266 HAS SOUS 9786 HAS SOUPS 9786 WITH SCORE 9797.266
AT ITER 107 NEW BEST:: SOT 43433 SOS 11206 HAS SOPS 11206 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9677.206
AT ITER 121 NEW BEST:: SOT 43410 SOS 11196 HAS SOPS 11196 HAS SOUS 9643 HAS SOUPS 9643 WITH SCORE 9654.196
AT ITER 126 NEW BEST:: SOT 43410 SOS 11179 HAS SOPS 11179 HAS SOUS 9626 HAS SOUPS 9626 WITH SCORE 9637.179
AT ITER 127 NEW BEST:: SOT 43410 SOS 11173 HAS SOPS 11173 HAS SOUS 9620 HAS SOUPS 9620 WITH SCORE 9631.173
AT ITER 137 NEW BEST:: SOT 43399 SOS 11159 HAS SOPS 11159 HAS SOUS 9606 HAS SOUPS 9606 WITH SCORE 9617.159
AT ITER 154 NEW BEST:: SOT 43394 SOS 11149 HAS SOPS 11149 HAS SOUS 9596 HAS SOUPS 9596 WITH SCORE 9607.149
AT ITER 158 NEW BEST:: SOT 43328 SOS 11061 HAS SOPS 11061 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9532.061
AT ITER 163 NEW BEST:: SOT 43315 SOS 11062 HAS SOPS 11062 HAS SOUS 9519 HAS SOUPS 9519 WITH SCORE 9530.062
AT ITER 169 NEW BEST:: SOT 43297 SOS 11064 HAS SOPS 11064 HAS SOUS 9506 HAS SOUPS 9506 WITH SCORE 9517.064
AT ITER 171 NEW BEST:: SOT 43321 SOS 11088 HAS SOPS 11088 HAS SOUS 9496 HAS SOUPS 9496 WITH SCORE 9507.088
AT ITER 172 NEW BEST:: SOT 43321 SOS 11088 HAS SOPS 11088 HAS SOUS 9486 HAS SOUPS 9486 WITH SCORE 9497.088
AT ITER 174 NEW BEST:: SOT 43314 SOS 11074 HAS SOPS 11074 HAS SOUS 9472 HAS SOUPS 9472 WITH SCORE 9483.074
AT ITER 181 NEW BEST:: SOT 43313 SOS 11072 HAS SOPS 11072 HAS SOUS 9469 HAS SOUPS 9469 WITH SCORE 9480.072
AT ITER 183 NEW BEST:: SOT 43231 SOS 11343 HAS SOPS 11343 HAS SOUS 9446 HAS SOUPS 9446 WITH SCORE 9457.343
AT ITER 186 NEW BEST:: SOT 43230 SOS 11292 HAS SOPS 11292 HAS SOUS 9444 HAS SOUPS 9444 WITH SCORE 9455.292
AT ITER 187 NEW BEST:: SOT 43251 SOS 11307 HAS SOPS 11307 HAS SOUS 9438 HAS SOUPS 9438 WITH SCORE 9449.307
AT ITER 190 NEW BEST:: SOT 43250 SOS 11305 HAS SOPS 11305 HAS SOUS 9436 HAS SOUPS 9436 WITH SCORE 9447.305
AT ITER 192 NEW BEST:: SOT 43245 SOS 11295 HAS SOPS 11295 HAS SOUS 9426 HAS SOUPS 9426 WITH SCORE 9437.295
AT ITER 194 NEW BEST:: SOT 43218 SOS 11267 HAS SOPS 11267 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9409.267
AT ITER 201 NEW BEST:: SOT 43206 SOS 11236 HAS SOPS 11236 HAS SOUS 9379 HAS SOUPS 9379 WITH SCORE 9390.236
AT ITER 203 NEW BEST:: SOT 43189 SOS 11219 HAS SOPS 11219 HAS SOUS 9379 HAS SOUPS 9379 WITH SCORE 9390.219
AT ITER 214 NEW BEST:: SOT 43197 SOS 11189 HAS SOPS 11189 HAS SOUS 9358 HAS SOUPS 9358 WITH SCORE 9369.189
AT ITER 215 NEW BEST:: SOT 43197 SOS 11184 HAS SOPS 11184 HAS SOUS 9353 HAS SOUPS 9353 WITH SCORE 9364.184
AT ITER 247 NEW BEST:: SOT 43047 SOS 11978 HAS SOPS 11978 HAS SOUS 9258 HAS SOUPS 9258 WITH SCORE 9269.978
AT ITER 253 NEW BEST:: SOT 43043 SOS 11970 HAS SOPS 11970 HAS SOUS 9258 HAS SOUPS 9258 WITH SCORE 9269.97
AT ITER 256 NEW BEST:: SOT 43040 SOS 11964 HAS SOPS 11964 HAS SOUS 9252 HAS SOUPS 9252 WITH SCORE 9263.964
AT ITER 263 NEW BEST:: SOT 42807 SOS 11974 HAS SOPS 11974 HAS SOUS 9093 HAS SOUPS 9093 WITH SCORE 9104.974
AT ITER 289 NEW BEST:: SOT 42797 SOS 11954 HAS SOPS 11954 HAS SOUS 9073 HAS SOUPS 9073 WITH SCORE 9084.954
AT ITER 296 NEW BEST:: SOT 42752 SOS 11864 HAS SOPS 11864 HAS SOUS 8983 HAS SOUPS 8983 WITH SCORE 8994.864
AT ITER 298 NEW BEST:: SOT 42814 SOS 11854 HAS SOPS 11854 HAS SOUS 8973 HAS SOUPS 8973 WITH SCORE 8984.854
AT ITER 325 NEW BEST:: SOT 42814 SOS 11845 HAS SOPS 11845 HAS SOUS 8964 HAS SOUPS 8964 WITH SCORE 8975.845
AT ITER 362 NEW BEST:: SOT 42812 SOS 11841 HAS SOPS 11841 HAS SOUS 8959 HAS SOUPS 8959 WITH SCORE 8970.841
AT ITER 363 NEW BEST:: SOT 42821 SOS 11818 HAS SOPS 11818 HAS SOUS 8952 HAS SOUPS 8952 WITH SCORE 8963.818
AT ITER 378 NEW BEST:: SOT 42792 SOS 11764 HAS SOPS 11764 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8959.764
AT ITER 382 NEW BEST:: SOT 42778 SOS 11746 HAS SOPS 11746 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8941.746
AT ITER 384 NEW BEST:: SOT 42775 SOS 11740 HAS SOPS 11740 HAS SOUS 8927 HAS SOUPS 8927 WITH SCORE 8938.74
AT ITER 407 NEW BEST:: SOT 42785 SOS 11735 HAS SOPS 11735 HAS SOUS 8922 HAS SOUPS 8922 WITH SCORE 8933.735
AT ITER 424 NEW BEST:: SOT 42757 SOS 11707 HAS SOPS 11707 HAS SOUS 8894 HAS SOUPS 8894 WITH SCORE 8905.707
AT ITER 426 NEW BEST:: SOT 42724 SOS 11648 HAS SOPS 11648 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8875.648
AT ITER 427 NEW BEST:: SOT 42706 SOS 11630 HAS SOPS 11630 HAS SOUS 8846 HAS SOUPS 8846 WITH SCORE 8857.63
AT ITER 437 NEW BEST:: SOT 42710 SOS 11601 HAS SOPS 11601 HAS SOUS 8813 HAS SOUPS 8813 WITH SCORE 8824.601
AT ITER 446 NEW BEST:: SOT 42701 SOS 11583 HAS SOPS 11583 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8806.583
AT ITER 450 NEW BEST:: SOT 42685 SOS 11567 HAS SOPS 11567 HAS SOUS 8779 HAS SOUPS 8779 WITH SCORE 8790.567
AT ITER 452 NEW BEST:: SOT 42653 SOS 11535 HAS SOPS 11535 HAS SOUS 8779 HAS SOUPS 8779 WITH SCORE 8790.535
AT ITER 476 NEW BEST:: SOT 42642 SOS 11513 HAS SOPS 11513 HAS SOUS 8757 HAS SOUPS 8757 WITH SCORE 8768.513
AT ITER 478 NEW BEST:: SOT 42641 SOS 11511 HAS SOPS 11511 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8766.511
AT ITER 487 NEW BEST:: SOT 42622 SOS 11506 HAS SOPS 11506 HAS SOUS 8753 HAS SOUPS 8753 WITH SCORE 8764.506
AT ITER 495 NEW BEST:: SOT 42620 SOS 11485 HAS SOPS 11485 HAS SOUS 8736 HAS SOUPS 8736 WITH SCORE 8747.485
AT ITER 508 NEW BEST:: SOT 42617 SOS 11482 HAS SOPS 11482 HAS SOUS 8734 HAS SOUPS 8734 WITH SCORE 8745.482
AT ITER 512 NEW BEST:: SOT 42617 SOS 11437 HAS SOPS 11437 HAS SOUS 8710 HAS SOUPS 8710 WITH SCORE 8721.437
AT ITER 565 NEW BEST:: SOT 42583 SOS 11415 HAS SOPS 11415 HAS SOUS 8688 HAS SOUPS 8688 WITH SCORE 8699.415
AT ITER 589 NEW BEST:: SOT 42583 SOS 11410 HAS SOPS 11410 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8694.41
AT ITER 605 NEW BEST:: SOT 42550 SOS 11344 HAS SOPS 11344 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8694.344
AT ITER 608 NEW BEST:: SOT 42540 SOS 11324 HAS SOPS 11324 HAS SOUS 8663 HAS SOUPS 8663 WITH SCORE 8674.324
AT ITER 624 NEW BEST:: SOT 42523 SOS 11330 HAS SOPS 11330 HAS SOUS 8634 HAS SOUPS 8634 WITH SCORE 8645.33
AT ITER 654 NEW BEST:: SOT 42511 SOS 11291 HAS SOPS 11291 HAS SOUS 8595 HAS SOUPS 8595 WITH SCORE 8606.291
AT ITER 664 NEW BEST:: SOT 42511 SOS 11217 HAS SOPS 11217 HAS SOUS 8595 HAS SOUPS 8595 WITH SCORE 8606.217
AT ITER 680 NEW BEST:: SOT 42504 SOS 11210 HAS SOPS 11210 HAS SOUS 8595 HAS SOUPS 8595 WITH SCORE 8606.21
AT ITER 686 NEW BEST:: SOT 42469 SOS 11184 HAS SOPS 11184 HAS SOUS 8594 HAS SOUPS 8594 WITH SCORE 8605.184
AT ITER 712 NEW BEST:: SOT 42438 SOS 11122 HAS SOPS 11122 HAS SOUS 8532 HAS SOUPS 8532 WITH SCORE 8543.122
AT ITER 716 NEW BEST:: SOT 42435 SOS 11117 HAS SOPS 11117 HAS SOUS 8527 HAS SOUPS 8527 WITH SCORE 8538.117
AT ITER 721 NEW BEST:: SOT 42501 SOS 11222 HAS SOPS 11222 HAS SOUS 8500 HAS SOUPS 8500 WITH SCORE 8511.222
AT ITER 722 NEW BEST:: SOT 42462 SOS 11144 HAS SOPS 11144 HAS SOUS 8422 HAS SOUPS 8422 WITH SCORE 8433.144
AT ITER 737 NEW BEST:: SOT 42456 SOS 11127 HAS SOPS 11127 HAS SOUS 8405 HAS SOUPS 8405 WITH SCORE 8416.127
AT ITER 749 NEW BEST:: SOT 42455 SOS 11125 HAS SOPS 11125 HAS SOUS 8403 HAS SOUPS 8403 WITH SCORE 8414.125
AT ITER 753 NEW BEST:: SOT 42458 SOS 11128 HAS SOPS 11128 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8413.128
AT ITER 760 NEW BEST:: SOT 42443 SOS 11112 HAS SOPS 11112 HAS SOUS 8401 HAS SOUPS 8401 WITH SCORE 8412.112
AT ITER 765 NEW BEST:: SOT 42435 SOS 11096 HAS SOPS 11096 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8396.096
AT ITER 768 NEW BEST:: SOT 42434 SOS 11094 HAS SOPS 11094 HAS SOUS 8365 HAS SOUPS 8365 WITH SCORE 8376.094
AT ITER 791 NEW BEST:: SOT 42470 SOS 10829 HAS SOPS 10829 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8374.829
AT ITER 808 NEW BEST:: SOT 42436 SOS 10761 HAS SOPS 10761 HAS SOUS 8313 HAS SOUPS 8313 WITH SCORE 8323.761
AT ITER 812 NEW BEST:: SOT 42435 SOS 10760 HAS SOPS 10760 HAS SOUS 8312 HAS SOUPS 8312 WITH SCORE 8322.76
AT ITER 831 NEW BEST:: SOT 42423 SOS 10736 HAS SOPS 10736 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8310.736
AT ITER 835 NEW BEST:: SOT 42418 SOS 10726 HAS SOPS 10726 HAS SOUS 8290 HAS SOUPS 8290 WITH SCORE 8300.726
AT ITER 840 NEW BEST:: SOT 42363 SOS 10616 HAS SOPS 10616 HAS SOUS 8180 HAS SOUPS 8180 WITH SCORE 8190.616
AT ITER 844 NEW BEST:: SOT 42350 SOS 10606 HAS SOPS 10606 HAS SOUS 8154 HAS SOUPS 8154 WITH SCORE 8164.606
AT ITER 857 NEW BEST:: SOT 42343 SOS 10599 HAS SOPS 10599 HAS SOUS 8147 HAS SOUPS 8147 WITH SCORE 8157.599
AT ITER 871 NEW BEST:: SOT 42318 SOS 10581 HAS SOPS 10581 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8139.581
AT ITER 878 NEW BEST:: SOT 42309 SOS 10563 HAS SOPS 10563 HAS SOUS 8120 HAS SOUPS 8120 WITH SCORE 8130.563
AT ITER 890 NEW BEST:: SOT 42293 SOS 10531 HAS SOPS 10531 HAS SOUS 8105 HAS SOUPS 8105 WITH SCORE 8115.531
AT ITER 899 NEW BEST:: SOT 42154 SOS 10328 HAS SOPS 10328 HAS SOUS 8046 HAS SOUPS 8046 WITH SCORE 8056.328
AT ITER 900 NEW BEST:: SOT 42169 SOS 10329 HAS SOPS 10329 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8027.329
AT ITER 904 NEW BEST:: SOT 42140 SOS 10271 HAS SOPS 10271 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7969.271
AT ITER 921 NEW BEST:: SOT 42123 SOS 10220 HAS SOPS 10220 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7935.22
AT ITER 922 NEW BEST:: SOT 42131 SOS 10219 HAS SOPS 10219 HAS SOUS 7916 HAS SOUPS 7916 WITH SCORE 7926.219
AT ITER 930 NEW BEST:: SOT 42130 SOS 10218 HAS SOPS 10218 HAS SOUS 7916 HAS SOUPS 7916 WITH SCORE 7926.218
AT ITER 946 NEW BEST:: SOT 42100 SOS 10284 HAS SOPS 10284 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7905.284
AT ITER 960 NEW BEST:: SOT 42093 SOS 10263 HAS SOPS 10263 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7898.263
AT ITER 977 NEW BEST:: SOT 42065 SOS 10207 HAS SOPS 10207 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7898.207
AT ITER 978 NEW BEST:: SOT 42065 SOS 10194 HAS SOPS 10194 HAS SOUS 7875 HAS SOUPS 7875 WITH SCORE 7885.194
AT ITER 986 NEW BEST:: SOT 42059 SOS 10182 HAS SOPS 10182 HAS SOUS 7863 HAS SOUPS 7863 WITH SCORE 7873.182
AT ITER 990 NEW BEST:: SOT 42059 SOS 10170 HAS SOPS 10170 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7861.17
AT ITER 995 NEW BEST:: SOT 42057 SOS 10166 HAS SOPS 10166 HAS SOUS 7847 HAS SOUPS 7847 WITH SCORE 7857.166
AT ITER 1014 NEW BEST:: SOT 42060 SOS 10154 HAS SOPS 10154 HAS SOUS 7835 HAS SOUPS 7835 WITH SCORE 7845.154
AT ITER 1033 NEW BEST:: SOT 42038 SOS 10138 HAS SOPS 10138 HAS SOUS 7818 HAS SOUPS 7818 WITH SCORE 7828.138
AT ITER 1040 NEW BEST:: SOT 42027 SOS 10105 HAS SOPS 10105 HAS SOUS 7794 HAS SOUPS 7794 WITH SCORE 7804.105
AT ITER 1049 NEW BEST:: SOT 42018 SOS 10208 HAS SOPS 10208 HAS SOUS 7785 HAS SOUPS 7785 WITH SCORE 7795.208
AT ITER 1055 NEW BEST:: SOT 42017 SOS 10206 HAS SOPS 10206 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7794.206
AT ITER 1065 NEW BEST:: SOT 42024 SOS 10165 HAS SOPS 10165 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7776.165
AT ITER 1069 NEW BEST:: SOT 42024 SOS 10156 HAS SOPS 10156 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7766.156
AT ITER 1076 NEW BEST:: SOT 42021 SOS 10150 HAS SOPS 10150 HAS SOUS 7753 HAS SOUPS 7753 WITH SCORE 7763.15
AT ITER 1079 NEW BEST:: SOT 42010 SOS 10139 HAS SOPS 10139 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7741.139
AT ITER 1086 NEW BEST:: SOT 42010 SOS 10138 HAS SOPS 10138 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7741.138
AT ITER 1118 NEW BEST:: SOT 41999 SOS 10110 HAS SOPS 10110 HAS SOUS 7703 HAS SOUPS 7703 WITH SCORE 7713.11
AT ITER 1120 NEW BEST:: SOT 41993 SOS 10098 HAS SOPS 10098 HAS SOUS 7697 HAS SOUPS 7697 WITH SCORE 7707.098
AT ITER 1122 NEW BEST:: SOT 41987 SOS 10092 HAS SOPS 10092 HAS SOUS 7697 HAS SOUPS 7697 WITH SCORE 7707.092
AT ITER 1126 NEW BEST:: SOT 41987 SOS 10088 HAS SOPS 10088 HAS SOUS 7693 HAS SOUPS 7693 WITH SCORE 7703.088
AT ITER 1132 NEW BEST:: SOT 41987 SOS 10088 HAS SOPS 10088 HAS SOUS 7692 HAS SOUPS 7692 WITH SCORE 7702.088
AT ITER 1137 NEW BEST:: SOT 41976 SOS 10066 HAS SOPS 10066 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7692.066
AT ITER 1153 NEW BEST:: SOT 41970 SOS 10026 HAS SOPS 10026 HAS SOUS 7681 HAS SOUPS 7681 WITH SCORE 7691.026
AT ITER 1157 NEW BEST:: SOT 41970 SOS 10024 HAS SOPS 10024 HAS SOUS 7679 HAS SOUPS 7679 WITH SCORE 7689.024
AT ITER 1183 NEW BEST:: SOT 41954 SOS 10000 HAS SOPS 10000 HAS SOUS 7663 HAS SOUPS 7663 WITH SCORE 7673.0
AT ITER 1208 NEW BEST:: SOT 41955 SOS 10002 HAS SOPS 10002 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7671.002
AT ITER 1209 NEW BEST:: SOT 41955 SOS 9998 HAS SOPS 9998 HAS SOUS 7657 HAS SOUPS 7657 WITH SCORE 7666.998
AT ITER 1210 NEW BEST:: SOT 41958 SOS 10004 HAS SOPS 10004 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7651.004
AT ITER 1246 NEW BEST:: SOT 41941 SOS 9934 HAS SOPS 9934 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7616.934
AT ITER 1295 NEW BEST:: SOT 41942 SOS 9936 HAS SOPS 9936 HAS SOUS 7592 HAS SOUPS 7592 WITH SCORE 7601.936
AT ITER 1317 NEW BEST:: SOT 41862 SOS 9895 HAS SOPS 9895 HAS SOUS 7538 HAS SOUPS 7538 WITH SCORE 7547.895
AT ITER 1321 NEW BEST:: SOT 41865 SOS 9898 HAS SOPS 9898 HAS SOUS 7530 HAS SOUPS 7530 WITH SCORE 7539.898
AT ITER 1324 NEW BEST:: SOT 41856 SOS 9880 HAS SOPS 9880 HAS SOUS 7512 HAS SOUPS 7512 WITH SCORE 7521.88
AT ITER 1325 NEW BEST:: SOT 41850 SOS 9868 HAS SOPS 9868 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7515.868
AT ITER 1327 NEW BEST:: SOT 41763 SOS 9646 HAS SOPS 9646 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7452.646
AT ITER 1332 NEW BEST:: SOT 41763 SOS 9645 HAS SOPS 9645 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7451.645
AT ITER 1343 NEW BEST:: SOT 41753 SOS 9643 HAS SOPS 9643 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7449.643
AT ITER 1365 NEW BEST:: SOT 41649 SOS 9682 HAS SOPS 9682 HAS SOUS 7358 HAS SOUPS 7358 WITH SCORE 7367.682
AT ITER 1405 NEW BEST:: SOT 41636 SOS 9656 HAS SOPS 9656 HAS SOUS 7345 HAS SOUPS 7345 WITH SCORE 7354.656
AT ITER 1410 NEW BEST:: SOT 41637 SOS 9657 HAS SOPS 9657 HAS SOUS 7332 HAS SOUPS 7332 WITH SCORE 7341.657
AT ITER 1431 NEW BEST:: SOT 41604 SOS 9591 HAS SOPS 9591 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7310.591
AT ITER 1442 NEW BEST:: SOT 41618 SOS 9619 HAS SOPS 9619 HAS SOUS 7300 HAS SOUPS 7300 WITH SCORE 7309.619
AT ITER 1443 NEW BEST:: SOT 41618 SOS 9618 HAS SOPS 9618 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7308.618
AT ITER 1446 NEW BEST:: SOT 41615 SOS 9612 HAS SOPS 9612 HAS SOUS 7293 HAS SOUPS 7293 WITH SCORE 7302.612
AT ITER 1458 NEW BEST:: SOT 41593 SOS 9902 HAS SOPS 9902 HAS SOUS 7287 HAS SOUPS 7287 WITH SCORE 7296.902
AT ITER 1460 NEW BEST:: SOT 41588 SOS 9902 HAS SOPS 9902 HAS SOUS 7285 HAS SOUPS 7285 WITH SCORE 7294.902
AT ITER 1503 NEW BEST:: SOT 41575 SOS 9902 HAS SOPS 9902 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7281.902
AT ITER 1518 NEW BEST:: SOT 41566 SOS 9893 HAS SOPS 9893 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7272.893
AT ITER 1554 NEW BEST:: SOT 41553 SOS 9867 HAS SOPS 9867 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7272.867
AT ITER 1557 NEW BEST:: SOT 41562 SOS 9912 HAS SOPS 9912 HAS SOUS 7250 HAS SOUPS 7250 WITH SCORE 7259.912
AT ITER 1584 NEW BEST:: SOT 41562 SOS 9906 HAS SOPS 9906 HAS SOUS 7244 HAS SOUPS 7244 WITH SCORE 7253.906
AT ITER 1630 NEW BEST:: SOT 41548 SOS 9878 HAS SOPS 9878 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7239.878
AT ITER 1654 NEW BEST:: SOT 41540 SOS 9870 HAS SOPS 9870 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7239.87
AT ITER 1655 NEW BEST:: SOT 41537 SOS 9820 HAS SOPS 9820 HAS SOUS 7180 HAS SOUPS 7180 WITH SCORE 7189.82
AT ITER 1656 NEW BEST:: SOT 41521 SOS 9788 HAS SOPS 9788 HAS SOUS 7180 HAS SOUPS 7180 WITH SCORE 7189.788
AT ITER 1659 NEW BEST:: SOT 41489 SOS 9824 HAS SOPS 9824 HAS SOUS 7175 HAS SOUPS 7175 WITH SCORE 7184.824
AT ITER 1674 NEW BEST:: SOT 41481 SOS 9808 HAS SOPS 9808 HAS SOUS 7147 HAS SOUPS 7147 WITH SCORE 7156.808
AT ITER 1707 NEW BEST:: SOT 41485 SOS 9816 HAS SOPS 9816 HAS SOUS 7110 HAS SOUPS 7110 WITH SCORE 7119.816
AT ITER 1711 NEW BEST:: SOT 41481 SOS 9808 HAS SOPS 9808 HAS SOUS 7104 HAS SOUPS 7104 WITH SCORE 7113.808
AT ITER 1715 NEW BEST:: SOT 41480 SOS 9806 HAS SOPS 9806 HAS SOUS 7103 HAS SOUPS 7103 WITH SCORE 7112.806
AT ITER 1718 NEW BEST:: SOT 41462 SOS 9779 HAS SOPS 9779 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7100.779
AT ITER 1734 NEW BEST:: SOT 41477 SOS 9787 HAS SOPS 9787 HAS SOUS 7077 HAS SOUPS 7077 WITH SCORE 7086.787
AT ITER 1750 NEW BEST:: SOT 41477 SOS 9787 HAS SOPS 9787 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7074.787
AT ITER 1771 NEW BEST:: SOT 41467 SOS 9777 HAS SOPS 9777 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7064.777
AT ITER 1789 NEW BEST:: SOT 41475 SOS 9841 HAS SOPS 9841 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7009.841
AT ITER 1792 NEW BEST:: SOT 41473 SOS 9837 HAS SOPS 9837 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7003.837
AT ITER 1798 NEW BEST:: SOT 41469 SOS 9829 HAS SOPS 9829 HAS SOUS 6986 HAS SOUPS 6986 WITH SCORE 6995.829
AT ITER 1805 NEW BEST:: SOT 41432 SOS 9802 HAS SOPS 9802 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6968.802
AT ITER 1813 NEW BEST:: SOT 41444 SOS 9586 HAS SOPS 9586 HAS SOUS 6951 HAS SOUPS 6951 WITH SCORE 6960.586
AT ITER 1834 NEW BEST:: SOT 41434 SOS 9566 HAS SOPS 9566 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6943.566
AT ITER 1844 NEW BEST:: SOT 41430 SOS 9558 HAS SOPS 9558 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6935.558
AT ITER 1846 NEW BEST:: SOT 41428 SOS 9556 HAS SOPS 9556 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6933.556
AT ITER 1852 NEW BEST:: SOT 41428 SOS 9576 HAS SOPS 9576 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6913.576
AT ITER 1855 NEW BEST:: SOT 41427 SOS 9574 HAS SOPS 9574 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6911.574
AT ITER 1891 NEW BEST:: SOT 41426 SOS 9572 HAS SOPS 9572 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6909.572
AT ITER 1905 NEW BEST:: SOT 41414 SOS 9517 HAS SOPS 9517 HAS SOUS 6857 HAS SOUPS 6857 WITH SCORE 6866.517
AT ITER 1930 NEW BEST:: SOT 41403 SOS 9506 HAS SOPS 9506 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6856.506
AT ITER 1965 NEW BEST:: SOT 41388 SOS 9503 HAS SOPS 9503 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6853.503
AT ITER 2012 NEW BEST:: SOT 41182 SOS 10370 HAS SOPS 10370 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6769.37
AT ITER 2019 NEW BEST:: SOT 41181 SOS 10368 HAS SOPS 10368 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6767.368
AT ITER 2034 NEW BEST:: SOT 41181 SOS 10368 HAS SOPS 10368 HAS SOUS 6756 HAS SOUPS 6756 WITH SCORE 6766.368
AT ITER 2085 NEW BEST:: SOT 41174 SOS 10354 HAS SOPS 10354 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6752.354
AT ITER 2096 NEW BEST:: SOT 41174 SOS 10348 HAS SOPS 10348 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6750.348
AT ITER 2116 NEW BEST:: SOT 41175 SOS 10349 HAS SOPS 10349 HAS SOUS 6739 HAS SOUPS 6739 WITH SCORE 6749.349
AT ITER 2130 NEW BEST:: SOT 41175 SOS 10349 HAS SOPS 10349 HAS SOUS 6738 HAS SOUPS 6738 WITH SCORE 6748.349
AT ITER 2160 NEW BEST:: SOT 41175 SOS 10334 HAS SOPS 10334 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6742.334
AT ITER 2174 NEW BEST:: SOT 41135 SOS 10294 HAS SOPS 10294 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6733.294
AT ITER 2232 NEW BEST:: SOT 41109 SOS 10242 HAS SOPS 10242 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6683.242
AT ITER 2234 NEW BEST:: SOT 41097 SOS 10218 HAS SOPS 10218 HAS SOUS 6661 HAS SOUPS 6661 WITH SCORE 6671.218
AT ITER 2237 NEW BEST:: SOT 41097 SOS 10218 HAS SOPS 10218 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6669.218
AT ITER 2238 NEW BEST:: SOT 41096 SOS 10216 HAS SOPS 10216 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6668.216
AT ITER 2270 NEW BEST:: SOT 41096 SOS 10215 HAS SOPS 10215 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6668.215
AT ITER 2298 NEW BEST:: SOT 41093 SOS 10212 HAS SOPS 10212 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6665.212
AT ITER 2304 NEW BEST:: SOT 41093 SOS 10211 HAS SOPS 10211 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6665.211
AT ITER 2326 NEW BEST:: SOT 41093 SOS 10203 HAS SOPS 10203 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6657.203
AT ITER 2328 NEW BEST:: SOT 41079 SOS 10183 HAS SOPS 10183 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6637.183
AT ITER 2332 NEW BEST:: SOT 41098 SOS 10165 HAS SOPS 10165 HAS SOUS 6623 HAS SOUPS 6623 WITH SCORE 6633.165
AT ITER 2374 NEW BEST:: SOT 41094 SOS 10157 HAS SOPS 10157 HAS SOUS 6615 HAS SOUPS 6615 WITH SCORE 6625.157
AT ITER 2377 NEW BEST:: SOT 41094 SOS 10157 HAS SOPS 10157 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6602.157
AT ITER 2380 NEW BEST:: SOT 41064 SOS 10097 HAS SOPS 10097 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6570.097
AT ITER 2414 NEW BEST:: SOT 41054 SOS 10077 HAS SOPS 10077 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6550.077
AT ITER 2437 NEW BEST:: SOT 41034 SOS 10037 HAS SOPS 10037 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6550.037
AT ITER 2443 NEW BEST:: SOT 41033 SOS 10074 HAS SOPS 10074 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6549.074
AT ITER 2480 NEW BEST:: SOT 41022 SOS 10052 HAS SOPS 10052 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6549.052
AT ITER 2516 NEW BEST:: SOT 41020 SOS 10049 HAS SOPS 10049 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6547.049
AT ITER 2522 NEW BEST:: SOT 41016 SOS 10045 HAS SOPS 10045 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6547.045
AT ITER 2536 NEW BEST:: SOT 41016 SOS 10045 HAS SOPS 10045 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6508.045
AT ITER 2537 NEW BEST:: SOT 41008 SOS 10029 HAS SOPS 10029 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6492.029
AT ITER 2538 NEW BEST:: SOT 41000 SOS 10013 HAS SOPS 10013 HAS SOUS 6464 HAS SOUPS 6464 WITH SCORE 6474.013
AT ITER 2543 NEW BEST:: SOT 40998 SOS 10010 HAS SOPS 10010 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6471.01
AT ITER 2547 NEW BEST:: SOT 40996 SOS 10006 HAS SOPS 10006 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6471.006
AT ITER 2563 NEW BEST:: SOT 40999 SOS 10009 HAS SOPS 10009 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6468.009
AT ITER 2571 NEW BEST:: SOT 40997 SOS 10005 HAS SOPS 10005 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6462.005
AT ITER 2599 NEW BEST:: SOT 40994 SOS 9999 HAS SOPS 9999 HAS SOUS 6446 HAS SOUPS 6446 WITH SCORE 6455.999
AT ITER 2603 NEW BEST:: SOT 40989 SOS 9975 HAS SOPS 9975 HAS SOUS 6436 HAS SOUPS 6436 WITH SCORE 6445.975
AT ITER 2624 NEW BEST:: SOT 40989 SOS 9969 HAS SOPS 9969 HAS SOUS 6436 HAS SOUPS 6436 WITH SCORE 6445.969
AT ITER 2646 NEW BEST:: SOT 40989 SOS 9969 HAS SOPS 9969 HAS SOUS 6430 HAS SOUPS 6430 WITH SCORE 6439.969
AT ITER 2650 NEW BEST:: SOT 40981 SOS 9929 HAS SOPS 9929 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6423.929
AT ITER 2708 NEW BEST:: SOT 40974 SOS 9915 HAS SOPS 9915 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6409.915
AT ITER 2711 NEW BEST:: SOT 40971 SOS 9909 HAS SOPS 9909 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6405.909
AT ITER 2725 NEW BEST:: SOT 40962 SOS 9891 HAS SOPS 9891 HAS SOUS 6378 HAS SOUPS 6378 WITH SCORE 6387.891
AT ITER 2729 NEW BEST:: SOT 40956 SOS 9879 HAS SOPS 9879 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6375.879
AT ITER 2768 NEW BEST:: SOT 40953 SOS 9873 HAS SOPS 9873 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6369.873
AT ITER 2829 NEW BEST:: SOT 40951 SOS 9853 HAS SOPS 9853 HAS SOUS 6356 HAS SOUPS 6356 WITH SCORE 6365.853
AT ITER 2836 NEW BEST:: SOT 40966 SOS 9883 HAS SOPS 9883 HAS SOUS 6352 HAS SOUPS 6352 WITH SCORE 6361.883
AT ITER 2843 NEW BEST:: SOT 40954 SOS 9859 HAS SOPS 9859 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6337.859
AT ITER 2869 NEW BEST:: SOT 40962 SOS 9875 HAS SOPS 9875 HAS SOUS 6326 HAS SOUPS 6326 WITH SCORE 6335.875
AT ITER 2873 NEW BEST:: SOT 40966 SOS 9865 HAS SOPS 9865 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6325.865
AT ITER 2883 NEW BEST:: SOT 40966 SOS 9841 HAS SOPS 9841 HAS SOUS 6292 HAS SOUPS 6292 WITH SCORE 6301.841
AT ITER 2884 NEW BEST:: SOT 40966 SOS 9840 HAS SOPS 9840 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6298.84
AT ITER 2909 NEW BEST:: SOT 40964 SOS 9838 HAS SOPS 9838 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6296.838
AT ITER 2921 NEW BEST:: SOT 40944 SOS 9814 HAS SOPS 9814 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6292.814
AT ITER 2926 NEW BEST:: SOT 40949 SOS 9796 HAS SOPS 9796 HAS SOUS 6265 HAS SOUPS 6265 WITH SCORE 6274.796
AT ITER 2964 NEW BEST:: SOT 40906 SOS 9770 HAS SOPS 9770 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6250.77
AT ITER 3007 NEW BEST:: SOT 40903 SOS 9767 HAS SOPS 9767 HAS SOUS 6235 HAS SOUPS 6235 WITH SCORE 6244.767
AT ITER 3029 NEW BEST:: SOT 40902 SOS 9767 HAS SOPS 9767 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6243.767
AT ITER 3078 NEW BEST:: SOT 40904 SOS 9765 HAS SOPS 9765 HAS SOUS 6232 HAS SOUPS 6232 WITH SCORE 6241.765
AT ITER 3089 NEW BEST:: SOT 40904 SOS 9756 HAS SOPS 9756 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6232.756
AT ITER 3114 NEW BEST:: SOT 40903 SOS 9734 HAS SOPS 9734 HAS SOUS 6218 HAS SOUPS 6218 WITH SCORE 6227.734
AT ITER 3143 NEW BEST:: SOT 40860 SOS 9672 HAS SOPS 9672 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6189.672
AT ITER 3147 NEW BEST:: SOT 40843 SOS 9648 HAS SOPS 9648 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6164.648
AT ITER 3151 NEW BEST:: SOT 40842 SOS 9647 HAS SOPS 9647 HAS SOUS 6154 HAS SOUPS 6154 WITH SCORE 6163.647
AT ITER 3164 NEW BEST:: SOT 40834 SOS 9639 HAS SOPS 9639 HAS SOUS 6154 HAS SOUPS 6154 WITH SCORE 6163.639
AT ITER 3182 NEW BEST:: SOT 40832 SOS 9635 HAS SOPS 9635 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6159.635
AT ITER 3203 NEW BEST:: SOT 40831 SOS 9633 HAS SOPS 9633 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6158.633
AT ITER 3258 NEW BEST:: SOT 40794 SOS 9559 HAS SOPS 9559 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6121.559
AT ITER 3265 NEW BEST:: SOT 40789 SOS 9554 HAS SOPS 9554 HAS SOUS 6111 HAS SOUPS 6111 WITH SCORE 6120.554
AT ITER 3276 NEW BEST:: SOT 40780 SOS 9507 HAS SOPS 9507 HAS SOUS 6082 HAS SOUPS 6082 WITH SCORE 6091.507
AT ITER 3308 NEW BEST:: SOT 40777 SOS 9503 HAS SOPS 9503 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6090.503
AT ITER 3319 NEW BEST:: SOT 40779 SOS 9481 HAS SOPS 9481 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6090.481
AT ITER 3344 NEW BEST:: SOT 40778 SOS 9479 HAS SOPS 9479 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6089.479
AT ITER 3348 NEW BEST:: SOT 40789 SOS 9474 HAS SOPS 9474 HAS SOUS 6075 HAS SOUPS 6075 WITH SCORE 6084.474
AT ITER 3404 NEW BEST:: SOT 40782 SOS 9460 HAS SOPS 9460 HAS SOUS 6071 HAS SOUPS 6071 WITH SCORE 6080.46
AT ITER 3410 NEW BEST:: SOT 40778 SOS 9452 HAS SOPS 9452 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6072.452
AT ITER 3422 NEW BEST:: SOT 40778 SOS 9447 HAS SOPS 9447 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6072.447
AT ITER 3432 NEW BEST:: SOT 40777 SOS 9445 HAS SOPS 9445 HAS SOUS 6061 HAS SOUPS 6061 WITH SCORE 6070.445
AT ITER 3440 NEW BEST:: SOT 40777 SOS 9445 HAS SOPS 9445 HAS SOUS 6059 HAS SOUPS 6059 WITH SCORE 6068.445
AT ITER 3450 NEW BEST:: SOT 40777 SOS 9440 HAS SOPS 9440 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6063.44
AT ITER 3452 NEW BEST:: SOT 40771 SOS 9434 HAS SOPS 9434 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6053.434
AT ITER 3455 NEW BEST:: SOT 40742 SOS 9427 HAS SOPS 9427 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6029.427
AT ITER 3458 NEW BEST:: SOT 40751 SOS 9425 HAS SOPS 9425 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6027.425
AT ITER 3471 NEW BEST:: SOT 40751 SOS 9421 HAS SOPS 9421 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6023.421
AT ITER 3479 NEW BEST:: SOT 40751 SOS 9409 HAS SOPS 9409 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6017.409
AT ITER 3494 NEW BEST:: SOT 40724 SOS 9381 HAS SOPS 9381 HAS SOUS 5999 HAS SOUPS 5999 WITH SCORE 6008.381
AT ITER 3527 NEW BEST:: SOT 40744 SOS 9421 HAS SOPS 9421 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6006.421
AT ITER 3547 NEW BEST:: SOT 40719 SOS 9349 HAS SOPS 9349 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5984.349
AT ITER 3557 NEW BEST:: SOT 40712 SOS 9335 HAS SOPS 9335 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5970.335
AT ITER 3565 NEW BEST:: SOT 40705 SOS 9321 HAS SOPS 9321 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5970.321
AT ITER 3571 NEW BEST:: SOT 40702 SOS 9315 HAS SOPS 9315 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5955.315
AT ITER 3599 NEW BEST:: SOT 40686 SOS 9283 HAS SOPS 9283 HAS SOUS 5945 HAS SOUPS 5945 WITH SCORE 5954.283
AT ITER 3611 NEW BEST:: SOT 40686 SOS 9281 HAS SOPS 9281 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5949.281
AT ITER 3634 NEW BEST:: SOT 40684 SOS 9277 HAS SOPS 9277 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5945.277
AT ITER 3703 NEW BEST:: SOT 40672 SOS 9253 HAS SOPS 9253 HAS SOUS 5912 HAS SOUPS 5912 WITH SCORE 5921.253
AT ITER 3713 NEW BEST:: SOT 40666 SOS 9219 HAS SOPS 9219 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5877.219
AT ITER 3718 NEW BEST:: SOT 40666 SOS 9219 HAS SOPS 9219 HAS SOUS 5841 HAS SOUPS 5841 WITH SCORE 5850.219
AT ITER 3720 NEW BEST:: SOT 40659 SOS 9209 HAS SOPS 9209 HAS SOUS 5824 HAS SOUPS 5824 WITH SCORE 5833.209
AT ITER 3749 NEW BEST:: SOT 40637 SOS 9192 HAS SOPS 9192 HAS SOUS 5824 HAS SOUPS 5824 WITH SCORE 5833.192
AT ITER 3761 NEW BEST:: SOT 40613 SOS 9144 HAS SOPS 9144 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5785.144
AT ITER 3762 NEW BEST:: SOT 40619 SOS 9140 HAS SOPS 9140 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5781.14
AT ITER 3764 NEW BEST:: SOT 40622 SOS 9146 HAS SOPS 9146 HAS SOUS 5769 HAS SOUPS 5769 WITH SCORE 5778.146
AT ITER 3814 NEW BEST:: SOT 40619 SOS 9140 HAS SOPS 9140 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5772.14
AT ITER 3827 NEW BEST:: SOT 40614 SOS 9130 HAS SOPS 9130 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5762.13
AT ITER 3854 NEW BEST:: SOT 40566 SOS 9050 HAS SOPS 9050 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5714.05
AT ITER 3866 NEW BEST:: SOT 40549 SOS 9150 HAS SOPS 9150 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5713.15
AT ITER 3891 NEW BEST:: SOT 40523 SOS 9111 HAS SOPS 9111 HAS SOUS 5678 HAS SOUPS 5678 WITH SCORE 5687.111
AT ITER 3904 NEW BEST:: SOT 40520 SOS 9108 HAS SOPS 9108 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5681.108
AT ITER 3926 NEW BEST:: SOT 40506 SOS 9080 HAS SOPS 9080 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5681.08
AT ITER 3961 NEW BEST:: SOT 40508 SOS 9071 HAS SOPS 9071 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5670.071
AT ITER 3998 NEW BEST:: SOT 40503 SOS 9061 HAS SOPS 9061 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5670.061
AT ITER 4105 NEW BEST:: SOT 40503 SOS 9061 HAS SOPS 9061 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5666.061
AT ITER 4164 NEW BEST:: SOT 40504 SOS 9062 HAS SOPS 9062 HAS SOUS 5650 HAS SOUPS 5650 WITH SCORE 5659.062
AT ITER 4188 NEW BEST:: SOT 40504 SOS 9060 HAS SOPS 9060 HAS SOUS 5650 HAS SOUPS 5650 WITH SCORE 5659.06
AT ITER 4210 NEW BEST:: SOT 40496 SOS 9050 HAS SOPS 9050 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5649.05
AT ITER 4238 NEW BEST:: SOT 40479 SOS 9034 HAS SOPS 9034 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5642.034
AT ITER 4294 NEW BEST:: SOT 40477 SOS 9030 HAS SOPS 9030 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5638.03
AT ITER 4302 NEW BEST:: SOT 40462 SOS 8981 HAS SOPS 8981 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5628.981
AT ITER 4305 NEW BEST:: SOT 40462 SOS 8981 HAS SOPS 8981 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5624.981
AT ITER 4318 NEW BEST:: SOT 40459 SOS 9032 HAS SOPS 9032 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5624.032
AT ITER 4342 NEW BEST:: SOT 40452 SOS 9023 HAS SOPS 9023 HAS SOUS 5611 HAS SOUPS 5611 WITH SCORE 5620.023
AT ITER 4365 NEW BEST:: SOT 40452 SOS 9019 HAS SOPS 9019 HAS SOUS 5607 HAS SOUPS 5607 WITH SCORE 5616.019
AT ITER 4376 NEW BEST:: SOT 40452 SOS 9018 HAS SOPS 9018 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5615.018
AT ITER 4387 NEW BEST:: SOT 40452 SOS 9013 HAS SOPS 9013 HAS SOUS 5603 HAS SOUPS 5603 WITH SCORE 5612.013
AT ITER 4404 NEW BEST:: SOT 40450 SOS 8984 HAS SOPS 8984 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5582.984
AT ITER 4407 NEW BEST:: SOT 40426 SOS 9233 HAS SOPS 9233 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5581.233
AT ITER 4422 NEW BEST:: SOT 40419 SOS 9226 HAS SOPS 9226 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5574.226
AT ITER 4479 NEW BEST:: SOT 40416 SOS 9221 HAS SOPS 9221 HAS SOUS 5563 HAS SOUPS 5563 WITH SCORE 5572.221
AT ITER 4480 NEW BEST:: SOT 40416 SOS 9220 HAS SOPS 9220 HAS SOUS 5562 HAS SOUPS 5562 WITH SCORE 5571.22
AT ITER 4503 NEW BEST:: SOT 40404 SOS 9208 HAS SOPS 9208 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5559.208
AT ITER 4546 NEW BEST:: SOT 40403 SOS 9206 HAS SOPS 9206 HAS SOUS 5549 HAS SOUPS 5549 WITH SCORE 5558.206
AT ITER 4642 NEW BEST:: SOT 40402 SOS 9204 HAS SOPS 9204 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5550.204
AT ITER 4731 NEW BEST:: SOT 40402 SOS 9194 HAS SOPS 9194 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5540.194
AT ITER 4758 NEW BEST:: SOT 40396 SOS 9182 HAS SOPS 9182 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5531.182
AT ITER 4763 NEW BEST:: SOT 40387 SOS 9164 HAS SOPS 9164 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5522.164
AT ITER 4775 NEW BEST:: SOT 40387 SOS 9161 HAS SOPS 9161 HAS SOUS 5510 HAS SOUPS 5510 WITH SCORE 5519.161
AT ITER 4848 NEW BEST:: SOT 40387 SOS 9161 HAS SOPS 9161 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5517.161
AT ITER 4892 NEW BEST:: SOT 40379 SOS 9145 HAS SOPS 9145 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5501.145
AT ITER 4944 NEW BEST:: SOT 40378 SOS 9143 HAS SOPS 9143 HAS SOUS 5491 HAS SOUPS 5491 WITH SCORE 5500.143
AT ITER 5005 NEW BEST:: SOT 40375 SOS 9137 HAS SOPS 9137 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5494.137
AT ITER 5090 NEW BEST:: SOT 40372 SOS 9131 HAS SOPS 9131 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5488.131
AT ITER 5109 NEW BEST:: SOT 40371 SOS 9129 HAS SOPS 9129 HAS SOUS 5477 HAS SOUPS 5477 WITH SCORE 5486.129
AT ITER 5125 NEW BEST:: SOT 40363 SOS 9113 HAS SOPS 9113 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5470.113
AT ITER 5147 NEW BEST:: SOT 40360 SOS 9107 HAS SOPS 9107 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5463.107
AT ITER 5152 NEW BEST:: SOT 40358 SOS 9104 HAS SOPS 9104 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5461.104
AT ITER 5155 NEW BEST:: SOT 40357 SOS 9102 HAS SOPS 9102 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5459.102
AT ITER 5177 NEW BEST:: SOT 40336 SOS 9082 HAS SOPS 9082 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5439.082
AT ITER 5211 NEW BEST:: SOT 40337 SOS 9069 HAS SOPS 9069 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5438.069
AT ITER 5225 NEW BEST:: SOT 40337 SOS 9068 HAS SOPS 9068 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5437.068
AT ITER 5286 NEW BEST:: SOT 40336 SOS 9064 HAS SOPS 9064 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5434.064
AT ITER 5287 NEW BEST:: SOT 40336 SOS 9064 HAS SOPS 9064 HAS SOUS 5411 HAS SOUPS 5411 WITH SCORE 5420.064
AT ITER 5307 NEW BEST:: SOT 40332 SOS 9056 HAS SOPS 9056 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5414.056
AT ITER 5308 NEW BEST:: SOT 40308 SOS 9032 HAS SOPS 9032 HAS SOUS 5392 HAS SOUPS 5392 WITH SCORE 5401.032
AT ITER 5338 NEW BEST:: SOT 40305 SOS 9026 HAS SOPS 9026 HAS SOUS 5389 HAS SOUPS 5389 WITH SCORE 5398.026
AT ITER 5407 NEW BEST:: SOT 40299 SOS 9019 HAS SOPS 9019 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5397.019
AT ITER 5409 NEW BEST:: SOT 40299 SOS 8997 HAS SOPS 8997 HAS SOUS 5366 HAS SOUPS 5366 WITH SCORE 5374.997
AT ITER 5438 NEW BEST:: SOT 40301 SOS 9005 HAS SOPS 9005 HAS SOUS 5365 HAS SOUPS 5365 WITH SCORE 5374.005
AT ITER 5500 NEW BEST:: SOT 40299 SOS 9001 HAS SOPS 9001 HAS SOUS 5361 HAS SOUPS 5361 WITH SCORE 5370.001
AT ITER 5505 NEW BEST:: SOT 40285 SOS 9002 HAS SOPS 9002 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5360.002
AT ITER 5507 NEW BEST:: SOT 40285 SOS 9002 HAS SOPS 9002 HAS SOUS 5342 HAS SOUPS 5342 WITH SCORE 5351.002
AT ITER 5527 NEW BEST:: SOT 40289 SOS 9006 HAS SOPS 9006 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5349.006
AT ITER 5545 NEW BEST:: SOT 40281 SOS 8990 HAS SOPS 8990 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5332.99
AT ITER 5581 NEW BEST:: SOT 40275 SOS 8978 HAS SOPS 8978 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5326.978
AT ITER 5635 NEW BEST:: SOT 40245 SOS 8945 HAS SOPS 8945 HAS SOUS 5282 HAS SOUPS 5282 WITH SCORE 5290.945
AT ITER 5641 NEW BEST:: SOT 40243 SOS 8941 HAS SOPS 8941 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5286.941
AT ITER 5679 NEW BEST:: SOT 40252 SOS 8931 HAS SOPS 8931 HAS SOUS 5275 HAS SOUPS 5275 WITH SCORE 5283.931
AT ITER 5696 NEW BEST:: SOT 40238 SOS 8903 HAS SOPS 8903 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5276.903
AT ITER 5700 NEW BEST:: SOT 40240 SOS 8908 HAS SOPS 8908 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5275.908
AT ITER 5805 NEW BEST:: SOT 40229 SOS 8897 HAS SOPS 8897 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5275.897
AT ITER 5850 NEW BEST:: SOT 40221 SOS 8881 HAS SOPS 8881 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5265.881
AT ITER 5918 NEW BEST:: SOT 40221 SOS 8881 HAS SOPS 8881 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5263.881
AT ITER 5924 NEW BEST:: SOT 40214 SOS 8867 HAS SOPS 8867 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5255.867
AT ITER 6085 NEW BEST:: SOT 40204 SOS 8865 HAS SOPS 8865 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5245.865
AT ITER 6116 NEW BEST:: SOT 40196 SOS 8849 HAS SOPS 8849 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5229.849
AT ITER 6184 NEW BEST:: SOT 40192 SOS 8841 HAS SOPS 8841 HAS SOUS 5213 HAS SOUPS 5213 WITH SCORE 5221.841
AT ITER 6237 NEW BEST:: SOT 40176 SOS 8845 HAS SOPS 8845 HAS SOUS 5212 HAS SOUPS 5212 WITH SCORE 5220.845
AT ITER 6266 NEW BEST:: SOT 40174 SOS 8841 HAS SOPS 8841 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5214.841
AT ITER 6368 NEW BEST:: SOT 40173 SOS 8838 HAS SOPS 8838 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5212.838
AT ITER 6415 NEW BEST:: SOT 40173 SOS 8838 HAS SOPS 8838 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5210.838
AT ITER 6441 NEW BEST:: SOT 40173 SOS 8837 HAS SOPS 8837 HAS SOUS 5201 HAS SOUPS 5201 WITH SCORE 5209.837
AT ITER 6507 NEW BEST:: SOT 40169 SOS 8829 HAS SOPS 8829 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5201.829
AT ITER 6511 NEW BEST:: SOT 40161 SOS 8813 HAS SOPS 8813 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5197.813
AT ITER 6518 NEW BEST:: SOT 40157 SOS 8809 HAS SOPS 8809 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5193.809
AT ITER 6535 NEW BEST:: SOT 40155 SOS 8801 HAS SOPS 8801 HAS SOUS 5177 HAS SOUPS 5177 WITH SCORE 5185.801
AT ITER 6544 NEW BEST:: SOT 40148 SOS 8794 HAS SOPS 8794 HAS SOUS 5163 HAS SOUPS 5163 WITH SCORE 5171.794
AT ITER 6556 NEW BEST:: SOT 40147 SOS 8789 HAS SOPS 8789 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5167.789
AT ITER 6557 NEW BEST:: SOT 40143 SOS 8777 HAS SOPS 8777 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5159.777
AT ITER 6608 NEW BEST:: SOT 40143 SOS 8767 HAS SOPS 8767 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5154.767
AT ITER 6625 NEW BEST:: SOT 40134 SOS 8763 HAS SOPS 8763 HAS SOUS 5144 HAS SOUPS 5144 WITH SCORE 5152.763
AT ITER 6675 NEW BEST:: SOT 40122 SOS 8738 HAS SOPS 8738 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5140.738
AT ITER 6676 NEW BEST:: SOT 40122 SOS 8735 HAS SOPS 8735 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5140.735
AT ITER 6869 NEW BEST:: SOT 40129 SOS 8743 HAS SOPS 8743 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5136.743
AT ITER 6905 NEW BEST:: SOT 40127 SOS 8739 HAS SOPS 8739 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5132.739
AT ITER 6957 NEW BEST:: SOT 40130 SOS 8735 HAS SOPS 8735 HAS SOUS 5117 HAS SOUPS 5117 WITH SCORE 5125.735
AT ITER 6993 NEW BEST:: SOT 40120 SOS 8703 HAS SOPS 8703 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5109.703
AT ITER 7040 NEW BEST:: SOT 40111 SOS 8694 HAS SOPS 8694 HAS SOUS 5092 HAS SOUPS 5092 WITH SCORE 5100.694
AT ITER 7121 NEW BEST:: SOT 40089 SOS 8674 HAS SOPS 8674 HAS SOUS 5072 HAS SOUPS 5072 WITH SCORE 5080.674
AT ITER 7214 NEW BEST:: SOT 40082 SOS 8660 HAS SOPS 8660 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5073.66
AT ITER 7251 NEW BEST:: SOT 40082 SOS 8663 HAS SOPS 8663 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5070.663
AT ITER 7389 NEW BEST:: SOT 40080 SOS 8661 HAS SOPS 8661 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5070.661
AT ITER 7407 NEW BEST:: SOT 40080 SOS 8661 HAS SOPS 8661 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5068.661
AT ITER 7426 NEW BEST:: SOT 40077 SOS 8655 HAS SOPS 8655 HAS SOUS 5051 HAS SOUPS 5051 WITH SCORE 5059.655
AT ITER 7469 NEW BEST:: SOT 40072 SOS 8650 HAS SOPS 8650 HAS SOUS 5051 HAS SOUPS 5051 WITH SCORE 5059.65
AT ITER 7486 NEW BEST:: SOT 40071 SOS 8648 HAS SOPS 8648 HAS SOUS 5049 HAS SOUPS 5049 WITH SCORE 5057.648
AT ITER 7563 NEW BEST:: SOT 40070 SOS 8646 HAS SOPS 8646 HAS SOUS 5048 HAS SOUPS 5048 WITH SCORE 5056.646
AT ITER 7619 NEW BEST:: SOT 40065 SOS 8641 HAS SOPS 8641 HAS SOUS 5043 HAS SOUPS 5043 WITH SCORE 5051.641
AT ITER 7673 NEW BEST:: SOT 40051 SOS 8627 HAS SOPS 8627 HAS SOUS 5043 HAS SOUPS 5043 WITH SCORE 5051.627
AT ITER 7775 NEW BEST:: SOT 40050 SOS 8626 HAS SOPS 8626 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5050.626
AT ITER 7851 NEW BEST:: SOT 40048 SOS 8624 HAS SOPS 8624 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5050.624
AT ITER 7938 NEW BEST:: SOT 40009 SOS 8546 HAS SOPS 8546 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5017.546
AT ITER 7953 NEW BEST:: SOT 39976 SOS 8513 HAS SOPS 8513 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5014.513
AT ITER 7965 NEW BEST:: SOT 39970 SOS 8507 HAS SOPS 8507 HAS SOUS 5000 HAS SOUPS 5000 WITH SCORE 5008.507
AT ITER 7989 NEW BEST:: SOT 39970 SOS 8507 HAS SOPS 8507 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 5000.507
AT ITER 7997 NEW BEST:: SOT 39970 SOS 8492 HAS SOPS 8492 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 5000.492
AT ITER 8034 NEW BEST:: SOT 39945 SOS 8451 HAS SOPS 8451 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4984.451
AT ITER 8041 NEW BEST:: SOT 39944 SOS 8450 HAS SOPS 8450 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4984.45
AT ITER 8073 NEW BEST:: SOT 39934 SOS 8430 HAS SOPS 8430 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4983.43
AT ITER 8099 NEW BEST:: SOT 39956 SOS 8434 HAS SOPS 8434 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4979.434
AT ITER 8115 NEW BEST:: SOT 39956 SOS 8402 HAS SOPS 8402 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4979.402
AT ITER 8117 NEW BEST:: SOT 39954 SOS 8398 HAS SOPS 8398 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4979.398
AT ITER 8238 NEW BEST:: SOT 39953 SOS 8397 HAS SOPS 8397 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4979.397
AT ITER 8271 NEW BEST:: SOT 39960 SOS 8404 HAS SOPS 8404 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4976.404
AT ITER 8302 NEW BEST:: SOT 39956 SOS 8396 HAS SOPS 8396 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4976.396
AT ITER 8318 NEW BEST:: SOT 39955 SOS 8394 HAS SOPS 8394 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4974.394
AT ITER 8320 NEW BEST:: SOT 39955 SOS 8394 HAS SOPS 8394 HAS SOUS 4965 HAS SOUPS 4965 WITH SCORE 4973.394
AT ITER 8416 NEW BEST:: SOT 39946 SOS 8384 HAS SOPS 8384 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4963.384
AT ITER 8498 NEW BEST:: SOT 39961 SOS 8418 HAS SOPS 8418 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4959.418
AT ITER 8529 NEW BEST:: SOT 39958 SOS 8414 HAS SOPS 8414 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4957.414
AT ITER 8583 NEW BEST:: SOT 39954 SOS 8410 HAS SOPS 8410 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4951.41
AT ITER 8762 NEW BEST:: SOT 39953 SOS 8408 HAS SOPS 8408 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4943.408
AT ITER 8779 NEW BEST:: SOT 39935 SOS 8372 HAS SOPS 8372 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4943.372
AT ITER 8837 NEW BEST:: SOT 39927 SOS 8342 HAS SOPS 8342 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4935.342
AT ITER 8989 NEW BEST:: SOT 39927 SOS 8327 HAS SOPS 8327 HAS SOUS 4923 HAS SOUPS 4923 WITH SCORE 4931.327
AT ITER 9001 NEW BEST:: SOT 39914 SOS 8331 HAS SOPS 8331 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4927.331
AT ITER 9036 NEW BEST:: SOT 39913 SOS 8329 HAS SOPS 8329 HAS SOUS 4917 HAS SOUPS 4917 WITH SCORE 4925.329
AT ITER 9090 NEW BEST:: SOT 39913 SOS 8329 HAS SOPS 8329 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4924.329
AT ITER 9280 NEW BEST:: SOT 39913 SOS 8329 HAS SOPS 8329 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4921.329
AT ITER 9326 NEW BEST:: SOT 39884 SOS 8674 HAS SOPS 8674 HAS SOUS 4911 HAS SOUPS 4911 WITH SCORE 4919.674
AT ITER 9345 NEW BEST:: SOT 39877 SOS 8660 HAS SOPS 8660 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4912.66
AT ITER 9437 NEW BEST:: SOT 39880 SOS 8650 HAS SOPS 8650 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4911.65
AT ITER 9455 NEW BEST:: SOT 39876 SOS 8642 HAS SOPS 8642 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4907.642
AT ITER 9484 NEW BEST:: SOT 39875 SOS 8638 HAS SOPS 8638 HAS SOUS 4895 HAS SOUPS 4895 WITH SCORE 4903.638
AT ITER 9553 NEW BEST:: SOT 39845 SOS 8578 HAS SOPS 8578 HAS SOUS 4895 HAS SOUPS 4895 WITH SCORE 4903.578
AT ITER 9605 NEW BEST:: SOT 39856 SOS 8589 HAS SOPS 8589 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4902.589
AT ITER 9608 NEW BEST:: SOT 39856 SOS 8589 HAS SOPS 8589 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4899.589
AT ITER 9749 NEW BEST:: SOT 39857 SOS 8591 HAS SOPS 8591 HAS SOUS 4890 HAS SOUPS 4890 WITH SCORE 4898.591
AT ITER 9835 NEW BEST:: SOT 39853 SOS 8583 HAS SOPS 8583 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4894.583
AT ITER 9939 NEW BEST:: SOT 39851 SOS 8579 HAS SOPS 8579 HAS SOUS 4882 HAS SOUPS 4882 WITH SCORE 4890.579
AT ITER 9981 NEW BEST:: SOT 39838 SOS 8553 HAS SOPS 8553 HAS SOUS 4853 HAS SOUPS 4853 WITH SCORE 4861.553
AT ITER 9988 NEW BEST:: SOT 39827 SOS 8542 HAS SOPS 8542 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4850.542
AT ITER 9996 NEW BEST:: SOT 39827 SOS 8538 HAS SOPS 8538 HAS SOUS 4838 HAS SOUPS 4838 WITH SCORE 4846.538
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 1679183170578

--------------------
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-09"
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-09, 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-167912643200224"
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 ;