Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538900531.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S04D1C1A03, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900531
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 728K
-rw-r--r-- 1 mcc users 3.6K May 14 05:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 05:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 13 23:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 23:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.6K May 13 16:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 13 16:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K May 13 11:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K May 13 11:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 535K 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 ViralEpidemic-PT-S04D1C1A03-CTLCardinality-00
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLCardinality-01
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLCardinality-02
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLCardinality-03
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLCardinality-04
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLCardinality-05
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLCardinality-06
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLCardinality-07
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLCardinality-08
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLCardinality-09
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLCardinality-10
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLCardinality-11
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLCardinality-12
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLCardinality-13
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLCardinality-14
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590473745842

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S04D1C1A03
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: 511 places, 765 transitions, 1785 arcs.
AT ITER 0 NEW BEST:: SOT 265901 SOS 169631 HAS SOPS 169631 HAS SOUS 51932 HAS SOUPS 51932 WITH SCORE 52101.631
AT ITER 2 NEW BEST:: SOT 265457 SOS 168518 HAS SOPS 168518 HAS SOUS 51927 HAS SOUPS 51927 WITH SCORE 52095.518
AT ITER 6 NEW BEST:: SOT 265049 SOS 167495 HAS SOPS 167495 HAS SOUS 51922 HAS SOUPS 51922 WITH SCORE 52089.495
AT ITER 13 NEW BEST:: SOT 264559 SOS 166269 HAS SOPS 166269 HAS SOUS 51921 HAS SOUPS 51921 WITH SCORE 52087.269
AT ITER 19 NEW BEST:: SOT 264345 SOS 165734 HAS SOPS 165734 HAS SOUS 51921 HAS SOUPS 51921 WITH SCORE 52086.734
AT ITER 22 NEW BEST:: SOT 264015 SOS 164801 HAS SOPS 164801 HAS SOUS 51813 HAS SOUPS 51813 WITH SCORE 51977.801
AT ITER 25 NEW BEST:: SOT 263653 SOS 163893 HAS SOPS 163893 HAS SOUS 51808 HAS SOUPS 51808 WITH SCORE 51971.893
AT ITER 35 NEW BEST:: SOT 263531 SOS 163588 HAS SOPS 163588 HAS SOUS 51808 HAS SOUPS 51808 WITH SCORE 51971.588
AT ITER 40 NEW BEST:: SOT 263293 SOS 162992 HAS SOPS 162992 HAS SOUS 51807 HAS SOUPS 51807 WITH SCORE 51969.992
AT ITER 46 NEW BEST:: SOT 262901 SOS 162009 HAS SOPS 162009 HAS SOUS 51802 HAS SOUPS 51802 WITH SCORE 51964.009
AT ITER 47 NEW BEST:: SOT 262796 SOS 161798 HAS SOPS 161798 HAS SOUS 51766 HAS SOUPS 51766 WITH SCORE 51927.798
AT ITER 48 NEW BEST:: SOT 262308 SOS 160576 HAS SOPS 160576 HAS SOUS 51764 HAS SOUPS 51764 WITH SCORE 51924.576
AT ITER 69 NEW BEST:: SOT 262308 SOS 160575 HAS SOPS 160575 HAS SOUS 51763 HAS SOUPS 51763 WITH SCORE 51923.575
AT ITER 88 NEW BEST:: SOT 261966 SOS 159720 HAS SOPS 159720 HAS SOUS 51763 HAS SOUPS 51763 WITH SCORE 51922.72
AT ITER 107 NEW BEST:: SOT 261966 SOS 159718 HAS SOPS 159718 HAS SOUS 51761 HAS SOUPS 51761 WITH SCORE 51920.718
AT ITER 111 NEW BEST:: SOT 261161 SOS 158105 HAS SOPS 158105 HAS SOUS 51632 HAS SOUPS 51632 WITH SCORE 51790.105
AT ITER 112 NEW BEST:: SOT 261135 SOS 158040 HAS SOPS 158040 HAS SOUS 51632 HAS SOUPS 51632 WITH SCORE 51790.04
AT ITER 115 NEW BEST:: SOT 260784 SOS 156947 HAS SOPS 156947 HAS SOUS 51493 HAS SOUPS 51493 WITH SCORE 51649.947
AT ITER 117 NEW BEST:: SOT 260694 SOS 156722 HAS SOPS 156722 HAS SOUS 51493 HAS SOUPS 51493 WITH SCORE 51649.722
AT ITER 121 NEW BEST:: SOT 260362 SOS 155891 HAS SOPS 155891 HAS SOUS 51492 HAS SOUPS 51492 WITH SCORE 51647.891
AT ITER 126 NEW BEST:: SOT 260268 SOS 155655 HAS SOPS 155655 HAS SOUS 51491 HAS SOUPS 51491 WITH SCORE 51646.655
AT ITER 159 NEW BEST:: SOT 260178 SOS 155429 HAS SOPS 155429 HAS SOUS 51490 HAS SOUPS 51490 WITH SCORE 51645.429
AT ITER 162 NEW BEST:: SOT 260007 SOS 154996 HAS SOPS 154996 HAS SOUS 51490 HAS SOUPS 51490 WITH SCORE 51644.996
AT ITER 165 NEW BEST:: SOT 259935 SOS 154851 HAS SOPS 154851 HAS SOUS 51465 HAS SOUPS 51465 WITH SCORE 51619.851
AT ITER 178 NEW BEST:: SOT 259617 SOS 153897 HAS SOPS 153897 HAS SOUS 51304 HAS SOUPS 51304 WITH SCORE 51457.897
AT ITER 183 NEW BEST:: SOT 259511 SOS 153630 HAS SOPS 153630 HAS SOUS 51302 HAS SOUPS 51302 WITH SCORE 51455.63
AT ITER 191 NEW BEST:: SOT 259174 SOS 152679 HAS SOPS 152679 HAS SOUS 51269 HAS SOUPS 51269 WITH SCORE 51421.679
AT ITER 201 NEW BEST:: SOT 258922 SOS 151928 HAS SOPS 151928 HAS SOUS 51146 HAS SOUPS 51146 WITH SCORE 51297.928
AT ITER 208 NEW BEST:: SOT 258606 SOS 150980 HAS SOPS 150980 HAS SOUS 50986 HAS SOUPS 50986 WITH SCORE 51136.98
AT ITER 210 NEW BEST:: SOT 257808 SOS 149307 HAS SOPS 149307 HAS SOUS 50796 HAS SOUPS 50796 WITH SCORE 50945.307
AT ITER 212 NEW BEST:: SOT 257388 SOS 148242 HAS SOPS 148242 HAS SOUS 50781 HAS SOUPS 50781 WITH SCORE 50929.242
AT ITER 222 NEW BEST:: SOT 256974 SOS 147206 HAS SOPS 147206 HAS SOUS 50780 HAS SOUPS 50780 WITH SCORE 50927.206
AT ITER 246 NEW BEST:: SOT 256770 SOS 146693 HAS SOPS 146693 HAS SOUS 50775 HAS SOUPS 50775 WITH SCORE 50921.693
AT ITER 262 NEW BEST:: SOT 256728 SOS 146567 HAS SOPS 146567 HAS SOUS 50754 HAS SOUPS 50754 WITH SCORE 50900.567
AT ITER 268 NEW BEST:: SOT 256548 SOS 146114 HAS SOPS 146114 HAS SOUS 50749 HAS SOUPS 50749 WITH SCORE 50895.114
AT ITER 278 NEW BEST:: SOT 256259 SOS 145107 HAS SOPS 145107 HAS SOUS 50725 HAS SOUPS 50725 WITH SCORE 50870.107
AT ITER 279 NEW BEST:: SOT 256189 SOS 144932 HAS SOPS 144932 HAS SOUS 50725 HAS SOUPS 50725 WITH SCORE 50869.932
AT ITER 297 NEW BEST:: SOT 255253 SOS 142440 HAS SOPS 142440 HAS SOUS 50646 HAS SOUPS 50646 WITH SCORE 50788.44
AT ITER 305 NEW BEST:: SOT 255149 SOS 142175 HAS SOPS 142175 HAS SOUS 50645 HAS SOUPS 50645 WITH SCORE 50787.175
AT ITER 306 NEW BEST:: SOT 255011 SOS 141830 HAS SOPS 141830 HAS SOUS 50645 HAS SOUPS 50645 WITH SCORE 50786.83
AT ITER 332 NEW BEST:: SOT 255011 SOS 141654 HAS SOPS 141654 HAS SOUS 50467 HAS SOUPS 50467 WITH SCORE 50608.654
AT ITER 344 NEW BEST:: SOT 254977 SOS 141662 HAS SOPS 141662 HAS SOUS 50445 HAS SOUPS 50445 WITH SCORE 50586.662
AT ITER 351 NEW BEST:: SOT 254755 SOS 141105 HAS SOPS 141105 HAS SOUS 50443 HAS SOUPS 50443 WITH SCORE 50584.105
AT ITER 368 NEW BEST:: SOT 254334 SOS 139860 HAS SOPS 139860 HAS SOUS 50312 HAS SOUPS 50312 WITH SCORE 50451.86
AT ITER 369 NEW BEST:: SOT 254071 SOS 139146 HAS SOPS 139146 HAS SOUS 50272 HAS SOUPS 50272 WITH SCORE 50411.146
AT ITER 374 NEW BEST:: SOT 253879 SOS 138762 HAS SOPS 138762 HAS SOUS 50208 HAS SOUPS 50208 WITH SCORE 50346.762
AT ITER 394 NEW BEST:: SOT 253781 SOS 138515 HAS SOPS 138515 HAS SOUS 50206 HAS SOUPS 50206 WITH SCORE 50344.515
AT ITER 395 NEW BEST:: SOT 253671 SOS 138240 HAS SOPS 138240 HAS SOUS 50206 HAS SOUPS 50206 WITH SCORE 50344.24
AT ITER 397 NEW BEST:: SOT 253549 SOS 137874 HAS SOPS 137874 HAS SOUS 50145 HAS SOUPS 50145 WITH SCORE 50282.874
AT ITER 412 NEW BEST:: SOT 253549 SOS 137874 HAS SOPS 137874 HAS SOUS 50142 HAS SOUPS 50142 WITH SCORE 50279.874
AT ITER 429 NEW BEST:: SOT 253443 SOS 137639 HAS SOPS 137639 HAS SOUS 50113 HAS SOUPS 50113 WITH SCORE 50250.639
AT ITER 457 NEW BEST:: SOT 253582 SOS 138046 HAS SOPS 138046 HAS SOUS 50099 HAS SOUPS 50099 WITH SCORE 50237.046
AT ITER 459 NEW BEST:: SOT 253236 SOS 137149 HAS SOPS 137149 HAS SOUS 50067 HAS SOUPS 50067 WITH SCORE 50204.149
AT ITER 470 NEW BEST:: SOT 253040 SOS 136633 HAS SOPS 136633 HAS SOUS 50041 HAS SOUPS 50041 WITH SCORE 50177.633
AT ITER 471 NEW BEST:: SOT 252859 SOS 136058 HAS SOPS 136058 HAS SOUS 50028 HAS SOUPS 50028 WITH SCORE 50164.058
AT ITER 473 NEW BEST:: SOT 252749 SOS 135783 HAS SOPS 135783 HAS SOUS 50028 HAS SOUPS 50028 WITH SCORE 50163.783
AT ITER 475 NEW BEST:: SOT 252525 SOS 135220 HAS SOPS 135220 HAS SOUS 50023 HAS SOUPS 50023 WITH SCORE 50158.22
AT ITER 477 NEW BEST:: SOT 252364 SOS 134717 HAS SOPS 134717 HAS SOUS 49966 HAS SOUPS 49966 WITH SCORE 50100.717
AT ITER 505 NEW BEST:: SOT 252221 SOS 134290 HAS SOPS 134290 HAS SOUS 49892 HAS SOUPS 49892 WITH SCORE 50026.29
AT ITER 514 NEW BEST:: SOT 252143 SOS 134131 HAS SOPS 134131 HAS SOUS 49861 HAS SOUPS 49861 WITH SCORE 49995.131
AT ITER 521 NEW BEST:: SOT 251967 SOS 133641 HAS SOPS 133641 HAS SOUS 49807 HAS SOUPS 49807 WITH SCORE 49940.641
AT ITER 533 NEW BEST:: SOT 251823 SOS 133330 HAS SOPS 133330 HAS SOUS 49736 HAS SOUPS 49736 WITH SCORE 49869.33
AT ITER 538 NEW BEST:: SOT 251587 SOS 132631 HAS SOPS 132631 HAS SOUS 49720 HAS SOUPS 49720 WITH SCORE 49852.631
AT ITER 539 NEW BEST:: SOT 251521 SOS 132463 HAS SOPS 132463 HAS SOUS 49715 HAS SOUPS 49715 WITH SCORE 49847.463
AT ITER 545 NEW BEST:: SOT 251128 SOS 131676 HAS SOPS 131676 HAS SOUS 49651 HAS SOUPS 49651 WITH SCORE 49782.676
AT ITER 548 NEW BEST:: SOT 251052 SOS 131429 HAS SOPS 131429 HAS SOUS 49642 HAS SOUPS 49642 WITH SCORE 49773.429
AT ITER 553 NEW BEST:: SOT 250672 SOS 130477 HAS SOPS 130477 HAS SOUS 49640 HAS SOUPS 49640 WITH SCORE 49770.477
AT ITER 554 NEW BEST:: SOT 250663 SOS 130459 HAS SOPS 130459 HAS SOUS 49631 HAS SOUPS 49631 WITH SCORE 49761.459
AT ITER 557 NEW BEST:: SOT 250525 SOS 129955 HAS SOPS 129955 HAS SOUS 49562 HAS SOUPS 49562 WITH SCORE 49691.955
AT ITER 562 NEW BEST:: SOT 250515 SOS 129930 HAS SOPS 129930 HAS SOUS 49562 HAS SOUPS 49562 WITH SCORE 49691.93
AT ITER 565 NEW BEST:: SOT 250476 SOS 129852 HAS SOPS 129852 HAS SOUS 49523 HAS SOUPS 49523 WITH SCORE 49652.852
AT ITER 566 NEW BEST:: SOT 250302 SOS 129330 HAS SOPS 129330 HAS SOUS 49436 HAS SOUPS 49436 WITH SCORE 49565.33
AT ITER 568 NEW BEST:: SOT 249948 SOS 128268 HAS SOPS 128268 HAS SOUS 49257 HAS SOUPS 49257 WITH SCORE 49385.268
AT ITER 569 NEW BEST:: SOT 249813 SOS 127848 HAS SOPS 127848 HAS SOUS 49197 HAS SOUPS 49197 WITH SCORE 49324.848
AT ITER 573 NEW BEST:: SOT 249705 SOS 127524 HAS SOPS 127524 HAS SOUS 49143 HAS SOUPS 49143 WITH SCORE 49270.524
AT ITER 579 NEW BEST:: SOT 249509 SOS 126654 HAS SOPS 126654 HAS SOUS 48895 HAS SOUPS 48895 WITH SCORE 49021.654
AT ITER 593 NEW BEST:: SOT 249329 SOS 126198 HAS SOPS 126198 HAS SOUS 48889 HAS SOUPS 48889 WITH SCORE 49015.198
AT ITER 594 NEW BEST:: SOT 249259 SOS 126159 HAS SOPS 126159 HAS SOUS 48848 HAS SOUPS 48848 WITH SCORE 48974.159
AT ITER 601 NEW BEST:: SOT 249259 SOS 126157 HAS SOPS 126157 HAS SOUS 48846 HAS SOUPS 48846 WITH SCORE 48972.157
AT ITER 602 NEW BEST:: SOT 248921 SOS 125143 HAS SOPS 125143 HAS SOUS 48339 HAS SOUPS 48339 WITH SCORE 48464.143
AT ITER 619 NEW BEST:: SOT 248784 SOS 124691 HAS SOPS 124691 HAS SOUS 48314 HAS SOUPS 48314 WITH SCORE 48438.691
AT ITER 635 NEW BEST:: SOT 248745 SOS 124535 HAS SOPS 124535 HAS SOUS 48314 HAS SOUPS 48314 WITH SCORE 48438.535
AT ITER 643 NEW BEST:: SOT 248835 SOS 124625 HAS SOPS 124625 HAS SOUS 48313 HAS SOUPS 48313 WITH SCORE 48437.625
AT ITER 651 NEW BEST:: SOT 248813 SOS 124567 HAS SOPS 124567 HAS SOUS 48308 HAS SOUPS 48308 WITH SCORE 48432.567
AT ITER 663 NEW BEST:: SOT 248758 SOS 124418 HAS SOPS 124418 HAS SOUS 48306 HAS SOUPS 48306 WITH SCORE 48430.418
AT ITER 670 NEW BEST:: SOT 248694 SOS 124290 HAS SOPS 124290 HAS SOUS 48242 HAS SOUPS 48242 WITH SCORE 48366.29
AT ITER 683 NEW BEST:: SOT 248268 SOS 123023 HAS SOPS 123023 HAS SOUS 48040 HAS SOUPS 48040 WITH SCORE 48163.023
AT ITER 688 NEW BEST:: SOT 248188 SOS 122788 HAS SOPS 122788 HAS SOUS 48005 HAS SOUPS 48005 WITH SCORE 48127.788
AT ITER 690 NEW BEST:: SOT 248350 SOS 123279 HAS SOPS 123279 HAS SOUS 47836 HAS SOUPS 47836 WITH SCORE 47959.279
AT ITER 691 NEW BEST:: SOT 248319 SOS 123217 HAS SOPS 123217 HAS SOUS 47806 HAS SOUPS 47806 WITH SCORE 47929.217
AT ITER 696 NEW BEST:: SOT 247754 SOS 121920 HAS SOPS 121920 HAS SOUS 47572 HAS SOUPS 47572 WITH SCORE 47693.92
AT ITER 712 NEW BEST:: SOT 247573 SOS 121299 HAS SOPS 121299 HAS SOUS 47449 HAS SOUPS 47449 WITH SCORE 47570.299
AT ITER 723 NEW BEST:: SOT 247539 SOS 121214 HAS SOPS 121214 HAS SOUS 47449 HAS SOUPS 47449 WITH SCORE 47570.214
AT ITER 734 NEW BEST:: SOT 247335 SOS 120701 HAS SOPS 120701 HAS SOUS 47444 HAS SOUPS 47444 WITH SCORE 47564.701
AT ITER 751 NEW BEST:: SOT 247331 SOS 120680 HAS SOPS 120680 HAS SOUS 47444 HAS SOUPS 47444 WITH SCORE 47564.68
AT ITER 768 NEW BEST:: SOT 246936 SOS 119757 HAS SOPS 119757 HAS SOUS 47291 HAS SOUPS 47291 WITH SCORE 47410.757
AT ITER 771 NEW BEST:: SOT 246698 SOS 119161 HAS SOPS 119161 HAS SOUS 47290 HAS SOUPS 47290 WITH SCORE 47409.161
AT ITER 775 NEW BEST:: SOT 246508 SOS 118684 HAS SOPS 118684 HAS SOUS 47288 HAS SOUPS 47288 WITH SCORE 47406.684
AT ITER 805 NEW BEST:: SOT 246386 SOS 118318 HAS SOPS 118318 HAS SOUS 47223 HAS SOUPS 47223 WITH SCORE 47341.318
AT ITER 808 NEW BEST:: SOT 246325 SOS 118074 HAS SOPS 118074 HAS SOUS 47223 HAS SOUPS 47223 WITH SCORE 47341.074
AT ITER 814 NEW BEST:: SOT 246217 SOS 117750 HAS SOPS 117750 HAS SOUS 47167 HAS SOUPS 47167 WITH SCORE 47284.75
AT ITER 821 NEW BEST:: SOT 246217 SOS 117749 HAS SOPS 117749 HAS SOUS 47166 HAS SOUPS 47166 WITH SCORE 47283.749
AT ITER 829 NEW BEST:: SOT 246090 SOS 117495 HAS SOPS 117495 HAS SOUS 47044 HAS SOUPS 47044 WITH SCORE 47161.495
AT ITER 846 NEW BEST:: SOT 245944 SOS 117057 HAS SOPS 117057 HAS SOUS 46965 HAS SOUPS 46965 WITH SCORE 47082.057
AT ITER 855 NEW BEST:: SOT 245779 SOS 116798 HAS SOPS 116798 HAS SOUS 46836 HAS SOUPS 46836 WITH SCORE 46952.798
AT ITER 858 NEW BEST:: SOT 245714 SOS 116733 HAS SOPS 116733 HAS SOUS 46641 HAS SOUPS 46641 WITH SCORE 46757.733
AT ITER 864 NEW BEST:: SOT 245496 SOS 116048 HAS SOPS 116048 HAS SOUS 46639 HAS SOUPS 46639 WITH SCORE 46755.048
AT ITER 876 NEW BEST:: SOT 245458 SOS 115950 HAS SOPS 115950 HAS SOUS 46634 HAS SOUPS 46634 WITH SCORE 46749.95
AT ITER 884 NEW BEST:: SOT 245455 SOS 115904 HAS SOPS 115904 HAS SOUS 46610 HAS SOUPS 46610 WITH SCORE 46725.904
AT ITER 924 NEW BEST:: SOT 245412 SOS 115818 HAS SOPS 115818 HAS SOUS 46610 HAS SOUPS 46610 WITH SCORE 46725.818
AT ITER 929 NEW BEST:: SOT 245244 SOS 115395 HAS SOPS 115395 HAS SOUS 46605 HAS SOUPS 46605 WITH SCORE 46720.395
AT ITER 938 NEW BEST:: SOT 244858 SOS 114130 HAS SOPS 114130 HAS SOUS 46333 HAS SOUPS 46333 WITH SCORE 46447.13
AT ITER 946 NEW BEST:: SOT 244835 SOS 114107 HAS SOPS 114107 HAS SOUS 46308 HAS SOUPS 46308 WITH SCORE 46422.107
AT ITER 960 NEW BEST:: SOT 244731 SOS 113795 HAS SOPS 113795 HAS SOUS 46152 HAS SOUPS 46152 WITH SCORE 46265.795
AT ITER 974 NEW BEST:: SOT 244723 SOS 113779 HAS SOPS 113779 HAS SOUS 46150 HAS SOUPS 46150 WITH SCORE 46263.779
AT ITER 977 NEW BEST:: SOT 244696 SOS 113614 HAS SOPS 113614 HAS SOUS 46131 HAS SOUPS 46131 WITH SCORE 46244.614
AT ITER 982 NEW BEST:: SOT 244593 SOS 113259 HAS SOPS 113259 HAS SOUS 46081 HAS SOUPS 46081 WITH SCORE 46194.259
AT ITER 993 NEW BEST:: SOT 244279 SOS 112317 HAS SOPS 112317 HAS SOUS 45900 HAS SOUPS 45900 WITH SCORE 46012.317
AT ITER 996 NEW BEST:: SOT 244279 SOS 112318 HAS SOPS 112318 HAS SOUS 45879 HAS SOUPS 45879 WITH SCORE 45991.318
AT ITER 1015 NEW BEST:: SOT 244247 SOS 112222 HAS SOPS 112222 HAS SOUS 45861 HAS SOUPS 45861 WITH SCORE 45973.222
AT ITER 1019 NEW BEST:: SOT 244424 SOS 112790 HAS SOPS 112790 HAS SOUS 45721 HAS SOUPS 45721 WITH SCORE 45833.79
AT ITER 1023 NEW BEST:: SOT 243946 SOS 111821 HAS SOPS 111821 HAS SOUS 45698 HAS SOUPS 45698 WITH SCORE 45809.821
AT ITER 1028 NEW BEST:: SOT 243913 SOS 111754 HAS SOPS 111754 HAS SOUS 45686 HAS SOUPS 45686 WITH SCORE 45797.754
AT ITER 1049 NEW BEST:: SOT 243913 SOS 111741 HAS SOPS 111741 HAS SOUS 45673 HAS SOUPS 45673 WITH SCORE 45784.741
AT ITER 1050 NEW BEST:: SOT 243909 SOS 111732 HAS SOPS 111732 HAS SOUS 45668 HAS SOUPS 45668 WITH SCORE 45779.732
AT ITER 1069 NEW BEST:: SOT 243854 SOS 111551 HAS SOPS 111551 HAS SOUS 45652 HAS SOUPS 45652 WITH SCORE 45763.551
AT ITER 1076 NEW BEST:: SOT 243763 SOS 111326 HAS SOPS 111326 HAS SOUS 45608 HAS SOUPS 45608 WITH SCORE 45719.326
AT ITER 1078 NEW BEST:: SOT 243768 SOS 111341 HAS SOPS 111341 HAS SOUS 45603 HAS SOUPS 45603 WITH SCORE 45714.341
AT ITER 1087 NEW BEST:: SOT 243768 SOS 111370 HAS SOPS 111370 HAS SOUS 45574 HAS SOUPS 45574 WITH SCORE 45685.37
AT ITER 1093 NEW BEST:: SOT 243543 SOS 110747 HAS SOPS 110747 HAS SOUS 45550 HAS SOUPS 45550 WITH SCORE 45660.747
AT ITER 1098 NEW BEST:: SOT 243454 SOS 110437 HAS SOPS 110437 HAS SOUS 45513 HAS SOUPS 45513 WITH SCORE 45623.437
AT ITER 1105 NEW BEST:: SOT 243388 SOS 110371 HAS SOPS 110371 HAS SOUS 45443 HAS SOUPS 45443 WITH SCORE 45553.371
AT ITER 1123 NEW BEST:: SOT 243272 SOS 109989 HAS SOPS 109989 HAS SOUS 45407 HAS SOUPS 45407 WITH SCORE 45516.989
AT ITER 1130 NEW BEST:: SOT 243334 SOS 110039 HAS SOPS 110039 HAS SOUS 45402 HAS SOUPS 45402 WITH SCORE 45512.039
AT ITER 1140 NEW BEST:: SOT 243172 SOS 109571 HAS SOPS 109571 HAS SOUS 45342 HAS SOUPS 45342 WITH SCORE 45451.571
AT ITER 1146 NEW BEST:: SOT 242680 SOS 108102 HAS SOPS 108102 HAS SOUS 45184 HAS SOUPS 45184 WITH SCORE 45292.102
AT ITER 1147 NEW BEST:: SOT 242672 SOS 108078 HAS SOPS 108078 HAS SOUS 45180 HAS SOUPS 45180 WITH SCORE 45288.078
AT ITER 1148 NEW BEST:: SOT 242531 SOS 107796 HAS SOPS 107796 HAS SOUS 45039 HAS SOUPS 45039 WITH SCORE 45146.796
AT ITER 1156 NEW BEST:: SOT 242531 SOS 107791 HAS SOPS 107791 HAS SOUS 45034 HAS SOUPS 45034 WITH SCORE 45141.791
AT ITER 1159 NEW BEST:: SOT 242500 SOS 107729 HAS SOPS 107729 HAS SOUS 45003 HAS SOUPS 45003 WITH SCORE 45110.729
AT ITER 1171 NEW BEST:: SOT 242285 SOS 107048 HAS SOPS 107048 HAS SOUS 44959 HAS SOUPS 44959 WITH SCORE 45066.048
AT ITER 1200 NEW BEST:: SOT 241945 SOS 106028 HAS SOPS 106028 HAS SOUS 44789 HAS SOUPS 44789 WITH SCORE 44895.028
AT ITER 1202 NEW BEST:: SOT 241945 SOS 105980 HAS SOPS 105980 HAS SOUS 44739 HAS SOUPS 44739 WITH SCORE 44844.98
AT ITER 1232 NEW BEST:: SOT 241867 SOS 105746 HAS SOPS 105746 HAS SOUS 44622 HAS SOUPS 44622 WITH SCORE 44727.746
AT ITER 1236 NEW BEST:: SOT 241765 SOS 105482 HAS SOPS 105482 HAS SOUS 44613 HAS SOUPS 44613 WITH SCORE 44718.482
AT ITER 1240 NEW BEST:: SOT 241756 SOS 105464 HAS SOPS 105464 HAS SOUS 44600 HAS SOUPS 44600 WITH SCORE 44705.464
AT ITER 1249 NEW BEST:: SOT 241736 SOS 105444 HAS SOPS 105444 HAS SOUS 44540 HAS SOUPS 44540 WITH SCORE 44645.444
AT ITER 1254 NEW BEST:: SOT 241729 SOS 105430 HAS SOPS 105430 HAS SOUS 44540 HAS SOUPS 44540 WITH SCORE 44645.43
AT ITER 1275 NEW BEST:: SOT 241651 SOS 105088 HAS SOPS 105088 HAS SOUS 44515 HAS SOUPS 44515 WITH SCORE 44620.088
AT ITER 1292 NEW BEST:: SOT 241251 SOS 103895 HAS SOPS 103895 HAS SOUS 44398 HAS SOUPS 44398 WITH SCORE 44501.895
AT ITER 1310 NEW BEST:: SOT 241207 SOS 103851 HAS SOPS 103851 HAS SOUS 44354 HAS SOUPS 44354 WITH SCORE 44457.851
AT ITER 1329 NEW BEST:: SOT 241153 SOS 103832 HAS SOPS 103832 HAS SOUS 44331 HAS SOUPS 44331 WITH SCORE 44434.832
AT ITER 1330 NEW BEST:: SOT 241095 SOS 103686 HAS SOPS 103686 HAS SOUS 44330 HAS SOUPS 44330 WITH SCORE 44433.686
AT ITER 1341 NEW BEST:: SOT 240969 SOS 103129 HAS SOPS 103129 HAS SOUS 44272 HAS SOUPS 44272 WITH SCORE 44375.129
AT ITER 1344 NEW BEST:: SOT 240964 SOS 103119 HAS SOPS 103119 HAS SOUS 44267 HAS SOUPS 44267 WITH SCORE 44370.119
AT ITER 1351 NEW BEST:: SOT 240760 SOS 102547 HAS SOPS 102547 HAS SOUS 44218 HAS SOUPS 44218 WITH SCORE 44320.547
AT ITER 1352 NEW BEST:: SOT 240775 SOS 102636 HAS SOPS 102636 HAS SOUS 44115 HAS SOUPS 44115 WITH SCORE 44217.636
AT ITER 1355 NEW BEST:: SOT 240691 SOS 102468 HAS SOPS 102468 HAS SOUS 44115 HAS SOUPS 44115 WITH SCORE 44217.468
AT ITER 1363 NEW BEST:: SOT 240683 SOS 102456 HAS SOPS 102456 HAS SOUS 44099 HAS SOUPS 44099 WITH SCORE 44201.456
AT ITER 1364 NEW BEST:: SOT 240683 SOS 102456 HAS SOPS 102456 HAS SOUS 44085 HAS SOUPS 44085 WITH SCORE 44187.456
AT ITER 1366 NEW BEST:: SOT 240576 SOS 102112 HAS SOPS 102112 HAS SOUS 44043 HAS SOUPS 44043 WITH SCORE 44145.112
AT ITER 1388 NEW BEST:: SOT 240594 SOS 102212 HAS SOPS 102212 HAS SOUS 43979 HAS SOUPS 43979 WITH SCORE 44081.212
AT ITER 1397 NEW BEST:: SOT 240404 SOS 101735 HAS SOPS 101735 HAS SOUS 43977 HAS SOUPS 43977 WITH SCORE 44078.735
AT ITER 1404 NEW BEST:: SOT 240267 SOS 101087 HAS SOPS 101087 HAS SOUS 43863 HAS SOUPS 43863 WITH SCORE 43964.087
AT ITER 1408 NEW BEST:: SOT 239912 SOS 100024 HAS SOPS 100024 HAS SOUS 43737 HAS SOUPS 43737 WITH SCORE 43837.024
AT ITER 1415 NEW BEST:: SOT 239637 SOS 99325 HAS SOPS 99325 HAS SOUS 43624 HAS SOUPS 43624 WITH SCORE 43723.325
AT ITER 1421 NEW BEST:: SOT 239619 SOS 99278 HAS SOPS 99278 HAS SOUS 43622 HAS SOUPS 43622 WITH SCORE 43721.278
AT ITER 1445 NEW BEST:: SOT 239561 SOS 99101 HAS SOPS 99101 HAS SOUS 43566 HAS SOUPS 43566 WITH SCORE 43665.101
AT ITER 1449 NEW BEST:: SOT 239230 SOS 98017 HAS SOPS 98017 HAS SOUS 43113 HAS SOUPS 43113 WITH SCORE 43211.017
AT ITER 1451 NEW BEST:: SOT 239259 SOS 98354 HAS SOPS 98354 HAS SOUS 42970 HAS SOUPS 42970 WITH SCORE 43068.354
AT ITER 1455 NEW BEST:: SOT 239253 SOS 98348 HAS SOPS 98348 HAS SOUS 42960 HAS SOUPS 42960 WITH SCORE 43058.348
AT ITER 1456 NEW BEST:: SOT 239224 SOS 98321 HAS SOPS 98321 HAS SOUS 42931 HAS SOUPS 42931 WITH SCORE 43029.321
AT ITER 1460 NEW BEST:: SOT 238949 SOS 97473 HAS SOPS 97473 HAS SOUS 42898 HAS SOUPS 42898 WITH SCORE 42995.473
AT ITER 1472 NEW BEST:: SOT 238853 SOS 97233 HAS SOPS 97233 HAS SOUS 42898 HAS SOUPS 42898 WITH SCORE 42995.233
AT ITER 1474 NEW BEST:: SOT 238801 SOS 97197 HAS SOPS 97197 HAS SOUS 42862 HAS SOUPS 42862 WITH SCORE 42959.197
AT ITER 1476 NEW BEST:: SOT 238305 SOS 95935 HAS SOPS 95935 HAS SOUS 42571 HAS SOUPS 42571 WITH SCORE 42666.935
AT ITER 1481 NEW BEST:: SOT 238110 SOS 95340 HAS SOPS 95340 HAS SOUS 42519 HAS SOUPS 42519 WITH SCORE 42614.34
AT ITER 1489 NEW BEST:: SOT 238100 SOS 95310 HAS SOPS 95310 HAS SOUS 42514 HAS SOUPS 42514 WITH SCORE 42609.31
AT ITER 1493 NEW BEST:: SOT 237956 SOS 94950 HAS SOPS 94950 HAS SOUS 42514 HAS SOUPS 42514 WITH SCORE 42608.95
AT ITER 1495 NEW BEST:: SOT 237775 SOS 94352 HAS SOPS 94352 HAS SOUS 42215 HAS SOUPS 42215 WITH SCORE 42309.352
AT ITER 1518 NEW BEST:: SOT 237586 SOS 93754 HAS SOPS 93754 HAS SOUS 42183 HAS SOUPS 42183 WITH SCORE 42276.754
AT ITER 1540 NEW BEST:: SOT 237281 SOS 92775 HAS SOPS 92775 HAS SOUS 42165 HAS SOUPS 42165 WITH SCORE 42257.775
AT ITER 1546 NEW BEST:: SOT 237183 SOS 92481 HAS SOPS 92481 HAS SOUS 42094 HAS SOUPS 42094 WITH SCORE 42186.481
AT ITER 1559 NEW BEST:: SOT 237164 SOS 92462 HAS SOPS 92462 HAS SOUS 42037 HAS SOUPS 42037 WITH SCORE 42129.462
AT ITER 1574 NEW BEST:: SOT 237164 SOS 92457 HAS SOPS 92457 HAS SOUS 42032 HAS SOUPS 42032 WITH SCORE 42124.457
AT ITER 1575 NEW BEST:: SOT 237388 SOS 92916 HAS SOPS 92916 HAS SOUS 41938 HAS SOUPS 41938 WITH SCORE 42030.916
AT ITER 1586 NEW BEST:: SOT 237388 SOS 92930 HAS SOPS 92930 HAS SOUS 41924 HAS SOUPS 41924 WITH SCORE 42016.93
AT ITER 1587 NEW BEST:: SOT 237382 SOS 92876 HAS SOPS 92876 HAS SOUS 41924 HAS SOUPS 41924 WITH SCORE 42016.876
AT ITER 1596 NEW BEST:: SOT 237388 SOS 92857 HAS SOPS 92857 HAS SOUS 41899 HAS SOUPS 41899 WITH SCORE 41991.857
AT ITER 1597 NEW BEST:: SOT 237363 SOS 92707 HAS SOPS 92707 HAS SOUS 41889 HAS SOUPS 41889 WITH SCORE 41981.707
AT ITER 1600 NEW BEST:: SOT 237434 SOS 92918 HAS SOPS 92918 HAS SOUS 41867 HAS SOUPS 41867 WITH SCORE 41959.918
AT ITER 1610 NEW BEST:: SOT 237434 SOS 92918 HAS SOPS 92918 HAS SOUS 41865 HAS SOUPS 41865 WITH SCORE 41957.918
AT ITER 1614 NEW BEST:: SOT 237237 SOS 92340 HAS SOPS 92340 HAS SOUS 41778 HAS SOUPS 41778 WITH SCORE 41870.34
AT ITER 1624 NEW BEST:: SOT 237129 SOS 92124 HAS SOPS 92124 HAS SOUS 41691 HAS SOUPS 41691 WITH SCORE 41783.124
AT ITER 1629 NEW BEST:: SOT 237040 SOS 91946 HAS SOPS 91946 HAS SOUS 41587 HAS SOUPS 41587 WITH SCORE 41678.946
AT ITER 1660 NEW BEST:: SOT 237032 SOS 91896 HAS SOPS 91896 HAS SOUS 41579 HAS SOUPS 41579 WITH SCORE 41670.896
AT ITER 1661 NEW BEST:: SOT 237032 SOS 91878 HAS SOPS 91878 HAS SOUS 41561 HAS SOUPS 41561 WITH SCORE 41652.878
AT ITER 1674 NEW BEST:: SOT 237026 SOS 91866 HAS SOPS 91866 HAS SOUS 41555 HAS SOUPS 41555 WITH SCORE 41646.866
AT ITER 1698 NEW BEST:: SOT 236960 SOS 91608 HAS SOPS 91608 HAS SOUS 41548 HAS SOUPS 41548 WITH SCORE 41639.608
AT ITER 1709 NEW BEST:: SOT 236922 SOS 91456 HAS SOPS 91456 HAS SOUS 41544 HAS SOUPS 41544 WITH SCORE 41635.456
AT ITER 1711 NEW BEST:: SOT 236826 SOS 91168 HAS SOPS 91168 HAS SOUS 41496 HAS SOUPS 41496 WITH SCORE 41587.168
AT ITER 1733 NEW BEST:: SOT 236826 SOS 91187 HAS SOPS 91187 HAS SOUS 41493 HAS SOUPS 41493 WITH SCORE 41584.187
AT ITER 1747 NEW BEST:: SOT 236985 SOS 91620 HAS SOPS 91620 HAS SOUS 41446 HAS SOUPS 41446 WITH SCORE 41537.62
AT ITER 1789 NEW BEST:: SOT 236909 SOS 91430 HAS SOPS 91430 HAS SOUS 41446 HAS SOUPS 41446 WITH SCORE 41537.43
AT ITER 1816 NEW BEST:: SOT 236886 SOS 91384 HAS SOPS 91384 HAS SOUS 41423 HAS SOUPS 41423 WITH SCORE 41514.384
AT ITER 1819 NEW BEST:: SOT 236858 SOS 91272 HAS SOPS 91272 HAS SOUS 41423 HAS SOUPS 41423 WITH SCORE 41514.272
AT ITER 1823 NEW BEST:: SOT 236801 SOS 91156 HAS SOPS 91156 HAS SOUS 41402 HAS SOUPS 41402 WITH SCORE 41493.156
AT ITER 1826 NEW BEST:: SOT 236791 SOS 91139 HAS SOPS 91139 HAS SOUS 41398 HAS SOUPS 41398 WITH SCORE 41489.139
AT ITER 1838 NEW BEST:: SOT 236840 SOS 91297 HAS SOPS 91297 HAS SOUS 41360 HAS SOUPS 41360 WITH SCORE 41451.297
AT ITER 1851 NEW BEST:: SOT 236825 SOS 91237 HAS SOPS 91237 HAS SOUS 41360 HAS SOUPS 41360 WITH SCORE 41451.237
AT ITER 1859 NEW BEST:: SOT 236567 SOS 90441 HAS SOPS 90441 HAS SOUS 41240 HAS SOUPS 41240 WITH SCORE 41330.441
AT ITER 1864 NEW BEST:: SOT 236601 SOS 90552 HAS SOPS 90552 HAS SOUS 41197 HAS SOUPS 41197 WITH SCORE 41287.552
AT ITER 1873 NEW BEST:: SOT 236397 SOS 89937 HAS SOPS 89937 HAS SOUS 41161 HAS SOUPS 41161 WITH SCORE 41250.937
AT ITER 1877 NEW BEST:: SOT 236347 SOS 89837 HAS SOPS 89837 HAS SOUS 41111 HAS SOUPS 41111 WITH SCORE 41200.837
AT ITER 1884 NEW BEST:: SOT 236189 SOS 89346 HAS SOPS 89346 HAS SOUS 41040 HAS SOUPS 41040 WITH SCORE 41129.346
AT ITER 1890 NEW BEST:: SOT 236095 SOS 89064 HAS SOPS 89064 HAS SOUS 40899 HAS SOUPS 40899 WITH SCORE 40988.064
AT ITER 1897 NEW BEST:: SOT 236044 SOS 88959 HAS SOPS 88959 HAS SOUS 40877 HAS SOUPS 40877 WITH SCORE 40965.959
AT ITER 1905 NEW BEST:: SOT 236054 SOS 88989 HAS SOPS 88989 HAS SOUS 40867 HAS SOUPS 40867 WITH SCORE 40955.989
AT ITER 1921 NEW BEST:: SOT 236035 SOS 88913 HAS SOPS 88913 HAS SOUS 40867 HAS SOUPS 40867 WITH SCORE 40955.913
AT ITER 1922 NEW BEST:: SOT 235881 SOS 88759 HAS SOPS 88759 HAS SOUS 40821 HAS SOUPS 40821 WITH SCORE 40909.759
AT ITER 1967 NEW BEST:: SOT 235834 SOS 88382 HAS SOPS 88382 HAS SOUS 40808 HAS SOUPS 40808 WITH SCORE 40896.382
AT ITER 1975 NEW BEST:: SOT 235967 SOS 88742 HAS SOPS 88742 HAS SOUS 40782 HAS SOUPS 40782 WITH SCORE 40870.742
AT ITER 1977 NEW BEST:: SOT 235967 SOS 88728 HAS SOPS 88728 HAS SOUS 40775 HAS SOUPS 40775 WITH SCORE 40863.728
AT ITER 2034 NEW BEST:: SOT 235713 SOS 87966 HAS SOPS 87966 HAS SOUS 40642 HAS SOUPS 40642 WITH SCORE 40729.966
AT ITER 2053 NEW BEST:: SOT 235713 SOS 87966 HAS SOPS 87966 HAS SOUS 40580 HAS SOUPS 40580 WITH SCORE 40667.966
AT ITER 2060 NEW BEST:: SOT 235390 SOS 87063 HAS SOPS 87063 HAS SOUS 40506 HAS SOUPS 40506 WITH SCORE 40593.063
AT ITER 2066 NEW BEST:: SOT 235373 SOS 87000 HAS SOPS 87000 HAS SOUS 40460 HAS SOUPS 40460 WITH SCORE 40547.0
AT ITER 2102 NEW BEST:: SOT 235260 SOS 86774 HAS SOPS 86774 HAS SOUS 40352 HAS SOUPS 40352 WITH SCORE 40438.774
AT ITER 2103 NEW BEST:: SOT 235212 SOS 86726 HAS SOPS 86726 HAS SOUS 40300 HAS SOUPS 40300 WITH SCORE 40386.726
AT ITER 2111 NEW BEST:: SOT 235172 SOS 86646 HAS SOPS 86646 HAS SOUS 40265 HAS SOUPS 40265 WITH SCORE 40351.646
AT ITER 2123 NEW BEST:: SOT 235080 SOS 86460 HAS SOPS 86460 HAS SOUS 40257 HAS SOUPS 40257 WITH SCORE 40343.46
AT ITER 2124 NEW BEST:: SOT 235016 SOS 86304 HAS SOPS 86304 HAS SOUS 40221 HAS SOUPS 40221 WITH SCORE 40307.304
AT ITER 2126 NEW BEST:: SOT 235016 SOS 86291 HAS SOPS 86291 HAS SOUS 40142 HAS SOUPS 40142 WITH SCORE 40228.291
AT ITER 2134 NEW BEST:: SOT 234790 SOS 85622 HAS SOPS 85622 HAS SOUS 40038 HAS SOUPS 40038 WITH SCORE 40123.622
AT ITER 2136 NEW BEST:: SOT 234790 SOS 85622 HAS SOPS 85622 HAS SOUS 40034 HAS SOUPS 40034 WITH SCORE 40119.622
AT ITER 2153 NEW BEST:: SOT 234726 SOS 85338 HAS SOPS 85338 HAS SOUS 40016 HAS SOUPS 40016 WITH SCORE 40101.338
AT ITER 2155 NEW BEST:: SOT 234726 SOS 85338 HAS SOPS 85338 HAS SOUS 39888 HAS SOUPS 39888 WITH SCORE 39973.338
AT ITER 2173 NEW BEST:: SOT 234666 SOS 85224 HAS SOPS 85224 HAS SOUS 39744 HAS SOUPS 39744 WITH SCORE 39829.224
AT ITER 2199 NEW BEST:: SOT 234561 SOS 85001 HAS SOPS 85001 HAS SOUS 39712 HAS SOUPS 39712 WITH SCORE 39797.001
AT ITER 2200 NEW BEST:: SOT 234485 SOS 84765 HAS SOPS 84765 HAS SOUS 39678 HAS SOUPS 39678 WITH SCORE 39762.765
AT ITER 2213 NEW BEST:: SOT 234393 SOS 84533 HAS SOPS 84533 HAS SOUS 39676 HAS SOUPS 39676 WITH SCORE 39760.533
AT ITER 2219 NEW BEST:: SOT 234049 SOS 83845 HAS SOPS 83845 HAS SOUS 39537 HAS SOUPS 39537 WITH SCORE 39620.845
AT ITER 2229 NEW BEST:: SOT 234039 SOS 83778 HAS SOPS 83778 HAS SOUS 39480 HAS SOUPS 39480 WITH SCORE 39563.778
AT ITER 2243 NEW BEST:: SOT 234039 SOS 83734 HAS SOPS 83734 HAS SOUS 39328 HAS SOUPS 39328 WITH SCORE 39411.734
AT ITER 2252 NEW BEST:: SOT 234025 SOS 83698 HAS SOPS 83698 HAS SOUS 39327 HAS SOUPS 39327 WITH SCORE 39410.698
AT ITER 2262 NEW BEST:: SOT 234025 SOS 83613 HAS SOPS 83613 HAS SOUS 39320 HAS SOUPS 39320 WITH SCORE 39403.613
AT ITER 2285 NEW BEST:: SOT 233987 SOS 83549 HAS SOPS 83549 HAS SOUS 39313 HAS SOUPS 39313 WITH SCORE 39396.549
AT ITER 2286 NEW BEST:: SOT 234014 SOS 83646 HAS SOPS 83646 HAS SOUS 39302 HAS SOUPS 39302 WITH SCORE 39385.646
AT ITER 2287 NEW BEST:: SOT 233724 SOS 82985 HAS SOPS 82985 HAS SOUS 39220 HAS SOUPS 39220 WITH SCORE 39302.985
AT ITER 2295 NEW BEST:: SOT 233673 SOS 82828 HAS SOPS 82828 HAS SOUS 39204 HAS SOUPS 39204 WITH SCORE 39286.828
AT ITER 2300 NEW BEST:: SOT 233666 SOS 82802 HAS SOPS 82802 HAS SOUS 39178 HAS SOUPS 39178 WITH SCORE 39260.802
AT ITER 2309 NEW BEST:: SOT 233666 SOS 82802 HAS SOPS 82802 HAS SOUS 39168 HAS SOUPS 39168 WITH SCORE 39250.802
AT ITER 2319 NEW BEST:: SOT 233665 SOS 82800 HAS SOPS 82800 HAS SOUS 39167 HAS SOUPS 39167 WITH SCORE 39249.8
AT ITER 2321 NEW BEST:: SOT 233665 SOS 82796 HAS SOPS 82796 HAS SOUS 39163 HAS SOUPS 39163 WITH SCORE 39245.796
AT ITER 2329 NEW BEST:: SOT 233518 SOS 82366 HAS SOPS 82366 HAS SOUS 39154 HAS SOUPS 39154 WITH SCORE 39236.366
AT ITER 2335 NEW BEST:: SOT 233518 SOS 82350 HAS SOPS 82350 HAS SOUS 39146 HAS SOUPS 39146 WITH SCORE 39228.35
AT ITER 2364 NEW BEST:: SOT 233513 SOS 82340 HAS SOPS 82340 HAS SOUS 39136 HAS SOUPS 39136 WITH SCORE 39218.34
AT ITER 2403 NEW BEST:: SOT 233435 SOS 82106 HAS SOPS 82106 HAS SOUS 39097 HAS SOUPS 39097 WITH SCORE 39179.106
AT ITER 2441 NEW BEST:: SOT 233350 SOS 81936 HAS SOPS 81936 HAS SOUS 39012 HAS SOUPS 39012 WITH SCORE 39093.936
AT ITER 2446 NEW BEST:: SOT 233391 SOS 82059 HAS SOPS 82059 HAS SOUS 38971 HAS SOUPS 38971 WITH SCORE 39053.059
AT ITER 2467 NEW BEST:: SOT 233269 SOS 81693 HAS SOPS 81693 HAS SOUS 38910 HAS SOUPS 38910 WITH SCORE 38991.693
AT ITER 2475 NEW BEST:: SOT 233268 SOS 81701 HAS SOPS 81701 HAS SOUS 38903 HAS SOUPS 38903 WITH SCORE 38984.701
AT ITER 2484 NEW BEST:: SOT 233258 SOS 81675 HAS SOPS 81675 HAS SOUS 38899 HAS SOUPS 38899 WITH SCORE 38980.675
AT ITER 2510 NEW BEST:: SOT 233266 SOS 81559 HAS SOPS 81559 HAS SOUS 38857 HAS SOUPS 38857 WITH SCORE 38938.559
AT ITER 2511 NEW BEST:: SOT 233250 SOS 81527 HAS SOPS 81527 HAS SOUS 38841 HAS SOUPS 38841 WITH SCORE 38922.527
AT ITER 2529 NEW BEST:: SOT 233268 SOS 81583 HAS SOPS 81583 HAS SOUS 38825 HAS SOUPS 38825 WITH SCORE 38906.583
AT ITER 2531 NEW BEST:: SOT 233277 SOS 81610 HAS SOPS 81610 HAS SOUS 38816 HAS SOUPS 38816 WITH SCORE 38897.61
AT ITER 2535 NEW BEST:: SOT 233261 SOS 81602 HAS SOPS 81602 HAS SOUS 38808 HAS SOUPS 38808 WITH SCORE 38889.602
AT ITER 2564 NEW BEST:: SOT 233129 SOS 81208 HAS SOPS 81208 HAS SOUS 38744 HAS SOUPS 38744 WITH SCORE 38825.208
AT ITER 2574 NEW BEST:: SOT 233129 SOS 81208 HAS SOPS 81208 HAS SOUS 38668 HAS SOUPS 38668 WITH SCORE 38749.208
AT ITER 2586 NEW BEST:: SOT 233083 SOS 81091 HAS SOPS 81091 HAS SOUS 38666 HAS SOUPS 38666 WITH SCORE 38747.091
AT ITER 2629 NEW BEST:: SOT 233066 SOS 81074 HAS SOPS 81074 HAS SOUS 38647 HAS SOUPS 38647 WITH SCORE 38728.074
AT ITER 2650 NEW BEST:: SOT 232921 SOS 80380 HAS SOPS 80380 HAS SOUS 38339 HAS SOUPS 38339 WITH SCORE 38419.38
AT ITER 2660 NEW BEST:: SOT 232773 SOS 79936 HAS SOPS 79936 HAS SOUS 38265 HAS SOUPS 38265 WITH SCORE 38344.936
AT ITER 2668 NEW BEST:: SOT 232730 SOS 79802 HAS SOPS 79802 HAS SOUS 38246 HAS SOUPS 38246 WITH SCORE 38325.802
AT ITER 2685 NEW BEST:: SOT 232730 SOS 79799 HAS SOPS 79799 HAS SOUS 38243 HAS SOUPS 38243 WITH SCORE 38322.799
AT ITER 2690 NEW BEST:: SOT 232633 SOS 79443 HAS SOPS 79443 HAS SOUS 38178 HAS SOUPS 38178 WITH SCORE 38257.443
AT ITER 2720 NEW BEST:: SOT 232613 SOS 79289 HAS SOPS 79289 HAS SOUS 38121 HAS SOUPS 38121 WITH SCORE 38200.289
AT ITER 2732 NEW BEST:: SOT 232304 SOS 78357 HAS SOPS 78357 HAS SOUS 37838 HAS SOUPS 37838 WITH SCORE 37916.357
AT ITER 2738 NEW BEST:: SOT 231965 SOS 77633 HAS SOPS 77633 HAS SOUS 37770 HAS SOUPS 37770 WITH SCORE 37847.633
AT ITER 2739 NEW BEST:: SOT 231954 SOS 77620 HAS SOPS 77620 HAS SOUS 37768 HAS SOUPS 37768 WITH SCORE 37845.62
AT ITER 2746 NEW BEST:: SOT 231897 SOS 77563 HAS SOPS 77563 HAS SOUS 37705 HAS SOUPS 37705 WITH SCORE 37782.563
AT ITER 2757 NEW BEST:: SOT 231896 SOS 77561 HAS SOPS 77561 HAS SOUS 37703 HAS SOUPS 37703 WITH SCORE 37780.561
AT ITER 2777 NEW BEST:: SOT 231918 SOS 77641 HAS SOPS 77641 HAS SOUS 37668 HAS SOUPS 37668 WITH SCORE 37745.641
AT ITER 2832 NEW BEST:: SOT 231826 SOS 77407 HAS SOPS 77407 HAS SOUS 37667 HAS SOUPS 37667 WITH SCORE 37744.407
AT ITER 2851 NEW BEST:: SOT 231779 SOS 77284 HAS SOPS 77284 HAS SOUS 37649 HAS SOUPS 37649 WITH SCORE 37726.284
AT ITER 2872 NEW BEST:: SOT 231775 SOS 77272 HAS SOPS 77272 HAS SOUS 37647 HAS SOUPS 37647 WITH SCORE 37724.272
AT ITER 2903 NEW BEST:: SOT 231757 SOS 77236 HAS SOPS 77236 HAS SOUS 37629 HAS SOUPS 37629 WITH SCORE 37706.236
AT ITER 2912 NEW BEST:: SOT 231726 SOS 77178 HAS SOPS 77178 HAS SOUS 37602 HAS SOUPS 37602 WITH SCORE 37679.178
AT ITER 2927 NEW BEST:: SOT 231718 SOS 77162 HAS SOPS 77162 HAS SOUS 37578 HAS SOUPS 37578 WITH SCORE 37655.162
AT ITER 2930 NEW BEST:: SOT 231626 SOS 76886 HAS SOPS 76886 HAS SOUS 37516 HAS SOUPS 37516 WITH SCORE 37592.886
AT ITER 2932 NEW BEST:: SOT 231314 SOS 76170 HAS SOPS 76170 HAS SOUS 37320 HAS SOUPS 37320 WITH SCORE 37396.17
AT ITER 2942 NEW BEST:: SOT 231298 SOS 76138 HAS SOPS 76138 HAS SOUS 37300 HAS SOUPS 37300 WITH SCORE 37376.138
AT ITER 2948 NEW BEST:: SOT 231288 SOS 76128 HAS SOPS 76128 HAS SOUS 37280 HAS SOUPS 37280 WITH SCORE 37356.128
AT ITER 2962 NEW BEST:: SOT 231221 SOS 75926 HAS SOPS 75926 HAS SOUS 37247 HAS SOUPS 37247 WITH SCORE 37322.926
AT ITER 2983 NEW BEST:: SOT 231221 SOS 75930 HAS SOPS 75930 HAS SOUS 37243 HAS SOUPS 37243 WITH SCORE 37318.93
AT ITER 2988 NEW BEST:: SOT 231221 SOS 75904 HAS SOPS 75904 HAS SOUS 37161 HAS SOUPS 37161 WITH SCORE 37236.904
AT ITER 2996 NEW BEST:: SOT 231227 SOS 76041 HAS SOPS 76041 HAS SOUS 37148 HAS SOUPS 37148 WITH SCORE 37224.041
AT ITER 2997 NEW BEST:: SOT 231182 SOS 75950 HAS SOPS 75950 HAS SOUS 37147 HAS SOUPS 37147 WITH SCORE 37222.95
AT ITER 3001 NEW BEST:: SOT 231176 SOS 75937 HAS SOPS 75937 HAS SOUS 37146 HAS SOUPS 37146 WITH SCORE 37221.937
AT ITER 3032 NEW BEST:: SOT 231176 SOS 75921 HAS SOPS 75921 HAS SOUS 37138 HAS SOUPS 37138 WITH SCORE 37213.921
AT ITER 3038 NEW BEST:: SOT 231174 SOS 75908 HAS SOPS 75908 HAS SOUS 37127 HAS SOUPS 37127 WITH SCORE 37202.908
AT ITER 3040 NEW BEST:: SOT 231194 SOS 75948 HAS SOPS 75948 HAS SOUS 37109 HAS SOUPS 37109 WITH SCORE 37184.948
AT ITER 3060 NEW BEST:: SOT 231187 SOS 75930 HAS SOPS 75930 HAS SOUS 37102 HAS SOUPS 37102 WITH SCORE 37177.93
AT ITER 3088 NEW BEST:: SOT 231143 SOS 75798 HAS SOPS 75798 HAS SOUS 37080 HAS SOUPS 37080 WITH SCORE 37155.798
AT ITER 3092 NEW BEST:: SOT 231096 SOS 75704 HAS SOPS 75704 HAS SOUS 37071 HAS SOUPS 37071 WITH SCORE 37146.704
AT ITER 3094 NEW BEST:: SOT 230728 SOS 74622 HAS SOPS 74622 HAS SOUS 36909 HAS SOUPS 36909 WITH SCORE 36983.622
AT ITER 3111 NEW BEST:: SOT 230684 SOS 74578 HAS SOPS 74578 HAS SOUS 36857 HAS SOUPS 36857 WITH SCORE 36931.578
AT ITER 3120 NEW BEST:: SOT 230680 SOS 74566 HAS SOPS 74566 HAS SOUS 36855 HAS SOUPS 36855 WITH SCORE 36929.566
AT ITER 3125 NEW BEST:: SOT 230674 SOS 74551 HAS SOPS 74551 HAS SOUS 36855 HAS SOUPS 36855 WITH SCORE 36929.551
AT ITER 3134 NEW BEST:: SOT 230600 SOS 74329 HAS SOPS 74329 HAS SOUS 36818 HAS SOUPS 36818 WITH SCORE 36892.329
AT ITER 3146 NEW BEST:: SOT 230513 SOS 74242 HAS SOPS 74242 HAS SOUS 36731 HAS SOUPS 36731 WITH SCORE 36805.242
AT ITER 3153 NEW BEST:: SOT 230497 SOS 74235 HAS SOPS 74235 HAS SOUS 36665 HAS SOUPS 36665 WITH SCORE 36739.235
AT ITER 3157 NEW BEST:: SOT 230104 SOS 72927 HAS SOPS 72927 HAS SOUS 36109 HAS SOUPS 36109 WITH SCORE 36181.927
AT ITER 3161 NEW BEST:: SOT 230114 SOS 72955 HAS SOPS 72955 HAS SOUS 36105 HAS SOUPS 36105 WITH SCORE 36177.955
AT ITER 3164 NEW BEST:: SOT 230070 SOS 72779 HAS SOPS 72779 HAS SOUS 36090 HAS SOUPS 36090 WITH SCORE 36162.779
AT ITER 3169 NEW BEST:: SOT 230070 SOS 72769 HAS SOPS 72769 HAS SOUS 36080 HAS SOUPS 36080 WITH SCORE 36152.769
AT ITER 3171 NEW BEST:: SOT 230152 SOS 73053 HAS SOPS 73053 HAS SOUS 36053 HAS SOUPS 36053 WITH SCORE 36126.053
AT ITER 3201 NEW BEST:: SOT 230108 SOS 72865 HAS SOPS 72865 HAS SOUS 36007 HAS SOUPS 36007 WITH SCORE 36079.865
AT ITER 3224 NEW BEST:: SOT 230078 SOS 72805 HAS SOPS 72805 HAS SOUS 35992 HAS SOUPS 35992 WITH SCORE 36064.805
AT ITER 3265 NEW BEST:: SOT 230030 SOS 72661 HAS SOPS 72661 HAS SOUS 35968 HAS SOUPS 35968 WITH SCORE 36040.661
AT ITER 3274 NEW BEST:: SOT 230006 SOS 72683 HAS SOPS 72683 HAS SOUS 35935 HAS SOUPS 35935 WITH SCORE 36007.683
AT ITER 3277 NEW BEST:: SOT 230006 SOS 72657 HAS SOPS 72657 HAS SOUS 35935 HAS SOUPS 35935 WITH SCORE 36007.657
AT ITER 3278 NEW BEST:: SOT 229911 SOS 72333 HAS SOPS 72333 HAS SOUS 35826 HAS SOUPS 35826 WITH SCORE 35898.333
AT ITER 3286 NEW BEST:: SOT 229893 SOS 72279 HAS SOPS 72279 HAS SOUS 35817 HAS SOUPS 35817 WITH SCORE 35889.279
AT ITER 3296 NEW BEST:: SOT 229876 SOS 72244 HAS SOPS 72244 HAS SOUS 35779 HAS SOUPS 35779 WITH SCORE 35851.244
AT ITER 3350 NEW BEST:: SOT 229876 SOS 72235 HAS SOPS 72235 HAS SOUS 35682 HAS SOUPS 35682 WITH SCORE 35754.235
AT ITER 3352 NEW BEST:: SOT 229843 SOS 72167 HAS SOPS 72167 HAS SOUS 35605 HAS SOUPS 35605 WITH SCORE 35677.167
AT ITER 3356 NEW BEST:: SOT 229878 SOS 72276 HAS SOPS 72276 HAS SOUS 35600 HAS SOUPS 35600 WITH SCORE 35672.276
AT ITER 3363 NEW BEST:: SOT 229831 SOS 72182 HAS SOPS 72182 HAS SOUS 35553 HAS SOUPS 35553 WITH SCORE 35625.182
AT ITER 3367 NEW BEST:: SOT 229831 SOS 72182 HAS SOPS 72182 HAS SOUS 35551 HAS SOUPS 35551 WITH SCORE 35623.182
AT ITER 3394 NEW BEST:: SOT 229789 SOS 72165 HAS SOPS 72165 HAS SOUS 35480 HAS SOUPS 35480 WITH SCORE 35552.165
AT ITER 3430 NEW BEST:: SOT 229680 SOS 71991 HAS SOPS 71991 HAS SOUS 35421 HAS SOUPS 35421 WITH SCORE 35492.991
AT ITER 3462 NEW BEST:: SOT 229670 SOS 71961 HAS SOPS 71961 HAS SOUS 35406 HAS SOUPS 35406 WITH SCORE 35477.961
AT ITER 3464 NEW BEST:: SOT 229539 SOS 71516 HAS SOPS 71516 HAS SOUS 35286 HAS SOUPS 35286 WITH SCORE 35357.516
AT ITER 3484 NEW BEST:: SOT 229403 SOS 71108 HAS SOPS 71108 HAS SOUS 35212 HAS SOUPS 35212 WITH SCORE 35283.108
AT ITER 3518 NEW BEST:: SOT 229379 SOS 71036 HAS SOPS 71036 HAS SOUS 35200 HAS SOUPS 35200 WITH SCORE 35271.036
AT ITER 3551 NEW BEST:: SOT 229385 SOS 71014 HAS SOPS 71014 HAS SOUS 35185 HAS SOUPS 35185 WITH SCORE 35256.014
AT ITER 3563 NEW BEST:: SOT 229433 SOS 71184 HAS SOPS 71184 HAS SOUS 35173 HAS SOUPS 35173 WITH SCORE 35244.184
AT ITER 3577 NEW BEST:: SOT 228988 SOS 69984 HAS SOPS 69984 HAS SOUS 35101 HAS SOUPS 35101 WITH SCORE 35170.984
AT ITER 3579 NEW BEST:: SOT 228969 SOS 69965 HAS SOPS 69965 HAS SOUS 35082 HAS SOUPS 35082 WITH SCORE 35151.965
AT ITER 3614 NEW BEST:: SOT 228908 SOS 69779 HAS SOPS 69779 HAS SOUS 35041 HAS SOUPS 35041 WITH SCORE 35110.779
AT ITER 3615 NEW BEST:: SOT 228894 SOS 69728 HAS SOPS 69728 HAS SOUS 34934 HAS SOUPS 34934 WITH SCORE 35003.728
AT ITER 3626 NEW BEST:: SOT 228865 SOS 69699 HAS SOPS 69699 HAS SOUS 34905 HAS SOUPS 34905 WITH SCORE 34974.699
AT ITER 3640 NEW BEST:: SOT 228858 SOS 69685 HAS SOPS 69685 HAS SOUS 34905 HAS SOUPS 34905 WITH SCORE 34974.685
AT ITER 3653 NEW BEST:: SOT 228854 SOS 69669 HAS SOPS 69669 HAS SOUS 34905 HAS SOUPS 34905 WITH SCORE 34974.669
AT ITER 3725 NEW BEST:: SOT 228769 SOS 69329 HAS SOPS 69329 HAS SOUS 34833 HAS SOUPS 34833 WITH SCORE 34902.329
AT ITER 3729 NEW BEST:: SOT 228783 SOS 69452 HAS SOPS 69452 HAS SOUS 34809 HAS SOUPS 34809 WITH SCORE 34878.452
AT ITER 3735 NEW BEST:: SOT 228759 SOS 69378 HAS SOPS 69378 HAS SOUS 34673 HAS SOUPS 34673 WITH SCORE 34742.378
AT ITER 3738 NEW BEST:: SOT 228613 SOS 68944 HAS SOPS 68944 HAS SOUS 34667 HAS SOUPS 34667 WITH SCORE 34735.944
AT ITER 3741 NEW BEST:: SOT 228605 SOS 68920 HAS SOPS 68920 HAS SOUS 34659 HAS SOUPS 34659 WITH SCORE 34727.92
AT ITER 3751 NEW BEST:: SOT 228605 SOS 68908 HAS SOPS 68908 HAS SOUS 34653 HAS SOUPS 34653 WITH SCORE 34721.908
AT ITER 3786 NEW BEST:: SOT 228587 SOS 68854 HAS SOPS 68854 HAS SOUS 34644 HAS SOUPS 34644 WITH SCORE 34712.854
AT ITER 3796 NEW BEST:: SOT 228684 SOS 69115 HAS SOPS 69115 HAS SOUS 34623 HAS SOUPS 34623 WITH SCORE 34692.115
AT ITER 3801 NEW BEST:: SOT 228518 SOS 68875 HAS SOPS 68875 HAS SOUS 34421 HAS SOUPS 34421 WITH SCORE 34489.875
AT ITER 3809 NEW BEST:: SOT 228518 SOS 68870 HAS SOPS 68870 HAS SOUS 34416 HAS SOUPS 34416 WITH SCORE 34484.87
AT ITER 3814 NEW BEST:: SOT 228425 SOS 68585 HAS SOPS 68585 HAS SOUS 34383 HAS SOUPS 34383 WITH SCORE 34451.585
AT ITER 3855 NEW BEST:: SOT 228207 SOS 67906 HAS SOPS 67906 HAS SOUS 34278 HAS SOUPS 34278 WITH SCORE 34345.906
AT ITER 3895 NEW BEST:: SOT 228172 SOS 67772 HAS SOPS 67772 HAS SOUS 34195 HAS SOUPS 34195 WITH SCORE 34262.772
AT ITER 3896 NEW BEST:: SOT 228136 SOS 67700 HAS SOPS 67700 HAS SOUS 34159 HAS SOUPS 34159 WITH SCORE 34226.7
AT ITER 3906 NEW BEST:: SOT 228100 SOS 67628 HAS SOPS 67628 HAS SOUS 34159 HAS SOUPS 34159 WITH SCORE 34226.628
AT ITER 3924 NEW BEST:: SOT 228100 SOS 67628 HAS SOPS 67628 HAS SOUS 34153 HAS SOUPS 34153 WITH SCORE 34220.628
AT ITER 3927 NEW BEST:: SOT 228099 SOS 67625 HAS SOPS 67625 HAS SOUS 34153 HAS SOUPS 34153 WITH SCORE 34220.625
AT ITER 3962 NEW BEST:: SOT 228099 SOS 67625 HAS SOPS 67625 HAS SOUS 34127 HAS SOUPS 34127 WITH SCORE 34194.625
AT ITER 4008 NEW BEST:: SOT 228099 SOS 67573 HAS SOPS 67573 HAS SOUS 33947 HAS SOUPS 33947 WITH SCORE 34014.573
AT ITER 4012 NEW BEST:: SOT 228099 SOS 67573 HAS SOPS 67573 HAS SOUS 33903 HAS SOUPS 33903 WITH SCORE 33970.573
AT ITER 4033 NEW BEST:: SOT 228099 SOS 67573 HAS SOPS 67573 HAS SOUS 33879 HAS SOUPS 33879 WITH SCORE 33946.573
AT ITER 4042 NEW BEST:: SOT 228086 SOS 67527 HAS SOPS 67527 HAS SOUS 33876 HAS SOUPS 33876 WITH SCORE 33943.527
AT ITER 4074 NEW BEST:: SOT 228085 SOS 67525 HAS SOPS 67525 HAS SOUS 33876 HAS SOUPS 33876 WITH SCORE 33943.525
AT ITER 4120 NEW BEST:: SOT 228142 SOS 67639 HAS SOPS 67639 HAS SOUS 33839 HAS SOUPS 33839 WITH SCORE 33906.639
AT ITER 4134 NEW BEST:: SOT 228156 SOS 67694 HAS SOPS 67694 HAS SOUS 33838 HAS SOUPS 33838 WITH SCORE 33905.694
AT ITER 4138 NEW BEST:: SOT 228156 SOS 67615 HAS SOPS 67615 HAS SOUS 33759 HAS SOUPS 33759 WITH SCORE 33826.615
AT ITER 4143 NEW BEST:: SOT 228120 SOS 67525 HAS SOPS 67525 HAS SOUS 33759 HAS SOUPS 33759 WITH SCORE 33826.525
AT ITER 4148 NEW BEST:: SOT 227930 SOS 67066 HAS SOPS 67066 HAS SOUS 33610 HAS SOUPS 33610 WITH SCORE 33677.066
AT ITER 4157 NEW BEST:: SOT 227930 SOS 67055 HAS SOPS 67055 HAS SOUS 33599 HAS SOUPS 33599 WITH SCORE 33666.055
AT ITER 4168 NEW BEST:: SOT 227896 SOS 66987 HAS SOPS 66987 HAS SOUS 33558 HAS SOUPS 33558 WITH SCORE 33624.987
AT ITER 4196 NEW BEST:: SOT 227739 SOS 66451 HAS SOPS 66451 HAS SOUS 33290 HAS SOUPS 33290 WITH SCORE 33356.451
AT ITER 4202 NEW BEST:: SOT 227606 SOS 66185 HAS SOPS 66185 HAS SOUS 33290 HAS SOUPS 33290 WITH SCORE 33356.185
AT ITER 4239 NEW BEST:: SOT 227384 SOS 65623 HAS SOPS 65623 HAS SOUS 33213 HAS SOUPS 33213 WITH SCORE 33278.623
AT ITER 4240 NEW BEST:: SOT 227384 SOS 65623 HAS SOPS 65623 HAS SOUS 33205 HAS SOUPS 33205 WITH SCORE 33270.623
AT ITER 4244 NEW BEST:: SOT 227369 SOS 65593 HAS SOPS 65593 HAS SOUS 33190 HAS SOUPS 33190 WITH SCORE 33255.593
AT ITER 4249 NEW BEST:: SOT 227302 SOS 65485 HAS SOPS 65485 HAS SOUS 33149 HAS SOUPS 33149 WITH SCORE 33214.485
AT ITER 4255 NEW BEST:: SOT 227347 SOS 65493 HAS SOPS 65493 HAS SOUS 33130 HAS SOUPS 33130 WITH SCORE 33195.493
AT ITER 4287 NEW BEST:: SOT 227169 SOS 65010 HAS SOPS 65010 HAS SOUS 33036 HAS SOUPS 33036 WITH SCORE 33101.01
AT ITER 4289 NEW BEST:: SOT 227139 SOS 64989 HAS SOPS 64989 HAS SOUS 32983 HAS SOUPS 32983 WITH SCORE 33047.989
AT ITER 4300 NEW BEST:: SOT 227165 SOS 65051 HAS SOPS 65051 HAS SOUS 32973 HAS SOUPS 32973 WITH SCORE 33038.051
AT ITER 4339 NEW BEST:: SOT 227038 SOS 64573 HAS SOPS 64573 HAS SOUS 32886 HAS SOUPS 32886 WITH SCORE 32950.573
AT ITER 4347 NEW BEST:: SOT 226988 SOS 64323 HAS SOPS 64323 HAS SOUS 32832 HAS SOUPS 32832 WITH SCORE 32896.323
AT ITER 4417 NEW BEST:: SOT 226891 SOS 64061 HAS SOPS 64061 HAS SOUS 32764 HAS SOUPS 32764 WITH SCORE 32828.061
AT ITER 4451 NEW BEST:: SOT 226843 SOS 63965 HAS SOPS 63965 HAS SOUS 32644 HAS SOUPS 32644 WITH SCORE 32707.965
AT ITER 4465 NEW BEST:: SOT 226765 SOS 63748 HAS SOPS 63748 HAS SOUS 32622 HAS SOUPS 32622 WITH SCORE 32685.748
AT ITER 4488 NEW BEST:: SOT 226750 SOS 63703 HAS SOPS 63703 HAS SOUS 32622 HAS SOUPS 32622 WITH SCORE 32685.703
AT ITER 4498 NEW BEST:: SOT 226904 SOS 64081 HAS SOPS 64081 HAS SOUS 32617 HAS SOUPS 32617 WITH SCORE 32681.081
AT ITER 4514 NEW BEST:: SOT 226831 SOS 63831 HAS SOPS 63831 HAS SOUS 32492 HAS SOUPS 32492 WITH SCORE 32555.831
AT ITER 4530 NEW BEST:: SOT 226820 SOS 63753 HAS SOPS 63753 HAS SOUS 32479 HAS SOUPS 32479 WITH SCORE 32542.753
AT ITER 4531 NEW BEST:: SOT 226823 SOS 63771 HAS SOPS 63771 HAS SOUS 32458 HAS SOUPS 32458 WITH SCORE 32521.771
AT ITER 4572 NEW BEST:: SOT 226818 SOS 63761 HAS SOPS 63761 HAS SOUS 32453 HAS SOUPS 32453 WITH SCORE 32516.761
AT ITER 4586 NEW BEST:: SOT 226822 SOS 63764 HAS SOPS 63764 HAS SOUS 32452 HAS SOUPS 32452 WITH SCORE 32515.764
AT ITER 4591 NEW BEST:: SOT 226821 SOS 63757 HAS SOPS 63757 HAS SOUS 32404 HAS SOUPS 32404 WITH SCORE 32467.757
AT ITER 4603 NEW BEST:: SOT 226818 SOS 63751 HAS SOPS 63751 HAS SOUS 32401 HAS SOUPS 32401 WITH SCORE 32464.751
AT ITER 4636 NEW BEST:: SOT 226815 SOS 63745 HAS SOPS 63745 HAS SOUS 32398 HAS SOUPS 32398 WITH SCORE 32461.745
AT ITER 4643 NEW BEST:: SOT 226833 SOS 63797 HAS SOPS 63797 HAS SOUS 32396 HAS SOUPS 32396 WITH SCORE 32459.797
AT ITER 4679 NEW BEST:: SOT 226825 SOS 63773 HAS SOPS 63773 HAS SOUS 32392 HAS SOUPS 32392 WITH SCORE 32455.773
AT ITER 4692 NEW BEST:: SOT 226818 SOS 63759 HAS SOPS 63759 HAS SOUS 32386 HAS SOUPS 32386 WITH SCORE 32449.759
AT ITER 4711 NEW BEST:: SOT 226755 SOS 63633 HAS SOPS 63633 HAS SOUS 32323 HAS SOUPS 32323 WITH SCORE 32386.633
AT ITER 4713 NEW BEST:: SOT 226726 SOS 63575 HAS SOPS 63575 HAS SOUS 32323 HAS SOUPS 32323 WITH SCORE 32386.575
AT ITER 4727 NEW BEST:: SOT 226717 SOS 63557 HAS SOPS 63557 HAS SOUS 32287 HAS SOUPS 32287 WITH SCORE 32350.557
AT ITER 4728 NEW BEST:: SOT 226631 SOS 63184 HAS SOPS 63184 HAS SOUS 32243 HAS SOUPS 32243 WITH SCORE 32306.184
AT ITER 4741 NEW BEST:: SOT 226651 SOS 63248 HAS SOPS 63248 HAS SOUS 32227 HAS SOUPS 32227 WITH SCORE 32290.248
AT ITER 4756 NEW BEST:: SOT 226555 SOS 62971 HAS SOPS 62971 HAS SOUS 32190 HAS SOUPS 32190 WITH SCORE 32252.971
AT ITER 4767 NEW BEST:: SOT 226525 SOS 62881 HAS SOPS 62881 HAS SOUS 32175 HAS SOUPS 32175 WITH SCORE 32237.881
AT ITER 4795 NEW BEST:: SOT 226448 SOS 62793 HAS SOPS 62793 HAS SOUS 32083 HAS SOUPS 32083 WITH SCORE 32145.793
AT ITER 4824 NEW BEST:: SOT 226509 SOS 63073 HAS SOPS 63073 HAS SOUS 32064 HAS SOUPS 32064 WITH SCORE 32127.073
AT ITER 4936 NEW BEST:: SOT 226479 SOS 63013 HAS SOPS 63013 HAS SOUS 32054 HAS SOUPS 32054 WITH SCORE 32117.013
AT ITER 4961 NEW BEST:: SOT 226475 SOS 63005 HAS SOPS 63005 HAS SOUS 32042 HAS SOUPS 32042 WITH SCORE 32105.005
AT ITER 4989 NEW BEST:: SOT 226407 SOS 62801 HAS SOPS 62801 HAS SOUS 31940 HAS SOUPS 31940 WITH SCORE 32002.801
AT ITER 4999 NEW BEST:: SOT 226181 SOS 62218 HAS SOPS 62218 HAS SOUS 31890 HAS SOUPS 31890 WITH SCORE 31952.218
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-00 (EF(potential( ( 2 ) <= (tk(P65)) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-01 ( (! (! (! ( potential( ( 3 ) <= (tk(P198)) ) & potential( (tk(P460)) <= (tk(P335)) ) )))) & (EF(( ( potential( ( 3 ) <= (tk(P442)) ) & potential( (tk(P78)) <= (tk(P289)) ) ) & (! potential( ( 3 ) <= (tk(P119)) )) ))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-02 ( (! ( (! (! potential( (tk(P416)) <= (tk(P85)) ))) | (AX( potential( ( 1 ) <= (tk(P390)) ))) )) | (EF((EG( potential( ( 3 ) <= (tk(P113)) ))))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-03 ( potential( ( 1 ) <= (tk(P164)) ) | (EG( ( ( potential( ( 3 ) <= (tk(P432)) ) & potential( ( 1 ) <= (tk(P61)) ) ) | ( potential( ( 2 ) <= (tk(P173)) ) | potential( (tk(P193)) <= (tk(P114)) ) ) ))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-04 (EU( potential( (tk(P392)) <= (tk(P366)) ),( potential( ( 1 ) <= (tk(P327)) ) & ( potential( ( 2 ) <= (tk(P18)) ) & potential( ( 2 ) <= (tk(P119)) ) ) ) ))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-05 (EU( (! potential( ( 3 ) <= (tk(P289)) )),(AX( potential( ( 3 ) <= (tk(P125)) ))) ))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-06 ( (EG( (EF(potential( (tk(P255)) <= (tk(P400)) ))))) & (EF(potential( ( 2 ) <= (tk(P41)) ))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-07 (AG( (AX( (! potential( ( 2 ) <= (tk(P25)) ))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-08 (EG( (AF(( potential( ( 2 ) <= (tk(P503)) ) & potential( (tk(P457)) <= (tk(P315)) ) )))))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-09 (AG( (AG( ( potential( (tk(P253)) <= (tk(P18)) ) & potential( (tk(P418)) <= (tk(P9)) ) )))))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-10 (AF((AG( ( potential( ( 3 ) <= (tk(P222)) ) & potential( (tk(P86)) <= (tk(P200)) ) )))))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-11 ( (AF((EX( potential( ( 2 ) <= (tk(P110)) ))))) & potential( (tk(P300)) <= (tk(P143)) ) )
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-12 (EF((AG( potential( ( 3 ) <= (tk(P486)) )))))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-13 ( (! (EG( potential( ( 1 ) <= (tk(P110)) )))) & ( ( potential( ( 2 ) <= (tk(P312)) ) | (AF(potential( ( 2 ) <= (tk(P495)) ))) ) & (! ( potential( ( 3 ) <= (tk(P509)) ) | ( potential( ( 1 ) <= (tk(P364)) ) & potential( ( 3 ) <= (tk(P83)) ) ) )) ) )
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-14 (AF((! (EG( potential( (tk(P77)) <= (tk(P36)) ))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLCardinality-15 ( (EG( (! (! potential( (tk(P18)) <= (tk(P444)) ))))) & (AF((! ( potential( ( 2 ) <= (tk(P232)) ) | potential( (tk(P356)) <= (tk(P445)) ) )))) )

BK_STOP 1590477122948

--------------------
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: 469 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="ViralEpidemic-PT-S04D1C1A03"
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 ViralEpidemic-PT-S04D1C1A03, 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 r224-oct2-159033538900531"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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