About the Execution of Smart+red for HealthRecord-PT-15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1539.516 | 144136.00 | 152178.00 | 1054.60 | 2.7713E+0009 4.6031E+0010 1 10 | normal |
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.r203-smll-167840349400352.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is HealthRecord-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349400352
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 7.4K Feb 26 17:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 17:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 17:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 17:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 26 17:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 17:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 17:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 73K 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 1678586823191
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=HealthRecord-PT-15
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 02:07:06] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 02:07:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 02:07:06] [INFO ] Load time of PNML (sax parser for PT used): 139 ms
[2023-03-12 02:07:06] [INFO ] Transformed 163 places.
[2023-03-12 02:07:06] [INFO ] Transformed 348 transitions.
[2023-03-12 02:07:06] [INFO ] Found NUPN structural information;
[2023-03-12 02:07:06] [INFO ] Parsed PT model containing 163 places and 348 transitions and 919 arcs in 311 ms.
[2023-03-12 02:07:07] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 163 places, 348 transitions and 919 arcs took 13 ms.
Total runtime 394 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 15
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: 163 places, 348 transitions, 919 arcs.
AT ITER 0 NEW BEST:: SOT 37608 SOS 20404 HAS SOPS 20382 HAS SOUS 11851 HAS SOUPS 11838 WITH SCORE 11858.404
AT ITER 3 NEW BEST:: SOT 37607 SOS 20403 HAS SOPS 20381 HAS SOUS 11806 HAS SOUPS 11793 WITH SCORE 11813.403
AT ITER 12 NEW BEST:: SOT 37192 SOS 20810 HAS SOPS 20788 HAS SOUS 11784 HAS SOUPS 11771 WITH SCORE 11791.81
AT ITER 13 NEW BEST:: SOT 37192 SOS 20756 HAS SOPS 20734 HAS SOUS 11784 HAS SOUPS 11771 WITH SCORE 11791.756
AT ITER 20 NEW BEST:: SOT 37146 SOS 20712 HAS SOPS 20690 HAS SOUS 11774 HAS SOUPS 11761 WITH SCORE 11781.712
AT ITER 21 NEW BEST:: SOT 37015 SOS 20383 HAS SOPS 20361 HAS SOUS 11662 HAS SOUPS 11649 WITH SCORE 11669.383
AT ITER 22 NEW BEST:: SOT 36976 SOS 20344 HAS SOPS 20322 HAS SOUS 11622 HAS SOUPS 11609 WITH SCORE 11629.344
AT ITER 23 NEW BEST:: SOT 36923 SOS 20181 HAS SOPS 20159 HAS SOUS 11569 HAS SOUPS 11556 WITH SCORE 11576.181
AT ITER 24 NEW BEST:: SOT 36897 SOS 20129 HAS SOPS 20107 HAS SOUS 11552 HAS SOUPS 11539 WITH SCORE 11559.129
AT ITER 29 NEW BEST:: SOT 36841 SOS 19989 HAS SOPS 19967 HAS SOUS 11496 HAS SOUPS 11483 WITH SCORE 11502.989
AT ITER 32 NEW BEST:: SOT 35546 SOS 19100 HAS SOPS 19078 HAS SOUS 10751 HAS SOUPS 10738 WITH SCORE 10757.1
AT ITER 39 NEW BEST:: SOT 35543 SOS 19095 HAS SOPS 19073 HAS SOUS 10750 HAS SOUPS 10737 WITH SCORE 10756.095
AT ITER 40 NEW BEST:: SOT 35501 SOS 18986 HAS SOPS 18964 HAS SOUS 10700 HAS SOUPS 10687 WITH SCORE 10705.986
AT ITER 43 NEW BEST:: SOT 35484 SOS 18952 HAS SOPS 18930 HAS SOUS 10686 HAS SOUPS 10673 WITH SCORE 10691.952
AT ITER 44 NEW BEST:: SOT 35425 SOS 18861 HAS SOPS 18839 HAS SOUS 10627 HAS SOUPS 10614 WITH SCORE 10632.861
AT ITER 45 NEW BEST:: SOT 35343 SOS 18669 HAS SOPS 18647 HAS SOUS 10579 HAS SOUPS 10566 WITH SCORE 10584.669
AT ITER 48 NEW BEST:: SOT 35333 SOS 18649 HAS SOPS 18627 HAS SOUS 10528 HAS SOUPS 10515 WITH SCORE 10533.649
AT ITER 51 NEW BEST:: SOT 35307 SOS 18597 HAS SOPS 18575 HAS SOUS 10513 HAS SOUPS 10500 WITH SCORE 10518.597
AT ITER 53 NEW BEST:: SOT 35307 SOS 18560 HAS SOPS 18538 HAS SOUS 10474 HAS SOUPS 10461 WITH SCORE 10479.56
AT ITER 54 NEW BEST:: SOT 35273 SOS 18492 HAS SOPS 18470 HAS SOUS 10436 HAS SOUPS 10423 WITH SCORE 10441.492
AT ITER 56 NEW BEST:: SOT 35273 SOS 18467 HAS SOPS 18445 HAS SOUS 10436 HAS SOUPS 10423 WITH SCORE 10441.467
AT ITER 63 NEW BEST:: SOT 35205 SOS 18331 HAS SOPS 18309 HAS SOUS 10385 HAS SOUPS 10372 WITH SCORE 10390.331
AT ITER 68 NEW BEST:: SOT 35205 SOS 18336 HAS SOPS 18314 HAS SOUS 10292 HAS SOUPS 10279 WITH SCORE 10297.336
AT ITER 70 NEW BEST:: SOT 35180 SOS 18357 HAS SOPS 18335 HAS SOUS 10283 HAS SOUPS 10270 WITH SCORE 10288.357
AT ITER 71 NEW BEST:: SOT 35054 SOS 18163 HAS SOPS 18141 HAS SOUS 10145 HAS SOUPS 10132 WITH SCORE 10150.163
AT ITER 79 NEW BEST:: SOT 35025 SOS 18056 HAS SOPS 18034 HAS SOUS 10137 HAS SOUPS 10124 WITH SCORE 10142.056
AT ITER 80 NEW BEST:: SOT 35025 SOS 18142 HAS SOPS 18120 HAS SOUS 10124 HAS SOUPS 10111 WITH SCORE 10129.142
AT ITER 81 NEW BEST:: SOT 34995 SOS 18050 HAS SOPS 18028 HAS SOUS 10109 HAS SOUPS 10096 WITH SCORE 10114.05
AT ITER 83 NEW BEST:: SOT 34964 SOS 17963 HAS SOPS 17941 HAS SOUS 10051 HAS SOUPS 10038 WITH SCORE 10055.963
AT ITER 86 NEW BEST:: SOT 34844 SOS 18640 HAS SOPS 18618 HAS SOUS 9989 HAS SOUPS 9976 WITH SCORE 9994.64
AT ITER 90 NEW BEST:: SOT 34374 SOS 18620 HAS SOPS 18598 HAS SOUS 9541 HAS SOUPS 9528 WITH SCORE 9546.62
AT ITER 91 NEW BEST:: SOT 34262 SOS 18359 HAS SOPS 18337 HAS SOUS 9519 HAS SOUPS 9506 WITH SCORE 9524.359
AT ITER 105 NEW BEST:: SOT 34262 SOS 18359 HAS SOPS 18337 HAS SOUS 9436 HAS SOUPS 9423 WITH SCORE 9441.359
AT ITER 108 NEW BEST:: SOT 34244 SOS 18343 HAS SOPS 18321 HAS SOUS 9423 HAS SOUPS 9410 WITH SCORE 9428.343
AT ITER 109 NEW BEST:: SOT 34154 SOS 18219 HAS SOPS 18197 HAS SOUS 9350 HAS SOUPS 9337 WITH SCORE 9355.219
AT ITER 111 NEW BEST:: SOT 34170 SOS 18258 HAS SOPS 18236 HAS SOUS 9349 HAS SOUPS 9336 WITH SCORE 9354.258
AT ITER 115 NEW BEST:: SOT 34164 SOS 18252 HAS SOPS 18230 HAS SOUS 9343 HAS SOUPS 9330 WITH SCORE 9348.252
AT ITER 117 NEW BEST:: SOT 33993 SOS 18232 HAS SOPS 18210 HAS SOUS 9312 HAS SOUPS 9299 WITH SCORE 9317.232
AT ITER 121 NEW BEST:: SOT 33897 SOS 18040 HAS SOPS 18018 HAS SOUS 9262 HAS SOUPS 9249 WITH SCORE 9267.04
AT ITER 125 NEW BEST:: SOT 33871 SOS 17988 HAS SOPS 17966 HAS SOUS 9213 HAS SOUPS 9200 WITH SCORE 9217.988
AT ITER 126 NEW BEST:: SOT 33925 SOS 17897 HAS SOPS 17875 HAS SOUS 9123 HAS SOUPS 9110 WITH SCORE 9127.897
AT ITER 128 NEW BEST:: SOT 33903 SOS 17875 HAS SOPS 17853 HAS SOUS 9101 HAS SOUPS 9088 WITH SCORE 9105.875
AT ITER 133 NEW BEST:: SOT 33915 SOS 17879 HAS SOPS 17857 HAS SOUS 9049 HAS SOUPS 9036 WITH SCORE 9053.879
AT ITER 137 NEW BEST:: SOT 33927 SOS 17933 HAS SOPS 17911 HAS SOUS 8961 HAS SOUPS 8948 WITH SCORE 8965.933
AT ITER 139 NEW BEST:: SOT 33998 SOS 18032 HAS SOPS 18010 HAS SOUS 8941 HAS SOUPS 8928 WITH SCORE 8946.032
AT ITER 141 NEW BEST:: SOT 33887 SOS 17785 HAS SOPS 17763 HAS SOUS 8868 HAS SOUPS 8855 WITH SCORE 8872.785
AT ITER 147 NEW BEST:: SOT 33857 SOS 17725 HAS SOPS 17703 HAS SOUS 8838 HAS SOUPS 8825 WITH SCORE 8842.725
AT ITER 153 NEW BEST:: SOT 33832 SOS 17617 HAS SOPS 17595 HAS SOUS 8838 HAS SOUPS 8825 WITH SCORE 8842.617
AT ITER 159 NEW BEST:: SOT 33847 SOS 17664 HAS SOPS 17642 HAS SOUS 8826 HAS SOUPS 8813 WITH SCORE 8830.664
AT ITER 162 NEW BEST:: SOT 33849 SOS 17693 HAS SOPS 17671 HAS SOUS 8808 HAS SOUPS 8795 WITH SCORE 8812.693
AT ITER 163 NEW BEST:: SOT 33558 SOS 17715 HAS SOPS 17693 HAS SOUS 8665 HAS SOUPS 8652 WITH SCORE 8669.715
AT ITER 164 NEW BEST:: SOT 31592 SOS 17705 HAS SOPS 17683 HAS SOUS 7145 HAS SOUPS 7132 WITH SCORE 7149.705
AT ITER 165 NEW BEST:: SOT 31637 SOS 17678 HAS SOPS 17656 HAS SOUS 7073 HAS SOUPS 7060 WITH SCORE 7077.678
AT ITER 167 NEW BEST:: SOT 31634 SOS 17672 HAS SOPS 17650 HAS SOUS 7046 HAS SOUPS 7033 WITH SCORE 7050.672
AT ITER 175 NEW BEST:: SOT 31645 SOS 17683 HAS SOPS 17661 HAS SOUS 7029 HAS SOUPS 7016 WITH SCORE 7033.683
AT ITER 178 NEW BEST:: SOT 31647 SOS 17690 HAS SOPS 17668 HAS SOUS 7023 HAS SOUPS 7010 WITH SCORE 7027.69
AT ITER 181 NEW BEST:: SOT 31643 SOS 17687 HAS SOPS 17665 HAS SOUS 7022 HAS SOUPS 7009 WITH SCORE 7026.687
AT ITER 182 NEW BEST:: SOT 31529 SOS 17437 HAS SOPS 17415 HAS SOUS 6970 HAS SOUPS 6957 WITH SCORE 6974.437
AT ITER 189 NEW BEST:: SOT 31529 SOS 17430 HAS SOPS 17408 HAS SOUS 6963 HAS SOUPS 6950 WITH SCORE 6967.43
AT ITER 194 NEW BEST:: SOT 31512 SOS 17413 HAS SOPS 17391 HAS SOUS 6929 HAS SOUPS 6916 WITH SCORE 6933.413
AT ITER 195 NEW BEST:: SOT 31475 SOS 17374 HAS SOPS 17352 HAS SOUS 6855 HAS SOUPS 6842 WITH SCORE 6859.374
AT ITER 198 NEW BEST:: SOT 31355 SOS 17192 HAS SOPS 17170 HAS SOUS 6718 HAS SOUPS 6705 WITH SCORE 6722.192
AT ITER 200 NEW BEST:: SOT 31295 SOS 17253 HAS SOPS 17231 HAS SOUS 6707 HAS SOUPS 6694 WITH SCORE 6711.253
AT ITER 204 NEW BEST:: SOT 31255 SOS 17193 HAS SOPS 17171 HAS SOUS 6707 HAS SOUPS 6694 WITH SCORE 6711.193
AT ITER 205 NEW BEST:: SOT 31278 SOS 17087 HAS SOPS 17065 HAS SOUS 6660 HAS SOUPS 6647 WITH SCORE 6664.087
AT ITER 206 NEW BEST:: SOT 31280 SOS 17091 HAS SOPS 17069 HAS SOUS 6658 HAS SOUPS 6645 WITH SCORE 6662.091
AT ITER 215 NEW BEST:: SOT 31036 SOS 16798 HAS SOPS 16776 HAS SOUS 6567 HAS SOUPS 6554 WITH SCORE 6570.798
AT ITER 217 NEW BEST:: SOT 31023 SOS 16772 HAS SOPS 16750 HAS SOUS 6563 HAS SOUPS 6550 WITH SCORE 6566.772
AT ITER 218 NEW BEST:: SOT 31012 SOS 16750 HAS SOPS 16728 HAS SOUS 6541 HAS SOUPS 6528 WITH SCORE 6544.75
AT ITER 219 NEW BEST:: SOT 31010 SOS 16747 HAS SOPS 16725 HAS SOUS 6534 HAS SOUPS 6521 WITH SCORE 6537.747
AT ITER 220 NEW BEST:: SOT 30977 SOS 16681 HAS SOPS 16659 HAS SOUS 6509 HAS SOUPS 6496 WITH SCORE 6512.681
AT ITER 242 NEW BEST:: SOT 30957 SOS 16609 HAS SOPS 16587 HAS SOUS 6493 HAS SOUPS 6480 WITH SCORE 6496.609
AT ITER 244 NEW BEST:: SOT 30855 SOS 16678 HAS SOPS 16656 HAS SOUS 6462 HAS SOUPS 6449 WITH SCORE 6465.678
AT ITER 251 NEW BEST:: SOT 30854 SOS 16677 HAS SOPS 16655 HAS SOUS 6460 HAS SOUPS 6447 WITH SCORE 6463.677
AT ITER 256 NEW BEST:: SOT 30845 SOS 16668 HAS SOPS 16646 HAS SOUS 6442 HAS SOUPS 6429 WITH SCORE 6445.668
AT ITER 259 NEW BEST:: SOT 30737 SOS 16457 HAS SOPS 16435 HAS SOUS 6375 HAS SOUPS 6362 WITH SCORE 6378.457
AT ITER 268 NEW BEST:: SOT 30722 SOS 16442 HAS SOPS 16420 HAS SOUS 6360 HAS SOUPS 6347 WITH SCORE 6363.442
AT ITER 277 NEW BEST:: SOT 30721 SOS 16441 HAS SOPS 16419 HAS SOUS 6357 HAS SOUPS 6344 WITH SCORE 6360.441
AT ITER 282 NEW BEST:: SOT 30712 SOS 16432 HAS SOPS 16410 HAS SOUS 6357 HAS SOUPS 6344 WITH SCORE 6360.432
AT ITER 287 NEW BEST:: SOT 30709 SOS 16412 HAS SOPS 16390 HAS SOUS 6337 HAS SOUPS 6324 WITH SCORE 6340.412
AT ITER 288 NEW BEST:: SOT 30698 SOS 16412 HAS SOPS 16390 HAS SOUS 6322 HAS SOUPS 6309 WITH SCORE 6325.412
AT ITER 296 NEW BEST:: SOT 30716 SOS 16260 HAS SOPS 16238 HAS SOUS 6291 HAS SOUPS 6278 WITH SCORE 6294.26
AT ITER 297 NEW BEST:: SOT 30701 SOS 16215 HAS SOPS 16193 HAS SOUS 6271 HAS SOUPS 6258 WITH SCORE 6274.215
AT ITER 307 NEW BEST:: SOT 30701 SOS 16212 HAS SOPS 16190 HAS SOUS 6269 HAS SOUPS 6256 WITH SCORE 6272.212
AT ITER 317 NEW BEST:: SOT 30656 SOS 16137 HAS SOPS 16115 HAS SOUS 6224 HAS SOUPS 6211 WITH SCORE 6227.137
AT ITER 338 NEW BEST:: SOT 30632 SOS 16167 HAS SOPS 16145 HAS SOUS 6212 HAS SOUPS 6199 WITH SCORE 6215.167
AT ITER 345 NEW BEST:: SOT 30450 SOS 15962 HAS SOPS 15940 HAS SOUS 6196 HAS SOUPS 6183 WITH SCORE 6198.962
AT ITER 347 NEW BEST:: SOT 30390 SOS 15842 HAS SOPS 15820 HAS SOUS 6136 HAS SOUPS 6123 WITH SCORE 6138.842
AT ITER 349 NEW BEST:: SOT 30359 SOS 15802 HAS SOPS 15780 HAS SOUS 6097 HAS SOUPS 6084 WITH SCORE 6099.802
AT ITER 350 NEW BEST:: SOT 30335 SOS 15766 HAS SOPS 15744 HAS SOUS 6085 HAS SOUPS 6072 WITH SCORE 6087.766
AT ITER 352 NEW BEST:: SOT 30269 SOS 15642 HAS SOPS 15620 HAS SOUS 6019 HAS SOUPS 6006 WITH SCORE 6021.642
AT ITER 357 NEW BEST:: SOT 30231 SOS 15600 HAS SOPS 15578 HAS SOUS 5981 HAS SOUPS 5968 WITH SCORE 5983.6
AT ITER 362 NEW BEST:: SOT 30224 SOS 15593 HAS SOPS 15571 HAS SOUS 5970 HAS SOUPS 5957 WITH SCORE 5972.593
AT ITER 367 NEW BEST:: SOT 30191 SOS 15514 HAS SOPS 15492 HAS SOUS 5957 HAS SOUPS 5944 WITH SCORE 5959.514
AT ITER 372 NEW BEST:: SOT 30165 SOS 15496 HAS SOPS 15474 HAS SOUS 5941 HAS SOUPS 5928 WITH SCORE 5943.496
AT ITER 392 NEW BEST:: SOT 30148 SOS 15445 HAS SOPS 15423 HAS SOUS 5924 HAS SOUPS 5911 WITH SCORE 5926.445
AT ITER 397 NEW BEST:: SOT 30112 SOS 15385 HAS SOPS 15363 HAS SOUS 5896 HAS SOUPS 5883 WITH SCORE 5898.385
AT ITER 400 NEW BEST:: SOT 30106 SOS 15376 HAS SOPS 15354 HAS SOUS 5890 HAS SOUPS 5877 WITH SCORE 5892.376
AT ITER 409 NEW BEST:: SOT 30089 SOS 15351 HAS SOPS 15329 HAS SOUS 5874 HAS SOUPS 5861 WITH SCORE 5876.351
AT ITER 422 NEW BEST:: SOT 30340 SOS 15534 HAS SOPS 15512 HAS SOUS 5871 HAS SOUPS 5858 WITH SCORE 5873.534
AT ITER 425 NEW BEST:: SOT 30338 SOS 15529 HAS SOPS 15507 HAS SOUS 5871 HAS SOUPS 5858 WITH SCORE 5873.529
AT ITER 440 NEW BEST:: SOT 30337 SOS 15813 HAS SOPS 15791 HAS SOUS 5866 HAS SOUPS 5853 WITH SCORE 5868.813
AT ITER 448 NEW BEST:: SOT 30331 SOS 15807 HAS SOPS 15785 HAS SOUS 5866 HAS SOUPS 5853 WITH SCORE 5868.807
AT ITER 456 NEW BEST:: SOT 30313 SOS 15777 HAS SOPS 15755 HAS SOUS 5848 HAS SOUPS 5835 WITH SCORE 5850.777
AT ITER 461 NEW BEST:: SOT 30261 SOS 15679 HAS SOPS 15657 HAS SOUS 5796 HAS SOUPS 5783 WITH SCORE 5798.679
AT ITER 463 NEW BEST:: SOT 30301 SOS 15734 HAS SOPS 15712 HAS SOUS 5792 HAS SOUPS 5779 WITH SCORE 5794.734
AT ITER 470 NEW BEST:: SOT 30184 SOS 15555 HAS SOPS 15533 HAS SOUS 5744 HAS SOUPS 5731 WITH SCORE 5746.555
AT ITER 476 NEW BEST:: SOT 30228 SOS 15793 HAS SOPS 15771 HAS SOUS 5738 HAS SOUPS 5725 WITH SCORE 5740.793
AT ITER 477 NEW BEST:: SOT 30193 SOS 15738 HAS SOPS 15716 HAS SOUS 5723 HAS SOUPS 5710 WITH SCORE 5725.738
AT ITER 483 NEW BEST:: SOT 30162 SOS 15680 HAS SOPS 15658 HAS SOUS 5721 HAS SOUPS 5708 WITH SCORE 5723.68
AT ITER 486 NEW BEST:: SOT 30144 SOS 15653 HAS SOPS 15631 HAS SOUS 5712 HAS SOUPS 5699 WITH SCORE 5714.653
AT ITER 520 NEW BEST:: SOT 30159 SOS 15669 HAS SOPS 15647 HAS SOUS 5695 HAS SOUPS 5682 WITH SCORE 5697.669
AT ITER 522 NEW BEST:: SOT 30164 SOS 15674 HAS SOPS 15652 HAS SOUS 5692 HAS SOUPS 5679 WITH SCORE 5694.674
AT ITER 541 NEW BEST:: SOT 30148 SOS 15658 HAS SOPS 15636 HAS SOUS 5676 HAS SOUPS 5663 WITH SCORE 5678.658
AT ITER 552 NEW BEST:: SOT 30108 SOS 15763 HAS SOPS 15741 HAS SOUS 5636 HAS SOUPS 5623 WITH SCORE 5638.763
AT ITER 562 NEW BEST:: SOT 30097 SOS 15763 HAS SOPS 15741 HAS SOUS 5634 HAS SOUPS 5621 WITH SCORE 5636.763
AT ITER 567 NEW BEST:: SOT 30079 SOS 15752 HAS SOPS 15730 HAS SOUS 5634 HAS SOUPS 5621 WITH SCORE 5636.752
AT ITER 579 NEW BEST:: SOT 30077 SOS 16082 HAS SOPS 16060 HAS SOUS 5628 HAS SOUPS 5615 WITH SCORE 5631.082
AT ITER 588 NEW BEST:: SOT 30077 SOS 16082 HAS SOPS 16060 HAS SOUS 5617 HAS SOUPS 5604 WITH SCORE 5620.082
AT ITER 599 NEW BEST:: SOT 30027 SOS 15957 HAS SOPS 15935 HAS SOUS 5588 HAS SOUPS 5575 WITH SCORE 5590.957
AT ITER 606 NEW BEST:: SOT 30062 SOS 15923 HAS SOPS 15901 HAS SOUS 5582 HAS SOUPS 5569 WITH SCORE 5584.923
AT ITER 613 NEW BEST:: SOT 30047 SOS 15871 HAS SOPS 15849 HAS SOUS 5577 HAS SOUPS 5564 WITH SCORE 5579.871
AT ITER 618 NEW BEST:: SOT 30036 SOS 15860 HAS SOPS 15838 HAS SOUS 5566 HAS SOUPS 5553 WITH SCORE 5568.86
AT ITER 625 NEW BEST:: SOT 30036 SOS 15860 HAS SOPS 15838 HAS SOUS 5552 HAS SOUPS 5539 WITH SCORE 5554.86
AT ITER 635 NEW BEST:: SOT 29865 SOS 15657 HAS SOPS 15635 HAS SOUS 5494 HAS SOUPS 5481 WITH SCORE 5496.657
AT ITER 641 NEW BEST:: SOT 29839 SOS 15631 HAS SOPS 15609 HAS SOUS 5459 HAS SOUPS 5446 WITH SCORE 5461.631
AT ITER 646 NEW BEST:: SOT 29839 SOS 15628 HAS SOPS 15606 HAS SOUS 5445 HAS SOUPS 5432 WITH SCORE 5447.628
AT ITER 661 NEW BEST:: SOT 29827 SOS 15592 HAS SOPS 15570 HAS SOUS 5442 HAS SOUPS 5429 WITH SCORE 5444.592
AT ITER 668 NEW BEST:: SOT 29827 SOS 15608 HAS SOPS 15586 HAS SOUS 5435 HAS SOUPS 5422 WITH SCORE 5437.608
AT ITER 685 NEW BEST:: SOT 29823 SOS 15604 HAS SOPS 15582 HAS SOUS 5427 HAS SOUPS 5414 WITH SCORE 5429.604
AT ITER 693 NEW BEST:: SOT 29799 SOS 16057 HAS SOPS 16035 HAS SOUS 5388 HAS SOUPS 5375 WITH SCORE 5391.057
AT ITER 698 NEW BEST:: SOT 29785 SOS 16029 HAS SOPS 16007 HAS SOUS 5367 HAS SOUPS 5354 WITH SCORE 5370.029
AT ITER 703 NEW BEST:: SOT 29798 SOS 16050 HAS SOPS 16028 HAS SOUS 5315 HAS SOUPS 5302 WITH SCORE 5318.05
AT ITER 720 NEW BEST:: SOT 29799 SOS 16043 HAS SOPS 16021 HAS SOUS 5294 HAS SOUPS 5281 WITH SCORE 5297.043
AT ITER 725 NEW BEST:: SOT 29767 SOS 15976 HAS SOPS 15954 HAS SOUS 5272 HAS SOUPS 5259 WITH SCORE 5274.976
AT ITER 737 NEW BEST:: SOT 29759 SOS 15984 HAS SOPS 15962 HAS SOUS 5264 HAS SOUPS 5251 WITH SCORE 5266.984
AT ITER 741 NEW BEST:: SOT 29735 SOS 15960 HAS SOPS 15938 HAS SOUS 5256 HAS SOUPS 5243 WITH SCORE 5258.96
AT ITER 742 NEW BEST:: SOT 29760 SOS 16012 HAS SOPS 15990 HAS SOUS 5254 HAS SOUPS 5241 WITH SCORE 5257.012
AT ITER 755 NEW BEST:: SOT 29754 SOS 16000 HAS SOPS 15978 HAS SOUS 5249 HAS SOUPS 5236 WITH SCORE 5252.0
AT ITER 759 NEW BEST:: SOT 29696 SOS 15868 HAS SOPS 15846 HAS SOUS 5233 HAS SOUPS 5220 WITH SCORE 5235.868
AT ITER 762 NEW BEST:: SOT 29695 SOS 15858 HAS SOPS 15836 HAS SOUS 5232 HAS SOUPS 5219 WITH SCORE 5234.858
AT ITER 772 NEW BEST:: SOT 29693 SOS 15856 HAS SOPS 15834 HAS SOUS 5228 HAS SOUPS 5215 WITH SCORE 5230.856
AT ITER 776 NEW BEST:: SOT 29686 SOS 15849 HAS SOPS 15827 HAS SOUS 5214 HAS SOUPS 5201 WITH SCORE 5216.849
AT ITER 787 NEW BEST:: SOT 29682 SOS 15925 HAS SOPS 15903 HAS SOUS 5212 HAS SOUPS 5199 WITH SCORE 5214.925
AT ITER 792 NEW BEST:: SOT 29656 SOS 15873 HAS SOPS 15851 HAS SOUS 5212 HAS SOUPS 5199 WITH SCORE 5214.873
AT ITER 794 NEW BEST:: SOT 29635 SOS 15870 HAS SOPS 15848 HAS SOUS 5182 HAS SOUPS 5169 WITH SCORE 5184.87
AT ITER 805 NEW BEST:: SOT 29595 SOS 16018 HAS SOPS 15996 HAS SOUS 5177 HAS SOUPS 5164 WITH SCORE 5180.018
AT ITER 809 NEW BEST:: SOT 29645 SOS 15804 HAS SOPS 15782 HAS SOUS 5174 HAS SOUPS 5161 WITH SCORE 5176.804
AT ITER 814 NEW BEST:: SOT 29627 SOS 15758 HAS SOPS 15736 HAS SOUS 5120 HAS SOUPS 5107 WITH SCORE 5122.758
AT ITER 819 NEW BEST:: SOT 29616 SOS 15747 HAS SOPS 15725 HAS SOUS 5108 HAS SOUPS 5095 WITH SCORE 5110.747
AT ITER 826 NEW BEST:: SOT 29611 SOS 15742 HAS SOPS 15720 HAS SOUS 5095 HAS SOUPS 5082 WITH SCORE 5097.742
AT ITER 828 NEW BEST:: SOT 29647 SOS 15796 HAS SOPS 15774 HAS SOUS 5050 HAS SOUPS 5037 WITH SCORE 5052.796
AT ITER 854 NEW BEST:: SOT 29644 SOS 15761 HAS SOPS 15739 HAS SOUS 5026 HAS SOUPS 5013 WITH SCORE 5028.761
AT ITER 855 NEW BEST:: SOT 29639 SOS 15756 HAS SOPS 15734 HAS SOUS 5021 HAS SOUPS 5008 WITH SCORE 5023.756
AT ITER 862 NEW BEST:: SOT 29572 SOS 15629 HAS SOPS 15607 HAS SOUS 4982 HAS SOUPS 4969 WITH SCORE 4984.629
AT ITER 866 NEW BEST:: SOT 29450 SOS 15494 HAS SOPS 15472 HAS SOUS 4955 HAS SOUPS 4942 WITH SCORE 4957.494
AT ITER 871 NEW BEST:: SOT 29464 SOS 15508 HAS SOPS 15486 HAS SOUS 4949 HAS SOUPS 4936 WITH SCORE 4951.508
AT ITER 874 NEW BEST:: SOT 29456 SOS 15723 HAS SOPS 15701 HAS SOUS 4934 HAS SOUPS 4921 WITH SCORE 4936.723
AT ITER 879 NEW BEST:: SOT 29466 SOS 15733 HAS SOPS 15711 HAS SOUS 4914 HAS SOUPS 4901 WITH SCORE 4916.733
AT ITER 912 NEW BEST:: SOT 29431 SOS 15636 HAS SOPS 15614 HAS SOUS 4903 HAS SOUPS 4890 WITH SCORE 4905.636
AT ITER 922 NEW BEST:: SOT 29441 SOS 15646 HAS SOPS 15624 HAS SOUS 4881 HAS SOUPS 4868 WITH SCORE 4883.646
AT ITER 923 NEW BEST:: SOT 29423 SOS 15631 HAS SOPS 15609 HAS SOUS 4837 HAS SOUPS 4824 WITH SCORE 4839.631
AT ITER 947 NEW BEST:: SOT 29417 SOS 15631 HAS SOPS 15609 HAS SOUS 4834 HAS SOUPS 4821 WITH SCORE 4836.631
AT ITER 961 NEW BEST:: SOT 29426 SOS 15689 HAS SOPS 15667 HAS SOUS 4810 HAS SOUPS 4797 WITH SCORE 4812.689
AT ITER 970 NEW BEST:: SOT 29423 SOS 15662 HAS SOPS 15640 HAS SOUS 4806 HAS SOUPS 4793 WITH SCORE 4808.662
AT ITER 976 NEW BEST:: SOT 29415 SOS 15654 HAS SOPS 15632 HAS SOUS 4789 HAS SOUPS 4776 WITH SCORE 4791.654
AT ITER 983 NEW BEST:: SOT 29415 SOS 15654 HAS SOPS 15632 HAS SOUS 4783 HAS SOUPS 4770 WITH SCORE 4785.654
AT ITER 985 NEW BEST:: SOT 29410 SOS 15599 HAS SOPS 15577 HAS SOUS 4735 HAS SOUPS 4722 WITH SCORE 4737.599
AT ITER 988 NEW BEST:: SOT 29409 SOS 15597 HAS SOPS 15575 HAS SOUS 4733 HAS SOUPS 4720 WITH SCORE 4735.597
AT ITER 1007 NEW BEST:: SOT 29434 SOS 15622 HAS SOPS 15600 HAS SOUS 4722 HAS SOUPS 4709 WITH SCORE 4724.622
AT ITER 1059 NEW BEST:: SOT 29434 SOS 15622 HAS SOPS 15600 HAS SOUS 4715 HAS SOUPS 4702 WITH SCORE 4717.622
AT ITER 1091 NEW BEST:: SOT 29433 SOS 15621 HAS SOPS 15599 HAS SOUS 4714 HAS SOUPS 4701 WITH SCORE 4716.621
AT ITER 1105 NEW BEST:: SOT 29493 SOS 15643 HAS SOPS 15621 HAS SOUS 4710 HAS SOUPS 4697 WITH SCORE 4712.643
AT ITER 1115 NEW BEST:: SOT 29493 SOS 15645 HAS SOPS 15623 HAS SOUS 4690 HAS SOUPS 4677 WITH SCORE 4692.645
AT ITER 1128 NEW BEST:: SOT 29467 SOS 15619 HAS SOPS 15597 HAS SOUS 4673 HAS SOUPS 4660 WITH SCORE 4675.619
AT ITER 1130 NEW BEST:: SOT 29461 SOS 15613 HAS SOPS 15591 HAS SOUS 4666 HAS SOUPS 4653 WITH SCORE 4668.613
AT ITER 1145 NEW BEST:: SOT 29442 SOS 15594 HAS SOPS 15572 HAS SOUS 4647 HAS SOUPS 4634 WITH SCORE 4649.594
AT ITER 1149 NEW BEST:: SOT 29441 SOS 15593 HAS SOPS 15571 HAS SOUS 4647 HAS SOUPS 4634 WITH SCORE 4649.593
AT ITER 1191 NEW BEST:: SOT 29457 SOS 15609 HAS SOPS 15587 HAS SOUS 4643 HAS SOUPS 4630 WITH SCORE 4645.609
AT ITER 1200 NEW BEST:: SOT 29452 SOS 15599 HAS SOPS 15577 HAS SOUS 4638 HAS SOUPS 4625 WITH SCORE 4640.599
AT ITER 1202 NEW BEST:: SOT 29446 SOS 15613 HAS SOPS 15591 HAS SOUS 4607 HAS SOUPS 4594 WITH SCORE 4609.613
AT ITER 1222 NEW BEST:: SOT 29404 SOS 15512 HAS SOPS 15490 HAS SOUS 4569 HAS SOUPS 4556 WITH SCORE 4571.512
AT ITER 1236 NEW BEST:: SOT 29386 SOS 15482 HAS SOPS 15460 HAS SOUS 4555 HAS SOUPS 4542 WITH SCORE 4557.482
AT ITER 1246 NEW BEST:: SOT 29363 SOS 15436 HAS SOPS 15414 HAS SOUS 4555 HAS SOUPS 4542 WITH SCORE 4557.436
AT ITER 1247 NEW BEST:: SOT 29407 SOS 15500 HAS SOPS 15478 HAS SOUS 4551 HAS SOUPS 4538 WITH SCORE 4553.5
AT ITER 1259 NEW BEST:: SOT 29371 SOS 15464 HAS SOPS 15442 HAS SOUS 4540 HAS SOUPS 4527 WITH SCORE 4542.464
AT ITER 1267 NEW BEST:: SOT 29365 SOS 15458 HAS SOPS 15436 HAS SOUS 4528 HAS SOUPS 4515 WITH SCORE 4530.458
AT ITER 1271 NEW BEST:: SOT 29363 SOS 15458 HAS SOPS 15436 HAS SOUS 4526 HAS SOUPS 4513 WITH SCORE 4528.458
AT ITER 1272 NEW BEST:: SOT 29363 SOS 15468 HAS SOPS 15446 HAS SOUS 4516 HAS SOUPS 4503 WITH SCORE 4518.468
AT ITER 1285 NEW BEST:: SOT 29339 SOS 15421 HAS SOPS 15399 HAS SOUS 4507 HAS SOUPS 4494 WITH SCORE 4509.421
AT ITER 1294 NEW BEST:: SOT 29336 SOS 15378 HAS SOPS 15356 HAS SOUS 4507 HAS SOUPS 4494 WITH SCORE 4509.378
AT ITER 1304 NEW BEST:: SOT 29343 SOS 15379 HAS SOPS 15357 HAS SOUS 4506 HAS SOUPS 4493 WITH SCORE 4508.379
AT ITER 1342 NEW BEST:: SOT 29340 SOS 15376 HAS SOPS 15354 HAS SOUS 4506 HAS SOUPS 4493 WITH SCORE 4508.376
AT ITER 1343 NEW BEST:: SOT 29339 SOS 15375 HAS SOPS 15353 HAS SOUS 4494 HAS SOUPS 4481 WITH SCORE 4496.375
AT ITER 1345 NEW BEST:: SOT 29321 SOS 15330 HAS SOPS 15308 HAS SOUS 4470 HAS SOUPS 4457 WITH SCORE 4472.33
AT ITER 1350 NEW BEST:: SOT 29320 SOS 15307 HAS SOPS 15285 HAS SOUS 4469 HAS SOUPS 4456 WITH SCORE 4471.307
AT ITER 1369 NEW BEST:: SOT 29318 SOS 15305 HAS SOPS 15283 HAS SOUS 4467 HAS SOUPS 4454 WITH SCORE 4469.305
AT ITER 1385 NEW BEST:: SOT 29289 SOS 15276 HAS SOPS 15254 HAS SOUS 4438 HAS SOUPS 4425 WITH SCORE 4440.276
AT ITER 1389 NEW BEST:: SOT 29288 SOS 15275 HAS SOPS 15253 HAS SOUS 4437 HAS SOUPS 4424 WITH SCORE 4439.275
AT ITER 1402 NEW BEST:: SOT 29288 SOS 15275 HAS SOPS 15253 HAS SOUS 4433 HAS SOUPS 4420 WITH SCORE 4435.275
AT ITER 1403 NEW BEST:: SOT 29288 SOS 15275 HAS SOPS 15253 HAS SOUS 4430 HAS SOUPS 4417 WITH SCORE 4432.275
AT ITER 1413 NEW BEST:: SOT 29256 SOS 15211 HAS SOPS 15189 HAS SOUS 4383 HAS SOUPS 4370 WITH SCORE 4385.211
AT ITER 1426 NEW BEST:: SOT 29246 SOS 15201 HAS SOPS 15179 HAS SOUS 4375 HAS SOUPS 4362 WITH SCORE 4377.201
AT ITER 1466 NEW BEST:: SOT 29229 SOS 15164 HAS SOPS 15142 HAS SOUS 4360 HAS SOUPS 4347 WITH SCORE 4362.164
AT ITER 1481 NEW BEST:: SOT 29225 SOS 15158 HAS SOPS 15136 HAS SOUS 4350 HAS SOUPS 4337 WITH SCORE 4352.158
AT ITER 1482 NEW BEST:: SOT 29206 SOS 15037 HAS SOPS 15015 HAS SOUS 4312 HAS SOUPS 4299 WITH SCORE 4314.037
AT ITER 1492 NEW BEST:: SOT 29199 SOS 15030 HAS SOPS 15008 HAS SOUS 4305 HAS SOUPS 4292 WITH SCORE 4307.03
AT ITER 1502 NEW BEST:: SOT 29204 SOS 15035 HAS SOPS 15013 HAS SOUS 4303 HAS SOUPS 4290 WITH SCORE 4305.035
AT ITER 1518 NEW BEST:: SOT 29204 SOS 15035 HAS SOPS 15013 HAS SOUS 4294 HAS SOUPS 4281 WITH SCORE 4296.035
AT ITER 1598 NEW BEST:: SOT 29198 SOS 15029 HAS SOPS 15007 HAS SOUS 4280 HAS SOUPS 4267 WITH SCORE 4282.029
AT ITER 1605 NEW BEST:: SOT 29191 SOS 15022 HAS SOPS 15000 HAS SOUS 4269 HAS SOUPS 4256 WITH SCORE 4271.022
AT ITER 1613 NEW BEST:: SOT 29185 SOS 15010 HAS SOPS 14988 HAS SOUS 4257 HAS SOUPS 4244 WITH SCORE 4259.01
AT ITER 1623 NEW BEST:: SOT 29193 SOS 15018 HAS SOPS 14996 HAS SOUS 4256 HAS SOUPS 4243 WITH SCORE 4258.018
AT ITER 1627 NEW BEST:: SOT 29199 SOS 15024 HAS SOPS 15002 HAS SOUS 4255 HAS SOUPS 4242 WITH SCORE 4257.024
AT ITER 1630 NEW BEST:: SOT 29181 SOS 14982 HAS SOPS 14960 HAS SOUS 4243 HAS SOUPS 4230 WITH SCORE 4244.982
AT ITER 1679 NEW BEST:: SOT 29173 SOS 14983 HAS SOPS 14961 HAS SOUS 4241 HAS SOUPS 4228 WITH SCORE 4242.983
AT ITER 1702 NEW BEST:: SOT 29168 SOS 14978 HAS SOPS 14956 HAS SOUS 4236 HAS SOUPS 4223 WITH SCORE 4237.978
AT ITER 1729 NEW BEST:: SOT 29160 SOS 14962 HAS SOPS 14940 HAS SOUS 4236 HAS SOUPS 4223 WITH SCORE 4237.962
AT ITER 1733 NEW BEST:: SOT 29156 SOS 15003 HAS SOPS 14981 HAS SOUS 4232 HAS SOUPS 4219 WITH SCORE 4234.003
AT ITER 1738 NEW BEST:: SOT 29150 SOS 14997 HAS SOPS 14975 HAS SOUS 4226 HAS SOUPS 4213 WITH SCORE 4227.997
AT ITER 1747 NEW BEST:: SOT 29110 SOS 14942 HAS SOPS 14920 HAS SOUS 4192 HAS SOUPS 4179 WITH SCORE 4193.942
AT ITER 1755 NEW BEST:: SOT 29107 SOS 14937 HAS SOPS 14915 HAS SOUS 4190 HAS SOUPS 4177 WITH SCORE 4191.937
AT ITER 1766 NEW BEST:: SOT 29116 SOS 15092 HAS SOPS 15070 HAS SOUS 4185 HAS SOUPS 4172 WITH SCORE 4187.092
AT ITER 1777 NEW BEST:: SOT 29106 SOS 15082 HAS SOPS 15060 HAS SOUS 4177 HAS SOUPS 4164 WITH SCORE 4179.082
AT ITER 1793 NEW BEST:: SOT 29102 SOS 15072 HAS SOPS 15050 HAS SOUS 4158 HAS SOUPS 4145 WITH SCORE 4160.072
AT ITER 1797 NEW BEST:: SOT 29074 SOS 15000 HAS SOPS 14978 HAS SOUS 4141 HAS SOUPS 4128 WITH SCORE 4143.0
AT ITER 1801 NEW BEST:: SOT 29038 SOS 14964 HAS SOPS 14942 HAS SOUS 4120 HAS SOUPS 4107 WITH SCORE 4121.964
AT ITER 1816 NEW BEST:: SOT 29034 SOS 14960 HAS SOPS 14938 HAS SOUS 4116 HAS SOUPS 4103 WITH SCORE 4117.96
AT ITER 1824 NEW BEST:: SOT 29030 SOS 14952 HAS SOPS 14930 HAS SOUS 4110 HAS SOUPS 4097 WITH SCORE 4111.952
AT ITER 1829 NEW BEST:: SOT 29043 SOS 14948 HAS SOPS 14926 HAS SOUS 4107 HAS SOUPS 4094 WITH SCORE 4108.948
AT ITER 1832 NEW BEST:: SOT 29033 SOS 14938 HAS SOPS 14916 HAS SOUS 4087 HAS SOUPS 4074 WITH SCORE 4088.938
AT ITER 1848 NEW BEST:: SOT 29021 SOS 14926 HAS SOPS 14904 HAS SOUS 4076 HAS SOUPS 4063 WITH SCORE 4077.926
AT ITER 1853 NEW BEST:: SOT 29008 SOS 14913 HAS SOPS 14891 HAS SOUS 4050 HAS SOUPS 4037 WITH SCORE 4051.913
AT ITER 1880 NEW BEST:: SOT 28994 SOS 14892 HAS SOPS 14870 HAS SOUS 4043 HAS SOUPS 4030 WITH SCORE 4044.892
AT ITER 1886 NEW BEST:: SOT 28993 SOS 14891 HAS SOPS 14869 HAS SOUS 4041 HAS SOUPS 4028 WITH SCORE 4042.891
AT ITER 1897 NEW BEST:: SOT 28972 SOS 14808 HAS SOPS 14786 HAS SOUS 4016 HAS SOUPS 4003 WITH SCORE 4017.808
AT ITER 1898 NEW BEST:: SOT 28968 SOS 14804 HAS SOPS 14782 HAS SOUS 4012 HAS SOUPS 3999 WITH SCORE 4013.804
AT ITER 1920 NEW BEST:: SOT 28959 SOS 14788 HAS SOPS 14766 HAS SOUS 4008 HAS SOUPS 3995 WITH SCORE 4009.788
AT ITER 1982 NEW BEST:: SOT 28960 SOS 14777 HAS SOPS 14755 HAS SOUS 3999 HAS SOUPS 3986 WITH SCORE 4000.777
AT ITER 1987 NEW BEST:: SOT 28948 SOS 14785 HAS SOPS 14763 HAS SOUS 3988 HAS SOUPS 3975 WITH SCORE 3989.785
AT ITER 1994 NEW BEST:: SOT 28947 SOS 14784 HAS SOPS 14762 HAS SOUS 3987 HAS SOUPS 3974 WITH SCORE 3988.784
AT ITER 2013 NEW BEST:: SOT 28947 SOS 14784 HAS SOPS 14762 HAS SOUS 3983 HAS SOUPS 3970 WITH SCORE 3984.784
AT ITER 2028 NEW BEST:: SOT 28935 SOS 14772 HAS SOPS 14750 HAS SOUS 3964 HAS SOUPS 3951 WITH SCORE 3965.772
AT ITER 2034 NEW BEST:: SOT 28934 SOS 14771 HAS SOPS 14749 HAS SOUS 3962 HAS SOUPS 3949 WITH SCORE 3963.771
AT ITER 2054 NEW BEST:: SOT 28926 SOS 14759 HAS SOPS 14737 HAS SOUS 3950 HAS SOUPS 3937 WITH SCORE 3951.759
AT ITER 2074 NEW BEST:: SOT 28912 SOS 14720 HAS SOPS 14698 HAS SOUS 3946 HAS SOUPS 3933 WITH SCORE 3947.72
AT ITER 2093 NEW BEST:: SOT 28821 SOS 14582 HAS SOPS 14560 HAS SOUS 3921 HAS SOUPS 3908 WITH SCORE 3922.582
AT ITER 2100 NEW BEST:: SOT 28832 SOS 14593 HAS SOPS 14571 HAS SOUS 3914 HAS SOUPS 3901 WITH SCORE 3915.593
AT ITER 2105 NEW BEST:: SOT 28811 SOS 14572 HAS SOPS 14550 HAS SOUS 3890 HAS SOUPS 3877 WITH SCORE 3891.572
AT ITER 2126 NEW BEST:: SOT 28816 SOS 14577 HAS SOPS 14555 HAS SOUS 3885 HAS SOUPS 3872 WITH SCORE 3886.577
AT ITER 2137 NEW BEST:: SOT 28811 SOS 14572 HAS SOPS 14550 HAS SOUS 3875 HAS SOUPS 3862 WITH SCORE 3876.572
AT ITER 2201 NEW BEST:: SOT 28790 SOS 14530 HAS SOPS 14508 HAS SOUS 3852 HAS SOUPS 3839 WITH SCORE 3853.53
AT ITER 2266 NEW BEST:: SOT 28790 SOS 14530 HAS SOPS 14508 HAS SOUS 3848 HAS SOUPS 3835 WITH SCORE 3849.53
AT ITER 2273 NEW BEST:: SOT 28788 SOS 14528 HAS SOPS 14506 HAS SOUS 3848 HAS SOUPS 3835 WITH SCORE 3849.528
AT ITER 2281 NEW BEST:: SOT 28789 SOS 14532 HAS SOPS 14510 HAS SOUS 3844 HAS SOUPS 3831 WITH SCORE 3845.532
AT ITER 2287 NEW BEST:: SOT 28787 SOS 14696 HAS SOPS 14674 HAS SOUS 3839 HAS SOUPS 3826 WITH SCORE 3840.696
AT ITER 2295 NEW BEST:: SOT 28774 SOS 14683 HAS SOPS 14661 HAS SOUS 3826 HAS SOUPS 3813 WITH SCORE 3827.683
AT ITER 2296 NEW BEST:: SOT 28754 SOS 14659 HAS SOPS 14637 HAS SOUS 3817 HAS SOUPS 3804 WITH SCORE 3818.659
AT ITER 2375 NEW BEST:: SOT 28748 SOS 14647 HAS SOPS 14625 HAS SOUS 3812 HAS SOUPS 3799 WITH SCORE 3813.647
AT ITER 2384 NEW BEST:: SOT 28740 SOS 14631 HAS SOPS 14609 HAS SOUS 3812 HAS SOUPS 3799 WITH SCORE 3813.631
AT ITER 2424 NEW BEST:: SOT 28738 SOS 14625 HAS SOPS 14603 HAS SOUS 3812 HAS SOUPS 3799 WITH SCORE 3813.625
AT ITER 2428 NEW BEST:: SOT 28733 SOS 14620 HAS SOPS 14598 HAS SOUS 3808 HAS SOUPS 3795 WITH SCORE 3809.62
AT ITER 2432 NEW BEST:: SOT 28744 SOS 14631 HAS SOPS 14609 HAS SOUS 3799 HAS SOUPS 3786 WITH SCORE 3800.631
AT ITER 2451 NEW BEST:: SOT 28736 SOS 14623 HAS SOPS 14601 HAS SOUS 3791 HAS SOUPS 3778 WITH SCORE 3792.623
AT ITER 2513 NEW BEST:: SOT 28726 SOS 14603 HAS SOPS 14581 HAS SOUS 3791 HAS SOUPS 3778 WITH SCORE 3792.603
AT ITER 2553 NEW BEST:: SOT 28725 SOS 14602 HAS SOPS 14580 HAS SOUS 3790 HAS SOUPS 3777 WITH SCORE 3791.602
AT ITER 2575 NEW BEST:: SOT 28724 SOS 14600 HAS SOPS 14578 HAS SOUS 3790 HAS SOUPS 3777 WITH SCORE 3791.6
AT ITER 2642 NEW BEST:: SOT 28723 SOS 14599 HAS SOPS 14577 HAS SOUS 3789 HAS SOUPS 3776 WITH SCORE 3790.599
AT ITER 2656 NEW BEST:: SOT 28720 SOS 14593 HAS SOPS 14571 HAS SOUS 3783 HAS SOUPS 3770 WITH SCORE 3784.593
AT ITER 2667 NEW BEST:: SOT 28701 SOS 14542 HAS SOPS 14520 HAS SOUS 3772 HAS SOUPS 3759 WITH SCORE 3773.542
AT ITER 2670 NEW BEST:: SOT 28686 SOS 14523 HAS SOPS 14501 HAS SOUS 3768 HAS SOUPS 3755 WITH SCORE 3769.523
AT ITER 2678 NEW BEST:: SOT 28685 SOS 14522 HAS SOPS 14500 HAS SOUS 3766 HAS SOUPS 3753 WITH SCORE 3767.522
AT ITER 2679 NEW BEST:: SOT 28666 SOS 14485 HAS SOPS 14463 HAS SOUS 3747 HAS SOUPS 3734 WITH SCORE 3748.485
AT ITER 2687 NEW BEST:: SOT 28664 SOS 14481 HAS SOPS 14459 HAS SOUS 3745 HAS SOUPS 3732 WITH SCORE 3746.481
AT ITER 2702 NEW BEST:: SOT 28660 SOS 14477 HAS SOPS 14455 HAS SOUS 3745 HAS SOUPS 3732 WITH SCORE 3746.477
AT ITER 2744 NEW BEST:: SOT 28655 SOS 14472 HAS SOPS 14450 HAS SOUS 3740 HAS SOUPS 3727 WITH SCORE 3741.472
AT ITER 2916 NEW BEST:: SOT 28638 SOS 14455 HAS SOPS 14433 HAS SOUS 3740 HAS SOUPS 3727 WITH SCORE 3741.455
AT ITER 2920 NEW BEST:: SOT 28637 SOS 14453 HAS SOPS 14431 HAS SOUS 3739 HAS SOUPS 3726 WITH SCORE 3740.453
AT ITER 2923 NEW BEST:: SOT 28637 SOS 14454 HAS SOPS 14432 HAS SOUS 3738 HAS SOUPS 3725 WITH SCORE 3739.454
AT ITER 2946 NEW BEST:: SOT 28638 SOS 14467 HAS SOPS 14445 HAS SOUS 3737 HAS SOUPS 3724 WITH SCORE 3738.467
AT ITER 2956 NEW BEST:: SOT 28638 SOS 14461 HAS SOPS 14439 HAS SOUS 3737 HAS SOUPS 3724 WITH SCORE 3738.461
AT ITER 2980 NEW BEST:: SOT 28638 SOS 14461 HAS SOPS 14439 HAS SOUS 3735 HAS SOUPS 3722 WITH SCORE 3736.461
AT ITER 2982 NEW BEST:: SOT 28646 SOS 14451 HAS SOPS 14429 HAS SOUS 3720 HAS SOUPS 3707 WITH SCORE 3721.451
AT ITER 3112 NEW BEST:: SOT 28635 SOS 14440 HAS SOPS 14418 HAS SOUS 3709 HAS SOUPS 3696 WITH SCORE 3710.44
AT ITER 3126 NEW BEST:: SOT 28629 SOS 14426 HAS SOPS 14404 HAS SOUS 3701 HAS SOUPS 3688 WITH SCORE 3702.426
AT ITER 3132 NEW BEST:: SOT 28625 SOS 14416 HAS SOPS 14394 HAS SOUS 3697 HAS SOUPS 3684 WITH SCORE 3698.416
AT ITER 3172 NEW BEST:: SOT 28621 SOS 14416 HAS SOPS 14394 HAS SOUS 3696 HAS SOUPS 3683 WITH SCORE 3697.416
AT ITER 3173 NEW BEST:: SOT 28641 SOS 14415 HAS SOPS 14393 HAS SOUS 3685 HAS SOUPS 3672 WITH SCORE 3686.415
AT ITER 3182 NEW BEST:: SOT 28639 SOS 14412 HAS SOPS 14390 HAS SOUS 3684 HAS SOUPS 3671 WITH SCORE 3685.412
AT ITER 3187 NEW BEST:: SOT 28632 SOS 14401 HAS SOPS 14379 HAS SOUS 3678 HAS SOUPS 3665 WITH SCORE 3679.401
AT ITER 3207 NEW BEST:: SOT 28631 SOS 14389 HAS SOPS 14367 HAS SOUS 3666 HAS SOUPS 3653 WITH SCORE 3667.389
AT ITER 3227 NEW BEST:: SOT 28629 SOS 14387 HAS SOPS 14365 HAS SOUS 3662 HAS SOUPS 3649 WITH SCORE 3663.387
AT ITER 3233 NEW BEST:: SOT 28628 SOS 14386 HAS SOPS 14364 HAS SOUS 3661 HAS SOUPS 3648 WITH SCORE 3662.386
AT ITER 3252 NEW BEST:: SOT 28628 SOS 14386 HAS SOPS 14364 HAS SOUS 3659 HAS SOUPS 3646 WITH SCORE 3660.386
AT ITER 3265 NEW BEST:: SOT 28622 SOS 14380 HAS SOPS 14358 HAS SOUS 3659 HAS SOUPS 3646 WITH SCORE 3660.38
AT ITER 3281 NEW BEST:: SOT 28606 SOS 14364 HAS SOPS 14342 HAS SOUS 3649 HAS SOUPS 3636 WITH SCORE 3650.364
AT ITER 3288 NEW BEST:: SOT 28606 SOS 14364 HAS SOPS 14342 HAS SOUS 3640 HAS SOUPS 3627 WITH SCORE 3641.364
AT ITER 3333 NEW BEST:: SOT 28606 SOS 14356 HAS SOPS 14334 HAS SOUS 3640 HAS SOUPS 3627 WITH SCORE 3641.356
AT ITER 3369 NEW BEST:: SOT 28603 SOS 14357 HAS SOPS 14335 HAS SOUS 3636 HAS SOUPS 3623 WITH SCORE 3637.357
AT ITER 3403 NEW BEST:: SOT 28608 SOS 14366 HAS SOPS 14344 HAS SOUS 3635 HAS SOUPS 3622 WITH SCORE 3636.366
AT ITER 3410 NEW BEST:: SOT 28600 SOS 14349 HAS SOPS 14327 HAS SOUS 3618 HAS SOUPS 3605 WITH SCORE 3619.349
AT ITER 3412 NEW BEST:: SOT 28594 SOS 14343 HAS SOPS 14321 HAS SOUS 3616 HAS SOUPS 3603 WITH SCORE 3617.343
AT ITER 3423 NEW BEST:: SOT 28594 SOS 14343 HAS SOPS 14321 HAS SOUS 3614 HAS SOUPS 3601 WITH SCORE 3615.343
AT ITER 3501 NEW BEST:: SOT 28594 SOS 14343 HAS SOPS 14321 HAS SOUS 3612 HAS SOUPS 3599 WITH SCORE 3613.343
AT ITER 3515 NEW BEST:: SOT 28591 SOS 14303 HAS SOPS 14281 HAS SOUS 3567 HAS SOUPS 3554 WITH SCORE 3568.303
AT ITER 3581 NEW BEST:: SOT 28589 SOS 14303 HAS SOPS 14281 HAS SOUS 3562 HAS SOUPS 3549 WITH SCORE 3563.303
AT ITER 3596 NEW BEST:: SOT 28588 SOS 14302 HAS SOPS 14280 HAS SOUS 3560 HAS SOUPS 3547 WITH SCORE 3561.302
AT ITER 3604 NEW BEST:: SOT 28587 SOS 14287 HAS SOPS 14265 HAS SOUS 3559 HAS SOUPS 3546 WITH SCORE 3560.287
AT ITER 3618 NEW BEST:: SOT 28584 SOS 14284 HAS SOPS 14262 HAS SOUS 3559 HAS SOUPS 3546 WITH SCORE 3560.284
AT ITER 3641 NEW BEST:: SOT 28578 SOS 14278 HAS SOPS 14256 HAS SOUS 3550 HAS SOUPS 3537 WITH SCORE 3551.278
AT ITER 3664 NEW BEST:: SOT 28590 SOS 14270 HAS SOPS 14248 HAS SOUS 3542 HAS SOUPS 3529 WITH SCORE 3543.27
AT ITER 3683 NEW BEST:: SOT 28592 SOS 14268 HAS SOPS 14246 HAS SOUS 3540 HAS SOUPS 3527 WITH SCORE 3541.268
AT ITER 3685 NEW BEST:: SOT 28591 SOS 14267 HAS SOPS 14245 HAS SOUS 3540 HAS SOUPS 3527 WITH SCORE 3541.267
AT ITER 3799 NEW BEST:: SOT 28586 SOS 14257 HAS SOPS 14235 HAS SOUS 3540 HAS SOUPS 3527 WITH SCORE 3541.257
AT ITER 3803 NEW BEST:: SOT 28582 SOS 14253 HAS SOPS 14231 HAS SOUS 3536 HAS SOUPS 3523 WITH SCORE 3537.253
AT ITER 3819 NEW BEST:: SOT 28581 SOS 14252 HAS SOPS 14230 HAS SOUS 3534 HAS SOUPS 3521 WITH SCORE 3535.252
AT ITER 3820 NEW BEST:: SOT 28566 SOS 14237 HAS SOPS 14215 HAS SOUS 3530 HAS SOUPS 3517 WITH SCORE 3531.237
AT ITER 3848 NEW BEST:: SOT 28556 SOS 14227 HAS SOPS 14205 HAS SOUS 3516 HAS SOUPS 3503 WITH SCORE 3517.227
AT ITER 3869 NEW BEST:: SOT 28550 SOS 14218 HAS SOPS 14196 HAS SOUS 3510 HAS SOUPS 3497 WITH SCORE 3511.218
AT ITER 3885 NEW BEST:: SOT 28549 SOS 14217 HAS SOPS 14195 HAS SOUS 3510 HAS SOUPS 3497 WITH SCORE 3511.217
AT ITER 4049 NEW BEST:: SOT 28550 SOS 14219 HAS SOPS 14197 HAS SOUS 3508 HAS SOUPS 3495 WITH SCORE 3509.219
AT ITER 4102 NEW BEST:: SOT 28547 SOS 14216 HAS SOPS 14194 HAS SOUS 3506 HAS SOUPS 3493 WITH SCORE 3507.216
AT ITER 4103 NEW BEST:: SOT 28547 SOS 14209 HAS SOPS 14187 HAS SOUS 3499 HAS SOUPS 3486 WITH SCORE 3500.209
AT ITER 4115 NEW BEST:: SOT 28544 SOS 14206 HAS SOPS 14184 HAS SOUS 3496 HAS SOUPS 3483 WITH SCORE 3497.206
AT ITER 4126 NEW BEST:: SOT 28549 SOS 14211 HAS SOPS 14189 HAS SOUS 3492 HAS SOUPS 3479 WITH SCORE 3493.211
AT ITER 4160 NEW BEST:: SOT 28537 SOS 14199 HAS SOPS 14177 HAS SOUS 3443 HAS SOUPS 3430 WITH SCORE 3444.199
AT ITER 4180 NEW BEST:: SOT 28534 SOS 14196 HAS SOPS 14174 HAS SOUS 3439 HAS SOUPS 3426 WITH SCORE 3440.196
AT ITER 4203 NEW BEST:: SOT 28528 SOS 14190 HAS SOPS 14168 HAS SOUS 3439 HAS SOUPS 3426 WITH SCORE 3440.19
AT ITER 4204 NEW BEST:: SOT 28523 SOS 14185 HAS SOPS 14163 HAS SOUS 3429 HAS SOUPS 3416 WITH SCORE 3430.185
AT ITER 4230 NEW BEST:: SOT 28522 SOS 14184 HAS SOPS 14162 HAS SOUS 3427 HAS SOUPS 3414 WITH SCORE 3428.184
AT ITER 4233 NEW BEST:: SOT 28520 SOS 14178 HAS SOPS 14156 HAS SOUS 3423 HAS SOUPS 3410 WITH SCORE 3424.178
AT ITER 4245 NEW BEST:: SOT 28523 SOS 14180 HAS SOPS 14158 HAS SOUS 3420 HAS SOUPS 3407 WITH SCORE 3421.18
AT ITER 4252 NEW BEST:: SOT 28527 SOS 14180 HAS SOPS 14158 HAS SOUS 3413 HAS SOUPS 3400 WITH SCORE 3414.18
AT ITER 4347 NEW BEST:: SOT 28527 SOS 14178 HAS SOPS 14156 HAS SOUS 3413 HAS SOUPS 3400 WITH SCORE 3414.178
AT ITER 4353 NEW BEST:: SOT 28526 SOS 14177 HAS SOPS 14155 HAS SOUS 3411 HAS SOUPS 3398 WITH SCORE 3412.177
AT ITER 4359 NEW BEST:: SOT 28525 SOS 14176 HAS SOPS 14154 HAS SOUS 3409 HAS SOUPS 3396 WITH SCORE 3410.176
AT ITER 4426 NEW BEST:: SOT 28524 SOS 14161 HAS SOPS 14139 HAS SOUS 3408 HAS SOUPS 3395 WITH SCORE 3409.161
AT ITER 4430 NEW BEST:: SOT 28523 SOS 14160 HAS SOPS 14138 HAS SOUS 3408 HAS SOUPS 3395 WITH SCORE 3409.16
AT ITER 4520 NEW BEST:: SOT 28522 SOS 14159 HAS SOPS 14137 HAS SOUS 3406 HAS SOUPS 3393 WITH SCORE 3407.159
AT ITER 4590 NEW BEST:: SOT 28520 SOS 14157 HAS SOPS 14135 HAS SOUS 3404 HAS SOUPS 3391 WITH SCORE 3405.157
AT ITER 4688 NEW BEST:: SOT 28524 SOS 14161 HAS SOPS 14139 HAS SOUS 3401 HAS SOUPS 3388 WITH SCORE 3402.161
AT ITER 4757 NEW BEST:: SOT 28542 SOS 14174 HAS SOPS 14152 HAS SOUS 3400 HAS SOUPS 3387 WITH SCORE 3401.174
AT ITER 4785 NEW BEST:: SOT 28537 SOS 14169 HAS SOPS 14147 HAS SOUS 3390 HAS SOUPS 3377 WITH SCORE 3391.169
AT ITER 4794 NEW BEST:: SOT 28529 SOS 14161 HAS SOPS 14139 HAS SOUS 3382 HAS SOUPS 3369 WITH SCORE 3383.161
AT ITER 4829 NEW BEST:: SOT 28532 SOS 14164 HAS SOPS 14142 HAS SOUS 3379 HAS SOUPS 3366 WITH SCORE 3380.164
AT ITER 4849 NEW BEST:: SOT 28528 SOS 14160 HAS SOPS 14138 HAS SOUS 3367 HAS SOUPS 3354 WITH SCORE 3368.16
AT ITER 4871 NEW BEST:: SOT 28527 SOS 14159 HAS SOPS 14137 HAS SOUS 3365 HAS SOUPS 3352 WITH SCORE 3366.159
AT ITER 4913 NEW BEST:: SOT 28526 SOS 14158 HAS SOPS 14136 HAS SOUS 3365 HAS SOUPS 3352 WITH SCORE 3366.158
AT ITER 4920 NEW BEST:: SOT 28524 SOS 14156 HAS SOPS 14134 HAS SOUS 3365 HAS SOUPS 3352 WITH SCORE 3366.156
AT ITER 4943 NEW BEST:: SOT 28491 SOS 14125 HAS SOPS 14103 HAS SOUS 3359 HAS SOUPS 3346 WITH SCORE 3360.125
AT ITER 5093 NEW BEST:: SOT 28494 SOS 14128 HAS SOPS 14106 HAS SOUS 3348 HAS SOUPS 3335 WITH SCORE 3349.128
AT ITER 5119 NEW BEST:: SOT 28498 SOS 14141 HAS SOPS 14119 HAS SOUS 3343 HAS SOUPS 3330 WITH SCORE 3344.141
AT ITER 5120 NEW BEST:: SOT 28492 SOS 14117 HAS SOPS 14095 HAS SOUS 3337 HAS SOUPS 3324 WITH SCORE 3338.117
AT ITER 5139 NEW BEST:: SOT 28486 SOS 14099 HAS SOPS 14077 HAS SOUS 3331 HAS SOUPS 3318 WITH SCORE 3332.099
AT ITER 5208 NEW BEST:: SOT 28485 SOS 14097 HAS SOPS 14075 HAS SOUS 3330 HAS SOUPS 3317 WITH SCORE 3331.097
AT ITER 5341 NEW BEST:: SOT 28484 SOS 14096 HAS SOPS 14074 HAS SOUS 3328 HAS SOUPS 3315 WITH SCORE 3329.096
AT ITER 5352 NEW BEST:: SOT 28485 SOS 14044 HAS SOPS 14022 HAS SOUS 3328 HAS SOUPS 3315 WITH SCORE 3329.044
AT ITER 5497 NEW BEST:: SOT 28484 SOS 14043 HAS SOPS 14021 HAS SOUS 3328 HAS SOUPS 3315 WITH SCORE 3329.043
AT ITER 5508 NEW BEST:: SOT 28478 SOS 14037 HAS SOPS 14015 HAS SOUS 3326 HAS SOUPS 3313 WITH SCORE 3327.037
AT ITER 5532 NEW BEST:: SOT 28477 SOS 14036 HAS SOPS 14014 HAS SOUS 3325 HAS SOUPS 3312 WITH SCORE 3326.036
AT ITER 5553 NEW BEST:: SOT 28477 SOS 14036 HAS SOPS 14014 HAS SOUS 3324 HAS SOUPS 3311 WITH SCORE 3325.036
AT ITER 5635 NEW BEST:: SOT 28482 SOS 14007 HAS SOPS 13985 HAS SOUS 3324 HAS SOUPS 3311 WITH SCORE 3325.007
AT ITER 5669 NEW BEST:: SOT 28479 SOS 14004 HAS SOPS 13982 HAS SOUS 3315 HAS SOUPS 3302 WITH SCORE 3316.004
AT ITER 5677 NEW BEST:: SOT 28475 SOS 14000 HAS SOPS 13978 HAS SOUS 3311 HAS SOUPS 3298 WITH SCORE 3312.0
AT ITER 5689 NEW BEST:: SOT 28472 SOS 13997 HAS SOPS 13975 HAS SOUS 3308 HAS SOUPS 3295 WITH SCORE 3308.997
AT ITER 5690 NEW BEST:: SOT 28465 SOS 13990 HAS SOPS 13968 HAS SOUS 3304 HAS SOUPS 3291 WITH SCORE 3304.99
AT ITER 5739 NEW BEST:: SOT 28462 SOS 13981 HAS SOPS 13959 HAS SOUS 3301 HAS SOUPS 3288 WITH SCORE 3301.981
AT ITER 5761 NEW BEST:: SOT 28457 SOS 13976 HAS SOPS 13954 HAS SOUS 3296 HAS SOUPS 3283 WITH SCORE 3296.976
AT ITER 5885 NEW BEST:: SOT 28455 SOS 13974 HAS SOPS 13952 HAS SOUS 3296 HAS SOUPS 3283 WITH SCORE 3296.974
AT ITER 5921 NEW BEST:: SOT 28455 SOS 13974 HAS SOPS 13952 HAS SOUS 3295 HAS SOUPS 3282 WITH SCORE 3295.974
AT ITER 6116 NEW BEST:: SOT 28449 SOS 13962 HAS SOPS 13940 HAS SOUS 3289 HAS SOUPS 3276 WITH SCORE 3289.962
AT ITER 6175 NEW BEST:: SOT 28450 SOS 13963 HAS SOPS 13941 HAS SOUS 3287 HAS SOUPS 3274 WITH SCORE 3287.963
AT ITER 6256 NEW BEST:: SOT 28447 SOS 13963 HAS SOPS 13941 HAS SOUS 3284 HAS SOUPS 3271 WITH SCORE 3284.963
AT ITER 6258 NEW BEST:: SOT 28439 SOS 13955 HAS SOPS 13933 HAS SOUS 3284 HAS SOUPS 3271 WITH SCORE 3284.955
AT ITER 6264 NEW BEST:: SOT 28436 SOS 14021 HAS SOPS 13999 HAS SOUS 3281 HAS SOUPS 3268 WITH SCORE 3282.021
AT ITER 6283 NEW BEST:: SOT 28434 SOS 14019 HAS SOPS 13997 HAS SOUS 3281 HAS SOUPS 3268 WITH SCORE 3282.019
AT ITER 6319 NEW BEST:: SOT 28432 SOS 14017 HAS SOPS 13995 HAS SOUS 3277 HAS SOUPS 3264 WITH SCORE 3278.017
AT ITER 6329 NEW BEST:: SOT 28430 SOS 14016 HAS SOPS 13994 HAS SOUS 3277 HAS SOUPS 3264 WITH SCORE 3278.016
AT ITER 6338 NEW BEST:: SOT 28429 SOS 14015 HAS SOPS 13993 HAS SOUS 3276 HAS SOUPS 3263 WITH SCORE 3277.015
AT ITER 6353 NEW BEST:: SOT 28466 SOS 14081 HAS SOPS 14059 HAS SOUS 3271 HAS SOUPS 3258 WITH SCORE 3272.081
AT ITER 6363 NEW BEST:: SOT 28462 SOS 14072 HAS SOPS 14050 HAS SOUS 3268 HAS SOUPS 3255 WITH SCORE 3269.072
AT ITER 6393 NEW BEST:: SOT 28461 SOS 14071 HAS SOPS 14049 HAS SOUS 3268 HAS SOUPS 3255 WITH SCORE 3269.071
AT ITER 6435 NEW BEST:: SOT 28460 SOS 14071 HAS SOPS 14049 HAS SOUS 3267 HAS SOUPS 3254 WITH SCORE 3268.071
AT ITER 6470 NEW BEST:: SOT 28462 SOS 14082 HAS SOPS 14060 HAS SOUS 3264 HAS SOUPS 3251 WITH SCORE 3265.082
AT ITER 6513 NEW BEST:: SOT 28462 SOS 14082 HAS SOPS 14060 HAS SOUS 3263 HAS SOUPS 3250 WITH SCORE 3264.082
AT ITER 6579 NEW BEST:: SOT 28460 SOS 14052 HAS SOPS 14030 HAS SOUS 3261 HAS SOUPS 3248 WITH SCORE 3262.052
AT ITER 6587 NEW BEST:: SOT 28460 SOS 14050 HAS SOPS 14028 HAS SOUS 3257 HAS SOUPS 3244 WITH SCORE 3258.05
AT ITER 6878 NEW BEST:: SOT 28454 SOS 14044 HAS SOPS 14022 HAS SOUS 3248 HAS SOUPS 3235 WITH SCORE 3249.044
AT ITER 6921 NEW BEST:: SOT 28458 SOS 14048 HAS SOPS 14026 HAS SOUS 3247 HAS SOUPS 3234 WITH SCORE 3248.048
AT ITER 7019 NEW BEST:: SOT 28441 SOS 14019 HAS SOPS 13997 HAS SOUS 3241 HAS SOUPS 3228 WITH SCORE 3242.019
AT ITER 7027 NEW BEST:: SOT 28442 SOS 14018 HAS SOPS 13996 HAS SOUS 3239 HAS SOUPS 3226 WITH SCORE 3240.018
AT ITER 7071 NEW BEST:: SOT 28432 SOS 14002 HAS SOPS 13980 HAS SOUS 3235 HAS SOUPS 3222 WITH SCORE 3236.002
AT ITER 7185 NEW BEST:: SOT 28433 SOS 14004 HAS SOPS 13982 HAS SOUS 3234 HAS SOUPS 3221 WITH SCORE 3235.004
AT ITER 7264 NEW BEST:: SOT 28431 SOS 14000 HAS SOPS 13978 HAS SOUS 3232 HAS SOUPS 3219 WITH SCORE 3233.0
AT ITER 7339 NEW BEST:: SOT 28427 SOS 13996 HAS SOPS 13974 HAS SOUS 3232 HAS SOUPS 3219 WITH SCORE 3232.996
AT ITER 7359 NEW BEST:: SOT 28450 SOS 14019 HAS SOPS 13997 HAS SOUS 3228 HAS SOUPS 3215 WITH SCORE 3229.019
AT ITER 7516 NEW BEST:: SOT 28454 SOS 14023 HAS SOPS 14001 HAS SOUS 3226 HAS SOUPS 3213 WITH SCORE 3227.023
AT ITER 7568 NEW BEST:: SOT 28453 SOS 14022 HAS SOPS 14000 HAS SOUS 3226 HAS SOUPS 3213 WITH SCORE 3227.022
AT ITER 7578 NEW BEST:: SOT 28447 SOS 13899 HAS SOPS 13877 HAS SOUS 3223 HAS SOUPS 3210 WITH SCORE 3223.899
AT ITER 7615 NEW BEST:: SOT 28443 SOS 13895 HAS SOPS 13873 HAS SOUS 3215 HAS SOUPS 3202 WITH SCORE 3215.895
AT ITER 7653 NEW BEST:: SOT 28442 SOS 13894 HAS SOPS 13872 HAS SOUS 3215 HAS SOUPS 3202 WITH SCORE 3215.894
AT ITER 7679 NEW BEST:: SOT 28445 SOS 13919 HAS SOPS 13897 HAS SOUS 3211 HAS SOUPS 3198 WITH SCORE 3211.919
AT ITER 7693 NEW BEST:: SOT 28443 SOS 13917 HAS SOPS 13895 HAS SOUS 3211 HAS SOUPS 3198 WITH SCORE 3211.917
AT ITER 7861 NEW BEST:: SOT 28442 SOS 13916 HAS SOPS 13894 HAS SOUS 3210 HAS SOUPS 3197 WITH SCORE 3210.916
AT ITER 7986 NEW BEST:: SOT 28445 SOS 13919 HAS SOPS 13897 HAS SOUS 3209 HAS SOUPS 3196 WITH SCORE 3209.919
AT ITER 8095 NEW BEST:: SOT 28441 SOS 13915 HAS SOPS 13893 HAS SOUS 3208 HAS SOUPS 3195 WITH SCORE 3208.915
AT ITER 8101 NEW BEST:: SOT 28439 SOS 13913 HAS SOPS 13891 HAS SOUS 3204 HAS SOUPS 3191 WITH SCORE 3204.913
AT ITER 8102 NEW BEST:: SOT 28438 SOS 13911 HAS SOPS 13889 HAS SOUS 3202 HAS SOUPS 3189 WITH SCORE 3202.911
AT ITER 8154 NEW BEST:: SOT 28428 SOS 13796 HAS SOPS 13774 HAS SOUS 3197 HAS SOUPS 3184 WITH SCORE 3197.796
AT ITER 8205 NEW BEST:: SOT 28440 SOS 13809 HAS SOPS 13787 HAS SOUS 3196 HAS SOUPS 3183 WITH SCORE 3196.809
AT ITER 8217 NEW BEST:: SOT 28440 SOS 13809 HAS SOPS 13787 HAS SOUS 3189 HAS SOUPS 3176 WITH SCORE 3189.809
AT ITER 8218 NEW BEST:: SOT 28439 SOS 13808 HAS SOPS 13786 HAS SOUS 3188 HAS SOUPS 3175 WITH SCORE 3188.808
AT ITER 8220 NEW BEST:: SOT 28431 SOS 13716 HAS SOPS 13694 HAS SOUS 3187 HAS SOUPS 3174 WITH SCORE 3187.716
AT ITER 8292 NEW BEST:: SOT 28428 SOS 13714 HAS SOPS 13692 HAS SOUS 3185 HAS SOUPS 3172 WITH SCORE 3185.714
AT ITER 8346 NEW BEST:: SOT 28435 SOS 13721 HAS SOPS 13699 HAS SOUS 3182 HAS SOUPS 3169 WITH SCORE 3182.721
AT ITER 8364 NEW BEST:: SOT 28432 SOS 13664 HAS SOPS 13642 HAS SOUS 3179 HAS SOUPS 3166 WITH SCORE 3179.664
AT ITER 8414 NEW BEST:: SOT 28478 SOS 13661 HAS SOPS 13639 HAS SOUS 3177 HAS SOUPS 3164 WITH SCORE 3177.661
AT ITER 8426 NEW BEST:: SOT 28478 SOS 13661 HAS SOPS 13639 HAS SOUS 3176 HAS SOUPS 3163 WITH SCORE 3176.661
AT ITER 8433 NEW BEST:: SOT 28460 SOS 13607 HAS SOPS 13585 HAS SOUS 3175 HAS SOUPS 3162 WITH SCORE 3175.607
AT ITER 8477 NEW BEST:: SOT 28458 SOS 13605 HAS SOPS 13583 HAS SOUS 3170 HAS SOUPS 3157 WITH SCORE 3170.605
AT ITER 8849 NEW BEST:: SOT 28454 SOS 13601 HAS SOPS 13579 HAS SOUS 3166 HAS SOUPS 3153 WITH SCORE 3166.601
AT ITER 8859 NEW BEST:: SOT 28453 SOS 13600 HAS SOPS 13578 HAS SOUS 3163 HAS SOUPS 3150 WITH SCORE 3163.6
AT ITER 8873 NEW BEST:: SOT 28458 SOS 13610 HAS SOPS 13588 HAS SOUS 3158 HAS SOUPS 3145 WITH SCORE 3158.61
AT ITER 8880 NEW BEST:: SOT 28451 SOS 13578 HAS SOPS 13556 HAS SOUS 3151 HAS SOUPS 3138 WITH SCORE 3151.578
AT ITER 8934 NEW BEST:: SOT 28450 SOS 13681 HAS SOPS 13659 HAS SOUS 3150 HAS SOUPS 3137 WITH SCORE 3150.681
AT ITER 8982 NEW BEST:: SOT 28448 SOS 13679 HAS SOPS 13657 HAS SOUS 3147 HAS SOUPS 3134 WITH SCORE 3147.679
AT ITER 9228 NEW BEST:: SOT 28422 SOS 13631 HAS SOPS 13609 HAS SOUS 3142 HAS SOUPS 3129 WITH SCORE 3142.631
AT ITER 9272 NEW BEST:: SOT 28421 SOS 13629 HAS SOPS 13607 HAS SOUS 3141 HAS SOUPS 3128 WITH SCORE 3141.629
AT ITER 9443 NEW BEST:: SOT 28417 SOS 13621 HAS SOPS 13599 HAS SOUS 3139 HAS SOUPS 3126 WITH SCORE 3139.621
AT ITER 9450 NEW BEST:: SOT 28412 SOS 13616 HAS SOPS 13594 HAS SOUS 3137 HAS SOUPS 3124 WITH SCORE 3137.616
AT ITER 9478 NEW BEST:: SOT 28406 SOS 13604 HAS SOPS 13582 HAS SOUS 3131 HAS SOUPS 3118 WITH SCORE 3131.604
AT ITER 9484 NEW BEST:: SOT 28382 SOS 13580 HAS SOPS 13558 HAS SOUS 3131 HAS SOUPS 3118 WITH SCORE 3131.58
AT ITER 9515 NEW BEST:: SOT 28376 SOS 13572 HAS SOPS 13550 HAS SOUS 3129 HAS SOUPS 3116 WITH SCORE 3129.572
AT ITER 9578 NEW BEST:: SOT 28378 SOS 13574 HAS SOPS 13552 HAS SOUS 3120 HAS SOUPS 3107 WITH SCORE 3120.574
AT ITER 9709 NEW BEST:: SOT 28377 SOS 13573 HAS SOPS 13551 HAS SOUS 3119 HAS SOUPS 3106 WITH SCORE 3119.573
AT ITER 9779 NEW BEST:: SOT 28372 SOS 13568 HAS SOPS 13546 HAS SOUS 3109 HAS SOUPS 3096 WITH SCORE 3109.568
AT ITER 9793 NEW BEST:: SOT 28371 SOS 13567 HAS SOPS 13545 HAS SOUS 3109 HAS SOUPS 3096 WITH SCORE 3109.567
AT ITER 9927 NEW BEST:: SOT 28370 SOS 13566 HAS SOPS 13544 HAS SOUS 3108 HAS SOUPS 3095 WITH SCORE 3108.566
STATE_SPACE STATES 2771271911 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 46030895030 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678586967327
--------------------
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="HealthRecord-PT-15"
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 HealthRecord-PT-15, 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 r203-smll-167840349400352"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HealthRecord-PT-15.tgz
mv HealthRecord-PT-15 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 '
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 ;