Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961355100683.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 PolyORBNT-PT-S10J30, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961355100683
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 23M
-rw-r--r-- 1 mcc users 28K Apr 12 06:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Apr 12 06:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 494K Apr 11 06:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.4M Apr 11 06:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 7.9K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 34K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 473K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.3M Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 10 13:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 46K Apr 10 13:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 255K Apr 9 19:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 714K Apr 9 19:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.4K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 18M 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 PolyORBNT-PT-S10J30-CTLCardinality-00
FORMULA_NAME PolyORBNT-PT-S10J30-CTLCardinality-01
FORMULA_NAME PolyORBNT-PT-S10J30-CTLCardinality-02
FORMULA_NAME PolyORBNT-PT-S10J30-CTLCardinality-03
FORMULA_NAME PolyORBNT-PT-S10J30-CTLCardinality-04
FORMULA_NAME PolyORBNT-PT-S10J30-CTLCardinality-05
FORMULA_NAME PolyORBNT-PT-S10J30-CTLCardinality-06
FORMULA_NAME PolyORBNT-PT-S10J30-CTLCardinality-07
FORMULA_NAME PolyORBNT-PT-S10J30-CTLCardinality-08
FORMULA_NAME PolyORBNT-PT-S10J30-CTLCardinality-09
FORMULA_NAME PolyORBNT-PT-S10J30-CTLCardinality-10
FORMULA_NAME PolyORBNT-PT-S10J30-CTLCardinality-11
FORMULA_NAME PolyORBNT-PT-S10J30-CTLCardinality-12
FORMULA_NAME PolyORBNT-PT-S10J30-CTLCardinality-13
FORMULA_NAME PolyORBNT-PT-S10J30-CTLCardinality-14
FORMULA_NAME PolyORBNT-PT-S10J30-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589648198324

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S10J30
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: 664 places, 12050 transitions, 112559 arcs.
AT ITER 0 NEW BEST:: SOT 4562297 SOS 2082561 HAS SOPS 2082561 HAS SOUS 368817 HAS SOUPS 368817 WITH SCORE 370899.561
AT ITER 18 NEW BEST:: SOT 4562297 SOS 2082561 HAS SOPS 2082561 HAS SOUS 368667 HAS SOUPS 368667 WITH SCORE 370749.561
AT ITER 25 NEW BEST:: SOT 4562280 SOS 2082544 HAS SOPS 2082544 HAS SOUS 368650 HAS SOUPS 368650 WITH SCORE 370732.544
AT ITER 29 NEW BEST:: SOT 4562280 SOS 2082544 HAS SOPS 2082544 HAS SOUS 368540 HAS SOUPS 368540 WITH SCORE 370622.544
AT ITER 32 NEW BEST:: SOT 4562280 SOS 2082452 HAS SOPS 2082452 HAS SOUS 367620 HAS SOUPS 367620 WITH SCORE 369702.452
AT ITER 38 NEW BEST:: SOT 4562222 SOS 2082394 HAS SOPS 2082394 HAS SOUS 367562 HAS SOUPS 367562 WITH SCORE 369644.394
AT ITER 40 NEW BEST:: SOT 4562159 SOS 2082239 HAS SOPS 2082239 HAS SOUS 366579 HAS SOUPS 366579 WITH SCORE 368661.239
AT ITER 41 NEW BEST:: SOT 4562159 SOS 2082239 HAS SOPS 2082239 HAS SOUS 366102 HAS SOUPS 366102 WITH SCORE 368184.239
AT ITER 47 NEW BEST:: SOT 4562159 SOS 2082163 HAS SOPS 2082163 HAS SOUS 365198 HAS SOUPS 365198 WITH SCORE 367280.163
AT ITER 64 NEW BEST:: SOT 4562098 SOS 2082015 HAS SOPS 2082015 HAS SOUS 364329 HAS SOUPS 364329 WITH SCORE 366411.015
AT ITER 74 NEW BEST:: SOT 4562134 SOS 2081973 HAS SOPS 2081973 HAS SOUS 363585 HAS SOUPS 363585 WITH SCORE 365666.973
AT ITER 75 NEW BEST:: SOT 4561974 SOS 2081721 HAS SOPS 2081721 HAS SOUS 362505 HAS SOUPS 362505 WITH SCORE 364586.721
AT ITER 76 NEW BEST:: SOT 4561665 SOS 2085646 HAS SOPS 2085646 HAS SOUS 362371 HAS SOUPS 362371 WITH SCORE 364456.646
AT ITER 78 NEW BEST:: SOT 4561654 SOS 2085543 HAS SOPS 2085543 HAS SOUS 361444 HAS SOUPS 361444 WITH SCORE 363529.543
AT ITER 88 NEW BEST:: SOT 4561540 SOS 2085429 HAS SOPS 2085429 HAS SOUS 361330 HAS SOUPS 361330 WITH SCORE 363415.429
AT ITER 95 NEW BEST:: SOT 4561378 SOS 2085267 HAS SOPS 2085267 HAS SOUS 361176 HAS SOUPS 361176 WITH SCORE 363261.267
AT ITER 96 NEW BEST:: SOT 4561318 SOS 2085331 HAS SOPS 2085331 HAS SOUS 361175 HAS SOUPS 361175 WITH SCORE 363260.331
AT ITER 112 NEW BEST:: SOT 4525785 SOS 2049986 HAS SOPS 2049986 HAS SOUS 325830 HAS SOUPS 325830 WITH SCORE 327879.986
AT ITER 131 NEW BEST:: SOT 4525725 SOS 2049926 HAS SOPS 2049926 HAS SOUS 325770 HAS SOUPS 325770 WITH SCORE 327819.926
AT ITER 133 NEW BEST:: SOT 4525434 SOS 2049653 HAS SOPS 2049653 HAS SOUS 325659 HAS SOUPS 325659 WITH SCORE 327708.653
AT ITER 148 NEW BEST:: SOT 4525434 SOS 2049653 HAS SOPS 2049653 HAS SOUS 325561 HAS SOUPS 325561 WITH SCORE 327610.653
AT ITER 149 NEW BEST:: SOT 4525434 SOS 2049609 HAS SOPS 2049609 HAS SOUS 325121 HAS SOUPS 325121 WITH SCORE 327170.609
AT ITER 158 NEW BEST:: SOT 4525442 SOS 2049803 HAS SOPS 2049803 HAS SOUS 325041 HAS SOUPS 325041 WITH SCORE 327090.803
AT ITER 159 NEW BEST:: SOT 4525449 SOS 2049824 HAS SOPS 2049824 HAS SOUS 324882 HAS SOUPS 324882 WITH SCORE 326931.824
AT ITER 166 NEW BEST:: SOT 4525696 SOS 2049979 HAS SOPS 2049979 HAS SOUS 324217 HAS SOUPS 324217 WITH SCORE 326266.979
AT ITER 170 NEW BEST:: SOT 4525683 SOS 2050106 HAS SOPS 2050106 HAS SOUS 324201 HAS SOUPS 324201 WITH SCORE 326251.106
AT ITER 172 NEW BEST:: SOT 4523221 SOS 2245595 HAS SOPS 2245595 HAS SOUS 323837 HAS SOUPS 323837 WITH SCORE 326082.595
AT ITER 196 NEW BEST:: SOT 4522784 SOS 2245066 HAS SOPS 2245066 HAS SOUS 322480 HAS SOUPS 322480 WITH SCORE 324725.066
AT ITER 199 NEW BEST:: SOT 4522796 SOS 2244892 HAS SOPS 2244892 HAS SOUS 322400 HAS SOUPS 322400 WITH SCORE 324644.892
AT ITER 204 NEW BEST:: SOT 4522968 SOS 2244972 HAS SOPS 2244972 HAS SOUS 321816 HAS SOUPS 321816 WITH SCORE 324060.972
AT ITER 208 NEW BEST:: SOT 4522976 SOS 2245139 HAS SOPS 2245139 HAS SOUS 321727 HAS SOUPS 321727 WITH SCORE 323972.139
AT ITER 227 NEW BEST:: SOT 4522976 SOS 2245121 HAS SOPS 2245121 HAS SOUS 320881 HAS SOUPS 320881 WITH SCORE 323126.121
AT ITER 234 NEW BEST:: SOT 4522976 SOS 2245121 HAS SOPS 2245121 HAS SOUS 320747 HAS SOUPS 320747 WITH SCORE 322992.121
AT ITER 239 NEW BEST:: SOT 4522870 SOS 2245086 HAS SOPS 2245086 HAS SOUS 320653 HAS SOUPS 320653 WITH SCORE 322898.086
AT ITER 246 NEW BEST:: SOT 4523189 SOS 2245295 HAS SOPS 2245295 HAS SOUS 319956 HAS SOUPS 319956 WITH SCORE 322201.295
AT ITER 256 NEW BEST:: SOT 4523002 SOS 2245016 HAS SOPS 2245016 HAS SOUS 318851 HAS SOUPS 318851 WITH SCORE 321096.016
AT ITER 257 NEW BEST:: SOT 4522913 SOS 2244770 HAS SOPS 2244770 HAS SOUS 316062 HAS SOUPS 316062 WITH SCORE 318306.77
AT ITER 266 NEW BEST:: SOT 4522855 SOS 2244865 HAS SOPS 2244865 HAS SOUS 315988 HAS SOUPS 315988 WITH SCORE 318232.865
AT ITER 268 NEW BEST:: SOT 4522794 SOS 2244773 HAS SOPS 2244773 HAS SOUS 315648 HAS SOUPS 315648 WITH SCORE 317892.773
AT ITER 269 NEW BEST:: SOT 4522535 SOS 2244514 HAS SOPS 2244514 HAS SOUS 315389 HAS SOUPS 315389 WITH SCORE 317633.514
AT ITER 274 NEW BEST:: SOT 4522365 SOS 2244360 HAS SOPS 2244360 HAS SOUS 315235 HAS SOUPS 315235 WITH SCORE 317479.36
AT ITER 276 NEW BEST:: SOT 4522365 SOS 2244360 HAS SOPS 2244360 HAS SOUS 315145 HAS SOUPS 315145 WITH SCORE 317389.36
AT ITER 277 NEW BEST:: SOT 4522365 SOS 2244331 HAS SOPS 2244331 HAS SOUS 315145 HAS SOUPS 315145 WITH SCORE 317389.331
AT ITER 296 NEW BEST:: SOT 4522365 SOS 2244196 HAS SOPS 2244196 HAS SOUS 313795 HAS SOUPS 313795 WITH SCORE 316039.196
AT ITER 308 NEW BEST:: SOT 4522325 SOS 2244156 HAS SOPS 2244156 HAS SOUS 313755 HAS SOUPS 313755 WITH SCORE 315999.156
AT ITER 311 NEW BEST:: SOT 4522692 SOS 2244431 HAS SOPS 2244431 HAS SOUS 313355 HAS SOUPS 313355 WITH SCORE 315599.431
AT ITER 327 NEW BEST:: SOT 4522559 SOS 2244309 HAS SOPS 2244309 HAS SOUS 313193 HAS SOUPS 313193 WITH SCORE 315437.309
AT ITER 331 NEW BEST:: SOT 4522206 SOS 2244218 HAS SOPS 2243808 HAS SOUS 312733 HAS SOUPS 312692 WITH SCORE 314936.218
AT ITER 340 NEW BEST:: SOT 4522206 SOS 2244203 HAS SOPS 2243793 HAS SOUS 312725 HAS SOUPS 312684 WITH SCORE 314928.203
AT ITER 341 NEW BEST:: SOT 4522205 SOS 2244202 HAS SOPS 2243792 HAS SOUS 312724 HAS SOUPS 312683 WITH SCORE 314927.202
AT ITER 354 NEW BEST:: SOT 4521789 SOS 2243786 HAS SOPS 2243376 HAS SOUS 312350 HAS SOUPS 312309 WITH SCORE 314552.786
AT ITER 365 NEW BEST:: SOT 4521876 SOS 2243786 HAS SOPS 2243376 HAS SOUS 311567 HAS SOUPS 311526 WITH SCORE 313769.786
AT ITER 368 NEW BEST:: SOT 4521511 SOS 2243347 HAS SOPS 2242937 HAS SOUS 311146 HAS SOUPS 311105 WITH SCORE 313348.347
AT ITER 377 NEW BEST:: SOT 4521383 SOS 2243142 HAS SOPS 2242732 HAS SOUS 310248 HAS SOUPS 310207 WITH SCORE 312450.142
AT ITER 379 NEW BEST:: SOT 4521405 SOS 2243028 HAS SOPS 2242618 HAS SOUS 308910 HAS SOUPS 308869 WITH SCORE 311112.028
AT ITER 386 NEW BEST:: SOT 4521979 SOS 2243510 HAS SOPS 2243100 HAS SOUS 308827 HAS SOUPS 308786 WITH SCORE 311029.51
AT ITER 387 NEW BEST:: SOT 4521979 SOS 2243510 HAS SOPS 2243100 HAS SOUS 308787 HAS SOUPS 308746 WITH SCORE 310989.51
AT ITER 390 NEW BEST:: SOT 4521940 SOS 2243471 HAS SOPS 2243061 HAS SOUS 308748 HAS SOUPS 308707 WITH SCORE 310950.471
AT ITER 405 NEW BEST:: SOT 4521940 SOS 2243471 HAS SOPS 2243061 HAS SOUS 308716 HAS SOUPS 308675 WITH SCORE 310918.471
AT ITER 416 NEW BEST:: SOT 4521930 SOS 2243461 HAS SOPS 2243051 HAS SOUS 308690 HAS SOUPS 308649 WITH SCORE 310892.461
AT ITER 418 NEW BEST:: SOT 4521930 SOS 2243421 HAS SOPS 2243011 HAS SOUS 308640 HAS SOUPS 308599 WITH SCORE 310842.421
AT ITER 419 NEW BEST:: SOT 4521826 SOS 2243317 HAS SOPS 2242907 HAS SOUS 308536 HAS SOUPS 308495 WITH SCORE 310738.317
AT ITER 420 NEW BEST:: SOT 4521786 SOS 2243277 HAS SOPS 2242867 HAS SOUS 308496 HAS SOUPS 308455 WITH SCORE 310698.277
AT ITER 422 NEW BEST:: SOT 4521795 SOS 2243271 HAS SOPS 2242861 HAS SOUS 308362 HAS SOUPS 308321 WITH SCORE 310564.271
AT ITER 435 NEW BEST:: SOT 4521687 SOS 2243095 HAS SOPS 2242685 HAS SOUS 307574 HAS SOUPS 307533 WITH SCORE 309776.095
AT ITER 440 NEW BEST:: SOT 4521687 SOS 2243139 HAS SOPS 2242729 HAS SOUS 306790 HAS SOUPS 306749 WITH SCORE 308992.139
AT ITER 443 NEW BEST:: SOT 4521687 SOS 2243139 HAS SOPS 2242729 HAS SOUS 306736 HAS SOUPS 306695 WITH SCORE 308938.139
AT ITER 446 NEW BEST:: SOT 4521643 SOS 2243095 HAS SOPS 2242685 HAS SOUS 306692 HAS SOUPS 306651 WITH SCORE 308894.095
AT ITER 447 NEW BEST:: SOT 4521601 SOS 2243053 HAS SOPS 2242643 HAS SOUS 306650 HAS SOUPS 306609 WITH SCORE 308852.053
AT ITER 453 NEW BEST:: SOT 4521601 SOS 2243053 HAS SOPS 2242643 HAS SOUS 306616 HAS SOUPS 306575 WITH SCORE 308818.053
AT ITER 465 NEW BEST:: SOT 4521656 SOS 2243108 HAS SOPS 2242698 HAS SOUS 306491 HAS SOUPS 306450 WITH SCORE 308693.108
AT ITER 466 NEW BEST:: SOT 4521656 SOS 2160108 HAS SOPS 2159698 HAS SOUS 306484 HAS SOUPS 306443 WITH SCORE 308603.108
AT ITER 476 NEW BEST:: SOT 4521768 SOS 2159980 HAS SOPS 2159570 HAS SOUS 306446 HAS SOUPS 306405 WITH SCORE 308564.98
AT ITER 484 NEW BEST:: SOT 4521856 SOS 2159900 HAS SOPS 2159490 HAS SOUS 304738 HAS SOUPS 304697 WITH SCORE 306856.9
AT ITER 504 NEW BEST:: SOT 4521856 SOS 2159844 HAS SOPS 2159434 HAS SOUS 304290 HAS SOUPS 304249 WITH SCORE 306408.844
AT ITER 528 NEW BEST:: SOT 4521823 SOS 2159811 HAS SOPS 2159401 HAS SOUS 304257 HAS SOUPS 304216 WITH SCORE 306375.811
AT ITER 535 NEW BEST:: SOT 4521851 SOS 2159809 HAS SOPS 2159399 HAS SOUS 304038 HAS SOUPS 303997 WITH SCORE 306156.809
AT ITER 544 NEW BEST:: SOT 4521843 SOS 2159811 HAS SOPS 2159401 HAS SOUS 304030 HAS SOUPS 303989 WITH SCORE 306148.811
AT ITER 563 NEW BEST:: SOT 4521895 SOS 2159832 HAS SOPS 2159422 HAS SOUS 303803 HAS SOUPS 303762 WITH SCORE 305921.832
AT ITER 565 NEW BEST:: SOT 4521810 SOS 2045778 HAS SOPS 2045368 HAS SOUS 303600 HAS SOUPS 303559 WITH SCORE 305604.778
AT ITER 566 NEW BEST:: SOT 4521810 SOS 2045890 HAS SOPS 2045480 HAS SOUS 303578 HAS SOUPS 303537 WITH SCORE 305582.89
AT ITER 568 NEW BEST:: SOT 4521539 SOS 2045619 HAS SOPS 2045209 HAS SOUS 303307 HAS SOUPS 303266 WITH SCORE 305311.619
AT ITER 575 NEW BEST:: SOT 4521539 SOS 2045607 HAS SOPS 2045197 HAS SOUS 303301 HAS SOUPS 303260 WITH SCORE 305305.607
AT ITER 584 NEW BEST:: SOT 4521539 SOS 2045607 HAS SOPS 2045197 HAS SOUS 303271 HAS SOUPS 303230 WITH SCORE 305275.607
AT ITER 589 NEW BEST:: SOT 4521503 SOS 2045571 HAS SOPS 2045161 HAS SOUS 303235 HAS SOUPS 303194 WITH SCORE 305239.571
AT ITER 593 NEW BEST:: SOT 4521463 SOS 2045531 HAS SOPS 2045121 HAS SOUS 303195 HAS SOUPS 303154 WITH SCORE 305199.531
AT ITER 599 NEW BEST:: SOT 4521451 SOS 2045519 HAS SOPS 2045109 HAS SOUS 303183 HAS SOUPS 303142 WITH SCORE 305187.519
AT ITER 606 NEW BEST:: SOT 4521948 SOS 2045904 HAS SOPS 2045494 HAS SOUS 302762 HAS SOUPS 302721 WITH SCORE 304766.904
AT ITER 620 NEW BEST:: SOT 4521818 SOS 2045747 HAS SOPS 2045337 HAS SOUS 301777 HAS SOUPS 301736 WITH SCORE 303781.747
AT ITER 622 NEW BEST:: SOT 4521822 SOS 2045751 HAS SOPS 2045341 HAS SOUS 301725 HAS SOUPS 301684 WITH SCORE 303729.751
AT ITER 632 NEW BEST:: SOT 4522652 SOS 2046466 HAS SOPS 2046056 HAS SOUS 301520 HAS SOUPS 301479 WITH SCORE 303525.466
AT ITER 651 NEW BEST:: SOT 4522838 SOS 2046599 HAS SOPS 2046189 HAS SOUS 301252 HAS SOUPS 301211 WITH SCORE 303257.599
AT ITER 660 NEW BEST:: SOT 4522818 SOS 2046579 HAS SOPS 2046169 HAS SOUS 301232 HAS SOUPS 301191 WITH SCORE 303237.579
AT ITER 681 NEW BEST:: SOT 4522818 SOS 2046579 HAS SOPS 2046169 HAS SOUS 301218 HAS SOUPS 301177 WITH SCORE 303223.579
AT ITER 684 NEW BEST:: SOT 4522812 SOS 2046481 HAS SOPS 2046071 HAS SOUS 300366 HAS SOUPS 300325 WITH SCORE 302371.481
AT ITER 685 NEW BEST:: SOT 4522700 SOS 2046369 HAS SOPS 2045959 HAS SOUS 300254 HAS SOUPS 300213 WITH SCORE 302259.369
AT ITER 686 NEW BEST:: SOT 4522700 SOS 2046398 HAS SOPS 2045988 HAS SOUS 300196 HAS SOUPS 300155 WITH SCORE 302201.398
AT ITER 690 NEW BEST:: SOT 4522678 SOS 2046376 HAS SOPS 2045966 HAS SOUS 300174 HAS SOUPS 300133 WITH SCORE 302179.376
AT ITER 700 NEW BEST:: SOT 4522678 SOS 2046376 HAS SOPS 2045966 HAS SOUS 300098 HAS SOUPS 300057 WITH SCORE 302103.376
AT ITER 709 NEW BEST:: SOT 4522659 SOS 2046357 HAS SOPS 2045947 HAS SOUS 299889 HAS SOUPS 299848 WITH SCORE 301894.357
AT ITER 713 NEW BEST:: SOT 4522834 SOS 2046532 HAS SOPS 2046122 HAS SOUS 298677 HAS SOUPS 298636 WITH SCORE 300682.532
AT ITER 722 NEW BEST:: SOT 4522784 SOS 2046513 HAS SOPS 2046103 HAS SOUS 298627 HAS SOUPS 298586 WITH SCORE 300632.513
AT ITER 724 NEW BEST:: SOT 4522777 SOS 2046506 HAS SOPS 2046096 HAS SOUS 298550 HAS SOUPS 298509 WITH SCORE 300555.506
AT ITER 728 NEW BEST:: SOT 4522733 SOS 2046462 HAS SOPS 2046052 HAS SOUS 298506 HAS SOUPS 298465 WITH SCORE 300511.462
AT ITER 731 NEW BEST:: SOT 4522858 SOS 2046563 HAS SOPS 2046153 HAS SOUS 298393 HAS SOUPS 298352 WITH SCORE 300398.563
AT ITER 736 NEW BEST:: SOT 4522889 SOS 2046594 HAS SOPS 2046184 HAS SOUS 297926 HAS SOUPS 297885 WITH SCORE 299931.594
AT ITER 741 NEW BEST:: SOT 4522889 SOS 2046594 HAS SOPS 2046184 HAS SOUS 297905 HAS SOUPS 297864 WITH SCORE 299910.594
AT ITER 748 NEW BEST:: SOT 4522860 SOS 2046602 HAS SOPS 2046192 HAS SOUS 297898 HAS SOUPS 297857 WITH SCORE 299903.602
AT ITER 754 NEW BEST:: SOT 4522812 SOS 2046554 HAS SOPS 2046144 HAS SOUS 297845 HAS SOUPS 297804 WITH SCORE 299850.554
AT ITER 765 NEW BEST:: SOT 4522749 SOS 2046491 HAS SOPS 2046081 HAS SOUS 297730 HAS SOUPS 297689 WITH SCORE 299735.491
AT ITER 772 NEW BEST:: SOT 4522783 SOS 2046491 HAS SOPS 2046081 HAS SOUS 297458 HAS SOUPS 297417 WITH SCORE 299463.491
AT ITER 775 NEW BEST:: SOT 4522888 SOS 2046542 HAS SOPS 2046132 HAS SOUS 297103 HAS SOUPS 297062 WITH SCORE 299108.542
AT ITER 777 NEW BEST:: SOT 4522824 SOS 2046478 HAS SOPS 2046068 HAS SOUS 297039 HAS SOUPS 296998 WITH SCORE 299044.478
AT ITER 778 NEW BEST:: SOT 4523131 SOS 2046706 HAS SOPS 2046296 HAS SOUS 296652 HAS SOUPS 296611 WITH SCORE 298657.706
AT ITER 781 NEW BEST:: SOT 4523121 SOS 2046696 HAS SOPS 2046286 HAS SOUS 296642 HAS SOUPS 296601 WITH SCORE 298647.696
AT ITER 787 NEW BEST:: SOT 4523121 SOS 2046687 HAS SOPS 2046277 HAS SOUS 296633 HAS SOUPS 296592 WITH SCORE 298638.687
AT ITER 791 NEW BEST:: SOT 4523083 SOS 2046649 HAS SOPS 2046239 HAS SOUS 296595 HAS SOUPS 296554 WITH SCORE 298600.649
AT ITER 822 NEW BEST:: SOT 4523058 SOS 2046637 HAS SOPS 2046227 HAS SOUS 296537 HAS SOUPS 296496 WITH SCORE 298542.637
AT ITER 829 NEW BEST:: SOT 4523058 SOS 2046643 HAS SOPS 2046233 HAS SOUS 296507 HAS SOUPS 296466 WITH SCORE 298512.643
AT ITER 832 NEW BEST:: SOT 4522976 SOS 2046561 HAS SOPS 2046151 HAS SOUS 296425 HAS SOUPS 296384 WITH SCORE 298430.561
AT ITER 844 NEW BEST:: SOT 4522942 SOS 2046527 HAS SOPS 2046117 HAS SOUS 296391 HAS SOUPS 296350 WITH SCORE 298396.527
AT ITER 846 NEW BEST:: SOT 4522775 SOS 2046345 HAS SOPS 2045935 HAS SOUS 296074 HAS SOUPS 296033 WITH SCORE 298079.345
AT ITER 853 NEW BEST:: SOT 4522753 SOS 2046323 HAS SOPS 2045913 HAS SOUS 296052 HAS SOUPS 296011 WITH SCORE 298057.323
AT ITER 856 NEW BEST:: SOT 4522753 SOS 2046258 HAS SOPS 2045848 HAS SOUS 296007 HAS SOUPS 295966 WITH SCORE 298012.258
AT ITER 863 NEW BEST:: SOT 4522829 SOS 2046258 HAS SOPS 2045848 HAS SOUS 295437 HAS SOUPS 295396 WITH SCORE 297442.258
AT ITER 869 NEW BEST:: SOT 4522741 SOS 2046170 HAS SOPS 2045760 HAS SOUS 295349 HAS SOUPS 295308 WITH SCORE 297354.17
AT ITER 880 NEW BEST:: SOT 4522881 SOS 2046265 HAS SOPS 2045855 HAS SOUS 295223 HAS SOUPS 295182 WITH SCORE 297228.265
AT ITER 900 NEW BEST:: SOT 4522901 SOS 2046228 HAS SOPS 2045818 HAS SOUS 295202 HAS SOUPS 295161 WITH SCORE 297207.228
AT ITER 905 NEW BEST:: SOT 4095511 SOS 1619006 HAS SOPS 1618596 HAS SOUS 260542 HAS SOUPS 260501 WITH SCORE 262120.006
AT ITER 909 NEW BEST:: SOT 4095546 SOS 1619023 HAS SOPS 1618613 HAS SOUS 260279 HAS SOUPS 260238 WITH SCORE 261857.023
AT ITER 923 NEW BEST:: SOT 4095507 SOS 1618954 HAS SOPS 1618544 HAS SOUS 260195 HAS SOUPS 260154 WITH SCORE 261772.954
AT ITER 925 NEW BEST:: SOT 4095621 SOS 1618996 HAS SOPS 1618586 HAS SOUS 259737 HAS SOUPS 259696 WITH SCORE 261314.996
AT ITER 927 NEW BEST:: SOT 4095599 SOS 1619015 HAS SOPS 1618605 HAS SOUS 259729 HAS SOUPS 259688 WITH SCORE 261307.015
AT ITER 939 NEW BEST:: SOT 4095563 SOS 1619005 HAS SOPS 1618595 HAS SOUS 259657 HAS SOUPS 259616 WITH SCORE 261235.005
AT ITER 965 NEW BEST:: SOT 4095604 SOS 1619087 HAS SOPS 1618677 HAS SOUS 259611 HAS SOUPS 259570 WITH SCORE 261189.087
AT ITER 972 NEW BEST:: SOT 4095557 SOS 1619155 HAS SOPS 1618745 HAS SOUS 259597 HAS SOUPS 259556 WITH SCORE 261175.155
AT ITER 974 NEW BEST:: SOT 4095559 SOS 1619157 HAS SOPS 1618747 HAS SOUS 259199 HAS SOUPS 259158 WITH SCORE 260777.157
AT ITER 978 NEW BEST:: SOT 4095557 SOS 1619153 HAS SOPS 1618743 HAS SOUS 259195 HAS SOUPS 259154 WITH SCORE 260773.153
AT ITER 981 NEW BEST:: SOT 4095604 SOS 1618900 HAS SOPS 1618490 HAS SOUS 259088 HAS SOUPS 259047 WITH SCORE 260665.9
AT ITER 982 NEW BEST:: SOT 4095544 SOS 1618840 HAS SOPS 1618430 HAS SOUS 259028 HAS SOUPS 258987 WITH SCORE 260605.84
AT ITER 992 NEW BEST:: SOT 4095541 SOS 1618837 HAS SOPS 1618427 HAS SOUS 259025 HAS SOUPS 258984 WITH SCORE 260602.837
AT ITER 995 NEW BEST:: SOT 4095509 SOS 1618805 HAS SOPS 1618395 HAS SOUS 258993 HAS SOUPS 258952 WITH SCORE 260570.805
AT ITER 1000 NEW BEST:: SOT 4095381 SOS 1618677 HAS SOPS 1618267 HAS SOUS 258865 HAS SOUPS 258824 WITH SCORE 260442.677
AT ITER 1006 NEW BEST:: SOT 4095453 SOS 1618534 HAS SOPS 1618124 HAS SOUS 258804 HAS SOUPS 258763 WITH SCORE 260381.534
AT ITER 1007 NEW BEST:: SOT 4095423 SOS 1618504 HAS SOPS 1618094 HAS SOUS 258774 HAS SOUPS 258733 WITH SCORE 260351.504
AT ITER 1010 NEW BEST:: SOT 4095417 SOS 1618498 HAS SOPS 1618088 HAS SOUS 258768 HAS SOUPS 258727 WITH SCORE 260345.498
AT ITER 1012 NEW BEST:: SOT 4095409 SOS 1618490 HAS SOPS 1618080 HAS SOUS 258760 HAS SOUPS 258719 WITH SCORE 260337.49
AT ITER 1019 NEW BEST:: SOT 4095294 SOS 1618375 HAS SOPS 1617965 HAS SOUS 258525 HAS SOUPS 258484 WITH SCORE 260102.375
AT ITER 1024 NEW BEST:: SOT 4095260 SOS 1618307 HAS SOPS 1617897 HAS SOUS 258169 HAS SOUPS 258128 WITH SCORE 259746.307
AT ITER 1035 NEW BEST:: SOT 4095314 SOS 1618327 HAS SOPS 1617917 HAS SOUS 257883 HAS SOUPS 257842 WITH SCORE 259460.327
AT ITER 1043 NEW BEST:: SOT 4095290 SOS 1618303 HAS SOPS 1617893 HAS SOUS 257859 HAS SOUPS 257818 WITH SCORE 259436.303
AT ITER 1047 NEW BEST:: SOT 4095191 SOS 1618204 HAS SOPS 1617794 HAS SOUS 257612 HAS SOUPS 257571 WITH SCORE 259189.204
AT ITER 1059 NEW BEST:: SOT 4095068 SOS 1618081 HAS SOPS 1617671 HAS SOUS 257489 HAS SOUPS 257448 WITH SCORE 259066.081
AT ITER 1075 NEW BEST:: SOT 4094986 SOS 1617945 HAS SOPS 1617535 HAS SOUS 256671 HAS SOUPS 256630 WITH SCORE 258247.945
AT ITER 1095 NEW BEST:: SOT 4094988 SOS 1617878 HAS SOPS 1617468 HAS SOUS 256052 HAS SOUPS 256011 WITH SCORE 257628.878
AT ITER 1099 NEW BEST:: SOT 4095027 SOS 1617917 HAS SOPS 1617507 HAS SOUS 256002 HAS SOUPS 255961 WITH SCORE 257578.917
AT ITER 1122 NEW BEST:: SOT 4094891 SOS 1617781 HAS SOPS 1617371 HAS SOUS 255807 HAS SOUPS 255766 WITH SCORE 257383.781
AT ITER 1130 NEW BEST:: SOT 4094921 SOS 1617651 HAS SOPS 1617241 HAS SOUS 253906 HAS SOUPS 253865 WITH SCORE 255482.651
AT ITER 1134 NEW BEST:: SOT 4094921 SOS 1617549 HAS SOPS 1617139 HAS SOUS 253804 HAS SOUPS 253763 WITH SCORE 255380.549
AT ITER 1136 NEW BEST:: SOT 4094921 SOS 1617549 HAS SOPS 1617139 HAS SOUS 253800 HAS SOUPS 253759 WITH SCORE 255376.549
AT ITER 1139 NEW BEST:: SOT 4095443 SOS 1617983 HAS SOPS 1617573 HAS SOUS 252889 HAS SOUPS 252848 WITH SCORE 254465.983
AT ITER 1153 NEW BEST:: SOT 3065150 SOS 589741 HAS SOPS 589331 HAS SOUS 173326 HAS SOUPS 173285 WITH SCORE 173874.741
AT ITER 1176 NEW BEST:: SOT 3065150 SOS 589724 HAS SOPS 589314 HAS SOUS 173309 HAS SOUPS 173268 WITH SCORE 173857.724
AT ITER 1185 NEW BEST:: SOT 3065325 SOS 589899 HAS SOPS 589489 HAS SOUS 173019 HAS SOUPS 172978 WITH SCORE 173567.899
AT ITER 1188 NEW BEST:: SOT 3065209 SOS 589783 HAS SOPS 589373 HAS SOUS 172903 HAS SOUPS 172862 WITH SCORE 173451.783
AT ITER 1192 NEW BEST:: SOT 3065018 SOS 589592 HAS SOPS 589182 HAS SOUS 172712 HAS SOUPS 172671 WITH SCORE 173260.592
AT ITER 1195 NEW BEST:: SOT 3065482 SOS 589890 HAS SOPS 589480 HAS SOUS 171316 HAS SOUPS 171275 WITH SCORE 171864.89
AT ITER 1196 NEW BEST:: SOT 3065466 SOS 589874 HAS SOPS 589464 HAS SOUS 171300 HAS SOUPS 171259 WITH SCORE 171848.874
AT ITER 1215 NEW BEST:: SOT 3065466 SOS 589874 HAS SOPS 589464 HAS SOUS 171168 HAS SOUPS 171127 WITH SCORE 171716.874
AT ITER 1229 NEW BEST:: SOT 3065415 SOS 589877 HAS SOPS 589467 HAS SOUS 171146 HAS SOUPS 171105 WITH SCORE 171694.877
AT ITER 1242 NEW BEST:: SOT 3065377 SOS 589839 HAS SOPS 589429 HAS SOUS 171108 HAS SOUPS 171067 WITH SCORE 171656.839
AT ITER 1245 NEW BEST:: SOT 3065377 SOS 589837 HAS SOPS 589427 HAS SOUS 171090 HAS SOUPS 171049 WITH SCORE 171638.837
AT ITER 1248 NEW BEST:: SOT 3065377 SOS 589827 HAS SOPS 589417 HAS SOUS 171027 HAS SOUPS 170986 WITH SCORE 171575.827
AT ITER 1258 NEW BEST:: SOT 3065413 SOS 589855 HAS SOPS 589445 HAS SOUS 170768 HAS SOUPS 170727 WITH SCORE 171316.855
AT ITER 1264 NEW BEST:: SOT 3065608 SOS 590007 HAS SOPS 589597 HAS SOUS 170331 HAS SOUPS 170290 WITH SCORE 170880.007
AT ITER 1286 NEW BEST:: SOT 3065449 SOS 589848 HAS SOPS 589438 HAS SOUS 170172 HAS SOUPS 170131 WITH SCORE 170720.848
AT ITER 1291 NEW BEST:: SOT 3065393 SOS 589860 HAS SOPS 589450 HAS SOUS 170143 HAS SOUPS 170102 WITH SCORE 170691.86
AT ITER 1303 NEW BEST:: SOT 2927693 SOS 1084633 HAS SOPS 1084223 HAS SOUS 161812 HAS SOUPS 161771 WITH SCORE 162855.633
AT ITER 1318 NEW BEST:: SOT 2927734 SOS 1084674 HAS SOPS 1084264 HAS SOUS 161039 HAS SOUPS 160998 WITH SCORE 162082.674
AT ITER 1320 NEW BEST:: SOT 2928446 SOS 1085270 HAS SOPS 1084860 HAS SOUS 160974 HAS SOUPS 160933 WITH SCORE 162018.27
AT ITER 1326 NEW BEST:: SOT 2928316 SOS 1085140 HAS SOPS 1084730 HAS SOUS 160788 HAS SOUPS 160747 WITH SCORE 161832.14
AT ITER 1331 NEW BEST:: SOT 2928582 SOS 1085339 HAS SOPS 1084929 HAS SOUS 160398 HAS SOUPS 160357 WITH SCORE 161442.339
AT ITER 1338 NEW BEST:: SOT 2928582 SOS 1085311 HAS SOPS 1084901 HAS SOUS 160398 HAS SOUPS 160357 WITH SCORE 161442.311
AT ITER 1344 NEW BEST:: SOT 2928541 SOS 1085270 HAS SOPS 1084860 HAS SOUS 160287 HAS SOUPS 160246 WITH SCORE 161331.27
AT ITER 1351 NEW BEST:: SOT 2928520 SOS 1085249 HAS SOPS 1084839 HAS SOUS 160266 HAS SOUPS 160225 WITH SCORE 161310.249
AT ITER 1352 NEW BEST:: SOT 2928465 SOS 1085241 HAS SOPS 1084831 HAS SOUS 160229 HAS SOUPS 160188 WITH SCORE 161273.241
AT ITER 1363 NEW BEST:: SOT 2928749 SOS 1085525 HAS SOPS 1085115 HAS SOUS 160033 HAS SOUPS 159992 WITH SCORE 161077.525
AT ITER 1369 NEW BEST:: SOT 2928747 SOS 1085523 HAS SOPS 1085113 HAS SOUS 160031 HAS SOUPS 159990 WITH SCORE 161075.523
AT ITER 1380 NEW BEST:: SOT 2928747 SOS 1085523 HAS SOPS 1085113 HAS SOUS 160024 HAS SOUPS 159983 WITH SCORE 161068.523
AT ITER 1386 NEW BEST:: SOT 2928755 SOS 1085611 HAS SOPS 1085201 HAS SOUS 160017 HAS SOUPS 159976 WITH SCORE 161061.611
AT ITER 1392 NEW BEST:: SOT 2928737 SOS 1085566 HAS SOPS 1085156 HAS SOUS 159999 HAS SOUPS 159958 WITH SCORE 161043.566
AT ITER 1407 NEW BEST:: SOT 2928569 SOS 1085398 HAS SOPS 1084988 HAS SOUS 159831 HAS SOUPS 159790 WITH SCORE 160875.398
AT ITER 1413 NEW BEST:: SOT 2928537 SOS 1085366 HAS SOPS 1084956 HAS SOUS 159795 HAS SOUPS 159754 WITH SCORE 160839.366
AT ITER 1426 NEW BEST:: SOT 2928521 SOS 1085350 HAS SOPS 1084940 HAS SOUS 159779 HAS SOUPS 159738 WITH SCORE 160823.35
AT ITER 1427 NEW BEST:: SOT 2928448 SOS 1085204 HAS SOPS 1084794 HAS SOUS 158306 HAS SOUPS 158265 WITH SCORE 159350.204
AT ITER 1430 NEW BEST:: SOT 2928432 SOS 1085172 HAS SOPS 1084762 HAS SOUS 158274 HAS SOUPS 158233 WITH SCORE 159318.172
AT ITER 1433 NEW BEST:: SOT 2928415 SOS 1085155 HAS SOPS 1084745 HAS SOUS 158257 HAS SOUPS 158216 WITH SCORE 159301.155
AT ITER 1446 NEW BEST:: SOT 2928388 SOS 1085121 HAS SOPS 1084711 HAS SOUS 158223 HAS SOUPS 158182 WITH SCORE 159267.121
AT ITER 1455 NEW BEST:: SOT 2929236 SOS 1085969 HAS SOPS 1085559 HAS SOUS 157517 HAS SOUPS 157476 WITH SCORE 158561.969
AT ITER 1459 NEW BEST:: SOT 2929234 SOS 1085965 HAS SOPS 1085555 HAS SOUS 157513 HAS SOUPS 157472 WITH SCORE 158557.965
AT ITER 1475 NEW BEST:: SOT 2929199 SOS 1085930 HAS SOPS 1085520 HAS SOUS 157482 HAS SOUPS 157441 WITH SCORE 158526.93
AT ITER 1480 NEW BEST:: SOT 2928973 SOS 1085704 HAS SOPS 1085294 HAS SOUS 157194 HAS SOUPS 157153 WITH SCORE 158238.704
AT ITER 1481 NEW BEST:: SOT 2928841 SOS 1085524 HAS SOPS 1085114 HAS SOUS 156788 HAS SOUPS 156747 WITH SCORE 157832.524
AT ITER 1482 NEW BEST:: SOT 2928809 SOS 1085492 HAS SOPS 1085082 HAS SOUS 156756 HAS SOUPS 156715 WITH SCORE 157800.492
AT ITER 1490 NEW BEST:: SOT 2928777 SOS 1085520 HAS SOPS 1085110 HAS SOUS 156572 HAS SOUPS 156531 WITH SCORE 157616.52
AT ITER 1496 NEW BEST:: SOT 2928929 SOS 1085646 HAS SOPS 1085236 HAS SOUS 156568 HAS SOUPS 156527 WITH SCORE 157612.646
AT ITER 1517 NEW BEST:: SOT 2928952 SOS 1085585 HAS SOPS 1085175 HAS SOUS 156532 HAS SOUPS 156491 WITH SCORE 157576.585
AT ITER 1531 NEW BEST:: SOT 2928889 SOS 1085522 HAS SOPS 1085112 HAS SOUS 156469 HAS SOUPS 156428 WITH SCORE 157513.522
AT ITER 1540 NEW BEST:: SOT 2928855 SOS 1085488 HAS SOPS 1085078 HAS SOUS 156435 HAS SOUPS 156394 WITH SCORE 157479.488
AT ITER 1549 NEW BEST:: SOT 2928745 SOS 1085371 HAS SOPS 1084961 HAS SOUS 156281 HAS SOUPS 156240 WITH SCORE 157325.371
AT ITER 1555 NEW BEST:: SOT 2928685 SOS 1085340 HAS SOPS 1084930 HAS SOUS 156192 HAS SOUPS 156151 WITH SCORE 157236.34
AT ITER 1578 NEW BEST:: SOT 2928675 SOS 1085330 HAS SOPS 1084920 HAS SOUS 156172 HAS SOUPS 156131 WITH SCORE 157216.33
AT ITER 1581 NEW BEST:: SOT 2928675 SOS 1085230 HAS SOPS 1084820 HAS SOUS 156087 HAS SOUPS 156046 WITH SCORE 157131.23
AT ITER 1588 NEW BEST:: SOT 2928662 SOS 1085217 HAS SOPS 1084807 HAS SOUS 156074 HAS SOUPS 156033 WITH SCORE 157118.217
AT ITER 1594 NEW BEST:: SOT 2928530 SOS 1085085 HAS SOPS 1084675 HAS SOUS 155885 HAS SOUPS 155844 WITH SCORE 156929.085
AT ITER 1602 NEW BEST:: SOT 2928530 SOS 1085052 HAS SOPS 1084642 HAS SOUS 155885 HAS SOUPS 155844 WITH SCORE 156929.052
AT ITER 1624 NEW BEST:: SOT 2928547 SOS 1085035 HAS SOPS 1084625 HAS SOUS 155625 HAS SOUPS 155584 WITH SCORE 156669.035
AT ITER 1634 NEW BEST:: SOT 2928486 SOS 1084974 HAS SOPS 1084564 HAS SOUS 155564 HAS SOUPS 155523 WITH SCORE 156607.974
AT ITER 1636 NEW BEST:: SOT 2928486 SOS 1084974 HAS SOPS 1084564 HAS SOUS 155466 HAS SOUPS 155425 WITH SCORE 156509.974
AT ITER 1638 NEW BEST:: SOT 2928486 SOS 1085009 HAS SOPS 1084599 HAS SOUS 155455 HAS SOUPS 155414 WITH SCORE 156499.009
AT ITER 1642 NEW BEST:: SOT 2928431 SOS 1085024 HAS SOPS 1084614 HAS SOUS 155360 HAS SOUPS 155319 WITH SCORE 156404.024
AT ITER 1644 NEW BEST:: SOT 2928431 SOS 1084989 HAS SOPS 1084579 HAS SOUS 155342 HAS SOUPS 155301 WITH SCORE 156385.989
AT ITER 1645 NEW BEST:: SOT 2928301 SOS 1084859 HAS SOPS 1084449 HAS SOUS 155212 HAS SOUPS 155171 WITH SCORE 156255.859
AT ITER 1663 NEW BEST:: SOT 2928303 SOS 1084582 HAS SOPS 1084172 HAS SOUS 155205 HAS SOUPS 155164 WITH SCORE 156248.582
AT ITER 1677 NEW BEST:: SOT 2928346 SOS 1084625 HAS SOPS 1084215 HAS SOUS 154931 HAS SOUPS 154890 WITH SCORE 155974.625
AT ITER 1695 NEW BEST:: SOT 2928346 SOS 1084625 HAS SOPS 1084215 HAS SOUS 154903 HAS SOUPS 154862 WITH SCORE 155946.625
AT ITER 1697 NEW BEST:: SOT 2928346 SOS 1085951 HAS SOPS 1085556 HAS SOUS 154890 HAS SOUPS 154849 WITH SCORE 155934.951
AT ITER 1706 NEW BEST:: SOT 2928346 SOS 1085951 HAS SOPS 1085556 HAS SOUS 154868 HAS SOUPS 154827 WITH SCORE 155912.951
AT ITER 1712 NEW BEST:: SOT 2928335 SOS 1085940 HAS SOPS 1085545 HAS SOUS 154846 HAS SOUPS 154805 WITH SCORE 155890.94
AT ITER 1714 NEW BEST:: SOT 2927979 SOS 1085243 HAS SOPS 1084848 HAS SOUS 154090 HAS SOUPS 154049 WITH SCORE 155134.243
AT ITER 1721 NEW BEST:: SOT 2927989 SOS 1085253 HAS SOPS 1084858 HAS SOUS 154077 HAS SOUPS 154036 WITH SCORE 155121.253
AT ITER 1722 NEW BEST:: SOT 2928073 SOS 1085270 HAS SOPS 1084875 HAS SOUS 153659 HAS SOUPS 153618 WITH SCORE 154703.27
AT ITER 1726 NEW BEST:: SOT 2928312 SOS 1085347 HAS SOPS 1084952 HAS SOUS 151731 HAS SOUPS 151690 WITH SCORE 152775.347
AT ITER 1728 NEW BEST:: SOT 2928343 SOS 1085354 HAS SOPS 1084959 HAS SOUS 151601 HAS SOUPS 151560 WITH SCORE 152645.354
AT ITER 1734 NEW BEST:: SOT 2928361 SOS 1085368 HAS SOPS 1084973 HAS SOUS 151597 HAS SOUPS 151556 WITH SCORE 152641.368
AT ITER 1738 NEW BEST:: SOT 2928239 SOS 1085248 HAS SOPS 1084853 HAS SOUS 151475 HAS SOUPS 151434 WITH SCORE 152519.248
AT ITER 1743 NEW BEST:: SOT 2928002 SOS 1085073 HAS SOPS 1084678 HAS SOUS 151303 HAS SOUPS 151262 WITH SCORE 152347.073
AT ITER 1747 NEW BEST:: SOT 2928000 SOS 1085071 HAS SOPS 1084676 HAS SOUS 151250 HAS SOUPS 151209 WITH SCORE 152294.071
AT ITER 1757 NEW BEST:: SOT 2928346 SOS 1085417 HAS SOPS 1085022 HAS SOUS 151195 HAS SOUPS 151154 WITH SCORE 152239.417
AT ITER 1782 NEW BEST:: SOT 2928346 SOS 1085399 HAS SOPS 1085004 HAS SOUS 151183 HAS SOUPS 151142 WITH SCORE 152227.399
AT ITER 1787 NEW BEST:: SOT 2928346 SOS 1085399 HAS SOPS 1085004 HAS SOUS 151089 HAS SOUPS 151048 WITH SCORE 152133.399
AT ITER 1797 NEW BEST:: SOT 2927938 SOS 1085018 HAS SOPS 1084623 HAS SOUS 150823 HAS SOUPS 150782 WITH SCORE 151867.018
AT ITER 1799 NEW BEST:: SOT 2927824 SOS 1084904 HAS SOPS 1084509 HAS SOUS 150595 HAS SOUPS 150554 WITH SCORE 151638.904
AT ITER 1814 NEW BEST:: SOT 2927700 SOS 1084780 HAS SOPS 1084385 HAS SOUS 150169 HAS SOUPS 150128 WITH SCORE 151212.78
AT ITER 1822 NEW BEST:: SOT 2927818 SOS 1084898 HAS SOPS 1084503 HAS SOUS 149605 HAS SOUPS 149564 WITH SCORE 150648.898
AT ITER 1833 NEW BEST:: SOT 2941704 SOS 1098392 HAS SOPS 1097986 HAS SOUS 149533 HAS SOUPS 149481 WITH SCORE 150579.392
AT ITER 1849 NEW BEST:: SOT 2941662 SOS 1098350 HAS SOPS 1097944 HAS SOUS 149448 HAS SOUPS 149396 WITH SCORE 150494.35
AT ITER 1865 NEW BEST:: SOT 2941662 SOS 1098375 HAS SOPS 1097969 HAS SOUS 149408 HAS SOUPS 149356 WITH SCORE 150454.375
AT ITER 1874 NEW BEST:: SOT 2941850 SOS 1098563 HAS SOPS 1098157 HAS SOUS 147240 HAS SOUPS 147188 WITH SCORE 148286.563
AT ITER 1891 NEW BEST:: SOT 2941797 SOS 1098482 HAS SOPS 1098076 HAS SOUS 146474 HAS SOUPS 146422 WITH SCORE 147520.482
AT ITER 1893 NEW BEST:: SOT 2941783 SOS 1098468 HAS SOPS 1098062 HAS SOUS 146449 HAS SOUPS 146397 WITH SCORE 147495.468
AT ITER 1894 NEW BEST:: SOT 2941777 SOS 1098462 HAS SOPS 1098056 HAS SOUS 146437 HAS SOUPS 146385 WITH SCORE 147483.462
AT ITER 1909 NEW BEST:: SOT 2942096 SOS 1098781 HAS SOPS 1098375 HAS SOUS 146106 HAS SOUPS 146054 WITH SCORE 147152.781
AT ITER 1910 NEW BEST:: SOT 2942128 SOS 1098740 HAS SOPS 1098334 HAS SOUS 145600 HAS SOUPS 145548 WITH SCORE 146646.74
AT ITER 1917 NEW BEST:: SOT 2942128 SOS 959620 HAS SOPS 959214 HAS SOUS 145541 HAS SOUPS 145489 WITH SCORE 146448.62
AT ITER 1918 NEW BEST:: SOT 2942310 SOS 959802 HAS SOPS 959396 HAS SOUS 145312 HAS SOUPS 145260 WITH SCORE 146219.802
AT ITER 1926 NEW BEST:: SOT 2942217 SOS 959709 HAS SOPS 959303 HAS SOUS 145134 HAS SOUPS 145082 WITH SCORE 146041.709
AT ITER 1930 NEW BEST:: SOT 2942320 SOS 959812 HAS SOPS 959406 HAS SOUS 144755 HAS SOUPS 144703 WITH SCORE 145662.812
AT ITER 1935 NEW BEST:: SOT 2942320 SOS 960730 HAS SOPS 960327 HAS SOUS 144742 HAS SOUPS 144690 WITH SCORE 145650.73
AT ITER 1941 NEW BEST:: SOT 2942282 SOS 960692 HAS SOPS 960289 HAS SOUS 144666 HAS SOUPS 144614 WITH SCORE 145574.692
AT ITER 1947 NEW BEST:: SOT 2942152 SOS 960562 HAS SOPS 960159 HAS SOUS 144465 HAS SOUPS 144413 WITH SCORE 145373.562
AT ITER 1948 NEW BEST:: SOT 2942121 SOS 960531 HAS SOPS 960128 HAS SOUS 144434 HAS SOUPS 144382 WITH SCORE 145342.531
AT ITER 1954 NEW BEST:: SOT 2942087 SOS 960497 HAS SOPS 960094 HAS SOUS 144394 HAS SOUPS 144342 WITH SCORE 145302.497
AT ITER 1962 NEW BEST:: SOT 2942087 SOS 952977 HAS SOPS 952574 HAS SOUS 144386 HAS SOUPS 144334 WITH SCORE 145286.977
AT ITER 1972 NEW BEST:: SOT 2942067 SOS 952957 HAS SOPS 952554 HAS SOUS 144364 HAS SOUPS 144312 WITH SCORE 145264.957
AT ITER 1973 NEW BEST:: SOT 2942062 SOS 953274 HAS SOPS 952871 HAS SOUS 144348 HAS SOUPS 144296 WITH SCORE 145249.274
AT ITER 1990 NEW BEST:: SOT 2943146 SOS 954358 HAS SOPS 953955 HAS SOUS 144136 HAS SOUPS 144084 WITH SCORE 145038.358
AT ITER 1994 NEW BEST:: SOT 2943140 SOS 954352 HAS SOPS 953949 HAS SOUS 144127 HAS SOUPS 144075 WITH SCORE 145029.352
AT ITER 2010 NEW BEST:: SOT 2943140 SOS 954327 HAS SOPS 953924 HAS SOUS 144127 HAS SOUPS 144075 WITH SCORE 145029.327
AT ITER 2020 NEW BEST:: SOT 2936219 SOS 1011957 HAS SOPS 1011554 HAS SOUS 137656 HAS SOUPS 137604 WITH SCORE 138615.957
AT ITER 2031 NEW BEST:: SOT 2936219 SOS 1011957 HAS SOPS 1011554 HAS SOUS 137617 HAS SOUPS 137565 WITH SCORE 138576.957
AT ITER 2042 NEW BEST:: SOT 2936298 SOS 1012036 HAS SOPS 1011633 HAS SOUS 137139 HAS SOUPS 137087 WITH SCORE 138099.036
AT ITER 2058 NEW BEST:: SOT 2936030 SOS 1011768 HAS SOPS 1011365 HAS SOUS 136818 HAS SOUPS 136766 WITH SCORE 137777.768
AT ITER 2088 NEW BEST:: SOT 2934886 SOS 1014002 HAS SOPS 1013599 HAS SOUS 135674 HAS SOUPS 135622 WITH SCORE 136636.002
AT ITER 2097 NEW BEST:: SOT 2934883 SOS 1013999 HAS SOPS 1013596 HAS SOUS 135671 HAS SOUPS 135619 WITH SCORE 136632.999
AT ITER 2099 NEW BEST:: SOT 2934862 SOS 1013978 HAS SOPS 1013575 HAS SOUS 135237 HAS SOUPS 135185 WITH SCORE 136198.978
AT ITER 2112 NEW BEST:: SOT 2934829 SOS 1013811 HAS SOPS 1013408 HAS SOUS 135204 HAS SOUPS 135152 WITH SCORE 136165.811
AT ITER 2124 NEW BEST:: SOT 2934711 SOS 1013693 HAS SOPS 1013290 HAS SOUS 135086 HAS SOUPS 135034 WITH SCORE 136047.693
AT ITER 2126 NEW BEST:: SOT 2934706 SOS 1013765 HAS SOPS 1013362 HAS SOUS 135081 HAS SOUPS 135029 WITH SCORE 136042.765
AT ITER 2128 NEW BEST:: SOT 2934679 SOS 1013738 HAS SOPS 1013335 HAS SOUS 135054 HAS SOUPS 135002 WITH SCORE 136015.738
AT ITER 2129 NEW BEST:: SOT 2934662 SOS 1013721 HAS SOPS 1013318 HAS SOUS 134148 HAS SOUPS 134096 WITH SCORE 135109.721
AT ITER 2151 NEW BEST:: SOT 2934668 SOS 1013727 HAS SOPS 1013324 HAS SOUS 134138 HAS SOUPS 134086 WITH SCORE 135099.727
AT ITER 2171 NEW BEST:: SOT 2934628 SOS 1013687 HAS SOPS 1013284 HAS SOUS 134098 HAS SOUPS 134046 WITH SCORE 135059.687
AT ITER 2172 NEW BEST:: SOT 2934623 SOS 1013677 HAS SOPS 1013274 HAS SOUS 134078 HAS SOUPS 134026 WITH SCORE 135039.677
AT ITER 2179 NEW BEST:: SOT 2934594 SOS 1013648 HAS SOPS 1013245 HAS SOUS 134036 HAS SOUPS 133984 WITH SCORE 134997.648
AT ITER 2185 NEW BEST:: SOT 2934574 SOS 1013628 HAS SOPS 1013225 HAS SOUS 133968 HAS SOUPS 133916 WITH SCORE 134929.628
AT ITER 2192 NEW BEST:: SOT 2934516 SOS 1013570 HAS SOPS 1013167 HAS SOUS 133890 HAS SOUPS 133838 WITH SCORE 134851.57
AT ITER 2205 NEW BEST:: SOT 2934461 SOS 1013515 HAS SOPS 1013112 HAS SOUS 133835 HAS SOUPS 133783 WITH SCORE 134796.515
AT ITER 2211 NEW BEST:: SOT 2934415 SOS 1013469 HAS SOPS 1013066 HAS SOUS 133677 HAS SOUPS 133625 WITH SCORE 134638.469
AT ITER 2213 NEW BEST:: SOT 2934868 SOS 1013922 HAS SOPS 1013519 HAS SOUS 133489 HAS SOUPS 133437 WITH SCORE 134450.922
AT ITER 2222 NEW BEST:: SOT 2934857 SOS 1013911 HAS SOPS 1013508 HAS SOUS 133480 HAS SOUPS 133428 WITH SCORE 134441.911
AT ITER 2243 NEW BEST:: SOT 2934504 SOS 1015060 HAS SOPS 1014657 HAS SOUS 133357 HAS SOUPS 133305 WITH SCORE 134320.06
AT ITER 2245 NEW BEST:: SOT 2934458 SOS 1015014 HAS SOPS 1014611 HAS SOUS 133271 HAS SOUPS 133219 WITH SCORE 134234.014
AT ITER 2264 NEW BEST:: SOT 2934786 SOS 1015342 HAS SOPS 1014939 HAS SOUS 132642 HAS SOUPS 132590 WITH SCORE 133605.342
AT ITER 2266 NEW BEST:: SOT 2934766 SOS 1015322 HAS SOPS 1014919 HAS SOUS 132612 HAS SOUPS 132560 WITH SCORE 133575.322
AT ITER 2270 NEW BEST:: SOT 2934678 SOS 1015234 HAS SOPS 1014831 HAS SOUS 132483 HAS SOUPS 132431 WITH SCORE 133446.234
AT ITER 2294 NEW BEST:: SOT 2934678 SOS 1015122 HAS SOPS 1014719 HAS SOUS 132469 HAS SOUPS 132417 WITH SCORE 133432.122
AT ITER 2301 NEW BEST:: SOT 2934588 SOS 1015032 HAS SOPS 1014629 HAS SOUS 132241 HAS SOUPS 132189 WITH SCORE 133204.032
AT ITER 2308 NEW BEST:: SOT 2934524 SOS 1014968 HAS SOPS 1014565 HAS SOUS 132136 HAS SOUPS 132084 WITH SCORE 133098.968
AT ITER 2318 NEW BEST:: SOT 2934404 SOS 1014848 HAS SOPS 1014445 HAS SOUS 131990 HAS SOUPS 131938 WITH SCORE 132952.848
AT ITER 2333 NEW BEST:: SOT 2934393 SOS 1014837 HAS SOPS 1014434 HAS SOUS 131979 HAS SOUPS 131927 WITH SCORE 132941.837
AT ITER 2365 NEW BEST:: SOT 2934096 SOS 1014540 HAS SOPS 1014137 HAS SOUS 131682 HAS SOUPS 131630 WITH SCORE 132644.54
AT ITER 2368 NEW BEST:: SOT 2934096 SOS 1014540 HAS SOPS 1014137 HAS SOUS 131618 HAS SOUPS 131566 WITH SCORE 132580.54
AT ITER 2372 NEW BEST:: SOT 2934014 SOS 1014458 HAS SOPS 1014055 HAS SOUS 131432 HAS SOUPS 131380 WITH SCORE 132394.458
AT ITER 2382 NEW BEST:: SOT 2934014 SOS 1014188 HAS SOPS 1013785 HAS SOUS 131406 HAS SOUPS 131354 WITH SCORE 132368.188
AT ITER 2388 NEW BEST:: SOT 2934041 SOS 1014242 HAS SOPS 1013839 HAS SOUS 131392 HAS SOUPS 131340 WITH SCORE 132354.242
AT ITER 2391 NEW BEST:: SOT 2933874 SOS 1014098 HAS SOPS 1013695 HAS SOUS 131198 HAS SOUPS 131146 WITH SCORE 132160.098
AT ITER 2394 NEW BEST:: SOT 2933812 SOS 1014036 HAS SOPS 1013633 HAS SOUS 130578 HAS SOUPS 130526 WITH SCORE 131540.036
AT ITER 2396 NEW BEST:: SOT 2933784 SOS 1014008 HAS SOPS 1013605 HAS SOUS 130503 HAS SOUPS 130451 WITH SCORE 131465.008
AT ITER 2407 NEW BEST:: SOT 2933792 SOS 1013805 HAS SOPS 1013402 HAS SOUS 130489 HAS SOUPS 130437 WITH SCORE 131450.805
AT ITER 2416 NEW BEST:: SOT 2933831 SOS 1013844 HAS SOPS 1013441 HAS SOUS 130487 HAS SOUPS 130435 WITH SCORE 131448.844
AT ITER 2419 NEW BEST:: SOT 2934421 SOS 1014434 HAS SOPS 1014031 HAS SOUS 130312 HAS SOUPS 130260 WITH SCORE 131274.434
AT ITER 2437 NEW BEST:: SOT 2934357 SOS 1014370 HAS SOPS 1013967 HAS SOUS 130098 HAS SOUPS 130046 WITH SCORE 131060.37
AT ITER 2444 NEW BEST:: SOT 2934275 SOS 1014288 HAS SOPS 1013885 HAS SOUS 130016 HAS SOUPS 129964 WITH SCORE 130978.288
AT ITER 2463 NEW BEST:: SOT 2934385 SOS 1014216 HAS SOPS 1013813 HAS SOUS 129970 HAS SOUPS 129918 WITH SCORE 130932.216
AT ITER 2469 NEW BEST:: SOT 2934270 SOS 1014101 HAS SOPS 1013698 HAS SOUS 129767 HAS SOUPS 129715 WITH SCORE 130729.101
AT ITER 2477 NEW BEST:: SOT 2934270 SOS 1014068 HAS SOPS 1013665 HAS SOUS 129652 HAS SOUPS 129600 WITH SCORE 130614.068
AT ITER 2479 NEW BEST:: SOT 2934294 SOS 1014091 HAS SOPS 1013688 HAS SOUS 129616 HAS SOUPS 129564 WITH SCORE 130578.091
AT ITER 2481 NEW BEST:: SOT 2934188 SOS 1013985 HAS SOPS 1013582 HAS SOUS 129508 HAS SOUPS 129456 WITH SCORE 130469.985
AT ITER 2483 NEW BEST:: SOT 2934071 SOS 1013868 HAS SOPS 1013465 HAS SOUS 129299 HAS SOUPS 129247 WITH SCORE 130260.868
AT ITER 2514 NEW BEST:: SOT 2932880 SOS 1012677 HAS SOPS 1012274 HAS SOUS 128556 HAS SOUPS 128504 WITH SCORE 129516.677
AT ITER 2515 NEW BEST:: SOT 2932848 SOS 1012652 HAS SOPS 1012249 HAS SOUS 128531 HAS SOUPS 128479 WITH SCORE 129491.652
AT ITER 2516 NEW BEST:: SOT 2932801 SOS 1012605 HAS SOPS 1012202 HAS SOUS 128386 HAS SOUPS 128334 WITH SCORE 129346.605
AT ITER 2520 NEW BEST:: SOT 2932379 SOS 1012183 HAS SOPS 1011780 HAS SOUS 128246 HAS SOUPS 128194 WITH SCORE 129206.183
AT ITER 2525 NEW BEST:: SOT 2932760 SOS 1012564 HAS SOPS 1012161 HAS SOUS 128167 HAS SOUPS 128115 WITH SCORE 129127.564
AT ITER 2526 NEW BEST:: SOT 2932786 SOS 1012590 HAS SOPS 1012187 HAS SOUS 127985 HAS SOUPS 127933 WITH SCORE 128945.59
AT ITER 2552 NEW BEST:: SOT 2932786 SOS 1012590 HAS SOPS 1012187 HAS SOUS 127977 HAS SOUPS 127925 WITH SCORE 128937.59
AT ITER 2557 NEW BEST:: SOT 2932714 SOS 1012530 HAS SOPS 1012127 HAS SOUS 127810 HAS SOUPS 127758 WITH SCORE 128770.53
AT ITER 2561 NEW BEST:: SOT 2932706 SOS 1012522 HAS SOPS 1012119 HAS SOUS 127802 HAS SOUPS 127750 WITH SCORE 128762.522
AT ITER 2564 NEW BEST:: SOT 2932685 SOS 835781 HAS SOPS 835378 HAS SOUS 127546 HAS SOUPS 127494 WITH SCORE 128329.781
AT ITER 2578 NEW BEST:: SOT 2932669 SOS 835765 HAS SOPS 835362 HAS SOUS 127530 HAS SOUPS 127478 WITH SCORE 128313.765
AT ITER 2585 NEW BEST:: SOT 2932785 SOS 835881 HAS SOPS 835478 HAS SOUS 127214 HAS SOUPS 127162 WITH SCORE 127997.881
AT ITER 2592 NEW BEST:: SOT 2932707 SOS 835853 HAS SOPS 835450 HAS SOUS 127158 HAS SOUPS 127106 WITH SCORE 127941.853
AT ITER 2598 NEW BEST:: SOT 2932641 SOS 835787 HAS SOPS 835384 HAS SOUS 127032 HAS SOUPS 126980 WITH SCORE 127815.787
AT ITER 2602 NEW BEST:: SOT 2932561 SOS 835707 HAS SOPS 835304 HAS SOUS 126952 HAS SOUPS 126900 WITH SCORE 127735.707
AT ITER 2613 NEW BEST:: SOT 2932549 SOS 835695 HAS SOPS 835292 HAS SOUS 126939 HAS SOUPS 126887 WITH SCORE 127722.695
AT ITER 2615 NEW BEST:: SOT 2932503 SOS 835649 HAS SOPS 835246 HAS SOUS 126893 HAS SOUPS 126841 WITH SCORE 127676.649
AT ITER 2619 NEW BEST:: SOT 2932465 SOS 835611 HAS SOPS 835208 HAS SOUS 126855 HAS SOUPS 126803 WITH SCORE 127638.611
AT ITER 2630 NEW BEST:: SOT 2932465 SOS 835611 HAS SOPS 835208 HAS SOUS 126789 HAS SOUPS 126737 WITH SCORE 127572.611
AT ITER 2635 NEW BEST:: SOT 2932355 SOS 835353 HAS SOPS 834950 HAS SOUS 126569 HAS SOUPS 126517 WITH SCORE 127352.353
AT ITER 2655 NEW BEST:: SOT 2932351 SOS 835349 HAS SOPS 834946 HAS SOUS 126563 HAS SOUPS 126511 WITH SCORE 127346.349
AT ITER 2666 NEW BEST:: SOT 2932279 SOS 835277 HAS SOPS 834874 HAS SOUS 126491 HAS SOUPS 126439 WITH SCORE 127274.277
AT ITER 2673 NEW BEST:: SOT 2932050 SOS 835275 HAS SOPS 834872 HAS SOUS 126072 HAS SOUPS 126020 WITH SCORE 126855.275
AT ITER 2675 NEW BEST:: SOT 2932050 SOS 835240 HAS SOPS 834837 HAS SOUS 125959 HAS SOUPS 125907 WITH SCORE 126742.24
AT ITER 2685 NEW BEST:: SOT 2932039 SOS 835229 HAS SOPS 834826 HAS SOUS 125948 HAS SOUPS 125896 WITH SCORE 126731.229
AT ITER 2696 NEW BEST:: SOT 2931851 SOS 835041 HAS SOPS 834638 HAS SOUS 125642 HAS SOUPS 125590 WITH SCORE 126425.041
AT ITER 2702 NEW BEST:: SOT 2931849 SOS 835030 HAS SOPS 834627 HAS SOUS 125624 HAS SOUPS 125572 WITH SCORE 126407.03
AT ITER 2705 NEW BEST:: SOT 2931843 SOS 835024 HAS SOPS 834621 HAS SOUS 125618 HAS SOUPS 125566 WITH SCORE 126401.024
AT ITER 2713 NEW BEST:: SOT 2932058 SOS 835239 HAS SOPS 834836 HAS SOUS 125303 HAS SOUPS 125251 WITH SCORE 126086.239
AT ITER 2723 NEW BEST:: SOT 2932058 SOS 835239 HAS SOPS 834836 HAS SOUS 125292 HAS SOUPS 125240 WITH SCORE 126075.239
AT ITER 2724 NEW BEST:: SOT 2932056 SOS 835237 HAS SOPS 834834 HAS SOUS 125290 HAS SOUPS 125238 WITH SCORE 126073.237
AT ITER 2742 NEW BEST:: SOT 2932070 SOS 773196 HAS SOPS 772793 HAS SOUS 125318 HAS SOUPS 125266 WITH SCORE 126039.196
AT ITER 2748 NEW BEST:: SOT 2932068 SOS 773194 HAS SOPS 772791 HAS SOUS 125316 HAS SOUPS 125264 WITH SCORE 126037.194
AT ITER 2763 NEW BEST:: SOT 2932068 SOS 773194 HAS SOPS 772791 HAS SOUS 125255 HAS SOUPS 125203 WITH SCORE 125976.194
AT ITER 2775 NEW BEST:: SOT 2931891 SOS 773132 HAS SOPS 772729 HAS SOUS 125026 HAS SOUPS 124974 WITH SCORE 125747.132
AT ITER 2784 NEW BEST:: SOT 2931737 SOS 772978 HAS SOPS 772575 HAS SOUS 124813 HAS SOUPS 124761 WITH SCORE 125533.978
AT ITER 2789 NEW BEST:: SOT 2931796 SOS 773037 HAS SOPS 772634 HAS SOUS 124687 HAS SOUPS 124635 WITH SCORE 125408.037
AT ITER 2808 NEW BEST:: SOT 2931704 SOS 772945 HAS SOPS 772542 HAS SOUS 124503 HAS SOUPS 124451 WITH SCORE 125223.945
AT ITER 2820 NEW BEST:: SOT 2931700 SOS 772941 HAS SOPS 772538 HAS SOUS 124499 HAS SOUPS 124447 WITH SCORE 125219.941
AT ITER 2822 NEW BEST:: SOT 2931772 SOS 773027 HAS SOPS 772624 HAS SOUS 124435 HAS SOUPS 124383 WITH SCORE 125156.027
AT ITER 2835 NEW BEST:: SOT 2931772 SOS 773002 HAS SOPS 772599 HAS SOUS 124435 HAS SOUPS 124383 WITH SCORE 125156.002
AT ITER 2849 NEW BEST:: SOT 2932251 SOS 773481 HAS SOPS 773078 HAS SOUS 124300 HAS SOUPS 124248 WITH SCORE 125021.481
AT ITER 2868 NEW BEST:: SOT 2932236 SOS 773481 HAS SOPS 773078 HAS SOUS 124285 HAS SOUPS 124233 WITH SCORE 125006.481
AT ITER 2877 NEW BEST:: SOT 2932233 SOS 773391 HAS SOPS 772985 HAS SOUS 124279 HAS SOUPS 124227 WITH SCORE 125000.391
AT ITER 2887 NEW BEST:: SOT 2932233 SOS 773381 HAS SOPS 772975 HAS SOUS 124259 HAS SOUPS 124207 WITH SCORE 124980.381
AT ITER 2901 NEW BEST:: SOT 2932241 SOS 773356 HAS SOPS 772950 HAS SOUS 124200 HAS SOUPS 124148 WITH SCORE 124921.356
AT ITER 2916 NEW BEST:: SOT 2932129 SOS 773244 HAS SOPS 772838 HAS SOUS 123968 HAS SOUPS 123916 WITH SCORE 124689.244
AT ITER 2921 NEW BEST:: SOT 2932384 SOS 773499 HAS SOPS 773093 HAS SOUS 123538 HAS SOUPS 123486 WITH SCORE 124259.499
AT ITER 2933 NEW BEST:: SOT 2932374 SOS 773489 HAS SOPS 773083 HAS SOUS 123466 HAS SOUPS 123414 WITH SCORE 124187.489
AT ITER 2934 NEW BEST:: SOT 2932401 SOS 773516 HAS SOPS 773110 HAS SOUS 123343 HAS SOUPS 123291 WITH SCORE 124064.516
AT ITER 2947 NEW BEST:: SOT 2932271 SOS 773386 HAS SOPS 772980 HAS SOUS 123111 HAS SOUPS 123059 WITH SCORE 123832.386
AT ITER 2959 NEW BEST:: SOT 2932271 SOS 773365 HAS SOPS 772959 HAS SOUS 123090 HAS SOUPS 123038 WITH SCORE 123811.365
AT ITER 2962 NEW BEST:: SOT 2932206 SOS 773300 HAS SOPS 772894 HAS SOUS 123025 HAS SOUPS 122973 WITH SCORE 123746.3
AT ITER 2964 NEW BEST:: SOT 2932203 SOS 773297 HAS SOPS 772891 HAS SOUS 123022 HAS SOUPS 122970 WITH SCORE 123743.297
AT ITER 2974 NEW BEST:: SOT 2932186 SOS 773280 HAS SOPS 772874 HAS SOUS 122989 HAS SOUPS 122937 WITH SCORE 123710.28
AT ITER 2980 NEW BEST:: SOT 2932144 SOS 773238 HAS SOPS 772832 HAS SOUS 122935 HAS SOUPS 122883 WITH SCORE 123656.238
AT ITER 3007 NEW BEST:: SOT 2932118 SOS 773225 HAS SOPS 772819 HAS SOUS 122909 HAS SOUPS 122857 WITH SCORE 123630.225
AT ITER 3019 NEW BEST:: SOT 2931893 SOS 773000 HAS SOPS 772594 HAS SOUS 122684 HAS SOUPS 122632 WITH SCORE 123405.0
AT ITER 3024 NEW BEST:: SOT 2931935 SOS 773028 HAS SOPS 772622 HAS SOUS 122656 HAS SOUPS 122604 WITH SCORE 123377.028
AT ITER 3026 NEW BEST:: SOT 2931857 SOS 772950 HAS SOPS 772544 HAS SOUS 122583 HAS SOUPS 122531 WITH SCORE 123303.95
AT ITER 3038 NEW BEST:: SOT 2931862 SOS 772914 HAS SOPS 772508 HAS SOUS 122547 HAS SOUPS 122495 WITH SCORE 123267.914
AT ITER 3040 NEW BEST:: SOT 2931801 SOS 772853 HAS SOPS 772447 HAS SOUS 122370 HAS SOUPS 122318 WITH SCORE 123090.853
AT ITER 3068 NEW BEST:: SOT 2931705 SOS 772779 HAS SOPS 772373 HAS SOUS 121963 HAS SOUPS 121911 WITH SCORE 122683.779
AT ITER 3076 NEW BEST:: SOT 2931688 SOS 772762 HAS SOPS 772356 HAS SOUS 121916 HAS SOUPS 121864 WITH SCORE 122636.762
AT ITER 3083 NEW BEST:: SOT 2931688 SOS 772762 HAS SOPS 772356 HAS SOUS 121901 HAS SOUPS 121849 WITH SCORE 122621.762
AT ITER 3089 NEW BEST:: SOT 2931692 SOS 772766 HAS SOPS 772360 HAS SOUS 121892 HAS SOUPS 121840 WITH SCORE 122612.766
AT ITER 3103 NEW BEST:: SOT 2931642 SOS 772716 HAS SOPS 772310 HAS SOUS 121817 HAS SOUPS 121765 WITH SCORE 122537.716
AT ITER 3104 NEW BEST:: SOT 2931634 SOS 772460 HAS SOPS 772054 HAS SOUS 121801 HAS SOUPS 121749 WITH SCORE 122521.46
AT ITER 3106 NEW BEST:: SOT 2931605 SOS 772600 HAS SOPS 772194 HAS SOUS 121775 HAS SOUPS 121723 WITH SCORE 122495.6
AT ITER 3111 NEW BEST:: SOT 2931547 SOS 772542 HAS SOPS 772136 HAS SOUS 121663 HAS SOUPS 121611 WITH SCORE 122383.542
AT ITER 3120 NEW BEST:: SOT 2931362 SOS 772357 HAS SOPS 771951 HAS SOUS 121478 HAS SOUPS 121426 WITH SCORE 122198.357
AT ITER 3126 NEW BEST:: SOT 2931333 SOS 772306 HAS SOPS 771900 HAS SOUS 121425 HAS SOUPS 121373 WITH SCORE 122145.306
AT ITER 3127 NEW BEST:: SOT 2931315 SOS 772314 HAS SOPS 771908 HAS SOUS 121347 HAS SOUPS 121295 WITH SCORE 122067.314
AT ITER 3131 NEW BEST:: SOT 2931277 SOS 772220 HAS SOPS 771814 HAS SOUS 121261 HAS SOUPS 121209 WITH SCORE 121981.22
AT ITER 3163 NEW BEST:: SOT 2931303 SOS 772246 HAS SOPS 771840 HAS SOUS 121137 HAS SOUPS 121085 WITH SCORE 121857.246
AT ITER 3170 NEW BEST:: SOT 2931285 SOS 772228 HAS SOPS 771822 HAS SOUS 121119 HAS SOUPS 121067 WITH SCORE 121839.228
AT ITER 3182 NEW BEST:: SOT 2931178 SOS 772121 HAS SOPS 771715 HAS SOUS 121065 HAS SOUPS 121013 WITH SCORE 121785.121
AT ITER 3189 NEW BEST:: SOT 2931185 SOS 772121 HAS SOPS 771715 HAS SOUS 121030 HAS SOUPS 120978 WITH SCORE 121750.121
AT ITER 3207 NEW BEST:: SOT 2931264 SOS 772200 HAS SOPS 771794 HAS SOUS 120601 HAS SOUPS 120549 WITH SCORE 121321.2
AT ITER 3209 NEW BEST:: SOT 2931239 SOS 772175 HAS SOPS 771769 HAS SOUS 120192 HAS SOUPS 120140 WITH SCORE 120912.175
AT ITER 3222 NEW BEST:: SOT 2931101 SOS 772037 HAS SOPS 771631 HAS SOUS 120054 HAS SOUPS 120002 WITH SCORE 120774.037
AT ITER 3224 NEW BEST:: SOT 2931101 SOS 772037 HAS SOPS 771631 HAS SOUS 120000 HAS SOUPS 119948 WITH SCORE 120720.037
AT ITER 3233 NEW BEST:: SOT 2931073 SOS 771701 HAS SOPS 771295 HAS SOUS 119997 HAS SOUPS 119945 WITH SCORE 120716.701
AT ITER 3243 NEW BEST:: SOT 2931040 SOS 771668 HAS SOPS 771262 HAS SOUS 119962 HAS SOUPS 119910 WITH SCORE 120681.668
AT ITER 3248 NEW BEST:: SOT 2930735 SOS 771363 HAS SOPS 770957 HAS SOUS 119359 HAS SOUPS 119307 WITH SCORE 120078.363
AT ITER 3256 NEW BEST:: SOT 2930722 SOS 771350 HAS SOPS 770944 HAS SOUS 119333 HAS SOUPS 119281 WITH SCORE 120052.35
AT ITER 3263 NEW BEST:: SOT 2930624 SOS 771252 HAS SOPS 770846 HAS SOUS 119235 HAS SOUPS 119183 WITH SCORE 119954.252
AT ITER 3274 NEW BEST:: SOT 2930528 SOS 771156 HAS SOPS 770750 HAS SOUS 118712 HAS SOUPS 118660 WITH SCORE 119431.156
AT ITER 3290 NEW BEST:: SOT 2930523 SOS 771151 HAS SOPS 770745 HAS SOUS 118635 HAS SOUPS 118583 WITH SCORE 119354.151
AT ITER 3297 NEW BEST:: SOT 2930551 SOS 771179 HAS SOPS 770773 HAS SOUS 118489 HAS SOUPS 118437 WITH SCORE 119208.179
AT ITER 3300 NEW BEST:: SOT 2930622 SOS 771250 HAS SOPS 770844 HAS SOUS 118059 HAS SOUPS 118007 WITH SCORE 118778.25
AT ITER 3309 NEW BEST:: SOT 2930550 SOS 771178 HAS SOPS 770772 HAS SOUS 117970 HAS SOUPS 117918 WITH SCORE 118689.178
AT ITER 3342 NEW BEST:: SOT 2930258 SOS 770936 HAS SOPS 770530 HAS SOUS 117916 HAS SOUPS 117864 WITH SCORE 118634.936
AT ITER 3348 NEW BEST:: SOT 2930230 SOS 718282 HAS SOPS 717876 HAS SOUS 117818 HAS SOUPS 117766 WITH SCORE 118484.282
AT ITER 3365 NEW BEST:: SOT 2930197 SOS 718249 HAS SOPS 717843 HAS SOUS 117785 HAS SOUPS 117733 WITH SCORE 118451.249
AT ITER 3366 NEW BEST:: SOT 2930527 SOS 718579 HAS SOPS 718173 HAS SOUS 117725 HAS SOUPS 117673 WITH SCORE 118391.579
AT ITER 3404 NEW BEST:: SOT 2930451 SOS 718579 HAS SOPS 718173 HAS SOUS 117573 HAS SOUPS 117521 WITH SCORE 118239.579
AT ITER 3424 NEW BEST:: SOT 2930403 SOS 718531 HAS SOPS 718125 HAS SOUS 117525 HAS SOUPS 117473 WITH SCORE 118191.531
AT ITER 3429 NEW BEST:: SOT 2930266 SOS 718394 HAS SOPS 717988 HAS SOUS 117323 HAS SOUPS 117271 WITH SCORE 117989.394
AT ITER 3431 NEW BEST:: SOT 2930718 SOS 718846 HAS SOPS 718440 HAS SOUS 117110 HAS SOUPS 117058 WITH SCORE 117776.846
AT ITER 3437 NEW BEST:: SOT 2930710 SOS 718838 HAS SOPS 718432 HAS SOUS 117094 HAS SOUPS 117042 WITH SCORE 117760.838
AT ITER 3471 NEW BEST:: SOT 2930580 SOS 718708 HAS SOPS 718302 HAS SOUS 116964 HAS SOUPS 116912 WITH SCORE 117630.708
AT ITER 3476 NEW BEST:: SOT 2930268 SOS 718396 HAS SOPS 717990 HAS SOUS 116732 HAS SOUPS 116680 WITH SCORE 117398.396
AT ITER 3496 NEW BEST:: SOT 2930268 SOS 718396 HAS SOPS 717990 HAS SOUS 116728 HAS SOUPS 116676 WITH SCORE 117394.396
AT ITER 3507 NEW BEST:: SOT 2930263 SOS 718391 HAS SOPS 717985 HAS SOUS 116723 HAS SOUPS 116671 WITH SCORE 117389.391
AT ITER 3510 NEW BEST:: SOT 2930261 SOS 718329 HAS SOPS 717921 HAS SOUS 116719 HAS SOUPS 116667 WITH SCORE 117385.329
AT ITER 3522 NEW BEST:: SOT 2930173 SOS 718241 HAS SOPS 717833 HAS SOUS 116543 HAS SOUPS 116491 WITH SCORE 117209.241
AT ITER 3551 NEW BEST:: SOT 2930274 SOS 718199 HAS SOPS 717791 HAS SOUS 116433 HAS SOUPS 116381 WITH SCORE 117099.199
AT ITER 3563 NEW BEST:: SOT 2930237 SOS 718146 HAS SOPS 717738 HAS SOUS 116225 HAS SOUPS 116173 WITH SCORE 116891.146
AT ITER 3572 NEW BEST:: SOT 2930235 SOS 718146 HAS SOPS 717738 HAS SOUS 116221 HAS SOUPS 116169 WITH SCORE 116887.146
AT ITER 3574 NEW BEST:: SOT 2930203 SOS 718114 HAS SOPS 717706 HAS SOUS 116173 HAS SOUPS 116121 WITH SCORE 116839.114
AT ITER 3590 NEW BEST:: SOT 2930153 SOS 718064 HAS SOPS 717656 HAS SOUS 116159 HAS SOUPS 116107 WITH SCORE 116825.064
AT ITER 3592 NEW BEST:: SOT 2930112 SOS 718023 HAS SOPS 717615 HAS SOUS 116112 HAS SOUPS 116060 WITH SCORE 116778.023
AT ITER 3594 NEW BEST:: SOT 2930094 SOS 718005 HAS SOPS 717597 HAS SOUS 116090 HAS SOUPS 116038 WITH SCORE 116756.005
AT ITER 3607 NEW BEST:: SOT 2929945 SOS 717856 HAS SOPS 717448 HAS SOUS 115782 HAS SOUPS 115730 WITH SCORE 116447.856
AT ITER 3608 NEW BEST:: SOT 2929705 SOS 717616 HAS SOPS 717208 HAS SOUS 115324 HAS SOUPS 115272 WITH SCORE 115989.616
AT ITER 3609 NEW BEST:: SOT 2929416 SOS 717327 HAS SOPS 716919 HAS SOUS 115090 HAS SOUPS 115038 WITH SCORE 115755.327
AT ITER 3613 NEW BEST:: SOT 2929416 SOS 717311 HAS SOPS 716903 HAS SOUS 115090 HAS SOUPS 115038 WITH SCORE 115755.311
AT ITER 3647 NEW BEST:: SOT 2929430 SOS 717325 HAS SOPS 716917 HAS SOUS 114970 HAS SOUPS 114918 WITH SCORE 115635.325
AT ITER 3652 NEW BEST:: SOT 2929400 SOS 717295 HAS SOPS 716887 HAS SOUS 114940 HAS SOUPS 114888 WITH SCORE 115605.295
AT ITER 3670 NEW BEST:: SOT 2929400 SOS 717300 HAS SOPS 716892 HAS SOUS 114935 HAS SOUPS 114883 WITH SCORE 115600.3
AT ITER 3707 NEW BEST:: SOT 2929386 SOS 717286 HAS SOPS 716878 HAS SOUS 114912 HAS SOUPS 114860 WITH SCORE 115577.286
AT ITER 3713 NEW BEST:: SOT 2927697 SOS 715655 HAS SOPS 715247 HAS SOUS 113156 HAS SOUPS 113104 WITH SCORE 113819.655
AT ITER 3772 NEW BEST:: SOT 2927649 SOS 715607 HAS SOPS 715199 HAS SOUS 113107 HAS SOUPS 113055 WITH SCORE 113770.607
AT ITER 3774 NEW BEST:: SOT 2927565 SOS 715523 HAS SOPS 715115 HAS SOUS 112944 HAS SOUPS 112892 WITH SCORE 113607.523
AT ITER 3778 NEW BEST:: SOT 2927470 SOS 715389 HAS SOPS 714981 HAS SOUS 112754 HAS SOUPS 112702 WITH SCORE 113417.389
AT ITER 3791 NEW BEST:: SOT 2927466 SOS 715385 HAS SOPS 714977 HAS SOUS 112750 HAS SOUPS 112698 WITH SCORE 113413.385
AT ITER 3796 NEW BEST:: SOT 2927485 SOS 715404 HAS SOPS 714996 HAS SOUS 112742 HAS SOUPS 112690 WITH SCORE 113405.404
AT ITER 3812 NEW BEST:: SOT 2927485 SOS 715404 HAS SOPS 714996 HAS SOUS 112739 HAS SOUPS 112687 WITH SCORE 113402.404
AT ITER 3818 NEW BEST:: SOT 2927547 SOS 715466 HAS SOPS 715058 HAS SOUS 112549 HAS SOUPS 112497 WITH SCORE 113212.466
AT ITER 3825 NEW BEST:: SOT 2927459 SOS 715378 HAS SOPS 714970 HAS SOUS 112373 HAS SOUPS 112321 WITH SCORE 113036.378
AT ITER 3836 NEW BEST:: SOT 2927498 SOS 715381 HAS SOPS 714973 HAS SOUS 112349 HAS SOUPS 112297 WITH SCORE 113012.381
AT ITER 3841 NEW BEST:: SOT 2927375 SOS 715258 HAS SOPS 714850 HAS SOUS 112168 HAS SOUPS 112116 WITH SCORE 112831.258
AT ITER 3856 NEW BEST:: SOT 2927295 SOS 715178 HAS SOPS 714770 HAS SOUS 112058 HAS SOUPS 112006 WITH SCORE 112721.178
AT ITER 3858 NEW BEST:: SOT 2927295 SOS 715178 HAS SOPS 714770 HAS SOUS 112013 HAS SOUPS 111961 WITH SCORE 112676.178
AT ITER 3866 NEW BEST:: SOT 2927226 SOS 715109 HAS SOPS 714701 HAS SOUS 111888 HAS SOUPS 111836 WITH SCORE 112551.109
AT ITER 3867 NEW BEST:: SOT 2927216 SOS 715099 HAS SOPS 714691 HAS SOUS 111882 HAS SOUPS 111830 WITH SCORE 112545.099
AT ITER 3898 NEW BEST:: SOT 2927213 SOS 715096 HAS SOPS 714688 HAS SOUS 111879 HAS SOUPS 111827 WITH SCORE 112542.096
AT ITER 3900 NEW BEST:: SOT 2927203 SOS 715067 HAS SOPS 714659 HAS SOUS 111859 HAS SOUPS 111807 WITH SCORE 112522.067
AT ITER 3909 NEW BEST:: SOT 2927147 SOS 715011 HAS SOPS 714603 HAS SOUS 111803 HAS SOUPS 111751 WITH SCORE 112466.011
AT ITER 3921 NEW BEST:: SOT 2927147 SOS 714990 HAS SOPS 714582 HAS SOUS 111803 HAS SOUPS 111751 WITH SCORE 112465.99
AT ITER 3924 NEW BEST:: SOT 2927140 SOS 714983 HAS SOPS 714575 HAS SOUS 111744 HAS SOUPS 111692 WITH SCORE 112406.983
AT ITER 3925 NEW BEST:: SOT 2927140 SOS 714983 HAS SOPS 714575 HAS SOUS 111741 HAS SOUPS 111689 WITH SCORE 112403.983
AT ITER 3927 NEW BEST:: SOT 2916700 SOS 704491 HAS SOPS 704124 HAS SOUS 110968 HAS SOUPS 110916 WITH SCORE 111620.491
AT ITER 3936 NEW BEST:: SOT 2916691 SOS 704482 HAS SOPS 704115 HAS SOUS 110903 HAS SOUPS 110851 WITH SCORE 111555.482
AT ITER 3948 NEW BEST:: SOT 2916691 SOS 704447 HAS SOPS 704080 HAS SOUS 110889 HAS SOUPS 110837 WITH SCORE 111541.447
AT ITER 3961 NEW BEST:: SOT 2916663 SOS 704419 HAS SOPS 704052 HAS SOUS 110728 HAS SOUPS 110676 WITH SCORE 111380.419
AT ITER 3962 NEW BEST:: SOT 2916663 SOS 704419 HAS SOPS 704052 HAS SOUS 110720 HAS SOUPS 110668 WITH SCORE 111372.419
AT ITER 3981 NEW BEST:: SOT 2916913 SOS 704619 HAS SOPS 704252 HAS SOUS 110683 HAS SOUPS 110631 WITH SCORE 111335.619
AT ITER 3990 NEW BEST:: SOT 2916898 SOS 704197 HAS SOPS 703830 HAS SOUS 110653 HAS SOUPS 110601 WITH SCORE 111305.197
AT ITER 4004 NEW BEST:: SOT 2916892 SOS 704191 HAS SOPS 703824 HAS SOUS 110644 HAS SOUPS 110592 WITH SCORE 111296.191
AT ITER 4026 NEW BEST:: SOT 2916885 SOS 704184 HAS SOPS 703817 HAS SOUS 110637 HAS SOUPS 110585 WITH SCORE 111289.184
AT ITER 4042 NEW BEST:: SOT 2916825 SOS 704124 HAS SOPS 703757 HAS SOUS 110526 HAS SOUPS 110474 WITH SCORE 111178.124
AT ITER 4043 NEW BEST:: SOT 2916774 SOS 704092 HAS SOPS 703725 HAS SOUS 110424 HAS SOUPS 110372 WITH SCORE 111076.092
AT ITER 4047 NEW BEST:: SOT 2916774 SOS 704092 HAS SOPS 703725 HAS SOUS 110324 HAS SOUPS 110272 WITH SCORE 110976.092
AT ITER 4057 NEW BEST:: SOT 2916766 SOS 704084 HAS SOPS 703717 HAS SOUS 110320 HAS SOUPS 110268 WITH SCORE 110972.084
AT ITER 4067 NEW BEST:: SOT 2916734 SOS 704052 HAS SOPS 703685 HAS SOUS 110272 HAS SOUPS 110220 WITH SCORE 110924.052
AT ITER 4080 NEW BEST:: SOT 2916734 SOS 704052 HAS SOPS 703685 HAS SOUS 110252 HAS SOUPS 110200 WITH SCORE 110904.052
AT ITER 4094 NEW BEST:: SOT 2916718 SOS 704036 HAS SOPS 703669 HAS SOUS 110234 HAS SOUPS 110182 WITH SCORE 110886.036
AT ITER 4148 NEW BEST:: SOT 2916714 SOS 704032 HAS SOPS 703665 HAS SOUS 110230 HAS SOUPS 110178 WITH SCORE 110882.032
AT ITER 4161 NEW BEST:: SOT 2916683 SOS 704001 HAS SOPS 703634 HAS SOUS 110188 HAS SOUPS 110136 WITH SCORE 110840.001
AT ITER 4165 NEW BEST:: SOT 2916683 SOS 704001 HAS SOPS 703634 HAS SOUS 110141 HAS SOUPS 110089 WITH SCORE 110793.001
AT ITER 4178 NEW BEST:: SOT 2916620 SOS 703938 HAS SOPS 703571 HAS SOUS 110064 HAS SOUPS 110012 WITH SCORE 110715.938
AT ITER 4197 NEW BEST:: SOT 2916620 SOS 703907 HAS SOPS 703540 HAS SOUS 110064 HAS SOUPS 110012 WITH SCORE 110715.907
AT ITER 4209 NEW BEST:: SOT 2916585 SOS 703897 HAS SOPS 703530 HAS SOUS 110054 HAS SOUPS 110002 WITH SCORE 110705.897
AT ITER 4227 NEW BEST:: SOT 2916369 SOS 703681 HAS SOPS 703314 HAS SOUS 109647 HAS SOUPS 109595 WITH SCORE 110298.681
AT ITER 4232 NEW BEST:: SOT 2916326 SOS 703671 HAS SOPS 703304 HAS SOUS 109645 HAS SOUPS 109593 WITH SCORE 110296.671
AT ITER 4262 NEW BEST:: SOT 2916203 SOS 703548 HAS SOPS 703181 HAS SOUS 109415 HAS SOUPS 109363 WITH SCORE 110066.548
AT ITER 4265 NEW BEST:: SOT 2916105 SOS 703450 HAS SOPS 703083 HAS SOUS 109239 HAS SOUPS 109187 WITH SCORE 109890.45
AT ITER 4266 NEW BEST:: SOT 2916294 SOS 703639 HAS SOPS 703272 HAS SOUS 108775 HAS SOUPS 108723 WITH SCORE 109426.639
AT ITER 4293 NEW BEST:: SOT 2916282 SOS 703627 HAS SOPS 703260 HAS SOUS 108763 HAS SOUPS 108711 WITH SCORE 109414.627
AT ITER 4328 NEW BEST:: SOT 2916253 SOS 703598 HAS SOPS 703231 HAS SOUS 108672 HAS SOUPS 108620 WITH SCORE 109323.598
AT ITER 4330 NEW BEST:: SOT 2916146 SOS 703491 HAS SOPS 703124 HAS SOUS 108565 HAS SOUPS 108513 WITH SCORE 109216.491
AT ITER 4337 NEW BEST:: SOT 2916058 SOS 703403 HAS SOPS 703036 HAS SOUS 108433 HAS SOUPS 108381 WITH SCORE 109084.403
AT ITER 4339 NEW BEST:: SOT 2916061 SOS 703382 HAS SOPS 703015 HAS SOUS 108297 HAS SOUPS 108245 WITH SCORE 108948.382
AT ITER 4381 NEW BEST:: SOT 2916061 SOS 703382 HAS SOPS 703015 HAS SOUS 108294 HAS SOUPS 108242 WITH SCORE 108945.382
AT ITER 4382 NEW BEST:: SOT 2916035 SOS 703356 HAS SOPS 702989 HAS SOUS 108242 HAS SOUPS 108190 WITH SCORE 108893.356
AT ITER 4392 NEW BEST:: SOT 2915873 SOS 703194 HAS SOPS 702827 HAS SOUS 108080 HAS SOUPS 108028 WITH SCORE 108731.194
AT ITER 4407 NEW BEST:: SOT 2915852 SOS 703173 HAS SOPS 702806 HAS SOUS 108069 HAS SOUPS 108017 WITH SCORE 108720.173
AT ITER 4435 NEW BEST:: SOT 2915817 SOS 703207 HAS SOPS 702840 HAS SOUS 107999 HAS SOUPS 107947 WITH SCORE 108650.207
AT ITER 4438 NEW BEST:: SOT 2915811 SOS 703201 HAS SOPS 702834 HAS SOUS 107993 HAS SOUPS 107941 WITH SCORE 108644.201
AT ITER 4478 NEW BEST:: SOT 2915762 SOS 703152 HAS SOPS 702785 HAS SOUS 107944 HAS SOUPS 107892 WITH SCORE 108595.152
AT ITER 4495 NEW BEST:: SOT 2915690 SOS 702882 HAS SOPS 702514 HAS SOUS 107870 HAS SOUPS 107817 WITH SCORE 108519.882
AT ITER 4513 NEW BEST:: SOT 2915669 SOS 702879 HAS SOPS 702511 HAS SOUS 107864 HAS SOUPS 107811 WITH SCORE 108513.879
AT ITER 4525 NEW BEST:: SOT 2915595 SOS 702805 HAS SOPS 702437 HAS SOUS 107753 HAS SOUPS 107700 WITH SCORE 108402.805
AT ITER 4555 NEW BEST:: SOT 2915595 SOS 702805 HAS SOPS 702437 HAS SOUS 107747 HAS SOUPS 107694 WITH SCORE 108396.805
AT ITER 4576 NEW BEST:: SOT 2915623 SOS 702805 HAS SOPS 702437 HAS SOUS 107708 HAS SOUPS 107655 WITH SCORE 108357.805
AT ITER 4577 NEW BEST:: SOT 2915541 SOS 702723 HAS SOPS 702355 HAS SOUS 107544 HAS SOUPS 107491 WITH SCORE 108193.723
AT ITER 4602 NEW BEST:: SOT 2915390 SOS 702572 HAS SOPS 702204 HAS SOUS 107307 HAS SOUPS 107254 WITH SCORE 107956.572
AT ITER 4659 NEW BEST:: SOT 2915305 SOS 702487 HAS SOPS 702119 HAS SOUS 107159 HAS SOUPS 107106 WITH SCORE 107808.487
AT ITER 4688 NEW BEST:: SOT 2915250 SOS 702469 HAS SOPS 702101 HAS SOUS 107140 HAS SOUPS 107087 WITH SCORE 107789.469
AT ITER 4692 NEW BEST:: SOT 2915246 SOS 702465 HAS SOPS 702097 HAS SOUS 107115 HAS SOUPS 107062 WITH SCORE 107764.465
AT ITER 4772 NEW BEST:: SOT 2915299 SOS 702518 HAS SOPS 702150 HAS SOUS 107111 HAS SOUPS 107058 WITH SCORE 107760.518
AT ITER 4788 NEW BEST:: SOT 2915224 SOS 702443 HAS SOPS 702075 HAS SOUS 106924 HAS SOUPS 106871 WITH SCORE 107573.443
AT ITER 4803 NEW BEST:: SOT 2915269 SOS 702488 HAS SOPS 702120 HAS SOUS 106872 HAS SOUPS 106819 WITH SCORE 107521.488
AT ITER 4846 NEW BEST:: SOT 2915237 SOS 702456 HAS SOPS 702088 HAS SOUS 106650 HAS SOUPS 106597 WITH SCORE 107299.456
AT ITER 4856 NEW BEST:: SOT 2915171 SOS 702390 HAS SOPS 702022 HAS SOUS 106584 HAS SOUPS 106531 WITH SCORE 107233.39
AT ITER 4871 NEW BEST:: SOT 2915096 SOS 702223 HAS SOPS 701855 HAS SOUS 106472 HAS SOUPS 106419 WITH SCORE 107121.223
AT ITER 4876 NEW BEST:: SOT 2915231 SOS 702358 HAS SOPS 701990 HAS SOUS 106358 HAS SOUPS 106305 WITH SCORE 107007.358
AT ITER 4907 NEW BEST:: SOT 2915240 SOS 702358 HAS SOPS 701990 HAS SOUS 106295 HAS SOUPS 106242 WITH SCORE 106944.358
AT ITER 4910 NEW BEST:: SOT 2915267 SOS 702384 HAS SOPS 702016 HAS SOUS 106106 HAS SOUPS 106053 WITH SCORE 106755.384
AT ITER 4920 NEW BEST:: SOT 2915204 SOS 702258 HAS SOPS 701878 HAS SOUS 106076 HAS SOUPS 106011 WITH SCORE 106713.258
AT ITER 4923 NEW BEST:: SOT 2915193 SOS 702247 HAS SOPS 701867 HAS SOUS 106030 HAS SOUPS 105965 WITH SCORE 106667.247
AT ITER 4937 NEW BEST:: SOT 2915180 SOS 702234 HAS SOPS 701854 HAS SOUS 106006 HAS SOUPS 105941 WITH SCORE 106643.234
AT ITER 4942 NEW BEST:: SOT 2915095 SOS 701949 HAS SOPS 701569 HAS SOUS 105774 HAS SOUPS 105709 WITH SCORE 106410.949
AT ITER 4944 NEW BEST:: SOT 2915093 SOS 701947 HAS SOPS 701567 HAS SOUS 105772 HAS SOUPS 105707 WITH SCORE 106408.947
AT ITER 4985 NEW BEST:: SOT 2915093 SOS 701947 HAS SOPS 701567 HAS SOUS 105762 HAS SOUPS 105697 WITH SCORE 106398.947
AT ITER 4988 NEW BEST:: SOT 2915070 SOS 702008 HAS SOPS 701628 HAS SOUS 105736 HAS SOUPS 105671 WITH SCORE 106373.008
AT ITER 4993 NEW BEST:: SOT 2914990 SOS 701928 HAS SOPS 701548 HAS SOUS 105656 HAS SOUPS 105591 WITH SCORE 106292.928
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-00 ( (! (EF(( potential( (tk(P375)) <= (tk(P42) + tk(P61) + tk(P68) + tk(P74) + tk(P92) + tk(P158) + tk(P173) + tk(P178) + tk(P191) + tk(P221) + tk(P232) + tk(P238) + tk(P260) + tk(P265) + tk(P297) + tk(P304) + tk(P344) + tk(P352) + tk(P353) + tk(P385) + tk(P422) + tk(P442) + tk(P452) + tk(P471) + tk(P477) + tk(P521) + tk(P534) + tk(P576) + tk(P602) + tk(P628) + tk(P660)) ) & potential( ( 1 ) <= (tk(P363)) ) )))) | potential( ( 1 ) <= (tk(P34) + tk(P66) + tk(P81) + tk(P83) + tk(P103) + tk(P152) + tk(P156) + tk(P160) + tk(P227) + tk(P249) + tk(P259) + tk(P279) + tk(P288) + tk(P308) + tk(P339) + tk(P365) + tk(P372) + tk(P387) + tk(P415) + tk(P420) + tk(P438) + tk(P451) + tk(P476) + tk(P560) + tk(P569) + tk(P570) + tk(P621) + tk(P632) + tk(P637) + tk(P654) + tk(P655)) ) )
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-01 (EU( potential( ( 3 ) <= (tk(P251)) ),(EF(potential( ( 1 ) <= (tk(P4) + tk(P10) + tk(P13) + tk(P15) + tk(P17) + tk(P19) + tk(P20) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P37) + tk(P41) + tk(P44) + tk(P45) + tk(P52) + tk(P54) + tk(P55) + tk(P56) + tk(P62) + tk(P64) + tk(P67) + tk(P70) + tk(P71) + tk(P76) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P90) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P99) + tk(P101) + tk(P104) + tk(P106) + tk(P107) + tk(P108) + tk(P110) + tk(P111) + tk(P117) + tk(P119) + tk(P121) + tk(P122) + tk(P124) + tk(P126) + tk(P128) + tk(P130) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P137) + tk(P139) + tk(P140) + tk(P141) + tk(P144) + tk(P147) + tk(P148) + tk(P151) + tk(P153) + tk(P154) + tk(P155) + tk(P157) + tk(P166) + tk(P168) + tk(P169) + tk(P170) + tk(P174) + tk(P175) + tk(P176) + tk(P180) + tk(P182) + tk(P183) + tk(P185) + tk(P188) + tk(P189) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P208) + tk(P210) + tk(P211) + tk(P217) + tk(P218) + tk(P223) + tk(P224) + tk(P225) + tk(P230) + tk(P237) + tk(P239) + tk(P240) + tk(P242) + tk(P243) + tk(P250) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P257) + tk(P258) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P266) + tk(P271) + tk(P274) + tk(P277) + tk(P278) + tk(P280) + tk(P281) + tk(P283) + tk(P284) + tk(P286) + tk(P289) + tk(P292) + tk(P293) + tk(P295) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P302) + tk(P303) + tk(P306) + tk(P307) + tk(P314) + tk(P316) + tk(P317) + tk(P319) + tk(P320) + tk(P321) + tk(P323) + tk(P327) + tk(P329) + tk(P331) + tk(P333) + tk(P334) + tk(P335) + tk(P336) + tk(P338) + tk(P341) + tk(P343) + tk(P345) + tk(P346) + tk(P348) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P361) + tk(P362) + tk(P364) + tk(P367) + tk(P368) + tk(P369) + tk(P370) + tk(P371) + tk(P374) + tk(P376) + tk(P378) + tk(P379) + tk(P381) + tk(P382) + tk(P384) + tk(P388) + tk(P389) + tk(P390) + tk(P392) + tk(P394) + tk(P396) + tk(P397) + tk(P398) + tk(P399) + tk(P402) + tk(P404) + tk(P405) + tk(P407) + tk(P408) + tk(P412) + tk(P416) + tk(P417) + tk(P421) + tk(P423) + tk(P426) + tk(P427) + tk(P428) + tk(P430) + tk(P435) + tk(P441) + tk(P444) + tk(P447) + tk(P448) + tk(P450) + tk(P453) + tk(P457) + tk(P458) + tk(P460) + tk(P461) + tk(P462) + tk(P463) + tk(P465) + tk(P467) + tk(P468) + tk(P470) + tk(P473) + tk(P475) + tk(P478) + tk(P480) + tk(P481) + tk(P487) + tk(P491) + tk(P493) + tk(P499) + tk(P501) + tk(P503) + tk(P504) + tk(P505) + tk(P506) + tk(P510) + tk(P513) + tk(P517) + tk(P519) + tk(P520) + tk(P524) + tk(P526) + tk(P527) + tk(P528) + tk(P529) + tk(P531) + tk(P533) + tk(P537) + tk(P538) + tk(P539) + tk(P541) + tk(P542) + tk(P544) + tk(P546) + tk(P548) + tk(P549) + tk(P550) + tk(P554) + tk(P555) + tk(P557) + tk(P558) + tk(P559) + tk(P561) + tk(P562) + tk(P565) + tk(P573) + tk(P574) + tk(P575) + tk(P577) + tk(P582) + tk(P584) + tk(P585) + tk(P586) + tk(P587) + tk(P590) + tk(P591) + tk(P592) + tk(P596) + tk(P600) + tk(P601) + tk(P604) + tk(P605) + tk(P606) + tk(P607) + tk(P608) + tk(P613) + tk(P616) + tk(P617) + tk(P622) + tk(P623) + tk(P624) + tk(P626) + tk(P629) + tk(P630) + tk(P634) + tk(P635) + tk(P636) + tk(P638) + tk(P639) + tk(P642) + tk(P644) + tk(P646) + tk(P649) + tk(P650) + tk(P652) + tk(P657) + tk(P658) + tk(P661) + tk(P662)) ))) ))
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-02 (EX( (EG( (! potential( (tk(P114) + tk(P116) + tk(P184) + tk(P213) + tk(P383) + tk(P446) + tk(P455) + tk(P472) + tk(P522) + tk(P659)) <= (tk(P8) + tk(P46) + tk(P47) + tk(P60) + tk(P98) + tk(P112) + tk(P123) + tk(P187) + tk(P190) + tk(P199) + tk(P214) + tk(P231) + tk(P270) + tk(P324) + tk(P340) + tk(P342) + tk(P380) + tk(P393) + tk(P401) + tk(P410) + tk(P433) + tk(P436) + tk(P443) + tk(P488) + tk(P490) + tk(P536) + tk(P572) + tk(P581) + tk(P588) + tk(P641) + tk(P645)) ))))))
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-03 (EF((AF(potential( ( 2 ) <= (tk(P4) + tk(P10) + tk(P13) + tk(P15) + tk(P17) + tk(P19) + tk(P20) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P37) + tk(P41) + tk(P44) + tk(P45) + tk(P52) + tk(P54) + tk(P55) + tk(P56) + tk(P62) + tk(P64) + tk(P67) + tk(P70) + tk(P71) + tk(P76) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P90) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P99) + tk(P101) + tk(P104) + tk(P106) + tk(P107) + tk(P108) + tk(P110) + tk(P111) + tk(P117) + tk(P119) + tk(P121) + tk(P122) + tk(P124) + tk(P126) + tk(P128) + tk(P130) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P137) + tk(P139) + tk(P140) + tk(P141) + tk(P144) + tk(P147) + tk(P148) + tk(P151) + tk(P153) + tk(P154) + tk(P155) + tk(P157) + tk(P166) + tk(P168) + tk(P169) + tk(P170) + tk(P174) + tk(P175) + tk(P176) + tk(P180) + tk(P182) + tk(P183) + tk(P185) + tk(P188) + tk(P189) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P208) + tk(P210) + tk(P211) + tk(P217) + tk(P218) + tk(P223) + tk(P224) + tk(P225) + tk(P230) + tk(P237) + tk(P239) + tk(P240) + tk(P242) + tk(P243) + tk(P250) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P257) + tk(P258) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P266) + tk(P271) + tk(P274) + tk(P277) + tk(P278) + tk(P280) + tk(P281) + tk(P283) + tk(P284) + tk(P286) + tk(P289) + tk(P292) + tk(P293) + tk(P295) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P302) + tk(P303) + tk(P306) + tk(P307) + tk(P314) + tk(P316) + tk(P317) + tk(P319) + tk(P320) + tk(P321) + tk(P323) + tk(P327) + tk(P329) + tk(P331) + tk(P333) + tk(P334) + tk(P335) + tk(P336) + tk(P338) + tk(P341) + tk(P343) + tk(P345) + tk(P346) + tk(P348) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P361) + tk(P362) + tk(P364) + tk(P367) + tk(P368) + tk(P369) + tk(P370) + tk(P371) + tk(P374) + tk(P376) + tk(P378) + tk(P379) + tk(P381) + tk(P382) + tk(P384) + tk(P388) + tk(P389) + tk(P390) + tk(P392) + tk(P394) + tk(P396) + tk(P397) + tk(P398) + tk(P399) + tk(P402) + tk(P404) + tk(P405) + tk(P407) + tk(P408) + tk(P412) + tk(P416) + tk(P417) + tk(P421) + tk(P423) + tk(P426) + tk(P427) + tk(P428) + tk(P430) + tk(P435) + tk(P441) + tk(P444) + tk(P447) + tk(P448) + tk(P450) + tk(P453) + tk(P457) + tk(P458) + tk(P460) + tk(P461) + tk(P462) + tk(P463) + tk(P465) + tk(P467) + tk(P468) + tk(P470) + tk(P473) + tk(P475) + tk(P478) + tk(P480) + tk(P481) + tk(P487) + tk(P491) + tk(P493) + tk(P499) + tk(P501) + tk(P503) + tk(P504) + tk(P505) + tk(P506) + tk(P510) + tk(P513) + tk(P517) + tk(P519) + tk(P520) + tk(P524) + tk(P526) + tk(P527) + tk(P528) + tk(P529) + tk(P531) + tk(P533) + tk(P537) + tk(P538) + tk(P539) + tk(P541) + tk(P542) + tk(P544) + tk(P546) + tk(P548) + tk(P549) + tk(P550) + tk(P554) + tk(P555) + tk(P557) + tk(P558) + tk(P559) + tk(P561) + tk(P562) + tk(P565) + tk(P573) + tk(P574) + tk(P575) + tk(P577) + tk(P582) + tk(P584) + tk(P585) + tk(P586) + tk(P587) + tk(P590) + tk(P591) + tk(P592) + tk(P596) + tk(P600) + tk(P601) + tk(P604) + tk(P605) + tk(P606) + tk(P607) + tk(P608) + tk(P613) + tk(P616) + tk(P617) + tk(P622) + tk(P623) + tk(P624) + tk(P626) + tk(P629) + tk(P630) + tk(P634) + tk(P635) + tk(P636) + tk(P638) + tk(P639) + tk(P642) + tk(P644) + tk(P646) + tk(P649) + tk(P650) + tk(P652) + tk(P657) + tk(P658) + tk(P661) + tk(P662)) )))))
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-04 (AF((EF(( potential( ( 2 ) <= (tk(P146)) ) & potential( (tk(P246)) <= (tk(P246)) ) )))))
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-05 (! (AF((! potential( (tk(P5) + tk(P12) + tk(P28) + tk(P35) + tk(P49) + tk(P72) + tk(P91) + tk(P97) + tk(P118) + tk(P138) + tk(P142) + tk(P167) + tk(P171) + tk(P248) + tk(P285) + tk(P310) + tk(P337) + tk(P349) + tk(P386) + tk(P395) + tk(P406) + tk(P459) + tk(P507) + tk(P516) + tk(P518) + tk(P545) + tk(P563) + tk(P578) + tk(P593) + tk(P594) + tk(P610) + tk(P618)) <= (tk(P82)) )))))
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-06 ( ( ( ( potential( ( 2 ) <= (tk(P16) + tk(P63) + tk(P177) + tk(P332) + tk(P449) + tk(P486) + tk(P509) + tk(P556) + tk(P643) + tk(P648)) ) & potential( ( 1 ) <= (tk(P51) + tk(P53) + tk(P59) + tk(P69) + tk(P73) + tk(P88) + tk(P131) + tk(P149) + tk(P179) + tk(P209) + tk(P216) + tk(P233) + tk(P235) + tk(P256) + tk(P290) + tk(P313) + tk(P325) + tk(P429) + tk(P432) + tk(P456) + tk(P479) + tk(P492) + tk(P500) + tk(P547) + tk(P551) + tk(P552) + tk(P564) + tk(P599) + tk(P627) + tk(P633) + tk(P663)) ) ) & (EX( potential( (tk(P583)) <= (tk(P609)) ))) ) & ( (! potential( ( 2 ) <= (tk(P2) + tk(P18) + tk(P21) + tk(P43) + tk(P57) + tk(P100) + tk(P127) + tk(P186) + tk(P207) + tk(P222) + tk(P244) + tk(P267) + tk(P287) + tk(P328) + tk(P373) + tk(P377) + tk(P403) + tk(P409) + tk(P414) + tk(P439) + tk(P474) + tk(P494) + tk(P502) + tk(P511) + tk(P512) + tk(P530) + tk(P543) + tk(P579) + tk(P631) + tk(P640) + tk(P651)) )) & ( ( potential( (tk(P7)) <= (tk(P363)) ) | potential( (tk(P291)) <= (tk(P251)) ) ) & ( potential( (tk(P615)) <= (tk(P363)) ) & potential( ( 2 ) <= (tk(P2) + tk(P18) + tk(P21) + tk(P43) + tk(P57) + tk(P100) + tk(P127) + tk(P186) + tk(P207) + tk(P222) + tk(P244) + tk(P267) + tk(P287) + tk(P328) + tk(P373) + tk(P377) + tk(P403) + tk(P409) + tk(P414) + tk(P439) + tk(P474) + tk(P494) + tk(P502) + tk(P511) + tk(P512) + tk(P530) + tk(P543) + tk(P579) + tk(P631) + tk(P640) + tk(P651)) ) ) ) ) ) | ( (AU( potential( (tk(P34) + tk(P66) + tk(P81) + tk(P83) + tk(P103) + tk(P152) + tk(P156) + tk(P160) + tk(P227) + tk(P249) + tk(P259) + tk(P279) + tk(P288) + tk(P308) + tk(P339) + tk(P365) + tk(P372) + tk(P387) + tk(P415) + tk(P420) + tk(P438) + tk(P451) + tk(P476) + tk(P560) + tk(P569) + tk(P570) + tk(P621) + tk(P632) + tk(P637) + tk(P654) + tk(P655)) <= (tk(P482)) ),potential( ( 2 ) <= (tk(P219)) ) )) & ( potential( (tk(P583)) <= (tk(P360)) ) & ( potential( (tk(P360)) <= (tk(P296)) ) & ( potential( ( 1 ) <= (tk(P445)) ) | potential( (tk(P4) + tk(P10) + tk(P13) + tk(P15) + tk(P17) + tk(P19) + tk(P20) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P37) + tk(P41) + tk(P44) + tk(P45) + tk(P52) + tk(P54) + tk(P55) + tk(P56) + tk(P62) + tk(P64) + tk(P67) + tk(P70) + tk(P71) + tk(P76) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P90) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P99) + tk(P101) + tk(P104) + tk(P106) + tk(P107) + tk(P108) + tk(P110) + tk(P111) + tk(P117) + tk(P119) + tk(P121) + tk(P122) + tk(P124) + tk(P126) + tk(P128) + tk(P130) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P137) + tk(P139) + tk(P140) + tk(P141) + tk(P144) + tk(P147) + tk(P148) + tk(P151) + tk(P153) + tk(P154) + tk(P155) + tk(P157) + tk(P166) + tk(P168) + tk(P169) + tk(P170) + tk(P174) + tk(P175) + tk(P176) + tk(P180) + tk(P182) + tk(P183) + tk(P185) + tk(P188) + tk(P189) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P208) + tk(P210) + tk(P211) + tk(P217) + tk(P218) + tk(P223) + tk(P224) + tk(P225) + tk(P230) + tk(P237) + tk(P239) + tk(P240) + tk(P242) + tk(P243) + tk(P250) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P257) + tk(P258) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P266) + tk(P271) + tk(P274) + tk(P277) + tk(P278) + tk(P280) + tk(P281) + tk(P283) + tk(P284) + tk(P286) + tk(P289) + tk(P292) + tk(P293) + tk(P295) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P302) + tk(P303) + tk(P306) + tk(P307) + tk(P314) + tk(P316) + tk(P317) + tk(P319) + tk(P320) + tk(P321) + tk(P323) + tk(P327) + tk(P329) + tk(P331) + tk(P333) + tk(P334) + tk(P335) + tk(P336) + tk(P338) + tk(P341) + tk(P343) + tk(P345) + tk(P346) + tk(P348) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P361) + tk(P362) + tk(P364) + tk(P367) + tk(P368) + tk(P369) + tk(P370) + tk(P371) + tk(P374) + tk(P376) + tk(P378) + tk(P379) + tk(P381) + tk(P382) + tk(P384) + tk(P388) + tk(P389) + tk(P390) + tk(P392) + tk(P394) + tk(P396) + tk(P397) + tk(P398) + tk(P399) + tk(P402) + tk(P404) + tk(P405) + tk(P407) + tk(P408) + tk(P412) + tk(P416) + tk(P417) + tk(P421) + tk(P423) + tk(P426) + tk(P427) + tk(P428) + tk(P430) + tk(P435) + tk(P441) + tk(P444) + tk(P447) + tk(P448) + tk(P450) + tk(P453) + tk(P457) + tk(P458) + tk(P460) + tk(P461) + tk(P462) + tk(P463) + tk(P465) + tk(P467) + tk(P468) + tk(P470) + tk(P473) + tk(P475) + tk(P478) + tk(P480) + tk(P481) + tk(P487) + tk(P491) + tk(P493) + tk(P499) + tk(P501) + tk(P503) + tk(P504) + tk(P505) + tk(P506) + tk(P510) + tk(P513) + tk(P517) + tk(P519) + tk(P520) + tk(P524) + tk(P526) + tk(P527) + tk(P528) + tk(P529) + tk(P531) + tk(P533) + tk(P537) + tk(P538) + tk(P539) + tk(P541) + tk(P542) + tk(P544) + tk(P546) + tk(P548) + tk(P549) + tk(P550) + tk(P554) + tk(P555) + tk(P557) + tk(P558) + tk(P559) + tk(P561) + tk(P562) + tk(P565) + tk(P573) + tk(P574) + tk(P575) + tk(P577) + tk(P582) + tk(P584) + tk(P585) + tk(P586) + tk(P587) + tk(P590) + tk(P591) + tk(P592) + tk(P596) + tk(P600) + tk(P601) + tk(P604) + tk(P605) + tk(P606) + tk(P607) + tk(P608) + tk(P613) + tk(P616) + tk(P617) + tk(P622) + tk(P623) + tk(P624) + tk(P626) + tk(P629) + tk(P630) + tk(P634) + tk(P635) + tk(P636) + tk(P638) + tk(P639) + tk(P642) + tk(P644) + tk(P646) + tk(P649) + tk(P650) + tk(P652) + tk(P657) + tk(P658) + tk(P661) + tk(P662)) <= (tk(P146)) ) ) ) ) ) )
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-07 (EF(( (! ( potential( (tk(P411)) <= (tk(P38) + tk(P39) + tk(P48) + tk(P50) + tk(P77) + tk(P78) + tk(P79) + tk(P89) + tk(P159) + tk(P164) + tk(P165) + tk(P204) + tk(P226) + tk(P268) + tk(P275) + tk(P282) + tk(P311) + tk(P330) + tk(P347) + tk(P431) + tk(P496) + tk(P497) + tk(P498) + tk(P508) + tk(P532) + tk(P567) + tk(P568) + tk(P620) + tk(P653) + tk(P656) + tk(P664)) ) | potential( (tk(P514)) <= (tk(P514)) ) )) & potential( ( 1 ) <= (tk(P14)) ) )))
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-08 (AF(( ( potential( ( 3 ) <= (tk(P322)) ) & (! potential( (tk(P219)) <= (tk(P387)) )) ) | ( ( potential( ( 3 ) <= (tk(P293)) ) & potential( (tk(P254)) <= (tk(P472)) ) ) | ( potential( (tk(P216)) <= (tk(P617)) ) & potential( (tk(P377)) <= (tk(P659)) ) ) ) )))
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-09 (EG( potential( (tk(P335)) <= (tk(P605)) )))
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-10 (EU( (EG( potential( (tk(P145)) <= (tk(P373)) ))),(EF(potential( ( 2 ) <= (tk(P112)) ))) ))
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-11 (AF(( ( potential( ( 3 ) <= (tk(P173)) ) | potential( ( 1 ) <= (tk(P139)) ) ) & ( ( potential( ( 3 ) <= (tk(P551)) ) | potential( ( 2 ) <= (tk(P198)) ) ) | (! potential( ( 3 ) <= (tk(P74)) )) ) )))
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-12 (AU( potential( (tk(P533)) <= (tk(P572)) ),(EG( potential( (tk(P632)) <= (tk(P578)) ))) ))
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-13 (! (AG( ( potential( (tk(P299)) <= (tk(P650)) ) & (! potential( ( 3 ) <= (tk(P561)) )) ))))
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-14 (! (EG( potential( (tk(P499)) <= (tk(P286)) ))))
PROPERTY: PolyORBNT-PT-S10J30-CTLCardinality-15 (AU( (AF(potential( ( 2 ) <= (tk(P23)) ))),(AG( potential( ( 2 ) <= (tk(P497)) ))) ))

BK_STOP 1589651036056

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 479 Aborted ${SMART} ${INPUT_SM}

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="PolyORBNT-PT-S10J30"
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 PolyORBNT-PT-S10J30, 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 r123-tajo-158961355100683"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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