fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r203-smll-167840349400296
Last Updated
May 14, 2023

About the Execution of Smart+red for HealthRecord-PT-08

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1648.376 159573.00 166348.00 1077.20 8.0693E+0008 1.2618E+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-167840349400296.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-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349400296
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 388K
-rw-r--r-- 1 mcc users 5.6K Feb 26 18:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 26 18:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 17:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 17:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 18:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 37K Feb 26 18:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 18:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 18:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 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 68K 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 1678579014730

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-08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 23:56:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 23:56:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 23:56:58] [INFO ] Load time of PNML (sax parser for PT used): 241 ms
[2023-03-11 23:56:58] [INFO ] Transformed 156 places.
[2023-03-11 23:56:58] [INFO ] Transformed 326 transitions.
[2023-03-11 23:56:58] [INFO ] Found NUPN structural information;
[2023-03-11 23:56:58] [INFO ] Parsed PT model containing 156 places and 326 transitions and 855 arcs in 399 ms.
[2023-03-11 23:56:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 156 places, 326 transitions and 855 arcs took 9 ms.
Total runtime 469 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 08
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: 156 places, 326 transitions, 855 arcs.
AT ITER 0 NEW BEST:: SOT 35935 SOS 20508 HAS SOPS 20486 HAS SOUS 11841 HAS SOUPS 11828 WITH SCORE 11848.508
AT ITER 3 NEW BEST:: SOT 35817 SOS 20240 HAS SOPS 20218 HAS SOUS 11717 HAS SOUPS 11704 WITH SCORE 11724.24
AT ITER 6 NEW BEST:: SOT 35805 SOS 20216 HAS SOPS 20194 HAS SOUS 11697 HAS SOUPS 11684 WITH SCORE 11704.216
AT ITER 13 NEW BEST:: SOT 35751 SOS 20108 HAS SOPS 20086 HAS SOUS 11650 HAS SOUPS 11637 WITH SCORE 11657.108
AT ITER 14 NEW BEST:: SOT 35751 SOS 20108 HAS SOPS 20086 HAS SOUS 11644 HAS SOUPS 11631 WITH SCORE 11651.108
AT ITER 15 NEW BEST:: SOT 35675 SOS 20009 HAS SOPS 19987 HAS SOUS 11507 HAS SOUPS 11494 WITH SCORE 11514.009
AT ITER 16 NEW BEST:: SOT 35474 SOS 19762 HAS SOPS 19740 HAS SOUS 11471 HAS SOUPS 11458 WITH SCORE 11477.762
AT ITER 21 NEW BEST:: SOT 35474 SOS 19759 HAS SOPS 19737 HAS SOUS 11471 HAS SOUPS 11458 WITH SCORE 11477.759
AT ITER 29 NEW BEST:: SOT 35474 SOS 19723 HAS SOPS 19701 HAS SOUS 11471 HAS SOUPS 11458 WITH SCORE 11477.723
AT ITER 31 NEW BEST:: SOT 35474 SOS 19738 HAS SOPS 19716 HAS SOUS 11362 HAS SOUPS 11349 WITH SCORE 11368.738
AT ITER 32 NEW BEST:: SOT 35438 SOS 19666 HAS SOPS 19644 HAS SOUS 11344 HAS SOUPS 11331 WITH SCORE 11350.666
AT ITER 33 NEW BEST:: SOT 34566 SOS 19351 HAS SOPS 19329 HAS SOUS 11117 HAS SOUPS 11104 WITH SCORE 11123.351
AT ITER 35 NEW BEST:: SOT 33072 SOS 18585 HAS SOPS 18563 HAS SOUS 10341 HAS SOUPS 10328 WITH SCORE 10346.585
AT ITER 39 NEW BEST:: SOT 33029 SOS 18501 HAS SOPS 18479 HAS SOUS 10104 HAS SOUPS 10091 WITH SCORE 10109.501
AT ITER 41 NEW BEST:: SOT 33027 SOS 18499 HAS SOPS 18477 HAS SOUS 10102 HAS SOUPS 10089 WITH SCORE 10107.499
AT ITER 42 NEW BEST:: SOT 33027 SOS 18495 HAS SOPS 18473 HAS SOUS 10094 HAS SOUPS 10081 WITH SCORE 10099.495
AT ITER 43 NEW BEST:: SOT 32967 SOS 18438 HAS SOPS 18416 HAS SOUS 10089 HAS SOUPS 10076 WITH SCORE 10094.438
AT ITER 45 NEW BEST:: SOT 32967 SOS 18428 HAS SOPS 18406 HAS SOUS 10089 HAS SOUPS 10076 WITH SCORE 10094.428
AT ITER 48 NEW BEST:: SOT 32863 SOS 18148 HAS SOPS 18126 HAS SOUS 10056 HAS SOUPS 10043 WITH SCORE 10061.148
AT ITER 49 NEW BEST:: SOT 32835 SOS 18101 HAS SOPS 18079 HAS SOUS 10023 HAS SOUPS 10010 WITH SCORE 10028.101
AT ITER 50 NEW BEST:: SOT 32835 SOS 18062 HAS SOPS 18040 HAS SOUS 9975 HAS SOUPS 9962 WITH SCORE 9980.062
AT ITER 53 NEW BEST:: SOT 32748 SOS 17888 HAS SOPS 17866 HAS SOUS 9905 HAS SOUPS 9892 WITH SCORE 9909.888
AT ITER 55 NEW BEST:: SOT 32748 SOS 17858 HAS SOPS 17836 HAS SOUS 9898 HAS SOUPS 9885 WITH SCORE 9902.858
AT ITER 56 NEW BEST:: SOT 32709 SOS 17767 HAS SOPS 17745 HAS SOUS 9872 HAS SOUPS 9859 WITH SCORE 9876.767
AT ITER 57 NEW BEST:: SOT 32699 SOS 17752 HAS SOPS 17730 HAS SOUS 9862 HAS SOUPS 9849 WITH SCORE 9866.752
AT ITER 58 NEW BEST:: SOT 32691 SOS 17736 HAS SOPS 17714 HAS SOUS 9855 HAS SOUPS 9842 WITH SCORE 9859.736
AT ITER 59 NEW BEST:: SOT 32651 SOS 17656 HAS SOPS 17634 HAS SOUS 9815 HAS SOUPS 9802 WITH SCORE 9819.656
AT ITER 67 NEW BEST:: SOT 32522 SOS 17271 HAS SOPS 17249 HAS SOUS 9741 HAS SOUPS 9728 WITH SCORE 9745.271
AT ITER 70 NEW BEST:: SOT 32486 SOS 17261 HAS SOPS 17239 HAS SOUS 9725 HAS SOUPS 9712 WITH SCORE 9729.261
AT ITER 71 NEW BEST:: SOT 32474 SOS 17213 HAS SOPS 17191 HAS SOUS 9725 HAS SOUPS 9712 WITH SCORE 9729.213
AT ITER 73 NEW BEST:: SOT 32492 SOS 17187 HAS SOPS 17165 HAS SOUS 9725 HAS SOUPS 9712 WITH SCORE 9729.187
AT ITER 78 NEW BEST:: SOT 32394 SOS 17029 HAS SOPS 17007 HAS SOUS 9634 HAS SOUPS 9621 WITH SCORE 9638.029
AT ITER 79 NEW BEST:: SOT 32470 SOS 16544 HAS SOPS 16522 HAS SOUS 9582 HAS SOUPS 9569 WITH SCORE 9585.544
AT ITER 85 NEW BEST:: SOT 32471 SOS 16550 HAS SOPS 16528 HAS SOUS 9575 HAS SOUPS 9562 WITH SCORE 9578.55
AT ITER 88 NEW BEST:: SOT 32328 SOS 16489 HAS SOPS 16467 HAS SOUS 9545 HAS SOUPS 9532 WITH SCORE 9548.489
AT ITER 89 NEW BEST:: SOT 32301 SOS 16407 HAS SOPS 16385 HAS SOUS 9517 HAS SOUPS 9504 WITH SCORE 9520.407
AT ITER 90 NEW BEST:: SOT 32300 SOS 16406 HAS SOPS 16384 HAS SOUS 9516 HAS SOUPS 9503 WITH SCORE 9519.406
AT ITER 95 NEW BEST:: SOT 32200 SOS 16156 HAS SOPS 16134 HAS SOUS 9416 HAS SOUPS 9403 WITH SCORE 9419.156
AT ITER 97 NEW BEST:: SOT 32200 SOS 16051 HAS SOPS 16029 HAS SOUS 9404 HAS SOUPS 9391 WITH SCORE 9407.051
AT ITER 102 NEW BEST:: SOT 32223 SOS 16121 HAS SOPS 16099 HAS SOUS 9380 HAS SOUPS 9367 WITH SCORE 9383.121
AT ITER 103 NEW BEST:: SOT 32218 SOS 16114 HAS SOPS 16092 HAS SOUS 9373 HAS SOUPS 9360 WITH SCORE 9376.114
AT ITER 104 NEW BEST:: SOT 32265 SOS 16197 HAS SOPS 16175 HAS SOUS 9367 HAS SOUPS 9354 WITH SCORE 9370.197
AT ITER 107 NEW BEST:: SOT 32242 SOS 16106 HAS SOPS 16084 HAS SOUS 9367 HAS SOUPS 9354 WITH SCORE 9370.106
AT ITER 109 NEW BEST:: SOT 32234 SOS 16094 HAS SOPS 16072 HAS SOUS 9355 HAS SOUPS 9342 WITH SCORE 9358.094
AT ITER 118 NEW BEST:: SOT 31548 SOS 15843 HAS SOPS 15821 HAS SOUS 9219 HAS SOUPS 9206 WITH SCORE 9221.843
AT ITER 120 NEW BEST:: SOT 31590 SOS 15884 HAS SOPS 15862 HAS SOUS 9179 HAS SOUPS 9166 WITH SCORE 9181.884
AT ITER 123 NEW BEST:: SOT 31585 SOS 15874 HAS SOPS 15852 HAS SOUS 9174 HAS SOUPS 9161 WITH SCORE 9176.874
AT ITER 126 NEW BEST:: SOT 31593 SOS 15868 HAS SOPS 15846 HAS SOUS 9174 HAS SOUPS 9161 WITH SCORE 9176.868
AT ITER 140 NEW BEST:: SOT 31556 SOS 15749 HAS SOPS 15727 HAS SOUS 9067 HAS SOUPS 9054 WITH SCORE 9069.749
AT ITER 146 NEW BEST:: SOT 30122 SOS 15750 HAS SOPS 15728 HAS SOUS 8356 HAS SOUPS 8343 WITH SCORE 8358.75
AT ITER 148 NEW BEST:: SOT 30076 SOS 15716 HAS SOPS 15694 HAS SOUS 8310 HAS SOUPS 8297 WITH SCORE 8312.716
AT ITER 151 NEW BEST:: SOT 30073 SOS 15717 HAS SOPS 15695 HAS SOUS 8296 HAS SOUPS 8283 WITH SCORE 8298.717
AT ITER 158 NEW BEST:: SOT 30023 SOS 15642 HAS SOPS 15620 HAS SOUS 8284 HAS SOUPS 8271 WITH SCORE 8286.642
AT ITER 162 NEW BEST:: SOT 30083 SOS 15784 HAS SOPS 15762 HAS SOUS 8278 HAS SOUPS 8265 WITH SCORE 8280.784
AT ITER 166 NEW BEST:: SOT 30072 SOS 15762 HAS SOPS 15740 HAS SOUS 8276 HAS SOUPS 8263 WITH SCORE 8278.762
AT ITER 171 NEW BEST:: SOT 29356 SOS 15761 HAS SOPS 15739 HAS SOUS 7569 HAS SOUPS 7556 WITH SCORE 7571.761
AT ITER 173 NEW BEST:: SOT 29287 SOS 15688 HAS SOPS 15666 HAS SOUS 7569 HAS SOUPS 7556 WITH SCORE 7571.688
AT ITER 175 NEW BEST:: SOT 29047 SOS 15419 HAS SOPS 15397 HAS SOUS 7364 HAS SOUPS 7351 WITH SCORE 7366.419
AT ITER 176 NEW BEST:: SOT 29045 SOS 15414 HAS SOPS 15392 HAS SOUS 7359 HAS SOUPS 7346 WITH SCORE 7361.414
AT ITER 189 NEW BEST:: SOT 29045 SOS 15425 HAS SOPS 15403 HAS SOUS 7352 HAS SOUPS 7339 WITH SCORE 7354.425
AT ITER 193 NEW BEST:: SOT 29048 SOS 15385 HAS SOPS 15363 HAS SOUS 7347 HAS SOUPS 7334 WITH SCORE 7349.385
AT ITER 194 NEW BEST:: SOT 29068 SOS 15370 HAS SOPS 15348 HAS SOUS 7323 HAS SOUPS 7310 WITH SCORE 7325.37
AT ITER 195 NEW BEST:: SOT 29036 SOS 15306 HAS SOPS 15284 HAS SOUS 7291 HAS SOUPS 7278 WITH SCORE 7293.306
AT ITER 204 NEW BEST:: SOT 29015 SOS 15268 HAS SOPS 15246 HAS SOUS 7259 HAS SOUPS 7246 WITH SCORE 7261.268
AT ITER 220 NEW BEST:: SOT 29110 SOS 15416 HAS SOPS 15394 HAS SOUS 7257 HAS SOUPS 7244 WITH SCORE 7259.416
AT ITER 222 NEW BEST:: SOT 29119 SOS 15472 HAS SOPS 15450 HAS SOUS 7220 HAS SOUPS 7207 WITH SCORE 7222.472
AT ITER 229 NEW BEST:: SOT 28619 SOS 15755 HAS SOPS 15733 HAS SOUS 7055 HAS SOUPS 7042 WITH SCORE 7057.755
AT ITER 231 NEW BEST:: SOT 28626 SOS 15789 HAS SOPS 15767 HAS SOUS 7036 HAS SOUPS 7023 WITH SCORE 7038.789
AT ITER 233 NEW BEST:: SOT 28626 SOS 15789 HAS SOPS 15767 HAS SOUS 7035 HAS SOUPS 7022 WITH SCORE 7037.789
AT ITER 234 NEW BEST:: SOT 28586 SOS 15769 HAS SOPS 15747 HAS SOUS 7035 HAS SOUPS 7022 WITH SCORE 7037.769
AT ITER 239 NEW BEST:: SOT 28611 SOS 15836 HAS SOPS 15814 HAS SOUS 7018 HAS SOUPS 7005 WITH SCORE 7020.836
AT ITER 240 NEW BEST:: SOT 28587 SOS 15742 HAS SOPS 15720 HAS SOUS 6995 HAS SOUPS 6982 WITH SCORE 6997.742
AT ITER 241 NEW BEST:: SOT 28294 SOS 15496 HAS SOPS 15474 HAS SOUS 6702 HAS SOUPS 6689 WITH SCORE 6704.496
AT ITER 246 NEW BEST:: SOT 28343 SOS 15563 HAS SOPS 15541 HAS SOUS 6695 HAS SOUPS 6682 WITH SCORE 6697.563
AT ITER 269 NEW BEST:: SOT 28376 SOS 15638 HAS SOPS 15616 HAS SOUS 6681 HAS SOUPS 6668 WITH SCORE 6683.638
AT ITER 272 NEW BEST:: SOT 28315 SOS 15606 HAS SOPS 15584 HAS SOUS 6670 HAS SOUPS 6657 WITH SCORE 6672.606
AT ITER 276 NEW BEST:: SOT 28315 SOS 15619 HAS SOPS 15597 HAS SOUS 6644 HAS SOUPS 6631 WITH SCORE 6646.619
AT ITER 286 NEW BEST:: SOT 28240 SOS 15515 HAS SOPS 15493 HAS SOUS 6619 HAS SOUPS 6606 WITH SCORE 6621.515
AT ITER 287 NEW BEST:: SOT 27565 SOS 16477 HAS SOPS 16455 HAS SOUS 5904 HAS SOUPS 5891 WITH SCORE 5907.477
AT ITER 288 NEW BEST:: SOT 27551 SOS 16463 HAS SOPS 16441 HAS SOUS 5876 HAS SOUPS 5863 WITH SCORE 5879.463
AT ITER 290 NEW BEST:: SOT 27532 SOS 16476 HAS SOPS 16454 HAS SOUS 5839 HAS SOUPS 5826 WITH SCORE 5842.476
AT ITER 297 NEW BEST:: SOT 27494 SOS 16416 HAS SOPS 16394 HAS SOUS 5821 HAS SOUPS 5808 WITH SCORE 5824.416
AT ITER 305 NEW BEST:: SOT 27404 SOS 16536 HAS SOPS 16514 HAS SOUS 5807 HAS SOUPS 5794 WITH SCORE 5810.536
AT ITER 306 NEW BEST:: SOT 27339 SOS 16471 HAS SOPS 16449 HAS SOUS 5768 HAS SOUPS 5755 WITH SCORE 5771.471
AT ITER 313 NEW BEST:: SOT 27337 SOS 16467 HAS SOPS 16445 HAS SOUS 5768 HAS SOUPS 5755 WITH SCORE 5771.467
AT ITER 322 NEW BEST:: SOT 27306 SOS 16386 HAS SOPS 16364 HAS SOUS 5764 HAS SOUPS 5751 WITH SCORE 5767.386
AT ITER 327 NEW BEST:: SOT 27303 SOS 16383 HAS SOPS 16361 HAS SOUS 5764 HAS SOUPS 5751 WITH SCORE 5767.383
AT ITER 329 NEW BEST:: SOT 27303 SOS 16383 HAS SOPS 16361 HAS SOUS 5744 HAS SOUPS 5731 WITH SCORE 5747.383
AT ITER 332 NEW BEST:: SOT 27314 SOS 16405 HAS SOPS 16383 HAS SOUS 5732 HAS SOUPS 5719 WITH SCORE 5735.405
AT ITER 333 NEW BEST:: SOT 27259 SOS 16666 HAS SOPS 16644 HAS SOUS 5680 HAS SOUPS 5667 WITH SCORE 5683.666
AT ITER 340 NEW BEST:: SOT 27256 SOS 16663 HAS SOPS 16641 HAS SOUS 5665 HAS SOUPS 5652 WITH SCORE 5668.663
AT ITER 341 NEW BEST:: SOT 27248 SOS 16655 HAS SOPS 16633 HAS SOUS 5657 HAS SOUPS 5644 WITH SCORE 5660.655
AT ITER 342 NEW BEST:: SOT 27195 SOS 16602 HAS SOPS 16580 HAS SOUS 5608 HAS SOUPS 5595 WITH SCORE 5611.602
AT ITER 343 NEW BEST:: SOT 27186 SOS 16593 HAS SOPS 16571 HAS SOUS 5590 HAS SOUPS 5577 WITH SCORE 5593.593
AT ITER 352 NEW BEST:: SOT 27204 SOS 16617 HAS SOPS 16595 HAS SOUS 5589 HAS SOUPS 5576 WITH SCORE 5592.617
AT ITER 358 NEW BEST:: SOT 27227 SOS 16640 HAS SOPS 16618 HAS SOUS 5583 HAS SOUPS 5570 WITH SCORE 5586.64
AT ITER 360 NEW BEST:: SOT 27231 SOS 16648 HAS SOPS 16626 HAS SOUS 5579 HAS SOUPS 5566 WITH SCORE 5582.648
AT ITER 361 NEW BEST:: SOT 27272 SOS 16689 HAS SOPS 16667 HAS SOUS 5577 HAS SOUPS 5564 WITH SCORE 5580.689
AT ITER 365 NEW BEST:: SOT 27270 SOS 16687 HAS SOPS 16665 HAS SOUS 5573 HAS SOUPS 5560 WITH SCORE 5576.687
AT ITER 370 NEW BEST:: SOT 27270 SOS 16687 HAS SOPS 16665 HAS SOUS 5558 HAS SOUPS 5545 WITH SCORE 5561.687
AT ITER 384 NEW BEST:: SOT 27279 SOS 16696 HAS SOPS 16674 HAS SOUS 5549 HAS SOUPS 5536 WITH SCORE 5552.696
AT ITER 386 NEW BEST:: SOT 27311 SOS 16728 HAS SOPS 16706 HAS SOUS 5517 HAS SOUPS 5504 WITH SCORE 5520.728
AT ITER 388 NEW BEST:: SOT 27298 SOS 16676 HAS SOPS 16654 HAS SOUS 5517 HAS SOUPS 5504 WITH SCORE 5520.676
AT ITER 409 NEW BEST:: SOT 27298 SOS 16676 HAS SOPS 16654 HAS SOUS 5508 HAS SOUPS 5495 WITH SCORE 5511.676
AT ITER 416 NEW BEST:: SOT 27319 SOS 16697 HAS SOPS 16675 HAS SOUS 5506 HAS SOUPS 5493 WITH SCORE 5509.697
AT ITER 425 NEW BEST:: SOT 27314 SOS 16692 HAS SOPS 16670 HAS SOUS 5497 HAS SOUPS 5484 WITH SCORE 5500.692
AT ITER 437 NEW BEST:: SOT 27314 SOS 16692 HAS SOPS 16670 HAS SOUS 5487 HAS SOUPS 5474 WITH SCORE 5490.692
AT ITER 438 NEW BEST:: SOT 27312 SOS 16690 HAS SOPS 16668 HAS SOUS 5485 HAS SOUPS 5472 WITH SCORE 5488.69
AT ITER 439 NEW BEST:: SOT 27301 SOS 16679 HAS SOPS 16657 HAS SOUS 5485 HAS SOUPS 5472 WITH SCORE 5488.679
AT ITER 446 NEW BEST:: SOT 27280 SOS 16651 HAS SOPS 16629 HAS SOUS 5464 HAS SOUPS 5451 WITH SCORE 5467.651
AT ITER 456 NEW BEST:: SOT 27208 SOS 16507 HAS SOPS 16485 HAS SOUS 5427 HAS SOUPS 5414 WITH SCORE 5430.507
AT ITER 462 NEW BEST:: SOT 27219 SOS 16507 HAS SOPS 16485 HAS SOUS 5406 HAS SOUPS 5393 WITH SCORE 5409.507
AT ITER 477 NEW BEST:: SOT 27209 SOS 16497 HAS SOPS 16475 HAS SOUS 5392 HAS SOUPS 5379 WITH SCORE 5395.497
AT ITER 484 NEW BEST:: SOT 27169 SOS 16457 HAS SOPS 16435 HAS SOUS 5386 HAS SOUPS 5373 WITH SCORE 5389.457
AT ITER 500 NEW BEST:: SOT 27283 SOS 16656 HAS SOPS 16634 HAS SOUS 5361 HAS SOUPS 5348 WITH SCORE 5364.656
AT ITER 508 NEW BEST:: SOT 27283 SOS 16656 HAS SOPS 16634 HAS SOUS 5358 HAS SOUPS 5345 WITH SCORE 5361.656
AT ITER 512 NEW BEST:: SOT 27273 SOS 16636 HAS SOPS 16614 HAS SOUS 5348 HAS SOUPS 5335 WITH SCORE 5351.636
AT ITER 515 NEW BEST:: SOT 27333 SOS 16652 HAS SOPS 16630 HAS SOUS 5328 HAS SOUPS 5315 WITH SCORE 5331.652
AT ITER 528 NEW BEST:: SOT 27271 SOS 16590 HAS SOPS 16568 HAS SOUS 5324 HAS SOUPS 5311 WITH SCORE 5327.59
AT ITER 529 NEW BEST:: SOT 27278 SOS 16607 HAS SOPS 16585 HAS SOUS 5309 HAS SOUPS 5296 WITH SCORE 5312.607
AT ITER 532 NEW BEST:: SOT 27270 SOS 16599 HAS SOPS 16577 HAS SOUS 5301 HAS SOUPS 5288 WITH SCORE 5304.599
AT ITER 534 NEW BEST:: SOT 27374 SOS 16767 HAS SOPS 16745 HAS SOUS 5281 HAS SOUPS 5268 WITH SCORE 5284.767
AT ITER 543 NEW BEST:: SOT 27377 SOS 16770 HAS SOPS 16748 HAS SOUS 5272 HAS SOUPS 5259 WITH SCORE 5275.77
AT ITER 551 NEW BEST:: SOT 27307 SOS 16645 HAS SOPS 16623 HAS SOUS 5267 HAS SOUPS 5254 WITH SCORE 5270.645
AT ITER 554 NEW BEST:: SOT 27283 SOS 16621 HAS SOPS 16599 HAS SOUS 5263 HAS SOUPS 5250 WITH SCORE 5266.621
AT ITER 571 NEW BEST:: SOT 27211 SOS 16493 HAS SOPS 16471 HAS SOUS 5219 HAS SOUPS 5206 WITH SCORE 5222.493
AT ITER 585 NEW BEST:: SOT 27153 SOS 16435 HAS SOPS 16413 HAS SOUS 5155 HAS SOUPS 5142 WITH SCORE 5158.435
AT ITER 591 NEW BEST:: SOT 27153 SOS 16435 HAS SOPS 16413 HAS SOUS 5152 HAS SOUPS 5139 WITH SCORE 5155.435
AT ITER 607 NEW BEST:: SOT 27153 SOS 16435 HAS SOPS 16413 HAS SOUS 5137 HAS SOUPS 5124 WITH SCORE 5140.435
AT ITER 608 NEW BEST:: SOT 27153 SOS 16435 HAS SOPS 16413 HAS SOUS 5113 HAS SOUPS 5100 WITH SCORE 5116.435
AT ITER 630 NEW BEST:: SOT 27056 SOS 16287 HAS SOPS 16265 HAS SOUS 5105 HAS SOUPS 5092 WITH SCORE 5108.287
AT ITER 631 NEW BEST:: SOT 27048 SOS 16275 HAS SOPS 16253 HAS SOUS 5093 HAS SOUPS 5080 WITH SCORE 5096.275
AT ITER 645 NEW BEST:: SOT 27108 SOS 16335 HAS SOPS 16313 HAS SOUS 5033 HAS SOUPS 5020 WITH SCORE 5036.335
AT ITER 660 NEW BEST:: SOT 27095 SOS 16345 HAS SOPS 16323 HAS SOUS 5025 HAS SOUPS 5012 WITH SCORE 5028.345
AT ITER 661 NEW BEST:: SOT 27090 SOS 16338 HAS SOPS 16316 HAS SOUS 5021 HAS SOUPS 5008 WITH SCORE 5024.338
AT ITER 664 NEW BEST:: SOT 27086 SOS 16334 HAS SOPS 16312 HAS SOUS 5013 HAS SOUPS 5000 WITH SCORE 5016.334
AT ITER 670 NEW BEST:: SOT 27059 SOS 16307 HAS SOPS 16285 HAS SOUS 4959 HAS SOUPS 4946 WITH SCORE 4962.307
AT ITER 673 NEW BEST:: SOT 27094 SOS 16342 HAS SOPS 16320 HAS SOUS 4953 HAS SOUPS 4940 WITH SCORE 4956.342
AT ITER 679 NEW BEST:: SOT 27043 SOS 16240 HAS SOPS 16218 HAS SOUS 4902 HAS SOUPS 4889 WITH SCORE 4905.24
AT ITER 698 NEW BEST:: SOT 26856 SOS 15984 HAS SOPS 15962 HAS SOUS 4893 HAS SOUPS 4880 WITH SCORE 4895.984
AT ITER 699 NEW BEST:: SOT 26843 SOS 15935 HAS SOPS 15913 HAS SOUS 4876 HAS SOUPS 4863 WITH SCORE 4878.935
AT ITER 710 NEW BEST:: SOT 26837 SOS 15929 HAS SOPS 15907 HAS SOUS 4876 HAS SOUPS 4863 WITH SCORE 4878.929
AT ITER 714 NEW BEST:: SOT 26799 SOS 15848 HAS SOPS 15826 HAS SOUS 4864 HAS SOUPS 4851 WITH SCORE 4866.848
AT ITER 718 NEW BEST:: SOT 26761 SOS 15810 HAS SOPS 15788 HAS SOUS 4830 HAS SOUPS 4817 WITH SCORE 4832.81
AT ITER 720 NEW BEST:: SOT 26753 SOS 15755 HAS SOPS 15733 HAS SOUS 4827 HAS SOUPS 4814 WITH SCORE 4829.755
AT ITER 724 NEW BEST:: SOT 26760 SOS 15788 HAS SOPS 15766 HAS SOUS 4792 HAS SOUPS 4779 WITH SCORE 4794.788
AT ITER 725 NEW BEST:: SOT 26756 SOS 15777 HAS SOPS 15755 HAS SOUS 4765 HAS SOUPS 4752 WITH SCORE 4767.777
AT ITER 743 NEW BEST:: SOT 26740 SOS 15737 HAS SOPS 15715 HAS SOUS 4751 HAS SOUPS 4738 WITH SCORE 4753.737
AT ITER 750 NEW BEST:: SOT 26742 SOS 15739 HAS SOPS 15717 HAS SOUS 4748 HAS SOUPS 4735 WITH SCORE 4750.739
AT ITER 776 NEW BEST:: SOT 26757 SOS 15754 HAS SOPS 15732 HAS SOUS 4743 HAS SOUPS 4730 WITH SCORE 4745.754
AT ITER 777 NEW BEST:: SOT 26749 SOS 15746 HAS SOPS 15724 HAS SOUS 4735 HAS SOUPS 4722 WITH SCORE 4737.746
AT ITER 778 NEW BEST:: SOT 26730 SOS 15727 HAS SOPS 15705 HAS SOUS 4716 HAS SOUPS 4703 WITH SCORE 4718.727
AT ITER 818 NEW BEST:: SOT 26727 SOS 15724 HAS SOPS 15702 HAS SOUS 4713 HAS SOUPS 4700 WITH SCORE 4715.724
AT ITER 823 NEW BEST:: SOT 26705 SOS 15702 HAS SOPS 15680 HAS SOUS 4691 HAS SOUPS 4678 WITH SCORE 4693.702
AT ITER 838 NEW BEST:: SOT 26616 SOS 15562 HAS SOPS 15540 HAS SOUS 4659 HAS SOUPS 4646 WITH SCORE 4661.562
AT ITER 852 NEW BEST:: SOT 26610 SOS 15548 HAS SOPS 15526 HAS SOUS 4657 HAS SOUPS 4644 WITH SCORE 4659.548
AT ITER 878 NEW BEST:: SOT 26610 SOS 15548 HAS SOPS 15526 HAS SOUS 4656 HAS SOUPS 4643 WITH SCORE 4658.548
AT ITER 889 NEW BEST:: SOT 26552 SOS 15490 HAS SOPS 15468 HAS SOUS 4635 HAS SOUPS 4622 WITH SCORE 4637.49
AT ITER 909 NEW BEST:: SOT 26545 SOS 15478 HAS SOPS 15456 HAS SOUS 4633 HAS SOUPS 4620 WITH SCORE 4635.478
AT ITER 956 NEW BEST:: SOT 26533 SOS 15477 HAS SOPS 15455 HAS SOUS 4607 HAS SOUPS 4594 WITH SCORE 4609.477
AT ITER 960 NEW BEST:: SOT 26519 SOS 15457 HAS SOPS 15435 HAS SOUS 4595 HAS SOUPS 4582 WITH SCORE 4597.457
AT ITER 987 NEW BEST:: SOT 26513 SOS 15441 HAS SOPS 15419 HAS SOUS 4593 HAS SOUPS 4580 WITH SCORE 4595.441
AT ITER 1006 NEW BEST:: SOT 26500 SOS 15428 HAS SOPS 15406 HAS SOUS 4585 HAS SOUPS 4572 WITH SCORE 4587.428
AT ITER 1007 NEW BEST:: SOT 26506 SOS 15439 HAS SOPS 15417 HAS SOUS 4578 HAS SOUPS 4565 WITH SCORE 4580.439
AT ITER 1010 NEW BEST:: SOT 26500 SOS 15433 HAS SOPS 15411 HAS SOUS 4572 HAS SOUPS 4559 WITH SCORE 4574.433
AT ITER 1014 NEW BEST:: SOT 26447 SOS 15327 HAS SOPS 15305 HAS SOUS 4560 HAS SOUPS 4547 WITH SCORE 4562.327
AT ITER 1046 NEW BEST:: SOT 26474 SOS 15383 HAS SOPS 15361 HAS SOUS 4547 HAS SOUPS 4534 WITH SCORE 4549.383
AT ITER 1064 NEW BEST:: SOT 26479 SOS 15388 HAS SOPS 15366 HAS SOUS 4543 HAS SOUPS 4530 WITH SCORE 4545.388
AT ITER 1068 NEW BEST:: SOT 26470 SOS 15379 HAS SOPS 15357 HAS SOUS 4534 HAS SOUPS 4521 WITH SCORE 4536.379
AT ITER 1071 NEW BEST:: SOT 26468 SOS 15375 HAS SOPS 15353 HAS SOUS 4534 HAS SOUPS 4521 WITH SCORE 4536.375
AT ITER 1082 NEW BEST:: SOT 26463 SOS 15370 HAS SOPS 15348 HAS SOUS 4529 HAS SOUPS 4516 WITH SCORE 4531.37
AT ITER 1089 NEW BEST:: SOT 26460 SOS 15376 HAS SOPS 15354 HAS SOUS 4526 HAS SOUPS 4513 WITH SCORE 4528.376
AT ITER 1091 NEW BEST:: SOT 26450 SOS 15366 HAS SOPS 15344 HAS SOUS 4516 HAS SOUPS 4503 WITH SCORE 4518.366
AT ITER 1093 NEW BEST:: SOT 26442 SOS 15346 HAS SOPS 15324 HAS SOUS 4512 HAS SOUPS 4499 WITH SCORE 4514.346
AT ITER 1142 NEW BEST:: SOT 26440 SOS 15344 HAS SOPS 15322 HAS SOUS 4510 HAS SOUPS 4497 WITH SCORE 4512.344
AT ITER 1151 NEW BEST:: SOT 26437 SOS 15341 HAS SOPS 15319 HAS SOUS 4510 HAS SOUPS 4497 WITH SCORE 4512.341
AT ITER 1170 NEW BEST:: SOT 26448 SOS 15383 HAS SOPS 15361 HAS SOUS 4502 HAS SOUPS 4489 WITH SCORE 4504.383
AT ITER 1181 NEW BEST:: SOT 26435 SOS 15357 HAS SOPS 15335 HAS SOUS 4493 HAS SOUPS 4480 WITH SCORE 4495.357
AT ITER 1188 NEW BEST:: SOT 26418 SOS 15362 HAS SOPS 15340 HAS SOUS 4481 HAS SOUPS 4468 WITH SCORE 4483.362
AT ITER 1197 NEW BEST:: SOT 26409 SOS 15344 HAS SOPS 15322 HAS SOUS 4472 HAS SOUPS 4459 WITH SCORE 4474.344
AT ITER 1206 NEW BEST:: SOT 26404 SOS 15339 HAS SOPS 15317 HAS SOUS 4467 HAS SOUPS 4454 WITH SCORE 4469.339
AT ITER 1207 NEW BEST:: SOT 26436 SOS 15403 HAS SOPS 15381 HAS SOUS 4465 HAS SOUPS 4452 WITH SCORE 4467.403
AT ITER 1213 NEW BEST:: SOT 26451 SOS 15418 HAS SOPS 15396 HAS SOUS 4450 HAS SOUPS 4437 WITH SCORE 4452.418
AT ITER 1222 NEW BEST:: SOT 26454 SOS 15439 HAS SOPS 15417 HAS SOUS 4447 HAS SOUPS 4434 WITH SCORE 4449.439
AT ITER 1225 NEW BEST:: SOT 26454 SOS 15439 HAS SOPS 15417 HAS SOUS 4445 HAS SOUPS 4432 WITH SCORE 4447.439
AT ITER 1234 NEW BEST:: SOT 26452 SOS 15437 HAS SOPS 15415 HAS SOUS 4443 HAS SOUPS 4430 WITH SCORE 4445.437
AT ITER 1237 NEW BEST:: SOT 26449 SOS 15433 HAS SOPS 15411 HAS SOUS 4443 HAS SOUPS 4430 WITH SCORE 4445.433
AT ITER 1266 NEW BEST:: SOT 26436 SOS 15464 HAS SOPS 15442 HAS SOUS 4374 HAS SOUPS 4361 WITH SCORE 4376.464
AT ITER 1280 NEW BEST:: SOT 26378 SOS 15318 HAS SOPS 15296 HAS SOUS 4361 HAS SOUPS 4348 WITH SCORE 4363.318
AT ITER 1322 NEW BEST:: SOT 26362 SOS 15302 HAS SOPS 15280 HAS SOUS 4345 HAS SOUPS 4332 WITH SCORE 4347.302
AT ITER 1328 NEW BEST:: SOT 26360 SOS 15300 HAS SOPS 15278 HAS SOUS 4343 HAS SOUPS 4330 WITH SCORE 4345.3
AT ITER 1329 NEW BEST:: SOT 26400 SOS 15353 HAS SOPS 15331 HAS SOUS 4337 HAS SOUPS 4324 WITH SCORE 4339.353
AT ITER 1334 NEW BEST:: SOT 26387 SOS 15327 HAS SOPS 15305 HAS SOUS 4324 HAS SOUPS 4311 WITH SCORE 4326.327
AT ITER 1335 NEW BEST:: SOT 26467 SOS 15434 HAS SOPS 15412 HAS SOUS 4321 HAS SOUPS 4308 WITH SCORE 4323.434
AT ITER 1341 NEW BEST:: SOT 26497 SOS 15759 HAS SOPS 15737 HAS SOUS 4318 HAS SOUPS 4305 WITH SCORE 4320.759
AT ITER 1349 NEW BEST:: SOT 26494 SOS 15756 HAS SOPS 15734 HAS SOUS 4312 HAS SOUPS 4299 WITH SCORE 4314.756
AT ITER 1373 NEW BEST:: SOT 26499 SOS 15760 HAS SOPS 15738 HAS SOUS 4309 HAS SOUPS 4296 WITH SCORE 4311.76
AT ITER 1374 NEW BEST:: SOT 26493 SOS 15778 HAS SOPS 15756 HAS SOUS 4306 HAS SOUPS 4293 WITH SCORE 4308.778
AT ITER 1376 NEW BEST:: SOT 26482 SOS 15767 HAS SOPS 15745 HAS SOUS 4297 HAS SOUPS 4284 WITH SCORE 4299.767
AT ITER 1385 NEW BEST:: SOT 26424 SOS 15689 HAS SOPS 15667 HAS SOUS 4274 HAS SOUPS 4261 WITH SCORE 4276.689
AT ITER 1389 NEW BEST:: SOT 26436 SOS 15701 HAS SOPS 15679 HAS SOUS 4266 HAS SOUPS 4253 WITH SCORE 4268.701
AT ITER 1413 NEW BEST:: SOT 26429 SOS 15694 HAS SOPS 15672 HAS SOUS 4252 HAS SOUPS 4239 WITH SCORE 4254.694
AT ITER 1425 NEW BEST:: SOT 26429 SOS 15694 HAS SOPS 15672 HAS SOUS 4249 HAS SOUPS 4236 WITH SCORE 4251.694
AT ITER 1431 NEW BEST:: SOT 26415 SOS 15655 HAS SOPS 15633 HAS SOUS 4214 HAS SOUPS 4201 WITH SCORE 4216.655
AT ITER 1447 NEW BEST:: SOT 26399 SOS 15645 HAS SOPS 15623 HAS SOUS 4212 HAS SOUPS 4199 WITH SCORE 4214.645
AT ITER 1451 NEW BEST:: SOT 26391 SOS 15631 HAS SOPS 15609 HAS SOUS 4202 HAS SOUPS 4189 WITH SCORE 4204.631
AT ITER 1457 NEW BEST:: SOT 26378 SOS 15610 HAS SOPS 15588 HAS SOUS 4184 HAS SOUPS 4171 WITH SCORE 4186.61
AT ITER 1464 NEW BEST:: SOT 26452 SOS 15684 HAS SOPS 15662 HAS SOUS 4172 HAS SOUPS 4159 WITH SCORE 4174.684
AT ITER 1482 NEW BEST:: SOT 26451 SOS 15683 HAS SOPS 15661 HAS SOUS 4171 HAS SOUPS 4158 WITH SCORE 4173.683
AT ITER 1496 NEW BEST:: SOT 26416 SOS 15603 HAS SOPS 15581 HAS SOUS 4151 HAS SOUPS 4138 WITH SCORE 4153.603
AT ITER 1505 NEW BEST:: SOT 26416 SOS 15603 HAS SOPS 15581 HAS SOUS 4147 HAS SOUPS 4134 WITH SCORE 4149.603
AT ITER 1526 NEW BEST:: SOT 26408 SOS 15595 HAS SOPS 15573 HAS SOUS 4145 HAS SOUPS 4132 WITH SCORE 4147.595
AT ITER 1530 NEW BEST:: SOT 26408 SOS 15611 HAS SOPS 15589 HAS SOUS 4129 HAS SOUPS 4116 WITH SCORE 4131.611
AT ITER 1536 NEW BEST:: SOT 26407 SOS 15612 HAS SOPS 15590 HAS SOUS 4119 HAS SOUPS 4106 WITH SCORE 4121.612
AT ITER 1542 NEW BEST:: SOT 26407 SOS 15618 HAS SOPS 15596 HAS SOUS 4116 HAS SOUPS 4103 WITH SCORE 4118.618
AT ITER 1555 NEW BEST:: SOT 26401 SOS 15608 HAS SOPS 15586 HAS SOUS 4113 HAS SOUPS 4100 WITH SCORE 4115.608
AT ITER 1597 NEW BEST:: SOT 26396 SOS 15603 HAS SOPS 15581 HAS SOUS 4104 HAS SOUPS 4091 WITH SCORE 4106.603
AT ITER 1625 NEW BEST:: SOT 26393 SOS 15600 HAS SOPS 15578 HAS SOUS 4102 HAS SOUPS 4089 WITH SCORE 4104.6
AT ITER 1642 NEW BEST:: SOT 26393 SOS 15600 HAS SOPS 15578 HAS SOUS 4100 HAS SOUPS 4087 WITH SCORE 4102.6
AT ITER 1662 NEW BEST:: SOT 26426 SOS 15633 HAS SOPS 15611 HAS SOUS 4070 HAS SOUPS 4057 WITH SCORE 4072.633
AT ITER 1670 NEW BEST:: SOT 26432 SOS 15639 HAS SOPS 15617 HAS SOUS 4062 HAS SOUPS 4049 WITH SCORE 4064.639
AT ITER 1688 NEW BEST:: SOT 26410 SOS 15595 HAS SOPS 15573 HAS SOUS 4062 HAS SOUPS 4049 WITH SCORE 4064.595
AT ITER 1693 NEW BEST:: SOT 26422 SOS 15623 HAS SOPS 15601 HAS SOUS 4059 HAS SOUPS 4046 WITH SCORE 4061.623
AT ITER 1696 NEW BEST:: SOT 26415 SOS 15518 HAS SOPS 15496 HAS SOUS 4052 HAS SOUPS 4039 WITH SCORE 4054.518
AT ITER 1711 NEW BEST:: SOT 26420 SOS 15523 HAS SOPS 15501 HAS SOUS 4047 HAS SOUPS 4034 WITH SCORE 4049.523
AT ITER 1722 NEW BEST:: SOT 26398 SOS 15481 HAS SOPS 15459 HAS SOUS 4036 HAS SOUPS 4023 WITH SCORE 4038.481
AT ITER 1737 NEW BEST:: SOT 26389 SOS 15472 HAS SOPS 15450 HAS SOUS 4028 HAS SOUPS 4015 WITH SCORE 4030.472
AT ITER 1740 NEW BEST:: SOT 26386 SOS 15468 HAS SOPS 15446 HAS SOUS 4024 HAS SOUPS 4011 WITH SCORE 4026.468
AT ITER 1748 NEW BEST:: SOT 26380 SOS 15456 HAS SOPS 15434 HAS SOUS 4018 HAS SOUPS 4005 WITH SCORE 4020.456
AT ITER 1765 NEW BEST:: SOT 26367 SOS 15443 HAS SOPS 15421 HAS SOUS 4018 HAS SOUPS 4005 WITH SCORE 4020.443
AT ITER 1808 NEW BEST:: SOT 26367 SOS 15443 HAS SOPS 15421 HAS SOUS 4014 HAS SOUPS 4001 WITH SCORE 4016.443
AT ITER 1818 NEW BEST:: SOT 26429 SOS 15568 HAS SOPS 15546 HAS SOUS 4013 HAS SOUPS 4000 WITH SCORE 4015.568
AT ITER 1819 NEW BEST:: SOT 26435 SOS 15538 HAS SOPS 15516 HAS SOUS 3989 HAS SOUPS 3976 WITH SCORE 3991.538
AT ITER 1837 NEW BEST:: SOT 26377 SOS 15449 HAS SOPS 15427 HAS SOUS 3960 HAS SOUPS 3947 WITH SCORE 3962.449
AT ITER 1848 NEW BEST:: SOT 26375 SOS 15443 HAS SOPS 15421 HAS SOUS 3958 HAS SOUPS 3945 WITH SCORE 3960.443
AT ITER 1869 NEW BEST:: SOT 26371 SOS 15435 HAS SOPS 15413 HAS SOUS 3958 HAS SOUPS 3945 WITH SCORE 3960.435
AT ITER 1914 NEW BEST:: SOT 26366 SOS 15424 HAS SOPS 15402 HAS SOUS 3953 HAS SOUPS 3940 WITH SCORE 3955.424
AT ITER 1931 NEW BEST:: SOT 26299 SOS 15304 HAS SOPS 15282 HAS SOUS 3942 HAS SOUPS 3929 WITH SCORE 3944.304
AT ITER 1945 NEW BEST:: SOT 26293 SOS 15297 HAS SOPS 15275 HAS SOUS 3936 HAS SOUPS 3923 WITH SCORE 3938.297
AT ITER 1946 NEW BEST:: SOT 26285 SOS 15285 HAS SOPS 15263 HAS SOUS 3932 HAS SOUPS 3919 WITH SCORE 3934.285
AT ITER 1982 NEW BEST:: SOT 26263 SOS 15252 HAS SOPS 15230 HAS SOUS 3921 HAS SOUPS 3908 WITH SCORE 3923.252
AT ITER 2023 NEW BEST:: SOT 26257 SOS 15243 HAS SOPS 15221 HAS SOUS 3918 HAS SOUPS 3905 WITH SCORE 3920.243
AT ITER 2056 NEW BEST:: SOT 26257 SOS 15249 HAS SOPS 15227 HAS SOUS 3906 HAS SOUPS 3893 WITH SCORE 3908.249
AT ITER 2094 NEW BEST:: SOT 26258 SOS 15248 HAS SOPS 15226 HAS SOUS 3905 HAS SOUPS 3892 WITH SCORE 3907.248
AT ITER 2096 NEW BEST:: SOT 26254 SOS 15240 HAS SOPS 15218 HAS SOUS 3893 HAS SOUPS 3880 WITH SCORE 3895.24
AT ITER 2105 NEW BEST:: SOT 26250 SOS 15236 HAS SOPS 15214 HAS SOUS 3891 HAS SOUPS 3878 WITH SCORE 3893.236
AT ITER 2140 NEW BEST:: SOT 26250 SOS 15236 HAS SOPS 15214 HAS SOUS 3889 HAS SOUPS 3876 WITH SCORE 3891.236
AT ITER 2141 NEW BEST:: SOT 26243 SOS 15229 HAS SOPS 15207 HAS SOUS 3881 HAS SOUPS 3868 WITH SCORE 3883.229
AT ITER 2144 NEW BEST:: SOT 26236 SOS 15210 HAS SOPS 15188 HAS SOUS 3877 HAS SOUPS 3864 WITH SCORE 3879.21
AT ITER 2160 NEW BEST:: SOT 26269 SOS 15276 HAS SOPS 15254 HAS SOUS 3844 HAS SOUPS 3831 WITH SCORE 3846.276
AT ITER 2174 NEW BEST:: SOT 26249 SOS 15236 HAS SOPS 15214 HAS SOUS 3844 HAS SOUPS 3831 WITH SCORE 3846.236
AT ITER 2176 NEW BEST:: SOT 26254 SOS 15241 HAS SOPS 15219 HAS SOUS 3839 HAS SOUPS 3826 WITH SCORE 3841.241
AT ITER 2194 NEW BEST:: SOT 26250 SOS 15235 HAS SOPS 15213 HAS SOUS 3833 HAS SOUPS 3820 WITH SCORE 3835.235
AT ITER 2208 NEW BEST:: SOT 26257 SOS 15240 HAS SOPS 15218 HAS SOUS 3831 HAS SOUPS 3818 WITH SCORE 3833.24
AT ITER 2233 NEW BEST:: SOT 26248 SOS 15231 HAS SOPS 15209 HAS SOUS 3822 HAS SOUPS 3809 WITH SCORE 3824.231
AT ITER 2235 NEW BEST:: SOT 26245 SOS 15228 HAS SOPS 15206 HAS SOUS 3819 HAS SOUPS 3806 WITH SCORE 3821.228
AT ITER 2238 NEW BEST:: SOT 26232 SOS 15215 HAS SOPS 15193 HAS SOUS 3816 HAS SOUPS 3803 WITH SCORE 3818.215
AT ITER 2255 NEW BEST:: SOT 26229 SOS 15212 HAS SOPS 15190 HAS SOUS 3814 HAS SOUPS 3801 WITH SCORE 3816.212
AT ITER 2274 NEW BEST:: SOT 26219 SOS 15162 HAS SOPS 15140 HAS SOUS 3791 HAS SOUPS 3778 WITH SCORE 3793.162
AT ITER 2275 NEW BEST:: SOT 26213 SOS 15153 HAS SOPS 15131 HAS SOUS 3789 HAS SOUPS 3776 WITH SCORE 3791.153
AT ITER 2335 NEW BEST:: SOT 26213 SOS 15151 HAS SOPS 15129 HAS SOUS 3789 HAS SOUPS 3776 WITH SCORE 3791.151
AT ITER 2336 NEW BEST:: SOT 26201 SOS 15139 HAS SOPS 15117 HAS SOUS 3786 HAS SOUPS 3773 WITH SCORE 3788.139
AT ITER 2348 NEW BEST:: SOT 26191 SOS 15103 HAS SOPS 15081 HAS SOUS 3784 HAS SOUPS 3771 WITH SCORE 3786.103
AT ITER 2395 NEW BEST:: SOT 26192 SOS 15101 HAS SOPS 15079 HAS SOUS 3784 HAS SOUPS 3771 WITH SCORE 3786.101
AT ITER 2417 NEW BEST:: SOT 26196 SOS 15109 HAS SOPS 15087 HAS SOUS 3780 HAS SOUPS 3767 WITH SCORE 3782.109
AT ITER 2450 NEW BEST:: SOT 26196 SOS 15109 HAS SOPS 15087 HAS SOUS 3778 HAS SOUPS 3765 WITH SCORE 3780.109
AT ITER 2468 NEW BEST:: SOT 26198 SOS 15113 HAS SOPS 15091 HAS SOUS 3777 HAS SOUPS 3764 WITH SCORE 3779.113
AT ITER 2528 NEW BEST:: SOT 26187 SOS 15102 HAS SOPS 15080 HAS SOUS 3776 HAS SOUPS 3763 WITH SCORE 3778.102
AT ITER 2552 NEW BEST:: SOT 26139 SOS 15054 HAS SOPS 15032 HAS SOUS 3776 HAS SOUPS 3763 WITH SCORE 3778.054
AT ITER 2595 NEW BEST:: SOT 26135 SOS 15050 HAS SOPS 15028 HAS SOUS 3772 HAS SOUPS 3759 WITH SCORE 3774.05
AT ITER 2628 NEW BEST:: SOT 26139 SOS 15054 HAS SOPS 15032 HAS SOUS 3768 HAS SOUPS 3755 WITH SCORE 3770.054
AT ITER 2644 NEW BEST:: SOT 26124 SOS 15039 HAS SOPS 15017 HAS SOUS 3761 HAS SOUPS 3748 WITH SCORE 3763.039
AT ITER 2659 NEW BEST:: SOT 26136 SOS 14979 HAS SOPS 14957 HAS SOUS 3758 HAS SOUPS 3745 WITH SCORE 3759.979
AT ITER 2666 NEW BEST:: SOT 26132 SOS 14975 HAS SOPS 14953 HAS SOUS 3756 HAS SOUPS 3743 WITH SCORE 3757.975
AT ITER 2793 NEW BEST:: SOT 26132 SOS 14975 HAS SOPS 14953 HAS SOUS 3755 HAS SOUPS 3742 WITH SCORE 3756.975
AT ITER 2794 NEW BEST:: SOT 26130 SOS 14973 HAS SOPS 14951 HAS SOUS 3753 HAS SOUPS 3740 WITH SCORE 3754.973
AT ITER 2796 NEW BEST:: SOT 26129 SOS 14972 HAS SOPS 14950 HAS SOUS 3746 HAS SOUPS 3733 WITH SCORE 3747.972
AT ITER 2804 NEW BEST:: SOT 26129 SOS 14972 HAS SOPS 14950 HAS SOUS 3745 HAS SOUPS 3732 WITH SCORE 3746.972
AT ITER 2826 NEW BEST:: SOT 26120 SOS 14959 HAS SOPS 14937 HAS SOUS 3741 HAS SOUPS 3728 WITH SCORE 3742.959
AT ITER 2827 NEW BEST:: SOT 26118 SOS 14957 HAS SOPS 14935 HAS SOUS 3733 HAS SOUPS 3720 WITH SCORE 3734.957
AT ITER 2850 NEW BEST:: SOT 26116 SOS 14955 HAS SOPS 14933 HAS SOUS 3729 HAS SOUPS 3716 WITH SCORE 3730.955
AT ITER 2943 NEW BEST:: SOT 26111 SOS 14950 HAS SOPS 14928 HAS SOUS 3719 HAS SOUPS 3706 WITH SCORE 3720.95
AT ITER 2944 NEW BEST:: SOT 26108 SOS 14947 HAS SOPS 14925 HAS SOUS 3716 HAS SOUPS 3703 WITH SCORE 3717.947
AT ITER 2950 NEW BEST:: SOT 26107 SOS 14946 HAS SOPS 14924 HAS SOUS 3714 HAS SOUPS 3701 WITH SCORE 3715.946
AT ITER 2966 NEW BEST:: SOT 26113 SOS 14952 HAS SOPS 14930 HAS SOUS 3711 HAS SOUPS 3698 WITH SCORE 3712.952
AT ITER 3000 NEW BEST:: SOT 26111 SOS 14950 HAS SOPS 14928 HAS SOUS 3711 HAS SOUPS 3698 WITH SCORE 3712.95
AT ITER 3032 NEW BEST:: SOT 26110 SOS 14936 HAS SOPS 14914 HAS SOUS 3707 HAS SOUPS 3694 WITH SCORE 3708.936
AT ITER 3074 NEW BEST:: SOT 26109 SOS 14935 HAS SOPS 14913 HAS SOUS 3706 HAS SOUPS 3693 WITH SCORE 3707.935
AT ITER 3103 NEW BEST:: SOT 26104 SOS 14930 HAS SOPS 14908 HAS SOUS 3701 HAS SOUPS 3688 WITH SCORE 3702.93
AT ITER 3122 NEW BEST:: SOT 26103 SOS 14928 HAS SOPS 14906 HAS SOUS 3700 HAS SOUPS 3687 WITH SCORE 3701.928
AT ITER 3128 NEW BEST:: SOT 26129 SOS 14748 HAS SOPS 14726 HAS SOUS 3695 HAS SOUPS 3682 WITH SCORE 3696.748
AT ITER 3210 NEW BEST:: SOT 26122 SOS 14741 HAS SOPS 14719 HAS SOUS 3688 HAS SOUPS 3675 WITH SCORE 3689.741
AT ITER 3241 NEW BEST:: SOT 26122 SOS 14741 HAS SOPS 14719 HAS SOUS 3686 HAS SOUPS 3673 WITH SCORE 3687.741
AT ITER 3252 NEW BEST:: SOT 26122 SOS 14740 HAS SOPS 14718 HAS SOUS 3685 HAS SOUPS 3672 WITH SCORE 3686.74
AT ITER 3253 NEW BEST:: SOT 26120 SOS 14737 HAS SOPS 14715 HAS SOUS 3684 HAS SOUPS 3671 WITH SCORE 3685.737
AT ITER 3279 NEW BEST:: SOT 26111 SOS 14550 HAS SOPS 14528 HAS SOUS 3667 HAS SOUPS 3654 WITH SCORE 3668.55
AT ITER 3284 NEW BEST:: SOT 26114 SOS 14553 HAS SOPS 14531 HAS SOUS 3656 HAS SOUPS 3643 WITH SCORE 3657.553
AT ITER 3363 NEW BEST:: SOT 26112 SOS 14551 HAS SOPS 14529 HAS SOUS 3654 HAS SOUPS 3641 WITH SCORE 3655.551
AT ITER 3368 NEW BEST:: SOT 26110 SOS 14548 HAS SOPS 14526 HAS SOUS 3653 HAS SOUPS 3640 WITH SCORE 3654.548
AT ITER 3422 NEW BEST:: SOT 26107 SOS 14545 HAS SOPS 14523 HAS SOUS 3647 HAS SOUPS 3634 WITH SCORE 3648.545
AT ITER 3451 NEW BEST:: SOT 26103 SOS 14535 HAS SOPS 14513 HAS SOUS 3641 HAS SOUPS 3628 WITH SCORE 3642.535
AT ITER 3472 NEW BEST:: SOT 26066 SOS 15042 HAS SOPS 15020 HAS SOUS 3639 HAS SOUPS 3626 WITH SCORE 3641.042
AT ITER 3480 NEW BEST:: SOT 26062 SOS 15038 HAS SOPS 15016 HAS SOUS 3635 HAS SOUPS 3622 WITH SCORE 3637.038
AT ITER 3517 NEW BEST:: SOT 26052 SOS 15028 HAS SOPS 15006 HAS SOUS 3627 HAS SOUPS 3614 WITH SCORE 3629.028
AT ITER 3519 NEW BEST:: SOT 26038 SOS 14916 HAS SOPS 14894 HAS SOUS 3621 HAS SOUPS 3608 WITH SCORE 3622.916
AT ITER 3535 NEW BEST:: SOT 26032 SOS 14904 HAS SOPS 14882 HAS SOUS 3618 HAS SOUPS 3605 WITH SCORE 3619.904
AT ITER 3556 NEW BEST:: SOT 26034 SOS 14828 HAS SOPS 14806 HAS SOUS 3608 HAS SOUPS 3595 WITH SCORE 3609.828
AT ITER 3558 NEW BEST:: SOT 26045 SOS 14765 HAS SOPS 14743 HAS SOUS 3606 HAS SOUPS 3593 WITH SCORE 3607.765
AT ITER 3602 NEW BEST:: SOT 26038 SOS 14758 HAS SOPS 14736 HAS SOUS 3606 HAS SOUPS 3593 WITH SCORE 3607.758
AT ITER 3615 NEW BEST:: SOT 26036 SOS 14756 HAS SOPS 14734 HAS SOUS 3604 HAS SOUPS 3591 WITH SCORE 3605.756
AT ITER 3617 NEW BEST:: SOT 26037 SOS 14741 HAS SOPS 14719 HAS SOUS 3598 HAS SOUPS 3585 WITH SCORE 3599.741
AT ITER 3694 NEW BEST:: SOT 26030 SOS 14727 HAS SOPS 14705 HAS SOUS 3595 HAS SOUPS 3582 WITH SCORE 3596.727
AT ITER 3701 NEW BEST:: SOT 26023 SOS 14741 HAS SOPS 14719 HAS SOUS 3593 HAS SOUPS 3580 WITH SCORE 3594.741
AT ITER 3796 NEW BEST:: SOT 26046 SOS 14764 HAS SOPS 14742 HAS SOUS 3568 HAS SOUPS 3555 WITH SCORE 3569.764
AT ITER 3801 NEW BEST:: SOT 26105 SOS 14823 HAS SOPS 14801 HAS SOUS 3565 HAS SOUPS 3552 WITH SCORE 3566.823
AT ITER 3812 NEW BEST:: SOT 26105 SOS 14823 HAS SOPS 14801 HAS SOUS 3552 HAS SOUPS 3539 WITH SCORE 3553.823
AT ITER 3828 NEW BEST:: SOT 26105 SOS 14823 HAS SOPS 14801 HAS SOUS 3546 HAS SOUPS 3533 WITH SCORE 3547.823
AT ITER 3837 NEW BEST:: SOT 26128 SOS 14846 HAS SOPS 14824 HAS SOUS 3545 HAS SOUPS 3532 WITH SCORE 3546.846
AT ITER 3838 NEW BEST:: SOT 26123 SOS 14771 HAS SOPS 14749 HAS SOUS 3540 HAS SOUPS 3527 WITH SCORE 3541.771
AT ITER 3873 NEW BEST:: SOT 26120 SOS 14768 HAS SOPS 14746 HAS SOUS 3537 HAS SOUPS 3524 WITH SCORE 3538.768
AT ITER 3876 NEW BEST:: SOT 26117 SOS 14765 HAS SOPS 14743 HAS SOUS 3537 HAS SOUPS 3524 WITH SCORE 3538.765
AT ITER 3889 NEW BEST:: SOT 26116 SOS 14763 HAS SOPS 14741 HAS SOUS 3535 HAS SOUPS 3522 WITH SCORE 3536.763
AT ITER 3917 NEW BEST:: SOT 26090 SOS 14715 HAS SOPS 14693 HAS SOUS 3527 HAS SOUPS 3514 WITH SCORE 3528.715
AT ITER 3977 NEW BEST:: SOT 26079 SOS 14704 HAS SOPS 14682 HAS SOUS 3527 HAS SOUPS 3514 WITH SCORE 3528.704
AT ITER 4003 NEW BEST:: SOT 26081 SOS 14706 HAS SOPS 14684 HAS SOUS 3517 HAS SOUPS 3504 WITH SCORE 3518.706
AT ITER 4004 NEW BEST:: SOT 26080 SOS 14705 HAS SOPS 14683 HAS SOUS 3516 HAS SOUPS 3503 WITH SCORE 3517.705
AT ITER 4133 NEW BEST:: SOT 26071 SOS 14651 HAS SOPS 14629 HAS SOUS 3516 HAS SOUPS 3503 WITH SCORE 3517.651
AT ITER 4178 NEW BEST:: SOT 26068 SOS 14537 HAS SOPS 14515 HAS SOUS 3511 HAS SOUPS 3498 WITH SCORE 3512.537
AT ITER 4201 NEW BEST:: SOT 26064 SOS 14532 HAS SOPS 14510 HAS SOUS 3508 HAS SOUPS 3495 WITH SCORE 3509.532
AT ITER 4227 NEW BEST:: SOT 26085 SOS 14553 HAS SOPS 14531 HAS SOUS 3507 HAS SOUPS 3494 WITH SCORE 3508.553
AT ITER 4253 NEW BEST:: SOT 26083 SOS 14551 HAS SOPS 14529 HAS SOUS 3505 HAS SOUPS 3492 WITH SCORE 3506.551
AT ITER 4312 NEW BEST:: SOT 26082 SOS 14550 HAS SOPS 14528 HAS SOUS 3504 HAS SOUPS 3491 WITH SCORE 3505.55
AT ITER 4444 NEW BEST:: SOT 26082 SOS 14549 HAS SOPS 14527 HAS SOUS 3503 HAS SOUPS 3490 WITH SCORE 3504.549
AT ITER 4527 NEW BEST:: SOT 26082 SOS 14549 HAS SOPS 14527 HAS SOUS 3501 HAS SOUPS 3488 WITH SCORE 3502.549
AT ITER 4535 NEW BEST:: SOT 26074 SOS 14533 HAS SOPS 14511 HAS SOUS 3489 HAS SOUPS 3476 WITH SCORE 3490.533
AT ITER 4552 NEW BEST:: SOT 26060 SOS 14519 HAS SOPS 14497 HAS SOUS 3488 HAS SOUPS 3475 WITH SCORE 3489.519
AT ITER 4554 NEW BEST:: SOT 26068 SOS 14456 HAS SOPS 14434 HAS SOUS 3485 HAS SOUPS 3472 WITH SCORE 3486.456
AT ITER 4590 NEW BEST:: SOT 26078 SOS 14466 HAS SOPS 14444 HAS SOUS 3482 HAS SOUPS 3469 WITH SCORE 3483.466
AT ITER 4633 NEW BEST:: SOT 26079 SOS 14432 HAS SOPS 14410 HAS SOUS 3480 HAS SOUPS 3467 WITH SCORE 3481.432
AT ITER 4649 NEW BEST:: SOT 26077 SOS 14428 HAS SOPS 14406 HAS SOUS 3479 HAS SOUPS 3466 WITH SCORE 3480.428
AT ITER 4652 NEW BEST:: SOT 26077 SOS 14428 HAS SOPS 14406 HAS SOUS 3478 HAS SOUPS 3465 WITH SCORE 3479.428
AT ITER 4677 NEW BEST:: SOT 26070 SOS 14407 HAS SOPS 14385 HAS SOUS 3476 HAS SOUPS 3463 WITH SCORE 3477.407
AT ITER 4740 NEW BEST:: SOT 26067 SOS 14404 HAS SOPS 14382 HAS SOUS 3473 HAS SOUPS 3460 WITH SCORE 3474.404
AT ITER 4743 NEW BEST:: SOT 26061 SOS 14392 HAS SOPS 14370 HAS SOUS 3471 HAS SOUPS 3458 WITH SCORE 3472.392
AT ITER 4793 NEW BEST:: SOT 26057 SOS 14402 HAS SOPS 14380 HAS SOUS 3467 HAS SOUPS 3454 WITH SCORE 3468.402
AT ITER 4803 NEW BEST:: SOT 26053 SOS 14398 HAS SOPS 14376 HAS SOUS 3467 HAS SOUPS 3454 WITH SCORE 3468.398
AT ITER 4845 NEW BEST:: SOT 26058 SOS 14403 HAS SOPS 14381 HAS SOUS 3462 HAS SOUPS 3449 WITH SCORE 3463.403
AT ITER 4906 NEW BEST:: SOT 26057 SOS 14402 HAS SOPS 14380 HAS SOUS 3461 HAS SOUPS 3448 WITH SCORE 3462.402
AT ITER 4909 NEW BEST:: SOT 26053 SOS 14398 HAS SOPS 14376 HAS SOUS 3461 HAS SOUPS 3448 WITH SCORE 3462.398
AT ITER 4975 NEW BEST:: SOT 26049 SOS 14387 HAS SOPS 14365 HAS SOUS 3460 HAS SOUPS 3447 WITH SCORE 3461.387
AT ITER 5081 NEW BEST:: SOT 26052 SOS 14352 HAS SOPS 14330 HAS SOUS 3458 HAS SOUPS 3445 WITH SCORE 3459.352
AT ITER 5092 NEW BEST:: SOT 26050 SOS 14350 HAS SOPS 14328 HAS SOUS 3453 HAS SOUPS 3440 WITH SCORE 3454.35
AT ITER 5147 NEW BEST:: SOT 26044 SOS 14344 HAS SOPS 14322 HAS SOUS 3441 HAS SOUPS 3428 WITH SCORE 3442.344
AT ITER 5211 NEW BEST:: SOT 26043 SOS 14343 HAS SOPS 14321 HAS SOUS 3441 HAS SOUPS 3428 WITH SCORE 3442.343
AT ITER 5225 NEW BEST:: SOT 26043 SOS 14343 HAS SOPS 14321 HAS SOUS 3440 HAS SOUPS 3427 WITH SCORE 3441.343
AT ITER 5241 NEW BEST:: SOT 26034 SOS 14325 HAS SOPS 14303 HAS SOUS 3433 HAS SOUPS 3420 WITH SCORE 3434.325
AT ITER 5281 NEW BEST:: SOT 26031 SOS 14378 HAS SOPS 14356 HAS SOUS 3432 HAS SOUPS 3419 WITH SCORE 3433.378
AT ITER 5362 NEW BEST:: SOT 26026 SOS 14373 HAS SOPS 14351 HAS SOUS 3427 HAS SOUPS 3414 WITH SCORE 3428.373
AT ITER 5371 NEW BEST:: SOT 26025 SOS 14372 HAS SOPS 14350 HAS SOUS 3426 HAS SOUPS 3413 WITH SCORE 3427.372
AT ITER 5374 NEW BEST:: SOT 26024 SOS 14370 HAS SOPS 14348 HAS SOUS 3425 HAS SOUPS 3412 WITH SCORE 3426.37
AT ITER 5405 NEW BEST:: SOT 26008 SOS 14354 HAS SOPS 14332 HAS SOUS 3425 HAS SOUPS 3412 WITH SCORE 3426.354
AT ITER 5459 NEW BEST:: SOT 26008 SOS 14354 HAS SOPS 14332 HAS SOUS 3424 HAS SOUPS 3411 WITH SCORE 3425.354
AT ITER 5547 NEW BEST:: SOT 25990 SOS 14198 HAS SOPS 14176 HAS SOUS 3419 HAS SOUPS 3406 WITH SCORE 3420.198
AT ITER 5644 NEW BEST:: SOT 25989 SOS 14197 HAS SOPS 14175 HAS SOUS 3418 HAS SOUPS 3405 WITH SCORE 3419.197
AT ITER 5702 NEW BEST:: SOT 26007 SOS 14218 HAS SOPS 14196 HAS SOUS 3411 HAS SOUPS 3398 WITH SCORE 3412.218
AT ITER 5747 NEW BEST:: SOT 26004 SOS 14215 HAS SOPS 14193 HAS SOUS 3408 HAS SOUPS 3395 WITH SCORE 3409.215
AT ITER 5757 NEW BEST:: SOT 25959 SOS 14126 HAS SOPS 14104 HAS SOUS 3407 HAS SOUPS 3394 WITH SCORE 3408.126
AT ITER 5774 NEW BEST:: SOT 25952 SOS 14102 HAS SOPS 14080 HAS SOUS 3403 HAS SOUPS 3390 WITH SCORE 3404.102
AT ITER 5811 NEW BEST:: SOT 25947 SOS 14091 HAS SOPS 14069 HAS SOUS 3402 HAS SOUPS 3389 WITH SCORE 3403.091
AT ITER 5923 NEW BEST:: SOT 25939 SOS 14083 HAS SOPS 14061 HAS SOUS 3402 HAS SOUPS 3389 WITH SCORE 3403.083
AT ITER 5963 NEW BEST:: SOT 25937 SOS 14081 HAS SOPS 14059 HAS SOUS 3402 HAS SOUPS 3389 WITH SCORE 3403.081
AT ITER 5981 NEW BEST:: SOT 25930 SOS 14074 HAS SOPS 14052 HAS SOUS 3400 HAS SOUPS 3387 WITH SCORE 3401.074
AT ITER 6159 NEW BEST:: SOT 25926 SOS 14062 HAS SOPS 14040 HAS SOUS 3395 HAS SOUPS 3382 WITH SCORE 3396.062
AT ITER 6175 NEW BEST:: SOT 25928 SOS 14066 HAS SOPS 14044 HAS SOUS 3394 HAS SOUPS 3381 WITH SCORE 3395.066
AT ITER 6225 NEW BEST:: SOT 25925 SOS 14063 HAS SOPS 14041 HAS SOUS 3391 HAS SOUPS 3378 WITH SCORE 3392.063
AT ITER 6256 NEW BEST:: SOT 25915 SOS 14048 HAS SOPS 14026 HAS SOUS 3386 HAS SOUPS 3373 WITH SCORE 3387.048
AT ITER 6261 NEW BEST:: SOT 25897 SOS 14030 HAS SOPS 14008 HAS SOUS 3371 HAS SOUPS 3358 WITH SCORE 3372.03
AT ITER 6267 NEW BEST:: SOT 25895 SOS 14028 HAS SOPS 14006 HAS SOUS 3370 HAS SOUPS 3357 WITH SCORE 3371.028
AT ITER 6269 NEW BEST:: SOT 25896 SOS 14029 HAS SOPS 14007 HAS SOUS 3369 HAS SOUPS 3356 WITH SCORE 3370.029
AT ITER 6326 NEW BEST:: SOT 25896 SOS 14029 HAS SOPS 14007 HAS SOUS 3365 HAS SOUPS 3352 WITH SCORE 3366.029
AT ITER 6357 NEW BEST:: SOT 25895 SOS 14024 HAS SOPS 14002 HAS SOUS 3361 HAS SOUPS 3348 WITH SCORE 3362.024
AT ITER 6364 NEW BEST:: SOT 25883 SOS 13994 HAS SOPS 13972 HAS SOUS 3357 HAS SOUPS 3344 WITH SCORE 3357.994
AT ITER 6515 NEW BEST:: SOT 25890 SOS 14005 HAS SOPS 13983 HAS SOUS 3354 HAS SOUPS 3341 WITH SCORE 3355.005
AT ITER 6583 NEW BEST:: SOT 25884 SOS 13993 HAS SOPS 13971 HAS SOUS 3348 HAS SOUPS 3335 WITH SCORE 3348.993
AT ITER 6591 NEW BEST:: SOT 25886 SOS 13997 HAS SOPS 13975 HAS SOUS 3346 HAS SOUPS 3333 WITH SCORE 3346.997
AT ITER 6637 NEW BEST:: SOT 25881 SOS 13983 HAS SOPS 13961 HAS SOUS 3337 HAS SOUPS 3324 WITH SCORE 3337.983
AT ITER 6656 NEW BEST:: SOT 25881 SOS 13981 HAS SOPS 13959 HAS SOUS 3337 HAS SOUPS 3324 WITH SCORE 3337.981
AT ITER 6740 NEW BEST:: SOT 25874 SOS 13974 HAS SOPS 13952 HAS SOUS 3330 HAS SOUPS 3317 WITH SCORE 3330.974
AT ITER 6772 NEW BEST:: SOT 25894 SOS 14016 HAS SOPS 13994 HAS SOUS 3328 HAS SOUPS 3315 WITH SCORE 3329.016
AT ITER 6797 NEW BEST:: SOT 25892 SOS 14013 HAS SOPS 13991 HAS SOUS 3326 HAS SOUPS 3313 WITH SCORE 3327.013
AT ITER 6827 NEW BEST:: SOT 25881 SOS 13986 HAS SOPS 13964 HAS SOUS 3325 HAS SOUPS 3312 WITH SCORE 3325.986
AT ITER 6840 NEW BEST:: SOT 25881 SOS 13986 HAS SOPS 13964 HAS SOUS 3316 HAS SOUPS 3303 WITH SCORE 3316.986
AT ITER 6885 NEW BEST:: SOT 25867 SOS 13972 HAS SOPS 13950 HAS SOUS 3302 HAS SOUPS 3289 WITH SCORE 3302.972
AT ITER 6923 NEW BEST:: SOT 25867 SOS 13972 HAS SOPS 13950 HAS SOUS 3297 HAS SOUPS 3284 WITH SCORE 3297.972
AT ITER 6982 NEW BEST:: SOT 25872 SOS 13971 HAS SOPS 13949 HAS SOUS 3296 HAS SOUPS 3283 WITH SCORE 3296.971
AT ITER 6996 NEW BEST:: SOT 25892 SOS 14011 HAS SOPS 13989 HAS SOUS 3292 HAS SOUPS 3279 WITH SCORE 3293.011
AT ITER 7024 NEW BEST:: SOT 25885 SOS 14115 HAS SOPS 14093 HAS SOUS 3288 HAS SOUPS 3275 WITH SCORE 3289.115
AT ITER 7033 NEW BEST:: SOT 25896 SOS 14134 HAS SOPS 14112 HAS SOUS 3286 HAS SOUPS 3273 WITH SCORE 3287.134
AT ITER 7113 NEW BEST:: SOT 25891 SOS 14129 HAS SOPS 14107 HAS SOUS 3281 HAS SOUPS 3268 WITH SCORE 3282.129
AT ITER 7355 NEW BEST:: SOT 25887 SOS 14125 HAS SOPS 14103 HAS SOUS 3281 HAS SOUPS 3268 WITH SCORE 3282.125
AT ITER 7453 NEW BEST:: SOT 25886 SOS 14124 HAS SOPS 14102 HAS SOUS 3280 HAS SOUPS 3267 WITH SCORE 3281.124
AT ITER 7466 NEW BEST:: SOT 25875 SOS 14113 HAS SOPS 14091 HAS SOUS 3269 HAS SOUPS 3256 WITH SCORE 3270.113
AT ITER 7749 NEW BEST:: SOT 25881 SOS 14111 HAS SOPS 14089 HAS SOUS 3267 HAS SOUPS 3254 WITH SCORE 3268.111
AT ITER 7803 NEW BEST:: SOT 25880 SOS 14110 HAS SOPS 14088 HAS SOUS 3267 HAS SOUPS 3254 WITH SCORE 3268.11
AT ITER 7912 NEW BEST:: SOT 25880 SOS 14048 HAS SOPS 14026 HAS SOUS 3267 HAS SOUPS 3254 WITH SCORE 3268.048
AT ITER 8092 NEW BEST:: SOT 25879 SOS 14047 HAS SOPS 14025 HAS SOUS 3265 HAS SOUPS 3252 WITH SCORE 3266.047
AT ITER 8126 NEW BEST:: SOT 25873 SOS 14035 HAS SOPS 14013 HAS SOUS 3264 HAS SOUPS 3251 WITH SCORE 3265.035
AT ITER 8179 NEW BEST:: SOT 25871 SOS 14033 HAS SOPS 14011 HAS SOUS 3263 HAS SOUPS 3250 WITH SCORE 3264.033
AT ITER 8183 NEW BEST:: SOT 25871 SOS 14033 HAS SOPS 14011 HAS SOUS 3261 HAS SOUPS 3248 WITH SCORE 3262.033
AT ITER 8400 NEW BEST:: SOT 25882 SOS 14054 HAS SOPS 14032 HAS SOUS 3260 HAS SOUPS 3247 WITH SCORE 3261.054
AT ITER 8440 NEW BEST:: SOT 25889 SOS 13990 HAS SOPS 13968 HAS SOUS 3260 HAS SOUPS 3247 WITH SCORE 3260.99
AT ITER 8444 NEW BEST:: SOT 25887 SOS 13988 HAS SOPS 13966 HAS SOUS 3258 HAS SOUPS 3245 WITH SCORE 3258.988
AT ITER 8477 NEW BEST:: SOT 25887 SOS 13988 HAS SOPS 13966 HAS SOUS 3239 HAS SOUPS 3226 WITH SCORE 3239.988
AT ITER 8633 NEW BEST:: SOT 25888 SOS 13989 HAS SOPS 13967 HAS SOUS 3238 HAS SOUPS 3225 WITH SCORE 3238.989
AT ITER 8673 NEW BEST:: SOT 25887 SOS 13988 HAS SOPS 13966 HAS SOUS 3236 HAS SOUPS 3223 WITH SCORE 3236.988
AT ITER 8704 NEW BEST:: SOT 25886 SOS 13986 HAS SOPS 13964 HAS SOUS 3236 HAS SOUPS 3223 WITH SCORE 3236.986
AT ITER 8894 NEW BEST:: SOT 25886 SOS 13985 HAS SOPS 13963 HAS SOUS 3235 HAS SOUPS 3222 WITH SCORE 3235.985
AT ITER 8957 NEW BEST:: SOT 25891 SOS 13994 HAS SOPS 13972 HAS SOUS 3224 HAS SOUPS 3211 WITH SCORE 3224.994
AT ITER 9078 NEW BEST:: SOT 25887 SOS 13990 HAS SOPS 13968 HAS SOUS 3223 HAS SOUPS 3210 WITH SCORE 3223.99
AT ITER 9133 NEW BEST:: SOT 25886 SOS 13989 HAS SOPS 13967 HAS SOUS 3223 HAS SOUPS 3210 WITH SCORE 3223.989
AT ITER 9417 NEW BEST:: SOT 25884 SOS 13987 HAS SOPS 13965 HAS SOUS 3220 HAS SOUPS 3207 WITH SCORE 3220.987
AT ITER 9594 NEW BEST:: SOT 25883 SOS 13986 HAS SOPS 13964 HAS SOUS 3220 HAS SOUPS 3207 WITH SCORE 3220.986
AT ITER 9597 NEW BEST:: SOT 25881 SOS 13984 HAS SOPS 13962 HAS SOUS 3216 HAS SOUPS 3203 WITH SCORE 3216.984
AT ITER 9741 NEW BEST:: SOT 25880 SOS 13983 HAS SOPS 13961 HAS SOUS 3215 HAS SOUPS 3202 WITH SCORE 3215.983
AT ITER 9837 NEW BEST:: SOT 25908 SOS 14011 HAS SOPS 13989 HAS SOUS 3212 HAS SOUPS 3199 WITH SCORE 3213.011
AT ITER 9856 NEW BEST:: SOT 25907 SOS 14010 HAS SOPS 13988 HAS SOUS 3212 HAS SOUPS 3199 WITH SCORE 3213.01
AT ITER 9915 NEW BEST:: SOT 25902 SOS 14005 HAS SOPS 13983 HAS SOUS 3207 HAS SOUPS 3194 WITH SCORE 3208.005
STATE_SPACE STATES 806931788 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 12618367846 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678579174303

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

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