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.r003-smll-158897508000043.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 ASLink-PT-03a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000043
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.9K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 357K 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 ASLink-PT-03a-CTLCardinality-00
FORMULA_NAME ASLink-PT-03a-CTLCardinality-01
FORMULA_NAME ASLink-PT-03a-CTLCardinality-02
FORMULA_NAME ASLink-PT-03a-CTLCardinality-03
FORMULA_NAME ASLink-PT-03a-CTLCardinality-04
FORMULA_NAME ASLink-PT-03a-CTLCardinality-05
FORMULA_NAME ASLink-PT-03a-CTLCardinality-06
FORMULA_NAME ASLink-PT-03a-CTLCardinality-07
FORMULA_NAME ASLink-PT-03a-CTLCardinality-08
FORMULA_NAME ASLink-PT-03a-CTLCardinality-09
FORMULA_NAME ASLink-PT-03a-CTLCardinality-10
FORMULA_NAME ASLink-PT-03a-CTLCardinality-11
FORMULA_NAME ASLink-PT-03a-CTLCardinality-12
FORMULA_NAME ASLink-PT-03a-CTLCardinality-13
FORMULA_NAME ASLink-PT-03a-CTLCardinality-14
FORMULA_NAME ASLink-PT-03a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589004402819

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 03a
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: 821 places, 1281 transitions, 4839 arcs.
AT ITER 0 NEW BEST:: SOT 576589 SOS 393886 HAS SOPS 393886 HAS SOUS 240008 HAS SOUPS 240008 WITH SCORE 240401.886
AT ITER 3 NEW BEST:: SOT 567986 SOS 385282 HAS SOPS 385282 HAS SOUS 231404 HAS SOUPS 231404 WITH SCORE 231789.282
AT ITER 5 NEW BEST:: SOT 567823 SOS 385029 HAS SOPS 385029 HAS SOUS 231366 HAS SOUPS 231366 WITH SCORE 231751.029
AT ITER 8 NEW BEST:: SOT 567823 SOS 385023 HAS SOPS 385023 HAS SOUS 231348 HAS SOUPS 231348 WITH SCORE 231733.023
AT ITER 15 NEW BEST:: SOT 567876 SOS 384322 HAS SOPS 384322 HAS SOUS 231154 HAS SOUPS 231154 WITH SCORE 231538.322
AT ITER 16 NEW BEST:: SOT 567876 SOS 384057 HAS SOPS 384057 HAS SOUS 230889 HAS SOUPS 230889 WITH SCORE 231273.057
AT ITER 17 NEW BEST:: SOT 567658 SOS 383525 HAS SOPS 383525 HAS SOUS 230398 HAS SOUPS 230398 WITH SCORE 230781.525
AT ITER 26 NEW BEST:: SOT 567625 SOS 383492 HAS SOPS 383492 HAS SOUS 230394 HAS SOUPS 230394 WITH SCORE 230777.492
AT ITER 30 NEW BEST:: SOT 567613 SOS 383480 HAS SOPS 383480 HAS SOUS 230382 HAS SOUPS 230382 WITH SCORE 230765.48
AT ITER 42 NEW BEST:: SOT 563779 SOS 379791 HAS SOPS 379791 HAS SOUS 226693 HAS SOUPS 226693 WITH SCORE 227072.791
AT ITER 47 NEW BEST:: SOT 563713 SOS 378597 HAS SOPS 378597 HAS SOUS 225912 HAS SOUPS 225912 WITH SCORE 226290.597
AT ITER 53 NEW BEST:: SOT 563713 SOS 378597 HAS SOPS 378597 HAS SOUS 225911 HAS SOUPS 225911 WITH SCORE 226289.597
AT ITER 58 NEW BEST:: SOT 563713 SOS 378597 HAS SOPS 378597 HAS SOUS 225709 HAS SOUPS 225709 WITH SCORE 226087.597
AT ITER 70 NEW BEST:: SOT 563480 SOS 377409 HAS SOPS 377409 HAS SOUS 224696 HAS SOUPS 224696 WITH SCORE 225073.409
AT ITER 76 NEW BEST:: SOT 563480 SOS 377408 HAS SOPS 377408 HAS SOUS 224695 HAS SOUPS 224695 WITH SCORE 225072.408
AT ITER 78 NEW BEST:: SOT 563441 SOS 377359 HAS SOPS 377359 HAS SOUS 224683 HAS SOUPS 224683 WITH SCORE 225060.359
AT ITER 98 NEW BEST:: SOT 563441 SOS 375701 HAS SOPS 375701 HAS SOUS 224452 HAS SOUPS 224452 WITH SCORE 224827.701
AT ITER 109 NEW BEST:: SOT 563346 SOS 375606 HAS SOPS 375606 HAS SOUS 224282 HAS SOUPS 224282 WITH SCORE 224657.606
AT ITER 119 NEW BEST:: SOT 563346 SOS 375606 HAS SOPS 375606 HAS SOUS 224281 HAS SOUPS 224281 WITH SCORE 224656.606
AT ITER 123 NEW BEST:: SOT 563346 SOS 375089 HAS SOPS 375089 HAS SOUS 224103 HAS SOUPS 224103 WITH SCORE 224478.089
AT ITER 130 NEW BEST:: SOT 563295 SOS 375038 HAS SOPS 375038 HAS SOUS 224097 HAS SOUPS 224097 WITH SCORE 224472.038
AT ITER 132 NEW BEST:: SOT 563160 SOS 374092 HAS SOPS 374092 HAS SOUS 223826 HAS SOUPS 223826 WITH SCORE 224200.092
AT ITER 134 NEW BEST:: SOT 558180 SOS 369309 HAS SOPS 369309 HAS SOUS 218820 HAS SOUPS 218820 WITH SCORE 219189.309
AT ITER 136 NEW BEST:: SOT 557804 SOS 367196 HAS SOPS 367196 HAS SOUS 218252 HAS SOUPS 218252 WITH SCORE 218619.196
AT ITER 144 NEW BEST:: SOT 557425 SOS 364165 HAS SOPS 364165 HAS SOUS 217285 HAS SOUPS 217285 WITH SCORE 217649.165
AT ITER 148 NEW BEST:: SOT 557425 SOS 361970 HAS SOPS 361970 HAS SOUS 216973 HAS SOUPS 216973 WITH SCORE 217334.97
AT ITER 154 NEW BEST:: SOT 556702 SOS 361247 HAS SOPS 361247 HAS SOUS 216249 HAS SOUPS 216249 WITH SCORE 216610.247
AT ITER 163 NEW BEST:: SOT 556699 SOS 361244 HAS SOPS 361244 HAS SOUS 216246 HAS SOUPS 216246 WITH SCORE 216607.244
AT ITER 167 NEW BEST:: SOT 556673 SOS 361218 HAS SOPS 361218 HAS SOUS 216219 HAS SOUPS 216219 WITH SCORE 216580.218
AT ITER 170 NEW BEST:: SOT 556673 SOS 361578 HAS SOPS 361578 HAS SOUS 216159 HAS SOUPS 216159 WITH SCORE 216520.578
AT ITER 175 NEW BEST:: SOT 556673 SOS 361197 HAS SOPS 361197 HAS SOUS 216158 HAS SOUPS 216158 WITH SCORE 216519.197
AT ITER 178 NEW BEST:: SOT 556430 SOS 360954 HAS SOPS 360954 HAS SOUS 215914 HAS SOUPS 215914 WITH SCORE 216274.954
AT ITER 179 NEW BEST:: SOT 556418 SOS 358878 HAS SOPS 358878 HAS SOUS 215879 HAS SOUPS 215879 WITH SCORE 216237.878
AT ITER 181 NEW BEST:: SOT 556414 SOS 358296 HAS SOPS 358296 HAS SOUS 215565 HAS SOUPS 215565 WITH SCORE 215923.296
AT ITER 185 NEW BEST:: SOT 556442 SOS 358174 HAS SOPS 358174 HAS SOUS 215213 HAS SOUPS 215213 WITH SCORE 215571.174
AT ITER 189 NEW BEST:: SOT 556149 SOS 357587 HAS SOPS 357587 HAS SOUS 214626 HAS SOUPS 214626 WITH SCORE 214983.587
AT ITER 193 NEW BEST:: SOT 555747 SOS 356381 HAS SOPS 356381 HAS SOUS 213420 HAS SOUPS 213420 WITH SCORE 213776.381
AT ITER 198 NEW BEST:: SOT 555747 SOS 356080 HAS SOPS 356080 HAS SOUS 213408 HAS SOUPS 213408 WITH SCORE 213764.08
AT ITER 211 NEW BEST:: SOT 555932 SOS 356265 HAS SOPS 356265 HAS SOUS 213407 HAS SOUPS 213407 WITH SCORE 213763.265
AT ITER 217 NEW BEST:: SOT 555679 SOS 356011 HAS SOPS 356011 HAS SOUS 213189 HAS SOUPS 213189 WITH SCORE 213545.011
AT ITER 236 NEW BEST:: SOT 555665 SOS 355997 HAS SOPS 355997 HAS SOUS 213175 HAS SOUPS 213175 WITH SCORE 213530.997
AT ITER 240 NEW BEST:: SOT 555309 SOS 355641 HAS SOPS 355641 HAS SOUS 212818 HAS SOUPS 212818 WITH SCORE 213173.641
AT ITER 241 NEW BEST:: SOT 554894 SOS 355217 HAS SOPS 355217 HAS SOUS 212394 HAS SOUPS 212394 WITH SCORE 212749.217
AT ITER 251 NEW BEST:: SOT 554894 SOS 355080 HAS SOPS 355080 HAS SOUS 212210 HAS SOUPS 212210 WITH SCORE 212565.08
AT ITER 255 NEW BEST:: SOT 552245 SOS 352431 HAS SOPS 352431 HAS SOUS 209590 HAS SOUPS 209590 WITH SCORE 209942.431
AT ITER 263 NEW BEST:: SOT 552062 SOS 352272 HAS SOPS 352272 HAS SOUS 209430 HAS SOUPS 209430 WITH SCORE 209782.272
AT ITER 268 NEW BEST:: SOT 551783 SOS 351847 HAS SOPS 351847 HAS SOUS 209280 HAS SOUPS 209280 WITH SCORE 209631.847
AT ITER 270 NEW BEST:: SOT 551207 SOS 352430 HAS SOPS 352430 HAS SOUS 209144 HAS SOUPS 209144 WITH SCORE 209496.43
AT ITER 274 NEW BEST:: SOT 551270 SOS 354582 HAS SOPS 354582 HAS SOUS 209051 HAS SOUPS 209051 WITH SCORE 209405.582
AT ITER 275 NEW BEST:: SOT 550885 SOS 354196 HAS SOPS 354196 HAS SOUS 208665 HAS SOUPS 208665 WITH SCORE 209019.196
AT ITER 276 NEW BEST:: SOT 549259 SOS 352570 HAS SOPS 352570 HAS SOUS 207039 HAS SOUPS 207039 WITH SCORE 207391.57
AT ITER 284 NEW BEST:: SOT 549259 SOS 352059 HAS SOPS 352059 HAS SOUS 207039 HAS SOUPS 207039 WITH SCORE 207391.059
AT ITER 285 NEW BEST:: SOT 549007 SOS 351807 HAS SOPS 351807 HAS SOUS 206787 HAS SOUPS 206787 WITH SCORE 207138.807
AT ITER 288 NEW BEST:: SOT 545745 SOS 349121 HAS SOPS 349121 HAS SOUS 203597 HAS SOUPS 203597 WITH SCORE 203946.121
AT ITER 300 NEW BEST:: SOT 545425 SOS 348852 HAS SOPS 348852 HAS SOUS 202606 HAS SOUPS 202606 WITH SCORE 202954.852
AT ITER 302 NEW BEST:: SOT 544957 SOS 347909 HAS SOPS 347909 HAS SOUS 201663 HAS SOUPS 201663 WITH SCORE 202010.909
AT ITER 308 NEW BEST:: SOT 544957 SOS 350031 HAS SOPS 350031 HAS SOUS 201279 HAS SOUPS 201279 WITH SCORE 201629.031
AT ITER 314 NEW BEST:: SOT 544749 SOS 348983 HAS SOPS 348983 HAS SOUS 200863 HAS SOUPS 200863 WITH SCORE 201211.983
AT ITER 315 NEW BEST:: SOT 544713 SOS 348947 HAS SOPS 348947 HAS SOUS 200793 HAS SOUPS 200793 WITH SCORE 201141.947
AT ITER 317 NEW BEST:: SOT 544506 SOS 348740 HAS SOPS 348740 HAS SOUS 200586 HAS SOUPS 200586 WITH SCORE 200934.74
AT ITER 331 NEW BEST:: SOT 544341 SOS 348248 HAS SOPS 348248 HAS SOUS 200256 HAS SOUPS 200256 WITH SCORE 200604.248
AT ITER 333 NEW BEST:: SOT 544521 SOS 347878 HAS SOPS 347878 HAS SOUS 200229 HAS SOUPS 200229 WITH SCORE 200576.878
AT ITER 361 NEW BEST:: SOT 544520 SOS 347869 HAS SOPS 347869 HAS SOUS 200220 HAS SOUPS 200220 WITH SCORE 200567.869
AT ITER 365 NEW BEST:: SOT 540668 SOS 348627 HAS SOPS 348627 HAS SOUS 197186 HAS SOUPS 197186 WITH SCORE 197534.627
AT ITER 368 NEW BEST:: SOT 540623 SOS 348582 HAS SOPS 348582 HAS SOUS 197141 HAS SOUPS 197141 WITH SCORE 197489.582
AT ITER 369 NEW BEST:: SOT 540221 SOS 348191 HAS SOPS 348191 HAS SOUS 196750 HAS SOUPS 196750 WITH SCORE 197098.191
AT ITER 378 NEW BEST:: SOT 540128 SOS 348098 HAS SOPS 348098 HAS SOUS 196657 HAS SOUPS 196657 WITH SCORE 197005.098
AT ITER 385 NEW BEST:: SOT 534255 SOS 343017 HAS SOPS 343017 HAS SOUS 190569 HAS SOUPS 190569 WITH SCORE 190912.017
AT ITER 400 NEW BEST:: SOT 534255 SOS 343028 HAS SOPS 343028 HAS SOUS 190537 HAS SOUPS 190537 WITH SCORE 190880.028
AT ITER 404 NEW BEST:: SOT 534254 SOS 342205 HAS SOPS 342205 HAS SOUS 190535 HAS SOUPS 190535 WITH SCORE 190877.205
AT ITER 405 NEW BEST:: SOT 534254 SOS 342083 HAS SOPS 342083 HAS SOUS 190365 HAS SOUPS 190365 WITH SCORE 190707.083
AT ITER 409 NEW BEST:: SOT 533771 SOS 341600 HAS SOPS 341600 HAS SOUS 189882 HAS SOUPS 189882 WITH SCORE 190223.6
AT ITER 423 NEW BEST:: SOT 533771 SOS 341594 HAS SOPS 341594 HAS SOUS 189882 HAS SOUPS 189882 WITH SCORE 190223.594
AT ITER 438 NEW BEST:: SOT 533759 SOS 341573 HAS SOPS 341573 HAS SOUS 189861 HAS SOUPS 189861 WITH SCORE 190202.573
AT ITER 440 NEW BEST:: SOT 533759 SOS 341573 HAS SOPS 341573 HAS SOUS 189859 HAS SOUPS 189859 WITH SCORE 190200.573
AT ITER 443 NEW BEST:: SOT 533407 SOS 341220 HAS SOPS 341220 HAS SOUS 189506 HAS SOUPS 189506 WITH SCORE 189847.22
AT ITER 449 NEW BEST:: SOT 533311 SOS 341124 HAS SOPS 341124 HAS SOUS 189408 HAS SOUPS 189408 WITH SCORE 189749.124
AT ITER 450 NEW BEST:: SOT 533065 SOS 340584 HAS SOPS 340584 HAS SOUS 189121 HAS SOUPS 189121 WITH SCORE 189461.584
AT ITER 451 NEW BEST:: SOT 533065 SOS 340344 HAS SOPS 340344 HAS SOUS 189120 HAS SOUPS 189120 WITH SCORE 189460.344
AT ITER 453 NEW BEST:: SOT 533065 SOS 339919 HAS SOPS 339919 HAS SOUS 189120 HAS SOUPS 189120 WITH SCORE 189459.919
AT ITER 454 NEW BEST:: SOT 533064 SOS 339918 HAS SOPS 339918 HAS SOUS 189118 HAS SOUPS 189118 WITH SCORE 189457.918
AT ITER 459 NEW BEST:: SOT 533064 SOS 339904 HAS SOPS 339904 HAS SOUS 189118 HAS SOUPS 189118 WITH SCORE 189457.904
AT ITER 464 NEW BEST:: SOT 533075 SOS 339867 HAS SOPS 339867 HAS SOUS 189081 HAS SOUPS 189081 WITH SCORE 189420.867
AT ITER 465 NEW BEST:: SOT 533075 SOS 339814 HAS SOPS 339814 HAS SOUS 189028 HAS SOUPS 189028 WITH SCORE 189367.814
AT ITER 477 NEW BEST:: SOT 532536 SOS 340692 HAS SOPS 340692 HAS SOUS 188702 HAS SOUPS 188702 WITH SCORE 189042.692
AT ITER 483 NEW BEST:: SOT 531693 SOS 338072 HAS SOPS 338072 HAS SOUS 187166 HAS SOUPS 187166 WITH SCORE 187504.072
AT ITER 485 NEW BEST:: SOT 531484 SOS 337349 HAS SOPS 337349 HAS SOUS 187139 HAS SOUPS 187139 WITH SCORE 187476.349
AT ITER 491 NEW BEST:: SOT 531249 SOS 337147 HAS SOPS 337147 HAS SOUS 186937 HAS SOUPS 186937 WITH SCORE 187274.147
AT ITER 508 NEW BEST:: SOT 530773 SOS 336865 HAS SOPS 336865 HAS SOUS 186582 HAS SOUPS 186582 WITH SCORE 186918.865
AT ITER 510 NEW BEST:: SOT 529037 SOS 335129 HAS SOPS 335129 HAS SOUS 184845 HAS SOUPS 184845 WITH SCORE 185180.129
AT ITER 514 NEW BEST:: SOT 528751 SOS 334070 HAS SOPS 334070 HAS SOUS 184670 HAS SOUPS 184670 WITH SCORE 185004.07
AT ITER 521 NEW BEST:: SOT 528726 SOS 334014 HAS SOPS 334014 HAS SOUS 184614 HAS SOUPS 184614 WITH SCORE 184948.014
AT ITER 535 NEW BEST:: SOT 528722 SOS 333472 HAS SOPS 333472 HAS SOUS 184309 HAS SOUPS 184309 WITH SCORE 184642.472
AT ITER 548 NEW BEST:: SOT 528609 SOS 333295 HAS SOPS 333295 HAS SOUS 184011 HAS SOUPS 184011 WITH SCORE 184344.295
AT ITER 553 NEW BEST:: SOT 528790 SOS 333136 HAS SOPS 333136 HAS SOUS 183964 HAS SOUPS 183964 WITH SCORE 184297.136
AT ITER 558 NEW BEST:: SOT 528506 SOS 332852 HAS SOPS 332852 HAS SOUS 183680 HAS SOUPS 183680 WITH SCORE 184012.852
AT ITER 559 NEW BEST:: SOT 528506 SOS 332852 HAS SOPS 332852 HAS SOUS 183656 HAS SOUPS 183656 WITH SCORE 183988.852
AT ITER 560 NEW BEST:: SOT 527872 SOS 331959 HAS SOPS 331959 HAS SOUS 182518 HAS SOUPS 182518 WITH SCORE 182849.959
AT ITER 561 NEW BEST:: SOT 527872 SOS 331905 HAS SOPS 331905 HAS SOUS 182517 HAS SOUPS 182517 WITH SCORE 182848.905
AT ITER 562 NEW BEST:: SOT 527443 SOS 331047 HAS SOPS 331047 HAS SOUS 181659 HAS SOUPS 181659 WITH SCORE 181990.047
AT ITER 569 NEW BEST:: SOT 522419 SOS 326023 HAS SOPS 326023 HAS SOUS 176635 HAS SOUPS 176635 WITH SCORE 176961.023
AT ITER 573 NEW BEST:: SOT 519650 SOS 323254 HAS SOPS 323254 HAS SOUS 173828 HAS SOUPS 173828 WITH SCORE 174151.254
AT ITER 580 NEW BEST:: SOT 519712 SOS 323254 HAS SOPS 323254 HAS SOUS 173766 HAS SOUPS 173766 WITH SCORE 174089.254
AT ITER 588 NEW BEST:: SOT 514030 SOS 317604 HAS SOPS 317604 HAS SOUS 168099 HAS SOUPS 168099 WITH SCORE 168416.604
AT ITER 593 NEW BEST:: SOT 514000 SOS 317574 HAS SOPS 317574 HAS SOUS 168069 HAS SOUPS 168069 WITH SCORE 168386.574
AT ITER 598 NEW BEST:: SOT 514155 SOS 317445 HAS SOPS 317445 HAS SOUS 167935 HAS SOUPS 167935 WITH SCORE 168252.445
AT ITER 606 NEW BEST:: SOT 513669 SOS 317107 HAS SOPS 317107 HAS SOUS 167597 HAS SOUPS 167597 WITH SCORE 167914.107
AT ITER 618 NEW BEST:: SOT 513238 SOS 315852 HAS SOPS 315852 HAS SOUS 166342 HAS SOUPS 166342 WITH SCORE 166657.852
AT ITER 619 NEW BEST:: SOT 512789 SOS 315751 HAS SOPS 315751 HAS SOUS 165745 HAS SOUPS 165745 WITH SCORE 166060.751
AT ITER 641 NEW BEST:: SOT 512726 SOS 315688 HAS SOPS 315688 HAS SOUS 165619 HAS SOUPS 165619 WITH SCORE 165934.688
AT ITER 659 NEW BEST:: SOT 512017 SOS 314979 HAS SOPS 314979 HAS SOUS 164910 HAS SOUPS 164910 WITH SCORE 165224.979
AT ITER 665 NEW BEST:: SOT 512377 SOS 314976 HAS SOPS 314976 HAS SOUS 164764 HAS SOUPS 164764 WITH SCORE 165078.976
AT ITER 669 NEW BEST:: SOT 512377 SOS 314918 HAS SOPS 314918 HAS SOUS 164706 HAS SOUPS 164706 WITH SCORE 165020.918
AT ITER 673 NEW BEST:: SOT 512291 SOS 314918 HAS SOPS 314918 HAS SOUS 164705 HAS SOUPS 164705 WITH SCORE 165019.918
AT ITER 681 NEW BEST:: SOT 512291 SOS 314851 HAS SOPS 314851 HAS SOUS 164705 HAS SOUPS 164705 WITH SCORE 165019.851
AT ITER 686 NEW BEST:: SOT 511961 SOS 314521 HAS SOPS 314521 HAS SOUS 164681 HAS SOUPS 164681 WITH SCORE 164995.521
AT ITER 688 NEW BEST:: SOT 511753 SOS 314304 HAS SOPS 314304 HAS SOUS 164464 HAS SOUPS 164464 WITH SCORE 164778.304
AT ITER 692 NEW BEST:: SOT 511753 SOS 314256 HAS SOPS 314256 HAS SOUS 164425 HAS SOUPS 164425 WITH SCORE 164739.256
AT ITER 694 NEW BEST:: SOT 505565 SOS 311686 HAS SOPS 311686 HAS SOUS 158414 HAS SOUPS 158414 WITH SCORE 158725.686
AT ITER 728 NEW BEST:: SOT 505491 SOS 311426 HAS SOPS 311426 HAS SOUS 157998 HAS SOUPS 157998 WITH SCORE 158309.426
AT ITER 739 NEW BEST:: SOT 505549 SOS 311765 HAS SOPS 311765 HAS SOUS 157992 HAS SOUPS 157992 WITH SCORE 158303.765
AT ITER 744 NEW BEST:: SOT 505470 SOS 311686 HAS SOPS 311686 HAS SOUS 157896 HAS SOUPS 157896 WITH SCORE 158207.686
AT ITER 760 NEW BEST:: SOT 505639 SOS 311541 HAS SOPS 311541 HAS SOUS 157751 HAS SOUPS 157751 WITH SCORE 158062.541
AT ITER 765 NEW BEST:: SOT 505638 SOS 310484 HAS SOPS 310484 HAS SOUS 157610 HAS SOUPS 157610 WITH SCORE 157920.484
AT ITER 767 NEW BEST:: SOT 505637 SOS 310481 HAS SOPS 310481 HAS SOUS 157607 HAS SOUPS 157607 WITH SCORE 157917.481
AT ITER 777 NEW BEST:: SOT 504313 SOS 310013 HAS SOPS 310013 HAS SOUS 156498 HAS SOUPS 156498 WITH SCORE 156808.013
AT ITER 778 NEW BEST:: SOT 503967 SOS 309626 HAS SOPS 309626 HAS SOUS 156111 HAS SOUPS 156111 WITH SCORE 156420.626
AT ITER 781 NEW BEST:: SOT 503965 SOS 309598 HAS SOPS 309598 HAS SOUS 156103 HAS SOUPS 156103 WITH SCORE 156412.598
AT ITER 784 NEW BEST:: SOT 503920 SOS 309553 HAS SOPS 309553 HAS SOUS 155946 HAS SOUPS 155946 WITH SCORE 156255.553
AT ITER 790 NEW BEST:: SOT 504095 SOS 309457 HAS SOPS 309457 HAS SOUS 155858 HAS SOUPS 155858 WITH SCORE 156167.457
AT ITER 799 NEW BEST:: SOT 503745 SOS 309107 HAS SOPS 309107 HAS SOUS 155488 HAS SOUPS 155488 WITH SCORE 155797.107
AT ITER 807 NEW BEST:: SOT 503654 SOS 308922 HAS SOPS 308922 HAS SOUS 155303 HAS SOUPS 155303 WITH SCORE 155611.922
AT ITER 820 NEW BEST:: SOT 503532 SOS 308800 HAS SOPS 308800 HAS SOUS 155154 HAS SOUPS 155154 WITH SCORE 155462.8
AT ITER 833 NEW BEST:: SOT 503362 SOS 308374 HAS SOPS 308374 HAS SOUS 154941 HAS SOUPS 154941 WITH SCORE 155249.374
AT ITER 834 NEW BEST:: SOT 503362 SOS 308578 HAS SOPS 308578 HAS SOUS 154923 HAS SOUPS 154923 WITH SCORE 155231.578
AT ITER 835 NEW BEST:: SOT 503366 SOS 307846 HAS SOPS 307846 HAS SOUS 154191 HAS SOUPS 154191 WITH SCORE 154498.846
AT ITER 838 NEW BEST:: SOT 503214 SOS 307733 HAS SOPS 307733 HAS SOUS 154100 HAS SOUPS 154100 WITH SCORE 154407.733
AT ITER 847 NEW BEST:: SOT 503088 SOS 307607 HAS SOPS 307607 HAS SOUS 154002 HAS SOUPS 154002 WITH SCORE 154309.607
AT ITER 854 NEW BEST:: SOT 503081 SOS 307599 HAS SOPS 307599 HAS SOUS 153994 HAS SOUPS 153994 WITH SCORE 154301.599
AT ITER 857 NEW BEST:: SOT 503081 SOS 307598 HAS SOPS 307598 HAS SOUS 153978 HAS SOUPS 153978 WITH SCORE 154285.598
AT ITER 859 NEW BEST:: SOT 502623 SOS 307140 HAS SOPS 307140 HAS SOUS 153520 HAS SOUPS 153520 WITH SCORE 153827.14
AT ITER 864 NEW BEST:: SOT 502623 SOS 306924 HAS SOPS 306924 HAS SOUS 153304 HAS SOUPS 153304 WITH SCORE 153610.924
AT ITER 879 NEW BEST:: SOT 502367 SOS 306751 HAS SOPS 306751 HAS SOUS 153131 HAS SOUPS 153131 WITH SCORE 153437.751
AT ITER 886 NEW BEST:: SOT 502325 SOS 306189 HAS SOPS 306189 HAS SOUS 152933 HAS SOUPS 152933 WITH SCORE 153239.189
AT ITER 888 NEW BEST:: SOT 502078 SOS 305944 HAS SOPS 305944 HAS SOUS 152194 HAS SOUPS 152194 WITH SCORE 152499.944
AT ITER 889 NEW BEST:: SOT 497618 SOS 301483 HAS SOPS 301483 HAS SOUS 147728 HAS SOUPS 147728 WITH SCORE 148029.483
AT ITER 902 NEW BEST:: SOT 497565 SOS 301428 HAS SOPS 301428 HAS SOUS 147717 HAS SOUPS 147717 WITH SCORE 148018.428
AT ITER 908 NEW BEST:: SOT 497524 SOS 301387 HAS SOPS 301387 HAS SOUS 147716 HAS SOUPS 147716 WITH SCORE 148017.387
AT ITER 912 NEW BEST:: SOT 497524 SOS 301197 HAS SOPS 301197 HAS SOUS 147716 HAS SOUPS 147716 WITH SCORE 148017.197
AT ITER 914 NEW BEST:: SOT 497187 SOS 300411 HAS SOPS 300411 HAS SOUS 147040 HAS SOUPS 147040 WITH SCORE 147340.411
AT ITER 931 NEW BEST:: SOT 497180 SOS 300397 HAS SOPS 300397 HAS SOUS 147026 HAS SOUPS 147026 WITH SCORE 147326.397
AT ITER 954 NEW BEST:: SOT 497152 SOS 300367 HAS SOPS 300367 HAS SOUS 146996 HAS SOUPS 146996 WITH SCORE 147296.367
AT ITER 973 NEW BEST:: SOT 497208 SOS 300359 HAS SOPS 300359 HAS SOUS 146988 HAS SOUPS 146988 WITH SCORE 147288.359
AT ITER 974 NEW BEST:: SOT 494607 SOS 299034 HAS SOPS 299034 HAS SOUS 144939 HAS SOUPS 144939 WITH SCORE 145238.034
AT ITER 980 NEW BEST:: SOT 494607 SOS 298668 HAS SOPS 298668 HAS SOUS 144573 HAS SOUPS 144573 WITH SCORE 144871.668
AT ITER 1006 NEW BEST:: SOT 494577 SOS 298638 HAS SOPS 298638 HAS SOUS 144543 HAS SOUPS 144543 WITH SCORE 144841.638
AT ITER 1009 NEW BEST:: SOT 494555 SOS 298616 HAS SOPS 298616 HAS SOUS 144499 HAS SOUPS 144499 WITH SCORE 144797.616
AT ITER 1013 NEW BEST:: SOT 494554 SOS 298615 HAS SOPS 298615 HAS SOUS 144497 HAS SOUPS 144497 WITH SCORE 144795.615
AT ITER 1020 NEW BEST:: SOT 494509 SOS 298435 HAS SOPS 298435 HAS SOUS 144407 HAS SOUPS 144407 WITH SCORE 144705.435
AT ITER 1021 NEW BEST:: SOT 494352 SOS 298278 HAS SOPS 298278 HAS SOUS 144250 HAS SOUPS 144250 WITH SCORE 144548.278
AT ITER 1026 NEW BEST:: SOT 494127 SOS 297742 HAS SOPS 297742 HAS SOUS 144023 HAS SOUPS 144023 WITH SCORE 144320.742
AT ITER 1030 NEW BEST:: SOT 494119 SOS 297717 HAS SOPS 297717 HAS SOUS 143998 HAS SOUPS 143998 WITH SCORE 144295.717
AT ITER 1031 NEW BEST:: SOT 494027 SOS 297625 HAS SOPS 297625 HAS SOUS 143816 HAS SOUPS 143816 WITH SCORE 144113.625
AT ITER 1042 NEW BEST:: SOT 493838 SOS 297247 HAS SOPS 297247 HAS SOUS 143438 HAS SOUPS 143438 WITH SCORE 143735.247
AT ITER 1052 NEW BEST:: SOT 492188 SOS 300600 HAS SOPS 300600 HAS SOUS 142219 HAS SOUPS 142219 WITH SCORE 142519.6
AT ITER 1053 NEW BEST:: SOT 492188 SOS 300045 HAS SOPS 300045 HAS SOUS 142219 HAS SOUPS 142219 WITH SCORE 142519.045
AT ITER 1061 NEW BEST:: SOT 492188 SOS 300042 HAS SOPS 300042 HAS SOUS 142216 HAS SOUPS 142216 WITH SCORE 142516.042
AT ITER 1083 NEW BEST:: SOT 491879 SOS 299787 HAS SOPS 299787 HAS SOUS 141953 HAS SOUPS 141953 WITH SCORE 142252.787
AT ITER 1103 NEW BEST:: SOT 491729 SOS 299245 HAS SOPS 299245 HAS SOUS 141654 HAS SOUPS 141654 WITH SCORE 141953.245
AT ITER 1105 NEW BEST:: SOT 491004 SOS 298332 HAS SOPS 298332 HAS SOUS 140741 HAS SOUPS 140741 WITH SCORE 141039.332
AT ITER 1110 NEW BEST:: SOT 491206 SOS 298247 HAS SOPS 298247 HAS SOUS 140656 HAS SOUPS 140656 WITH SCORE 140954.247
AT ITER 1115 NEW BEST:: SOT 491204 SOS 298127 HAS SOPS 298127 HAS SOUS 140652 HAS SOUPS 140652 WITH SCORE 140950.127
AT ITER 1124 NEW BEST:: SOT 491111 SOS 298034 HAS SOPS 298034 HAS SOUS 140559 HAS SOUPS 140559 WITH SCORE 140857.034
AT ITER 1126 NEW BEST:: SOT 491082 SOS 298005 HAS SOPS 298005 HAS SOUS 140528 HAS SOUPS 140528 WITH SCORE 140826.005
AT ITER 1131 NEW BEST:: SOT 490815 SOS 297286 HAS SOPS 297286 HAS SOUS 139577 HAS SOUPS 139577 WITH SCORE 139874.286
AT ITER 1156 NEW BEST:: SOT 490883 SOS 297354 HAS SOPS 297354 HAS SOUS 139285 HAS SOUPS 139285 WITH SCORE 139582.354
AT ITER 1170 NEW BEST:: SOT 490883 SOS 298240 HAS SOPS 298240 HAS SOUS 139238 HAS SOUPS 139238 WITH SCORE 139536.24
AT ITER 1171 NEW BEST:: SOT 490871 SOS 298217 HAS SOPS 298217 HAS SOUS 139225 HAS SOUPS 139225 WITH SCORE 139523.217
AT ITER 1182 NEW BEST:: SOT 490865 SOS 298211 HAS SOPS 298211 HAS SOUS 139219 HAS SOUPS 139219 WITH SCORE 139517.211
AT ITER 1192 NEW BEST:: SOT 490855 SOS 298201 HAS SOPS 298201 HAS SOUS 139209 HAS SOUPS 139209 WITH SCORE 139507.201
AT ITER 1195 NEW BEST:: SOT 490821 SOS 298099 HAS SOPS 298099 HAS SOUS 139107 HAS SOUPS 139107 WITH SCORE 139405.099
AT ITER 1208 NEW BEST:: SOT 490789 SOS 298105 HAS SOPS 298105 HAS SOUS 139078 HAS SOUPS 139078 WITH SCORE 139376.105
AT ITER 1210 NEW BEST:: SOT 490789 SOS 298096 HAS SOPS 298096 HAS SOUS 139069 HAS SOUPS 139069 WITH SCORE 139367.096
AT ITER 1221 NEW BEST:: SOT 490828 SOS 297829 HAS SOPS 297829 HAS SOUS 138802 HAS SOUPS 138802 WITH SCORE 139099.829
AT ITER 1236 NEW BEST:: SOT 490704 SOS 297705 HAS SOPS 297705 HAS SOUS 138678 HAS SOUPS 138678 WITH SCORE 138975.705
AT ITER 1239 NEW BEST:: SOT 490768 SOS 296831 HAS SOPS 296831 HAS SOUS 138563 HAS SOUPS 138563 WITH SCORE 138859.831
AT ITER 1240 NEW BEST:: SOT 490026 SOS 296083 HAS SOPS 296083 HAS SOUS 137815 HAS SOUPS 137815 WITH SCORE 138111.083
AT ITER 1244 NEW BEST:: SOT 490023 SOS 296021 HAS SOPS 296021 HAS SOUS 137753 HAS SOUPS 137753 WITH SCORE 138049.021
AT ITER 1250 NEW BEST:: SOT 490022 SOS 296020 HAS SOPS 296020 HAS SOUS 137751 HAS SOUPS 137751 WITH SCORE 138047.02
AT ITER 1252 NEW BEST:: SOT 490271 SOS 293381 HAS SOPS 293381 HAS SOUS 137457 HAS SOUPS 137457 WITH SCORE 137750.381
AT ITER 1278 NEW BEST:: SOT 490237 SOS 293347 HAS SOPS 293347 HAS SOUS 137423 HAS SOUPS 137423 WITH SCORE 137716.347
AT ITER 1284 NEW BEST:: SOT 490237 SOS 293345 HAS SOPS 293345 HAS SOUS 137421 HAS SOUPS 137421 WITH SCORE 137714.345
AT ITER 1288 NEW BEST:: SOT 490237 SOS 293345 HAS SOPS 293345 HAS SOUS 137255 HAS SOUPS 137255 WITH SCORE 137548.345
AT ITER 1294 NEW BEST:: SOT 489937 SOS 292790 HAS SOPS 292790 HAS SOUS 136883 HAS SOUPS 136883 WITH SCORE 137175.79
AT ITER 1302 NEW BEST:: SOT 489937 SOS 292774 HAS SOPS 292774 HAS SOUS 136879 HAS SOUPS 136879 WITH SCORE 137171.774
AT ITER 1310 NEW BEST:: SOT 489933 SOS 293097 HAS SOPS 293097 HAS SOUS 136856 HAS SOUPS 136856 WITH SCORE 137149.097
AT ITER 1314 NEW BEST:: SOT 489908 SOS 293087 HAS SOPS 293087 HAS SOUS 136846 HAS SOUPS 136846 WITH SCORE 137139.087
AT ITER 1315 NEW BEST:: SOT 489658 SOS 292837 HAS SOPS 292837 HAS SOUS 136596 HAS SOUPS 136596 WITH SCORE 136888.837
AT ITER 1321 NEW BEST:: SOT 489022 SOS 292201 HAS SOPS 292201 HAS SOUS 135960 HAS SOUPS 135960 WITH SCORE 136252.201
AT ITER 1326 NEW BEST:: SOT 489022 SOS 292190 HAS SOPS 292190 HAS SOUS 135949 HAS SOUPS 135949 WITH SCORE 136241.19
AT ITER 1334 NEW BEST:: SOT 488954 SOS 292119 HAS SOPS 292119 HAS SOUS 135935 HAS SOUPS 135935 WITH SCORE 136227.119
AT ITER 1337 NEW BEST:: SOT 488865 SOS 292071 HAS SOPS 292071 HAS SOUS 135906 HAS SOUPS 135906 WITH SCORE 136198.071
AT ITER 1341 NEW BEST:: SOT 488852 SOS 292045 HAS SOPS 292045 HAS SOUS 135892 HAS SOUPS 135892 WITH SCORE 136184.045
AT ITER 1345 NEW BEST:: SOT 488526 SOS 291719 HAS SOPS 291719 HAS SOUS 135566 HAS SOUPS 135566 WITH SCORE 135857.719
AT ITER 1347 NEW BEST:: SOT 488432 SOS 291625 HAS SOPS 291625 HAS SOUS 135472 HAS SOUPS 135472 WITH SCORE 135763.625
AT ITER 1378 NEW BEST:: SOT 488432 SOS 291619 HAS SOPS 291619 HAS SOUS 135466 HAS SOUPS 135466 WITH SCORE 135757.619
AT ITER 1400 NEW BEST:: SOT 488124 SOS 291273 HAS SOPS 291273 HAS SOUS 135120 HAS SOUPS 135120 WITH SCORE 135411.273
AT ITER 1432 NEW BEST:: SOT 488115 SOS 291264 HAS SOPS 291264 HAS SOUS 135111 HAS SOUPS 135111 WITH SCORE 135402.264
AT ITER 1433 NEW BEST:: SOT 488042 SOS 291191 HAS SOPS 291191 HAS SOUS 135016 HAS SOUPS 135016 WITH SCORE 135307.191
AT ITER 1435 NEW BEST:: SOT 488013 SOS 291130 HAS SOPS 291130 HAS SOUS 134955 HAS SOUPS 134955 WITH SCORE 135246.13
AT ITER 1444 NEW BEST:: SOT 487905 SOS 291055 HAS SOPS 291055 HAS SOUS 134940 HAS SOUPS 134940 WITH SCORE 135231.055
AT ITER 1459 NEW BEST:: SOT 487577 SOS 290768 HAS SOPS 290768 HAS SOUS 134653 HAS SOUPS 134653 WITH SCORE 134943.768
AT ITER 1474 NEW BEST:: SOT 487418 SOS 290232 HAS SOPS 290232 HAS SOUS 134227 HAS SOUPS 134227 WITH SCORE 134517.232
AT ITER 1475 NEW BEST:: SOT 487412 SOS 289884 HAS SOPS 289884 HAS SOUS 133991 HAS SOUPS 133991 WITH SCORE 134280.884
AT ITER 1479 NEW BEST:: SOT 487686 SOS 289983 HAS SOPS 289983 HAS SOUS 133963 HAS SOUPS 133963 WITH SCORE 134252.983
AT ITER 1481 NEW BEST:: SOT 487686 SOS 288851 HAS SOPS 288851 HAS SOUS 133962 HAS SOUPS 133962 WITH SCORE 134250.851
AT ITER 1483 NEW BEST:: SOT 487239 SOS 288480 HAS SOPS 288480 HAS SOUS 133707 HAS SOUPS 133707 WITH SCORE 133995.48
AT ITER 1487 NEW BEST:: SOT 487070 SOS 287966 HAS SOPS 287966 HAS SOUS 133597 HAS SOUPS 133597 WITH SCORE 133884.966
AT ITER 1500 NEW BEST:: SOT 487083 SOS 287927 HAS SOPS 287927 HAS SOUS 133585 HAS SOUPS 133585 WITH SCORE 133872.927
AT ITER 1504 NEW BEST:: SOT 487097 SOS 288367 HAS SOPS 288367 HAS SOUS 133581 HAS SOUPS 133581 WITH SCORE 133869.367
AT ITER 1514 NEW BEST:: SOT 487103 SOS 288251 HAS SOPS 288251 HAS SOUS 133307 HAS SOUPS 133307 WITH SCORE 133595.251
AT ITER 1516 NEW BEST:: SOT 486981 SOS 288022 HAS SOPS 288022 HAS SOUS 133078 HAS SOUPS 133078 WITH SCORE 133366.022
AT ITER 1520 NEW BEST:: SOT 486981 SOS 287982 HAS SOPS 287982 HAS SOUS 133038 HAS SOUPS 133038 WITH SCORE 133325.982
AT ITER 1542 NEW BEST:: SOT 487077 SOS 288258 HAS SOPS 288258 HAS SOUS 132985 HAS SOUPS 132985 WITH SCORE 133273.258
AT ITER 1554 NEW BEST:: SOT 487076 SOS 288257 HAS SOPS 288257 HAS SOUS 132983 HAS SOUPS 132983 WITH SCORE 133271.257
AT ITER 1572 NEW BEST:: SOT 487057 SOS 288187 HAS SOPS 288187 HAS SOUS 132928 HAS SOUPS 132928 WITH SCORE 133216.187
AT ITER 1578 NEW BEST:: SOT 487046 SOS 288176 HAS SOPS 288176 HAS SOUS 132917 HAS SOUPS 132917 WITH SCORE 133205.176
AT ITER 1582 NEW BEST:: SOT 486982 SOS 288112 HAS SOPS 288112 HAS SOUS 132853 HAS SOUPS 132853 WITH SCORE 133141.112
AT ITER 1588 NEW BEST:: SOT 486979 SOS 288109 HAS SOPS 288109 HAS SOUS 132850 HAS SOUPS 132850 WITH SCORE 133138.109
AT ITER 1590 NEW BEST:: SOT 486794 SOS 287882 HAS SOPS 287882 HAS SOUS 132606 HAS SOUPS 132606 WITH SCORE 132893.882
AT ITER 1599 NEW BEST:: SOT 486757 SOS 287823 HAS SOPS 287823 HAS SOUS 132201 HAS SOUPS 132201 WITH SCORE 132488.823
AT ITER 1600 NEW BEST:: SOT 486743 SOS 287767 HAS SOPS 287767 HAS SOUS 132173 HAS SOUPS 132173 WITH SCORE 132460.767
AT ITER 1607 NEW BEST:: SOT 486724 SOS 287748 HAS SOPS 287748 HAS SOUS 132154 HAS SOUPS 132154 WITH SCORE 132441.748
AT ITER 1614 NEW BEST:: SOT 485674 SOS 290600 HAS SOPS 290600 HAS SOUS 132113 HAS SOUPS 132113 WITH SCORE 132403.6
AT ITER 1638 NEW BEST:: SOT 485668 SOS 290594 HAS SOPS 290594 HAS SOUS 132107 HAS SOUPS 132107 WITH SCORE 132397.594
AT ITER 1642 NEW BEST:: SOT 485613 SOS 290539 HAS SOPS 290539 HAS SOUS 131997 HAS SOUPS 131997 WITH SCORE 132287.539
AT ITER 1645 NEW BEST:: SOT 485617 SOS 290466 HAS SOPS 290466 HAS SOUS 131982 HAS SOUPS 131982 WITH SCORE 132272.466
AT ITER 1650 NEW BEST:: SOT 485507 SOS 290390 HAS SOPS 290390 HAS SOUS 131955 HAS SOUPS 131955 WITH SCORE 132245.39
AT ITER 1653 NEW BEST:: SOT 485426 SOS 290309 HAS SOPS 290309 HAS SOUS 131849 HAS SOUPS 131849 WITH SCORE 132139.309
AT ITER 1660 NEW BEST:: SOT 485296 SOS 290114 HAS SOPS 290114 HAS SOUS 131654 HAS SOUPS 131654 WITH SCORE 131944.114
AT ITER 1668 NEW BEST:: SOT 485292 SOS 290110 HAS SOPS 290110 HAS SOUS 131646 HAS SOUPS 131646 WITH SCORE 131936.11
AT ITER 1690 NEW BEST:: SOT 485250 SOS 290068 HAS SOPS 290068 HAS SOUS 131604 HAS SOUPS 131604 WITH SCORE 131894.068
AT ITER 1699 NEW BEST:: SOT 484754 SOS 289857 HAS SOPS 289857 HAS SOUS 131443 HAS SOUPS 131443 WITH SCORE 131732.857
AT ITER 1703 NEW BEST:: SOT 484580 SOS 289851 HAS SOPS 289851 HAS SOUS 131245 HAS SOUPS 131245 WITH SCORE 131534.851
AT ITER 1717 NEW BEST:: SOT 484564 SOS 290737 HAS SOPS 290737 HAS SOUS 131228 HAS SOUPS 131228 WITH SCORE 131518.737
AT ITER 1722 NEW BEST:: SOT 484567 SOS 289910 HAS SOPS 289910 HAS SOUS 130939 HAS SOUPS 130939 WITH SCORE 131228.91
AT ITER 1727 NEW BEST:: SOT 484526 SOS 289869 HAS SOPS 289869 HAS SOUS 130898 HAS SOUPS 130898 WITH SCORE 131187.869
AT ITER 1741 NEW BEST:: SOT 484505 SOS 289848 HAS SOPS 289848 HAS SOUS 130877 HAS SOUPS 130877 WITH SCORE 131166.848
AT ITER 1749 NEW BEST:: SOT 484501 SOS 289780 HAS SOPS 289780 HAS SOUS 130875 HAS SOUPS 130875 WITH SCORE 131164.78
AT ITER 1755 NEW BEST:: SOT 484501 SOS 290029 HAS SOPS 290029 HAS SOUS 130626 HAS SOUPS 130626 WITH SCORE 130916.029
AT ITER 1757 NEW BEST:: SOT 484499 SOS 290027 HAS SOPS 290027 HAS SOUS 130624 HAS SOUPS 130624 WITH SCORE 130914.027
AT ITER 1758 NEW BEST:: SOT 484478 SOS 289948 HAS SOPS 289948 HAS SOUS 130560 HAS SOUPS 130560 WITH SCORE 130849.948
AT ITER 1764 NEW BEST:: SOT 484741 SOS 289522 HAS SOPS 289522 HAS SOUS 130148 HAS SOUPS 130148 WITH SCORE 130437.522
AT ITER 1765 NEW BEST:: SOT 484719 SOS 289500 HAS SOPS 289500 HAS SOUS 130126 HAS SOUPS 130126 WITH SCORE 130415.5
AT ITER 1769 NEW BEST:: SOT 484718 SOS 289499 HAS SOPS 289499 HAS SOUS 130124 HAS SOUPS 130124 WITH SCORE 130413.499
AT ITER 1770 NEW BEST:: SOT 484496 SOS 287371 HAS SOPS 287371 HAS SOUS 129836 HAS SOUPS 129836 WITH SCORE 130123.371
AT ITER 1775 NEW BEST:: SOT 484481 SOS 287271 HAS SOPS 287271 HAS SOUS 129738 HAS SOUPS 129738 WITH SCORE 130025.271
AT ITER 1791 NEW BEST:: SOT 484348 SOS 287006 HAS SOPS 287006 HAS SOUS 129473 HAS SOUPS 129473 WITH SCORE 129760.006
AT ITER 1831 NEW BEST:: SOT 484348 SOS 286996 HAS SOPS 286996 HAS SOUS 129463 HAS SOUPS 129463 WITH SCORE 129749.996
AT ITER 1834 NEW BEST:: SOT 484348 SOS 287055 HAS SOPS 287055 HAS SOUS 129434 HAS SOUPS 129434 WITH SCORE 129721.055
AT ITER 1840 NEW BEST:: SOT 484340 SOS 287075 HAS SOPS 287075 HAS SOUS 129360 HAS SOUPS 129360 WITH SCORE 129647.075
AT ITER 1865 NEW BEST:: SOT 484566 SOS 287157 HAS SOPS 287157 HAS SOUS 129310 HAS SOUPS 129310 WITH SCORE 129597.157
AT ITER 1868 NEW BEST:: SOT 484565 SOS 287156 HAS SOPS 287156 HAS SOUS 129308 HAS SOUPS 129308 WITH SCORE 129595.156
AT ITER 1875 NEW BEST:: SOT 484565 SOS 287156 HAS SOPS 287156 HAS SOUS 129185 HAS SOUPS 129185 WITH SCORE 129472.156
AT ITER 1894 NEW BEST:: SOT 484461 SOS 287052 HAS SOPS 287052 HAS SOUS 129081 HAS SOUPS 129081 WITH SCORE 129368.052
AT ITER 1920 NEW BEST:: SOT 484619 SOS 286884 HAS SOPS 286884 HAS SOUS 129037 HAS SOUPS 129037 WITH SCORE 129323.884
AT ITER 1938 NEW BEST:: SOT 484092 SOS 286578 HAS SOPS 286578 HAS SOUS 128811 HAS SOUPS 128811 WITH SCORE 129097.578
AT ITER 1941 NEW BEST:: SOT 484026 SOS 286446 HAS SOPS 286446 HAS SOUS 128684 HAS SOUPS 128684 WITH SCORE 128970.446
AT ITER 1963 NEW BEST:: SOT 484044 SOS 283981 HAS SOPS 283981 HAS SOUS 128161 HAS SOUPS 128161 WITH SCORE 128444.981
AT ITER 1978 NEW BEST:: SOT 483727 SOS 283620 HAS SOPS 283620 HAS SOUS 127800 HAS SOUPS 127800 WITH SCORE 128083.62
AT ITER 1985 NEW BEST:: SOT 483698 SOS 283578 HAS SOPS 283578 HAS SOUS 127758 HAS SOUPS 127758 WITH SCORE 128041.578
AT ITER 2006 NEW BEST:: SOT 483464 SOS 283265 HAS SOPS 283265 HAS SOUS 127445 HAS SOUPS 127445 WITH SCORE 127728.265
AT ITER 2013 NEW BEST:: SOT 484032 SOS 282727 HAS SOPS 282727 HAS SOUS 127351 HAS SOUPS 127351 WITH SCORE 127633.727
AT ITER 2026 NEW BEST:: SOT 484032 SOS 282301 HAS SOPS 282301 HAS SOUS 127351 HAS SOUPS 127351 WITH SCORE 127633.301
AT ITER 2028 NEW BEST:: SOT 484080 SOS 282304 HAS SOPS 282304 HAS SOUS 127345 HAS SOUPS 127345 WITH SCORE 127627.304
AT ITER 2045 NEW BEST:: SOT 484080 SOS 282016 HAS SOPS 282016 HAS SOUS 127345 HAS SOUPS 127345 WITH SCORE 127627.016
AT ITER 2046 NEW BEST:: SOT 484190 SOS 282126 HAS SOPS 282126 HAS SOUS 127292 HAS SOUPS 127292 WITH SCORE 127574.126
AT ITER 2062 NEW BEST:: SOT 484182 SOS 282064 HAS SOPS 282064 HAS SOUS 127115 HAS SOUPS 127115 WITH SCORE 127397.064
AT ITER 2081 NEW BEST:: SOT 484248 SOS 282054 HAS SOPS 282054 HAS SOUS 127105 HAS SOUPS 127105 WITH SCORE 127387.054
AT ITER 2086 NEW BEST:: SOT 484205 SOS 281894 HAS SOPS 281894 HAS SOUS 126945 HAS SOUPS 126945 WITH SCORE 127226.894
AT ITER 2090 NEW BEST:: SOT 482346 SOS 280035 HAS SOPS 280035 HAS SOUS 124837 HAS SOUPS 124837 WITH SCORE 125117.035
AT ITER 2098 NEW BEST:: SOT 482308 SOS 279959 HAS SOPS 279959 HAS SOUS 124771 HAS SOUPS 124771 WITH SCORE 125050.959
AT ITER 2141 NEW BEST:: SOT 482207 SOS 279671 HAS SOPS 279671 HAS SOUS 124352 HAS SOUPS 124352 WITH SCORE 124631.671
AT ITER 2153 NEW BEST:: SOT 482197 SOS 279661 HAS SOPS 279661 HAS SOUS 124332 HAS SOUPS 124332 WITH SCORE 124611.661
AT ITER 2157 NEW BEST:: SOT 482188 SOS 279859 HAS SOPS 279859 HAS SOUS 124098 HAS SOUPS 124098 WITH SCORE 124377.859
AT ITER 2163 NEW BEST:: SOT 482188 SOS 279821 HAS SOPS 279821 HAS SOUS 124060 HAS SOUPS 124060 WITH SCORE 124339.821
AT ITER 2168 NEW BEST:: SOT 482090 SOS 279625 HAS SOPS 279625 HAS SOUS 123864 HAS SOUPS 123864 WITH SCORE 124143.625
AT ITER 2171 NEW BEST:: SOT 481973 SOS 279656 HAS SOPS 279656 HAS SOUS 123846 HAS SOUPS 123846 WITH SCORE 124125.656
AT ITER 2193 NEW BEST:: SOT 481892 SOS 279046 HAS SOPS 279046 HAS SOUS 123757 HAS SOUPS 123757 WITH SCORE 124036.046
AT ITER 2200 NEW BEST:: SOT 481892 SOS 279040 HAS SOPS 279040 HAS SOUS 123751 HAS SOUPS 123751 WITH SCORE 124030.04
AT ITER 2247 NEW BEST:: SOT 479831 SOS 277720 HAS SOPS 277720 HAS SOUS 121642 HAS SOUPS 121642 WITH SCORE 121919.72
AT ITER 2273 NEW BEST:: SOT 479772 SOS 277322 HAS SOPS 277322 HAS SOUS 121169 HAS SOUPS 121169 WITH SCORE 121446.322
AT ITER 2299 NEW BEST:: SOT 479817 SOS 277403 HAS SOPS 277403 HAS SOUS 121101 HAS SOUPS 121101 WITH SCORE 121378.403
AT ITER 2307 NEW BEST:: SOT 479816 SOS 277387 HAS SOPS 277387 HAS SOUS 121064 HAS SOUPS 121064 WITH SCORE 121341.387
AT ITER 2321 NEW BEST:: SOT 479692 SOS 273328 HAS SOPS 273328 HAS SOUS 120912 HAS SOUPS 120912 WITH SCORE 121185.328
AT ITER 2323 NEW BEST:: SOT 479692 SOS 272600 HAS SOPS 272600 HAS SOUS 120774 HAS SOUPS 120774 WITH SCORE 121046.6
AT ITER 2333 NEW BEST:: SOT 479692 SOS 272544 HAS SOPS 272544 HAS SOUS 120709 HAS SOUPS 120709 WITH SCORE 120981.544
AT ITER 2344 NEW BEST:: SOT 480195 SOS 272854 HAS SOPS 272854 HAS SOUS 120707 HAS SOUPS 120707 WITH SCORE 120979.854
AT ITER 2349 NEW BEST:: SOT 480195 SOS 272854 HAS SOPS 272854 HAS SOUS 120421 HAS SOUPS 120421 WITH SCORE 120693.854
AT ITER 2356 NEW BEST:: SOT 479960 SOS 272619 HAS SOPS 272619 HAS SOUS 120186 HAS SOUPS 120186 WITH SCORE 120458.619
AT ITER 2360 NEW BEST:: SOT 480204 SOS 271727 HAS SOPS 271727 HAS SOUS 120146 HAS SOUPS 120146 WITH SCORE 120417.727
AT ITER 2373 NEW BEST:: SOT 480032 SOS 271562 HAS SOPS 271562 HAS SOUS 119981 HAS SOUPS 119981 WITH SCORE 120252.562
AT ITER 2386 NEW BEST:: SOT 480032 SOS 271562 HAS SOPS 271562 HAS SOUS 119974 HAS SOUPS 119974 WITH SCORE 120245.562
AT ITER 2401 NEW BEST:: SOT 480005 SOS 271508 HAS SOPS 271508 HAS SOUS 119920 HAS SOUPS 119920 WITH SCORE 120191.508
AT ITER 2406 NEW BEST:: SOT 480005 SOS 271341 HAS SOPS 271341 HAS SOUS 119919 HAS SOUPS 119919 WITH SCORE 120190.341
AT ITER 2411 NEW BEST:: SOT 480005 SOS 271327 HAS SOPS 271327 HAS SOUS 119905 HAS SOUPS 119905 WITH SCORE 120176.327
AT ITER 2441 NEW BEST:: SOT 479515 SOS 271645 HAS SOPS 271645 HAS SOUS 119532 HAS SOUPS 119532 WITH SCORE 119803.645
AT ITER 2444 NEW BEST:: SOT 479515 SOS 271591 HAS SOPS 271591 HAS SOUS 119532 HAS SOUPS 119532 WITH SCORE 119803.591
AT ITER 2457 NEW BEST:: SOT 479371 SOS 271447 HAS SOPS 271447 HAS SOUS 119244 HAS SOUPS 119244 WITH SCORE 119515.447
AT ITER 2464 NEW BEST:: SOT 480228 SOS 271371 HAS SOPS 271371 HAS SOUS 118966 HAS SOUPS 118966 WITH SCORE 119237.371
AT ITER 2467 NEW BEST:: SOT 480070 SOS 271880 HAS SOPS 271880 HAS SOUS 118796 HAS SOUPS 118796 WITH SCORE 119067.88
AT ITER 2474 NEW BEST:: SOT 479921 SOS 271731 HAS SOPS 271731 HAS SOUS 118508 HAS SOUPS 118508 WITH SCORE 118779.731
AT ITER 2478 NEW BEST:: SOT 479805 SOS 271727 HAS SOPS 271727 HAS SOUS 118446 HAS SOUPS 118446 WITH SCORE 118717.727
AT ITER 2485 NEW BEST:: SOT 479714 SOS 271624 HAS SOPS 271624 HAS SOUS 118342 HAS SOUPS 118342 WITH SCORE 118613.624
AT ITER 2489 NEW BEST:: SOT 479639 SOS 271569 HAS SOPS 271569 HAS SOUS 118341 HAS SOUPS 118341 WITH SCORE 118612.569
AT ITER 2513 NEW BEST:: SOT 479625 SOS 271678 HAS SOPS 271678 HAS SOUS 118292 HAS SOUPS 118292 WITH SCORE 118563.678
AT ITER 2516 NEW BEST:: SOT 479197 SOS 271483 HAS SOPS 271483 HAS SOUS 118025 HAS SOUPS 118025 WITH SCORE 118296.483
AT ITER 2528 NEW BEST:: SOT 479101 SOS 271387 HAS SOPS 271387 HAS SOUS 117929 HAS SOUPS 117929 WITH SCORE 118200.387
AT ITER 2538 NEW BEST:: SOT 479101 SOS 271275 HAS SOPS 271275 HAS SOUS 117791 HAS SOUPS 117791 WITH SCORE 118062.275
AT ITER 2547 NEW BEST:: SOT 479101 SOS 271423 HAS SOPS 271423 HAS SOUS 117764 HAS SOUPS 117764 WITH SCORE 118035.423
AT ITER 2548 NEW BEST:: SOT 479101 SOS 271306 HAS SOPS 271306 HAS SOUS 117598 HAS SOUPS 117598 WITH SCORE 117869.306
AT ITER 2565 NEW BEST:: SOT 479094 SOS 271292 HAS SOPS 271292 HAS SOUS 117584 HAS SOUPS 117584 WITH SCORE 117855.292
AT ITER 2572 NEW BEST:: SOT 478979 SOS 271322 HAS SOPS 271322 HAS SOUS 117557 HAS SOUPS 117557 WITH SCORE 117828.322
AT ITER 2584 NEW BEST:: SOT 478784 SOS 270757 HAS SOPS 270757 HAS SOUS 116992 HAS SOUPS 116992 WITH SCORE 117262.757
AT ITER 2587 NEW BEST:: SOT 478784 SOS 270709 HAS SOPS 270709 HAS SOUS 116944 HAS SOUPS 116944 WITH SCORE 117214.709
AT ITER 2617 NEW BEST:: SOT 478727 SOS 270782 HAS SOPS 270782 HAS SOUS 116941 HAS SOUPS 116941 WITH SCORE 117211.782
AT ITER 2628 NEW BEST:: SOT 478727 SOS 270698 HAS SOPS 270698 HAS SOUS 116899 HAS SOUPS 116899 WITH SCORE 117169.698
AT ITER 2647 NEW BEST:: SOT 478631 SOS 270554 HAS SOPS 270554 HAS SOUS 116755 HAS SOUPS 116755 WITH SCORE 117025.554
AT ITER 2650 NEW BEST:: SOT 478465 SOS 269622 HAS SOPS 269622 HAS SOUS 116565 HAS SOUPS 116565 WITH SCORE 116834.622
AT ITER 2659 NEW BEST:: SOT 478177 SOS 269181 HAS SOPS 269181 HAS SOUS 116124 HAS SOUPS 116124 WITH SCORE 116393.181
AT ITER 2670 NEW BEST:: SOT 478172 SOS 269094 HAS SOPS 269094 HAS SOUS 116114 HAS SOUPS 116114 WITH SCORE 116383.094
AT ITER 2679 NEW BEST:: SOT 478171 SOS 269093 HAS SOPS 269093 HAS SOUS 116113 HAS SOUPS 116113 WITH SCORE 116382.093
AT ITER 2682 NEW BEST:: SOT 478144 SOS 269066 HAS SOPS 269066 HAS SOUS 116067 HAS SOUPS 116067 WITH SCORE 116336.066
AT ITER 2685 NEW BEST:: SOT 478121 SOS 268997 HAS SOPS 268997 HAS SOUS 115998 HAS SOUPS 115998 WITH SCORE 116266.997
AT ITER 2688 NEW BEST:: SOT 478131 SOS 268968 HAS SOPS 268968 HAS SOUS 115826 HAS SOUPS 115826 WITH SCORE 116094.968
AT ITER 2695 NEW BEST:: SOT 478132 SOS 268999 HAS SOPS 268999 HAS SOUS 115792 HAS SOUPS 115792 WITH SCORE 116060.999
AT ITER 2696 NEW BEST:: SOT 478130 SOS 268997 HAS SOPS 268997 HAS SOUS 115788 HAS SOUPS 115788 WITH SCORE 116056.997
AT ITER 2698 NEW BEST:: SOT 478076 SOS 268889 HAS SOPS 268889 HAS SOUS 115680 HAS SOUPS 115680 WITH SCORE 115948.889
AT ITER 2704 NEW BEST:: SOT 477836 SOS 268073 HAS SOPS 268073 HAS SOUS 115429 HAS SOUPS 115429 WITH SCORE 115697.073
AT ITER 2726 NEW BEST:: SOT 477816 SOS 268013 HAS SOPS 268013 HAS SOUS 115369 HAS SOUPS 115369 WITH SCORE 115637.013
AT ITER 2754 NEW BEST:: SOT 477807 SOS 267986 HAS SOPS 267986 HAS SOUS 115342 HAS SOUPS 115342 WITH SCORE 115609.986
AT ITER 2755 NEW BEST:: SOT 477777 SOS 268001 HAS SOPS 268001 HAS SOUS 115336 HAS SOUPS 115336 WITH SCORE 115604.001
AT ITER 2764 NEW BEST:: SOT 477785 SOS 267976 HAS SOPS 267976 HAS SOUS 115251 HAS SOUPS 115251 WITH SCORE 115518.976
AT ITER 2771 NEW BEST:: SOT 477779 SOS 267609 HAS SOPS 267609 HAS SOUS 114884 HAS SOUPS 114884 WITH SCORE 115151.609
AT ITER 2780 NEW BEST:: SOT 477637 SOS 267467 HAS SOPS 267467 HAS SOUS 114742 HAS SOUPS 114742 WITH SCORE 115009.467
AT ITER 2787 NEW BEST:: SOT 477637 SOS 267217 HAS SOPS 267217 HAS SOUS 114675 HAS SOUPS 114675 WITH SCORE 114942.217
AT ITER 2794 NEW BEST:: SOT 477611 SOS 267184 HAS SOPS 267184 HAS SOUS 114642 HAS SOUPS 114642 WITH SCORE 114909.184
AT ITER 2802 NEW BEST:: SOT 477522 SOS 267095 HAS SOPS 267095 HAS SOUS 114642 HAS SOUPS 114642 WITH SCORE 114909.095
AT ITER 2803 NEW BEST:: SOT 477522 SOS 266458 HAS SOPS 266458 HAS SOUS 114402 HAS SOUPS 114402 WITH SCORE 114668.458
AT ITER 2804 NEW BEST:: SOT 477521 SOS 266456 HAS SOPS 266456 HAS SOUS 114400 HAS SOUPS 114400 WITH SCORE 114666.456
AT ITER 2828 NEW BEST:: SOT 477451 SOS 266321 HAS SOPS 266321 HAS SOUS 114265 HAS SOUPS 114265 WITH SCORE 114531.321
AT ITER 2840 NEW BEST:: SOT 477163 SOS 266164 HAS SOPS 266164 HAS SOUS 114077 HAS SOUPS 114077 WITH SCORE 114343.164
AT ITER 2844 NEW BEST:: SOT 477070 SOS 265959 HAS SOPS 265959 HAS SOUS 113755 HAS SOUPS 113755 WITH SCORE 114020.959
AT ITER 2859 NEW BEST:: SOT 477035 SOS 265468 HAS SOPS 265468 HAS SOUS 113538 HAS SOUPS 113538 WITH SCORE 113803.468
AT ITER 2864 NEW BEST:: SOT 476996 SOS 265339 HAS SOPS 265339 HAS SOUS 113460 HAS SOUPS 113460 WITH SCORE 113725.339
AT ITER 2875 NEW BEST:: SOT 476974 SOS 265317 HAS SOPS 265317 HAS SOUS 113373 HAS SOUPS 113373 WITH SCORE 113638.317
AT ITER 2894 NEW BEST:: SOT 476974 SOS 265317 HAS SOPS 265317 HAS SOUS 113372 HAS SOUPS 113372 WITH SCORE 113637.317
AT ITER 2908 NEW BEST:: SOT 476785 SOS 264939 HAS SOPS 264939 HAS SOUS 113183 HAS SOUPS 113183 WITH SCORE 113447.939
AT ITER 2913 NEW BEST:: SOT 476774 SOS 264908 HAS SOPS 264908 HAS SOUS 113152 HAS SOUPS 113152 WITH SCORE 113416.908
AT ITER 2936 NEW BEST:: SOT 476668 SOS 264871 HAS SOPS 264871 HAS SOUS 113058 HAS SOUPS 113058 WITH SCORE 113322.871
AT ITER 2938 NEW BEST:: SOT 476668 SOS 264869 HAS SOPS 264869 HAS SOUS 113056 HAS SOUPS 113056 WITH SCORE 113320.869
AT ITER 2952 NEW BEST:: SOT 476719 SOS 264844 HAS SOPS 264844 HAS SOUS 113034 HAS SOUPS 113034 WITH SCORE 113298.844
AT ITER 2953 NEW BEST:: SOT 476704 SOS 264604 HAS SOPS 264604 HAS SOUS 113004 HAS SOUPS 113004 WITH SCORE 113268.604
AT ITER 2987 NEW BEST:: SOT 476725 SOS 264625 HAS SOPS 264625 HAS SOUS 112962 HAS SOUPS 112962 WITH SCORE 113226.625
AT ITER 3018 NEW BEST:: SOT 476662 SOS 264137 HAS SOPS 264137 HAS SOUS 112671 HAS SOUPS 112671 WITH SCORE 112935.137
AT ITER 3019 NEW BEST:: SOT 476653 SOS 264119 HAS SOPS 264119 HAS SOUS 112662 HAS SOUPS 112662 WITH SCORE 112926.119
AT ITER 3062 NEW BEST:: SOT 476653 SOS 264115 HAS SOPS 264115 HAS SOUS 112660 HAS SOUPS 112660 WITH SCORE 112924.115
AT ITER 3069 NEW BEST:: SOT 476643 SOS 263925 HAS SOPS 263925 HAS SOUS 112588 HAS SOUPS 112588 WITH SCORE 112851.925
AT ITER 3072 NEW BEST:: SOT 476476 SOS 263446 HAS SOPS 263446 HAS SOUS 112339 HAS SOUPS 112339 WITH SCORE 112602.446
AT ITER 3078 NEW BEST:: SOT 476407 SOS 262880 HAS SOPS 262880 HAS SOUS 112322 HAS SOUPS 112322 WITH SCORE 112584.88
AT ITER 3091 NEW BEST:: SOT 476407 SOS 262865 HAS SOPS 262865 HAS SOUS 112307 HAS SOUPS 112307 WITH SCORE 112569.865
AT ITER 3092 NEW BEST:: SOT 476407 SOS 262441 HAS SOPS 262441 HAS SOUS 112254 HAS SOUPS 112254 WITH SCORE 112516.441
AT ITER 3094 NEW BEST:: SOT 476407 SOS 262423 HAS SOPS 262423 HAS SOUS 112254 HAS SOUPS 112254 WITH SCORE 112516.423
AT ITER 3118 NEW BEST:: SOT 476407 SOS 262961 HAS SOPS 262961 HAS SOUS 112248 HAS SOUPS 112248 WITH SCORE 112510.961
AT ITER 3145 NEW BEST:: SOT 476407 SOS 262872 HAS SOPS 262872 HAS SOUS 112159 HAS SOUPS 112159 WITH SCORE 112421.872
AT ITER 3148 NEW BEST:: SOT 476448 SOS 262913 HAS SOPS 262913 HAS SOUS 112148 HAS SOUPS 112148 WITH SCORE 112410.913
AT ITER 3149 NEW BEST:: SOT 476363 SOS 262828 HAS SOPS 262828 HAS SOUS 112063 HAS SOUPS 112063 WITH SCORE 112325.828
AT ITER 3150 NEW BEST:: SOT 476363 SOS 262912 HAS SOPS 262912 HAS SOUS 112058 HAS SOUPS 112058 WITH SCORE 112320.912
AT ITER 3153 NEW BEST:: SOT 476356 SOS 262975 HAS SOPS 262975 HAS SOUS 112044 HAS SOUPS 112044 WITH SCORE 112306.975
AT ITER 3163 NEW BEST:: SOT 476258 SOS 262779 HAS SOPS 262779 HAS SOUS 111946 HAS SOUPS 111946 WITH SCORE 112208.779
AT ITER 3194 NEW BEST:: SOT 476256 SOS 262756 HAS SOPS 262756 HAS SOUS 111944 HAS SOUPS 111944 WITH SCORE 112206.756
AT ITER 3199 NEW BEST:: SOT 476236 SOS 262736 HAS SOPS 262736 HAS SOUS 111924 HAS SOUPS 111924 WITH SCORE 112186.736
AT ITER 3208 NEW BEST:: SOT 475470 SOS 263088 HAS SOPS 263088 HAS SOUS 111297 HAS SOUPS 111297 WITH SCORE 111560.088
AT ITER 3211 NEW BEST:: SOT 475470 SOS 263068 HAS SOPS 263068 HAS SOUS 111277 HAS SOUPS 111277 WITH SCORE 111540.068
AT ITER 3214 NEW BEST:: SOT 474678 SOS 262100 HAS SOPS 262100 HAS SOUS 110309 HAS SOUPS 110309 WITH SCORE 110571.1
AT ITER 3223 NEW BEST:: SOT 474510 SOS 261786 HAS SOPS 261786 HAS SOUS 110003 HAS SOUPS 110003 WITH SCORE 110264.786
AT ITER 3258 NEW BEST:: SOT 474579 SOS 261764 HAS SOPS 261764 HAS SOUS 109957 HAS SOUPS 109957 WITH SCORE 110218.764
AT ITER 3264 NEW BEST:: SOT 474557 SOS 261742 HAS SOPS 261742 HAS SOUS 109935 HAS SOUPS 109935 WITH SCORE 110196.742
AT ITER 3282 NEW BEST:: SOT 474532 SOS 261717 HAS SOPS 261717 HAS SOUS 109885 HAS SOUPS 109885 WITH SCORE 110146.717
AT ITER 3294 NEW BEST:: SOT 474448 SOS 261316 HAS SOPS 261316 HAS SOUS 109807 HAS SOUPS 109807 WITH SCORE 110068.316
AT ITER 3295 NEW BEST:: SOT 474437 SOS 261326 HAS SOPS 261326 HAS SOUS 109796 HAS SOUPS 109796 WITH SCORE 110057.326
AT ITER 3304 NEW BEST:: SOT 474356 SOS 261219 HAS SOPS 261219 HAS SOUS 109660 HAS SOUPS 109660 WITH SCORE 109921.219
AT ITER 3307 NEW BEST:: SOT 474356 SOS 261219 HAS SOPS 261219 HAS SOUS 109645 HAS SOUPS 109645 WITH SCORE 109906.219
AT ITER 3329 NEW BEST:: SOT 474398 SOS 261202 HAS SOPS 261202 HAS SOUS 109399 HAS SOUPS 109399 WITH SCORE 109660.202
AT ITER 3376 NEW BEST:: SOT 474398 SOS 261136 HAS SOPS 261136 HAS SOUS 109345 HAS SOUPS 109345 WITH SCORE 109606.136
AT ITER 3379 NEW BEST:: SOT 474395 SOS 260307 HAS SOPS 260307 HAS SOUS 109221 HAS SOUPS 109221 WITH SCORE 109481.307
AT ITER 3431 NEW BEST:: SOT 474323 SOS 260164 HAS SOPS 260164 HAS SOUS 109219 HAS SOUPS 109219 WITH SCORE 109479.164
AT ITER 3437 NEW BEST:: SOT 474304 SOS 260268 HAS SOPS 260268 HAS SOUS 109189 HAS SOUPS 109189 WITH SCORE 109449.268
AT ITER 3454 NEW BEST:: SOT 474298 SOS 260258 HAS SOPS 260258 HAS SOUS 109182 HAS SOUPS 109182 WITH SCORE 109442.258
AT ITER 3462 NEW BEST:: SOT 474204 SOS 260164 HAS SOPS 260164 HAS SOUS 109088 HAS SOUPS 109088 WITH SCORE 109348.164
AT ITER 3477 NEW BEST:: SOT 473883 SOS 259843 HAS SOPS 259843 HAS SOUS 108815 HAS SOUPS 108815 WITH SCORE 109074.843
AT ITER 3508 NEW BEST:: SOT 473764 SOS 259583 HAS SOPS 259583 HAS SOUS 108588 HAS SOUPS 108588 WITH SCORE 108847.583
AT ITER 3518 NEW BEST:: SOT 473707 SOS 259526 HAS SOPS 259526 HAS SOUS 108529 HAS SOUPS 108529 WITH SCORE 108788.526
AT ITER 3533 NEW BEST:: SOT 473645 SOS 260272 HAS SOPS 260272 HAS SOUS 108483 HAS SOUPS 108483 WITH SCORE 108743.272
AT ITER 3562 NEW BEST:: SOT 473645 SOS 260253 HAS SOPS 260253 HAS SOUS 108464 HAS SOUPS 108464 WITH SCORE 108724.253
AT ITER 3570 NEW BEST:: SOT 473655 SOS 260179 HAS SOPS 260179 HAS SOUS 108432 HAS SOUPS 108432 WITH SCORE 108692.179
AT ITER 3578 NEW BEST:: SOT 473594 SOS 260067 HAS SOPS 260067 HAS SOUS 108388 HAS SOUPS 108388 WITH SCORE 108648.067
AT ITER 3584 NEW BEST:: SOT 473515 SOS 259988 HAS SOPS 259988 HAS SOUS 108309 HAS SOUPS 108309 WITH SCORE 108568.988
AT ITER 3585 NEW BEST:: SOT 473404 SOS 259877 HAS SOPS 259877 HAS SOUS 108198 HAS SOUPS 108198 WITH SCORE 108457.877
AT ITER 3595 NEW BEST:: SOT 473404 SOS 259868 HAS SOPS 259868 HAS SOUS 108189 HAS SOUPS 108189 WITH SCORE 108448.868
AT ITER 3601 NEW BEST:: SOT 473404 SOS 259818 HAS SOPS 259818 HAS SOUS 108189 HAS SOUPS 108189 WITH SCORE 108448.818
AT ITER 3608 NEW BEST:: SOT 473195 SOS 259606 HAS SOPS 259606 HAS SOUS 108055 HAS SOUPS 108055 WITH SCORE 108314.606
AT ITER 3610 NEW BEST:: SOT 473126 SOS 259592 HAS SOPS 259592 HAS SOUS 107996 HAS SOUPS 107996 WITH SCORE 108255.592
AT ITER 3634 NEW BEST:: SOT 473051 SOS 259517 HAS SOPS 259517 HAS SOUS 107921 HAS SOUPS 107921 WITH SCORE 108180.517
AT ITER 3638 NEW BEST:: SOT 472861 SOS 259260 HAS SOPS 259260 HAS SOUS 107882 HAS SOUPS 107882 WITH SCORE 108141.26
AT ITER 3654 NEW BEST:: SOT 472758 SOS 259261 HAS SOPS 259261 HAS SOUS 107873 HAS SOUPS 107873 WITH SCORE 108132.261
AT ITER 3681 NEW BEST:: SOT 472755 SOS 259255 HAS SOPS 259255 HAS SOUS 107867 HAS SOUPS 107867 WITH SCORE 108126.255
AT ITER 3694 NEW BEST:: SOT 472754 SOS 258351 HAS SOPS 258351 HAS SOUS 107798 HAS SOUPS 107798 WITH SCORE 108056.351
AT ITER 3706 NEW BEST:: SOT 472709 SOS 258291 HAS SOPS 258291 HAS SOUS 107738 HAS SOUPS 107738 WITH SCORE 107996.291
AT ITER 3714 NEW BEST:: SOT 472709 SOS 257393 HAS SOPS 257393 HAS SOUS 107729 HAS SOUPS 107729 WITH SCORE 107986.393
AT ITER 3718 NEW BEST:: SOT 472685 SOS 257303 HAS SOPS 257303 HAS SOUS 107719 HAS SOUPS 107719 WITH SCORE 107976.303
AT ITER 3731 NEW BEST:: SOT 472757 SOS 257848 HAS SOPS 257848 HAS SOUS 107676 HAS SOUPS 107676 WITH SCORE 107933.848
AT ITER 3751 NEW BEST:: SOT 472757 SOS 258011 HAS SOPS 258011 HAS SOUS 107675 HAS SOUPS 107675 WITH SCORE 107933.011
AT ITER 3760 NEW BEST:: SOT 472567 SOS 257708 HAS SOPS 257708 HAS SOUS 107333 HAS SOUPS 107333 WITH SCORE 107590.708
AT ITER 3764 NEW BEST:: SOT 472537 SOS 257655 HAS SOPS 257655 HAS SOUS 107280 HAS SOUPS 107280 WITH SCORE 107537.655
AT ITER 3797 NEW BEST:: SOT 472537 SOS 257547 HAS SOPS 257547 HAS SOUS 107280 HAS SOUPS 107280 WITH SCORE 107537.547
AT ITER 3800 NEW BEST:: SOT 472534 SOS 257541 HAS SOPS 257541 HAS SOUS 107280 HAS SOUPS 107280 WITH SCORE 107537.541
AT ITER 3820 NEW BEST:: SOT 472520 SOS 257373 HAS SOPS 257373 HAS SOUS 107245 HAS SOUPS 107245 WITH SCORE 107502.373
AT ITER 3842 NEW BEST:: SOT 472504 SOS 257365 HAS SOPS 257365 HAS SOUS 107245 HAS SOUPS 107245 WITH SCORE 107502.365
AT ITER 3855 NEW BEST:: SOT 472504 SOS 257423 HAS SOPS 257423 HAS SOUS 107031 HAS SOUPS 107031 WITH SCORE 107288.423
AT ITER 3890 NEW BEST:: SOT 472504 SOS 257391 HAS SOPS 257391 HAS SOUS 107031 HAS SOUPS 107031 WITH SCORE 107288.391
AT ITER 3906 NEW BEST:: SOT 472504 SOS 257386 HAS SOPS 257386 HAS SOUS 106801 HAS SOUPS 106801 WITH SCORE 107058.386
AT ITER 3936 NEW BEST:: SOT 472441 SOS 257167 HAS SOPS 257167 HAS SOUS 106675 HAS SOUPS 106675 WITH SCORE 106932.167
AT ITER 3942 NEW BEST:: SOT 472418 SOS 257144 HAS SOPS 257144 HAS SOUS 106651 HAS SOUPS 106651 WITH SCORE 106908.144
AT ITER 3962 NEW BEST:: SOT 472352 SOS 257166 HAS SOPS 257166 HAS SOUS 106607 HAS SOUPS 106607 WITH SCORE 106864.166
AT ITER 3971 NEW BEST:: SOT 472287 SOS 256832 HAS SOPS 256832 HAS SOUS 106542 HAS SOUPS 106542 WITH SCORE 106798.832
AT ITER 3989 NEW BEST:: SOT 472286 SOS 256831 HAS SOPS 256831 HAS SOUS 106535 HAS SOUPS 106535 WITH SCORE 106791.831
AT ITER 4011 NEW BEST:: SOT 472235 SOS 256517 HAS SOPS 256517 HAS SOUS 106419 HAS SOUPS 106419 WITH SCORE 106675.517
AT ITER 4022 NEW BEST:: SOT 472211 SOS 256469 HAS SOPS 256469 HAS SOUS 106395 HAS SOUPS 106395 WITH SCORE 106651.469
AT ITER 4036 NEW BEST:: SOT 472168 SOS 256442 HAS SOPS 256442 HAS SOUS 106368 HAS SOUPS 106368 WITH SCORE 106624.442
AT ITER 4055 NEW BEST:: SOT 472084 SOS 256499 HAS SOPS 256499 HAS SOUS 106347 HAS SOUPS 106347 WITH SCORE 106603.499
AT ITER 4069 NEW BEST:: SOT 471977 SOS 256382 HAS SOPS 256382 HAS SOUS 106269 HAS SOUPS 106269 WITH SCORE 106525.382
AT ITER 4085 NEW BEST:: SOT 472193 SOS 256598 HAS SOPS 256598 HAS SOUS 105834 HAS SOUPS 105834 WITH SCORE 106090.598
AT ITER 4098 NEW BEST:: SOT 472091 SOS 257653 HAS SOPS 257653 HAS SOUS 105735 HAS SOUPS 105735 WITH SCORE 105992.653
AT ITER 4107 NEW BEST:: SOT 472011 SOS 257407 HAS SOPS 257407 HAS SOUS 105575 HAS SOUPS 105575 WITH SCORE 105832.407
AT ITER 4114 NEW BEST:: SOT 471997 SOS 257379 HAS SOPS 257379 HAS SOUS 105547 HAS SOUPS 105547 WITH SCORE 105804.379
AT ITER 4125 NEW BEST:: SOT 471997 SOS 257377 HAS SOPS 257377 HAS SOUS 105545 HAS SOUPS 105545 WITH SCORE 105802.377
AT ITER 4135 NEW BEST:: SOT 471398 SOS 256999 HAS SOPS 256999 HAS SOUS 105275 HAS SOUPS 105275 WITH SCORE 105531.999
AT ITER 4143 NEW BEST:: SOT 471213 SOS 256870 HAS SOPS 256870 HAS SOUS 105146 HAS SOUPS 105146 WITH SCORE 105402.87
AT ITER 4152 NEW BEST:: SOT 471195 SOS 256834 HAS SOPS 256834 HAS SOUS 105110 HAS SOUPS 105110 WITH SCORE 105366.834
AT ITER 4171 NEW BEST:: SOT 470891 SOS 256530 HAS SOPS 256530 HAS SOUS 104806 HAS SOUPS 104806 WITH SCORE 105062.53
AT ITER 4188 NEW BEST:: SOT 470694 SOS 256359 HAS SOPS 256359 HAS SOUS 104635 HAS SOUPS 104635 WITH SCORE 104891.359
AT ITER 4194 NEW BEST:: SOT 470683 SOS 256257 HAS SOPS 256257 HAS SOUS 104559 HAS SOUPS 104559 WITH SCORE 104815.257
AT ITER 4202 NEW BEST:: SOT 470653 SOS 256227 HAS SOPS 256227 HAS SOUS 104469 HAS SOUPS 104469 WITH SCORE 104725.227
AT ITER 4211 NEW BEST:: SOT 470507 SOS 256277 HAS SOPS 256277 HAS SOUS 104351 HAS SOUPS 104351 WITH SCORE 104607.277
AT ITER 4224 NEW BEST:: SOT 470418 SOS 256198 HAS SOPS 256198 HAS SOUS 104221 HAS SOUPS 104221 WITH SCORE 104477.198
AT ITER 4229 NEW BEST:: SOT 470229 SOS 255509 HAS SOPS 255509 HAS SOUS 103937 HAS SOUPS 103937 WITH SCORE 104192.509
AT ITER 4254 NEW BEST:: SOT 470226 SOS 255500 HAS SOPS 255500 HAS SOUS 103931 HAS SOUPS 103931 WITH SCORE 104186.5
AT ITER 4292 NEW BEST:: SOT 470226 SOS 254989 HAS SOPS 254989 HAS SOUS 103931 HAS SOUPS 103931 WITH SCORE 104185.989
AT ITER 4301 NEW BEST:: SOT 470196 SOS 254959 HAS SOPS 254959 HAS SOUS 103871 HAS SOUPS 103871 WITH SCORE 104125.959
AT ITER 4329 NEW BEST:: SOT 470181 SOS 252149 HAS SOPS 252149 HAS SOUS 103825 HAS SOUPS 103825 WITH SCORE 104077.149
AT ITER 4367 NEW BEST:: SOT 470181 SOS 252192 HAS SOPS 252192 HAS SOUS 103558 HAS SOUPS 103558 WITH SCORE 103810.192
AT ITER 4379 NEW BEST:: SOT 470180 SOS 252191 HAS SOPS 252191 HAS SOUS 103556 HAS SOUPS 103556 WITH SCORE 103808.191
AT ITER 4411 NEW BEST:: SOT 470051 SOS 252019 HAS SOPS 252019 HAS SOUS 103384 HAS SOUPS 103384 WITH SCORE 103636.019
AT ITER 4416 NEW BEST:: SOT 470017 SOS 251903 HAS SOPS 251903 HAS SOUS 103374 HAS SOUPS 103374 WITH SCORE 103625.903
AT ITER 4423 NEW BEST:: SOT 470017 SOS 251868 HAS SOPS 251868 HAS SOUS 103373 HAS SOUPS 103373 WITH SCORE 103624.868
AT ITER 4425 NEW BEST:: SOT 470017 SOS 251601 HAS SOPS 251601 HAS SOUS 103373 HAS SOUPS 103373 WITH SCORE 103624.601
AT ITER 4432 NEW BEST:: SOT 469770 SOS 251157 HAS SOPS 251157 HAS SOUS 102808 HAS SOUPS 102808 WITH SCORE 103059.157
AT ITER 4467 NEW BEST:: SOT 469630 SOS 251549 HAS SOPS 251549 HAS SOUS 102801 HAS SOUPS 102801 WITH SCORE 103052.549
AT ITER 4470 NEW BEST:: SOT 469630 SOS 251237 HAS SOPS 251237 HAS SOUS 102800 HAS SOUPS 102800 WITH SCORE 103051.237
AT ITER 4505 NEW BEST:: SOT 469605 SOS 251214 HAS SOPS 251214 HAS SOUS 102777 HAS SOUPS 102777 WITH SCORE 103028.214
AT ITER 4507 NEW BEST:: SOT 468156 SOS 249854 HAS SOPS 249854 HAS SOUS 101175 HAS SOUPS 101175 WITH SCORE 101424.854
AT ITER 4517 NEW BEST:: SOT 468072 SOS 249728 HAS SOPS 249728 HAS SOUS 101049 HAS SOUPS 101049 WITH SCORE 101298.728
AT ITER 4598 NEW BEST:: SOT 468016 SOS 249616 HAS SOPS 249616 HAS SOUS 100937 HAS SOUPS 100937 WITH SCORE 101186.616
AT ITER 4609 NEW BEST:: SOT 467849 SOS 249364 HAS SOPS 249364 HAS SOUS 100627 HAS SOUPS 100627 WITH SCORE 100876.364
AT ITER 4610 NEW BEST:: SOT 467893 SOS 249244 HAS SOPS 249244 HAS SOUS 100610 HAS SOUPS 100610 WITH SCORE 100859.244
AT ITER 4656 NEW BEST:: SOT 467849 SOS 249200 HAS SOPS 249200 HAS SOUS 100566 HAS SOUPS 100566 WITH SCORE 100815.2
AT ITER 4671 NEW BEST:: SOT 467932 SOS 249283 HAS SOPS 249283 HAS SOUS 100564 HAS SOUPS 100564 WITH SCORE 100813.283
AT ITER 4697 NEW BEST:: SOT 467930 SOS 249233 HAS SOPS 249233 HAS SOUS 100560 HAS SOUPS 100560 WITH SCORE 100809.233
AT ITER 4716 NEW BEST:: SOT 467880 SOS 248582 HAS SOPS 248582 HAS SOUS 100545 HAS SOUPS 100545 WITH SCORE 100793.582
AT ITER 4719 NEW BEST:: SOT 467728 SOS 248164 HAS SOPS 248164 HAS SOUS 100127 HAS SOUPS 100127 WITH SCORE 100375.164
AT ITER 4723 NEW BEST:: SOT 467728 SOS 248161 HAS SOPS 248161 HAS SOUS 100124 HAS SOUPS 100124 WITH SCORE 100372.161
AT ITER 4731 NEW BEST:: SOT 467651 SOS 248046 HAS SOPS 248046 HAS SOUS 100031 HAS SOUPS 100031 WITH SCORE 100279.046
AT ITER 4737 NEW BEST:: SOT 467605 SOS 248000 HAS SOPS 248000 HAS SOUS 99985 HAS SOUPS 99985 WITH SCORE 100233.0
AT ITER 4764 NEW BEST:: SOT 467611 SOS 248041 HAS SOPS 248041 HAS SOUS 99889 HAS SOUPS 99889 WITH SCORE 100137.041
AT ITER 4771 NEW BEST:: SOT 467562 SOS 247952 HAS SOPS 247952 HAS SOUS 99823 HAS SOUPS 99823 WITH SCORE 100070.952
AT ITER 4796 NEW BEST:: SOT 467545 SOS 247910 HAS SOPS 247910 HAS SOUS 99789 HAS SOUPS 99789 WITH SCORE 100036.91
AT ITER 4803 NEW BEST:: SOT 467148 SOS 247513 HAS SOPS 247513 HAS SOUS 99450 HAS SOUPS 99450 WITH SCORE 99697.513
AT ITER 4827 NEW BEST:: SOT 467147 SOS 247512 HAS SOPS 247512 HAS SOUS 99438 HAS SOUPS 99438 WITH SCORE 99685.512
AT ITER 4852 NEW BEST:: SOT 467147 SOS 247854 HAS SOPS 247854 HAS SOUS 99437 HAS SOUPS 99437 WITH SCORE 99684.854
AT ITER 4898 NEW BEST:: SOT 466961 SOS 247542 HAS SOPS 247542 HAS SOUS 99125 HAS SOUPS 99125 WITH SCORE 99372.542
AT ITER 4899 NEW BEST:: SOT 466961 SOS 247464 HAS SOPS 247464 HAS SOUS 99047 HAS SOUPS 99047 WITH SCORE 99294.464
AT ITER 4904 NEW BEST:: SOT 466955 SOS 247458 HAS SOPS 247458 HAS SOUS 99040 HAS SOUPS 99040 WITH SCORE 99287.458
AT ITER 4920 NEW BEST:: SOT 466905 SOS 247408 HAS SOPS 247408 HAS SOUS 98990 HAS SOUPS 98990 WITH SCORE 99237.408
AT ITER 4922 NEW BEST:: SOT 466912 SOS 247353 HAS SOPS 247353 HAS SOUS 98972 HAS SOUPS 98972 WITH SCORE 99219.353
AT ITER 4940 NEW BEST:: SOT 466832 SOS 247293 HAS SOPS 247293 HAS SOUS 98882 HAS SOUPS 98882 WITH SCORE 99129.293
AT ITER 4957 NEW BEST:: SOT 466714 SOS 247125 HAS SOPS 247125 HAS SOUS 98746 HAS SOUPS 98746 WITH SCORE 98993.125
AT ITER 4990 NEW BEST:: SOT 466685 SOS 246532 HAS SOPS 246532 HAS SOUS 98688 HAS SOUPS 98688 WITH SCORE 98934.532
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-03a-CTLCardinality-00 (! (AG( (AG( potential( (tk(P204)) <= (tk(P467)) ))))))
PROPERTY: ASLink-PT-03a-CTLCardinality-01 (! (! (AG( potential( (tk(P649)) <= (tk(P464)) )))))
PROPERTY: ASLink-PT-03a-CTLCardinality-02 ( (AF(( (! potential( ( 2 ) <= (tk(P364)) )) & ( potential( ( 1 ) <= (tk(P453)) ) & potential( (tk(P148)) <= (tk(P88)) ) ) ))) & ( ( (! ( potential( ( 3 ) <= (tk(P652)) ) | potential( ( 1 ) <= (tk(P67)) ) )) | (! (! potential( ( 3 ) <= (tk(P217)) ))) ) | ( (AF(potential( ( 2 ) <= (tk(P565)) ))) & (EG( potential( ( 3 ) <= (tk(P392)) ))) ) ) )
PROPERTY: ASLink-PT-03a-CTLCardinality-03 ( (EF((AX( potential( ( 3 ) <= (tk(P256)) ))))) & (! (AF(potential( ( 2 ) <= (tk(P569)) )))) )
PROPERTY: ASLink-PT-03a-CTLCardinality-04 (EG( (EU( potential( (tk(P208)) <= (tk(P387)) ),potential( (tk(P735)) <= (tk(P783)) ) ))))
PROPERTY: ASLink-PT-03a-CTLCardinality-05 ( (! (AF(( potential( ( 1 ) <= (tk(P42)) ) & potential( ( 3 ) <= (tk(P25)) ) )))) | (EG( potential( ( 3 ) <= (tk(P421)) ))) )
PROPERTY: ASLink-PT-03a-CTLCardinality-06 (! (AU( (! potential( ( 2 ) <= (tk(P688)) )),( potential( (tk(P759)) <= (tk(P208)) ) & potential( ( 3 ) <= (tk(P613)) ) ) )))
PROPERTY: ASLink-PT-03a-CTLCardinality-07 (AF(( (EX( potential( ( 1 ) <= (tk(P199)) ))) & potential( ( 1 ) <= (tk(P415)) ) )))
PROPERTY: ASLink-PT-03a-CTLCardinality-08 (EG( (! (AX( potential( ( 1 ) <= (tk(P814)) ))))))
PROPERTY: ASLink-PT-03a-CTLCardinality-09 (! (! ( (AF(potential( (tk(P210)) <= (tk(P411)) ))) & (EG( potential( (tk(P801)) <= (tk(P345)) ))) )))
PROPERTY: ASLink-PT-03a-CTLCardinality-10 ( potential( (tk(P671)) <= (tk(P718)) ) & ( (EG( (! potential( ( 1 ) <= (tk(P658)) )))) & (! (EG( potential( (tk(P757)) <= (tk(P351)) )))) ) )
PROPERTY: ASLink-PT-03a-CTLCardinality-11 (EG( (! ( potential( (tk(P576)) <= (tk(P658)) ) & (! potential( (tk(P654)) <= (tk(P52)) )) ))))
PROPERTY: ASLink-PT-03a-CTLCardinality-12 ( (! (AF(( potential( ( 1 ) <= (tk(P331)) ) & potential( (tk(P809)) <= (tk(P81)) ) )))) & (! ( (EF(potential( (tk(P579)) <= (tk(P746)) ))) & (EG( potential( (tk(P449)) <= (tk(P320)) ))) )) )
PROPERTY: ASLink-PT-03a-CTLCardinality-13 (EF((! ( ( potential( (tk(P315)) <= (tk(P102)) ) | potential( (tk(P377)) <= (tk(P773)) ) ) & (! potential( ( 2 ) <= (tk(P739)) )) ))))
PROPERTY: ASLink-PT-03a-CTLCardinality-14 (EF(( (EG( potential( ( 3 ) <= (tk(P100)) ))) & ( ( potential( (tk(P309)) <= (tk(P670)) ) | potential( (tk(P282)) <= (tk(P553)) ) ) | ( potential( ( 3 ) <= (tk(P416)) ) & potential( ( 3 ) <= (tk(P16)) ) ) ) )))
PROPERTY: ASLink-PT-03a-CTLCardinality-15 ( (EG( ( ( potential( (tk(P687)) <= (tk(P287)) ) | potential( ( 2 ) <= (tk(P194)) ) ) & (! potential( ( 1 ) <= (tk(P178)) )) ))) | (EU( (! potential( ( 2 ) <= (tk(P503)) )),(! potential( (tk(P495)) <= (tk(P289)) )) )) )

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="ASLink-PT-03a"
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 ASLink-PT-03a, 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 r003-smll-158897508000043"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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