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-167840349400336.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-13, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349400336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 7.7K Feb 26 18:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 18:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 18:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 18:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 17K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 18:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 159K Feb 26 18:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 18:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 18:08 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 71K 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 1678583278690

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-13
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 01:08:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 01:08:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 01:08:02] [INFO ] Load time of PNML (sax parser for PT used): 144 ms
[2023-03-12 01:08:02] [INFO ] Transformed 161 places.
[2023-03-12 01:08:02] [INFO ] Transformed 341 transitions.
[2023-03-12 01:08:02] [INFO ] Found NUPN structural information;
[2023-03-12 01:08:02] [INFO ] Parsed PT model containing 161 places and 341 transitions and 899 arcs in 302 ms.
[2023-03-12 01:08:02] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 161 places, 341 transitions and 899 arcs took 13 ms.
Total runtime 377 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 13
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: 161 places, 341 transitions, 899 arcs.
AT ITER 0 NEW BEST:: SOT 36165 SOS 19654 HAS SOPS 19632 HAS SOUS 11451 HAS SOUPS 11438 WITH SCORE 11457.654
AT ITER 3 NEW BEST:: SOT 36023 SOS 19490 HAS SOPS 19468 HAS SOUS 11387 HAS SOUPS 11374 WITH SCORE 11393.49
AT ITER 5 NEW BEST:: SOT 35978 SOS 19355 HAS SOPS 19333 HAS SOUS 11297 HAS SOUPS 11284 WITH SCORE 11303.355
AT ITER 7 NEW BEST:: SOT 35910 SOS 19185 HAS SOPS 19163 HAS SOUS 11260 HAS SOUPS 11247 WITH SCORE 11266.185
AT ITER 10 NEW BEST:: SOT 35932 SOS 19207 HAS SOPS 19185 HAS SOUS 11245 HAS SOUPS 11232 WITH SCORE 11251.207
AT ITER 12 NEW BEST:: SOT 35803 SOS 19016 HAS SOPS 18994 HAS SOUS 11181 HAS SOUPS 11168 WITH SCORE 11187.016
AT ITER 13 NEW BEST:: SOT 35711 SOS 18786 HAS SOPS 18764 HAS SOUS 11102 HAS SOUPS 11089 WITH SCORE 11107.786
AT ITER 21 NEW BEST:: SOT 35613 SOS 18624 HAS SOPS 18602 HAS SOUS 11000 HAS SOUPS 10987 WITH SCORE 11005.624
AT ITER 34 NEW BEST:: SOT 35613 SOS 18644 HAS SOPS 18622 HAS SOUS 10977 HAS SOUPS 10964 WITH SCORE 10982.644
AT ITER 36 NEW BEST:: SOT 35568 SOS 18496 HAS SOPS 18474 HAS SOUS 10870 HAS SOUPS 10857 WITH SCORE 10875.496
AT ITER 38 NEW BEST:: SOT 35500 SOS 18360 HAS SOPS 18338 HAS SOUS 10834 HAS SOUPS 10821 WITH SCORE 10839.36
AT ITER 41 NEW BEST:: SOT 35349 SOS 18126 HAS SOPS 18104 HAS SOUS 10738 HAS SOUPS 10725 WITH SCORE 10743.126
AT ITER 44 NEW BEST:: SOT 35247 SOS 17979 HAS SOPS 17957 HAS SOUS 10710 HAS SOUPS 10697 WITH SCORE 10714.979
AT ITER 49 NEW BEST:: SOT 35247 SOS 17964 HAS SOPS 17942 HAS SOUS 10710 HAS SOUPS 10697 WITH SCORE 10714.964
AT ITER 56 NEW BEST:: SOT 35207 SOS 17998 HAS SOPS 17976 HAS SOUS 10693 HAS SOUPS 10680 WITH SCORE 10697.998
AT ITER 59 NEW BEST:: SOT 35212 SOS 18005 HAS SOPS 17983 HAS SOUS 10690 HAS SOUPS 10677 WITH SCORE 10695.005
AT ITER 60 NEW BEST:: SOT 35037 SOS 17922 HAS SOPS 17900 HAS SOUS 10594 HAS SOUPS 10581 WITH SCORE 10598.922
AT ITER 62 NEW BEST:: SOT 35037 SOS 17873 HAS SOPS 17851 HAS SOUS 10545 HAS SOUPS 10532 WITH SCORE 10549.873
AT ITER 66 NEW BEST:: SOT 35023 SOS 17845 HAS SOPS 17823 HAS SOUS 10545 HAS SOUPS 10532 WITH SCORE 10549.845
AT ITER 70 NEW BEST:: SOT 34578 SOS 17974 HAS SOPS 17952 HAS SOUS 10480 HAS SOUPS 10467 WITH SCORE 10484.974
AT ITER 74 NEW BEST:: SOT 34437 SOS 17654 HAS SOPS 17632 HAS SOUS 10395 HAS SOUPS 10382 WITH SCORE 10399.654
AT ITER 75 NEW BEST:: SOT 34382 SOS 17818 HAS SOPS 17796 HAS SOUS 10387 HAS SOUPS 10374 WITH SCORE 10391.818
AT ITER 79 NEW BEST:: SOT 34367 SOS 17788 HAS SOPS 17766 HAS SOUS 10329 HAS SOUPS 10316 WITH SCORE 10333.788
AT ITER 81 NEW BEST:: SOT 34340 SOS 17824 HAS SOPS 17802 HAS SOUS 10310 HAS SOUPS 10297 WITH SCORE 10314.824
AT ITER 87 NEW BEST:: SOT 34316 SOS 17800 HAS SOPS 17778 HAS SOUS 10297 HAS SOUPS 10284 WITH SCORE 10301.8
AT ITER 93 NEW BEST:: SOT 34298 SOS 17764 HAS SOPS 17742 HAS SOUS 10288 HAS SOUPS 10275 WITH SCORE 10292.764
AT ITER 95 NEW BEST:: SOT 34346 SOS 17860 HAS SOPS 17838 HAS SOUS 10240 HAS SOUPS 10227 WITH SCORE 10244.86
AT ITER 100 NEW BEST:: SOT 34215 SOS 17742 HAS SOPS 17720 HAS SOUS 10228 HAS SOUPS 10215 WITH SCORE 10232.742
AT ITER 106 NEW BEST:: SOT 34215 SOS 17727 HAS SOPS 17705 HAS SOUS 10228 HAS SOUPS 10215 WITH SCORE 10232.727
AT ITER 107 NEW BEST:: SOT 34229 SOS 17720 HAS SOPS 17698 HAS SOUS 10205 HAS SOUPS 10192 WITH SCORE 10209.72
AT ITER 108 NEW BEST:: SOT 34136 SOS 17565 HAS SOPS 17543 HAS SOUS 10141 HAS SOUPS 10128 WITH SCORE 10145.565
AT ITER 109 NEW BEST:: SOT 33284 SOS 17230 HAS SOPS 17208 HAS SOUS 9739 HAS SOUPS 9726 WITH SCORE 9743.23
AT ITER 112 NEW BEST:: SOT 33304 SOS 17270 HAS SOPS 17248 HAS SOUS 9730 HAS SOUPS 9717 WITH SCORE 9734.27
AT ITER 113 NEW BEST:: SOT 33192 SOS 16880 HAS SOPS 16858 HAS SOUS 9632 HAS SOUPS 9619 WITH SCORE 9635.88
AT ITER 117 NEW BEST:: SOT 33138 SOS 16844 HAS SOPS 16822 HAS SOUS 9596 HAS SOUPS 9583 WITH SCORE 9599.844
AT ITER 126 NEW BEST:: SOT 33115 SOS 16828 HAS SOPS 16806 HAS SOUS 9592 HAS SOUPS 9579 WITH SCORE 9595.828
AT ITER 127 NEW BEST:: SOT 33130 SOS 16800 HAS SOPS 16778 HAS SOUS 9573 HAS SOUPS 9560 WITH SCORE 9576.8
AT ITER 128 NEW BEST:: SOT 32402 SOS 16938 HAS SOPS 16916 HAS SOUS 9227 HAS SOUPS 9214 WITH SCORE 9230.938
AT ITER 129 NEW BEST:: SOT 32402 SOS 16938 HAS SOPS 16916 HAS SOUS 9222 HAS SOUPS 9209 WITH SCORE 9225.938
AT ITER 140 NEW BEST:: SOT 32326 SOS 16770 HAS SOPS 16748 HAS SOUS 9031 HAS SOUPS 9018 WITH SCORE 9034.77
AT ITER 141 NEW BEST:: SOT 32320 SOS 16753 HAS SOPS 16731 HAS SOUS 9026 HAS SOUPS 9013 WITH SCORE 9029.753
AT ITER 143 NEW BEST:: SOT 32320 SOS 16756 HAS SOPS 16734 HAS SOUS 9023 HAS SOUPS 9010 WITH SCORE 9026.756
AT ITER 144 NEW BEST:: SOT 32291 SOS 16669 HAS SOPS 16647 HAS SOUS 8978 HAS SOUPS 8965 WITH SCORE 8981.669
AT ITER 150 NEW BEST:: SOT 32264 SOS 16715 HAS SOPS 16693 HAS SOUS 8970 HAS SOUPS 8957 WITH SCORE 8973.715
AT ITER 151 NEW BEST:: SOT 32244 SOS 16675 HAS SOPS 16653 HAS SOUS 8970 HAS SOUPS 8957 WITH SCORE 8973.675
AT ITER 152 NEW BEST:: SOT 32216 SOS 16614 HAS SOPS 16592 HAS SOUS 8943 HAS SOUPS 8930 WITH SCORE 8946.614
AT ITER 153 NEW BEST:: SOT 32218 SOS 16616 HAS SOPS 16594 HAS SOUS 8940 HAS SOUPS 8927 WITH SCORE 8943.616
AT ITER 158 NEW BEST:: SOT 32202 SOS 16638 HAS SOPS 16616 HAS SOUS 8893 HAS SOUPS 8880 WITH SCORE 8896.638
AT ITER 159 NEW BEST:: SOT 32175 SOS 16614 HAS SOPS 16592 HAS SOUS 8812 HAS SOUPS 8799 WITH SCORE 8815.614
AT ITER 169 NEW BEST:: SOT 32161 SOS 16600 HAS SOPS 16578 HAS SOUS 8788 HAS SOUPS 8775 WITH SCORE 8791.6
AT ITER 174 NEW BEST:: SOT 32154 SOS 16412 HAS SOPS 16390 HAS SOUS 8776 HAS SOUPS 8763 WITH SCORE 8779.412
AT ITER 179 NEW BEST:: SOT 32110 SOS 16310 HAS SOPS 16288 HAS SOUS 8764 HAS SOUPS 8751 WITH SCORE 8767.31
AT ITER 186 NEW BEST:: SOT 32061 SOS 16463 HAS SOPS 16441 HAS SOUS 8678 HAS SOUPS 8665 WITH SCORE 8681.463
AT ITER 190 NEW BEST:: SOT 32053 SOS 16370 HAS SOPS 16348 HAS SOUS 8670 HAS SOUPS 8657 WITH SCORE 8673.37
AT ITER 200 NEW BEST:: SOT 32056 SOS 16391 HAS SOPS 16369 HAS SOUS 8655 HAS SOUPS 8642 WITH SCORE 8658.391
AT ITER 211 NEW BEST:: SOT 32090 SOS 16425 HAS SOPS 16403 HAS SOUS 8608 HAS SOUPS 8595 WITH SCORE 8611.425
AT ITER 213 NEW BEST:: SOT 32063 SOS 16371 HAS SOPS 16349 HAS SOUS 8590 HAS SOUPS 8577 WITH SCORE 8593.371
AT ITER 214 NEW BEST:: SOT 32037 SOS 16331 HAS SOPS 16309 HAS SOUS 8543 HAS SOUPS 8530 WITH SCORE 8546.331
AT ITER 215 NEW BEST:: SOT 32033 SOS 16295 HAS SOPS 16273 HAS SOUS 8539 HAS SOUPS 8526 WITH SCORE 8542.295
AT ITER 221 NEW BEST:: SOT 32033 SOS 16243 HAS SOPS 16221 HAS SOUS 8539 HAS SOUPS 8526 WITH SCORE 8542.243
AT ITER 228 NEW BEST:: SOT 32048 SOS 16254 HAS SOPS 16232 HAS SOUS 8535 HAS SOUPS 8522 WITH SCORE 8538.254
AT ITER 230 NEW BEST:: SOT 31968 SOS 15980 HAS SOPS 15958 HAS SOUS 8535 HAS SOUPS 8522 WITH SCORE 8537.98
AT ITER 236 NEW BEST:: SOT 31945 SOS 15957 HAS SOPS 15935 HAS SOUS 8512 HAS SOUPS 8499 WITH SCORE 8514.957
AT ITER 239 NEW BEST:: SOT 31043 SOS 15540 HAS SOPS 15518 HAS SOUS 7725 HAS SOUPS 7712 WITH SCORE 7727.54
AT ITER 244 NEW BEST:: SOT 30983 SOS 15480 HAS SOPS 15458 HAS SOUS 7697 HAS SOUPS 7684 WITH SCORE 7699.48
AT ITER 249 NEW BEST:: SOT 30933 SOS 15405 HAS SOPS 15383 HAS SOUS 7622 HAS SOUPS 7609 WITH SCORE 7624.405
AT ITER 256 NEW BEST:: SOT 30859 SOS 15264 HAS SOPS 15242 HAS SOUS 7585 HAS SOUPS 7572 WITH SCORE 7587.264
AT ITER 267 NEW BEST:: SOT 30789 SOS 15122 HAS SOPS 15100 HAS SOUS 7566 HAS SOUPS 7553 WITH SCORE 7568.122
AT ITER 269 NEW BEST:: SOT 30788 SOS 15077 HAS SOPS 15055 HAS SOUS 7547 HAS SOUPS 7534 WITH SCORE 7549.077
AT ITER 272 NEW BEST:: SOT 30776 SOS 15043 HAS SOPS 15021 HAS SOUS 7537 HAS SOUPS 7524 WITH SCORE 7539.043
AT ITER 273 NEW BEST:: SOT 30776 SOS 15043 HAS SOPS 15021 HAS SOUS 7535 HAS SOUPS 7522 WITH SCORE 7537.043
AT ITER 276 NEW BEST:: SOT 30920 SOS 14503 HAS SOPS 14481 HAS SOUS 7355 HAS SOUPS 7342 WITH SCORE 7356.503
AT ITER 278 NEW BEST:: SOT 30920 SOS 14468 HAS SOPS 14446 HAS SOUS 7355 HAS SOUPS 7342 WITH SCORE 7356.468
AT ITER 282 NEW BEST:: SOT 30846 SOS 14368 HAS SOPS 14346 HAS SOUS 7284 HAS SOUPS 7271 WITH SCORE 7285.368
AT ITER 283 NEW BEST:: SOT 30704 SOS 14635 HAS SOPS 14613 HAS SOUS 7207 HAS SOUPS 7194 WITH SCORE 7208.635
AT ITER 285 NEW BEST:: SOT 30654 SOS 14510 HAS SOPS 14488 HAS SOUS 7182 HAS SOUPS 7169 WITH SCORE 7183.51
AT ITER 289 NEW BEST:: SOT 30653 SOS 14509 HAS SOPS 14487 HAS SOUS 7180 HAS SOUPS 7167 WITH SCORE 7181.509
AT ITER 292 NEW BEST:: SOT 30607 SOS 14390 HAS SOPS 14368 HAS SOUS 7140 HAS SOUPS 7127 WITH SCORE 7141.39
AT ITER 295 NEW BEST:: SOT 30604 SOS 14384 HAS SOPS 14362 HAS SOUS 7137 HAS SOUPS 7124 WITH SCORE 7138.384
AT ITER 297 NEW BEST:: SOT 30545 SOS 14267 HAS SOPS 14245 HAS SOUS 7087 HAS SOUPS 7074 WITH SCORE 7088.267
AT ITER 305 NEW BEST:: SOT 30558 SOS 14293 HAS SOPS 14271 HAS SOUS 7083 HAS SOUPS 7070 WITH SCORE 7084.293
AT ITER 312 NEW BEST:: SOT 30518 SOS 14244 HAS SOPS 14222 HAS SOUS 7049 HAS SOUPS 7036 WITH SCORE 7050.244
AT ITER 313 NEW BEST:: SOT 30511 SOS 14146 HAS SOPS 14124 HAS SOUS 7047 HAS SOUPS 7034 WITH SCORE 7048.146
AT ITER 315 NEW BEST:: SOT 30533 SOS 13849 HAS SOPS 13827 HAS SOUS 7047 HAS SOUPS 7034 WITH SCORE 7047.849
AT ITER 323 NEW BEST:: SOT 30538 SOS 13854 HAS SOPS 13832 HAS SOUS 7035 HAS SOUPS 7022 WITH SCORE 7035.854
AT ITER 330 NEW BEST:: SOT 30516 SOS 13805 HAS SOPS 13783 HAS SOUS 7013 HAS SOUPS 7000 WITH SCORE 7013.805
AT ITER 333 NEW BEST:: SOT 30515 SOS 13804 HAS SOPS 13782 HAS SOUS 7012 HAS SOUPS 6999 WITH SCORE 7012.804
AT ITER 339 NEW BEST:: SOT 30505 SOS 13775 HAS SOPS 13753 HAS SOUS 7001 HAS SOUPS 6988 WITH SCORE 7001.775
AT ITER 346 NEW BEST:: SOT 30560 SOS 13899 HAS SOPS 13877 HAS SOUS 6991 HAS SOUPS 6978 WITH SCORE 6991.899
AT ITER 347 NEW BEST:: SOT 30538 SOS 13872 HAS SOPS 13850 HAS SOUS 6954 HAS SOUPS 6941 WITH SCORE 6954.872
AT ITER 349 NEW BEST:: SOT 30438 SOS 13798 HAS SOPS 13776 HAS SOUS 6880 HAS SOUPS 6867 WITH SCORE 6880.798
AT ITER 368 NEW BEST:: SOT 30278 SOS 14221 HAS SOPS 14199 HAS SOUS 6777 HAS SOUPS 6764 WITH SCORE 6778.221
AT ITER 371 NEW BEST:: SOT 30186 SOS 14095 HAS SOPS 14073 HAS SOUS 6685 HAS SOUPS 6672 WITH SCORE 6686.095
AT ITER 379 NEW BEST:: SOT 29870 SOS 14499 HAS SOPS 14477 HAS SOUS 6454 HAS SOUPS 6441 WITH SCORE 6455.499
AT ITER 380 NEW BEST:: SOT 29867 SOS 14490 HAS SOPS 14468 HAS SOUS 6448 HAS SOUPS 6435 WITH SCORE 6449.49
AT ITER 383 NEW BEST:: SOT 29762 SOS 14330 HAS SOPS 14308 HAS SOUS 6341 HAS SOUPS 6328 WITH SCORE 6342.33
AT ITER 384 NEW BEST:: SOT 29701 SOS 14259 HAS SOPS 14237 HAS SOUS 6261 HAS SOUPS 6248 WITH SCORE 6262.259
AT ITER 389 NEW BEST:: SOT 29766 SOS 14237 HAS SOPS 14215 HAS SOUS 6243 HAS SOUPS 6230 WITH SCORE 6244.237
AT ITER 391 NEW BEST:: SOT 29722 SOS 14156 HAS SOPS 14134 HAS SOUS 6158 HAS SOUPS 6145 WITH SCORE 6159.156
AT ITER 402 NEW BEST:: SOT 29712 SOS 14144 HAS SOPS 14122 HAS SOUS 6148 HAS SOUPS 6135 WITH SCORE 6149.144
AT ITER 415 NEW BEST:: SOT 29703 SOS 14117 HAS SOPS 14095 HAS SOUS 6130 HAS SOUPS 6117 WITH SCORE 6131.117
AT ITER 419 NEW BEST:: SOT 29686 SOS 14087 HAS SOPS 14065 HAS SOUS 6103 HAS SOUPS 6090 WITH SCORE 6104.087
AT ITER 420 NEW BEST:: SOT 29672 SOS 14088 HAS SOPS 14066 HAS SOUS 6082 HAS SOUPS 6069 WITH SCORE 6083.088
AT ITER 423 NEW BEST:: SOT 29672 SOS 14056 HAS SOPS 14034 HAS SOUS 6079 HAS SOUPS 6066 WITH SCORE 6080.056
AT ITER 429 NEW BEST:: SOT 29599 SOS 13943 HAS SOPS 13921 HAS SOUS 6035 HAS SOUPS 6022 WITH SCORE 6035.943
AT ITER 431 NEW BEST:: SOT 29583 SOS 13955 HAS SOPS 13933 HAS SOUS 6019 HAS SOUPS 6006 WITH SCORE 6019.955
AT ITER 438 NEW BEST:: SOT 29573 SOS 13935 HAS SOPS 13913 HAS SOUS 6019 HAS SOUPS 6006 WITH SCORE 6019.935
AT ITER 440 NEW BEST:: SOT 29566 SOS 13921 HAS SOPS 13899 HAS SOUS 5984 HAS SOUPS 5971 WITH SCORE 5984.921
AT ITER 443 NEW BEST:: SOT 29563 SOS 13917 HAS SOPS 13895 HAS SOUS 5981 HAS SOUPS 5968 WITH SCORE 5981.917
AT ITER 445 NEW BEST:: SOT 29547 SOS 13901 HAS SOPS 13879 HAS SOUS 5965 HAS SOUPS 5952 WITH SCORE 5965.901
AT ITER 453 NEW BEST:: SOT 29547 SOS 13884 HAS SOPS 13862 HAS SOUS 5965 HAS SOUPS 5952 WITH SCORE 5965.884
AT ITER 455 NEW BEST:: SOT 29498 SOS 13937 HAS SOPS 13915 HAS SOUS 5944 HAS SOUPS 5931 WITH SCORE 5944.937
AT ITER 456 NEW BEST:: SOT 29421 SOS 13797 HAS SOPS 13775 HAS SOUS 5884 HAS SOUPS 5871 WITH SCORE 5884.797
AT ITER 467 NEW BEST:: SOT 29358 SOS 13660 HAS SOPS 13638 HAS SOUS 5837 HAS SOUPS 5824 WITH SCORE 5837.66
AT ITER 484 NEW BEST:: SOT 29277 SOS 13765 HAS SOPS 13743 HAS SOUS 5812 HAS SOUPS 5799 WITH SCORE 5812.765
AT ITER 489 NEW BEST:: SOT 29268 SOS 13756 HAS SOPS 13734 HAS SOUS 5803 HAS SOUPS 5790 WITH SCORE 5803.756
AT ITER 499 NEW BEST:: SOT 29257 SOS 13745 HAS SOPS 13723 HAS SOUS 5792 HAS SOUPS 5779 WITH SCORE 5792.745
AT ITER 508 NEW BEST:: SOT 29243 SOS 13714 HAS SOPS 13692 HAS SOUS 5770 HAS SOUPS 5757 WITH SCORE 5770.714
AT ITER 515 NEW BEST:: SOT 29223 SOS 13675 HAS SOPS 13653 HAS SOUS 5769 HAS SOUPS 5756 WITH SCORE 5769.675
AT ITER 518 NEW BEST:: SOT 29195 SOS 13647 HAS SOPS 13625 HAS SOUS 5768 HAS SOUPS 5755 WITH SCORE 5768.647
AT ITER 528 NEW BEST:: SOT 29195 SOS 13647 HAS SOPS 13625 HAS SOUS 5754 HAS SOUPS 5741 WITH SCORE 5754.647
AT ITER 544 NEW BEST:: SOT 29185 SOS 13624 HAS SOPS 13602 HAS SOUS 5709 HAS SOUPS 5696 WITH SCORE 5709.624
AT ITER 545 NEW BEST:: SOT 29161 SOS 13600 HAS SOPS 13578 HAS SOUS 5695 HAS SOUPS 5682 WITH SCORE 5695.6
AT ITER 549 NEW BEST:: SOT 29151 SOS 13590 HAS SOPS 13568 HAS SOUS 5686 HAS SOUPS 5673 WITH SCORE 5686.59
AT ITER 551 NEW BEST:: SOT 29131 SOS 13542 HAS SOPS 13520 HAS SOUS 5655 HAS SOUPS 5642 WITH SCORE 5655.542
AT ITER 558 NEW BEST:: SOT 29095 SOS 13451 HAS SOPS 13429 HAS SOUS 5627 HAS SOUPS 5614 WITH SCORE 5627.451
AT ITER 560 NEW BEST:: SOT 29014 SOS 13339 HAS SOPS 13317 HAS SOUS 5608 HAS SOUPS 5595 WITH SCORE 5608.339
AT ITER 561 NEW BEST:: SOT 29076 SOS 13401 HAS SOPS 13379 HAS SOUS 5544 HAS SOUPS 5531 WITH SCORE 5544.401
AT ITER 570 NEW BEST:: SOT 29076 SOS 13401 HAS SOPS 13379 HAS SOUS 5524 HAS SOUPS 5511 WITH SCORE 5524.401
AT ITER 572 NEW BEST:: SOT 29066 SOS 13391 HAS SOPS 13369 HAS SOUS 5519 HAS SOUPS 5506 WITH SCORE 5519.391
AT ITER 581 NEW BEST:: SOT 29066 SOS 13391 HAS SOPS 13369 HAS SOUS 5504 HAS SOUPS 5491 WITH SCORE 5504.391
AT ITER 593 NEW BEST:: SOT 28975 SOS 13241 HAS SOPS 13219 HAS SOUS 5483 HAS SOUPS 5470 WITH SCORE 5483.241
AT ITER 605 NEW BEST:: SOT 28912 SOS 13813 HAS SOPS 13791 HAS SOUS 5467 HAS SOUPS 5454 WITH SCORE 5467.813
AT ITER 609 NEW BEST:: SOT 28837 SOS 15427 HAS SOPS 15405 HAS SOUS 5425 HAS SOUPS 5412 WITH SCORE 5427.427
AT ITER 612 NEW BEST:: SOT 28825 SOS 15403 HAS SOPS 15381 HAS SOUS 5405 HAS SOUPS 5392 WITH SCORE 5407.403
AT ITER 617 NEW BEST:: SOT 28838 SOS 15451 HAS SOPS 15429 HAS SOUS 5404 HAS SOUPS 5391 WITH SCORE 5406.451
AT ITER 633 NEW BEST:: SOT 28804 SOS 15396 HAS SOPS 15374 HAS SOUS 5369 HAS SOUPS 5356 WITH SCORE 5371.396
AT ITER 644 NEW BEST:: SOT 28765 SOS 15304 HAS SOPS 15282 HAS SOUS 5304 HAS SOUPS 5291 WITH SCORE 5306.304
AT ITER 654 NEW BEST:: SOT 28872 SOS 15470 HAS SOPS 15448 HAS SOUS 5298 HAS SOUPS 5285 WITH SCORE 5300.47
AT ITER 660 NEW BEST:: SOT 28887 SOS 15485 HAS SOPS 15463 HAS SOUS 5289 HAS SOUPS 5276 WITH SCORE 5291.485
AT ITER 680 NEW BEST:: SOT 28877 SOS 15187 HAS SOPS 15165 HAS SOUS 5288 HAS SOUPS 5275 WITH SCORE 5290.187
AT ITER 688 NEW BEST:: SOT 28887 SOS 15222 HAS SOPS 15200 HAS SOUS 5283 HAS SOUPS 5270 WITH SCORE 5285.222
AT ITER 694 NEW BEST:: SOT 28871 SOS 15174 HAS SOPS 15152 HAS SOUS 5275 HAS SOUPS 5262 WITH SCORE 5277.174
AT ITER 706 NEW BEST:: SOT 28862 SOS 15174 HAS SOPS 15152 HAS SOUS 5266 HAS SOUPS 5253 WITH SCORE 5268.174
AT ITER 722 NEW BEST:: SOT 28849 SOS 15161 HAS SOPS 15139 HAS SOUS 5245 HAS SOUPS 5232 WITH SCORE 5247.161
AT ITER 724 NEW BEST:: SOT 28847 SOS 15159 HAS SOPS 15137 HAS SOUS 5240 HAS SOUPS 5227 WITH SCORE 5242.159
AT ITER 733 NEW BEST:: SOT 28845 SOS 15139 HAS SOPS 15117 HAS SOUS 5217 HAS SOUPS 5204 WITH SCORE 5219.139
AT ITER 746 NEW BEST:: SOT 28814 SOS 15215 HAS SOPS 15193 HAS SOUS 5208 HAS SOUPS 5195 WITH SCORE 5210.215
AT ITER 769 NEW BEST:: SOT 28804 SOS 14825 HAS SOPS 14803 HAS SOUS 5188 HAS SOUPS 5175 WITH SCORE 5189.825
AT ITER 773 NEW BEST:: SOT 28803 SOS 14824 HAS SOPS 14802 HAS SOUS 5188 HAS SOUPS 5175 WITH SCORE 5189.824
AT ITER 784 NEW BEST:: SOT 28800 SOS 14815 HAS SOPS 14793 HAS SOUS 5185 HAS SOUPS 5172 WITH SCORE 5186.815
AT ITER 785 NEW BEST:: SOT 28805 SOS 14801 HAS SOPS 14779 HAS SOUS 5184 HAS SOUPS 5171 WITH SCORE 5185.801
AT ITER 789 NEW BEST:: SOT 28802 SOS 14798 HAS SOPS 14776 HAS SOUS 5172 HAS SOUPS 5159 WITH SCORE 5173.798
AT ITER 813 NEW BEST:: SOT 28796 SOS 14780 HAS SOPS 14758 HAS SOUS 5163 HAS SOUPS 5150 WITH SCORE 5164.78
AT ITER 827 NEW BEST:: SOT 28785 SOS 14769 HAS SOPS 14747 HAS SOUS 5160 HAS SOUPS 5147 WITH SCORE 5161.769
AT ITER 841 NEW BEST:: SOT 28800 SOS 14791 HAS SOPS 14769 HAS SOUS 5137 HAS SOUPS 5124 WITH SCORE 5138.791
AT ITER 864 NEW BEST:: SOT 28701 SOS 15513 HAS SOPS 15491 HAS SOUS 5094 HAS SOUPS 5081 WITH SCORE 5096.513
AT ITER 873 NEW BEST:: SOT 28696 SOS 15503 HAS SOPS 15481 HAS SOUS 5094 HAS SOUPS 5081 WITH SCORE 5096.503
AT ITER 891 NEW BEST:: SOT 28706 SOS 15513 HAS SOPS 15491 HAS SOUS 5084 HAS SOUPS 5071 WITH SCORE 5086.513
AT ITER 895 NEW BEST:: SOT 28686 SOS 15473 HAS SOPS 15451 HAS SOUS 5044 HAS SOUPS 5031 WITH SCORE 5046.473
AT ITER 917 NEW BEST:: SOT 28679 SOS 15473 HAS SOPS 15451 HAS SOUS 5037 HAS SOUPS 5024 WITH SCORE 5039.473
AT ITER 921 NEW BEST:: SOT 28654 SOS 15408 HAS SOPS 15386 HAS SOUS 5002 HAS SOUPS 4989 WITH SCORE 5004.408
AT ITER 922 NEW BEST:: SOT 28637 SOS 15391 HAS SOPS 15369 HAS SOUS 5002 HAS SOUPS 4989 WITH SCORE 5004.391
AT ITER 926 NEW BEST:: SOT 28586 SOS 15324 HAS SOPS 15302 HAS SOUS 4963 HAS SOUPS 4950 WITH SCORE 4965.324
AT ITER 928 NEW BEST:: SOT 28582 SOS 15321 HAS SOPS 15299 HAS SOUS 4962 HAS SOUPS 4949 WITH SCORE 4964.321
AT ITER 929 NEW BEST:: SOT 28580 SOS 15319 HAS SOPS 15297 HAS SOUS 4960 HAS SOUPS 4947 WITH SCORE 4962.319
AT ITER 936 NEW BEST:: SOT 28548 SOS 15239 HAS SOPS 15217 HAS SOUS 4928 HAS SOUPS 4915 WITH SCORE 4930.239
AT ITER 938 NEW BEST:: SOT 28519 SOS 15171 HAS SOPS 15149 HAS SOUS 4918 HAS SOUPS 4905 WITH SCORE 4920.171
AT ITER 940 NEW BEST:: SOT 28516 SOS 15168 HAS SOPS 15146 HAS SOUS 4918 HAS SOUPS 4905 WITH SCORE 4920.168
AT ITER 952 NEW BEST:: SOT 28544 SOS 14664 HAS SOPS 14642 HAS SOUS 4905 HAS SOUPS 4892 WITH SCORE 4906.664
AT ITER 958 NEW BEST:: SOT 28404 SOS 14322 HAS SOPS 14300 HAS SOUS 4817 HAS SOUPS 4804 WITH SCORE 4818.322
AT ITER 974 NEW BEST:: SOT 28401 SOS 14334 HAS SOPS 14312 HAS SOUS 4799 HAS SOUPS 4786 WITH SCORE 4800.334
AT ITER 975 NEW BEST:: SOT 28271 SOS 14140 HAS SOPS 14118 HAS SOUS 4797 HAS SOUPS 4784 WITH SCORE 4798.14
AT ITER 982 NEW BEST:: SOT 28263 SOS 14130 HAS SOPS 14108 HAS SOUS 4791 HAS SOUPS 4778 WITH SCORE 4792.13
AT ITER 987 NEW BEST:: SOT 28249 SOS 14089 HAS SOPS 14067 HAS SOUS 4786 HAS SOUPS 4773 WITH SCORE 4787.089
AT ITER 993 NEW BEST:: SOT 28204 SOS 14044 HAS SOPS 14022 HAS SOUS 4768 HAS SOUPS 4755 WITH SCORE 4769.044
AT ITER 995 NEW BEST:: SOT 28198 SOS 14038 HAS SOPS 14016 HAS SOUS 4762 HAS SOUPS 4749 WITH SCORE 4763.038
AT ITER 997 NEW BEST:: SOT 28195 SOS 14030 HAS SOPS 14008 HAS SOUS 4759 HAS SOUPS 4746 WITH SCORE 4760.03
AT ITER 1000 NEW BEST:: SOT 28195 SOS 14030 HAS SOPS 14008 HAS SOUS 4758 HAS SOUPS 4745 WITH SCORE 4759.03
AT ITER 1004 NEW BEST:: SOT 28212 SOS 14035 HAS SOPS 14013 HAS SOUS 4756 HAS SOUPS 4743 WITH SCORE 4757.035
AT ITER 1005 NEW BEST:: SOT 28207 SOS 14034 HAS SOPS 14012 HAS SOUS 4755 HAS SOUPS 4742 WITH SCORE 4756.034
AT ITER 1007 NEW BEST:: SOT 28212 SOS 14044 HAS SOPS 14022 HAS SOUS 4750 HAS SOUPS 4737 WITH SCORE 4751.044
AT ITER 1021 NEW BEST:: SOT 28197 SOS 14029 HAS SOPS 14007 HAS SOUS 4745 HAS SOUPS 4732 WITH SCORE 4746.029
AT ITER 1042 NEW BEST:: SOT 28206 SOS 14038 HAS SOPS 14016 HAS SOUS 4720 HAS SOUPS 4707 WITH SCORE 4721.038
AT ITER 1044 NEW BEST:: SOT 28134 SOS 13908 HAS SOPS 13886 HAS SOUS 4695 HAS SOUPS 4682 WITH SCORE 4695.908
AT ITER 1060 NEW BEST:: SOT 28122 SOS 13896 HAS SOPS 13874 HAS SOUS 4683 HAS SOUPS 4670 WITH SCORE 4683.896
AT ITER 1061 NEW BEST:: SOT 28118 SOS 13881 HAS SOPS 13859 HAS SOUS 4683 HAS SOUPS 4670 WITH SCORE 4683.881
AT ITER 1084 NEW BEST:: SOT 28091 SOS 14019 HAS SOPS 13997 HAS SOUS 4674 HAS SOUPS 4661 WITH SCORE 4675.019
AT ITER 1092 NEW BEST:: SOT 28089 SOS 14017 HAS SOPS 13995 HAS SOUS 4669 HAS SOUPS 4656 WITH SCORE 4670.017
AT ITER 1117 NEW BEST:: SOT 28079 SOS 14007 HAS SOPS 13985 HAS SOUS 4669 HAS SOUPS 4656 WITH SCORE 4670.007
AT ITER 1118 NEW BEST:: SOT 28079 SOS 14004 HAS SOPS 13982 HAS SOUS 4666 HAS SOUPS 4653 WITH SCORE 4667.004
AT ITER 1123 NEW BEST:: SOT 28076 SOS 14001 HAS SOPS 13979 HAS SOUS 4663 HAS SOUPS 4650 WITH SCORE 4664.001
AT ITER 1125 NEW BEST:: SOT 28072 SOS 13997 HAS SOPS 13975 HAS SOUS 4659 HAS SOUPS 4646 WITH SCORE 4659.997
AT ITER 1126 NEW BEST:: SOT 28072 SOS 14011 HAS SOPS 13989 HAS SOUS 4646 HAS SOUPS 4633 WITH SCORE 4647.011
AT ITER 1135 NEW BEST:: SOT 28061 SOS 13988 HAS SOPS 13966 HAS SOUS 4635 HAS SOUPS 4622 WITH SCORE 4635.988
AT ITER 1141 NEW BEST:: SOT 28057 SOS 13984 HAS SOPS 13962 HAS SOUS 4631 HAS SOUPS 4618 WITH SCORE 4631.984
AT ITER 1160 NEW BEST:: SOT 28043 SOS 13970 HAS SOPS 13948 HAS SOUS 4627 HAS SOUPS 4614 WITH SCORE 4627.97
AT ITER 1184 NEW BEST:: SOT 28010 SOS 13906 HAS SOPS 13884 HAS SOUS 4619 HAS SOUPS 4606 WITH SCORE 4619.906
AT ITER 1204 NEW BEST:: SOT 28004 SOS 13900 HAS SOPS 13878 HAS SOUS 4613 HAS SOUPS 4600 WITH SCORE 4613.9
AT ITER 1221 NEW BEST:: SOT 27956 SOS 13819 HAS SOPS 13797 HAS SOUS 4596 HAS SOUPS 4583 WITH SCORE 4596.819
AT ITER 1229 NEW BEST:: SOT 27865 SOS 13635 HAS SOPS 13613 HAS SOUS 4506 HAS SOUPS 4493 WITH SCORE 4506.635
AT ITER 1235 NEW BEST:: SOT 27865 SOS 13631 HAS SOPS 13609 HAS SOUS 4502 HAS SOUPS 4489 WITH SCORE 4502.631
AT ITER 1256 NEW BEST:: SOT 27861 SOS 13627 HAS SOPS 13605 HAS SOUS 4502 HAS SOUPS 4489 WITH SCORE 4502.627
AT ITER 1258 NEW BEST:: SOT 27855 SOS 13601 HAS SOPS 13579 HAS SOUS 4500 HAS SOUPS 4487 WITH SCORE 4500.601
AT ITER 1265 NEW BEST:: SOT 27881 SOS 13782 HAS SOPS 13760 HAS SOUS 4497 HAS SOUPS 4484 WITH SCORE 4497.782
AT ITER 1266 NEW BEST:: SOT 27913 SOS 13822 HAS SOPS 13800 HAS SOUS 4492 HAS SOUPS 4479 WITH SCORE 4492.822
AT ITER 1280 NEW BEST:: SOT 27964 SOS 13877 HAS SOPS 13855 HAS SOUS 4441 HAS SOUPS 4428 WITH SCORE 4441.877
AT ITER 1283 NEW BEST:: SOT 27950 SOS 13863 HAS SOPS 13841 HAS SOUS 4441 HAS SOUPS 4428 WITH SCORE 4441.863
AT ITER 1286 NEW BEST:: SOT 27946 SOS 13522 HAS SOPS 13500 HAS SOUS 4435 HAS SOUPS 4422 WITH SCORE 4435.522
AT ITER 1296 NEW BEST:: SOT 27945 SOS 13517 HAS SOPS 13495 HAS SOUS 4432 HAS SOUPS 4419 WITH SCORE 4432.517
AT ITER 1314 NEW BEST:: SOT 27935 SOS 13517 HAS SOPS 13495 HAS SOUS 4424 HAS SOUPS 4411 WITH SCORE 4424.517
AT ITER 1327 NEW BEST:: SOT 27935 SOS 13517 HAS SOPS 13495 HAS SOUS 4413 HAS SOUPS 4400 WITH SCORE 4413.517
AT ITER 1339 NEW BEST:: SOT 27926 SOS 13508 HAS SOPS 13486 HAS SOUS 4404 HAS SOUPS 4391 WITH SCORE 4404.508
AT ITER 1342 NEW BEST:: SOT 27932 SOS 13528 HAS SOPS 13506 HAS SOUS 4402 HAS SOUPS 4389 WITH SCORE 4402.528
AT ITER 1357 NEW BEST:: SOT 27907 SOS 13503 HAS SOPS 13481 HAS SOUS 4377 HAS SOUPS 4364 WITH SCORE 4377.503
AT ITER 1371 NEW BEST:: SOT 27890 SOS 13486 HAS SOPS 13464 HAS SOUS 4360 HAS SOUPS 4347 WITH SCORE 4360.486
AT ITER 1380 NEW BEST:: SOT 27887 SOS 13483 HAS SOPS 13461 HAS SOUS 4360 HAS SOUPS 4347 WITH SCORE 4360.483
AT ITER 1385 NEW BEST:: SOT 27845 SOS 13441 HAS SOPS 13419 HAS SOUS 4332 HAS SOUPS 4319 WITH SCORE 4332.441
AT ITER 1393 NEW BEST:: SOT 27861 SOS 13457 HAS SOPS 13435 HAS SOUS 4329 HAS SOUPS 4316 WITH SCORE 4329.457
AT ITER 1395 NEW BEST:: SOT 27861 SOS 13457 HAS SOPS 13435 HAS SOUS 4317 HAS SOUPS 4304 WITH SCORE 4317.457
AT ITER 1414 NEW BEST:: SOT 27864 SOS 13445 HAS SOPS 13423 HAS SOUS 4285 HAS SOUPS 4272 WITH SCORE 4285.445
AT ITER 1415 NEW BEST:: SOT 27862 SOS 13443 HAS SOPS 13421 HAS SOUS 4283 HAS SOUPS 4270 WITH SCORE 4283.443
AT ITER 1422 NEW BEST:: SOT 27861 SOS 13447 HAS SOPS 13425 HAS SOUS 4274 HAS SOUPS 4261 WITH SCORE 4274.447
AT ITER 1447 NEW BEST:: SOT 27850 SOS 13413 HAS SOPS 13391 HAS SOUS 4268 HAS SOUPS 4255 WITH SCORE 4268.413
AT ITER 1464 NEW BEST:: SOT 27840 SOS 13403 HAS SOPS 13381 HAS SOUS 4258 HAS SOUPS 4245 WITH SCORE 4258.403
AT ITER 1503 NEW BEST:: SOT 27822 SOS 13385 HAS SOPS 13363 HAS SOUS 4240 HAS SOUPS 4227 WITH SCORE 4240.385
AT ITER 1521 NEW BEST:: SOT 27818 SOS 13377 HAS SOPS 13355 HAS SOUS 4236 HAS SOUPS 4223 WITH SCORE 4236.377
AT ITER 1530 NEW BEST:: SOT 27818 SOS 13375 HAS SOPS 13353 HAS SOUS 4234 HAS SOUPS 4221 WITH SCORE 4234.375
AT ITER 1533 NEW BEST:: SOT 27817 SOS 13372 HAS SOPS 13350 HAS SOUS 4234 HAS SOUPS 4221 WITH SCORE 4234.372
AT ITER 1551 NEW BEST:: SOT 27816 SOS 13372 HAS SOPS 13350 HAS SOUS 4233 HAS SOUPS 4220 WITH SCORE 4233.372
AT ITER 1586 NEW BEST:: SOT 27816 SOS 13372 HAS SOPS 13350 HAS SOUS 4230 HAS SOUPS 4217 WITH SCORE 4230.372
AT ITER 1589 NEW BEST:: SOT 27801 SOS 13342 HAS SOPS 13320 HAS SOUS 4230 HAS SOUPS 4217 WITH SCORE 4230.342
AT ITER 1596 NEW BEST:: SOT 27782 SOS 13323 HAS SOPS 13301 HAS SOUS 4224 HAS SOUPS 4211 WITH SCORE 4224.323
AT ITER 1618 NEW BEST:: SOT 27777 SOS 13313 HAS SOPS 13291 HAS SOUS 4221 HAS SOUPS 4208 WITH SCORE 4221.313
AT ITER 1629 NEW BEST:: SOT 27776 SOS 13312 HAS SOPS 13290 HAS SOUS 4220 HAS SOUPS 4207 WITH SCORE 4220.312
AT ITER 1659 NEW BEST:: SOT 27772 SOS 13304 HAS SOPS 13282 HAS SOUS 4216 HAS SOUPS 4203 WITH SCORE 4216.304
AT ITER 1686 NEW BEST:: SOT 27766 SOS 13292 HAS SOPS 13270 HAS SOUS 4207 HAS SOUPS 4194 WITH SCORE 4207.292
AT ITER 1698 NEW BEST:: SOT 27765 SOS 13291 HAS SOPS 13269 HAS SOUS 4206 HAS SOUPS 4193 WITH SCORE 4206.291
AT ITER 1710 NEW BEST:: SOT 27763 SOS 13289 HAS SOPS 13267 HAS SOUS 4206 HAS SOUPS 4193 WITH SCORE 4206.289
AT ITER 1725 NEW BEST:: SOT 27766 SOS 13292 HAS SOPS 13270 HAS SOUS 4183 HAS SOUPS 4170 WITH SCORE 4183.292
AT ITER 1741 NEW BEST:: SOT 27760 SOS 13283 HAS SOPS 13261 HAS SOUS 4183 HAS SOUPS 4170 WITH SCORE 4183.283
AT ITER 1743 NEW BEST:: SOT 27668 SOS 13125 HAS SOPS 13103 HAS SOUS 4166 HAS SOUPS 4153 WITH SCORE 4166.125
AT ITER 1759 NEW BEST:: SOT 27646 SOS 13076 HAS SOPS 13054 HAS SOUS 4155 HAS SOUPS 4142 WITH SCORE 4155.076
AT ITER 1766 NEW BEST:: SOT 27641 SOS 13050 HAS SOPS 13028 HAS SOUS 4152 HAS SOUPS 4139 WITH SCORE 4152.05
AT ITER 1797 NEW BEST:: SOT 27610 SOS 13010 HAS SOPS 12988 HAS SOUS 4143 HAS SOUPS 4130 WITH SCORE 4143.01
AT ITER 1802 NEW BEST:: SOT 27630 SOS 13040 HAS SOPS 13018 HAS SOUS 4141 HAS SOUPS 4128 WITH SCORE 4141.04
AT ITER 1805 NEW BEST:: SOT 27631 SOS 13041 HAS SOPS 13019 HAS SOUS 4140 HAS SOUPS 4127 WITH SCORE 4140.041
AT ITER 1841 NEW BEST:: SOT 27631 SOS 13041 HAS SOPS 13019 HAS SOUS 4139 HAS SOUPS 4126 WITH SCORE 4139.041
AT ITER 1860 NEW BEST:: SOT 27628 SOS 13025 HAS SOPS 13003 HAS SOUS 4138 HAS SOUPS 4125 WITH SCORE 4138.025
AT ITER 1874 NEW BEST:: SOT 27617 SOS 13014 HAS SOPS 12992 HAS SOUS 4127 HAS SOUPS 4114 WITH SCORE 4127.014
AT ITER 1911 NEW BEST:: SOT 27621 SOS 13018 HAS SOPS 12996 HAS SOUS 4120 HAS SOUPS 4107 WITH SCORE 4120.018
AT ITER 1936 NEW BEST:: SOT 27619 SOS 13014 HAS SOPS 12992 HAS SOUS 4119 HAS SOUPS 4106 WITH SCORE 4119.014
AT ITER 1938 NEW BEST:: SOT 27623 SOS 13006 HAS SOPS 12984 HAS SOUS 4108 HAS SOUPS 4095 WITH SCORE 4108.006
AT ITER 1979 NEW BEST:: SOT 27613 SOS 12986 HAS SOPS 12964 HAS SOUS 4098 HAS SOUPS 4085 WITH SCORE 4097.986
AT ITER 1980 NEW BEST:: SOT 27609 SOS 12978 HAS SOPS 12956 HAS SOUS 4096 HAS SOUPS 4083 WITH SCORE 4095.978
AT ITER 1985 NEW BEST:: SOT 27609 SOS 12978 HAS SOPS 12956 HAS SOUS 4095 HAS SOUPS 4082 WITH SCORE 4094.978
AT ITER 2003 NEW BEST:: SOT 27606 SOS 12975 HAS SOPS 12953 HAS SOUS 4092 HAS SOUPS 4079 WITH SCORE 4091.975
AT ITER 2019 NEW BEST:: SOT 27602 SOS 12967 HAS SOPS 12945 HAS SOUS 4090 HAS SOUPS 4077 WITH SCORE 4089.967
AT ITER 2022 NEW BEST:: SOT 27572 SOS 12907 HAS SOPS 12885 HAS SOUS 4043 HAS SOUPS 4030 WITH SCORE 4042.907
AT ITER 2045 NEW BEST:: SOT 27586 SOS 12924 HAS SOPS 12902 HAS SOUS 4039 HAS SOUPS 4026 WITH SCORE 4038.924
AT ITER 2086 NEW BEST:: SOT 27583 SOS 12918 HAS SOPS 12896 HAS SOUS 4036 HAS SOUPS 4023 WITH SCORE 4035.918
AT ITER 2088 NEW BEST:: SOT 27590 SOS 12912 HAS SOPS 12890 HAS SOUS 4030 HAS SOUPS 4017 WITH SCORE 4029.912
AT ITER 2106 NEW BEST:: SOT 27591 SOS 12910 HAS SOPS 12888 HAS SOUS 4026 HAS SOUPS 4013 WITH SCORE 4025.91
AT ITER 2129 NEW BEST:: SOT 27589 SOS 12906 HAS SOPS 12884 HAS SOUS 4019 HAS SOUPS 4006 WITH SCORE 4018.906
AT ITER 2139 NEW BEST:: SOT 27563 SOS 12864 HAS SOPS 12842 HAS SOUS 4012 HAS SOUPS 3999 WITH SCORE 4011.864
AT ITER 2153 NEW BEST:: SOT 27614 SOS 12915 HAS SOPS 12893 HAS SOUS 4009 HAS SOUPS 3996 WITH SCORE 4008.915
AT ITER 2192 NEW BEST:: SOT 27633 SOS 12956 HAS SOPS 12934 HAS SOUS 4008 HAS SOUPS 3995 WITH SCORE 4007.956
AT ITER 2206 NEW BEST:: SOT 27645 SOS 12969 HAS SOPS 12947 HAS SOUS 4002 HAS SOUPS 3989 WITH SCORE 4001.969
AT ITER 2207 NEW BEST:: SOT 27626 SOS 12896 HAS SOPS 12874 HAS SOUS 3975 HAS SOUPS 3962 WITH SCORE 3974.896
AT ITER 2219 NEW BEST:: SOT 27619 SOS 12876 HAS SOPS 12854 HAS SOUS 3973 HAS SOUPS 3960 WITH SCORE 3972.876
AT ITER 2248 NEW BEST:: SOT 27619 SOS 12876 HAS SOPS 12854 HAS SOUS 3968 HAS SOUPS 3955 WITH SCORE 3967.876
AT ITER 2251 NEW BEST:: SOT 27635 SOS 13388 HAS SOPS 13366 HAS SOUS 3948 HAS SOUPS 3935 WITH SCORE 3948.388
AT ITER 2325 NEW BEST:: SOT 27624 SOS 13377 HAS SOPS 13355 HAS SOUS 3937 HAS SOUPS 3924 WITH SCORE 3937.377
AT ITER 2329 NEW BEST:: SOT 27623 SOS 13376 HAS SOPS 13354 HAS SOUS 3933 HAS SOUPS 3920 WITH SCORE 3933.376
AT ITER 2339 NEW BEST:: SOT 27623 SOS 13373 HAS SOPS 13351 HAS SOUS 3927 HAS SOUPS 3914 WITH SCORE 3927.373
AT ITER 2369 NEW BEST:: SOT 27621 SOS 13369 HAS SOPS 13347 HAS SOUS 3925 HAS SOUPS 3912 WITH SCORE 3925.369
AT ITER 2376 NEW BEST:: SOT 27618 SOS 13360 HAS SOPS 13338 HAS SOUS 3924 HAS SOUPS 3911 WITH SCORE 3924.36
AT ITER 2394 NEW BEST:: SOT 27616 SOS 13358 HAS SOPS 13336 HAS SOUS 3920 HAS SOUPS 3907 WITH SCORE 3920.358
AT ITER 2395 NEW BEST:: SOT 27609 SOS 13351 HAS SOPS 13329 HAS SOUS 3916 HAS SOUPS 3903 WITH SCORE 3916.351
AT ITER 2396 NEW BEST:: SOT 27607 SOS 13350 HAS SOPS 13328 HAS SOUS 3910 HAS SOUPS 3897 WITH SCORE 3910.35
AT ITER 2410 NEW BEST:: SOT 27607 SOS 13350 HAS SOPS 13328 HAS SOUS 3907 HAS SOUPS 3894 WITH SCORE 3907.35
AT ITER 2441 NEW BEST:: SOT 27601 SOS 13338 HAS SOPS 13316 HAS SOUS 3892 HAS SOUPS 3879 WITH SCORE 3892.338
AT ITER 2485 NEW BEST:: SOT 27601 SOS 13335 HAS SOPS 13313 HAS SOUS 3890 HAS SOUPS 3877 WITH SCORE 3890.335
AT ITER 2489 NEW BEST:: SOT 27601 SOS 13335 HAS SOPS 13313 HAS SOUS 3885 HAS SOUPS 3872 WITH SCORE 3885.335
AT ITER 2491 NEW BEST:: SOT 27603 SOS 13386 HAS SOPS 13364 HAS SOUS 3882 HAS SOUPS 3869 WITH SCORE 3882.386
AT ITER 2514 NEW BEST:: SOT 27603 SOS 13386 HAS SOPS 13364 HAS SOUS 3880 HAS SOUPS 3867 WITH SCORE 3880.386
AT ITER 2521 NEW BEST:: SOT 27603 SOS 13386 HAS SOPS 13364 HAS SOUS 3878 HAS SOUPS 3865 WITH SCORE 3878.386
AT ITER 2537 NEW BEST:: SOT 27593 SOS 13376 HAS SOPS 13354 HAS SOUS 3877 HAS SOUPS 3864 WITH SCORE 3877.376
AT ITER 2558 NEW BEST:: SOT 27579 SOS 13349 HAS SOPS 13327 HAS SOUS 3876 HAS SOUPS 3863 WITH SCORE 3876.349
AT ITER 2573 NEW BEST:: SOT 27572 SOS 13323 HAS SOPS 13301 HAS SOUS 3873 HAS SOUPS 3860 WITH SCORE 3873.323
AT ITER 2637 NEW BEST:: SOT 27538 SOS 13887 HAS SOPS 13865 HAS SOUS 3834 HAS SOUPS 3821 WITH SCORE 3834.887
AT ITER 2658 NEW BEST:: SOT 27532 SOS 13881 HAS SOPS 13859 HAS SOUS 3829 HAS SOUPS 3816 WITH SCORE 3829.881
AT ITER 2672 NEW BEST:: SOT 27484 SOS 13833 HAS SOPS 13811 HAS SOUS 3809 HAS SOUPS 3796 WITH SCORE 3809.833
AT ITER 2685 NEW BEST:: SOT 27524 SOS 13893 HAS SOPS 13871 HAS SOUS 3807 HAS SOUPS 3794 WITH SCORE 3807.893
AT ITER 2706 NEW BEST:: SOT 27518 SOS 13887 HAS SOPS 13865 HAS SOUS 3796 HAS SOUPS 3783 WITH SCORE 3796.887
AT ITER 2707 NEW BEST:: SOT 27513 SOS 13882 HAS SOPS 13860 HAS SOUS 3786 HAS SOUPS 3773 WITH SCORE 3786.882
AT ITER 2712 NEW BEST:: SOT 27509 SOS 13878 HAS SOPS 13856 HAS SOUS 3782 HAS SOUPS 3769 WITH SCORE 3782.878
AT ITER 2718 NEW BEST:: SOT 27524 SOS 13893 HAS SOPS 13871 HAS SOUS 3774 HAS SOUPS 3761 WITH SCORE 3774.893
AT ITER 2767 NEW BEST:: SOT 27524 SOS 13893 HAS SOPS 13871 HAS SOUS 3773 HAS SOUPS 3760 WITH SCORE 3773.893
AT ITER 2769 NEW BEST:: SOT 27523 SOS 13891 HAS SOPS 13869 HAS SOUS 3770 HAS SOUPS 3757 WITH SCORE 3770.891
AT ITER 2780 NEW BEST:: SOT 27517 SOS 13885 HAS SOPS 13863 HAS SOUS 3756 HAS SOUPS 3743 WITH SCORE 3756.885
AT ITER 2785 NEW BEST:: SOT 27467 SOS 13802 HAS SOPS 13780 HAS SOUS 3755 HAS SOUPS 3742 WITH SCORE 3755.802
AT ITER 2816 NEW BEST:: SOT 27464 SOS 13799 HAS SOPS 13777 HAS SOUS 3755 HAS SOUPS 3742 WITH SCORE 3755.799
AT ITER 2836 NEW BEST:: SOT 27444 SOS 13769 HAS SOPS 13747 HAS SOUS 3745 HAS SOUPS 3732 WITH SCORE 3745.769
AT ITER 2845 NEW BEST:: SOT 27432 SOS 13750 HAS SOPS 13728 HAS SOUS 3736 HAS SOUPS 3723 WITH SCORE 3736.75
AT ITER 2876 NEW BEST:: SOT 27425 SOS 13743 HAS SOPS 13721 HAS SOUS 3719 HAS SOUPS 3706 WITH SCORE 3719.743
AT ITER 2889 NEW BEST:: SOT 27423 SOS 13741 HAS SOPS 13719 HAS SOUS 3719 HAS SOUPS 3706 WITH SCORE 3719.741
AT ITER 2913 NEW BEST:: SOT 27419 SOS 13724 HAS SOPS 13702 HAS SOUS 3715 HAS SOUPS 3702 WITH SCORE 3715.724
AT ITER 2917 NEW BEST:: SOT 27417 SOS 13719 HAS SOPS 13697 HAS SOUS 3713 HAS SOUPS 3700 WITH SCORE 3713.719
AT ITER 2950 NEW BEST:: SOT 27414 SOS 13713 HAS SOPS 13691 HAS SOUS 3710 HAS SOUPS 3697 WITH SCORE 3710.713
AT ITER 3014 NEW BEST:: SOT 27413 SOS 13712 HAS SOPS 13690 HAS SOUS 3709 HAS SOUPS 3696 WITH SCORE 3709.712
AT ITER 3030 NEW BEST:: SOT 27399 SOS 13693 HAS SOPS 13671 HAS SOUS 3704 HAS SOUPS 3691 WITH SCORE 3704.693
AT ITER 3070 NEW BEST:: SOT 27407 SOS 13641 HAS SOPS 13619 HAS SOUS 3704 HAS SOUPS 3691 WITH SCORE 3704.641
AT ITER 3078 NEW BEST:: SOT 27339 SOS 13573 HAS SOPS 13551 HAS SOUS 3702 HAS SOUPS 3689 WITH SCORE 3702.573
AT ITER 3079 NEW BEST:: SOT 27337 SOS 13569 HAS SOPS 13547 HAS SOUS 3701 HAS SOUPS 3688 WITH SCORE 3701.569
AT ITER 3083 NEW BEST:: SOT 27336 SOS 13558 HAS SOPS 13536 HAS SOUS 3694 HAS SOUPS 3681 WITH SCORE 3694.558
AT ITER 3124 NEW BEST:: SOT 27326 SOS 13548 HAS SOPS 13526 HAS SOUS 3669 HAS SOUPS 3656 WITH SCORE 3669.548
AT ITER 3173 NEW BEST:: SOT 27322 SOS 13544 HAS SOPS 13522 HAS SOUS 3666 HAS SOUPS 3653 WITH SCORE 3666.544
AT ITER 3199 NEW BEST:: SOT 27316 SOS 13532 HAS SOPS 13510 HAS SOUS 3663 HAS SOUPS 3650 WITH SCORE 3663.532
AT ITER 3208 NEW BEST:: SOT 27314 SOS 13530 HAS SOPS 13508 HAS SOUS 3650 HAS SOUPS 3637 WITH SCORE 3650.53
AT ITER 3212 NEW BEST:: SOT 27307 SOS 13507 HAS SOPS 13485 HAS SOUS 3647 HAS SOUPS 3634 WITH SCORE 3647.507
AT ITER 3226 NEW BEST:: SOT 27298 SOS 13502 HAS SOPS 13480 HAS SOUS 3636 HAS SOUPS 3623 WITH SCORE 3636.502
AT ITER 3290 NEW BEST:: SOT 27298 SOS 13499 HAS SOPS 13477 HAS SOUS 3635 HAS SOUPS 3622 WITH SCORE 3635.499
AT ITER 3339 NEW BEST:: SOT 27288 SOS 13489 HAS SOPS 13467 HAS SOUS 3632 HAS SOUPS 3619 WITH SCORE 3632.489
AT ITER 3356 NEW BEST:: SOT 27284 SOS 13481 HAS SOPS 13459 HAS SOUS 3630 HAS SOUPS 3617 WITH SCORE 3630.481
AT ITER 3367 NEW BEST:: SOT 27277 SOS 13474 HAS SOPS 13452 HAS SOUS 3623 HAS SOUPS 3610 WITH SCORE 3623.474
AT ITER 3369 NEW BEST:: SOT 27274 SOS 13473 HAS SOPS 13451 HAS SOUS 3622 HAS SOUPS 3609 WITH SCORE 3622.473
AT ITER 3435 NEW BEST:: SOT 27267 SOS 13363 HAS SOPS 13341 HAS SOUS 3619 HAS SOUPS 3606 WITH SCORE 3619.363
AT ITER 3475 NEW BEST:: SOT 27263 SOS 13359 HAS SOPS 13337 HAS SOUS 3615 HAS SOUPS 3602 WITH SCORE 3615.359
AT ITER 3498 NEW BEST:: SOT 27263 SOS 13361 HAS SOPS 13339 HAS SOUS 3614 HAS SOUPS 3601 WITH SCORE 3614.361
AT ITER 3590 NEW BEST:: SOT 27260 SOS 13358 HAS SOPS 13336 HAS SOUS 3613 HAS SOUPS 3600 WITH SCORE 3613.358
AT ITER 3639 NEW BEST:: SOT 27260 SOS 13356 HAS SOPS 13334 HAS SOUS 3611 HAS SOUPS 3598 WITH SCORE 3611.356
AT ITER 3738 NEW BEST:: SOT 27267 SOS 13259 HAS SOPS 13237 HAS SOUS 3611 HAS SOUPS 3598 WITH SCORE 3611.259
AT ITER 3748 NEW BEST:: SOT 27280 SOS 13274 HAS SOPS 13252 HAS SOUS 3609 HAS SOUPS 3596 WITH SCORE 3609.274
AT ITER 3797 NEW BEST:: SOT 27279 SOS 13273 HAS SOPS 13251 HAS SOUS 3607 HAS SOUPS 3594 WITH SCORE 3607.273
AT ITER 3834 NEW BEST:: SOT 27279 SOS 13273 HAS SOPS 13251 HAS SOUS 3605 HAS SOUPS 3592 WITH SCORE 3605.273
AT ITER 3836 NEW BEST:: SOT 27262 SOS 13272 HAS SOPS 13250 HAS SOUS 3603 HAS SOUPS 3590 WITH SCORE 3603.272
AT ITER 3868 NEW BEST:: SOT 27261 SOS 13271 HAS SOPS 13249 HAS SOUS 3601 HAS SOUPS 3588 WITH SCORE 3601.271
AT ITER 3940 NEW BEST:: SOT 27257 SOS 13263 HAS SOPS 13241 HAS SOUS 3595 HAS SOUPS 3582 WITH SCORE 3595.263
AT ITER 3947 NEW BEST:: SOT 27257 SOS 13257 HAS SOPS 13235 HAS SOUS 3594 HAS SOUPS 3581 WITH SCORE 3594.257
AT ITER 3964 NEW BEST:: SOT 27247 SOS 13247 HAS SOPS 13225 HAS SOUS 3583 HAS SOUPS 3570 WITH SCORE 3583.247
AT ITER 3970 NEW BEST:: SOT 27241 SOS 13241 HAS SOPS 13219 HAS SOUS 3581 HAS SOUPS 3568 WITH SCORE 3581.241
AT ITER 3972 NEW BEST:: SOT 27235 SOS 13235 HAS SOPS 13213 HAS SOUS 3575 HAS SOUPS 3562 WITH SCORE 3575.235
AT ITER 4003 NEW BEST:: SOT 27235 SOS 13235 HAS SOPS 13213 HAS SOUS 3571 HAS SOUPS 3558 WITH SCORE 3571.235
AT ITER 4009 NEW BEST:: SOT 27234 SOS 13234 HAS SOPS 13212 HAS SOUS 3567 HAS SOUPS 3554 WITH SCORE 3567.234
AT ITER 4020 NEW BEST:: SOT 27228 SOS 13228 HAS SOPS 13206 HAS SOUS 3567 HAS SOUPS 3554 WITH SCORE 3567.228
AT ITER 4055 NEW BEST:: SOT 27217 SOS 13195 HAS SOPS 13173 HAS SOUS 3562 HAS SOUPS 3549 WITH SCORE 3562.195
AT ITER 4057 NEW BEST:: SOT 27215 SOS 13190 HAS SOPS 13168 HAS SOUS 3559 HAS SOUPS 3546 WITH SCORE 3559.19
AT ITER 4086 NEW BEST:: SOT 27213 SOS 13183 HAS SOPS 13161 HAS SOUS 3554 HAS SOUPS 3541 WITH SCORE 3554.183
AT ITER 4098 NEW BEST:: SOT 27212 SOS 13182 HAS SOPS 13160 HAS SOUS 3553 HAS SOUPS 3540 WITH SCORE 3553.182
AT ITER 4146 NEW BEST:: SOT 27212 SOS 13182 HAS SOPS 13160 HAS SOUS 3552 HAS SOUPS 3539 WITH SCORE 3552.182
AT ITER 4158 NEW BEST:: SOT 27223 SOS 13193 HAS SOPS 13171 HAS SOUS 3548 HAS SOUPS 3535 WITH SCORE 3548.193
AT ITER 4165 NEW BEST:: SOT 27224 SOS 13194 HAS SOPS 13172 HAS SOUS 3542 HAS SOUPS 3529 WITH SCORE 3542.194
AT ITER 4196 NEW BEST:: SOT 27219 SOS 13189 HAS SOPS 13167 HAS SOUS 3534 HAS SOUPS 3521 WITH SCORE 3534.189
AT ITER 4209 NEW BEST:: SOT 27215 SOS 13185 HAS SOPS 13163 HAS SOUS 3530 HAS SOUPS 3517 WITH SCORE 3530.185
AT ITER 4235 NEW BEST:: SOT 27218 SOS 13188 HAS SOPS 13166 HAS SOUS 3523 HAS SOUPS 3510 WITH SCORE 3523.188
AT ITER 4279 NEW BEST:: SOT 27219 SOS 13193 HAS SOPS 13171 HAS SOUS 3520 HAS SOUPS 3507 WITH SCORE 3520.193
AT ITER 4338 NEW BEST:: SOT 27219 SOS 13193 HAS SOPS 13171 HAS SOUS 3518 HAS SOUPS 3505 WITH SCORE 3518.193
AT ITER 4341 NEW BEST:: SOT 27222 SOS 13190 HAS SOPS 13168 HAS SOUS 3515 HAS SOUPS 3502 WITH SCORE 3515.19
AT ITER 4352 NEW BEST:: SOT 27214 SOS 13174 HAS SOPS 13152 HAS SOUS 3514 HAS SOUPS 3501 WITH SCORE 3514.174
AT ITER 4371 NEW BEST:: SOT 27214 SOS 13170 HAS SOPS 13148 HAS SOUS 3510 HAS SOUPS 3497 WITH SCORE 3510.17
AT ITER 4385 NEW BEST:: SOT 27214 SOS 13170 HAS SOPS 13148 HAS SOUS 3496 HAS SOUPS 3483 WITH SCORE 3496.17
AT ITER 4413 NEW BEST:: SOT 27211 SOS 13167 HAS SOPS 13145 HAS SOUS 3493 HAS SOUPS 3480 WITH SCORE 3493.167
AT ITER 4553 NEW BEST:: SOT 27225 SOS 13198 HAS SOPS 13176 HAS SOUS 3492 HAS SOUPS 3479 WITH SCORE 3492.198
AT ITER 4621 NEW BEST:: SOT 27224 SOS 13197 HAS SOPS 13175 HAS SOUS 3491 HAS SOUPS 3478 WITH SCORE 3491.197
AT ITER 4657 NEW BEST:: SOT 27228 SOS 13196 HAS SOPS 13174 HAS SOUS 3489 HAS SOUPS 3476 WITH SCORE 3489.196
AT ITER 4670 NEW BEST:: SOT 27224 SOS 13192 HAS SOPS 13170 HAS SOUS 3485 HAS SOUPS 3472 WITH SCORE 3485.192
AT ITER 4690 NEW BEST:: SOT 27247 SOS 13215 HAS SOPS 13193 HAS SOUS 3480 HAS SOUPS 3467 WITH SCORE 3480.215
AT ITER 4736 NEW BEST:: SOT 27244 SOS 13149 HAS SOPS 13127 HAS SOUS 3477 HAS SOUPS 3464 WITH SCORE 3477.149
AT ITER 4755 NEW BEST:: SOT 27240 SOS 13145 HAS SOPS 13123 HAS SOUS 3473 HAS SOUPS 3460 WITH SCORE 3473.145
AT ITER 4765 NEW BEST:: SOT 27234 SOS 13123 HAS SOPS 13101 HAS SOUS 3473 HAS SOUPS 3460 WITH SCORE 3473.123
AT ITER 4839 NEW BEST:: SOT 27234 SOS 13121 HAS SOPS 13099 HAS SOUS 3473 HAS SOUPS 3460 WITH SCORE 3473.121
AT ITER 4851 NEW BEST:: SOT 27235 SOS 13122 HAS SOPS 13100 HAS SOUS 3472 HAS SOUPS 3459 WITH SCORE 3472.122
AT ITER 4929 NEW BEST:: SOT 27231 SOS 13114 HAS SOPS 13092 HAS SOUS 3471 HAS SOUPS 3458 WITH SCORE 3471.114
AT ITER 5004 NEW BEST:: SOT 27230 SOS 13113 HAS SOPS 13091 HAS SOUS 3470 HAS SOUPS 3457 WITH SCORE 3470.113
AT ITER 5054 NEW BEST:: SOT 27225 SOS 13038 HAS SOPS 13016 HAS SOUS 3465 HAS SOUPS 3452 WITH SCORE 3465.038
AT ITER 5061 NEW BEST:: SOT 27213 SOS 13003 HAS SOPS 12981 HAS SOUS 3449 HAS SOUPS 3436 WITH SCORE 3449.003
AT ITER 5110 NEW BEST:: SOT 27253 SOS 12848 HAS SOPS 12826 HAS SOUS 3448 HAS SOUPS 3435 WITH SCORE 3447.848
AT ITER 5119 NEW BEST:: SOT 27249 SOS 13108 HAS SOPS 13086 HAS SOUS 3442 HAS SOUPS 3429 WITH SCORE 3442.108
AT ITER 5136 NEW BEST:: SOT 27238 SOS 13097 HAS SOPS 13075 HAS SOUS 3422 HAS SOUPS 3409 WITH SCORE 3422.097
AT ITER 5161 NEW BEST:: SOT 27238 SOS 13097 HAS SOPS 13075 HAS SOUS 3421 HAS SOUPS 3408 WITH SCORE 3421.097
AT ITER 5214 NEW BEST:: SOT 27236 SOS 13090 HAS SOPS 13068 HAS SOUS 3421 HAS SOUPS 3408 WITH SCORE 3421.09
AT ITER 5280 NEW BEST:: SOT 27235 SOS 13089 HAS SOPS 13067 HAS SOUS 3420 HAS SOUPS 3407 WITH SCORE 3420.089
AT ITER 5350 NEW BEST:: SOT 27235 SOS 13097 HAS SOPS 13075 HAS SOUS 3419 HAS SOUPS 3406 WITH SCORE 3419.097
AT ITER 5368 NEW BEST:: SOT 27233 SOS 13095 HAS SOPS 13073 HAS SOUS 3417 HAS SOUPS 3404 WITH SCORE 3417.095
AT ITER 5375 NEW BEST:: SOT 27237 SOS 13094 HAS SOPS 13072 HAS SOUS 3407 HAS SOUPS 3394 WITH SCORE 3407.094
AT ITER 5414 NEW BEST:: SOT 27237 SOS 13094 HAS SOPS 13072 HAS SOUS 3404 HAS SOUPS 3391 WITH SCORE 3404.094
AT ITER 5439 NEW BEST:: SOT 27237 SOS 13094 HAS SOPS 13072 HAS SOUS 3403 HAS SOUPS 3390 WITH SCORE 3403.094
AT ITER 5597 NEW BEST:: SOT 27236 SOS 13093 HAS SOPS 13071 HAS SOUS 3402 HAS SOUPS 3389 WITH SCORE 3402.093
AT ITER 5611 NEW BEST:: SOT 27237 SOS 13094 HAS SOPS 13072 HAS SOUS 3401 HAS SOUPS 3388 WITH SCORE 3401.094
AT ITER 5632 NEW BEST:: SOT 27236 SOS 13093 HAS SOPS 13071 HAS SOUS 3400 HAS SOUPS 3387 WITH SCORE 3400.093
AT ITER 5721 NEW BEST:: SOT 27233 SOS 13081 HAS SOPS 13059 HAS SOUS 3399 HAS SOUPS 3386 WITH SCORE 3399.081
AT ITER 5732 NEW BEST:: SOT 27226 SOS 13074 HAS SOPS 13052 HAS SOUS 3392 HAS SOUPS 3379 WITH SCORE 3392.074
AT ITER 5877 NEW BEST:: SOT 27220 SOS 13068 HAS SOPS 13046 HAS SOUS 3392 HAS SOUPS 3379 WITH SCORE 3392.068
AT ITER 5884 NEW BEST:: SOT 27228 SOS 13090 HAS SOPS 13068 HAS SOUS 3391 HAS SOUPS 3378 WITH SCORE 3391.09
AT ITER 6054 NEW BEST:: SOT 27227 SOS 13075 HAS SOPS 13053 HAS SOUS 3390 HAS SOUPS 3377 WITH SCORE 3390.075
AT ITER 6100 NEW BEST:: SOT 27225 SOS 13069 HAS SOPS 13047 HAS SOUS 3390 HAS SOUPS 3377 WITH SCORE 3390.069
AT ITER 6117 NEW BEST:: SOT 27225 SOS 13058 HAS SOPS 13036 HAS SOUS 3390 HAS SOUPS 3377 WITH SCORE 3390.058
AT ITER 6184 NEW BEST:: SOT 27224 SOS 13004 HAS SOPS 12982 HAS SOUS 3386 HAS SOUPS 3373 WITH SCORE 3386.004
AT ITER 6257 NEW BEST:: SOT 27214 SOS 12999 HAS SOPS 12977 HAS SOUS 3381 HAS SOUPS 3368 WITH SCORE 3380.999
AT ITER 6467 NEW BEST:: SOT 27212 SOS 12997 HAS SOPS 12975 HAS SOUS 3381 HAS SOUPS 3368 WITH SCORE 3380.997
AT ITER 6494 NEW BEST:: SOT 27203 SOS 12988 HAS SOPS 12966 HAS SOUS 3381 HAS SOUPS 3368 WITH SCORE 3380.988
AT ITER 6598 NEW BEST:: SOT 27202 SOS 12987 HAS SOPS 12965 HAS SOUS 3380 HAS SOUPS 3367 WITH SCORE 3379.987
AT ITER 6602 NEW BEST:: SOT 27185 SOS 12971 HAS SOPS 12949 HAS SOUS 3364 HAS SOUPS 3351 WITH SCORE 3363.971
AT ITER 6620 NEW BEST:: SOT 27182 SOS 12968 HAS SOPS 12946 HAS SOUS 3359 HAS SOUPS 3346 WITH SCORE 3358.968
AT ITER 6638 NEW BEST:: SOT 27180 SOS 12963 HAS SOPS 12941 HAS SOUS 3355 HAS SOUPS 3342 WITH SCORE 3354.963
AT ITER 6672 NEW BEST:: SOT 27174 SOS 12873 HAS SOPS 12851 HAS SOUS 3349 HAS SOUPS 3336 WITH SCORE 3348.873
AT ITER 6703 NEW BEST:: SOT 27173 SOS 12872 HAS SOPS 12850 HAS SOUS 3347 HAS SOUPS 3334 WITH SCORE 3346.872
AT ITER 6745 NEW BEST:: SOT 27174 SOS 12802 HAS SOPS 12780 HAS SOUS 3341 HAS SOUPS 3328 WITH SCORE 3340.802
AT ITER 6758 NEW BEST:: SOT 27173 SOS 12801 HAS SOPS 12779 HAS SOUS 3340 HAS SOUPS 3327 WITH SCORE 3339.801
AT ITER 6759 NEW BEST:: SOT 27171 SOS 12799 HAS SOPS 12777 HAS SOUS 3336 HAS SOUPS 3323 WITH SCORE 3335.799
AT ITER 6804 NEW BEST:: SOT 27155 SOS 12767 HAS SOPS 12745 HAS SOUS 3334 HAS SOUPS 3321 WITH SCORE 3333.767
AT ITER 6853 NEW BEST:: SOT 27149 SOS 12695 HAS SOPS 12673 HAS SOUS 3334 HAS SOUPS 3321 WITH SCORE 3333.695
AT ITER 6940 NEW BEST:: SOT 27145 SOS 12677 HAS SOPS 12655 HAS SOUS 3322 HAS SOUPS 3309 WITH SCORE 3321.677
AT ITER 6970 NEW BEST:: SOT 27143 SOS 12671 HAS SOPS 12649 HAS SOUS 3321 HAS SOUPS 3308 WITH SCORE 3320.671
AT ITER 7053 NEW BEST:: SOT 27141 SOS 12668 HAS SOPS 12646 HAS SOUS 3320 HAS SOUPS 3307 WITH SCORE 3319.668
AT ITER 7152 NEW BEST:: SOT 27136 SOS 12660 HAS SOPS 12638 HAS SOUS 3318 HAS SOUPS 3305 WITH SCORE 3317.66
AT ITER 7204 NEW BEST:: SOT 27135 SOS 12658 HAS SOPS 12636 HAS SOUS 3318 HAS SOUPS 3305 WITH SCORE 3317.658
AT ITER 7291 NEW BEST:: SOT 27134 SOS 12656 HAS SOPS 12634 HAS SOUS 3318 HAS SOUPS 3305 WITH SCORE 3317.656
AT ITER 7408 NEW BEST:: SOT 27133 SOS 12655 HAS SOPS 12633 HAS SOUS 3316 HAS SOUPS 3303 WITH SCORE 3315.655
AT ITER 7422 NEW BEST:: SOT 27131 SOS 12641 HAS SOPS 12619 HAS SOUS 3306 HAS SOUPS 3293 WITH SCORE 3305.641
AT ITER 7497 NEW BEST:: SOT 27138 SOS 12648 HAS SOPS 12626 HAS SOUS 3305 HAS SOUPS 3292 WITH SCORE 3304.648
AT ITER 7543 NEW BEST:: SOT 27137 SOS 12647 HAS SOPS 12625 HAS SOUS 3304 HAS SOUPS 3291 WITH SCORE 3303.647
AT ITER 7553 NEW BEST:: SOT 27115 SOS 12604 HAS SOPS 12582 HAS SOUS 3303 HAS SOUPS 3290 WITH SCORE 3302.604
AT ITER 7612 NEW BEST:: SOT 27112 SOS 12601 HAS SOPS 12579 HAS SOUS 3300 HAS SOUPS 3287 WITH SCORE 3299.601
AT ITER 7666 NEW BEST:: SOT 27118 SOS 12580 HAS SOPS 12558 HAS SOUS 3300 HAS SOUPS 3287 WITH SCORE 3299.58
AT ITER 7779 NEW BEST:: SOT 27117 SOS 12570 HAS SOPS 12548 HAS SOUS 3300 HAS SOUPS 3287 WITH SCORE 3299.57
AT ITER 7865 NEW BEST:: SOT 27115 SOS 12566 HAS SOPS 12544 HAS SOUS 3298 HAS SOUPS 3285 WITH SCORE 3297.566
AT ITER 7883 NEW BEST:: SOT 27105 SOS 12549 HAS SOPS 12527 HAS SOUS 3295 HAS SOUPS 3282 WITH SCORE 3294.549
AT ITER 8030 NEW BEST:: SOT 27132 SOS 12576 HAS SOPS 12554 HAS SOUS 3294 HAS SOUPS 3281 WITH SCORE 3293.576
AT ITER 8098 NEW BEST:: SOT 27130 SOS 12574 HAS SOPS 12552 HAS SOUS 3292 HAS SOUPS 3279 WITH SCORE 3291.574
AT ITER 8138 NEW BEST:: SOT 27128 SOS 12572 HAS SOPS 12550 HAS SOUS 3290 HAS SOUPS 3277 WITH SCORE 3289.572
AT ITER 8387 NEW BEST:: SOT 27126 SOS 12570 HAS SOPS 12548 HAS SOUS 3288 HAS SOUPS 3275 WITH SCORE 3287.57
AT ITER 8388 NEW BEST:: SOT 27123 SOS 12468 HAS SOPS 12446 HAS SOUS 3288 HAS SOUPS 3275 WITH SCORE 3287.468
AT ITER 8489 NEW BEST:: SOT 27115 SOS 12449 HAS SOPS 12427 HAS SOUS 3288 HAS SOUPS 3275 WITH SCORE 3287.449
AT ITER 8534 NEW BEST:: SOT 27113 SOS 12447 HAS SOPS 12425 HAS SOUS 3286 HAS SOUPS 3273 WITH SCORE 3285.447
AT ITER 8578 NEW BEST:: SOT 27112 SOS 12446 HAS SOPS 12424 HAS SOUS 3284 HAS SOUPS 3271 WITH SCORE 3283.446
AT ITER 8594 NEW BEST:: SOT 27102 SOS 12492 HAS SOPS 12470 HAS SOUS 3283 HAS SOUPS 3270 WITH SCORE 3282.492
AT ITER 8676 NEW BEST:: SOT 27103 SOS 12454 HAS SOPS 12432 HAS SOUS 3283 HAS SOUPS 3270 WITH SCORE 3282.454
AT ITER 8730 NEW BEST:: SOT 27102 SOS 12453 HAS SOPS 12431 HAS SOUS 3282 HAS SOUPS 3269 WITH SCORE 3281.453
AT ITER 8890 NEW BEST:: SOT 27095 SOS 12446 HAS SOPS 12424 HAS SOUS 3275 HAS SOUPS 3262 WITH SCORE 3274.446
AT ITER 8951 NEW BEST:: SOT 27090 SOS 12441 HAS SOPS 12419 HAS SOUS 3270 HAS SOUPS 3257 WITH SCORE 3269.441
AT ITER 9071 NEW BEST:: SOT 27084 SOS 12514 HAS SOPS 12492 HAS SOUS 3266 HAS SOUPS 3253 WITH SCORE 3265.514
AT ITER 9129 NEW BEST:: SOT 27082 SOS 12512 HAS SOPS 12490 HAS SOUS 3262 HAS SOUPS 3249 WITH SCORE 3261.512
AT ITER 9145 NEW BEST:: SOT 27084 SOS 12510 HAS SOPS 12488 HAS SOUS 3260 HAS SOUPS 3247 WITH SCORE 3259.51
AT ITER 9300 NEW BEST:: SOT 27081 SOS 12503 HAS SOPS 12481 HAS SOUS 3256 HAS SOUPS 3243 WITH SCORE 3255.503
AT ITER 9309 NEW BEST:: SOT 27079 SOS 12499 HAS SOPS 12477 HAS SOUS 3255 HAS SOUPS 3242 WITH SCORE 3254.499
AT ITER 9337 NEW BEST:: SOT 27079 SOS 12497 HAS SOPS 12475 HAS SOUS 3253 HAS SOUPS 3240 WITH SCORE 3252.497
AT ITER 9410 NEW BEST:: SOT 27079 SOS 12497 HAS SOPS 12475 HAS SOUS 3249 HAS SOUPS 3236 WITH SCORE 3248.497
AT ITER 9480 NEW BEST:: SOT 27078 SOS 12495 HAS SOPS 12473 HAS SOUS 3249 HAS SOUPS 3236 WITH SCORE 3248.495
AT ITER 9505 NEW BEST:: SOT 27078 SOS 12495 HAS SOPS 12473 HAS SOUS 3247 HAS SOUPS 3234 WITH SCORE 3246.495
AT ITER 9516 NEW BEST:: SOT 27072 SOS 12483 HAS SOPS 12461 HAS SOUS 3247 HAS SOUPS 3234 WITH SCORE 3246.483
AT ITER 9562 NEW BEST:: SOT 27066 SOS 12468 HAS SOPS 12446 HAS SOUS 3240 HAS SOUPS 3227 WITH SCORE 3239.468
AT ITER 9929 NEW BEST:: SOT 27065 SOS 12467 HAS SOPS 12445 HAS SOUS 3239 HAS SOUPS 3226 WITH SCORE 3238.467
AT ITER 9936 NEW BEST:: SOT 27075 SOS 12475 HAS SOPS 12453 HAS SOUS 3231 HAS SOUPS 3218 WITH SCORE 3230.475
AT ITER 9941 NEW BEST:: SOT 27074 SOS 12474 HAS SOPS 12452 HAS SOUS 3229 HAS SOUPS 3216 WITH SCORE 3228.474
STATE_SPACE STATES 1865959856 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 30351452471 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678583328382

--------------------
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-13"
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-13, 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-167840349400336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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