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.r011-oct2-167813599900200.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 smartxred
Input is AirplaneLD-COL-0100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599900200
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 7.3K Feb 26 11:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 11:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 11:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 11:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 11:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 156K Feb 26 11:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 11:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 11:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 52K Mar 5 18:22 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 1678730862405

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AirplaneLD-COL-0100
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 18:07:45] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 18:07:45] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 18:07:45] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-13 18:07:46] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-13 18:07:46] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 948 ms
[2023-03-13 18:07:46] [INFO ] Detected 3 constant HL places corresponding to 302 PT places.
[2023-03-13 18:07:46] [INFO ] Imported 20 HL places and 15 HL transitions for a total of 719 PT places and 1212.0 transition bindings in 45 ms.
[2023-03-13 18:07:46] [INFO ] Unfolded HLPN to a Petri net with 719 places and 808 transitions 2270 arcs in 47 ms.
[2023-03-13 18:07:46] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-13 18:07:46] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 719 places, 808 transitions and 2270 arcs took 17 ms.
Total runtime 1176 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (COL), instance 0100
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 719 places, 808 transitions, 2270 arcs.
AT ITER 0 NEW BEST:: SOT 213043 SOS 160002 HAS SOPS 160002 HAS SOUS 46919 HAS SOUPS 46919 WITH SCORE 47079.002
AT ITER 173 NEW BEST:: SOT 210143 SOS 157160 HAS SOPS 157160 HAS SOUS 44024 HAS SOUPS 44024 WITH SCORE 44181.16
AT ITER 178 NEW BEST:: SOT 207143 SOS 154220 HAS SOPS 154220 HAS SOUS 41114 HAS SOUPS 41114 WITH SCORE 41268.22
AT ITER 186 NEW BEST:: SOT 207251 SOS 154328 HAS SOPS 154328 HAS SOUS 41060 HAS SOUPS 41060 WITH SCORE 41214.328
AT ITER 199 NEW BEST:: SOT 207375 SOS 154452 HAS SOPS 154452 HAS SOUS 40998 HAS SOUPS 40998 WITH SCORE 41152.452
AT ITER 206 NEW BEST:: SOT 191309 SOS 145011 HAS SOPS 145011 HAS SOUS 24916 HAS SOUPS 24916 WITH SCORE 25061.011
AT ITER 386 NEW BEST:: SOT 191936 SOS 145570 HAS SOPS 145570 HAS SOUS 24871 HAS SOUPS 24871 WITH SCORE 25016.57
AT ITER 391 NEW BEST:: SOT 191881 SOS 140070 HAS SOPS 140070 HAS SOUS 24871 HAS SOUPS 24871 WITH SCORE 25011.07
AT ITER 563 NEW BEST:: SOT 192454 SOS 140613 HAS SOPS 140613 HAS SOUS 24840 HAS SOUPS 24840 WITH SCORE 24980.613
AT ITER 607 NEW BEST:: SOT 192856 SOS 140766 HAS SOPS 140766 HAS SOUS 24743 HAS SOUPS 24743 WITH SCORE 24883.766
AT ITER 660 NEW BEST:: SOT 193605 SOS 141417 HAS SOPS 141417 HAS SOUS 24736 HAS SOUPS 24736 WITH SCORE 24877.417
AT ITER 693 NEW BEST:: SOT 193463 SOS 141133 HAS SOPS 141133 HAS SOUS 24736 HAS SOUPS 24736 WITH SCORE 24877.133
AT ITER 708 NEW BEST:: SOT 193433 SOS 141103 HAS SOPS 141103 HAS SOUS 24706 HAS SOUPS 24706 WITH SCORE 24847.103
AT ITER 746 NEW BEST:: SOT 193540 SOS 141103 HAS SOPS 141103 HAS SOUS 24599 HAS SOUPS 24599 WITH SCORE 24740.103
AT ITER 755 NEW BEST:: SOT 194383 SOS 141792 HAS SOPS 141792 HAS SOUS 24512 HAS SOUPS 24512 WITH SCORE 24653.792
AT ITER 764 NEW BEST:: SOT 195007 SOS 142367 HAS SOPS 142367 HAS SOUS 24462 HAS SOUPS 24462 WITH SCORE 24604.367
AT ITER 772 NEW BEST:: SOT 195795 SOS 143068 HAS SOPS 143068 HAS SOUS 24386 HAS SOUPS 24386 WITH SCORE 24529.068
AT ITER 777 NEW BEST:: SOT 195840 SOS 143068 HAS SOPS 143068 HAS SOUS 24341 HAS SOUPS 24341 WITH SCORE 24484.068
AT ITER 793 NEW BEST:: SOT 196552 SOS 143715 HAS SOPS 143715 HAS SOUS 24275 HAS SOUPS 24275 WITH SCORE 24418.715
AT ITER 794 NEW BEST:: SOT 197215 SOS 144330 HAS SOPS 144330 HAS SOUS 24226 HAS SOUPS 24226 WITH SCORE 24370.33
AT ITER 807 NEW BEST:: SOT 197187 SOS 144302 HAS SOPS 144302 HAS SOUS 24226 HAS SOUPS 24226 WITH SCORE 24370.302
AT ITER 818 NEW BEST:: SOT 197730 SOS 144837 HAS SOPS 144837 HAS SOUS 24217 HAS SOUPS 24217 WITH SCORE 24361.837
AT ITER 823 NEW BEST:: SOT 198450 SOS 145488 HAS SOPS 145488 HAS SOUS 24147 HAS SOUPS 24147 WITH SCORE 24292.488
AT ITER 846 NEW BEST:: SOT 199094 SOS 146099 HAS SOPS 146099 HAS SOUS 24113 HAS SOUPS 24113 WITH SCORE 24259.099
AT ITER 860 NEW BEST:: SOT 199773 SOS 146756 HAS SOPS 146756 HAS SOUS 24090 HAS SOUPS 24090 WITH SCORE 24236.756
AT ITER 862 NEW BEST:: SOT 200359 SOS 147281 HAS SOPS 147281 HAS SOUS 24028 HAS SOUPS 24028 WITH SCORE 24175.281
AT ITER 867 NEW BEST:: SOT 201130 SOS 147996 HAS SOPS 147996 HAS SOUS 23985 HAS SOUPS 23985 WITH SCORE 24132.996
AT ITER 868 NEW BEST:: SOT 201211 SOS 147996 HAS SOPS 147996 HAS SOUS 23904 HAS SOUPS 23904 WITH SCORE 24051.996
AT ITER 873 NEW BEST:: SOT 201836 SOS 148563 HAS SOPS 148563 HAS SOUS 23845 HAS SOUPS 23845 WITH SCORE 23993.563
AT ITER 880 NEW BEST:: SOT 194786 SOS 141513 HAS SOPS 141513 HAS SOUS 16713 HAS SOUPS 16713 WITH SCORE 16854.513
AT ITER 888 NEW BEST:: SOT 194786 SOS 141513 HAS SOPS 141513 HAS SOUS 16705 HAS SOUPS 16705 WITH SCORE 16846.513
AT ITER 913 NEW BEST:: SOT 194796 SOS 141513 HAS SOPS 141513 HAS SOUS 16695 HAS SOUPS 16695 WITH SCORE 16836.513
AT ITER 937 NEW BEST:: SOT 194578 SOS 141295 HAS SOPS 141295 HAS SOUS 16477 HAS SOUPS 16477 WITH SCORE 16618.295
AT ITER 946 NEW BEST:: SOT 195520 SOS 142084 HAS SOPS 142084 HAS SOUS 16397 HAS SOUPS 16397 WITH SCORE 16539.084
AT ITER 954 NEW BEST:: SOT 196222 SOS 142707 HAS SOPS 142707 HAS SOUS 16317 HAS SOUPS 16317 WITH SCORE 16459.707
AT ITER 963 NEW BEST:: SOT 196264 SOS 142714 HAS SOPS 142714 HAS SOUS 16281 HAS SOUPS 16281 WITH SCORE 16423.714
AT ITER 972 NEW BEST:: SOT 197222 SOS 143579 HAS SOPS 143579 HAS SOUS 16263 HAS SOUPS 16263 WITH SCORE 16406.579
AT ITER 981 NEW BEST:: SOT 198050 SOS 144394 HAS SOPS 144394 HAS SOUS 16249 HAS SOUPS 16249 WITH SCORE 16393.394
AT ITER 985 NEW BEST:: SOT 198609 SOS 144925 HAS SOPS 144925 HAS SOUS 16220 HAS SOUPS 16220 WITH SCORE 16364.925
AT ITER 1001 NEW BEST:: SOT 199615 SOS 145840 HAS SOPS 145840 HAS SOUS 16178 HAS SOUPS 16178 WITH SCORE 16323.84
AT ITER 1041 NEW BEST:: SOT 200217 SOS 146393 HAS SOPS 146393 HAS SOUS 16128 HAS SOUPS 16128 WITH SCORE 16274.393
AT ITER 1054 NEW BEST:: SOT 201025 SOS 147150 HAS SOPS 147150 HAS SOUS 16076 HAS SOUPS 16076 WITH SCORE 16223.15
AT ITER 1055 NEW BEST:: SOT 202001 SOS 148069 HAS SOPS 148069 HAS SOUS 16022 HAS SOUPS 16022 WITH SCORE 16170.069
AT ITER 1060 NEW BEST:: SOT 202960 SOS 148936 HAS SOPS 148936 HAS SOUS 15929 HAS SOUPS 15929 WITH SCORE 16077.936
AT ITER 1061 NEW BEST:: SOT 203723 SOS 149647 HAS SOPS 149647 HAS SOUS 15876 HAS SOUPS 15876 WITH SCORE 16025.647
AT ITER 1101 NEW BEST:: SOT 204763 SOS 150592 HAS SOPS 150592 HAS SOUS 15806 HAS SOUPS 15806 WITH SCORE 15956.592
AT ITER 1106 NEW BEST:: SOT 205530 SOS 151323 HAS SOPS 151323 HAS SOUS 15769 HAS SOUPS 15769 WITH SCORE 15920.323
AT ITER 1127 NEW BEST:: SOT 206284 SOS 152022 HAS SOPS 152022 HAS SOUS 15713 HAS SOUPS 15713 WITH SCORE 15865.022
AT ITER 1130 NEW BEST:: SOT 206386 SOS 152022 HAS SOPS 152022 HAS SOUS 15611 HAS SOUPS 15611 WITH SCORE 15763.022
AT ITER 1156 NEW BEST:: SOT 207319 SOS 152879 HAS SOPS 152879 HAS SOUS 15534 HAS SOUPS 15534 WITH SCORE 15686.879
AT ITER 1163 NEW BEST:: SOT 207283 SOS 152843 HAS SOPS 152843 HAS SOUS 15534 HAS SOUPS 15534 WITH SCORE 15686.843
AT ITER 1165 NEW BEST:: SOT 207399 SOS 152843 HAS SOPS 152843 HAS SOUS 15418 HAS SOUPS 15418 WITH SCORE 15570.843
AT ITER 1170 NEW BEST:: SOT 208275 SOS 153652 HAS SOPS 153652 HAS SOUS 15350 HAS SOUPS 15350 WITH SCORE 15503.652
AT ITER 1182 NEW BEST:: SOT 209313 SOS 154637 HAS SOPS 154637 HAS SOUS 15336 HAS SOUPS 15336 WITH SCORE 15490.637
AT ITER 1188 NEW BEST:: SOT 210028 SOS 155328 HAS SOPS 155328 HAS SOUS 15311 HAS SOUPS 15311 WITH SCORE 15466.328
AT ITER 1189 NEW BEST:: SOT 210984 SOS 156277 HAS SOPS 156277 HAS SOUS 15303 HAS SOUPS 15303 WITH SCORE 15459.277
AT ITER 1192 NEW BEST:: SOT 211549 SOS 156824 HAS SOPS 156824 HAS SOUS 15284 HAS SOUPS 15284 WITH SCORE 15440.824
AT ITER 1211 NEW BEST:: SOT 212214 SOS 157477 HAS SOPS 157477 HAS SOUS 15271 HAS SOUPS 15271 WITH SCORE 15428.477
AT ITER 1233 NEW BEST:: SOT 212160 SOS 157423 HAS SOPS 157423 HAS SOUS 15271 HAS SOUPS 15271 WITH SCORE 15428.423
AT ITER 1243 NEW BEST:: SOT 212243 SOS 157423 HAS SOPS 157423 HAS SOUS 15188 HAS SOUPS 15188 WITH SCORE 15345.423
AT ITER 1292 NEW BEST:: SOT 213130 SOS 158236 HAS SOPS 158236 HAS SOUS 15113 HAS SOUPS 15113 WITH SCORE 15271.236
AT ITER 1302 NEW BEST:: SOT 213575 SOS 158585 HAS SOPS 158585 HAS SOUS 15016 HAS SOUPS 15016 WITH SCORE 15174.585
AT ITER 1315 NEW BEST:: SOT 214510 SOS 159420 HAS SOPS 159420 HAS SOUS 14915 HAS SOUPS 14915 WITH SCORE 15074.42
AT ITER 1324 NEW BEST:: SOT 214252 SOS 159162 HAS SOPS 159162 HAS SOUS 14915 HAS SOUPS 14915 WITH SCORE 15074.162
AT ITER 1330 NEW BEST:: SOT 215219 SOS 160109 HAS SOPS 160109 HAS SOUS 14894 HAS SOUPS 14894 WITH SCORE 15054.109
AT ITER 1335 NEW BEST:: SOT 216189 SOS 160998 HAS SOPS 160998 HAS SOUS 14812 HAS SOUPS 14812 WITH SCORE 14972.998
AT ITER 1369 NEW BEST:: SOT 216834 SOS 161593 HAS SOPS 161593 HAS SOUS 14761 HAS SOUPS 14761 WITH SCORE 14922.593
AT ITER 1374 NEW BEST:: SOT 217547 SOS 162300 HAS SOPS 162300 HAS SOUS 14754 HAS SOUPS 14754 WITH SCORE 14916.3
AT ITER 1398 NEW BEST:: SOT 218207 SOS 162943 HAS SOPS 162943 HAS SOUS 14736 HAS SOUPS 14736 WITH SCORE 14898.943
AT ITER 1399 NEW BEST:: SOT 218129 SOS 162865 HAS SOPS 162865 HAS SOUS 14736 HAS SOUPS 14736 WITH SCORE 14898.865
AT ITER 1405 NEW BEST:: SOT 218129 SOS 162865 HAS SOPS 162865 HAS SOUS 14727 HAS SOUPS 14727 WITH SCORE 14889.865
AT ITER 1409 NEW BEST:: SOT 219043 SOS 163740 HAS SOPS 163740 HAS SOUS 14687 HAS SOUPS 14687 WITH SCORE 14850.74
AT ITER 1448 NEW BEST:: SOT 219941 SOS 164613 HAS SOPS 164613 HAS SOUS 14661 HAS SOUPS 14661 WITH SCORE 14825.613
AT ITER 1449 NEW BEST:: SOT 220022 SOS 164613 HAS SOPS 164613 HAS SOUS 14580 HAS SOUPS 14580 WITH SCORE 14744.613
AT ITER 1450 NEW BEST:: SOT 220108 SOS 164613 HAS SOPS 164613 HAS SOUS 14494 HAS SOUPS 14494 WITH SCORE 14658.613
AT ITER 1515 NEW BEST:: SOT 220762 SOS 165204 HAS SOPS 165204 HAS SOUS 14430 HAS SOUPS 14430 WITH SCORE 14595.204
AT ITER 1546 NEW BEST:: SOT 220827 SOS 165204 HAS SOPS 165204 HAS SOUS 14365 HAS SOUPS 14365 WITH SCORE 14530.204
AT ITER 1551 NEW BEST:: SOT 220391 SOS 164768 HAS SOPS 164768 HAS SOUS 14329 HAS SOUPS 14329 WITH SCORE 14493.768
AT ITER 1561 NEW BEST:: SOT 221308 SOS 165617 HAS SOPS 165617 HAS SOUS 14260 HAS SOUPS 14260 WITH SCORE 14425.617
AT ITER 1573 NEW BEST:: SOT 222077 SOS 166304 HAS SOPS 166304 HAS SOUS 14177 HAS SOUPS 14177 WITH SCORE 14343.304
AT ITER 1581 NEW BEST:: SOT 222199 SOS 166304 HAS SOPS 166304 HAS SOUS 14055 HAS SOUPS 14055 WITH SCORE 14221.304
AT ITER 1585 NEW BEST:: SOT 223056 SOS 167099 HAS SOPS 167099 HAS SOUS 13992 HAS SOUPS 13992 WITH SCORE 14159.099
AT ITER 1596 NEW BEST:: SOT 224090 SOS 168036 HAS SOPS 168036 HAS SOUS 13894 HAS SOUPS 13894 WITH SCORE 14062.036
AT ITER 1601 NEW BEST:: SOT 225023 SOS 168943 HAS SOPS 168943 HAS SOUS 13867 HAS SOUPS 13867 WITH SCORE 14035.943
AT ITER 1622 NEW BEST:: SOT 225051 SOS 168943 HAS SOPS 168943 HAS SOUS 13839 HAS SOUPS 13839 WITH SCORE 14007.943
AT ITER 1642 NEW BEST:: SOT 225615 SOS 169464 HAS SOPS 169464 HAS SOUS 13795 HAS SOUPS 13795 WITH SCORE 13964.464
AT ITER 1696 NEW BEST:: SOT 226691 SOS 170457 HAS SOPS 170457 HAS SOUS 13755 HAS SOUPS 13755 WITH SCORE 13925.457
AT ITER 1706 NEW BEST:: SOT 226421 SOS 170187 HAS SOPS 170187 HAS SOUS 13755 HAS SOUPS 13755 WITH SCORE 13925.187
AT ITER 1721 NEW BEST:: SOT 226389 SOS 170155 HAS SOPS 170155 HAS SOUS 13755 HAS SOUPS 13755 WITH SCORE 13925.155
AT ITER 1725 NEW BEST:: SOT 226251 SOS 170017 HAS SOPS 170017 HAS SOUS 13755 HAS SOUPS 13755 WITH SCORE 13925.017
AT ITER 1726 NEW BEST:: SOT 226231 SOS 171483 HAS SOPS 171483 HAS SOUS 13745 HAS SOUPS 13745 WITH SCORE 13916.483
AT ITER 1732 NEW BEST:: SOT 226277 SOS 171549 HAS SOPS 171549 HAS SOUS 13680 HAS SOUPS 13680 WITH SCORE 13851.549
AT ITER 1754 NEW BEST:: SOT 226281 SOS 171549 HAS SOPS 171549 HAS SOUS 13676 HAS SOUPS 13676 WITH SCORE 13847.549
AT ITER 1777 NEW BEST:: SOT 226893 SOS 172161 HAS SOPS 172161 HAS SOUS 13666 HAS SOUPS 13666 WITH SCORE 13838.161
AT ITER 1803 NEW BEST:: SOT 226881 SOS 172149 HAS SOPS 172149 HAS SOUS 13666 HAS SOUPS 13666 WITH SCORE 13838.149
AT ITER 1833 NEW BEST:: SOT 227687 SOS 172910 HAS SOPS 172910 HAS SOUS 13598 HAS SOUPS 13598 WITH SCORE 13770.91
AT ITER 1836 NEW BEST:: SOT 227766 SOS 172910 HAS SOPS 172910 HAS SOUS 13519 HAS SOUPS 13519 WITH SCORE 13691.91
AT ITER 1844 NEW BEST:: SOT 227715 SOS 167516 HAS SOPS 167516 HAS SOUS 13507 HAS SOUPS 13507 WITH SCORE 13674.516
AT ITER 1851 NEW BEST:: SOT 228820 SOS 168569 HAS SOPS 168569 HAS SOUS 13468 HAS SOUPS 13468 WITH SCORE 13636.569
AT ITER 1852 NEW BEST:: SOT 229939 SOS 169634 HAS SOPS 169634 HAS SOUS 13403 HAS SOUPS 13403 WITH SCORE 13572.634
AT ITER 1858 NEW BEST:: SOT 230938 SOS 170609 HAS SOPS 170609 HAS SOUS 13356 HAS SOUPS 13356 WITH SCORE 13526.609
AT ITER 1881 NEW BEST:: SOT 231001 SOS 170695 HAS SOPS 170695 HAS SOUS 13341 HAS SOUPS 13341 WITH SCORE 13511.695
AT ITER 1890 NEW BEST:: SOT 230939 SOS 170633 HAS SOPS 170633 HAS SOUS 13341 HAS SOUPS 13341 WITH SCORE 13511.633
AT ITER 1902 NEW BEST:: SOT 231805 SOS 171456 HAS SOPS 171456 HAS SOUS 13275 HAS SOUPS 13275 WITH SCORE 13446.456
AT ITER 1908 NEW BEST:: SOT 232555 SOS 172145 HAS SOPS 172145 HAS SOUS 13191 HAS SOUPS 13191 WITH SCORE 13363.145
AT ITER 1971 NEW BEST:: SOT 233573 SOS 173132 HAS SOPS 173132 HAS SOUS 13137 HAS SOUPS 13137 WITH SCORE 13310.132
AT ITER 1995 NEW BEST:: SOT 233239 SOS 172798 HAS SOPS 172798 HAS SOUS 13137 HAS SOUPS 13137 WITH SCORE 13309.798
AT ITER 2023 NEW BEST:: SOT 233895 SOS 173454 HAS SOPS 173454 HAS SOUS 13119 HAS SOUPS 13119 WITH SCORE 13292.454
AT ITER 2045 NEW BEST:: SOT 234785 SOS 174344 HAS SOPS 174344 HAS SOUS 13103 HAS SOUPS 13103 WITH SCORE 13277.344
AT ITER 2086 NEW BEST:: SOT 234877 SOS 174344 HAS SOPS 174344 HAS SOUS 13011 HAS SOUPS 13011 WITH SCORE 13185.344
AT ITER 2088 NEW BEST:: SOT 234990 SOS 174357 HAS SOPS 174357 HAS SOUS 12898 HAS SOUPS 12898 WITH SCORE 13072.357
AT ITER 2109 NEW BEST:: SOT 233486 SOS 180881 HAS SOPS 180881 HAS SOUS 11337 HAS SOUPS 11337 WITH SCORE 11517.881
AT ITER 2112 NEW BEST:: SOT 233254 SOS 180649 HAS SOPS 180649 HAS SOUS 11337 HAS SOUPS 11337 WITH SCORE 11517.649
AT ITER 2125 NEW BEST:: SOT 232970 SOS 180365 HAS SOPS 180365 HAS SOUS 11337 HAS SOUPS 11337 WITH SCORE 11517.365
AT ITER 2133 NEW BEST:: SOT 233611 SOS 181006 HAS SOPS 181006 HAS SOUS 11332 HAS SOUPS 11332 WITH SCORE 11513.006
AT ITER 2155 NEW BEST:: SOT 233593 SOS 180988 HAS SOPS 180988 HAS SOUS 11332 HAS SOUPS 11332 WITH SCORE 11512.988
AT ITER 2156 NEW BEST:: SOT 234211 SOS 181549 HAS SOPS 181549 HAS SOUS 11252 HAS SOUPS 11252 WITH SCORE 11433.549
AT ITER 2160 NEW BEST:: SOT 234864 SOS 182202 HAS SOPS 182202 HAS SOUS 11231 HAS SOUPS 11231 WITH SCORE 11413.202
AT ITER 2161 NEW BEST:: SOT 234678 SOS 182016 HAS SOPS 182016 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11365.016
AT ITER 2164 NEW BEST:: SOT 234709 SOS 182016 HAS SOPS 182016 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11334.016
AT ITER 2169 NEW BEST:: SOT 234663 SOS 181970 HAS SOPS 181970 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11333.97
AT ITER 2174 NEW BEST:: SOT 235546 SOS 182847 HAS SOPS 182847 HAS SOUS 11123 HAS SOUPS 11123 WITH SCORE 11305.847
AT ITER 2214 NEW BEST:: SOT 235286 SOS 182297 HAS SOPS 182297 HAS SOUS 11008 HAS SOUPS 11008 WITH SCORE 11190.297
AT ITER 2251 NEW BEST:: SOT 236172 SOS 183146 HAS SOPS 183146 HAS SOUS 10948 HAS SOUPS 10948 WITH SCORE 11131.146
AT ITER 2257 NEW BEST:: SOT 236205 SOS 183146 HAS SOPS 183146 HAS SOUS 10915 HAS SOUPS 10915 WITH SCORE 11098.146
AT ITER 2271 NEW BEST:: SOT 236085 SOS 183026 HAS SOPS 183026 HAS SOUS 10915 HAS SOUPS 10915 WITH SCORE 11098.026
AT ITER 2279 NEW BEST:: SOT 236906 SOS 183811 HAS SOPS 183811 HAS SOUS 10856 HAS SOUPS 10856 WITH SCORE 11039.811
AT ITER 2289 NEW BEST:: SOT 236782 SOS 183687 HAS SOPS 183687 HAS SOUS 10856 HAS SOUPS 10856 WITH SCORE 11039.687
AT ITER 2317 NEW BEST:: SOT 237758 SOS 184652 HAS SOPS 184652 HAS SOUS 10822 HAS SOUPS 10822 WITH SCORE 11006.652
AT ITER 2341 NEW BEST:: SOT 237794 SOS 184652 HAS SOPS 184652 HAS SOUS 10786 HAS SOUPS 10786 WITH SCORE 10970.652
AT ITER 2347 NEW BEST:: SOT 238728 SOS 185586 HAS SOPS 185586 HAS SOUS 10784 HAS SOUPS 10784 WITH SCORE 10969.586
AT ITER 2364 NEW BEST:: SOT 238646 SOS 185504 HAS SOPS 185504 HAS SOUS 10784 HAS SOUPS 10784 WITH SCORE 10969.504
AT ITER 2386 NEW BEST:: SOT 238566 SOS 185424 HAS SOPS 185424 HAS SOUS 10784 HAS SOUPS 10784 WITH SCORE 10969.424
AT ITER 2414 NEW BEST:: SOT 238578 SOS 185424 HAS SOPS 185424 HAS SOUS 10772 HAS SOUPS 10772 WITH SCORE 10957.424
AT ITER 2426 NEW BEST:: SOT 238558 SOS 185404 HAS SOPS 185404 HAS SOUS 10772 HAS SOUPS 10772 WITH SCORE 10957.404
AT ITER 2432 NEW BEST:: SOT 238414 SOS 185260 HAS SOPS 185260 HAS SOUS 10772 HAS SOUPS 10772 WITH SCORE 10957.26
AT ITER 2445 NEW BEST:: SOT 239217 SOS 186055 HAS SOPS 186055 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10927.055
AT ITER 2446 NEW BEST:: SOT 238959 SOS 185797 HAS SOPS 185797 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10926.797
AT ITER 2473 NEW BEST:: SOT 239706 SOS 186530 HAS SOPS 186530 HAS SOUS 10704 HAS SOUPS 10704 WITH SCORE 10890.53
AT ITER 2474 NEW BEST:: SOT 240840 SOS 187613 HAS SOPS 187613 HAS SOUS 10696 HAS SOUPS 10696 WITH SCORE 10883.613
AT ITER 2518 NEW BEST:: SOT 240814 SOS 187587 HAS SOPS 187587 HAS SOUS 10696 HAS SOUPS 10696 WITH SCORE 10883.587
AT ITER 2525 NEW BEST:: SOT 241869 SOS 188642 HAS SOPS 188642 HAS SOUS 10687 HAS SOUPS 10687 WITH SCORE 10875.642
AT ITER 2530 NEW BEST:: SOT 241908 SOS 188642 HAS SOPS 188642 HAS SOUS 10648 HAS SOUPS 10648 WITH SCORE 10836.642
AT ITER 2546 NEW BEST:: SOT 241932 SOS 188642 HAS SOPS 188642 HAS SOUS 10624 HAS SOUPS 10624 WITH SCORE 10812.642
AT ITER 2549 NEW BEST:: SOT 242733 SOS 189443 HAS SOPS 189443 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10798.443
AT ITER 2558 NEW BEST:: SOT 242838 SOS 189443 HAS SOPS 189443 HAS SOUS 10504 HAS SOUPS 10504 WITH SCORE 10693.443
AT ITER 2572 NEW BEST:: SOT 242838 SOS 183372 HAS SOPS 183372 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10662.372
AT ITER 2614 NEW BEST:: SOT 242953 SOS 183372 HAS SOPS 183372 HAS SOUS 10364 HAS SOUPS 10364 WITH SCORE 10547.372
AT ITER 2634 NEW BEST:: SOT 242962 SOS 183372 HAS SOPS 183372 HAS SOUS 10355 HAS SOUPS 10355 WITH SCORE 10538.372
AT ITER 2647 NEW BEST:: SOT 243763 SOS 184155 HAS SOPS 184155 HAS SOUS 10314 HAS SOUPS 10314 WITH SCORE 10498.155
AT ITER 2691 NEW BEST:: SOT 244560 SOS 184904 HAS SOPS 184904 HAS SOUS 10243 HAS SOUPS 10243 WITH SCORE 10427.904
AT ITER 2693 NEW BEST:: SOT 244604 SOS 184904 HAS SOPS 184904 HAS SOUS 10199 HAS SOUPS 10199 WITH SCORE 10383.904
AT ITER 2726 NEW BEST:: SOT 244672 SOS 184904 HAS SOPS 184904 HAS SOUS 10131 HAS SOUPS 10131 WITH SCORE 10315.904
AT ITER 2759 NEW BEST:: SOT 244672 SOS 183913 HAS SOPS 183913 HAS SOUS 10117 HAS SOUPS 10117 WITH SCORE 10300.913
AT ITER 2848 NEW BEST:: SOT 245511 SOS 184752 HAS SOPS 184752 HAS SOUS 10114 HAS SOUPS 10114 WITH SCORE 10298.752
AT ITER 2872 NEW BEST:: SOT 245497 SOS 184738 HAS SOPS 184738 HAS SOUS 10114 HAS SOUPS 10114 WITH SCORE 10298.738
AT ITER 2922 NEW BEST:: SOT 245519 SOS 184745 HAS SOPS 184745 HAS SOUS 10092 HAS SOUPS 10092 WITH SCORE 10276.745
AT ITER 2931 NEW BEST:: SOT 245383 SOS 184609 HAS SOPS 184609 HAS SOUS 10092 HAS SOUPS 10092 WITH SCORE 10276.609
AT ITER 2939 NEW BEST:: SOT 246175 SOS 185401 HAS SOPS 185401 HAS SOUS 10084 HAS SOUPS 10084 WITH SCORE 10269.401
AT ITER 2955 NEW BEST:: SOT 246176 SOS 185401 HAS SOPS 185401 HAS SOUS 10083 HAS SOUPS 10083 WITH SCORE 10268.401
AT ITER 2961 NEW BEST:: SOT 246935 SOS 186103 HAS SOPS 186103 HAS SOUS 10010 HAS SOUPS 10010 WITH SCORE 10196.103
AT ITER 2973 NEW BEST:: SOT 247012 SOS 186103 HAS SOPS 186103 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 10119.103
AT ITER 2998 NEW BEST:: SOT 246972 SOS 186063 HAS SOPS 186063 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 10119.063
AT ITER 3018 NEW BEST:: SOT 247868 SOS 186959 HAS SOPS 186959 HAS SOUS 9919 HAS SOUPS 9919 WITH SCORE 10105.959
AT ITER 3054 NEW BEST:: SOT 247842 SOS 186933 HAS SOPS 186933 HAS SOUS 9919 HAS SOUPS 9919 WITH SCORE 10105.933
AT ITER 3109 NEW BEST:: SOT 247913 SOS 186933 HAS SOPS 186933 HAS SOUS 9848 HAS SOUPS 9848 WITH SCORE 10034.933
AT ITER 3142 NEW BEST:: SOT 247589 SOS 186609 HAS SOPS 186609 HAS SOUS 9848 HAS SOUPS 9848 WITH SCORE 10034.609
AT ITER 3163 NEW BEST:: SOT 248501 SOS 187467 HAS SOPS 187467 HAS SOUS 9778 HAS SOUPS 9778 WITH SCORE 9965.467
AT ITER 3194 NEW BEST:: SOT 249289 SOS 188231 HAS SOPS 188231 HAS SOUS 9738 HAS SOUPS 9738 WITH SCORE 9926.231
AT ITER 3196 NEW BEST:: SOT 249324 SOS 188231 HAS SOPS 188231 HAS SOUS 9703 HAS SOUPS 9703 WITH SCORE 9891.231
AT ITER 3214 NEW BEST:: SOT 249291 SOS 184931 HAS SOPS 184931 HAS SOUS 9703 HAS SOUPS 9703 WITH SCORE 9887.931
AT ITER 3226 NEW BEST:: SOT 249119 SOS 184759 HAS SOPS 184759 HAS SOUS 9703 HAS SOUPS 9703 WITH SCORE 9887.759
AT ITER 3241 NEW BEST:: SOT 250085 SOS 185699 HAS SOPS 185699 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9846.699
AT ITER 3283 NEW BEST:: SOT 249205 SOS 192506 HAS SOPS 192506 HAS SOUS 8957 HAS SOUPS 8957 WITH SCORE 9149.506
AT ITER 3300 NEW BEST:: SOT 249066 SOS 198901 HAS SOPS 198901 HAS SOUS 8883 HAS SOUPS 8883 WITH SCORE 9081.901
AT ITER 3353 NEW BEST:: SOT 248776 SOS 198611 HAS SOPS 198611 HAS SOUS 8883 HAS SOUPS 8883 WITH SCORE 9081.611
AT ITER 3370 NEW BEST:: SOT 248700 SOS 198535 HAS SOPS 198535 HAS SOUS 8883 HAS SOUPS 8883 WITH SCORE 9081.535
AT ITER 3373 NEW BEST:: SOT 248648 SOS 204783 HAS SOPS 204783 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 9075.783
AT ITER 3374 NEW BEST:: SOT 248396 SOS 204531 HAS SOPS 204531 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 9075.531
AT ITER 3388 NEW BEST:: SOT 248364 SOS 204499 HAS SOPS 204499 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 9075.499
AT ITER 3422 NEW BEST:: SOT 248146 SOS 204281 HAS SOPS 204281 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 9075.281
AT ITER 3433 NEW BEST:: SOT 248136 SOS 204271 HAS SOPS 204271 HAS SOUS 8861 HAS SOUPS 8861 WITH SCORE 9065.271
AT ITER 3436 NEW BEST:: SOT 247950 SOS 204085 HAS SOPS 204085 HAS SOUS 8861 HAS SOUPS 8861 WITH SCORE 9065.085
AT ITER 3450 NEW BEST:: SOT 248664 SOS 204771 HAS SOPS 204771 HAS SOUS 8817 HAS SOUPS 8817 WITH SCORE 9021.771
AT ITER 3486 NEW BEST:: SOT 248654 SOS 204761 HAS SOPS 204761 HAS SOUS 8817 HAS SOUPS 8817 WITH SCORE 9021.761
AT ITER 3535 NEW BEST:: SOT 248458 SOS 204565 HAS SOPS 204565 HAS SOUS 8817 HAS SOUPS 8817 WITH SCORE 9021.565
AT ITER 3571 NEW BEST:: SOT 248360 SOS 204467 HAS SOPS 204467 HAS SOUS 8817 HAS SOUPS 8817 WITH SCORE 9021.467
AT ITER 3588 NEW BEST:: SOT 248212 SOS 204319 HAS SOPS 204319 HAS SOUS 8817 HAS SOUPS 8817 WITH SCORE 9021.319
AT ITER 3602 NEW BEST:: SOT 248054 SOS 204161 HAS SOPS 204161 HAS SOUS 8817 HAS SOUPS 8817 WITH SCORE 9021.161
AT ITER 3611 NEW BEST:: SOT 247904 SOS 204011 HAS SOPS 204011 HAS SOUS 8817 HAS SOUPS 8817 WITH SCORE 9021.011
AT ITER 3631 NEW BEST:: SOT 247882 SOS 203978 HAS SOPS 203978 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8998.978
AT ITER 3647 NEW BEST:: SOT 247882 SOS 203951 HAS SOPS 203951 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8998.951
AT ITER 3676 NEW BEST:: SOT 247832 SOS 203901 HAS SOPS 203901 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8998.901
AT ITER 3677 NEW BEST:: SOT 247847 SOS 203901 HAS SOPS 203901 HAS SOUS 8780 HAS SOUPS 8780 WITH SCORE 8983.901
AT ITER 3690 NEW BEST:: SOT 247845 SOS 203899 HAS SOPS 203899 HAS SOUS 8780 HAS SOUPS 8780 WITH SCORE 8983.899
AT ITER 3702 NEW BEST:: SOT 248705 SOS 204747 HAS SOPS 204747 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8956.747
AT ITER 3709 NEW BEST:: SOT 248637 SOS 204679 HAS SOPS 204679 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8956.679
AT ITER 3710 NEW BEST:: SOT 248473 SOS 204515 HAS SOPS 204515 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8956.515
AT ITER 3726 NEW BEST:: SOT 248093 SOS 204135 HAS SOPS 204135 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8956.135
AT ITER 3737 NEW BEST:: SOT 248093 SOS 204105 HAS SOPS 204105 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8956.105
AT ITER 3764 NEW BEST:: SOT 248726 SOS 204738 HAS SOPS 204738 HAS SOUS 8747 HAS SOUPS 8747 WITH SCORE 8951.738
AT ITER 3768 NEW BEST:: SOT 248562 SOS 204574 HAS SOPS 204574 HAS SOUS 8747 HAS SOUPS 8747 WITH SCORE 8951.574
AT ITER 3774 NEW BEST:: SOT 248674 SOS 204626 HAS SOPS 204626 HAS SOUS 8635 HAS SOUPS 8635 WITH SCORE 8839.626
AT ITER 3800 NEW BEST:: SOT 247826 SOS 203778 HAS SOPS 203778 HAS SOUS 8635 HAS SOUPS 8635 WITH SCORE 8838.778
AT ITER 3812 NEW BEST:: SOT 248480 SOS 204432 HAS SOPS 204432 HAS SOUS 8623 HAS SOUPS 8623 WITH SCORE 8827.432
AT ITER 3889 NEW BEST:: SOT 248511 SOS 204432 HAS SOPS 204432 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8796.432
AT ITER 3891 NEW BEST:: SOT 248502 SOS 204423 HAS SOPS 204423 HAS SOUS 8583 HAS SOUPS 8583 WITH SCORE 8787.423
AT ITER 3896 NEW BEST:: SOT 248561 SOS 204440 HAS SOPS 204440 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8728.44
AT ITER 3916 NEW BEST:: SOT 248251 SOS 204130 HAS SOPS 204130 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8728.13
AT ITER 3921 NEW BEST:: SOT 248330 SOS 204176 HAS SOPS 204176 HAS SOUS 8445 HAS SOUPS 8445 WITH SCORE 8649.176
AT ITER 3942 NEW BEST:: SOT 248190 SOS 204036 HAS SOPS 204036 HAS SOUS 8445 HAS SOUPS 8445 WITH SCORE 8649.036
AT ITER 3951 NEW BEST:: SOT 248190 SOS 204033 HAS SOPS 204033 HAS SOUS 8445 HAS SOUPS 8445 WITH SCORE 8649.033
AT ITER 3955 NEW BEST:: SOT 248181 SOS 204024 HAS SOPS 204024 HAS SOUS 8436 HAS SOUPS 8436 WITH SCORE 8640.024
AT ITER 3958 NEW BEST:: SOT 248162 SOS 204005 HAS SOPS 204005 HAS SOUS 8417 HAS SOUPS 8417 WITH SCORE 8621.005
AT ITER 3969 NEW BEST:: SOT 247774 SOS 203617 HAS SOPS 203617 HAS SOUS 8417 HAS SOUPS 8417 WITH SCORE 8620.617
AT ITER 4000 NEW BEST:: SOT 247706 SOS 203549 HAS SOPS 203549 HAS SOUS 8417 HAS SOUPS 8417 WITH SCORE 8620.549
AT ITER 4025 NEW BEST:: SOT 247725 SOS 203568 HAS SOPS 203568 HAS SOUS 8398 HAS SOUPS 8398 WITH SCORE 8601.568
AT ITER 4049 NEW BEST:: SOT 247675 SOS 203828 HAS SOPS 203828 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8554.828
AT ITER 4054 NEW BEST:: SOT 247533 SOS 203686 HAS SOPS 203686 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8554.686
AT ITER 4069 NEW BEST:: SOT 247497 SOS 203650 HAS SOPS 203650 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8554.65
AT ITER 4118 NEW BEST:: SOT 247093 SOS 203246 HAS SOPS 203246 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8554.246
AT ITER 4154 NEW BEST:: SOT 246399 SOS 202552 HAS SOPS 202552 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8553.552
AT ITER 4182 NEW BEST:: SOT 246465 SOS 202573 HAS SOPS 202573 HAS SOUS 8285 HAS SOUPS 8285 WITH SCORE 8487.573
AT ITER 4222 NEW BEST:: SOT 246459 SOS 202546 HAS SOPS 202546 HAS SOUS 8279 HAS SOUPS 8279 WITH SCORE 8481.546
AT ITER 4227 NEW BEST:: SOT 246426 SOS 202513 HAS SOPS 202513 HAS SOUS 8246 HAS SOUPS 8246 WITH SCORE 8448.513
AT ITER 4245 NEW BEST:: SOT 246324 SOS 202411 HAS SOPS 202411 HAS SOUS 8246 HAS SOUPS 8246 WITH SCORE 8448.411
AT ITER 4248 NEW BEST:: SOT 246340 SOS 202411 HAS SOPS 202411 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8432.411
AT ITER 4285 NEW BEST:: SOT 246172 SOS 202243 HAS SOPS 202243 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8432.243
AT ITER 4360 NEW BEST:: SOT 246139 SOS 202210 HAS SOPS 202210 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8399.21
AT ITER 4371 NEW BEST:: SOT 246039 SOS 202110 HAS SOPS 202110 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8399.11
AT ITER 4384 NEW BEST:: SOT 245733 SOS 201804 HAS SOPS 201804 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8398.804
AT ITER 4455 NEW BEST:: SOT 245527 SOS 201598 HAS SOPS 201598 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8398.598
AT ITER 4464 NEW BEST:: SOT 245019 SOS 201090 HAS SOPS 201090 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8398.09
AT ITER 4490 NEW BEST:: SOT 245072 SOS 201090 HAS SOPS 201090 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8345.09
AT ITER 4493 NEW BEST:: SOT 244258 SOS 200276 HAS SOPS 200276 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8344.276
AT ITER 4497 NEW BEST:: SOT 244255 SOS 200247 HAS SOPS 200247 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8341.247
AT ITER 4516 NEW BEST:: SOT 243999 SOS 199991 HAS SOPS 199991 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8340.991
AT ITER 4538 NEW BEST:: SOT 243727 SOS 199719 HAS SOPS 199719 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8340.719
AT ITER 4568 NEW BEST:: SOT 243513 SOS 199505 HAS SOPS 199505 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8340.505
AT ITER 4569 NEW BEST:: SOT 243512 SOS 199501 HAS SOPS 199501 HAS SOUS 8140 HAS SOUPS 8140 WITH SCORE 8339.501
AT ITER 4573 NEW BEST:: SOT 243273 SOS 199023 HAS SOPS 199023 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8334.023
AT ITER 4575 NEW BEST:: SOT 243135 SOS 198885 HAS SOPS 198885 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8333.885
AT ITER 4602 NEW BEST:: SOT 242985 SOS 198735 HAS SOPS 198735 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8333.735
AT ITER 4606 NEW BEST:: SOT 242481 SOS 198231 HAS SOPS 198231 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8333.231
AT ITER 4621 NEW BEST:: SOT 242413 SOS 198163 HAS SOPS 198163 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8333.163
AT ITER 4640 NEW BEST:: SOT 242171 SOS 197921 HAS SOPS 197921 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8332.921
AT ITER 4641 NEW BEST:: SOT 242105 SOS 197855 HAS SOPS 197855 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8332.855
AT ITER 4679 NEW BEST:: SOT 241999 SOS 197749 HAS SOPS 197749 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8332.749
AT ITER 4700 NEW BEST:: SOT 241835 SOS 197585 HAS SOPS 197585 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8332.585
AT ITER 4738 NEW BEST:: SOT 241802 SOS 197552 HAS SOPS 197552 HAS SOUS 8102 HAS SOUPS 8102 WITH SCORE 8299.552
AT ITER 4739 NEW BEST:: SOT 241799 SOS 197483 HAS SOPS 197483 HAS SOUS 8099 HAS SOUPS 8099 WITH SCORE 8296.483
AT ITER 4747 NEW BEST:: SOT 241477 SOS 197161 HAS SOPS 197161 HAS SOUS 8099 HAS SOUPS 8099 WITH SCORE 8296.161
AT ITER 4752 NEW BEST:: SOT 241383 SOS 197067 HAS SOPS 197067 HAS SOUS 8099 HAS SOUPS 8099 WITH SCORE 8296.067
AT ITER 4784 NEW BEST:: SOT 241363 SOS 197047 HAS SOPS 197047 HAS SOUS 8079 HAS SOUPS 8079 WITH SCORE 8276.047
AT ITER 4826 NEW BEST:: SOT 241363 SOS 196980 HAS SOPS 196980 HAS SOUS 8079 HAS SOUPS 8079 WITH SCORE 8275.98
AT ITER 4834 NEW BEST:: SOT 241333 SOS 196950 HAS SOPS 196950 HAS SOUS 8079 HAS SOUPS 8079 WITH SCORE 8275.95
AT ITER 4849 NEW BEST:: SOT 241398 SOS 196952 HAS SOPS 196952 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8210.952
AT ITER 4884 NEW BEST:: SOT 241456 SOS 208478 HAS SOPS 208478 HAS SOUS 7974 HAS SOUPS 7974 WITH SCORE 8182.478
AT ITER 4905 NEW BEST:: SOT 241320 SOS 208342 HAS SOPS 208342 HAS SOUS 7974 HAS SOUPS 7974 WITH SCORE 8182.342
AT ITER 4907 NEW BEST:: SOT 241935 SOS 208933 HAS SOPS 208933 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 8155.933
AT ITER 4934 NEW BEST:: SOT 241751 SOS 208749 HAS SOPS 208749 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 8155.749
AT ITER 4975 NEW BEST:: SOT 241703 SOS 208701 HAS SOPS 208701 HAS SOUS 7899 HAS SOUPS 7899 WITH SCORE 8107.701
AT ITER 5052 NEW BEST:: SOT 241725 SOS 208701 HAS SOPS 208701 HAS SOUS 7877 HAS SOUPS 7877 WITH SCORE 8085.701
AT ITER 5053 NEW BEST:: SOT 241746 SOS 208705 HAS SOPS 208705 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 8064.705
AT ITER 5100 NEW BEST:: SOT 241474 SOS 208433 HAS SOPS 208433 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 8064.433
AT ITER 5203 NEW BEST:: SOT 241356 SOS 208315 HAS SOPS 208315 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 8064.315
AT ITER 5220 NEW BEST:: SOT 240916 SOS 207875 HAS SOPS 207875 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 8063.875
AT ITER 5225 NEW BEST:: SOT 240905 SOS 207864 HAS SOPS 207864 HAS SOUS 7845 HAS SOUPS 7845 WITH SCORE 8052.864
AT ITER 5239 NEW BEST:: SOT 240905 SOS 207864 HAS SOPS 207864 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7994.864
AT ITER 5253 NEW BEST:: SOT 240505 SOS 207464 HAS SOPS 207464 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7994.464
AT ITER 5335 NEW BEST:: SOT 240474 SOS 207469 HAS SOPS 207469 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7963.469
AT ITER 5351 NEW BEST:: SOT 240358 SOS 207353 HAS SOPS 207353 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7963.353
AT ITER 5358 NEW BEST:: SOT 240350 SOS 207345 HAS SOPS 207345 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7959.345
AT ITER 5378 NEW BEST:: SOT 240361 SOS 205967 HAS SOPS 205967 HAS SOUS 7749 HAS SOUPS 7749 WITH SCORE 7954.967
AT ITER 5395 NEW BEST:: SOT 239981 SOS 205587 HAS SOPS 205587 HAS SOUS 7749 HAS SOUPS 7749 WITH SCORE 7954.587
AT ITER 5423 NEW BEST:: SOT 239977 SOS 205583 HAS SOPS 205583 HAS SOUS 7745 HAS SOUPS 7745 WITH SCORE 7950.583
AT ITER 5450 NEW BEST:: SOT 239915 SOS 205521 HAS SOPS 205521 HAS SOUS 7745 HAS SOUPS 7745 WITH SCORE 7950.521
AT ITER 5455 NEW BEST:: SOT 239889 SOS 205515 HAS SOPS 205515 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7924.515
AT ITER 5464 NEW BEST:: SOT 239889 SOS 205511 HAS SOPS 205511 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7924.511
AT ITER 5495 NEW BEST:: SOT 239809 SOS 205431 HAS SOPS 205431 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7924.431
AT ITER 5504 NEW BEST:: SOT 239792 SOS 205414 HAS SOPS 205414 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7907.414
AT ITER 5505 NEW BEST:: SOT 239390 SOS 205012 HAS SOPS 205012 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7907.012
AT ITER 5510 NEW BEST:: SOT 239264 SOS 204886 HAS SOPS 204886 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7906.886
AT ITER 5557 NEW BEST:: SOT 239156 SOS 204778 HAS SOPS 204778 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7906.778
AT ITER 5567 NEW BEST:: SOT 238970 SOS 204592 HAS SOPS 204592 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7906.592
AT ITER 5584 NEW BEST:: SOT 238716 SOS 204338 HAS SOPS 204338 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7906.338
AT ITER 5600 NEW BEST:: SOT 238634 SOS 204256 HAS SOPS 204256 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7906.256
AT ITER 5623 NEW BEST:: SOT 238572 SOS 204194 HAS SOPS 204194 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7906.194
AT ITER 5627 NEW BEST:: SOT 238639 SOS 204220 HAS SOPS 204220 HAS SOUS 7635 HAS SOUPS 7635 WITH SCORE 7839.22
AT ITER 5639 NEW BEST:: SOT 238619 SOS 204200 HAS SOPS 204200 HAS SOUS 7635 HAS SOUPS 7635 WITH SCORE 7839.2
AT ITER 5648 NEW BEST:: SOT 238341 SOS 203922 HAS SOPS 203922 HAS SOUS 7635 HAS SOUPS 7635 WITH SCORE 7838.922
AT ITER 5649 NEW BEST:: SOT 238033 SOS 203614 HAS SOPS 203614 HAS SOUS 7635 HAS SOUPS 7635 WITH SCORE 7838.614
AT ITER 5651 NEW BEST:: SOT 238093 SOS 203605 HAS SOPS 203605 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7764.605
AT ITER 5652 NEW BEST:: SOT 238039 SOS 203551 HAS SOPS 203551 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7764.551
AT ITER 5664 NEW BEST:: SOT 237819 SOS 203331 HAS SOPS 203331 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7764.331
AT ITER 5708 NEW BEST:: SOT 237493 SOS 203005 HAS SOPS 203005 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7764.005
AT ITER 5726 NEW BEST:: SOT 237293 SOS 202805 HAS SOPS 202805 HAS SOUS 7560 HAS SOUPS 7560 WITH SCORE 7762.805
AT ITER 5736 NEW BEST:: SOT 235062 SOS 213369 HAS SOPS 213369 HAS SOUS 5598 HAS SOUPS 5598 WITH SCORE 5811.369
AT ITER 5753 NEW BEST:: SOT 235057 SOS 213364 HAS SOPS 213364 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5806.364
AT ITER 5764 NEW BEST:: SOT 235035 SOS 213342 HAS SOPS 213342 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5806.342
AT ITER 5789 NEW BEST:: SOT 234949 SOS 213256 HAS SOPS 213256 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5806.256
AT ITER 5828 NEW BEST:: SOT 234659 SOS 212966 HAS SOPS 212966 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5805.966
AT ITER 5848 NEW BEST:: SOT 234672 SOS 212979 HAS SOPS 212979 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5792.979
AT ITER 5852 NEW BEST:: SOT 234660 SOS 212967 HAS SOPS 212967 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5792.967
AT ITER 5860 NEW BEST:: SOT 233926 SOS 212233 HAS SOPS 212233 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5792.233
AT ITER 5909 NEW BEST:: SOT 233931 SOS 212238 HAS SOPS 212238 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5787.238
AT ITER 5963 NEW BEST:: SOT 233747 SOS 212054 HAS SOPS 212054 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5787.054
AT ITER 5971 NEW BEST:: SOT 233333 SOS 211640 HAS SOPS 211640 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5786.64
AT ITER 5995 NEW BEST:: SOT 233163 SOS 211470 HAS SOPS 211470 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5786.47
AT ITER 5998 NEW BEST:: SOT 233153 SOS 211460 HAS SOPS 211460 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5776.46
AT ITER 6028 NEW BEST:: SOT 232913 SOS 211220 HAS SOPS 211220 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5776.22
AT ITER 6065 NEW BEST:: SOT 232911 SOS 211218 HAS SOPS 211218 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5776.218
AT ITER 6091 NEW BEST:: SOT 232591 SOS 210898 HAS SOPS 210898 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5775.898
AT ITER 6109 NEW BEST:: SOT 232586 SOS 210893 HAS SOPS 210893 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5770.893
AT ITER 6112 NEW BEST:: SOT 232560 SOS 210867 HAS SOPS 210867 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5770.867
AT ITER 6116 NEW BEST:: SOT 232262 SOS 210569 HAS SOPS 210569 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5770.569
AT ITER 6166 NEW BEST:: SOT 232052 SOS 210359 HAS SOPS 210359 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5770.359
AT ITER 6224 NEW BEST:: SOT 231500 SOS 209807 HAS SOPS 209807 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5769.807
AT ITER 6239 NEW BEST:: SOT 231541 SOS 209848 HAS SOPS 209848 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5756.848
AT ITER 6302 NEW BEST:: SOT 231129 SOS 209436 HAS SOPS 209436 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5756.436
AT ITER 6334 NEW BEST:: SOT 230723 SOS 209030 HAS SOPS 209030 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5756.03
AT ITER 6342 NEW BEST:: SOT 230671 SOS 208978 HAS SOPS 208978 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5755.978
AT ITER 6414 NEW BEST:: SOT 230649 SOS 208956 HAS SOPS 208956 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5755.956
AT ITER 6435 NEW BEST:: SOT 230405 SOS 208712 HAS SOPS 208712 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5755.712
AT ITER 6439 NEW BEST:: SOT 229883 SOS 208190 HAS SOPS 208190 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5755.19
AT ITER 6455 NEW BEST:: SOT 229807 SOS 208114 HAS SOPS 208114 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5755.114
AT ITER 6465 NEW BEST:: SOT 229801 SOS 208108 HAS SOPS 208108 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5755.108
AT ITER 6581 NEW BEST:: SOT 229932 SOS 208234 HAS SOPS 208234 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5706.234
AT ITER 6620 NEW BEST:: SOT 229590 SOS 207892 HAS SOPS 207892 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5705.892
AT ITER 6641 NEW BEST:: SOT 229424 SOS 207726 HAS SOPS 207726 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5701.726
AT ITER 6673 NEW BEST:: SOT 229820 SOS 208112 HAS SOPS 208112 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5670.112
AT ITER 6685 NEW BEST:: SOT 229799 SOS 208070 HAS SOPS 208070 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5649.07
AT ITER 6706 NEW BEST:: SOT 229445 SOS 207716 HAS SOPS 207716 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5648.716
AT ITER 6715 NEW BEST:: SOT 229327 SOS 207598 HAS SOPS 207598 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5648.598
AT ITER 6716 NEW BEST:: SOT 229043 SOS 207314 HAS SOPS 207314 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5648.314
AT ITER 6752 NEW BEST:: SOT 228873 SOS 207144 HAS SOPS 207144 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5648.144
AT ITER 6786 NEW BEST:: SOT 228443 SOS 206714 HAS SOPS 206714 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5647.714
AT ITER 6795 NEW BEST:: SOT 227947 SOS 206218 HAS SOPS 206218 HAS SOUS 5359 HAS SOUPS 5359 WITH SCORE 5565.218
AT ITER 6806 NEW BEST:: SOT 227673 SOS 205944 HAS SOPS 205944 HAS SOUS 5359 HAS SOUPS 5359 WITH SCORE 5564.944
AT ITER 6849 NEW BEST:: SOT 228019 SOS 206246 HAS SOPS 206246 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5541.246
AT ITER 6854 NEW BEST:: SOT 227915 SOS 206142 HAS SOPS 206142 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5541.142
AT ITER 6935 NEW BEST:: SOT 227695 SOS 205922 HAS SOPS 205922 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5540.922
AT ITER 6944 NEW BEST:: SOT 227465 SOS 205692 HAS SOPS 205692 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5540.692
AT ITER 6985 NEW BEST:: SOT 227365 SOS 205592 HAS SOPS 205592 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5540.592
AT ITER 6998 NEW BEST:: SOT 227339 SOS 205566 HAS SOPS 205566 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5540.566
AT ITER 7043 NEW BEST:: SOT 227352 SOS 205579 HAS SOPS 205579 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5527.579
AT ITER 7053 NEW BEST:: SOT 227318 SOS 205545 HAS SOPS 205545 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5527.545
AT ITER 7069 NEW BEST:: SOT 227086 SOS 205313 HAS SOPS 205313 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5527.313
AT ITER 7079 NEW BEST:: SOT 226874 SOS 205101 HAS SOPS 205101 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5525.101
AT ITER 7138 NEW BEST:: SOT 226913 SOS 205140 HAS SOPS 205140 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5502.14
AT ITER 7147 NEW BEST:: SOT 226821 SOS 205048 HAS SOPS 205048 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5502.048
AT ITER 7181 NEW BEST:: SOT 226723 SOS 204950 HAS SOPS 204950 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5501.95
AT ITER 7191 NEW BEST:: SOT 226593 SOS 204820 HAS SOPS 204820 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5467.82
AT ITER 7268 NEW BEST:: SOT 226569 SOS 204796 HAS SOPS 204796 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5467.796
AT ITER 7309 NEW BEST:: SOT 226477 SOS 204704 HAS SOPS 204704 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5467.704
AT ITER 7376 NEW BEST:: SOT 226375 SOS 204602 HAS SOPS 204602 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5467.602
AT ITER 7381 NEW BEST:: SOT 226171 SOS 204398 HAS SOPS 204398 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5467.398
AT ITER 7384 NEW BEST:: SOT 225861 SOS 204088 HAS SOPS 204088 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5423.088
AT ITER 7415 NEW BEST:: SOT 225861 SOS 204088 HAS SOPS 204088 HAS SOUS 5217 HAS SOUPS 5217 WITH SCORE 5421.088
AT ITER 7440 NEW BEST:: SOT 225896 SOS 204119 HAS SOPS 204119 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5386.119
AT ITER 7480 NEW BEST:: SOT 225558 SOS 203781 HAS SOPS 203781 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5385.781
AT ITER 7498 NEW BEST:: SOT 225498 SOS 203721 HAS SOPS 203721 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5385.721
AT ITER 7507 NEW BEST:: SOT 225469 SOS 203663 HAS SOPS 203663 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5385.6630000000005
AT ITER 7512 NEW BEST:: SOT 225169 SOS 203363 HAS SOPS 203363 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5385.363
AT ITER 7515 NEW BEST:: SOT 224679 SOS 205657 HAS SOPS 205657 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 5003.657
AT ITER 7532 NEW BEST:: SOT 224658 SOS 205636 HAS SOPS 205636 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4982.636
AT ITER 7552 NEW BEST:: SOT 224400 SOS 205378 HAS SOPS 205378 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4982.378
AT ITER 7609 NEW BEST:: SOT 224308 SOS 205286 HAS SOPS 205286 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4982.286
AT ITER 7624 NEW BEST:: SOT 224164 SOS 205142 HAS SOPS 205142 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4982.142
AT ITER 7625 NEW BEST:: SOT 224042 SOS 205020 HAS SOPS 205020 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4982.02
AT ITER 7647 NEW BEST:: SOT 223704 SOS 204682 HAS SOPS 204682 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4981.682
AT ITER 7690 NEW BEST:: SOT 223692 SOS 204670 HAS SOPS 204670 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4981.67
AT ITER 7747 NEW BEST:: SOT 223684 SOS 204662 HAS SOPS 204662 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4981.662
AT ITER 7795 NEW BEST:: SOT 223650 SOS 204628 HAS SOPS 204628 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4981.628
AT ITER 7818 NEW BEST:: SOT 223578 SOS 204556 HAS SOPS 204556 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4981.556
AT ITER 7899 NEW BEST:: SOT 223262 SOS 204240 HAS SOPS 204240 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4981.24
AT ITER 7901 NEW BEST:: SOT 223262 SOS 204240 HAS SOPS 204240 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4979.24
AT ITER 7910 NEW BEST:: SOT 223248 SOS 204226 HAS SOPS 204226 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4979.226
AT ITER 7911 NEW BEST:: SOT 223044 SOS 204022 HAS SOPS 204022 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4979.022
AT ITER 7940 NEW BEST:: SOT 222986 SOS 203964 HAS SOPS 203964 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4978.964
AT ITER 7942 NEW BEST:: SOT 223217 SOS 204189 HAS SOPS 204189 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4966.189
AT ITER 7982 NEW BEST:: SOT 223027 SOS 203999 HAS SOPS 203999 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4965.999
AT ITER 8041 NEW BEST:: SOT 222989 SOS 203961 HAS SOPS 203961 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4965.961
AT ITER 8107 NEW BEST:: SOT 222837 SOS 203809 HAS SOPS 203809 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4965.809
AT ITER 8110 NEW BEST:: SOT 222805 SOS 203777 HAS SOPS 203777 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4965.777
AT ITER 8141 NEW BEST:: SOT 222695 SOS 203667 HAS SOPS 203667 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4965.667
AT ITER 8197 NEW BEST:: SOT 222275 SOS 203247 HAS SOPS 203247 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4965.247
AT ITER 8263 NEW BEST:: SOT 222289 SOS 203247 HAS SOPS 203247 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4951.247
AT ITER 8290 NEW BEST:: SOT 221997 SOS 202955 HAS SOPS 202955 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4950.955
AT ITER 8309 NEW BEST:: SOT 221891 SOS 202849 HAS SOPS 202849 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4950.849
AT ITER 8407 NEW BEST:: SOT 221801 SOS 202759 HAS SOPS 202759 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4950.759
AT ITER 8424 NEW BEST:: SOT 221679 SOS 202637 HAS SOPS 202637 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4950.637
AT ITER 8510 NEW BEST:: SOT 221601 SOS 202559 HAS SOPS 202559 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4950.559
AT ITER 8636 NEW BEST:: SOT 221515 SOS 202473 HAS SOPS 202473 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4950.473
AT ITER 8658 NEW BEST:: SOT 221530 SOS 202478 HAS SOPS 202478 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4933.478
AT ITER 8677 NEW BEST:: SOT 221322 SOS 202270 HAS SOPS 202270 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4933.27
AT ITER 8679 NEW BEST:: SOT 221162 SOS 202110 HAS SOPS 202110 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4933.11
AT ITER 8807 NEW BEST:: SOT 221144 SOS 202092 HAS SOPS 202092 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4933.092
AT ITER 8816 NEW BEST:: SOT 221143 SOS 202091 HAS SOPS 202091 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4932.091
AT ITER 8842 NEW BEST:: SOT 220755 SOS 201703 HAS SOPS 201703 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4931.703
AT ITER 8853 NEW BEST:: SOT 220575 SOS 201523 HAS SOPS 201523 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4931.523
AT ITER 8855 NEW BEST:: SOT 220459 SOS 201407 HAS SOPS 201407 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4931.407
AT ITER 8858 NEW BEST:: SOT 220409 SOS 201357 HAS SOPS 201357 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4931.357
AT ITER 8914 NEW BEST:: SOT 220375 SOS 201323 HAS SOPS 201323 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4931.323
AT ITER 8924 NEW BEST:: SOT 220345 SOS 201268 HAS SOPS 201268 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4926.268
AT ITER 8925 NEW BEST:: SOT 220261 SOS 201184 HAS SOPS 201184 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4926.184
AT ITER 8992 NEW BEST:: SOT 219807 SOS 200730 HAS SOPS 200730 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4925.73
AT ITER 9000 NEW BEST:: SOT 219793 SOS 200716 HAS SOPS 200716 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4925.716
AT ITER 9009 NEW BEST:: SOT 220336 SOS 201259 HAS SOPS 201259 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4907.259
AT ITER 9011 NEW BEST:: SOT 220286 SOS 201209 HAS SOPS 201209 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4907.209
AT ITER 9017 NEW BEST:: SOT 219694 SOS 200617 HAS SOPS 200617 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4778.617
AT ITER 9021 NEW BEST:: SOT 219478 SOS 200401 HAS SOPS 200401 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4778.401
AT ITER 9045 NEW BEST:: SOT 219432 SOS 200355 HAS SOPS 200355 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4778.355
AT ITER 9068 NEW BEST:: SOT 219294 SOS 200217 HAS SOPS 200217 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4778.217
AT ITER 9073 NEW BEST:: SOT 218938 SOS 199861 HAS SOPS 199861 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4777.861
AT ITER 9099 NEW BEST:: SOT 218862 SOS 199785 HAS SOPS 199785 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4777.785
AT ITER 9170 NEW BEST:: SOT 218854 SOS 199777 HAS SOPS 199777 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4777.777
AT ITER 9247 NEW BEST:: SOT 218858 SOS 199185 HAS SOPS 199185 HAS SOUS 4576 HAS SOUPS 4576 WITH SCORE 4775.185
AT ITER 9264 NEW BEST:: SOT 218768 SOS 199095 HAS SOPS 199095 HAS SOUS 4546 HAS SOUPS 4546 WITH SCORE 4745.095
AT ITER 9273 NEW BEST:: SOT 218588 SOS 198915 HAS SOPS 198915 HAS SOUS 4546 HAS SOUPS 4546 WITH SCORE 4744.915
AT ITER 9275 NEW BEST:: SOT 218214 SOS 198541 HAS SOPS 198541 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4722.541
AT ITER 9289 NEW BEST:: SOT 218166 SOS 198493 HAS SOPS 198493 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4722.493
AT ITER 9406 NEW BEST:: SOT 218166 SOS 198493 HAS SOPS 198493 HAS SOUS 4523 HAS SOUPS 4523 WITH SCORE 4721.493
AT ITER 9451 NEW BEST:: SOT 217546 SOS 197873 HAS SOPS 197873 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4676.873
AT ITER 9509 NEW BEST:: SOT 217464 SOS 197791 HAS SOPS 197791 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4676.791
AT ITER 9518 NEW BEST:: SOT 217464 SOS 197589 HAS SOPS 197589 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4676.589
AT ITER 9570 NEW BEST:: SOT 217266 SOS 197391 HAS SOPS 197391 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4676.391
AT ITER 9584 NEW BEST:: SOT 217273 SOS 193149 HAS SOPS 193149 HAS SOUS 4431 HAS SOUPS 4431 WITH SCORE 4624.149
AT ITER 9590 NEW BEST:: SOT 216907 SOS 192783 HAS SOPS 192783 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4620.783
AT ITER 9610 NEW BEST:: SOT 216863 SOS 192739 HAS SOPS 192739 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4620.739
AT ITER 9617 NEW BEST:: SOT 216429 SOS 192305 HAS SOPS 192305 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4620.305
AT ITER 9665 NEW BEST:: SOT 216283 SOS 192159 HAS SOPS 192159 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4620.159
AT ITER 9738 NEW BEST:: SOT 216263 SOS 192139 HAS SOPS 192139 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4620.139
AT ITER 9833 NEW BEST:: SOT 216233 SOS 192109 HAS SOPS 192109 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4620.109
AT ITER 9836 NEW BEST:: SOT 215989 SOS 191865 HAS SOPS 191865 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4619.865
AT ITER 9883 NEW BEST:: SOT 215709 SOS 191585 HAS SOPS 191585 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4619.585
AT ITER 9895 NEW BEST:: SOT 215625 SOS 191501 HAS SOPS 191501 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4619.501
AT ITER 9987 NEW BEST:: SOT 215493 SOS 191369 HAS SOPS 191369 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4619.369
STATE_SPACE STATES 34877423 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 308 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 155007424 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678730906635

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is AirplaneLD-COL-0100, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813599900200"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-COL-0100.tgz
mv AirplaneLD-COL-0100 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 ;