fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r033-smll-158901926000339
Last Updated
Jun 28, 2020

About the Execution of smart for CloudDeployment-PT-6b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.510 3600000.00 3600020.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.0M
-rw-r--r-- 1 mcc users 2.9K Mar 30 01:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 01:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 15:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 15:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 08:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 4.8M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-00
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-01
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-02
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-03
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-04
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-05
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-06
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-07
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-08
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-09
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-10
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-11
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-12
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-13
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-14
FORMULA_NAME CloudDeployment-PT-6b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589159891752

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 6b
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1888 places, 6804 transitions, 91831 arcs.
AT ITER 0 NEW BEST:: SOT 9619899 SOS 3182724 HAS SOPS 3182724 HAS SOUS 1204894 HAS SOUPS 1204894 WITH SCORE 1208076.724
AT ITER 2 NEW BEST:: SOT 9619607 SOS 3183771 HAS SOPS 3183771 HAS SOUS 1204142 HAS SOUPS 1204142 WITH SCORE 1207325.771
AT ITER 41 NEW BEST:: SOT 9618542 SOS 3183665 HAS SOPS 3183665 HAS SOUS 1203169 HAS SOUPS 1203169 WITH SCORE 1206352.665
AT ITER 44 NEW BEST:: SOT 9618542 SOS 3183713 HAS SOPS 3183713 HAS SOUS 1203102 HAS SOUPS 1203102 WITH SCORE 1206285.713
AT ITER 47 NEW BEST:: SOT 9617686 SOS 3237224 HAS SOPS 3237224 HAS SOUS 1202691 HAS SOUPS 1202691 WITH SCORE 1205928.224
AT ITER 48 NEW BEST:: SOT 9617456 SOS 3236994 HAS SOPS 3236994 HAS SOUS 1202461 HAS SOUPS 1202461 WITH SCORE 1205697.994
AT ITER 49 NEW BEST:: SOT 9617210 SOS 3236748 HAS SOPS 3236748 HAS SOUS 1078077 HAS SOUPS 1078077 WITH SCORE 1081313.748
AT ITER 55 NEW BEST:: SOT 9617173 SOS 3239864 HAS SOPS 3239864 HAS SOUS 1077995 HAS SOUPS 1077995 WITH SCORE 1081234.864
AT ITER 58 NEW BEST:: SOT 9617185 SOS 3240137 HAS SOPS 3240137 HAS SOUS 1077949 HAS SOUPS 1077949 WITH SCORE 1081189.137
AT ITER 62 NEW BEST:: SOT 9616534 SOS 3239486 HAS SOPS 3239486 HAS SOUS 1077298 HAS SOUPS 1077298 WITH SCORE 1080537.486
AT ITER 81 NEW BEST:: SOT 9616435 SOS 3239288 HAS SOPS 3239288 HAS SOUS 1077199 HAS SOUPS 1077199 WITH SCORE 1080438.288
AT ITER 95 NEW BEST:: SOT 9616435 SOS 3239814 HAS SOPS 3239814 HAS SOUS 1077130 HAS SOUPS 1077130 WITH SCORE 1080369.814
AT ITER 113 NEW BEST:: SOT 9616435 SOS 3239814 HAS SOPS 3239814 HAS SOUS 1077125 HAS SOUPS 1077125 WITH SCORE 1080364.814
AT ITER 121 NEW BEST:: SOT 9616402 SOS 3239715 HAS SOPS 3239715 HAS SOUS 1077092 HAS SOUPS 1077092 WITH SCORE 1080331.715
AT ITER 129 NEW BEST:: SOT 9616270 SOS 3239451 HAS SOPS 3239451 HAS SOUS 1076828 HAS SOUPS 1076828 WITH SCORE 1080067.451
AT ITER 188 NEW BEST:: SOT 9615583 SOS 3241485 HAS SOPS 3241485 HAS SOUS 1076792 HAS SOUPS 1076792 WITH SCORE 1080033.485
AT ITER 196 NEW BEST:: SOT 9615583 SOS 3241402 HAS SOPS 3241402 HAS SOUS 1076727 HAS SOUPS 1076727 WITH SCORE 1079968.402
AT ITER 213 NEW BEST:: SOT 9614486 SOS 3422192 HAS SOPS 3422192 HAS SOUS 1075830 HAS SOUPS 1075830 WITH SCORE 1079252.192
AT ITER 225 NEW BEST:: SOT 9613481 SOS 3421808 HAS SOPS 3421808 HAS SOUS 1075096 HAS SOUPS 1075096 WITH SCORE 1078517.808
AT ITER 237 NEW BEST:: SOT 9736636 SOS 3544817 HAS SOPS 3544817 HAS SOUS 967924 HAS SOUPS 967924 WITH SCORE 971468.817
AT ITER 244 NEW BEST:: SOT 9736636 SOS 3544249 HAS SOPS 3544249 HAS SOUS 853052 HAS SOUPS 853052 WITH SCORE 856596.249
AT ITER 252 NEW BEST:: SOT 9736636 SOS 3544249 HAS SOPS 3544249 HAS SOUS 853050 HAS SOUPS 853050 WITH SCORE 856594.249
AT ITER 257 NEW BEST:: SOT 9736465 SOS 3543223 HAS SOPS 3543223 HAS SOUS 852879 HAS SOUPS 852879 WITH SCORE 856422.223
AT ITER 269 NEW BEST:: SOT 9736465 SOS 3543223 HAS SOPS 3543223 HAS SOUS 852871 HAS SOUPS 852871 WITH SCORE 856414.223
AT ITER 270 NEW BEST:: SOT 9736259 SOS 3542230 HAS SOPS 3542230 HAS SOUS 851662 HAS SOUPS 851662 WITH SCORE 855204.23
AT ITER 285 NEW BEST:: SOT 9736259 SOS 3542207 HAS SOPS 3542207 HAS SOUS 851639 HAS SOUPS 851639 WITH SCORE 855181.207
AT ITER 318 NEW BEST:: SOT 9735518 SOS 3544981 HAS SOPS 3544981 HAS SOUS 851420 HAS SOUPS 851420 WITH SCORE 854964.981
AT ITER 324 NEW BEST:: SOT 9735518 SOS 3547066 HAS SOPS 3547066 HAS SOUS 851404 HAS SOUPS 851404 WITH SCORE 854951.066
AT ITER 325 NEW BEST:: SOT 9735518 SOS 3547049 HAS SOPS 3547049 HAS SOUS 851387 HAS SOUPS 851387 WITH SCORE 854934.049
AT ITER 344 NEW BEST:: SOT 9735443 SOS 3547047 HAS SOPS 3547047 HAS SOUS 851385 HAS SOUPS 851385 WITH SCORE 854932.047
AT ITER 361 NEW BEST:: SOT 9735396 SOS 3547057 HAS SOPS 3547057 HAS SOUS 851359 HAS SOUPS 851359 WITH SCORE 854906.057
AT ITER 373 NEW BEST:: SOT 9735180 SOS 3546841 HAS SOPS 3546841 HAS SOUS 851143 HAS SOUPS 851143 WITH SCORE 854689.841
AT ITER 379 NEW BEST:: SOT 9735057 SOS 3550142 HAS SOPS 3550142 HAS SOUS 851123 HAS SOUPS 851123 WITH SCORE 854673.142
AT ITER 382 NEW BEST:: SOT 9734948 SOS 3549817 HAS SOPS 3549817 HAS SOUS 850905 HAS SOUPS 850905 WITH SCORE 854454.817
AT ITER 395 NEW BEST:: SOT 9734878 SOS 3550202 HAS SOPS 3550202 HAS SOUS 850835 HAS SOUPS 850835 WITH SCORE 854385.202
AT ITER 401 NEW BEST:: SOT 9734044 SOS 3567980 HAS SOPS 3567980 HAS SOUS 850279 HAS SOUPS 850279 WITH SCORE 853846.98
AT ITER 402 NEW BEST:: SOT 9733913 SOS 3567587 HAS SOPS 3567587 HAS SOUS 850148 HAS SOUPS 850148 WITH SCORE 853715.587
AT ITER 407 NEW BEST:: SOT 9733913 SOS 3567507 HAS SOPS 3567507 HAS SOUS 850068 HAS SOUPS 850068 WITH SCORE 853635.507
AT ITER 417 NEW BEST:: SOT 9733695 SOS 3567071 HAS SOPS 3567071 HAS SOUS 849822 HAS SOUPS 849822 WITH SCORE 853389.071
AT ITER 425 NEW BEST:: SOT 9731963 SOS 3579491 HAS SOPS 3579491 HAS SOUS 849465 HAS SOUPS 849465 WITH SCORE 853044.491
AT ITER 432 NEW BEST:: SOT 9731999 SOS 3579621 HAS SOPS 3579621 HAS SOUS 849428 HAS SOUPS 849428 WITH SCORE 853007.621
AT ITER 460 NEW BEST:: SOT 9731999 SOS 3579541 HAS SOPS 3579541 HAS SOUS 849388 HAS SOUPS 849388 WITH SCORE 852967.541
AT ITER 464 NEW BEST:: SOT 9731677 SOS 3578897 HAS SOPS 3578897 HAS SOUS 848744 HAS SOUPS 848744 WITH SCORE 852322.897
AT ITER 465 NEW BEST:: SOT 9731585 SOS 3578713 HAS SOPS 3578713 HAS SOUS 848652 HAS SOUPS 848652 WITH SCORE 852230.713
AT ITER 477 NEW BEST:: SOT 9731461 SOS 3581412 HAS SOPS 3581412 HAS SOUS 848390 HAS SOUPS 848390 WITH SCORE 851971.412
AT ITER 502 NEW BEST:: SOT 9731663 SOS 3581210 HAS SOPS 3581210 HAS SOUS 848390 HAS SOUPS 848390 WITH SCORE 851971.21
AT ITER 511 NEW BEST:: SOT 9731627 SOS 3580706 HAS SOPS 3580706 HAS SOUS 848363 HAS SOUPS 848363 WITH SCORE 851943.706
AT ITER 525 NEW BEST:: SOT 9731512 SOS 3580798 HAS SOPS 3580798 HAS SOUS 848025 HAS SOUPS 848025 WITH SCORE 851605.798
AT ITER 528 NEW BEST:: SOT 9731321 SOS 3580416 HAS SOPS 3580416 HAS SOUS 847829 HAS SOUPS 847829 WITH SCORE 851409.416
AT ITER 530 NEW BEST:: SOT 9731371 SOS 3580366 HAS SOPS 3580366 HAS SOUS 847829 HAS SOUPS 847829 WITH SCORE 851409.366
AT ITER 534 NEW BEST:: SOT 9731308 SOS 3580240 HAS SOPS 3580240 HAS SOUS 847766 HAS SOUPS 847766 WITH SCORE 851346.24
AT ITER 542 NEW BEST:: SOT 9731234 SOS 3580832 HAS SOPS 3580832 HAS SOUS 847582 HAS SOUPS 847582 WITH SCORE 851162.832
AT ITER 553 NEW BEST:: SOT 9731149 SOS 3579982 HAS SOPS 3579982 HAS SOUS 847412 HAS SOUPS 847412 WITH SCORE 850991.982
AT ITER 562 NEW BEST:: SOT 9730979 SOS 3579642 HAS SOPS 3579642 HAS SOUS 847072 HAS SOUPS 847072 WITH SCORE 850651.642
AT ITER 567 NEW BEST:: SOT 9730826 SOS 3580874 HAS SOPS 3580874 HAS SOUS 846569 HAS SOUPS 846569 WITH SCORE 850149.874
AT ITER 585 NEW BEST:: SOT 9730826 SOS 3580874 HAS SOPS 3580874 HAS SOUS 846345 HAS SOUPS 846345 WITH SCORE 849925.874
AT ITER 599 NEW BEST:: SOT 9730456 SOS 3580533 HAS SOPS 3580533 HAS SOUS 845871 HAS SOUPS 845871 WITH SCORE 849451.533
AT ITER 609 NEW BEST:: SOT 9730456 SOS 3580533 HAS SOPS 3580533 HAS SOUS 845870 HAS SOUPS 845870 WITH SCORE 849450.533
AT ITER 610 NEW BEST:: SOT 9729974 SOS 3580051 HAS SOPS 3580051 HAS SOUS 799692 HAS SOUPS 799692 WITH SCORE 803272.051
AT ITER 613 NEW BEST:: SOT 9729958 SOS 3579718 HAS SOPS 3579718 HAS SOUS 799675 HAS SOUPS 799675 WITH SCORE 803254.718
AT ITER 618 NEW BEST:: SOT 9729780 SOS 3580353 HAS SOPS 3580353 HAS SOUS 799593 HAS SOUPS 799593 WITH SCORE 803173.353
AT ITER 623 NEW BEST:: SOT 9729780 SOS 3580353 HAS SOPS 3580353 HAS SOUS 799581 HAS SOUPS 799581 WITH SCORE 803161.353
AT ITER 628 NEW BEST:: SOT 9729451 SOS 3581098 HAS SOPS 3581098 HAS SOUS 799228 HAS SOUPS 799228 WITH SCORE 802809.098
AT ITER 629 NEW BEST:: SOT 9729407 SOS 3581098 HAS SOPS 3581098 HAS SOUS 799227 HAS SOUPS 799227 WITH SCORE 802808.098
AT ITER 630 NEW BEST:: SOT 9729386 SOS 3580819 HAS SOPS 3580819 HAS SOUS 799043 HAS SOUPS 799043 WITH SCORE 802623.819
AT ITER 633 NEW BEST:: SOT 9729014 SOS 3580637 HAS SOPS 3580637 HAS SOUS 798671 HAS SOUPS 798671 WITH SCORE 802251.637
AT ITER 649 NEW BEST:: SOT 9729013 SOS 3580635 HAS SOPS 3580635 HAS SOUS 798669 HAS SOUPS 798669 WITH SCORE 802249.635
AT ITER 654 NEW BEST:: SOT 9728911 SOS 3580839 HAS SOPS 3580839 HAS SOUS 798567 HAS SOUPS 798567 WITH SCORE 802147.839
AT ITER 664 NEW BEST:: SOT 9728499 SOS 3580679 HAS SOPS 3580679 HAS SOUS 798238 HAS SOUPS 798238 WITH SCORE 801818.679
AT ITER 674 NEW BEST:: SOT 9728250 SOS 3580430 HAS SOPS 3580430 HAS SOUS 797989 HAS SOUPS 797989 WITH SCORE 801569.43
AT ITER 696 NEW BEST:: SOT 9728277 SOS 3580484 HAS SOPS 3580484 HAS SOUS 797754 HAS SOUPS 797754 WITH SCORE 801334.484
AT ITER 727 NEW BEST:: SOT 9728203 SOS 3580424 HAS SOPS 3580424 HAS SOUS 797694 HAS SOUPS 797694 WITH SCORE 801274.424
AT ITER 728 NEW BEST:: SOT 9728202 SOS 3580422 HAS SOPS 3580422 HAS SOUS 797692 HAS SOUPS 797692 WITH SCORE 801272.422
AT ITER 744 NEW BEST:: SOT 9727915 SOS 3579872 HAS SOPS 3579872 HAS SOUS 797413 HAS SOUPS 797413 WITH SCORE 800992.872
AT ITER 755 NEW BEST:: SOT 9727694 SOS 3579651 HAS SOPS 3579651 HAS SOUS 797192 HAS SOUPS 797192 WITH SCORE 800771.651
AT ITER 774 NEW BEST:: SOT 9727816 SOS 3579895 HAS SOPS 3579895 HAS SOUS 797097 HAS SOUPS 797097 WITH SCORE 800676.895
AT ITER 785 NEW BEST:: SOT 9727767 SOS 3580336 HAS SOPS 3580336 HAS SOUS 796999 HAS SOUPS 796999 WITH SCORE 800579.336
AT ITER 799 NEW BEST:: SOT 9727689 SOS 3580335 HAS SOPS 3580335 HAS SOUS 796998 HAS SOUPS 796998 WITH SCORE 800578.335
AT ITER 802 NEW BEST:: SOT 9727299 SOS 3580123 HAS SOPS 3580123 HAS SOUS 796690 HAS SOUPS 796690 WITH SCORE 800270.123
AT ITER 803 NEW BEST:: SOT 9727338 SOS 3580221 HAS SOPS 3580221 HAS SOUS 796659 HAS SOUPS 796659 WITH SCORE 800239.221
AT ITER 810 NEW BEST:: SOT 9727326 SOS 3580579 HAS SOPS 3580579 HAS SOUS 796647 HAS SOUPS 796647 WITH SCORE 800227.579
AT ITER 854 NEW BEST:: SOT 9727326 SOS 3580478 HAS SOPS 3580478 HAS SOUS 796647 HAS SOUPS 796647 WITH SCORE 800227.478
AT ITER 855 NEW BEST:: SOT 9727115 SOS 3581608 HAS SOPS 3581608 HAS SOUS 796038 HAS SOUPS 796038 WITH SCORE 799619.608
AT ITER 861 NEW BEST:: SOT 9727934 SOS 3582498 HAS SOPS 3582498 HAS SOUS 795269 HAS SOUPS 795269 WITH SCORE 798851.498
AT ITER 862 NEW BEST:: SOT 9727934 SOS 3582498 HAS SOPS 3582498 HAS SOUS 795262 HAS SOUPS 795262 WITH SCORE 798844.498
AT ITER 864 NEW BEST:: SOT 9727806 SOS 3582370 HAS SOPS 3582370 HAS SOUS 795134 HAS SOUPS 795134 WITH SCORE 798716.37
AT ITER 865 NEW BEST:: SOT 9727754 SOS 3582211 HAS SOPS 3582211 HAS SOUS 794974 HAS SOUPS 794974 WITH SCORE 798556.211
AT ITER 869 NEW BEST:: SOT 9727698 SOS 3582127 HAS SOPS 3582127 HAS SOUS 794890 HAS SOUPS 794890 WITH SCORE 798472.127
AT ITER 888 NEW BEST:: SOT 9727522 SOS 3581951 HAS SOPS 3581951 HAS SOUS 794538 HAS SOUPS 794538 WITH SCORE 798119.951
AT ITER 891 NEW BEST:: SOT 9727527 SOS 3581961 HAS SOPS 3581961 HAS SOUS 794529 HAS SOUPS 794529 WITH SCORE 798110.961
AT ITER 895 NEW BEST:: SOT 9727030 SOS 3581555 HAS SOPS 3581555 HAS SOUS 793934 HAS SOUPS 793934 WITH SCORE 797515.555
AT ITER 902 NEW BEST:: SOT 9726870 SOS 3581475 HAS SOPS 3581475 HAS SOUS 793774 HAS SOUPS 793774 WITH SCORE 797355.475
AT ITER 929 NEW BEST:: SOT 9726628 SOS 3581233 HAS SOPS 3581233 HAS SOUS 793666 HAS SOUPS 793666 WITH SCORE 797247.233
AT ITER 940 NEW BEST:: SOT 9726540 SOS 3581145 HAS SOPS 3581145 HAS SOUS 793666 HAS SOUPS 793666 WITH SCORE 797247.145
AT ITER 948 NEW BEST:: SOT 9726500 SOS 3581065 HAS SOPS 3581065 HAS SOUS 793586 HAS SOUPS 793586 WITH SCORE 797167.065
AT ITER 963 NEW BEST:: SOT 9726942 SOS 3666871 HAS SOPS 3666871 HAS SOUS 793064 HAS SOUPS 793064 WITH SCORE 796730.871
AT ITER 971 NEW BEST:: SOT 9726942 SOS 3666697 HAS SOPS 3666697 HAS SOUS 792890 HAS SOUPS 792890 WITH SCORE 796556.697
AT ITER 975 NEW BEST:: SOT 9726663 SOS 3666418 HAS SOPS 3666418 HAS SOUS 792889 HAS SOUPS 792889 WITH SCORE 796555.418
AT ITER 984 NEW BEST:: SOT 9726251 SOS 3666418 HAS SOPS 3666418 HAS SOUS 792880 HAS SOUPS 792880 WITH SCORE 796546.418
AT ITER 996 NEW BEST:: SOT 9726251 SOS 3666431 HAS SOPS 3666431 HAS SOUS 792855 HAS SOUPS 792855 WITH SCORE 796521.431
AT ITER 997 NEW BEST:: SOT 9726305 SOS 3666485 HAS SOPS 3666485 HAS SOUS 792550 HAS SOUPS 792550 WITH SCORE 796216.485
AT ITER 1020 NEW BEST:: SOT 9726304 SOS 3666483 HAS SOPS 3666483 HAS SOUS 792548 HAS SOUPS 792548 WITH SCORE 796214.483
AT ITER 1027 NEW BEST:: SOT 9726304 SOS 3666666 HAS SOPS 3666666 HAS SOUS 792508 HAS SOUPS 792508 WITH SCORE 796174.666
AT ITER 1028 NEW BEST:: SOT 9726304 SOS 3666611 HAS SOPS 3666611 HAS SOUS 792453 HAS SOUPS 792453 WITH SCORE 796119.611
AT ITER 1035 NEW BEST:: SOT 9726304 SOS 3666611 HAS SOPS 3666611 HAS SOUS 792389 HAS SOUPS 792389 WITH SCORE 796055.611
AT ITER 1036 NEW BEST:: SOT 9726304 SOS 3666611 HAS SOPS 3666611 HAS SOUS 792223 HAS SOUPS 792223 WITH SCORE 795889.611
AT ITER 1039 NEW BEST:: SOT 9726305 SOS 3666509 HAS SOPS 3666509 HAS SOUS 792121 HAS SOUPS 792121 WITH SCORE 795787.509
AT ITER 1040 NEW BEST:: SOT 9725756 SOS 3668371 HAS SOPS 3668371 HAS SOUS 791572 HAS SOUPS 791572 WITH SCORE 795240.371
AT ITER 1059 NEW BEST:: SOT 9725491 SOS 3668901 HAS SOPS 3668901 HAS SOUS 791307 HAS SOUPS 791307 WITH SCORE 794975.901
AT ITER 1090 NEW BEST:: SOT 9725491 SOS 3668193 HAS SOPS 3668193 HAS SOUS 791307 HAS SOUPS 791307 WITH SCORE 794975.193
AT ITER 1101 NEW BEST:: SOT 9725319 SOS 3668191 HAS SOPS 3668191 HAS SOUS 791134 HAS SOUPS 791134 WITH SCORE 794802.191
AT ITER 1102 NEW BEST:: SOT 9725118 SOS 3667370 HAS SOPS 3667370 HAS SOUS 791049 HAS SOUPS 791049 WITH SCORE 794716.37
AT ITER 1110 NEW BEST:: SOT 9725118 SOS 3667481 HAS SOPS 3667481 HAS SOUS 790793 HAS SOUPS 790793 WITH SCORE 794460.481
AT ITER 1111 NEW BEST:: SOT 9722703 SOS 3652197 HAS SOPS 3652197 HAS SOUS 788447 HAS SOUPS 788447 WITH SCORE 792099.197
AT ITER 1123 NEW BEST:: SOT 9722326 SOS 3652121 HAS SOPS 3652121 HAS SOUS 788096 HAS SOUPS 788096 WITH SCORE 791748.121
AT ITER 1126 NEW BEST:: SOT 9722428 SOS 3652483 HAS SOPS 3652483 HAS SOUS 788061 HAS SOUPS 788061 WITH SCORE 791713.483
AT ITER 1128 NEW BEST:: SOT 9722398 SOS 3652483 HAS SOPS 3652483 HAS SOUS 788031 HAS SOUPS 788031 WITH SCORE 791683.483
AT ITER 1131 NEW BEST:: SOT 9721755 SOS 3654669 HAS SOPS 3654669 HAS SOUS 787388 HAS SOUPS 787388 WITH SCORE 791042.669
AT ITER 1133 NEW BEST:: SOT 9721755 SOS 3654669 HAS SOPS 3654669 HAS SOUS 787387 HAS SOUPS 787387 WITH SCORE 791041.669
AT ITER 1144 NEW BEST:: SOT 9721900 SOS 3655291 HAS SOPS 3655291 HAS SOUS 787340 HAS SOUPS 787340 WITH SCORE 790995.291
AT ITER 1165 NEW BEST:: SOT 9721891 SOS 3655273 HAS SOPS 3655273 HAS SOUS 787322 HAS SOUPS 787322 WITH SCORE 790977.273
AT ITER 1166 NEW BEST:: SOT 9721887 SOS 3655269 HAS SOPS 3655269 HAS SOUS 787318 HAS SOUPS 787318 WITH SCORE 790973.269
AT ITER 1172 NEW BEST:: SOT 9721765 SOS 3655772 HAS SOPS 3655772 HAS SOUS 787222 HAS SOUPS 787222 WITH SCORE 790877.772
AT ITER 1174 NEW BEST:: SOT 9721765 SOS 3655930 HAS SOPS 3655930 HAS SOUS 787090 HAS SOUPS 787090 WITH SCORE 790745.93
AT ITER 1179 NEW BEST:: SOT 9721765 SOS 3655930 HAS SOPS 3655930 HAS SOUS 787088 HAS SOUPS 787088 WITH SCORE 790743.93
AT ITER 1194 NEW BEST:: SOT 9721495 SOS 3655660 HAS SOPS 3655660 HAS SOUS 777746 HAS SOUPS 777746 WITH SCORE 781401.66
AT ITER 1215 NEW BEST:: SOT 9721480 SOS 3655630 HAS SOPS 3655630 HAS SOUS 777716 HAS SOUPS 777716 WITH SCORE 781371.63
AT ITER 1216 NEW BEST:: SOT 9721351 SOS 3655526 HAS SOPS 3655526 HAS SOUS 777599 HAS SOUPS 777599 WITH SCORE 781254.526
AT ITER 1230 NEW BEST:: SOT 9721336 SOS 3655526 HAS SOPS 3655526 HAS SOUS 777584 HAS SOUPS 777584 WITH SCORE 781239.526
AT ITER 1246 NEW BEST:: SOT 9721493 SOS 3655715 HAS SOPS 3655715 HAS SOUS 777558 HAS SOUPS 777558 WITH SCORE 781213.715
AT ITER 1270 NEW BEST:: SOT 9721442 SOS 3656837 HAS SOPS 3656837 HAS SOUS 777394 HAS SOUPS 777394 WITH SCORE 781050.837
AT ITER 1286 NEW BEST:: SOT 9721442 SOS 3656837 HAS SOPS 3656837 HAS SOUS 777387 HAS SOUPS 777387 WITH SCORE 781043.837
AT ITER 1292 NEW BEST:: SOT 9721378 SOS 3656709 HAS SOPS 3656709 HAS SOUS 777348 HAS SOUPS 777348 WITH SCORE 781004.709
AT ITER 1299 NEW BEST:: SOT 9721219 SOS 3656588 HAS SOPS 3656588 HAS SOUS 776045 HAS SOUPS 776045 WITH SCORE 779701.588
AT ITER 1306 NEW BEST:: SOT 9721219 SOS 3656588 HAS SOPS 3656588 HAS SOUS 775867 HAS SOUPS 775867 WITH SCORE 779523.588
AT ITER 1310 NEW BEST:: SOT 9721120 SOS 3655884 HAS SOPS 3655884 HAS SOUS 775817 HAS SOUPS 775817 WITH SCORE 779472.884
AT ITER 1311 NEW BEST:: SOT 9720996 SOS 3655760 HAS SOPS 3655760 HAS SOUS 775693 HAS SOUPS 775693 WITH SCORE 779348.76
AT ITER 1318 NEW BEST:: SOT 9720829 SOS 3656767 HAS SOPS 3656767 HAS SOUS 775625 HAS SOUPS 775625 WITH SCORE 779281.767
AT ITER 1325 NEW BEST:: SOT 9720828 SOS 3656765 HAS SOPS 3656765 HAS SOUS 775403 HAS SOUPS 775403 WITH SCORE 779059.765
AT ITER 1333 NEW BEST:: SOT 9720799 SOS 3656707 HAS SOPS 3656707 HAS SOUS 775370 HAS SOUPS 775370 WITH SCORE 779026.707
AT ITER 1346 NEW BEST:: SOT 9720799 SOS 3657994 HAS SOPS 3657994 HAS SOUS 775363 HAS SOUPS 775363 WITH SCORE 779020.994
AT ITER 1349 NEW BEST:: SOT 9720427 SOS 3657724 HAS SOPS 3657724 HAS SOUS 775026 HAS SOUPS 775026 WITH SCORE 778683.724
AT ITER 1353 NEW BEST:: SOT 9720663 SOS 3658196 HAS SOPS 3658196 HAS SOUS 774921 HAS SOUPS 774921 WITH SCORE 778579.196
AT ITER 1361 NEW BEST:: SOT 9720663 SOS 3658196 HAS SOPS 3658196 HAS SOUS 774801 HAS SOUPS 774801 WITH SCORE 778459.196
AT ITER 1365 NEW BEST:: SOT 9720633 SOS 3658166 HAS SOPS 3658166 HAS SOUS 774801 HAS SOUPS 774801 WITH SCORE 778459.166
AT ITER 1368 NEW BEST:: SOT 9720633 SOS 3658198 HAS SOPS 3658198 HAS SOUS 774785 HAS SOUPS 774785 WITH SCORE 778443.198
AT ITER 1371 NEW BEST:: SOT 9720631 SOS 3658196 HAS SOPS 3658196 HAS SOUS 774784 HAS SOUPS 774784 WITH SCORE 778442.196
AT ITER 1375 NEW BEST:: SOT 9720507 SOS 3657948 HAS SOPS 3657948 HAS SOUS 774660 HAS SOUPS 774660 WITH SCORE 778317.948
AT ITER 1408 NEW BEST:: SOT 9720507 SOS 3657842 HAS SOPS 3657842 HAS SOUS 774659 HAS SOUPS 774659 WITH SCORE 778316.842
AT ITER 1429 NEW BEST:: SOT 9720506 SOS 3658060 HAS SOPS 3658060 HAS SOUS 773782 HAS SOUPS 773782 WITH SCORE 777440.06
AT ITER 1434 NEW BEST:: SOT 9720389 SOS 3659398 HAS SOPS 3659398 HAS SOUS 773689 HAS SOUPS 773689 WITH SCORE 777348.398
AT ITER 1448 NEW BEST:: SOT 9720389 SOS 3659202 HAS SOPS 3659202 HAS SOUS 773689 HAS SOUPS 773689 WITH SCORE 777348.202
AT ITER 1459 NEW BEST:: SOT 9720176 SOS 3659360 HAS SOPS 3659360 HAS SOUS 773533 HAS SOUPS 773533 WITH SCORE 777192.36
AT ITER 1469 NEW BEST:: SOT 9720176 SOS 3659290 HAS SOPS 3659290 HAS SOUS 773533 HAS SOUPS 773533 WITH SCORE 777192.29
AT ITER 1472 NEW BEST:: SOT 9720248 SOS 3659434 HAS SOPS 3659434 HAS SOUS 773395 HAS SOUPS 773395 WITH SCORE 777054.434
AT ITER 1487 NEW BEST:: SOT 9720124 SOS 3659310 HAS SOPS 3659310 HAS SOUS 773271 HAS SOUPS 773271 WITH SCORE 776930.31
AT ITER 1514 NEW BEST:: SOT 9719993 SOS 3659048 HAS SOPS 3659048 HAS SOUS 773146 HAS SOUPS 773146 WITH SCORE 776805.048
AT ITER 1524 NEW BEST:: SOT 9719793 SOS 3658648 HAS SOPS 3658648 HAS SOUS 772982 HAS SOUPS 772982 WITH SCORE 776640.648
AT ITER 1542 NEW BEST:: SOT 9718049 SOS 3748073 HAS SOPS 3748073 HAS SOUS 772873 HAS SOUPS 772873 WITH SCORE 776621.073
AT ITER 1548 NEW BEST:: SOT 9718049 SOS 3747911 HAS SOPS 3747911 HAS SOUS 772873 HAS SOUPS 772873 WITH SCORE 776620.911
AT ITER 1558 NEW BEST:: SOT 9718127 SOS 3747833 HAS SOPS 3747833 HAS SOUS 772873 HAS SOUPS 772873 WITH SCORE 776620.833
AT ITER 1565 NEW BEST:: SOT 9717849 SOS 3748247 HAS SOPS 3748247 HAS SOUS 772815 HAS SOUPS 772815 WITH SCORE 776563.247
AT ITER 1566 NEW BEST:: SOT 9717699 SOS 3749723 HAS SOPS 3749723 HAS SOUS 772665 HAS SOUPS 772665 WITH SCORE 776414.723
AT ITER 1570 NEW BEST:: SOT 9717699 SOS 3749977 HAS SOPS 3749977 HAS SOUS 772411 HAS SOUPS 772411 WITH SCORE 776160.977
AT ITER 1573 NEW BEST:: SOT 9717699 SOS 3749956 HAS SOPS 3749956 HAS SOUS 772399 HAS SOUPS 772399 WITH SCORE 776148.956
AT ITER 1574 NEW BEST:: SOT 9717726 SOS 3749877 HAS SOPS 3749877 HAS SOUS 772382 HAS SOUPS 772382 WITH SCORE 776131.877
AT ITER 1584 NEW BEST:: SOT 9717726 SOS 3749557 HAS SOPS 3749557 HAS SOUS 772382 HAS SOUPS 772382 WITH SCORE 776131.557
AT ITER 1592 NEW BEST:: SOT 9717597 SOS 3749557 HAS SOPS 3749557 HAS SOUS 772253 HAS SOUPS 772253 WITH SCORE 776002.557
AT ITER 1605 NEW BEST:: SOT 9717197 SOS 3749127 HAS SOPS 3749127 HAS SOUS 771916 HAS SOUPS 771916 WITH SCORE 775665.127
AT ITER 1626 NEW BEST:: SOT 9717317 SOS 3749666 HAS SOPS 3749666 HAS SOUS 771792 HAS SOUPS 771792 WITH SCORE 775541.666
AT ITER 1629 NEW BEST:: SOT 9717234 SOS 3749728 HAS SOPS 3749728 HAS SOUS 771766 HAS SOUPS 771766 WITH SCORE 775515.728
AT ITER 1635 NEW BEST:: SOT 9717148 SOS 3749801 HAS SOPS 3749801 HAS SOUS 771723 HAS SOUPS 771723 WITH SCORE 775472.801
AT ITER 1647 NEW BEST:: SOT 9717112 SOS 3749765 HAS SOPS 3749765 HAS SOUS 771687 HAS SOUPS 771687 WITH SCORE 775436.765
AT ITER 1650 NEW BEST:: SOT 9717100 SOS 3750180 HAS SOPS 3750180 HAS SOUS 771544 HAS SOUPS 771544 WITH SCORE 775294.18
AT ITER 1651 NEW BEST:: SOT 9716908 SOS 3749796 HAS SOPS 3749796 HAS SOUS 771160 HAS SOUPS 771160 WITH SCORE 774909.796
AT ITER 1676 NEW BEST:: SOT 9716908 SOS 3749769 HAS SOPS 3749769 HAS SOUS 771133 HAS SOUPS 771133 WITH SCORE 774882.769
AT ITER 1682 NEW BEST:: SOT 9716868 SOS 3746980 HAS SOPS 3746980 HAS SOUS 771010 HAS SOUPS 771010 WITH SCORE 774756.98
AT ITER 1684 NEW BEST:: SOT 9716372 SOS 3746604 HAS SOPS 3746604 HAS SOUS 770577 HAS SOUPS 770577 WITH SCORE 774323.604
AT ITER 1689 NEW BEST:: SOT 9716207 SOS 3746823 HAS SOPS 3746823 HAS SOUS 770412 HAS SOUPS 770412 WITH SCORE 774158.823
AT ITER 1691 NEW BEST:: SOT 9715818 SOS 3746675 HAS SOPS 3746675 HAS SOUS 770054 HAS SOUPS 770054 WITH SCORE 773800.675
AT ITER 1692 NEW BEST:: SOT 9715818 SOS 3746675 HAS SOPS 3746675 HAS SOUS 770045 HAS SOUPS 770045 WITH SCORE 773791.675
AT ITER 1702 NEW BEST:: SOT 9715818 SOS 3746852 HAS SOPS 3746852 HAS SOUS 770021 HAS SOUPS 770021 WITH SCORE 773767.852
AT ITER 1720 NEW BEST:: SOT 9715818 SOS 3746852 HAS SOPS 3746852 HAS SOUS 769796 HAS SOUPS 769796 WITH SCORE 773542.852
AT ITER 1721 NEW BEST:: SOT 9715626 SOS 3661074 HAS SOPS 3661074 HAS SOUS 766406 HAS SOUPS 766406 WITH SCORE 770067.074
AT ITER 1729 NEW BEST:: SOT 9715625 SOS 3661072 HAS SOPS 3661072 HAS SOUS 766404 HAS SOUPS 766404 WITH SCORE 770065.072
AT ITER 1745 NEW BEST:: SOT 9715576 SOS 3660974 HAS SOPS 3660974 HAS SOUS 766306 HAS SOUPS 766306 WITH SCORE 769966.974
AT ITER 1747 NEW BEST:: SOT 9715592 SOS 3660793 HAS SOPS 3660793 HAS SOUS 766054 HAS SOUPS 766054 WITH SCORE 769714.793
AT ITER 1778 NEW BEST:: SOT 9715404 SOS 3659797 HAS SOPS 3659797 HAS SOUS 765802 HAS SOUPS 765802 WITH SCORE 769461.797
AT ITER 1786 NEW BEST:: SOT 9715291 SOS 3659994 HAS SOPS 3659994 HAS SOUS 765747 HAS SOUPS 765747 WITH SCORE 769406.994
AT ITER 1791 NEW BEST:: SOT 9715278 SOS 3660007 HAS SOPS 3660007 HAS SOUS 765734 HAS SOUPS 765734 WITH SCORE 769394.007
AT ITER 1803 NEW BEST:: SOT 9715299 SOS 3660289 HAS SOPS 3660289 HAS SOUS 765475 HAS SOUPS 765475 WITH SCORE 769135.289
AT ITER 1827 NEW BEST:: SOT 9715311 SOS 3660313 HAS SOPS 3660313 HAS SOUS 765466 HAS SOUPS 765466 WITH SCORE 769126.313
AT ITER 1860 NEW BEST:: SOT 9715311 SOS 3660313 HAS SOPS 3660313 HAS SOUS 765152 HAS SOUPS 765152 WITH SCORE 768812.313
AT ITER 1868 NEW BEST:: SOT 9715232 SOS 3660234 HAS SOPS 3660234 HAS SOUS 765120 HAS SOUPS 765120 WITH SCORE 768780.234
AT ITER 1876 NEW BEST:: SOT 9715231 SOS 3660232 HAS SOPS 3660232 HAS SOUS 765118 HAS SOUPS 765118 WITH SCORE 768778.232
AT ITER 1882 NEW BEST:: SOT 9715158 SOS 3660086 HAS SOPS 3660086 HAS SOUS 764972 HAS SOUPS 764972 WITH SCORE 768632.086
AT ITER 1896 NEW BEST:: SOT 9714800 SOS 3477814 HAS SOPS 3477814 HAS SOUS 764756 HAS SOUPS 764756 WITH SCORE 768233.814
AT ITER 1913 NEW BEST:: SOT 9714710 SOS 3477634 HAS SOPS 3477634 HAS SOUS 764576 HAS SOUPS 764576 WITH SCORE 768053.634
AT ITER 1937 NEW BEST:: SOT 9714563 SOS 3477340 HAS SOPS 3477340 HAS SOUS 764089 HAS SOUPS 764089 WITH SCORE 767566.34
AT ITER 1988 NEW BEST:: SOT 9714533 SOS 3477064 HAS SOPS 3477064 HAS SOUS 764024 HAS SOUPS 764024 WITH SCORE 767501.064
AT ITER 2000 NEW BEST:: SOT 9714229 SOS 3476721 HAS SOPS 3476721 HAS SOUS 763630 HAS SOUPS 763630 WITH SCORE 767106.721
AT ITER 2047 NEW BEST:: SOT 9713625 SOS 3477593 HAS SOPS 3477593 HAS SOUS 763286 HAS SOUPS 763286 WITH SCORE 766763.593
AT ITER 2051 NEW BEST:: SOT 9713962 SOS 3477930 HAS SOPS 3477930 HAS SOUS 763198 HAS SOUPS 763198 WITH SCORE 766675.93
AT ITER 2054 NEW BEST:: SOT 9713962 SOS 3477930 HAS SOPS 3477930 HAS SOUS 763189 HAS SOUPS 763189 WITH SCORE 766666.93
AT ITER 2057 NEW BEST:: SOT 9713962 SOS 3476795 HAS SOPS 3476795 HAS SOUS 763169 HAS SOUPS 763169 WITH SCORE 766645.795
AT ITER 2061 NEW BEST:: SOT 9713803 SOS 3476694 HAS SOPS 3476694 HAS SOUS 763068 HAS SOUPS 763068 WITH SCORE 766544.694
AT ITER 2074 NEW BEST:: SOT 9713732 SOS 3476623 HAS SOPS 3476623 HAS SOUS 763068 HAS SOUPS 763068 WITH SCORE 766544.623
AT ITER 2079 NEW BEST:: SOT 9713618 SOS 3476395 HAS SOPS 3476395 HAS SOUS 762954 HAS SOUPS 762954 WITH SCORE 766430.395
AT ITER 2080 NEW BEST:: SOT 9713618 SOS 3476391 HAS SOPS 3476391 HAS SOUS 762953 HAS SOUPS 762953 WITH SCORE 766429.391
AT ITER 2085 NEW BEST:: SOT 9713703 SOS 3476913 HAS SOPS 3476913 HAS SOUS 762870 HAS SOUPS 762870 WITH SCORE 766346.913
AT ITER 2109 NEW BEST:: SOT 9713631 SOS 3476769 HAS SOPS 3476769 HAS SOUS 762816 HAS SOUPS 762816 WITH SCORE 766292.769
AT ITER 2140 NEW BEST:: SOT 9713531 SOS 3476804 HAS SOPS 3476804 HAS SOUS 762616 HAS SOUPS 762616 WITH SCORE 766092.804
AT ITER 2143 NEW BEST:: SOT 9713553 SOS 3476848 HAS SOPS 3476848 HAS SOUS 762399 HAS SOUPS 762399 WITH SCORE 765875.848
AT ITER 2167 NEW BEST:: SOT 9713361 SOS 3476482 HAS SOPS 3476482 HAS SOUS 762365 HAS SOUPS 762365 WITH SCORE 765841.482
AT ITER 2179 NEW BEST:: SOT 9713361 SOS 3476411 HAS SOPS 3476411 HAS SOUS 762364 HAS SOUPS 762364 WITH SCORE 765840.411
AT ITER 2192 NEW BEST:: SOT 9713173 SOS 3476035 HAS SOPS 3476035 HAS SOUS 762165 HAS SOUPS 762165 WITH SCORE 765641.035
AT ITER 2197 NEW BEST:: SOT 9713144 SOS 3475977 HAS SOPS 3475977 HAS SOUS 762107 HAS SOUPS 762107 WITH SCORE 765582.977
AT ITER 2212 NEW BEST:: SOT 9712999 SOS 3477388 HAS SOPS 3477388 HAS SOUS 762001 HAS SOUPS 762001 WITH SCORE 765478.388
AT ITER 2218 NEW BEST:: SOT 9713025 SOS 3477239 HAS SOPS 3477239 HAS SOUS 761969 HAS SOUPS 761969 WITH SCORE 765446.239
AT ITER 2237 NEW BEST:: SOT 9712852 SOS 3477114 HAS SOPS 3477114 HAS SOUS 761796 HAS SOUPS 761796 WITH SCORE 765273.114
AT ITER 2251 NEW BEST:: SOT 9712220 SOS 3475922 HAS SOPS 3475922 HAS SOUS 760481 HAS SOUPS 760481 WITH SCORE 763956.922
AT ITER 2254 NEW BEST:: SOT 9712262 SOS 3476188 HAS SOPS 3476188 HAS SOUS 760469 HAS SOUPS 760469 WITH SCORE 763945.188
AT ITER 2255 NEW BEST:: SOT 9712194 SOS 3476052 HAS SOPS 3476052 HAS SOUS 760333 HAS SOUPS 760333 WITH SCORE 763809.052
AT ITER 2274 NEW BEST:: SOT 9711846 SOS 3475704 HAS SOPS 3475704 HAS SOUS 760333 HAS SOUPS 760333 WITH SCORE 763808.704
AT ITER 2282 NEW BEST:: SOT 9711777 SOS 3475635 HAS SOPS 3475635 HAS SOUS 760332 HAS SOUPS 760332 WITH SCORE 763807.635
AT ITER 2292 NEW BEST:: SOT 9711698 SOS 3475477 HAS SOPS 3475477 HAS SOUS 760253 HAS SOUPS 760253 WITH SCORE 763728.477
AT ITER 2299 NEW BEST:: SOT 9711723 SOS 3476022 HAS SOPS 3476022 HAS SOUS 759170 HAS SOUPS 759170 WITH SCORE 762646.022
AT ITER 2307 NEW BEST:: SOT 9711723 SOS 3475996 HAS SOPS 3475996 HAS SOUS 759096 HAS SOUPS 759096 WITH SCORE 762571.996
AT ITER 2326 NEW BEST:: SOT 9710649 SOS 3475747 HAS SOPS 3475747 HAS SOUS 758655 HAS SOUPS 758655 WITH SCORE 762130.747
AT ITER 2338 NEW BEST:: SOT 9710437 SOS 3475323 HAS SOPS 3475323 HAS SOUS 758231 HAS SOUPS 758231 WITH SCORE 761706.323
AT ITER 2363 NEW BEST:: SOT 9710376 SOS 3475201 HAS SOPS 3475201 HAS SOUS 758157 HAS SOUPS 758157 WITH SCORE 761632.201
AT ITER 2373 NEW BEST:: SOT 9710140 SOS 3475237 HAS SOPS 3475237 HAS SOUS 757939 HAS SOUPS 757939 WITH SCORE 761414.237
AT ITER 2375 NEW BEST:: SOT 9709971 SOS 3474899 HAS SOPS 3474899 HAS SOUS 757908 HAS SOUPS 757908 WITH SCORE 761382.899
AT ITER 2376 NEW BEST:: SOT 9709971 SOS 3474899 HAS SOPS 3474899 HAS SOUS 757785 HAS SOUPS 757785 WITH SCORE 761259.899
AT ITER 2386 NEW BEST:: SOT 9709870 SOS 3474798 HAS SOPS 3474798 HAS SOUS 757684 HAS SOUPS 757684 WITH SCORE 761158.798
AT ITER 2392 NEW BEST:: SOT 9709812 SOS 3474550 HAS SOPS 3474550 HAS SOUS 757564 HAS SOUPS 757564 WITH SCORE 761038.55
AT ITER 2408 NEW BEST:: SOT 9710040 SOS 3475234 HAS SOPS 3475234 HAS SOUS 756880 HAS SOUPS 756880 WITH SCORE 760355.234
AT ITER 2413 NEW BEST:: SOT 9709723 SOS 3492745 HAS SOPS 3492745 HAS SOUS 756304 HAS SOUPS 756304 WITH SCORE 759796.745
AT ITER 2430 NEW BEST:: SOT 9709661 SOS 3492574 HAS SOPS 3492574 HAS SOUS 756304 HAS SOUPS 756304 WITH SCORE 759796.574
AT ITER 2431 NEW BEST:: SOT 9709634 SOS 3492293 HAS SOPS 3492293 HAS SOUS 756050 HAS SOUPS 756050 WITH SCORE 759542.293
AT ITER 2456 NEW BEST:: SOT 9709578 SOS 3492288 HAS SOPS 3492288 HAS SOUS 754570 HAS SOUPS 754570 WITH SCORE 758062.288
AT ITER 2459 NEW BEST:: SOT 9709148 SOS 3491235 HAS SOPS 3491235 HAS SOUS 753750 HAS SOUPS 753750 WITH SCORE 757241.235
AT ITER 2463 NEW BEST:: SOT 9709007 SOS 3491343 HAS SOPS 3491343 HAS SOUS 753710 HAS SOUPS 753710 WITH SCORE 757201.343
AT ITER 2481 NEW BEST:: SOT 9708967 SOS 3491283 HAS SOPS 3491283 HAS SOUS 753650 HAS SOUPS 753650 WITH SCORE 757141.283
AT ITER 2483 NEW BEST:: SOT 9708895 SOS 3491067 HAS SOPS 3491067 HAS SOUS 753506 HAS SOUPS 753506 WITH SCORE 756997.067
AT ITER 2510 NEW BEST:: SOT 9708895 SOS 3491067 HAS SOPS 3491067 HAS SOUS 753417 HAS SOUPS 753417 WITH SCORE 756908.067
AT ITER 2520 NEW BEST:: SOT 9708857 SOS 3490701 HAS SOPS 3490701 HAS SOUS 753341 HAS SOUPS 753341 WITH SCORE 756831.701
AT ITER 2533 NEW BEST:: SOT 9708857 SOS 3491038 HAS SOPS 3491038 HAS SOUS 753340 HAS SOUPS 753340 WITH SCORE 756831.038
AT ITER 2608 NEW BEST:: SOT 9709301 SOS 3491532 HAS SOPS 3491532 HAS SOUS 753302 HAS SOUPS 753302 WITH SCORE 756793.532
AT ITER 2623 NEW BEST:: SOT 9709301 SOS 3491483 HAS SOPS 3491483 HAS SOUS 753204 HAS SOUPS 753204 WITH SCORE 756695.483
AT ITER 2628 NEW BEST:: SOT 9709220 SOS 3491564 HAS SOPS 3491564 HAS SOUS 753123 HAS SOUPS 753123 WITH SCORE 756614.564
AT ITER 2630 NEW BEST:: SOT 9707671 SOS 3507122 HAS SOPS 3507122 HAS SOUS 753008 HAS SOUPS 753008 WITH SCORE 756515.122
AT ITER 2647 NEW BEST:: SOT 9707671 SOS 3507115 HAS SOPS 3507115 HAS SOUS 752950 HAS SOUPS 752950 WITH SCORE 756457.115
AT ITER 2652 NEW BEST:: SOT 9707700 SOS 3506709 HAS SOPS 3506709 HAS SOUS 752950 HAS SOUPS 752950 WITH SCORE 756456.709
AT ITER 2653 NEW BEST:: SOT 9707700 SOS 3506709 HAS SOPS 3506709 HAS SOUS 752807 HAS SOUPS 752807 WITH SCORE 756313.709
AT ITER 2669 NEW BEST:: SOT 9707595 SOS 3506709 HAS SOPS 3506709 HAS SOUS 752702 HAS SOUPS 752702 WITH SCORE 756208.709
AT ITER 2683 NEW BEST:: SOT 9707397 SOS 3506313 HAS SOPS 3506313 HAS SOUS 752333 HAS SOUPS 752333 WITH SCORE 755839.313
AT ITER 2688 NEW BEST:: SOT 9707040 SOS 3506437 HAS SOPS 3506437 HAS SOUS 752179 HAS SOUPS 752179 WITH SCORE 755685.437
AT ITER 2696 NEW BEST:: SOT 9707039 SOS 3506435 HAS SOPS 3506435 HAS SOUS 752177 HAS SOUPS 752177 WITH SCORE 755683.435
AT ITER 2698 NEW BEST:: SOT 9707004 SOS 3506433 HAS SOPS 3506433 HAS SOUS 752142 HAS SOUPS 752142 WITH SCORE 755648.433
AT ITER 2700 NEW BEST:: SOT 9706950 SOS 3506553 HAS SOPS 3506553 HAS SOUS 752088 HAS SOUPS 752088 WITH SCORE 755594.553
AT ITER 2722 NEW BEST:: SOT 9707163 SOS 3506759 HAS SOPS 3506759 HAS SOUS 752074 HAS SOUPS 752074 WITH SCORE 755580.759
AT ITER 2723 NEW BEST:: SOT 9707105 SOS 3506730 HAS SOPS 3506730 HAS SOUS 752016 HAS SOUPS 752016 WITH SCORE 755522.73
AT ITER 2741 NEW BEST:: SOT 9707105 SOS 3506460 HAS SOPS 3506460 HAS SOUS 751881 HAS SOUPS 751881 WITH SCORE 755387.46
AT ITER 2779 NEW BEST:: SOT 9706937 SOS 3506955 HAS SOPS 3506955 HAS SOUS 751827 HAS SOUPS 751827 WITH SCORE 755333.955
AT ITER 2781 NEW BEST:: SOT 9706559 SOS 3506320 HAS SOPS 3506320 HAS SOUS 751688 HAS SOUPS 751688 WITH SCORE 755194.32
AT ITER 2795 NEW BEST:: SOT 9706422 SOS 3506183 HAS SOPS 3506183 HAS SOUS 751557 HAS SOUPS 751557 WITH SCORE 755063.183
AT ITER 2812 NEW BEST:: SOT 9706360 SOS 3506121 HAS SOPS 3506121 HAS SOUS 751557 HAS SOUPS 751557 WITH SCORE 755063.121
AT ITER 2814 NEW BEST:: SOT 9705285 SOS 3514993 HAS SOPS 3514993 HAS SOUS 750983 HAS SOUPS 750983 WITH SCORE 754497.993
AT ITER 2817 NEW BEST:: SOT 9705171 SOS 3514765 HAS SOPS 3514765 HAS SOUS 750793 HAS SOUPS 750793 WITH SCORE 754307.765
AT ITER 2821 NEW BEST:: SOT 9705070 SOS 3514638 HAS SOPS 3514638 HAS SOUS 750691 HAS SOUPS 750691 WITH SCORE 754205.638
AT ITER 2822 NEW BEST:: SOT 9704698 SOS 3502982 HAS SOPS 3502982 HAS SOUS 749947 HAS SOUPS 749947 WITH SCORE 753449.982
AT ITER 2863 NEW BEST:: SOT 9704612 SOS 3502896 HAS SOPS 3502896 HAS SOUS 745578 HAS SOUPS 745578 WITH SCORE 749080.896
AT ITER 2865 NEW BEST:: SOT 9704237 SOS 3502740 HAS SOPS 3502740 HAS SOUS 745203 HAS SOUPS 745203 WITH SCORE 748705.74
AT ITER 2875 NEW BEST:: SOT 9704237 SOS 3502414 HAS SOPS 3502414 HAS SOUS 744885 HAS SOUPS 744885 WITH SCORE 748387.414
AT ITER 2878 NEW BEST:: SOT 9704227 SOS 3502394 HAS SOPS 3502394 HAS SOUS 744792 HAS SOUPS 744792 WITH SCORE 748294.394
AT ITER 2879 NEW BEST:: SOT 9704086 SOS 3503224 HAS SOPS 3503224 HAS SOUS 744442 HAS SOUPS 744442 WITH SCORE 747945.224
AT ITER 2888 NEW BEST:: SOT 9704086 SOS 3502916 HAS SOPS 3502916 HAS SOUS 736391 HAS SOUPS 736391 WITH SCORE 739893.916
AT ITER 2914 NEW BEST:: SOT 9703879 SOS 3504322 HAS SOPS 3504322 HAS SOUS 736384 HAS SOUPS 736384 WITH SCORE 739888.322
AT ITER 2919 NEW BEST:: SOT 9703871 SOS 3504318 HAS SOPS 3504318 HAS SOUS 736376 HAS SOUPS 736376 WITH SCORE 739880.318
AT ITER 2931 NEW BEST:: SOT 9703741 SOS 3504058 HAS SOPS 3504058 HAS SOUS 736246 HAS SOUPS 736246 WITH SCORE 739750.058
AT ITER 2963 NEW BEST:: SOT 9703741 SOS 3503714 HAS SOPS 3503714 HAS SOUS 735902 HAS SOUPS 735902 WITH SCORE 739405.714
AT ITER 2964 NEW BEST:: SOT 9703669 SOS 3503642 HAS SOPS 3503642 HAS SOUS 733278 HAS SOUPS 733278 WITH SCORE 736781.642
AT ITER 2965 NEW BEST:: SOT 9703669 SOS 3503625 HAS SOPS 3503625 HAS SOUS 733261 HAS SOUPS 733261 WITH SCORE 736764.625
AT ITER 2977 NEW BEST:: SOT 9703669 SOS 3503625 HAS SOPS 3503625 HAS SOUS 733257 HAS SOUPS 733257 WITH SCORE 736760.625
AT ITER 2991 NEW BEST:: SOT 9703566 SOS 3503522 HAS SOPS 3503522 HAS SOUS 733154 HAS SOUPS 733154 WITH SCORE 736657.522
AT ITER 2993 NEW BEST:: SOT 9703380 SOS 3503522 HAS SOPS 3503522 HAS SOUS 733030 HAS SOUPS 733030 WITH SCORE 736533.522
AT ITER 3007 NEW BEST:: SOT 9703358 SOS 3503281 HAS SOPS 3503281 HAS SOUS 732986 HAS SOUPS 732986 WITH SCORE 736489.281
AT ITER 3008 NEW BEST:: SOT 9703358 SOS 3503284 HAS SOPS 3503284 HAS SOUS 732983 HAS SOUPS 732983 WITH SCORE 736486.284
AT ITER 3010 NEW BEST:: SOT 9703193 SOS 3503125 HAS SOPS 3503125 HAS SOUS 732513 HAS SOUPS 732513 WITH SCORE 736016.125
AT ITER 3023 NEW BEST:: SOT 9703193 SOS 3503065 HAS SOPS 3503065 HAS SOUS 732513 HAS SOUPS 732513 WITH SCORE 736016.065
AT ITER 3044 NEW BEST:: SOT 9703237 SOS 3503044 HAS SOPS 3503044 HAS SOUS 732492 HAS SOUPS 732492 WITH SCORE 735995.044
AT ITER 3065 NEW BEST:: SOT 9703054 SOS 3502678 HAS SOPS 3502678 HAS SOUS 732307 HAS SOUPS 732307 WITH SCORE 735809.678
AT ITER 3073 NEW BEST:: SOT 9702971 SOS 3502594 HAS SOPS 3502594 HAS SOUS 732223 HAS SOUPS 732223 WITH SCORE 735725.594
AT ITER 3080 NEW BEST:: SOT 9702014 SOS 3504367 HAS SOPS 3504367 HAS SOUS 732137 HAS SOUPS 732137 WITH SCORE 735641.367
AT ITER 3090 NEW BEST:: SOT 9701865 SOS 3504069 HAS SOPS 3504069 HAS SOUS 731839 HAS SOUPS 731839 WITH SCORE 735343.069
AT ITER 3096 NEW BEST:: SOT 9701865 SOS 3504069 HAS SOPS 3504069 HAS SOUS 731617 HAS SOUPS 731617 WITH SCORE 735121.069
AT ITER 3109 NEW BEST:: SOT 9701865 SOS 3504180 HAS SOPS 3504180 HAS SOUS 731506 HAS SOUPS 731506 WITH SCORE 735010.18
AT ITER 3115 NEW BEST:: SOT 9701852 SOS 3504154 HAS SOPS 3504154 HAS SOUS 731427 HAS SOUPS 731427 WITH SCORE 734931.154
AT ITER 3126 NEW BEST:: SOT 9701849 SOS 3504153 HAS SOPS 3504153 HAS SOUS 731426 HAS SOUPS 731426 WITH SCORE 734930.153
AT ITER 3137 NEW BEST:: SOT 9701940 SOS 3504335 HAS SOPS 3504335 HAS SOUS 731148 HAS SOUPS 731148 WITH SCORE 734652.335
AT ITER 3154 NEW BEST:: SOT 9701940 SOS 3504335 HAS SOPS 3504335 HAS SOUS 730993 HAS SOUPS 730993 WITH SCORE 734497.335
AT ITER 3170 NEW BEST:: SOT 9701835 SOS 3504077 HAS SOPS 3504077 HAS SOUS 730657 HAS SOUPS 730657 WITH SCORE 734161.077
AT ITER 3193 NEW BEST:: SOT 9701528 SOS 3504358 HAS SOPS 3504358 HAS SOUS 730557 HAS SOUPS 730557 WITH SCORE 734061.358
AT ITER 3196 NEW BEST:: SOT 9701439 SOS 3504184 HAS SOPS 3504184 HAS SOUS 730468 HAS SOUPS 730468 WITH SCORE 733972.184
AT ITER 3211 NEW BEST:: SOT 9701275 SOS 3503856 HAS SOPS 3503856 HAS SOUS 730140 HAS SOUPS 730140 WITH SCORE 733643.856
AT ITER 3223 NEW BEST:: SOT 9701013 SOS 3503332 HAS SOPS 3503332 HAS SOUS 729616 HAS SOUPS 729616 WITH SCORE 733119.332
AT ITER 3238 NEW BEST:: SOT 9700923 SOS 3503152 HAS SOPS 3503152 HAS SOUS 729436 HAS SOUPS 729436 WITH SCORE 732939.152
AT ITER 3239 NEW BEST:: SOT 9700866 SOS 3502954 HAS SOPS 3502954 HAS SOUS 729384 HAS SOUPS 729384 WITH SCORE 732886.954
AT ITER 3247 NEW BEST:: SOT 9700769 SOS 3502857 HAS SOPS 3502857 HAS SOUS 729266 HAS SOUPS 729266 WITH SCORE 732768.857
AT ITER 3272 NEW BEST:: SOT 9700112 SOS 3502419 HAS SOPS 3502419 HAS SOUS 728609 HAS SOUPS 728609 WITH SCORE 732111.419
AT ITER 3297 NEW BEST:: SOT 9700084 SOS 3502363 HAS SOPS 3502363 HAS SOUS 728553 HAS SOUPS 728553 WITH SCORE 732055.363
AT ITER 3317 NEW BEST:: SOT 9700049 SOS 3502293 HAS SOPS 3502293 HAS SOUS 728456 HAS SOUPS 728456 WITH SCORE 731958.293
AT ITER 3338 NEW BEST:: SOT 9699960 SOS 3502115 HAS SOPS 3502115 HAS SOUS 728278 HAS SOUPS 728278 WITH SCORE 731780.115
AT ITER 3362 NEW BEST:: SOT 9699960 SOS 3502115 HAS SOPS 3502115 HAS SOUS 728161 HAS SOUPS 728161 WITH SCORE 731663.115
AT ITER 3375 NEW BEST:: SOT 9699760 SOS 3501915 HAS SOPS 3501915 HAS SOUS 727960 HAS SOUPS 727960 WITH SCORE 731461.915
AT ITER 3395 NEW BEST:: SOT 9699670 SOS 3503175 HAS SOPS 3503175 HAS SOUS 727870 HAS SOUPS 727870 WITH SCORE 731373.175
AT ITER 3396 NEW BEST:: SOT 9699670 SOS 3503166 HAS SOPS 3503166 HAS SOUS 727870 HAS SOUPS 727870 WITH SCORE 731373.166
AT ITER 3427 NEW BEST:: SOT 9699670 SOS 3503776 HAS SOPS 3503776 HAS SOUS 727864 HAS SOUPS 727864 WITH SCORE 731367.776
AT ITER 3430 NEW BEST:: SOT 9699670 SOS 3503776 HAS SOPS 3503776 HAS SOUS 727858 HAS SOUPS 727858 WITH SCORE 731361.776
AT ITER 3433 NEW BEST:: SOT 9699644 SOS 3503724 HAS SOPS 3503724 HAS SOUS 727806 HAS SOUPS 727806 WITH SCORE 731309.724
AT ITER 3435 NEW BEST:: SOT 9699644 SOS 3503755 HAS SOPS 3503755 HAS SOUS 727696 HAS SOUPS 727696 WITH SCORE 731199.755
AT ITER 3438 NEW BEST:: SOT 9699462 SOS 3503474 HAS SOPS 3503474 HAS SOUS 727514 HAS SOUPS 727514 WITH SCORE 731017.474
AT ITER 3469 NEW BEST:: SOT 9699133 SOS 3502816 HAS SOPS 3502816 HAS SOUS 727160 HAS SOUPS 727160 WITH SCORE 730662.816
AT ITER 3487 NEW BEST:: SOT 9700017 SOS 3500806 HAS SOPS 3500806 HAS SOUS 726835 HAS SOUPS 726835 WITH SCORE 730335.806
AT ITER 3492 NEW BEST:: SOT 9700262 SOS 3501577 HAS SOPS 3501577 HAS SOUS 725956 HAS SOUPS 725956 WITH SCORE 729457.577
AT ITER 3496 NEW BEST:: SOT 9700441 SOS 3501636 HAS SOPS 3501636 HAS SOUS 725948 HAS SOUPS 725948 WITH SCORE 729449.636
AT ITER 3520 NEW BEST:: SOT 9700258 SOS 3501724 HAS SOPS 3501724 HAS SOUS 725809 HAS SOUPS 725809 WITH SCORE 729310.724
AT ITER 3522 NEW BEST:: SOT 9700221 SOS 3501650 HAS SOPS 3501650 HAS SOUS 725735 HAS SOUPS 725735 WITH SCORE 729236.65
AT ITER 3534 NEW BEST:: SOT 9700221 SOS 3501686 HAS SOPS 3501686 HAS SOUS 725699 HAS SOUPS 725699 WITH SCORE 729200.686
AT ITER 3536 NEW BEST:: SOT 9700125 SOS 3501494 HAS SOPS 3501494 HAS SOUS 725602 HAS SOUPS 725602 WITH SCORE 729103.494
AT ITER 3540 NEW BEST:: SOT 9700368 SOS 3501687 HAS SOPS 3501687 HAS SOUS 725543 HAS SOUPS 725543 WITH SCORE 729044.687
AT ITER 3544 NEW BEST:: SOT 9700237 SOS 3501425 HAS SOPS 3501425 HAS SOUS 725411 HAS SOUPS 725411 WITH SCORE 728912.425
AT ITER 3548 NEW BEST:: SOT 9700109 SOS 3501681 HAS SOPS 3501681 HAS SOUS 725155 HAS SOUPS 725155 WITH SCORE 728656.681
AT ITER 3567 NEW BEST:: SOT 9700109 SOS 3501802 HAS SOPS 3501802 HAS SOUS 725106 HAS SOUPS 725106 WITH SCORE 728607.802
AT ITER 3575 NEW BEST:: SOT 9699931 SOS 3501375 HAS SOPS 3501375 HAS SOUS 725049 HAS SOUPS 725049 WITH SCORE 728550.375
AT ITER 3579 NEW BEST:: SOT 9699931 SOS 3501443 HAS SOPS 3501443 HAS SOUS 724987 HAS SOUPS 724987 WITH SCORE 728488.443
AT ITER 3591 NEW BEST:: SOT 9699874 SOS 3501467 HAS SOPS 3501467 HAS SOUS 724930 HAS SOUPS 724930 WITH SCORE 728431.467
AT ITER 3609 NEW BEST:: SOT 9699702 SOS 3501123 HAS SOPS 3501123 HAS SOUS 724758 HAS SOUPS 724758 WITH SCORE 728259.123
AT ITER 3619 NEW BEST:: SOT 9699702 SOS 3501123 HAS SOPS 3501123 HAS SOUS 724730 HAS SOUPS 724730 WITH SCORE 728231.123
AT ITER 3626 NEW BEST:: SOT 9699696 SOS 3501123 HAS SOPS 3501123 HAS SOUS 724726 HAS SOUPS 724726 WITH SCORE 728227.123
AT ITER 3637 NEW BEST:: SOT 9698732 SOS 3523063 HAS SOPS 3523063 HAS SOUS 724134 HAS SOUPS 724134 WITH SCORE 727657.063
AT ITER 3646 NEW BEST:: SOT 9698828 SOS 3523255 HAS SOPS 3523255 HAS SOUS 724132 HAS SOUPS 724132 WITH SCORE 727655.255
AT ITER 3647 NEW BEST:: SOT 9698184 SOS 3523065 HAS SOPS 3523065 HAS SOUS 723488 HAS SOUPS 723488 WITH SCORE 727011.065
AT ITER 3648 NEW BEST:: SOT 9698184 SOS 3523170 HAS SOPS 3523170 HAS SOUS 723429 HAS SOUPS 723429 WITH SCORE 726952.17
AT ITER 3667 NEW BEST:: SOT 9698184 SOS 3523170 HAS SOPS 3523170 HAS SOUS 723395 HAS SOUPS 723395 WITH SCORE 726918.17
AT ITER 3704 NEW BEST:: SOT 9698046 SOS 3523162 HAS SOPS 3523162 HAS SOUS 723119 HAS SOUPS 723119 WITH SCORE 726642.162
AT ITER 3735 NEW BEST:: SOT 9698029 SOS 3523096 HAS SOPS 3523096 HAS SOUS 723102 HAS SOUPS 723102 WITH SCORE 726625.096
AT ITER 3754 NEW BEST:: SOT 9697915 SOS 3522868 HAS SOPS 3522868 HAS SOUS 722792 HAS SOUPS 722792 WITH SCORE 726314.868
AT ITER 3758 NEW BEST:: SOT 9697915 SOS 3522761 HAS SOPS 3522761 HAS SOUS 722792 HAS SOUPS 722792 WITH SCORE 726314.761
AT ITER 3778 NEW BEST:: SOT 9697801 SOS 3522932 HAS SOPS 3522932 HAS SOUS 722697 HAS SOUPS 722697 WITH SCORE 726219.932
AT ITER 3790 NEW BEST:: SOT 9697381 SOS 3523292 HAS SOPS 3523292 HAS SOUS 722277 HAS SOUPS 722277 WITH SCORE 725800.292
AT ITER 3795 NEW BEST:: SOT 9573348 SOS 3399418 HAS SOPS 3399418 HAS SOUS 634633 HAS SOUPS 634633 WITH SCORE 638032.418
AT ITER 3813 NEW BEST:: SOT 9573064 SOS 3399287 HAS SOPS 3399287 HAS SOUS 634616 HAS SOUPS 634616 WITH SCORE 638015.287
AT ITER 3818 NEW BEST:: SOT 9573064 SOS 3399147 HAS SOPS 3399147 HAS SOUS 634616 HAS SOUPS 634616 WITH SCORE 638015.147
AT ITER 3819 NEW BEST:: SOT 9573046 SOS 3399111 HAS SOPS 3399111 HAS SOUS 634580 HAS SOUPS 634580 WITH SCORE 637979.111
AT ITER 3848 NEW BEST:: SOT 9573046 SOS 3398951 HAS SOPS 3398951 HAS SOUS 634420 HAS SOUPS 634420 WITH SCORE 637818.951
AT ITER 3872 NEW BEST:: SOT 9601134 SOS 3427095 HAS SOPS 3427095 HAS SOUS 626052 HAS SOUPS 626052 WITH SCORE 629479.095
AT ITER 3877 NEW BEST:: SOT 9601133 SOS 3427093 HAS SOPS 3427093 HAS SOUS 626050 HAS SOUPS 626050 WITH SCORE 629477.093
AT ITER 3887 NEW BEST:: SOT 9600855 SOS 3426537 HAS SOPS 3426537 HAS SOUS 625856 HAS SOUPS 625856 WITH SCORE 629282.537
AT ITER 3888 NEW BEST:: SOT 9600569 SOS 3426650 HAS SOPS 3426650 HAS SOUS 625570 HAS SOUPS 625570 WITH SCORE 628996.65
AT ITER 3902 NEW BEST:: SOT 9600516 SOS 3426544 HAS SOPS 3426544 HAS SOUS 625464 HAS SOUPS 625464 WITH SCORE 628890.544
AT ITER 3928 NEW BEST:: SOT 9600669 SOS 3426544 HAS SOPS 3426544 HAS SOUS 625421 HAS SOUPS 625421 WITH SCORE 628847.544
AT ITER 3964 NEW BEST:: SOT 9599981 SOS 3425951 HAS SOPS 3425951 HAS SOUS 625091 HAS SOUPS 625091 WITH SCORE 628516.951
AT ITER 3971 NEW BEST:: SOT 9599917 SOS 3425823 HAS SOPS 3425823 HAS SOUS 624963 HAS SOUPS 624963 WITH SCORE 628388.823
AT ITER 3976 NEW BEST:: SOT 9599899 SOS 3426039 HAS SOPS 3426039 HAS SOUS 624927 HAS SOUPS 624927 WITH SCORE 628353.039
AT ITER 3979 NEW BEST:: SOT 9599899 SOS 3425738 HAS SOPS 3425738 HAS SOUS 624859 HAS SOUPS 624859 WITH SCORE 628284.738
AT ITER 3985 NEW BEST:: SOT 9598525 SOS 3425476 HAS SOPS 3425476 HAS SOUS 623485 HAS SOUPS 623485 WITH SCORE 626910.476
AT ITER 4005 NEW BEST:: SOT 9598525 SOS 3425476 HAS SOPS 3425476 HAS SOUS 623484 HAS SOUPS 623484 WITH SCORE 626909.476
AT ITER 4022 NEW BEST:: SOT 9598510 SOS 3425416 HAS SOPS 3425416 HAS SOUS 623469 HAS SOUPS 623469 WITH SCORE 626894.416
AT ITER 4023 NEW BEST:: SOT 9598432 SOS 3425036 HAS SOPS 3425036 HAS SOUS 623369 HAS SOUPS 623369 WITH SCORE 626794.036
AT ITER 4025 NEW BEST:: SOT 9598373 SOS 3424977 HAS SOPS 3424977 HAS SOUS 623368 HAS SOUPS 623368 WITH SCORE 626792.977
AT ITER 4030 NEW BEST:: SOT 9598264 SOS 3424594 HAS SOPS 3424594 HAS SOUS 623150 HAS SOUPS 623150 WITH SCORE 626574.594
AT ITER 4043 NEW BEST:: SOT 9598187 SOS 3424440 HAS SOPS 3424440 HAS SOUS 623073 HAS SOUPS 623073 WITH SCORE 626497.44
AT ITER 4048 NEW BEST:: SOT 9598099 SOS 3424352 HAS SOPS 3424352 HAS SOUS 623029 HAS SOUPS 623029 WITH SCORE 626453.352
AT ITER 4053 NEW BEST:: SOT 9597961 SOS 3424076 HAS SOPS 3424076 HAS SOUS 622740 HAS SOUPS 622740 WITH SCORE 626164.076
AT ITER 4078 NEW BEST:: SOT 9597961 SOS 3424076 HAS SOPS 3424076 HAS SOUS 622607 HAS SOUPS 622607 WITH SCORE 626031.076
AT ITER 4097 NEW BEST:: SOT 9597930 SOS 3424014 HAS SOPS 3424014 HAS SOUS 622545 HAS SOUPS 622545 WITH SCORE 625969.014
AT ITER 4115 NEW BEST:: SOT 9597930 SOS 3424014 HAS SOPS 3424014 HAS SOUS 622526 HAS SOUPS 622526 WITH SCORE 625950.014
AT ITER 4131 NEW BEST:: SOT 9597886 SOS 3423926 HAS SOPS 3423926 HAS SOUS 622491 HAS SOUPS 622491 WITH SCORE 625914.926
AT ITER 4143 NEW BEST:: SOT 9597888 SOS 3423730 HAS SOPS 3423730 HAS SOUS 622424 HAS SOUPS 622424 WITH SCORE 625847.73
AT ITER 4161 NEW BEST:: SOT 9597530 SOS 3424016 HAS SOPS 3424016 HAS SOUS 622233 HAS SOUPS 622233 WITH SCORE 625657.016
AT ITER 4166 NEW BEST:: SOT 9597667 SOS 3426909 HAS SOPS 3426909 HAS SOUS 622151 HAS SOUPS 622151 WITH SCORE 625577.909
AT ITER 4202 NEW BEST:: SOT 9597449 SOS 3426691 HAS SOPS 3426691 HAS SOUS 621933 HAS SOUPS 621933 WITH SCORE 625359.691
AT ITER 4204 NEW BEST:: SOT 9597185 SOS 3426503 HAS SOPS 3426503 HAS SOUS 621705 HAS SOUPS 621705 WITH SCORE 625131.503
AT ITER 4227 NEW BEST:: SOT 9596918 SOS 3425770 HAS SOPS 3425770 HAS SOUS 621448 HAS SOUPS 621448 WITH SCORE 624873.77
AT ITER 4235 NEW BEST:: SOT 9597605 SOS 3426154 HAS SOPS 3426154 HAS SOUS 621035 HAS SOUPS 621035 WITH SCORE 624461.154
AT ITER 4236 NEW BEST:: SOT 9597622 SOS 3426120 HAS SOPS 3426120 HAS SOUS 621035 HAS SOUPS 621035 WITH SCORE 624461.12
AT ITER 4238 NEW BEST:: SOT 9597550 SOS 3425625 HAS SOPS 3425625 HAS SOUS 620846 HAS SOUPS 620846 WITH SCORE 624271.625
AT ITER 4252 NEW BEST:: SOT 9597550 SOS 3425733 HAS SOPS 3425733 HAS SOUS 620791 HAS SOUPS 620791 WITH SCORE 624216.733
AT ITER 4288 NEW BEST:: SOT 9597507 SOS 3425690 HAS SOPS 3425690 HAS SOUS 620748 HAS SOUPS 620748 WITH SCORE 624173.69
AT ITER 4304 NEW BEST:: SOT 9597351 SOS 3425716 HAS SOPS 3425716 HAS SOUS 620743 HAS SOUPS 620743 WITH SCORE 624168.716
AT ITER 4319 NEW BEST:: SOT 9597346 SOS 3425706 HAS SOPS 3425706 HAS SOUS 620738 HAS SOUPS 620738 WITH SCORE 624163.706
AT ITER 4324 NEW BEST:: SOT 9597346 SOS 3425627 HAS SOPS 3425627 HAS SOUS 620659 HAS SOUPS 620659 WITH SCORE 624084.627
AT ITER 4327 NEW BEST:: SOT 9597346 SOS 3425608 HAS SOPS 3425608 HAS SOUS 620640 HAS SOUPS 620640 WITH SCORE 624065.608
AT ITER 4328 NEW BEST:: SOT 9597379 SOS 3425674 HAS SOPS 3425674 HAS SOUS 620421 HAS SOUPS 620421 WITH SCORE 623846.674
AT ITER 4338 NEW BEST:: SOT 9597302 SOS 3425375 HAS SOPS 3425375 HAS SOUS 620388 HAS SOUPS 620388 WITH SCORE 623813.375
AT ITER 4348 NEW BEST:: SOT 9597376 SOS 3425523 HAS SOPS 3425523 HAS SOUS 620354 HAS SOUPS 620354 WITH SCORE 623779.523
AT ITER 4363 NEW BEST:: SOT 9597290 SOS 3427046 HAS SOPS 3427046 HAS SOUS 620349 HAS SOUPS 620349 WITH SCORE 623776.046
AT ITER 4405 NEW BEST:: SOT 9597290 SOS 3426941 HAS SOPS 3426941 HAS SOUS 620349 HAS SOUPS 620349 WITH SCORE 623775.941
AT ITER 4414 NEW BEST:: SOT 9597313 SOS 3426900 HAS SOPS 3426900 HAS SOUS 620221 HAS SOUPS 620221 WITH SCORE 623647.9
AT ITER 4437 NEW BEST:: SOT 9597301 SOS 3426894 HAS SOPS 3426894 HAS SOUS 620209 HAS SOUPS 620209 WITH SCORE 623635.894
AT ITER 4443 NEW BEST:: SOT 9597282 SOS 3426856 HAS SOPS 3426856 HAS SOUS 620171 HAS SOUPS 620171 WITH SCORE 623597.856
AT ITER 4449 NEW BEST:: SOT 9596850 SOS 3425350 HAS SOPS 3425350 HAS SOUS 619812 HAS SOUPS 619812 WITH SCORE 623237.35
AT ITER 4523 NEW BEST:: SOT 9597117 SOS 3425884 HAS SOPS 3425884 HAS SOUS 619808 HAS SOUPS 619808 WITH SCORE 623233.884
AT ITER 4538 NEW BEST:: SOT 9597151 SOS 3425952 HAS SOPS 3425952 HAS SOUS 619747 HAS SOUPS 619747 WITH SCORE 623172.952
AT ITER 4554 NEW BEST:: SOT 9596979 SOS 3426130 HAS SOPS 3426130 HAS SOUS 619403 HAS SOUPS 619403 WITH SCORE 622829.13
AT ITER 4561 NEW BEST:: SOT 9596979 SOS 3426200 HAS SOPS 3426200 HAS SOUS 619263 HAS SOUPS 619263 WITH SCORE 622689.2
AT ITER 4568 NEW BEST:: SOT 9596897 SOS 3425961 HAS SOPS 3425961 HAS SOUS 619257 HAS SOUPS 619257 WITH SCORE 622682.961
AT ITER 4599 NEW BEST:: SOT 9596870 SOS 3425934 HAS SOPS 3425934 HAS SOUS 619203 HAS SOUPS 619203 WITH SCORE 622628.934
AT ITER 4601 NEW BEST:: SOT 9596803 SOS 3425867 HAS SOPS 3425867 HAS SOUS 619202 HAS SOUPS 619202 WITH SCORE 622627.867
AT ITER 4648 NEW BEST:: SOT 9596644 SOS 3425789 HAS SOPS 3425789 HAS SOUS 619124 HAS SOUPS 619124 WITH SCORE 622549.789
AT ITER 4655 NEW BEST:: SOT 9596661 SOS 3425503 HAS SOPS 3425503 HAS SOUS 618901 HAS SOUPS 618901 WITH SCORE 622326.503
AT ITER 4663 NEW BEST:: SOT 9596592 SOS 3425434 HAS SOPS 3425434 HAS SOUS 618832 HAS SOUPS 618832 WITH SCORE 622257.434
AT ITER 4664 NEW BEST:: SOT 9596592 SOS 3428360 HAS SOPS 3428360 HAS SOUS 618821 HAS SOUPS 618821 WITH SCORE 622249.36
AT ITER 4682 NEW BEST:: SOT 9596640 SOS 3428408 HAS SOPS 3428408 HAS SOUS 618764 HAS SOUPS 618764 WITH SCORE 622192.408
AT ITER 4691 NEW BEST:: SOT 9596640 SOS 3428295 HAS SOPS 3428295 HAS SOUS 618764 HAS SOUPS 618764 WITH SCORE 622192.295
AT ITER 4693 NEW BEST:: SOT 9596596 SOS 3428207 HAS SOPS 3428207 HAS SOUS 618664 HAS SOUPS 618664 WITH SCORE 622092.207
AT ITER 4697 NEW BEST:: SOT 9596463 SOS 3427941 HAS SOPS 3427941 HAS SOUS 618419 HAS SOUPS 618419 WITH SCORE 621846.941
AT ITER 4719 NEW BEST:: SOT 9596253 SOS 3427521 HAS SOPS 3427521 HAS SOUS 618213 HAS SOUPS 618213 WITH SCORE 621640.521
AT ITER 4729 NEW BEST:: SOT 9568245 SOS 3399537 HAS SOPS 3399537 HAS SOUS 610452 HAS SOUPS 610452 WITH SCORE 613851.537
AT ITER 4736 NEW BEST:: SOT 9568244 SOS 3399535 HAS SOPS 3399535 HAS SOUS 610450 HAS SOUPS 610450 WITH SCORE 613849.535
AT ITER 4741 NEW BEST:: SOT 9568206 SOS 3399345 HAS SOPS 3399345 HAS SOUS 610412 HAS SOUPS 610412 WITH SCORE 613811.345
AT ITER 4782 NEW BEST:: SOT 9568154 SOS 3399267 HAS SOPS 3399267 HAS SOUS 610360 HAS SOUPS 610360 WITH SCORE 613759.267
AT ITER 4794 NEW BEST:: SOT 9567960 SOS 3399170 HAS SOPS 3399170 HAS SOUS 610166 HAS SOUPS 610166 WITH SCORE 613565.17
AT ITER 4804 NEW BEST:: SOT 9567960 SOS 3398954 HAS SOPS 3398954 HAS SOUS 609924 HAS SOUPS 609924 WITH SCORE 613322.954
AT ITER 4827 NEW BEST:: SOT 9567920 SOS 3398874 HAS SOPS 3398874 HAS SOUS 609855 HAS SOUPS 609855 WITH SCORE 613253.874
AT ITER 4829 NEW BEST:: SOT 9567919 SOS 3398872 HAS SOPS 3398872 HAS SOUS 609853 HAS SOUPS 609853 WITH SCORE 613251.872
AT ITER 4852 NEW BEST:: SOT 9567895 SOS 3398824 HAS SOPS 3398824 HAS SOUS 609805 HAS SOUPS 609805 WITH SCORE 613203.824
AT ITER 4855 NEW BEST:: SOT 9567807 SOS 3398675 HAS SOPS 3398675 HAS SOUS 609717 HAS SOUPS 609717 WITH SCORE 613115.675
AT ITER 4860 NEW BEST:: SOT 9567651 SOS 3398675 HAS SOPS 3398675 HAS SOUS 609561 HAS SOUPS 609561 WITH SCORE 612959.675
AT ITER 4870 NEW BEST:: SOT 9567573 SOS 3398519 HAS SOPS 3398519 HAS SOUS 609483 HAS SOUPS 609483 WITH SCORE 612881.519
AT ITER 4880 NEW BEST:: SOT 9567711 SOS 3398416 HAS SOPS 3398416 HAS SOUS 609380 HAS SOUPS 609380 WITH SCORE 612778.416
AT ITER 4892 NEW BEST:: SOT 9567669 SOS 3398339 HAS SOPS 3398339 HAS SOUS 609303 HAS SOUPS 609303 WITH SCORE 612701.339
AT ITER 4916 NEW BEST:: SOT 9567582 SOS 3398165 HAS SOPS 3398165 HAS SOUS 609214 HAS SOUPS 609214 WITH SCORE 612612.165
AT ITER 4933 NEW BEST:: SOT 9567582 SOS 3398165 HAS SOPS 3398165 HAS SOUS 609211 HAS SOUPS 609211 WITH SCORE 612609.165
AT ITER 4944 NEW BEST:: SOT 9567379 SOS 3398107 HAS SOPS 3398107 HAS SOUS 609201 HAS SOUPS 609201 WITH SCORE 612599.107
AT ITER 4948 NEW BEST:: SOT 9567317 SOS 3397983 HAS SOPS 3397983 HAS SOUS 609077 HAS SOUPS 609077 WITH SCORE 612474.983
AT ITER 4990 NEW BEST:: SOT 9567342 SOS 3397904 HAS SOPS 3397904 HAS SOUS 609059 HAS SOUPS 609059 WITH SCORE 612456.904
AT ITER 4994 NEW BEST:: SOT 9567235 SOS 3397819 HAS SOPS 3397819 HAS SOUS 608974 HAS SOUPS 608974 WITH SCORE 612371.819
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-00 (! (! (EG( ( potential( (tk(P358)) <= (tk(P39)) ) | potential( ( 2 ) <= (tk(P77)) ) )))))
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-01 (AU( (! (! potential( (tk(P697)) <= (tk(P53)) ))),(AG( potential( (tk(P1084)) <= (tk(P1414)) ))) ))
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-02 (AU( (EF(potential( (tk(P1165)) <= (tk(P1697)) ))),( (! potential( ( 1 ) <= (tk(P796)) )) & potential( ( 2 ) <= (tk(P1345)) ) ) ))
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-03 (AF(potential( ( 3 ) <= (tk(P749)) )))
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-04 (AF((! (EX( potential( (tk(P1447)) <= (tk(P790)) ))))))
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-05 (AF(( (AF(potential( (tk(P197)) <= (tk(P1263)) ))) & (AF(potential( ( 1 ) <= (tk(P1451)) ))) )))
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-06 (! (EU( ( potential( (tk(P943)) <= (tk(P1073)) ) | potential( ( 1 ) <= (tk(P645)) ) ),( potential( (tk(P810)) <= (tk(P1838)) ) & potential( ( 2 ) <= (tk(P257)) ) ) )))
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-07 (AF((AX( ( potential( ( 2 ) <= (tk(P721)) ) & potential( ( 1 ) <= (tk(P1514)) ) )))))
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-08 (! (! ( (! ( potential( (tk(P398)) <= (tk(P25)) ) | potential( ( 3 ) <= (tk(P1109)) ) )) | (AF(potential( ( 2 ) <= (tk(P637)) ))) )))
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-09 (EG( potential( (tk(P1761)) <= (tk(P964)) )))
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-10 (AF((EX( (! potential( (tk(P913)) <= (tk(P1349)) ))))))
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-11 (EG( ( ( potential( ( 3 ) <= (tk(P1245)) ) & ( potential( (tk(P1063)) <= (tk(P31)) ) | potential( ( 3 ) <= (tk(P1484)) ) ) ) | potential( (tk(P180)) <= (tk(P552)) ) )))
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-12 (! (AU( potential( (tk(P560)) <= (tk(P204)) ),( potential( ( 1 ) <= (tk(P1126)) ) | potential( ( 1 ) <= (tk(P329)) ) ) )))
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-13 (EX( (EG( ( potential( (tk(P224)) <= (tk(P599)) ) | potential( ( 2 ) <= (tk(P1523)) ) )))))
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-14 (! (EX( (EF(potential( ( 3 ) <= (tk(P1386)) ))))))
PROPERTY: CloudDeployment-PT-6b-CTLCardinality-15 (! ( ( (EG( potential( ( 2 ) <= (tk(P1522)) ))) | (AF(potential( ( 2 ) <= (tk(P1136)) ))) ) & (AF(potential( ( 1 ) <= (tk(P1037)) ))) ))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudDeployment-PT-6b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is CloudDeployment-PT-6b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r033-smll-158901926000339"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-6b.tgz
mv CloudDeployment-PT-6b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;