fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r224-oct2-159033538900500
Last Updated
Jun 28, 2020

About the Execution of smart for ViralEpidemic-PT-S03D1C1A04

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.970 3600000.00 3587048.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538900500.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-S03D1C1A04, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900500
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 792K
-rw-r--r-- 1 mcc users 4.2K May 14 04:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 04:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 22:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 22:34 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.6K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.8K May 13 15:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 15:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K May 13 11:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 11:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 615K 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-S03D1C1A04-CTLFireability-00
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLFireability-01
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLFireability-02
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLFireability-03
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLFireability-04
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLFireability-05
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLFireability-06
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLFireability-07
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLFireability-08
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLFireability-09
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLFireability-10
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLFireability-11
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLFireability-12
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLFireability-13
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLFireability-14
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590473517051

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S03D1C1A04
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 606 places, 847 transitions, 1936 arcs.
AT ITER 0 NEW BEST:: SOT 354234 SOS 192601 HAS SOPS 192601 HAS SOUS 75293 HAS SOUPS 75293 WITH SCORE 75485.601
AT ITER 10 NEW BEST:: SOT 353479 SOS 191349 HAS SOPS 191349 HAS SOUS 75081 HAS SOUPS 75081 WITH SCORE 75272.349
AT ITER 14 NEW BEST:: SOT 353089 SOS 190567 HAS SOPS 190567 HAS SOUS 75077 HAS SOUPS 75077 WITH SCORE 75267.567
AT ITER 17 NEW BEST:: SOT 352895 SOS 190179 HAS SOPS 190179 HAS SOUS 75077 HAS SOUPS 75077 WITH SCORE 75267.179
AT ITER 24 NEW BEST:: SOT 352655 SOS 189697 HAS SOPS 189697 HAS SOUS 75073 HAS SOUPS 75073 WITH SCORE 75262.697
AT ITER 27 NEW BEST:: SOT 351875 SOS 188354 HAS SOPS 188354 HAS SOUS 74863 HAS SOUPS 74863 WITH SCORE 75051.354
AT ITER 43 NEW BEST:: SOT 351489 SOS 187580 HAS SOPS 187580 HAS SOUS 74859 HAS SOUPS 74859 WITH SCORE 75046.58
AT ITER 46 NEW BEST:: SOT 351267 SOS 187134 HAS SOPS 187134 HAS SOUS 74855 HAS SOUPS 74855 WITH SCORE 75042.134
AT ITER 54 NEW BEST:: SOT 351267 SOS 187132 HAS SOPS 187132 HAS SOUS 74851 HAS SOUPS 74851 WITH SCORE 75038.132
AT ITER 65 NEW BEST:: SOT 350925 SOS 186448 HAS SOPS 186448 HAS SOUS 74851 HAS SOUPS 74851 WITH SCORE 75037.448
AT ITER 67 NEW BEST:: SOT 350643 SOS 185883 HAS SOPS 185883 HAS SOUS 74850 HAS SOUPS 74850 WITH SCORE 75035.883
AT ITER 70 NEW BEST:: SOT 350141 SOS 184685 HAS SOPS 184685 HAS SOUS 74716 HAS SOUPS 74716 WITH SCORE 74900.685
AT ITER 82 NEW BEST:: SOT 350115 SOS 184633 HAS SOPS 184633 HAS SOUS 74716 HAS SOUPS 74716 WITH SCORE 74900.633
AT ITER 85 NEW BEST:: SOT 349899 SOS 184200 HAS SOPS 184200 HAS SOUS 74715 HAS SOUPS 74715 WITH SCORE 74899.2
AT ITER 92 NEW BEST:: SOT 349639 SOS 183679 HAS SOPS 183679 HAS SOUS 74714 HAS SOUPS 74714 WITH SCORE 74897.679
AT ITER 123 NEW BEST:: SOT 349555 SOS 183511 HAS SOPS 183511 HAS SOUS 74714 HAS SOUPS 74714 WITH SCORE 74897.511
AT ITER 133 NEW BEST:: SOT 349301 SOS 183001 HAS SOPS 183001 HAS SOUS 74710 HAS SOUPS 74710 WITH SCORE 74893.001
AT ITER 143 NEW BEST:: SOT 348781 SOS 181960 HAS SOPS 181960 HAS SOUS 74709 HAS SOUPS 74709 WITH SCORE 74890.96
AT ITER 156 NEW BEST:: SOT 348683 SOS 181763 HAS SOPS 181763 HAS SOUS 74708 HAS SOUPS 74708 WITH SCORE 74889.763
AT ITER 162 NEW BEST:: SOT 348217 SOS 180829 HAS SOPS 180829 HAS SOUS 74704 HAS SOUPS 74704 WITH SCORE 74884.829
AT ITER 167 NEW BEST:: SOT 347895 SOS 180183 HAS SOPS 180183 HAS SOUS 74700 HAS SOUPS 74700 WITH SCORE 74880.183
AT ITER 176 NEW BEST:: SOT 347443 SOS 179277 HAS SOPS 179277 HAS SOUS 74696 HAS SOUPS 74696 WITH SCORE 74875.277
AT ITER 179 NEW BEST:: SOT 347371 SOS 179132 HAS SOPS 179132 HAS SOUS 74695 HAS SOUPS 74695 WITH SCORE 74874.132
AT ITER 180 NEW BEST:: SOT 346945 SOS 178278 HAS SOPS 178278 HAS SOUS 74691 HAS SOUPS 74691 WITH SCORE 74869.278
AT ITER 190 NEW BEST:: SOT 346791 SOS 177970 HAS SOPS 177970 HAS SOUS 74691 HAS SOUPS 74691 WITH SCORE 74868.97
AT ITER 194 NEW BEST:: SOT 346435 SOS 177258 HAS SOPS 177258 HAS SOUS 74691 HAS SOUPS 74691 WITH SCORE 74868.258
AT ITER 198 NEW BEST:: SOT 346247 SOS 176880 HAS SOPS 176880 HAS SOUS 74687 HAS SOUPS 74687 WITH SCORE 74863.88
AT ITER 210 NEW BEST:: SOT 345775 SOS 175936 HAS SOPS 175936 HAS SOUS 74687 HAS SOUPS 74687 WITH SCORE 74862.936
AT ITER 227 NEW BEST:: SOT 345507 SOS 175398 HAS SOPS 175398 HAS SOUS 74683 HAS SOUPS 74683 WITH SCORE 74858.398
AT ITER 235 NEW BEST:: SOT 345233 SOS 174848 HAS SOPS 174848 HAS SOUS 74679 HAS SOUPS 74679 WITH SCORE 74853.848
AT ITER 240 NEW BEST:: SOT 344857 SOS 174094 HAS SOPS 174094 HAS SOUS 74675 HAS SOUPS 74675 WITH SCORE 74849.094
AT ITER 248 NEW BEST:: SOT 344857 SOS 174093 HAS SOPS 174093 HAS SOUS 74674 HAS SOUPS 74674 WITH SCORE 74848.093
AT ITER 252 NEW BEST:: SOT 344545 SOS 173467 HAS SOPS 173467 HAS SOUS 74670 HAS SOUPS 74670 WITH SCORE 74843.467
AT ITER 256 NEW BEST:: SOT 344208 SOS 172677 HAS SOPS 172677 HAS SOUS 74617 HAS SOUPS 74617 WITH SCORE 74789.677
AT ITER 271 NEW BEST:: SOT 343553 SOS 171597 HAS SOPS 171597 HAS SOUS 74486 HAS SOUPS 74486 WITH SCORE 74657.597
AT ITER 278 NEW BEST:: SOT 343475 SOS 171441 HAS SOPS 171441 HAS SOUS 74486 HAS SOUPS 74486 WITH SCORE 74657.441
AT ITER 283 NEW BEST:: SOT 343323 SOS 171061 HAS SOPS 171061 HAS SOUS 74410 HAS SOUPS 74410 WITH SCORE 74581.061
AT ITER 284 NEW BEST:: SOT 343121 SOS 170622 HAS SOPS 170622 HAS SOUS 74375 HAS SOUPS 74375 WITH SCORE 74545.622
AT ITER 288 NEW BEST:: SOT 342925 SOS 170172 HAS SOPS 170172 HAS SOUS 74317 HAS SOUPS 74317 WITH SCORE 74487.172
AT ITER 292 NEW BEST:: SOT 342895 SOS 170112 HAS SOPS 170112 HAS SOUS 74287 HAS SOUPS 74287 WITH SCORE 74457.112
AT ITER 303 NEW BEST:: SOT 342930 SOS 170182 HAS SOPS 170182 HAS SOUS 74252 HAS SOUPS 74252 WITH SCORE 74422.182
AT ITER 319 NEW BEST:: SOT 342711 SOS 169611 HAS SOPS 169611 HAS SOUS 74212 HAS SOUPS 74212 WITH SCORE 74381.611
AT ITER 322 NEW BEST:: SOT 342643 SOS 169441 HAS SOPS 169441 HAS SOUS 74110 HAS SOUPS 74110 WITH SCORE 74279.441
AT ITER 324 NEW BEST:: SOT 342319 SOS 168791 HAS SOPS 168791 HAS SOUS 74106 HAS SOUPS 74106 WITH SCORE 74274.791
AT ITER 327 NEW BEST:: SOT 342039 SOS 168229 HAS SOPS 168229 HAS SOUS 74102 HAS SOUPS 74102 WITH SCORE 74270.229
AT ITER 337 NEW BEST:: SOT 341993 SOS 168137 HAS SOPS 168137 HAS SOUS 74102 HAS SOUPS 74102 WITH SCORE 74270.137
AT ITER 348 NEW BEST:: SOT 341707 SOS 167427 HAS SOPS 167427 HAS SOUS 73964 HAS SOUPS 73964 WITH SCORE 74131.427
AT ITER 359 NEW BEST:: SOT 341445 SOS 166800 HAS SOPS 166800 HAS SOUS 73787 HAS SOUPS 73787 WITH SCORE 73953.8
AT ITER 429 NEW BEST:: SOT 341349 SOS 166608 HAS SOPS 166608 HAS SOUS 73787 HAS SOUPS 73787 WITH SCORE 73953.608
AT ITER 435 NEW BEST:: SOT 341241 SOS 166391 HAS SOPS 166391 HAS SOUS 73786 HAS SOUPS 73786 WITH SCORE 73952.391
AT ITER 443 NEW BEST:: SOT 341014 SOS 165843 HAS SOPS 165843 HAS SOUS 73675 HAS SOUPS 73675 WITH SCORE 73840.843
AT ITER 460 NEW BEST:: SOT 340758 SOS 165331 HAS SOPS 165331 HAS SOUS 73675 HAS SOUPS 73675 WITH SCORE 73840.331
AT ITER 467 NEW BEST:: SOT 340626 SOS 165065 HAS SOPS 165065 HAS SOUS 73671 HAS SOUPS 73671 WITH SCORE 73836.065
AT ITER 472 NEW BEST:: SOT 340512 SOS 164793 HAS SOPS 164793 HAS SOUS 73625 HAS SOUPS 73625 WITH SCORE 73789.793
AT ITER 480 NEW BEST:: SOT 340446 SOS 164661 HAS SOPS 164661 HAS SOUS 73539 HAS SOUPS 73539 WITH SCORE 73703.661
AT ITER 494 NEW BEST:: SOT 340420 SOS 164511 HAS SOPS 164511 HAS SOUS 73415 HAS SOUPS 73415 WITH SCORE 73579.511
AT ITER 499 NEW BEST:: SOT 340098 SOS 163844 HAS SOPS 163844 HAS SOUS 73408 HAS SOUPS 73408 WITH SCORE 73571.844
AT ITER 500 NEW BEST:: SOT 339901 SOS 163450 HAS SOPS 163450 HAS SOUS 73211 HAS SOUPS 73211 WITH SCORE 73374.45
AT ITER 514 NEW BEST:: SOT 339543 SOS 162642 HAS SOPS 162642 HAS SOUS 73139 HAS SOUPS 73139 WITH SCORE 73301.642
AT ITER 523 NEW BEST:: SOT 339383 SOS 162321 HAS SOPS 162321 HAS SOUS 73138 HAS SOUPS 73138 WITH SCORE 73300.321
AT ITER 526 NEW BEST:: SOT 339411 SOS 162239 HAS SOPS 162239 HAS SOUS 73061 HAS SOUPS 73061 WITH SCORE 73223.239
AT ITER 554 NEW BEST:: SOT 339329 SOS 162052 HAS SOPS 162052 HAS SOUS 73038 HAS SOUPS 73038 WITH SCORE 73200.052
AT ITER 555 NEW BEST:: SOT 339313 SOS 162019 HAS SOPS 162019 HAS SOUS 73037 HAS SOUPS 73037 WITH SCORE 73199.019
AT ITER 567 NEW BEST:: SOT 339225 SOS 161758 HAS SOPS 161758 HAS SOUS 73034 HAS SOUPS 73034 WITH SCORE 73195.758
AT ITER 582 NEW BEST:: SOT 339137 SOS 161580 HAS SOPS 161580 HAS SOUS 73030 HAS SOUPS 73030 WITH SCORE 73191.58
AT ITER 585 NEW BEST:: SOT 339043 SOS 161390 HAS SOPS 161390 HAS SOUS 73028 HAS SOUPS 73028 WITH SCORE 73189.39
AT ITER 601 NEW BEST:: SOT 338911 SOS 161060 HAS SOPS 161060 HAS SOUS 72962 HAS SOUPS 72962 WITH SCORE 73123.06
AT ITER 606 NEW BEST:: SOT 338621 SOS 160335 HAS SOPS 160335 HAS SOUS 72767 HAS SOUPS 72767 WITH SCORE 72927.335
AT ITER 611 NEW BEST:: SOT 338407 SOS 159812 HAS SOPS 159812 HAS SOUS 72692 HAS SOUPS 72692 WITH SCORE 72851.812
AT ITER 617 NEW BEST:: SOT 338313 SOS 159623 HAS SOPS 159623 HAS SOUS 72691 HAS SOUPS 72691 WITH SCORE 72850.623
AT ITER 629 NEW BEST:: SOT 337649 SOS 158471 HAS SOPS 158471 HAS SOUS 72645 HAS SOUPS 72645 WITH SCORE 72803.471
AT ITER 646 NEW BEST:: SOT 337178 SOS 157404 HAS SOPS 157404 HAS SOUS 72569 HAS SOUPS 72569 WITH SCORE 72726.404
AT ITER 655 NEW BEST:: SOT 336683 SOS 156473 HAS SOPS 156473 HAS SOUS 72502 HAS SOUPS 72502 WITH SCORE 72658.473
AT ITER 663 NEW BEST:: SOT 336435 SOS 155975 HAS SOPS 155975 HAS SOUS 72498 HAS SOUPS 72498 WITH SCORE 72653.975
AT ITER 687 NEW BEST:: SOT 336318 SOS 155642 HAS SOPS 155642 HAS SOUS 72418 HAS SOUPS 72418 WITH SCORE 72573.642
AT ITER 688 NEW BEST:: SOT 336297 SOS 155606 HAS SOPS 155606 HAS SOUS 72410 HAS SOUPS 72410 WITH SCORE 72565.606
AT ITER 689 NEW BEST:: SOT 336111 SOS 155233 HAS SOPS 155233 HAS SOUS 72409 HAS SOUPS 72409 WITH SCORE 72564.233
AT ITER 711 NEW BEST:: SOT 336069 SOS 155147 HAS SOPS 155147 HAS SOUS 72405 HAS SOUPS 72405 WITH SCORE 72560.147
AT ITER 727 NEW BEST:: SOT 335867 SOS 154642 HAS SOPS 154642 HAS SOUS 72302 HAS SOUPS 72302 WITH SCORE 72456.642
AT ITER 737 NEW BEST:: SOT 335817 SOS 154506 HAS SOPS 154506 HAS SOUS 72287 HAS SOUPS 72287 WITH SCORE 72441.506
AT ITER 739 NEW BEST:: SOT 335378 SOS 153521 HAS SOPS 153521 HAS SOUS 72219 HAS SOUPS 72219 WITH SCORE 72372.521
AT ITER 747 NEW BEST:: SOT 335308 SOS 153380 HAS SOPS 153380 HAS SOUS 72218 HAS SOUPS 72218 WITH SCORE 72371.38
AT ITER 756 NEW BEST:: SOT 335258 SOS 153274 HAS SOPS 153274 HAS SOUS 72212 HAS SOUPS 72212 WITH SCORE 72365.274
AT ITER 758 NEW BEST:: SOT 335264 SOS 153286 HAS SOPS 153286 HAS SOUS 72206 HAS SOUPS 72206 WITH SCORE 72359.286
AT ITER 762 NEW BEST:: SOT 335225 SOS 152977 HAS SOPS 152977 HAS SOUS 72159 HAS SOUPS 72159 WITH SCORE 72311.977
AT ITER 766 NEW BEST:: SOT 335164 SOS 152794 HAS SOPS 152794 HAS SOUS 72037 HAS SOUPS 72037 WITH SCORE 72189.794
AT ITER 784 NEW BEST:: SOT 335138 SOS 152729 HAS SOPS 152729 HAS SOUS 72024 HAS SOUPS 72024 WITH SCORE 72176.729
AT ITER 791 NEW BEST:: SOT 334791 SOS 152190 HAS SOPS 152190 HAS SOUS 71996 HAS SOUPS 71996 WITH SCORE 72148.19
AT ITER 795 NEW BEST:: SOT 334601 SOS 151810 HAS SOPS 151810 HAS SOUS 71996 HAS SOUPS 71996 WITH SCORE 72147.81
AT ITER 799 NEW BEST:: SOT 334092 SOS 150951 HAS SOPS 150951 HAS SOUS 71927 HAS SOUPS 71927 WITH SCORE 72077.951
AT ITER 801 NEW BEST:: SOT 333887 SOS 150445 HAS SOPS 150445 HAS SOUS 71922 HAS SOUPS 71922 WITH SCORE 72072.445
AT ITER 850 NEW BEST:: SOT 333645 SOS 149840 HAS SOPS 149840 HAS SOUS 71799 HAS SOUPS 71799 WITH SCORE 71948.84
AT ITER 851 NEW BEST:: SOT 333645 SOS 149808 HAS SOPS 149808 HAS SOUS 71767 HAS SOUPS 71767 WITH SCORE 71916.808
AT ITER 865 NEW BEST:: SOT 333353 SOS 149224 HAS SOPS 149224 HAS SOUS 71638 HAS SOUPS 71638 WITH SCORE 71787.224
AT ITER 879 NEW BEST:: SOT 332681 SOS 147728 HAS SOPS 147728 HAS SOUS 71252 HAS SOUPS 71252 WITH SCORE 71399.728
AT ITER 880 NEW BEST:: SOT 332433 SOS 147230 HAS SOPS 147230 HAS SOUS 71248 HAS SOUPS 71248 WITH SCORE 71395.23
AT ITER 881 NEW BEST:: SOT 332433 SOS 147178 HAS SOPS 147178 HAS SOUS 71198 HAS SOUPS 71198 WITH SCORE 71345.178
AT ITER 906 NEW BEST:: SOT 332093 SOS 146680 HAS SOPS 146680 HAS SOUS 71190 HAS SOUPS 71190 WITH SCORE 71336.68
AT ITER 908 NEW BEST:: SOT 331621 SOS 145735 HAS SOPS 145735 HAS SOUS 71189 HAS SOUPS 71189 WITH SCORE 71334.735
AT ITER 920 NEW BEST:: SOT 331121 SOS 144927 HAS SOPS 144927 HAS SOUS 71106 HAS SOUPS 71106 WITH SCORE 71250.927
AT ITER 960 NEW BEST:: SOT 330943 SOS 144571 HAS SOPS 144571 HAS SOUS 71106 HAS SOUPS 71106 WITH SCORE 71250.571
AT ITER 972 NEW BEST:: SOT 330331 SOS 143528 HAS SOPS 143528 HAS SOUS 71088 HAS SOUPS 71088 WITH SCORE 71231.528
AT ITER 976 NEW BEST:: SOT 330328 SOS 143522 HAS SOPS 143522 HAS SOUS 71084 HAS SOUPS 71084 WITH SCORE 71227.522
AT ITER 984 NEW BEST:: SOT 329782 SOS 142193 HAS SOPS 142193 HAS SOUS 70843 HAS SOUPS 70843 WITH SCORE 70985.193
AT ITER 992 NEW BEST:: SOT 329696 SOS 141877 HAS SOPS 141877 HAS SOUS 70683 HAS SOUPS 70683 WITH SCORE 70824.877
AT ITER 993 NEW BEST:: SOT 329631 SOS 141814 HAS SOPS 141814 HAS SOUS 70615 HAS SOUPS 70615 WITH SCORE 70756.814
AT ITER 1017 NEW BEST:: SOT 329473 SOS 141376 HAS SOPS 141376 HAS SOUS 70551 HAS SOUPS 70551 WITH SCORE 70692.376
AT ITER 1018 NEW BEST:: SOT 328966 SOS 140283 HAS SOPS 140283 HAS SOUS 70533 HAS SOUPS 70533 WITH SCORE 70673.283
AT ITER 1019 NEW BEST:: SOT 328774 SOS 139899 HAS SOPS 139899 HAS SOUS 70403 HAS SOUPS 70403 WITH SCORE 70542.899
AT ITER 1024 NEW BEST:: SOT 328808 SOS 139509 HAS SOPS 139509 HAS SOUS 70312 HAS SOUPS 70312 WITH SCORE 70451.509
AT ITER 1033 NEW BEST:: SOT 328462 SOS 138817 HAS SOPS 138817 HAS SOUS 70312 HAS SOUPS 70312 WITH SCORE 70450.817
AT ITER 1074 NEW BEST:: SOT 328012 SOS 137915 HAS SOPS 137915 HAS SOUS 70308 HAS SOUPS 70308 WITH SCORE 70445.915
AT ITER 1080 NEW BEST:: SOT 327521 SOS 136810 HAS SOPS 136810 HAS SOUS 70242 HAS SOUPS 70242 WITH SCORE 70378.81
AT ITER 1081 NEW BEST:: SOT 327347 SOS 136749 HAS SOPS 136749 HAS SOUS 70165 HAS SOUPS 70165 WITH SCORE 70301.749
AT ITER 1082 NEW BEST:: SOT 327105 SOS 136264 HAS SOPS 136264 HAS SOUS 70164 HAS SOUPS 70164 WITH SCORE 70300.264
AT ITER 1098 NEW BEST:: SOT 327101 SOS 136256 HAS SOPS 136256 HAS SOUS 70164 HAS SOUPS 70164 WITH SCORE 70300.256
AT ITER 1102 NEW BEST:: SOT 326923 SOS 135899 HAS SOPS 135899 HAS SOUS 70163 HAS SOUPS 70163 WITH SCORE 70298.899
AT ITER 1116 NEW BEST:: SOT 326939 SOS 135734 HAS SOPS 135734 HAS SOUS 70092 HAS SOUPS 70092 WITH SCORE 70227.734
AT ITER 1132 NEW BEST:: SOT 326971 SOS 135798 HAS SOPS 135798 HAS SOUS 70060 HAS SOUPS 70060 WITH SCORE 70195.798
AT ITER 1147 NEW BEST:: SOT 326971 SOS 135739 HAS SOPS 135739 HAS SOUS 70001 HAS SOUPS 70001 WITH SCORE 70136.739
AT ITER 1154 NEW BEST:: SOT 326737 SOS 135154 HAS SOPS 135154 HAS SOUS 69666 HAS SOUPS 69666 WITH SCORE 69801.154
AT ITER 1163 NEW BEST:: SOT 326672 SOS 135090 HAS SOPS 135090 HAS SOUS 69600 HAS SOUPS 69600 WITH SCORE 69735.09
AT ITER 1174 NEW BEST:: SOT 326483 SOS 134712 HAS SOPS 134712 HAS SOUS 69348 HAS SOUPS 69348 WITH SCORE 69482.712
AT ITER 1190 NEW BEST:: SOT 326483 SOS 134682 HAS SOPS 134682 HAS SOUS 69318 HAS SOUPS 69318 WITH SCORE 69452.682
AT ITER 1193 NEW BEST:: SOT 326415 SOS 134478 HAS SOPS 134478 HAS SOUS 69318 HAS SOUPS 69318 WITH SCORE 69452.478
AT ITER 1195 NEW BEST:: SOT 326249 SOS 134146 HAS SOPS 134146 HAS SOUS 69189 HAS SOUPS 69189 WITH SCORE 69323.146
AT ITER 1207 NEW BEST:: SOT 326231 SOS 134128 HAS SOPS 134128 HAS SOUS 69171 HAS SOUPS 69171 WITH SCORE 69305.128
AT ITER 1211 NEW BEST:: SOT 326125 SOS 133811 HAS SOPS 133811 HAS SOUS 69170 HAS SOUPS 69170 WITH SCORE 69303.811
AT ITER 1214 NEW BEST:: SOT 326124 SOS 133810 HAS SOPS 133810 HAS SOUS 69167 HAS SOUPS 69167 WITH SCORE 69300.81
AT ITER 1224 NEW BEST:: SOT 326084 SOS 133729 HAS SOPS 133729 HAS SOUS 69166 HAS SOUPS 69166 WITH SCORE 69299.729
AT ITER 1228 NEW BEST:: SOT 326077 SOS 133715 HAS SOPS 133715 HAS SOUS 69161 HAS SOUPS 69161 WITH SCORE 69294.715
AT ITER 1246 NEW BEST:: SOT 326077 SOS 133660 HAS SOPS 133660 HAS SOUS 69106 HAS SOUPS 69106 WITH SCORE 69239.66
AT ITER 1256 NEW BEST:: SOT 325777 SOS 132874 HAS SOPS 132874 HAS SOUS 68806 HAS SOUPS 68806 WITH SCORE 68938.874
AT ITER 1258 NEW BEST:: SOT 325777 SOS 132791 HAS SOPS 132791 HAS SOUS 68557 HAS SOUPS 68557 WITH SCORE 68689.791
AT ITER 1283 NEW BEST:: SOT 325355 SOS 131947 HAS SOPS 131947 HAS SOUS 68355 HAS SOUPS 68355 WITH SCORE 68486.947
AT ITER 1292 NEW BEST:: SOT 325205 SOS 131614 HAS SOPS 131614 HAS SOUS 68306 HAS SOUPS 68306 WITH SCORE 68437.614
AT ITER 1300 NEW BEST:: SOT 325071 SOS 131263 HAS SOPS 131263 HAS SOUS 68255 HAS SOUPS 68255 WITH SCORE 68386.263
AT ITER 1314 NEW BEST:: SOT 324839 SOS 130667 HAS SOPS 130667 HAS SOUS 68112 HAS SOUPS 68112 WITH SCORE 68242.667
AT ITER 1319 NEW BEST:: SOT 324617 SOS 130205 HAS SOPS 130205 HAS SOUS 67918 HAS SOUPS 67918 WITH SCORE 68048.205
AT ITER 1349 NEW BEST:: SOT 324494 SOS 129957 HAS SOPS 129957 HAS SOUS 67870 HAS SOUPS 67870 WITH SCORE 67999.957
AT ITER 1401 NEW BEST:: SOT 323902 SOS 128548 HAS SOPS 128548 HAS SOUS 67501 HAS SOUPS 67501 WITH SCORE 67629.548
AT ITER 1403 NEW BEST:: SOT 323902 SOS 128530 HAS SOPS 128530 HAS SOUS 67447 HAS SOUPS 67447 WITH SCORE 67575.53
AT ITER 1405 NEW BEST:: SOT 323526 SOS 127656 HAS SOPS 127656 HAS SOUS 67405 HAS SOUPS 67405 WITH SCORE 67532.656
AT ITER 1416 NEW BEST:: SOT 323422 SOS 127412 HAS SOPS 127412 HAS SOUS 67369 HAS SOUPS 67369 WITH SCORE 67496.412
AT ITER 1424 NEW BEST:: SOT 323444 SOS 127464 HAS SOPS 127464 HAS SOUS 67355 HAS SOUPS 67355 WITH SCORE 67482.464
AT ITER 1429 NEW BEST:: SOT 323385 SOS 127346 HAS SOPS 127346 HAS SOUS 67296 HAS SOUPS 67296 WITH SCORE 67423.346
AT ITER 1430 NEW BEST:: SOT 323368 SOS 127312 HAS SOPS 127312 HAS SOUS 67279 HAS SOUPS 67279 WITH SCORE 67406.312
AT ITER 1431 NEW BEST:: SOT 323294 SOS 127198 HAS SOPS 127198 HAS SOUS 67277 HAS SOUPS 67277 WITH SCORE 67404.198
AT ITER 1441 NEW BEST:: SOT 323277 SOS 127183 HAS SOPS 127183 HAS SOUS 67257 HAS SOUPS 67257 WITH SCORE 67384.183
AT ITER 1445 NEW BEST:: SOT 323273 SOS 127173 HAS SOPS 127173 HAS SOUS 67255 HAS SOUPS 67255 WITH SCORE 67382.173
AT ITER 1450 NEW BEST:: SOT 323191 SOS 126968 HAS SOPS 126968 HAS SOUS 67214 HAS SOUPS 67214 WITH SCORE 67340.968
AT ITER 1454 NEW BEST:: SOT 323125 SOS 126834 HAS SOPS 126834 HAS SOUS 67212 HAS SOUPS 67212 WITH SCORE 67338.834
AT ITER 1459 NEW BEST:: SOT 323097 SOS 126778 HAS SOPS 126778 HAS SOUS 67100 HAS SOUPS 67100 WITH SCORE 67226.778
AT ITER 1481 NEW BEST:: SOT 322929 SOS 126442 HAS SOPS 126442 HAS SOUS 66876 HAS SOUPS 66876 WITH SCORE 67002.442
AT ITER 1517 NEW BEST:: SOT 322658 SOS 125663 HAS SOPS 125663 HAS SOUS 66505 HAS SOUPS 66505 WITH SCORE 66630.663
AT ITER 1543 NEW BEST:: SOT 322616 SOS 125597 HAS SOPS 125597 HAS SOUS 66419 HAS SOUPS 66419 WITH SCORE 66544.597
AT ITER 1547 NEW BEST:: SOT 322613 SOS 125551 HAS SOPS 125551 HAS SOUS 66382 HAS SOUPS 66382 WITH SCORE 66507.551
AT ITER 1555 NEW BEST:: SOT 322573 SOS 125451 HAS SOPS 125451 HAS SOUS 66362 HAS SOUPS 66362 WITH SCORE 66487.451
AT ITER 1559 NEW BEST:: SOT 322513 SOS 125301 HAS SOPS 125301 HAS SOUS 66272 HAS SOUPS 66272 WITH SCORE 66397.301
AT ITER 1571 NEW BEST:: SOT 322405 SOS 125121 HAS SOPS 125121 HAS SOUS 66236 HAS SOUPS 66236 WITH SCORE 66361.121
AT ITER 1579 NEW BEST:: SOT 322506 SOS 125332 HAS SOPS 125332 HAS SOUS 66151 HAS SOUPS 66151 WITH SCORE 66276.332
AT ITER 1591 NEW BEST:: SOT 322464 SOS 125227 HAS SOPS 125227 HAS SOUS 66128 HAS SOUPS 66128 WITH SCORE 66253.227
AT ITER 1601 NEW BEST:: SOT 322464 SOS 125168 HAS SOPS 125168 HAS SOUS 65951 HAS SOUPS 65951 WITH SCORE 66076.168
AT ITER 1603 NEW BEST:: SOT 322458 SOS 125156 HAS SOPS 125156 HAS SOUS 65939 HAS SOUPS 65939 WITH SCORE 66064.156
AT ITER 1618 NEW BEST:: SOT 322130 SOS 124442 HAS SOPS 124442 HAS SOUS 65934 HAS SOUPS 65934 WITH SCORE 66058.442
AT ITER 1621 NEW BEST:: SOT 322079 SOS 124370 HAS SOPS 124370 HAS SOUS 65934 HAS SOUPS 65934 WITH SCORE 66058.37
AT ITER 1641 NEW BEST:: SOT 321927 SOS 124004 HAS SOPS 124004 HAS SOUS 65832 HAS SOUPS 65832 WITH SCORE 65956.004
AT ITER 1643 NEW BEST:: SOT 321799 SOS 123684 HAS SOPS 123684 HAS SOUS 65640 HAS SOUPS 65640 WITH SCORE 65763.684
AT ITER 1652 NEW BEST:: SOT 321383 SOS 122852 HAS SOPS 122852 HAS SOUS 65369 HAS SOUPS 65369 WITH SCORE 65491.852
AT ITER 1657 NEW BEST:: SOT 321382 SOS 122850 HAS SOPS 122850 HAS SOUS 65368 HAS SOUPS 65368 WITH SCORE 65490.85
AT ITER 1659 NEW BEST:: SOT 320785 SOS 121791 HAS SOPS 121791 HAS SOUS 65151 HAS SOUPS 65151 WITH SCORE 65272.791
AT ITER 1665 NEW BEST:: SOT 320747 SOS 121715 HAS SOPS 121715 HAS SOUS 65129 HAS SOUPS 65129 WITH SCORE 65250.715
AT ITER 1676 NEW BEST:: SOT 320613 SOS 121447 HAS SOPS 121447 HAS SOUS 65129 HAS SOUPS 65129 WITH SCORE 65250.447
AT ITER 1679 NEW BEST:: SOT 320626 SOS 121459 HAS SOPS 121459 HAS SOUS 65128 HAS SOUPS 65128 WITH SCORE 65249.459
AT ITER 1681 NEW BEST:: SOT 320500 SOS 121207 HAS SOPS 121207 HAS SOUS 65128 HAS SOUPS 65128 WITH SCORE 65249.207
AT ITER 1693 NEW BEST:: SOT 320168 SOS 120500 HAS SOPS 120500 HAS SOUS 64741 HAS SOUPS 64741 WITH SCORE 64861.5
AT ITER 1730 NEW BEST:: SOT 320181 SOS 120526 HAS SOPS 120526 HAS SOUS 64728 HAS SOUPS 64728 WITH SCORE 64848.526
AT ITER 1745 NEW BEST:: SOT 320163 SOS 120489 HAS SOPS 120489 HAS SOUS 64727 HAS SOUPS 64727 WITH SCORE 64847.489
AT ITER 1757 NEW BEST:: SOT 320037 SOS 120042 HAS SOPS 120042 HAS SOUS 64384 HAS SOUPS 64384 WITH SCORE 64504.042
AT ITER 1760 NEW BEST:: SOT 319765 SOS 119457 HAS SOPS 119457 HAS SOUS 64371 HAS SOUPS 64371 WITH SCORE 64490.457
AT ITER 1770 NEW BEST:: SOT 319643 SOS 119184 HAS SOPS 119184 HAS SOUS 64352 HAS SOUPS 64352 WITH SCORE 64471.184
AT ITER 1782 NEW BEST:: SOT 319644 SOS 119016 HAS SOPS 119016 HAS SOUS 63877 HAS SOUPS 63877 WITH SCORE 63996.016
AT ITER 1786 NEW BEST:: SOT 319567 SOS 118810 HAS SOPS 118810 HAS SOUS 63804 HAS SOUPS 63804 WITH SCORE 63922.81
AT ITER 1798 NEW BEST:: SOT 319273 SOS 118138 HAS SOPS 118138 HAS SOUS 63636 HAS SOUPS 63636 WITH SCORE 63754.138
AT ITER 1811 NEW BEST:: SOT 319308 SOS 118208 HAS SOPS 118208 HAS SOUS 63623 HAS SOUPS 63623 WITH SCORE 63741.208
AT ITER 1813 NEW BEST:: SOT 319256 SOS 118104 HAS SOPS 118104 HAS SOUS 63593 HAS SOUPS 63593 WITH SCORE 63711.104
AT ITER 1818 NEW BEST:: SOT 319410 SOS 118540 HAS SOPS 118540 HAS SOUS 63547 HAS SOUPS 63547 WITH SCORE 63665.54
AT ITER 1831 NEW BEST:: SOT 319339 SOS 118398 HAS SOPS 118398 HAS SOUS 63476 HAS SOUPS 63476 WITH SCORE 63594.398
AT ITER 1835 NEW BEST:: SOT 319321 SOS 118362 HAS SOPS 118362 HAS SOUS 63467 HAS SOUPS 63467 WITH SCORE 63585.362
AT ITER 1859 NEW BEST:: SOT 319314 SOS 118351 HAS SOPS 118351 HAS SOUS 63467 HAS SOUPS 63467 WITH SCORE 63585.351
AT ITER 1864 NEW BEST:: SOT 319021 SOS 117765 HAS SOPS 117765 HAS SOUS 63281 HAS SOUPS 63281 WITH SCORE 63398.765
AT ITER 1875 NEW BEST:: SOT 318520 SOS 116761 HAS SOPS 116761 HAS SOUS 62995 HAS SOUPS 62995 WITH SCORE 63111.761
AT ITER 1877 NEW BEST:: SOT 318534 SOS 116802 HAS SOPS 116802 HAS SOUS 62994 HAS SOUPS 62994 WITH SCORE 63110.802
AT ITER 1892 NEW BEST:: SOT 318436 SOS 116572 HAS SOPS 116572 HAS SOUS 62960 HAS SOUPS 62960 WITH SCORE 63076.572
AT ITER 1914 NEW BEST:: SOT 318509 SOS 116737 HAS SOPS 116737 HAS SOUS 62902 HAS SOUPS 62902 WITH SCORE 63018.737
AT ITER 1936 NEW BEST:: SOT 318414 SOS 116642 HAS SOPS 116642 HAS SOUS 62803 HAS SOUPS 62803 WITH SCORE 62919.642
AT ITER 1941 NEW BEST:: SOT 318388 SOS 116585 HAS SOPS 116585 HAS SOUS 62759 HAS SOUPS 62759 WITH SCORE 62875.585
AT ITER 1950 NEW BEST:: SOT 318286 SOS 116330 HAS SOPS 116330 HAS SOUS 62606 HAS SOUPS 62606 WITH SCORE 62722.33
AT ITER 1954 NEW BEST:: SOT 317866 SOS 115342 HAS SOPS 115342 HAS SOUS 62272 HAS SOUPS 62272 WITH SCORE 62387.342
AT ITER 1959 NEW BEST:: SOT 317866 SOS 115279 HAS SOPS 115279 HAS SOUS 62151 HAS SOUPS 62151 WITH SCORE 62266.279
AT ITER 1963 NEW BEST:: SOT 317866 SOS 115210 HAS SOPS 115210 HAS SOUS 62144 HAS SOUPS 62144 WITH SCORE 62259.21
AT ITER 1976 NEW BEST:: SOT 317777 SOS 114923 HAS SOPS 114923 HAS SOUS 61972 HAS SOUPS 61972 WITH SCORE 62086.923
AT ITER 1982 NEW BEST:: SOT 317797 SOS 114966 HAS SOPS 114966 HAS SOUS 61755 HAS SOUPS 61755 WITH SCORE 61869.966
AT ITER 1987 NEW BEST:: SOT 317327 SOS 114026 HAS SOPS 114026 HAS SOUS 61231 HAS SOUPS 61231 WITH SCORE 61345.026
AT ITER 2005 NEW BEST:: SOT 317273 SOS 113893 HAS SOPS 113893 HAS SOUS 61231 HAS SOUPS 61231 WITH SCORE 61344.893
AT ITER 2040 NEW BEST:: SOT 317273 SOS 113820 HAS SOPS 113820 HAS SOUS 61012 HAS SOUPS 61012 WITH SCORE 61125.82
AT ITER 2043 NEW BEST:: SOT 317218 SOS 113651 HAS SOPS 113651 HAS SOUS 60897 HAS SOUPS 60897 WITH SCORE 61010.651
AT ITER 2055 NEW BEST:: SOT 317241 SOS 113567 HAS SOPS 113567 HAS SOUS 60851 HAS SOUPS 60851 WITH SCORE 60964.567
AT ITER 2064 NEW BEST:: SOT 316907 SOS 112897 HAS SOPS 112897 HAS SOUS 60847 HAS SOUPS 60847 WITH SCORE 60959.897
AT ITER 2072 NEW BEST:: SOT 316907 SOS 112898 HAS SOPS 112898 HAS SOUS 60846 HAS SOUPS 60846 WITH SCORE 60958.898
AT ITER 2098 NEW BEST:: SOT 316857 SOS 112897 HAS SOPS 112897 HAS SOUS 60845 HAS SOUPS 60845 WITH SCORE 60957.897
AT ITER 2112 NEW BEST:: SOT 316773 SOS 112729 HAS SOPS 112729 HAS SOUS 60845 HAS SOUPS 60845 WITH SCORE 60957.729
AT ITER 2116 NEW BEST:: SOT 316741 SOS 112452 HAS SOPS 112452 HAS SOUS 60775 HAS SOUPS 60775 WITH SCORE 60887.452
AT ITER 2125 NEW BEST:: SOT 316705 SOS 112380 HAS SOPS 112380 HAS SOUS 60739 HAS SOUPS 60739 WITH SCORE 60851.38
AT ITER 2133 NEW BEST:: SOT 316014 SOS 110966 HAS SOPS 110966 HAS SOUS 59823 HAS SOUPS 59823 WITH SCORE 59933.966
AT ITER 2134 NEW BEST:: SOT 315774 SOS 110353 HAS SOPS 110353 HAS SOUS 59688 HAS SOUPS 59688 WITH SCORE 59798.353
AT ITER 2139 NEW BEST:: SOT 315758 SOS 110321 HAS SOPS 110321 HAS SOUS 59672 HAS SOUPS 59672 WITH SCORE 59782.321
AT ITER 2144 NEW BEST:: SOT 315758 SOS 110290 HAS SOPS 110290 HAS SOUS 59641 HAS SOUPS 59641 WITH SCORE 59751.29
AT ITER 2146 NEW BEST:: SOT 315424 SOS 109501 HAS SOPS 109501 HAS SOUS 59550 HAS SOUPS 59550 WITH SCORE 59659.501
AT ITER 2196 NEW BEST:: SOT 314974 SOS 108553 HAS SOPS 108553 HAS SOUS 59514 HAS SOUPS 59514 WITH SCORE 59622.553
AT ITER 2198 NEW BEST:: SOT 314856 SOS 108258 HAS SOPS 108258 HAS SOUS 59455 HAS SOUPS 59455 WITH SCORE 59563.258
AT ITER 2216 NEW BEST:: SOT 314832 SOS 108210 HAS SOPS 108210 HAS SOUS 59417 HAS SOUPS 59417 WITH SCORE 59525.21
AT ITER 2218 NEW BEST:: SOT 314832 SOS 108210 HAS SOPS 108210 HAS SOUS 59415 HAS SOUPS 59415 WITH SCORE 59523.21
AT ITER 2240 NEW BEST:: SOT 314621 SOS 107837 HAS SOPS 107837 HAS SOUS 59363 HAS SOUPS 59363 WITH SCORE 59470.837
AT ITER 2245 NEW BEST:: SOT 314591 SOS 107762 HAS SOPS 107762 HAS SOUS 59348 HAS SOUPS 59348 WITH SCORE 59455.762
AT ITER 2315 NEW BEST:: SOT 314463 SOS 107442 HAS SOPS 107442 HAS SOUS 59284 HAS SOUPS 59284 WITH SCORE 59391.442
AT ITER 2339 NEW BEST:: SOT 314455 SOS 107426 HAS SOPS 107426 HAS SOUS 59284 HAS SOUPS 59284 WITH SCORE 59391.426
AT ITER 2340 NEW BEST:: SOT 314432 SOS 107370 HAS SOPS 107370 HAS SOUS 59254 HAS SOUPS 59254 WITH SCORE 59361.37
AT ITER 2346 NEW BEST:: SOT 314389 SOS 107327 HAS SOPS 107327 HAS SOUS 59209 HAS SOUPS 59209 WITH SCORE 59316.327
AT ITER 2370 NEW BEST:: SOT 314183 SOS 106812 HAS SOPS 106812 HAS SOUS 59106 HAS SOUPS 59106 WITH SCORE 59212.812
AT ITER 2384 NEW BEST:: SOT 314162 SOS 106805 HAS SOPS 106805 HAS SOUS 59101 HAS SOUPS 59101 WITH SCORE 59207.805
AT ITER 2389 NEW BEST:: SOT 313862 SOS 106126 HAS SOPS 106126 HAS SOUS 59000 HAS SOUPS 59000 WITH SCORE 59106.126
AT ITER 2396 NEW BEST:: SOT 313874 SOS 106126 HAS SOPS 106126 HAS SOUS 58988 HAS SOUPS 58988 WITH SCORE 59094.126
AT ITER 2398 NEW BEST:: SOT 313457 SOS 105061 HAS SOPS 105061 HAS SOUS 58811 HAS SOUPS 58811 WITH SCORE 58916.061
AT ITER 2408 NEW BEST:: SOT 313245 SOS 104538 HAS SOPS 104538 HAS SOUS 58594 HAS SOUPS 58594 WITH SCORE 58698.538
AT ITER 2417 NEW BEST:: SOT 313245 SOS 104538 HAS SOPS 104538 HAS SOUS 58548 HAS SOUPS 58548 WITH SCORE 58652.538
AT ITER 2421 NEW BEST:: SOT 313133 SOS 104448 HAS SOPS 104448 HAS SOUS 58458 HAS SOUPS 58458 WITH SCORE 58562.448
AT ITER 2425 NEW BEST:: SOT 313079 SOS 104291 HAS SOPS 104291 HAS SOUS 58095 HAS SOUPS 58095 WITH SCORE 58199.291
AT ITER 2427 NEW BEST:: SOT 313053 SOS 104270 HAS SOPS 104270 HAS SOUS 58064 HAS SOUPS 58064 WITH SCORE 58168.27
AT ITER 2436 NEW BEST:: SOT 312759 SOS 103535 HAS SOPS 103535 HAS SOUS 57771 HAS SOUPS 57771 WITH SCORE 57874.535
AT ITER 2447 NEW BEST:: SOT 312758 SOS 103533 HAS SOPS 103533 HAS SOUS 57760 HAS SOUPS 57760 WITH SCORE 57863.533
AT ITER 2453 NEW BEST:: SOT 312690 SOS 103465 HAS SOPS 103465 HAS SOUS 57760 HAS SOUPS 57760 WITH SCORE 57863.465
AT ITER 2469 NEW BEST:: SOT 312713 SOS 103511 HAS SOPS 103511 HAS SOUS 57737 HAS SOUPS 57737 WITH SCORE 57840.511
AT ITER 2499 NEW BEST:: SOT 312503 SOS 103045 HAS SOPS 103045 HAS SOUS 57734 HAS SOUPS 57734 WITH SCORE 57837.045
AT ITER 2509 NEW BEST:: SOT 312489 SOS 103025 HAS SOPS 103025 HAS SOUS 57734 HAS SOUPS 57734 WITH SCORE 57837.025
AT ITER 2526 NEW BEST:: SOT 312505 SOS 102936 HAS SOPS 102936 HAS SOUS 57627 HAS SOUPS 57627 WITH SCORE 57729.936
AT ITER 2529 NEW BEST:: SOT 312393 SOS 102745 HAS SOPS 102745 HAS SOUS 57617 HAS SOUPS 57617 WITH SCORE 57719.745
AT ITER 2552 NEW BEST:: SOT 312213 SOS 102357 HAS SOPS 102357 HAS SOUS 57585 HAS SOUPS 57585 WITH SCORE 57687.357
AT ITER 2589 NEW BEST:: SOT 312255 SOS 102479 HAS SOPS 102479 HAS SOUS 57581 HAS SOUPS 57581 WITH SCORE 57683.479
AT ITER 2592 NEW BEST:: SOT 312248 SOS 102457 HAS SOPS 102457 HAS SOUS 57581 HAS SOUPS 57581 WITH SCORE 57683.457
AT ITER 2614 NEW BEST:: SOT 312126 SOS 102152 HAS SOPS 102152 HAS SOUS 57520 HAS SOUPS 57520 WITH SCORE 57622.152
AT ITER 2626 NEW BEST:: SOT 312124 SOS 102150 HAS SOPS 102150 HAS SOUS 57518 HAS SOUPS 57518 WITH SCORE 57620.15
AT ITER 2628 NEW BEST:: SOT 312083 SOS 101991 HAS SOPS 101991 HAS SOUS 57299 HAS SOUPS 57299 WITH SCORE 57400.991
AT ITER 2637 NEW BEST:: SOT 312081 SOS 101987 HAS SOPS 101987 HAS SOUS 57297 HAS SOUPS 57297 WITH SCORE 57398.987
AT ITER 2650 NEW BEST:: SOT 312090 SOS 101988 HAS SOPS 101988 HAS SOUS 57264 HAS SOUPS 57264 WITH SCORE 57365.988
AT ITER 2651 NEW BEST:: SOT 311997 SOS 101802 HAS SOPS 101802 HAS SOUS 57141 HAS SOUPS 57141 WITH SCORE 57242.802
AT ITER 2652 NEW BEST:: SOT 311991 SOS 101790 HAS SOPS 101790 HAS SOUS 57134 HAS SOUPS 57134 WITH SCORE 57235.79
AT ITER 2655 NEW BEST:: SOT 311991 SOS 101686 HAS SOPS 101686 HAS SOUS 56822 HAS SOUPS 56822 WITH SCORE 56923.686
AT ITER 2668 NEW BEST:: SOT 311991 SOS 101686 HAS SOPS 101686 HAS SOUS 56772 HAS SOUPS 56772 WITH SCORE 56873.686
AT ITER 2669 NEW BEST:: SOT 311930 SOS 101679 HAS SOPS 101679 HAS SOUS 56749 HAS SOUPS 56749 WITH SCORE 56850.679
AT ITER 2681 NEW BEST:: SOT 311893 SOS 101276 HAS SOPS 101276 HAS SOUS 56300 HAS SOUPS 56300 WITH SCORE 56401.276
AT ITER 2716 NEW BEST:: SOT 311671 SOS 100693 HAS SOPS 100693 HAS SOUS 56251 HAS SOUPS 56251 WITH SCORE 56351.693
AT ITER 2720 NEW BEST:: SOT 311565 SOS 100481 HAS SOPS 100481 HAS SOUS 56251 HAS SOUPS 56251 WITH SCORE 56351.481
AT ITER 2727 NEW BEST:: SOT 311539 SOS 100429 HAS SOPS 100429 HAS SOUS 56186 HAS SOUPS 56186 WITH SCORE 56286.429
AT ITER 2729 NEW BEST:: SOT 311293 SOS 99937 HAS SOPS 99937 HAS SOUS 55858 HAS SOUPS 55858 WITH SCORE 55957.937
AT ITER 2742 NEW BEST:: SOT 311293 SOS 99937 HAS SOPS 99937 HAS SOUS 55856 HAS SOUPS 55856 WITH SCORE 55955.937
AT ITER 2754 NEW BEST:: SOT 310921 SOS 99388 HAS SOPS 99388 HAS SOUS 55762 HAS SOUPS 55762 WITH SCORE 55861.388
AT ITER 2755 NEW BEST:: SOT 310839 SOS 99347 HAS SOPS 99347 HAS SOUS 55756 HAS SOUPS 55756 WITH SCORE 55855.347
AT ITER 2782 NEW BEST:: SOT 310786 SOS 99241 HAS SOPS 99241 HAS SOUS 55673 HAS SOUPS 55673 WITH SCORE 55772.241
AT ITER 2805 NEW BEST:: SOT 310778 SOS 99225 HAS SOPS 99225 HAS SOUS 55665 HAS SOUPS 55665 WITH SCORE 55764.225
AT ITER 2807 NEW BEST:: SOT 310749 SOS 99111 HAS SOPS 99111 HAS SOUS 55580 HAS SOUPS 55580 WITH SCORE 55679.111
AT ITER 2820 NEW BEST:: SOT 310731 SOS 99092 HAS SOPS 99092 HAS SOUS 55548 HAS SOUPS 55548 WITH SCORE 55647.092
AT ITER 2832 NEW BEST:: SOT 310712 SOS 99054 HAS SOPS 99054 HAS SOUS 55548 HAS SOUPS 55548 WITH SCORE 55647.054
AT ITER 2834 NEW BEST:: SOT 310634 SOS 98898 HAS SOPS 98898 HAS SOUS 55470 HAS SOUPS 55470 WITH SCORE 55568.898
AT ITER 2843 NEW BEST:: SOT 310580 SOS 98790 HAS SOPS 98790 HAS SOUS 55441 HAS SOUPS 55441 WITH SCORE 55539.79
AT ITER 2845 NEW BEST:: SOT 310274 SOS 98042 HAS SOPS 98042 HAS SOUS 55035 HAS SOUPS 55035 WITH SCORE 55133.042
AT ITER 2856 NEW BEST:: SOT 310248 SOS 97989 HAS SOPS 97989 HAS SOUS 55034 HAS SOUPS 55034 WITH SCORE 55131.989
AT ITER 2899 NEW BEST:: SOT 310221 SOS 97935 HAS SOPS 97935 HAS SOUS 54999 HAS SOUPS 54999 WITH SCORE 55096.935
AT ITER 2906 NEW BEST:: SOT 310092 SOS 97689 HAS SOPS 97689 HAS SOUS 54952 HAS SOUPS 54952 WITH SCORE 55049.689
AT ITER 2914 NEW BEST:: SOT 310078 SOS 97661 HAS SOPS 97661 HAS SOUS 54952 HAS SOUPS 54952 WITH SCORE 55049.661
AT ITER 2925 NEW BEST:: SOT 310060 SOS 97625 HAS SOPS 97625 HAS SOUS 54928 HAS SOUPS 54928 WITH SCORE 55025.625
AT ITER 2941 NEW BEST:: SOT 309860 SOS 97225 HAS SOPS 97225 HAS SOUS 54822 HAS SOUPS 54822 WITH SCORE 54919.225
AT ITER 2988 NEW BEST:: SOT 309919 SOS 97212 HAS SOPS 97212 HAS SOUS 54757 HAS SOUPS 54757 WITH SCORE 54854.212
AT ITER 2991 NEW BEST:: SOT 309929 SOS 97273 HAS SOPS 97273 HAS SOUS 54726 HAS SOUPS 54726 WITH SCORE 54823.273
AT ITER 3023 NEW BEST:: SOT 309870 SOS 97055 HAS SOPS 97055 HAS SOUS 54613 HAS SOUPS 54613 WITH SCORE 54710.055
AT ITER 3029 NEW BEST:: SOT 309716 SOS 96747 HAS SOPS 96747 HAS SOUS 54413 HAS SOUPS 54413 WITH SCORE 54509.747
AT ITER 3030 NEW BEST:: SOT 309600 SOS 96457 HAS SOPS 96457 HAS SOUS 54245 HAS SOUPS 54245 WITH SCORE 54341.457
AT ITER 3041 NEW BEST:: SOT 309588 SOS 96427 HAS SOPS 96427 HAS SOUS 54227 HAS SOUPS 54227 WITH SCORE 54323.427
AT ITER 3056 NEW BEST:: SOT 309363 SOS 96063 HAS SOPS 96063 HAS SOUS 54184 HAS SOUPS 54184 WITH SCORE 54280.063
AT ITER 3066 NEW BEST:: SOT 309360 SOS 96054 HAS SOPS 96054 HAS SOUS 54184 HAS SOUPS 54184 WITH SCORE 54280.054
AT ITER 3070 NEW BEST:: SOT 309360 SOS 96045 HAS SOPS 96045 HAS SOUS 54153 HAS SOUPS 54153 WITH SCORE 54249.045
AT ITER 3112 NEW BEST:: SOT 309072 SOS 95368 HAS SOPS 95368 HAS SOUS 53978 HAS SOUPS 53978 WITH SCORE 54073.368
AT ITER 3115 NEW BEST:: SOT 309066 SOS 95354 HAS SOPS 95354 HAS SOUS 53970 HAS SOUPS 53970 WITH SCORE 54065.354
AT ITER 3133 NEW BEST:: SOT 308975 SOS 95159 HAS SOPS 95159 HAS SOUS 53877 HAS SOUPS 53877 WITH SCORE 53972.159
AT ITER 3202 NEW BEST:: SOT 308955 SOS 95119 HAS SOPS 95119 HAS SOUS 53848 HAS SOUPS 53848 WITH SCORE 53943.119
AT ITER 3206 NEW BEST:: SOT 308966 SOS 95122 HAS SOPS 95122 HAS SOUS 53816 HAS SOUPS 53816 WITH SCORE 53911.122
AT ITER 3231 NEW BEST:: SOT 308126 SOS 93521 HAS SOPS 93521 HAS SOUS 53351 HAS SOUPS 53351 WITH SCORE 53444.521
AT ITER 3238 NEW BEST:: SOT 307606 SOS 92224 HAS SOPS 92224 HAS SOUS 53094 HAS SOUPS 53094 WITH SCORE 53186.224
AT ITER 3256 NEW BEST:: SOT 307604 SOS 91975 HAS SOPS 91975 HAS SOUS 52970 HAS SOUPS 52970 WITH SCORE 53061.975
AT ITER 3284 NEW BEST:: SOT 307604 SOS 91968 HAS SOPS 91968 HAS SOUS 52963 HAS SOUPS 52963 WITH SCORE 53054.968
AT ITER 3296 NEW BEST:: SOT 307826 SOS 92477 HAS SOPS 92477 HAS SOUS 52950 HAS SOUPS 52950 WITH SCORE 53042.477
AT ITER 3298 NEW BEST:: SOT 307807 SOS 92359 HAS SOPS 92359 HAS SOUS 52903 HAS SOUPS 52903 WITH SCORE 52995.359
AT ITER 3304 NEW BEST:: SOT 307717 SOS 92299 HAS SOPS 92299 HAS SOUS 52797 HAS SOUPS 52797 WITH SCORE 52889.299
AT ITER 3318 NEW BEST:: SOT 307607 SOS 92079 HAS SOPS 92079 HAS SOUS 52674 HAS SOUPS 52674 WITH SCORE 52766.079
AT ITER 3325 NEW BEST:: SOT 307492 SOS 91759 HAS SOPS 91759 HAS SOUS 52669 HAS SOUPS 52669 WITH SCORE 52760.759
AT ITER 3353 NEW BEST:: SOT 307442 SOS 91659 HAS SOPS 91659 HAS SOUS 52611 HAS SOUPS 52611 WITH SCORE 52702.659
AT ITER 3373 NEW BEST:: SOT 307180 SOS 91016 HAS SOPS 91016 HAS SOUS 52371 HAS SOUPS 52371 WITH SCORE 52462.016
AT ITER 3409 NEW BEST:: SOT 307176 SOS 91008 HAS SOPS 91008 HAS SOUS 52371 HAS SOUPS 52371 WITH SCORE 52462.008
AT ITER 3418 NEW BEST:: SOT 307127 SOS 90844 HAS SOPS 90844 HAS SOUS 52354 HAS SOUPS 52354 WITH SCORE 52444.844
AT ITER 3430 NEW BEST:: SOT 307143 SOS 90862 HAS SOPS 90862 HAS SOUS 52241 HAS SOUPS 52241 WITH SCORE 52331.862
AT ITER 3435 NEW BEST:: SOT 307187 SOS 90975 HAS SOPS 90975 HAS SOUS 52234 HAS SOUPS 52234 WITH SCORE 52324.975
AT ITER 3450 NEW BEST:: SOT 307180 SOS 90961 HAS SOPS 90961 HAS SOUS 52227 HAS SOUPS 52227 WITH SCORE 52317.961
AT ITER 3453 NEW BEST:: SOT 307090 SOS 90813 HAS SOPS 90813 HAS SOUS 52202 HAS SOUPS 52202 WITH SCORE 52292.813
AT ITER 3456 NEW BEST:: SOT 307026 SOS 90685 HAS SOPS 90685 HAS SOUS 52054 HAS SOUPS 52054 WITH SCORE 52144.685
AT ITER 3461 NEW BEST:: SOT 307019 SOS 90671 HAS SOPS 90671 HAS SOUS 52026 HAS SOUPS 52026 WITH SCORE 52116.671
AT ITER 3520 NEW BEST:: SOT 306952 SOS 90537 HAS SOPS 90537 HAS SOUS 52004 HAS SOUPS 52004 WITH SCORE 52094.537
AT ITER 3535 NEW BEST:: SOT 306833 SOS 90299 HAS SOPS 90299 HAS SOUS 51855 HAS SOUPS 51855 WITH SCORE 51945.299
AT ITER 3539 NEW BEST:: SOT 306797 SOS 90227 HAS SOPS 90227 HAS SOUS 51819 HAS SOUPS 51819 WITH SCORE 51909.227
AT ITER 3561 NEW BEST:: SOT 306854 SOS 90252 HAS SOPS 90252 HAS SOUS 51810 HAS SOUPS 51810 WITH SCORE 51900.252
AT ITER 3569 NEW BEST:: SOT 306728 SOS 89932 HAS SOPS 89932 HAS SOUS 51762 HAS SOUPS 51762 WITH SCORE 51851.932
AT ITER 3580 NEW BEST:: SOT 306727 SOS 89930 HAS SOPS 89930 HAS SOUS 51761 HAS SOUPS 51761 WITH SCORE 51850.93
AT ITER 3582 NEW BEST:: SOT 306705 SOS 89886 HAS SOPS 89886 HAS SOUS 51761 HAS SOUPS 51761 WITH SCORE 51850.886
AT ITER 3608 NEW BEST:: SOT 306671 SOS 89818 HAS SOPS 89818 HAS SOUS 51761 HAS SOUPS 51761 WITH SCORE 51850.818
AT ITER 3615 NEW BEST:: SOT 306648 SOS 89783 HAS SOPS 89783 HAS SOUS 51761 HAS SOUPS 51761 WITH SCORE 51850.783
AT ITER 3619 NEW BEST:: SOT 306529 SOS 89545 HAS SOPS 89545 HAS SOUS 51285 HAS SOUPS 51285 WITH SCORE 51374.545
AT ITER 3626 NEW BEST:: SOT 306147 SOS 88624 HAS SOPS 88624 HAS SOUS 50972 HAS SOUPS 50972 WITH SCORE 51060.624
AT ITER 3653 NEW BEST:: SOT 306099 SOS 88486 HAS SOPS 88486 HAS SOUS 50850 HAS SOUPS 50850 WITH SCORE 50938.486
AT ITER 3655 NEW BEST:: SOT 306079 SOS 88466 HAS SOPS 88466 HAS SOUS 50828 HAS SOUPS 50828 WITH SCORE 50916.466
AT ITER 3668 NEW BEST:: SOT 306001 SOS 88286 HAS SOPS 88286 HAS SOUS 50828 HAS SOUPS 50828 WITH SCORE 50916.286
AT ITER 3671 NEW BEST:: SOT 305874 SOS 88003 HAS SOPS 88003 HAS SOUS 50800 HAS SOUPS 50800 WITH SCORE 50888.003
AT ITER 3672 NEW BEST:: SOT 305872 SOS 87999 HAS SOPS 87999 HAS SOUS 50800 HAS SOUPS 50800 WITH SCORE 50887.999
AT ITER 3678 NEW BEST:: SOT 305996 SOS 88159 HAS SOPS 88159 HAS SOUS 50786 HAS SOUPS 50786 WITH SCORE 50874.159
AT ITER 3697 NEW BEST:: SOT 305990 SOS 88147 HAS SOPS 88147 HAS SOUS 50786 HAS SOUPS 50786 WITH SCORE 50874.147
AT ITER 3719 NEW BEST:: SOT 306001 SOS 88158 HAS SOPS 88158 HAS SOUS 50775 HAS SOUPS 50775 WITH SCORE 50863.158
AT ITER 3723 NEW BEST:: SOT 306001 SOS 88157 HAS SOPS 88157 HAS SOUS 50772 HAS SOUPS 50772 WITH SCORE 50860.157
AT ITER 3744 NEW BEST:: SOT 305975 SOS 88105 HAS SOPS 88105 HAS SOUS 50772 HAS SOUPS 50772 WITH SCORE 50860.105
AT ITER 3751 NEW BEST:: SOT 306062 SOS 88279 HAS SOPS 88279 HAS SOUS 50685 HAS SOUPS 50685 WITH SCORE 50773.279
AT ITER 3753 NEW BEST:: SOT 306058 SOS 88251 HAS SOPS 88251 HAS SOUS 50685 HAS SOUPS 50685 WITH SCORE 50773.251
AT ITER 3755 NEW BEST:: SOT 306063 SOS 88213 HAS SOPS 88213 HAS SOUS 50642 HAS SOUPS 50642 WITH SCORE 50730.213
AT ITER 3777 NEW BEST:: SOT 305811 SOS 87664 HAS SOPS 87664 HAS SOUS 50595 HAS SOUPS 50595 WITH SCORE 50682.664
AT ITER 3783 NEW BEST:: SOT 305670 SOS 87334 HAS SOPS 87334 HAS SOUS 50534 HAS SOUPS 50534 WITH SCORE 50621.334
AT ITER 3788 NEW BEST:: SOT 305461 SOS 86803 HAS SOPS 86803 HAS SOUS 50366 HAS SOUPS 50366 WITH SCORE 50452.803
AT ITER 3791 NEW BEST:: SOT 305423 SOS 86727 HAS SOPS 86727 HAS SOUS 50366 HAS SOUPS 50366 WITH SCORE 50452.727
AT ITER 3803 NEW BEST:: SOT 305420 SOS 86724 HAS SOPS 86724 HAS SOUS 50359 HAS SOUPS 50359 WITH SCORE 50445.724
AT ITER 3816 NEW BEST:: SOT 305189 SOS 86347 HAS SOPS 86347 HAS SOUS 50307 HAS SOUPS 50307 WITH SCORE 50393.347
AT ITER 3828 NEW BEST:: SOT 305135 SOS 86212 HAS SOPS 86212 HAS SOUS 50226 HAS SOUPS 50226 WITH SCORE 50312.212
AT ITER 3852 NEW BEST:: SOT 305093 SOS 86128 HAS SOPS 86128 HAS SOUS 50184 HAS SOUPS 50184 WITH SCORE 50270.128
AT ITER 3871 NEW BEST:: SOT 305029 SOS 85936 HAS SOPS 85936 HAS SOUS 50158 HAS SOUPS 50158 WITH SCORE 50243.936
AT ITER 3891 NEW BEST:: SOT 304973 SOS 85875 HAS SOPS 85875 HAS SOUS 50101 HAS SOUPS 50101 WITH SCORE 50186.875
AT ITER 3901 NEW BEST:: SOT 304433 SOS 85014 HAS SOPS 85014 HAS SOUS 50020 HAS SOUPS 50020 WITH SCORE 50105.014
AT ITER 3910 NEW BEST:: SOT 304433 SOS 85014 HAS SOPS 85014 HAS SOUS 49988 HAS SOUPS 49988 WITH SCORE 50073.014
AT ITER 3928 NEW BEST:: SOT 304414 SOS 84967 HAS SOPS 84967 HAS SOUS 49946 HAS SOUPS 49946 WITH SCORE 50030.967
AT ITER 3986 NEW BEST:: SOT 304414 SOS 84965 HAS SOPS 84965 HAS SOUS 49942 HAS SOUPS 49942 WITH SCORE 50026.965
AT ITER 3990 NEW BEST:: SOT 304316 SOS 84769 HAS SOPS 84769 HAS SOUS 49822 HAS SOUPS 49822 WITH SCORE 49906.769
AT ITER 3991 NEW BEST:: SOT 304312 SOS 84761 HAS SOPS 84761 HAS SOUS 49818 HAS SOUPS 49818 WITH SCORE 49902.761
AT ITER 3992 NEW BEST:: SOT 304317 SOS 84753 HAS SOPS 84753 HAS SOUS 49805 HAS SOUPS 49805 WITH SCORE 49889.753
AT ITER 4014 NEW BEST:: SOT 304317 SOS 84750 HAS SOPS 84750 HAS SOUS 49805 HAS SOUPS 49805 WITH SCORE 49889.75
AT ITER 4023 NEW BEST:: SOT 304429 SOS 84978 HAS SOPS 84978 HAS SOUS 49754 HAS SOUPS 49754 WITH SCORE 49838.978
AT ITER 4026 NEW BEST:: SOT 304425 SOS 84970 HAS SOPS 84970 HAS SOUS 49750 HAS SOUPS 49750 WITH SCORE 49834.97
AT ITER 4039 NEW BEST:: SOT 304425 SOS 84970 HAS SOPS 84970 HAS SOUS 49710 HAS SOUPS 49710 WITH SCORE 49794.97
AT ITER 4047 NEW BEST:: SOT 304419 SOS 84960 HAS SOPS 84960 HAS SOUS 49709 HAS SOUPS 49709 WITH SCORE 49793.96
AT ITER 4050 NEW BEST:: SOT 304172 SOS 84539 HAS SOPS 84539 HAS SOUS 49626 HAS SOUPS 49626 WITH SCORE 49710.539
AT ITER 4067 NEW BEST:: SOT 304172 SOS 84536 HAS SOPS 84536 HAS SOUS 49626 HAS SOUPS 49626 WITH SCORE 49710.536
AT ITER 4082 NEW BEST:: SOT 304152 SOS 84496 HAS SOPS 84496 HAS SOUS 49576 HAS SOUPS 49576 WITH SCORE 49660.496
AT ITER 4098 NEW BEST:: SOT 304042 SOS 84221 HAS SOPS 84221 HAS SOUS 49521 HAS SOUPS 49521 WITH SCORE 49605.221
AT ITER 4125 NEW BEST:: SOT 303900 SOS 83895 HAS SOPS 83895 HAS SOUS 49439 HAS SOUPS 49439 WITH SCORE 49522.895
AT ITER 4172 NEW BEST:: SOT 303899 SOS 83892 HAS SOPS 83892 HAS SOUS 49437 HAS SOUPS 49437 WITH SCORE 49520.892
AT ITER 4178 NEW BEST:: SOT 303890 SOS 83874 HAS SOPS 83874 HAS SOUS 49428 HAS SOUPS 49428 WITH SCORE 49511.874
AT ITER 4184 NEW BEST:: SOT 303803 SOS 83752 HAS SOPS 83752 HAS SOUS 49425 HAS SOUPS 49425 WITH SCORE 49508.752
AT ITER 4207 NEW BEST:: SOT 303629 SOS 83449 HAS SOPS 83449 HAS SOUS 49406 HAS SOUPS 49406 WITH SCORE 49489.449
AT ITER 4211 NEW BEST:: SOT 303322 SOS 82835 HAS SOPS 82835 HAS SOUS 49075 HAS SOUPS 49075 WITH SCORE 49157.835
AT ITER 4215 NEW BEST:: SOT 303184 SOS 82490 HAS SOPS 82490 HAS SOUS 48894 HAS SOUPS 48894 WITH SCORE 48976.49
AT ITER 4224 NEW BEST:: SOT 303269 SOS 82613 HAS SOPS 82613 HAS SOUS 48784 HAS SOUPS 48784 WITH SCORE 48866.613
AT ITER 4232 NEW BEST:: SOT 303102 SOS 82279 HAS SOPS 82279 HAS SOUS 48570 HAS SOUPS 48570 WITH SCORE 48652.279
AT ITER 4236 NEW BEST:: SOT 303102 SOS 82279 HAS SOPS 82279 HAS SOUS 48556 HAS SOUPS 48556 WITH SCORE 48638.279
AT ITER 4256 NEW BEST:: SOT 302909 SOS 81888 HAS SOPS 81888 HAS SOUS 48297 HAS SOUPS 48297 WITH SCORE 48378.888
AT ITER 4260 NEW BEST:: SOT 302887 SOS 81833 HAS SOPS 81833 HAS SOUS 48286 HAS SOUPS 48286 WITH SCORE 48367.833
AT ITER 4266 NEW BEST:: SOT 302879 SOS 81825 HAS SOPS 81825 HAS SOUS 48276 HAS SOUPS 48276 WITH SCORE 48357.825
AT ITER 4271 NEW BEST:: SOT 302845 SOS 81697 HAS SOPS 81697 HAS SOUS 48227 HAS SOUPS 48227 WITH SCORE 48308.697
AT ITER 4303 NEW BEST:: SOT 302842 SOS 81691 HAS SOPS 81691 HAS SOUS 48224 HAS SOUPS 48224 WITH SCORE 48305.691
AT ITER 4328 NEW BEST:: SOT 302765 SOS 81537 HAS SOPS 81537 HAS SOUS 48121 HAS SOUPS 48121 WITH SCORE 48202.537
AT ITER 4341 NEW BEST:: SOT 302519 SOS 81045 HAS SOPS 81045 HAS SOUS 47998 HAS SOUPS 47998 WITH SCORE 48079.045
AT ITER 4376 NEW BEST:: SOT 302519 SOS 81045 HAS SOPS 81045 HAS SOUS 47970 HAS SOUPS 47970 WITH SCORE 48051.045
AT ITER 4393 NEW BEST:: SOT 302499 SOS 80992 HAS SOPS 80992 HAS SOUS 47927 HAS SOUPS 47927 WITH SCORE 48007.992
AT ITER 4419 NEW BEST:: SOT 302494 SOS 80964 HAS SOPS 80964 HAS SOUS 47882 HAS SOUPS 47882 WITH SCORE 47962.964
AT ITER 4431 NEW BEST:: SOT 302405 SOS 80751 HAS SOPS 80751 HAS SOUS 47756 HAS SOUPS 47756 WITH SCORE 47836.751
AT ITER 4435 NEW BEST:: SOT 302367 SOS 80696 HAS SOPS 80696 HAS SOUS 47754 HAS SOUPS 47754 WITH SCORE 47834.696
AT ITER 4449 NEW BEST:: SOT 302335 SOS 80616 HAS SOPS 80616 HAS SOUS 47738 HAS SOUPS 47738 WITH SCORE 47818.616
AT ITER 4450 NEW BEST:: SOT 302288 SOS 80554 HAS SOPS 80554 HAS SOUS 47675 HAS SOUPS 47675 WITH SCORE 47755.554
AT ITER 4452 NEW BEST:: SOT 302249 SOS 80515 HAS SOPS 80515 HAS SOUS 47652 HAS SOUPS 47652 WITH SCORE 47732.515
AT ITER 4493 NEW BEST:: SOT 302242 SOS 80494 HAS SOPS 80494 HAS SOUS 47652 HAS SOUPS 47652 WITH SCORE 47732.494
AT ITER 4498 NEW BEST:: SOT 302200 SOS 80410 HAS SOPS 80410 HAS SOUS 47652 HAS SOUPS 47652 WITH SCORE 47732.41
AT ITER 4549 NEW BEST:: SOT 302144 SOS 80270 HAS SOPS 80270 HAS SOUS 47618 HAS SOUPS 47618 WITH SCORE 47698.27
AT ITER 4591 NEW BEST:: SOT 302129 SOS 80238 HAS SOPS 80238 HAS SOUS 47617 HAS SOUPS 47617 WITH SCORE 47697.238
AT ITER 4595 NEW BEST:: SOT 302059 SOS 80098 HAS SOPS 80098 HAS SOUS 47595 HAS SOUPS 47595 WITH SCORE 47675.098
AT ITER 4596 NEW BEST:: SOT 302012 SOS 80004 HAS SOPS 80004 HAS SOUS 47548 HAS SOUPS 47548 WITH SCORE 47628.004
AT ITER 4622 NEW BEST:: SOT 301965 SOS 79910 HAS SOPS 79910 HAS SOUS 47496 HAS SOUPS 47496 WITH SCORE 47575.91
AT ITER 4633 NEW BEST:: SOT 301955 SOS 79880 HAS SOPS 79880 HAS SOUS 47496 HAS SOUPS 47496 WITH SCORE 47575.88
AT ITER 4657 NEW BEST:: SOT 301868 SOS 79694 HAS SOPS 79694 HAS SOUS 47485 HAS SOUPS 47485 WITH SCORE 47564.694
AT ITER 4730 NEW BEST:: SOT 301854 SOS 79666 HAS SOPS 79666 HAS SOUS 47471 HAS SOUPS 47471 WITH SCORE 47550.666
AT ITER 4769 NEW BEST:: SOT 301820 SOS 79564 HAS SOPS 79564 HAS SOUS 47471 HAS SOUPS 47471 WITH SCORE 47550.564
AT ITER 4804 NEW BEST:: SOT 301760 SOS 79414 HAS SOPS 79414 HAS SOUS 47441 HAS SOUPS 47441 WITH SCORE 47520.414
AT ITER 4812 NEW BEST:: SOT 301652 SOS 79077 HAS SOPS 79077 HAS SOUS 47336 HAS SOUPS 47336 WITH SCORE 47415.077
AT ITER 4830 NEW BEST:: SOT 301600 SOS 78942 HAS SOPS 78942 HAS SOUS 47329 HAS SOUPS 47329 WITH SCORE 47407.942
AT ITER 4848 NEW BEST:: SOT 301574 SOS 78890 HAS SOPS 78890 HAS SOUS 47311 HAS SOUPS 47311 WITH SCORE 47389.89
AT ITER 4885 NEW BEST:: SOT 301428 SOS 78515 HAS SOPS 78515 HAS SOUS 47122 HAS SOUPS 47122 WITH SCORE 47200.515
AT ITER 4893 NEW BEST:: SOT 301425 SOS 78509 HAS SOPS 78509 HAS SOUS 47122 HAS SOUPS 47122 WITH SCORE 47200.509
AT ITER 4908 NEW BEST:: SOT 301137 SOS 77887 HAS SOPS 77887 HAS SOUS 47076 HAS SOUPS 47076 WITH SCORE 47153.887
AT ITER 4932 NEW BEST:: SOT 300654 SOS 77000 HAS SOPS 77000 HAS SOUS 46928 HAS SOUPS 46928 WITH SCORE 47005.0
AT ITER 4941 NEW BEST:: SOT 300635 SOS 76962 HAS SOPS 76962 HAS SOUS 46909 HAS SOUPS 46909 WITH SCORE 46985.962
AT ITER 4942 NEW BEST:: SOT 300635 SOS 76948 HAS SOPS 76948 HAS SOUS 46879 HAS SOUPS 46879 WITH SCORE 46955.948
AT ITER 4982 NEW BEST:: SOT 300638 SOS 76954 HAS SOPS 76954 HAS SOUS 46876 HAS SOUPS 46876 WITH SCORE 46952.954
Bounds file is: CTLFireability.xml
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-00 (! ( ((potential((tk(P62)>=1) & (tk(P66)>=1)))) | (EG( (! ((potential((tk(P74)>=1) & (tk(P118)>=1))))))) ))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-01 (EF( ( ((potential((tk(P456)>=1) & (tk(P469)>=1)))) & ( ((potential((tk(P258)>=1) & (tk(P260)>=1)))) & ((potential((tk(P194)>=1) & (tk(P198)>=1)))) ) )))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-02 (EU( ( (EF( ((potential((tk(P476)>=1) & (tk(P499)>=1)))))) & (EF( ((potential((tk(P233)>=1) & (tk(P247)>=1)))))) ) , (! (EF( ((potential((tk(P123)>=1) & (tk(P125)>=1))))))) ))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-03 (EF( (! (AF( ( ((potential((tk(P454)>=1)))) & ((potential((tk(P86)>=1) & (tk(P89)>=1)))) ))))))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-04 (EG( (! (! (! ( ((potential((tk(P596)>=1) & (tk(P598)>=1)))) | ((potential((tk(P346)>=1)))) ))))))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-05 ( (EF( ( (! (! ((potential((tk(P300)>=1) & (tk(P307)>=1)))))) & (AF( ((potential((tk(P152)>=1) & (tk(P154)>=1)))))) ))) & ( ((potential((tk(P93)>=1) & (tk(P96)>=1)))) | (EF( ((potential((tk(P542)>=1) & (tk(P565)>=1)))))) ) )
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-06 ( (AU( ( (! ((potential((tk(P575)>=1) & (tk(P577)>=1))))) | ( ((potential((tk(P449)>=1) & (tk(P452)>=1)))) & ((potential((tk(P597)>=1) & (tk(P598)>=1)))) ) ) , ((potential((tk(P53)>=1) & (tk(P55)>=1)))) )) | (AF( ( (! (! ((potential((tk(P210)>=1) & (tk(P253)>=1)))))) & (EG( ((potential((tk(P163)>=1)))))) ))) )
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-07 (EG( (AF( (EX( ((potential((tk(P174)>=1) & (tk(P175)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-08 (EG( ( ( (AX( ((potential((tk(P35)>=1) & (tk(P38)>=1)))))) | (EF( ((potential((tk(P241)>=1)))))) ) & ( (EF( ((potential((tk(P40)>=1)))))) | ( ( ((potential((tk(P165)>=1) & (tk(P178)>=1)))) & ((potential((tk(P543)>=1) & (tk(P586)>=1)))) ) | ( ((potential((tk(P449)>=1) & (tk(P451)>=1)))) & ((potential((tk(P315)>=1) & (tk(P318)>=1)))) ) ) ) )))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-09 ( (EX( ( (AF( ((potential((tk(P483)>=1) & (tk(P484)>=1)))))) | ( ((potential((tk(P390)>=1) & (tk(P393)>=1)))) & ( ((potential((tk(P8)>=1) & (tk(P10)>=1)))) & ((potential((tk(P530)>=1) & (tk(P532)>=1)))) ) ) ))) | (EU( ( (! ((potential((tk(P54)>=1) & (tk(P67)>=1))))) | (! ((potential((tk(P475)>=1))))) ) , (AF( ((potential((tk(P36)>=1) & (tk(P38)>=1)))))) )) )
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-10 (EG( (AG( (AF( ((potential((tk(P591)>=1) & (tk(P594)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-11 (EG( (AU( (! ((potential((tk(P530)>=1) & (tk(P532)>=1))))) , ( ((potential((tk(P480)>=1) & (tk(P487)>=1)))) & ((potential((tk(P515)>=1) & (tk(P517)>=1)))) ) ))))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-12 ( (! ((potential((tk(P101)>=1) & (tk(P104)>=1))))) & (EU( ((potential((tk(P227)>=1) & (tk(P230)>=1)))) , (AF( ((potential((tk(P69)>=1) & (tk(P71)>=1)))))) )) )
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-13 (AF( ( (EU( ((potential((tk(P456)>=1) & (tk(P469)>=1)))) , ((potential((tk(P86)>=1) & (tk(P89)>=1)))) )) | (AX( ( ((potential((tk(P369)>=1) & (tk(P370)>=1)))) & ((potential((tk(P179)>=1) & (tk(P181)>=1)))) ))) )))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-14 ( ( (AU( (! ((potential((tk(P200)>=1) & (tk(P202)>=1))))) , ((potential((tk(P596)>=1) & (tk(P599)>=1)))) )) | ((potential((tk(P561)>=1) & (tk(P562)>=1)))) ) | ((potential((tk(P114)>=1) & (tk(P115)>=1)))) )
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLFireability-15 (AF( ( ((potential((tk(P416)>=1) & (tk(P420)>=1)))) & (! ((potential((tk(P416)>=1) & (tk(P418)>=1))))) )))

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="ViralEpidemic-PT-S03D1C1A04"
export BK_EXAMINATION="CTLFireability"
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-S03D1C1A04, examination is CTLFireability"
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-159033538900500"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S03D1C1A04.tgz
mv ViralEpidemic-PT-S03D1C1A04 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;