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.r207-tajo-159033469500475.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 ShieldPPPs-PT-010A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469500475
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 2.9K May 14 01:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 14 01:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 18:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 18:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.6K May 13 13:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 13:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 08:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 08:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 88K May 12 20:42 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 ShieldPPPs-PT-010A-CTLCardinality-00
FORMULA_NAME ShieldPPPs-PT-010A-CTLCardinality-01
FORMULA_NAME ShieldPPPs-PT-010A-CTLCardinality-02
FORMULA_NAME ShieldPPPs-PT-010A-CTLCardinality-03
FORMULA_NAME ShieldPPPs-PT-010A-CTLCardinality-04
FORMULA_NAME ShieldPPPs-PT-010A-CTLCardinality-05
FORMULA_NAME ShieldPPPs-PT-010A-CTLCardinality-06
FORMULA_NAME ShieldPPPs-PT-010A-CTLCardinality-07
FORMULA_NAME ShieldPPPs-PT-010A-CTLCardinality-08
FORMULA_NAME ShieldPPPs-PT-010A-CTLCardinality-09
FORMULA_NAME ShieldPPPs-PT-010A-CTLCardinality-10
FORMULA_NAME ShieldPPPs-PT-010A-CTLCardinality-11
FORMULA_NAME ShieldPPPs-PT-010A-CTLCardinality-12
FORMULA_NAME ShieldPPPs-PT-010A-CTLCardinality-13
FORMULA_NAME ShieldPPPs-PT-010A-CTLCardinality-14
FORMULA_NAME ShieldPPPs-PT-010A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590442935057

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 010A
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: 313 places, 263 transitions, 1006 arcs.
AT ITER 0 NEW BEST:: SOT 53213 SOS 37253 HAS SOPS 37253 HAS SOUS 28703 HAS SOUPS 28703 WITH SCORE 28740.253
AT ITER 7 NEW BEST:: SOT 53208 SOS 36666 HAS SOPS 36666 HAS SOUS 28580 HAS SOUPS 28580 WITH SCORE 28616.666
AT ITER 8 NEW BEST:: SOT 53093 SOS 36660 HAS SOPS 36660 HAS SOUS 28574 HAS SOUPS 28574 WITH SCORE 28610.66
AT ITER 13 NEW BEST:: SOT 52942 SOS 36607 HAS SOPS 36607 HAS SOUS 28511 HAS SOUPS 28511 WITH SCORE 28547.607
AT ITER 22 NEW BEST:: SOT 52975 SOS 36229 HAS SOPS 36229 HAS SOUS 28491 HAS SOUPS 28491 WITH SCORE 28527.229
AT ITER 23 NEW BEST:: SOT 52966 SOS 36208 HAS SOPS 36208 HAS SOUS 28463 HAS SOUPS 28463 WITH SCORE 28499.208
AT ITER 26 NEW BEST:: SOT 52924 SOS 36165 HAS SOPS 36165 HAS SOUS 28420 HAS SOUPS 28420 WITH SCORE 28456.165
AT ITER 49 NEW BEST:: SOT 52841 SOS 36070 HAS SOPS 36070 HAS SOUS 28325 HAS SOUPS 28325 WITH SCORE 28361.07
AT ITER 55 NEW BEST:: SOT 52841 SOS 36060 HAS SOPS 36060 HAS SOUS 28309 HAS SOUPS 28309 WITH SCORE 28345.06
AT ITER 64 NEW BEST:: SOT 52971 SOS 35686 HAS SOPS 35686 HAS SOUS 28236 HAS SOUPS 28236 WITH SCORE 28271.686
AT ITER 80 NEW BEST:: SOT 52945 SOS 35660 HAS SOPS 35660 HAS SOUS 28210 HAS SOUPS 28210 WITH SCORE 28245.66
AT ITER 93 NEW BEST:: SOT 52906 SOS 35630 HAS SOPS 35630 HAS SOUS 28176 HAS SOUPS 28176 WITH SCORE 28211.63
AT ITER 96 NEW BEST:: SOT 52879 SOS 35603 HAS SOPS 35603 HAS SOUS 28149 HAS SOUPS 28149 WITH SCORE 28184.603
AT ITER 97 NEW BEST:: SOT 52825 SOS 35505 HAS SOPS 35505 HAS SOUS 28055 HAS SOUPS 28055 WITH SCORE 28090.505
AT ITER 101 NEW BEST:: SOT 52815 SOS 35495 HAS SOPS 35495 HAS SOUS 28045 HAS SOUPS 28045 WITH SCORE 28080.495
AT ITER 107 NEW BEST:: SOT 52698 SOS 35261 HAS SOPS 35261 HAS SOUS 27870 HAS SOUPS 27870 WITH SCORE 27905.261
AT ITER 108 NEW BEST:: SOT 52553 SOS 35118 HAS SOPS 35118 HAS SOUS 27719 HAS SOUPS 27719 WITH SCORE 27754.118
AT ITER 123 NEW BEST:: SOT 52551 SOS 35116 HAS SOPS 35116 HAS SOUS 27717 HAS SOUPS 27717 WITH SCORE 27752.116
AT ITER 132 NEW BEST:: SOT 52481 SOS 35046 HAS SOPS 35046 HAS SOUS 27647 HAS SOUPS 27647 WITH SCORE 27682.046
AT ITER 144 NEW BEST:: SOT 52481 SOS 35044 HAS SOPS 35044 HAS SOUS 27645 HAS SOUPS 27645 WITH SCORE 27680.044
AT ITER 145 NEW BEST:: SOT 52481 SOS 35099 HAS SOPS 35099 HAS SOUS 27590 HAS SOUPS 27590 WITH SCORE 27625.099
AT ITER 147 NEW BEST:: SOT 52412 SOS 34932 HAS SOPS 34932 HAS SOUS 27436 HAS SOUPS 27436 WITH SCORE 27470.932
AT ITER 149 NEW BEST:: SOT 52412 SOS 34930 HAS SOPS 34930 HAS SOUS 27434 HAS SOUPS 27434 WITH SCORE 27468.93
AT ITER 150 NEW BEST:: SOT 52419 SOS 34929 HAS SOPS 34929 HAS SOUS 27417 HAS SOUPS 27417 WITH SCORE 27451.929
AT ITER 153 NEW BEST:: SOT 52283 SOS 34815 HAS SOPS 34815 HAS SOUS 27228 HAS SOUPS 27228 WITH SCORE 27262.815
AT ITER 155 NEW BEST:: SOT 52204 SOS 34716 HAS SOPS 34716 HAS SOUS 27129 HAS SOUPS 27129 WITH SCORE 27163.716
AT ITER 156 NEW BEST:: SOT 52204 SOS 34590 HAS SOPS 34590 HAS SOUS 27111 HAS SOUPS 27111 WITH SCORE 27145.59
AT ITER 164 NEW BEST:: SOT 52197 SOS 34583 HAS SOPS 34583 HAS SOUS 27104 HAS SOUPS 27104 WITH SCORE 27138.583
AT ITER 165 NEW BEST:: SOT 52191 SOS 34583 HAS SOPS 34583 HAS SOUS 27103 HAS SOUPS 27103 WITH SCORE 27137.583
AT ITER 167 NEW BEST:: SOT 52250 SOS 34129 HAS SOPS 34129 HAS SOUS 26939 HAS SOUPS 26939 WITH SCORE 26973.129
AT ITER 177 NEW BEST:: SOT 52215 SOS 34100 HAS SOPS 34100 HAS SOUS 26910 HAS SOUPS 26910 WITH SCORE 26944.1
AT ITER 180 NEW BEST:: SOT 52215 SOS 34085 HAS SOPS 34085 HAS SOUS 26910 HAS SOUPS 26910 WITH SCORE 26944.085
AT ITER 184 NEW BEST:: SOT 52147 SOS 34010 HAS SOPS 34010 HAS SOUS 26835 HAS SOUPS 26835 WITH SCORE 26869.01
AT ITER 191 NEW BEST:: SOT 52125 SOS 33986 HAS SOPS 33986 HAS SOUS 26765 HAS SOUPS 26765 WITH SCORE 26798.986
AT ITER 194 NEW BEST:: SOT 52002 SOS 33863 HAS SOPS 33863 HAS SOUS 26637 HAS SOUPS 26637 WITH SCORE 26670.863
AT ITER 231 NEW BEST:: SOT 51992 SOS 33853 HAS SOPS 33853 HAS SOUS 26627 HAS SOUPS 26627 WITH SCORE 26660.853
AT ITER 233 NEW BEST:: SOT 51968 SOS 33829 HAS SOPS 33829 HAS SOUS 26603 HAS SOUPS 26603 WITH SCORE 26636.829
AT ITER 254 NEW BEST:: SOT 52064 SOS 33797 HAS SOPS 33797 HAS SOUS 26592 HAS SOUPS 26592 WITH SCORE 26625.797
AT ITER 256 NEW BEST:: SOT 51930 SOS 33700 HAS SOPS 33700 HAS SOUS 26495 HAS SOUPS 26495 WITH SCORE 26528.7
AT ITER 262 NEW BEST:: SOT 51920 SOS 33687 HAS SOPS 33687 HAS SOUS 26481 HAS SOUPS 26481 WITH SCORE 26514.687
AT ITER 264 NEW BEST:: SOT 51923 SOS 33572 HAS SOPS 33572 HAS SOUS 26420 HAS SOUPS 26420 WITH SCORE 26453.572
AT ITER 267 NEW BEST:: SOT 51967 SOS 33509 HAS SOPS 33509 HAS SOUS 26271 HAS SOUPS 26271 WITH SCORE 26304.509
AT ITER 269 NEW BEST:: SOT 51876 SOS 33415 HAS SOPS 33415 HAS SOUS 26176 HAS SOUPS 26176 WITH SCORE 26209.415
AT ITER 271 NEW BEST:: SOT 51783 SOS 33287 HAS SOPS 33287 HAS SOUS 25994 HAS SOUPS 25994 WITH SCORE 26027.287
AT ITER 276 NEW BEST:: SOT 51783 SOS 33219 HAS SOPS 33219 HAS SOUS 25991 HAS SOUPS 25991 WITH SCORE 26024.219
AT ITER 288 NEW BEST:: SOT 51882 SOS 32930 HAS SOPS 32930 HAS SOUS 25782 HAS SOUPS 25782 WITH SCORE 25814.93
AT ITER 289 NEW BEST:: SOT 51819 SOS 32860 HAS SOPS 32860 HAS SOUS 25648 HAS SOUPS 25648 WITH SCORE 25680.86
AT ITER 290 NEW BEST:: SOT 51816 SOS 32854 HAS SOPS 32854 HAS SOUS 25642 HAS SOUPS 25642 WITH SCORE 25674.854
AT ITER 295 NEW BEST:: SOT 51810 SOS 32848 HAS SOPS 32848 HAS SOUS 25636 HAS SOUPS 25636 WITH SCORE 25668.848
AT ITER 298 NEW BEST:: SOT 51802 SOS 32824 HAS SOPS 32824 HAS SOUS 25603 HAS SOUPS 25603 WITH SCORE 25635.824
AT ITER 302 NEW BEST:: SOT 51802 SOS 32845 HAS SOPS 32845 HAS SOUS 25600 HAS SOUPS 25600 WITH SCORE 25632.845
AT ITER 304 NEW BEST:: SOT 51801 SOS 32852 HAS SOPS 32852 HAS SOUS 25597 HAS SOUPS 25597 WITH SCORE 25629.852
AT ITER 305 NEW BEST:: SOT 51642 SOS 32691 HAS SOPS 32691 HAS SOUS 25436 HAS SOUPS 25436 WITH SCORE 25468.691
AT ITER 314 NEW BEST:: SOT 51568 SOS 32617 HAS SOPS 32617 HAS SOUS 25362 HAS SOUPS 25362 WITH SCORE 25394.617
AT ITER 326 NEW BEST:: SOT 51547 SOS 32596 HAS SOPS 32596 HAS SOUS 25341 HAS SOUPS 25341 WITH SCORE 25373.596
AT ITER 331 NEW BEST:: SOT 51426 SOS 32396 HAS SOPS 32396 HAS SOUS 25118 HAS SOUPS 25118 WITH SCORE 25150.396
AT ITER 336 NEW BEST:: SOT 51405 SOS 32392 HAS SOPS 32392 HAS SOUS 25114 HAS SOUPS 25114 WITH SCORE 25146.392
AT ITER 342 NEW BEST:: SOT 51405 SOS 32404 HAS SOPS 32404 HAS SOUS 25104 HAS SOUPS 25104 WITH SCORE 25136.404
AT ITER 348 NEW BEST:: SOT 51272 SOS 32271 HAS SOPS 32271 HAS SOUS 24971 HAS SOUPS 24971 WITH SCORE 25003.271
AT ITER 353 NEW BEST:: SOT 51272 SOS 32269 HAS SOPS 32269 HAS SOUS 24969 HAS SOUPS 24969 WITH SCORE 25001.269
AT ITER 354 NEW BEST:: SOT 51248 SOS 32221 HAS SOPS 32221 HAS SOUS 24921 HAS SOUPS 24921 WITH SCORE 24953.221
AT ITER 358 NEW BEST:: SOT 51211 SOS 31987 HAS SOPS 31987 HAS SOUS 24685 HAS SOUPS 24685 WITH SCORE 24716.987
AT ITER 361 NEW BEST:: SOT 51220 SOS 31944 HAS SOPS 31944 HAS SOUS 24642 HAS SOUPS 24642 WITH SCORE 24673.944
AT ITER 362 NEW BEST:: SOT 51231 SOS 31946 HAS SOPS 31946 HAS SOUS 24641 HAS SOUPS 24641 WITH SCORE 24672.946
AT ITER 365 NEW BEST:: SOT 51190 SOS 31835 HAS SOPS 31835 HAS SOUS 24530 HAS SOUPS 24530 WITH SCORE 24561.835
AT ITER 370 NEW BEST:: SOT 51099 SOS 31753 HAS SOPS 31753 HAS SOUS 24397 HAS SOUPS 24397 WITH SCORE 24428.753
AT ITER 378 NEW BEST:: SOT 51064 SOS 31646 HAS SOPS 31646 HAS SOUS 24304 HAS SOUPS 24304 WITH SCORE 24335.646
AT ITER 381 NEW BEST:: SOT 51034 SOS 31505 HAS SOPS 31505 HAS SOUS 24208 HAS SOUPS 24208 WITH SCORE 24239.505
AT ITER 392 NEW BEST:: SOT 51032 SOS 31503 HAS SOPS 31503 HAS SOUS 24206 HAS SOUPS 24206 WITH SCORE 24237.503
AT ITER 395 NEW BEST:: SOT 51060 SOS 31497 HAS SOPS 31497 HAS SOUS 24200 HAS SOUPS 24200 WITH SCORE 24231.497
AT ITER 396 NEW BEST:: SOT 51060 SOS 31467 HAS SOPS 31467 HAS SOUS 24199 HAS SOUPS 24199 WITH SCORE 24230.467
AT ITER 408 NEW BEST:: SOT 50986 SOS 31418 HAS SOPS 31418 HAS SOUS 24186 HAS SOUPS 24186 WITH SCORE 24217.418
AT ITER 433 NEW BEST:: SOT 50902 SOS 31394 HAS SOPS 31394 HAS SOUS 24162 HAS SOUPS 24162 WITH SCORE 24193.394
AT ITER 434 NEW BEST:: SOT 50898 SOS 31333 HAS SOPS 31333 HAS SOUS 24009 HAS SOUPS 24009 WITH SCORE 24040.333
AT ITER 435 NEW BEST:: SOT 50771 SOS 31150 HAS SOPS 31150 HAS SOUS 23826 HAS SOUPS 23826 WITH SCORE 23857.15
AT ITER 459 NEW BEST:: SOT 50701 SOS 31078 HAS SOPS 31078 HAS SOUS 23754 HAS SOUPS 23754 WITH SCORE 23785.078
AT ITER 471 NEW BEST:: SOT 50699 SOS 31076 HAS SOPS 31076 HAS SOUS 23752 HAS SOUPS 23752 WITH SCORE 23783.076
AT ITER 478 NEW BEST:: SOT 50666 SOS 31043 HAS SOPS 31043 HAS SOUS 23719 HAS SOUPS 23719 WITH SCORE 23750.043
AT ITER 480 NEW BEST:: SOT 50576 SOS 30933 HAS SOPS 30933 HAS SOUS 23609 HAS SOUPS 23609 WITH SCORE 23639.933
AT ITER 488 NEW BEST:: SOT 50495 SOS 30821 HAS SOPS 30821 HAS SOUS 23497 HAS SOUPS 23497 WITH SCORE 23527.821
AT ITER 491 NEW BEST:: SOT 50464 SOS 30509 HAS SOPS 30509 HAS SOUS 23380 HAS SOUPS 23380 WITH SCORE 23410.509
AT ITER 496 NEW BEST:: SOT 50461 SOS 30506 HAS SOPS 30506 HAS SOUS 23377 HAS SOUPS 23377 WITH SCORE 23407.506
AT ITER 501 NEW BEST:: SOT 50461 SOS 30468 HAS SOPS 30468 HAS SOUS 23339 HAS SOUPS 23339 WITH SCORE 23369.468
AT ITER 502 NEW BEST:: SOT 50473 SOS 30471 HAS SOPS 30471 HAS SOUS 23282 HAS SOUPS 23282 WITH SCORE 23312.471
AT ITER 505 NEW BEST:: SOT 50427 SOS 30307 HAS SOPS 30307 HAS SOUS 23177 HAS SOUPS 23177 WITH SCORE 23207.307
AT ITER 508 NEW BEST:: SOT 50400 SOS 30172 HAS SOPS 30172 HAS SOUS 23169 HAS SOUPS 23169 WITH SCORE 23199.172
AT ITER 509 NEW BEST:: SOT 50394 SOS 30166 HAS SOPS 30166 HAS SOUS 23163 HAS SOUPS 23163 WITH SCORE 23193.166
AT ITER 529 NEW BEST:: SOT 50339 SOS 30051 HAS SOPS 30051 HAS SOUS 23069 HAS SOUPS 23069 WITH SCORE 23099.051
AT ITER 531 NEW BEST:: SOT 50313 SOS 30025 HAS SOPS 30025 HAS SOUS 23043 HAS SOUPS 23043 WITH SCORE 23073.025
AT ITER 540 NEW BEST:: SOT 50333 SOS 30044 HAS SOPS 30044 HAS SOUS 23029 HAS SOUPS 23029 WITH SCORE 23059.044
AT ITER 548 NEW BEST:: SOT 50307 SOS 29979 HAS SOPS 29979 HAS SOUS 22977 HAS SOUPS 22977 WITH SCORE 23006.979
AT ITER 549 NEW BEST:: SOT 50266 SOS 29938 HAS SOPS 29938 HAS SOUS 22936 HAS SOUPS 22936 WITH SCORE 22965.938
AT ITER 556 NEW BEST:: SOT 50253 SOS 29906 HAS SOPS 29906 HAS SOUS 22923 HAS SOUPS 22923 WITH SCORE 22952.906
AT ITER 557 NEW BEST:: SOT 50237 SOS 29884 HAS SOPS 29884 HAS SOUS 22895 HAS SOUPS 22895 WITH SCORE 22924.884
AT ITER 564 NEW BEST:: SOT 50405 SOS 29518 HAS SOPS 29518 HAS SOUS 22792 HAS SOUPS 22792 WITH SCORE 22821.518
AT ITER 565 NEW BEST:: SOT 50405 SOS 29480 HAS SOPS 29480 HAS SOUS 22740 HAS SOUPS 22740 WITH SCORE 22769.48
AT ITER 567 NEW BEST:: SOT 50406 SOS 29457 HAS SOPS 29457 HAS SOUS 22717 HAS SOUPS 22717 WITH SCORE 22746.457
AT ITER 568 NEW BEST:: SOT 50376 SOS 29302 HAS SOPS 29302 HAS SOUS 22717 HAS SOUPS 22717 WITH SCORE 22746.302
AT ITER 571 NEW BEST:: SOT 50376 SOS 29301 HAS SOPS 29301 HAS SOUS 22716 HAS SOUPS 22716 WITH SCORE 22745.301
AT ITER 574 NEW BEST:: SOT 50430 SOS 29307 HAS SOPS 29307 HAS SOUS 22655 HAS SOUPS 22655 WITH SCORE 22684.307
AT ITER 585 NEW BEST:: SOT 50392 SOS 29280 HAS SOPS 29280 HAS SOUS 22628 HAS SOUPS 22628 WITH SCORE 22657.28
AT ITER 592 NEW BEST:: SOT 50387 SOS 29081 HAS SOPS 29081 HAS SOUS 22496 HAS SOUPS 22496 WITH SCORE 22525.081
AT ITER 594 NEW BEST:: SOT 50391 SOS 29073 HAS SOPS 29073 HAS SOUS 22495 HAS SOUPS 22495 WITH SCORE 22524.073
AT ITER 605 NEW BEST:: SOT 50183 SOS 28889 HAS SOPS 28889 HAS SOUS 22342 HAS SOUPS 22342 WITH SCORE 22370.889
AT ITER 620 NEW BEST:: SOT 50184 SOS 28890 HAS SOPS 28890 HAS SOUS 22338 HAS SOUPS 22338 WITH SCORE 22366.89
AT ITER 627 NEW BEST:: SOT 50183 SOS 28889 HAS SOPS 28889 HAS SOUS 22337 HAS SOUPS 22337 WITH SCORE 22365.889
AT ITER 629 NEW BEST:: SOT 50166 SOS 28886 HAS SOPS 28886 HAS SOUS 22334 HAS SOUPS 22334 WITH SCORE 22362.886
AT ITER 631 NEW BEST:: SOT 50084 SOS 28466 HAS SOPS 28466 HAS SOUS 22332 HAS SOUPS 22332 WITH SCORE 22360.466
AT ITER 635 NEW BEST:: SOT 49829 SOS 28189 HAS SOPS 28189 HAS SOUS 22055 HAS SOUPS 22055 WITH SCORE 22083.189
AT ITER 636 NEW BEST:: SOT 49820 SOS 28180 HAS SOPS 28180 HAS SOUS 22028 HAS SOUPS 22028 WITH SCORE 22056.18
AT ITER 639 NEW BEST:: SOT 49774 SOS 28134 HAS SOPS 28134 HAS SOUS 21982 HAS SOUPS 21982 WITH SCORE 22010.134
AT ITER 654 NEW BEST:: SOT 49645 SOS 28037 HAS SOPS 28037 HAS SOUS 21893 HAS SOUPS 21893 WITH SCORE 21921.037
AT ITER 659 NEW BEST:: SOT 49513 SOS 27914 HAS SOPS 27914 HAS SOUS 21765 HAS SOUPS 21765 WITH SCORE 21792.914
AT ITER 663 NEW BEST:: SOT 49499 SOS 27900 HAS SOPS 27900 HAS SOUS 21751 HAS SOUPS 21751 WITH SCORE 21778.9
AT ITER 673 NEW BEST:: SOT 49483 SOS 27884 HAS SOPS 27884 HAS SOUS 21735 HAS SOUPS 21735 WITH SCORE 21762.884
AT ITER 680 NEW BEST:: SOT 49486 SOS 27883 HAS SOPS 27883 HAS SOUS 21734 HAS SOUPS 21734 WITH SCORE 21761.883
AT ITER 695 NEW BEST:: SOT 49486 SOS 27877 HAS SOPS 27877 HAS SOUS 21732 HAS SOUPS 21732 WITH SCORE 21759.877
AT ITER 701 NEW BEST:: SOT 49499 SOS 27909 HAS SOPS 27909 HAS SOUS 21726 HAS SOUPS 21726 WITH SCORE 21753.909
AT ITER 705 NEW BEST:: SOT 49566 SOS 27899 HAS SOPS 27899 HAS SOUS 21688 HAS SOUPS 21688 WITH SCORE 21715.899
AT ITER 772 NEW BEST:: SOT 49544 SOS 27883 HAS SOPS 27883 HAS SOUS 21683 HAS SOUPS 21683 WITH SCORE 21710.883
AT ITER 778 NEW BEST:: SOT 49539 SOS 27878 HAS SOPS 27878 HAS SOUS 21678 HAS SOUPS 21678 WITH SCORE 21705.878
AT ITER 780 NEW BEST:: SOT 49510 SOS 27849 HAS SOPS 27849 HAS SOUS 21649 HAS SOUPS 21649 WITH SCORE 21676.849
AT ITER 794 NEW BEST:: SOT 49508 SOS 27847 HAS SOPS 27847 HAS SOUS 21647 HAS SOUPS 21647 WITH SCORE 21674.847
AT ITER 830 NEW BEST:: SOT 49449 SOS 27788 HAS SOPS 27788 HAS SOUS 21588 HAS SOUPS 21588 WITH SCORE 21615.788
AT ITER 841 NEW BEST:: SOT 49438 SOS 27769 HAS SOPS 27769 HAS SOUS 21569 HAS SOUPS 21569 WITH SCORE 21596.769
AT ITER 846 NEW BEST:: SOT 49432 SOS 27763 HAS SOPS 27763 HAS SOUS 21563 HAS SOUPS 21563 WITH SCORE 21590.763
AT ITER 851 NEW BEST:: SOT 49416 SOS 27723 HAS SOPS 27723 HAS SOUS 21531 HAS SOUPS 21531 WITH SCORE 21558.723
AT ITER 869 NEW BEST:: SOT 49413 SOS 27402 HAS SOPS 27402 HAS SOUS 21519 HAS SOUPS 21519 WITH SCORE 21546.402
AT ITER 871 NEW BEST:: SOT 49413 SOS 27267 HAS SOPS 27267 HAS SOUS 21492 HAS SOUPS 21492 WITH SCORE 21519.267
AT ITER 879 NEW BEST:: SOT 49365 SOS 27219 HAS SOPS 27219 HAS SOUS 21444 HAS SOUPS 21444 WITH SCORE 21471.219
AT ITER 890 NEW BEST:: SOT 49314 SOS 27035 HAS SOPS 27035 HAS SOUS 21291 HAS SOUPS 21291 WITH SCORE 21318.035
AT ITER 894 NEW BEST:: SOT 49321 SOS 26993 HAS SOPS 26993 HAS SOUS 21271 HAS SOUPS 21271 WITH SCORE 21297.993
AT ITER 897 NEW BEST:: SOT 49321 SOS 26990 HAS SOPS 26990 HAS SOUS 21268 HAS SOUPS 21268 WITH SCORE 21294.99
AT ITER 902 NEW BEST:: SOT 49302 SOS 26971 HAS SOPS 26971 HAS SOUS 21249 HAS SOUPS 21249 WITH SCORE 21275.971
AT ITER 930 NEW BEST:: SOT 49476 SOS 26508 HAS SOPS 26508 HAS SOUS 21221 HAS SOUPS 21221 WITH SCORE 21247.508
AT ITER 934 NEW BEST:: SOT 49468 SOS 26497 HAS SOPS 26497 HAS SOUS 21210 HAS SOUPS 21210 WITH SCORE 21236.497
AT ITER 935 NEW BEST:: SOT 49414 SOS 26412 HAS SOPS 26412 HAS SOUS 21068 HAS SOUPS 21068 WITH SCORE 21094.412
AT ITER 969 NEW BEST:: SOT 49410 SOS 26410 HAS SOPS 26410 HAS SOUS 21068 HAS SOUPS 21068 WITH SCORE 21094.41
AT ITER 970 NEW BEST:: SOT 49424 SOS 26235 HAS SOPS 26235 HAS SOUS 20963 HAS SOUPS 20963 WITH SCORE 20989.235
AT ITER 972 NEW BEST:: SOT 49378 SOS 26189 HAS SOPS 26189 HAS SOUS 20917 HAS SOUPS 20917 WITH SCORE 20943.189
AT ITER 979 NEW BEST:: SOT 49397 SOS 26171 HAS SOPS 26171 HAS SOUS 20899 HAS SOUPS 20899 WITH SCORE 20925.171
AT ITER 982 NEW BEST:: SOT 49413 SOS 26124 HAS SOPS 26124 HAS SOUS 20868 HAS SOUPS 20868 WITH SCORE 20894.124
AT ITER 985 NEW BEST:: SOT 49413 SOS 26088 HAS SOPS 26088 HAS SOUS 20847 HAS SOUPS 20847 WITH SCORE 20873.088
AT ITER 991 NEW BEST:: SOT 49336 SOS 26014 HAS SOPS 26014 HAS SOUS 20772 HAS SOUPS 20772 WITH SCORE 20798.014
AT ITER 992 NEW BEST:: SOT 49336 SOS 25886 HAS SOPS 25886 HAS SOUS 20772 HAS SOUPS 20772 WITH SCORE 20797.886
AT ITER 995 NEW BEST:: SOT 49332 SOS 25882 HAS SOPS 25882 HAS SOUS 20768 HAS SOUPS 20768 WITH SCORE 20793.882
AT ITER 1004 NEW BEST:: SOT 49331 SOS 25902 HAS SOPS 25902 HAS SOUS 20754 HAS SOUPS 20754 WITH SCORE 20779.902
AT ITER 1006 NEW BEST:: SOT 49417 SOS 26052 HAS SOPS 26052 HAS SOUS 20747 HAS SOUPS 20747 WITH SCORE 20773.052
AT ITER 1013 NEW BEST:: SOT 49406 SOS 26041 HAS SOPS 26041 HAS SOUS 20736 HAS SOUPS 20736 WITH SCORE 20762.041
AT ITER 1015 NEW BEST:: SOT 49376 SOS 25933 HAS SOPS 25933 HAS SOUS 20621 HAS SOUPS 20621 WITH SCORE 20646.933
AT ITER 1061 NEW BEST:: SOT 49376 SOS 25911 HAS SOPS 25911 HAS SOUS 20599 HAS SOUPS 20599 WITH SCORE 20624.911
AT ITER 1076 NEW BEST:: SOT 49412 SOS 25803 HAS SOPS 25803 HAS SOUS 20599 HAS SOUPS 20599 WITH SCORE 20624.803
AT ITER 1088 NEW BEST:: SOT 49422 SOS 25780 HAS SOPS 25780 HAS SOUS 20557 HAS SOUPS 20557 WITH SCORE 20582.78
AT ITER 1098 NEW BEST:: SOT 49421 SOS 25778 HAS SOPS 25778 HAS SOUS 20555 HAS SOUPS 20555 WITH SCORE 20580.778
AT ITER 1110 NEW BEST:: SOT 49427 SOS 25778 HAS SOPS 25778 HAS SOUS 20553 HAS SOUPS 20553 WITH SCORE 20578.778
AT ITER 1119 NEW BEST:: SOT 49366 SOS 25473 HAS SOPS 25473 HAS SOUS 20553 HAS SOUPS 20553 WITH SCORE 20578.473
AT ITER 1135 NEW BEST:: SOT 49366 SOS 25479 HAS SOPS 25479 HAS SOUS 20549 HAS SOUPS 20549 WITH SCORE 20574.479
AT ITER 1151 NEW BEST:: SOT 49335 SOS 25448 HAS SOPS 25448 HAS SOUS 20518 HAS SOUPS 20518 WITH SCORE 20543.448
AT ITER 1157 NEW BEST:: SOT 49263 SOS 25374 HAS SOPS 25374 HAS SOUS 20444 HAS SOUPS 20444 WITH SCORE 20469.374
AT ITER 1181 NEW BEST:: SOT 49238 SOS 25349 HAS SOPS 25349 HAS SOUS 20419 HAS SOUPS 20419 WITH SCORE 20444.349
AT ITER 1182 NEW BEST:: SOT 49145 SOS 25106 HAS SOPS 25106 HAS SOUS 20268 HAS SOUPS 20268 WITH SCORE 20293.106
AT ITER 1187 NEW BEST:: SOT 49145 SOS 25098 HAS SOPS 25098 HAS SOUS 20260 HAS SOUPS 20260 WITH SCORE 20285.098
AT ITER 1192 NEW BEST:: SOT 49113 SOS 24798 HAS SOPS 24798 HAS SOUS 20041 HAS SOUPS 20041 WITH SCORE 20065.798
AT ITER 1194 NEW BEST:: SOT 49121 SOS 24793 HAS SOPS 24793 HAS SOUS 20031 HAS SOUPS 20031 WITH SCORE 20055.793
AT ITER 1199 NEW BEST:: SOT 49120 SOS 24782 HAS SOPS 24782 HAS SOUS 20026 HAS SOUPS 20026 WITH SCORE 20050.782
AT ITER 1225 NEW BEST:: SOT 49195 SOS 24683 HAS SOPS 24683 HAS SOUS 20014 HAS SOUPS 20014 WITH SCORE 20038.683
AT ITER 1228 NEW BEST:: SOT 49167 SOS 24515 HAS SOPS 24515 HAS SOUS 20014 HAS SOUPS 20014 WITH SCORE 20038.515
AT ITER 1234 NEW BEST:: SOT 49168 SOS 24494 HAS SOPS 24494 HAS SOUS 19993 HAS SOUPS 19993 WITH SCORE 20017.494
AT ITER 1259 NEW BEST:: SOT 49049 SOS 24361 HAS SOPS 24361 HAS SOUS 19860 HAS SOUPS 19860 WITH SCORE 19884.361
AT ITER 1266 NEW BEST:: SOT 49042 SOS 24354 HAS SOPS 24354 HAS SOUS 19853 HAS SOUPS 19853 WITH SCORE 19877.354
AT ITER 1275 NEW BEST:: SOT 49022 SOS 24240 HAS SOPS 24240 HAS SOUS 19791 HAS SOUPS 19791 WITH SCORE 19815.24
AT ITER 1289 NEW BEST:: SOT 49004 SOS 24112 HAS SOPS 24112 HAS SOUS 19783 HAS SOUPS 19783 WITH SCORE 19807.112
AT ITER 1298 NEW BEST:: SOT 48994 SOS 24102 HAS SOPS 24102 HAS SOUS 19773 HAS SOUPS 19773 WITH SCORE 19797.102
AT ITER 1299 NEW BEST:: SOT 48999 SOS 24121 HAS SOPS 24121 HAS SOUS 19758 HAS SOUPS 19758 WITH SCORE 19782.121
AT ITER 1320 NEW BEST:: SOT 48999 SOS 24049 HAS SOPS 24049 HAS SOUS 19686 HAS SOUPS 19686 WITH SCORE 19710.049
AT ITER 1333 NEW BEST:: SOT 48960 SOS 23992 HAS SOPS 23992 HAS SOUS 19629 HAS SOUPS 19629 WITH SCORE 19652.992
AT ITER 1337 NEW BEST:: SOT 48957 SOS 23967 HAS SOPS 23967 HAS SOUS 19609 HAS SOUPS 19609 WITH SCORE 19632.967
AT ITER 1348 NEW BEST:: SOT 48957 SOS 23948 HAS SOPS 23948 HAS SOUS 19602 HAS SOUPS 19602 WITH SCORE 19625.948
AT ITER 1354 NEW BEST:: SOT 48949 SOS 23936 HAS SOPS 23936 HAS SOUS 19590 HAS SOUPS 19590 WITH SCORE 19613.936
AT ITER 1364 NEW BEST:: SOT 48941 SOS 23885 HAS SOPS 23885 HAS SOUS 19539 HAS SOUPS 19539 WITH SCORE 19562.885
AT ITER 1370 NEW BEST:: SOT 48839 SOS 23726 HAS SOPS 23726 HAS SOUS 19433 HAS SOUPS 19433 WITH SCORE 19456.726
AT ITER 1380 NEW BEST:: SOT 48817 SOS 23704 HAS SOPS 23704 HAS SOUS 19407 HAS SOUPS 19407 WITH SCORE 19430.704
AT ITER 1381 NEW BEST:: SOT 48816 SOS 23701 HAS SOPS 23701 HAS SOUS 19405 HAS SOUPS 19405 WITH SCORE 19428.701
AT ITER 1389 NEW BEST:: SOT 48801 SOS 23686 HAS SOPS 23686 HAS SOUS 19390 HAS SOUPS 19390 WITH SCORE 19413.686
AT ITER 1407 NEW BEST:: SOT 48786 SOS 23673 HAS SOPS 23673 HAS SOUS 19379 HAS SOUPS 19379 WITH SCORE 19402.673
AT ITER 1417 NEW BEST:: SOT 48793 SOS 23666 HAS SOPS 23666 HAS SOUS 19372 HAS SOUPS 19372 WITH SCORE 19395.666
AT ITER 1431 NEW BEST:: SOT 48789 SOS 23656 HAS SOPS 23656 HAS SOUS 19362 HAS SOUPS 19362 WITH SCORE 19385.656
AT ITER 1435 NEW BEST:: SOT 48776 SOS 23632 HAS SOPS 23632 HAS SOUS 19326 HAS SOUPS 19326 WITH SCORE 19349.632
AT ITER 1443 NEW BEST:: SOT 48784 SOS 23570 HAS SOPS 23570 HAS SOUS 19299 HAS SOUPS 19299 WITH SCORE 19322.57
AT ITER 1459 NEW BEST:: SOT 48784 SOS 23547 HAS SOPS 23547 HAS SOUS 19294 HAS SOUPS 19294 WITH SCORE 19317.547
AT ITER 1467 NEW BEST:: SOT 48781 SOS 23541 HAS SOPS 23541 HAS SOUS 19288 HAS SOUPS 19288 WITH SCORE 19311.541
AT ITER 1470 NEW BEST:: SOT 48747 SOS 23492 HAS SOPS 23492 HAS SOUS 19265 HAS SOUPS 19265 WITH SCORE 19288.492
AT ITER 1486 NEW BEST:: SOT 48681 SOS 23401 HAS SOPS 23401 HAS SOUS 19168 HAS SOUPS 19168 WITH SCORE 19191.401
AT ITER 1501 NEW BEST:: SOT 48662 SOS 23363 HAS SOPS 23363 HAS SOUS 19130 HAS SOUPS 19130 WITH SCORE 19153.363
AT ITER 1520 NEW BEST:: SOT 48650 SOS 23343 HAS SOPS 23343 HAS SOUS 19110 HAS SOUPS 19110 WITH SCORE 19133.343
AT ITER 1554 NEW BEST:: SOT 48652 SOS 23035 HAS SOPS 23035 HAS SOUS 19045 HAS SOUPS 19045 WITH SCORE 19068.035
AT ITER 1583 NEW BEST:: SOT 48642 SOS 23025 HAS SOPS 23025 HAS SOUS 19035 HAS SOUPS 19035 WITH SCORE 19058.025
AT ITER 1585 NEW BEST:: SOT 48615 SOS 22939 HAS SOPS 22939 HAS SOUS 18956 HAS SOUPS 18956 WITH SCORE 18978.939
AT ITER 1589 NEW BEST:: SOT 48606 SOS 22930 HAS SOPS 22930 HAS SOUS 18947 HAS SOUPS 18947 WITH SCORE 18969.93
AT ITER 1593 NEW BEST:: SOT 48538 SOS 22853 HAS SOPS 22853 HAS SOUS 18838 HAS SOUPS 18838 WITH SCORE 18860.853
AT ITER 1598 NEW BEST:: SOT 48544 SOS 22756 HAS SOPS 22756 HAS SOUS 18741 HAS SOUPS 18741 WITH SCORE 18763.756
AT ITER 1619 NEW BEST:: SOT 48541 SOS 22753 HAS SOPS 22753 HAS SOUS 18738 HAS SOUPS 18738 WITH SCORE 18760.753
AT ITER 1628 NEW BEST:: SOT 48501 SOS 22725 HAS SOPS 22725 HAS SOUS 18710 HAS SOUPS 18710 WITH SCORE 18732.725
AT ITER 1634 NEW BEST:: SOT 48432 SOS 22479 HAS SOPS 22479 HAS SOUS 18553 HAS SOUPS 18553 WITH SCORE 18575.479
AT ITER 1636 NEW BEST:: SOT 48371 SOS 22230 HAS SOPS 22230 HAS SOUS 18334 HAS SOUPS 18334 WITH SCORE 18356.23
AT ITER 1642 NEW BEST:: SOT 48381 SOS 22206 HAS SOPS 22206 HAS SOUS 18327 HAS SOUPS 18327 WITH SCORE 18349.206
AT ITER 1654 NEW BEST:: SOT 48410 SOS 22216 HAS SOPS 22216 HAS SOUS 18314 HAS SOUPS 18314 WITH SCORE 18336.216
AT ITER 1659 NEW BEST:: SOT 48422 SOS 22216 HAS SOPS 22216 HAS SOUS 18307 HAS SOUPS 18307 WITH SCORE 18329.216
AT ITER 1660 NEW BEST:: SOT 48370 SOS 22162 HAS SOPS 22162 HAS SOUS 18252 HAS SOUPS 18252 WITH SCORE 18274.162
AT ITER 1669 NEW BEST:: SOT 48254 SOS 22022 HAS SOPS 22022 HAS SOUS 18112 HAS SOUPS 18112 WITH SCORE 18134.022
AT ITER 1674 NEW BEST:: SOT 48253 SOS 21812 HAS SOPS 21812 HAS SOUS 18100 HAS SOUPS 18100 WITH SCORE 18121.812
AT ITER 1676 NEW BEST:: SOT 48251 SOS 21810 HAS SOPS 21810 HAS SOUS 18098 HAS SOUPS 18098 WITH SCORE 18119.81
AT ITER 1687 NEW BEST:: SOT 48248 SOS 21809 HAS SOPS 21809 HAS SOUS 18097 HAS SOUPS 18097 WITH SCORE 18118.809
AT ITER 1689 NEW BEST:: SOT 48238 SOS 21721 HAS SOPS 21721 HAS SOUS 18056 HAS SOUPS 18056 WITH SCORE 18077.721
AT ITER 1692 NEW BEST:: SOT 48233 SOS 21716 HAS SOPS 21716 HAS SOUS 18051 HAS SOUPS 18051 WITH SCORE 18072.716
AT ITER 1701 NEW BEST:: SOT 48197 SOS 21680 HAS SOPS 21680 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18036.68
AT ITER 1706 NEW BEST:: SOT 48311 SOS 21706 HAS SOPS 21706 HAS SOUS 17952 HAS SOUPS 17952 WITH SCORE 17973.706
AT ITER 1707 NEW BEST:: SOT 48298 SOS 21693 HAS SOPS 21693 HAS SOUS 17927 HAS SOUPS 17927 WITH SCORE 17948.693
AT ITER 1708 NEW BEST:: SOT 48231 SOS 21626 HAS SOPS 21626 HAS SOUS 17800 HAS SOUPS 17800 WITH SCORE 17821.626
AT ITER 1709 NEW BEST:: SOT 48211 SOS 21616 HAS SOPS 21616 HAS SOUS 17790 HAS SOUPS 17790 WITH SCORE 17811.616
AT ITER 1772 NEW BEST:: SOT 48211 SOS 21627 HAS SOPS 21627 HAS SOUS 17784 HAS SOUPS 17784 WITH SCORE 17805.627
AT ITER 1773 NEW BEST:: SOT 48158 SOS 21400 HAS SOPS 21400 HAS SOUS 17675 HAS SOUPS 17675 WITH SCORE 17696.4
AT ITER 1774 NEW BEST:: SOT 48060 SOS 21254 HAS SOPS 21254 HAS SOUS 17541 HAS SOUPS 17541 WITH SCORE 17562.254
AT ITER 1779 NEW BEST:: SOT 48045 SOS 21241 HAS SOPS 21241 HAS SOUS 17500 HAS SOUPS 17500 WITH SCORE 17521.241
AT ITER 1805 NEW BEST:: SOT 48018 SOS 21188 HAS SOPS 21188 HAS SOUS 17442 HAS SOUPS 17442 WITH SCORE 17463.188
AT ITER 1821 NEW BEST:: SOT 47998 SOS 21131 HAS SOPS 21131 HAS SOUS 17399 HAS SOUPS 17399 WITH SCORE 17420.131
AT ITER 1839 NEW BEST:: SOT 47991 SOS 21124 HAS SOPS 21124 HAS SOUS 17392 HAS SOUPS 17392 WITH SCORE 17413.124
AT ITER 1843 NEW BEST:: SOT 47983 SOS 21116 HAS SOPS 21116 HAS SOUS 17384 HAS SOUPS 17384 WITH SCORE 17405.116
AT ITER 1858 NEW BEST:: SOT 47990 SOS 21039 HAS SOPS 21039 HAS SOUS 17349 HAS SOUPS 17349 WITH SCORE 17370.039
AT ITER 1868 NEW BEST:: SOT 47971 SOS 20915 HAS SOPS 20915 HAS SOUS 17264 HAS SOUPS 17264 WITH SCORE 17284.915
AT ITER 1875 NEW BEST:: SOT 47962 SOS 20906 HAS SOPS 20906 HAS SOUS 17255 HAS SOUPS 17255 WITH SCORE 17275.906
AT ITER 1883 NEW BEST:: SOT 47922 SOS 20866 HAS SOPS 20866 HAS SOUS 17215 HAS SOUPS 17215 WITH SCORE 17235.866
AT ITER 1887 NEW BEST:: SOT 47936 SOS 20847 HAS SOPS 20847 HAS SOUS 17196 HAS SOUPS 17196 WITH SCORE 17216.847
AT ITER 1909 NEW BEST:: SOT 47936 SOS 20847 HAS SOPS 20847 HAS SOUS 17192 HAS SOUPS 17192 WITH SCORE 17212.847
AT ITER 1911 NEW BEST:: SOT 47936 SOS 20820 HAS SOPS 20820 HAS SOUS 17186 HAS SOUPS 17186 WITH SCORE 17206.82
AT ITER 1917 NEW BEST:: SOT 47883 SOS 20771 HAS SOPS 20771 HAS SOUS 17137 HAS SOUPS 17137 WITH SCORE 17157.771
AT ITER 1933 NEW BEST:: SOT 47880 SOS 20768 HAS SOPS 20768 HAS SOUS 17134 HAS SOUPS 17134 WITH SCORE 17154.768
AT ITER 1935 NEW BEST:: SOT 47828 SOS 20456 HAS SOPS 20456 HAS SOUS 17082 HAS SOUPS 17082 WITH SCORE 17102.456
AT ITER 1936 NEW BEST:: SOT 47826 SOS 20452 HAS SOPS 20452 HAS SOUS 17078 HAS SOUPS 17078 WITH SCORE 17098.452
AT ITER 1941 NEW BEST:: SOT 47813 SOS 20443 HAS SOPS 20443 HAS SOUS 17055 HAS SOUPS 17055 WITH SCORE 17075.443
AT ITER 1942 NEW BEST:: SOT 47818 SOS 20443 HAS SOPS 20443 HAS SOUS 17049 HAS SOUPS 17049 WITH SCORE 17069.443
AT ITER 1951 NEW BEST:: SOT 47818 SOS 20437 HAS SOPS 20437 HAS SOUS 17043 HAS SOUPS 17043 WITH SCORE 17063.437
AT ITER 1956 NEW BEST:: SOT 47754 SOS 20354 HAS SOPS 20354 HAS SOUS 16956 HAS SOUPS 16956 WITH SCORE 16976.354
AT ITER 1957 NEW BEST:: SOT 47754 SOS 20351 HAS SOPS 20351 HAS SOUS 16953 HAS SOUPS 16953 WITH SCORE 16973.351
AT ITER 1958 NEW BEST:: SOT 47825 SOS 20388 HAS SOPS 20388 HAS SOUS 16918 HAS SOUPS 16918 WITH SCORE 16938.388
AT ITER 1963 NEW BEST:: SOT 47826 SOS 20342 HAS SOPS 20342 HAS SOUS 16896 HAS SOUPS 16896 WITH SCORE 16916.342
AT ITER 2020 NEW BEST:: SOT 47800 SOS 20316 HAS SOPS 20316 HAS SOUS 16845 HAS SOUPS 16845 WITH SCORE 16865.316
AT ITER 2035 NEW BEST:: SOT 47754 SOS 20247 HAS SOPS 20247 HAS SOUS 16776 HAS SOUPS 16776 WITH SCORE 16796.247
AT ITER 2048 NEW BEST:: SOT 47727 SOS 20166 HAS SOPS 20166 HAS SOUS 16695 HAS SOUPS 16695 WITH SCORE 16715.166
AT ITER 2051 NEW BEST:: SOT 47714 SOS 20153 HAS SOPS 20153 HAS SOUS 16682 HAS SOUPS 16682 WITH SCORE 16702.153
AT ITER 2061 NEW BEST:: SOT 47700 SOS 20139 HAS SOPS 20139 HAS SOUS 16668 HAS SOUPS 16668 WITH SCORE 16688.139
AT ITER 2100 NEW BEST:: SOT 47671 SOS 20110 HAS SOPS 20110 HAS SOUS 16639 HAS SOUPS 16639 WITH SCORE 16659.11
AT ITER 2124 NEW BEST:: SOT 47669 SOS 20096 HAS SOPS 20096 HAS SOUS 16630 HAS SOUPS 16630 WITH SCORE 16650.096
AT ITER 2130 NEW BEST:: SOT 47651 SOS 20042 HAS SOPS 20042 HAS SOUS 16612 HAS SOUPS 16612 WITH SCORE 16632.042
AT ITER 2131 NEW BEST:: SOT 47648 SOS 20030 HAS SOPS 20030 HAS SOUS 16612 HAS SOUPS 16612 WITH SCORE 16632.03
AT ITER 2134 NEW BEST:: SOT 47605 SOS 19988 HAS SOPS 19988 HAS SOUS 16570 HAS SOUPS 16570 WITH SCORE 16589.988
AT ITER 2140 NEW BEST:: SOT 47585 SOS 19889 HAS SOPS 19889 HAS SOUS 16497 HAS SOUPS 16497 WITH SCORE 16516.889
AT ITER 2142 NEW BEST:: SOT 47541 SOS 19863 HAS SOPS 19863 HAS SOUS 16496 HAS SOUPS 16496 WITH SCORE 16515.863
AT ITER 2143 NEW BEST:: SOT 47541 SOS 19845 HAS SOPS 19845 HAS SOUS 16478 HAS SOUPS 16478 WITH SCORE 16497.845
AT ITER 2145 NEW BEST:: SOT 47541 SOS 19587 HAS SOPS 19587 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16441.587
AT ITER 2154 NEW BEST:: SOT 47539 SOS 19580 HAS SOPS 19580 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16441.58
AT ITER 2163 NEW BEST:: SOT 47543 SOS 19484 HAS SOPS 19484 HAS SOUS 16390 HAS SOUPS 16390 WITH SCORE 16409.484
AT ITER 2183 NEW BEST:: SOT 47543 SOS 19482 HAS SOPS 19482 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16408.482
AT ITER 2184 NEW BEST:: SOT 47538 SOS 19477 HAS SOPS 19477 HAS SOUS 16384 HAS SOUPS 16384 WITH SCORE 16403.477
AT ITER 2191 NEW BEST:: SOT 47538 SOS 19474 HAS SOPS 19474 HAS SOUS 16381 HAS SOUPS 16381 WITH SCORE 16400.474
AT ITER 2242 NEW BEST:: SOT 47506 SOS 19437 HAS SOPS 19437 HAS SOUS 16344 HAS SOUPS 16344 WITH SCORE 16363.437
AT ITER 2259 NEW BEST:: SOT 47479 SOS 19356 HAS SOPS 19356 HAS SOUS 16325 HAS SOUPS 16325 WITH SCORE 16344.356
AT ITER 2280 NEW BEST:: SOT 47479 SOS 19311 HAS SOPS 19311 HAS SOUS 16301 HAS SOUPS 16301 WITH SCORE 16320.311
AT ITER 2283 NEW BEST:: SOT 47492 SOS 19328 HAS SOPS 19328 HAS SOUS 16298 HAS SOUPS 16298 WITH SCORE 16317.328
AT ITER 2284 NEW BEST:: SOT 47475 SOS 19291 HAS SOPS 19291 HAS SOUS 16261 HAS SOUPS 16261 WITH SCORE 16280.291
AT ITER 2298 NEW BEST:: SOT 47459 SOS 19275 HAS SOPS 19275 HAS SOUS 16245 HAS SOUPS 16245 WITH SCORE 16264.275
AT ITER 2301 NEW BEST:: SOT 47459 SOS 19261 HAS SOPS 19261 HAS SOUS 16225 HAS SOUPS 16225 WITH SCORE 16244.261
AT ITER 2305 NEW BEST:: SOT 47459 SOS 19255 HAS SOPS 19255 HAS SOUS 16221 HAS SOUPS 16221 WITH SCORE 16240.255
AT ITER 2312 NEW BEST:: SOT 47424 SOS 19239 HAS SOPS 19239 HAS SOUS 16205 HAS SOUPS 16205 WITH SCORE 16224.239
AT ITER 2319 NEW BEST:: SOT 47416 SOS 19236 HAS SOPS 19236 HAS SOUS 16202 HAS SOUPS 16202 WITH SCORE 16221.236
AT ITER 2330 NEW BEST:: SOT 47416 SOS 19262 HAS SOPS 19262 HAS SOUS 16200 HAS SOUPS 16200 WITH SCORE 16219.262
AT ITER 2354 NEW BEST:: SOT 47416 SOS 19238 HAS SOPS 19238 HAS SOUS 16200 HAS SOUPS 16200 WITH SCORE 16219.238
AT ITER 2405 NEW BEST:: SOT 47418 SOS 19221 HAS SOPS 19221 HAS SOUS 16173 HAS SOUPS 16173 WITH SCORE 16192.221
AT ITER 2411 NEW BEST:: SOT 47279 SOS 19082 HAS SOPS 19082 HAS SOUS 16034 HAS SOUPS 16034 WITH SCORE 16053.082
AT ITER 2413 NEW BEST:: SOT 47255 SOS 19043 HAS SOPS 19043 HAS SOUS 16007 HAS SOUPS 16007 WITH SCORE 16026.043
AT ITER 2429 NEW BEST:: SOT 47267 SOS 19037 HAS SOPS 19037 HAS SOUS 15999 HAS SOUPS 15999 WITH SCORE 16018.037
AT ITER 2447 NEW BEST:: SOT 47226 SOS 18832 HAS SOPS 18832 HAS SOUS 15917 HAS SOUPS 15917 WITH SCORE 15935.832
AT ITER 2495 NEW BEST:: SOT 47223 SOS 18785 HAS SOPS 18785 HAS SOUS 15887 HAS SOUPS 15887 WITH SCORE 15905.785
AT ITER 2507 NEW BEST:: SOT 47223 SOS 18797 HAS SOPS 18797 HAS SOUS 15885 HAS SOUPS 15885 WITH SCORE 15903.797
AT ITER 2512 NEW BEST:: SOT 47223 SOS 18789 HAS SOPS 18789 HAS SOUS 15874 HAS SOUPS 15874 WITH SCORE 15892.789
AT ITER 2528 NEW BEST:: SOT 47222 SOS 18770 HAS SOPS 18770 HAS SOUS 15855 HAS SOUPS 15855 WITH SCORE 15873.77
AT ITER 2531 NEW BEST:: SOT 47217 SOS 18765 HAS SOPS 18765 HAS SOUS 15854 HAS SOUPS 15854 WITH SCORE 15872.765
AT ITER 2533 NEW BEST:: SOT 47217 SOS 18757 HAS SOPS 18757 HAS SOUS 15846 HAS SOUPS 15846 WITH SCORE 15864.757
AT ITER 2542 NEW BEST:: SOT 47183 SOS 18718 HAS SOPS 18718 HAS SOUS 15806 HAS SOUPS 15806 WITH SCORE 15824.718
AT ITER 2551 NEW BEST:: SOT 47127 SOS 18688 HAS SOPS 18688 HAS SOUS 15776 HAS SOUPS 15776 WITH SCORE 15794.688
AT ITER 2554 NEW BEST:: SOT 47110 SOS 18701 HAS SOPS 18701 HAS SOUS 15756 HAS SOUPS 15756 WITH SCORE 15774.701
AT ITER 2567 NEW BEST:: SOT 47110 SOS 18643 HAS SOPS 18643 HAS SOUS 15694 HAS SOUPS 15694 WITH SCORE 15712.643
AT ITER 2571 NEW BEST:: SOT 47090 SOS 18633 HAS SOPS 18633 HAS SOUS 15684 HAS SOUPS 15684 WITH SCORE 15702.633
AT ITER 2582 NEW BEST:: SOT 47089 SOS 18584 HAS SOPS 18584 HAS SOUS 15674 HAS SOUPS 15674 WITH SCORE 15692.584
AT ITER 2583 NEW BEST:: SOT 47047 SOS 18542 HAS SOPS 18542 HAS SOUS 15632 HAS SOUPS 15632 WITH SCORE 15650.542
AT ITER 2584 NEW BEST:: SOT 47073 SOS 18522 HAS SOPS 18522 HAS SOUS 15630 HAS SOUPS 15630 WITH SCORE 15648.522
AT ITER 2614 NEW BEST:: SOT 47073 SOS 18507 HAS SOPS 18507 HAS SOUS 15613 HAS SOUPS 15613 WITH SCORE 15631.507
AT ITER 2622 NEW BEST:: SOT 46928 SOS 17995 HAS SOPS 17995 HAS SOUS 15355 HAS SOUPS 15355 WITH SCORE 15372.995
AT ITER 2646 NEW BEST:: SOT 46928 SOS 18037 HAS SOPS 18037 HAS SOUS 15351 HAS SOUPS 15351 WITH SCORE 15369.037
AT ITER 2665 NEW BEST:: SOT 46906 SOS 18001 HAS SOPS 18001 HAS SOUS 15315 HAS SOUPS 15315 WITH SCORE 15333.001
AT ITER 2720 NEW BEST:: SOT 46841 SOS 17832 HAS SOPS 17832 HAS SOUS 15240 HAS SOUPS 15240 WITH SCORE 15257.832
AT ITER 2728 NEW BEST:: SOT 46797 SOS 17788 HAS SOPS 17788 HAS SOUS 15196 HAS SOUPS 15196 WITH SCORE 15213.788
AT ITER 2768 NEW BEST:: SOT 46835 SOS 17891 HAS SOPS 17891 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15200.891
AT ITER 2773 NEW BEST:: SOT 46806 SOS 17845 HAS SOPS 17845 HAS SOUS 15138 HAS SOUPS 15138 WITH SCORE 15155.845
AT ITER 2792 NEW BEST:: SOT 46805 SOS 17844 HAS SOPS 17844 HAS SOUS 15137 HAS SOUPS 15137 WITH SCORE 15154.844
AT ITER 2794 NEW BEST:: SOT 46800 SOS 17834 HAS SOPS 17834 HAS SOUS 15127 HAS SOUPS 15127 WITH SCORE 15144.834
AT ITER 2795 NEW BEST:: SOT 46787 SOS 17796 HAS SOPS 17796 HAS SOUS 15073 HAS SOUPS 15073 WITH SCORE 15090.796
AT ITER 2819 NEW BEST:: SOT 46995 SOS 17548 HAS SOPS 17548 HAS SOUS 14997 HAS SOUPS 14997 WITH SCORE 15014.548
AT ITER 2821 NEW BEST:: SOT 47002 SOS 17519 HAS SOPS 17519 HAS SOUS 14956 HAS SOUPS 14956 WITH SCORE 14973.519
AT ITER 2835 NEW BEST:: SOT 46969 SOS 17443 HAS SOPS 17443 HAS SOUS 14863 HAS SOUPS 14863 WITH SCORE 14880.443
AT ITER 2845 NEW BEST:: SOT 46830 SOS 17302 HAS SOPS 17302 HAS SOUS 14703 HAS SOUPS 14703 WITH SCORE 14720.302
AT ITER 2852 NEW BEST:: SOT 46830 SOS 17282 HAS SOPS 17282 HAS SOUS 14683 HAS SOUPS 14683 WITH SCORE 14700.282
AT ITER 2875 NEW BEST:: SOT 46778 SOS 17141 HAS SOPS 17141 HAS SOUS 14577 HAS SOUPS 14577 WITH SCORE 14594.141
AT ITER 2890 NEW BEST:: SOT 46768 SOS 17125 HAS SOPS 17125 HAS SOUS 14557 HAS SOUPS 14557 WITH SCORE 14574.125
AT ITER 2908 NEW BEST:: SOT 46740 SOS 17105 HAS SOPS 17105 HAS SOUS 14537 HAS SOUPS 14537 WITH SCORE 14554.105
AT ITER 2931 NEW BEST:: SOT 46688 SOS 17053 HAS SOPS 17053 HAS SOUS 14485 HAS SOUPS 14485 WITH SCORE 14502.053
AT ITER 2933 NEW BEST:: SOT 46686 SOS 17047 HAS SOPS 17047 HAS SOUS 14481 HAS SOUPS 14481 WITH SCORE 14498.047
AT ITER 2944 NEW BEST:: SOT 46670 SOS 17031 HAS SOPS 17031 HAS SOUS 14465 HAS SOUPS 14465 WITH SCORE 14482.031
AT ITER 2973 NEW BEST:: SOT 46647 SOS 16802 HAS SOPS 16802 HAS SOUS 14349 HAS SOUPS 14349 WITH SCORE 14365.802
AT ITER 3002 NEW BEST:: SOT 46646 SOS 16795 HAS SOPS 16795 HAS SOUS 14342 HAS SOUPS 14342 WITH SCORE 14358.795
AT ITER 3005 NEW BEST:: SOT 46643 SOS 16760 HAS SOPS 16760 HAS SOUS 14323 HAS SOUPS 14323 WITH SCORE 14339.76
AT ITER 3015 NEW BEST:: SOT 46643 SOS 16748 HAS SOPS 16748 HAS SOUS 14311 HAS SOUPS 14311 WITH SCORE 14327.748
AT ITER 3023 NEW BEST:: SOT 46606 SOS 16742 HAS SOPS 16742 HAS SOUS 14310 HAS SOUPS 14310 WITH SCORE 14326.742
AT ITER 3027 NEW BEST:: SOT 46583 SOS 16635 HAS SOPS 16635 HAS SOUS 14251 HAS SOUPS 14251 WITH SCORE 14267.635
AT ITER 3030 NEW BEST:: SOT 46569 SOS 16623 HAS SOPS 16623 HAS SOUS 14251 HAS SOUPS 14251 WITH SCORE 14267.623
AT ITER 3049 NEW BEST:: SOT 46538 SOS 16592 HAS SOPS 16592 HAS SOUS 14222 HAS SOUPS 14222 WITH SCORE 14238.592
AT ITER 3055 NEW BEST:: SOT 46545 SOS 16592 HAS SOPS 16592 HAS SOUS 14215 HAS SOUPS 14215 WITH SCORE 14231.592
AT ITER 3073 NEW BEST:: SOT 46530 SOS 16573 HAS SOPS 16573 HAS SOUS 14211 HAS SOUPS 14211 WITH SCORE 14227.573
AT ITER 3098 NEW BEST:: SOT 46467 SOS 16414 HAS SOPS 16414 HAS SOUS 14050 HAS SOUPS 14050 WITH SCORE 14066.414
AT ITER 3100 NEW BEST:: SOT 46430 SOS 16350 HAS SOPS 16350 HAS SOUS 13988 HAS SOUPS 13988 WITH SCORE 14004.35
AT ITER 3120 NEW BEST:: SOT 46408 SOS 16328 HAS SOPS 16328 HAS SOUS 13966 HAS SOUPS 13966 WITH SCORE 13982.328
AT ITER 3128 NEW BEST:: SOT 46393 SOS 16286 HAS SOPS 16286 HAS SOUS 13936 HAS SOUPS 13936 WITH SCORE 13952.286
AT ITER 3171 NEW BEST:: SOT 46378 SOS 16226 HAS SOPS 16226 HAS SOUS 13892 HAS SOUPS 13892 WITH SCORE 13908.226
AT ITER 3175 NEW BEST:: SOT 46381 SOS 16192 HAS SOPS 16192 HAS SOUS 13860 HAS SOUPS 13860 WITH SCORE 13876.192
AT ITER 3176 NEW BEST:: SOT 46427 SOS 16236 HAS SOPS 16236 HAS SOUS 13838 HAS SOUPS 13838 WITH SCORE 13854.236
AT ITER 3189 NEW BEST:: SOT 46427 SOS 16212 HAS SOPS 16212 HAS SOUS 13814 HAS SOUPS 13814 WITH SCORE 13830.212
AT ITER 3190 NEW BEST:: SOT 46427 SOS 16212 HAS SOPS 16212 HAS SOUS 13809 HAS SOUPS 13809 WITH SCORE 13825.212
AT ITER 3193 NEW BEST:: SOT 46426 SOS 16211 HAS SOPS 16211 HAS SOUS 13808 HAS SOUPS 13808 WITH SCORE 13824.211
AT ITER 3202 NEW BEST:: SOT 46387 SOS 16169 HAS SOPS 16169 HAS SOUS 13766 HAS SOUPS 13766 WITH SCORE 13782.169
AT ITER 3227 NEW BEST:: SOT 46392 SOS 16156 HAS SOPS 16156 HAS SOUS 13753 HAS SOUPS 13753 WITH SCORE 13769.156
AT ITER 3245 NEW BEST:: SOT 46371 SOS 16124 HAS SOPS 16124 HAS SOUS 13710 HAS SOUPS 13710 WITH SCORE 13726.124
AT ITER 3250 NEW BEST:: SOT 46295 SOS 16012 HAS SOPS 16012 HAS SOUS 13616 HAS SOUPS 13616 WITH SCORE 13632.012
AT ITER 3262 NEW BEST:: SOT 46258 SOS 15907 HAS SOPS 15907 HAS SOUS 13521 HAS SOUPS 13521 WITH SCORE 13536.907
AT ITER 3351 NEW BEST:: SOT 46257 SOS 15903 HAS SOPS 15903 HAS SOUS 13513 HAS SOUPS 13513 WITH SCORE 13528.903
AT ITER 3369 NEW BEST:: SOT 46218 SOS 15861 HAS SOPS 15861 HAS SOUS 13471 HAS SOUPS 13471 WITH SCORE 13486.861
AT ITER 3371 NEW BEST:: SOT 46228 SOS 15840 HAS SOPS 15840 HAS SOUS 13450 HAS SOUPS 13450 WITH SCORE 13465.84
AT ITER 3387 NEW BEST:: SOT 46196 SOS 15772 HAS SOPS 15772 HAS SOUS 13436 HAS SOUPS 13436 WITH SCORE 13451.772
AT ITER 3395 NEW BEST:: SOT 46209 SOS 15762 HAS SOPS 15762 HAS SOUS 13398 HAS SOUPS 13398 WITH SCORE 13413.762
AT ITER 3398 NEW BEST:: SOT 46225 SOS 15758 HAS SOPS 15758 HAS SOUS 13394 HAS SOUPS 13394 WITH SCORE 13409.758
AT ITER 3414 NEW BEST:: SOT 46222 SOS 15751 HAS SOPS 15751 HAS SOUS 13391 HAS SOUPS 13391 WITH SCORE 13406.751
AT ITER 3418 NEW BEST:: SOT 46085 SOS 15617 HAS SOPS 15617 HAS SOUS 13268 HAS SOUPS 13268 WITH SCORE 13283.617
AT ITER 3451 NEW BEST:: SOT 46092 SOS 15658 HAS SOPS 15658 HAS SOUS 13253 HAS SOUPS 13253 WITH SCORE 13268.658
AT ITER 3484 NEW BEST:: SOT 46092 SOS 15659 HAS SOPS 15659 HAS SOUS 13241 HAS SOUPS 13241 WITH SCORE 13256.659
AT ITER 3488 NEW BEST:: SOT 46070 SOS 15644 HAS SOPS 15644 HAS SOUS 13226 HAS SOUPS 13226 WITH SCORE 13241.644
AT ITER 3492 NEW BEST:: SOT 46049 SOS 15614 HAS SOPS 15614 HAS SOUS 13200 HAS SOUPS 13200 WITH SCORE 13215.614
AT ITER 3498 NEW BEST:: SOT 46010 SOS 15575 HAS SOPS 15575 HAS SOUS 13191 HAS SOUPS 13191 WITH SCORE 13206.575
AT ITER 3510 NEW BEST:: SOT 46008 SOS 15566 HAS SOPS 15566 HAS SOUS 13182 HAS SOUPS 13182 WITH SCORE 13197.566
AT ITER 3516 NEW BEST:: SOT 46002 SOS 15554 HAS SOPS 15554 HAS SOUS 13167 HAS SOUPS 13167 WITH SCORE 13182.554
AT ITER 3566 NEW BEST:: SOT 45981 SOS 15485 HAS SOPS 15485 HAS SOUS 13098 HAS SOUPS 13098 WITH SCORE 13113.485
AT ITER 3611 NEW BEST:: SOT 45975 SOS 15478 HAS SOPS 15478 HAS SOUS 13097 HAS SOUPS 13097 WITH SCORE 13112.478
AT ITER 3662 NEW BEST:: SOT 45965 SOS 15463 HAS SOPS 15463 HAS SOUS 13082 HAS SOUPS 13082 WITH SCORE 13097.463
AT ITER 3664 NEW BEST:: SOT 45969 SOS 15467 HAS SOPS 15467 HAS SOUS 13063 HAS SOUPS 13063 WITH SCORE 13078.467
AT ITER 3665 NEW BEST:: SOT 45983 SOS 15462 HAS SOPS 15462 HAS SOUS 13063 HAS SOUPS 13063 WITH SCORE 13078.462
AT ITER 3671 NEW BEST:: SOT 45957 SOS 15414 HAS SOPS 15414 HAS SOUS 13015 HAS SOUPS 13015 WITH SCORE 13030.414
AT ITER 3683 NEW BEST:: SOT 45913 SOS 15350 HAS SOPS 15350 HAS SOUS 12924 HAS SOUPS 12924 WITH SCORE 12939.35
AT ITER 3691 NEW BEST:: SOT 45910 SOS 15350 HAS SOPS 15350 HAS SOUS 12923 HAS SOUPS 12923 WITH SCORE 12938.35
AT ITER 3709 NEW BEST:: SOT 45906 SOS 15344 HAS SOPS 15344 HAS SOUS 12917 HAS SOUPS 12917 WITH SCORE 12932.344
AT ITER 3714 NEW BEST:: SOT 45900 SOS 15324 HAS SOPS 15324 HAS SOUS 12904 HAS SOUPS 12904 WITH SCORE 12919.324
AT ITER 3717 NEW BEST:: SOT 45896 SOS 15320 HAS SOPS 15320 HAS SOUS 12900 HAS SOUPS 12900 WITH SCORE 12915.32
AT ITER 3731 NEW BEST:: SOT 45894 SOS 15317 HAS SOPS 15317 HAS SOUS 12897 HAS SOUPS 12897 WITH SCORE 12912.317
AT ITER 3734 NEW BEST:: SOT 45891 SOS 15316 HAS SOPS 15316 HAS SOUS 12891 HAS SOUPS 12891 WITH SCORE 12906.316
AT ITER 3754 NEW BEST:: SOT 45705 SOS 14998 HAS SOPS 14998 HAS SOUS 12639 HAS SOUPS 12639 WITH SCORE 12653.998
AT ITER 3763 NEW BEST:: SOT 45694 SOS 14976 HAS SOPS 14976 HAS SOUS 12617 HAS SOUPS 12617 WITH SCORE 12631.976
AT ITER 3780 NEW BEST:: SOT 45685 SOS 14976 HAS SOPS 14976 HAS SOUS 12600 HAS SOUPS 12600 WITH SCORE 12614.976
AT ITER 3795 NEW BEST:: SOT 45672 SOS 14997 HAS SOPS 14997 HAS SOUS 12584 HAS SOUPS 12584 WITH SCORE 12598.997
AT ITER 3798 NEW BEST:: SOT 45606 SOS 14885 HAS SOPS 14885 HAS SOUS 12517 HAS SOUPS 12517 WITH SCORE 12531.885
AT ITER 3853 NEW BEST:: SOT 45596 SOS 14875 HAS SOPS 14875 HAS SOUS 12507 HAS SOUPS 12507 WITH SCORE 12521.875
AT ITER 3855 NEW BEST:: SOT 45584 SOS 14863 HAS SOPS 14863 HAS SOUS 12495 HAS SOUPS 12495 WITH SCORE 12509.863
AT ITER 3861 NEW BEST:: SOT 45587 SOS 14859 HAS SOPS 14859 HAS SOUS 12491 HAS SOUPS 12491 WITH SCORE 12505.859
AT ITER 3880 NEW BEST:: SOT 45628 SOS 14810 HAS SOPS 14810 HAS SOUS 12457 HAS SOUPS 12457 WITH SCORE 12471.81
AT ITER 3886 NEW BEST:: SOT 45620 SOS 14782 HAS SOPS 14782 HAS SOUS 12429 HAS SOUPS 12429 WITH SCORE 12443.782
AT ITER 3906 NEW BEST:: SOT 45611 SOS 14724 HAS SOPS 14724 HAS SOUS 12429 HAS SOUPS 12429 WITH SCORE 12443.724
AT ITER 3912 NEW BEST:: SOT 45595 SOS 14694 HAS SOPS 14694 HAS SOUS 12399 HAS SOUPS 12399 WITH SCORE 12413.694
AT ITER 3926 NEW BEST:: SOT 45589 SOS 14689 HAS SOPS 14689 HAS SOUS 12394 HAS SOUPS 12394 WITH SCORE 12408.689
AT ITER 3942 NEW BEST:: SOT 45587 SOS 14687 HAS SOPS 14687 HAS SOUS 12392 HAS SOUPS 12392 WITH SCORE 12406.687
AT ITER 3955 NEW BEST:: SOT 45583 SOS 14673 HAS SOPS 14673 HAS SOUS 12337 HAS SOUPS 12337 WITH SCORE 12351.673
AT ITER 3982 NEW BEST:: SOT 45565 SOS 14635 HAS SOPS 14635 HAS SOUS 12300 HAS SOUPS 12300 WITH SCORE 12314.635
AT ITER 3986 NEW BEST:: SOT 45565 SOS 14625 HAS SOPS 14625 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12310.625
AT ITER 4000 NEW BEST:: SOT 45565 SOS 14623 HAS SOPS 14623 HAS SOUS 12294 HAS SOUPS 12294 WITH SCORE 12308.623
AT ITER 4004 NEW BEST:: SOT 45571 SOS 14535 HAS SOPS 14535 HAS SOUS 12280 HAS SOUPS 12280 WITH SCORE 12294.535
AT ITER 4005 NEW BEST:: SOT 45566 SOS 14530 HAS SOPS 14530 HAS SOUS 12275 HAS SOUPS 12275 WITH SCORE 12289.53
AT ITER 4031 NEW BEST:: SOT 45566 SOS 14530 HAS SOPS 14530 HAS SOUS 12274 HAS SOUPS 12274 WITH SCORE 12288.53
AT ITER 4047 NEW BEST:: SOT 45566 SOS 14526 HAS SOPS 14526 HAS SOUS 12270 HAS SOUPS 12270 WITH SCORE 12284.526
AT ITER 4074 NEW BEST:: SOT 45564 SOS 14524 HAS SOPS 14524 HAS SOUS 12268 HAS SOUPS 12268 WITH SCORE 12282.524
AT ITER 4095 NEW BEST:: SOT 45562 SOS 14510 HAS SOPS 14510 HAS SOUS 12260 HAS SOUPS 12260 WITH SCORE 12274.51
AT ITER 4100 NEW BEST:: SOT 45559 SOS 14507 HAS SOPS 14507 HAS SOUS 12257 HAS SOUPS 12257 WITH SCORE 12271.507
AT ITER 4126 NEW BEST:: SOT 45557 SOS 14505 HAS SOPS 14505 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12269.505
AT ITER 4134 NEW BEST:: SOT 45508 SOS 14408 HAS SOPS 14408 HAS SOUS 12153 HAS SOUPS 12153 WITH SCORE 12167.408
AT ITER 4161 NEW BEST:: SOT 45497 SOS 14397 HAS SOPS 14397 HAS SOUS 12142 HAS SOUPS 12142 WITH SCORE 12156.397
AT ITER 4200 NEW BEST:: SOT 45497 SOS 14394 HAS SOPS 14394 HAS SOUS 12139 HAS SOUPS 12139 WITH SCORE 12153.394
AT ITER 4203 NEW BEST:: SOT 45496 SOS 14392 HAS SOPS 14392 HAS SOUS 12137 HAS SOUPS 12137 WITH SCORE 12151.392
AT ITER 4223 NEW BEST:: SOT 45492 SOS 14384 HAS SOPS 14384 HAS SOUS 12129 HAS SOUPS 12129 WITH SCORE 12143.384
AT ITER 4229 NEW BEST:: SOT 45488 SOS 14326 HAS SOPS 14326 HAS SOUS 12111 HAS SOUPS 12111 WITH SCORE 12125.326
AT ITER 4305 NEW BEST:: SOT 45485 SOS 14323 HAS SOPS 14323 HAS SOUS 12108 HAS SOUPS 12108 WITH SCORE 12122.323
AT ITER 4320 NEW BEST:: SOT 45479 SOS 14302 HAS SOPS 14302 HAS SOUS 12105 HAS SOUPS 12105 WITH SCORE 12119.302
AT ITER 4339 NEW BEST:: SOT 45479 SOS 14286 HAS SOPS 14286 HAS SOUS 12101 HAS SOUPS 12101 WITH SCORE 12115.286
AT ITER 4351 NEW BEST:: SOT 45471 SOS 14278 HAS SOPS 14278 HAS SOUS 12093 HAS SOUPS 12093 WITH SCORE 12107.278
AT ITER 4361 NEW BEST:: SOT 45463 SOS 14269 HAS SOPS 14269 HAS SOUS 12084 HAS SOUPS 12084 WITH SCORE 12098.269
AT ITER 4387 NEW BEST:: SOT 45461 SOS 14261 HAS SOPS 14261 HAS SOUS 12077 HAS SOUPS 12077 WITH SCORE 12091.261
AT ITER 4448 NEW BEST:: SOT 45457 SOS 14257 HAS SOPS 14257 HAS SOUS 12073 HAS SOUPS 12073 WITH SCORE 12087.257
AT ITER 4487 NEW BEST:: SOT 45449 SOS 14203 HAS SOPS 14203 HAS SOUS 12045 HAS SOUPS 12045 WITH SCORE 12059.203
AT ITER 4506 NEW BEST:: SOT 45449 SOS 14203 HAS SOPS 14203 HAS SOUS 12036 HAS SOUPS 12036 WITH SCORE 12050.203
AT ITER 4508 NEW BEST:: SOT 45442 SOS 14096 HAS SOPS 14096 HAS SOUS 12030 HAS SOUPS 12030 WITH SCORE 12044.096
AT ITER 4515 NEW BEST:: SOT 45424 SOS 14074 HAS SOPS 14074 HAS SOUS 12008 HAS SOUPS 12008 WITH SCORE 12022.074
AT ITER 4544 NEW BEST:: SOT 45482 SOS 14116 HAS SOPS 14116 HAS SOUS 12001 HAS SOUPS 12001 WITH SCORE 12015.116
AT ITER 4584 NEW BEST:: SOT 45480 SOS 14059 HAS SOPS 14059 HAS SOUS 11944 HAS SOUPS 11944 WITH SCORE 11958.059
AT ITER 4594 NEW BEST:: SOT 45479 SOS 14056 HAS SOPS 14056 HAS SOUS 11941 HAS SOUPS 11941 WITH SCORE 11955.056
AT ITER 4597 NEW BEST:: SOT 45476 SOS 14057 HAS SOPS 14057 HAS SOUS 11939 HAS SOUPS 11939 WITH SCORE 11953.057
AT ITER 4608 NEW BEST:: SOT 45455 SOS 14036 HAS SOPS 14036 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11932.036
AT ITER 4626 NEW BEST:: SOT 45430 SOS 14025 HAS SOPS 14025 HAS SOUS 11907 HAS SOUPS 11907 WITH SCORE 11921.025
AT ITER 4637 NEW BEST:: SOT 45444 SOS 14024 HAS SOPS 14024 HAS SOUS 11906 HAS SOUPS 11906 WITH SCORE 11920.024
AT ITER 4660 NEW BEST:: SOT 45445 SOS 14026 HAS SOPS 14026 HAS SOUS 11905 HAS SOUPS 11905 WITH SCORE 11919.026
AT ITER 4696 NEW BEST:: SOT 45430 SOS 13979 HAS SOPS 13979 HAS SOUS 11890 HAS SOUPS 11890 WITH SCORE 11903.979
AT ITER 4701 NEW BEST:: SOT 45429 SOS 13851 HAS SOPS 13851 HAS SOUS 11795 HAS SOUPS 11795 WITH SCORE 11808.851
AT ITER 4720 NEW BEST:: SOT 45447 SOS 13783 HAS SOPS 13783 HAS SOUS 11754 HAS SOUPS 11754 WITH SCORE 11767.783
AT ITER 4758 NEW BEST:: SOT 45438 SOS 13784 HAS SOPS 13784 HAS SOUS 11751 HAS SOUPS 11751 WITH SCORE 11764.784
AT ITER 4761 NEW BEST:: SOT 45432 SOS 13761 HAS SOPS 13761 HAS SOUS 11738 HAS SOUPS 11738 WITH SCORE 11751.761
AT ITER 4771 NEW BEST:: SOT 45425 SOS 13766 HAS SOPS 13766 HAS SOUS 11737 HAS SOUPS 11737 WITH SCORE 11750.766
AT ITER 4776 NEW BEST:: SOT 45419 SOS 13760 HAS SOPS 13760 HAS SOUS 11725 HAS SOUPS 11725 WITH SCORE 11738.76
AT ITER 4779 NEW BEST:: SOT 45418 SOS 13755 HAS SOPS 13755 HAS SOUS 11716 HAS SOUPS 11716 WITH SCORE 11729.755
AT ITER 4802 NEW BEST:: SOT 45422 SOS 13754 HAS SOPS 13754 HAS SOUS 11715 HAS SOUPS 11715 WITH SCORE 11728.754
AT ITER 4809 NEW BEST:: SOT 45407 SOS 13730 HAS SOPS 13730 HAS SOUS 11687 HAS SOUPS 11687 WITH SCORE 11700.73
AT ITER 4829 NEW BEST:: SOT 45407 SOS 13723 HAS SOPS 13723 HAS SOUS 11677 HAS SOUPS 11677 WITH SCORE 11690.723
AT ITER 4878 NEW BEST:: SOT 45407 SOS 13723 HAS SOPS 13723 HAS SOUS 11673 HAS SOUPS 11673 WITH SCORE 11686.723
AT ITER 4884 NEW BEST:: SOT 45397 SOS 13667 HAS SOPS 13667 HAS SOUS 11650 HAS SOUPS 11650 WITH SCORE 11663.667
AT ITER 4921 NEW BEST:: SOT 45393 SOS 13664 HAS SOPS 13664 HAS SOUS 11648 HAS SOUPS 11648 WITH SCORE 11661.664
AT ITER 4922 NEW BEST:: SOT 45366 SOS 13644 HAS SOPS 13644 HAS SOUS 11628 HAS SOUPS 11628 WITH SCORE 11641.644
AT ITER 4929 NEW BEST:: SOT 45366 SOS 13639 HAS SOPS 13639 HAS SOUS 11623 HAS SOUPS 11623 WITH SCORE 11636.639
AT ITER 4930 NEW BEST:: SOT 45364 SOS 13638 HAS SOPS 13638 HAS SOUS 11622 HAS SOUPS 11622 WITH SCORE 11635.638
AT ITER 4944 NEW BEST:: SOT 45381 SOS 13655 HAS SOPS 13655 HAS SOUS 11614 HAS SOUPS 11614 WITH SCORE 11627.655
AT ITER 4955 NEW BEST:: SOT 45369 SOS 13631 HAS SOPS 13631 HAS SOUS 11590 HAS SOUPS 11590 WITH SCORE 11603.631
AT ITER 4977 NEW BEST:: SOT 45384 SOS 13628 HAS SOPS 13628 HAS SOUS 11587 HAS SOUPS 11587 WITH SCORE 11600.628
AT ITER 4990 NEW BEST:: SOT 45382 SOS 13626 HAS SOPS 13626 HAS SOUS 11585 HAS SOUPS 11585 WITH SCORE 11598.626
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-00 (AU( ( ( potential( (tk(P134)) <= (tk(P107)) ) & potential( ( 1 ) <= (tk(P198)) ) ) | potential( ( 2 ) <= (tk(P25)) ) ),(AF(potential( ( 2 ) <= (tk(P129)) ))) ))
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-01 (AU( potential( (tk(P98)) <= (tk(P193)) ),(AG( potential( (tk(P16)) <= (tk(P24)) ))) ))
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-02 (AX( (EG( (! potential( ( 1 ) <= (tk(P144)) ))))))
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-03 (! (AX( (EF(potential( ( 2 ) <= (tk(P82)) ))))))
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-04 (EF(potential( ( 3 ) <= (tk(P294)) )))
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-05 (! (AG( potential( (tk(P114)) <= (tk(P89)) ))))
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-06 (! (AG( ( potential( (tk(P155)) <= (tk(P309)) ) | ( potential( (tk(P122)) <= (tk(P261)) ) & potential( ( 1 ) <= (tk(P142)) ) ) ))))
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-07 ( ( (AX( ( potential( (tk(P102)) <= (tk(P85)) ) | potential( (tk(P302)) <= (tk(P215)) ) ))) | potential( (tk(P125)) <= (tk(P40)) ) ) & (! (EF(( potential( (tk(P115)) <= (tk(P100)) ) & potential( ( 2 ) <= (tk(P238)) ) )))) )
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-08 (AU( ( (! potential( (tk(P171)) <= (tk(P9)) )) | (! potential( ( 2 ) <= (tk(P110)) )) ),(! (! potential( ( 3 ) <= (tk(P19)) ))) ))
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-09 (! (AG( (! ( potential( ( 2 ) <= (tk(P182)) ) & potential( ( 3 ) <= (tk(P2)) ) )))))
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-10 (EX( (EG( (! potential( (tk(P16)) <= (tk(P270)) ))))))
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-11 (EX( (EG( (! potential( ( 2 ) <= (tk(P238)) ))))))
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-12 ( (EG( (EX( potential( (tk(P233)) <= (tk(P171)) ))))) & (AG( (EF(potential( (tk(P231)) <= (tk(P177)) ))))) )
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-13 (! (AU( (! potential( ( 2 ) <= (tk(P41)) )),( potential( ( 1 ) <= (tk(P219)) ) & potential( ( 2 ) <= (tk(P210)) ) ) )))
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-14 (AF((! ( (! potential( ( 3 ) <= (tk(P154)) )) & ( potential( (tk(P286)) <= (tk(P207)) ) | potential( (tk(P105)) <= (tk(P110)) ) ) ))))
PROPERTY: ShieldPPPs-PT-010A-CTLCardinality-15 (AF((AG( (! potential( (tk(P76)) <= (tk(P308)) ))))))

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="ShieldPPPs-PT-010A"
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 ShieldPPPs-PT-010A, 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 r207-tajo-159033469500475"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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