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.r395-oct2-167903718600272.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 ShieldIIPt-PT-010B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718600272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 656K
-rw-r--r-- 1 mcc users 7.3K Feb 25 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 16:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 16:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Feb 25 16:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 16:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 16:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:56 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 167K 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 1679560435486

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=ShieldIIPt-PT-010B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 08:33:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 08:33:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 08:33:58] [INFO ] Load time of PNML (sax parser for PT used): 85 ms
[2023-03-23 08:33:58] [INFO ] Transformed 703 places.
[2023-03-23 08:33:58] [INFO ] Transformed 653 transitions.
[2023-03-23 08:33:58] [INFO ] Found NUPN structural information;
[2023-03-23 08:33:58] [INFO ] Parsed PT model containing 703 places and 653 transitions and 1626 arcs in 197 ms.
[2023-03-23 08:33:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 703 places, 653 transitions and 1626 arcs took 17 ms.
Total runtime 256 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 010B
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: 703 places, 653 transitions, 1626 arcs.
AT ITER 0 NEW BEST:: SOT 244046 SOS 42062 HAS SOPS 42062 HAS SOUS 38969 HAS SOUPS 38969 WITH SCORE 39011.062
AT ITER 14 NEW BEST:: SOT 244072 SOS 42028 HAS SOPS 42028 HAS SOUS 38952 HAS SOUPS 38952 WITH SCORE 38994.028
AT ITER 20 NEW BEST:: SOT 244073 SOS 41990 HAS SOPS 41990 HAS SOUS 38914 HAS SOUPS 38914 WITH SCORE 38955.99
AT ITER 63 NEW BEST:: SOT 244055 SOS 41924 HAS SOPS 41924 HAS SOUS 38848 HAS SOUPS 38848 WITH SCORE 38889.924
AT ITER 84 NEW BEST:: SOT 244022 SOS 41801 HAS SOPS 41801 HAS SOUS 38827 HAS SOUPS 38827 WITH SCORE 38868.801
AT ITER 97 NEW BEST:: SOT 244021 SOS 41799 HAS SOPS 41799 HAS SOUS 38825 HAS SOUPS 38825 WITH SCORE 38866.799
AT ITER 103 NEW BEST:: SOT 244010 SOS 41774 HAS SOPS 41774 HAS SOUS 38819 HAS SOUPS 38819 WITH SCORE 38860.774
AT ITER 120 NEW BEST:: SOT 243998 SOS 41738 HAS SOPS 41738 HAS SOUS 38783 HAS SOUPS 38783 WITH SCORE 38824.738
AT ITER 171 NEW BEST:: SOT 243995 SOS 41787 HAS SOPS 41787 HAS SOUS 38770 HAS SOUPS 38770 WITH SCORE 38811.787
AT ITER 188 NEW BEST:: SOT 243965 SOS 41727 HAS SOPS 41727 HAS SOUS 38710 HAS SOUPS 38710 WITH SCORE 38751.727
AT ITER 209 NEW BEST:: SOT 243961 SOS 41723 HAS SOPS 41723 HAS SOUS 38706 HAS SOUPS 38706 WITH SCORE 38747.723
AT ITER 229 NEW BEST:: SOT 243960 SOS 41707 HAS SOPS 41707 HAS SOUS 38701 HAS SOUPS 38701 WITH SCORE 38742.707
AT ITER 239 NEW BEST:: SOT 243978 SOS 41699 HAS SOPS 41699 HAS SOUS 38633 HAS SOUPS 38633 WITH SCORE 38674.699
AT ITER 265 NEW BEST:: SOT 243991 SOS 41560 HAS SOPS 41560 HAS SOUS 38628 HAS SOUPS 38628 WITH SCORE 38669.56
AT ITER 289 NEW BEST:: SOT 243998 SOS 41491 HAS SOPS 41491 HAS SOUS 38559 HAS SOUPS 38559 WITH SCORE 38600.491
AT ITER 294 NEW BEST:: SOT 243956 SOS 41449 HAS SOPS 41449 HAS SOUS 38517 HAS SOUPS 38517 WITH SCORE 38558.449
AT ITER 312 NEW BEST:: SOT 243915 SOS 41326 HAS SOPS 41326 HAS SOUS 38435 HAS SOUPS 38435 WITH SCORE 38476.326
AT ITER 315 NEW BEST:: SOT 243879 SOS 41192 HAS SOPS 41192 HAS SOUS 38337 HAS SOUPS 38337 WITH SCORE 38378.192
AT ITER 324 NEW BEST:: SOT 243941 SOS 41183 HAS SOPS 41183 HAS SOUS 38328 HAS SOUPS 38328 WITH SCORE 38369.183
AT ITER 342 NEW BEST:: SOT 243910 SOS 41090 HAS SOPS 41090 HAS SOUS 38235 HAS SOUPS 38235 WITH SCORE 38276.09
AT ITER 347 NEW BEST:: SOT 243910 SOS 41039 HAS SOPS 41039 HAS SOUS 38184 HAS SOUPS 38184 WITH SCORE 38225.039
AT ITER 357 NEW BEST:: SOT 243911 SOS 41039 HAS SOPS 41039 HAS SOUS 38183 HAS SOUPS 38183 WITH SCORE 38224.039
AT ITER 360 NEW BEST:: SOT 243863 SOS 40943 HAS SOPS 40943 HAS SOUS 38087 HAS SOUPS 38087 WITH SCORE 38127.943
AT ITER 401 NEW BEST:: SOT 243840 SOS 40707 HAS SOPS 40707 HAS SOUS 37960 HAS SOUPS 37960 WITH SCORE 38000.707
AT ITER 492 NEW BEST:: SOT 243836 SOS 40705 HAS SOPS 40705 HAS SOUS 37958 HAS SOUPS 37958 WITH SCORE 37998.705
AT ITER 508 NEW BEST:: SOT 243787 SOS 40643 HAS SOPS 40643 HAS SOUS 37907 HAS SOUPS 37907 WITH SCORE 37947.643
AT ITER 527 NEW BEST:: SOT 243743 SOS 40622 HAS SOPS 40622 HAS SOUS 37883 HAS SOUPS 37883 WITH SCORE 37923.622
AT ITER 579 NEW BEST:: SOT 243768 SOS 40602 HAS SOPS 40602 HAS SOUS 37880 HAS SOUPS 37880 WITH SCORE 37920.602
AT ITER 581 NEW BEST:: SOT 243773 SOS 40550 HAS SOPS 40550 HAS SOUS 37828 HAS SOUPS 37828 WITH SCORE 37868.55
AT ITER 594 NEW BEST:: SOT 243795 SOS 40480 HAS SOPS 40480 HAS SOUS 37793 HAS SOUPS 37793 WITH SCORE 37833.48
AT ITER 608 NEW BEST:: SOT 243815 SOS 40431 HAS SOPS 40431 HAS SOUS 37744 HAS SOUPS 37744 WITH SCORE 37784.431
AT ITER 624 NEW BEST:: SOT 243781 SOS 40397 HAS SOPS 40397 HAS SOUS 37710 HAS SOUPS 37710 WITH SCORE 37750.397
AT ITER 638 NEW BEST:: SOT 243781 SOS 40396 HAS SOPS 40396 HAS SOUS 37709 HAS SOUPS 37709 WITH SCORE 37749.396
AT ITER 660 NEW BEST:: SOT 243714 SOS 40365 HAS SOPS 40365 HAS SOUS 37678 HAS SOUPS 37678 WITH SCORE 37718.365
AT ITER 672 NEW BEST:: SOT 243714 SOS 40294 HAS SOPS 40294 HAS SOUS 37607 HAS SOUPS 37607 WITH SCORE 37647.294
AT ITER 673 NEW BEST:: SOT 243580 SOS 40025 HAS SOPS 40025 HAS SOUS 37383 HAS SOUPS 37383 WITH SCORE 37423.025
AT ITER 687 NEW BEST:: SOT 243525 SOS 39915 HAS SOPS 39915 HAS SOUS 37273 HAS SOUPS 37273 WITH SCORE 37312.915
AT ITER 693 NEW BEST:: SOT 243519 SOS 39921 HAS SOPS 39921 HAS SOUS 37254 HAS SOUPS 37254 WITH SCORE 37293.921
AT ITER 699 NEW BEST:: SOT 243467 SOS 39844 HAS SOPS 39844 HAS SOUS 37168 HAS SOUPS 37168 WITH SCORE 37207.844
AT ITER 728 NEW BEST:: SOT 243467 SOS 39842 HAS SOPS 39842 HAS SOUS 37166 HAS SOUPS 37166 WITH SCORE 37205.842
AT ITER 734 NEW BEST:: SOT 243451 SOS 39769 HAS SOPS 39769 HAS SOUS 37048 HAS SOUPS 37048 WITH SCORE 37087.769
AT ITER 755 NEW BEST:: SOT 243451 SOS 39740 HAS SOPS 39740 HAS SOUS 37019 HAS SOUPS 37019 WITH SCORE 37058.74
AT ITER 761 NEW BEST:: SOT 243447 SOS 39709 HAS SOPS 39709 HAS SOUS 36961 HAS SOUPS 36961 WITH SCORE 37000.709
AT ITER 763 NEW BEST:: SOT 243428 SOS 39655 HAS SOPS 39655 HAS SOUS 36926 HAS SOUPS 36926 WITH SCORE 36965.655
AT ITER 780 NEW BEST:: SOT 243428 SOS 39645 HAS SOPS 39645 HAS SOUS 36916 HAS SOUPS 36916 WITH SCORE 36955.645
AT ITER 831 NEW BEST:: SOT 243421 SOS 39624 HAS SOPS 39624 HAS SOUS 36895 HAS SOUPS 36895 WITH SCORE 36934.624
AT ITER 844 NEW BEST:: SOT 243433 SOS 39620 HAS SOPS 39620 HAS SOUS 36895 HAS SOUPS 36895 WITH SCORE 36934.62
AT ITER 871 NEW BEST:: SOT 243430 SOS 39614 HAS SOPS 39614 HAS SOUS 36889 HAS SOUPS 36889 WITH SCORE 36928.614
AT ITER 916 NEW BEST:: SOT 243417 SOS 39588 HAS SOPS 39588 HAS SOUS 36863 HAS SOUPS 36863 WITH SCORE 36902.588
AT ITER 935 NEW BEST:: SOT 243413 SOS 39585 HAS SOPS 39585 HAS SOUS 36859 HAS SOUPS 36859 WITH SCORE 36898.585
AT ITER 948 NEW BEST:: SOT 243350 SOS 39566 HAS SOPS 39566 HAS SOUS 36832 HAS SOUPS 36832 WITH SCORE 36871.566
AT ITER 992 NEW BEST:: SOT 243344 SOS 39521 HAS SOPS 39521 HAS SOUS 36760 HAS SOUPS 36760 WITH SCORE 36799.521
AT ITER 994 NEW BEST:: SOT 243309 SOS 39553 HAS SOPS 39553 HAS SOUS 36755 HAS SOUPS 36755 WITH SCORE 36794.553
AT ITER 1010 NEW BEST:: SOT 243252 SOS 39439 HAS SOPS 39439 HAS SOUS 36632 HAS SOUPS 36632 WITH SCORE 36671.439
AT ITER 1021 NEW BEST:: SOT 243163 SOS 39315 HAS SOPS 39315 HAS SOUS 36630 HAS SOUPS 36630 WITH SCORE 36669.315
AT ITER 1025 NEW BEST:: SOT 243191 SOS 39295 HAS SOPS 39295 HAS SOUS 36594 HAS SOUPS 36594 WITH SCORE 36633.295
AT ITER 1039 NEW BEST:: SOT 243176 SOS 39327 HAS SOPS 39327 HAS SOUS 36579 HAS SOUPS 36579 WITH SCORE 36618.327
AT ITER 1074 NEW BEST:: SOT 243156 SOS 39287 HAS SOPS 39287 HAS SOUS 36559 HAS SOUPS 36559 WITH SCORE 36598.287
AT ITER 1110 NEW BEST:: SOT 243128 SOS 39273 HAS SOPS 39273 HAS SOUS 36545 HAS SOUPS 36545 WITH SCORE 36584.273
AT ITER 1113 NEW BEST:: SOT 243140 SOS 39193 HAS SOPS 39193 HAS SOUS 36505 HAS SOUPS 36505 WITH SCORE 36544.193
AT ITER 1116 NEW BEST:: SOT 243134 SOS 39210 HAS SOPS 39210 HAS SOUS 36498 HAS SOUPS 36498 WITH SCORE 36537.21
AT ITER 1117 NEW BEST:: SOT 243134 SOS 39185 HAS SOPS 39185 HAS SOUS 36498 HAS SOUPS 36498 WITH SCORE 36537.185
AT ITER 1118 NEW BEST:: SOT 243127 SOS 39171 HAS SOPS 39171 HAS SOUS 36494 HAS SOUPS 36494 WITH SCORE 36533.171
AT ITER 1132 NEW BEST:: SOT 243127 SOS 39130 HAS SOPS 39130 HAS SOUS 36494 HAS SOUPS 36494 WITH SCORE 36533.13
AT ITER 1137 NEW BEST:: SOT 243127 SOS 39141 HAS SOPS 39141 HAS SOUS 36489 HAS SOUPS 36489 WITH SCORE 36528.141
AT ITER 1166 NEW BEST:: SOT 243124 SOS 39135 HAS SOPS 39135 HAS SOUS 36456 HAS SOUPS 36456 WITH SCORE 36495.135
AT ITER 1178 NEW BEST:: SOT 243124 SOS 39101 HAS SOPS 39101 HAS SOUS 36422 HAS SOUPS 36422 WITH SCORE 36461.101
AT ITER 1188 NEW BEST:: SOT 243094 SOS 39127 HAS SOPS 39127 HAS SOUS 36395 HAS SOUPS 36395 WITH SCORE 36434.127
AT ITER 1197 NEW BEST:: SOT 243075 SOS 39127 HAS SOPS 39127 HAS SOUS 36376 HAS SOUPS 36376 WITH SCORE 36415.127
AT ITER 1215 NEW BEST:: SOT 243074 SOS 39078 HAS SOPS 39078 HAS SOUS 36374 HAS SOUPS 36374 WITH SCORE 36413.078
AT ITER 1253 NEW BEST:: SOT 243093 SOS 39008 HAS SOPS 39008 HAS SOUS 36320 HAS SOUPS 36320 WITH SCORE 36359.008
AT ITER 1260 NEW BEST:: SOT 243093 SOS 38985 HAS SOPS 38985 HAS SOUS 36297 HAS SOUPS 36297 WITH SCORE 36335.985
AT ITER 1304 NEW BEST:: SOT 243092 SOS 38982 HAS SOPS 38982 HAS SOUS 36294 HAS SOUPS 36294 WITH SCORE 36332.982
AT ITER 1375 NEW BEST:: SOT 243039 SOS 38881 HAS SOPS 38881 HAS SOUS 36236 HAS SOUPS 36236 WITH SCORE 36274.881
AT ITER 1382 NEW BEST:: SOT 243016 SOS 38835 HAS SOPS 38835 HAS SOUS 36212 HAS SOUPS 36212 WITH SCORE 36250.835
AT ITER 1384 NEW BEST:: SOT 243007 SOS 38826 HAS SOPS 38826 HAS SOUS 36203 HAS SOUPS 36203 WITH SCORE 36241.826
AT ITER 1385 NEW BEST:: SOT 243007 SOS 38798 HAS SOPS 38798 HAS SOUS 36175 HAS SOUPS 36175 WITH SCORE 36213.798
AT ITER 1401 NEW BEST:: SOT 243007 SOS 38733 HAS SOPS 38733 HAS SOUS 36175 HAS SOUPS 36175 WITH SCORE 36213.733
AT ITER 1411 NEW BEST:: SOT 242990 SOS 38665 HAS SOPS 38665 HAS SOUS 36105 HAS SOUPS 36105 WITH SCORE 36143.665
AT ITER 1414 NEW BEST:: SOT 243026 SOS 38645 HAS SOPS 38645 HAS SOUS 36085 HAS SOUPS 36085 WITH SCORE 36123.645
AT ITER 1418 NEW BEST:: SOT 243026 SOS 38644 HAS SOPS 38644 HAS SOUS 36084 HAS SOUPS 36084 WITH SCORE 36122.644
AT ITER 1467 NEW BEST:: SOT 243023 SOS 38638 HAS SOPS 38638 HAS SOUS 36081 HAS SOUPS 36081 WITH SCORE 36119.638
AT ITER 1470 NEW BEST:: SOT 242826 SOS 38389 HAS SOPS 38389 HAS SOUS 35833 HAS SOUPS 35833 WITH SCORE 35871.389
AT ITER 1491 NEW BEST:: SOT 242845 SOS 38320 HAS SOPS 38320 HAS SOUS 35780 HAS SOUPS 35780 WITH SCORE 35818.32
AT ITER 1514 NEW BEST:: SOT 242865 SOS 38297 HAS SOPS 38297 HAS SOUS 35760 HAS SOUPS 35760 WITH SCORE 35798.297
AT ITER 1524 NEW BEST:: SOT 242848 SOS 38281 HAS SOPS 38281 HAS SOUS 35744 HAS SOUPS 35744 WITH SCORE 35782.281
AT ITER 1548 NEW BEST:: SOT 242850 SOS 38230 HAS SOPS 38230 HAS SOUS 35693 HAS SOUPS 35693 WITH SCORE 35731.23
AT ITER 1556 NEW BEST:: SOT 242848 SOS 38173 HAS SOPS 38173 HAS SOUS 35657 HAS SOUPS 35657 WITH SCORE 35695.173
AT ITER 1566 NEW BEST:: SOT 242848 SOS 38172 HAS SOPS 38172 HAS SOUS 35656 HAS SOUPS 35656 WITH SCORE 35694.172
AT ITER 1592 NEW BEST:: SOT 242859 SOS 38194 HAS SOPS 38194 HAS SOUS 35640 HAS SOUPS 35640 WITH SCORE 35678.194
AT ITER 1597 NEW BEST:: SOT 242845 SOS 38138 HAS SOPS 38138 HAS SOUS 35612 HAS SOUPS 35612 WITH SCORE 35650.138
AT ITER 1616 NEW BEST:: SOT 242817 SOS 38132 HAS SOPS 38132 HAS SOUS 35606 HAS SOUPS 35606 WITH SCORE 35644.132
AT ITER 1635 NEW BEST:: SOT 242863 SOS 38099 HAS SOPS 38099 HAS SOUS 35597 HAS SOUPS 35597 WITH SCORE 35635.099
AT ITER 1681 NEW BEST:: SOT 242825 SOS 38087 HAS SOPS 38087 HAS SOUS 35585 HAS SOUPS 35585 WITH SCORE 35623.087
AT ITER 1691 NEW BEST:: SOT 242824 SOS 38082 HAS SOPS 38082 HAS SOUS 35580 HAS SOUPS 35580 WITH SCORE 35618.082
AT ITER 1740 NEW BEST:: SOT 242825 SOS 38083 HAS SOPS 38083 HAS SOUS 35578 HAS SOUPS 35578 WITH SCORE 35616.083
AT ITER 1755 NEW BEST:: SOT 242805 SOS 38120 HAS SOPS 38120 HAS SOUS 35551 HAS SOUPS 35551 WITH SCORE 35589.12
AT ITER 1919 NEW BEST:: SOT 242779 SOS 38106 HAS SOPS 38106 HAS SOUS 35525 HAS SOUPS 35525 WITH SCORE 35563.106
AT ITER 1930 NEW BEST:: SOT 242792 SOS 38088 HAS SOPS 38088 HAS SOUS 35507 HAS SOUPS 35507 WITH SCORE 35545.088
AT ITER 1965 NEW BEST:: SOT 242829 SOS 38054 HAS SOPS 38054 HAS SOUS 35473 HAS SOUPS 35473 WITH SCORE 35511.054
AT ITER 1968 NEW BEST:: SOT 242829 SOS 38028 HAS SOPS 38028 HAS SOUS 35459 HAS SOUPS 35459 WITH SCORE 35497.028
AT ITER 2013 NEW BEST:: SOT 242827 SOS 38024 HAS SOPS 38024 HAS SOUS 35455 HAS SOUPS 35455 WITH SCORE 35493.024
AT ITER 2043 NEW BEST:: SOT 242827 SOS 37950 HAS SOPS 37950 HAS SOUS 35414 HAS SOUPS 35414 WITH SCORE 35451.95
AT ITER 2064 NEW BEST:: SOT 242907 SOS 37870 HAS SOPS 37870 HAS SOUS 35269 HAS SOUPS 35269 WITH SCORE 35306.87
AT ITER 2067 NEW BEST:: SOT 242894 SOS 37823 HAS SOPS 37823 HAS SOUS 35222 HAS SOUPS 35222 WITH SCORE 35259.823
AT ITER 2075 NEW BEST:: SOT 242890 SOS 37819 HAS SOPS 37819 HAS SOUS 35218 HAS SOUPS 35218 WITH SCORE 35255.819
AT ITER 2083 NEW BEST:: SOT 242871 SOS 37778 HAS SOPS 37778 HAS SOUS 35177 HAS SOUPS 35177 WITH SCORE 35214.778
AT ITER 2108 NEW BEST:: SOT 242871 SOS 37736 HAS SOPS 37736 HAS SOUS 35135 HAS SOUPS 35135 WITH SCORE 35172.736
AT ITER 2133 NEW BEST:: SOT 242777 SOS 37500 HAS SOPS 37500 HAS SOUS 34995 HAS SOUPS 34995 WITH SCORE 35032.5
AT ITER 2159 NEW BEST:: SOT 242728 SOS 37464 HAS SOPS 37464 HAS SOUS 34959 HAS SOUPS 34959 WITH SCORE 34996.464
AT ITER 2161 NEW BEST:: SOT 242728 SOS 37447 HAS SOPS 37447 HAS SOUS 34942 HAS SOUPS 34942 WITH SCORE 34979.447
AT ITER 2215 NEW BEST:: SOT 242653 SOS 37397 HAS SOPS 37397 HAS SOUS 34892 HAS SOUPS 34892 WITH SCORE 34929.397
AT ITER 2240 NEW BEST:: SOT 242673 SOS 37391 HAS SOPS 37391 HAS SOUS 34886 HAS SOUPS 34886 WITH SCORE 34923.391
AT ITER 2265 NEW BEST:: SOT 242631 SOS 37349 HAS SOPS 37349 HAS SOUS 34844 HAS SOUPS 34844 WITH SCORE 34881.349
AT ITER 2276 NEW BEST:: SOT 242614 SOS 37315 HAS SOPS 37315 HAS SOUS 34827 HAS SOUPS 34827 WITH SCORE 34864.315
AT ITER 2321 NEW BEST:: SOT 242612 SOS 37311 HAS SOPS 37311 HAS SOUS 34823 HAS SOUPS 34823 WITH SCORE 34860.311
AT ITER 2326 NEW BEST:: SOT 242583 SOS 37317 HAS SOPS 37317 HAS SOUS 34817 HAS SOUPS 34817 WITH SCORE 34854.317
AT ITER 2336 NEW BEST:: SOT 242582 SOS 37308 HAS SOPS 37308 HAS SOUS 34808 HAS SOUPS 34808 WITH SCORE 34845.308
AT ITER 2355 NEW BEST:: SOT 242582 SOS 37220 HAS SOPS 37220 HAS SOUS 34720 HAS SOUPS 34720 WITH SCORE 34757.22
AT ITER 2357 NEW BEST:: SOT 242564 SOS 37182 HAS SOPS 37182 HAS SOUS 34650 HAS SOUPS 34650 WITH SCORE 34687.182
AT ITER 2430 NEW BEST:: SOT 242513 SOS 36978 HAS SOPS 36978 HAS SOUS 34497 HAS SOUPS 34497 WITH SCORE 34533.978
AT ITER 2456 NEW BEST:: SOT 242499 SOS 36977 HAS SOPS 36977 HAS SOUS 34496 HAS SOUPS 34496 WITH SCORE 34532.977
AT ITER 2513 NEW BEST:: SOT 242498 SOS 36957 HAS SOPS 36957 HAS SOUS 34476 HAS SOUPS 34476 WITH SCORE 34512.957
AT ITER 2527 NEW BEST:: SOT 242510 SOS 36948 HAS SOPS 36948 HAS SOUS 34455 HAS SOUPS 34455 WITH SCORE 34491.948
AT ITER 2552 NEW BEST:: SOT 242426 SOS 36973 HAS SOPS 36973 HAS SOUS 34442 HAS SOUPS 34442 WITH SCORE 34478.973
AT ITER 2555 NEW BEST:: SOT 242403 SOS 36871 HAS SOPS 36871 HAS SOUS 34368 HAS SOUPS 34368 WITH SCORE 34404.871
AT ITER 2556 NEW BEST:: SOT 242403 SOS 36870 HAS SOPS 36870 HAS SOUS 34339 HAS SOUPS 34339 WITH SCORE 34375.87
AT ITER 2583 NEW BEST:: SOT 242403 SOS 36865 HAS SOPS 36865 HAS SOUS 34334 HAS SOUPS 34334 WITH SCORE 34370.865
AT ITER 2642 NEW BEST:: SOT 242384 SOS 36846 HAS SOPS 36846 HAS SOUS 34315 HAS SOUPS 34315 WITH SCORE 34351.846
AT ITER 2647 NEW BEST:: SOT 242354 SOS 36710 HAS SOPS 36710 HAS SOUS 34179 HAS SOUPS 34179 WITH SCORE 34215.71
AT ITER 2651 NEW BEST:: SOT 242364 SOS 36666 HAS SOPS 36666 HAS SOUS 34135 HAS SOUPS 34135 WITH SCORE 34171.666
AT ITER 2684 NEW BEST:: SOT 242377 SOS 36662 HAS SOPS 36662 HAS SOUS 34131 HAS SOUPS 34131 WITH SCORE 34167.662
AT ITER 2692 NEW BEST:: SOT 242371 SOS 36654 HAS SOPS 36654 HAS SOUS 34120 HAS SOUPS 34120 WITH SCORE 34156.654
AT ITER 2700 NEW BEST:: SOT 242351 SOS 36653 HAS SOPS 36653 HAS SOUS 34119 HAS SOUPS 34119 WITH SCORE 34155.653
AT ITER 2710 NEW BEST:: SOT 242333 SOS 36627 HAS SOPS 36627 HAS SOUS 34111 HAS SOUPS 34111 WITH SCORE 34147.627
AT ITER 2740 NEW BEST:: SOT 242331 SOS 36621 HAS SOPS 36621 HAS SOUS 34107 HAS SOUPS 34107 WITH SCORE 34143.621
AT ITER 2768 NEW BEST:: SOT 242331 SOS 36580 HAS SOPS 36580 HAS SOUS 34066 HAS SOUPS 34066 WITH SCORE 34102.58
AT ITER 2803 NEW BEST:: SOT 242327 SOS 36576 HAS SOPS 36576 HAS SOUS 34062 HAS SOUPS 34062 WITH SCORE 34098.576
AT ITER 2823 NEW BEST:: SOT 242359 SOS 36589 HAS SOPS 36589 HAS SOUS 34056 HAS SOUPS 34056 WITH SCORE 34092.589
AT ITER 2847 NEW BEST:: SOT 242363 SOS 36593 HAS SOPS 36593 HAS SOUS 33996 HAS SOUPS 33996 WITH SCORE 34032.593
AT ITER 2856 NEW BEST:: SOT 242412 SOS 36691 HAS SOPS 36691 HAS SOUS 33993 HAS SOUPS 33993 WITH SCORE 34029.691
AT ITER 2868 NEW BEST:: SOT 242392 SOS 36671 HAS SOPS 36671 HAS SOUS 33953 HAS SOUPS 33953 WITH SCORE 33989.671
AT ITER 2902 NEW BEST:: SOT 242380 SOS 36647 HAS SOPS 36647 HAS SOUS 33929 HAS SOUPS 33929 WITH SCORE 33965.647
AT ITER 2976 NEW BEST:: SOT 242380 SOS 36623 HAS SOPS 36623 HAS SOUS 33917 HAS SOUPS 33917 WITH SCORE 33953.623
AT ITER 2979 NEW BEST:: SOT 242341 SOS 36545 HAS SOPS 36545 HAS SOUS 33839 HAS SOUPS 33839 WITH SCORE 33875.545
AT ITER 3028 NEW BEST:: SOT 242341 SOS 36545 HAS SOPS 36545 HAS SOUS 33837 HAS SOUPS 33837 WITH SCORE 33873.545
AT ITER 3065 NEW BEST:: SOT 242333 SOS 36538 HAS SOPS 36538 HAS SOUS 33830 HAS SOUPS 33830 WITH SCORE 33866.538
AT ITER 3076 NEW BEST:: SOT 242337 SOS 36526 HAS SOPS 36526 HAS SOUS 33830 HAS SOUPS 33830 WITH SCORE 33866.526
AT ITER 3100 NEW BEST:: SOT 242337 SOS 36521 HAS SOPS 36521 HAS SOUS 33825 HAS SOUPS 33825 WITH SCORE 33861.521
AT ITER 3127 NEW BEST:: SOT 242332 SOS 36503 HAS SOPS 36503 HAS SOUS 33815 HAS SOUPS 33815 WITH SCORE 33851.503
AT ITER 3142 NEW BEST:: SOT 242289 SOS 36461 HAS SOPS 36461 HAS SOUS 33773 HAS SOUPS 33773 WITH SCORE 33809.461
AT ITER 3202 NEW BEST:: SOT 242289 SOS 36441 HAS SOPS 36441 HAS SOUS 33753 HAS SOUPS 33753 WITH SCORE 33789.441
AT ITER 3226 NEW BEST:: SOT 242286 SOS 36438 HAS SOPS 36438 HAS SOUS 33750 HAS SOUPS 33750 WITH SCORE 33786.438
AT ITER 3237 NEW BEST:: SOT 242271 SOS 36408 HAS SOPS 36408 HAS SOUS 33720 HAS SOUPS 33720 WITH SCORE 33756.408
AT ITER 3256 NEW BEST:: SOT 242220 SOS 36439 HAS SOPS 36439 HAS SOUS 33700 HAS SOUPS 33700 WITH SCORE 33736.439
AT ITER 3273 NEW BEST:: SOT 242198 SOS 36395 HAS SOPS 36395 HAS SOUS 33656 HAS SOUPS 33656 WITH SCORE 33692.395
AT ITER 3321 NEW BEST:: SOT 242198 SOS 36367 HAS SOPS 36367 HAS SOUS 33656 HAS SOUPS 33656 WITH SCORE 33692.367
AT ITER 3377 NEW BEST:: SOT 242128 SOS 36262 HAS SOPS 36262 HAS SOUS 33551 HAS SOUPS 33551 WITH SCORE 33587.262
AT ITER 3396 NEW BEST:: SOT 242109 SOS 36199 HAS SOPS 36199 HAS SOUS 33488 HAS SOUPS 33488 WITH SCORE 33524.199
AT ITER 3495 NEW BEST:: SOT 242109 SOS 36192 HAS SOPS 36192 HAS SOUS 33481 HAS SOUPS 33481 WITH SCORE 33517.192
AT ITER 3552 NEW BEST:: SOT 242092 SOS 36156 HAS SOPS 36156 HAS SOUS 33432 HAS SOUPS 33432 WITH SCORE 33468.156
AT ITER 3576 NEW BEST:: SOT 242074 SOS 36136 HAS SOPS 36136 HAS SOUS 33404 HAS SOUPS 33404 WITH SCORE 33440.136
AT ITER 3589 NEW BEST:: SOT 242039 SOS 36066 HAS SOPS 36066 HAS SOUS 33332 HAS SOUPS 33332 WITH SCORE 33368.066
AT ITER 3614 NEW BEST:: SOT 242039 SOS 36051 HAS SOPS 36051 HAS SOUS 33317 HAS SOUPS 33317 WITH SCORE 33353.051
AT ITER 3644 NEW BEST:: SOT 242041 SOS 36035 HAS SOPS 36035 HAS SOUS 33299 HAS SOUPS 33299 WITH SCORE 33335.035
AT ITER 3681 NEW BEST:: SOT 242054 SOS 35943 HAS SOPS 35943 HAS SOUS 33207 HAS SOUPS 33207 WITH SCORE 33242.943
AT ITER 3700 NEW BEST:: SOT 241929 SOS 35772 HAS SOPS 35772 HAS SOUS 33016 HAS SOUPS 33016 WITH SCORE 33051.772
AT ITER 3721 NEW BEST:: SOT 241927 SOS 35768 HAS SOPS 35768 HAS SOUS 33014 HAS SOUPS 33014 WITH SCORE 33049.768
AT ITER 3750 NEW BEST:: SOT 241873 SOS 35599 HAS SOPS 35599 HAS SOUS 32906 HAS SOUPS 32906 WITH SCORE 32941.599
AT ITER 3763 NEW BEST:: SOT 241867 SOS 35587 HAS SOPS 35587 HAS SOUS 32894 HAS SOUPS 32894 WITH SCORE 32929.587
AT ITER 3777 NEW BEST:: SOT 241848 SOS 35562 HAS SOPS 35562 HAS SOUS 32867 HAS SOUPS 32867 WITH SCORE 32902.562
AT ITER 3798 NEW BEST:: SOT 241841 SOS 35641 HAS SOPS 35641 HAS SOUS 32866 HAS SOUPS 32866 WITH SCORE 32901.641
AT ITER 3799 NEW BEST:: SOT 241854 SOS 35547 HAS SOPS 35547 HAS SOUS 32807 HAS SOUPS 32807 WITH SCORE 32842.547
AT ITER 3834 NEW BEST:: SOT 241816 SOS 35486 HAS SOPS 35486 HAS SOUS 32772 HAS SOUPS 32772 WITH SCORE 32807.486
AT ITER 3838 NEW BEST:: SOT 241815 SOS 35442 HAS SOPS 35442 HAS SOUS 32734 HAS SOUPS 32734 WITH SCORE 32769.442
AT ITER 3868 NEW BEST:: SOT 241816 SOS 35405 HAS SOPS 35405 HAS SOUS 32695 HAS SOUPS 32695 WITH SCORE 32730.405
AT ITER 3874 NEW BEST:: SOT 241815 SOS 35403 HAS SOPS 35403 HAS SOUS 32693 HAS SOUPS 32693 WITH SCORE 32728.403
AT ITER 3881 NEW BEST:: SOT 241815 SOS 35389 HAS SOPS 35389 HAS SOUS 32679 HAS SOUPS 32679 WITH SCORE 32714.389
AT ITER 3915 NEW BEST:: SOT 241814 SOS 35384 HAS SOPS 35384 HAS SOUS 32674 HAS SOUPS 32674 WITH SCORE 32709.384
AT ITER 3965 NEW BEST:: SOT 241807 SOS 35367 HAS SOPS 35367 HAS SOUS 32666 HAS SOUPS 32666 WITH SCORE 32701.367
AT ITER 3978 NEW BEST:: SOT 241807 SOS 35299 HAS SOPS 35299 HAS SOUS 32598 HAS SOUPS 32598 WITH SCORE 32633.299
AT ITER 4063 NEW BEST:: SOT 241862 SOS 35348 HAS SOPS 35348 HAS SOUS 32581 HAS SOUPS 32581 WITH SCORE 32616.348
AT ITER 4068 NEW BEST:: SOT 241862 SOS 35348 HAS SOPS 35348 HAS SOUS 32580 HAS SOUPS 32580 WITH SCORE 32615.348
AT ITER 4089 NEW BEST:: SOT 241867 SOS 35315 HAS SOPS 35315 HAS SOUS 32547 HAS SOUPS 32547 WITH SCORE 32582.315
AT ITER 4104 NEW BEST:: SOT 241865 SOS 35311 HAS SOPS 35311 HAS SOUS 32544 HAS SOUPS 32544 WITH SCORE 32579.311
AT ITER 4106 NEW BEST:: SOT 241864 SOS 35265 HAS SOPS 35265 HAS SOUS 32525 HAS SOUPS 32525 WITH SCORE 32560.265
AT ITER 4113 NEW BEST:: SOT 241864 SOS 35244 HAS SOPS 35244 HAS SOUS 32504 HAS SOUPS 32504 WITH SCORE 32539.244
AT ITER 4131 NEW BEST:: SOT 241864 SOS 35226 HAS SOPS 35226 HAS SOUS 32486 HAS SOUPS 32486 WITH SCORE 32521.226
AT ITER 4139 NEW BEST:: SOT 241881 SOS 35207 HAS SOPS 35207 HAS SOUS 32467 HAS SOUPS 32467 WITH SCORE 32502.207
AT ITER 4154 NEW BEST:: SOT 241845 SOS 35193 HAS SOPS 35193 HAS SOUS 32383 HAS SOUPS 32383 WITH SCORE 32418.193
AT ITER 4182 NEW BEST:: SOT 241843 SOS 35189 HAS SOPS 35189 HAS SOUS 32352 HAS SOUPS 32352 WITH SCORE 32387.189
AT ITER 4187 NEW BEST:: SOT 241840 SOS 35115 HAS SOPS 35115 HAS SOUS 32331 HAS SOUPS 32331 WITH SCORE 32366.115
AT ITER 4194 NEW BEST:: SOT 241823 SOS 35081 HAS SOPS 35081 HAS SOUS 32329 HAS SOUPS 32329 WITH SCORE 32364.081
AT ITER 4202 NEW BEST:: SOT 241828 SOS 35083 HAS SOPS 35083 HAS SOUS 32327 HAS SOUPS 32327 WITH SCORE 32362.083
AT ITER 4236 NEW BEST:: SOT 241882 SOS 35081 HAS SOPS 35081 HAS SOUS 32325 HAS SOUPS 32325 WITH SCORE 32360.081
AT ITER 4241 NEW BEST:: SOT 241864 SOS 34988 HAS SOPS 34988 HAS SOUS 32285 HAS SOUPS 32285 WITH SCORE 32319.988
AT ITER 4249 NEW BEST:: SOT 241863 SOS 34933 HAS SOPS 34933 HAS SOUS 32272 HAS SOUPS 32272 WITH SCORE 32306.933
AT ITER 4260 NEW BEST:: SOT 241789 SOS 34948 HAS SOPS 34948 HAS SOUS 32227 HAS SOUPS 32227 WITH SCORE 32261.948
AT ITER 4280 NEW BEST:: SOT 241789 SOS 34948 HAS SOPS 34948 HAS SOUS 32221 HAS SOUPS 32221 WITH SCORE 32255.948
AT ITER 4295 NEW BEST:: SOT 241778 SOS 34934 HAS SOPS 34934 HAS SOUS 32207 HAS SOUPS 32207 WITH SCORE 32241.934
AT ITER 4336 NEW BEST:: SOT 241746 SOS 34832 HAS SOPS 34832 HAS SOUS 32073 HAS SOUPS 32073 WITH SCORE 32107.832
AT ITER 4396 NEW BEST:: SOT 241766 SOS 34872 HAS SOPS 34872 HAS SOUS 32052 HAS SOUPS 32052 WITH SCORE 32086.872
AT ITER 4410 NEW BEST:: SOT 241726 SOS 34831 HAS SOPS 34831 HAS SOUS 32011 HAS SOUPS 32011 WITH SCORE 32045.831
AT ITER 4416 NEW BEST:: SOT 241726 SOS 34816 HAS SOPS 34816 HAS SOUS 31996 HAS SOUPS 31996 WITH SCORE 32030.816
AT ITER 4430 NEW BEST:: SOT 241726 SOS 34791 HAS SOPS 34791 HAS SOUS 31944 HAS SOUPS 31944 WITH SCORE 31978.791
AT ITER 4433 NEW BEST:: SOT 241725 SOS 34769 HAS SOPS 34769 HAS SOUS 31932 HAS SOUPS 31932 WITH SCORE 31966.769
AT ITER 4487 NEW BEST:: SOT 241713 SOS 34745 HAS SOPS 34745 HAS SOUS 31920 HAS SOUPS 31920 WITH SCORE 31954.745
AT ITER 4535 NEW BEST:: SOT 241697 SOS 34729 HAS SOPS 34729 HAS SOUS 31904 HAS SOUPS 31904 WITH SCORE 31938.729
AT ITER 4549 NEW BEST:: SOT 241697 SOS 34720 HAS SOPS 34720 HAS SOUS 31895 HAS SOUPS 31895 WITH SCORE 31929.72
AT ITER 4570 NEW BEST:: SOT 241697 SOS 34719 HAS SOPS 34719 HAS SOUS 31894 HAS SOUPS 31894 WITH SCORE 31928.719
AT ITER 4572 NEW BEST:: SOT 241650 SOS 34672 HAS SOPS 34672 HAS SOUS 31847 HAS SOUPS 31847 WITH SCORE 31881.672
AT ITER 4669 NEW BEST:: SOT 241640 SOS 34632 HAS SOPS 34632 HAS SOUS 31817 HAS SOUPS 31817 WITH SCORE 31851.632
AT ITER 4672 NEW BEST:: SOT 241637 SOS 34695 HAS SOPS 34695 HAS SOUS 31811 HAS SOUPS 31811 WITH SCORE 31845.695
AT ITER 4686 NEW BEST:: SOT 241627 SOS 34665 HAS SOPS 34665 HAS SOUS 31781 HAS SOUPS 31781 WITH SCORE 31815.665
AT ITER 4715 NEW BEST:: SOT 241628 SOS 34664 HAS SOPS 34664 HAS SOUS 31780 HAS SOUPS 31780 WITH SCORE 31814.664
AT ITER 4736 NEW BEST:: SOT 241626 SOS 34662 HAS SOPS 34662 HAS SOUS 31778 HAS SOUPS 31778 WITH SCORE 31812.662
AT ITER 4755 NEW BEST:: SOT 241655 SOS 34676 HAS SOPS 34676 HAS SOUS 31751 HAS SOUPS 31751 WITH SCORE 31785.676
AT ITER 4771 NEW BEST:: SOT 241628 SOS 34649 HAS SOPS 34649 HAS SOUS 31724 HAS SOUPS 31724 WITH SCORE 31758.649
AT ITER 4802 NEW BEST:: SOT 241627 SOS 34647 HAS SOPS 34647 HAS SOUS 31722 HAS SOUPS 31722 WITH SCORE 31756.647
AT ITER 4882 NEW BEST:: SOT 241612 SOS 34617 HAS SOPS 34617 HAS SOUS 31692 HAS SOUPS 31692 WITH SCORE 31726.617
AT ITER 4897 NEW BEST:: SOT 241612 SOS 34613 HAS SOPS 34613 HAS SOUS 31688 HAS SOUPS 31688 WITH SCORE 31722.613
AT ITER 4919 NEW BEST:: SOT 241702 SOS 34662 HAS SOPS 34662 HAS SOUS 31679 HAS SOUPS 31679 WITH SCORE 31713.662
AT ITER 5009 NEW BEST:: SOT 241702 SOS 34663 HAS SOPS 34663 HAS SOUS 31678 HAS SOUPS 31678 WITH SCORE 31712.663
AT ITER 5053 NEW BEST:: SOT 241692 SOS 34653 HAS SOPS 34653 HAS SOUS 31668 HAS SOUPS 31668 WITH SCORE 31702.653
AT ITER 5084 NEW BEST:: SOT 241691 SOS 34650 HAS SOPS 34650 HAS SOUS 31665 HAS SOUPS 31665 WITH SCORE 31699.65
AT ITER 5100 NEW BEST:: SOT 241672 SOS 34612 HAS SOPS 34612 HAS SOUS 31627 HAS SOUPS 31627 WITH SCORE 31661.612
AT ITER 5106 NEW BEST:: SOT 241661 SOS 34590 HAS SOPS 34590 HAS SOUS 31605 HAS SOUPS 31605 WITH SCORE 31639.59
AT ITER 5122 NEW BEST:: SOT 241607 SOS 34428 HAS SOPS 34428 HAS SOUS 31497 HAS SOUPS 31497 WITH SCORE 31531.428
AT ITER 5152 NEW BEST:: SOT 241601 SOS 34416 HAS SOPS 34416 HAS SOUS 31476 HAS SOUPS 31476 WITH SCORE 31510.416
AT ITER 5173 NEW BEST:: SOT 241593 SOS 34408 HAS SOPS 34408 HAS SOUS 31476 HAS SOUPS 31476 WITH SCORE 31510.408
AT ITER 5185 NEW BEST:: SOT 241559 SOS 34463 HAS SOPS 34463 HAS SOUS 31442 HAS SOUPS 31442 WITH SCORE 31476.463
AT ITER 5316 NEW BEST:: SOT 241527 SOS 34399 HAS SOPS 34399 HAS SOUS 31378 HAS SOUPS 31378 WITH SCORE 31412.399
AT ITER 5417 NEW BEST:: SOT 241511 SOS 34367 HAS SOPS 34367 HAS SOUS 31362 HAS SOUPS 31362 WITH SCORE 31396.367
AT ITER 5425 NEW BEST:: SOT 241501 SOS 34324 HAS SOPS 34324 HAS SOUS 31342 HAS SOUPS 31342 WITH SCORE 31376.324
AT ITER 5437 NEW BEST:: SOT 241507 SOS 34336 HAS SOPS 34336 HAS SOUS 31331 HAS SOUPS 31331 WITH SCORE 31365.336
AT ITER 5441 NEW BEST:: SOT 241506 SOS 34357 HAS SOPS 34357 HAS SOUS 31329 HAS SOUPS 31329 WITH SCORE 31363.357
AT ITER 5460 NEW BEST:: SOT 241501 SOS 34347 HAS SOPS 34347 HAS SOUS 31319 HAS SOUPS 31319 WITH SCORE 31353.347
AT ITER 5464 NEW BEST:: SOT 241512 SOS 34331 HAS SOPS 34331 HAS SOUS 31314 HAS SOUPS 31314 WITH SCORE 31348.331
AT ITER 5491 NEW BEST:: SOT 241451 SOS 34272 HAS SOPS 34272 HAS SOUS 31253 HAS SOUPS 31253 WITH SCORE 31287.272
AT ITER 5502 NEW BEST:: SOT 241392 SOS 34253 HAS SOPS 34253 HAS SOUS 31221 HAS SOUPS 31221 WITH SCORE 31255.253
AT ITER 5557 NEW BEST:: SOT 241437 SOS 34237 HAS SOPS 34237 HAS SOUS 31205 HAS SOUPS 31205 WITH SCORE 31239.237
AT ITER 5592 NEW BEST:: SOT 241437 SOS 34233 HAS SOPS 34233 HAS SOUS 31201 HAS SOUPS 31201 WITH SCORE 31235.233
AT ITER 5630 NEW BEST:: SOT 241437 SOS 34227 HAS SOPS 34227 HAS SOUS 31200 HAS SOUPS 31200 WITH SCORE 31234.227
AT ITER 5663 NEW BEST:: SOT 241436 SOS 34215 HAS SOPS 34215 HAS SOUS 31196 HAS SOUPS 31196 WITH SCORE 31230.215
AT ITER 5665 NEW BEST:: SOT 241387 SOS 34117 HAS SOPS 34117 HAS SOUS 31098 HAS SOUPS 31098 WITH SCORE 31132.117
AT ITER 5689 NEW BEST:: SOT 241441 SOS 34047 HAS SOPS 34047 HAS SOUS 31087 HAS SOUPS 31087 WITH SCORE 31121.047
AT ITER 5711 NEW BEST:: SOT 241441 SOS 34037 HAS SOPS 34037 HAS SOUS 31085 HAS SOUPS 31085 WITH SCORE 31119.037
AT ITER 5790 NEW BEST:: SOT 241426 SOS 34022 HAS SOPS 34022 HAS SOUS 31070 HAS SOUPS 31070 WITH SCORE 31104.022
AT ITER 5809 NEW BEST:: SOT 241420 SOS 34010 HAS SOPS 34010 HAS SOUS 31058 HAS SOUPS 31058 WITH SCORE 31092.01
AT ITER 5812 NEW BEST:: SOT 241420 SOS 33960 HAS SOPS 33960 HAS SOUS 31008 HAS SOUPS 31008 WITH SCORE 31041.96
AT ITER 5880 NEW BEST:: SOT 241420 SOS 33959 HAS SOPS 33959 HAS SOUS 31007 HAS SOUPS 31007 WITH SCORE 31040.959
AT ITER 5936 NEW BEST:: SOT 241419 SOS 33946 HAS SOPS 33946 HAS SOUS 30994 HAS SOUPS 30994 WITH SCORE 31027.946
AT ITER 5954 NEW BEST:: SOT 241419 SOS 33925 HAS SOPS 33925 HAS SOUS 30994 HAS SOUPS 30994 WITH SCORE 31027.925
AT ITER 5973 NEW BEST:: SOT 241387 SOS 33832 HAS SOPS 33832 HAS SOUS 30901 HAS SOUPS 30901 WITH SCORE 30934.832
AT ITER 6034 NEW BEST:: SOT 241363 SOS 33818 HAS SOPS 33818 HAS SOUS 30887 HAS SOUPS 30887 WITH SCORE 30920.818
AT ITER 6070 NEW BEST:: SOT 241335 SOS 33784 HAS SOPS 33784 HAS SOUS 30887 HAS SOUPS 30887 WITH SCORE 30920.784
AT ITER 6099 NEW BEST:: SOT 241324 SOS 33762 HAS SOPS 33762 HAS SOUS 30876 HAS SOUPS 30876 WITH SCORE 30909.762
AT ITER 6131 NEW BEST:: SOT 241238 SOS 33591 HAS SOPS 33591 HAS SOUS 30705 HAS SOUPS 30705 WITH SCORE 30738.591
AT ITER 6184 NEW BEST:: SOT 241238 SOS 33568 HAS SOPS 33568 HAS SOUS 30682 HAS SOUPS 30682 WITH SCORE 30715.568
AT ITER 6186 NEW BEST:: SOT 241236 SOS 33552 HAS SOPS 33552 HAS SOUS 30666 HAS SOUPS 30666 WITH SCORE 30699.552
AT ITER 6228 NEW BEST:: SOT 241201 SOS 33560 HAS SOPS 33560 HAS SOUS 30647 HAS SOUPS 30647 WITH SCORE 30680.56
AT ITER 6242 NEW BEST:: SOT 241201 SOS 33554 HAS SOPS 33554 HAS SOUS 30647 HAS SOUPS 30647 WITH SCORE 30680.554
AT ITER 6292 NEW BEST:: SOT 241199 SOS 33545 HAS SOPS 33545 HAS SOUS 30638 HAS SOUPS 30638 WITH SCORE 30671.545
AT ITER 6323 NEW BEST:: SOT 241199 SOS 33491 HAS SOPS 33491 HAS SOUS 30638 HAS SOUPS 30638 WITH SCORE 30671.491
AT ITER 6324 NEW BEST:: SOT 241181 SOS 33455 HAS SOPS 33455 HAS SOUS 30608 HAS SOUPS 30608 WITH SCORE 30641.455
AT ITER 6341 NEW BEST:: SOT 241150 SOS 33433 HAS SOPS 33433 HAS SOUS 30537 HAS SOUPS 30537 WITH SCORE 30570.433
AT ITER 6346 NEW BEST:: SOT 241118 SOS 33385 HAS SOPS 33385 HAS SOUS 30489 HAS SOUPS 30489 WITH SCORE 30522.385
AT ITER 6358 NEW BEST:: SOT 241116 SOS 33381 HAS SOPS 33381 HAS SOUS 30487 HAS SOUPS 30487 WITH SCORE 30520.381
AT ITER 6446 NEW BEST:: SOT 241127 SOS 33364 HAS SOPS 33364 HAS SOUS 30470 HAS SOUPS 30470 WITH SCORE 30503.364
AT ITER 6459 NEW BEST:: SOT 241127 SOS 33360 HAS SOPS 33360 HAS SOUS 30466 HAS SOUPS 30466 WITH SCORE 30499.36
AT ITER 6493 NEW BEST:: SOT 241024 SOS 33196 HAS SOPS 33196 HAS SOUS 30302 HAS SOUPS 30302 WITH SCORE 30335.196
AT ITER 6502 NEW BEST:: SOT 241017 SOS 33172 HAS SOPS 33172 HAS SOUS 30285 HAS SOUPS 30285 WITH SCORE 30318.172
AT ITER 6514 NEW BEST:: SOT 241060 SOS 33160 HAS SOPS 33160 HAS SOUS 30273 HAS SOUPS 30273 WITH SCORE 30306.16
AT ITER 6523 NEW BEST:: SOT 241064 SOS 33158 HAS SOPS 33158 HAS SOUS 30271 HAS SOUPS 30271 WITH SCORE 30304.158
AT ITER 6546 NEW BEST:: SOT 241094 SOS 33188 HAS SOPS 33188 HAS SOUS 30261 HAS SOUPS 30261 WITH SCORE 30294.188
AT ITER 6563 NEW BEST:: SOT 241101 SOS 33187 HAS SOPS 33187 HAS SOUS 30260 HAS SOUPS 30260 WITH SCORE 30293.187
AT ITER 6576 NEW BEST:: SOT 241127 SOS 33205 HAS SOPS 33205 HAS SOUS 30252 HAS SOUPS 30252 WITH SCORE 30285.205
AT ITER 6580 NEW BEST:: SOT 241133 SOS 33199 HAS SOPS 33199 HAS SOUS 30252 HAS SOUPS 30252 WITH SCORE 30285.199
AT ITER 6606 NEW BEST:: SOT 241121 SOS 33140 HAS SOPS 33140 HAS SOUS 30207 HAS SOUPS 30207 WITH SCORE 30240.14
AT ITER 6651 NEW BEST:: SOT 241115 SOS 33117 HAS SOPS 33117 HAS SOUS 30190 HAS SOUPS 30190 WITH SCORE 30223.117
AT ITER 6726 NEW BEST:: SOT 241107 SOS 33109 HAS SOPS 33109 HAS SOUS 30182 HAS SOUPS 30182 WITH SCORE 30215.109
AT ITER 6766 NEW BEST:: SOT 241116 SOS 33116 HAS SOPS 33116 HAS SOUS 30180 HAS SOUPS 30180 WITH SCORE 30213.116
AT ITER 6796 NEW BEST:: SOT 241098 SOS 33098 HAS SOPS 33098 HAS SOUS 30162 HAS SOUPS 30162 WITH SCORE 30195.098
AT ITER 6828 NEW BEST:: SOT 241097 SOS 33077 HAS SOPS 33077 HAS SOUS 30141 HAS SOUPS 30141 WITH SCORE 30174.077
AT ITER 6858 NEW BEST:: SOT 241097 SOS 33073 HAS SOPS 33073 HAS SOUS 30137 HAS SOUPS 30137 WITH SCORE 30170.073
AT ITER 6964 NEW BEST:: SOT 241056 SOS 33035 HAS SOPS 33035 HAS SOUS 30076 HAS SOUPS 30076 WITH SCORE 30109.035
AT ITER 7011 NEW BEST:: SOT 241056 SOS 33028 HAS SOPS 33028 HAS SOUS 30069 HAS SOUPS 30069 WITH SCORE 30102.028
AT ITER 7032 NEW BEST:: SOT 240977 SOS 32907 HAS SOPS 32907 HAS SOUS 29940 HAS SOUPS 29940 WITH SCORE 29972.907
AT ITER 7051 NEW BEST:: SOT 240976 SOS 32906 HAS SOPS 32906 HAS SOUS 29938 HAS SOUPS 29938 WITH SCORE 29970.906
AT ITER 7077 NEW BEST:: SOT 240976 SOS 32904 HAS SOPS 32904 HAS SOUS 29936 HAS SOUPS 29936 WITH SCORE 29968.904
AT ITER 7125 NEW BEST:: SOT 240969 SOS 32890 HAS SOPS 32890 HAS SOUS 29922 HAS SOUPS 29922 WITH SCORE 29954.89
AT ITER 7129 NEW BEST:: SOT 240961 SOS 32870 HAS SOPS 32870 HAS SOUS 29900 HAS SOUPS 29900 WITH SCORE 29932.87
AT ITER 7131 NEW BEST:: SOT 240961 SOS 32807 HAS SOPS 32807 HAS SOUS 29900 HAS SOUPS 29900 WITH SCORE 29932.807
AT ITER 7141 NEW BEST:: SOT 240961 SOS 32792 HAS SOPS 32792 HAS SOUS 29900 HAS SOUPS 29900 WITH SCORE 29932.792
AT ITER 7181 NEW BEST:: SOT 240961 SOS 32773 HAS SOPS 32773 HAS SOUS 29881 HAS SOUPS 29881 WITH SCORE 29913.773
AT ITER 7189 NEW BEST:: SOT 240938 SOS 32727 HAS SOPS 32727 HAS SOUS 29835 HAS SOUPS 29835 WITH SCORE 29867.727
AT ITER 7271 NEW BEST:: SOT 240938 SOS 32671 HAS SOPS 32671 HAS SOUS 29834 HAS SOUPS 29834 WITH SCORE 29866.671
AT ITER 7295 NEW BEST:: SOT 240932 SOS 32659 HAS SOPS 32659 HAS SOUS 29822 HAS SOUPS 29822 WITH SCORE 29854.659
AT ITER 7316 NEW BEST:: SOT 240932 SOS 32658 HAS SOPS 32658 HAS SOUS 29822 HAS SOUPS 29822 WITH SCORE 29854.658
AT ITER 7331 NEW BEST:: SOT 240948 SOS 32673 HAS SOPS 32673 HAS SOUS 29821 HAS SOUPS 29821 WITH SCORE 29853.673
AT ITER 7347 NEW BEST:: SOT 240943 SOS 32663 HAS SOPS 32663 HAS SOUS 29819 HAS SOUPS 29819 WITH SCORE 29851.663
AT ITER 7367 NEW BEST:: SOT 240943 SOS 32647 HAS SOPS 32647 HAS SOUS 29803 HAS SOUPS 29803 WITH SCORE 29835.647
AT ITER 7388 NEW BEST:: SOT 240931 SOS 32654 HAS SOPS 32654 HAS SOUS 29798 HAS SOUPS 29798 WITH SCORE 29830.654
AT ITER 7402 NEW BEST:: SOT 240948 SOS 32540 HAS SOPS 32540 HAS SOUS 29738 HAS SOUPS 29738 WITH SCORE 29770.54
AT ITER 7415 NEW BEST:: SOT 240928 SOS 32509 HAS SOPS 32509 HAS SOUS 29710 HAS SOUPS 29710 WITH SCORE 29742.509
AT ITER 7436 NEW BEST:: SOT 240946 SOS 32477 HAS SOPS 32477 HAS SOUS 29698 HAS SOUPS 29698 WITH SCORE 29730.477
AT ITER 7458 NEW BEST:: SOT 240903 SOS 32438 HAS SOPS 32438 HAS SOUS 29688 HAS SOUPS 29688 WITH SCORE 29720.438
AT ITER 7507 NEW BEST:: SOT 240894 SOS 32417 HAS SOPS 32417 HAS SOUS 29667 HAS SOUPS 29667 WITH SCORE 29699.417
AT ITER 7510 NEW BEST:: SOT 240993 SOS 32400 HAS SOPS 32400 HAS SOUS 29650 HAS SOUPS 29650 WITH SCORE 29682.4
AT ITER 7549 NEW BEST:: SOT 240993 SOS 32388 HAS SOPS 32388 HAS SOUS 29648 HAS SOUPS 29648 WITH SCORE 29680.388
AT ITER 7567 NEW BEST:: SOT 240983 SOS 32373 HAS SOPS 32373 HAS SOUS 29623 HAS SOUPS 29623 WITH SCORE 29655.373
AT ITER 7617 NEW BEST:: SOT 240963 SOS 32333 HAS SOPS 32333 HAS SOUS 29593 HAS SOUPS 29593 WITH SCORE 29625.333
AT ITER 7620 NEW BEST:: SOT 240963 SOS 32278 HAS SOPS 32278 HAS SOUS 29544 HAS SOUPS 29544 WITH SCORE 29576.278
AT ITER 7655 NEW BEST:: SOT 240931 SOS 32169 HAS SOPS 32169 HAS SOUS 29446 HAS SOUPS 29446 WITH SCORE 29478.169
AT ITER 7666 NEW BEST:: SOT 240928 SOS 32165 HAS SOPS 32165 HAS SOUS 29442 HAS SOUPS 29442 WITH SCORE 29474.165
AT ITER 7690 NEW BEST:: SOT 240928 SOS 32142 HAS SOPS 32142 HAS SOUS 29419 HAS SOUPS 29419 WITH SCORE 29451.142
AT ITER 7715 NEW BEST:: SOT 240923 SOS 32142 HAS SOPS 32142 HAS SOUS 29414 HAS SOUPS 29414 WITH SCORE 29446.142
AT ITER 7758 NEW BEST:: SOT 240887 SOS 32071 HAS SOPS 32071 HAS SOUS 29357 HAS SOUPS 29357 WITH SCORE 29389.071
AT ITER 7785 NEW BEST:: SOT 240887 SOS 32023 HAS SOPS 32023 HAS SOUS 29309 HAS SOUPS 29309 WITH SCORE 29341.023
AT ITER 7818 NEW BEST:: SOT 240887 SOS 32023 HAS SOPS 32023 HAS SOUS 29306 HAS SOUPS 29306 WITH SCORE 29338.023
AT ITER 7882 NEW BEST:: SOT 240887 SOS 32006 HAS SOPS 32006 HAS SOUS 29272 HAS SOUPS 29272 WITH SCORE 29304.006
AT ITER 7885 NEW BEST:: SOT 240864 SOS 32206 HAS SOPS 32206 HAS SOUS 29255 HAS SOUPS 29255 WITH SCORE 29287.206
AT ITER 7987 NEW BEST:: SOT 240849 SOS 32168 HAS SOPS 32168 HAS SOUS 29217 HAS SOUPS 29217 WITH SCORE 29249.168
AT ITER 8084 NEW BEST:: SOT 240849 SOS 32136 HAS SOPS 32136 HAS SOUS 29217 HAS SOUPS 29217 WITH SCORE 29249.136
AT ITER 8140 NEW BEST:: SOT 240769 SOS 32109 HAS SOPS 32109 HAS SOUS 29169 HAS SOUPS 29169 WITH SCORE 29201.109
AT ITER 8241 NEW BEST:: SOT 240801 SOS 32135 HAS SOPS 32135 HAS SOUS 29157 HAS SOUPS 29157 WITH SCORE 29189.135
AT ITER 8293 NEW BEST:: SOT 240801 SOS 32134 HAS SOPS 32134 HAS SOUS 29156 HAS SOUPS 29156 WITH SCORE 29188.134
AT ITER 8318 NEW BEST:: SOT 240801 SOS 32113 HAS SOPS 32113 HAS SOUS 29135 HAS SOUPS 29135 WITH SCORE 29167.113
AT ITER 8327 NEW BEST:: SOT 240800 SOS 32106 HAS SOPS 32106 HAS SOUS 29128 HAS SOUPS 29128 WITH SCORE 29160.106
AT ITER 8354 NEW BEST:: SOT 240803 SOS 32088 HAS SOPS 32088 HAS SOUS 29107 HAS SOUPS 29107 WITH SCORE 29139.088
AT ITER 8390 NEW BEST:: SOT 240803 SOS 32088 HAS SOPS 32088 HAS SOUS 29104 HAS SOUPS 29104 WITH SCORE 29136.088
AT ITER 8400 NEW BEST:: SOT 240782 SOS 32025 HAS SOPS 32025 HAS SOUS 29062 HAS SOUPS 29062 WITH SCORE 29094.025
AT ITER 8428 NEW BEST:: SOT 240782 SOS 32011 HAS SOPS 32011 HAS SOUS 29048 HAS SOUPS 29048 WITH SCORE 29080.011
AT ITER 8496 NEW BEST:: SOT 240780 SOS 32007 HAS SOPS 32007 HAS SOUS 29044 HAS SOUPS 29044 WITH SCORE 29076.007
AT ITER 8497 NEW BEST:: SOT 240801 SOS 31948 HAS SOPS 31948 HAS SOUS 29002 HAS SOUPS 29002 WITH SCORE 29033.948
AT ITER 8559 NEW BEST:: SOT 240835 SOS 31951 HAS SOPS 31951 HAS SOUS 28983 HAS SOUPS 28983 WITH SCORE 29014.951
AT ITER 8599 NEW BEST:: SOT 240833 SOS 31950 HAS SOPS 31950 HAS SOUS 28981 HAS SOUPS 28981 WITH SCORE 29012.95
AT ITER 8624 NEW BEST:: SOT 240805 SOS 31840 HAS SOPS 31840 HAS SOUS 28910 HAS SOUPS 28910 WITH SCORE 28941.84
AT ITER 8655 NEW BEST:: SOT 240800 SOS 31830 HAS SOPS 31830 HAS SOUS 28900 HAS SOUPS 28900 WITH SCORE 28931.83
AT ITER 8669 NEW BEST:: SOT 240782 SOS 31713 HAS SOPS 31713 HAS SOUS 28820 HAS SOUPS 28820 WITH SCORE 28851.713
AT ITER 8671 NEW BEST:: SOT 240786 SOS 31721 HAS SOPS 31721 HAS SOUS 28818 HAS SOUPS 28818 WITH SCORE 28849.721
AT ITER 8694 NEW BEST:: SOT 240758 SOS 31735 HAS SOPS 31735 HAS SOUS 28803 HAS SOUPS 28803 WITH SCORE 28834.735
AT ITER 8718 NEW BEST:: SOT 240727 SOS 31751 HAS SOPS 31751 HAS SOUS 28798 HAS SOUPS 28798 WITH SCORE 28829.751
AT ITER 8727 NEW BEST:: SOT 240682 SOS 31613 HAS SOPS 31613 HAS SOUS 28692 HAS SOUPS 28692 WITH SCORE 28723.613
AT ITER 8779 NEW BEST:: SOT 240681 SOS 31611 HAS SOPS 31611 HAS SOUS 28691 HAS SOUPS 28691 WITH SCORE 28722.611
AT ITER 8795 NEW BEST:: SOT 240619 SOS 31524 HAS SOPS 31524 HAS SOUS 28580 HAS SOUPS 28580 WITH SCORE 28611.524
AT ITER 8825 NEW BEST:: SOT 240594 SOS 31449 HAS SOPS 31449 HAS SOUS 28505 HAS SOUPS 28505 WITH SCORE 28536.449
AT ITER 8845 NEW BEST:: SOT 240588 SOS 31443 HAS SOPS 31443 HAS SOUS 28499 HAS SOUPS 28499 WITH SCORE 28530.443
AT ITER 8860 NEW BEST:: SOT 240574 SOS 31420 HAS SOPS 31420 HAS SOUS 28440 HAS SOUPS 28440 WITH SCORE 28471.42
AT ITER 8926 NEW BEST:: SOT 240571 SOS 31402 HAS SOPS 31402 HAS SOUS 28437 HAS SOUPS 28437 WITH SCORE 28468.402
AT ITER 8933 NEW BEST:: SOT 240571 SOS 31375 HAS SOPS 31375 HAS SOUS 28410 HAS SOUPS 28410 WITH SCORE 28441.375
AT ITER 8973 NEW BEST:: SOT 240571 SOS 31373 HAS SOPS 31373 HAS SOUS 28410 HAS SOUPS 28410 WITH SCORE 28441.373
AT ITER 9005 NEW BEST:: SOT 240571 SOS 31372 HAS SOPS 31372 HAS SOUS 28409 HAS SOUPS 28409 WITH SCORE 28440.372
AT ITER 9016 NEW BEST:: SOT 240573 SOS 31376 HAS SOPS 31376 HAS SOUS 28395 HAS SOUPS 28395 WITH SCORE 28426.376
AT ITER 9024 NEW BEST:: SOT 240546 SOS 31349 HAS SOPS 31349 HAS SOUS 28368 HAS SOUPS 28368 WITH SCORE 28399.349
AT ITER 9030 NEW BEST:: SOT 240546 SOS 31332 HAS SOPS 31332 HAS SOUS 28368 HAS SOUPS 28368 WITH SCORE 28399.332
AT ITER 9031 NEW BEST:: SOT 240546 SOS 31324 HAS SOPS 31324 HAS SOUS 28360 HAS SOUPS 28360 WITH SCORE 28391.324
AT ITER 9058 NEW BEST:: SOT 240561 SOS 31304 HAS SOPS 31304 HAS SOUS 28358 HAS SOUPS 28358 WITH SCORE 28389.304
AT ITER 9059 NEW BEST:: SOT 240561 SOS 31284 HAS SOPS 31284 HAS SOUS 28338 HAS SOUPS 28338 WITH SCORE 28369.284
AT ITER 9068 NEW BEST:: SOT 240561 SOS 31284 HAS SOPS 31284 HAS SOUS 28334 HAS SOUPS 28334 WITH SCORE 28365.284
AT ITER 9091 NEW BEST:: SOT 240561 SOS 31275 HAS SOPS 31275 HAS SOUS 28334 HAS SOUPS 28334 WITH SCORE 28365.275
AT ITER 9172 NEW BEST:: SOT 240534 SOS 31239 HAS SOPS 31239 HAS SOUS 28298 HAS SOUPS 28298 WITH SCORE 28329.239
AT ITER 9183 NEW BEST:: SOT 240532 SOS 31224 HAS SOPS 31224 HAS SOUS 28288 HAS SOUPS 28288 WITH SCORE 28319.224
AT ITER 9199 NEW BEST:: SOT 240523 SOS 31205 HAS SOPS 31205 HAS SOUS 28278 HAS SOUPS 28278 WITH SCORE 28309.205
AT ITER 9249 NEW BEST:: SOT 240519 SOS 31202 HAS SOPS 31202 HAS SOUS 28275 HAS SOUPS 28275 WITH SCORE 28306.202
AT ITER 9294 NEW BEST:: SOT 240500 SOS 31169 HAS SOPS 31169 HAS SOUS 28254 HAS SOUPS 28254 WITH SCORE 28285.169
AT ITER 9313 NEW BEST:: SOT 240466 SOS 31171 HAS SOPS 31171 HAS SOUS 28238 HAS SOUPS 28238 WITH SCORE 28269.171
AT ITER 9342 NEW BEST:: SOT 240466 SOS 31161 HAS SOPS 31161 HAS SOUS 28228 HAS SOUPS 28228 WITH SCORE 28259.161
AT ITER 9380 NEW BEST:: SOT 240474 SOS 31152 HAS SOPS 31152 HAS SOUS 28219 HAS SOUPS 28219 WITH SCORE 28250.152
AT ITER 9460 NEW BEST:: SOT 240467 SOS 31146 HAS SOPS 31146 HAS SOUS 28213 HAS SOUPS 28213 WITH SCORE 28244.146
AT ITER 9503 NEW BEST:: SOT 240459 SOS 31138 HAS SOPS 31138 HAS SOUS 28208 HAS SOUPS 28208 WITH SCORE 28239.138
AT ITER 9523 NEW BEST:: SOT 240470 SOS 31099 HAS SOPS 31099 HAS SOUS 28169 HAS SOUPS 28169 WITH SCORE 28200.099
AT ITER 9608 NEW BEST:: SOT 240470 SOS 31099 HAS SOPS 31099 HAS SOUS 28168 HAS SOUPS 28168 WITH SCORE 28199.099
AT ITER 9618 NEW BEST:: SOT 240470 SOS 31092 HAS SOPS 31092 HAS SOUS 28161 HAS SOUPS 28161 WITH SCORE 28192.092
AT ITER 9637 NEW BEST:: SOT 240470 SOS 31088 HAS SOPS 31088 HAS SOUS 28157 HAS SOUPS 28157 WITH SCORE 28188.088
AT ITER 9681 NEW BEST:: SOT 240470 SOS 31069 HAS SOPS 31069 HAS SOUS 28125 HAS SOUPS 28125 WITH SCORE 28156.069
AT ITER 9711 NEW BEST:: SOT 240440 SOS 30994 HAS SOPS 30994 HAS SOUS 28050 HAS SOUPS 28050 WITH SCORE 28080.994
AT ITER 9735 NEW BEST:: SOT 240437 SOS 30991 HAS SOPS 30991 HAS SOUS 28043 HAS SOUPS 28043 WITH SCORE 28073.991
AT ITER 9737 NEW BEST:: SOT 240444 SOS 30973 HAS SOPS 30973 HAS SOUS 28023 HAS SOUPS 28023 WITH SCORE 28053.973
AT ITER 9742 NEW BEST:: SOT 240423 SOS 30972 HAS SOPS 30972 HAS SOUS 28002 HAS SOUPS 28002 WITH SCORE 28032.972
AT ITER 9773 NEW BEST:: SOT 240410 SOS 30959 HAS SOPS 30959 HAS SOUS 27989 HAS SOUPS 27989 WITH SCORE 28019.959
AT ITER 9785 NEW BEST:: SOT 240374 SOS 30913 HAS SOPS 30913 HAS SOUS 27963 HAS SOUPS 27963 WITH SCORE 27993.913
AT ITER 9793 NEW BEST:: SOT 240361 SOS 30783 HAS SOPS 30783 HAS SOUS 27867 HAS SOUPS 27867 WITH SCORE 27897.783
AT ITER 9813 NEW BEST:: SOT 240359 SOS 30781 HAS SOPS 30781 HAS SOUS 27863 HAS SOUPS 27863 WITH SCORE 27893.781
AT ITER 9868 NEW BEST:: SOT 240357 SOS 30766 HAS SOPS 30766 HAS SOUS 27848 HAS SOUPS 27848 WITH SCORE 27878.766
AT ITER 9881 NEW BEST:: SOT 240359 SOS 30743 HAS SOPS 30743 HAS SOUS 27838 HAS SOUPS 27838 WITH SCORE 27868.743
AT ITER 9917 NEW BEST:: SOT 240344 SOS 30718 HAS SOPS 30718 HAS SOUS 27813 HAS SOUPS 27813 WITH SCORE 27843.718
AT ITER 9922 NEW BEST:: SOT 240350 SOS 30674 HAS SOPS 30674 HAS SOUS 27772 HAS SOUPS 27772 WITH SCORE 27802.674
AT ITER 9950 NEW BEST:: SOT 240342 SOS 30662 HAS SOPS 30662 HAS SOUS 27764 HAS SOUPS 27764 WITH SCORE 27794.662
AT ITER 9954 NEW BEST:: SOT 240350 SOS 30624 HAS SOPS 30624 HAS SOUS 27742 HAS SOUPS 27742 WITH SCORE 27772.624
AT ITER 9992 NEW BEST:: SOT 240350 SOS 30616 HAS SOPS 30616 HAS SOUS 27742 HAS SOUPS 27742 WITH SCORE 27772.616
AT ITER 9999 NEW BEST:: SOT 240323 SOS 30503 HAS SOPS 30503 HAS SOUS 27688 HAS SOUPS 27688 WITH SCORE 27718.503
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393236 kB
MemFree: 3644228 kB
After kill :
MemTotal: 16393236 kB
MemFree: 16121808 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
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="ShieldIIPt-PT-010B"
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 ShieldIIPt-PT-010B, 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 r395-oct2-167903718600272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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