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.r387-oct2-167903712000592.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldPPPt-PT-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903712000592
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 6.2K Feb 25 20:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 20:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 20:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 20:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.8K Feb 25 20:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 20:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 20:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 20:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 74K 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 1679067699148

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=ShieldPPPt-PT-004B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 004B
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: 315 places, 287 transitions, 718 arcs.
AT ITER 0 NEW BEST:: SOT 49797 SOS 14260 HAS SOPS 14260 HAS SOUS 13178 HAS SOUPS 13178 WITH SCORE 13192.26
AT ITER 1 NEW BEST:: SOT 49797 SOS 14230 HAS SOPS 14230 HAS SOUS 13169 HAS SOUPS 13169 WITH SCORE 13183.23
AT ITER 49 NEW BEST:: SOT 49763 SOS 14266 HAS SOPS 14266 HAS SOUS 13135 HAS SOUPS 13135 WITH SCORE 13149.266
AT ITER 53 NEW BEST:: SOT 49763 SOS 14240 HAS SOPS 14240 HAS SOUS 13109 HAS SOUPS 13109 WITH SCORE 13123.24
AT ITER 73 NEW BEST:: SOT 49763 SOS 14227 HAS SOPS 14227 HAS SOUS 13109 HAS SOUPS 13109 WITH SCORE 13123.227
AT ITER 80 NEW BEST:: SOT 49713 SOS 14205 HAS SOPS 14205 HAS SOUS 13087 HAS SOUPS 13087 WITH SCORE 13101.205
AT ITER 91 NEW BEST:: SOT 49709 SOS 14202 HAS SOPS 14202 HAS SOUS 13071 HAS SOUPS 13071 WITH SCORE 13085.202
AT ITER 97 NEW BEST:: SOT 49659 SOS 14188 HAS SOPS 14188 HAS SOUS 13057 HAS SOUPS 13057 WITH SCORE 13071.188
AT ITER 100 NEW BEST:: SOT 49689 SOS 14179 HAS SOPS 14179 HAS SOUS 13019 HAS SOUPS 13019 WITH SCORE 13033.179
AT ITER 121 NEW BEST:: SOT 49663 SOS 14169 HAS SOPS 14169 HAS SOUS 13011 HAS SOUPS 13011 WITH SCORE 13025.169
AT ITER 142 NEW BEST:: SOT 49644 SOS 14158 HAS SOPS 14158 HAS SOUS 13000 HAS SOUPS 13000 WITH SCORE 13014.158
AT ITER 167 NEW BEST:: SOT 49612 SOS 14197 HAS SOPS 14197 HAS SOUS 12977 HAS SOUPS 12977 WITH SCORE 12991.197
AT ITER 179 NEW BEST:: SOT 49595 SOS 14180 HAS SOPS 14180 HAS SOUS 12960 HAS SOUPS 12960 WITH SCORE 12974.18
AT ITER 191 NEW BEST:: SOT 49595 SOS 14152 HAS SOPS 14152 HAS SOUS 12932 HAS SOUPS 12932 WITH SCORE 12946.152
AT ITER 196 NEW BEST:: SOT 49594 SOS 14122 HAS SOPS 14122 HAS SOUS 12930 HAS SOUPS 12930 WITH SCORE 12944.122
AT ITER 198 NEW BEST:: SOT 49582 SOS 14110 HAS SOPS 14110 HAS SOUS 12918 HAS SOUPS 12918 WITH SCORE 12932.11
AT ITER 209 NEW BEST:: SOT 49582 SOS 14108 HAS SOPS 14108 HAS SOUS 12918 HAS SOUPS 12918 WITH SCORE 12932.108
AT ITER 244 NEW BEST:: SOT 49581 SOS 14043 HAS SOPS 14043 HAS SOUS 12882 HAS SOUPS 12882 WITH SCORE 12896.043
AT ITER 278 NEW BEST:: SOT 49583 SOS 14025 HAS SOPS 14025 HAS SOUS 12873 HAS SOUPS 12873 WITH SCORE 12887.025
AT ITER 290 NEW BEST:: SOT 49600 SOS 14053 HAS SOPS 14053 HAS SOUS 12865 HAS SOUPS 12865 WITH SCORE 12879.053
AT ITER 357 NEW BEST:: SOT 49558 SOS 13969 HAS SOPS 13969 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12794.969
AT ITER 366 NEW BEST:: SOT 49531 SOS 13966 HAS SOPS 13966 HAS SOUS 12778 HAS SOUPS 12778 WITH SCORE 12791.966
AT ITER 368 NEW BEST:: SOT 49531 SOS 13961 HAS SOPS 13961 HAS SOUS 12773 HAS SOUPS 12773 WITH SCORE 12786.961
AT ITER 373 NEW BEST:: SOT 49531 SOS 13938 HAS SOPS 13938 HAS SOUS 12750 HAS SOUPS 12750 WITH SCORE 12763.938
AT ITER 399 NEW BEST:: SOT 49519 SOS 13902 HAS SOPS 13902 HAS SOUS 12726 HAS SOUPS 12726 WITH SCORE 12739.902
AT ITER 405 NEW BEST:: SOT 49524 SOS 13912 HAS SOPS 13912 HAS SOUS 12706 HAS SOUPS 12706 WITH SCORE 12719.912
AT ITER 440 NEW BEST:: SOT 49506 SOS 13876 HAS SOPS 13876 HAS SOUS 12670 HAS SOUPS 12670 WITH SCORE 12683.876
AT ITER 508 NEW BEST:: SOT 49486 SOS 13844 HAS SOPS 13844 HAS SOUS 12638 HAS SOUPS 12638 WITH SCORE 12651.844
AT ITER 517 NEW BEST:: SOT 49497 SOS 13835 HAS SOPS 13835 HAS SOUS 12618 HAS SOUPS 12618 WITH SCORE 12631.835
AT ITER 522 NEW BEST:: SOT 49497 SOS 13793 HAS SOPS 13793 HAS SOUS 12576 HAS SOUPS 12576 WITH SCORE 12589.793
AT ITER 556 NEW BEST:: SOT 49498 SOS 13745 HAS SOPS 13745 HAS SOUS 12463 HAS SOUPS 12463 WITH SCORE 12476.745
AT ITER 558 NEW BEST:: SOT 49488 SOS 13715 HAS SOPS 13715 HAS SOUS 12453 HAS SOUPS 12453 WITH SCORE 12466.715
AT ITER 563 NEW BEST:: SOT 49496 SOS 13733 HAS SOPS 13733 HAS SOUS 12444 HAS SOUPS 12444 WITH SCORE 12457.733
AT ITER 566 NEW BEST:: SOT 49484 SOS 13689 HAS SOPS 13689 HAS SOUS 12372 HAS SOUPS 12372 WITH SCORE 12385.689
AT ITER 570 NEW BEST:: SOT 49490 SOS 13701 HAS SOPS 13701 HAS SOUS 12349 HAS SOUPS 12349 WITH SCORE 12362.701
AT ITER 597 NEW BEST:: SOT 49476 SOS 13623 HAS SOPS 13623 HAS SOUS 12297 HAS SOUPS 12297 WITH SCORE 12310.623
AT ITER 621 NEW BEST:: SOT 49420 SOS 13618 HAS SOPS 13618 HAS SOUS 12292 HAS SOUPS 12292 WITH SCORE 12305.618
AT ITER 684 NEW BEST:: SOT 49420 SOS 13600 HAS SOPS 13600 HAS SOUS 12283 HAS SOUPS 12283 WITH SCORE 12296.6
AT ITER 689 NEW BEST:: SOT 49419 SOS 13598 HAS SOPS 13598 HAS SOUS 12281 HAS SOUPS 12281 WITH SCORE 12294.598
AT ITER 707 NEW BEST:: SOT 49418 SOS 13598 HAS SOPS 13598 HAS SOUS 12280 HAS SOUPS 12280 WITH SCORE 12293.598
AT ITER 718 NEW BEST:: SOT 49415 SOS 13595 HAS SOPS 13595 HAS SOUS 12280 HAS SOUPS 12280 WITH SCORE 12293.595
AT ITER 727 NEW BEST:: SOT 49414 SOS 13593 HAS SOPS 13593 HAS SOUS 12278 HAS SOUPS 12278 WITH SCORE 12291.593
AT ITER 759 NEW BEST:: SOT 49406 SOS 13569 HAS SOPS 13569 HAS SOUS 12270 HAS SOUPS 12270 WITH SCORE 12283.569
AT ITER 778 NEW BEST:: SOT 49414 SOS 13453 HAS SOPS 13453 HAS SOUS 12233 HAS SOUPS 12233 WITH SCORE 12246.453
AT ITER 790 NEW BEST:: SOT 49414 SOS 13369 HAS SOPS 13369 HAS SOUS 12191 HAS SOUPS 12191 WITH SCORE 12204.369
AT ITER 800 NEW BEST:: SOT 49391 SOS 13300 HAS SOPS 13300 HAS SOUS 12165 HAS SOUPS 12165 WITH SCORE 12178.3
AT ITER 810 NEW BEST:: SOT 49390 SOS 13312 HAS SOPS 13312 HAS SOUS 12164 HAS SOUPS 12164 WITH SCORE 12177.312
AT ITER 831 NEW BEST:: SOT 49390 SOS 13310 HAS SOPS 13310 HAS SOUS 12162 HAS SOUPS 12162 WITH SCORE 12175.31
AT ITER 835 NEW BEST:: SOT 49390 SOS 13302 HAS SOPS 13302 HAS SOUS 12154 HAS SOUPS 12154 WITH SCORE 12167.302
AT ITER 843 NEW BEST:: SOT 49390 SOS 13301 HAS SOPS 13301 HAS SOUS 12153 HAS SOUPS 12153 WITH SCORE 12166.301
AT ITER 844 NEW BEST:: SOT 49339 SOS 13267 HAS SOPS 13267 HAS SOUS 12105 HAS SOUPS 12105 WITH SCORE 12118.267
AT ITER 885 NEW BEST:: SOT 49338 SOS 13201 HAS SOPS 13201 HAS SOUS 12071 HAS SOUPS 12071 WITH SCORE 12084.201
AT ITER 891 NEW BEST:: SOT 49326 SOS 13213 HAS SOPS 13213 HAS SOUS 12069 HAS SOUPS 12069 WITH SCORE 12082.213
AT ITER 899 NEW BEST:: SOT 49319 SOS 13258 HAS SOPS 13258 HAS SOUS 12062 HAS SOUPS 12062 WITH SCORE 12075.258
AT ITER 914 NEW BEST:: SOT 49319 SOS 13257 HAS SOPS 13257 HAS SOUS 12061 HAS SOUPS 12061 WITH SCORE 12074.257
AT ITER 929 NEW BEST:: SOT 49342 SOS 13220 HAS SOPS 13220 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12047.22
AT ITER 947 NEW BEST:: SOT 49342 SOS 13202 HAS SOPS 13202 HAS SOUS 12016 HAS SOUPS 12016 WITH SCORE 12029.202
AT ITER 965 NEW BEST:: SOT 49355 SOS 13168 HAS SOPS 13168 HAS SOUS 11999 HAS SOUPS 11999 WITH SCORE 12012.168
AT ITER 982 NEW BEST:: SOT 49355 SOS 13158 HAS SOPS 13158 HAS SOUS 11994 HAS SOUPS 11994 WITH SCORE 12007.158
AT ITER 1018 NEW BEST:: SOT 49343 SOS 13134 HAS SOPS 13134 HAS SOUS 11982 HAS SOUPS 11982 WITH SCORE 11995.134
AT ITER 1058 NEW BEST:: SOT 49343 SOS 13120 HAS SOPS 13120 HAS SOUS 11982 HAS SOUPS 11982 WITH SCORE 11995.12
AT ITER 1067 NEW BEST:: SOT 49331 SOS 13084 HAS SOPS 13084 HAS SOUS 11970 HAS SOUPS 11970 WITH SCORE 11983.084
AT ITER 1077 NEW BEST:: SOT 49324 SOS 13077 HAS SOPS 13077 HAS SOUS 11963 HAS SOUPS 11963 WITH SCORE 11976.077
AT ITER 1094 NEW BEST:: SOT 49308 SOS 13061 HAS SOPS 13061 HAS SOUS 11947 HAS SOUPS 11947 WITH SCORE 11960.061
AT ITER 1132 NEW BEST:: SOT 49308 SOS 13059 HAS SOPS 13059 HAS SOUS 11945 HAS SOUPS 11945 WITH SCORE 11958.059
AT ITER 1136 NEW BEST:: SOT 49295 SOS 13067 HAS SOPS 13067 HAS SOUS 11932 HAS SOUPS 11932 WITH SCORE 11945.067
AT ITER 1155 NEW BEST:: SOT 49285 SOS 13029 HAS SOPS 13029 HAS SOUS 11904 HAS SOUPS 11904 WITH SCORE 11917.029
AT ITER 1176 NEW BEST:: SOT 49281 SOS 13048 HAS SOPS 13048 HAS SOUS 11901 HAS SOUPS 11901 WITH SCORE 11914.048
AT ITER 1188 NEW BEST:: SOT 49265 SOS 13045 HAS SOPS 13045 HAS SOUS 11898 HAS SOUPS 11898 WITH SCORE 11911.045
AT ITER 1212 NEW BEST:: SOT 49280 SOS 13041 HAS SOPS 13041 HAS SOUS 11889 HAS SOUPS 11889 WITH SCORE 11902.041
AT ITER 1216 NEW BEST:: SOT 49280 SOS 13035 HAS SOPS 13035 HAS SOUS 11883 HAS SOUPS 11883 WITH SCORE 11896.035
AT ITER 1220 NEW BEST:: SOT 49280 SOS 13031 HAS SOPS 13031 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11890.031
AT ITER 1241 NEW BEST:: SOT 49280 SOS 13030 HAS SOPS 13030 HAS SOUS 11876 HAS SOUPS 11876 WITH SCORE 11889.03
AT ITER 1246 NEW BEST:: SOT 49301 SOS 13042 HAS SOPS 13042 HAS SOUS 11854 HAS SOUPS 11854 WITH SCORE 11867.042
AT ITER 1248 NEW BEST:: SOT 49301 SOS 13021 HAS SOPS 13021 HAS SOUS 11843 HAS SOUPS 11843 WITH SCORE 11856.021
AT ITER 1251 NEW BEST:: SOT 49285 SOS 13012 HAS SOPS 13012 HAS SOUS 11834 HAS SOUPS 11834 WITH SCORE 11847.012
AT ITER 1267 NEW BEST:: SOT 49285 SOS 13012 HAS SOPS 13012 HAS SOUS 11830 HAS SOUPS 11830 WITH SCORE 11843.012
AT ITER 1270 NEW BEST:: SOT 49273 SOS 13000 HAS SOPS 13000 HAS SOUS 11806 HAS SOUPS 11806 WITH SCORE 11819.0
AT ITER 1307 NEW BEST:: SOT 49237 SOS 13008 HAS SOPS 13008 HAS SOUS 11793 HAS SOUPS 11793 WITH SCORE 11806.008
AT ITER 1320 NEW BEST:: SOT 49232 SOS 12987 HAS SOPS 12987 HAS SOUS 11772 HAS SOUPS 11772 WITH SCORE 11784.987
AT ITER 1324 NEW BEST:: SOT 49237 SOS 12994 HAS SOPS 12994 HAS SOUS 11765 HAS SOUPS 11765 WITH SCORE 11777.994
AT ITER 1332 NEW BEST:: SOT 49237 SOS 12983 HAS SOPS 12983 HAS SOUS 11754 HAS SOUPS 11754 WITH SCORE 11766.983
AT ITER 1359 NEW BEST:: SOT 49266 SOS 12981 HAS SOPS 12981 HAS SOUS 11746 HAS SOUPS 11746 WITH SCORE 11758.981
AT ITER 1382 NEW BEST:: SOT 49243 SOS 12924 HAS SOPS 12924 HAS SOUS 11718 HAS SOUPS 11718 WITH SCORE 11730.924
AT ITER 1402 NEW BEST:: SOT 49223 SOS 12912 HAS SOPS 12912 HAS SOUS 11670 HAS SOUPS 11670 WITH SCORE 11682.912
AT ITER 1433 NEW BEST:: SOT 49219 SOS 12910 HAS SOPS 12910 HAS SOUS 11668 HAS SOUPS 11668 WITH SCORE 11680.91
AT ITER 1437 NEW BEST:: SOT 49183 SOS 12860 HAS SOPS 12860 HAS SOUS 11664 HAS SOUPS 11664 WITH SCORE 11676.86
AT ITER 1441 NEW BEST:: SOT 49180 SOS 12857 HAS SOPS 12857 HAS SOUS 11661 HAS SOUPS 11661 WITH SCORE 11673.857
AT ITER 1446 NEW BEST:: SOT 49174 SOS 12848 HAS SOPS 12848 HAS SOUS 11652 HAS SOUPS 11652 WITH SCORE 11664.848
AT ITER 1451 NEW BEST:: SOT 49159 SOS 12817 HAS SOPS 12817 HAS SOUS 11621 HAS SOUPS 11621 WITH SCORE 11633.817
AT ITER 1460 NEW BEST:: SOT 49159 SOS 12810 HAS SOPS 12810 HAS SOUS 11614 HAS SOUPS 11614 WITH SCORE 11626.81
AT ITER 1464 NEW BEST:: SOT 49098 SOS 12605 HAS SOPS 12605 HAS SOUS 11486 HAS SOUPS 11486 WITH SCORE 11498.605
AT ITER 1465 NEW BEST:: SOT 49098 SOS 12600 HAS SOPS 12600 HAS SOUS 11481 HAS SOUPS 11481 WITH SCORE 11493.6
AT ITER 1470 NEW BEST:: SOT 49113 SOS 12538 HAS SOPS 12538 HAS SOUS 11473 HAS SOUPS 11473 WITH SCORE 11485.538
AT ITER 1473 NEW BEST:: SOT 49111 SOS 12579 HAS SOPS 12579 HAS SOUS 11458 HAS SOUPS 11458 WITH SCORE 11470.579
AT ITER 1479 NEW BEST:: SOT 49084 SOS 12578 HAS SOPS 12578 HAS SOUS 11455 HAS SOUPS 11455 WITH SCORE 11467.578
AT ITER 1491 NEW BEST:: SOT 49082 SOS 12576 HAS SOPS 12576 HAS SOUS 11455 HAS SOUPS 11455 WITH SCORE 11467.576
AT ITER 1492 NEW BEST:: SOT 49086 SOS 12575 HAS SOPS 12575 HAS SOUS 11454 HAS SOUPS 11454 WITH SCORE 11466.575
AT ITER 1496 NEW BEST:: SOT 49023 SOS 12548 HAS SOPS 12548 HAS SOUS 11396 HAS SOUPS 11396 WITH SCORE 11408.548
AT ITER 1517 NEW BEST:: SOT 49024 SOS 12548 HAS SOPS 12548 HAS SOUS 11395 HAS SOUPS 11395 WITH SCORE 11407.548
AT ITER 1533 NEW BEST:: SOT 49021 SOS 12545 HAS SOPS 12545 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11404.545
AT ITER 1545 NEW BEST:: SOT 49021 SOS 12545 HAS SOPS 12545 HAS SOUS 11387 HAS SOUPS 11387 WITH SCORE 11399.545
AT ITER 1548 NEW BEST:: SOT 49019 SOS 12543 HAS SOPS 12543 HAS SOUS 11383 HAS SOUPS 11383 WITH SCORE 11395.543
AT ITER 1549 NEW BEST:: SOT 49019 SOS 12543 HAS SOPS 12543 HAS SOUS 11381 HAS SOUPS 11381 WITH SCORE 11393.543
AT ITER 1587 NEW BEST:: SOT 49009 SOS 12527 HAS SOPS 12527 HAS SOUS 11365 HAS SOUPS 11365 WITH SCORE 11377.527
AT ITER 1633 NEW BEST:: SOT 49008 SOS 12524 HAS SOPS 12524 HAS SOUS 11364 HAS SOUPS 11364 WITH SCORE 11376.524
AT ITER 1640 NEW BEST:: SOT 49002 SOS 12511 HAS SOPS 12511 HAS SOUS 11351 HAS SOUPS 11351 WITH SCORE 11363.511
AT ITER 1658 NEW BEST:: SOT 49002 SOS 12509 HAS SOPS 12509 HAS SOUS 11349 HAS SOUPS 11349 WITH SCORE 11361.509
AT ITER 1671 NEW BEST:: SOT 49002 SOS 12497 HAS SOPS 12497 HAS SOUS 11337 HAS SOUPS 11337 WITH SCORE 11349.497
AT ITER 1704 NEW BEST:: SOT 49000 SOS 12495 HAS SOPS 12495 HAS SOUS 11333 HAS SOUPS 11333 WITH SCORE 11345.495
AT ITER 1707 NEW BEST:: SOT 49000 SOS 12490 HAS SOPS 12490 HAS SOUS 11328 HAS SOUPS 11328 WITH SCORE 11340.49
AT ITER 1740 NEW BEST:: SOT 49000 SOS 12486 HAS SOPS 12486 HAS SOUS 11324 HAS SOUPS 11324 WITH SCORE 11336.486
AT ITER 1762 NEW BEST:: SOT 48975 SOS 12474 HAS SOPS 12474 HAS SOUS 11317 HAS SOUPS 11317 WITH SCORE 11329.474
AT ITER 1786 NEW BEST:: SOT 48967 SOS 12446 HAS SOPS 12446 HAS SOUS 11299 HAS SOUPS 11299 WITH SCORE 11311.446
AT ITER 1788 NEW BEST:: SOT 48967 SOS 12443 HAS SOPS 12443 HAS SOUS 11296 HAS SOUPS 11296 WITH SCORE 11308.443
AT ITER 1819 NEW BEST:: SOT 48959 SOS 12431 HAS SOPS 12431 HAS SOUS 11284 HAS SOUPS 11284 WITH SCORE 11296.431
AT ITER 1841 NEW BEST:: SOT 48955 SOS 12417 HAS SOPS 12417 HAS SOUS 11275 HAS SOUPS 11275 WITH SCORE 11287.417
AT ITER 1848 NEW BEST:: SOT 48954 SOS 12430 HAS SOPS 12430 HAS SOUS 11243 HAS SOUPS 11243 WITH SCORE 11255.43
AT ITER 1849 NEW BEST:: SOT 48953 SOS 12437 HAS SOPS 12437 HAS SOUS 11241 HAS SOUPS 11241 WITH SCORE 11253.437
AT ITER 1853 NEW BEST:: SOT 48964 SOS 12427 HAS SOPS 12427 HAS SOUS 11237 HAS SOUPS 11237 WITH SCORE 11249.427
AT ITER 1906 NEW BEST:: SOT 48997 SOS 12416 HAS SOPS 12416 HAS SOUS 11226 HAS SOUPS 11226 WITH SCORE 11238.416
AT ITER 1915 NEW BEST:: SOT 48997 SOS 12415 HAS SOPS 12415 HAS SOUS 11225 HAS SOUPS 11225 WITH SCORE 11237.415
AT ITER 1922 NEW BEST:: SOT 48985 SOS 12432 HAS SOPS 12432 HAS SOUS 11211 HAS SOUPS 11211 WITH SCORE 11223.432
AT ITER 1923 NEW BEST:: SOT 48985 SOS 12414 HAS SOPS 12414 HAS SOUS 11202 HAS SOUPS 11202 WITH SCORE 11214.414
AT ITER 1927 NEW BEST:: SOT 49004 SOS 12357 HAS SOPS 12357 HAS SOUS 11167 HAS SOUPS 11167 WITH SCORE 11179.357
AT ITER 1952 NEW BEST:: SOT 49004 SOS 12340 HAS SOPS 12340 HAS SOUS 11150 HAS SOUPS 11150 WITH SCORE 11162.34
AT ITER 1985 NEW BEST:: SOT 48989 SOS 12310 HAS SOPS 12310 HAS SOUS 11120 HAS SOUPS 11120 WITH SCORE 11132.31
AT ITER 2071 NEW BEST:: SOT 48989 SOS 12254 HAS SOPS 12254 HAS SOUS 11098 HAS SOUPS 11098 WITH SCORE 11110.254
AT ITER 2092 NEW BEST:: SOT 48941 SOS 12210 HAS SOPS 12210 HAS SOUS 11054 HAS SOUPS 11054 WITH SCORE 11066.21
AT ITER 2107 NEW BEST:: SOT 48936 SOS 12200 HAS SOPS 12200 HAS SOUS 11044 HAS SOUPS 11044 WITH SCORE 11056.2
AT ITER 2125 NEW BEST:: SOT 48934 SOS 12196 HAS SOPS 12196 HAS SOUS 11042 HAS SOUPS 11042 WITH SCORE 11054.196
AT ITER 2131 NEW BEST:: SOT 48929 SOS 12191 HAS SOPS 12191 HAS SOUS 11036 HAS SOUPS 11036 WITH SCORE 11048.191
AT ITER 2135 NEW BEST:: SOT 48925 SOS 12174 HAS SOPS 12174 HAS SOUS 11019 HAS SOUPS 11019 WITH SCORE 11031.174
AT ITER 2152 NEW BEST:: SOT 48915 SOS 12171 HAS SOPS 12171 HAS SOUS 11009 HAS SOUPS 11009 WITH SCORE 11021.171
AT ITER 2167 NEW BEST:: SOT 48902 SOS 12166 HAS SOPS 12166 HAS SOUS 11004 HAS SOUPS 11004 WITH SCORE 11016.166
AT ITER 2175 NEW BEST:: SOT 48902 SOS 12140 HAS SOPS 12140 HAS SOUS 10978 HAS SOUPS 10978 WITH SCORE 10990.14
AT ITER 2176 NEW BEST:: SOT 48902 SOS 12140 HAS SOPS 12140 HAS SOUS 10974 HAS SOUPS 10974 WITH SCORE 10986.14
AT ITER 2186 NEW BEST:: SOT 48899 SOS 12138 HAS SOPS 12138 HAS SOUS 10972 HAS SOUPS 10972 WITH SCORE 10984.138
AT ITER 2214 NEW BEST:: SOT 48891 SOS 12130 HAS SOPS 12130 HAS SOUS 10972 HAS SOUPS 10972 WITH SCORE 10984.13
AT ITER 2227 NEW BEST:: SOT 48898 SOS 12122 HAS SOPS 12122 HAS SOUS 10961 HAS SOUPS 10961 WITH SCORE 10973.122
AT ITER 2294 NEW BEST:: SOT 48891 SOS 12115 HAS SOPS 12115 HAS SOUS 10954 HAS SOUPS 10954 WITH SCORE 10966.115
AT ITER 2326 NEW BEST:: SOT 48891 SOS 12103 HAS SOPS 12103 HAS SOUS 10954 HAS SOUPS 10954 WITH SCORE 10966.103
AT ITER 2359 NEW BEST:: SOT 48871 SOS 12039 HAS SOPS 12039 HAS SOUS 10930 HAS SOUPS 10930 WITH SCORE 10942.039
AT ITER 2365 NEW BEST:: SOT 48854 SOS 12022 HAS SOPS 12022 HAS SOUS 10913 HAS SOUPS 10913 WITH SCORE 10925.022
AT ITER 2371 NEW BEST:: SOT 48860 SOS 12034 HAS SOPS 12034 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10909.034
AT ITER 2454 NEW BEST:: SOT 48860 SOS 12028 HAS SOPS 12028 HAS SOUS 10894 HAS SOUPS 10894 WITH SCORE 10906.028
AT ITER 2461 NEW BEST:: SOT 48860 SOS 12031 HAS SOPS 12031 HAS SOUS 10893 HAS SOUPS 10893 WITH SCORE 10905.031
AT ITER 2464 NEW BEST:: SOT 48859 SOS 12027 HAS SOPS 12027 HAS SOUS 10889 HAS SOUPS 10889 WITH SCORE 10901.027
AT ITER 2476 NEW BEST:: SOT 48864 SOS 12085 HAS SOPS 12085 HAS SOUS 10881 HAS SOUPS 10881 WITH SCORE 10893.085
AT ITER 2487 NEW BEST:: SOT 48864 SOS 12039 HAS SOPS 12039 HAS SOUS 10881 HAS SOUPS 10881 WITH SCORE 10893.039
AT ITER 2510 NEW BEST:: SOT 48854 SOS 12008 HAS SOPS 12008 HAS SOUS 10861 HAS SOUPS 10861 WITH SCORE 10873.008
AT ITER 2528 NEW BEST:: SOT 48860 SOS 11994 HAS SOPS 11994 HAS SOUS 10861 HAS SOUPS 10861 WITH SCORE 10872.994
AT ITER 2572 NEW BEST:: SOT 48855 SOS 11984 HAS SOPS 11984 HAS SOUS 10856 HAS SOUPS 10856 WITH SCORE 10867.984
AT ITER 2585 NEW BEST:: SOT 48852 SOS 11972 HAS SOPS 11972 HAS SOUS 10847 HAS SOUPS 10847 WITH SCORE 10858.972
AT ITER 2647 NEW BEST:: SOT 48839 SOS 11957 HAS SOPS 11957 HAS SOUS 10834 HAS SOUPS 10834 WITH SCORE 10845.957
AT ITER 2649 NEW BEST:: SOT 48826 SOS 11931 HAS SOPS 11931 HAS SOUS 10821 HAS SOUPS 10821 WITH SCORE 10832.931
AT ITER 2673 NEW BEST:: SOT 48820 SOS 11915 HAS SOPS 11915 HAS SOUS 10815 HAS SOUPS 10815 WITH SCORE 10826.915
AT ITER 2693 NEW BEST:: SOT 48818 SOS 11911 HAS SOPS 11911 HAS SOUS 10811 HAS SOUPS 10811 WITH SCORE 10822.911
AT ITER 2701 NEW BEST:: SOT 48817 SOS 11910 HAS SOPS 11910 HAS SOUS 10810 HAS SOUPS 10810 WITH SCORE 10821.91
AT ITER 2712 NEW BEST:: SOT 48781 SOS 11860 HAS SOPS 11860 HAS SOUS 10760 HAS SOUPS 10760 WITH SCORE 10771.86
AT ITER 2717 NEW BEST:: SOT 48781 SOS 11851 HAS SOPS 11851 HAS SOUS 10751 HAS SOUPS 10751 WITH SCORE 10762.851
AT ITER 2718 NEW BEST:: SOT 48757 SOS 11769 HAS SOPS 11769 HAS SOUS 10716 HAS SOUPS 10716 WITH SCORE 10727.769
AT ITER 2719 NEW BEST:: SOT 48757 SOS 11754 HAS SOPS 11754 HAS SOUS 10701 HAS SOUPS 10701 WITH SCORE 10712.754
AT ITER 2798 NEW BEST:: SOT 48763 SOS 11734 HAS SOPS 11734 HAS SOUS 10690 HAS SOUPS 10690 WITH SCORE 10701.734
AT ITER 2814 NEW BEST:: SOT 48763 SOS 11731 HAS SOPS 11731 HAS SOUS 10690 HAS SOUPS 10690 WITH SCORE 10701.731
AT ITER 2818 NEW BEST:: SOT 48763 SOS 11709 HAS SOPS 11709 HAS SOUS 10681 HAS SOUPS 10681 WITH SCORE 10692.709
AT ITER 2819 NEW BEST:: SOT 48739 SOS 11661 HAS SOPS 11661 HAS SOUS 10657 HAS SOUPS 10657 WITH SCORE 10668.661
AT ITER 2881 NEW BEST:: SOT 48739 SOS 11636 HAS SOPS 11636 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10643.636
AT ITER 2902 NEW BEST:: SOT 48748 SOS 11632 HAS SOPS 11632 HAS SOUS 10628 HAS SOUPS 10628 WITH SCORE 10639.632
AT ITER 2908 NEW BEST:: SOT 48745 SOS 11629 HAS SOPS 11629 HAS SOUS 10625 HAS SOUPS 10625 WITH SCORE 10636.629
AT ITER 2922 NEW BEST:: SOT 48735 SOS 11621 HAS SOPS 11621 HAS SOUS 10614 HAS SOUPS 10614 WITH SCORE 10625.621
AT ITER 2923 NEW BEST:: SOT 48715 SOS 11574 HAS SOPS 11574 HAS SOUS 10574 HAS SOUPS 10574 WITH SCORE 10585.574
AT ITER 2933 NEW BEST:: SOT 48715 SOS 11572 HAS SOPS 11572 HAS SOUS 10572 HAS SOUPS 10572 WITH SCORE 10583.572
AT ITER 2961 NEW BEST:: SOT 48715 SOS 11533 HAS SOPS 11533 HAS SOUS 10533 HAS SOUPS 10533 WITH SCORE 10544.533
AT ITER 2975 NEW BEST:: SOT 48755 SOS 11467 HAS SOPS 11467 HAS SOUS 10528 HAS SOUPS 10528 WITH SCORE 10539.467
AT ITER 3001 NEW BEST:: SOT 48741 SOS 11448 HAS SOPS 11448 HAS SOUS 10509 HAS SOUPS 10509 WITH SCORE 10520.448
AT ITER 3025 NEW BEST:: SOT 48741 SOS 11436 HAS SOPS 11436 HAS SOUS 10503 HAS SOUPS 10503 WITH SCORE 10514.436
AT ITER 3039 NEW BEST:: SOT 48741 SOS 11432 HAS SOPS 11432 HAS SOUS 10503 HAS SOUPS 10503 WITH SCORE 10514.432
AT ITER 3053 NEW BEST:: SOT 48727 SOS 11404 HAS SOPS 11404 HAS SOUS 10492 HAS SOUPS 10492 WITH SCORE 10503.404
AT ITER 3056 NEW BEST:: SOT 48731 SOS 11401 HAS SOPS 11401 HAS SOUS 10490 HAS SOUPS 10490 WITH SCORE 10501.401
AT ITER 3090 NEW BEST:: SOT 48722 SOS 11392 HAS SOPS 11392 HAS SOUS 10481 HAS SOUPS 10481 WITH SCORE 10492.392
AT ITER 3106 NEW BEST:: SOT 48711 SOS 11410 HAS SOPS 11410 HAS SOUS 10470 HAS SOUPS 10470 WITH SCORE 10481.41
AT ITER 3136 NEW BEST:: SOT 48711 SOS 11409 HAS SOPS 11409 HAS SOUS 10469 HAS SOUPS 10469 WITH SCORE 10480.409
AT ITER 3143 NEW BEST:: SOT 48711 SOS 11381 HAS SOPS 11381 HAS SOUS 10462 HAS SOUPS 10462 WITH SCORE 10473.381
AT ITER 3159 NEW BEST:: SOT 48700 SOS 11370 HAS SOPS 11370 HAS SOUS 10450 HAS SOUPS 10450 WITH SCORE 10461.37
AT ITER 3166 NEW BEST:: SOT 48720 SOS 11314 HAS SOPS 11314 HAS SOUS 10435 HAS SOUPS 10435 WITH SCORE 10446.314
AT ITER 3174 NEW BEST:: SOT 48718 SOS 11298 HAS SOPS 11298 HAS SOUS 10419 HAS SOUPS 10419 WITH SCORE 10430.298
AT ITER 3180 NEW BEST:: SOT 48708 SOS 11274 HAS SOPS 11274 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10406.274
AT ITER 3185 NEW BEST:: SOT 48708 SOS 11271 HAS SOPS 11271 HAS SOUS 10392 HAS SOUPS 10392 WITH SCORE 10403.271
AT ITER 3206 NEW BEST:: SOT 48720 SOS 11269 HAS SOPS 11269 HAS SOUS 10390 HAS SOUPS 10390 WITH SCORE 10401.269
AT ITER 3230 NEW BEST:: SOT 48719 SOS 11247 HAS SOPS 11247 HAS SOUS 10388 HAS SOUPS 10388 WITH SCORE 10399.247
AT ITER 3255 NEW BEST:: SOT 48719 SOS 11228 HAS SOPS 11228 HAS SOUS 10369 HAS SOUPS 10369 WITH SCORE 10380.228
AT ITER 3258 NEW BEST:: SOT 48719 SOS 11200 HAS SOPS 11200 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10378.2
AT ITER 3329 NEW BEST:: SOT 48715 SOS 11192 HAS SOPS 11192 HAS SOUS 10363 HAS SOUPS 10363 WITH SCORE 10374.192
AT ITER 3365 NEW BEST:: SOT 48680 SOS 11165 HAS SOPS 11165 HAS SOUS 10328 HAS SOUPS 10328 WITH SCORE 10339.165
AT ITER 3383 NEW BEST:: SOT 48679 SOS 11162 HAS SOPS 11162 HAS SOUS 10325 HAS SOUPS 10325 WITH SCORE 10336.162
AT ITER 3384 NEW BEST:: SOT 48665 SOS 11148 HAS SOPS 11148 HAS SOUS 10303 HAS SOUPS 10303 WITH SCORE 10314.148
AT ITER 3409 NEW BEST:: SOT 48646 SOS 11110 HAS SOPS 11110 HAS SOUS 10295 HAS SOUPS 10295 WITH SCORE 10306.11
AT ITER 3429 NEW BEST:: SOT 48646 SOS 11145 HAS SOPS 11145 HAS SOUS 10260 HAS SOUPS 10260 WITH SCORE 10271.145
AT ITER 3480 NEW BEST:: SOT 48645 SOS 11133 HAS SOPS 11133 HAS SOUS 10258 HAS SOUPS 10258 WITH SCORE 10269.133
AT ITER 3496 NEW BEST:: SOT 48614 SOS 11179 HAS SOPS 11179 HAS SOUS 10207 HAS SOUPS 10207 WITH SCORE 10218.179
AT ITER 3513 NEW BEST:: SOT 48614 SOS 11166 HAS SOPS 11166 HAS SOUS 10194 HAS SOUPS 10194 WITH SCORE 10205.166
AT ITER 3515 NEW BEST:: SOT 48681 SOS 11248 HAS SOPS 11248 HAS SOUS 10156 HAS SOUPS 10156 WITH SCORE 10167.248
AT ITER 3523 NEW BEST:: SOT 48672 SOS 11209 HAS SOPS 11209 HAS SOUS 10138 HAS SOUPS 10138 WITH SCORE 10149.209
AT ITER 3530 NEW BEST:: SOT 48672 SOS 11211 HAS SOPS 11211 HAS SOUS 10136 HAS SOUPS 10136 WITH SCORE 10147.211
AT ITER 3583 NEW BEST:: SOT 48672 SOS 11210 HAS SOPS 11210 HAS SOUS 10135 HAS SOUPS 10135 WITH SCORE 10146.21
AT ITER 3612 NEW BEST:: SOT 48672 SOS 11217 HAS SOPS 11217 HAS SOUS 10130 HAS SOUPS 10130 WITH SCORE 10141.217
AT ITER 3697 NEW BEST:: SOT 48664 SOS 11209 HAS SOPS 11209 HAS SOUS 10122 HAS SOUPS 10122 WITH SCORE 10133.209
AT ITER 3711 NEW BEST:: SOT 48664 SOS 11205 HAS SOPS 11205 HAS SOUS 10118 HAS SOUPS 10118 WITH SCORE 10129.205
AT ITER 3713 NEW BEST:: SOT 48650 SOS 11188 HAS SOPS 11188 HAS SOUS 10115 HAS SOUPS 10115 WITH SCORE 10126.188
AT ITER 3716 NEW BEST:: SOT 48664 SOS 11206 HAS SOPS 11206 HAS SOUS 10108 HAS SOUPS 10108 WITH SCORE 10119.206
AT ITER 3740 NEW BEST:: SOT 48664 SOS 11206 HAS SOPS 11206 HAS SOUS 10107 HAS SOUPS 10107 WITH SCORE 10118.206
AT ITER 3762 NEW BEST:: SOT 48651 SOS 11190 HAS SOPS 11190 HAS SOUS 10093 HAS SOUPS 10093 WITH SCORE 10104.19
AT ITER 3802 NEW BEST:: SOT 48651 SOS 11190 HAS SOPS 11190 HAS SOUS 10092 HAS SOUPS 10092 WITH SCORE 10103.19
AT ITER 3859 NEW BEST:: SOT 48642 SOS 11172 HAS SOPS 11172 HAS SOUS 10079 HAS SOUPS 10079 WITH SCORE 10090.172
AT ITER 3913 NEW BEST:: SOT 48631 SOS 11174 HAS SOPS 11174 HAS SOUS 10074 HAS SOUPS 10074 WITH SCORE 10085.174
AT ITER 3950 NEW BEST:: SOT 48631 SOS 11174 HAS SOPS 11174 HAS SOUS 10070 HAS SOUPS 10070 WITH SCORE 10081.174
AT ITER 3951 NEW BEST:: SOT 48630 SOS 11173 HAS SOPS 11173 HAS SOUS 10070 HAS SOUPS 10070 WITH SCORE 10081.173
AT ITER 3975 NEW BEST:: SOT 48619 SOS 11135 HAS SOPS 11135 HAS SOUS 10048 HAS SOUPS 10048 WITH SCORE 10059.135
AT ITER 3994 NEW BEST:: SOT 48619 SOS 11131 HAS SOPS 11131 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10055.131
AT ITER 4017 NEW BEST:: SOT 48617 SOS 11129 HAS SOPS 11129 HAS SOUS 10042 HAS SOUPS 10042 WITH SCORE 10053.129
AT ITER 4027 NEW BEST:: SOT 48617 SOS 11128 HAS SOPS 11128 HAS SOUS 10041 HAS SOUPS 10041 WITH SCORE 10052.128
AT ITER 4031 NEW BEST:: SOT 48611 SOS 11127 HAS SOPS 11127 HAS SOUS 10040 HAS SOUPS 10040 WITH SCORE 10051.127
AT ITER 4049 NEW BEST:: SOT 48602 SOS 11109 HAS SOPS 11109 HAS SOUS 10031 HAS SOUPS 10031 WITH SCORE 10042.109
AT ITER 4055 NEW BEST:: SOT 48602 SOS 11104 HAS SOPS 11104 HAS SOUS 10026 HAS SOUPS 10026 WITH SCORE 10037.104
AT ITER 4068 NEW BEST:: SOT 48588 SOS 11096 HAS SOPS 11096 HAS SOUS 9987 HAS SOUPS 9987 WITH SCORE 9998.096
AT ITER 4101 NEW BEST:: SOT 48586 SOS 11092 HAS SOPS 11092 HAS SOUS 9983 HAS SOUPS 9983 WITH SCORE 9994.092
AT ITER 4119 NEW BEST:: SOT 48581 SOS 11087 HAS SOPS 11087 HAS SOUS 9983 HAS SOUPS 9983 WITH SCORE 9994.087
AT ITER 4148 NEW BEST:: SOT 48571 SOS 11087 HAS SOPS 11087 HAS SOUS 9973 HAS SOUPS 9973 WITH SCORE 9984.087
AT ITER 4160 NEW BEST:: SOT 48573 SOS 11081 HAS SOPS 11081 HAS SOUS 9967 HAS SOUPS 9967 WITH SCORE 9978.081
AT ITER 4181 NEW BEST:: SOT 48573 SOS 11065 HAS SOPS 11065 HAS SOUS 9967 HAS SOUPS 9967 WITH SCORE 9978.065
AT ITER 4185 NEW BEST:: SOT 48557 SOS 11050 HAS SOPS 11050 HAS SOUS 9952 HAS SOUPS 9952 WITH SCORE 9963.05
AT ITER 4188 NEW BEST:: SOT 48557 SOS 11049 HAS SOPS 11049 HAS SOUS 9951 HAS SOUPS 9951 WITH SCORE 9962.049
AT ITER 4222 NEW BEST:: SOT 48550 SOS 11042 HAS SOPS 11042 HAS SOUS 9944 HAS SOUPS 9944 WITH SCORE 9955.042
AT ITER 4231 NEW BEST:: SOT 48550 SOS 10950 HAS SOPS 10950 HAS SOUS 9944 HAS SOUPS 9944 WITH SCORE 9954.95
AT ITER 4332 NEW BEST:: SOT 48553 SOS 10933 HAS SOPS 10933 HAS SOUS 9927 HAS SOUPS 9927 WITH SCORE 9937.933
AT ITER 4333 NEW BEST:: SOT 48553 SOS 10922 HAS SOPS 10922 HAS SOUS 9923 HAS SOUPS 9923 WITH SCORE 9933.922
AT ITER 4362 NEW BEST:: SOT 48545 SOS 10917 HAS SOPS 10917 HAS SOUS 9918 HAS SOUPS 9918 WITH SCORE 9928.917
AT ITER 4418 NEW BEST:: SOT 48544 SOS 10915 HAS SOPS 10915 HAS SOUS 9917 HAS SOUPS 9917 WITH SCORE 9927.915
AT ITER 4483 NEW BEST:: SOT 48555 SOS 10905 HAS SOPS 10905 HAS SOUS 9907 HAS SOUPS 9907 WITH SCORE 9917.905
AT ITER 4488 NEW BEST:: SOT 48555 SOS 10893 HAS SOPS 10893 HAS SOUS 9895 HAS SOUPS 9895 WITH SCORE 9905.893
AT ITER 4500 NEW BEST:: SOT 48543 SOS 10881 HAS SOPS 10881 HAS SOUS 9895 HAS SOUPS 9895 WITH SCORE 9905.881
AT ITER 4514 NEW BEST:: SOT 48555 SOS 10878 HAS SOPS 10878 HAS SOUS 9884 HAS SOUPS 9884 WITH SCORE 9894.878
AT ITER 4536 NEW BEST:: SOT 48557 SOS 10854 HAS SOPS 10854 HAS SOUS 9883 HAS SOUPS 9883 WITH SCORE 9893.854
AT ITER 4539 NEW BEST:: SOT 48555 SOS 10852 HAS SOPS 10852 HAS SOUS 9881 HAS SOUPS 9881 WITH SCORE 9891.852
AT ITER 4591 NEW BEST:: SOT 48552 SOS 10846 HAS SOPS 10846 HAS SOUS 9875 HAS SOUPS 9875 WITH SCORE 9885.846
AT ITER 4599 NEW BEST:: SOT 48541 SOS 10824 HAS SOPS 10824 HAS SOUS 9875 HAS SOUPS 9875 WITH SCORE 9885.824
AT ITER 4607 NEW BEST:: SOT 48541 SOS 10823 HAS SOPS 10823 HAS SOUS 9874 HAS SOUPS 9874 WITH SCORE 9884.823
AT ITER 4678 NEW BEST:: SOT 48533 SOS 10807 HAS SOPS 10807 HAS SOUS 9866 HAS SOUPS 9866 WITH SCORE 9876.807
AT ITER 4706 NEW BEST:: SOT 48533 SOS 10803 HAS SOPS 10803 HAS SOUS 9862 HAS SOUPS 9862 WITH SCORE 9872.803
AT ITER 4768 NEW BEST:: SOT 48532 SOS 10802 HAS SOPS 10802 HAS SOUS 9861 HAS SOUPS 9861 WITH SCORE 9871.802
AT ITER 4804 NEW BEST:: SOT 48527 SOS 10797 HAS SOPS 10797 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9866.797
AT ITER 4846 NEW BEST:: SOT 48507 SOS 10788 HAS SOPS 10788 HAS SOUS 9847 HAS SOUPS 9847 WITH SCORE 9857.788
AT ITER 4860 NEW BEST:: SOT 48507 SOS 10786 HAS SOPS 10786 HAS SOUS 9845 HAS SOUPS 9845 WITH SCORE 9855.786
AT ITER 4865 NEW BEST:: SOT 48512 SOS 10784 HAS SOPS 10784 HAS SOUS 9843 HAS SOUPS 9843 WITH SCORE 9853.784
AT ITER 4890 NEW BEST:: SOT 48510 SOS 10776 HAS SOPS 10776 HAS SOUS 9829 HAS SOUPS 9829 WITH SCORE 9839.776
AT ITER 4972 NEW BEST:: SOT 48502 SOS 10768 HAS SOPS 10768 HAS SOUS 9821 HAS SOUPS 9821 WITH SCORE 9831.768
AT ITER 5054 NEW BEST:: SOT 48501 SOS 10766 HAS SOPS 10766 HAS SOUS 9819 HAS SOUPS 9819 WITH SCORE 9829.766
AT ITER 5059 NEW BEST:: SOT 48501 SOS 10763 HAS SOPS 10763 HAS SOUS 9819 HAS SOUPS 9819 WITH SCORE 9829.763
AT ITER 5082 NEW BEST:: SOT 48509 SOS 10753 HAS SOPS 10753 HAS SOUS 9809 HAS SOUPS 9809 WITH SCORE 9819.753
AT ITER 5083 NEW BEST:: SOT 48509 SOS 10739 HAS SOPS 10739 HAS SOUS 9795 HAS SOUPS 9795 WITH SCORE 9805.739
AT ITER 5238 NEW BEST:: SOT 48507 SOS 10730 HAS SOPS 10730 HAS SOUS 9791 HAS SOUPS 9791 WITH SCORE 9801.73
AT ITER 5252 NEW BEST:: SOT 48507 SOS 10729 HAS SOPS 10729 HAS SOUS 9791 HAS SOUPS 9791 WITH SCORE 9801.729
AT ITER 5273 NEW BEST:: SOT 48507 SOS 10729 HAS SOPS 10729 HAS SOUS 9790 HAS SOUPS 9790 WITH SCORE 9800.729
AT ITER 5299 NEW BEST:: SOT 48523 SOS 10755 HAS SOPS 10755 HAS SOUS 9787 HAS SOUPS 9787 WITH SCORE 9797.755
AT ITER 5329 NEW BEST:: SOT 48516 SOS 10760 HAS SOPS 10760 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9783.76
AT ITER 5359 NEW BEST:: SOT 48519 SOS 10756 HAS SOPS 10756 HAS SOUS 9772 HAS SOUPS 9772 WITH SCORE 9782.756
AT ITER 5392 NEW BEST:: SOT 48507 SOS 10750 HAS SOPS 10750 HAS SOUS 9761 HAS SOUPS 9761 WITH SCORE 9771.75
AT ITER 5406 NEW BEST:: SOT 48502 SOS 10745 HAS SOPS 10745 HAS SOUS 9756 HAS SOUPS 9756 WITH SCORE 9766.745
AT ITER 5412 NEW BEST:: SOT 48503 SOS 10734 HAS SOPS 10734 HAS SOUS 9745 HAS SOUPS 9745 WITH SCORE 9755.734
AT ITER 5430 NEW BEST:: SOT 48496 SOS 10741 HAS SOPS 10741 HAS SOUS 9738 HAS SOUPS 9738 WITH SCORE 9748.741
AT ITER 5681 NEW BEST:: SOT 48496 SOS 10735 HAS SOPS 10735 HAS SOUS 9732 HAS SOUPS 9732 WITH SCORE 9742.735
AT ITER 5693 NEW BEST:: SOT 48481 SOS 10705 HAS SOPS 10705 HAS SOUS 9702 HAS SOUPS 9702 WITH SCORE 9712.705
AT ITER 5703 NEW BEST:: SOT 48470 SOS 10675 HAS SOPS 10675 HAS SOUS 9680 HAS SOUPS 9680 WITH SCORE 9690.675
AT ITER 5726 NEW BEST:: SOT 48464 SOS 10672 HAS SOPS 10672 HAS SOUS 9671 HAS SOUPS 9671 WITH SCORE 9681.672
AT ITER 5772 NEW BEST:: SOT 48461 SOS 10652 HAS SOPS 10652 HAS SOUS 9651 HAS SOUPS 9651 WITH SCORE 9661.652
AT ITER 5785 NEW BEST:: SOT 48461 SOS 10652 HAS SOPS 10652 HAS SOUS 9644 HAS SOUPS 9644 WITH SCORE 9654.652
AT ITER 5790 NEW BEST:: SOT 48458 SOS 10643 HAS SOPS 10643 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9651.643
AT ITER 5836 NEW BEST:: SOT 48458 SOS 10639 HAS SOPS 10639 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9651.639
AT ITER 5879 NEW BEST:: SOT 48458 SOS 10639 HAS SOPS 10639 HAS SOUS 9640 HAS SOUPS 9640 WITH SCORE 9650.639
AT ITER 5882 NEW BEST:: SOT 48458 SOS 10636 HAS SOPS 10636 HAS SOUS 9637 HAS SOUPS 9637 WITH SCORE 9647.636
AT ITER 5895 NEW BEST:: SOT 48450 SOS 10641 HAS SOPS 10641 HAS SOUS 9636 HAS SOUPS 9636 WITH SCORE 9646.641
AT ITER 5958 NEW BEST:: SOT 48443 SOS 10630 HAS SOPS 10630 HAS SOUS 9625 HAS SOUPS 9625 WITH SCORE 9635.63
AT ITER 6041 NEW BEST:: SOT 48458 SOS 10628 HAS SOPS 10628 HAS SOUS 9623 HAS SOUPS 9623 WITH SCORE 9633.628
AT ITER 6075 NEW BEST:: SOT 48458 SOS 10627 HAS SOPS 10627 HAS SOUS 9622 HAS SOUPS 9622 WITH SCORE 9632.627
AT ITER 6117 NEW BEST:: SOT 48458 SOS 10626 HAS SOPS 10626 HAS SOUS 9621 HAS SOUPS 9621 WITH SCORE 9631.626
AT ITER 6194 NEW BEST:: SOT 48449 SOS 10615 HAS SOPS 10615 HAS SOUS 9610 HAS SOUPS 9610 WITH SCORE 9620.615
AT ITER 6231 NEW BEST:: SOT 48449 SOS 10613 HAS SOPS 10613 HAS SOUS 9609 HAS SOUPS 9609 WITH SCORE 9619.613
AT ITER 6234 NEW BEST:: SOT 48449 SOS 10609 HAS SOPS 10609 HAS SOUS 9605 HAS SOUPS 9605 WITH SCORE 9615.609
AT ITER 6280 NEW BEST:: SOT 48448 SOS 10607 HAS SOPS 10607 HAS SOUS 9604 HAS SOUPS 9604 WITH SCORE 9614.607
AT ITER 6294 NEW BEST:: SOT 48441 SOS 10599 HAS SOPS 10599 HAS SOUS 9596 HAS SOUPS 9596 WITH SCORE 9606.599
AT ITER 6296 NEW BEST:: SOT 48430 SOS 10588 HAS SOPS 10588 HAS SOUS 9585 HAS SOUPS 9585 WITH SCORE 9595.588
AT ITER 6377 NEW BEST:: SOT 48429 SOS 10586 HAS SOPS 10586 HAS SOUS 9583 HAS SOUPS 9583 WITH SCORE 9593.586
AT ITER 6387 NEW BEST:: SOT 48429 SOS 10562 HAS SOPS 10562 HAS SOUS 9583 HAS SOUPS 9583 WITH SCORE 9593.562
AT ITER 6415 NEW BEST:: SOT 48440 SOS 10555 HAS SOPS 10555 HAS SOUS 9576 HAS SOUPS 9576 WITH SCORE 9586.555
AT ITER 6436 NEW BEST:: SOT 48434 SOS 10565 HAS SOPS 10565 HAS SOUS 9569 HAS SOUPS 9569 WITH SCORE 9579.565
AT ITER 6459 NEW BEST:: SOT 48424 SOS 10545 HAS SOPS 10545 HAS SOUS 9549 HAS SOUPS 9549 WITH SCORE 9559.545
AT ITER 6517 NEW BEST:: SOT 48423 SOS 10527 HAS SOPS 10527 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9554.527
AT ITER 6533 NEW BEST:: SOT 48451 SOS 10548 HAS SOPS 10548 HAS SOUS 9531 HAS SOUPS 9531 WITH SCORE 9541.548
AT ITER 6557 NEW BEST:: SOT 48451 SOS 10548 HAS SOPS 10548 HAS SOUS 9526 HAS SOUPS 9526 WITH SCORE 9536.548
AT ITER 6567 NEW BEST:: SOT 48449 SOS 10544 HAS SOPS 10544 HAS SOUS 9522 HAS SOUPS 9522 WITH SCORE 9532.544
AT ITER 6599 NEW BEST:: SOT 48448 SOS 10529 HAS SOPS 10529 HAS SOUS 9520 HAS SOUPS 9520 WITH SCORE 9530.529
AT ITER 6607 NEW BEST:: SOT 48447 SOS 10526 HAS SOPS 10526 HAS SOUS 9517 HAS SOUPS 9517 WITH SCORE 9527.526
AT ITER 6612 NEW BEST:: SOT 48442 SOS 10516 HAS SOPS 10516 HAS SOUS 9507 HAS SOUPS 9507 WITH SCORE 9517.516
AT ITER 6613 NEW BEST:: SOT 48430 SOS 10457 HAS SOPS 10457 HAS SOUS 9505 HAS SOUPS 9505 WITH SCORE 9515.457
AT ITER 6635 NEW BEST:: SOT 48425 SOS 10452 HAS SOPS 10452 HAS SOUS 9500 HAS SOUPS 9500 WITH SCORE 9510.452
AT ITER 6644 NEW BEST:: SOT 48424 SOS 10450 HAS SOPS 10450 HAS SOUS 9498 HAS SOUPS 9498 WITH SCORE 9508.45
AT ITER 6682 NEW BEST:: SOT 48424 SOS 10448 HAS SOPS 10448 HAS SOUS 9496 HAS SOUPS 9496 WITH SCORE 9506.448
AT ITER 6690 NEW BEST:: SOT 48417 SOS 10462 HAS SOPS 10462 HAS SOUS 9482 HAS SOUPS 9482 WITH SCORE 9492.462
AT ITER 6727 NEW BEST:: SOT 48408 SOS 10408 HAS SOPS 10408 HAS SOUS 9455 HAS SOUPS 9455 WITH SCORE 9465.408
AT ITER 6757 NEW BEST:: SOT 48404 SOS 10382 HAS SOPS 10382 HAS SOUS 9455 HAS SOUPS 9455 WITH SCORE 9465.382
AT ITER 6806 NEW BEST:: SOT 48399 SOS 10372 HAS SOPS 10372 HAS SOUS 9435 HAS SOUPS 9435 WITH SCORE 9445.372
AT ITER 6808 NEW BEST:: SOT 48396 SOS 10355 HAS SOPS 10355 HAS SOUS 9422 HAS SOUPS 9422 WITH SCORE 9432.355
AT ITER 6812 NEW BEST:: SOT 48418 SOS 10373 HAS SOPS 10373 HAS SOUS 9419 HAS SOUPS 9419 WITH SCORE 9429.373
AT ITER 6827 NEW BEST:: SOT 48414 SOS 10367 HAS SOPS 10367 HAS SOUS 9413 HAS SOUPS 9413 WITH SCORE 9423.367
AT ITER 6841 NEW BEST:: SOT 48414 SOS 10366 HAS SOPS 10366 HAS SOUS 9412 HAS SOUPS 9412 WITH SCORE 9422.366
AT ITER 6849 NEW BEST:: SOT 48409 SOS 10402 HAS SOPS 10402 HAS SOUS 9411 HAS SOUPS 9411 WITH SCORE 9421.402
AT ITER 6887 NEW BEST:: SOT 48390 SOS 10412 HAS SOPS 10412 HAS SOUS 9406 HAS SOUPS 9406 WITH SCORE 9416.412
AT ITER 6920 NEW BEST:: SOT 48388 SOS 10407 HAS SOPS 10407 HAS SOUS 9401 HAS SOUPS 9401 WITH SCORE 9411.407
AT ITER 6968 NEW BEST:: SOT 48385 SOS 10410 HAS SOPS 10410 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9410.41
AT ITER 6983 NEW BEST:: SOT 48385 SOS 10390 HAS SOPS 10390 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9410.39
AT ITER 7000 NEW BEST:: SOT 48363 SOS 10368 HAS SOPS 10368 HAS SOUS 9378 HAS SOUPS 9378 WITH SCORE 9388.368
AT ITER 7001 NEW BEST:: SOT 48354 SOS 10365 HAS SOPS 10365 HAS SOUS 9375 HAS SOUPS 9375 WITH SCORE 9385.365
AT ITER 7038 NEW BEST:: SOT 48339 SOS 10345 HAS SOPS 10345 HAS SOUS 9360 HAS SOUPS 9360 WITH SCORE 9370.345
AT ITER 7043 NEW BEST:: SOT 48339 SOS 10345 HAS SOPS 10345 HAS SOUS 9355 HAS SOUPS 9355 WITH SCORE 9365.345
AT ITER 7065 NEW BEST:: SOT 48345 SOS 10358 HAS SOPS 10358 HAS SOUS 9348 HAS SOUPS 9348 WITH SCORE 9358.358
AT ITER 7196 NEW BEST:: SOT 48342 SOS 10346 HAS SOPS 10346 HAS SOUS 9342 HAS SOUPS 9342 WITH SCORE 9352.346
AT ITER 7215 NEW BEST:: SOT 48338 SOS 10342 HAS SOPS 10342 HAS SOUS 9338 HAS SOUPS 9338 WITH SCORE 9348.342
AT ITER 7217 NEW BEST:: SOT 48334 SOS 10333 HAS SOPS 10333 HAS SOUS 9329 HAS SOUPS 9329 WITH SCORE 9339.333
AT ITER 7248 NEW BEST:: SOT 48313 SOS 10316 HAS SOPS 10316 HAS SOUS 9312 HAS SOUPS 9312 WITH SCORE 9322.316
AT ITER 7307 NEW BEST:: SOT 48327 SOS 10314 HAS SOPS 10314 HAS SOUS 9310 HAS SOUPS 9310 WITH SCORE 9320.314
AT ITER 7321 NEW BEST:: SOT 48327 SOS 10260 HAS SOPS 10260 HAS SOUS 9292 HAS SOUPS 9292 WITH SCORE 9302.26
AT ITER 7341 NEW BEST:: SOT 48322 SOS 10236 HAS SOPS 10236 HAS SOUS 9275 HAS SOUPS 9275 WITH SCORE 9285.236
AT ITER 7344 NEW BEST:: SOT 48322 SOS 10242 HAS SOPS 10242 HAS SOUS 9261 HAS SOUPS 9261 WITH SCORE 9271.242
AT ITER 7408 NEW BEST:: SOT 48315 SOS 10228 HAS SOPS 10228 HAS SOUS 9252 HAS SOUPS 9252 WITH SCORE 9262.228
AT ITER 7436 NEW BEST:: SOT 48309 SOS 10205 HAS SOPS 10205 HAS SOUS 9246 HAS SOUPS 9246 WITH SCORE 9256.205
AT ITER 7474 NEW BEST:: SOT 48302 SOS 10209 HAS SOPS 10209 HAS SOUS 9236 HAS SOUPS 9236 WITH SCORE 9246.209
AT ITER 7523 NEW BEST:: SOT 48301 SOS 10208 HAS SOPS 10208 HAS SOUS 9235 HAS SOUPS 9235 WITH SCORE 9245.208
AT ITER 7532 NEW BEST:: SOT 48292 SOS 10206 HAS SOPS 10206 HAS SOUS 9233 HAS SOUPS 9233 WITH SCORE 9243.206
AT ITER 7533 NEW BEST:: SOT 48286 SOS 10194 HAS SOPS 10194 HAS SOUS 9221 HAS SOUPS 9221 WITH SCORE 9231.194
AT ITER 7534 NEW BEST:: SOT 48287 SOS 10192 HAS SOPS 10192 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9229.192
AT ITER 7555 NEW BEST:: SOT 48308 SOS 10206 HAS SOPS 10206 HAS SOUS 9209 HAS SOUPS 9209 WITH SCORE 9219.206
AT ITER 7605 NEW BEST:: SOT 48281 SOS 10200 HAS SOPS 10200 HAS SOUS 9203 HAS SOUPS 9203 WITH SCORE 9213.2
AT ITER 7617 NEW BEST:: SOT 48275 SOS 10188 HAS SOPS 10188 HAS SOUS 9190 HAS SOUPS 9190 WITH SCORE 9200.188
AT ITER 7640 NEW BEST:: SOT 48209 SOS 10134 HAS SOPS 10134 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9146.134
AT ITER 7745 NEW BEST:: SOT 48208 SOS 10132 HAS SOPS 10132 HAS SOUS 9125 HAS SOUPS 9125 WITH SCORE 9135.132
AT ITER 7785 NEW BEST:: SOT 48198 SOS 10127 HAS SOPS 10127 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9130.127
AT ITER 7819 NEW BEST:: SOT 48192 SOS 10108 HAS SOPS 10108 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9109.108
AT ITER 7836 NEW BEST:: SOT 48198 SOS 10105 HAS SOPS 10105 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9105.105
AT ITER 7888 NEW BEST:: SOT 48197 SOS 10104 HAS SOPS 10104 HAS SOUS 9094 HAS SOUPS 9094 WITH SCORE 9104.104
AT ITER 7890 NEW BEST:: SOT 48195 SOS 10100 HAS SOPS 10100 HAS SOUS 9091 HAS SOUPS 9091 WITH SCORE 9101.1
AT ITER 7896 NEW BEST:: SOT 48195 SOS 10020 HAS SOPS 10020 HAS SOUS 9091 HAS SOUPS 9091 WITH SCORE 9101.02
AT ITER 7917 NEW BEST:: SOT 48170 SOS 9978 HAS SOPS 9978 HAS SOUS 9049 HAS SOUPS 9049 WITH SCORE 9058.978
AT ITER 8029 NEW BEST:: SOT 48166 SOS 9974 HAS SOPS 9974 HAS SOUS 9045 HAS SOUPS 9045 WITH SCORE 9054.974
AT ITER 8049 NEW BEST:: SOT 48165 SOS 9973 HAS SOPS 9973 HAS SOUS 9044 HAS SOUPS 9044 WITH SCORE 9053.973
AT ITER 8097 NEW BEST:: SOT 48164 SOS 9971 HAS SOPS 9971 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9044.971
AT ITER 8103 NEW BEST:: SOT 48162 SOS 9967 HAS SOPS 9967 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9039.967
AT ITER 8126 NEW BEST:: SOT 48162 SOS 9969 HAS SOPS 9969 HAS SOUS 9028 HAS SOUPS 9028 WITH SCORE 9037.969
AT ITER 8127 NEW BEST:: SOT 48162 SOS 9935 HAS SOPS 9935 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9025.935
AT ITER 8147 NEW BEST:: SOT 48145 SOS 9918 HAS SOPS 9918 HAS SOUS 8999 HAS SOUPS 8999 WITH SCORE 9008.918
AT ITER 8163 NEW BEST:: SOT 48139 SOS 9913 HAS SOPS 9913 HAS SOUS 8987 HAS SOUPS 8987 WITH SCORE 8996.913
AT ITER 8229 NEW BEST:: SOT 48138 SOS 9909 HAS SOPS 9909 HAS SOUS 8985 HAS SOUPS 8985 WITH SCORE 8994.909
AT ITER 8248 NEW BEST:: SOT 48138 SOS 9906 HAS SOPS 9906 HAS SOUS 8982 HAS SOUPS 8982 WITH SCORE 8991.906
AT ITER 8289 NEW BEST:: SOT 48132 SOS 9899 HAS SOPS 9899 HAS SOUS 8970 HAS SOUPS 8970 WITH SCORE 8979.899
AT ITER 8307 NEW BEST:: SOT 48131 SOS 9888 HAS SOPS 9888 HAS SOUS 8959 HAS SOUPS 8959 WITH SCORE 8968.888
AT ITER 8325 NEW BEST:: SOT 48128 SOS 9885 HAS SOPS 9885 HAS SOUS 8959 HAS SOUPS 8959 WITH SCORE 8968.885
AT ITER 8328 NEW BEST:: SOT 48128 SOS 9868 HAS SOPS 9868 HAS SOUS 8959 HAS SOUPS 8959 WITH SCORE 8968.868
AT ITER 8525 NEW BEST:: SOT 48123 SOS 9858 HAS SOPS 9858 HAS SOUS 8949 HAS SOUPS 8949 WITH SCORE 8958.858
AT ITER 8533 NEW BEST:: SOT 48115 SOS 9810 HAS SOPS 9810 HAS SOUS 8925 HAS SOUPS 8925 WITH SCORE 8934.81
AT ITER 8583 NEW BEST:: SOT 48115 SOS 9809 HAS SOPS 9809 HAS SOUS 8924 HAS SOUPS 8924 WITH SCORE 8933.809
AT ITER 8597 NEW BEST:: SOT 48115 SOS 9798 HAS SOPS 9798 HAS SOUS 8913 HAS SOUPS 8913 WITH SCORE 8922.798
AT ITER 8614 NEW BEST:: SOT 48112 SOS 9845 HAS SOPS 9845 HAS SOUS 8908 HAS SOUPS 8908 WITH SCORE 8917.845
AT ITER 8617 NEW BEST:: SOT 48112 SOS 9842 HAS SOPS 9842 HAS SOUS 8906 HAS SOUPS 8906 WITH SCORE 8915.842
AT ITER 8628 NEW BEST:: SOT 48109 SOS 9837 HAS SOPS 9837 HAS SOUS 8901 HAS SOUPS 8901 WITH SCORE 8910.837
AT ITER 8654 NEW BEST:: SOT 48109 SOS 9826 HAS SOPS 9826 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8899.826
AT ITER 8666 NEW BEST:: SOT 48109 SOS 9821 HAS SOPS 9821 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8899.821
AT ITER 8673 NEW BEST:: SOT 48120 SOS 9802 HAS SOPS 9802 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8896.802
AT ITER 8781 NEW BEST:: SOT 48122 SOS 9806 HAS SOPS 9806 HAS SOUS 8885 HAS SOUPS 8885 WITH SCORE 8894.806
AT ITER 8824 NEW BEST:: SOT 48101 SOS 9790 HAS SOPS 9790 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8879.79
AT ITER 9027 NEW BEST:: SOT 48105 SOS 9788 HAS SOPS 9788 HAS SOUS 8868 HAS SOUPS 8868 WITH SCORE 8877.788
AT ITER 9047 NEW BEST:: SOT 48129 SOS 9819 HAS SOPS 9819 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8867.819
AT ITER 9076 NEW BEST:: SOT 48134 SOS 9821 HAS SOPS 9821 HAS SOUS 8857 HAS SOUPS 8857 WITH SCORE 8866.821
AT ITER 9080 NEW BEST:: SOT 48135 SOS 9806 HAS SOPS 9806 HAS SOUS 8849 HAS SOUPS 8849 WITH SCORE 8858.806
AT ITER 9139 NEW BEST:: SOT 48135 SOS 9805 HAS SOPS 9805 HAS SOUS 8848 HAS SOUPS 8848 WITH SCORE 8857.805
AT ITER 9157 NEW BEST:: SOT 48135 SOS 9802 HAS SOPS 9802 HAS SOUS 8845 HAS SOUPS 8845 WITH SCORE 8854.802
AT ITER 9248 NEW BEST:: SOT 48135 SOS 9800 HAS SOPS 9800 HAS SOUS 8843 HAS SOUPS 8843 WITH SCORE 8852.8
AT ITER 9297 NEW BEST:: SOT 48135 SOS 9799 HAS SOPS 9799 HAS SOUS 8842 HAS SOUPS 8842 WITH SCORE 8851.799
AT ITER 9335 NEW BEST:: SOT 48135 SOS 9811 HAS SOPS 9811 HAS SOUS 8840 HAS SOUPS 8840 WITH SCORE 8849.811
AT ITER 9446 NEW BEST:: SOT 48135 SOS 9800 HAS SOPS 9800 HAS SOUS 8829 HAS SOUPS 8829 WITH SCORE 8838.8
AT ITER 9457 NEW BEST:: SOT 48134 SOS 9798 HAS SOPS 9798 HAS SOUS 8827 HAS SOUPS 8827 WITH SCORE 8836.798
AT ITER 9458 NEW BEST:: SOT 48134 SOS 9790 HAS SOPS 9790 HAS SOUS 8811 HAS SOUPS 8811 WITH SCORE 8820.79
AT ITER 9534 NEW BEST:: SOT 48134 SOS 9786 HAS SOPS 9786 HAS SOUS 8811 HAS SOUPS 8811 WITH SCORE 8820.786
AT ITER 9601 NEW BEST:: SOT 48134 SOS 9776 HAS SOPS 9776 HAS SOUS 8801 HAS SOUPS 8801 WITH SCORE 8810.776
AT ITER 9615 NEW BEST:: SOT 48134 SOS 9770 HAS SOPS 9770 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8804.77
AT ITER 9617 NEW BEST:: SOT 48138 SOS 9768 HAS SOPS 9768 HAS SOUS 8787 HAS SOUPS 8787 WITH SCORE 8796.768
AT ITER 9623 NEW BEST:: SOT 48138 SOS 9767 HAS SOPS 9767 HAS SOUS 8786 HAS SOUPS 8786 WITH SCORE 8795.767
AT ITER 9682 NEW BEST:: SOT 48138 SOS 9758 HAS SOPS 9758 HAS SOUS 8786 HAS SOUPS 8786 WITH SCORE 8795.758
AT ITER 9723 NEW BEST:: SOT 48137 SOS 9756 HAS SOPS 9756 HAS SOUS 8785 HAS SOUPS 8785 WITH SCORE 8794.756
AT ITER 9729 NEW BEST:: SOT 48144 SOS 9729 HAS SOPS 9729 HAS SOUS 8783 HAS SOUPS 8783 WITH SCORE 8792.729
AT ITER 9835 NEW BEST:: SOT 48122 SOS 9685 HAS SOPS 9685 HAS SOUS 8759 HAS SOUPS 8759 WITH SCORE 8768.685
AT ITER 9924 NEW BEST:: SOT 48114 SOS 9679 HAS SOPS 9679 HAS SOUS 8751 HAS SOUPS 8751 WITH SCORE 8760.679
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 7669476 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16152968 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="ShieldPPPt-PT-004B"
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 ShieldPPPt-PT-004B, 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 r387-oct2-167903712000592"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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