About the Execution of smart for BusinessProcesses-PT-08
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15766.820 | 3600000.00 | 3598030.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/fko/mcc2020-input.r018-oct2-158897680100507.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-08, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100507
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 3.7K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:44 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.4K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 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 91K 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 BusinessProcesses-PT-08-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-08-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-08-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-08-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-08-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-08-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-08-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-08-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-08-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-08-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-08-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-08-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-08-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-08-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-08-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-08-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589018639500
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 08
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: 393 places, 344 transitions, 911 arcs.
AT ITER 0 NEW BEST:: SOT 85386 SOS 32582 HAS SOPS 32582 HAS SOUS 30991 HAS SOUPS 30991 WITH SCORE 31023.582
AT ITER 1 NEW BEST:: SOT 85386 SOS 32568 HAS SOPS 32568 HAS SOUS 30977 HAS SOUPS 30977 WITH SCORE 31009.568
AT ITER 2 NEW BEST:: SOT 85279 SOS 32429 HAS SOPS 32429 HAS SOUS 30838 HAS SOUPS 30838 WITH SCORE 30870.429
AT ITER 4 NEW BEST:: SOT 85279 SOS 32429 HAS SOPS 32429 HAS SOUS 30778 HAS SOUPS 30778 WITH SCORE 30810.429
AT ITER 17 NEW BEST:: SOT 85277 SOS 32425 HAS SOPS 32425 HAS SOUS 30774 HAS SOUPS 30774 WITH SCORE 30806.425
AT ITER 22 NEW BEST:: SOT 85277 SOS 32407 HAS SOPS 32407 HAS SOUS 30756 HAS SOUPS 30756 WITH SCORE 30788.407
AT ITER 33 NEW BEST:: SOT 85277 SOS 32397 HAS SOPS 32397 HAS SOUS 30746 HAS SOUPS 30746 WITH SCORE 30778.397
AT ITER 38 NEW BEST:: SOT 85277 SOS 32394 HAS SOPS 32394 HAS SOUS 30746 HAS SOUPS 30746 WITH SCORE 30778.394
AT ITER 41 NEW BEST:: SOT 85277 SOS 32356 HAS SOPS 32356 HAS SOUS 30708 HAS SOUPS 30708 WITH SCORE 30740.356
AT ITER 45 NEW BEST:: SOT 85253 SOS 32282 HAS SOPS 32282 HAS SOUS 30706 HAS SOUPS 30706 WITH SCORE 30738.282
AT ITER 51 NEW BEST:: SOT 85231 SOS 32216 HAS SOPS 32216 HAS SOUS 30704 HAS SOUPS 30704 WITH SCORE 30736.216
AT ITER 54 NEW BEST:: SOT 85231 SOS 32201 HAS SOPS 32201 HAS SOUS 30689 HAS SOUPS 30689 WITH SCORE 30721.201
AT ITER 58 NEW BEST:: SOT 85231 SOS 32128 HAS SOPS 32128 HAS SOUS 30616 HAS SOUPS 30616 WITH SCORE 30648.128
AT ITER 66 NEW BEST:: SOT 85231 SOS 32108 HAS SOPS 32108 HAS SOUS 30596 HAS SOUPS 30596 WITH SCORE 30628.108
AT ITER 68 NEW BEST:: SOT 85229 SOS 32106 HAS SOPS 32106 HAS SOUS 30594 HAS SOUPS 30594 WITH SCORE 30626.106
AT ITER 71 NEW BEST:: SOT 85229 SOS 32013 HAS SOPS 32013 HAS SOUS 30501 HAS SOUPS 30501 WITH SCORE 30533.013
AT ITER 73 NEW BEST:: SOT 82572 SOS 39951 HAS SOPS 39951 HAS SOUS 28189 HAS SOUPS 28189 WITH SCORE 28228.951
AT ITER 74 NEW BEST:: SOT 82571 SOS 39949 HAS SOPS 39949 HAS SOUS 28187 HAS SOUPS 28187 WITH SCORE 28226.949
AT ITER 79 NEW BEST:: SOT 82626 SOS 39777 HAS SOPS 39777 HAS SOUS 28163 HAS SOUPS 28163 WITH SCORE 28202.777
AT ITER 87 NEW BEST:: SOT 82411 SOS 39450 HAS SOPS 39450 HAS SOUS 27902 HAS SOUPS 27902 WITH SCORE 27941.45
AT ITER 92 NEW BEST:: SOT 82195 SOS 39156 HAS SOPS 39156 HAS SOUS 27746 HAS SOUPS 27746 WITH SCORE 27785.156
AT ITER 106 NEW BEST:: SOT 82241 SOS 39202 HAS SOPS 39202 HAS SOUS 27745 HAS SOUPS 27745 WITH SCORE 27784.202
AT ITER 117 NEW BEST:: SOT 82196 SOS 39028 HAS SOPS 39028 HAS SOUS 27494 HAS SOUPS 27494 WITH SCORE 27533.028
AT ITER 119 NEW BEST:: SOT 82167 SOS 38969 HAS SOPS 38969 HAS SOUS 27437 HAS SOUPS 27437 WITH SCORE 27475.969
AT ITER 131 NEW BEST:: SOT 81929 SOS 38703 HAS SOPS 38703 HAS SOUS 27242 HAS SOUPS 27242 WITH SCORE 27280.703
AT ITER 135 NEW BEST:: SOT 81788 SOS 38538 HAS SOPS 38538 HAS SOUS 27077 HAS SOUPS 27077 WITH SCORE 27115.538
AT ITER 140 NEW BEST:: SOT 81526 SOS 38173 HAS SOPS 38173 HAS SOUS 26874 HAS SOUPS 26874 WITH SCORE 26912.173
AT ITER 148 NEW BEST:: SOT 81287 SOS 37895 HAS SOPS 37895 HAS SOUS 26796 HAS SOUPS 26796 WITH SCORE 26833.895
AT ITER 149 NEW BEST:: SOT 81287 SOS 37870 HAS SOPS 37870 HAS SOUS 26770 HAS SOUPS 26770 WITH SCORE 26807.87
AT ITER 162 NEW BEST:: SOT 81287 SOS 37869 HAS SOPS 37869 HAS SOUS 26769 HAS SOUPS 26769 WITH SCORE 26806.869
AT ITER 164 NEW BEST:: SOT 81287 SOS 37761 HAS SOPS 37761 HAS SOUS 26666 HAS SOUPS 26666 WITH SCORE 26703.761
AT ITER 173 NEW BEST:: SOT 81286 SOS 37759 HAS SOPS 37759 HAS SOUS 26664 HAS SOUPS 26664 WITH SCORE 26701.759
AT ITER 174 NEW BEST:: SOT 81164 SOS 37515 HAS SOPS 37515 HAS SOUS 26481 HAS SOUPS 26481 WITH SCORE 26518.515
AT ITER 191 NEW BEST:: SOT 81229 SOS 37580 HAS SOPS 37580 HAS SOUS 26480 HAS SOUPS 26480 WITH SCORE 26517.58
AT ITER 194 NEW BEST:: SOT 81121 SOS 37247 HAS SOPS 37247 HAS SOUS 26344 HAS SOUPS 26344 WITH SCORE 26381.247
AT ITER 218 NEW BEST:: SOT 80866 SOS 36737 HAS SOPS 36737 HAS SOUS 26145 HAS SOUPS 26145 WITH SCORE 26181.737
AT ITER 226 NEW BEST:: SOT 80816 SOS 36637 HAS SOPS 36637 HAS SOUS 26062 HAS SOUPS 26062 WITH SCORE 26098.637
AT ITER 228 NEW BEST:: SOT 80779 SOS 36563 HAS SOPS 36563 HAS SOUS 26025 HAS SOUPS 26025 WITH SCORE 26061.563
AT ITER 231 NEW BEST:: SOT 80784 SOS 36574 HAS SOPS 36574 HAS SOUS 25961 HAS SOUPS 25961 WITH SCORE 25997.574
AT ITER 232 NEW BEST:: SOT 80721 SOS 35965 HAS SOPS 35965 HAS SOUS 25664 HAS SOUPS 25664 WITH SCORE 25699.965
AT ITER 233 NEW BEST:: SOT 80632 SOS 35787 HAS SOPS 35787 HAS SOUS 25555 HAS SOUPS 25555 WITH SCORE 25590.787
AT ITER 237 NEW BEST:: SOT 80616 SOS 35626 HAS SOPS 35626 HAS SOUS 25497 HAS SOUPS 25497 WITH SCORE 25532.626
AT ITER 239 NEW BEST:: SOT 80600 SOS 35594 HAS SOPS 35594 HAS SOUS 25465 HAS SOUPS 25465 WITH SCORE 25500.594
AT ITER 244 NEW BEST:: SOT 80585 SOS 35564 HAS SOPS 35564 HAS SOUS 25385 HAS SOUPS 25385 WITH SCORE 25420.564
AT ITER 256 NEW BEST:: SOT 80550 SOS 35529 HAS SOPS 35529 HAS SOUS 25384 HAS SOUPS 25384 WITH SCORE 25419.529
AT ITER 261 NEW BEST:: SOT 80510 SOS 35398 HAS SOPS 35398 HAS SOUS 25344 HAS SOUPS 25344 WITH SCORE 25379.398
AT ITER 277 NEW BEST:: SOT 80503 SOS 35384 HAS SOPS 35384 HAS SOUS 25337 HAS SOUPS 25337 WITH SCORE 25372.384
AT ITER 289 NEW BEST:: SOT 80254 SOS 35028 HAS SOPS 35028 HAS SOUS 25123 HAS SOUPS 25123 WITH SCORE 25158.028
AT ITER 301 NEW BEST:: SOT 80254 SOS 34898 HAS SOPS 34898 HAS SOUS 25057 HAS SOUPS 25057 WITH SCORE 25091.898
AT ITER 318 NEW BEST:: SOT 80214 SOS 34818 HAS SOPS 34818 HAS SOUS 25006 HAS SOUPS 25006 WITH SCORE 25040.818
AT ITER 323 NEW BEST:: SOT 80183 SOS 34689 HAS SOPS 34689 HAS SOUS 24959 HAS SOUPS 24959 WITH SCORE 24993.689
AT ITER 324 NEW BEST:: SOT 80183 SOS 34653 HAS SOPS 34653 HAS SOUS 24923 HAS SOUPS 24923 WITH SCORE 24957.653
AT ITER 325 NEW BEST:: SOT 80182 SOS 34652 HAS SOPS 34652 HAS SOUS 24922 HAS SOUPS 24922 WITH SCORE 24956.652
AT ITER 327 NEW BEST:: SOT 80200 SOS 34659 HAS SOPS 34659 HAS SOUS 24900 HAS SOUPS 24900 WITH SCORE 24934.659
AT ITER 329 NEW BEST:: SOT 80071 SOS 34401 HAS SOPS 34401 HAS SOUS 24721 HAS SOUPS 24721 WITH SCORE 24755.401
AT ITER 332 NEW BEST:: SOT 79981 SOS 34221 HAS SOPS 34221 HAS SOUS 24631 HAS SOUPS 24631 WITH SCORE 24665.221
AT ITER 334 NEW BEST:: SOT 79903 SOS 34128 HAS SOPS 34128 HAS SOUS 24538 HAS SOUPS 24538 WITH SCORE 24572.128
AT ITER 342 NEW BEST:: SOT 80049 SOS 34062 HAS SOPS 34062 HAS SOUS 24500 HAS SOUPS 24500 WITH SCORE 24534.062
AT ITER 362 NEW BEST:: SOT 80065 SOS 34078 HAS SOPS 34078 HAS SOUS 24484 HAS SOUPS 24484 WITH SCORE 24518.078
AT ITER 383 NEW BEST:: SOT 80055 SOS 34063 HAS SOPS 34063 HAS SOUS 24469 HAS SOUPS 24469 WITH SCORE 24503.063
AT ITER 387 NEW BEST:: SOT 80065 SOS 34001 HAS SOPS 34001 HAS SOUS 24337 HAS SOUPS 24337 WITH SCORE 24371.001
AT ITER 392 NEW BEST:: SOT 80064 SOS 34000 HAS SOPS 34000 HAS SOUS 24336 HAS SOUPS 24336 WITH SCORE 24370.0
AT ITER 413 NEW BEST:: SOT 80079 SOS 33907 HAS SOPS 33907 HAS SOUS 24328 HAS SOUPS 24328 WITH SCORE 24361.907
AT ITER 416 NEW BEST:: SOT 80008 SOS 33907 HAS SOPS 33907 HAS SOUS 24264 HAS SOUPS 24264 WITH SCORE 24297.907
AT ITER 417 NEW BEST:: SOT 80007 SOS 33841 HAS SOPS 33841 HAS SOUS 24198 HAS SOUPS 24198 WITH SCORE 24231.841
AT ITER 419 NEW BEST:: SOT 79956 SOS 33772 HAS SOPS 33772 HAS SOUS 24151 HAS SOUPS 24151 WITH SCORE 24184.772
AT ITER 421 NEW BEST:: SOT 80019 SOS 33772 HAS SOPS 33772 HAS SOUS 24088 HAS SOUPS 24088 WITH SCORE 24121.772
AT ITER 423 NEW BEST:: SOT 80088 SOS 33705 HAS SOPS 33705 HAS SOUS 24051 HAS SOUPS 24051 WITH SCORE 24084.705
AT ITER 424 NEW BEST:: SOT 80017 SOS 33563 HAS SOPS 33563 HAS SOUS 24025 HAS SOUPS 24025 WITH SCORE 24058.563
AT ITER 440 NEW BEST:: SOT 80017 SOS 33482 HAS SOPS 33482 HAS SOUS 23989 HAS SOUPS 23989 WITH SCORE 24022.482
AT ITER 447 NEW BEST:: SOT 79885 SOS 33298 HAS SOPS 33298 HAS SOUS 23933 HAS SOUPS 23933 WITH SCORE 23966.298
AT ITER 479 NEW BEST:: SOT 79886 SOS 33237 HAS SOPS 33237 HAS SOUS 23872 HAS SOUPS 23872 WITH SCORE 23905.237
AT ITER 496 NEW BEST:: SOT 79884 SOS 33235 HAS SOPS 33235 HAS SOUS 23871 HAS SOUPS 23871 WITH SCORE 23904.235
AT ITER 501 NEW BEST:: SOT 79955 SOS 33306 HAS SOPS 33306 HAS SOUS 23857 HAS SOUPS 23857 WITH SCORE 23890.306
AT ITER 504 NEW BEST:: SOT 79935 SOS 33265 HAS SOPS 33265 HAS SOUS 23834 HAS SOUPS 23834 WITH SCORE 23867.265
AT ITER 505 NEW BEST:: SOT 79887 SOS 33169 HAS SOPS 33169 HAS SOUS 23769 HAS SOUPS 23769 WITH SCORE 23802.169
AT ITER 507 NEW BEST:: SOT 79861 SOS 33229 HAS SOPS 33229 HAS SOUS 23746 HAS SOUPS 23746 WITH SCORE 23779.229
AT ITER 511 NEW BEST:: SOT 79861 SOS 33157 HAS SOPS 33157 HAS SOUS 23709 HAS SOUPS 23709 WITH SCORE 23742.157
AT ITER 513 NEW BEST:: SOT 79752 SOS 32939 HAS SOPS 32939 HAS SOUS 23599 HAS SOUPS 23599 WITH SCORE 23631.939
AT ITER 522 NEW BEST:: SOT 79744 SOS 32931 HAS SOPS 32931 HAS SOUS 23591 HAS SOUPS 23591 WITH SCORE 23623.931
AT ITER 528 NEW BEST:: SOT 79731 SOS 33039 HAS SOPS 33039 HAS SOUS 23511 HAS SOUPS 23511 WITH SCORE 23544.039
AT ITER 533 NEW BEST:: SOT 79700 SOS 33008 HAS SOPS 33008 HAS SOUS 23480 HAS SOUPS 23480 WITH SCORE 23513.008
AT ITER 541 NEW BEST:: SOT 79637 SOS 32761 HAS SOPS 32761 HAS SOUS 23243 HAS SOUPS 23243 WITH SCORE 23275.761
AT ITER 548 NEW BEST:: SOT 79609 SOS 32733 HAS SOPS 32733 HAS SOUS 23215 HAS SOUPS 23215 WITH SCORE 23247.733
AT ITER 562 NEW BEST:: SOT 79565 SOS 32689 HAS SOPS 32689 HAS SOUS 23171 HAS SOUPS 23171 WITH SCORE 23203.689
AT ITER 588 NEW BEST:: SOT 79504 SOS 32567 HAS SOPS 32567 HAS SOUS 23152 HAS SOUPS 23152 WITH SCORE 23184.567
AT ITER 598 NEW BEST:: SOT 79527 SOS 32613 HAS SOPS 32613 HAS SOUS 23106 HAS SOUPS 23106 WITH SCORE 23138.613
AT ITER 599 NEW BEST:: SOT 79507 SOS 32593 HAS SOPS 32593 HAS SOUS 23086 HAS SOUPS 23086 WITH SCORE 23118.593
AT ITER 605 NEW BEST:: SOT 79507 SOS 32507 HAS SOPS 32507 HAS SOUS 23086 HAS SOUPS 23086 WITH SCORE 23118.507
AT ITER 616 NEW BEST:: SOT 79413 SOS 32413 HAS SOPS 32413 HAS SOUS 23039 HAS SOUPS 23039 WITH SCORE 23071.413
AT ITER 625 NEW BEST:: SOT 79347 SOS 32346 HAS SOPS 32346 HAS SOUS 22972 HAS SOUPS 22972 WITH SCORE 23004.346
AT ITER 661 NEW BEST:: SOT 79332 SOS 32330 HAS SOPS 32330 HAS SOUS 22956 HAS SOUPS 22956 WITH SCORE 22988.33
AT ITER 666 NEW BEST:: SOT 79326 SOS 32324 HAS SOPS 32324 HAS SOUS 22950 HAS SOUPS 22950 WITH SCORE 22982.324
AT ITER 672 NEW BEST:: SOT 79279 SOS 32224 HAS SOPS 32224 HAS SOUS 22850 HAS SOUPS 22850 WITH SCORE 22882.224
AT ITER 692 NEW BEST:: SOT 79170 SOS 32151 HAS SOPS 32151 HAS SOUS 22777 HAS SOUPS 22777 WITH SCORE 22809.151
AT ITER 698 NEW BEST:: SOT 79170 SOS 32137 HAS SOPS 32137 HAS SOUS 22749 HAS SOUPS 22749 WITH SCORE 22781.137
AT ITER 732 NEW BEST:: SOT 79170 SOS 32100 HAS SOPS 32100 HAS SOUS 22712 HAS SOUPS 22712 WITH SCORE 22744.1
AT ITER 736 NEW BEST:: SOT 79092 SOS 32021 HAS SOPS 32021 HAS SOUS 22710 HAS SOUPS 22710 WITH SCORE 22742.021
AT ITER 743 NEW BEST:: SOT 79082 SOS 31494 HAS SOPS 31494 HAS SOUS 22690 HAS SOUPS 22690 WITH SCORE 22721.494
AT ITER 745 NEW BEST:: SOT 79077 SOS 31484 HAS SOPS 31484 HAS SOUS 22689 HAS SOUPS 22689 WITH SCORE 22720.484
AT ITER 748 NEW BEST:: SOT 79077 SOS 31484 HAS SOPS 31484 HAS SOUS 22684 HAS SOUPS 22684 WITH SCORE 22715.484
AT ITER 763 NEW BEST:: SOT 79041 SOS 31507 HAS SOPS 31507 HAS SOUS 22623 HAS SOUPS 22623 WITH SCORE 22654.507
AT ITER 764 NEW BEST:: SOT 79022 SOS 31467 HAS SOPS 31467 HAS SOUS 22583 HAS SOUPS 22583 WITH SCORE 22614.467
AT ITER 775 NEW BEST:: SOT 78985 SOS 31393 HAS SOPS 31393 HAS SOUS 22557 HAS SOUPS 22557 WITH SCORE 22588.393
AT ITER 780 NEW BEST:: SOT 78957 SOS 31365 HAS SOPS 31365 HAS SOUS 22529 HAS SOUPS 22529 WITH SCORE 22560.365
AT ITER 788 NEW BEST:: SOT 78957 SOS 31365 HAS SOPS 31365 HAS SOUS 22497 HAS SOUPS 22497 WITH SCORE 22528.365
AT ITER 796 NEW BEST:: SOT 78880 SOS 31198 HAS SOPS 31198 HAS SOUS 22484 HAS SOUPS 22484 WITH SCORE 22515.198
AT ITER 804 NEW BEST:: SOT 78828 SOS 31094 HAS SOPS 31094 HAS SOUS 22430 HAS SOUPS 22430 WITH SCORE 22461.094
AT ITER 805 NEW BEST:: SOT 78752 SOS 30911 HAS SOPS 30911 HAS SOUS 22323 HAS SOUPS 22323 WITH SCORE 22353.911
AT ITER 808 NEW BEST:: SOT 78740 SOS 30893 HAS SOPS 30893 HAS SOUS 22305 HAS SOUPS 22305 WITH SCORE 22335.893
AT ITER 817 NEW BEST:: SOT 78698 SOS 30725 HAS SOPS 30725 HAS SOUS 22263 HAS SOUPS 22263 WITH SCORE 22293.725
AT ITER 824 NEW BEST:: SOT 78704 SOS 30621 HAS SOPS 30621 HAS SOUS 22022 HAS SOUPS 22022 WITH SCORE 22052.621
AT ITER 827 NEW BEST:: SOT 78551 SOS 30621 HAS SOPS 30621 HAS SOUS 21935 HAS SOUPS 21935 WITH SCORE 21965.621
AT ITER 869 NEW BEST:: SOT 78551 SOS 30621 HAS SOPS 30621 HAS SOUS 21919 HAS SOUPS 21919 WITH SCORE 21949.621
AT ITER 873 NEW BEST:: SOT 78551 SOS 30615 HAS SOPS 30615 HAS SOUS 21909 HAS SOUPS 21909 WITH SCORE 21939.615
AT ITER 875 NEW BEST:: SOT 78545 SOS 30565 HAS SOPS 30565 HAS SOUS 21903 HAS SOUPS 21903 WITH SCORE 21933.565
AT ITER 908 NEW BEST:: SOT 78545 SOS 30565 HAS SOPS 30565 HAS SOUS 21896 HAS SOUPS 21896 WITH SCORE 21926.565
AT ITER 915 NEW BEST:: SOT 78657 SOS 30436 HAS SOPS 30436 HAS SOUS 21777 HAS SOUPS 21777 WITH SCORE 21807.436
AT ITER 924 NEW BEST:: SOT 78665 SOS 30452 HAS SOPS 30452 HAS SOUS 21758 HAS SOUPS 21758 WITH SCORE 21788.452
AT ITER 950 NEW BEST:: SOT 78702 SOS 30390 HAS SOPS 30390 HAS SOUS 21696 HAS SOUPS 21696 WITH SCORE 21726.39
AT ITER 961 NEW BEST:: SOT 78658 SOS 30324 HAS SOPS 30324 HAS SOUS 21630 HAS SOUPS 21630 WITH SCORE 21660.324
AT ITER 964 NEW BEST:: SOT 78620 SOS 30765 HAS SOPS 30765 HAS SOUS 21598 HAS SOUPS 21598 WITH SCORE 21628.765
AT ITER 973 NEW BEST:: SOT 78590 SOS 30735 HAS SOPS 30735 HAS SOUS 21590 HAS SOUPS 21590 WITH SCORE 21620.735
AT ITER 989 NEW BEST:: SOT 78572 SOS 30717 HAS SOPS 30717 HAS SOUS 21590 HAS SOUPS 21590 WITH SCORE 21620.717
AT ITER 996 NEW BEST:: SOT 78578 SOS 30675 HAS SOPS 30675 HAS SOUS 21548 HAS SOUPS 21548 WITH SCORE 21578.675
AT ITER 1002 NEW BEST:: SOT 78579 SOS 30666 HAS SOPS 30666 HAS SOUS 21539 HAS SOUPS 21539 WITH SCORE 21569.666
AT ITER 1011 NEW BEST:: SOT 78587 SOS 30632 HAS SOPS 30632 HAS SOUS 21505 HAS SOUPS 21505 WITH SCORE 21535.632
AT ITER 1017 NEW BEST:: SOT 78592 SOS 30643 HAS SOPS 30643 HAS SOUS 21497 HAS SOUPS 21497 WITH SCORE 21527.643
AT ITER 1023 NEW BEST:: SOT 78551 SOS 30657 HAS SOPS 30657 HAS SOUS 21451 HAS SOUPS 21451 WITH SCORE 21481.657
AT ITER 1036 NEW BEST:: SOT 78556 SOS 30649 HAS SOPS 30649 HAS SOUS 21443 HAS SOUPS 21443 WITH SCORE 21473.649
AT ITER 1037 NEW BEST:: SOT 78546 SOS 30629 HAS SOPS 30629 HAS SOUS 21443 HAS SOUPS 21443 WITH SCORE 21473.629
AT ITER 1042 NEW BEST:: SOT 78530 SOS 30613 HAS SOPS 30613 HAS SOUS 21427 HAS SOUPS 21427 WITH SCORE 21457.613
AT ITER 1047 NEW BEST:: SOT 78436 SOS 30457 HAS SOPS 30457 HAS SOUS 21271 HAS SOUPS 21271 WITH SCORE 21301.457
AT ITER 1052 NEW BEST:: SOT 78422 SOS 30443 HAS SOPS 30443 HAS SOUS 21271 HAS SOUPS 21271 WITH SCORE 21301.443
AT ITER 1063 NEW BEST:: SOT 78451 SOS 30435 HAS SOPS 30435 HAS SOUS 21261 HAS SOUPS 21261 WITH SCORE 21291.435
AT ITER 1080 NEW BEST:: SOT 78451 SOS 30377 HAS SOPS 30377 HAS SOUS 21232 HAS SOUPS 21232 WITH SCORE 21262.377
AT ITER 1083 NEW BEST:: SOT 78422 SOS 30348 HAS SOPS 30348 HAS SOUS 21203 HAS SOUPS 21203 WITH SCORE 21233.348
AT ITER 1089 NEW BEST:: SOT 78450 SOS 30267 HAS SOPS 30267 HAS SOUS 21196 HAS SOUPS 21196 WITH SCORE 21226.267
AT ITER 1112 NEW BEST:: SOT 78525 SOS 30265 HAS SOPS 30265 HAS SOUS 21194 HAS SOUPS 21194 WITH SCORE 21224.265
AT ITER 1118 NEW BEST:: SOT 78478 SOS 30218 HAS SOPS 30218 HAS SOUS 21167 HAS SOUPS 21167 WITH SCORE 21197.218
AT ITER 1122 NEW BEST:: SOT 78358 SOS 30057 HAS SOPS 30057 HAS SOUS 20927 HAS SOUPS 20927 WITH SCORE 20957.057
AT ITER 1123 NEW BEST:: SOT 78357 SOS 30056 HAS SOPS 30056 HAS SOUS 20926 HAS SOUPS 20926 WITH SCORE 20956.056
AT ITER 1126 NEW BEST:: SOT 78347 SOS 30036 HAS SOPS 30036 HAS SOUS 20906 HAS SOUPS 20906 WITH SCORE 20936.036
AT ITER 1131 NEW BEST:: SOT 78330 SOS 30030 HAS SOPS 30030 HAS SOUS 20900 HAS SOUPS 20900 WITH SCORE 20930.03
AT ITER 1146 NEW BEST:: SOT 78329 SOS 29994 HAS SOPS 29994 HAS SOUS 20864 HAS SOUPS 20864 WITH SCORE 20893.994
AT ITER 1179 NEW BEST:: SOT 78307 SOS 29972 HAS SOPS 29972 HAS SOUS 20864 HAS SOUPS 20864 WITH SCORE 20893.972
AT ITER 1180 NEW BEST:: SOT 78330 SOS 29993 HAS SOPS 29993 HAS SOUS 20858 HAS SOUPS 20858 WITH SCORE 20887.993
AT ITER 1185 NEW BEST:: SOT 78298 SOS 29898 HAS SOPS 29898 HAS SOUS 20763 HAS SOUPS 20763 WITH SCORE 20792.898
AT ITER 1194 NEW BEST:: SOT 78298 SOS 29898 HAS SOPS 29898 HAS SOUS 20751 HAS SOUPS 20751 WITH SCORE 20780.898
AT ITER 1197 NEW BEST:: SOT 78259 SOS 29896 HAS SOPS 29896 HAS SOUS 20749 HAS SOUPS 20749 WITH SCORE 20778.896
AT ITER 1224 NEW BEST:: SOT 78320 SOS 29858 HAS SOPS 29858 HAS SOUS 20711 HAS SOUPS 20711 WITH SCORE 20740.858
AT ITER 1229 NEW BEST:: SOT 78320 SOS 29812 HAS SOPS 29812 HAS SOUS 20711 HAS SOUPS 20711 WITH SCORE 20740.812
AT ITER 1235 NEW BEST:: SOT 78320 SOS 29746 HAS SOPS 29746 HAS SOUS 20711 HAS SOUPS 20711 WITH SCORE 20740.746
AT ITER 1242 NEW BEST:: SOT 78290 SOS 29687 HAS SOPS 29687 HAS SOUS 20652 HAS SOUPS 20652 WITH SCORE 20681.687
AT ITER 1246 NEW BEST:: SOT 78297 SOS 29668 HAS SOPS 29668 HAS SOUS 20648 HAS SOUPS 20648 WITH SCORE 20677.668
AT ITER 1248 NEW BEST:: SOT 78311 SOS 29627 HAS SOPS 29627 HAS SOUS 20607 HAS SOUPS 20607 WITH SCORE 20636.627
AT ITER 1266 NEW BEST:: SOT 78314 SOS 29595 HAS SOPS 29595 HAS SOUS 20575 HAS SOUPS 20575 WITH SCORE 20604.595
AT ITER 1267 NEW BEST:: SOT 78311 SOS 29592 HAS SOPS 29592 HAS SOUS 20575 HAS SOUPS 20575 WITH SCORE 20604.592
AT ITER 1283 NEW BEST:: SOT 78311 SOS 29569 HAS SOPS 29569 HAS SOUS 20554 HAS SOUPS 20554 WITH SCORE 20583.569
AT ITER 1295 NEW BEST:: SOT 78263 SOS 29520 HAS SOPS 29520 HAS SOUS 20529 HAS SOUPS 20529 WITH SCORE 20558.52
AT ITER 1296 NEW BEST:: SOT 78249 SOS 29492 HAS SOPS 29492 HAS SOUS 20501 HAS SOUPS 20501 WITH SCORE 20530.492
AT ITER 1300 NEW BEST:: SOT 78243 SOS 29483 HAS SOPS 29483 HAS SOUS 20492 HAS SOUPS 20492 WITH SCORE 20521.483
AT ITER 1304 NEW BEST:: SOT 78195 SOS 29435 HAS SOPS 29435 HAS SOUS 20439 HAS SOUPS 20439 WITH SCORE 20468.435
AT ITER 1307 NEW BEST:: SOT 78205 SOS 29411 HAS SOPS 29411 HAS SOUS 20427 HAS SOUPS 20427 WITH SCORE 20456.411
AT ITER 1318 NEW BEST:: SOT 78115 SOS 29300 HAS SOPS 29300 HAS SOUS 20387 HAS SOUPS 20387 WITH SCORE 20416.3
AT ITER 1328 NEW BEST:: SOT 78100 SOS 29271 HAS SOPS 29271 HAS SOUS 20358 HAS SOUPS 20358 WITH SCORE 20387.271
AT ITER 1347 NEW BEST:: SOT 78100 SOS 29255 HAS SOPS 29255 HAS SOUS 20358 HAS SOUPS 20358 WITH SCORE 20387.255
AT ITER 1354 NEW BEST:: SOT 77928 SOS 28989 HAS SOPS 28989 HAS SOUS 20186 HAS SOUPS 20186 WITH SCORE 20214.989
AT ITER 1356 NEW BEST:: SOT 77936 SOS 28946 HAS SOPS 28946 HAS SOUS 20136 HAS SOUPS 20136 WITH SCORE 20164.946
AT ITER 1364 NEW BEST:: SOT 77935 SOS 28945 HAS SOPS 28945 HAS SOUS 20135 HAS SOUPS 20135 WITH SCORE 20163.945
AT ITER 1367 NEW BEST:: SOT 77923 SOS 28921 HAS SOPS 28921 HAS SOUS 20111 HAS SOUPS 20111 WITH SCORE 20139.921
AT ITER 1390 NEW BEST:: SOT 77923 SOS 28920 HAS SOPS 28920 HAS SOUS 20110 HAS SOUPS 20110 WITH SCORE 20138.92
AT ITER 1398 NEW BEST:: SOT 77829 SOS 28890 HAS SOPS 28890 HAS SOUS 20080 HAS SOUPS 20080 WITH SCORE 20108.89
AT ITER 1403 NEW BEST:: SOT 77829 SOS 28821 HAS SOPS 28821 HAS SOUS 20080 HAS SOUPS 20080 WITH SCORE 20108.821
AT ITER 1412 NEW BEST:: SOT 77830 SOS 28772 HAS SOPS 28772 HAS SOUS 20031 HAS SOUPS 20031 WITH SCORE 20059.772
AT ITER 1422 NEW BEST:: SOT 77840 SOS 28792 HAS SOPS 28792 HAS SOUS 20012 HAS SOUPS 20012 WITH SCORE 20040.792
AT ITER 1427 NEW BEST:: SOT 77854 SOS 28656 HAS SOPS 28656 HAS SOUS 19890 HAS SOUPS 19890 WITH SCORE 19918.656
AT ITER 1434 NEW BEST:: SOT 77859 SOS 28668 HAS SOPS 28668 HAS SOUS 19882 HAS SOUPS 19882 WITH SCORE 19910.668
AT ITER 1440 NEW BEST:: SOT 77837 SOS 28617 HAS SOPS 28617 HAS SOUS 19848 HAS SOUPS 19848 WITH SCORE 19876.617
AT ITER 1454 NEW BEST:: SOT 77801 SOS 28545 HAS SOPS 28545 HAS SOUS 19847 HAS SOUPS 19847 WITH SCORE 19875.545
AT ITER 1462 NEW BEST:: SOT 77798 SOS 28542 HAS SOPS 28542 HAS SOUS 19847 HAS SOUPS 19847 WITH SCORE 19875.542
AT ITER 1467 NEW BEST:: SOT 77797 SOS 28477 HAS SOPS 28477 HAS SOUS 19817 HAS SOUPS 19817 WITH SCORE 19845.477
AT ITER 1471 NEW BEST:: SOT 77797 SOS 28469 HAS SOPS 28469 HAS SOUS 19817 HAS SOUPS 19817 WITH SCORE 19845.469
AT ITER 1480 NEW BEST:: SOT 77780 SOS 28435 HAS SOPS 28435 HAS SOUS 19800 HAS SOUPS 19800 WITH SCORE 19828.435
AT ITER 1490 NEW BEST:: SOT 77673 SOS 28293 HAS SOPS 28293 HAS SOUS 19688 HAS SOUPS 19688 WITH SCORE 19716.293
AT ITER 1503 NEW BEST:: SOT 77673 SOS 28269 HAS SOPS 28269 HAS SOUS 19674 HAS SOUPS 19674 WITH SCORE 19702.269
AT ITER 1505 NEW BEST:: SOT 77669 SOS 28261 HAS SOPS 28261 HAS SOUS 19666 HAS SOUPS 19666 WITH SCORE 19694.261
AT ITER 1506 NEW BEST:: SOT 77639 SOS 28217 HAS SOPS 28217 HAS SOUS 19638 HAS SOUPS 19638 WITH SCORE 19666.217
AT ITER 1510 NEW BEST:: SOT 77635 SOS 28217 HAS SOPS 28217 HAS SOUS 19636 HAS SOUPS 19636 WITH SCORE 19664.217
AT ITER 1512 NEW BEST:: SOT 77603 SOS 28185 HAS SOPS 28185 HAS SOUS 19636 HAS SOUPS 19636 WITH SCORE 19664.185
AT ITER 1528 NEW BEST:: SOT 77590 SOS 28159 HAS SOPS 28159 HAS SOUS 19621 HAS SOUPS 19621 WITH SCORE 19649.159
AT ITER 1536 NEW BEST:: SOT 77563 SOS 28122 HAS SOPS 28122 HAS SOUS 19584 HAS SOUPS 19584 WITH SCORE 19612.122
AT ITER 1560 NEW BEST:: SOT 77545 SOS 28086 HAS SOPS 28086 HAS SOUS 19548 HAS SOUPS 19548 WITH SCORE 19576.086
AT ITER 1582 NEW BEST:: SOT 77529 SOS 28070 HAS SOPS 28070 HAS SOUS 19532 HAS SOUPS 19532 WITH SCORE 19560.07
AT ITER 1618 NEW BEST:: SOT 77529 SOS 28063 HAS SOPS 28063 HAS SOUS 19525 HAS SOUPS 19525 WITH SCORE 19553.063
AT ITER 1630 NEW BEST:: SOT 77527 SOS 28059 HAS SOPS 28059 HAS SOUS 19521 HAS SOUPS 19521 WITH SCORE 19549.059
AT ITER 1642 NEW BEST:: SOT 77527 SOS 28059 HAS SOPS 28059 HAS SOUS 19507 HAS SOUPS 19507 WITH SCORE 19535.059
AT ITER 1644 NEW BEST:: SOT 77467 SOS 27999 HAS SOPS 27999 HAS SOUS 19505 HAS SOUPS 19505 WITH SCORE 19532.999
AT ITER 1657 NEW BEST:: SOT 77467 SOS 27986 HAS SOPS 27986 HAS SOUS 19492 HAS SOUPS 19492 WITH SCORE 19519.986
AT ITER 1673 NEW BEST:: SOT 77454 SOS 27973 HAS SOPS 27973 HAS SOUS 19479 HAS SOUPS 19479 WITH SCORE 19506.973
AT ITER 1687 NEW BEST:: SOT 77459 SOS 27971 HAS SOPS 27971 HAS SOUS 19479 HAS SOUPS 19479 WITH SCORE 19506.971
AT ITER 1690 NEW BEST:: SOT 77459 SOS 27964 HAS SOPS 27964 HAS SOUS 19472 HAS SOUPS 19472 WITH SCORE 19499.964
AT ITER 1701 NEW BEST:: SOT 77441 SOS 27929 HAS SOPS 27929 HAS SOUS 19444 HAS SOUPS 19444 WITH SCORE 19471.929
AT ITER 1702 NEW BEST:: SOT 77441 SOS 27915 HAS SOPS 27915 HAS SOUS 19430 HAS SOUPS 19430 WITH SCORE 19457.915
AT ITER 1713 NEW BEST:: SOT 77361 SOS 27835 HAS SOPS 27835 HAS SOUS 19367 HAS SOUPS 19367 WITH SCORE 19394.835
AT ITER 1726 NEW BEST:: SOT 77361 SOS 27831 HAS SOPS 27831 HAS SOUS 19367 HAS SOUPS 19367 WITH SCORE 19394.831
AT ITER 1732 NEW BEST:: SOT 77350 SOS 27783 HAS SOPS 27783 HAS SOUS 19325 HAS SOUPS 19325 WITH SCORE 19352.783
AT ITER 1734 NEW BEST:: SOT 77367 SOS 27783 HAS SOPS 27783 HAS SOUS 19314 HAS SOUPS 19314 WITH SCORE 19341.783
AT ITER 1748 NEW BEST:: SOT 77357 SOS 27775 HAS SOPS 27775 HAS SOUS 19294 HAS SOUPS 19294 WITH SCORE 19321.775
AT ITER 1763 NEW BEST:: SOT 77359 SOS 27779 HAS SOPS 27779 HAS SOUS 19261 HAS SOUPS 19261 WITH SCORE 19288.779
AT ITER 1775 NEW BEST:: SOT 77359 SOS 27771 HAS SOPS 27771 HAS SOUS 19247 HAS SOUPS 19247 WITH SCORE 19274.771
AT ITER 1778 NEW BEST:: SOT 77358 SOS 27769 HAS SOPS 27769 HAS SOUS 19231 HAS SOUPS 19231 WITH SCORE 19258.769
AT ITER 1783 NEW BEST:: SOT 77357 SOS 27768 HAS SOPS 27768 HAS SOUS 19230 HAS SOUPS 19230 WITH SCORE 19257.768
AT ITER 1802 NEW BEST:: SOT 77358 SOS 27768 HAS SOPS 27768 HAS SOUS 19229 HAS SOUPS 19229 WITH SCORE 19256.768
AT ITER 1804 NEW BEST:: SOT 77329 SOS 27710 HAS SOPS 27710 HAS SOUS 19196 HAS SOUPS 19196 WITH SCORE 19223.71
AT ITER 1809 NEW BEST:: SOT 77198 SOS 27448 HAS SOPS 27448 HAS SOUS 19028 HAS SOUPS 19028 WITH SCORE 19055.448
AT ITER 1810 NEW BEST:: SOT 77196 SOS 27446 HAS SOPS 27446 HAS SOUS 19028 HAS SOUPS 19028 WITH SCORE 19055.446
AT ITER 1814 NEW BEST:: SOT 77173 SOS 27423 HAS SOPS 27423 HAS SOUS 19028 HAS SOUPS 19028 WITH SCORE 19055.423
AT ITER 1819 NEW BEST:: SOT 77173 SOS 27361 HAS SOPS 27361 HAS SOUS 19025 HAS SOUPS 19025 WITH SCORE 19052.361
AT ITER 1859 NEW BEST:: SOT 77173 SOS 27341 HAS SOPS 27341 HAS SOUS 19025 HAS SOUPS 19025 WITH SCORE 19052.341
AT ITER 1866 NEW BEST:: SOT 77158 SOS 27491 HAS SOPS 27491 HAS SOUS 19016 HAS SOUPS 19016 WITH SCORE 19043.491
AT ITER 1871 NEW BEST:: SOT 77156 SOS 27487 HAS SOPS 27487 HAS SOUS 19012 HAS SOUPS 19012 WITH SCORE 19039.487
AT ITER 1912 NEW BEST:: SOT 77172 SOS 27519 HAS SOPS 27519 HAS SOUS 19010 HAS SOUPS 19010 WITH SCORE 19037.519
AT ITER 1920 NEW BEST:: SOT 77171 SOS 27517 HAS SOPS 27517 HAS SOUS 19008 HAS SOUPS 19008 WITH SCORE 19035.517
AT ITER 1928 NEW BEST:: SOT 77161 SOS 27497 HAS SOPS 27497 HAS SOUS 18991 HAS SOUPS 18991 WITH SCORE 19018.497
AT ITER 1930 NEW BEST:: SOT 77173 SOS 27509 HAS SOPS 27509 HAS SOUS 18984 HAS SOUPS 18984 WITH SCORE 19011.509
AT ITER 1934 NEW BEST:: SOT 77170 SOS 27489 HAS SOPS 27489 HAS SOUS 18964 HAS SOUPS 18964 WITH SCORE 18991.489
AT ITER 1937 NEW BEST:: SOT 77176 SOS 27499 HAS SOPS 27499 HAS SOUS 18924 HAS SOUPS 18924 WITH SCORE 18951.499
AT ITER 1964 NEW BEST:: SOT 77179 SOS 27502 HAS SOPS 27502 HAS SOUS 18922 HAS SOUPS 18922 WITH SCORE 18949.502
AT ITER 2021 NEW BEST:: SOT 77194 SOS 27517 HAS SOPS 27517 HAS SOUS 18909 HAS SOUPS 18909 WITH SCORE 18936.517
AT ITER 2034 NEW BEST:: SOT 77183 SOS 27500 HAS SOPS 27500 HAS SOUS 18903 HAS SOUPS 18903 WITH SCORE 18930.5
AT ITER 2043 NEW BEST:: SOT 77184 SOS 27496 HAS SOPS 27496 HAS SOUS 18899 HAS SOUPS 18899 WITH SCORE 18926.496
AT ITER 2060 NEW BEST:: SOT 77184 SOS 27471 HAS SOPS 27471 HAS SOUS 18874 HAS SOUPS 18874 WITH SCORE 18901.471
AT ITER 2097 NEW BEST:: SOT 77178 SOS 27465 HAS SOPS 27465 HAS SOUS 18868 HAS SOUPS 18868 WITH SCORE 18895.465
AT ITER 2098 NEW BEST:: SOT 77143 SOS 27395 HAS SOPS 27395 HAS SOUS 18855 HAS SOUPS 18855 WITH SCORE 18882.395
AT ITER 2099 NEW BEST:: SOT 77172 SOS 27424 HAS SOPS 27424 HAS SOUS 18843 HAS SOUPS 18843 WITH SCORE 18870.424
AT ITER 2108 NEW BEST:: SOT 77158 SOS 27506 HAS SOPS 27506 HAS SOUS 18830 HAS SOUPS 18830 WITH SCORE 18857.506
AT ITER 2116 NEW BEST:: SOT 77251 SOS 27593 HAS SOPS 27593 HAS SOUS 18818 HAS SOUPS 18818 WITH SCORE 18845.593
AT ITER 2118 NEW BEST:: SOT 77252 SOS 27485 HAS SOPS 27485 HAS SOUS 18776 HAS SOUPS 18776 WITH SCORE 18803.485
AT ITER 2128 NEW BEST:: SOT 77186 SOS 27184 HAS SOPS 27184 HAS SOUS 18683 HAS SOUPS 18683 WITH SCORE 18710.184
AT ITER 2133 NEW BEST:: SOT 77168 SOS 27167 HAS SOPS 27167 HAS SOUS 18666 HAS SOUPS 18666 WITH SCORE 18693.167
AT ITER 2139 NEW BEST:: SOT 77182 SOS 27175 HAS SOPS 27175 HAS SOUS 18653 HAS SOUPS 18653 WITH SCORE 18680.175
AT ITER 2175 NEW BEST:: SOT 77211 SOS 27175 HAS SOPS 27175 HAS SOUS 18639 HAS SOUPS 18639 WITH SCORE 18666.175
AT ITER 2179 NEW BEST:: SOT 77211 SOS 27175 HAS SOPS 27175 HAS SOUS 18633 HAS SOUPS 18633 WITH SCORE 18660.175
AT ITER 2181 NEW BEST:: SOT 77203 SOS 27159 HAS SOPS 27159 HAS SOUS 18617 HAS SOUPS 18617 WITH SCORE 18644.159
AT ITER 2198 NEW BEST:: SOT 77134 SOS 27072 HAS SOPS 27072 HAS SOUS 18590 HAS SOUPS 18590 WITH SCORE 18617.072
AT ITER 2234 NEW BEST:: SOT 77126 SOS 27064 HAS SOPS 27064 HAS SOUS 18590 HAS SOUPS 18590 WITH SCORE 18617.064
AT ITER 2237 NEW BEST:: SOT 77120 SOS 27058 HAS SOPS 27058 HAS SOUS 18584 HAS SOUPS 18584 WITH SCORE 18611.058
AT ITER 2248 NEW BEST:: SOT 77136 SOS 27017 HAS SOPS 27017 HAS SOUS 18449 HAS SOUPS 18449 WITH SCORE 18476.017
AT ITER 2256 NEW BEST:: SOT 77062 SOS 26920 HAS SOPS 26920 HAS SOUS 18424 HAS SOUPS 18424 WITH SCORE 18450.92
AT ITER 2266 NEW BEST:: SOT 77027 SOS 26850 HAS SOPS 26850 HAS SOUS 18422 HAS SOUPS 18422 WITH SCORE 18448.85
AT ITER 2270 NEW BEST:: SOT 77025 SOS 26846 HAS SOPS 26846 HAS SOUS 18418 HAS SOUPS 18418 WITH SCORE 18444.846
AT ITER 2299 NEW BEST:: SOT 77020 SOS 26836 HAS SOPS 26836 HAS SOUS 18413 HAS SOUPS 18413 WITH SCORE 18439.836
AT ITER 2305 NEW BEST:: SOT 77016 SOS 26832 HAS SOPS 26832 HAS SOUS 18409 HAS SOUPS 18409 WITH SCORE 18435.832
AT ITER 2332 NEW BEST:: SOT 77037 SOS 26611 HAS SOPS 26611 HAS SOUS 18362 HAS SOUPS 18362 WITH SCORE 18388.611
AT ITER 2341 NEW BEST:: SOT 76916 SOS 26369 HAS SOPS 26369 HAS SOUS 18268 HAS SOUPS 18268 WITH SCORE 18294.369
AT ITER 2367 NEW BEST:: SOT 76912 SOS 26365 HAS SOPS 26365 HAS SOUS 18264 HAS SOUPS 18264 WITH SCORE 18290.365
AT ITER 2368 NEW BEST:: SOT 76912 SOS 26305 HAS SOPS 26305 HAS SOUS 18234 HAS SOUPS 18234 WITH SCORE 18260.305
AT ITER 2395 NEW BEST:: SOT 76928 SOS 26317 HAS SOPS 26317 HAS SOUS 18226 HAS SOUPS 18226 WITH SCORE 18252.317
AT ITER 2396 NEW BEST:: SOT 76899 SOS 26248 HAS SOPS 26248 HAS SOUS 18157 HAS SOUPS 18157 WITH SCORE 18183.248
AT ITER 2425 NEW BEST:: SOT 76860 SOS 26209 HAS SOPS 26209 HAS SOUS 18118 HAS SOUPS 18118 WITH SCORE 18144.209
AT ITER 2445 NEW BEST:: SOT 76853 SOS 26160 HAS SOPS 26160 HAS SOUS 18069 HAS SOUPS 18069 WITH SCORE 18095.16
AT ITER 2451 NEW BEST:: SOT 76854 SOS 26083 HAS SOPS 26083 HAS SOUS 17992 HAS SOUPS 17992 WITH SCORE 18018.083
AT ITER 2455 NEW BEST:: SOT 76855 SOS 26084 HAS SOPS 26084 HAS SOUS 17989 HAS SOUPS 17989 WITH SCORE 18015.084
AT ITER 2478 NEW BEST:: SOT 76845 SOS 26072 HAS SOPS 26072 HAS SOUS 17985 HAS SOUPS 17985 WITH SCORE 18011.072
AT ITER 2479 NEW BEST:: SOT 76835 SOS 26063 HAS SOPS 26063 HAS SOUS 17976 HAS SOUPS 17976 WITH SCORE 18002.063
AT ITER 2497 NEW BEST:: SOT 76835 SOS 26058 HAS SOPS 26058 HAS SOUS 17976 HAS SOUPS 17976 WITH SCORE 18002.058
AT ITER 2530 NEW BEST:: SOT 76810 SOS 26033 HAS SOPS 26033 HAS SOUS 17951 HAS SOUPS 17951 WITH SCORE 17977.033
AT ITER 2561 NEW BEST:: SOT 76818 SOS 26041 HAS SOPS 26041 HAS SOUS 17947 HAS SOUPS 17947 WITH SCORE 17973.041
AT ITER 2581 NEW BEST:: SOT 76814 SOS 26037 HAS SOPS 26037 HAS SOUS 17893 HAS SOUPS 17893 WITH SCORE 17919.037
AT ITER 2586 NEW BEST:: SOT 76798 SOS 26021 HAS SOPS 26021 HAS SOUS 17877 HAS SOUPS 17877 WITH SCORE 17903.021
AT ITER 2594 NEW BEST:: SOT 76780 SOS 26003 HAS SOPS 26003 HAS SOUS 17877 HAS SOUPS 17877 WITH SCORE 17903.003
AT ITER 2595 NEW BEST:: SOT 76650 SOS 25743 HAS SOPS 25743 HAS SOUS 17689 HAS SOUPS 17689 WITH SCORE 17714.743
AT ITER 2602 NEW BEST:: SOT 76635 SOS 25640 HAS SOPS 25640 HAS SOUS 17656 HAS SOUPS 17656 WITH SCORE 17681.64
AT ITER 2634 NEW BEST:: SOT 76635 SOS 25617 HAS SOPS 25617 HAS SOUS 17656 HAS SOUPS 17656 WITH SCORE 17681.617
AT ITER 2635 NEW BEST:: SOT 76624 SOS 25575 HAS SOPS 25575 HAS SOUS 17634 HAS SOUPS 17634 WITH SCORE 17659.575
AT ITER 2654 NEW BEST:: SOT 76625 SOS 25545 HAS SOPS 25545 HAS SOUS 17604 HAS SOUPS 17604 WITH SCORE 17629.545
AT ITER 2656 NEW BEST:: SOT 76531 SOS 25430 HAS SOPS 25430 HAS SOUS 17489 HAS SOUPS 17489 WITH SCORE 17514.43
AT ITER 2688 NEW BEST:: SOT 76531 SOS 25420 HAS SOPS 25420 HAS SOUS 17481 HAS SOUPS 17481 WITH SCORE 17506.42
AT ITER 2709 NEW BEST:: SOT 76520 SOS 25413 HAS SOPS 25413 HAS SOUS 17474 HAS SOUPS 17474 WITH SCORE 17499.413
AT ITER 2718 NEW BEST:: SOT 76510 SOS 25403 HAS SOPS 25403 HAS SOUS 17463 HAS SOUPS 17463 WITH SCORE 17488.403
AT ITER 2721 NEW BEST:: SOT 76476 SOS 25346 HAS SOPS 25346 HAS SOUS 17450 HAS SOUPS 17450 WITH SCORE 17475.346
AT ITER 2728 NEW BEST:: SOT 76464 SOS 25322 HAS SOPS 25322 HAS SOUS 17426 HAS SOUPS 17426 WITH SCORE 17451.322
AT ITER 2738 NEW BEST:: SOT 76475 SOS 25344 HAS SOPS 25344 HAS SOUS 17416 HAS SOUPS 17416 WITH SCORE 17441.344
AT ITER 2778 NEW BEST:: SOT 76463 SOS 25334 HAS SOPS 25334 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17431.334
AT ITER 2781 NEW BEST:: SOT 76417 SOS 25335 HAS SOPS 25335 HAS SOUS 17396 HAS SOUPS 17396 WITH SCORE 17421.335
AT ITER 2791 NEW BEST:: SOT 76396 SOS 25172 HAS SOPS 25172 HAS SOUS 17377 HAS SOUPS 17377 WITH SCORE 17402.172
AT ITER 2812 NEW BEST:: SOT 76338 SOS 25052 HAS SOPS 25052 HAS SOUS 17318 HAS SOUPS 17318 WITH SCORE 17343.052
AT ITER 2820 NEW BEST:: SOT 76319 SOS 25033 HAS SOPS 25033 HAS SOUS 17288 HAS SOUPS 17288 WITH SCORE 17313.033
AT ITER 2839 NEW BEST:: SOT 76298 SOS 25014 HAS SOPS 25014 HAS SOUS 17269 HAS SOUPS 17269 WITH SCORE 17294.014
AT ITER 2876 NEW BEST:: SOT 76331 SOS 25014 HAS SOPS 25014 HAS SOUS 17236 HAS SOUPS 17236 WITH SCORE 17261.014
AT ITER 2880 NEW BEST:: SOT 76329 SOS 25010 HAS SOPS 25010 HAS SOUS 17232 HAS SOUPS 17232 WITH SCORE 17257.01
AT ITER 2883 NEW BEST:: SOT 76329 SOS 24946 HAS SOPS 24946 HAS SOUS 17168 HAS SOUPS 17168 WITH SCORE 17192.946
AT ITER 2888 NEW BEST:: SOT 76320 SOS 24928 HAS SOPS 24928 HAS SOUS 17150 HAS SOUPS 17150 WITH SCORE 17174.928
AT ITER 2890 NEW BEST:: SOT 76273 SOS 24983 HAS SOPS 24983 HAS SOUS 17123 HAS SOUPS 17123 WITH SCORE 17147.983
AT ITER 2919 NEW BEST:: SOT 76273 SOS 24912 HAS SOPS 24912 HAS SOUS 17052 HAS SOUPS 17052 WITH SCORE 17076.912
AT ITER 2934 NEW BEST:: SOT 76259 SOS 24883 HAS SOPS 24883 HAS SOUS 17023 HAS SOUPS 17023 WITH SCORE 17047.883
AT ITER 2948 NEW BEST:: SOT 76299 SOS 24917 HAS SOPS 24917 HAS SOUS 17021 HAS SOUPS 17021 WITH SCORE 17045.917
AT ITER 2952 NEW BEST:: SOT 76299 SOS 24917 HAS SOPS 24917 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17043.917
AT ITER 2971 NEW BEST:: SOT 76308 SOS 24893 HAS SOPS 24893 HAS SOUS 17001 HAS SOUPS 17001 WITH SCORE 17025.893
AT ITER 2973 NEW BEST:: SOT 76308 SOS 24867 HAS SOPS 24867 HAS SOUS 16975 HAS SOUPS 16975 WITH SCORE 16999.867
AT ITER 2990 NEW BEST:: SOT 76303 SOS 24860 HAS SOPS 24860 HAS SOUS 16968 HAS SOUPS 16968 WITH SCORE 16992.86
AT ITER 2999 NEW BEST:: SOT 76310 SOS 24794 HAS SOPS 24794 HAS SOUS 16956 HAS SOUPS 16956 WITH SCORE 16980.794
AT ITER 3074 NEW BEST:: SOT 76301 SOS 24784 HAS SOPS 24784 HAS SOUS 16946 HAS SOUPS 16946 WITH SCORE 16970.784
AT ITER 3079 NEW BEST:: SOT 76301 SOS 24784 HAS SOPS 24784 HAS SOUS 16942 HAS SOUPS 16942 WITH SCORE 16966.784
AT ITER 3087 NEW BEST:: SOT 76301 SOS 24712 HAS SOPS 24712 HAS SOUS 16942 HAS SOUPS 16942 WITH SCORE 16966.712
AT ITER 3109 NEW BEST:: SOT 76301 SOS 24709 HAS SOPS 24709 HAS SOUS 16939 HAS SOUPS 16939 WITH SCORE 16963.709
AT ITER 3144 NEW BEST:: SOT 76306 SOS 24684 HAS SOPS 24684 HAS SOUS 16922 HAS SOUPS 16922 WITH SCORE 16946.684
AT ITER 3204 NEW BEST:: SOT 76314 SOS 24700 HAS SOPS 24700 HAS SOUS 16920 HAS SOUPS 16920 WITH SCORE 16944.7
AT ITER 3251 NEW BEST:: SOT 76296 SOS 24586 HAS SOPS 24586 HAS SOUS 16886 HAS SOUPS 16886 WITH SCORE 16910.586
AT ITER 3255 NEW BEST:: SOT 76282 SOS 24572 HAS SOPS 24572 HAS SOUS 16886 HAS SOUPS 16886 WITH SCORE 16910.572
AT ITER 3283 NEW BEST:: SOT 76250 SOS 24531 HAS SOPS 24531 HAS SOUS 16845 HAS SOUPS 16845 WITH SCORE 16869.531
AT ITER 3312 NEW BEST:: SOT 76220 SOS 24509 HAS SOPS 24509 HAS SOUS 16822 HAS SOUPS 16822 WITH SCORE 16846.509
AT ITER 3313 NEW BEST:: SOT 76183 SOS 24440 HAS SOPS 24440 HAS SOUS 16787 HAS SOUPS 16787 WITH SCORE 16811.44
AT ITER 3331 NEW BEST:: SOT 76183 SOS 24440 HAS SOPS 24440 HAS SOUS 16783 HAS SOUPS 16783 WITH SCORE 16807.44
AT ITER 3332 NEW BEST:: SOT 76183 SOS 24437 HAS SOPS 24437 HAS SOUS 16780 HAS SOUPS 16780 WITH SCORE 16804.437
AT ITER 3357 NEW BEST:: SOT 76177 SOS 24425 HAS SOPS 24425 HAS SOUS 16768 HAS SOUPS 16768 WITH SCORE 16792.425
AT ITER 3366 NEW BEST:: SOT 76167 SOS 24430 HAS SOPS 24430 HAS SOUS 16745 HAS SOUPS 16745 WITH SCORE 16769.43
AT ITER 3370 NEW BEST:: SOT 76167 SOS 24430 HAS SOPS 24430 HAS SOUS 16736 HAS SOUPS 16736 WITH SCORE 16760.43
AT ITER 3405 NEW BEST:: SOT 76180 SOS 24350 HAS SOPS 24350 HAS SOUS 16581 HAS SOUPS 16581 WITH SCORE 16605.35
AT ITER 3425 NEW BEST:: SOT 76175 SOS 24287 HAS SOPS 24287 HAS SOUS 16518 HAS SOUPS 16518 WITH SCORE 16542.287
AT ITER 3433 NEW BEST:: SOT 76141 SOS 24266 HAS SOPS 24266 HAS SOUS 16502 HAS SOUPS 16502 WITH SCORE 16526.266
AT ITER 3444 NEW BEST:: SOT 76136 SOS 24259 HAS SOPS 24259 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16519.259
AT ITER 3453 NEW BEST:: SOT 76135 SOS 24258 HAS SOPS 24258 HAS SOUS 16494 HAS SOUPS 16494 WITH SCORE 16518.258
AT ITER 3480 NEW BEST:: SOT 76130 SOS 24248 HAS SOPS 24248 HAS SOUS 16484 HAS SOUPS 16484 WITH SCORE 16508.248
AT ITER 3492 NEW BEST:: SOT 76122 SOS 24232 HAS SOPS 24232 HAS SOUS 16476 HAS SOUPS 16476 WITH SCORE 16500.232
AT ITER 3551 NEW BEST:: SOT 76103 SOS 24156 HAS SOPS 24156 HAS SOUS 16404 HAS SOUPS 16404 WITH SCORE 16428.156
AT ITER 3552 NEW BEST:: SOT 76124 SOS 24169 HAS SOPS 24169 HAS SOUS 16388 HAS SOUPS 16388 WITH SCORE 16412.169
AT ITER 3557 NEW BEST:: SOT 76085 SOS 24122 HAS SOPS 24122 HAS SOUS 16372 HAS SOUPS 16372 WITH SCORE 16396.122
AT ITER 3576 NEW BEST:: SOT 76085 SOS 24115 HAS SOPS 24115 HAS SOUS 16372 HAS SOUPS 16372 WITH SCORE 16396.115
AT ITER 3597 NEW BEST:: SOT 76084 SOS 24114 HAS SOPS 24114 HAS SOUS 16371 HAS SOUPS 16371 WITH SCORE 16395.114
AT ITER 3604 NEW BEST:: SOT 76044 SOS 24054 HAS SOPS 24054 HAS SOUS 16331 HAS SOUPS 16331 WITH SCORE 16355.054
AT ITER 3605 NEW BEST:: SOT 76044 SOS 24046 HAS SOPS 24046 HAS SOUS 16323 HAS SOUPS 16323 WITH SCORE 16347.046
AT ITER 3660 NEW BEST:: SOT 76044 SOS 24043 HAS SOPS 24043 HAS SOUS 16317 HAS SOUPS 16317 WITH SCORE 16341.043
AT ITER 3682 NEW BEST:: SOT 75978 SOS 23944 HAS SOPS 23944 HAS SOUS 16284 HAS SOUPS 16284 WITH SCORE 16307.944
AT ITER 3729 NEW BEST:: SOT 75978 SOS 23944 HAS SOPS 23944 HAS SOUS 16272 HAS SOUPS 16272 WITH SCORE 16295.944
AT ITER 3741 NEW BEST:: SOT 75960 SOS 23930 HAS SOPS 23930 HAS SOUS 16258 HAS SOUPS 16258 WITH SCORE 16281.93
AT ITER 3764 NEW BEST:: SOT 75959 SOS 23928 HAS SOPS 23928 HAS SOUS 16258 HAS SOUPS 16258 WITH SCORE 16281.928
AT ITER 3768 NEW BEST:: SOT 75959 SOS 23928 HAS SOPS 23928 HAS SOUS 16252 HAS SOUPS 16252 WITH SCORE 16275.928
AT ITER 3804 NEW BEST:: SOT 75958 SOS 23926 HAS SOPS 23926 HAS SOUS 16250 HAS SOUPS 16250 WITH SCORE 16273.926
AT ITER 3880 NEW BEST:: SOT 75956 SOS 23922 HAS SOPS 23922 HAS SOUS 16246 HAS SOUPS 16246 WITH SCORE 16269.922
AT ITER 3890 NEW BEST:: SOT 75954 SOS 23920 HAS SOPS 23920 HAS SOUS 16244 HAS SOUPS 16244 WITH SCORE 16267.92
AT ITER 3896 NEW BEST:: SOT 75938 SOS 23904 HAS SOPS 23904 HAS SOUS 16228 HAS SOUPS 16228 WITH SCORE 16251.904
AT ITER 3911 NEW BEST:: SOT 75914 SOS 23887 HAS SOPS 23887 HAS SOUS 16185 HAS SOUPS 16185 WITH SCORE 16208.887
AT ITER 3928 NEW BEST:: SOT 75903 SOS 23865 HAS SOPS 23865 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16186.865
AT ITER 3929 NEW BEST:: SOT 75900 SOS 23859 HAS SOPS 23859 HAS SOUS 16159 HAS SOUPS 16159 WITH SCORE 16182.859
AT ITER 3940 NEW BEST:: SOT 75893 SOS 23840 HAS SOPS 23840 HAS SOUS 16146 HAS SOUPS 16146 WITH SCORE 16169.84
AT ITER 3945 NEW BEST:: SOT 75892 SOS 23838 HAS SOPS 23838 HAS SOUS 16144 HAS SOUPS 16144 WITH SCORE 16167.838
AT ITER 3950 NEW BEST:: SOT 75891 SOS 23838 HAS SOPS 23838 HAS SOUS 16143 HAS SOUPS 16143 WITH SCORE 16166.838
AT ITER 3952 NEW BEST:: SOT 75822 SOS 23757 HAS SOPS 23757 HAS SOUS 16123 HAS SOUPS 16123 WITH SCORE 16146.757
AT ITER 3958 NEW BEST:: SOT 75838 SOS 23734 HAS SOPS 23734 HAS SOUS 16100 HAS SOUPS 16100 WITH SCORE 16123.734
AT ITER 3986 NEW BEST:: SOT 75826 SOS 23722 HAS SOPS 23722 HAS SOUS 16088 HAS SOUPS 16088 WITH SCORE 16111.722
AT ITER 4030 NEW BEST:: SOT 75897 SOS 23793 HAS SOPS 23793 HAS SOUS 16086 HAS SOUPS 16086 WITH SCORE 16109.793
AT ITER 4068 NEW BEST:: SOT 75884 SOS 23780 HAS SOPS 23780 HAS SOUS 16060 HAS SOUPS 16060 WITH SCORE 16083.78
AT ITER 4100 NEW BEST:: SOT 75874 SOS 23770 HAS SOPS 23770 HAS SOUS 16050 HAS SOUPS 16050 WITH SCORE 16073.77
AT ITER 4113 NEW BEST:: SOT 75871 SOS 23764 HAS SOPS 23764 HAS SOUS 16044 HAS SOUPS 16044 WITH SCORE 16067.764
AT ITER 4143 NEW BEST:: SOT 75860 SOS 23725 HAS SOPS 23725 HAS SOUS 16005 HAS SOUPS 16005 WITH SCORE 16028.725
AT ITER 4208 NEW BEST:: SOT 75857 SOS 23721 HAS SOPS 23721 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16024.721
AT ITER 4228 NEW BEST:: SOT 75855 SOS 23684 HAS SOPS 23684 HAS SOUS 15995 HAS SOUPS 15995 WITH SCORE 16018.684
AT ITER 4273 NEW BEST:: SOT 75895 SOS 23742 HAS SOPS 23742 HAS SOUS 15972 HAS SOUPS 15972 WITH SCORE 15995.742
AT ITER 4293 NEW BEST:: SOT 75895 SOS 23654 HAS SOPS 23654 HAS SOUS 15884 HAS SOUPS 15884 WITH SCORE 15907.654
AT ITER 4312 NEW BEST:: SOT 75883 SOS 23630 HAS SOPS 23630 HAS SOUS 15879 HAS SOUPS 15879 WITH SCORE 15902.63
AT ITER 4371 NEW BEST:: SOT 75905 SOS 23606 HAS SOPS 23606 HAS SOUS 15855 HAS SOUPS 15855 WITH SCORE 15878.606
AT ITER 4439 NEW BEST:: SOT 75899 SOS 23594 HAS SOPS 23594 HAS SOUS 15855 HAS SOUPS 15855 WITH SCORE 15878.594
AT ITER 4446 NEW BEST:: SOT 75894 SOS 23589 HAS SOPS 23589 HAS SOUS 15850 HAS SOUPS 15850 WITH SCORE 15873.589
AT ITER 4468 NEW BEST:: SOT 75883 SOS 23567 HAS SOPS 23567 HAS SOUS 15835 HAS SOUPS 15835 WITH SCORE 15858.567
AT ITER 4513 NEW BEST:: SOT 75878 SOS 23572 HAS SOPS 23572 HAS SOUS 15830 HAS SOUPS 15830 WITH SCORE 15853.572
AT ITER 4525 NEW BEST:: SOT 75873 SOS 23567 HAS SOPS 23567 HAS SOUS 15820 HAS SOUPS 15820 WITH SCORE 15843.567
AT ITER 4552 NEW BEST:: SOT 75869 SOS 23563 HAS SOPS 23563 HAS SOUS 15820 HAS SOUPS 15820 WITH SCORE 15843.563
AT ITER 4561 NEW BEST:: SOT 75865 SOS 23555 HAS SOPS 23555 HAS SOUS 15812 HAS SOUPS 15812 WITH SCORE 15835.555
AT ITER 4633 NEW BEST:: SOT 75825 SOS 23495 HAS SOPS 23495 HAS SOUS 15772 HAS SOUPS 15772 WITH SCORE 15795.495
AT ITER 4634 NEW BEST:: SOT 75818 SOS 23488 HAS SOPS 23488 HAS SOUS 15765 HAS SOUPS 15765 WITH SCORE 15788.488
AT ITER 4655 NEW BEST:: SOT 75805 SOS 23462 HAS SOPS 23462 HAS SOUS 15717 HAS SOUPS 15717 WITH SCORE 15740.462
AT ITER 4694 NEW BEST:: SOT 75805 SOS 23458 HAS SOPS 23458 HAS SOUS 15713 HAS SOUPS 15713 WITH SCORE 15736.458
AT ITER 4766 NEW BEST:: SOT 75796 SOS 23440 HAS SOPS 23440 HAS SOUS 15653 HAS SOUPS 15653 WITH SCORE 15676.44
AT ITER 4769 NEW BEST:: SOT 75779 SOS 23411 HAS SOPS 23411 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15647.411
AT ITER 4801 NEW BEST:: SOT 75745 SOS 23367 HAS SOPS 23367 HAS SOUS 15612 HAS SOUPS 15612 WITH SCORE 15635.367
AT ITER 4811 NEW BEST:: SOT 75743 SOS 23365 HAS SOPS 23365 HAS SOUS 15612 HAS SOUPS 15612 WITH SCORE 15635.365
AT ITER 4817 NEW BEST:: SOT 75748 SOS 23363 HAS SOPS 23363 HAS SOUS 15610 HAS SOUPS 15610 WITH SCORE 15633.363
AT ITER 4819 NEW BEST:: SOT 75746 SOS 23361 HAS SOPS 23361 HAS SOUS 15608 HAS SOUPS 15608 WITH SCORE 15631.361
AT ITER 4835 NEW BEST:: SOT 75730 SOS 23337 HAS SOPS 23337 HAS SOUS 15584 HAS SOUPS 15584 WITH SCORE 15607.337
AT ITER 4873 NEW BEST:: SOT 75730 SOS 23315 HAS SOPS 23315 HAS SOUS 15584 HAS SOUPS 15584 WITH SCORE 15607.315
AT ITER 4888 NEW BEST:: SOT 75641 SOS 23226 HAS SOPS 23226 HAS SOUS 15584 HAS SOUPS 15584 WITH SCORE 15607.226
AT ITER 4895 NEW BEST:: SOT 75627 SOS 23198 HAS SOPS 23198 HAS SOUS 15564 HAS SOUPS 15564 WITH SCORE 15587.198
AT ITER 4914 NEW BEST:: SOT 75609 SOS 23180 HAS SOPS 23180 HAS SOUS 15564 HAS SOUPS 15564 WITH SCORE 15587.18
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-00 (AX( (EF(( potential( ( 1 ) <= (tk(P123)) ) & potential( ( 1 ) <= (tk(P268)) ) )))))
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-01 (AG( (EF(potential( ( 1 ) <= (tk(P145)) )))))
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-02 ( (AG( (AX( potential( (tk(P4)) <= (tk(P315)) ))))) | ( ( (AX( potential( (tk(P207)) <= (tk(P101)) ))) | ( (! potential( (tk(P219)) <= (tk(P367)) )) & ( potential( (tk(P309)) <= (tk(P323)) ) & potential( (tk(P110)) <= (tk(P101)) ) ) ) ) & (EU( potential( (tk(P379)) <= (tk(P331)) ),potential( ( 3 ) <= (tk(P289)) ) )) ) )
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-03 (EF((! ( potential( (tk(P48)) <= (tk(P382)) ) | potential( (tk(P245)) <= (tk(P261)) ) ))))
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-04 (EU( ( ( potential( (tk(P159)) <= (tk(P293)) ) & potential( (tk(P387)) <= (tk(P88)) ) ) & potential( (tk(P276)) <= (tk(P64)) ) ),(AG( potential( (tk(P257)) <= (tk(P343)) ))) ))
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-05 (EX( (EF(potential( ( 3 ) <= (tk(P189)) )))))
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-06 ( (EU( (! potential( (tk(P164)) <= (tk(P145)) )),( potential( (tk(P284)) <= (tk(P142)) ) & potential( (tk(P121)) <= (tk(P370)) ) ) )) & (EU( ( potential( (tk(P98)) <= (tk(P174)) ) | potential( (tk(P41)) <= (tk(P293)) ) ),( potential( ( 2 ) <= (tk(P86)) ) & potential( (tk(P161)) <= (tk(P132)) ) ) )) )
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-07 ( ( potential( (tk(P186)) <= (tk(P192)) ) & (EU( potential( (tk(P63)) <= (tk(P2)) ),potential( ( 3 ) <= (tk(P385)) ) )) ) | ( (EU( potential( ( 2 ) <= (tk(P167)) ),potential( (tk(P110)) <= (tk(P213)) ) )) & (AG( ( potential( ( 3 ) <= (tk(P293)) ) & potential( (tk(P351)) <= (tk(P295)) ) ))) ) )
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-08 (EF((! ( (! potential( ( 3 ) <= (tk(P336)) )) | (! potential( ( 1 ) <= (tk(P115)) )) ))))
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-09 (EX( ( (AF(potential( ( 1 ) <= (tk(P381)) ))) | (EF(potential( ( 2 ) <= (tk(P215)) ))) )))
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-10 (EF((! (AG( potential( (tk(P234)) <= (tk(P339)) ))))))
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-11 (EF(potential( ( 3 ) <= (tk(P126)) )))
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-12 (EU( (EX( potential( (tk(P358)) <= (tk(P250)) ))),(EX( potential( ( 1 ) <= (tk(P314)) ))) ))
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-13 ( (EU( potential( ( 2 ) <= (tk(P164)) ),( potential( ( 2 ) <= (tk(P1)) ) | potential( ( 3 ) <= (tk(P151)) ) ) )) | (AG( (EX( potential( (tk(P372)) <= (tk(P386)) ))))) )
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-14 (EF(( ( potential( ( 3 ) <= (tk(P93)) ) & ( potential( (tk(P61)) <= (tk(P70)) ) | potential( ( 3 ) <= (tk(P60)) ) ) ) | ( potential( ( 3 ) <= (tk(P169)) ) & (! potential( (tk(P78)) <= (tk(P225)) )) ) )))
PROPERTY: BusinessProcesses-PT-08-CTLCardinality-15 (AG( ( (! ( potential( ( 3 ) <= (tk(P137)) ) | potential( ( 1 ) <= (tk(P319)) ) )) | (AX( potential( (tk(P178)) <= (tk(P101)) ))) )))
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="BusinessProcesses-PT-08"
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 BusinessProcesses-PT-08, 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 r018-oct2-158897680100507"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-08.tgz
mv BusinessProcesses-PT-08 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 '
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 ;