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-167912643200208.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-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643200208
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 6.8K Feb 26 05:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 05:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 26 05:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 35K Feb 26 05:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 26 05:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 05:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 05:47 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 63K 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 1679182724774

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-07
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 07
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: 251 places, 290 transitions, 658 arcs.
AT ITER 0 NEW BEST:: SOT 43536 SOS 10676 HAS SOPS 10676 HAS SOUS 10343 HAS SOUPS 10343 WITH SCORE 10353.676
AT ITER 2 NEW BEST:: SOT 43545 SOS 10655 HAS SOPS 10655 HAS SOUS 10322 HAS SOUPS 10322 WITH SCORE 10332.655
AT ITER 5 NEW BEST:: SOT 43557 SOS 10619 HAS SOPS 10619 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10296.619
AT ITER 6 NEW BEST:: SOT 43460 SOS 11091 HAS SOPS 11091 HAS SOUS 10240 HAS SOUPS 10240 WITH SCORE 10251.091
AT ITER 7 NEW BEST:: SOT 43140 SOS 11013 HAS SOPS 11013 HAS SOUS 9960 HAS SOUPS 9960 WITH SCORE 9971.013
AT ITER 12 NEW BEST:: SOT 43084 SOS 10903 HAS SOPS 10903 HAS SOUS 9887 HAS SOUPS 9887 WITH SCORE 9897.903
AT ITER 13 NEW BEST:: SOT 43084 SOS 10901 HAS SOPS 10901 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9895.901
AT ITER 24 NEW BEST:: SOT 43082 SOS 10899 HAS SOPS 10899 HAS SOUS 9884 HAS SOUPS 9884 WITH SCORE 9894.899
AT ITER 34 NEW BEST:: SOT 43034 SOS 10827 HAS SOPS 10827 HAS SOUS 9812 HAS SOUPS 9812 WITH SCORE 9822.827
AT ITER 35 NEW BEST:: SOT 43021 SOS 10801 HAS SOPS 10801 HAS SOUS 9785 HAS SOUPS 9785 WITH SCORE 9795.801
AT ITER 50 NEW BEST:: SOT 42934 SOS 10947 HAS SOPS 10947 HAS SOUS 9719 HAS SOUPS 9719 WITH SCORE 9729.947
AT ITER 63 NEW BEST:: SOT 42950 SOS 10979 HAS SOPS 10979 HAS SOUS 9718 HAS SOUPS 9718 WITH SCORE 9728.979
AT ITER 77 NEW BEST:: SOT 42917 SOS 10950 HAS SOPS 10950 HAS SOUS 9685 HAS SOUPS 9685 WITH SCORE 9695.95
AT ITER 105 NEW BEST:: SOT 42917 SOS 10932 HAS SOPS 10932 HAS SOUS 9674 HAS SOUPS 9674 WITH SCORE 9684.932
AT ITER 109 NEW BEST:: SOT 42894 SOS 10921 HAS SOPS 10921 HAS SOUS 9651 HAS SOUPS 9651 WITH SCORE 9661.921
AT ITER 122 NEW BEST:: SOT 42861 SOS 10910 HAS SOPS 10910 HAS SOUS 9640 HAS SOUPS 9640 WITH SCORE 9650.91
AT ITER 157 NEW BEST:: SOT 42831 SOS 10867 HAS SOPS 10867 HAS SOUS 9627 HAS SOUPS 9627 WITH SCORE 9637.867
AT ITER 167 NEW BEST:: SOT 42823 SOS 10851 HAS SOPS 10851 HAS SOUS 9606 HAS SOUPS 9606 WITH SCORE 9616.851
AT ITER 185 NEW BEST:: SOT 42844 SOS 10850 HAS SOPS 10850 HAS SOUS 9605 HAS SOUPS 9605 WITH SCORE 9615.85
AT ITER 198 NEW BEST:: SOT 42643 SOS 10763 HAS SOPS 10763 HAS SOUS 9469 HAS SOUPS 9469 WITH SCORE 9479.763
AT ITER 201 NEW BEST:: SOT 42621 SOS 10741 HAS SOPS 10741 HAS SOUS 9469 HAS SOUPS 9469 WITH SCORE 9479.741
AT ITER 202 NEW BEST:: SOT 42589 SOS 10712 HAS SOPS 10712 HAS SOUS 9439 HAS SOUPS 9439 WITH SCORE 9449.712
AT ITER 206 NEW BEST:: SOT 42569 SOS 10672 HAS SOPS 10672 HAS SOUS 9399 HAS SOUPS 9399 WITH SCORE 9409.672
AT ITER 210 NEW BEST:: SOT 42568 SOS 10670 HAS SOPS 10670 HAS SOUS 9397 HAS SOUPS 9397 WITH SCORE 9407.67
AT ITER 230 NEW BEST:: SOT 42528 SOS 10590 HAS SOPS 10590 HAS SOUS 9317 HAS SOUPS 9317 WITH SCORE 9327.59
AT ITER 236 NEW BEST:: SOT 42410 SOS 10821 HAS SOPS 10821 HAS SOUS 9270 HAS SOUPS 9270 WITH SCORE 9280.821
AT ITER 241 NEW BEST:: SOT 42410 SOS 10821 HAS SOPS 10821 HAS SOUS 9267 HAS SOUPS 9267 WITH SCORE 9277.821
AT ITER 244 NEW BEST:: SOT 41827 SOS 11163 HAS SOPS 11163 HAS SOUS 8777 HAS SOUPS 8777 WITH SCORE 8788.163
AT ITER 263 NEW BEST:: SOT 41827 SOS 11157 HAS SOPS 11157 HAS SOUS 8771 HAS SOUPS 8771 WITH SCORE 8782.157
AT ITER 266 NEW BEST:: SOT 41835 SOS 11151 HAS SOPS 11151 HAS SOUS 8770 HAS SOUPS 8770 WITH SCORE 8781.151
AT ITER 288 NEW BEST:: SOT 41839 SOS 11134 HAS SOPS 11134 HAS SOUS 8753 HAS SOUPS 8753 WITH SCORE 8764.134
AT ITER 297 NEW BEST:: SOT 41834 SOS 11122 HAS SOPS 11122 HAS SOUS 8741 HAS SOUPS 8741 WITH SCORE 8752.122
AT ITER 300 NEW BEST:: SOT 41783 SOS 11300 HAS SOPS 11300 HAS SOUS 8709 HAS SOUPS 8709 WITH SCORE 8720.3
AT ITER 312 NEW BEST:: SOT 41761 SOS 11278 HAS SOPS 11278 HAS SOUS 8687 HAS SOUPS 8687 WITH SCORE 8698.278
AT ITER 324 NEW BEST:: SOT 41614 SOS 11400 HAS SOPS 11400 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8583.4
AT ITER 325 NEW BEST:: SOT 41612 SOS 11398 HAS SOPS 11398 HAS SOUS 8570 HAS SOUPS 8570 WITH SCORE 8581.398
AT ITER 329 NEW BEST:: SOT 41612 SOS 11398 HAS SOPS 11398 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8573.398
AT ITER 351 NEW BEST:: SOT 41566 SOS 11304 HAS SOPS 11304 HAS SOUS 8468 HAS SOUPS 8468 WITH SCORE 8479.304
AT ITER 361 NEW BEST:: SOT 41549 SOS 11270 HAS SOPS 11270 HAS SOUS 8434 HAS SOUPS 8434 WITH SCORE 8445.27
AT ITER 378 NEW BEST:: SOT 41538 SOS 11248 HAS SOPS 11248 HAS SOUS 8412 HAS SOUPS 8412 WITH SCORE 8423.248
AT ITER 379 NEW BEST:: SOT 41537 SOS 11246 HAS SOPS 11246 HAS SOUS 8410 HAS SOUPS 8410 WITH SCORE 8421.246
AT ITER 380 NEW BEST:: SOT 41531 SOS 11240 HAS SOPS 11240 HAS SOUS 8404 HAS SOUPS 8404 WITH SCORE 8415.24
AT ITER 382 NEW BEST:: SOT 41500 SOS 11202 HAS SOPS 11202 HAS SOUS 8384 HAS SOUPS 8384 WITH SCORE 8395.202
AT ITER 392 NEW BEST:: SOT 41511 SOS 11194 HAS SOPS 11194 HAS SOUS 8376 HAS SOUPS 8376 WITH SCORE 8387.194
AT ITER 395 NEW BEST:: SOT 41511 SOS 11176 HAS SOPS 11176 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8375.176
AT ITER 425 NEW BEST:: SOT 41503 SOS 11160 HAS SOPS 11160 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8359.16
AT ITER 434 NEW BEST:: SOT 41489 SOS 11128 HAS SOPS 11128 HAS SOUS 8339 HAS SOUPS 8339 WITH SCORE 8350.128
AT ITER 440 NEW BEST:: SOT 41451 SOS 11052 HAS SOPS 11052 HAS SOUS 8301 HAS SOUPS 8301 WITH SCORE 8312.052
AT ITER 454 NEW BEST:: SOT 41447 SOS 11046 HAS SOPS 11046 HAS SOUS 8297 HAS SOUPS 8297 WITH SCORE 8308.046
AT ITER 457 NEW BEST:: SOT 41433 SOS 11032 HAS SOPS 11032 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8295.032
AT ITER 458 NEW BEST:: SOT 41427 SOS 11020 HAS SOPS 11020 HAS SOUS 8278 HAS SOUPS 8278 WITH SCORE 8289.02
AT ITER 486 NEW BEST:: SOT 41407 SOS 10987 HAS SOPS 10987 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8255.987
AT ITER 489 NEW BEST:: SOT 41388 SOS 10949 HAS SOPS 10949 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8228.949
AT ITER 492 NEW BEST:: SOT 41384 SOS 10945 HAS SOPS 10945 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8228.945
AT ITER 517 NEW BEST:: SOT 41366 SOS 10927 HAS SOPS 10927 HAS SOUS 8200 HAS SOUPS 8200 WITH SCORE 8210.927
AT ITER 520 NEW BEST:: SOT 41334 SOS 10863 HAS SOPS 10863 HAS SOUS 8158 HAS SOUPS 8158 WITH SCORE 8168.863
AT ITER 542 NEW BEST:: SOT 41304 SOS 11013 HAS SOPS 11013 HAS SOUS 8128 HAS SOUPS 8128 WITH SCORE 8139.013
AT ITER 560 NEW BEST:: SOT 41275 SOS 10982 HAS SOPS 10982 HAS SOUS 8113 HAS SOUPS 8113 WITH SCORE 8123.982
AT ITER 564 NEW BEST:: SOT 41274 SOS 10980 HAS SOPS 10980 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8121.98
AT ITER 567 NEW BEST:: SOT 41261 SOS 10954 HAS SOPS 10954 HAS SOUS 8085 HAS SOUPS 8085 WITH SCORE 8095.954
AT ITER 595 NEW BEST:: SOT 41259 SOS 10944 HAS SOPS 10944 HAS SOUS 8078 HAS SOUPS 8078 WITH SCORE 8088.944
AT ITER 604 NEW BEST:: SOT 41227 SOS 10901 HAS SOPS 10901 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8045.901
AT ITER 618 NEW BEST:: SOT 41195 SOS 10837 HAS SOPS 10837 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8045.837
AT ITER 628 NEW BEST:: SOT 41183 SOS 10813 HAS SOPS 10813 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8045.813
AT ITER 652 NEW BEST:: SOT 41175 SOS 10801 HAS SOPS 10801 HAS SOUS 8023 HAS SOUPS 8023 WITH SCORE 8033.801
AT ITER 672 NEW BEST:: SOT 41174 SOS 10764 HAS SOPS 10764 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8004.764
AT ITER 685 NEW BEST:: SOT 41174 SOS 10743 HAS SOPS 10743 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8004.743
AT ITER 699 NEW BEST:: SOT 41028 SOS 10827 HAS SOPS 10827 HAS SOUS 7870 HAS SOUPS 7870 WITH SCORE 7880.827
AT ITER 701 NEW BEST:: SOT 41008 SOS 10767 HAS SOPS 10767 HAS SOUS 7850 HAS SOUPS 7850 WITH SCORE 7860.767
AT ITER 708 NEW BEST:: SOT 41001 SOS 10753 HAS SOPS 10753 HAS SOUS 7843 HAS SOUPS 7843 WITH SCORE 7853.753
AT ITER 756 NEW BEST:: SOT 40978 SOS 10707 HAS SOPS 10707 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7834.707
AT ITER 783 NEW BEST:: SOT 40953 SOS 10721 HAS SOPS 10721 HAS SOUS 7814 HAS SOUPS 7814 WITH SCORE 7824.721
AT ITER 802 NEW BEST:: SOT 40955 SOS 10719 HAS SOPS 10719 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7822.719
AT ITER 803 NEW BEST:: SOT 40982 SOS 10743 HAS SOPS 10743 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7819.743
AT ITER 809 NEW BEST:: SOT 40955 SOS 10743 HAS SOPS 10743 HAS SOUS 7791 HAS SOUPS 7791 WITH SCORE 7801.743
AT ITER 820 NEW BEST:: SOT 40936 SOS 10660 HAS SOPS 10660 HAS SOUS 7735 HAS SOUPS 7735 WITH SCORE 7745.66
AT ITER 828 NEW BEST:: SOT 40918 SOS 10633 HAS SOPS 10633 HAS SOUS 7708 HAS SOUPS 7708 WITH SCORE 7718.633
AT ITER 833 NEW BEST:: SOT 40916 SOS 10627 HAS SOPS 10627 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7712.627
AT ITER 865 NEW BEST:: SOT 40909 SOS 10607 HAS SOPS 10607 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7698.607
AT ITER 872 NEW BEST:: SOT 40907 SOS 10603 HAS SOPS 10603 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7694.603
AT ITER 876 NEW BEST:: SOT 40972 SOS 10708 HAS SOPS 10708 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7669.708
AT ITER 886 NEW BEST:: SOT 40964 SOS 10692 HAS SOPS 10692 HAS SOUS 7651 HAS SOUPS 7651 WITH SCORE 7661.692
AT ITER 906 NEW BEST:: SOT 40949 SOS 10680 HAS SOPS 10680 HAS SOUS 7639 HAS SOUPS 7639 WITH SCORE 7649.68
AT ITER 931 NEW BEST:: SOT 40941 SOS 10664 HAS SOPS 10664 HAS SOUS 7629 HAS SOUPS 7629 WITH SCORE 7639.664
AT ITER 934 NEW BEST:: SOT 40930 SOS 10653 HAS SOPS 10653 HAS SOUS 7629 HAS SOUPS 7629 WITH SCORE 7639.653
AT ITER 959 NEW BEST:: SOT 40857 SOS 10569 HAS SOPS 10569 HAS SOUS 7576 HAS SOUPS 7576 WITH SCORE 7586.569
AT ITER 963 NEW BEST:: SOT 40848 SOS 10561 HAS SOPS 10561 HAS SOUS 7568 HAS SOUPS 7568 WITH SCORE 7578.561
AT ITER 981 NEW BEST:: SOT 40854 SOS 10548 HAS SOPS 10548 HAS SOUS 7539 HAS SOUPS 7539 WITH SCORE 7549.548
AT ITER 990 NEW BEST:: SOT 40828 SOS 10508 HAS SOPS 10508 HAS SOUS 7501 HAS SOUPS 7501 WITH SCORE 7511.508
AT ITER 1015 NEW BEST:: SOT 40825 SOS 10502 HAS SOPS 10502 HAS SOUS 7495 HAS SOUPS 7495 WITH SCORE 7505.502
AT ITER 1016 NEW BEST:: SOT 40805 SOS 10481 HAS SOPS 10481 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7484.481
AT ITER 1019 NEW BEST:: SOT 40794 SOS 10470 HAS SOPS 10470 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7484.47
AT ITER 1024 NEW BEST:: SOT 40790 SOS 10462 HAS SOPS 10462 HAS SOUS 7466 HAS SOUPS 7466 WITH SCORE 7476.462
AT ITER 1048 NEW BEST:: SOT 40780 SOS 10442 HAS SOPS 10442 HAS SOUS 7446 HAS SOUPS 7446 WITH SCORE 7456.442
AT ITER 1060 NEW BEST:: SOT 40766 SOS 10414 HAS SOPS 10414 HAS SOUS 7423 HAS SOUPS 7423 WITH SCORE 7433.414
AT ITER 1069 NEW BEST:: SOT 40768 SOS 10416 HAS SOPS 10416 HAS SOUS 7409 HAS SOUPS 7409 WITH SCORE 7419.416
AT ITER 1079 NEW BEST:: SOT 40754 SOS 10390 HAS SOPS 10390 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7406.39
AT ITER 1100 NEW BEST:: SOT 40747 SOS 10376 HAS SOPS 10376 HAS SOUS 7384 HAS SOUPS 7384 WITH SCORE 7394.376
AT ITER 1118 NEW BEST:: SOT 40715 SOS 10312 HAS SOPS 10312 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7362.312
AT ITER 1169 NEW BEST:: SOT 40708 SOS 10307 HAS SOPS 10307 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7357.307
AT ITER 1183 NEW BEST:: SOT 40694 SOS 10293 HAS SOPS 10293 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7357.293
AT ITER 1189 NEW BEST:: SOT 40685 SOS 10275 HAS SOPS 10275 HAS SOUS 7297 HAS SOUPS 7297 WITH SCORE 7307.275
AT ITER 1209 NEW BEST:: SOT 40685 SOS 10275 HAS SOPS 10275 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7302.275
AT ITER 1218 NEW BEST:: SOT 40701 SOS 10302 HAS SOPS 10302 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7270.302
AT ITER 1222 NEW BEST:: SOT 40678 SOS 10279 HAS SOPS 10279 HAS SOUS 7257 HAS SOUPS 7257 WITH SCORE 7267.279
AT ITER 1227 NEW BEST:: SOT 40677 SOS 10245 HAS SOPS 10245 HAS SOUS 7256 HAS SOUPS 7256 WITH SCORE 7266.245
AT ITER 1233 NEW BEST:: SOT 40671 SOS 10233 HAS SOPS 10233 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7252.233
AT ITER 1234 NEW BEST:: SOT 40674 SOS 10239 HAS SOPS 10239 HAS SOUS 7237 HAS SOUPS 7237 WITH SCORE 7247.239
AT ITER 1237 NEW BEST:: SOT 40674 SOS 10232 HAS SOPS 10232 HAS SOUS 7237 HAS SOUPS 7237 WITH SCORE 7247.232
AT ITER 1246 NEW BEST:: SOT 40675 SOS 10222 HAS SOPS 10222 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7240.222
AT ITER 1260 NEW BEST:: SOT 40675 SOS 10179 HAS SOPS 10179 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7215.179
AT ITER 1273 NEW BEST:: SOT 40674 SOS 10177 HAS SOPS 10177 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7213.177
AT ITER 1291 NEW BEST:: SOT 40678 SOS 10162 HAS SOPS 10162 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7200.162
AT ITER 1295 NEW BEST:: SOT 40678 SOS 10162 HAS SOPS 10162 HAS SOUS 7188 HAS SOUPS 7188 WITH SCORE 7198.162
AT ITER 1310 NEW BEST:: SOT 40674 SOS 10154 HAS SOPS 10154 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7194.154
AT ITER 1315 NEW BEST:: SOT 40674 SOS 10144 HAS SOPS 10144 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7194.144
AT ITER 1326 NEW BEST:: SOT 40692 SOS 10162 HAS SOPS 10162 HAS SOUS 7180 HAS SOUPS 7180 WITH SCORE 7190.162
AT ITER 1333 NEW BEST:: SOT 40580 SOS 10483 HAS SOPS 10483 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7110.483
AT ITER 1334 NEW BEST:: SOT 40580 SOS 10483 HAS SOPS 10483 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7082.483
AT ITER 1351 NEW BEST:: SOT 40571 SOS 10465 HAS SOPS 10465 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7057.465
AT ITER 1354 NEW BEST:: SOT 40517 SOS 10411 HAS SOPS 10411 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7030.411
AT ITER 1373 NEW BEST:: SOT 40503 SOS 10403 HAS SOPS 10403 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7022.403
AT ITER 1381 NEW BEST:: SOT 40462 SOS 10362 HAS SOPS 10362 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7003.362
AT ITER 1503 NEW BEST:: SOT 40457 SOS 10357 HAS SOPS 10357 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7003.357
AT ITER 1504 NEW BEST:: SOT 40451 SOS 10410 HAS SOPS 10410 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 6997.41
AT ITER 1519 NEW BEST:: SOT 40411 SOS 10279 HAS SOPS 10279 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6957.279
AT ITER 1524 NEW BEST:: SOT 40411 SOS 10279 HAS SOPS 10279 HAS SOUS 6940 HAS SOUPS 6940 WITH SCORE 6950.279
AT ITER 1529 NEW BEST:: SOT 40384 SOS 10225 HAS SOPS 10225 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6935.225
AT ITER 1538 NEW BEST:: SOT 40384 SOS 10216 HAS SOPS 10216 HAS SOUS 6914 HAS SOUPS 6914 WITH SCORE 6924.216
AT ITER 1559 NEW BEST:: SOT 40382 SOS 10202 HAS SOPS 10202 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6920.202
AT ITER 1564 NEW BEST:: SOT 40380 SOS 10188 HAS SOPS 10188 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6906.188
AT ITER 1567 NEW BEST:: SOT 40375 SOS 10165 HAS SOPS 10165 HAS SOUS 6867 HAS SOUPS 6867 WITH SCORE 6877.165
AT ITER 1572 NEW BEST:: SOT 40350 SOS 10140 HAS SOPS 10140 HAS SOUS 6867 HAS SOUPS 6867 WITH SCORE 6877.14
AT ITER 1589 NEW BEST:: SOT 40321 SOS 10082 HAS SOPS 10082 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6848.082
AT ITER 1593 NEW BEST:: SOT 40323 SOS 10084 HAS SOPS 10084 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6845.084
AT ITER 1616 NEW BEST:: SOT 40308 SOS 10069 HAS SOPS 10069 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6830.069
AT ITER 1634 NEW BEST:: SOT 40309 SOS 10047 HAS SOPS 10047 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6820.047
AT ITER 1654 NEW BEST:: SOT 40330 SOS 10036 HAS SOPS 10036 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6819.036
AT ITER 1661 NEW BEST:: SOT 40258 SOS 10263 HAS SOPS 10263 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6747.263
AT ITER 1688 NEW BEST:: SOT 40253 SOS 10248 HAS SOPS 10248 HAS SOUS 6727 HAS SOUPS 6727 WITH SCORE 6737.248
AT ITER 1745 NEW BEST:: SOT 40242 SOS 10242 HAS SOPS 10242 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6726.242
AT ITER 1753 NEW BEST:: SOT 40237 SOS 10237 HAS SOPS 10237 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6726.237
AT ITER 1757 NEW BEST:: SOT 40258 SOS 10232 HAS SOPS 10232 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6721.232
AT ITER 1768 NEW BEST:: SOT 40272 SOS 10209 HAS SOPS 10209 HAS SOUS 6688 HAS SOUPS 6688 WITH SCORE 6698.209
AT ITER 1769 NEW BEST:: SOT 40272 SOS 10203 HAS SOPS 10203 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6692.203
AT ITER 1788 NEW BEST:: SOT 40262 SOS 10183 HAS SOPS 10183 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6683.183
AT ITER 1792 NEW BEST:: SOT 40204 SOS 10067 HAS SOPS 10067 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6683.067
AT ITER 1814 NEW BEST:: SOT 40204 SOS 10066 HAS SOPS 10066 HAS SOUS 6672 HAS SOUPS 6672 WITH SCORE 6682.066
AT ITER 1824 NEW BEST:: SOT 40200 SOS 10070 HAS SOPS 10070 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6670.07
AT ITER 1841 NEW BEST:: SOT 40201 SOS 10046 HAS SOPS 10046 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6669.046
AT ITER 1846 NEW BEST:: SOT 40195 SOS 10034 HAS SOPS 10034 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6657.034
AT ITER 1853 NEW BEST:: SOT 40193 SOS 10030 HAS SOPS 10030 HAS SOUS 6643 HAS SOUPS 6643 WITH SCORE 6653.03
AT ITER 1859 NEW BEST:: SOT 40182 SOS 10008 HAS SOPS 10008 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6637.008
AT ITER 1880 NEW BEST:: SOT 40182 SOS 10008 HAS SOPS 10008 HAS SOUS 6615 HAS SOUPS 6615 WITH SCORE 6625.008
AT ITER 1883 NEW BEST:: SOT 40163 SOS 9987 HAS SOPS 9987 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6620.987
AT ITER 1897 NEW BEST:: SOT 40158 SOS 9977 HAS SOPS 9977 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6610.977
AT ITER 1898 NEW BEST:: SOT 40135 SOS 9975 HAS SOPS 9975 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6608.975
AT ITER 1907 NEW BEST:: SOT 40126 SOS 9957 HAS SOPS 9957 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6590.957
AT ITER 1916 NEW BEST:: SOT 40153 SOS 9952 HAS SOPS 9952 HAS SOUS 6570 HAS SOUPS 6570 WITH SCORE 6579.952
AT ITER 1938 NEW BEST:: SOT 40152 SOS 9951 HAS SOPS 9951 HAS SOUS 6569 HAS SOUPS 6569 WITH SCORE 6578.951
AT ITER 1969 NEW BEST:: SOT 40143 SOS 9933 HAS SOPS 9933 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6561.933
AT ITER 2058 NEW BEST:: SOT 40138 SOS 9923 HAS SOPS 9923 HAS SOUS 6547 HAS SOUPS 6547 WITH SCORE 6556.923
AT ITER 2085 NEW BEST:: SOT 40133 SOS 9913 HAS SOPS 9913 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6546.913
AT ITER 2091 NEW BEST:: SOT 40129 SOS 9931 HAS SOPS 9931 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6542.931
AT ITER 2095 NEW BEST:: SOT 40127 SOS 9929 HAS SOPS 9929 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6542.929
AT ITER 2132 NEW BEST:: SOT 40123 SOS 9917 HAS SOPS 9917 HAS SOUS 6529 HAS SOUPS 6529 WITH SCORE 6538.917
AT ITER 2133 NEW BEST:: SOT 40117 SOS 9905 HAS SOPS 9905 HAS SOUS 6523 HAS SOUPS 6523 WITH SCORE 6532.905
AT ITER 2173 NEW BEST:: SOT 40117 SOS 9890 HAS SOPS 9890 HAS SOUS 6508 HAS SOUPS 6508 WITH SCORE 6517.89
AT ITER 2186 NEW BEST:: SOT 40107 SOS 9880 HAS SOPS 9880 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6495.88
AT ITER 2200 NEW BEST:: SOT 40107 SOS 9869 HAS SOPS 9869 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6495.869
AT ITER 2245 NEW BEST:: SOT 40101 SOS 9857 HAS SOPS 9857 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6483.857
AT ITER 2282 NEW BEST:: SOT 40097 SOS 9849 HAS SOPS 9849 HAS SOUS 6470 HAS SOUPS 6470 WITH SCORE 6479.849
AT ITER 2289 NEW BEST:: SOT 40074 SOS 9827 HAS SOPS 9827 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6456.827
AT ITER 2313 NEW BEST:: SOT 40035 SOS 10079 HAS SOPS 10079 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6447.079
AT ITER 2361 NEW BEST:: SOT 40035 SOS 10071 HAS SOPS 10071 HAS SOUS 6429 HAS SOUPS 6429 WITH SCORE 6439.071
AT ITER 2399 NEW BEST:: SOT 40023 SOS 10047 HAS SOPS 10047 HAS SOUS 6424 HAS SOUPS 6424 WITH SCORE 6434.047
AT ITER 2427 NEW BEST:: SOT 40020 SOS 10044 HAS SOPS 10044 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6428.044
AT ITER 2470 NEW BEST:: SOT 40016 SOS 10040 HAS SOPS 10040 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6424.04
AT ITER 2480 NEW BEST:: SOT 40005 SOS 10015 HAS SOPS 10015 HAS SOUS 6389 HAS SOUPS 6389 WITH SCORE 6399.015
AT ITER 2514 NEW BEST:: SOT 40003 SOS 10013 HAS SOPS 10013 HAS SOUS 6387 HAS SOUPS 6387 WITH SCORE 6397.013
AT ITER 2516 NEW BEST:: SOT 39999 SOS 10009 HAS SOPS 10009 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6393.009
AT ITER 2517 NEW BEST:: SOT 40002 SOS 10015 HAS SOPS 10015 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6390.015
AT ITER 2522 NEW BEST:: SOT 39986 SOS 9983 HAS SOPS 9983 HAS SOUS 6331 HAS SOUPS 6331 WITH SCORE 6340.983
AT ITER 2558 NEW BEST:: SOT 39982 SOS 9975 HAS SOPS 9975 HAS SOUS 6323 HAS SOUPS 6323 WITH SCORE 6332.975
AT ITER 2581 NEW BEST:: SOT 39997 SOS 9984 HAS SOPS 9984 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6320.984
AT ITER 2587 NEW BEST:: SOT 39992 SOS 9888 HAS SOPS 9888 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6273.888
AT ITER 2698 NEW BEST:: SOT 39990 SOS 9884 HAS SOPS 9884 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6269.884
AT ITER 2713 NEW BEST:: SOT 39977 SOS 9858 HAS SOPS 9858 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6261.858
AT ITER 2719 NEW BEST:: SOT 39969 SOS 9842 HAS SOPS 9842 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6253.842
AT ITER 2776 NEW BEST:: SOT 39967 SOS 9834 HAS SOPS 9834 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6234.834
AT ITER 2783 NEW BEST:: SOT 39967 SOS 9838 HAS SOPS 9838 HAS SOUS 6221 HAS SOUPS 6221 WITH SCORE 6230.838
AT ITER 2786 NEW BEST:: SOT 39963 SOS 9830 HAS SOPS 9830 HAS SOUS 6213 HAS SOUPS 6213 WITH SCORE 6222.83
AT ITER 2787 NEW BEST:: SOT 39961 SOS 9828 HAS SOPS 9828 HAS SOUS 6211 HAS SOUPS 6211 WITH SCORE 6220.828
AT ITER 2829 NEW BEST:: SOT 39961 SOS 9825 HAS SOPS 9825 HAS SOUS 6208 HAS SOUPS 6208 WITH SCORE 6217.825
AT ITER 2835 NEW BEST:: SOT 39943 SOS 9789 HAS SOPS 9789 HAS SOUS 6199 HAS SOUPS 6199 WITH SCORE 6208.789
AT ITER 2848 NEW BEST:: SOT 39941 SOS 9785 HAS SOPS 9785 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6204.785
AT ITER 2932 NEW BEST:: SOT 39967 SOS 9811 HAS SOPS 9811 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6198.811
AT ITER 2941 NEW BEST:: SOT 39930 SOS 9794 HAS SOPS 9794 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6190.794
AT ITER 2947 NEW BEST:: SOT 39936 SOS 9818 HAS SOPS 9818 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6187.818
AT ITER 2956 NEW BEST:: SOT 39929 SOS 9804 HAS SOPS 9804 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6180.804
AT ITER 2977 NEW BEST:: SOT 39904 SOS 9757 HAS SOPS 9757 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6171.757
AT ITER 3003 NEW BEST:: SOT 39905 SOS 9759 HAS SOPS 9759 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6168.759
AT ITER 3017 NEW BEST:: SOT 39901 SOS 9751 HAS SOPS 9751 HAS SOUS 6151 HAS SOUPS 6151 WITH SCORE 6160.751
AT ITER 3026 NEW BEST:: SOT 39901 SOS 9713 HAS SOPS 9713 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6131.713
AT ITER 3041 NEW BEST:: SOT 39933 SOS 9691 HAS SOPS 9691 HAS SOUS 6093 HAS SOUPS 6093 WITH SCORE 6102.691
AT ITER 3077 NEW BEST:: SOT 39933 SOS 9673 HAS SOPS 9673 HAS SOUS 6093 HAS SOUPS 6093 WITH SCORE 6102.673
AT ITER 3104 NEW BEST:: SOT 39923 SOS 9653 HAS SOPS 9653 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6092.653
AT ITER 3177 NEW BEST:: SOT 39885 SOS 9577 HAS SOPS 9577 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6045.577
AT ITER 3213 NEW BEST:: SOT 39884 SOS 9576 HAS SOPS 9576 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6043.576
AT ITER 3293 NEW BEST:: SOT 39882 SOS 9567 HAS SOPS 9567 HAS SOUS 6029 HAS SOUPS 6029 WITH SCORE 6038.567
AT ITER 3296 NEW BEST:: SOT 39876 SOS 9562 HAS SOPS 9562 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6033.562
AT ITER 3298 NEW BEST:: SOT 39876 SOS 9536 HAS SOPS 9536 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6025.536
AT ITER 3354 NEW BEST:: SOT 39876 SOS 9536 HAS SOPS 9536 HAS SOUS 6009 HAS SOUPS 6009 WITH SCORE 6018.536
AT ITER 3381 NEW BEST:: SOT 39875 SOS 9534 HAS SOPS 9534 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6017.534
AT ITER 3383 NEW BEST:: SOT 39875 SOS 9546 HAS SOPS 9546 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6005.546
AT ITER 3394 NEW BEST:: SOT 39867 SOS 9544 HAS SOPS 9544 HAS SOUS 5994 HAS SOUPS 5994 WITH SCORE 6003.544
AT ITER 3416 NEW BEST:: SOT 39858 SOS 9526 HAS SOPS 9526 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 5985.526
AT ITER 3433 NEW BEST:: SOT 39850 SOS 9518 HAS SOPS 9518 HAS SOUS 5968 HAS SOUPS 5968 WITH SCORE 5977.518
AT ITER 3507 NEW BEST:: SOT 39844 SOS 9516 HAS SOPS 9516 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5969.516
AT ITER 3533 NEW BEST:: SOT 39840 SOS 9504 HAS SOPS 9504 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5957.504
AT ITER 3545 NEW BEST:: SOT 39834 SOS 9507 HAS SOPS 9507 HAS SOUS 5942 HAS SOUPS 5942 WITH SCORE 5951.507
AT ITER 3549 NEW BEST:: SOT 39820 SOS 9473 HAS SOPS 9473 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5927.473
AT ITER 3564 NEW BEST:: SOT 39817 SOS 9467 HAS SOPS 9467 HAS SOUS 5912 HAS SOUPS 5912 WITH SCORE 5921.467
AT ITER 3597 NEW BEST:: SOT 39807 SOS 9447 HAS SOPS 9447 HAS SOUS 5903 HAS SOUPS 5903 WITH SCORE 5912.447
AT ITER 3606 NEW BEST:: SOT 39811 SOS 9444 HAS SOPS 9444 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5909.444
AT ITER 3609 NEW BEST:: SOT 39800 SOS 9422 HAS SOPS 9422 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5909.422
AT ITER 3620 NEW BEST:: SOT 39800 SOS 9422 HAS SOPS 9422 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5908.422
AT ITER 3650 NEW BEST:: SOT 39795 SOS 9406 HAS SOPS 9406 HAS SOUS 5888 HAS SOUPS 5888 WITH SCORE 5897.406
AT ITER 3652 NEW BEST:: SOT 39794 SOS 9401 HAS SOPS 9401 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5893.401
AT ITER 3683 NEW BEST:: SOT 39787 SOS 9395 HAS SOPS 9395 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5887.395
AT ITER 3690 NEW BEST:: SOT 39786 SOS 9393 HAS SOPS 9393 HAS SOUS 5876 HAS SOUPS 5876 WITH SCORE 5885.393
AT ITER 3692 NEW BEST:: SOT 39777 SOS 9366 HAS SOPS 9366 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5867.366
AT ITER 3706 NEW BEST:: SOT 39769 SOS 9350 HAS SOPS 9350 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5867.35
AT ITER 3734 NEW BEST:: SOT 39760 SOS 9334 HAS SOPS 9334 HAS SOUS 5842 HAS SOUPS 5842 WITH SCORE 5851.334
AT ITER 3766 NEW BEST:: SOT 39758 SOS 9301 HAS SOPS 9301 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5845.301
AT ITER 3853 NEW BEST:: SOT 39749 SOS 9302 HAS SOPS 9302 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5823.302
AT ITER 3900 NEW BEST:: SOT 39736 SOS 9289 HAS SOPS 9289 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5823.289
AT ITER 3917 NEW BEST:: SOT 39734 SOS 9285 HAS SOPS 9285 HAS SOUS 5810 HAS SOUPS 5810 WITH SCORE 5819.285
AT ITER 3943 NEW BEST:: SOT 39734 SOS 9285 HAS SOPS 9285 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5817.285
AT ITER 3956 NEW BEST:: SOT 39716 SOS 9249 HAS SOPS 9249 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5781.249
AT ITER 4055 NEW BEST:: SOT 39708 SOS 9317 HAS SOPS 9317 HAS SOUS 5768 HAS SOUPS 5768 WITH SCORE 5777.317
AT ITER 4060 NEW BEST:: SOT 39708 SOS 9317 HAS SOPS 9317 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5767.317
AT ITER 4103 NEW BEST:: SOT 39704 SOS 9309 HAS SOPS 9309 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5759.309
AT ITER 4145 NEW BEST:: SOT 39704 SOS 9309 HAS SOPS 9309 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5758.309
AT ITER 4159 NEW BEST:: SOT 39702 SOS 9305 HAS SOPS 9305 HAS SOUS 5747 HAS SOUPS 5747 WITH SCORE 5756.305
AT ITER 4160 NEW BEST:: SOT 39682 SOS 9265 HAS SOPS 9265 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5729.265
AT ITER 4181 NEW BEST:: SOT 39686 SOS 9263 HAS SOPS 9263 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5727.263
AT ITER 4192 NEW BEST:: SOT 39686 SOS 9259 HAS SOPS 9259 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5727.259
AT ITER 4198 NEW BEST:: SOT 39672 SOS 9231 HAS SOPS 9231 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5713.231
AT ITER 4229 NEW BEST:: SOT 39664 SOS 9223 HAS SOPS 9223 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5707.223
AT ITER 4263 NEW BEST:: SOT 39667 SOS 9196 HAS SOPS 9196 HAS SOUS 5696 HAS SOUPS 5696 WITH SCORE 5705.196
AT ITER 4281 NEW BEST:: SOT 39667 SOS 9186 HAS SOPS 9186 HAS SOUS 5686 HAS SOUPS 5686 WITH SCORE 5695.186
AT ITER 4361 NEW BEST:: SOT 39638 SOS 9157 HAS SOPS 9157 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5690.157
AT ITER 4369 NEW BEST:: SOT 39637 SOS 9157 HAS SOPS 9157 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5689.157
AT ITER 4406 NEW BEST:: SOT 39581 SOS 9101 HAS SOPS 9101 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5688.101
AT ITER 4418 NEW BEST:: SOT 39552 SOS 9072 HAS SOPS 9072 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5688.072
AT ITER 4492 NEW BEST:: SOT 39551 SOS 9070 HAS SOPS 9070 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5684.07
AT ITER 4518 NEW BEST:: SOT 39551 SOS 9070 HAS SOPS 9070 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5679.07
AT ITER 4549 NEW BEST:: SOT 39495 SOS 9014 HAS SOPS 9014 HAS SOUS 5614 HAS SOUPS 5614 WITH SCORE 5623.014
AT ITER 4552 NEW BEST:: SOT 39490 SOS 9004 HAS SOPS 9004 HAS SOUS 5609 HAS SOUPS 5609 WITH SCORE 5618.004
AT ITER 4557 NEW BEST:: SOT 39487 SOS 8998 HAS SOPS 8998 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5614.998
AT ITER 4576 NEW BEST:: SOT 39487 SOS 8996 HAS SOPS 8996 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5614.996
AT ITER 4597 NEW BEST:: SOT 39481 SOS 8990 HAS SOPS 8990 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5614.99
AT ITER 4636 NEW BEST:: SOT 39470 SOS 8979 HAS SOPS 8979 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5603.979
AT ITER 4667 NEW BEST:: SOT 39470 SOS 8979 HAS SOPS 8979 HAS SOUS 5592 HAS SOUPS 5592 WITH SCORE 5600.979
AT ITER 4710 NEW BEST:: SOT 39449 SOS 8960 HAS SOPS 8960 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5582.96
AT ITER 4760 NEW BEST:: SOT 39447 SOS 8956 HAS SOPS 8956 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5578.956
AT ITER 4800 NEW BEST:: SOT 39434 SOS 8952 HAS SOPS 8952 HAS SOUS 5562 HAS SOUPS 5562 WITH SCORE 5570.952
AT ITER 4817 NEW BEST:: SOT 39432 SOS 8948 HAS SOPS 8948 HAS SOUS 5562 HAS SOUPS 5562 WITH SCORE 5570.948
AT ITER 4837 NEW BEST:: SOT 39433 SOS 8949 HAS SOPS 8949 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5569.949
AT ITER 4855 NEW BEST:: SOT 39433 SOS 8949 HAS SOPS 8949 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5566.949
AT ITER 4857 NEW BEST:: SOT 39429 SOS 8941 HAS SOPS 8941 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5562.941
AT ITER 4914 NEW BEST:: SOT 39417 SOS 8919 HAS SOPS 8919 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5540.919
AT ITER 4934 NEW BEST:: SOT 39402 SOS 8889 HAS SOPS 8889 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5520.889
AT ITER 4980 NEW BEST:: SOT 39398 SOS 8885 HAS SOPS 8885 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5512.885
AT ITER 4988 NEW BEST:: SOT 39398 SOS 8834 HAS SOPS 8834 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5512.834
AT ITER 5034 NEW BEST:: SOT 39383 SOS 8804 HAS SOPS 8804 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5488.804
AT ITER 5055 NEW BEST:: SOT 39339 SOS 8712 HAS SOPS 8712 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5484.712
AT ITER 5097 NEW BEST:: SOT 39325 SOS 8704 HAS SOPS 8704 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5484.704
AT ITER 5103 NEW BEST:: SOT 39325 SOS 8732 HAS SOPS 8732 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5463.732
AT ITER 5142 NEW BEST:: SOT 39320 SOS 8748 HAS SOPS 8748 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5460.748
AT ITER 5157 NEW BEST:: SOT 39333 SOS 8746 HAS SOPS 8746 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5458.746
AT ITER 5177 NEW BEST:: SOT 39327 SOS 8740 HAS SOPS 8740 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5449.74
AT ITER 5191 NEW BEST:: SOT 39324 SOS 8734 HAS SOPS 8734 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5443.734
AT ITER 5210 NEW BEST:: SOT 39320 SOS 8726 HAS SOPS 8726 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5435.726
AT ITER 5333 NEW BEST:: SOT 39299 SOS 8684 HAS SOPS 8684 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5433.684
AT ITER 5388 NEW BEST:: SOT 39297 SOS 8680 HAS SOPS 8680 HAS SOUS 5422 HAS SOUPS 5422 WITH SCORE 5430.68
AT ITER 5458 NEW BEST:: SOT 39297 SOS 8670 HAS SOPS 8670 HAS SOUS 5422 HAS SOUPS 5422 WITH SCORE 5430.67
AT ITER 5561 NEW BEST:: SOT 39265 SOS 8606 HAS SOPS 8606 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5398.606
AT ITER 5563 NEW BEST:: SOT 39259 SOS 8594 HAS SOPS 8594 HAS SOUS 5378 HAS SOUPS 5378 WITH SCORE 5386.594
AT ITER 5590 NEW BEST:: SOT 39259 SOS 8592 HAS SOPS 8592 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5384.592
AT ITER 5597 NEW BEST:: SOT 39237 SOS 8576 HAS SOPS 8576 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5368.576
AT ITER 5634 NEW BEST:: SOT 39230 SOS 8562 HAS SOPS 8562 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5354.562
AT ITER 5667 NEW BEST:: SOT 39232 SOS 8560 HAS SOPS 8560 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5352.56
AT ITER 5680 NEW BEST:: SOT 39220 SOS 8554 HAS SOPS 8554 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5340.554
AT ITER 5697 NEW BEST:: SOT 39237 SOS 8567 HAS SOPS 8567 HAS SOUS 5317 HAS SOUPS 5317 WITH SCORE 5325.567
AT ITER 5743 NEW BEST:: SOT 39211 SOS 8515 HAS SOPS 8515 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5273.515
AT ITER 5828 NEW BEST:: SOT 39211 SOS 8515 HAS SOPS 8515 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5270.515
AT ITER 5912 NEW BEST:: SOT 39218 SOS 8533 HAS SOPS 8533 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5266.533
AT ITER 5914 NEW BEST:: SOT 39211 SOS 8512 HAS SOPS 8512 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5259.512
AT ITER 5959 NEW BEST:: SOT 39199 SOS 8504 HAS SOPS 8504 HAS SOUS 5243 HAS SOUPS 5243 WITH SCORE 5251.504
AT ITER 5970 NEW BEST:: SOT 39195 SOS 8502 HAS SOPS 8502 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5249.502
AT ITER 5986 NEW BEST:: SOT 39194 SOS 8500 HAS SOPS 8500 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5247.5
AT ITER 6020 NEW BEST:: SOT 39193 SOS 8486 HAS SOPS 8486 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5233.486
AT ITER 6054 NEW BEST:: SOT 39194 SOS 8487 HAS SOPS 8487 HAS SOUS 5208 HAS SOUPS 5208 WITH SCORE 5216.487
AT ITER 6056 NEW BEST:: SOT 39182 SOS 8463 HAS SOPS 8463 HAS SOUS 5196 HAS SOUPS 5196 WITH SCORE 5204.463
AT ITER 6074 NEW BEST:: SOT 39185 SOS 8475 HAS SOPS 8475 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5203.475
AT ITER 6146 NEW BEST:: SOT 39188 SOS 8423 HAS SOPS 8423 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5203.423
AT ITER 6148 NEW BEST:: SOT 39188 SOS 8421 HAS SOPS 8421 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5201.421
AT ITER 6156 NEW BEST:: SOT 39182 SOS 8409 HAS SOPS 8409 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5195.409
AT ITER 6180 NEW BEST:: SOT 39162 SOS 8376 HAS SOPS 8376 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5162.376
AT ITER 6229 NEW BEST:: SOT 39158 SOS 8373 HAS SOPS 8373 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5162.373
AT ITER 6237 NEW BEST:: SOT 39158 SOS 8309 HAS SOPS 8309 HAS SOUS 5143 HAS SOUPS 5143 WITH SCORE 5151.309
AT ITER 6286 NEW BEST:: SOT 39158 SOS 8307 HAS SOPS 8307 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5150.307
AT ITER 6306 NEW BEST:: SOT 39147 SOS 8311 HAS SOPS 8311 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5148.311
AT ITER 6324 NEW BEST:: SOT 39146 SOS 8281 HAS SOPS 8281 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5139.281
AT ITER 6477 NEW BEST:: SOT 39142 SOS 8273 HAS SOPS 8273 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5133.273
AT ITER 6514 NEW BEST:: SOT 39142 SOS 8260 HAS SOPS 8260 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5133.26
AT ITER 6519 NEW BEST:: SOT 39146 SOS 8259 HAS SOPS 8259 HAS SOUS 5120 HAS SOUPS 5120 WITH SCORE 5128.259
AT ITER 6581 NEW BEST:: SOT 39148 SOS 8263 HAS SOPS 8263 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5118.263
AT ITER 6604 NEW BEST:: SOT 39148 SOS 8263 HAS SOPS 8263 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5116.263
AT ITER 6654 NEW BEST:: SOT 39148 SOS 8263 HAS SOPS 8263 HAS SOUS 5104 HAS SOUPS 5104 WITH SCORE 5112.263
AT ITER 6668 NEW BEST:: SOT 39131 SOS 8229 HAS SOPS 8229 HAS SOUS 5104 HAS SOUPS 5104 WITH SCORE 5112.229
AT ITER 6682 NEW BEST:: SOT 39128 SOS 8234 HAS SOPS 8234 HAS SOUS 5098 HAS SOUPS 5098 WITH SCORE 5106.234
AT ITER 6709 NEW BEST:: SOT 39125 SOS 8254 HAS SOPS 8254 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5105.254
AT ITER 6726 NEW BEST:: SOT 39123 SOS 8250 HAS SOPS 8250 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5105.25
AT ITER 6902 NEW BEST:: SOT 39139 SOS 8266 HAS SOPS 8266 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5090.266
AT ITER 6959 NEW BEST:: SOT 39129 SOS 8261 HAS SOPS 8261 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5085.261
AT ITER 6974 NEW BEST:: SOT 39127 SOS 8257 HAS SOPS 8257 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5085.257
AT ITER 6990 NEW BEST:: SOT 39124 SOS 8254 HAS SOPS 8254 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5081.254
AT ITER 7105 NEW BEST:: SOT 39123 SOS 8248 HAS SOPS 8248 HAS SOUS 5072 HAS SOUPS 5072 WITH SCORE 5080.248
AT ITER 7206 NEW BEST:: SOT 39118 SOS 8238 HAS SOPS 8238 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5075.238
AT ITER 7271 NEW BEST:: SOT 39117 SOS 8246 HAS SOPS 8246 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5073.246
AT ITER 7285 NEW BEST:: SOT 39117 SOS 8246 HAS SOPS 8246 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5072.246
AT ITER 7307 NEW BEST:: SOT 39102 SOS 8216 HAS SOPS 8216 HAS SOUS 5056 HAS SOUPS 5056 WITH SCORE 5064.216
AT ITER 7361 NEW BEST:: SOT 39100 SOS 8222 HAS SOPS 8222 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5060.222
AT ITER 7394 NEW BEST:: SOT 39100 SOS 8220 HAS SOPS 8220 HAS SOUS 5051 HAS SOUPS 5051 WITH SCORE 5059.22
AT ITER 7568 NEW BEST:: SOT 39112 SOS 8232 HAS SOPS 8232 HAS SOUS 5049 HAS SOUPS 5049 WITH SCORE 5057.232
AT ITER 7583 NEW BEST:: SOT 39127 SOS 8194 HAS SOPS 8194 HAS SOUS 5046 HAS SOUPS 5046 WITH SCORE 5054.194
AT ITER 7748 NEW BEST:: SOT 39125 SOS 8172 HAS SOPS 8172 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5049.172
AT ITER 7797 NEW BEST:: SOT 39118 SOS 8165 HAS SOPS 8165 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5047.165
AT ITER 7828 NEW BEST:: SOT 39104 SOS 8147 HAS SOPS 8147 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5043.147
AT ITER 7840 NEW BEST:: SOT 39101 SOS 8141 HAS SOPS 8141 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5040.141
AT ITER 7898 NEW BEST:: SOT 39100 SOS 8140 HAS SOPS 8140 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5038.14
AT ITER 7989 NEW BEST:: SOT 39100 SOS 8140 HAS SOPS 8140 HAS SOUS 5029 HAS SOUPS 5029 WITH SCORE 5037.14
AT ITER 8012 NEW BEST:: SOT 39097 SOS 8137 HAS SOPS 8137 HAS SOUS 5026 HAS SOUPS 5026 WITH SCORE 5034.137
AT ITER 8109 NEW BEST:: SOT 39097 SOS 8130 HAS SOPS 8130 HAS SOUS 5026 HAS SOUPS 5026 WITH SCORE 5034.13
AT ITER 8186 NEW BEST:: SOT 39097 SOS 8127 HAS SOPS 8127 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5031.127
AT ITER 8215 NEW BEST:: SOT 39097 SOS 8126 HAS SOPS 8126 HAS SOUS 5022 HAS SOUPS 5022 WITH SCORE 5030.126
AT ITER 8230 NEW BEST:: SOT 39097 SOS 8124 HAS SOPS 8124 HAS SOUS 5020 HAS SOUPS 5020 WITH SCORE 5028.124
AT ITER 8241 NEW BEST:: SOT 39095 SOS 8120 HAS SOPS 8120 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5026.12
AT ITER 8296 NEW BEST:: SOT 39096 SOS 8121 HAS SOPS 8121 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5025.121
AT ITER 8442 NEW BEST:: SOT 39096 SOS 8121 HAS SOPS 8121 HAS SOUS 4993 HAS SOUPS 4993 WITH SCORE 5001.121
AT ITER 8465 NEW BEST:: SOT 39067 SOS 8063 HAS SOPS 8063 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4976.063
AT ITER 8482 NEW BEST:: SOT 39058 SOS 8055 HAS SOPS 8055 HAS SOUS 4959 HAS SOUPS 4959 WITH SCORE 4967.055
AT ITER 8495 NEW BEST:: SOT 39051 SOS 8048 HAS SOPS 8048 HAS SOUS 4959 HAS SOUPS 4959 WITH SCORE 4967.048
AT ITER 8507 NEW BEST:: SOT 39048 SOS 8042 HAS SOPS 8042 HAS SOUS 4956 HAS SOUPS 4956 WITH SCORE 4964.042
AT ITER 8519 NEW BEST:: SOT 39047 SOS 8037 HAS SOPS 8037 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4959.037
AT ITER 8535 NEW BEST:: SOT 39047 SOS 8032 HAS SOPS 8032 HAS SOUS 4946 HAS SOUPS 4946 WITH SCORE 4954.032
AT ITER 8598 NEW BEST:: SOT 39046 SOS 8030 HAS SOPS 8030 HAS SOUS 4944 HAS SOUPS 4944 WITH SCORE 4952.03
AT ITER 8646 NEW BEST:: SOT 39042 SOS 8026 HAS SOPS 8026 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4944.026
AT ITER 8648 NEW BEST:: SOT 39015 SOS 8539 HAS SOPS 8539 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4943.539
AT ITER 8655 NEW BEST:: SOT 39014 SOS 8538 HAS SOPS 8538 HAS SOUS 4934 HAS SOUPS 4934 WITH SCORE 4942.538
AT ITER 8758 NEW BEST:: SOT 39013 SOS 8536 HAS SOPS 8536 HAS SOUS 4931 HAS SOUPS 4931 WITH SCORE 4939.536
AT ITER 8759 NEW BEST:: SOT 39014 SOS 8534 HAS SOPS 8534 HAS SOUS 4931 HAS SOUPS 4931 WITH SCORE 4939.534
AT ITER 8791 NEW BEST:: SOT 39014 SOS 8524 HAS SOPS 8524 HAS SOUS 4922 HAS SOUPS 4922 WITH SCORE 4930.524
AT ITER 8795 NEW BEST:: SOT 39011 SOS 8518 HAS SOPS 8518 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4927.518
AT ITER 8861 NEW BEST:: SOT 39009 SOS 8514 HAS SOPS 8514 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4926.514
AT ITER 8868 NEW BEST:: SOT 39005 SOS 8506 HAS SOPS 8506 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4922.506
AT ITER 9043 NEW BEST:: SOT 38987 SOS 8482 HAS SOPS 8482 HAS SOUS 4896 HAS SOUPS 4896 WITH SCORE 4904.482
AT ITER 9213 NEW BEST:: SOT 38981 SOS 8476 HAS SOPS 8476 HAS SOUS 4890 HAS SOUPS 4890 WITH SCORE 4898.476
AT ITER 9309 NEW BEST:: SOT 38982 SOS 8475 HAS SOPS 8475 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4897.475
AT ITER 9322 NEW BEST:: SOT 38981 SOS 8472 HAS SOPS 8472 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4895.472
AT ITER 9343 NEW BEST:: SOT 38973 SOS 8465 HAS SOPS 8465 HAS SOUS 4879 HAS SOUPS 4879 WITH SCORE 4887.465
AT ITER 9389 NEW BEST:: SOT 38969 SOS 8461 HAS SOPS 8461 HAS SOUS 4879 HAS SOUPS 4879 WITH SCORE 4887.461
AT ITER 9474 NEW BEST:: SOT 38971 SOS 8458 HAS SOPS 8458 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4884.458
AT ITER 9613 NEW BEST:: SOT 38966 SOS 8448 HAS SOPS 8448 HAS SOUS 4866 HAS SOUPS 4866 WITH SCORE 4874.448
AT ITER 9709 NEW BEST:: SOT 38964 SOS 8438 HAS SOPS 8438 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4864.438
AT ITER 9859 NEW BEST:: SOT 38938 SOS 8386 HAS SOPS 8386 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4849.386
AT ITER 9979 NEW BEST:: SOT 38929 SOS 8376 HAS SOPS 8376 HAS SOUS 4831 HAS SOUPS 4831 WITH SCORE 4839.376
STATE_SPACE STATES 341149113957 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3125104112644 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679182765361

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

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