Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508500409.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is AutoFlight-PT-03b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508500409
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 232K
-rw-r--r-- 1 mcc users 3.0K Mar 25 23:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 23:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 18:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 18:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 14:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 14:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 10:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 10:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 70K Mar 24 05:37 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 1589139740738

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 03b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 298 places, 296 transitions, 692 arcs.
AT ITER 0 NEW BEST:: SOT 48099 SOS 11205 HAS SOPS 11205 HAS SOUS 10246 HAS SOUPS 10246 WITH SCORE 10257.205
AT ITER 1 NEW BEST:: SOT 48099 SOS 11204 HAS SOPS 11204 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10256.204
AT ITER 3 NEW BEST:: SOT 48090 SOS 11186 HAS SOPS 11186 HAS SOUS 10227 HAS SOUPS 10227 WITH SCORE 10238.186
AT ITER 4 NEW BEST:: SOT 48069 SOS 11144 HAS SOPS 11144 HAS SOUS 10205 HAS SOUPS 10205 WITH SCORE 10216.144
AT ITER 5 NEW BEST:: SOT 48069 SOS 11096 HAS SOPS 11096 HAS SOUS 10193 HAS SOUPS 10193 WITH SCORE 10204.096
AT ITER 25 NEW BEST:: SOT 48059 SOS 11076 HAS SOPS 11076 HAS SOUS 10150 HAS SOUPS 10150 WITH SCORE 10161.076
AT ITER 34 NEW BEST:: SOT 48058 SOS 11074 HAS SOPS 11074 HAS SOUS 10121 HAS SOUPS 10121 WITH SCORE 10132.074
AT ITER 38 NEW BEST:: SOT 48048 SOS 11067 HAS SOPS 11067 HAS SOUS 10106 HAS SOUPS 10106 WITH SCORE 10117.067
AT ITER 67 NEW BEST:: SOT 47985 SOS 10983 HAS SOPS 10983 HAS SOUS 10022 HAS SOUPS 10022 WITH SCORE 10032.983
AT ITER 72 NEW BEST:: SOT 47985 SOS 10955 HAS SOPS 10955 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10018.955
AT ITER 74 NEW BEST:: SOT 47985 SOS 10946 HAS SOPS 10946 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10018.946
AT ITER 89 NEW BEST:: SOT 47985 SOS 10946 HAS SOPS 10946 HAS SOUS 10006 HAS SOUPS 10006 WITH SCORE 10016.946
AT ITER 90 NEW BEST:: SOT 47971 SOS 10918 HAS SOPS 10918 HAS SOUS 9992 HAS SOUPS 9992 WITH SCORE 10002.918
AT ITER 99 NEW BEST:: SOT 47964 SOS 10916 HAS SOPS 10916 HAS SOUS 9990 HAS SOUPS 9990 WITH SCORE 10000.916
AT ITER 102 NEW BEST:: SOT 47964 SOS 10865 HAS SOPS 10865 HAS SOUS 9973 HAS SOUPS 9973 WITH SCORE 9983.865
AT ITER 105 NEW BEST:: SOT 47964 SOS 10862 HAS SOPS 10862 HAS SOUS 9973 HAS SOUPS 9973 WITH SCORE 9983.862
AT ITER 115 NEW BEST:: SOT 47962 SOS 10858 HAS SOPS 10858 HAS SOUS 9969 HAS SOUPS 9969 WITH SCORE 9979.858
AT ITER 116 NEW BEST:: SOT 47922 SOS 10792 HAS SOPS 10792 HAS SOUS 9921 HAS SOUPS 9921 WITH SCORE 9931.792
AT ITER 120 NEW BEST:: SOT 47922 SOS 10791 HAS SOPS 10791 HAS SOUS 9920 HAS SOUPS 9920 WITH SCORE 9930.791
AT ITER 123 NEW BEST:: SOT 47859 SOS 10851 HAS SOPS 10851 HAS SOUS 9819 HAS SOUPS 9819 WITH SCORE 9829.851
AT ITER 136 NEW BEST:: SOT 47858 SOS 10826 HAS SOPS 10826 HAS SOUS 9794 HAS SOUPS 9794 WITH SCORE 9804.826
AT ITER 140 NEW BEST:: SOT 47848 SOS 10743 HAS SOPS 10743 HAS SOUS 9753 HAS SOUPS 9753 WITH SCORE 9763.743
AT ITER 151 NEW BEST:: SOT 47848 SOS 10740 HAS SOPS 10740 HAS SOUS 9750 HAS SOUPS 9750 WITH SCORE 9760.74
AT ITER 166 NEW BEST:: SOT 47829 SOS 10683 HAS SOPS 10683 HAS SOUS 9693 HAS SOUPS 9693 WITH SCORE 9703.683
AT ITER 188 NEW BEST:: SOT 47829 SOS 10683 HAS SOPS 10683 HAS SOUS 9689 HAS SOUPS 9689 WITH SCORE 9699.683
AT ITER 214 NEW BEST:: SOT 47826 SOS 10666 HAS SOPS 10666 HAS SOUS 9672 HAS SOUPS 9672 WITH SCORE 9682.666
AT ITER 218 NEW BEST:: SOT 47826 SOS 10657 HAS SOPS 10657 HAS SOUS 9663 HAS SOUPS 9663 WITH SCORE 9673.657
AT ITER 240 NEW BEST:: SOT 47826 SOS 10655 HAS SOPS 10655 HAS SOUS 9663 HAS SOUPS 9663 WITH SCORE 9673.655
AT ITER 241 NEW BEST:: SOT 47835 SOS 10613 HAS SOPS 10613 HAS SOUS 9651 HAS SOUPS 9651 WITH SCORE 9661.613
AT ITER 242 NEW BEST:: SOT 47837 SOS 10598 HAS SOPS 10598 HAS SOUS 9650 HAS SOUPS 9650 WITH SCORE 9660.598
AT ITER 252 NEW BEST:: SOT 47819 SOS 10594 HAS SOPS 10594 HAS SOUS 9640 HAS SOUPS 9640 WITH SCORE 9650.594
AT ITER 254 NEW BEST:: SOT 47822 SOS 10574 HAS SOPS 10574 HAS SOUS 9637 HAS SOUPS 9637 WITH SCORE 9647.574
AT ITER 272 NEW BEST:: SOT 47815 SOS 10573 HAS SOPS 10573 HAS SOUS 9636 HAS SOUPS 9636 WITH SCORE 9646.573
AT ITER 305 NEW BEST:: SOT 47815 SOS 10553 HAS SOPS 10553 HAS SOUS 9616 HAS SOUPS 9616 WITH SCORE 9626.553
AT ITER 313 NEW BEST:: SOT 47815 SOS 10553 HAS SOPS 10553 HAS SOUS 9608 HAS SOUPS 9608 WITH SCORE 9618.553
AT ITER 316 NEW BEST:: SOT 47840 SOS 10535 HAS SOPS 10535 HAS SOUS 9590 HAS SOUPS 9590 WITH SCORE 9600.535
AT ITER 348 NEW BEST:: SOT 47840 SOS 10521 HAS SOPS 10521 HAS SOUS 9576 HAS SOUPS 9576 WITH SCORE 9586.521
AT ITER 354 NEW BEST:: SOT 47805 SOS 10490 HAS SOPS 10490 HAS SOUS 9545 HAS SOUPS 9545 WITH SCORE 9555.49
AT ITER 375 NEW BEST:: SOT 47798 SOS 10486 HAS SOPS 10486 HAS SOUS 9545 HAS SOUPS 9545 WITH SCORE 9555.486
AT ITER 388 NEW BEST:: SOT 47798 SOS 10472 HAS SOPS 10472 HAS SOUS 9531 HAS SOUPS 9531 WITH SCORE 9541.472
AT ITER 397 NEW BEST:: SOT 47782 SOS 10472 HAS SOPS 10472 HAS SOUS 9515 HAS SOUPS 9515 WITH SCORE 9525.472
AT ITER 399 NEW BEST:: SOT 47774 SOS 10463 HAS SOPS 10463 HAS SOUS 9506 HAS SOUPS 9506 WITH SCORE 9516.463
AT ITER 401 NEW BEST:: SOT 47762 SOS 10448 HAS SOPS 10448 HAS SOUS 9494 HAS SOUPS 9494 WITH SCORE 9504.448
AT ITER 416 NEW BEST:: SOT 47769 SOS 10430 HAS SOPS 10430 HAS SOUS 9493 HAS SOUPS 9493 WITH SCORE 9503.43
AT ITER 467 NEW BEST:: SOT 47762 SOS 10432 HAS SOPS 10432 HAS SOUS 9490 HAS SOUPS 9490 WITH SCORE 9500.432
AT ITER 470 NEW BEST:: SOT 47717 SOS 10420 HAS SOPS 10420 HAS SOUS 9478 HAS SOUPS 9478 WITH SCORE 9488.42
AT ITER 475 NEW BEST:: SOT 47717 SOS 10407 HAS SOPS 10407 HAS SOUS 9464 HAS SOUPS 9464 WITH SCORE 9474.407
AT ITER 489 NEW BEST:: SOT 47717 SOS 10399 HAS SOPS 10399 HAS SOUS 9464 HAS SOUPS 9464 WITH SCORE 9474.399
AT ITER 521 NEW BEST:: SOT 47692 SOS 10346 HAS SOPS 10346 HAS SOUS 9439 HAS SOUPS 9439 WITH SCORE 9449.346
AT ITER 526 NEW BEST:: SOT 47692 SOS 10315 HAS SOPS 10315 HAS SOUS 9408 HAS SOUPS 9408 WITH SCORE 9418.315
AT ITER 532 NEW BEST:: SOT 47655 SOS 10295 HAS SOPS 10295 HAS SOUS 9388 HAS SOUPS 9388 WITH SCORE 9398.295
AT ITER 537 NEW BEST:: SOT 47643 SOS 10304 HAS SOPS 10304 HAS SOUS 9387 HAS SOUPS 9387 WITH SCORE 9397.304
AT ITER 542 NEW BEST:: SOT 47636 SOS 10290 HAS SOPS 10290 HAS SOUS 9364 HAS SOUPS 9364 WITH SCORE 9374.29
AT ITER 550 NEW BEST:: SOT 47598 SOS 10269 HAS SOPS 10269 HAS SOUS 9343 HAS SOUPS 9343 WITH SCORE 9353.269
AT ITER 560 NEW BEST:: SOT 47598 SOS 10246 HAS SOPS 10246 HAS SOUS 9320 HAS SOUPS 9320 WITH SCORE 9330.246
AT ITER 566 NEW BEST:: SOT 47598 SOS 10230 HAS SOPS 10230 HAS SOUS 9320 HAS SOUPS 9320 WITH SCORE 9330.23
AT ITER 567 NEW BEST:: SOT 47598 SOS 10213 HAS SOPS 10213 HAS SOUS 9303 HAS SOUPS 9303 WITH SCORE 9313.213
AT ITER 582 NEW BEST:: SOT 47596 SOS 10211 HAS SOPS 10211 HAS SOUS 9301 HAS SOUPS 9301 WITH SCORE 9311.211
AT ITER 600 NEW BEST:: SOT 47598 SOS 10196 HAS SOPS 10196 HAS SOUS 9286 HAS SOUPS 9286 WITH SCORE 9296.196
AT ITER 616 NEW BEST:: SOT 47587 SOS 10216 HAS SOPS 10216 HAS SOUS 9284 HAS SOUPS 9284 WITH SCORE 9294.216
AT ITER 619 NEW BEST:: SOT 47587 SOS 10211 HAS SOPS 10211 HAS SOUS 9279 HAS SOUPS 9279 WITH SCORE 9289.211
AT ITER 620 NEW BEST:: SOT 47589 SOS 10204 HAS SOPS 10204 HAS SOUS 9272 HAS SOUPS 9272 WITH SCORE 9282.204
AT ITER 630 NEW BEST:: SOT 47598 SOS 10193 HAS SOPS 10193 HAS SOUS 9261 HAS SOUPS 9261 WITH SCORE 9271.193
AT ITER 669 NEW BEST:: SOT 47560 SOS 10173 HAS SOPS 10173 HAS SOUS 9236 HAS SOUPS 9236 WITH SCORE 9246.173
AT ITER 673 NEW BEST:: SOT 47530 SOS 10153 HAS SOPS 10153 HAS SOUS 9236 HAS SOUPS 9236 WITH SCORE 9246.153
AT ITER 698 NEW BEST:: SOT 47519 SOS 10131 HAS SOPS 10131 HAS SOUS 9178 HAS SOUPS 9178 WITH SCORE 9188.131
AT ITER 713 NEW BEST:: SOT 47515 SOS 10119 HAS SOPS 10119 HAS SOUS 9170 HAS SOUPS 9170 WITH SCORE 9180.119
AT ITER 726 NEW BEST:: SOT 47539 SOS 10067 HAS SOPS 10067 HAS SOUS 9139 HAS SOUPS 9139 WITH SCORE 9149.067
AT ITER 737 NEW BEST:: SOT 47503 SOS 10100 HAS SOPS 10100 HAS SOUS 9113 HAS SOUPS 9113 WITH SCORE 9123.1
AT ITER 745 NEW BEST:: SOT 47503 SOS 10059 HAS SOPS 10059 HAS SOUS 9113 HAS SOUPS 9113 WITH SCORE 9123.059
AT ITER 748 NEW BEST:: SOT 47481 SOS 10037 HAS SOPS 10037 HAS SOUS 9091 HAS SOUPS 9091 WITH SCORE 9101.037
AT ITER 761 NEW BEST:: SOT 47468 SOS 9998 HAS SOPS 9998 HAS SOUS 9063 HAS SOUPS 9063 WITH SCORE 9072.998
AT ITER 787 NEW BEST:: SOT 47464 SOS 9990 HAS SOPS 9990 HAS SOUS 9055 HAS SOUPS 9055 WITH SCORE 9064.99
AT ITER 834 NEW BEST:: SOT 47464 SOS 9990 HAS SOPS 9990 HAS SOUS 9039 HAS SOUPS 9039 WITH SCORE 9048.99
AT ITER 848 NEW BEST:: SOT 47469 SOS 9995 HAS SOPS 9995 HAS SOUS 9014 HAS SOUPS 9014 WITH SCORE 9023.995
AT ITER 851 NEW BEST:: SOT 47469 SOS 9979 HAS SOPS 9979 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9022.979
AT ITER 852 NEW BEST:: SOT 47469 SOS 9972 HAS SOPS 9972 HAS SOUS 9006 HAS SOUPS 9006 WITH SCORE 9015.972
AT ITER 950 NEW BEST:: SOT 47496 SOS 9990 HAS SOPS 9990 HAS SOUS 9004 HAS SOUPS 9004 WITH SCORE 9013.99
AT ITER 952 NEW BEST:: SOT 47496 SOS 9987 HAS SOPS 9987 HAS SOUS 9001 HAS SOUPS 9001 WITH SCORE 9010.987
AT ITER 960 NEW BEST:: SOT 47494 SOS 9985 HAS SOPS 9985 HAS SOUS 8999 HAS SOUPS 8999 WITH SCORE 9008.985
AT ITER 978 NEW BEST:: SOT 47492 SOS 9981 HAS SOPS 9981 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 8983.981
AT ITER 1049 NEW BEST:: SOT 47501 SOS 9951 HAS SOPS 9951 HAS SOUS 8944 HAS SOUPS 8944 WITH SCORE 8953.951
AT ITER 1052 NEW BEST:: SOT 47500 SOS 9950 HAS SOPS 9950 HAS SOUS 8943 HAS SOUPS 8943 WITH SCORE 8952.95
AT ITER 1099 NEW BEST:: SOT 47502 SOS 9950 HAS SOPS 9950 HAS SOUS 8937 HAS SOUPS 8937 WITH SCORE 8946.95
AT ITER 1123 NEW BEST:: SOT 47512 SOS 9960 HAS SOPS 9960 HAS SOUS 8918 HAS SOUPS 8918 WITH SCORE 8927.96
AT ITER 1130 NEW BEST:: SOT 47514 SOS 9960 HAS SOPS 9960 HAS SOUS 8916 HAS SOUPS 8916 WITH SCORE 8925.96
AT ITER 1140 NEW BEST:: SOT 47514 SOS 9898 HAS SOPS 9898 HAS SOUS 8916 HAS SOUPS 8916 WITH SCORE 8925.898
AT ITER 1157 NEW BEST:: SOT 47510 SOS 9890 HAS SOPS 9890 HAS SOUS 8908 HAS SOUPS 8908 WITH SCORE 8917.89
AT ITER 1161 NEW BEST:: SOT 47498 SOS 9854 HAS SOPS 9854 HAS SOUS 8888 HAS SOUPS 8888 WITH SCORE 8897.854
AT ITER 1163 NEW BEST:: SOT 47504 SOS 9786 HAS SOPS 9786 HAS SOUS 8843 HAS SOUPS 8843 WITH SCORE 8852.786
AT ITER 1171 NEW BEST:: SOT 47498 SOS 9774 HAS SOPS 9774 HAS SOUS 8837 HAS SOUPS 8837 WITH SCORE 8846.774
AT ITER 1205 NEW BEST:: SOT 47499 SOS 9772 HAS SOPS 9772 HAS SOUS 8835 HAS SOUPS 8835 WITH SCORE 8844.772
AT ITER 1211 NEW BEST:: SOT 47484 SOS 9758 HAS SOPS 9758 HAS SOUS 8822 HAS SOUPS 8822 WITH SCORE 8831.758
AT ITER 1328 NEW BEST:: SOT 47476 SOS 9744 HAS SOPS 9744 HAS SOUS 8808 HAS SOUPS 8808 WITH SCORE 8817.744
AT ITER 1349 NEW BEST:: SOT 47461 SOS 9714 HAS SOPS 9714 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8787.714
AT ITER 1371 NEW BEST:: SOT 47461 SOS 9698 HAS SOPS 9698 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8787.698
AT ITER 1374 NEW BEST:: SOT 47461 SOS 9695 HAS SOPS 9695 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8787.695
AT ITER 1378 NEW BEST:: SOT 47461 SOS 9736 HAS SOPS 9736 HAS SOUS 8770 HAS SOUPS 8770 WITH SCORE 8779.736
AT ITER 1394 NEW BEST:: SOT 47461 SOS 9729 HAS SOPS 9729 HAS SOUS 8763 HAS SOUPS 8763 WITH SCORE 8772.729
AT ITER 1395 NEW BEST:: SOT 47466 SOS 9717 HAS SOPS 9717 HAS SOUS 8751 HAS SOUPS 8751 WITH SCORE 8760.717
AT ITER 1431 NEW BEST:: SOT 47466 SOS 9716 HAS SOPS 9716 HAS SOUS 8751 HAS SOUPS 8751 WITH SCORE 8760.716
AT ITER 1445 NEW BEST:: SOT 47460 SOS 9704 HAS SOPS 9704 HAS SOUS 8739 HAS SOUPS 8739 WITH SCORE 8748.704
AT ITER 1448 NEW BEST:: SOT 47445 SOS 9687 HAS SOPS 9687 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8731.687
AT ITER 1450 NEW BEST:: SOT 47441 SOS 9683 HAS SOPS 9683 HAS SOUS 8718 HAS SOUPS 8718 WITH SCORE 8727.683
AT ITER 1452 NEW BEST:: SOT 47432 SOS 9705 HAS SOPS 9705 HAS SOUS 8700 HAS SOUPS 8700 WITH SCORE 8709.705
AT ITER 1453 NEW BEST:: SOT 47431 SOS 9703 HAS SOPS 9703 HAS SOUS 8698 HAS SOUPS 8698 WITH SCORE 8707.703
AT ITER 1468 NEW BEST:: SOT 47431 SOS 9676 HAS SOPS 9676 HAS SOUS 8698 HAS SOUPS 8698 WITH SCORE 8707.676
AT ITER 1538 NEW BEST:: SOT 47427 SOS 9668 HAS SOPS 9668 HAS SOUS 8690 HAS SOUPS 8690 WITH SCORE 8699.668
AT ITER 1546 NEW BEST:: SOT 47416 SOS 9660 HAS SOPS 9660 HAS SOUS 8682 HAS SOUPS 8682 WITH SCORE 8691.66
AT ITER 1552 NEW BEST:: SOT 47416 SOS 9654 HAS SOPS 9654 HAS SOUS 8676 HAS SOUPS 8676 WITH SCORE 8685.654
AT ITER 1622 NEW BEST:: SOT 47416 SOS 9646 HAS SOPS 9646 HAS SOUS 8668 HAS SOUPS 8668 WITH SCORE 8677.646
AT ITER 1646 NEW BEST:: SOT 47416 SOS 9642 HAS SOPS 9642 HAS SOUS 8668 HAS SOUPS 8668 WITH SCORE 8677.642
AT ITER 1647 NEW BEST:: SOT 47408 SOS 9634 HAS SOPS 9634 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8669.634
AT ITER 1657 NEW BEST:: SOT 47395 SOS 9619 HAS SOPS 9619 HAS SOUS 8645 HAS SOUPS 8645 WITH SCORE 8654.619
AT ITER 1679 NEW BEST:: SOT 47385 SOS 9609 HAS SOPS 9609 HAS SOUS 8635 HAS SOUPS 8635 WITH SCORE 8644.609
AT ITER 1719 NEW BEST:: SOT 47385 SOS 9604 HAS SOPS 9604 HAS SOUS 8630 HAS SOUPS 8630 WITH SCORE 8639.604
AT ITER 1749 NEW BEST:: SOT 47382 SOS 9598 HAS SOPS 9598 HAS SOUS 8627 HAS SOUPS 8627 WITH SCORE 8636.598
AT ITER 1785 NEW BEST:: SOT 47382 SOS 9597 HAS SOPS 9597 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8635.597
AT ITER 1787 NEW BEST:: SOT 47382 SOS 9577 HAS SOPS 9577 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8635.577
AT ITER 1797 NEW BEST:: SOT 47376 SOS 9571 HAS SOPS 9571 HAS SOUS 8620 HAS SOUPS 8620 WITH SCORE 8629.571
AT ITER 1801 NEW BEST:: SOT 47374 SOS 9515 HAS SOPS 9515 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8601.515
AT ITER 1818 NEW BEST:: SOT 47374 SOS 9506 HAS SOPS 9506 HAS SOUS 8583 HAS SOUPS 8583 WITH SCORE 8592.506
AT ITER 1821 NEW BEST:: SOT 47376 SOS 9488 HAS SOPS 9488 HAS SOUS 8580 HAS SOUPS 8580 WITH SCORE 8589.488
AT ITER 1827 NEW BEST:: SOT 47388 SOS 9503 HAS SOPS 9503 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8583.503
AT ITER 1845 NEW BEST:: SOT 47380 SOS 9495 HAS SOPS 9495 HAS SOUS 8566 HAS SOUPS 8566 WITH SCORE 8575.495
AT ITER 1857 NEW BEST:: SOT 47380 SOS 9492 HAS SOPS 9492 HAS SOUS 8563 HAS SOUPS 8563 WITH SCORE 8572.492
AT ITER 1858 NEW BEST:: SOT 47380 SOS 9457 HAS SOPS 9457 HAS SOUS 8528 HAS SOUPS 8528 WITH SCORE 8537.457
AT ITER 1946 NEW BEST:: SOT 47380 SOS 9448 HAS SOPS 9448 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8515.448
AT ITER 1972 NEW BEST:: SOT 47380 SOS 9446 HAS SOPS 9446 HAS SOUS 8504 HAS SOUPS 8504 WITH SCORE 8513.446
AT ITER 1992 NEW BEST:: SOT 47393 SOS 9362 HAS SOPS 9362 HAS SOUS 8491 HAS SOUPS 8491 WITH SCORE 8500.362
AT ITER 2056 NEW BEST:: SOT 47390 SOS 9356 HAS SOPS 9356 HAS SOUS 8485 HAS SOUPS 8485 WITH SCORE 8494.356
AT ITER 2103 NEW BEST:: SOT 47389 SOS 9354 HAS SOPS 9354 HAS SOUS 8483 HAS SOUPS 8483 WITH SCORE 8492.354
AT ITER 2166 NEW BEST:: SOT 47383 SOS 9342 HAS SOPS 9342 HAS SOUS 8477 HAS SOUPS 8477 WITH SCORE 8486.342
AT ITER 2184 NEW BEST:: SOT 47383 SOS 9342 HAS SOPS 9342 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8484.342
AT ITER 2212 NEW BEST:: SOT 47383 SOS 9337 HAS SOPS 9337 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8484.337
AT ITER 2223 NEW BEST:: SOT 47381 SOS 9347 HAS SOPS 9347 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8480.347
AT ITER 2270 NEW BEST:: SOT 47374 SOS 9326 HAS SOPS 9326 HAS SOUS 8464 HAS SOUPS 8464 WITH SCORE 8473.326
AT ITER 2272 NEW BEST:: SOT 47374 SOS 9323 HAS SOPS 9323 HAS SOUS 8461 HAS SOUPS 8461 WITH SCORE 8470.323
AT ITER 2290 NEW BEST:: SOT 47374 SOS 9315 HAS SOPS 9315 HAS SOUS 8461 HAS SOUPS 8461 WITH SCORE 8470.315
AT ITER 2320 NEW BEST:: SOT 47372 SOS 9311 HAS SOPS 9311 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8468.311
AT ITER 2330 NEW BEST:: SOT 47364 SOS 9295 HAS SOPS 9295 HAS SOUS 8443 HAS SOUPS 8443 WITH SCORE 8452.295
AT ITER 2334 NEW BEST:: SOT 47382 SOS 9281 HAS SOPS 9281 HAS SOUS 8429 HAS SOUPS 8429 WITH SCORE 8438.281
AT ITER 2353 NEW BEST:: SOT 47376 SOS 9257 HAS SOPS 9257 HAS SOUS 8417 HAS SOUPS 8417 WITH SCORE 8426.257
AT ITER 2359 NEW BEST:: SOT 47370 SOS 9256 HAS SOPS 9256 HAS SOUS 8414 HAS SOUPS 8414 WITH SCORE 8423.256
AT ITER 2371 NEW BEST:: SOT 47369 SOS 9253 HAS SOPS 9253 HAS SOUS 8413 HAS SOUPS 8413 WITH SCORE 8422.253
AT ITER 2374 NEW BEST:: SOT 47368 SOS 9238 HAS SOPS 9238 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8420.238
AT ITER 2387 NEW BEST:: SOT 47361 SOS 9217 HAS SOPS 9217 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8395.217
AT ITER 2428 NEW BEST:: SOT 47361 SOS 9206 HAS SOPS 9206 HAS SOUS 8375 HAS SOUPS 8375 WITH SCORE 8384.206
AT ITER 2443 NEW BEST:: SOT 47329 SOS 9213 HAS SOPS 9213 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8373.213
AT ITER 2451 NEW BEST:: SOT 47323 SOS 9201 HAS SOPS 9201 HAS SOUS 8358 HAS SOUPS 8358 WITH SCORE 8367.201
AT ITER 2472 NEW BEST:: SOT 47319 SOS 9193 HAS SOPS 9193 HAS SOUS 8354 HAS SOUPS 8354 WITH SCORE 8363.193
AT ITER 2523 NEW BEST:: SOT 47316 SOS 9187 HAS SOPS 9187 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8357.187
AT ITER 2550 NEW BEST:: SOT 47306 SOS 9151 HAS SOPS 9151 HAS SOUS 8334 HAS SOUPS 8334 WITH SCORE 8343.151
AT ITER 2551 NEW BEST:: SOT 47306 SOS 9150 HAS SOPS 9150 HAS SOUS 8333 HAS SOUPS 8333 WITH SCORE 8342.15
AT ITER 2555 NEW BEST:: SOT 47304 SOS 9148 HAS SOPS 9148 HAS SOUS 8331 HAS SOUPS 8331 WITH SCORE 8340.148
AT ITER 2573 NEW BEST:: SOT 47300 SOS 9123 HAS SOPS 9123 HAS SOUS 8323 HAS SOUPS 8323 WITH SCORE 8332.123
AT ITER 2577 NEW BEST:: SOT 47279 SOS 9127 HAS SOPS 9127 HAS SOUS 8302 HAS SOUPS 8302 WITH SCORE 8311.127
AT ITER 2621 NEW BEST:: SOT 47276 SOS 9118 HAS SOPS 9118 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8302.118
AT ITER 2631 NEW BEST:: SOT 47276 SOS 9112 HAS SOPS 9112 HAS SOUS 8287 HAS SOUPS 8287 WITH SCORE 8296.112
AT ITER 2637 NEW BEST:: SOT 47276 SOS 9099 HAS SOPS 9099 HAS SOUS 8274 HAS SOUPS 8274 WITH SCORE 8283.099
AT ITER 2655 NEW BEST:: SOT 47273 SOS 9093 HAS SOPS 9093 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8277.093
AT ITER 2660 NEW BEST:: SOT 47276 SOS 9090 HAS SOPS 9090 HAS SOUS 8266 HAS SOUPS 8266 WITH SCORE 8275.09
AT ITER 2675 NEW BEST:: SOT 47263 SOS 9143 HAS SOPS 9143 HAS SOUS 8256 HAS SOUPS 8256 WITH SCORE 8265.143
AT ITER 2692 NEW BEST:: SOT 47257 SOS 9069 HAS SOPS 9069 HAS SOUS 8217 HAS SOUPS 8217 WITH SCORE 8226.069
AT ITER 2695 NEW BEST:: SOT 47257 SOS 9066 HAS SOPS 9066 HAS SOUS 8214 HAS SOUPS 8214 WITH SCORE 8223.066
AT ITER 2701 NEW BEST:: SOT 47252 SOS 9046 HAS SOPS 9046 HAS SOUS 8194 HAS SOUPS 8194 WITH SCORE 8203.046
AT ITER 2714 NEW BEST:: SOT 47250 SOS 9042 HAS SOPS 9042 HAS SOUS 8190 HAS SOUPS 8190 WITH SCORE 8199.042
AT ITER 2718 NEW BEST:: SOT 47247 SOS 9004 HAS SOPS 9004 HAS SOUS 8181 HAS SOUPS 8181 WITH SCORE 8190.004
AT ITER 2736 NEW BEST:: SOT 47247 SOS 8978 HAS SOPS 8978 HAS SOUS 8155 HAS SOUPS 8155 WITH SCORE 8163.978
AT ITER 2749 NEW BEST:: SOT 47242 SOS 8968 HAS SOPS 8968 HAS SOUS 8145 HAS SOUPS 8145 WITH SCORE 8153.968
AT ITER 2784 NEW BEST:: SOT 47235 SOS 8954 HAS SOPS 8954 HAS SOUS 8120 HAS SOUPS 8120 WITH SCORE 8128.954
AT ITER 2789 NEW BEST:: SOT 47240 SOS 8942 HAS SOPS 8942 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8123.942
AT ITER 2824 NEW BEST:: SOT 47228 SOS 8919 HAS SOPS 8919 HAS SOUS 8103 HAS SOUPS 8103 WITH SCORE 8111.919
AT ITER 2836 NEW BEST:: SOT 47226 SOS 8915 HAS SOPS 8915 HAS SOUS 8099 HAS SOUPS 8099 WITH SCORE 8107.915
AT ITER 2840 NEW BEST:: SOT 47226 SOS 8913 HAS SOPS 8913 HAS SOUS 8099 HAS SOUPS 8099 WITH SCORE 8107.913
AT ITER 2874 NEW BEST:: SOT 47221 SOS 8903 HAS SOPS 8903 HAS SOUS 8099 HAS SOUPS 8099 WITH SCORE 8107.903
AT ITER 2912 NEW BEST:: SOT 47228 SOS 8898 HAS SOPS 8898 HAS SOUS 8094 HAS SOUPS 8094 WITH SCORE 8102.898
AT ITER 2915 NEW BEST:: SOT 47221 SOS 8884 HAS SOPS 8884 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8088.884
AT ITER 2920 NEW BEST:: SOT 47235 SOS 8878 HAS SOPS 8878 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8082.878
AT ITER 2940 NEW BEST:: SOT 47223 SOS 8847 HAS SOPS 8847 HAS SOUS 8062 HAS SOUPS 8062 WITH SCORE 8070.847
AT ITER 2970 NEW BEST:: SOT 47221 SOS 8845 HAS SOPS 8845 HAS SOUS 8060 HAS SOUPS 8060 WITH SCORE 8068.845
AT ITER 3022 NEW BEST:: SOT 47211 SOS 8837 HAS SOPS 8837 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8062.837
AT ITER 3143 NEW BEST:: SOT 47211 SOS 8835 HAS SOPS 8835 HAS SOUS 8052 HAS SOUPS 8052 WITH SCORE 8060.835
AT ITER 3157 NEW BEST:: SOT 47203 SOS 8819 HAS SOPS 8819 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8044.819
AT ITER 3179 NEW BEST:: SOT 47184 SOS 8746 HAS SOPS 8746 HAS SOUS 8012 HAS SOUPS 8012 WITH SCORE 8020.746
AT ITER 3185 NEW BEST:: SOT 47183 SOS 8744 HAS SOPS 8744 HAS SOUS 8010 HAS SOUPS 8010 WITH SCORE 8018.744
AT ITER 3212 NEW BEST:: SOT 47183 SOS 8733 HAS SOPS 8733 HAS SOUS 7999 HAS SOUPS 7999 WITH SCORE 8007.733
AT ITER 3219 NEW BEST:: SOT 47203 SOS 8742 HAS SOPS 8742 HAS SOUS 7991 HAS SOUPS 7991 WITH SCORE 7999.742
AT ITER 3238 NEW BEST:: SOT 47200 SOS 8739 HAS SOPS 8739 HAS SOUS 7985 HAS SOUPS 7985 WITH SCORE 7993.739
AT ITER 3273 NEW BEST:: SOT 47191 SOS 8708 HAS SOPS 8708 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7962.708
AT ITER 3333 NEW BEST:: SOT 47182 SOS 8685 HAS SOPS 8685 HAS SOUS 7933 HAS SOUPS 7933 WITH SCORE 7941.685
AT ITER 3337 NEW BEST:: SOT 47189 SOS 8682 HAS SOPS 8682 HAS SOUS 7928 HAS SOUPS 7928 WITH SCORE 7936.682
AT ITER 3357 NEW BEST:: SOT 47185 SOS 8681 HAS SOPS 8681 HAS SOUS 7927 HAS SOUPS 7927 WITH SCORE 7935.681
AT ITER 3400 NEW BEST:: SOT 47182 SOS 8672 HAS SOPS 8672 HAS SOUS 7922 HAS SOUPS 7922 WITH SCORE 7930.672
AT ITER 3402 NEW BEST:: SOT 47173 SOS 8611 HAS SOPS 8611 HAS SOUS 7861 HAS SOUPS 7861 WITH SCORE 7869.611
AT ITER 3405 NEW BEST:: SOT 47141 SOS 8565 HAS SOPS 8565 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7823.565
AT ITER 3466 NEW BEST:: SOT 47141 SOS 8500 HAS SOPS 8500 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7823.5
AT ITER 3487 NEW BEST:: SOT 47144 SOS 8506 HAS SOPS 8506 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7819.506
AT ITER 3499 NEW BEST:: SOT 47143 SOS 8504 HAS SOPS 8504 HAS SOUS 7806 HAS SOUPS 7806 WITH SCORE 7814.504
AT ITER 3524 NEW BEST:: SOT 47131 SOS 8480 HAS SOPS 8480 HAS SOUS 7794 HAS SOUPS 7794 WITH SCORE 7802.48
AT ITER 3555 NEW BEST:: SOT 47142 SOS 8479 HAS SOPS 8479 HAS SOUS 7793 HAS SOUPS 7793 WITH SCORE 7801.479
AT ITER 3566 NEW BEST:: SOT 47137 SOS 8469 HAS SOPS 8469 HAS SOUS 7785 HAS SOUPS 7785 WITH SCORE 7793.469
AT ITER 3604 NEW BEST:: SOT 47133 SOS 8469 HAS SOPS 8469 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7792.469
AT ITER 3618 NEW BEST:: SOT 47133 SOS 8469 HAS SOPS 8469 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7778.469
AT ITER 3640 NEW BEST:: SOT 47133 SOS 8459 HAS SOPS 8459 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7778.459
AT ITER 3644 NEW BEST:: SOT 47131 SOS 8457 HAS SOPS 8457 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7776.457
AT ITER 3650 NEW BEST:: SOT 47131 SOS 8438 HAS SOPS 8438 HAS SOUS 7749 HAS SOUPS 7749 WITH SCORE 7757.438
AT ITER 3673 NEW BEST:: SOT 47128 SOS 8432 HAS SOPS 8432 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7754.432
AT ITER 3699 NEW BEST:: SOT 47123 SOS 8430 HAS SOPS 8430 HAS SOUS 7736 HAS SOUPS 7736 WITH SCORE 7744.43
AT ITER 3715 NEW BEST:: SOT 47123 SOS 8430 HAS SOPS 8430 HAS SOUS 7734 HAS SOUPS 7734 WITH SCORE 7742.43
AT ITER 3717 NEW BEST:: SOT 47123 SOS 8428 HAS SOPS 8428 HAS SOUS 7734 HAS SOUPS 7734 WITH SCORE 7742.428
AT ITER 3724 NEW BEST:: SOT 47114 SOS 8432 HAS SOPS 8432 HAS SOUS 7725 HAS SOUPS 7725 WITH SCORE 7733.432
AT ITER 3753 NEW BEST:: SOT 47106 SOS 8412 HAS SOPS 8412 HAS SOUS 7711 HAS SOUPS 7711 WITH SCORE 7719.412
AT ITER 3763 NEW BEST:: SOT 47105 SOS 8374 HAS SOPS 8374 HAS SOUS 7709 HAS SOUPS 7709 WITH SCORE 7717.374
AT ITER 3764 NEW BEST:: SOT 47099 SOS 8370 HAS SOPS 8370 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7713.37
AT ITER 3787 NEW BEST:: SOT 47100 SOS 8369 HAS SOPS 8369 HAS SOUS 7704 HAS SOUPS 7704 WITH SCORE 7712.369
AT ITER 3822 NEW BEST:: SOT 47095 SOS 8421 HAS SOPS 8421 HAS SOUS 7699 HAS SOUPS 7699 WITH SCORE 7707.421
AT ITER 3828 NEW BEST:: SOT 47089 SOS 8409 HAS SOPS 8409 HAS SOUS 7687 HAS SOUPS 7687 WITH SCORE 7695.409
AT ITER 3838 NEW BEST:: SOT 47086 SOS 8424 HAS SOPS 8424 HAS SOUS 7679 HAS SOUPS 7679 WITH SCORE 7687.424
AT ITER 3866 NEW BEST:: SOT 47082 SOS 8415 HAS SOPS 8415 HAS SOUS 7671 HAS SOUPS 7671 WITH SCORE 7679.415
AT ITER 3867 NEW BEST:: SOT 47076 SOS 8403 HAS SOPS 8403 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7667.403
AT ITER 3897 NEW BEST:: SOT 47077 SOS 8421 HAS SOPS 8421 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7649.421
AT ITER 3935 NEW BEST:: SOT 47077 SOS 8414 HAS SOPS 8414 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7649.414
AT ITER 3960 NEW BEST:: SOT 47076 SOS 8391 HAS SOPS 8391 HAS SOUS 7618 HAS SOUPS 7618 WITH SCORE 7626.391
AT ITER 3965 NEW BEST:: SOT 47076 SOS 8389 HAS SOPS 8389 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7624.389
AT ITER 3992 NEW BEST:: SOT 47076 SOS 8389 HAS SOPS 8389 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7603.389
AT ITER 4051 NEW BEST:: SOT 47068 SOS 8365 HAS SOPS 8365 HAS SOUS 7579 HAS SOUPS 7579 WITH SCORE 7587.365
AT ITER 4085 NEW BEST:: SOT 47068 SOS 8358 HAS SOPS 8358 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7580.358
AT ITER 4116 NEW BEST:: SOT 47068 SOS 8351 HAS SOPS 8351 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7573.351
AT ITER 4126 NEW BEST:: SOT 47068 SOS 8340 HAS SOPS 8340 HAS SOUS 7554 HAS SOUPS 7554 WITH SCORE 7562.34
AT ITER 4157 NEW BEST:: SOT 47079 SOS 8323 HAS SOPS 8323 HAS SOUS 7551 HAS SOUPS 7551 WITH SCORE 7559.323
AT ITER 4170 NEW BEST:: SOT 47079 SOS 8314 HAS SOPS 8314 HAS SOUS 7551 HAS SOUPS 7551 WITH SCORE 7559.314
AT ITER 4192 NEW BEST:: SOT 47076 SOS 8311 HAS SOPS 8311 HAS SOUS 7551 HAS SOUPS 7551 WITH SCORE 7559.311
AT ITER 4253 NEW BEST:: SOT 47084 SOS 8316 HAS SOPS 8316 HAS SOUS 7545 HAS SOUPS 7545 WITH SCORE 7553.316
AT ITER 4278 NEW BEST:: SOT 47084 SOS 8298 HAS SOPS 8298 HAS SOUS 7538 HAS SOUPS 7538 WITH SCORE 7546.298
AT ITER 4294 NEW BEST:: SOT 47077 SOS 8284 HAS SOPS 8284 HAS SOUS 7524 HAS SOUPS 7524 WITH SCORE 7532.284
AT ITER 4351 NEW BEST:: SOT 47068 SOS 8280 HAS SOPS 8280 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7528.28
AT ITER 4469 NEW BEST:: SOT 47067 SOS 8280 HAS SOPS 8280 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7527.28
AT ITER 4523 NEW BEST:: SOT 47056 SOS 8258 HAS SOPS 8258 HAS SOUS 7508 HAS SOUPS 7508 WITH SCORE 7516.258
AT ITER 4532 NEW BEST:: SOT 47046 SOS 8244 HAS SOPS 8244 HAS SOUS 7498 HAS SOUPS 7498 WITH SCORE 7506.244
AT ITER 4539 NEW BEST:: SOT 47043 SOS 8238 HAS SOPS 8238 HAS SOUS 7498 HAS SOUPS 7498 WITH SCORE 7506.238
AT ITER 4576 NEW BEST:: SOT 47039 SOS 8230 HAS SOPS 8230 HAS SOUS 7490 HAS SOUPS 7490 WITH SCORE 7498.23
AT ITER 4616 NEW BEST:: SOT 47039 SOS 8221 HAS SOPS 8221 HAS SOUS 7490 HAS SOUPS 7490 WITH SCORE 7498.221
AT ITER 4617 NEW BEST:: SOT 47035 SOS 8217 HAS SOPS 8217 HAS SOUS 7486 HAS SOUPS 7486 WITH SCORE 7494.217
AT ITER 4618 NEW BEST:: SOT 47029 SOS 8211 HAS SOPS 8211 HAS SOUS 7480 HAS SOUPS 7480 WITH SCORE 7488.211
AT ITER 4623 NEW BEST:: SOT 47028 SOS 8209 HAS SOPS 8209 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7486.209
AT ITER 4631 NEW BEST:: SOT 47028 SOS 8209 HAS SOPS 8209 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7484.209
AT ITER 4670 NEW BEST:: SOT 47028 SOS 8191 HAS SOPS 8191 HAS SOUS 7458 HAS SOUPS 7458 WITH SCORE 7466.191
AT ITER 4691 NEW BEST:: SOT 47017 SOS 8192 HAS SOPS 8192 HAS SOUS 7447 HAS SOUPS 7447 WITH SCORE 7455.192
AT ITER 4716 NEW BEST:: SOT 47007 SOS 8172 HAS SOPS 8172 HAS SOUS 7427 HAS SOUPS 7427 WITH SCORE 7435.172
AT ITER 4722 NEW BEST:: SOT 47006 SOS 8170 HAS SOPS 8170 HAS SOUS 7424 HAS SOUPS 7424 WITH SCORE 7432.17
AT ITER 4745 NEW BEST:: SOT 47007 SOS 8172 HAS SOPS 8172 HAS SOUS 7423 HAS SOUPS 7423 WITH SCORE 7431.172
AT ITER 4747 NEW BEST:: SOT 47008 SOS 8168 HAS SOPS 8168 HAS SOUS 7419 HAS SOUPS 7419 WITH SCORE 7427.168
AT ITER 4798 NEW BEST:: SOT 47018 SOS 8161 HAS SOPS 8161 HAS SOUS 7412 HAS SOUPS 7412 WITH SCORE 7420.161
AT ITER 4814 NEW BEST:: SOT 47014 SOS 8157 HAS SOPS 8157 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7416.157
AT ITER 4965 NEW BEST:: SOT 47014 SOS 8156 HAS SOPS 8156 HAS SOUS 7407 HAS SOUPS 7407 WITH SCORE 7415.156
AT ITER 5031 NEW BEST:: SOT 47010 SOS 8140 HAS SOPS 8140 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7411.14
AT ITER 5046 NEW BEST:: SOT 47003 SOS 8126 HAS SOPS 8126 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7411.126
AT ITER 5072 NEW BEST:: SOT 46997 SOS 8118 HAS SOPS 8118 HAS SOUS 7395 HAS SOUPS 7395 WITH SCORE 7403.118
AT ITER 5075 NEW BEST:: SOT 46997 SOS 8115 HAS SOPS 8115 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7400.115
AT ITER 5086 NEW BEST:: SOT 46995 SOS 8111 HAS SOPS 8111 HAS SOUS 7388 HAS SOUPS 7388 WITH SCORE 7396.111
AT ITER 5131 NEW BEST:: SOT 46994 SOS 8109 HAS SOPS 8109 HAS SOUS 7385 HAS SOUPS 7385 WITH SCORE 7393.109
AT ITER 5148 NEW BEST:: SOT 46972 SOS 8065 HAS SOPS 8065 HAS SOUS 7345 HAS SOUPS 7345 WITH SCORE 7353.065
AT ITER 5162 NEW BEST:: SOT 46969 SOS 8059 HAS SOPS 8059 HAS SOUS 7339 HAS SOUPS 7339 WITH SCORE 7347.059
AT ITER 5175 NEW BEST:: SOT 46967 SOS 8055 HAS SOPS 8055 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7343.055
AT ITER 5226 NEW BEST:: SOT 46967 SOS 8016 HAS SOPS 8016 HAS SOUS 7321 HAS SOUPS 7321 WITH SCORE 7329.016
AT ITER 5235 NEW BEST:: SOT 46952 SOS 7965 HAS SOPS 7965 HAS SOUS 7293 HAS SOUPS 7293 WITH SCORE 7300.965
AT ITER 5252 NEW BEST:: SOT 46952 SOS 7944 HAS SOPS 7944 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7295.944
AT ITER 5292 NEW BEST:: SOT 46952 SOS 7941 HAS SOPS 7941 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7289.941
AT ITER 5355 NEW BEST:: SOT 46948 SOS 7937 HAS SOPS 7937 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7289.937
AT ITER 5361 NEW BEST:: SOT 46958 SOS 7957 HAS SOPS 7957 HAS SOUS 7273 HAS SOUPS 7273 WITH SCORE 7280.957
AT ITER 5364 NEW BEST:: SOT 46953 SOS 7952 HAS SOPS 7952 HAS SOUS 7268 HAS SOUPS 7268 WITH SCORE 7275.952
AT ITER 5385 NEW BEST:: SOT 46953 SOS 7950 HAS SOPS 7950 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7271.95
AT ITER 5427 NEW BEST:: SOT 46953 SOS 7979 HAS SOPS 7979 HAS SOUS 7262 HAS SOUPS 7262 WITH SCORE 7269.979
AT ITER 5446 NEW BEST:: SOT 46957 SOS 7946 HAS SOPS 7946 HAS SOUS 7229 HAS SOUPS 7229 WITH SCORE 7236.946
AT ITER 5510 NEW BEST:: SOT 46957 SOS 7944 HAS SOPS 7944 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7234.944
AT ITER 5577 NEW BEST:: SOT 46952 SOS 7936 HAS SOPS 7936 HAS SOUS 7219 HAS SOUPS 7219 WITH SCORE 7226.936
AT ITER 5581 NEW BEST:: SOT 46947 SOS 7926 HAS SOPS 7926 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7216.926
AT ITER 5773 NEW BEST:: SOT 46954 SOS 7868 HAS SOPS 7868 HAS SOUS 7195 HAS SOUPS 7195 WITH SCORE 7202.868
AT ITER 5778 NEW BEST:: SOT 46942 SOS 7896 HAS SOPS 7896 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7200.896
AT ITER 5785 NEW BEST:: SOT 46935 SOS 7889 HAS SOPS 7889 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7193.889
AT ITER 5851 NEW BEST:: SOT 46936 SOS 7887 HAS SOPS 7887 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7191.887
AT ITER 5857 NEW BEST:: SOT 46937 SOS 7889 HAS SOPS 7889 HAS SOUS 7182 HAS SOUPS 7182 WITH SCORE 7189.889
AT ITER 5860 NEW BEST:: SOT 46937 SOS 7889 HAS SOPS 7889 HAS SOUS 7179 HAS SOUPS 7179 WITH SCORE 7186.889
AT ITER 5888 NEW BEST:: SOT 46933 SOS 7881 HAS SOPS 7881 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7178.881
AT ITER 5894 NEW BEST:: SOT 46940 SOS 7895 HAS SOPS 7895 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7162.895
AT ITER 5919 NEW BEST:: SOT 46941 SOS 7888 HAS SOPS 7888 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7155.888
AT ITER 6089 NEW BEST:: SOT 46939 SOS 7886 HAS SOPS 7886 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7153.886
AT ITER 6090 NEW BEST:: SOT 46939 SOS 7884 HAS SOPS 7884 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7153.884
AT ITER 6174 NEW BEST:: SOT 46951 SOS 7896 HAS SOPS 7896 HAS SOUS 7134 HAS SOUPS 7134 WITH SCORE 7141.896
AT ITER 6246 NEW BEST:: SOT 46951 SOS 7903 HAS SOPS 7903 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7138.903
AT ITER 6269 NEW BEST:: SOT 46917 SOS 7827 HAS SOPS 7827 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7062.827
AT ITER 6348 NEW BEST:: SOT 46917 SOS 7827 HAS SOPS 7827 HAS SOUS 7052 HAS SOUPS 7052 WITH SCORE 7059.827
AT ITER 6352 NEW BEST:: SOT 46917 SOS 7824 HAS SOPS 7824 HAS SOUS 7049 HAS SOUPS 7049 WITH SCORE 7056.824
AT ITER 6370 NEW BEST:: SOT 46917 SOS 7823 HAS SOPS 7823 HAS SOUS 7049 HAS SOUPS 7049 WITH SCORE 7056.823
AT ITER 6389 NEW BEST:: SOT 46904 SOS 7797 HAS SOPS 7797 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7030.797
AT ITER 6492 NEW BEST:: SOT 46894 SOS 7777 HAS SOPS 7777 HAS SOUS 7003 HAS SOUPS 7003 WITH SCORE 7010.777
AT ITER 6518 NEW BEST:: SOT 46883 SOS 7774 HAS SOPS 7774 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7007.774
AT ITER 6525 NEW BEST:: SOT 46883 SOS 7749 HAS SOPS 7749 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6957.749
AT ITER 6526 NEW BEST:: SOT 46878 SOS 7738 HAS SOPS 7738 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6946.738
AT ITER 6528 NEW BEST:: SOT 46878 SOS 7720 HAS SOPS 7720 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6946.72
AT ITER 6679 NEW BEST:: SOT 46882 SOS 7728 HAS SOPS 7728 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6920.728
AT ITER 6739 NEW BEST:: SOT 46880 SOS 7753 HAS SOPS 7753 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6916.753
AT ITER 6769 NEW BEST:: SOT 46871 SOS 7735 HAS SOPS 7735 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6907.735
AT ITER 6773 NEW BEST:: SOT 46861 SOS 7729 HAS SOPS 7729 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6901.729
AT ITER 6789 NEW BEST:: SOT 46858 SOS 7723 HAS SOPS 7723 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6895.723
AT ITER 6818 NEW BEST:: SOT 46849 SOS 7677 HAS SOPS 7677 HAS SOUS 6842 HAS SOUPS 6842 WITH SCORE 6849.677
AT ITER 6841 NEW BEST:: SOT 46844 SOS 7689 HAS SOPS 7689 HAS SOUS 6837 HAS SOUPS 6837 WITH SCORE 6844.689
AT ITER 6967 NEW BEST:: SOT 46838 SOS 7677 HAS SOPS 7677 HAS SOUS 6825 HAS SOUPS 6825 WITH SCORE 6832.677
AT ITER 6984 NEW BEST:: SOT 46835 SOS 7671 HAS SOPS 7671 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6829.671
AT ITER 7005 NEW BEST:: SOT 46833 SOS 7665 HAS SOPS 7665 HAS SOUS 6816 HAS SOUPS 6816 WITH SCORE 6823.665
AT ITER 7154 NEW BEST:: SOT 46831 SOS 7661 HAS SOPS 7661 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6817.661
AT ITER 7189 NEW BEST:: SOT 46830 SOS 7659 HAS SOPS 7659 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6816.659
AT ITER 7244 NEW BEST:: SOT 46837 SOS 7658 HAS SOPS 7658 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6815.658
AT ITER 7296 NEW BEST:: SOT 46842 SOS 7668 HAS SOPS 7668 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6814.668
AT ITER 7324 NEW BEST:: SOT 46850 SOS 7664 HAS SOPS 7664 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6810.664
AT ITER 7334 NEW BEST:: SOT 46850 SOS 7663 HAS SOPS 7663 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6809.663
AT ITER 7381 NEW BEST:: SOT 46846 SOS 7655 HAS SOPS 7655 HAS SOUS 6796 HAS SOUPS 6796 WITH SCORE 6803.655
AT ITER 7387 NEW BEST:: SOT 46855 SOS 7673 HAS SOPS 7673 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6789.673
AT ITER 7390 NEW BEST:: SOT 46854 SOS 7672 HAS SOPS 7672 HAS SOUS 6781 HAS SOUPS 6781 WITH SCORE 6788.672
AT ITER 7397 NEW BEST:: SOT 46852 SOS 7668 HAS SOPS 7668 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6784.668
AT ITER 7414 NEW BEST:: SOT 46852 SOS 7650 HAS SOPS 7650 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6784.65
AT ITER 7507 NEW BEST:: SOT 46852 SOS 7646 HAS SOPS 7646 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6780.646
AT ITER 7546 NEW BEST:: SOT 46847 SOS 7609 HAS SOPS 7609 HAS SOUS 6763 HAS SOUPS 6763 WITH SCORE 6770.609
AT ITER 7559 NEW BEST:: SOT 46847 SOS 7600 HAS SOPS 7600 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6767.6
AT ITER 7562 NEW BEST:: SOT 46838 SOS 7582 HAS SOPS 7582 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6749.582
AT ITER 7619 NEW BEST:: SOT 46853 SOS 7581 HAS SOPS 7581 HAS SOUS 6741 HAS SOUPS 6741 WITH SCORE 6748.581
AT ITER 7679 NEW BEST:: SOT 46853 SOS 7581 HAS SOPS 7581 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6740.581
AT ITER 7728 NEW BEST:: SOT 46858 SOS 7587 HAS SOPS 7587 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6739.587
AT ITER 7937 NEW BEST:: SOT 46858 SOS 7566 HAS SOPS 7566 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6718.566
AT ITER 7991 NEW BEST:: SOT 46854 SOS 7558 HAS SOPS 7558 HAS SOUS 6703 HAS SOUPS 6703 WITH SCORE 6710.558
AT ITER 7994 NEW BEST:: SOT 46848 SOS 7552 HAS SOPS 7552 HAS SOUS 6703 HAS SOUPS 6703 WITH SCORE 6710.552
AT ITER 8020 NEW BEST:: SOT 46851 SOS 7553 HAS SOPS 7553 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6708.553
AT ITER 8117 NEW BEST:: SOT 46849 SOS 7547 HAS SOPS 7547 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6704.547
AT ITER 8133 NEW BEST:: SOT 46849 SOS 7533 HAS SOPS 7533 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6701.533
AT ITER 8180 NEW BEST:: SOT 46838 SOS 7529 HAS SOPS 7529 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6697.529
AT ITER 8224 NEW BEST:: SOT 46838 SOS 7525 HAS SOPS 7525 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6689.525
AT ITER 8260 NEW BEST:: SOT 46838 SOS 7518 HAS SOPS 7518 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6689.518
AT ITER 8331 NEW BEST:: SOT 46838 SOS 7494 HAS SOPS 7494 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6665.494
AT ITER 8433 NEW BEST:: SOT 46838 SOS 7490 HAS SOPS 7490 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6662.49
AT ITER 8527 NEW BEST:: SOT 46832 SOS 7481 HAS SOPS 7481 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6659.481
AT ITER 8541 NEW BEST:: SOT 46832 SOS 7478 HAS SOPS 7478 HAS SOUS 6649 HAS SOUPS 6649 WITH SCORE 6656.478
AT ITER 8545 NEW BEST:: SOT 46826 SOS 7466 HAS SOPS 7466 HAS SOUS 6633 HAS SOUPS 6633 WITH SCORE 6640.466
AT ITER 8581 NEW BEST:: SOT 46826 SOS 7459 HAS SOPS 7459 HAS SOUS 6619 HAS SOUPS 6619 WITH SCORE 6626.459
AT ITER 8621 NEW BEST:: SOT 46826 SOS 7447 HAS SOPS 7447 HAS SOUS 6615 HAS SOUPS 6615 WITH SCORE 6622.447
AT ITER 8668 NEW BEST:: SOT 46822 SOS 7432 HAS SOPS 7432 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6607.432
AT ITER 8685 NEW BEST:: SOT 46842 SOS 7398 HAS SOPS 7398 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6601.398
AT ITER 8689 NEW BEST:: SOT 46840 SOS 7393 HAS SOPS 7393 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6596.393
AT ITER 8706 NEW BEST:: SOT 46839 SOS 7396 HAS SOPS 7396 HAS SOUS 6588 HAS SOUPS 6588 WITH SCORE 6595.396
AT ITER 8710 NEW BEST:: SOT 46837 SOS 7392 HAS SOPS 7392 HAS SOUS 6584 HAS SOUPS 6584 WITH SCORE 6591.392
AT ITER 8718 NEW BEST:: SOT 46835 SOS 7393 HAS SOPS 7393 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6588.393
AT ITER 8810 NEW BEST:: SOT 46839 SOS 7389 HAS SOPS 7389 HAS SOUS 6577 HAS SOUPS 6577 WITH SCORE 6584.389
AT ITER 8825 NEW BEST:: SOT 46837 SOS 7385 HAS SOPS 7385 HAS SOUS 6573 HAS SOUPS 6573 WITH SCORE 6580.385
AT ITER 8899 NEW BEST:: SOT 46837 SOS 7373 HAS SOPS 7373 HAS SOUS 6573 HAS SOUPS 6573 WITH SCORE 6580.373
AT ITER 8950 NEW BEST:: SOT 46833 SOS 7365 HAS SOPS 7365 HAS SOUS 6565 HAS SOUPS 6565 WITH SCORE 6572.365
AT ITER 8983 NEW BEST:: SOT 46826 SOS 7390 HAS SOPS 7390 HAS SOUS 6564 HAS SOUPS 6564 WITH SCORE 6571.39
AT ITER 9026 NEW BEST:: SOT 46826 SOS 7386 HAS SOPS 7386 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6567.386
AT ITER 9155 NEW BEST:: SOT 46816 SOS 7360 HAS SOPS 7360 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6544.36
AT ITER 9231 NEW BEST:: SOT 46816 SOS 7355 HAS SOPS 7355 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6539.355
AT ITER 9255 NEW BEST:: SOT 46800 SOS 7384 HAS SOPS 7384 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6533.384
AT ITER 9260 NEW BEST:: SOT 46811 SOS 7387 HAS SOPS 7387 HAS SOUS 6525 HAS SOUPS 6525 WITH SCORE 6532.387
AT ITER 9303 NEW BEST:: SOT 46811 SOS 7383 HAS SOPS 7383 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6528.383
AT ITER 9309 NEW BEST:: SOT 46812 SOS 7381 HAS SOPS 7381 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6526.381
AT ITER 9339 NEW BEST:: SOT 46810 SOS 7360 HAS SOPS 7360 HAS SOUS 6508 HAS SOUPS 6508 WITH SCORE 6515.36
AT ITER 9373 NEW BEST:: SOT 46810 SOS 7350 HAS SOPS 7350 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6505.35
AT ITER 9387 NEW BEST:: SOT 46814 SOS 7342 HAS SOPS 7342 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6505.342
AT ITER 9431 NEW BEST:: SOT 46814 SOS 7338 HAS SOPS 7338 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6505.338
AT ITER 9443 NEW BEST:: SOT 46814 SOS 7312 HAS SOPS 7312 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6479.312
AT ITER 9499 NEW BEST:: SOT 46809 SOS 7307 HAS SOPS 7307 HAS SOUS 6467 HAS SOUPS 6467 WITH SCORE 6474.307
AT ITER 9504 NEW BEST:: SOT 46807 SOS 7305 HAS SOPS 7305 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6472.305
AT ITER 9551 NEW BEST:: SOT 46807 SOS 7303 HAS SOPS 7303 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6472.303
AT ITER 9573 NEW BEST:: SOT 46807 SOS 7302 HAS SOPS 7302 HAS SOUS 6464 HAS SOUPS 6464 WITH SCORE 6471.302
AT ITER 9620 NEW BEST:: SOT 46807 SOS 7299 HAS SOPS 7299 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6468.299
AT ITER 9671 NEW BEST:: SOT 46807 SOS 7299 HAS SOPS 7299 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6467.299
AT ITER 9706 NEW BEST:: SOT 46804 SOS 7296 HAS SOPS 7296 HAS SOUS 6457 HAS SOUPS 6457 WITH SCORE 6464.296
AT ITER 9737 NEW BEST:: SOT 46818 SOS 7292 HAS SOPS 7292 HAS SOUS 6453 HAS SOUPS 6453 WITH SCORE 6460.292
AT ITER 9783 NEW BEST:: SOT 46817 SOS 7290 HAS SOPS 7290 HAS SOUS 6451 HAS SOUPS 6451 WITH SCORE 6458.29
AT ITER 9792 NEW BEST:: SOT 46816 SOS 7289 HAS SOPS 7289 HAS SOUS 6449 HAS SOUPS 6449 WITH SCORE 6456.289
AT ITER 9849 NEW BEST:: SOT 46816 SOS 7289 HAS SOPS 7289 HAS SOUS 6448 HAS SOUPS 6448 WITH SCORE 6455.289
AT ITER 9926 NEW BEST:: SOT 46811 SOS 7283 HAS SOPS 7283 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6449.283
AT ITER 9996 NEW BEST:: SOT 46811 SOS 7281 HAS SOPS 7281 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6447.281

BK_TIME_CONFINEMENT_REACHED

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

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="AutoFlight-PT-03b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is AutoFlight-PT-03b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508500409"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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