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.r451-smll-167912643200216.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 smart
Input is SmartHome-PT-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643200216
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 6.9K Feb 26 05:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 05:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 05:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 05:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 05:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 127K Feb 26 05:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 05:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 05:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 64K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679182898025

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SmartHome-PT-08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 252 places, 291 transitions, 664 arcs.
AT ITER 0 NEW BEST:: SOT 43937 SOS 10855 HAS SOPS 10855 HAS SOUS 10499 HAS SOUPS 10499 WITH SCORE 10509.855
AT ITER 2 NEW BEST:: SOT 43893 SOS 10767 HAS SOPS 10767 HAS SOUS 10411 HAS SOUPS 10411 WITH SCORE 10421.767
AT ITER 7 NEW BEST:: SOT 43881 SOS 10743 HAS SOPS 10743 HAS SOUS 10360 HAS SOUPS 10360 WITH SCORE 10370.743
AT ITER 8 NEW BEST:: SOT 43875 SOS 10731 HAS SOPS 10731 HAS SOUS 10356 HAS SOUPS 10356 WITH SCORE 10366.731
AT ITER 11 NEW BEST:: SOT 43869 SOS 10725 HAS SOPS 10725 HAS SOUS 10350 HAS SOUPS 10350 WITH SCORE 10360.725
AT ITER 19 NEW BEST:: SOT 43374 SOS 10377 HAS SOPS 10377 HAS SOUS 9947 HAS SOUPS 9947 WITH SCORE 9957.377
AT ITER 37 NEW BEST:: SOT 43253 SOS 10333 HAS SOPS 10333 HAS SOUS 9837 HAS SOUPS 9837 WITH SCORE 9847.333
AT ITER 41 NEW BEST:: SOT 43252 SOS 10331 HAS SOPS 10331 HAS SOUS 9835 HAS SOUPS 9835 WITH SCORE 9845.331
AT ITER 66 NEW BEST:: SOT 43022 SOS 10209 HAS SOPS 10209 HAS SOUS 9605 HAS SOUPS 9605 WITH SCORE 9615.209
AT ITER 70 NEW BEST:: SOT 43021 SOS 10207 HAS SOPS 10207 HAS SOUS 9601 HAS SOUPS 9601 WITH SCORE 9611.207
AT ITER 73 NEW BEST:: SOT 43003 SOS 10206 HAS SOPS 10206 HAS SOUS 9600 HAS SOUPS 9600 WITH SCORE 9610.206
AT ITER 74 NEW BEST:: SOT 42976 SOS 10179 HAS SOPS 10179 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9583.179
AT ITER 103 NEW BEST:: SOT 42968 SOS 10171 HAS SOPS 10171 HAS SOUS 9557 HAS SOUPS 9557 WITH SCORE 9567.171
AT ITER 108 NEW BEST:: SOT 42942 SOS 10130 HAS SOPS 10130 HAS SOUS 9505 HAS SOUPS 9505 WITH SCORE 9515.13
AT ITER 124 NEW BEST:: SOT 42942 SOS 10119 HAS SOPS 10119 HAS SOUS 9494 HAS SOUPS 9494 WITH SCORE 9504.119
AT ITER 143 NEW BEST:: SOT 42940 SOS 10115 HAS SOPS 10115 HAS SOUS 9490 HAS SOUPS 9490 WITH SCORE 9500.115
AT ITER 145 NEW BEST:: SOT 42895 SOS 10098 HAS SOPS 10098 HAS SOUS 9473 HAS SOUPS 9473 WITH SCORE 9483.098
AT ITER 156 NEW BEST:: SOT 42877 SOS 10091 HAS SOPS 10091 HAS SOUS 9466 HAS SOUPS 9466 WITH SCORE 9476.091
AT ITER 157 NEW BEST:: SOT 42788 SOS 10014 HAS SOPS 10014 HAS SOUS 9389 HAS SOUPS 9389 WITH SCORE 9399.014
AT ITER 158 NEW BEST:: SOT 42785 SOS 10008 HAS SOPS 10008 HAS SOUS 9383 HAS SOUPS 9383 WITH SCORE 9393.008
AT ITER 160 NEW BEST:: SOT 42769 SOS 10000 HAS SOPS 10000 HAS SOUS 9345 HAS SOUPS 9345 WITH SCORE 9355.0
AT ITER 176 NEW BEST:: SOT 42598 SOS 10271 HAS SOPS 10271 HAS SOUS 9209 HAS SOUPS 9209 WITH SCORE 9219.271
AT ITER 186 NEW BEST:: SOT 42598 SOS 10253 HAS SOPS 10253 HAS SOUS 9209 HAS SOUPS 9209 WITH SCORE 9219.253
AT ITER 205 NEW BEST:: SOT 42598 SOS 10253 HAS SOPS 10253 HAS SOUS 9208 HAS SOUPS 9208 WITH SCORE 9218.253
AT ITER 219 NEW BEST:: SOT 42598 SOS 10245 HAS SOPS 10245 HAS SOUS 9200 HAS SOUPS 9200 WITH SCORE 9210.245
AT ITER 233 NEW BEST:: SOT 42510 SOS 10743 HAS SOPS 10743 HAS SOUS 9171 HAS SOUPS 9171 WITH SCORE 9181.743
AT ITER 237 NEW BEST:: SOT 42510 SOS 10734 HAS SOPS 10734 HAS SOUS 9162 HAS SOUPS 9162 WITH SCORE 9172.734
AT ITER 241 NEW BEST:: SOT 42494 SOS 10702 HAS SOPS 10702 HAS SOUS 9125 HAS SOUPS 9125 WITH SCORE 9135.702
AT ITER 258 NEW BEST:: SOT 42459 SOS 10632 HAS SOPS 10632 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9100.632
AT ITER 265 NEW BEST:: SOT 42461 SOS 10629 HAS SOPS 10629 HAS SOUS 9087 HAS SOUPS 9087 WITH SCORE 9097.629
AT ITER 275 NEW BEST:: SOT 42472 SOS 10635 HAS SOPS 10635 HAS SOUS 9080 HAS SOUPS 9080 WITH SCORE 9090.635
AT ITER 278 NEW BEST:: SOT 42441 SOS 10514 HAS SOPS 10514 HAS SOUS 9001 HAS SOUPS 9001 WITH SCORE 9011.514
AT ITER 279 NEW BEST:: SOT 42458 SOS 10548 HAS SOPS 10548 HAS SOUS 8978 HAS SOUPS 8978 WITH SCORE 8988.548
AT ITER 281 NEW BEST:: SOT 42449 SOS 10539 HAS SOPS 10539 HAS SOUS 8966 HAS SOUPS 8966 WITH SCORE 8976.539
AT ITER 294 NEW BEST:: SOT 42451 SOS 10528 HAS SOPS 10528 HAS SOUS 8955 HAS SOUPS 8955 WITH SCORE 8965.528
AT ITER 335 NEW BEST:: SOT 42451 SOS 10513 HAS SOPS 10513 HAS SOUS 8940 HAS SOUPS 8940 WITH SCORE 8950.513
AT ITER 344 NEW BEST:: SOT 42391 SOS 10393 HAS SOPS 10393 HAS SOUS 8817 HAS SOUPS 8817 WITH SCORE 8827.393
AT ITER 355 NEW BEST:: SOT 42203 SOS 11295 HAS SOPS 11295 HAS SOUS 8811 HAS SOUPS 8811 WITH SCORE 8822.295
AT ITER 362 NEW BEST:: SOT 42174 SOS 11295 HAS SOPS 11295 HAS SOUS 8810 HAS SOUPS 8810 WITH SCORE 8821.295
AT ITER 365 NEW BEST:: SOT 42135 SOS 11216 HAS SOPS 11216 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8778.216
AT ITER 367 NEW BEST:: SOT 42141 SOS 11201 HAS SOPS 11201 HAS SOUS 8762 HAS SOUPS 8762 WITH SCORE 8773.201
AT ITER 374 NEW BEST:: SOT 42107 SOS 10912 HAS SOPS 10912 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8738.912
AT ITER 412 NEW BEST:: SOT 42107 SOS 10868 HAS SOPS 10868 HAS SOUS 8702 HAS SOUPS 8702 WITH SCORE 8712.868
AT ITER 443 NEW BEST:: SOT 42100 SOS 10864 HAS SOPS 10864 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8693.864
AT ITER 449 NEW BEST:: SOT 42086 SOS 10836 HAS SOPS 10836 HAS SOUS 8669 HAS SOUPS 8669 WITH SCORE 8679.836
AT ITER 453 NEW BEST:: SOT 42053 SOS 10835 HAS SOPS 10835 HAS SOUS 8663 HAS SOUPS 8663 WITH SCORE 8673.835
AT ITER 457 NEW BEST:: SOT 42053 SOS 10835 HAS SOPS 10835 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8658.835
AT ITER 458 NEW BEST:: SOT 42053 SOS 10828 HAS SOPS 10828 HAS SOUS 8641 HAS SOUPS 8641 WITH SCORE 8651.828
AT ITER 467 NEW BEST:: SOT 42064 SOS 10822 HAS SOPS 10822 HAS SOUS 8635 HAS SOUPS 8635 WITH SCORE 8645.822
AT ITER 483 NEW BEST:: SOT 42055 SOS 10811 HAS SOPS 10811 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8636.811
AT ITER 487 NEW BEST:: SOT 42045 SOS 10801 HAS SOPS 10801 HAS SOUS 8616 HAS SOUPS 8616 WITH SCORE 8626.801
AT ITER 513 NEW BEST:: SOT 42033 SOS 10789 HAS SOPS 10789 HAS SOUS 8604 HAS SOUPS 8604 WITH SCORE 8614.789
AT ITER 515 NEW BEST:: SOT 42039 SOS 10718 HAS SOPS 10718 HAS SOUS 8576 HAS SOUPS 8576 WITH SCORE 8586.718
AT ITER 527 NEW BEST:: SOT 42004 SOS 10648 HAS SOPS 10648 HAS SOUS 8549 HAS SOUPS 8549 WITH SCORE 8559.648
AT ITER 536 NEW BEST:: SOT 41976 SOS 10592 HAS SOPS 10592 HAS SOUS 8523 HAS SOUPS 8523 WITH SCORE 8533.592
AT ITER 554 NEW BEST:: SOT 41973 SOS 10589 HAS SOPS 10589 HAS SOUS 8523 HAS SOUPS 8523 WITH SCORE 8533.589
AT ITER 557 NEW BEST:: SOT 41968 SOS 10579 HAS SOPS 10579 HAS SOUS 8518 HAS SOUPS 8518 WITH SCORE 8528.579
AT ITER 560 NEW BEST:: SOT 41968 SOS 10572 HAS SOPS 10572 HAS SOUS 8518 HAS SOUPS 8518 WITH SCORE 8528.572
AT ITER 564 NEW BEST:: SOT 41966 SOS 10534 HAS SOPS 10534 HAS SOUS 8510 HAS SOUPS 8510 WITH SCORE 8520.534
AT ITER 568 NEW BEST:: SOT 41972 SOS 10530 HAS SOPS 10530 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8516.53
AT ITER 580 NEW BEST:: SOT 41966 SOS 10518 HAS SOPS 10518 HAS SOUS 8490 HAS SOUPS 8490 WITH SCORE 8500.518
AT ITER 595 NEW BEST:: SOT 41938 SOS 10462 HAS SOPS 10462 HAS SOUS 8435 HAS SOUPS 8435 WITH SCORE 8445.462
AT ITER 597 NEW BEST:: SOT 41938 SOS 10425 HAS SOPS 10425 HAS SOUS 8398 HAS SOUPS 8398 WITH SCORE 8408.425
AT ITER 602 NEW BEST:: SOT 41936 SOS 10424 HAS SOPS 10424 HAS SOUS 8397 HAS SOUPS 8397 WITH SCORE 8407.424
AT ITER 605 NEW BEST:: SOT 41936 SOS 10424 HAS SOPS 10424 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8402.424
AT ITER 616 NEW BEST:: SOT 41930 SOS 10412 HAS SOPS 10412 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8390.412
AT ITER 639 NEW BEST:: SOT 41927 SOS 10406 HAS SOPS 10406 HAS SOUS 8377 HAS SOUPS 8377 WITH SCORE 8387.406
AT ITER 640 NEW BEST:: SOT 41907 SOS 10366 HAS SOPS 10366 HAS SOUS 8355 HAS SOUPS 8355 WITH SCORE 8365.366
AT ITER 641 NEW BEST:: SOT 41854 SOS 10694 HAS SOPS 10694 HAS SOUS 8324 HAS SOUPS 8324 WITH SCORE 8334.694
AT ITER 662 NEW BEST:: SOT 41854 SOS 10672 HAS SOPS 10672 HAS SOUS 8323 HAS SOUPS 8323 WITH SCORE 8333.672
AT ITER 663 NEW BEST:: SOT 41843 SOS 10650 HAS SOPS 10650 HAS SOUS 8301 HAS SOUPS 8301 WITH SCORE 8311.65
AT ITER 673 NEW BEST:: SOT 41818 SOS 10600 HAS SOPS 10600 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8286.6
AT ITER 675 NEW BEST:: SOT 41825 SOS 10583 HAS SOPS 10583 HAS SOUS 8259 HAS SOUPS 8259 WITH SCORE 8269.583
AT ITER 694 NEW BEST:: SOT 41820 SOS 10573 HAS SOPS 10573 HAS SOUS 8249 HAS SOUPS 8249 WITH SCORE 8259.573
AT ITER 710 NEW BEST:: SOT 41806 SOS 10559 HAS SOPS 10559 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8245.559
AT ITER 713 NEW BEST:: SOT 41766 SOS 10544 HAS SOPS 10544 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8230.544
AT ITER 724 NEW BEST:: SOT 41764 SOS 10540 HAS SOPS 10540 HAS SOUS 8216 HAS SOUPS 8216 WITH SCORE 8226.54
AT ITER 762 NEW BEST:: SOT 41762 SOS 10534 HAS SOPS 10534 HAS SOUS 8204 HAS SOUPS 8204 WITH SCORE 8214.534
AT ITER 788 NEW BEST:: SOT 41762 SOS 10520 HAS SOPS 10520 HAS SOUS 8190 HAS SOUPS 8190 WITH SCORE 8200.52
AT ITER 793 NEW BEST:: SOT 41757 SOS 10501 HAS SOPS 10501 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8186.501
AT ITER 808 NEW BEST:: SOT 41605 SOS 11124 HAS SOPS 11124 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8157.124
AT ITER 833 NEW BEST:: SOT 41600 SOS 11114 HAS SOPS 11114 HAS SOUS 8136 HAS SOUPS 8136 WITH SCORE 8147.114
AT ITER 842 NEW BEST:: SOT 41593 SOS 11122 HAS SOPS 11122 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8146.122
AT ITER 843 NEW BEST:: SOT 41587 SOS 11026 HAS SOPS 11026 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8140.026
AT ITER 866 NEW BEST:: SOT 41546 SOS 10944 HAS SOPS 10944 HAS SOUS 8047 HAS SOUPS 8047 WITH SCORE 8057.944
AT ITER 889 NEW BEST:: SOT 41527 SOS 10915 HAS SOPS 10915 HAS SOUS 8019 HAS SOUPS 8019 WITH SCORE 8029.915
AT ITER 906 NEW BEST:: SOT 41520 SOS 10899 HAS SOPS 10899 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8013.899
AT ITER 919 NEW BEST:: SOT 41513 SOS 10885 HAS SOPS 10885 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 7999.885
AT ITER 921 NEW BEST:: SOT 41512 SOS 10884 HAS SOPS 10884 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 7997.884
AT ITER 928 NEW BEST:: SOT 41484 SOS 10828 HAS SOPS 10828 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7969.828
AT ITER 939 NEW BEST:: SOT 41453 SOS 10828 HAS SOPS 10828 HAS SOUS 7931 HAS SOUPS 7931 WITH SCORE 7941.828
AT ITER 960 NEW BEST:: SOT 41453 SOS 10828 HAS SOPS 10828 HAS SOUS 7896 HAS SOUPS 7896 WITH SCORE 7906.828
AT ITER 970 NEW BEST:: SOT 41446 SOS 10814 HAS SOPS 10814 HAS SOUS 7882 HAS SOUPS 7882 WITH SCORE 7892.814
AT ITER 971 NEW BEST:: SOT 41433 SOS 10801 HAS SOPS 10801 HAS SOUS 7869 HAS SOUPS 7869 WITH SCORE 7879.801
AT ITER 1003 NEW BEST:: SOT 41419 SOS 10773 HAS SOPS 10773 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7851.773
AT ITER 1007 NEW BEST:: SOT 41393 SOS 10734 HAS SOPS 10734 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7825.734
AT ITER 1009 NEW BEST:: SOT 41369 SOS 10686 HAS SOPS 10686 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7785.686
AT ITER 1015 NEW BEST:: SOT 41348 SOS 10671 HAS SOPS 10671 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7779.671
AT ITER 1040 NEW BEST:: SOT 41263 SOS 10820 HAS SOPS 10820 HAS SOUS 7714 HAS SOUPS 7714 WITH SCORE 7724.82
AT ITER 1078 NEW BEST:: SOT 41218 SOS 10730 HAS SOPS 10730 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7679.73
AT ITER 1096 NEW BEST:: SOT 41218 SOS 10735 HAS SOPS 10735 HAS SOUS 7664 HAS SOUPS 7664 WITH SCORE 7674.735
AT ITER 1104 NEW BEST:: SOT 41206 SOS 10723 HAS SOPS 10723 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7662.723
AT ITER 1107 NEW BEST:: SOT 41162 SOS 10657 HAS SOPS 10657 HAS SOUS 7630 HAS SOUPS 7630 WITH SCORE 7640.657
AT ITER 1124 NEW BEST:: SOT 41157 SOS 10647 HAS SOPS 10647 HAS SOUS 7620 HAS SOUPS 7620 WITH SCORE 7630.647
AT ITER 1126 NEW BEST:: SOT 41147 SOS 10627 HAS SOPS 10627 HAS SOUS 7600 HAS SOUPS 7600 WITH SCORE 7610.627
AT ITER 1168 NEW BEST:: SOT 41129 SOS 10609 HAS SOPS 10609 HAS SOUS 7582 HAS SOUPS 7582 WITH SCORE 7592.609
AT ITER 1178 NEW BEST:: SOT 41111 SOS 10621 HAS SOPS 10621 HAS SOUS 7570 HAS SOUPS 7570 WITH SCORE 7580.621
AT ITER 1187 NEW BEST:: SOT 41111 SOS 10602 HAS SOPS 10602 HAS SOUS 7551 HAS SOUPS 7551 WITH SCORE 7561.602
AT ITER 1198 NEW BEST:: SOT 41113 SOS 10587 HAS SOPS 10587 HAS SOUS 7540 HAS SOUPS 7540 WITH SCORE 7550.587
AT ITER 1223 NEW BEST:: SOT 41084 SOS 10529 HAS SOPS 10529 HAS SOUS 7512 HAS SOUPS 7512 WITH SCORE 7522.529
AT ITER 1240 NEW BEST:: SOT 41054 SOS 10469 HAS SOPS 10469 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7514.469
AT ITER 1251 NEW BEST:: SOT 41023 SOS 10438 HAS SOPS 10438 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7514.438
AT ITER 1264 NEW BEST:: SOT 41040 SOS 10455 HAS SOPS 10455 HAS SOUS 7500 HAS SOUPS 7500 WITH SCORE 7510.455
AT ITER 1279 NEW BEST:: SOT 41036 SOS 10447 HAS SOPS 10447 HAS SOUS 7496 HAS SOUPS 7496 WITH SCORE 7506.447
AT ITER 1282 NEW BEST:: SOT 41034 SOS 10443 HAS SOPS 10443 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7504.443
AT ITER 1285 NEW BEST:: SOT 41064 SOS 10470 HAS SOPS 10470 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7443.47
AT ITER 1297 NEW BEST:: SOT 41000 SOS 10636 HAS SOPS 10636 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7400.636
AT ITER 1298 NEW BEST:: SOT 40993 SOS 10688 HAS SOPS 10688 HAS SOUS 7383 HAS SOUPS 7383 WITH SCORE 7393.688
AT ITER 1320 NEW BEST:: SOT 41013 SOS 10613 HAS SOPS 10613 HAS SOUS 7373 HAS SOUPS 7373 WITH SCORE 7383.613
AT ITER 1341 NEW BEST:: SOT 40994 SOS 10628 HAS SOPS 10628 HAS SOUS 7367 HAS SOUPS 7367 WITH SCORE 7377.628
AT ITER 1353 NEW BEST:: SOT 40993 SOS 10626 HAS SOPS 10626 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7376.626
AT ITER 1360 NEW BEST:: SOT 40981 SOS 10602 HAS SOPS 10602 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7362.602
AT ITER 1378 NEW BEST:: SOT 40963 SOS 10566 HAS SOPS 10566 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7348.566
AT ITER 1410 NEW BEST:: SOT 40887 SOS 10517 HAS SOPS 10517 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7292.517
AT ITER 1413 NEW BEST:: SOT 40839 SOS 10451 HAS SOPS 10451 HAS SOUS 7243 HAS SOUPS 7243 WITH SCORE 7253.451
AT ITER 1414 NEW BEST:: SOT 40834 SOS 10441 HAS SOPS 10441 HAS SOUS 7238 HAS SOUPS 7238 WITH SCORE 7248.441
AT ITER 1437 NEW BEST:: SOT 40820 SOS 10413 HAS SOPS 10413 HAS SOUS 7224 HAS SOUPS 7224 WITH SCORE 7234.413
AT ITER 1445 NEW BEST:: SOT 40820 SOS 10409 HAS SOPS 10409 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7230.409
AT ITER 1451 NEW BEST:: SOT 40784 SOS 10373 HAS SOPS 10373 HAS SOUS 7185 HAS SOUPS 7185 WITH SCORE 7195.373
AT ITER 1458 NEW BEST:: SOT 40770 SOS 10361 HAS SOPS 10361 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7171.361
AT ITER 1459 NEW BEST:: SOT 40753 SOS 10327 HAS SOPS 10327 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7167.327
AT ITER 1475 NEW BEST:: SOT 40752 SOS 10325 HAS SOPS 10325 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7165.325
AT ITER 1487 NEW BEST:: SOT 40662 SOS 10775 HAS SOPS 10775 HAS SOUS 7122 HAS SOUPS 7122 WITH SCORE 7132.775
AT ITER 1488 NEW BEST:: SOT 40662 SOS 10775 HAS SOPS 10775 HAS SOUS 7119 HAS SOUPS 7119 WITH SCORE 7129.775
AT ITER 1523 NEW BEST:: SOT 40662 SOS 10775 HAS SOPS 10775 HAS SOUS 7117 HAS SOUPS 7117 WITH SCORE 7127.775
AT ITER 1528 NEW BEST:: SOT 40654 SOS 10766 HAS SOPS 10766 HAS SOUS 7108 HAS SOUPS 7108 WITH SCORE 7118.766
AT ITER 1530 NEW BEST:: SOT 40664 SOS 10774 HAS SOPS 10774 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7117.774
AT ITER 1556 NEW BEST:: SOT 40652 SOS 10750 HAS SOPS 10750 HAS SOUS 7083 HAS SOUPS 7083 WITH SCORE 7093.75
AT ITER 1558 NEW BEST:: SOT 40649 SOS 10744 HAS SOPS 10744 HAS SOUS 7083 HAS SOUPS 7083 WITH SCORE 7093.744
AT ITER 1578 NEW BEST:: SOT 40647 SOS 10740 HAS SOPS 10740 HAS SOUS 7079 HAS SOUPS 7079 WITH SCORE 7089.74
AT ITER 1583 NEW BEST:: SOT 40568 SOS 10720 HAS SOPS 10720 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7069.72
AT ITER 1594 NEW BEST:: SOT 40559 SOS 10702 HAS SOPS 10702 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7051.702
AT ITER 1643 NEW BEST:: SOT 40550 SOS 10693 HAS SOPS 10693 HAS SOUS 7032 HAS SOUPS 7032 WITH SCORE 7042.693
AT ITER 1675 NEW BEST:: SOT 40548 SOS 10689 HAS SOPS 10689 HAS SOUS 7006 HAS SOUPS 7006 WITH SCORE 7016.689
AT ITER 1701 NEW BEST:: SOT 40542 SOS 10684 HAS SOPS 10684 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7010.684
AT ITER 1742 NEW BEST:: SOT 40540 SOS 10680 HAS SOPS 10680 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 6998.68
AT ITER 1747 NEW BEST:: SOT 40539 SOS 10678 HAS SOPS 10678 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 6995.678
AT ITER 1748 NEW BEST:: SOT 40548 SOS 10680 HAS SOPS 10680 HAS SOUS 6971 HAS SOUPS 6971 WITH SCORE 6981.68
AT ITER 1764 NEW BEST:: SOT 40517 SOS 11262 HAS SOPS 11262 HAS SOUS 6967 HAS SOUPS 6967 WITH SCORE 6978.262
AT ITER 1824 NEW BEST:: SOT 40475 SOS 11220 HAS SOPS 11220 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6938.22
AT ITER 1828 NEW BEST:: SOT 40474 SOS 11219 HAS SOPS 11219 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6937.219
AT ITER 1844 NEW BEST:: SOT 40469 SOS 11212 HAS SOPS 11212 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6930.212
AT ITER 1855 NEW BEST:: SOT 40457 SOS 11215 HAS SOPS 11215 HAS SOUS 6918 HAS SOUPS 6918 WITH SCORE 6929.215
AT ITER 1879 NEW BEST:: SOT 40450 SOS 11206 HAS SOPS 11206 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6920.206
AT ITER 1885 NEW BEST:: SOT 40445 SOS 11198 HAS SOPS 11198 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6912.198
AT ITER 1892 NEW BEST:: SOT 40441 SOS 11190 HAS SOPS 11190 HAS SOUS 6893 HAS SOUPS 6893 WITH SCORE 6904.19
AT ITER 1902 NEW BEST:: SOT 40435 SOS 11178 HAS SOPS 11178 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6898.178
AT ITER 1905 NEW BEST:: SOT 40439 SOS 11187 HAS SOPS 11187 HAS SOUS 6868 HAS SOUPS 6868 WITH SCORE 6879.187
AT ITER 1916 NEW BEST:: SOT 40431 SOS 11171 HAS SOPS 11171 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6871.171
AT ITER 1934 NEW BEST:: SOT 40413 SOS 11135 HAS SOPS 11135 HAS SOUS 6834 HAS SOUPS 6834 WITH SCORE 6845.135
AT ITER 1938 NEW BEST:: SOT 40389 SOS 11423 HAS SOPS 11423 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6821.423
AT ITER 1951 NEW BEST:: SOT 40389 SOS 11421 HAS SOPS 11421 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6821.421
AT ITER 1966 NEW BEST:: SOT 40404 SOS 11451 HAS SOPS 11451 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6819.451
AT ITER 1972 NEW BEST:: SOT 40400 SOS 11447 HAS SOPS 11447 HAS SOUS 6800 HAS SOUPS 6800 WITH SCORE 6811.447
AT ITER 1979 NEW BEST:: SOT 40400 SOS 11447 HAS SOPS 11447 HAS SOUS 6796 HAS SOUPS 6796 WITH SCORE 6807.447
AT ITER 1988 NEW BEST:: SOT 40400 SOS 11447 HAS SOPS 11447 HAS SOUS 6787 HAS SOUPS 6787 WITH SCORE 6798.447
AT ITER 2075 NEW BEST:: SOT 40327 SOS 11301 HAS SOPS 11301 HAS SOUS 6727 HAS SOUPS 6727 WITH SCORE 6738.301
AT ITER 2081 NEW BEST:: SOT 40330 SOS 11295 HAS SOPS 11295 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6732.295
AT ITER 2088 NEW BEST:: SOT 40347 SOS 10867 HAS SOPS 10867 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6715.867
AT ITER 2135 NEW BEST:: SOT 40347 SOS 10861 HAS SOPS 10861 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6715.861
AT ITER 2172 NEW BEST:: SOT 40341 SOS 10849 HAS SOPS 10849 HAS SOUS 6687 HAS SOUPS 6687 WITH SCORE 6697.849
AT ITER 2183 NEW BEST:: SOT 40326 SOS 10819 HAS SOPS 10819 HAS SOUS 6672 HAS SOUPS 6672 WITH SCORE 6682.819
AT ITER 2203 NEW BEST:: SOT 40314 SOS 10792 HAS SOPS 10792 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6678.792
AT ITER 2208 NEW BEST:: SOT 40307 SOS 10778 HAS SOPS 10778 HAS SOUS 6643 HAS SOUPS 6643 WITH SCORE 6653.778
AT ITER 2220 NEW BEST:: SOT 40315 SOS 10770 HAS SOPS 10770 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6624.77
AT ITER 2263 NEW BEST:: SOT 40314 SOS 10768 HAS SOPS 10768 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6624.768
AT ITER 2287 NEW BEST:: SOT 40314 SOS 10768 HAS SOPS 10768 HAS SOUS 6605 HAS SOUPS 6605 WITH SCORE 6615.768
AT ITER 2294 NEW BEST:: SOT 40302 SOS 10743 HAS SOPS 10743 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6590.743
AT ITER 2308 NEW BEST:: SOT 40301 SOS 10741 HAS SOPS 10741 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6590.741
AT ITER 2324 NEW BEST:: SOT 40301 SOS 10776 HAS SOPS 10776 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6589.776
AT ITER 2342 NEW BEST:: SOT 40298 SOS 10767 HAS SOPS 10767 HAS SOUS 6573 HAS SOUPS 6573 WITH SCORE 6583.767
AT ITER 2343 NEW BEST:: SOT 40295 SOS 10761 HAS SOPS 10761 HAS SOUS 6567 HAS SOUPS 6567 WITH SCORE 6577.761
AT ITER 2363 NEW BEST:: SOT 40271 SOS 10737 HAS SOPS 10737 HAS SOUS 6563 HAS SOUPS 6563 WITH SCORE 6573.737
AT ITER 2370 NEW BEST:: SOT 40259 SOS 10719 HAS SOPS 10719 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6570.719
AT ITER 2373 NEW BEST:: SOT 40256 SOS 10716 HAS SOPS 10716 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6567.716
AT ITER 2384 NEW BEST:: SOT 40207 SOS 10618 HAS SOPS 10618 HAS SOUS 6549 HAS SOUPS 6549 WITH SCORE 6559.618
AT ITER 2390 NEW BEST:: SOT 40184 SOS 10537 HAS SOPS 10537 HAS SOUS 6509 HAS SOUPS 6509 WITH SCORE 6519.537
AT ITER 2411 NEW BEST:: SOT 40179 SOS 10532 HAS SOPS 10532 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6514.532
AT ITER 2418 NEW BEST:: SOT 40176 SOS 10526 HAS SOPS 10526 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6508.526
AT ITER 2431 NEW BEST:: SOT 40122 SOS 10472 HAS SOPS 10472 HAS SOUS 6491 HAS SOUPS 6491 WITH SCORE 6501.472
AT ITER 2439 NEW BEST:: SOT 40114 SOS 10476 HAS SOPS 10476 HAS SOUS 6489 HAS SOUPS 6489 WITH SCORE 6499.476
AT ITER 2542 NEW BEST:: SOT 40124 SOS 10463 HAS SOPS 10463 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6492.463
AT ITER 2550 NEW BEST:: SOT 40120 SOS 10455 HAS SOPS 10455 HAS SOUS 6477 HAS SOUPS 6477 WITH SCORE 6487.455
AT ITER 2560 NEW BEST:: SOT 40110 SOS 10435 HAS SOPS 10435 HAS SOUS 6453 HAS SOUPS 6453 WITH SCORE 6463.435
AT ITER 2569 NEW BEST:: SOT 40117 SOS 10437 HAS SOPS 10437 HAS SOUS 6448 HAS SOUPS 6448 WITH SCORE 6458.437
AT ITER 2601 NEW BEST:: SOT 40124 SOS 10447 HAS SOPS 10447 HAS SOUS 6444 HAS SOUPS 6444 WITH SCORE 6454.447
AT ITER 2636 NEW BEST:: SOT 40120 SOS 10439 HAS SOPS 10439 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6450.439
AT ITER 2671 NEW BEST:: SOT 40119 SOS 10428 HAS SOPS 10428 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6449.428
AT ITER 2672 NEW BEST:: SOT 40052 SOS 10945 HAS SOPS 10945 HAS SOUS 6403 HAS SOUPS 6403 WITH SCORE 6413.945
AT ITER 2694 NEW BEST:: SOT 40035 SOS 10929 HAS SOPS 10929 HAS SOUS 6387 HAS SOUPS 6387 WITH SCORE 6397.929
AT ITER 2754 NEW BEST:: SOT 40015 SOS 10909 HAS SOPS 10909 HAS SOUS 6361 HAS SOUPS 6361 WITH SCORE 6371.909
AT ITER 2760 NEW BEST:: SOT 40008 SOS 10898 HAS SOPS 10898 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6364.898
AT ITER 2770 NEW BEST:: SOT 40007 SOS 10896 HAS SOPS 10896 HAS SOUS 6353 HAS SOUPS 6353 WITH SCORE 6363.896
AT ITER 2793 NEW BEST:: SOT 39993 SOS 10888 HAS SOPS 10888 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6360.888
AT ITER 2816 NEW BEST:: SOT 39986 SOS 10874 HAS SOPS 10874 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6346.874
AT ITER 2851 NEW BEST:: SOT 39991 SOS 10870 HAS SOPS 10870 HAS SOUS 6318 HAS SOUPS 6318 WITH SCORE 6328.87
AT ITER 2894 NEW BEST:: SOT 39991 SOS 10861 HAS SOPS 10861 HAS SOUS 6318 HAS SOUPS 6318 WITH SCORE 6328.861
AT ITER 2896 NEW BEST:: SOT 39962 SOS 10810 HAS SOPS 10810 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6314.81
AT ITER 2917 NEW BEST:: SOT 39962 SOS 10795 HAS SOPS 10795 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6314.795
AT ITER 2928 NEW BEST:: SOT 39962 SOS 10753 HAS SOPS 10753 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6291.753
AT ITER 2936 NEW BEST:: SOT 40023 SOS 10814 HAS SOPS 10814 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6287.814
AT ITER 2977 NEW BEST:: SOT 40022 SOS 10813 HAS SOPS 10813 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6287.813
AT ITER 2996 NEW BEST:: SOT 40021 SOS 10811 HAS SOPS 10811 HAS SOUS 6275 HAS SOUPS 6275 WITH SCORE 6285.811
AT ITER 2999 NEW BEST:: SOT 40004 SOS 10791 HAS SOPS 10791 HAS SOUS 6271 HAS SOUPS 6271 WITH SCORE 6281.791
AT ITER 3031 NEW BEST:: SOT 39984 SOS 10751 HAS SOPS 10751 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6278.751
AT ITER 3066 NEW BEST:: SOT 39992 SOS 10747 HAS SOPS 10747 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6278.747
AT ITER 3097 NEW BEST:: SOT 39992 SOS 10728 HAS SOPS 10728 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6278.728
AT ITER 3110 NEW BEST:: SOT 39990 SOS 10715 HAS SOPS 10715 HAS SOUS 6261 HAS SOUPS 6261 WITH SCORE 6271.715
AT ITER 3180 NEW BEST:: SOT 39982 SOS 10699 HAS SOPS 10699 HAS SOUS 6259 HAS SOUPS 6259 WITH SCORE 6269.699
AT ITER 3249 NEW BEST:: SOT 39970 SOS 10675 HAS SOPS 10675 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6257.675
AT ITER 3264 NEW BEST:: SOT 39985 SOS 10705 HAS SOPS 10705 HAS SOUS 6245 HAS SOUPS 6245 WITH SCORE 6255.705
AT ITER 3277 NEW BEST:: SOT 39984 SOS 10703 HAS SOPS 10703 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6253.703
AT ITER 3364 NEW BEST:: SOT 39980 SOS 10700 HAS SOPS 10700 HAS SOUS 6240 HAS SOUPS 6240 WITH SCORE 6250.7
AT ITER 3373 NEW BEST:: SOT 39967 SOS 10676 HAS SOPS 10676 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6243.676
AT ITER 3392 NEW BEST:: SOT 39965 SOS 10672 HAS SOPS 10672 HAS SOUS 6229 HAS SOUPS 6229 WITH SCORE 6239.672
AT ITER 3483 NEW BEST:: SOT 39962 SOS 10669 HAS SOPS 10669 HAS SOUS 6229 HAS SOUPS 6229 WITH SCORE 6239.669
AT ITER 3501 NEW BEST:: SOT 39959 SOS 10660 HAS SOPS 10660 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6233.66
AT ITER 3523 NEW BEST:: SOT 39968 SOS 10678 HAS SOPS 10678 HAS SOUS 6215 HAS SOUPS 6215 WITH SCORE 6225.678
AT ITER 3550 NEW BEST:: SOT 39975 SOS 10657 HAS SOPS 10657 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6217.657
AT ITER 3574 NEW BEST:: SOT 39955 SOS 10661 HAS SOPS 10661 HAS SOUS 6201 HAS SOUPS 6201 WITH SCORE 6211.661
AT ITER 3583 NEW BEST:: SOT 39931 SOS 10601 HAS SOPS 10601 HAS SOUS 6165 HAS SOUPS 6165 WITH SCORE 6175.601
AT ITER 3590 NEW BEST:: SOT 39928 SOS 10586 HAS SOPS 10586 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6160.586
AT ITER 3623 NEW BEST:: SOT 39893 SOS 10516 HAS SOPS 10516 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6090.516
AT ITER 3659 NEW BEST:: SOT 39878 SOS 10486 HAS SOPS 10486 HAS SOUS 6068 HAS SOUPS 6068 WITH SCORE 6078.486
AT ITER 3705 NEW BEST:: SOT 39878 SOS 10528 HAS SOPS 10528 HAS SOUS 6067 HAS SOUPS 6067 WITH SCORE 6077.528
AT ITER 3726 NEW BEST:: SOT 39876 SOS 10487 HAS SOPS 10487 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6073.487
AT ITER 3739 NEW BEST:: SOT 39868 SOS 10479 HAS SOPS 10479 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6065.479
AT ITER 3765 NEW BEST:: SOT 39868 SOS 10479 HAS SOPS 10479 HAS SOUS 6043 HAS SOUPS 6043 WITH SCORE 6053.479
AT ITER 3766 NEW BEST:: SOT 39865 SOS 10473 HAS SOPS 10473 HAS SOUS 6037 HAS SOUPS 6037 WITH SCORE 6047.473
AT ITER 3771 NEW BEST:: SOT 39829 SOS 10401 HAS SOPS 10401 HAS SOUS 6001 HAS SOUPS 6001 WITH SCORE 6011.401
AT ITER 3785 NEW BEST:: SOT 39864 SOS 10436 HAS SOPS 10436 HAS SOUS 5991 HAS SOUPS 5991 WITH SCORE 6001.436
AT ITER 3806 NEW BEST:: SOT 39868 SOS 10430 HAS SOPS 10430 HAS SOUS 5989 HAS SOUPS 5989 WITH SCORE 5999.43
AT ITER 3829 NEW BEST:: SOT 39863 SOS 10400 HAS SOPS 10400 HAS SOUS 5967 HAS SOUPS 5967 WITH SCORE 5977.4
AT ITER 3846 NEW BEST:: SOT 39871 SOS 10290 HAS SOPS 10290 HAS SOUS 5966 HAS SOUPS 5966 WITH SCORE 5976.29
AT ITER 3905 NEW BEST:: SOT 39883 SOS 10302 HAS SOPS 10302 HAS SOUS 5964 HAS SOUPS 5964 WITH SCORE 5974.302
AT ITER 3948 NEW BEST:: SOT 39887 SOS 10298 HAS SOPS 10298 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5970.298
AT ITER 3960 NEW BEST:: SOT 39895 SOS 10302 HAS SOPS 10302 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5962.302
AT ITER 3972 NEW BEST:: SOT 39890 SOS 10312 HAS SOPS 10312 HAS SOUS 5943 HAS SOUPS 5943 WITH SCORE 5953.312
AT ITER 3982 NEW BEST:: SOT 39885 SOS 10302 HAS SOPS 10302 HAS SOUS 5938 HAS SOUPS 5938 WITH SCORE 5948.302
AT ITER 3997 NEW BEST:: SOT 39879 SOS 10296 HAS SOPS 10296 HAS SOUS 5938 HAS SOUPS 5938 WITH SCORE 5948.296
AT ITER 4014 NEW BEST:: SOT 39873 SOS 10293 HAS SOPS 10293 HAS SOUS 5935 HAS SOUPS 5935 WITH SCORE 5945.293
AT ITER 4024 NEW BEST:: SOT 39863 SOS 10273 HAS SOPS 10273 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5936.273
AT ITER 4058 NEW BEST:: SOT 39859 SOS 10257 HAS SOPS 10257 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5924.257
AT ITER 4068 NEW BEST:: SOT 39858 SOS 10250 HAS SOPS 10250 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5917.25
AT ITER 4069 NEW BEST:: SOT 39850 SOS 10234 HAS SOPS 10234 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5901.234
AT ITER 4071 NEW BEST:: SOT 39835 SOS 10219 HAS SOPS 10219 HAS SOUS 5873 HAS SOUPS 5873 WITH SCORE 5883.219
AT ITER 4092 NEW BEST:: SOT 39832 SOS 10196 HAS SOPS 10196 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5860.196
AT ITER 4120 NEW BEST:: SOT 39832 SOS 10192 HAS SOPS 10192 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5860.192
AT ITER 4131 NEW BEST:: SOT 39824 SOS 10180 HAS SOPS 10180 HAS SOUS 5842 HAS SOUPS 5842 WITH SCORE 5852.18
AT ITER 4165 NEW BEST:: SOT 39822 SOS 10176 HAS SOPS 10176 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5850.176
AT ITER 4174 NEW BEST:: SOT 39823 SOS 10177 HAS SOPS 10177 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5849.177
AT ITER 4204 NEW BEST:: SOT 39886 SOS 10270 HAS SOPS 10270 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5848.27
AT ITER 4232 NEW BEST:: SOT 39875 SOS 10248 HAS SOPS 10248 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5846.248
AT ITER 4251 NEW BEST:: SOT 39874 SOS 10246 HAS SOPS 10246 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5844.246
AT ITER 4299 NEW BEST:: SOT 39856 SOS 10183 HAS SOPS 10183 HAS SOUS 5825 HAS SOUPS 5825 WITH SCORE 5835.183
AT ITER 4318 NEW BEST:: SOT 39833 SOS 10158 HAS SOPS 10158 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5833.158
AT ITER 4334 NEW BEST:: SOT 39813 SOS 10118 HAS SOPS 10118 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5829.118
AT ITER 4362 NEW BEST:: SOT 39791 SOS 10204 HAS SOPS 10204 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5814.204
AT ITER 4364 NEW BEST:: SOT 39783 SOS 10188 HAS SOPS 10188 HAS SOUS 5793 HAS SOUPS 5793 WITH SCORE 5803.188
AT ITER 4380 NEW BEST:: SOT 39775 SOS 10200 HAS SOPS 10200 HAS SOUS 5791 HAS SOUPS 5791 WITH SCORE 5801.2
AT ITER 4458 NEW BEST:: SOT 39770 SOS 10130 HAS SOPS 10130 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5785.13
AT ITER 4465 NEW BEST:: SOT 39764 SOS 10123 HAS SOPS 10123 HAS SOUS 5773 HAS SOUPS 5773 WITH SCORE 5783.123
AT ITER 4468 NEW BEST:: SOT 39761 SOS 10117 HAS SOPS 10117 HAS SOUS 5770 HAS SOUPS 5770 WITH SCORE 5780.117
AT ITER 4486 NEW BEST:: SOT 39765 SOS 10121 HAS SOPS 10121 HAS SOUS 5766 HAS SOUPS 5766 WITH SCORE 5776.121
AT ITER 4519 NEW BEST:: SOT 39763 SOS 10117 HAS SOPS 10117 HAS SOUS 5762 HAS SOUPS 5762 WITH SCORE 5772.117
AT ITER 4548 NEW BEST:: SOT 39759 SOS 10109 HAS SOPS 10109 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5768.109
AT ITER 4552 NEW BEST:: SOT 39755 SOS 10101 HAS SOPS 10101 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5760.101
AT ITER 4589 NEW BEST:: SOT 39747 SOS 10093 HAS SOPS 10093 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5752.093
AT ITER 4593 NEW BEST:: SOT 39747 SOS 10068 HAS SOPS 10068 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5752.068
AT ITER 4617 NEW BEST:: SOT 39747 SOS 10060 HAS SOPS 10060 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5752.06
AT ITER 4623 NEW BEST:: SOT 39745 SOS 10056 HAS SOPS 10056 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5748.056
AT ITER 4625 NEW BEST:: SOT 39769 SOS 10051 HAS SOPS 10051 HAS SOUS 5689 HAS SOUPS 5689 WITH SCORE 5699.051
AT ITER 4634 NEW BEST:: SOT 39759 SOS 10034 HAS SOPS 10034 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5682.034
AT ITER 4655 NEW BEST:: SOT 39759 SOS 10027 HAS SOPS 10027 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5682.027
AT ITER 4742 NEW BEST:: SOT 39709 SOS 10431 HAS SOPS 10431 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5656.431
AT ITER 4761 NEW BEST:: SOT 39706 SOS 10425 HAS SOPS 10425 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5650.425
AT ITER 4783 NEW BEST:: SOT 39707 SOS 10426 HAS SOPS 10426 HAS SOUS 5638 HAS SOUPS 5638 WITH SCORE 5648.426
AT ITER 4792 NEW BEST:: SOT 39708 SOS 10428 HAS SOPS 10428 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5644.428
AT ITER 4811 NEW BEST:: SOT 39696 SOS 10425 HAS SOPS 10425 HAS SOUS 5631 HAS SOUPS 5631 WITH SCORE 5641.425
AT ITER 4870 NEW BEST:: SOT 39696 SOS 10415 HAS SOPS 10415 HAS SOUS 5621 HAS SOUPS 5621 WITH SCORE 5631.415
AT ITER 4902 NEW BEST:: SOT 39699 SOS 10408 HAS SOPS 10408 HAS SOUS 5614 HAS SOUPS 5614 WITH SCORE 5624.408
AT ITER 4903 NEW BEST:: SOT 39693 SOS 10396 HAS SOPS 10396 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5612.396
AT ITER 4922 NEW BEST:: SOT 39646 SOS 10302 HAS SOPS 10302 HAS SOUS 5598 HAS SOUPS 5598 WITH SCORE 5608.302
AT ITER 5013 NEW BEST:: SOT 39635 SOS 10280 HAS SOPS 10280 HAS SOUS 5576 HAS SOUPS 5576 WITH SCORE 5586.28
AT ITER 5061 NEW BEST:: SOT 39637 SOS 10279 HAS SOPS 10279 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5585.279
AT ITER 5120 NEW BEST:: SOT 39620 SOS 10273 HAS SOPS 10273 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5579.273
AT ITER 5185 NEW BEST:: SOT 39612 SOS 10262 HAS SOPS 10262 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5576.262
AT ITER 5222 NEW BEST:: SOT 39612 SOS 10262 HAS SOPS 10262 HAS SOUS 5562 HAS SOUPS 5562 WITH SCORE 5572.262
AT ITER 5290 NEW BEST:: SOT 39612 SOS 10238 HAS SOPS 10238 HAS SOUS 5562 HAS SOUPS 5562 WITH SCORE 5572.238
AT ITER 5315 NEW BEST:: SOT 39592 SOS 10218 HAS SOPS 10218 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5552.218
AT ITER 5330 NEW BEST:: SOT 39591 SOS 10217 HAS SOPS 10217 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5551.217
AT ITER 5349 NEW BEST:: SOT 39590 SOS 10215 HAS SOPS 10215 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5549.215
AT ITER 5365 NEW BEST:: SOT 39517 SOS 10069 HAS SOPS 10069 HAS SOUS 5525 HAS SOUPS 5525 WITH SCORE 5535.069
AT ITER 5386 NEW BEST:: SOT 39517 SOS 10067 HAS SOPS 10067 HAS SOUS 5525 HAS SOUPS 5525 WITH SCORE 5535.067
AT ITER 5418 NEW BEST:: SOT 39516 SOS 10064 HAS SOPS 10064 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5533.064
AT ITER 5423 NEW BEST:: SOT 39516 SOS 10063 HAS SOPS 10063 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5532.063
AT ITER 5424 NEW BEST:: SOT 39516 SOS 10059 HAS SOPS 10059 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5528.059
AT ITER 5428 NEW BEST:: SOT 39502 SOS 10057 HAS SOPS 10057 HAS SOUS 5516 HAS SOUPS 5516 WITH SCORE 5526.057
AT ITER 5520 NEW BEST:: SOT 39478 SOS 10009 HAS SOPS 10009 HAS SOUS 5491 HAS SOUPS 5491 WITH SCORE 5501.009
AT ITER 5522 NEW BEST:: SOT 39467 SOS 9987 HAS SOPS 9987 HAS SOUS 5469 HAS SOUPS 5469 WITH SCORE 5478.987
AT ITER 5568 NEW BEST:: SOT 39453 SOS 9932 HAS SOPS 9932 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5450.932
AT ITER 5656 NEW BEST:: SOT 39457 SOS 9936 HAS SOPS 9936 HAS SOUS 5437 HAS SOUPS 5437 WITH SCORE 5446.936
AT ITER 5687 NEW BEST:: SOT 39451 SOS 9980 HAS SOPS 9980 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5441.98
AT ITER 5757 NEW BEST:: SOT 39451 SOS 9978 HAS SOPS 9978 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5439.978
AT ITER 5771 NEW BEST:: SOT 39448 SOS 9972 HAS SOPS 9972 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5436.972
AT ITER 5778 NEW BEST:: SOT 39438 SOS 9952 HAS SOPS 9952 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5427.952
AT ITER 5782 NEW BEST:: SOT 39442 SOS 9951 HAS SOPS 9951 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5427.951
AT ITER 5790 NEW BEST:: SOT 39438 SOS 9943 HAS SOPS 9943 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5424.943
AT ITER 5792 NEW BEST:: SOT 39434 SOS 9939 HAS SOPS 9939 HAS SOUS 5411 HAS SOUPS 5411 WITH SCORE 5420.939
AT ITER 5834 NEW BEST:: SOT 39434 SOS 9929 HAS SOPS 9929 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5410.929
AT ITER 5944 NEW BEST:: SOT 39433 SOS 9927 HAS SOPS 9927 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5408.927
AT ITER 5952 NEW BEST:: SOT 39439 SOS 9933 HAS SOPS 9933 HAS SOUS 5378 HAS SOUPS 5378 WITH SCORE 5387.933
AT ITER 5957 NEW BEST:: SOT 39453 SOS 9955 HAS SOPS 9955 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5385.955
AT ITER 5987 NEW BEST:: SOT 39453 SOS 9962 HAS SOPS 9962 HAS SOUS 5369 HAS SOUPS 5369 WITH SCORE 5378.962
AT ITER 5996 NEW BEST:: SOT 39449 SOS 9950 HAS SOPS 9950 HAS SOUS 5361 HAS SOUPS 5361 WITH SCORE 5370.95
AT ITER 6000 NEW BEST:: SOT 39449 SOS 9878 HAS SOPS 9878 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5334.878
AT ITER 6028 NEW BEST:: SOT 39443 SOS 9863 HAS SOPS 9863 HAS SOUS 5316 HAS SOUPS 5316 WITH SCORE 5325.863
AT ITER 6031 NEW BEST:: SOT 39436 SOS 9849 HAS SOPS 9849 HAS SOUS 5302 HAS SOUPS 5302 WITH SCORE 5311.849
AT ITER 6050 NEW BEST:: SOT 39441 SOS 9854 HAS SOPS 9854 HAS SOUS 5301 HAS SOUPS 5301 WITH SCORE 5310.854
AT ITER 6106 NEW BEST:: SOT 39439 SOS 9852 HAS SOPS 9852 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5306.852
AT ITER 6160 NEW BEST:: SOT 39437 SOS 9853 HAS SOPS 9853 HAS SOUS 5293 HAS SOUPS 5293 WITH SCORE 5302.853
AT ITER 6199 NEW BEST:: SOT 39437 SOS 9850 HAS SOPS 9850 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5299.85
AT ITER 6212 NEW BEST:: SOT 39466 SOS 9897 HAS SOPS 9897 HAS SOUS 5285 HAS SOUPS 5285 WITH SCORE 5294.897
AT ITER 6216 NEW BEST:: SOT 39461 SOS 9887 HAS SOPS 9887 HAS SOUS 5275 HAS SOUPS 5275 WITH SCORE 5284.887
AT ITER 6227 NEW BEST:: SOT 39456 SOS 9877 HAS SOPS 9877 HAS SOUS 5274 HAS SOUPS 5274 WITH SCORE 5283.877
AT ITER 6275 NEW BEST:: SOT 39454 SOS 9876 HAS SOPS 9876 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5279.876
AT ITER 6296 NEW BEST:: SOT 39444 SOS 9866 HAS SOPS 9866 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5279.866
AT ITER 6395 NEW BEST:: SOT 39441 SOS 9864 HAS SOPS 9864 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5277.864
AT ITER 6406 NEW BEST:: SOT 39423 SOS 9846 HAS SOPS 9846 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5268.846
AT ITER 6466 NEW BEST:: SOT 39426 SOS 9845 HAS SOPS 9845 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5267.845
AT ITER 6562 NEW BEST:: SOT 39423 SOS 9839 HAS SOPS 9839 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5261.839
AT ITER 6601 NEW BEST:: SOT 39408 SOS 9809 HAS SOPS 9809 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5247.809
AT ITER 6657 NEW BEST:: SOT 39413 SOS 9780 HAS SOPS 9780 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5241.78
AT ITER 6691 NEW BEST:: SOT 39403 SOS 9760 HAS SOPS 9760 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5241.76
AT ITER 6728 NEW BEST:: SOT 39401 SOS 9756 HAS SOPS 9756 HAS SOUS 5230 HAS SOUPS 5230 WITH SCORE 5239.756
AT ITER 6773 NEW BEST:: SOT 39401 SOS 9752 HAS SOPS 9752 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5235.752
AT ITER 6783 NEW BEST:: SOT 39400 SOS 9748 HAS SOPS 9748 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5231.748
AT ITER 6865 NEW BEST:: SOT 39400 SOS 9748 HAS SOPS 9748 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5230.748
AT ITER 6979 NEW BEST:: SOT 39398 SOS 9744 HAS SOPS 9744 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5224.744
AT ITER 6983 NEW BEST:: SOT 39396 SOS 9740 HAS SOPS 9740 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5223.74
AT ITER 7034 NEW BEST:: SOT 39396 SOS 9730 HAS SOPS 9730 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5223.73
AT ITER 7042 NEW BEST:: SOT 39396 SOS 9701 HAS SOPS 9701 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5219.701
AT ITER 7061 NEW BEST:: SOT 39396 SOS 9700 HAS SOPS 9700 HAS SOUS 5209 HAS SOUPS 5209 WITH SCORE 5218.7
AT ITER 7203 NEW BEST:: SOT 39396 SOS 9698 HAS SOPS 9698 HAS SOUS 5207 HAS SOUPS 5207 WITH SCORE 5216.698
AT ITER 7208 NEW BEST:: SOT 39390 SOS 9686 HAS SOPS 9686 HAS SOUS 5203 HAS SOUPS 5203 WITH SCORE 5212.686
AT ITER 7221 NEW BEST:: SOT 39379 SOS 9675 HAS SOPS 9675 HAS SOUS 5196 HAS SOUPS 5196 WITH SCORE 5205.675
AT ITER 7268 NEW BEST:: SOT 39374 SOS 9670 HAS SOPS 9670 HAS SOUS 5196 HAS SOUPS 5196 WITH SCORE 5205.67
AT ITER 7306 NEW BEST:: SOT 39375 SOS 9672 HAS SOPS 9672 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5204.672
AT ITER 7314 NEW BEST:: SOT 39370 SOS 9662 HAS SOPS 9662 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5199.662
AT ITER 7444 NEW BEST:: SOT 39369 SOS 9660 HAS SOPS 9660 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5198.66
AT ITER 7505 NEW BEST:: SOT 39369 SOS 9660 HAS SOPS 9660 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5197.66
AT ITER 7579 NEW BEST:: SOT 39362 SOS 9637 HAS SOPS 9637 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5181.637
AT ITER 7589 NEW BEST:: SOT 39356 SOS 9625 HAS SOPS 9625 HAS SOUS 5163 HAS SOUPS 5163 WITH SCORE 5172.625
AT ITER 7842 NEW BEST:: SOT 39347 SOS 9614 HAS SOPS 9614 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5161.614
AT ITER 7877 NEW BEST:: SOT 39337 SOS 9594 HAS SOPS 9594 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5141.594
AT ITER 8018 NEW BEST:: SOT 39322 SOS 9579 HAS SOPS 9579 HAS SOUS 5115 HAS SOUPS 5115 WITH SCORE 5124.579
AT ITER 8268 NEW BEST:: SOT 39322 SOS 9578 HAS SOPS 9578 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5123.578
AT ITER 8321 NEW BEST:: SOT 39321 SOS 9578 HAS SOPS 9578 HAS SOUS 5113 HAS SOUPS 5113 WITH SCORE 5122.578
AT ITER 8352 NEW BEST:: SOT 39321 SOS 9578 HAS SOPS 9578 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5119.578
AT ITER 8402 NEW BEST:: SOT 39332 SOS 9588 HAS SOPS 9588 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5117.588
AT ITER 8409 NEW BEST:: SOT 39332 SOS 9588 HAS SOPS 9588 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5116.588
AT ITER 8411 NEW BEST:: SOT 39332 SOS 9587 HAS SOPS 9587 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5115.587
AT ITER 8449 NEW BEST:: SOT 39327 SOS 9577 HAS SOPS 9577 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5110.577
AT ITER 8488 NEW BEST:: SOT 39327 SOS 9577 HAS SOPS 9577 HAS SOUS 5094 HAS SOUPS 5094 WITH SCORE 5103.577
AT ITER 8554 NEW BEST:: SOT 39322 SOS 9572 HAS SOPS 9572 HAS SOUS 5094 HAS SOUPS 5094 WITH SCORE 5103.572
AT ITER 8565 NEW BEST:: SOT 39319 SOS 9588 HAS SOPS 9588 HAS SOUS 5088 HAS SOUPS 5088 WITH SCORE 5097.588
AT ITER 8603 NEW BEST:: SOT 39280 SOS 9572 HAS SOPS 9572 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5088.572
AT ITER 8645 NEW BEST:: SOT 39270 SOS 9568 HAS SOPS 9568 HAS SOUS 5075 HAS SOUPS 5075 WITH SCORE 5084.568
AT ITER 8699 NEW BEST:: SOT 39270 SOS 9582 HAS SOPS 9582 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5070.582
AT ITER 8734 NEW BEST:: SOT 39270 SOS 9582 HAS SOPS 9582 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5064.582
AT ITER 8757 NEW BEST:: SOT 39270 SOS 9578 HAS SOPS 9578 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5064.578
AT ITER 8758 NEW BEST:: SOT 39282 SOS 9371 HAS SOPS 9371 HAS SOUS 5054 HAS SOUPS 5054 WITH SCORE 5063.371
AT ITER 8833 NEW BEST:: SOT 39287 SOS 9376 HAS SOPS 9376 HAS SOUS 5048 HAS SOUPS 5048 WITH SCORE 5057.376
AT ITER 8882 NEW BEST:: SOT 39283 SOS 9368 HAS SOPS 9368 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5053.368
AT ITER 8883 NEW BEST:: SOT 39286 SOS 9374 HAS SOPS 9374 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5048.374
AT ITER 8945 NEW BEST:: SOT 39235 SOS 9272 HAS SOPS 9272 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5048.272
AT ITER 9073 NEW BEST:: SOT 39234 SOS 9270 HAS SOPS 9270 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5046.27
AT ITER 9109 NEW BEST:: SOT 39203 SOS 9208 HAS SOPS 9208 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5041.208
AT ITER 9140 NEW BEST:: SOT 39190 SOS 9182 HAS SOPS 9182 HAS SOUS 5003 HAS SOUPS 5003 WITH SCORE 5012.182
AT ITER 9193 NEW BEST:: SOT 39203 SOS 9017 HAS SOPS 9017 HAS SOUS 5003 HAS SOUPS 5003 WITH SCORE 5012.017
AT ITER 9264 NEW BEST:: SOT 39202 SOS 9015 HAS SOPS 9015 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5010.015
AT ITER 9312 NEW BEST:: SOT 39203 SOS 9016 HAS SOPS 9016 HAS SOUS 4994 HAS SOUPS 4994 WITH SCORE 5003.016
AT ITER 9420 NEW BEST:: SOT 39199 SOS 9008 HAS SOPS 9008 HAS SOUS 4986 HAS SOUPS 4986 WITH SCORE 4995.008
AT ITER 9475 NEW BEST:: SOT 39215 SOS 9005 HAS SOPS 9005 HAS SOUS 4972 HAS SOUPS 4972 WITH SCORE 4981.005
AT ITER 9504 NEW BEST:: SOT 39214 SOS 9003 HAS SOPS 9003 HAS SOUS 4970 HAS SOUPS 4970 WITH SCORE 4979.003
AT ITER 9519 NEW BEST:: SOT 39216 SOS 9005 HAS SOPS 9005 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4973.005
AT ITER 9641 NEW BEST:: SOT 39209 SOS 8991 HAS SOPS 8991 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4961.991
AT ITER 9673 NEW BEST:: SOT 39208 SOS 8989 HAS SOPS 8989 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4959.989
AT ITER 9760 NEW BEST:: SOT 39207 SOS 8987 HAS SOPS 8987 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4957.987
AT ITER 9771 NEW BEST:: SOT 39207 SOS 8975 HAS SOPS 8975 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4956.975
AT ITER 9846 NEW BEST:: SOT 39204 SOS 8979 HAS SOPS 8979 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4953.979
AT ITER 9854 NEW BEST:: SOT 39204 SOS 8978 HAS SOPS 8978 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4953.978
AT ITER 9895 NEW BEST:: SOT 39165 SOS 8976 HAS SOPS 8976 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4951.976
STATE_SPACE STATES 806568794170 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 11 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 7474032554320 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679182987255

--------------------
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="SmartHome-PT-08"
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"
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 smart"
echo " Input is SmartHome-PT-08, 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 r451-smll-167912643200216"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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