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.r459-smll-167912650900200.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is SmartHome-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912650900200
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 6.1K Feb 26 05:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 05:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 05:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 05:44 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 18K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 05:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 05:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 05:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 101K Feb 26 05:46 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 56K 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 1679259677503

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SmartHome-PT-06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 21:01:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 21:01:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 21:01:20] [INFO ] Load time of PNML (sax parser for PT used): 92 ms
[2023-03-19 21:01:20] [INFO ] Transformed 219 places.
[2023-03-19 21:01:20] [INFO ] Transformed 254 transitions.
[2023-03-19 21:01:20] [INFO ] Found NUPN structural information;
[2023-03-19 21:01:20] [INFO ] Parsed PT model containing 219 places and 254 transitions and 581 arcs in 196 ms.
[2023-03-19 21:01:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 219 places, 254 transitions and 581 arcs took 9 ms.
Total runtime 249 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 219 places, 254 transitions, 581 arcs.
AT ITER 0 NEW BEST:: SOT 33184 SOS 8188 HAS SOPS 8188 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7903.188
AT ITER 4 NEW BEST:: SOT 33180 SOS 8180 HAS SOPS 8180 HAS SOUS 7863 HAS SOUPS 7863 WITH SCORE 7871.18
AT ITER 9 NEW BEST:: SOT 33178 SOS 8176 HAS SOPS 8176 HAS SOUS 7859 HAS SOUPS 7859 WITH SCORE 7867.176
AT ITER 17 NEW BEST:: SOT 33147 SOS 8145 HAS SOPS 8145 HAS SOUS 7827 HAS SOUPS 7827 WITH SCORE 7835.145
AT ITER 18 NEW BEST:: SOT 33050 SOS 8122 HAS SOPS 8122 HAS SOUS 7753 HAS SOUPS 7753 WITH SCORE 7761.122
AT ITER 23 NEW BEST:: SOT 33050 SOS 8110 HAS SOPS 8110 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7749.11
AT ITER 37 NEW BEST:: SOT 32805 SOS 9286 HAS SOPS 9286 HAS SOUS 7699 HAS SOUPS 7699 WITH SCORE 7708.286
AT ITER 45 NEW BEST:: SOT 32805 SOS 9267 HAS SOPS 9267 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7689.267
AT ITER 62 NEW BEST:: SOT 32794 SOS 9259 HAS SOPS 9259 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7681.259
AT ITER 68 NEW BEST:: SOT 32670 SOS 9179 HAS SOPS 9179 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7571.179
AT ITER 78 NEW BEST:: SOT 32658 SOS 9155 HAS SOPS 9155 HAS SOUS 7544 HAS SOUPS 7544 WITH SCORE 7553.155
AT ITER 81 NEW BEST:: SOT 32640 SOS 9133 HAS SOPS 9133 HAS SOUS 7522 HAS SOUPS 7522 WITH SCORE 7531.133
AT ITER 92 NEW BEST:: SOT 32615 SOS 9118 HAS SOPS 9118 HAS SOUS 7507 HAS SOUPS 7507 WITH SCORE 7516.118
AT ITER 96 NEW BEST:: SOT 32601 SOS 9090 HAS SOPS 9090 HAS SOUS 7503 HAS SOUPS 7503 WITH SCORE 7512.09
AT ITER 97 NEW BEST:: SOT 32601 SOS 9079 HAS SOPS 9079 HAS SOUS 7493 HAS SOUPS 7493 WITH SCORE 7502.079
AT ITER 100 NEW BEST:: SOT 32600 SOS 9078 HAS SOPS 9078 HAS SOUS 7482 HAS SOUPS 7482 WITH SCORE 7491.078
AT ITER 107 NEW BEST:: SOT 32585 SOS 8838 HAS SOPS 8838 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7460.838
AT ITER 128 NEW BEST:: SOT 32601 SOS 8825 HAS SOPS 8825 HAS SOUS 7439 HAS SOUPS 7439 WITH SCORE 7447.825
AT ITER 132 NEW BEST:: SOT 32492 SOS 8846 HAS SOPS 8846 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7398.846
AT ITER 133 NEW BEST:: SOT 32481 SOS 8824 HAS SOPS 8824 HAS SOUS 7387 HAS SOUPS 7387 WITH SCORE 7395.824
AT ITER 134 NEW BEST:: SOT 32438 SOS 8812 HAS SOPS 8812 HAS SOUS 7375 HAS SOUPS 7375 WITH SCORE 7383.812
AT ITER 154 NEW BEST:: SOT 32436 SOS 8752 HAS SOPS 8752 HAS SOUS 7348 HAS SOUPS 7348 WITH SCORE 7356.752
AT ITER 157 NEW BEST:: SOT 32432 SOS 8748 HAS SOPS 8748 HAS SOUS 7344 HAS SOUPS 7344 WITH SCORE 7352.748
AT ITER 162 NEW BEST:: SOT 32394 SOS 8740 HAS SOPS 8740 HAS SOUS 7342 HAS SOUPS 7342 WITH SCORE 7350.74
AT ITER 166 NEW BEST:: SOT 32377 SOS 8701 HAS SOPS 8701 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7294.701
AT ITER 169 NEW BEST:: SOT 32374 SOS 8695 HAS SOPS 8695 HAS SOUS 7280 HAS SOUPS 7280 WITH SCORE 7288.695
AT ITER 172 NEW BEST:: SOT 32364 SOS 8678 HAS SOPS 8678 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7280.678
AT ITER 183 NEW BEST:: SOT 32347 SOS 8669 HAS SOPS 8669 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7269.669
AT ITER 185 NEW BEST:: SOT 32344 SOS 8663 HAS SOPS 8663 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7269.663
AT ITER 210 NEW BEST:: SOT 32353 SOS 8661 HAS SOPS 8661 HAS SOUS 7259 HAS SOUPS 7259 WITH SCORE 7267.661
AT ITER 215 NEW BEST:: SOT 32343 SOS 8641 HAS SOPS 8641 HAS SOUS 7239 HAS SOUPS 7239 WITH SCORE 7247.641
AT ITER 217 NEW BEST:: SOT 32343 SOS 8641 HAS SOPS 8641 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7244.641
AT ITER 229 NEW BEST:: SOT 32343 SOS 8635 HAS SOPS 8635 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7238.635
AT ITER 240 NEW BEST:: SOT 32332 SOS 8613 HAS SOPS 8613 HAS SOUS 7224 HAS SOUPS 7224 WITH SCORE 7232.613
AT ITER 242 NEW BEST:: SOT 32295 SOS 8539 HAS SOPS 8539 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7158.539
AT ITER 246 NEW BEST:: SOT 32289 SOS 8527 HAS SOPS 8527 HAS SOUS 7138 HAS SOUPS 7138 WITH SCORE 7146.527
AT ITER 247 NEW BEST:: SOT 32289 SOS 8522 HAS SOPS 8522 HAS SOUS 7133 HAS SOUPS 7133 WITH SCORE 7141.522
AT ITER 251 NEW BEST:: SOT 32287 SOS 8518 HAS SOPS 8518 HAS SOUS 7129 HAS SOUPS 7129 WITH SCORE 7137.518
AT ITER 285 NEW BEST:: SOT 32244 SOS 8432 HAS SOPS 8432 HAS SOUS 7129 HAS SOUPS 7129 WITH SCORE 7137.432
AT ITER 297 NEW BEST:: SOT 32228 SOS 8416 HAS SOPS 8416 HAS SOUS 7112 HAS SOUPS 7112 WITH SCORE 7120.416
AT ITER 311 NEW BEST:: SOT 32208 SOS 8396 HAS SOPS 8396 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7100.396
AT ITER 314 NEW BEST:: SOT 32203 SOS 8389 HAS SOPS 8389 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7095.389
AT ITER 328 NEW BEST:: SOT 32205 SOS 8388 HAS SOPS 8388 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7092.388
AT ITER 330 NEW BEST:: SOT 32205 SOS 8396 HAS SOPS 8396 HAS SOUS 7076 HAS SOUPS 7076 WITH SCORE 7084.396
AT ITER 340 NEW BEST:: SOT 32189 SOS 8404 HAS SOPS 8404 HAS SOUS 7069 HAS SOUPS 7069 WITH SCORE 7077.404
AT ITER 341 NEW BEST:: SOT 32171 SOS 8385 HAS SOPS 8385 HAS SOUS 7050 HAS SOUPS 7050 WITH SCORE 7058.385
AT ITER 371 NEW BEST:: SOT 32166 SOS 8375 HAS SOPS 8375 HAS SOUS 7040 HAS SOUPS 7040 WITH SCORE 7048.375
AT ITER 373 NEW BEST:: SOT 32166 SOS 8374 HAS SOPS 8374 HAS SOUS 7039 HAS SOUPS 7039 WITH SCORE 7047.374
AT ITER 390 NEW BEST:: SOT 32164 SOS 8357 HAS SOPS 8357 HAS SOUS 7024 HAS SOUPS 7024 WITH SCORE 7032.357
AT ITER 391 NEW BEST:: SOT 32158 SOS 8345 HAS SOPS 8345 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7026.345
AT ITER 401 NEW BEST:: SOT 32136 SOS 8301 HAS SOPS 8301 HAS SOUS 6974 HAS SOUPS 6974 WITH SCORE 6982.301
AT ITER 402 NEW BEST:: SOT 32127 SOS 8283 HAS SOPS 8283 HAS SOUS 6955 HAS SOUPS 6955 WITH SCORE 6963.283
AT ITER 410 NEW BEST:: SOT 32089 SOS 8243 HAS SOPS 8243 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6935.243
AT ITER 413 NEW BEST:: SOT 32085 SOS 8236 HAS SOPS 8236 HAS SOUS 6920 HAS SOUPS 6920 WITH SCORE 6928.236
AT ITER 421 NEW BEST:: SOT 32025 SOS 8213 HAS SOPS 8213 HAS SOUS 6868 HAS SOUPS 6868 WITH SCORE 6876.213
AT ITER 426 NEW BEST:: SOT 32009 SOS 8155 HAS SOPS 8155 HAS SOUS 6828 HAS SOUPS 6828 WITH SCORE 6836.155
AT ITER 446 NEW BEST:: SOT 31986 SOS 8109 HAS SOPS 8109 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6790.109
AT ITER 449 NEW BEST:: SOT 31973 SOS 8108 HAS SOPS 8108 HAS SOUS 6776 HAS SOUPS 6776 WITH SCORE 6784.108
AT ITER 453 NEW BEST:: SOT 31973 SOS 8054 HAS SOPS 8054 HAS SOUS 6776 HAS SOUPS 6776 WITH SCORE 6784.054
AT ITER 474 NEW BEST:: SOT 31973 SOS 8053 HAS SOPS 8053 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6783.053
AT ITER 483 NEW BEST:: SOT 31972 SOS 8051 HAS SOPS 8051 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6781.051
AT ITER 492 NEW BEST:: SOT 31955 SOS 8034 HAS SOPS 8034 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6763.034
AT ITER 508 NEW BEST:: SOT 31954 SOS 8032 HAS SOPS 8032 HAS SOUS 6710 HAS SOUPS 6710 WITH SCORE 6718.032
AT ITER 513 NEW BEST:: SOT 31961 SOS 8026 HAS SOPS 8026 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6712.026
AT ITER 518 NEW BEST:: SOT 31949 SOS 8002 HAS SOPS 8002 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6668.002
AT ITER 532 NEW BEST:: SOT 31932 SOS 7968 HAS SOPS 7968 HAS SOUS 6643 HAS SOUPS 6643 WITH SCORE 6650.968
AT ITER 550 NEW BEST:: SOT 31932 SOS 7959 HAS SOPS 7959 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6644.959
AT ITER 552 NEW BEST:: SOT 31931 SOS 7957 HAS SOPS 7957 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6642.957
AT ITER 570 NEW BEST:: SOT 31744 SOS 9028 HAS SOPS 9028 HAS SOUS 6555 HAS SOUPS 6555 WITH SCORE 6564.028
AT ITER 572 NEW BEST:: SOT 31720 SOS 8992 HAS SOPS 8992 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6539.992
AT ITER 574 NEW BEST:: SOT 31655 SOS 8927 HAS SOPS 8927 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6539.927
AT ITER 594 NEW BEST:: SOT 31655 SOS 8915 HAS SOPS 8915 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6525.915
AT ITER 632 NEW BEST:: SOT 31646 SOS 8897 HAS SOPS 8897 HAS SOUS 6499 HAS SOUPS 6499 WITH SCORE 6507.897
AT ITER 652 NEW BEST:: SOT 31632 SOS 8869 HAS SOPS 8869 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6494.869
AT ITER 658 NEW BEST:: SOT 31629 SOS 8866 HAS SOPS 8866 HAS SOUS 6483 HAS SOUPS 6483 WITH SCORE 6491.866
AT ITER 664 NEW BEST:: SOT 31624 SOS 8843 HAS SOPS 8843 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6464.843
AT ITER 676 NEW BEST:: SOT 31627 SOS 8829 HAS SOPS 8829 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6460.829
AT ITER 683 NEW BEST:: SOT 31593 SOS 8761 HAS SOPS 8761 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6414.761
AT ITER 690 NEW BEST:: SOT 31593 SOS 8761 HAS SOPS 8761 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6406.761
AT ITER 698 NEW BEST:: SOT 31594 SOS 8758 HAS SOPS 8758 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6403.758
AT ITER 707 NEW BEST:: SOT 31543 SOS 8656 HAS SOPS 8656 HAS SOUS 6344 HAS SOUPS 6344 WITH SCORE 6352.656
AT ITER 712 NEW BEST:: SOT 31543 SOS 8638 HAS SOPS 8638 HAS SOUS 6344 HAS SOUPS 6344 WITH SCORE 6352.638
AT ITER 720 NEW BEST:: SOT 31543 SOS 8638 HAS SOPS 8638 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6340.638
AT ITER 735 NEW BEST:: SOT 31519 SOS 8565 HAS SOPS 8565 HAS SOUS 6284 HAS SOUPS 6284 WITH SCORE 6292.565
AT ITER 743 NEW BEST:: SOT 31519 SOS 8565 HAS SOPS 8565 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6291.565
AT ITER 746 NEW BEST:: SOT 31517 SOS 8561 HAS SOPS 8561 HAS SOUS 6279 HAS SOUPS 6279 WITH SCORE 6287.561
AT ITER 757 NEW BEST:: SOT 31517 SOS 8561 HAS SOPS 8561 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6276.561
AT ITER 771 NEW BEST:: SOT 31519 SOS 8565 HAS SOPS 8565 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6262.565
AT ITER 778 NEW BEST:: SOT 31500 SOS 8527 HAS SOPS 8527 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6262.527
AT ITER 792 NEW BEST:: SOT 31471 SOS 8448 HAS SOPS 8448 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6212.448
AT ITER 797 NEW BEST:: SOT 31500 SOS 8506 HAS SOPS 8506 HAS SOUS 6194 HAS SOUPS 6194 WITH SCORE 6202.506
AT ITER 799 NEW BEST:: SOT 31500 SOS 8499 HAS SOPS 8499 HAS SOUS 6187 HAS SOUPS 6187 WITH SCORE 6195.499
AT ITER 801 NEW BEST:: SOT 31504 SOS 8503 HAS SOPS 8503 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6184.503
AT ITER 804 NEW BEST:: SOT 31495 SOS 8469 HAS SOPS 8469 HAS SOUS 6167 HAS SOUPS 6167 WITH SCORE 6175.469
AT ITER 820 NEW BEST:: SOT 31491 SOS 8461 HAS SOPS 8461 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6167.461
AT ITER 825 NEW BEST:: SOT 31490 SOS 8459 HAS SOPS 8459 HAS SOUS 6157 HAS SOUPS 6157 WITH SCORE 6165.459
AT ITER 869 NEW BEST:: SOT 31474 SOS 8457 HAS SOPS 8457 HAS SOUS 6151 HAS SOUPS 6151 WITH SCORE 6159.457
AT ITER 870 NEW BEST:: SOT 31466 SOS 8441 HAS SOPS 8441 HAS SOUS 6120 HAS SOUPS 6120 WITH SCORE 6128.441
AT ITER 889 NEW BEST:: SOT 31415 SOS 8339 HAS SOPS 8339 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6077.339
AT ITER 920 NEW BEST:: SOT 31413 SOS 8335 HAS SOPS 8335 HAS SOUS 6067 HAS SOUPS 6067 WITH SCORE 6075.335
AT ITER 937 NEW BEST:: SOT 31389 SOS 8325 HAS SOPS 8325 HAS SOUS 6057 HAS SOUPS 6057 WITH SCORE 6065.325
AT ITER 944 NEW BEST:: SOT 31347 SOS 8313 HAS SOPS 8313 HAS SOUS 6015 HAS SOUPS 6015 WITH SCORE 6023.313
AT ITER 947 NEW BEST:: SOT 31335 SOS 8301 HAS SOPS 8301 HAS SOUS 6009 HAS SOUPS 6009 WITH SCORE 6017.301
AT ITER 953 NEW BEST:: SOT 31327 SOS 8299 HAS SOPS 8299 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6015.299
AT ITER 966 NEW BEST:: SOT 31326 SOS 8248 HAS SOPS 8248 HAS SOUS 5957 HAS SOUPS 5957 WITH SCORE 5965.248
AT ITER 973 NEW BEST:: SOT 31316 SOS 8239 HAS SOPS 8239 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5962.239
AT ITER 978 NEW BEST:: SOT 31313 SOS 8269 HAS SOPS 8269 HAS SOUS 5951 HAS SOUPS 5951 WITH SCORE 5959.269
AT ITER 981 NEW BEST:: SOT 31315 SOS 8253 HAS SOPS 8253 HAS SOUS 5943 HAS SOUPS 5943 WITH SCORE 5951.253
AT ITER 988 NEW BEST:: SOT 31313 SOS 8251 HAS SOPS 8251 HAS SOUS 5933 HAS SOUPS 5933 WITH SCORE 5941.251
AT ITER 1001 NEW BEST:: SOT 31268 SOS 8161 HAS SOPS 8161 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 5901.161
AT ITER 1008 NEW BEST:: SOT 31265 SOS 8158 HAS SOPS 8158 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5886.158
AT ITER 1012 NEW BEST:: SOT 31260 SOS 8148 HAS SOPS 8148 HAS SOUS 5873 HAS SOUPS 5873 WITH SCORE 5881.148
AT ITER 1021 NEW BEST:: SOT 31258 SOS 8144 HAS SOPS 8144 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5877.144
AT ITER 1056 NEW BEST:: SOT 31251 SOS 8130 HAS SOPS 8130 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5863.13
AT ITER 1067 NEW BEST:: SOT 31251 SOS 8124 HAS SOPS 8124 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5862.124
AT ITER 1099 NEW BEST:: SOT 31195 SOS 8204 HAS SOPS 8204 HAS SOUS 5827 HAS SOUPS 5827 WITH SCORE 5835.204
AT ITER 1105 NEW BEST:: SOT 31137 SOS 8112 HAS SOPS 8112 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5764.112
AT ITER 1125 NEW BEST:: SOT 30871 SOS 8369 HAS SOPS 8369 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5555.369
AT ITER 1146 NEW BEST:: SOT 30865 SOS 8357 HAS SOPS 8357 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5540.357
AT ITER 1167 NEW BEST:: SOT 30876 SOS 8357 HAS SOPS 8357 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5539.357
AT ITER 1169 NEW BEST:: SOT 30867 SOS 8339 HAS SOPS 8339 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5517.339
AT ITER 1204 NEW BEST:: SOT 30867 SOS 8346 HAS SOPS 8346 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5516.346
AT ITER 1225 NEW BEST:: SOT 30865 SOS 8344 HAS SOPS 8344 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5514.344
AT ITER 1235 NEW BEST:: SOT 30861 SOS 8336 HAS SOPS 8336 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5510.336
AT ITER 1278 NEW BEST:: SOT 30845 SOS 8309 HAS SOPS 8309 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5505.309
AT ITER 1279 NEW BEST:: SOT 30835 SOS 8313 HAS SOPS 8313 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5492.313
AT ITER 1297 NEW BEST:: SOT 30835 SOS 8309 HAS SOPS 8309 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5488.309
AT ITER 1323 NEW BEST:: SOT 30833 SOS 8307 HAS SOPS 8307 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5484.307
AT ITER 1344 NEW BEST:: SOT 30833 SOS 8299 HAS SOPS 8299 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5480.299
AT ITER 1345 NEW BEST:: SOT 30821 SOS 8418 HAS SOPS 8418 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5479.418
AT ITER 1353 NEW BEST:: SOT 30793 SOS 8361 HAS SOPS 8361 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5451.361
AT ITER 1368 NEW BEST:: SOT 30785 SOS 8353 HAS SOPS 8353 HAS SOUS 5431 HAS SOUPS 5431 WITH SCORE 5439.353
AT ITER 1370 NEW BEST:: SOT 30786 SOS 8355 HAS SOPS 8355 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5432.355
AT ITER 1394 NEW BEST:: SOT 30779 SOS 8341 HAS SOPS 8341 HAS SOUS 5410 HAS SOUPS 5410 WITH SCORE 5418.341
AT ITER 1407 NEW BEST:: SOT 30773 SOS 8332 HAS SOPS 8332 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5409.332
AT ITER 1425 NEW BEST:: SOT 30773 SOS 8306 HAS SOPS 8306 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5407.306
AT ITER 1434 NEW BEST:: SOT 30766 SOS 8299 HAS SOPS 8299 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5402.299
AT ITER 1439 NEW BEST:: SOT 30757 SOS 8290 HAS SOPS 8290 HAS SOUS 5385 HAS SOUPS 5385 WITH SCORE 5393.29
AT ITER 1461 NEW BEST:: SOT 30732 SOS 8317 HAS SOPS 8317 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5385.317
AT ITER 1501 NEW BEST:: SOT 30722 SOS 8297 HAS SOPS 8297 HAS SOUS 5343 HAS SOUPS 5343 WITH SCORE 5351.297
AT ITER 1518 NEW BEST:: SOT 30706 SOS 8265 HAS SOPS 8265 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5328.265
AT ITER 1540 NEW BEST:: SOT 30676 SOS 8205 HAS SOPS 8205 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5328.205
AT ITER 1542 NEW BEST:: SOT 30676 SOS 8191 HAS SOPS 8191 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5314.191
AT ITER 1577 NEW BEST:: SOT 30672 SOS 8186 HAS SOPS 8186 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5313.186
AT ITER 1586 NEW BEST:: SOT 30667 SOS 8168 HAS SOPS 8168 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5300.168
AT ITER 1587 NEW BEST:: SOT 30658 SOS 8150 HAS SOPS 8150 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5291.15
AT ITER 1589 NEW BEST:: SOT 30653 SOS 8140 HAS SOPS 8140 HAS SOUS 5273 HAS SOUPS 5273 WITH SCORE 5281.14
AT ITER 1600 NEW BEST:: SOT 30665 SOS 8145 HAS SOPS 8145 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5274.145
AT ITER 1602 NEW BEST:: SOT 30657 SOS 8132 HAS SOPS 8132 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5261.132
AT ITER 1611 NEW BEST:: SOT 30644 SOS 8125 HAS SOPS 8125 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5256.125
AT ITER 1624 NEW BEST:: SOT 30599 SOS 8020 HAS SOPS 8020 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5232.02
AT ITER 1629 NEW BEST:: SOT 30592 SOS 8003 HAS SOPS 8003 HAS SOUS 5207 HAS SOUPS 5207 WITH SCORE 5215.003
AT ITER 1641 NEW BEST:: SOT 30583 SOS 7978 HAS SOPS 7978 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5189.978
AT ITER 1649 NEW BEST:: SOT 30568 SOS 7943 HAS SOPS 7943 HAS SOUS 5147 HAS SOUPS 5147 WITH SCORE 5154.943
AT ITER 1684 NEW BEST:: SOT 30569 SOS 7943 HAS SOPS 7943 HAS SOUS 5145 HAS SOUPS 5145 WITH SCORE 5152.943
AT ITER 1689 NEW BEST:: SOT 30555 SOS 7938 HAS SOPS 7938 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5133.938
AT ITER 1696 NEW BEST:: SOT 30505 SOS 7822 HAS SOPS 7822 HAS SOUS 5056 HAS SOUPS 5056 WITH SCORE 5063.822
AT ITER 1723 NEW BEST:: SOT 30503 SOS 7818 HAS SOPS 7818 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5059.818
AT ITER 1784 NEW BEST:: SOT 30497 SOS 7811 HAS SOPS 7811 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5051.811
AT ITER 1797 NEW BEST:: SOT 30491 SOS 7799 HAS SOPS 7799 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5038.799
AT ITER 1799 NEW BEST:: SOT 30481 SOS 7799 HAS SOPS 7799 HAS SOUS 5011 HAS SOUPS 5011 WITH SCORE 5018.799
AT ITER 1806 NEW BEST:: SOT 30471 SOS 7781 HAS SOPS 7781 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5016.781
AT ITER 1837 NEW BEST:: SOT 30470 SOS 7779 HAS SOPS 7779 HAS SOUS 5007 HAS SOUPS 5007 WITH SCORE 5014.779
AT ITER 1845 NEW BEST:: SOT 30448 SOS 7746 HAS SOPS 7746 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4992.746
AT ITER 1873 NEW BEST:: SOT 30424 SOS 7698 HAS SOPS 7698 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4980.698
AT ITER 1885 NEW BEST:: SOT 30424 SOS 7692 HAS SOPS 7692 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4974.692
AT ITER 1891 NEW BEST:: SOT 30423 SOS 7704 HAS SOPS 7704 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4973.704
AT ITER 1893 NEW BEST:: SOT 30411 SOS 7680 HAS SOPS 7680 HAS SOUS 4946 HAS SOUPS 4946 WITH SCORE 4953.68
AT ITER 1896 NEW BEST:: SOT 30411 SOS 7680 HAS SOPS 7680 HAS SOUS 4940 HAS SOUPS 4940 WITH SCORE 4947.68
AT ITER 1901 NEW BEST:: SOT 30411 SOS 7680 HAS SOPS 7680 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4942.68
AT ITER 1908 NEW BEST:: SOT 30411 SOS 7679 HAS SOPS 7679 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4942.679
AT ITER 1930 NEW BEST:: SOT 30421 SOS 7664 HAS SOPS 7664 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4934.664
AT ITER 1940 NEW BEST:: SOT 30423 SOS 7668 HAS SOPS 7668 HAS SOUS 4924 HAS SOUPS 4924 WITH SCORE 4931.668
AT ITER 1947 NEW BEST:: SOT 30409 SOS 7654 HAS SOPS 7654 HAS SOUS 4924 HAS SOUPS 4924 WITH SCORE 4931.654
AT ITER 1974 NEW BEST:: SOT 30407 SOS 7650 HAS SOPS 7650 HAS SOUS 4920 HAS SOUPS 4920 WITH SCORE 4927.65
AT ITER 1977 NEW BEST:: SOT 30387 SOS 7630 HAS SOPS 7630 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4923.63
AT ITER 1988 NEW BEST:: SOT 30351 SOS 7594 HAS SOPS 7594 HAS SOUS 4880 HAS SOUPS 4880 WITH SCORE 4887.594
AT ITER 1996 NEW BEST:: SOT 30356 SOS 7599 HAS SOPS 7599 HAS SOUS 4879 HAS SOUPS 4879 WITH SCORE 4886.599
AT ITER 2022 NEW BEST:: SOT 30346 SOS 7579 HAS SOPS 7579 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4876.579
AT ITER 2024 NEW BEST:: SOT 30343 SOS 7573 HAS SOPS 7573 HAS SOUS 4863 HAS SOUPS 4863 WITH SCORE 4870.573
AT ITER 2047 NEW BEST:: SOT 30333 SOS 7561 HAS SOPS 7561 HAS SOUS 4851 HAS SOUPS 4851 WITH SCORE 4858.561
AT ITER 2054 NEW BEST:: SOT 30331 SOS 7558 HAS SOPS 7558 HAS SOUS 4848 HAS SOUPS 4848 WITH SCORE 4855.558
AT ITER 2074 NEW BEST:: SOT 30330 SOS 7566 HAS SOPS 7566 HAS SOUS 4847 HAS SOUPS 4847 WITH SCORE 4854.566
AT ITER 2097 NEW BEST:: SOT 30329 SOS 7560 HAS SOPS 7560 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4849.56
AT ITER 2123 NEW BEST:: SOT 30324 SOS 7555 HAS SOPS 7555 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4844.555
AT ITER 2138 NEW BEST:: SOT 30324 SOS 7555 HAS SOPS 7555 HAS SOUS 4829 HAS SOUPS 4829 WITH SCORE 4836.555
AT ITER 2216 NEW BEST:: SOT 30312 SOS 7542 HAS SOPS 7542 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4835.542
AT ITER 2225 NEW BEST:: SOT 30308 SOS 7562 HAS SOPS 7562 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4829.562
AT ITER 2237 NEW BEST:: SOT 30299 SOS 7538 HAS SOPS 7538 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4825.538
AT ITER 2262 NEW BEST:: SOT 30291 SOS 7522 HAS SOPS 7522 HAS SOUS 4802 HAS SOUPS 4802 WITH SCORE 4809.522
AT ITER 2335 NEW BEST:: SOT 30288 SOS 7516 HAS SOPS 7516 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4803.516
AT ITER 2336 NEW BEST:: SOT 30282 SOS 7504 HAS SOPS 7504 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4799.504
AT ITER 2405 NEW BEST:: SOT 30281 SOS 7503 HAS SOPS 7503 HAS SOUS 4791 HAS SOUPS 4791 WITH SCORE 4798.503
AT ITER 2414 NEW BEST:: SOT 30281 SOS 7462 HAS SOPS 7462 HAS SOUS 4791 HAS SOUPS 4791 WITH SCORE 4798.462
AT ITER 2486 NEW BEST:: SOT 30253 SOS 7406 HAS SOPS 7406 HAS SOUS 4781 HAS SOUPS 4781 WITH SCORE 4788.406
AT ITER 2495 NEW BEST:: SOT 30249 SOS 7403 HAS SOPS 7403 HAS SOUS 4778 HAS SOUPS 4778 WITH SCORE 4785.403
AT ITER 2497 NEW BEST:: SOT 30236 SOS 7390 HAS SOPS 7390 HAS SOUS 4778 HAS SOUPS 4778 WITH SCORE 4785.39
AT ITER 2505 NEW BEST:: SOT 30230 SOS 7378 HAS SOPS 7378 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4773.378
AT ITER 2602 NEW BEST:: SOT 30219 SOS 7347 HAS SOPS 7347 HAS SOUS 4763 HAS SOUPS 4763 WITH SCORE 4770.347
AT ITER 2617 NEW BEST:: SOT 30218 SOS 7344 HAS SOPS 7344 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4763.344
AT ITER 2625 NEW BEST:: SOT 30218 SOS 7336 HAS SOPS 7336 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4758.336
AT ITER 2651 NEW BEST:: SOT 30217 SOS 7334 HAS SOPS 7334 HAS SOUS 4749 HAS SOUPS 4749 WITH SCORE 4756.334
AT ITER 2653 NEW BEST:: SOT 30217 SOS 7310 HAS SOPS 7310 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4732.31
AT ITER 2656 NEW BEST:: SOT 30216 SOS 7308 HAS SOPS 7308 HAS SOUS 4723 HAS SOUPS 4723 WITH SCORE 4730.308
AT ITER 2675 NEW BEST:: SOT 30204 SOS 7282 HAS SOPS 7282 HAS SOUS 4711 HAS SOUPS 4711 WITH SCORE 4718.282
AT ITER 2680 NEW BEST:: SOT 30221 SOS 7292 HAS SOPS 7292 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4713.292
AT ITER 2696 NEW BEST:: SOT 30215 SOS 7290 HAS SOPS 7290 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4713.29
AT ITER 2710 NEW BEST:: SOT 30212 SOS 7312 HAS SOPS 7312 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4711.312
AT ITER 2758 NEW BEST:: SOT 30204 SOS 7296 HAS SOPS 7296 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4699.296
AT ITER 2765 NEW BEST:: SOT 30203 SOS 7295 HAS SOPS 7295 HAS SOUS 4691 HAS SOUPS 4691 WITH SCORE 4698.295
AT ITER 2773 NEW BEST:: SOT 30200 SOS 7292 HAS SOPS 7292 HAS SOUS 4688 HAS SOUPS 4688 WITH SCORE 4695.292
AT ITER 2784 NEW BEST:: SOT 30200 SOS 7292 HAS SOPS 7292 HAS SOUS 4677 HAS SOUPS 4677 WITH SCORE 4684.292
AT ITER 2804 NEW BEST:: SOT 30194 SOS 7280 HAS SOPS 7280 HAS SOUS 4671 HAS SOUPS 4671 WITH SCORE 4678.28
AT ITER 2805 NEW BEST:: SOT 30193 SOS 7278 HAS SOPS 7278 HAS SOUS 4670 HAS SOUPS 4670 WITH SCORE 4677.278
AT ITER 2818 NEW BEST:: SOT 30178 SOS 7268 HAS SOPS 7268 HAS SOUS 4660 HAS SOUPS 4660 WITH SCORE 4667.268
AT ITER 2856 NEW BEST:: SOT 30193 SOS 7269 HAS SOPS 7269 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4647.269
AT ITER 2868 NEW BEST:: SOT 30167 SOS 7243 HAS SOPS 7243 HAS SOUS 4630 HAS SOUPS 4630 WITH SCORE 4637.243
AT ITER 2882 NEW BEST:: SOT 30151 SOS 7229 HAS SOPS 7229 HAS SOUS 4616 HAS SOUPS 4616 WITH SCORE 4623.229
AT ITER 2973 NEW BEST:: SOT 30142 SOS 7211 HAS SOPS 7211 HAS SOUS 4598 HAS SOUPS 4598 WITH SCORE 4605.211
AT ITER 2983 NEW BEST:: SOT 30139 SOS 7205 HAS SOPS 7205 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4603.205
AT ITER 3008 NEW BEST:: SOT 30134 SOS 7195 HAS SOPS 7195 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4603.195
AT ITER 3010 NEW BEST:: SOT 30153 SOS 7193 HAS SOPS 7193 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4603.193
AT ITER 3094 NEW BEST:: SOT 30151 SOS 7187 HAS SOPS 7187 HAS SOUS 4592 HAS SOUPS 4592 WITH SCORE 4599.187
AT ITER 3128 NEW BEST:: SOT 30140 SOS 7182 HAS SOPS 7182 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4591.182
AT ITER 3208 NEW BEST:: SOT 30141 SOS 7183 HAS SOPS 7183 HAS SOUS 4583 HAS SOUPS 4583 WITH SCORE 4590.183
AT ITER 3300 NEW BEST:: SOT 30136 SOS 7173 HAS SOPS 7173 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4586.173
AT ITER 3308 NEW BEST:: SOT 30114 SOS 7167 HAS SOPS 7167 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4580.167
AT ITER 3378 NEW BEST:: SOT 30111 SOS 7161 HAS SOPS 7161 HAS SOUS 4570 HAS SOUPS 4570 WITH SCORE 4577.161
AT ITER 3383 NEW BEST:: SOT 30110 SOS 7146 HAS SOPS 7146 HAS SOUS 4567 HAS SOUPS 4567 WITH SCORE 4574.146
AT ITER 3529 NEW BEST:: SOT 30102 SOS 7135 HAS SOPS 7135 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4566.135
AT ITER 3537 NEW BEST:: SOT 30101 SOS 7138 HAS SOPS 7138 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4565.138
AT ITER 3540 NEW BEST:: SOT 30072 SOS 7080 HAS SOPS 7080 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4549.08
AT ITER 3565 NEW BEST:: SOT 30069 SOS 7074 HAS SOPS 7074 HAS SOUS 4536 HAS SOUPS 4536 WITH SCORE 4543.074
AT ITER 3579 NEW BEST:: SOT 30066 SOS 7077 HAS SOPS 7077 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4540.077
AT ITER 3580 NEW BEST:: SOT 30071 SOS 7082 HAS SOPS 7082 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4539.082
AT ITER 3630 NEW BEST:: SOT 30064 SOS 7075 HAS SOPS 7075 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4525.075
AT ITER 3641 NEW BEST:: SOT 30064 SOS 7075 HAS SOPS 7075 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4520.075
AT ITER 3643 NEW BEST:: SOT 30064 SOS 7076 HAS SOPS 7076 HAS SOUS 4504 HAS SOUPS 4504 WITH SCORE 4511.076
AT ITER 3684 NEW BEST:: SOT 30064 SOS 7070 HAS SOPS 7070 HAS SOUS 4498 HAS SOUPS 4498 WITH SCORE 4505.07
AT ITER 3688 NEW BEST:: SOT 30064 SOS 7070 HAS SOPS 7070 HAS SOUS 4497 HAS SOUPS 4497 WITH SCORE 4504.07
AT ITER 3695 NEW BEST:: SOT 30069 SOS 7075 HAS SOPS 7075 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4499.075
AT ITER 3698 NEW BEST:: SOT 30069 SOS 7054 HAS SOPS 7054 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4498.054
AT ITER 3716 NEW BEST:: SOT 30063 SOS 7042 HAS SOPS 7042 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4494.042
AT ITER 3763 NEW BEST:: SOT 30055 SOS 7026 HAS SOPS 7026 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4490.026
AT ITER 3765 NEW BEST:: SOT 30038 SOS 6992 HAS SOPS 6992 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4472.992
AT ITER 3801 NEW BEST:: SOT 30038 SOS 6986 HAS SOPS 6986 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4472.986
AT ITER 3853 NEW BEST:: SOT 30038 SOS 6987 HAS SOPS 6987 HAS SOUS 4465 HAS SOUPS 4465 WITH SCORE 4471.987
AT ITER 3861 NEW BEST:: SOT 30038 SOS 6977 HAS SOPS 6977 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4469.977
AT ITER 3876 NEW BEST:: SOT 30009 SOS 7059 HAS SOPS 7059 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4444.059
AT ITER 3923 NEW BEST:: SOT 29996 SOS 7046 HAS SOPS 7046 HAS SOUS 4424 HAS SOUPS 4424 WITH SCORE 4431.046
AT ITER 3928 NEW BEST:: SOT 29993 SOS 7037 HAS SOPS 7037 HAS SOUS 4421 HAS SOUPS 4421 WITH SCORE 4428.037
AT ITER 3959 NEW BEST:: SOT 29989 SOS 7033 HAS SOPS 7033 HAS SOUS 4421 HAS SOUPS 4421 WITH SCORE 4428.033
AT ITER 3976 NEW BEST:: SOT 29991 SOS 7037 HAS SOPS 7037 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4425.037
AT ITER 4070 NEW BEST:: SOT 29991 SOS 7038 HAS SOPS 7038 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4424.038
AT ITER 4108 NEW BEST:: SOT 29990 SOS 7038 HAS SOPS 7038 HAS SOUS 4405 HAS SOUPS 4405 WITH SCORE 4412.038
AT ITER 4280 NEW BEST:: SOT 29995 SOS 7052 HAS SOPS 7052 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4410.052
AT ITER 4300 NEW BEST:: SOT 29998 SOS 7045 HAS SOPS 7045 HAS SOUS 4396 HAS SOUPS 4396 WITH SCORE 4403.045
AT ITER 4319 NEW BEST:: SOT 29996 SOS 7041 HAS SOPS 7041 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4399.041
AT ITER 4414 NEW BEST:: SOT 29996 SOS 7024 HAS SOPS 7024 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4399.024
AT ITER 4448 NEW BEST:: SOT 29990 SOS 7018 HAS SOPS 7018 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4383.018
AT ITER 4525 NEW BEST:: SOT 29978 SOS 7293 HAS SOPS 7293 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4382.293
AT ITER 4598 NEW BEST:: SOT 29985 SOS 7287 HAS SOPS 7287 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4376.287
AT ITER 4601 NEW BEST:: SOT 29974 SOS 7274 HAS SOPS 7274 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4373.274
AT ITER 4709 NEW BEST:: SOT 29977 SOS 7280 HAS SOPS 7280 HAS SOUS 4364 HAS SOUPS 4364 WITH SCORE 4371.28
AT ITER 4737 NEW BEST:: SOT 29971 SOS 7268 HAS SOPS 7268 HAS SOUS 4352 HAS SOUPS 4352 WITH SCORE 4359.268
AT ITER 4746 NEW BEST:: SOT 29970 SOS 7266 HAS SOPS 7266 HAS SOUS 4351 HAS SOUPS 4351 WITH SCORE 4358.266
AT ITER 4811 NEW BEST:: SOT 29959 SOS 7246 HAS SOPS 7246 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4353.246
AT ITER 4816 NEW BEST:: SOT 29947 SOS 7222 HAS SOPS 7222 HAS SOUS 4337 HAS SOUPS 4337 WITH SCORE 4344.222
AT ITER 4827 NEW BEST:: SOT 29944 SOS 7216 HAS SOPS 7216 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4338.216
AT ITER 4828 NEW BEST:: SOT 29944 SOS 7214 HAS SOPS 7214 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4338.214
AT ITER 4834 NEW BEST:: SOT 29933 SOS 7206 HAS SOPS 7206 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4316.206
AT ITER 4836 NEW BEST:: SOT 29933 SOS 7206 HAS SOPS 7206 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4313.206
AT ITER 4865 NEW BEST:: SOT 29923 SOS 7196 HAS SOPS 7196 HAS SOUS 4296 HAS SOUPS 4296 WITH SCORE 4303.196
AT ITER 4878 NEW BEST:: SOT 29917 SOS 7191 HAS SOPS 7191 HAS SOUS 4295 HAS SOUPS 4295 WITH SCORE 4302.191
AT ITER 4922 NEW BEST:: SOT 29916 SOS 7189 HAS SOPS 7189 HAS SOUS 4293 HAS SOUPS 4293 WITH SCORE 4300.189
AT ITER 4965 NEW BEST:: SOT 29902 SOS 7161 HAS SOPS 7161 HAS SOUS 4266 HAS SOUPS 4266 WITH SCORE 4273.161
AT ITER 4993 NEW BEST:: SOT 29902 SOS 7157 HAS SOPS 7157 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4269.157
AT ITER 4994 NEW BEST:: SOT 29894 SOS 7136 HAS SOPS 7136 HAS SOUS 4243 HAS SOUPS 4243 WITH SCORE 4250.136
AT ITER 5025 NEW BEST:: SOT 29882 SOS 7136 HAS SOPS 7136 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4232.136
AT ITER 5044 NEW BEST:: SOT 29891 SOS 7122 HAS SOPS 7122 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4229.122
AT ITER 5052 NEW BEST:: SOT 29891 SOS 7088 HAS SOPS 7088 HAS SOUS 4212 HAS SOUPS 4212 WITH SCORE 4219.088
AT ITER 5118 NEW BEST:: SOT 29889 SOS 7084 HAS SOPS 7084 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4215.084
AT ITER 5135 NEW BEST:: SOT 29887 SOS 7082 HAS SOPS 7082 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4213.082
AT ITER 5201 NEW BEST:: SOT 29887 SOS 7078 HAS SOPS 7078 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4213.078
AT ITER 5208 NEW BEST:: SOT 29887 SOS 7059 HAS SOPS 7059 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4213.059
AT ITER 5285 NEW BEST:: SOT 29888 SOS 7050 HAS SOPS 7050 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4213.05
AT ITER 5299 NEW BEST:: SOT 29886 SOS 7048 HAS SOPS 7048 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4211.048
AT ITER 5379 NEW BEST:: SOT 29853 SOS 7014 HAS SOPS 7014 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4206.014
AT ITER 5411 NEW BEST:: SOT 29855 SOS 7018 HAS SOPS 7018 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4200.018
AT ITER 5428 NEW BEST:: SOT 29854 SOS 7017 HAS SOPS 7017 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4199.017
AT ITER 5463 NEW BEST:: SOT 29852 SOS 7017 HAS SOPS 7017 HAS SOUS 4187 HAS SOUPS 4187 WITH SCORE 4194.017
AT ITER 5508 NEW BEST:: SOT 29850 SOS 7013 HAS SOPS 7013 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4190.013
AT ITER 5523 NEW BEST:: SOT 29848 SOS 7064 HAS SOPS 7064 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4189.064
AT ITER 5526 NEW BEST:: SOT 29834 SOS 7036 HAS SOPS 7036 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4161.036
AT ITER 5533 NEW BEST:: SOT 29830 SOS 7028 HAS SOPS 7028 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4153.028
AT ITER 5571 NEW BEST:: SOT 29830 SOS 7028 HAS SOPS 7028 HAS SOUS 4144 HAS SOUPS 4144 WITH SCORE 4151.028
AT ITER 5602 NEW BEST:: SOT 29825 SOS 7018 HAS SOPS 7018 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4146.018
AT ITER 5641 NEW BEST:: SOT 29767 SOS 6951 HAS SOPS 6951 HAS SOUS 4086 HAS SOUPS 4086 WITH SCORE 4092.951
AT ITER 5652 NEW BEST:: SOT 29757 SOS 7085 HAS SOPS 7085 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4091.085
AT ITER 5666 NEW BEST:: SOT 29754 SOS 7079 HAS SOPS 7079 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4091.079
AT ITER 5674 NEW BEST:: SOT 29752 SOS 7089 HAS SOPS 7089 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4088.089
AT ITER 5697 NEW BEST:: SOT 29744 SOS 7073 HAS SOPS 7073 HAS SOUS 4073 HAS SOUPS 4073 WITH SCORE 4080.073
AT ITER 5699 NEW BEST:: SOT 29740 SOS 7073 HAS SOPS 7073 HAS SOUS 4069 HAS SOUPS 4069 WITH SCORE 4076.073
AT ITER 5778 NEW BEST:: SOT 29740 SOS 7065 HAS SOPS 7065 HAS SOUS 4069 HAS SOUPS 4069 WITH SCORE 4076.065
AT ITER 5881 NEW BEST:: SOT 29739 SOS 7055 HAS SOPS 7055 HAS SOUS 4059 HAS SOUPS 4059 WITH SCORE 4066.055
AT ITER 5895 NEW BEST:: SOT 29734 SOS 7040 HAS SOPS 7040 HAS SOUS 4049 HAS SOUPS 4049 WITH SCORE 4056.04
AT ITER 5949 NEW BEST:: SOT 29734 SOS 7056 HAS SOPS 7056 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4053.056
AT ITER 6037 NEW BEST:: SOT 29731 SOS 7050 HAS SOPS 7050 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4053.05
AT ITER 6047 NEW BEST:: SOT 29730 SOS 7048 HAS SOPS 7048 HAS SOUS 4038 HAS SOUPS 4038 WITH SCORE 4045.048
AT ITER 6076 NEW BEST:: SOT 29729 SOS 7047 HAS SOPS 7047 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4044.047
AT ITER 6079 NEW BEST:: SOT 29741 SOS 7032 HAS SOPS 7032 HAS SOUS 4022 HAS SOUPS 4022 WITH SCORE 4029.032
AT ITER 6092 NEW BEST:: SOT 29735 SOS 7020 HAS SOPS 7020 HAS SOUS 4010 HAS SOUPS 4010 WITH SCORE 4017.02
AT ITER 6123 NEW BEST:: SOT 29713 SOS 7004 HAS SOPS 7004 HAS SOUS 4002 HAS SOUPS 4002 WITH SCORE 4009.004
AT ITER 6126 NEW BEST:: SOT 29713 SOS 6997 HAS SOPS 6997 HAS SOUS 3979 HAS SOUPS 3979 WITH SCORE 3985.997
AT ITER 6189 NEW BEST:: SOT 29716 SOS 6961 HAS SOPS 6961 HAS SOUS 3979 HAS SOUPS 3979 WITH SCORE 3985.961
AT ITER 6243 NEW BEST:: SOT 29715 SOS 6959 HAS SOPS 6959 HAS SOUS 3978 HAS SOUPS 3978 WITH SCORE 3984.959
AT ITER 6284 NEW BEST:: SOT 29712 SOS 6953 HAS SOPS 6953 HAS SOUS 3972 HAS SOUPS 3972 WITH SCORE 3978.953
AT ITER 6368 NEW BEST:: SOT 29702 SOS 6933 HAS SOPS 6933 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3972.933
AT ITER 6376 NEW BEST:: SOT 29701 SOS 6931 HAS SOPS 6931 HAS SOUS 3964 HAS SOUPS 3964 WITH SCORE 3970.931
AT ITER 6445 NEW BEST:: SOT 29699 SOS 6924 HAS SOPS 6924 HAS SOUS 3960 HAS SOUPS 3960 WITH SCORE 3966.924
AT ITER 6449 NEW BEST:: SOT 29691 SOS 6916 HAS SOPS 6916 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3961.916
AT ITER 6474 NEW BEST:: SOT 29688 SOS 6910 HAS SOPS 6910 HAS SOUS 3949 HAS SOUPS 3949 WITH SCORE 3955.91
AT ITER 6479 NEW BEST:: SOT 29686 SOS 6906 HAS SOPS 6906 HAS SOUS 3947 HAS SOUPS 3947 WITH SCORE 3953.906
AT ITER 6570 NEW BEST:: SOT 29684 SOS 6902 HAS SOPS 6902 HAS SOUS 3943 HAS SOUPS 3943 WITH SCORE 3949.902
AT ITER 6581 NEW BEST:: SOT 29671 SOS 6908 HAS SOPS 6908 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3948.908
AT ITER 6633 NEW BEST:: SOT 29670 SOS 6906 HAS SOPS 6906 HAS SOUS 3940 HAS SOUPS 3940 WITH SCORE 3946.906
AT ITER 6646 NEW BEST:: SOT 29670 SOS 6904 HAS SOPS 6904 HAS SOUS 3940 HAS SOUPS 3940 WITH SCORE 3946.904
AT ITER 6707 NEW BEST:: SOT 29670 SOS 6903 HAS SOPS 6903 HAS SOUS 3940 HAS SOUPS 3940 WITH SCORE 3946.903
AT ITER 6760 NEW BEST:: SOT 29668 SOS 6901 HAS SOPS 6901 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3945.901
AT ITER 6763 NEW BEST:: SOT 29662 SOS 6899 HAS SOPS 6899 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3943.899
AT ITER 6843 NEW BEST:: SOT 29659 SOS 6879 HAS SOPS 6879 HAS SOUS 3934 HAS SOUPS 3934 WITH SCORE 3940.879
AT ITER 6847 NEW BEST:: SOT 29659 SOS 6877 HAS SOPS 6877 HAS SOUS 3934 HAS SOUPS 3934 WITH SCORE 3940.877
AT ITER 6894 NEW BEST:: SOT 29658 SOS 6875 HAS SOPS 6875 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3938.875
AT ITER 7092 NEW BEST:: SOT 29664 SOS 6887 HAS SOPS 6887 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3933.887
AT ITER 7117 NEW BEST:: SOT 29649 SOS 7041 HAS SOPS 7041 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3927.041
AT ITER 7150 NEW BEST:: SOT 29644 SOS 7036 HAS SOPS 7036 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3925.036
AT ITER 7231 NEW BEST:: SOT 29641 SOS 7028 HAS SOPS 7028 HAS SOUS 3910 HAS SOUPS 3910 WITH SCORE 3917.028
AT ITER 7353 NEW BEST:: SOT 29628 SOS 7002 HAS SOPS 7002 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3904.002
AT ITER 7364 NEW BEST:: SOT 29625 SOS 6996 HAS SOPS 6996 HAS SOUS 3891 HAS SOUPS 3891 WITH SCORE 3897.996
AT ITER 7366 NEW BEST:: SOT 29621 SOS 6970 HAS SOPS 6970 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3875.97
AT ITER 7394 NEW BEST:: SOT 29620 SOS 6968 HAS SOPS 6968 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3875.968
AT ITER 7422 NEW BEST:: SOT 29620 SOS 6968 HAS SOPS 6968 HAS SOUS 3867 HAS SOUPS 3867 WITH SCORE 3873.968
AT ITER 7580 NEW BEST:: SOT 29626 SOS 6964 HAS SOPS 6964 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3870.964
AT ITER 7595 NEW BEST:: SOT 29627 SOS 6964 HAS SOPS 6964 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3867.964
AT ITER 7662 NEW BEST:: SOT 29627 SOS 6958 HAS SOPS 6958 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3864.958
AT ITER 7668 NEW BEST:: SOT 29626 SOS 6956 HAS SOPS 6956 HAS SOUS 3856 HAS SOUPS 3856 WITH SCORE 3862.956
AT ITER 7692 NEW BEST:: SOT 29625 SOS 6948 HAS SOPS 6948 HAS SOUS 3851 HAS SOUPS 3851 WITH SCORE 3857.948
AT ITER 7852 NEW BEST:: SOT 29625 SOS 6948 HAS SOPS 6948 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3854.948
AT ITER 7945 NEW BEST:: SOT 29625 SOS 6932 HAS SOPS 6932 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3854.932
AT ITER 7988 NEW BEST:: SOT 29633 SOS 6926 HAS SOPS 6926 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3840.926
AT ITER 8089 NEW BEST:: SOT 29629 SOS 6918 HAS SOPS 6918 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3837.918
AT ITER 8136 NEW BEST:: SOT 29616 SOS 6892 HAS SOPS 6892 HAS SOUS 3825 HAS SOUPS 3825 WITH SCORE 3831.892
AT ITER 8179 NEW BEST:: SOT 29608 SOS 6876 HAS SOPS 6876 HAS SOUS 3818 HAS SOUPS 3818 WITH SCORE 3824.876
AT ITER 8321 NEW BEST:: SOT 29609 SOS 6864 HAS SOPS 6864 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3812.864
AT ITER 8462 NEW BEST:: SOT 29609 SOS 6864 HAS SOPS 6864 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3809.864
AT ITER 8476 NEW BEST:: SOT 29601 SOS 6856 HAS SOPS 6856 HAS SOUS 3779 HAS SOUPS 3779 WITH SCORE 3785.856
AT ITER 8498 NEW BEST:: SOT 29605 SOS 6864 HAS SOPS 6864 HAS SOUS 3777 HAS SOUPS 3777 WITH SCORE 3783.864
AT ITER 8691 NEW BEST:: SOT 29605 SOS 6836 HAS SOPS 6836 HAS SOUS 3775 HAS SOUPS 3775 WITH SCORE 3781.836
AT ITER 8716 NEW BEST:: SOT 29604 SOS 6834 HAS SOPS 6834 HAS SOUS 3773 HAS SOUPS 3773 WITH SCORE 3779.834
AT ITER 8717 NEW BEST:: SOT 29604 SOS 6828 HAS SOPS 6828 HAS SOUS 3773 HAS SOUPS 3773 WITH SCORE 3779.828
AT ITER 8881 NEW BEST:: SOT 29601 SOS 6822 HAS SOPS 6822 HAS SOUS 3773 HAS SOUPS 3773 WITH SCORE 3779.822
AT ITER 8901 NEW BEST:: SOT 29592 SOS 6813 HAS SOPS 6813 HAS SOUS 3768 HAS SOUPS 3768 WITH SCORE 3774.813
AT ITER 8934 NEW BEST:: SOT 29594 SOS 6813 HAS SOPS 6813 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3772.813
AT ITER 8946 NEW BEST:: SOT 29592 SOS 6809 HAS SOPS 6809 HAS SOUS 3762 HAS SOUPS 3762 WITH SCORE 3768.809
AT ITER 9117 NEW BEST:: SOT 29584 SOS 6806 HAS SOPS 6806 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3764.806
AT ITER 9132 NEW BEST:: SOT 29583 SOS 6804 HAS SOPS 6804 HAS SOUS 3756 HAS SOUPS 3756 WITH SCORE 3762.804
AT ITER 9240 NEW BEST:: SOT 29584 SOS 6806 HAS SOPS 6806 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3760.806
AT ITER 9406 NEW BEST:: SOT 29588 SOS 6814 HAS SOPS 6814 HAS SOUS 3742 HAS SOUPS 3742 WITH SCORE 3748.814
AT ITER 9561 NEW BEST:: SOT 29588 SOS 6807 HAS SOPS 6807 HAS SOUS 3742 HAS SOUPS 3742 WITH SCORE 3748.807
AT ITER 9676 NEW BEST:: SOT 29583 SOS 6797 HAS SOPS 6797 HAS SOUS 3737 HAS SOUPS 3737 WITH SCORE 3743.797
AT ITER 9678 NEW BEST:: SOT 29571 SOS 7005 HAS SOPS 7005 HAS SOUS 3735 HAS SOUPS 3735 WITH SCORE 3742.005
AT ITER 9761 NEW BEST:: SOT 29562 SOS 6975 HAS SOPS 6975 HAS SOUS 3717 HAS SOUPS 3717 WITH SCORE 3723.975
AT ITER 9801 NEW BEST:: SOT 29556 SOS 6967 HAS SOPS 6967 HAS SOUS 3716 HAS SOUPS 3716 WITH SCORE 3722.967
AT ITER 9811 NEW BEST:: SOT 29556 SOS 6966 HAS SOPS 6966 HAS SOUS 3716 HAS SOUPS 3716 WITH SCORE 3722.966
AT ITER 9925 NEW BEST:: SOT 29547 SOS 6953 HAS SOPS 6953 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3714.953
AT ITER 9935 NEW BEST:: SOT 29545 SOS 6949 HAS SOPS 6949 HAS SOUS 3704 HAS SOUPS 3704 WITH SCORE 3710.949
STATE_SPACE STATES 15082804223 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 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 121780332615 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679259719196

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SmartHome-PT-06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is SmartHome-PT-06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912650900200"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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