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.r483-tall-167912696601152.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 UtilityControlRoom-PT-Z2T4N08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696601152
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 28K Feb 26 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 150K Feb 26 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 37K Feb 26 14:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 159K Feb 26 14:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 45K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 46K Feb 26 14:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 243K Feb 26 14:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 66K Feb 26 14:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 280K Feb 26 14:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.4K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 93K 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 1679190760016

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=UtilityControlRoom-PT-Z2T4N08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z2T4N08
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: 140 places, 216 transitions, 680 arcs.
AT ITER 0 NEW BEST:: SOT 24669 SOS 18260 HAS SOPS 18260 HAS SOUS 12102 HAS SOUPS 12102 WITH SCORE 12120.26
AT ITER 2 NEW BEST:: SOT 24511 SOS 17169 HAS SOPS 17169 HAS SOUS 11916 HAS SOUPS 11916 WITH SCORE 11933.169
AT ITER 3 NEW BEST:: SOT 24482 SOS 17111 HAS SOPS 17111 HAS SOUS 11879 HAS SOUPS 11879 WITH SCORE 11896.111
AT ITER 5 NEW BEST:: SOT 24416 SOS 17052 HAS SOPS 17052 HAS SOUS 11803 HAS SOUPS 11803 WITH SCORE 11820.052
AT ITER 6 NEW BEST:: SOT 24439 SOS 16977 HAS SOPS 16977 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11815.977
AT ITER 7 NEW BEST:: SOT 24436 SOS 16968 HAS SOPS 16968 HAS SOUS 11796 HAS SOUPS 11796 WITH SCORE 11812.968
AT ITER 9 NEW BEST:: SOT 24411 SOS 16963 HAS SOPS 16963 HAS SOUS 11738 HAS SOUPS 11738 WITH SCORE 11754.963
AT ITER 10 NEW BEST:: SOT 24400 SOS 16941 HAS SOPS 16941 HAS SOUS 11716 HAS SOUPS 11716 WITH SCORE 11732.941
AT ITER 13 NEW BEST:: SOT 24403 SOS 16883 HAS SOPS 16883 HAS SOUS 11658 HAS SOUPS 11658 WITH SCORE 11674.883
AT ITER 15 NEW BEST:: SOT 24340 SOS 16751 HAS SOPS 16751 HAS SOUS 11584 HAS SOUPS 11584 WITH SCORE 11600.751
AT ITER 17 NEW BEST:: SOT 24011 SOS 16624 HAS SOPS 16624 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11350.624
AT ITER 19 NEW BEST:: SOT 23991 SOS 16508 HAS SOPS 16508 HAS SOUS 11243 HAS SOUPS 11243 WITH SCORE 11259.508
AT ITER 21 NEW BEST:: SOT 23968 SOS 16423 HAS SOPS 16423 HAS SOUS 11181 HAS SOUPS 11181 WITH SCORE 11197.423
AT ITER 22 NEW BEST:: SOT 23918 SOS 16391 HAS SOPS 16391 HAS SOUS 11165 HAS SOUPS 11165 WITH SCORE 11181.391
AT ITER 24 NEW BEST:: SOT 23918 SOS 16304 HAS SOPS 16304 HAS SOUS 11165 HAS SOUPS 11165 WITH SCORE 11181.304
AT ITER 26 NEW BEST:: SOT 23807 SOS 16227 HAS SOPS 16227 HAS SOUS 10916 HAS SOUPS 10916 WITH SCORE 10932.227
AT ITER 27 NEW BEST:: SOT 23726 SOS 16070 HAS SOPS 16070 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10798.07
AT ITER 31 NEW BEST:: SOT 23726 SOS 16070 HAS SOPS 16070 HAS SOUS 10780 HAS SOUPS 10780 WITH SCORE 10796.07
AT ITER 34 NEW BEST:: SOT 23746 SOS 16074 HAS SOPS 16074 HAS SOUS 10777 HAS SOUPS 10777 WITH SCORE 10793.074
AT ITER 39 NEW BEST:: SOT 23774 SOS 16036 HAS SOPS 16036 HAS SOUS 10705 HAS SOUPS 10705 WITH SCORE 10721.036
AT ITER 40 NEW BEST:: SOT 23771 SOS 16048 HAS SOPS 16048 HAS SOUS 10702 HAS SOUPS 10702 WITH SCORE 10718.048
AT ITER 43 NEW BEST:: SOT 23768 SOS 16045 HAS SOPS 16045 HAS SOUS 10687 HAS SOUPS 10687 WITH SCORE 10703.045
AT ITER 44 NEW BEST:: SOT 23745 SOS 15999 HAS SOPS 15999 HAS SOUS 10624 HAS SOUPS 10624 WITH SCORE 10639.999
AT ITER 45 NEW BEST:: SOT 23745 SOS 15955 HAS SOPS 15955 HAS SOUS 10624 HAS SOUPS 10624 WITH SCORE 10639.955
AT ITER 48 NEW BEST:: SOT 23771 SOS 15927 HAS SOPS 15927 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10631.927
AT ITER 49 NEW BEST:: SOT 23727 SOS 15860 HAS SOPS 15860 HAS SOUS 10551 HAS SOUPS 10551 WITH SCORE 10566.86
AT ITER 50 NEW BEST:: SOT 23715 SOS 15848 HAS SOPS 15848 HAS SOUS 10545 HAS SOUPS 10545 WITH SCORE 10560.848
AT ITER 53 NEW BEST:: SOT 23701 SOS 15834 HAS SOPS 15834 HAS SOUS 10531 HAS SOUPS 10531 WITH SCORE 10546.834
AT ITER 57 NEW BEST:: SOT 23661 SOS 15794 HAS SOPS 15794 HAS SOUS 10491 HAS SOUPS 10491 WITH SCORE 10506.794
AT ITER 60 NEW BEST:: SOT 23522 SOS 15501 HAS SOPS 15501 HAS SOUS 10240 HAS SOUPS 10240 WITH SCORE 10255.501
AT ITER 61 NEW BEST:: SOT 23515 SOS 15354 HAS SOPS 15354 HAS SOUS 10161 HAS SOUPS 10161 WITH SCORE 10176.354
AT ITER 63 NEW BEST:: SOT 23535 SOS 15331 HAS SOPS 15331 HAS SOUS 10157 HAS SOUPS 10157 WITH SCORE 10172.331
AT ITER 64 NEW BEST:: SOT 23397 SOS 15196 HAS SOPS 15196 HAS SOUS 9909 HAS SOUPS 9909 WITH SCORE 9924.196
AT ITER 66 NEW BEST:: SOT 23358 SOS 15165 HAS SOPS 15165 HAS SOUS 9828 HAS SOUPS 9828 WITH SCORE 9843.165
AT ITER 69 NEW BEST:: SOT 23249 SOS 15069 HAS SOPS 15069 HAS SOUS 9748 HAS SOUPS 9748 WITH SCORE 9763.069
AT ITER 71 NEW BEST:: SOT 23247 SOS 15072 HAS SOPS 15072 HAS SOUS 9741 HAS SOUPS 9741 WITH SCORE 9756.072
AT ITER 75 NEW BEST:: SOT 23230 SOS 15081 HAS SOPS 15081 HAS SOUS 9727 HAS SOUPS 9727 WITH SCORE 9742.081
AT ITER 78 NEW BEST:: SOT 23216 SOS 15005 HAS SOPS 15005 HAS SOUS 9651 HAS SOUPS 9651 WITH SCORE 9666.005
AT ITER 90 NEW BEST:: SOT 23192 SOS 14936 HAS SOPS 14936 HAS SOUS 9550 HAS SOUPS 9550 WITH SCORE 9564.936
AT ITER 95 NEW BEST:: SOT 23186 SOS 14923 HAS SOPS 14923 HAS SOUS 9537 HAS SOUPS 9537 WITH SCORE 9551.923
AT ITER 96 NEW BEST:: SOT 23161 SOS 14809 HAS SOPS 14809 HAS SOUS 9423 HAS SOUPS 9423 WITH SCORE 9437.809
AT ITER 98 NEW BEST:: SOT 23147 SOS 14701 HAS SOPS 14701 HAS SOUS 9403 HAS SOUPS 9403 WITH SCORE 9417.701
AT ITER 99 NEW BEST:: SOT 23126 SOS 14680 HAS SOPS 14680 HAS SOUS 9368 HAS SOUPS 9368 WITH SCORE 9382.68
AT ITER 108 NEW BEST:: SOT 23119 SOS 14673 HAS SOPS 14673 HAS SOUS 9361 HAS SOUPS 9361 WITH SCORE 9375.673
AT ITER 116 NEW BEST:: SOT 23119 SOS 14663 HAS SOPS 14663 HAS SOUS 9360 HAS SOUPS 9360 WITH SCORE 9374.663
AT ITER 118 NEW BEST:: SOT 23043 SOS 14704 HAS SOPS 14704 HAS SOUS 9347 HAS SOUPS 9347 WITH SCORE 9361.704
AT ITER 119 NEW BEST:: SOT 23043 SOS 14562 HAS SOPS 14562 HAS SOUS 9249 HAS SOUPS 9249 WITH SCORE 9263.562
AT ITER 122 NEW BEST:: SOT 23043 SOS 14548 HAS SOPS 14548 HAS SOUS 9231 HAS SOUPS 9231 WITH SCORE 9245.548
AT ITER 126 NEW BEST:: SOT 23031 SOS 14536 HAS SOPS 14536 HAS SOUS 9217 HAS SOUPS 9217 WITH SCORE 9231.536
AT ITER 129 NEW BEST:: SOT 23014 SOS 14525 HAS SOPS 14525 HAS SOUS 9206 HAS SOUPS 9206 WITH SCORE 9220.525
AT ITER 131 NEW BEST:: SOT 23021 SOS 14478 HAS SOPS 14478 HAS SOUS 9199 HAS SOUPS 9199 WITH SCORE 9213.478
AT ITER 133 NEW BEST:: SOT 23019 SOS 14474 HAS SOPS 14474 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9203.474
AT ITER 134 NEW BEST:: SOT 23015 SOS 14422 HAS SOPS 14422 HAS SOUS 9155 HAS SOUPS 9155 WITH SCORE 9169.422
AT ITER 136 NEW BEST:: SOT 22968 SOS 14238 HAS SOPS 14238 HAS SOUS 9025 HAS SOUPS 9025 WITH SCORE 9039.238
AT ITER 137 NEW BEST:: SOT 22968 SOS 14260 HAS SOPS 14260 HAS SOUS 9007 HAS SOUPS 9007 WITH SCORE 9021.26
AT ITER 138 NEW BEST:: SOT 22942 SOS 12933 HAS SOPS 12933 HAS SOUS 8730 HAS SOUPS 8730 WITH SCORE 8742.933
AT ITER 139 NEW BEST:: SOT 22942 SOS 12949 HAS SOPS 12949 HAS SOUS 8714 HAS SOUPS 8714 WITH SCORE 8726.949
AT ITER 140 NEW BEST:: SOT 22908 SOS 12898 HAS SOPS 12898 HAS SOUS 8663 HAS SOUPS 8663 WITH SCORE 8675.898
AT ITER 143 NEW BEST:: SOT 22888 SOS 12858 HAS SOPS 12858 HAS SOUS 8633 HAS SOUPS 8633 WITH SCORE 8645.858
AT ITER 146 NEW BEST:: SOT 22859 SOS 12722 HAS SOPS 12722 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8584.722
AT ITER 147 NEW BEST:: SOT 20625 SOS 11620 HAS SOPS 11620 HAS SOUS 7477 HAS SOUPS 7477 WITH SCORE 7488.62
AT ITER 156 NEW BEST:: SOT 20609 SOS 11687 HAS SOPS 11687 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7444.687
AT ITER 167 NEW BEST:: SOT 20602 SOS 11610 HAS SOPS 11610 HAS SOUS 7395 HAS SOUPS 7395 WITH SCORE 7406.61
AT ITER 169 NEW BEST:: SOT 20597 SOS 11579 HAS SOPS 11579 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7401.579
AT ITER 172 NEW BEST:: SOT 20584 SOS 11580 HAS SOPS 11580 HAS SOUS 7364 HAS SOUPS 7364 WITH SCORE 7375.58
AT ITER 174 NEW BEST:: SOT 19780 SOS 11698 HAS SOPS 11698 HAS SOUS 7215 HAS SOUPS 7215 WITH SCORE 7226.698
AT ITER 180 NEW BEST:: SOT 19793 SOS 11711 HAS SOPS 11711 HAS SOUS 7208 HAS SOUPS 7208 WITH SCORE 7219.711
AT ITER 181 NEW BEST:: SOT 19789 SOS 11703 HAS SOPS 11703 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7211.703
AT ITER 182 NEW BEST:: SOT 19793 SOS 11707 HAS SOPS 11707 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7198.707
AT ITER 183 NEW BEST:: SOT 19739 SOS 11607 HAS SOPS 11607 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7066.607
AT ITER 189 NEW BEST:: SOT 19739 SOS 11543 HAS SOPS 11543 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7034.543
AT ITER 190 NEW BEST:: SOT 19858 SOS 11489 HAS SOPS 11489 HAS SOUS 7019 HAS SOUPS 7019 WITH SCORE 7030.489
AT ITER 191 NEW BEST:: SOT 19852 SOS 11499 HAS SOPS 11499 HAS SOUS 6936 HAS SOUPS 6936 WITH SCORE 6947.499
AT ITER 205 NEW BEST:: SOT 19825 SOS 11422 HAS SOPS 11422 HAS SOUS 6884 HAS SOUPS 6884 WITH SCORE 6895.422
AT ITER 208 NEW BEST:: SOT 19763 SOS 11446 HAS SOPS 11446 HAS SOUS 6858 HAS SOUPS 6858 WITH SCORE 6869.446
AT ITER 216 NEW BEST:: SOT 19770 SOS 11420 HAS SOPS 11420 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6867.42
AT ITER 219 NEW BEST:: SOT 19768 SOS 11430 HAS SOPS 11430 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6865.43
AT ITER 221 NEW BEST:: SOT 19664 SOS 11294 HAS SOPS 11294 HAS SOUS 6747 HAS SOUPS 6747 WITH SCORE 6758.294
AT ITER 227 NEW BEST:: SOT 19632 SOS 11230 HAS SOPS 11230 HAS SOUS 6699 HAS SOUPS 6699 WITH SCORE 6710.23
AT ITER 244 NEW BEST:: SOT 19638 SOS 11236 HAS SOPS 11236 HAS SOUS 6676 HAS SOUPS 6676 WITH SCORE 6687.236
AT ITER 253 NEW BEST:: SOT 19645 SOS 11300 HAS SOPS 11300 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6666.3
AT ITER 259 NEW BEST:: SOT 19645 SOS 11290 HAS SOPS 11290 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6647.29
AT ITER 262 NEW BEST:: SOT 19629 SOS 11281 HAS SOPS 11281 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6608.281
AT ITER 264 NEW BEST:: SOT 19646 SOS 11216 HAS SOPS 11216 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6605.216
AT ITER 276 NEW BEST:: SOT 19570 SOS 11006 HAS SOPS 11006 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6593.006
AT ITER 279 NEW BEST:: SOT 19545 SOS 10917 HAS SOPS 10917 HAS SOUS 6569 HAS SOUPS 6569 WITH SCORE 6579.917
AT ITER 283 NEW BEST:: SOT 19580 SOS 10961 HAS SOPS 10961 HAS SOUS 6545 HAS SOUPS 6545 WITH SCORE 6555.961
AT ITER 289 NEW BEST:: SOT 19580 SOS 10954 HAS SOPS 10954 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6541.954
AT ITER 290 NEW BEST:: SOT 19566 SOS 10940 HAS SOPS 10940 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6527.94
AT ITER 291 NEW BEST:: SOT 19561 SOS 10988 HAS SOPS 10988 HAS SOUS 6507 HAS SOUPS 6507 WITH SCORE 6517.988
AT ITER 293 NEW BEST:: SOT 19555 SOS 10954 HAS SOPS 10954 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6485.954
AT ITER 295 NEW BEST:: SOT 19556 SOS 10953 HAS SOPS 10953 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6485.953
AT ITER 301 NEW BEST:: SOT 19526 SOS 10923 HAS SOPS 10923 HAS SOUS 6430 HAS SOUPS 6430 WITH SCORE 6440.923
AT ITER 303 NEW BEST:: SOT 19521 SOS 10927 HAS SOPS 10927 HAS SOUS 6420 HAS SOUPS 6420 WITH SCORE 6430.927
AT ITER 304 NEW BEST:: SOT 19481 SOS 10896 HAS SOPS 10896 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6346.896
AT ITER 309 NEW BEST:: SOT 19539 SOS 10963 HAS SOPS 10963 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6339.963
AT ITER 312 NEW BEST:: SOT 19527 SOS 10951 HAS SOPS 10951 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6339.951
AT ITER 321 NEW BEST:: SOT 19480 SOS 10924 HAS SOPS 10924 HAS SOUS 6285 HAS SOUPS 6285 WITH SCORE 6295.924
AT ITER 326 NEW BEST:: SOT 19484 SOS 10928 HAS SOPS 10928 HAS SOUS 6280 HAS SOUPS 6280 WITH SCORE 6290.928
AT ITER 327 NEW BEST:: SOT 19335 SOS 10827 HAS SOPS 10827 HAS SOUS 6182 HAS SOUPS 6182 WITH SCORE 6192.827
AT ITER 333 NEW BEST:: SOT 19337 SOS 10813 HAS SOPS 10813 HAS SOUS 6146 HAS SOUPS 6146 WITH SCORE 6156.813
AT ITER 334 NEW BEST:: SOT 19334 SOS 10793 HAS SOPS 10793 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6150.793
AT ITER 338 NEW BEST:: SOT 19328 SOS 10804 HAS SOPS 10804 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6146.804
AT ITER 339 NEW BEST:: SOT 19327 SOS 10802 HAS SOPS 10802 HAS SOUS 6135 HAS SOUPS 6135 WITH SCORE 6145.802
AT ITER 342 NEW BEST:: SOT 19214 SOS 10877 HAS SOPS 10877 HAS SOUS 6066 HAS SOUPS 6066 WITH SCORE 6076.877
AT ITER 351 NEW BEST:: SOT 19232 SOS 10895 HAS SOPS 10895 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6070.895
AT ITER 357 NEW BEST:: SOT 19226 SOS 10888 HAS SOPS 10888 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6059.888
AT ITER 358 NEW BEST:: SOT 19210 SOS 10872 HAS SOPS 10872 HAS SOUS 6045 HAS SOUPS 6045 WITH SCORE 6055.872
AT ITER 359 NEW BEST:: SOT 19200 SOS 10915 HAS SOPS 10915 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6040.915
AT ITER 365 NEW BEST:: SOT 19196 SOS 10944 HAS SOPS 10944 HAS SOUS 6025 HAS SOUPS 6025 WITH SCORE 6035.944
AT ITER 368 NEW BEST:: SOT 19196 SOS 10712 HAS SOPS 10712 HAS SOUS 6015 HAS SOUPS 6015 WITH SCORE 6025.712
AT ITER 373 NEW BEST:: SOT 19180 SOS 10696 HAS SOPS 10696 HAS SOUS 6003 HAS SOUPS 6003 WITH SCORE 6013.696
AT ITER 376 NEW BEST:: SOT 19178 SOS 10694 HAS SOPS 10694 HAS SOUS 6001 HAS SOUPS 6001 WITH SCORE 6011.694
AT ITER 388 NEW BEST:: SOT 19169 SOS 10607 HAS SOPS 10607 HAS SOUS 5977 HAS SOUPS 5977 WITH SCORE 5987.607
AT ITER 392 NEW BEST:: SOT 19141 SOS 10519 HAS SOPS 10519 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5959.519
AT ITER 395 NEW BEST:: SOT 19146 SOS 10529 HAS SOPS 10529 HAS SOUS 5944 HAS SOUPS 5944 WITH SCORE 5954.529
AT ITER 397 NEW BEST:: SOT 19122 SOS 10507 HAS SOPS 10507 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5936.507
AT ITER 400 NEW BEST:: SOT 19118 SOS 10503 HAS SOPS 10503 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5936.503
AT ITER 403 NEW BEST:: SOT 19068 SOS 10421 HAS SOPS 10421 HAS SOUS 5824 HAS SOUPS 5824 WITH SCORE 5834.421
AT ITER 411 NEW BEST:: SOT 19068 SOS 10421 HAS SOPS 10421 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5812.421
AT ITER 413 NEW BEST:: SOT 19062 SOS 10411 HAS SOPS 10411 HAS SOUS 5797 HAS SOUPS 5797 WITH SCORE 5807.411
AT ITER 436 NEW BEST:: SOT 19067 SOS 10410 HAS SOPS 10410 HAS SOUS 5795 HAS SOUPS 5795 WITH SCORE 5805.41
AT ITER 444 NEW BEST:: SOT 19061 SOS 10406 HAS SOPS 10406 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5802.406
AT ITER 447 NEW BEST:: SOT 19081 SOS 10415 HAS SOPS 10415 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5793.415
AT ITER 457 NEW BEST:: SOT 19110 SOS 10429 HAS SOPS 10429 HAS SOUS 5735 HAS SOUPS 5735 WITH SCORE 5745.429
AT ITER 461 NEW BEST:: SOT 19095 SOS 10344 HAS SOPS 10344 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5705.344
AT ITER 463 NEW BEST:: SOT 19149 SOS 9534 HAS SOPS 9534 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5685.534
AT ITER 465 NEW BEST:: SOT 19089 SOS 9516 HAS SOPS 9516 HAS SOUS 5668 HAS SOUPS 5668 WITH SCORE 5677.516
AT ITER 467 NEW BEST:: SOT 19092 SOS 9548 HAS SOPS 9548 HAS SOUS 5648 HAS SOUPS 5648 WITH SCORE 5657.548
AT ITER 468 NEW BEST:: SOT 19148 SOS 9545 HAS SOPS 9545 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5615.545
AT ITER 475 NEW BEST:: SOT 19107 SOS 9497 HAS SOPS 9497 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5557.497
AT ITER 480 NEW BEST:: SOT 19101 SOS 9491 HAS SOPS 9491 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5545.491
AT ITER 493 NEW BEST:: SOT 19105 SOS 9471 HAS SOPS 9471 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5526.471
AT ITER 494 NEW BEST:: SOT 19111 SOS 9472 HAS SOPS 9472 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5518.472
AT ITER 495 NEW BEST:: SOT 19147 SOS 9624 HAS SOPS 9624 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5473.624
AT ITER 497 NEW BEST:: SOT 19140 SOS 9453 HAS SOPS 9453 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5367.453
AT ITER 504 NEW BEST:: SOT 19036 SOS 9340 HAS SOPS 9340 HAS SOUS 5313 HAS SOUPS 5313 WITH SCORE 5322.34
AT ITER 509 NEW BEST:: SOT 19006 SOS 9340 HAS SOPS 9340 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5314.34
AT ITER 516 NEW BEST:: SOT 19006 SOS 9331 HAS SOPS 9331 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5314.331
AT ITER 535 NEW BEST:: SOT 18987 SOS 9524 HAS SOPS 9524 HAS SOUS 5293 HAS SOUPS 5293 WITH SCORE 5302.524
AT ITER 546 NEW BEST:: SOT 18921 SOS 9436 HAS SOPS 9436 HAS SOUS 5256 HAS SOUPS 5256 WITH SCORE 5265.436
AT ITER 562 NEW BEST:: SOT 18892 SOS 9536 HAS SOPS 9536 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5250.536
AT ITER 576 NEW BEST:: SOT 18919 SOS 9574 HAS SOPS 9574 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5246.574
AT ITER 585 NEW BEST:: SOT 18914 SOS 9569 HAS SOPS 9569 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5241.569
AT ITER 601 NEW BEST:: SOT 18909 SOS 9559 HAS SOPS 9559 HAS SOUS 5227 HAS SOUPS 5227 WITH SCORE 5236.559
AT ITER 610 NEW BEST:: SOT 18887 SOS 9537 HAS SOPS 9537 HAS SOUS 5227 HAS SOUPS 5227 WITH SCORE 5236.537
AT ITER 611 NEW BEST:: SOT 18840 SOS 9584 HAS SOPS 9584 HAS SOUS 5198 HAS SOUPS 5198 WITH SCORE 5207.584
AT ITER 637 NEW BEST:: SOT 18832 SOS 9564 HAS SOPS 9564 HAS SOUS 5186 HAS SOUPS 5186 WITH SCORE 5195.564
AT ITER 652 NEW BEST:: SOT 18814 SOS 9534 HAS SOPS 9534 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5165.534
AT ITER 670 NEW BEST:: SOT 18843 SOS 9411 HAS SOPS 9411 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5135.411
AT ITER 681 NEW BEST:: SOT 18812 SOS 9366 HAS SOPS 9366 HAS SOUS 5051 HAS SOUPS 5051 WITH SCORE 5060.366
AT ITER 690 NEW BEST:: SOT 18748 SOS 9374 HAS SOPS 9374 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5008.374
AT ITER 691 NEW BEST:: SOT 18740 SOS 9366 HAS SOPS 9366 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5004.366
AT ITER 692 NEW BEST:: SOT 18737 SOS 9357 HAS SOPS 9357 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4999.357
AT ITER 696 NEW BEST:: SOT 18737 SOS 9359 HAS SOPS 9359 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4982.359
AT ITER 703 NEW BEST:: SOT 18627 SOS 9328 HAS SOPS 9328 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4967.328
AT ITER 712 NEW BEST:: SOT 18625 SOS 9354 HAS SOPS 9354 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4928.354
AT ITER 726 NEW BEST:: SOT 18641 SOS 9357 HAS SOPS 9357 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4908.357
AT ITER 741 NEW BEST:: SOT 18626 SOS 9342 HAS SOPS 9342 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4893.342
AT ITER 751 NEW BEST:: SOT 18604 SOS 9262 HAS SOPS 9262 HAS SOUS 4838 HAS SOUPS 4838 WITH SCORE 4847.262
AT ITER 767 NEW BEST:: SOT 18614 SOS 9231 HAS SOPS 9231 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4784.231
AT ITER 789 NEW BEST:: SOT 18627 SOS 9233 HAS SOPS 9233 HAS SOUS 4769 HAS SOUPS 4769 WITH SCORE 4778.233
AT ITER 790 NEW BEST:: SOT 18617 SOS 9213 HAS SOPS 9213 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4777.213
AT ITER 792 NEW BEST:: SOT 18621 SOS 9213 HAS SOPS 9213 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4769.213
AT ITER 795 NEW BEST:: SOT 18587 SOS 9130 HAS SOPS 9130 HAS SOUS 4745 HAS SOUPS 4745 WITH SCORE 4754.13
AT ITER 796 NEW BEST:: SOT 18585 SOS 9126 HAS SOPS 9126 HAS SOUS 4743 HAS SOUPS 4743 WITH SCORE 4752.126
AT ITER 803 NEW BEST:: SOT 18560 SOS 9109 HAS SOPS 9109 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4736.109
AT ITER 816 NEW BEST:: SOT 18480 SOS 8997 HAS SOPS 8997 HAS SOUS 4611 HAS SOUPS 4611 WITH SCORE 4619.997
AT ITER 822 NEW BEST:: SOT 18477 SOS 8971 HAS SOPS 8971 HAS SOUS 4598 HAS SOUPS 4598 WITH SCORE 4606.971
AT ITER 824 NEW BEST:: SOT 18469 SOS 8965 HAS SOPS 8965 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4604.965
AT ITER 830 NEW BEST:: SOT 18446 SOS 8921 HAS SOPS 8921 HAS SOUS 4575 HAS SOUPS 4575 WITH SCORE 4583.921
AT ITER 886 NEW BEST:: SOT 18446 SOS 8852 HAS SOPS 8852 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4574.852
AT ITER 889 NEW BEST:: SOT 18440 SOS 8844 HAS SOPS 8844 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4566.844
AT ITER 895 NEW BEST:: SOT 18420 SOS 8824 HAS SOPS 8824 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4551.824
AT ITER 900 NEW BEST:: SOT 18401 SOS 8805 HAS SOPS 8805 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4533.805
AT ITER 906 NEW BEST:: SOT 18401 SOS 8805 HAS SOPS 8805 HAS SOUS 4523 HAS SOUPS 4523 WITH SCORE 4531.805
AT ITER 912 NEW BEST:: SOT 18393 SOS 8789 HAS SOPS 8789 HAS SOUS 4502 HAS SOUPS 4502 WITH SCORE 4510.789
AT ITER 929 NEW BEST:: SOT 18390 SOS 8783 HAS SOPS 8783 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4504.783
AT ITER 951 NEW BEST:: SOT 18378 SOS 8775 HAS SOPS 8775 HAS SOUS 4494 HAS SOUPS 4494 WITH SCORE 4502.775
AT ITER 953 NEW BEST:: SOT 18372 SOS 8763 HAS SOPS 8763 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4499.763
AT ITER 956 NEW BEST:: SOT 18374 SOS 8751 HAS SOPS 8751 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4491.751
AT ITER 966 NEW BEST:: SOT 18368 SOS 8748 HAS SOPS 8748 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4491.748
AT ITER 979 NEW BEST:: SOT 18357 SOS 8752 HAS SOPS 8752 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4482.752
AT ITER 992 NEW BEST:: SOT 18327 SOS 8697 HAS SOPS 8697 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4438.697
AT ITER 999 NEW BEST:: SOT 18311 SOS 8668 HAS SOPS 8668 HAS SOUS 4416 HAS SOUPS 4416 WITH SCORE 4424.668
AT ITER 1014 NEW BEST:: SOT 18331 SOS 8676 HAS SOPS 8676 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4422.676
AT ITER 1038 NEW BEST:: SOT 18334 SOS 8679 HAS SOPS 8679 HAS SOUS 4406 HAS SOUPS 4406 WITH SCORE 4414.679
AT ITER 1058 NEW BEST:: SOT 18331 SOS 8646 HAS SOPS 8646 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4365.646
AT ITER 1069 NEW BEST:: SOT 18350 SOS 8588 HAS SOPS 8588 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4364.588
AT ITER 1087 NEW BEST:: SOT 18374 SOS 8586 HAS SOPS 8586 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4363.586
AT ITER 1088 NEW BEST:: SOT 18354 SOS 8514 HAS SOPS 8514 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4329.514
AT ITER 1091 NEW BEST:: SOT 18363 SOS 8501 HAS SOPS 8501 HAS SOUS 4319 HAS SOUPS 4319 WITH SCORE 4327.501
AT ITER 1101 NEW BEST:: SOT 18353 SOS 8483 HAS SOPS 8483 HAS SOUS 4294 HAS SOUPS 4294 WITH SCORE 4302.483
AT ITER 1104 NEW BEST:: SOT 18398 SOS 8428 HAS SOPS 8428 HAS SOUS 4267 HAS SOUPS 4267 WITH SCORE 4275.428
AT ITER 1112 NEW BEST:: SOT 18407 SOS 8425 HAS SOPS 8425 HAS SOUS 4267 HAS SOUPS 4267 WITH SCORE 4275.425
AT ITER 1116 NEW BEST:: SOT 18402 SOS 8420 HAS SOPS 8420 HAS SOUS 4257 HAS SOUPS 4257 WITH SCORE 4265.42
AT ITER 1119 NEW BEST:: SOT 18390 SOS 8393 HAS SOPS 8393 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4260.393
AT ITER 1124 NEW BEST:: SOT 18373 SOS 8331 HAS SOPS 8331 HAS SOUS 4240 HAS SOUPS 4240 WITH SCORE 4248.331
AT ITER 1144 NEW BEST:: SOT 18346 SOS 8305 HAS SOPS 8305 HAS SOUS 4218 HAS SOUPS 4218 WITH SCORE 4226.305
AT ITER 1145 NEW BEST:: SOT 18346 SOS 8301 HAS SOPS 8301 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4224.301
AT ITER 1161 NEW BEST:: SOT 18339 SOS 8280 HAS SOPS 8280 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4217.28
AT ITER 1192 NEW BEST:: SOT 18337 SOS 8281 HAS SOPS 8281 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4216.281
AT ITER 1197 NEW BEST:: SOT 18337 SOS 8276 HAS SOPS 8276 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4216.276
AT ITER 1199 NEW BEST:: SOT 18309 SOS 8220 HAS SOPS 8220 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4201.22
AT ITER 1201 NEW BEST:: SOT 18225 SOS 8122 HAS SOPS 8122 HAS SOUS 4174 HAS SOUPS 4174 WITH SCORE 4182.122
AT ITER 1204 NEW BEST:: SOT 18206 SOS 8105 HAS SOPS 8105 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4180.105
AT ITER 1206 NEW BEST:: SOT 18208 SOS 8004 HAS SOPS 8004 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4136.004
AT ITER 1209 NEW BEST:: SOT 18193 SOS 7989 HAS SOPS 7989 HAS SOUS 4110 HAS SOUPS 4110 WITH SCORE 4117.989
AT ITER 1226 NEW BEST:: SOT 18166 SOS 7966 HAS SOPS 7966 HAS SOUS 4072 HAS SOUPS 4072 WITH SCORE 4079.966
AT ITER 1235 NEW BEST:: SOT 18136 SOS 7901 HAS SOPS 7901 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4059.901
AT ITER 1239 NEW BEST:: SOT 18139 SOS 7866 HAS SOPS 7866 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4059.866
AT ITER 1242 NEW BEST:: SOT 18138 SOS 7866 HAS SOPS 7866 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4057.866
AT ITER 1266 NEW BEST:: SOT 18096 SOS 7782 HAS SOPS 7782 HAS SOUS 3987 HAS SOUPS 3987 WITH SCORE 3994.782
AT ITER 1270 NEW BEST:: SOT 18086 SOS 7754 HAS SOPS 7754 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3990.754
AT ITER 1287 NEW BEST:: SOT 18090 SOS 7762 HAS SOPS 7762 HAS SOUS 3979 HAS SOUPS 3979 WITH SCORE 3986.762
AT ITER 1305 NEW BEST:: SOT 18078 SOS 7739 HAS SOPS 7739 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3962.739
AT ITER 1323 NEW BEST:: SOT 18071 SOS 7699 HAS SOPS 7699 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3949.699
AT ITER 1325 NEW BEST:: SOT 18048 SOS 7676 HAS SOPS 7676 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3925.676
AT ITER 1340 NEW BEST:: SOT 18044 SOS 7669 HAS SOPS 7669 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3916.669
AT ITER 1344 NEW BEST:: SOT 18043 SOS 7668 HAS SOPS 7668 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3916.668
AT ITER 1362 NEW BEST:: SOT 18052 SOS 7677 HAS SOPS 7677 HAS SOUS 3908 HAS SOUPS 3908 WITH SCORE 3915.677
AT ITER 1367 NEW BEST:: SOT 18052 SOS 7676 HAS SOPS 7676 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3912.676
AT ITER 1382 NEW BEST:: SOT 18041 SOS 7747 HAS SOPS 7747 HAS SOUS 3902 HAS SOUPS 3902 WITH SCORE 3909.747
AT ITER 1391 NEW BEST:: SOT 18041 SOS 7747 HAS SOPS 7747 HAS SOUS 3900 HAS SOUPS 3900 WITH SCORE 3907.747
AT ITER 1420 NEW BEST:: SOT 18028 SOS 7724 HAS SOPS 7724 HAS SOUS 3881 HAS SOUPS 3881 WITH SCORE 3888.724
AT ITER 1430 NEW BEST:: SOT 17989 SOS 7685 HAS SOPS 7685 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3879.685
AT ITER 1437 NEW BEST:: SOT 17990 SOS 7691 HAS SOPS 7691 HAS SOUS 3857 HAS SOUPS 3857 WITH SCORE 3864.691
AT ITER 1445 NEW BEST:: SOT 17987 SOS 7686 HAS SOPS 7686 HAS SOUS 3852 HAS SOUPS 3852 WITH SCORE 3859.686
AT ITER 1454 NEW BEST:: SOT 17976 SOS 7671 HAS SOPS 7671 HAS SOUS 3837 HAS SOUPS 3837 WITH SCORE 3844.671
AT ITER 1458 NEW BEST:: SOT 17951 SOS 7645 HAS SOPS 7645 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3830.645
AT ITER 1462 NEW BEST:: SOT 17974 SOS 7623 HAS SOPS 7623 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3779.623
AT ITER 1464 NEW BEST:: SOT 17973 SOS 7622 HAS SOPS 7622 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3777.622
AT ITER 1469 NEW BEST:: SOT 17937 SOS 7595 HAS SOPS 7595 HAS SOUS 3726 HAS SOUPS 3726 WITH SCORE 3733.595
AT ITER 1471 NEW BEST:: SOT 17927 SOS 7582 HAS SOPS 7582 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3722.582
AT ITER 1486 NEW BEST:: SOT 17918 SOS 7573 HAS SOPS 7573 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3713.573
AT ITER 1499 NEW BEST:: SOT 17904 SOS 7559 HAS SOPS 7559 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3713.559
AT ITER 1517 NEW BEST:: SOT 17907 SOS 7581 HAS SOPS 7581 HAS SOUS 3704 HAS SOUPS 3704 WITH SCORE 3711.581
AT ITER 1520 NEW BEST:: SOT 17913 SOS 7585 HAS SOPS 7585 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3703.585
AT ITER 1530 NEW BEST:: SOT 17897 SOS 7567 HAS SOPS 7567 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3695.567
AT ITER 1554 NEW BEST:: SOT 17875 SOS 7481 HAS SOPS 7481 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3651.481
AT ITER 1592 NEW BEST:: SOT 17884 SOS 7483 HAS SOPS 7483 HAS SOUS 3642 HAS SOUPS 3642 WITH SCORE 3649.483
AT ITER 1601 NEW BEST:: SOT 17892 SOS 7477 HAS SOPS 7477 HAS SOUS 3620 HAS SOUPS 3620 WITH SCORE 3627.477
AT ITER 1629 NEW BEST:: SOT 17884 SOS 7438 HAS SOPS 7438 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3570.438
AT ITER 1631 NEW BEST:: SOT 17882 SOS 7434 HAS SOPS 7434 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3568.434
AT ITER 1647 NEW BEST:: SOT 17882 SOS 7434 HAS SOPS 7434 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3563.434
AT ITER 1649 NEW BEST:: SOT 17872 SOS 7424 HAS SOPS 7424 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3548.424
AT ITER 1652 NEW BEST:: SOT 17852 SOS 7398 HAS SOPS 7398 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3531.398
AT ITER 1675 NEW BEST:: SOT 17848 SOS 7394 HAS SOPS 7394 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3531.394
AT ITER 1677 NEW BEST:: SOT 17858 SOS 7404 HAS SOPS 7404 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3519.404
AT ITER 1696 NEW BEST:: SOT 17850 SOS 7396 HAS SOPS 7396 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3517.396
AT ITER 1704 NEW BEST:: SOT 17850 SOS 7388 HAS SOPS 7388 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3509.388
AT ITER 1750 NEW BEST:: SOT 17862 SOS 7398 HAS SOPS 7398 HAS SOUS 3488 HAS SOUPS 3488 WITH SCORE 3495.398
AT ITER 1752 NEW BEST:: SOT 17864 SOS 7359 HAS SOPS 7359 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3489.359
AT ITER 1754 NEW BEST:: SOT 17862 SOS 7353 HAS SOPS 7353 HAS SOUS 3478 HAS SOUPS 3478 WITH SCORE 3485.353
AT ITER 1756 NEW BEST:: SOT 17857 SOS 7368 HAS SOPS 7368 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3481.368
AT ITER 1775 NEW BEST:: SOT 17850 SOS 7361 HAS SOPS 7361 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3470.361
AT ITER 1790 NEW BEST:: SOT 17830 SOS 7329 HAS SOPS 7329 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3468.329
AT ITER 1816 NEW BEST:: SOT 17819 SOS 7314 HAS SOPS 7314 HAS SOUS 3442 HAS SOUPS 3442 WITH SCORE 3449.314
AT ITER 1822 NEW BEST:: SOT 17818 SOS 7311 HAS SOPS 7311 HAS SOUS 3440 HAS SOUPS 3440 WITH SCORE 3447.311
AT ITER 1832 NEW BEST:: SOT 17814 SOS 7307 HAS SOPS 7307 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3439.307
AT ITER 1839 NEW BEST:: SOT 17810 SOS 7290 HAS SOPS 7290 HAS SOUS 3425 HAS SOUPS 3425 WITH SCORE 3432.29
AT ITER 1870 NEW BEST:: SOT 17807 SOS 7286 HAS SOPS 7286 HAS SOUS 3425 HAS SOUPS 3425 WITH SCORE 3432.286
AT ITER 1871 NEW BEST:: SOT 17786 SOS 7225 HAS SOPS 7225 HAS SOUS 3414 HAS SOUPS 3414 WITH SCORE 3421.225
AT ITER 1874 NEW BEST:: SOT 17780 SOS 7228 HAS SOPS 7228 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3417.228
AT ITER 1885 NEW BEST:: SOT 17785 SOS 7205 HAS SOPS 7205 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3404.205
AT ITER 1894 NEW BEST:: SOT 17783 SOS 7205 HAS SOPS 7205 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3400.205
AT ITER 2010 NEW BEST:: SOT 17783 SOS 7206 HAS SOPS 7206 HAS SOUS 3392 HAS SOUPS 3392 WITH SCORE 3399.206
AT ITER 2015 NEW BEST:: SOT 17774 SOS 7197 HAS SOPS 7197 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3393.197
AT ITER 2019 NEW BEST:: SOT 17773 SOS 7196 HAS SOPS 7196 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3391.196
AT ITER 2028 NEW BEST:: SOT 17762 SOS 7182 HAS SOPS 7182 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3373.182
AT ITER 2038 NEW BEST:: SOT 17762 SOS 7174 HAS SOPS 7174 HAS SOUS 3358 HAS SOUPS 3358 WITH SCORE 3365.174
AT ITER 2068 NEW BEST:: SOT 17760 SOS 7174 HAS SOPS 7174 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3362.174
AT ITER 2097 NEW BEST:: SOT 17757 SOS 7171 HAS SOPS 7171 HAS SOUS 3352 HAS SOUPS 3352 WITH SCORE 3359.171
AT ITER 2137 NEW BEST:: SOT 17757 SOS 7172 HAS SOPS 7172 HAS SOUS 3351 HAS SOUPS 3351 WITH SCORE 3358.172
AT ITER 2149 NEW BEST:: SOT 17725 SOS 7290 HAS SOPS 7290 HAS SOUS 3347 HAS SOUPS 3347 WITH SCORE 3354.29
AT ITER 2175 NEW BEST:: SOT 17715 SOS 7280 HAS SOPS 7280 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3353.28
AT ITER 2199 NEW BEST:: SOT 17715 SOS 7300 HAS SOPS 7300 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3350.3
AT ITER 2228 NEW BEST:: SOT 17697 SOS 7282 HAS SOPS 7282 HAS SOUS 3325 HAS SOUPS 3325 WITH SCORE 3332.282
AT ITER 2231 NEW BEST:: SOT 17696 SOS 7239 HAS SOPS 7239 HAS SOUS 3307 HAS SOUPS 3307 WITH SCORE 3314.239
AT ITER 2244 NEW BEST:: SOT 17691 SOS 7258 HAS SOPS 7258 HAS SOUS 3302 HAS SOUPS 3302 WITH SCORE 3309.258
AT ITER 2267 NEW BEST:: SOT 17691 SOS 7248 HAS SOPS 7248 HAS SOUS 3298 HAS SOUPS 3298 WITH SCORE 3305.248
AT ITER 2269 NEW BEST:: SOT 17696 SOS 7244 HAS SOPS 7244 HAS SOUS 3297 HAS SOUPS 3297 WITH SCORE 3304.244
AT ITER 2277 NEW BEST:: SOT 17704 SOS 7252 HAS SOPS 7252 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3300.252
AT ITER 2284 NEW BEST:: SOT 17703 SOS 7252 HAS SOPS 7252 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3299.252
AT ITER 2293 NEW BEST:: SOT 17703 SOS 7252 HAS SOPS 7252 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3294.252
AT ITER 2307 NEW BEST:: SOT 17703 SOS 7246 HAS SOPS 7246 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3294.246
AT ITER 2322 NEW BEST:: SOT 17703 SOS 7246 HAS SOPS 7246 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3292.246
AT ITER 2331 NEW BEST:: SOT 17703 SOS 7240 HAS SOPS 7240 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3292.24
AT ITER 2353 NEW BEST:: SOT 17695 SOS 7232 HAS SOPS 7232 HAS SOUS 3277 HAS SOUPS 3277 WITH SCORE 3284.232
AT ITER 2355 NEW BEST:: SOT 17693 SOS 7233 HAS SOPS 7233 HAS SOUS 3273 HAS SOUPS 3273 WITH SCORE 3280.233
AT ITER 2372 NEW BEST:: SOT 17687 SOS 7227 HAS SOPS 7227 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3271.227
AT ITER 2377 NEW BEST:: SOT 17685 SOS 7225 HAS SOPS 7225 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3269.225
AT ITER 2403 NEW BEST:: SOT 17685 SOS 7223 HAS SOPS 7223 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3267.223
AT ITER 2433 NEW BEST:: SOT 17682 SOS 7218 HAS SOPS 7218 HAS SOUS 3257 HAS SOUPS 3257 WITH SCORE 3264.218
AT ITER 2439 NEW BEST:: SOT 17682 SOS 7216 HAS SOPS 7216 HAS SOUS 3257 HAS SOUPS 3257 WITH SCORE 3264.216
AT ITER 2445 NEW BEST:: SOT 17674 SOS 7206 HAS SOPS 7206 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3248.206
AT ITER 2482 NEW BEST:: SOT 17682 SOS 7223 HAS SOPS 7223 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3247.223
AT ITER 2548 NEW BEST:: SOT 17662 SOS 7183 HAS SOPS 7183 HAS SOUS 3220 HAS SOUPS 3220 WITH SCORE 3227.183
AT ITER 2551 NEW BEST:: SOT 17666 SOS 7183 HAS SOPS 7183 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3225.183
AT ITER 2556 NEW BEST:: SOT 17662 SOS 7179 HAS SOPS 7179 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3225.179
AT ITER 2561 NEW BEST:: SOT 17662 SOS 7179 HAS SOPS 7179 HAS SOUS 3217 HAS SOUPS 3217 WITH SCORE 3224.179
AT ITER 2597 NEW BEST:: SOT 17667 SOS 7136 HAS SOPS 7136 HAS SOUS 3215 HAS SOUPS 3215 WITH SCORE 3222.136
AT ITER 2606 NEW BEST:: SOT 17655 SOS 7124 HAS SOPS 7124 HAS SOUS 3209 HAS SOUPS 3209 WITH SCORE 3216.124
AT ITER 2608 NEW BEST:: SOT 17649 SOS 7123 HAS SOPS 7123 HAS SOUS 3209 HAS SOUPS 3209 WITH SCORE 3216.123
AT ITER 2617 NEW BEST:: SOT 17649 SOS 7105 HAS SOPS 7105 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3207.105
AT ITER 2635 NEW BEST:: SOT 17606 SOS 7123 HAS SOPS 7123 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3193.123
AT ITER 2647 NEW BEST:: SOT 17603 SOS 7120 HAS SOPS 7120 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3189.12
AT ITER 2648 NEW BEST:: SOT 17603 SOS 7134 HAS SOPS 7134 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3183.134
AT ITER 2678 NEW BEST:: SOT 17600 SOS 7134 HAS SOPS 7134 HAS SOUS 3173 HAS SOUPS 3173 WITH SCORE 3180.134
AT ITER 2701 NEW BEST:: SOT 17592 SOS 7116 HAS SOPS 7116 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3145.116
AT ITER 2718 NEW BEST:: SOT 17588 SOS 7107 HAS SOPS 7107 HAS SOUS 3131 HAS SOUPS 3131 WITH SCORE 3138.107
AT ITER 2772 NEW BEST:: SOT 17575 SOS 7120 HAS SOPS 7120 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3135.12
AT ITER 2779 NEW BEST:: SOT 17540 SOS 7102 HAS SOPS 7102 HAS SOUS 3123 HAS SOUPS 3123 WITH SCORE 3130.102
AT ITER 2788 NEW BEST:: SOT 17539 SOS 7101 HAS SOPS 7101 HAS SOUS 3121 HAS SOUPS 3121 WITH SCORE 3128.101
AT ITER 2849 NEW BEST:: SOT 17529 SOS 7082 HAS SOPS 7082 HAS SOUS 3119 HAS SOUPS 3119 WITH SCORE 3126.082
AT ITER 2860 NEW BEST:: SOT 17529 SOS 7079 HAS SOPS 7079 HAS SOUS 3116 HAS SOUPS 3116 WITH SCORE 3123.079
AT ITER 2868 NEW BEST:: SOT 17530 SOS 7080 HAS SOPS 7080 HAS SOUS 3093 HAS SOUPS 3093 WITH SCORE 3100.08
AT ITER 2887 NEW BEST:: SOT 17528 SOS 7078 HAS SOPS 7078 HAS SOUS 3089 HAS SOUPS 3089 WITH SCORE 3096.078
AT ITER 2923 NEW BEST:: SOT 17528 SOS 7076 HAS SOPS 7076 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3093.076
AT ITER 2950 NEW BEST:: SOT 17514 SOS 7059 HAS SOPS 7059 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3082.059
AT ITER 3015 NEW BEST:: SOT 17512 SOS 7056 HAS SOPS 7056 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3080.056
AT ITER 3019 NEW BEST:: SOT 17510 SOS 7052 HAS SOPS 7052 HAS SOUS 3069 HAS SOUPS 3069 WITH SCORE 3076.052
AT ITER 3021 NEW BEST:: SOT 17508 SOS 7050 HAS SOPS 7050 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3067.05
AT ITER 3061 NEW BEST:: SOT 17496 SOS 7039 HAS SOPS 7039 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3056.039
AT ITER 3132 NEW BEST:: SOT 17488 SOS 7031 HAS SOPS 7031 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3056.031
AT ITER 3153 NEW BEST:: SOT 17483 SOS 7035 HAS SOPS 7035 HAS SOUS 3045 HAS SOUPS 3045 WITH SCORE 3052.035
AT ITER 3187 NEW BEST:: SOT 17480 SOS 7023 HAS SOPS 7023 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3049.023
AT ITER 3245 NEW BEST:: SOT 17450 SOS 6993 HAS SOPS 6993 HAS SOUS 3025 HAS SOUPS 3025 WITH SCORE 3031.993
AT ITER 3286 NEW BEST:: SOT 17429 SOS 7044 HAS SOPS 7044 HAS SOUS 3021 HAS SOUPS 3021 WITH SCORE 3028.044
AT ITER 3294 NEW BEST:: SOT 17427 SOS 7028 HAS SOPS 7028 HAS SOUS 3020 HAS SOUPS 3020 WITH SCORE 3027.028
AT ITER 3329 NEW BEST:: SOT 17425 SOS 7022 HAS SOPS 7022 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3024.022
AT ITER 3333 NEW BEST:: SOT 17418 SOS 7032 HAS SOPS 7032 HAS SOUS 3013 HAS SOUPS 3013 WITH SCORE 3020.032
AT ITER 3390 NEW BEST:: SOT 17417 SOS 7083 HAS SOPS 7083 HAS SOUS 3012 HAS SOUPS 3012 WITH SCORE 3019.083
AT ITER 3406 NEW BEST:: SOT 17417 SOS 7090 HAS SOPS 7090 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3004.09
AT ITER 3412 NEW BEST:: SOT 17414 SOS 7079 HAS SOPS 7079 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2997.079
AT ITER 3427 NEW BEST:: SOT 17411 SOS 7073 HAS SOPS 7073 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2991.073
AT ITER 3542 NEW BEST:: SOT 17414 SOS 7076 HAS SOPS 7076 HAS SOUS 2979 HAS SOUPS 2979 WITH SCORE 2986.076
AT ITER 3583 NEW BEST:: SOT 17408 SOS 7074 HAS SOPS 7074 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2973.074
AT ITER 3587 NEW BEST:: SOT 17354 SOS 7311 HAS SOPS 7311 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2934.311
AT ITER 3604 NEW BEST:: SOT 17353 SOS 7309 HAS SOPS 7309 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2934.309
AT ITER 3627 NEW BEST:: SOT 17351 SOS 7307 HAS SOPS 7307 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2933.307
AT ITER 3649 NEW BEST:: SOT 17351 SOS 7301 HAS SOPS 7301 HAS SOUS 2923 HAS SOUPS 2923 WITH SCORE 2930.301
AT ITER 3658 NEW BEST:: SOT 17344 SOS 7283 HAS SOPS 7283 HAS SOUS 2912 HAS SOUPS 2912 WITH SCORE 2919.283
AT ITER 3671 NEW BEST:: SOT 17313 SOS 7386 HAS SOPS 7386 HAS SOUS 2897 HAS SOUPS 2897 WITH SCORE 2904.386
AT ITER 3708 NEW BEST:: SOT 17304 SOS 7360 HAS SOPS 7360 HAS SOUS 2881 HAS SOUPS 2881 WITH SCORE 2888.36
AT ITER 3753 NEW BEST:: SOT 17288 SOS 7344 HAS SOPS 7344 HAS SOUS 2873 HAS SOUPS 2873 WITH SCORE 2880.344
AT ITER 3781 NEW BEST:: SOT 17283 SOS 7318 HAS SOPS 7318 HAS SOUS 2864 HAS SOUPS 2864 WITH SCORE 2871.318
AT ITER 3793 NEW BEST:: SOT 17282 SOS 7317 HAS SOPS 7317 HAS SOUS 2860 HAS SOUPS 2860 WITH SCORE 2867.317
AT ITER 3821 NEW BEST:: SOT 17281 SOS 7305 HAS SOPS 7305 HAS SOUS 2853 HAS SOUPS 2853 WITH SCORE 2860.305
AT ITER 3844 NEW BEST:: SOT 17269 SOS 7304 HAS SOPS 7304 HAS SOUS 2852 HAS SOUPS 2852 WITH SCORE 2859.304
AT ITER 3846 NEW BEST:: SOT 17265 SOS 7303 HAS SOPS 7303 HAS SOUS 2843 HAS SOUPS 2843 WITH SCORE 2850.303
AT ITER 3848 NEW BEST:: SOT 17229 SOS 7282 HAS SOPS 7282 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2823.282
AT ITER 3952 NEW BEST:: SOT 17234 SOS 7264 HAS SOPS 7264 HAS SOUS 2801 HAS SOUPS 2801 WITH SCORE 2808.264
AT ITER 4005 NEW BEST:: SOT 17237 SOS 7262 HAS SOPS 7262 HAS SOUS 2800 HAS SOUPS 2800 WITH SCORE 2807.262
AT ITER 4036 NEW BEST:: SOT 17235 SOS 7259 HAS SOPS 7259 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2804.259
AT ITER 4037 NEW BEST:: SOT 17234 SOS 7257 HAS SOPS 7257 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2803.257
AT ITER 4095 NEW BEST:: SOT 17227 SOS 7250 HAS SOPS 7250 HAS SOUS 2792 HAS SOUPS 2792 WITH SCORE 2799.25
AT ITER 4131 NEW BEST:: SOT 17229 SOS 7248 HAS SOPS 7248 HAS SOUS 2790 HAS SOUPS 2790 WITH SCORE 2797.248
AT ITER 4182 NEW BEST:: SOT 17224 SOS 7233 HAS SOPS 7233 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2789.233
AT ITER 4205 NEW BEST:: SOT 17224 SOS 7227 HAS SOPS 7227 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2786.227
AT ITER 4219 NEW BEST:: SOT 17222 SOS 7221 HAS SOPS 7221 HAS SOUS 2767 HAS SOUPS 2767 WITH SCORE 2774.221
AT ITER 4294 NEW BEST:: SOT 17229 SOS 7222 HAS SOPS 7222 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2773.222
AT ITER 4315 NEW BEST:: SOT 17228 SOS 7221 HAS SOPS 7221 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2772.221
AT ITER 4337 NEW BEST:: SOT 17218 SOS 7211 HAS SOPS 7211 HAS SOUS 2761 HAS SOUPS 2761 WITH SCORE 2768.211
AT ITER 4464 NEW BEST:: SOT 17218 SOS 7211 HAS SOPS 7211 HAS SOUS 2758 HAS SOUPS 2758 WITH SCORE 2765.211
AT ITER 4507 NEW BEST:: SOT 17217 SOS 7210 HAS SOPS 7210 HAS SOUS 2755 HAS SOUPS 2755 WITH SCORE 2762.21
AT ITER 4610 NEW BEST:: SOT 17211 SOS 7202 HAS SOPS 7202 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2752.202
AT ITER 4634 NEW BEST:: SOT 17210 SOS 7197 HAS SOPS 7197 HAS SOUS 2743 HAS SOUPS 2743 WITH SCORE 2750.197
AT ITER 4646 NEW BEST:: SOT 17203 SOS 7222 HAS SOPS 7222 HAS SOUS 2739 HAS SOUPS 2739 WITH SCORE 2746.222
AT ITER 4664 NEW BEST:: SOT 17202 SOS 7219 HAS SOPS 7219 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2745.219
AT ITER 4672 NEW BEST:: SOT 17204 SOS 7215 HAS SOPS 7215 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2745.215
AT ITER 4675 NEW BEST:: SOT 17195 SOS 7215 HAS SOPS 7215 HAS SOUS 2727 HAS SOUPS 2727 WITH SCORE 2734.215
AT ITER 4712 NEW BEST:: SOT 17195 SOS 7209 HAS SOPS 7209 HAS SOUS 2723 HAS SOUPS 2723 WITH SCORE 2730.209
AT ITER 4720 NEW BEST:: SOT 17192 SOS 7200 HAS SOPS 7200 HAS SOUS 2722 HAS SOUPS 2722 WITH SCORE 2729.2
AT ITER 4833 NEW BEST:: SOT 17193 SOS 7199 HAS SOPS 7199 HAS SOUS 2721 HAS SOUPS 2721 WITH SCORE 2728.199
AT ITER 4837 NEW BEST:: SOT 17193 SOS 7198 HAS SOPS 7198 HAS SOUS 2721 HAS SOUPS 2721 WITH SCORE 2728.198
AT ITER 4841 NEW BEST:: SOT 17193 SOS 7198 HAS SOPS 7198 HAS SOUS 2719 HAS SOUPS 2719 WITH SCORE 2726.198
AT ITER 4981 NEW BEST:: SOT 17188 SOS 7188 HAS SOPS 7188 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2718.188
AT ITER 5009 NEW BEST:: SOT 17188 SOS 7186 HAS SOPS 7186 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2716.186
AT ITER 5102 NEW BEST:: SOT 17184 SOS 7174 HAS SOPS 7174 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2706.174
AT ITER 5173 NEW BEST:: SOT 17179 SOS 7166 HAS SOPS 7166 HAS SOUS 2696 HAS SOUPS 2696 WITH SCORE 2703.166
AT ITER 5197 NEW BEST:: SOT 17179 SOS 7164 HAS SOPS 7164 HAS SOUS 2696 HAS SOUPS 2696 WITH SCORE 2703.164
AT ITER 5233 NEW BEST:: SOT 17177 SOS 7164 HAS SOPS 7164 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2701.164
AT ITER 5274 NEW BEST:: SOT 17165 SOS 7157 HAS SOPS 7157 HAS SOUS 2685 HAS SOUPS 2685 WITH SCORE 2692.157
AT ITER 5325 NEW BEST:: SOT 17163 SOS 7155 HAS SOPS 7155 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2689.155
AT ITER 5331 NEW BEST:: SOT 17164 SOS 7160 HAS SOPS 7160 HAS SOUS 2679 HAS SOUPS 2679 WITH SCORE 2686.16
AT ITER 5408 NEW BEST:: SOT 17162 SOS 7178 HAS SOPS 7178 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2682.178
AT ITER 5613 NEW BEST:: SOT 17132 SOS 7131 HAS SOPS 7131 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2667.131
AT ITER 5637 NEW BEST:: SOT 17128 SOS 7127 HAS SOPS 7127 HAS SOUS 2658 HAS SOUPS 2658 WITH SCORE 2665.127
AT ITER 5701 NEW BEST:: SOT 17123 SOS 7127 HAS SOPS 7127 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2663.127
AT ITER 5729 NEW BEST:: SOT 17123 SOS 7136 HAS SOPS 7136 HAS SOUS 2655 HAS SOUPS 2655 WITH SCORE 2662.136
AT ITER 5904 NEW BEST:: SOT 17125 SOS 7113 HAS SOPS 7113 HAS SOUS 2653 HAS SOUPS 2653 WITH SCORE 2660.113
AT ITER 5910 NEW BEST:: SOT 17121 SOS 7110 HAS SOPS 7110 HAS SOUS 2649 HAS SOUPS 2649 WITH SCORE 2656.11
AT ITER 5968 NEW BEST:: SOT 17122 SOS 7114 HAS SOPS 7114 HAS SOUS 2648 HAS SOUPS 2648 WITH SCORE 2655.114
AT ITER 5996 NEW BEST:: SOT 17126 SOS 7101 HAS SOPS 7101 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2650.101
AT ITER 6105 NEW BEST:: SOT 17125 SOS 7100 HAS SOPS 7100 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2646.1
AT ITER 6112 NEW BEST:: SOT 17125 SOS 7096 HAS SOPS 7096 HAS SOUS 2637 HAS SOUPS 2637 WITH SCORE 2644.096
AT ITER 6224 NEW BEST:: SOT 17123 SOS 7102 HAS SOPS 7102 HAS SOUS 2636 HAS SOUPS 2636 WITH SCORE 2643.102
AT ITER 6253 NEW BEST:: SOT 17118 SOS 7101 HAS SOPS 7101 HAS SOUS 2625 HAS SOUPS 2625 WITH SCORE 2632.101
AT ITER 6379 NEW BEST:: SOT 17116 SOS 7099 HAS SOPS 7099 HAS SOUS 2623 HAS SOUPS 2623 WITH SCORE 2630.099
AT ITER 6476 NEW BEST:: SOT 17097 SOS 7088 HAS SOPS 7088 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2627.088
AT ITER 6516 NEW BEST:: SOT 17095 SOS 7086 HAS SOPS 7086 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2627.086
AT ITER 6606 NEW BEST:: SOT 17093 SOS 7082 HAS SOPS 7082 HAS SOUS 2619 HAS SOUPS 2619 WITH SCORE 2626.082
AT ITER 6653 NEW BEST:: SOT 17088 SOS 7076 HAS SOPS 7076 HAS SOUS 2611 HAS SOUPS 2611 WITH SCORE 2618.076
AT ITER 6759 NEW BEST:: SOT 17081 SOS 7071 HAS SOPS 7071 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2617.071
AT ITER 6765 NEW BEST:: SOT 17069 SOS 7120 HAS SOPS 7120 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2616.12
AT ITER 6804 NEW BEST:: SOT 17063 SOS 7114 HAS SOPS 7114 HAS SOUS 2601 HAS SOUPS 2601 WITH SCORE 2608.114
AT ITER 6850 NEW BEST:: SOT 17059 SOS 7105 HAS SOPS 7105 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2606.105
AT ITER 6853 NEW BEST:: SOT 17062 SOS 7107 HAS SOPS 7107 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2605.107
AT ITER 6865 NEW BEST:: SOT 17061 SOS 7106 HAS SOPS 7106 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2605.106
AT ITER 6931 NEW BEST:: SOT 17059 SOS 7101 HAS SOPS 7101 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2602.101
AT ITER 6941 NEW BEST:: SOT 17056 SOS 7098 HAS SOPS 7098 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2600.098
AT ITER 7050 NEW BEST:: SOT 17055 SOS 7097 HAS SOPS 7097 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2600.097
AT ITER 7164 NEW BEST:: SOT 17057 SOS 7074 HAS SOPS 7074 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2598.074
AT ITER 7275 NEW BEST:: SOT 17057 SOS 7076 HAS SOPS 7076 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2596.076
AT ITER 7315 NEW BEST:: SOT 17058 SOS 7074 HAS SOPS 7074 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2590.074
AT ITER 7409 NEW BEST:: SOT 17055 SOS 7071 HAS SOPS 7071 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2590.071
AT ITER 7602 NEW BEST:: SOT 17022 SOS 7012 HAS SOPS 7012 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2564.012
AT ITER 7677 NEW BEST:: SOT 17023 SOS 7008 HAS SOPS 7008 HAS SOUS 2555 HAS SOUPS 2555 WITH SCORE 2562.008
AT ITER 7728 NEW BEST:: SOT 17011 SOS 6992 HAS SOPS 6992 HAS SOUS 2539 HAS SOUPS 2539 WITH SCORE 2545.992
AT ITER 7839 NEW BEST:: SOT 17008 SOS 6989 HAS SOPS 6989 HAS SOUS 2536 HAS SOUPS 2536 WITH SCORE 2542.989
AT ITER 7902 NEW BEST:: SOT 17004 SOS 6985 HAS SOPS 6985 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2540.985
AT ITER 7979 NEW BEST:: SOT 17002 SOS 6983 HAS SOPS 6983 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2538.983
AT ITER 7990 NEW BEST:: SOT 17004 SOS 6984 HAS SOPS 6984 HAS SOUS 2531 HAS SOUPS 2531 WITH SCORE 2537.984
AT ITER 8000 NEW BEST:: SOT 17003 SOS 6984 HAS SOPS 6984 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2536.984
AT ITER 8013 NEW BEST:: SOT 17001 SOS 6980 HAS SOPS 6980 HAS SOUS 2529 HAS SOUPS 2529 WITH SCORE 2535.98
AT ITER 8019 NEW BEST:: SOT 17000 SOS 6979 HAS SOPS 6979 HAS SOUS 2529 HAS SOUPS 2529 WITH SCORE 2535.979
AT ITER 8101 NEW BEST:: SOT 17000 SOS 6979 HAS SOPS 6979 HAS SOUS 2527 HAS SOUPS 2527 WITH SCORE 2533.979
AT ITER 8273 NEW BEST:: SOT 16995 SOS 6971 HAS SOPS 6971 HAS SOUS 2522 HAS SOUPS 2522 WITH SCORE 2528.971
AT ITER 8317 NEW BEST:: SOT 16988 SOS 6964 HAS SOPS 6964 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2526.964
AT ITER 8548 NEW BEST:: SOT 16981 SOS 6954 HAS SOPS 6954 HAS SOUS 2519 HAS SOUPS 2519 WITH SCORE 2525.954
AT ITER 8784 NEW BEST:: SOT 16980 SOS 6954 HAS SOPS 6954 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2523.954
AT ITER 8842 NEW BEST:: SOT 16977 SOS 6952 HAS SOPS 6952 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2518.952
AT ITER 8895 NEW BEST:: SOT 16964 SOS 6930 HAS SOPS 6930 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2517.93
AT ITER 8916 NEW BEST:: SOT 16962 SOS 6928 HAS SOPS 6928 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2516.928
AT ITER 8976 NEW BEST:: SOT 16966 SOS 6930 HAS SOPS 6930 HAS SOUS 2509 HAS SOUPS 2509 WITH SCORE 2515.93
AT ITER 9113 NEW BEST:: SOT 16966 SOS 6929 HAS SOPS 6929 HAS SOUS 2509 HAS SOUPS 2509 WITH SCORE 2515.929
AT ITER 9169 NEW BEST:: SOT 16962 SOS 6922 HAS SOPS 6922 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2508.922
AT ITER 9189 NEW BEST:: SOT 16955 SOS 6912 HAS SOPS 6912 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2503.912
AT ITER 9193 NEW BEST:: SOT 16955 SOS 6911 HAS SOPS 6911 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2503.911
AT ITER 9211 NEW BEST:: SOT 16951 SOS 6903 HAS SOPS 6903 HAS SOUS 2492 HAS SOUPS 2492 WITH SCORE 2498.903
AT ITER 9263 NEW BEST:: SOT 16942 SOS 6897 HAS SOPS 6897 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2496.897
AT ITER 9296 NEW BEST:: SOT 16935 SOS 6876 HAS SOPS 6876 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2494.876
AT ITER 9330 NEW BEST:: SOT 16932 SOS 6872 HAS SOPS 6872 HAS SOUS 2487 HAS SOUPS 2487 WITH SCORE 2493.872
AT ITER 9405 NEW BEST:: SOT 16928 SOS 6864 HAS SOPS 6864 HAS SOUS 2482 HAS SOUPS 2482 WITH SCORE 2488.864
AT ITER 9440 NEW BEST:: SOT 16927 SOS 6867 HAS SOPS 6867 HAS SOUS 2480 HAS SOUPS 2480 WITH SCORE 2486.867
AT ITER 9441 NEW BEST:: SOT 16931 SOS 6868 HAS SOPS 6868 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2485.868
AT ITER 9459 NEW BEST:: SOT 16931 SOS 6867 HAS SOPS 6867 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2485.867
AT ITER 9470 NEW BEST:: SOT 16931 SOS 6875 HAS SOPS 6875 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2481.875
AT ITER 9491 NEW BEST:: SOT 16928 SOS 6872 HAS SOPS 6872 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2481.872
AT ITER 9546 NEW BEST:: SOT 16925 SOS 6866 HAS SOPS 6866 HAS SOUS 2473 HAS SOUPS 2473 WITH SCORE 2479.866
AT ITER 9561 NEW BEST:: SOT 16924 SOS 6860 HAS SOPS 6860 HAS SOUS 2470 HAS SOUPS 2470 WITH SCORE 2476.86
AT ITER 9568 NEW BEST:: SOT 16914 SOS 6845 HAS SOPS 6845 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2462.845
AT ITER 9581 NEW BEST:: SOT 16912 SOS 6844 HAS SOPS 6844 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2461.844
AT ITER 9721 NEW BEST:: SOT 16909 SOS 6843 HAS SOPS 6843 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2460.843
AT ITER 9722 NEW BEST:: SOT 16909 SOS 6842 HAS SOPS 6842 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2460.842
AT ITER 9742 NEW BEST:: SOT 16908 SOS 6840 HAS SOPS 6840 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2460.84
AT ITER 9846 NEW BEST:: SOT 16902 SOS 6831 HAS SOPS 6831 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2460.831
AT ITER 9857 NEW BEST:: SOT 16903 SOS 6802 HAS SOPS 6802 HAS SOUS 2451 HAS SOUPS 2451 WITH SCORE 2457.802
STATE_SPACE STATES 2959359753 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 30 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 34123933984 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679190776289

--------------------
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="UtilityControlRoom-PT-Z2T4N08"
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 UtilityControlRoom-PT-Z2T4N08, 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 r483-tall-167912696601152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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