Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972400267.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-04b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972400267
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 240K
-rw-r--r-- 1 mcc users 3.4K Apr 4 18:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 4 18:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 4 06:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 4 06:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 3 20:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 20:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 3 13:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 3 13:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 69K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-00
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-01
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-02
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-03
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-04
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-05
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-06
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-07
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-08
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-09
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-10
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-11
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-12
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-13
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-14
FORMULA_NAME FlexibleBarrier-PT-04b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589390813930

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 04b
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: 268 places, 305 transitions, 743 arcs.
AT ITER 0 NEW BEST:: SOT 51847 SOS 21531 HAS SOPS 21531 HAS SOUS 18658 HAS SOUPS 18658 WITH SCORE 18679.531
AT ITER 3 NEW BEST:: SOT 51847 SOS 21490 HAS SOPS 21490 HAS SOUS 18658 HAS SOUPS 18658 WITH SCORE 18679.49
AT ITER 18 NEW BEST:: SOT 51884 SOS 21564 HAS SOPS 21564 HAS SOUS 18610 HAS SOUPS 18610 WITH SCORE 18631.564
AT ITER 21 NEW BEST:: SOT 51802 SOS 21551 HAS SOPS 21551 HAS SOUS 18609 HAS SOUPS 18609 WITH SCORE 18630.551
AT ITER 22 NEW BEST:: SOT 51794 SOS 21535 HAS SOPS 21535 HAS SOUS 18601 HAS SOUPS 18601 WITH SCORE 18622.535
AT ITER 25 NEW BEST:: SOT 51699 SOS 21471 HAS SOPS 21471 HAS SOUS 18524 HAS SOUPS 18524 WITH SCORE 18545.471
AT ITER 28 NEW BEST:: SOT 51537 SOS 21390 HAS SOPS 21390 HAS SOUS 18443 HAS SOUPS 18443 WITH SCORE 18464.39
AT ITER 30 NEW BEST:: SOT 51232 SOS 21186 HAS SOPS 21186 HAS SOUS 18138 HAS SOUPS 18138 WITH SCORE 18159.186
AT ITER 31 NEW BEST:: SOT 51238 SOS 21305 HAS SOPS 21305 HAS SOUS 18088 HAS SOUPS 18088 WITH SCORE 18109.305
AT ITER 44 NEW BEST:: SOT 51154 SOS 21249 HAS SOPS 21249 HAS SOUS 18014 HAS SOUPS 18014 WITH SCORE 18035.249
AT ITER 52 NEW BEST:: SOT 51076 SOS 21441 HAS SOPS 21441 HAS SOUS 17982 HAS SOUPS 17982 WITH SCORE 18003.441
AT ITER 53 NEW BEST:: SOT 51049 SOS 21387 HAS SOPS 21387 HAS SOUS 17928 HAS SOUPS 17928 WITH SCORE 17949.387
AT ITER 86 NEW BEST:: SOT 50996 SOS 21089 HAS SOPS 21089 HAS SOUS 17738 HAS SOUPS 17738 WITH SCORE 17759.089
AT ITER 91 NEW BEST:: SOT 50996 SOS 21065 HAS SOPS 21065 HAS SOUS 17714 HAS SOUPS 17714 WITH SCORE 17735.065
AT ITER 93 NEW BEST:: SOT 50958 SOS 21018 HAS SOPS 21018 HAS SOUS 17674 HAS SOUPS 17674 WITH SCORE 17695.018
AT ITER 94 NEW BEST:: SOT 50221 SOS 22292 HAS SOPS 22292 HAS SOUS 17176 HAS SOUPS 17176 WITH SCORE 17198.292
AT ITER 106 NEW BEST:: SOT 50116 SOS 22191 HAS SOPS 22191 HAS SOUS 17075 HAS SOUPS 17075 WITH SCORE 17097.191
AT ITER 108 NEW BEST:: SOT 50118 SOS 22027 HAS SOPS 22027 HAS SOUS 17075 HAS SOUPS 17075 WITH SCORE 17097.027
AT ITER 112 NEW BEST:: SOT 50118 SOS 21997 HAS SOPS 21997 HAS SOUS 17070 HAS SOUPS 17070 WITH SCORE 17091.997
AT ITER 124 NEW BEST:: SOT 50161 SOS 22005 HAS SOPS 22005 HAS SOUS 17035 HAS SOUPS 17035 WITH SCORE 17057.005
AT ITER 134 NEW BEST:: SOT 49989 SOS 22261 HAS SOPS 22261 HAS SOUS 16955 HAS SOUPS 16955 WITH SCORE 16977.261
AT ITER 138 NEW BEST:: SOT 49956 SOS 22129 HAS SOPS 22129 HAS SOUS 16922 HAS SOUPS 16922 WITH SCORE 16944.129
AT ITER 140 NEW BEST:: SOT 49896 SOS 22009 HAS SOPS 22009 HAS SOUS 16914 HAS SOUPS 16914 WITH SCORE 16936.009
AT ITER 146 NEW BEST:: SOT 49894 SOS 21966 HAS SOPS 21966 HAS SOUS 16870 HAS SOUPS 16870 WITH SCORE 16891.966
AT ITER 148 NEW BEST:: SOT 49856 SOS 21928 HAS SOPS 21928 HAS SOUS 16870 HAS SOUPS 16870 WITH SCORE 16891.928
AT ITER 152 NEW BEST:: SOT 49770 SOS 21743 HAS SOPS 21743 HAS SOUS 16822 HAS SOUPS 16822 WITH SCORE 16843.743
AT ITER 167 NEW BEST:: SOT 49780 SOS 21677 HAS SOPS 21677 HAS SOUS 16734 HAS SOUPS 16734 WITH SCORE 16755.677
AT ITER 170 NEW BEST:: SOT 49756 SOS 22031 HAS SOPS 22031 HAS SOUS 16719 HAS SOUPS 16719 WITH SCORE 16741.031
AT ITER 182 NEW BEST:: SOT 49828 SOS 21815 HAS SOPS 21815 HAS SOUS 16719 HAS SOUPS 16719 WITH SCORE 16740.815
AT ITER 186 NEW BEST:: SOT 49828 SOS 21794 HAS SOPS 21794 HAS SOUS 16698 HAS SOUPS 16698 WITH SCORE 16719.794
AT ITER 190 NEW BEST:: SOT 49785 SOS 21708 HAS SOPS 21708 HAS SOUS 16595 HAS SOUPS 16595 WITH SCORE 16616.708
AT ITER 195 NEW BEST:: SOT 49775 SOS 21478 HAS SOPS 21478 HAS SOUS 16440 HAS SOUPS 16440 WITH SCORE 16461.478
AT ITER 197 NEW BEST:: SOT 49765 SOS 21473 HAS SOPS 21473 HAS SOUS 16435 HAS SOUPS 16435 WITH SCORE 16456.473
AT ITER 198 NEW BEST:: SOT 49757 SOS 21457 HAS SOPS 21457 HAS SOUS 16427 HAS SOUPS 16427 WITH SCORE 16448.457
AT ITER 202 NEW BEST:: SOT 49658 SOS 21262 HAS SOPS 21262 HAS SOUS 16221 HAS SOUPS 16221 WITH SCORE 16242.262
AT ITER 205 NEW BEST:: SOT 49665 SOS 21114 HAS SOPS 21114 HAS SOUS 16171 HAS SOUPS 16171 WITH SCORE 16192.114
AT ITER 213 NEW BEST:: SOT 49655 SOS 20834 HAS SOPS 20834 HAS SOUS 16110 HAS SOUPS 16110 WITH SCORE 16130.834
AT ITER 218 NEW BEST:: SOT 49627 SOS 20806 HAS SOPS 20806 HAS SOUS 16110 HAS SOUPS 16110 WITH SCORE 16130.806
AT ITER 219 NEW BEST:: SOT 48786 SOS 20529 HAS SOPS 20529 HAS SOUS 15302 HAS SOUPS 15302 WITH SCORE 15322.529
AT ITER 222 NEW BEST:: SOT 48766 SOS 20469 HAS SOPS 20469 HAS SOUS 15262 HAS SOUPS 15262 WITH SCORE 15282.469
AT ITER 226 NEW BEST:: SOT 48769 SOS 20464 HAS SOPS 20464 HAS SOUS 15257 HAS SOUPS 15257 WITH SCORE 15277.464
AT ITER 229 NEW BEST:: SOT 48673 SOS 20272 HAS SOPS 20272 HAS SOUS 15161 HAS SOUPS 15161 WITH SCORE 15181.272
AT ITER 230 NEW BEST:: SOT 48612 SOS 20150 HAS SOPS 20150 HAS SOUS 15128 HAS SOUPS 15128 WITH SCORE 15148.15
AT ITER 236 NEW BEST:: SOT 48573 SOS 19972 HAS SOPS 19972 HAS SOUS 15050 HAS SOUPS 15050 WITH SCORE 15069.972
AT ITER 238 NEW BEST:: SOT 48564 SOS 19904 HAS SOPS 19904 HAS SOUS 15041 HAS SOUPS 15041 WITH SCORE 15060.904
AT ITER 239 NEW BEST:: SOT 48483 SOS 18926 HAS SOPS 18926 HAS SOUS 14957 HAS SOUPS 14957 WITH SCORE 14975.926
AT ITER 244 NEW BEST:: SOT 48400 SOS 19264 HAS SOPS 19264 HAS SOUS 14896 HAS SOUPS 14896 WITH SCORE 14915.264
AT ITER 245 NEW BEST:: SOT 48393 SOS 19245 HAS SOPS 19245 HAS SOUS 14877 HAS SOUPS 14877 WITH SCORE 14896.245
AT ITER 253 NEW BEST:: SOT 48393 SOS 19198 HAS SOPS 19198 HAS SOUS 14872 HAS SOUPS 14872 WITH SCORE 14891.198
AT ITER 267 NEW BEST:: SOT 48374 SOS 19151 HAS SOPS 19151 HAS SOUS 14847 HAS SOUPS 14847 WITH SCORE 14866.151
AT ITER 271 NEW BEST:: SOT 48381 SOS 19122 HAS SOPS 19122 HAS SOUS 14837 HAS SOUPS 14837 WITH SCORE 14856.122
AT ITER 275 NEW BEST:: SOT 48360 SOS 19105 HAS SOPS 19105 HAS SOUS 14821 HAS SOUPS 14821 WITH SCORE 14840.105
AT ITER 288 NEW BEST:: SOT 48390 SOS 18845 HAS SOPS 18845 HAS SOUS 14780 HAS SOUPS 14780 WITH SCORE 14798.845
AT ITER 295 NEW BEST:: SOT 48380 SOS 18825 HAS SOPS 18825 HAS SOUS 14770 HAS SOUPS 14770 WITH SCORE 14788.825
AT ITER 306 NEW BEST:: SOT 48305 SOS 18652 HAS SOPS 18652 HAS SOUS 14648 HAS SOUPS 14648 WITH SCORE 14666.652
AT ITER 307 NEW BEST:: SOT 48265 SOS 18650 HAS SOPS 18650 HAS SOUS 14608 HAS SOUPS 14608 WITH SCORE 14626.65
AT ITER 315 NEW BEST:: SOT 48258 SOS 18636 HAS SOPS 18636 HAS SOUS 14594 HAS SOUPS 14594 WITH SCORE 14612.636
AT ITER 322 NEW BEST:: SOT 48264 SOS 18565 HAS SOPS 18565 HAS SOUS 14575 HAS SOUPS 14575 WITH SCORE 14593.565
AT ITER 329 NEW BEST:: SOT 48264 SOS 18451 HAS SOPS 18451 HAS SOUS 14504 HAS SOUPS 14504 WITH SCORE 14522.451
AT ITER 333 NEW BEST:: SOT 48281 SOS 18403 HAS SOPS 18403 HAS SOUS 14503 HAS SOUPS 14503 WITH SCORE 14521.403
AT ITER 343 NEW BEST:: SOT 48269 SOS 18355 HAS SOPS 18355 HAS SOUS 14480 HAS SOUPS 14480 WITH SCORE 14498.355
AT ITER 349 NEW BEST:: SOT 48260 SOS 18346 HAS SOPS 18346 HAS SOUS 14480 HAS SOUPS 14480 WITH SCORE 14498.346
AT ITER 352 NEW BEST:: SOT 48213 SOS 18290 HAS SOPS 18290 HAS SOUS 14450 HAS SOUPS 14450 WITH SCORE 14468.29
AT ITER 362 NEW BEST:: SOT 48246 SOS 18302 HAS SOPS 18302 HAS SOUS 14445 HAS SOUPS 14445 WITH SCORE 14463.302
AT ITER 363 NEW BEST:: SOT 48246 SOS 18295 HAS SOPS 18295 HAS SOUS 14445 HAS SOUPS 14445 WITH SCORE 14463.295
AT ITER 371 NEW BEST:: SOT 48246 SOS 18289 HAS SOPS 18289 HAS SOUS 14445 HAS SOUPS 14445 WITH SCORE 14463.289
AT ITER 375 NEW BEST:: SOT 48230 SOS 18257 HAS SOPS 18257 HAS SOUS 14373 HAS SOUPS 14373 WITH SCORE 14391.257
AT ITER 376 NEW BEST:: SOT 48230 SOS 18248 HAS SOPS 18248 HAS SOUS 14315 HAS SOUPS 14315 WITH SCORE 14333.248
AT ITER 383 NEW BEST:: SOT 48183 SOS 17969 HAS SOPS 17969 HAS SOUS 14213 HAS SOUPS 14213 WITH SCORE 14230.969
AT ITER 384 NEW BEST:: SOT 48174 SOS 17951 HAS SOPS 17951 HAS SOUS 14184 HAS SOUPS 14184 WITH SCORE 14201.951
AT ITER 393 NEW BEST:: SOT 48174 SOS 17611 HAS SOPS 17611 HAS SOUS 14184 HAS SOUPS 14184 WITH SCORE 14201.611
AT ITER 400 NEW BEST:: SOT 48117 SOS 17639 HAS SOPS 17639 HAS SOUS 14144 HAS SOUPS 14144 WITH SCORE 14161.639
AT ITER 401 NEW BEST:: SOT 48100 SOS 17538 HAS SOPS 17538 HAS SOUS 14108 HAS SOUPS 14108 WITH SCORE 14125.538
AT ITER 404 NEW BEST:: SOT 48100 SOS 17501 HAS SOPS 17501 HAS SOUS 14108 HAS SOUPS 14108 WITH SCORE 14125.501
AT ITER 415 NEW BEST:: SOT 48095 SOS 17496 HAS SOPS 17496 HAS SOUS 14103 HAS SOUPS 14103 WITH SCORE 14120.496
AT ITER 419 NEW BEST:: SOT 48095 SOS 17451 HAS SOPS 17451 HAS SOUS 14103 HAS SOUPS 14103 WITH SCORE 14120.451
AT ITER 428 NEW BEST:: SOT 48086 SOS 17418 HAS SOPS 17418 HAS SOUS 14095 HAS SOUPS 14095 WITH SCORE 14112.418
AT ITER 430 NEW BEST:: SOT 48055 SOS 17356 HAS SOPS 17356 HAS SOUS 14064 HAS SOUPS 14064 WITH SCORE 14081.356
AT ITER 432 NEW BEST:: SOT 47953 SOS 17220 HAS SOPS 17220 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 13975.22
AT ITER 436 NEW BEST:: SOT 47931 SOS 17198 HAS SOPS 17198 HAS SOUS 13918 HAS SOUPS 13918 WITH SCORE 13935.198
AT ITER 440 NEW BEST:: SOT 47896 SOS 17129 HAS SOPS 17129 HAS SOUS 13883 HAS SOUPS 13883 WITH SCORE 13900.129
AT ITER 441 NEW BEST:: SOT 47874 SOS 17136 HAS SOPS 17136 HAS SOUS 13870 HAS SOUPS 13870 WITH SCORE 13887.136
AT ITER 442 NEW BEST:: SOT 47867 SOS 17115 HAS SOPS 17115 HAS SOUS 13849 HAS SOUPS 13849 WITH SCORE 13866.115
AT ITER 443 NEW BEST:: SOT 47819 SOS 17139 HAS SOPS 17139 HAS SOUS 13809 HAS SOUPS 13809 WITH SCORE 13826.139
AT ITER 450 NEW BEST:: SOT 47819 SOS 17137 HAS SOPS 17137 HAS SOUS 13808 HAS SOUPS 13808 WITH SCORE 13825.137
AT ITER 452 NEW BEST:: SOT 47796 SOS 17068 HAS SOPS 17068 HAS SOUS 13762 HAS SOUPS 13762 WITH SCORE 13779.068
AT ITER 454 NEW BEST:: SOT 47777 SOS 17011 HAS SOPS 17011 HAS SOUS 13743 HAS SOUPS 13743 WITH SCORE 13760.011
AT ITER 455 NEW BEST:: SOT 47757 SOS 17051 HAS SOPS 17051 HAS SOUS 13723 HAS SOUPS 13723 WITH SCORE 13740.051
AT ITER 468 NEW BEST:: SOT 47711 SOS 17026 HAS SOPS 17026 HAS SOUS 13722 HAS SOUPS 13722 WITH SCORE 13739.026
AT ITER 469 NEW BEST:: SOT 47705 SOS 17020 HAS SOPS 17020 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13732.02
AT ITER 470 NEW BEST:: SOT 47641 SOS 16892 HAS SOPS 16892 HAS SOUS 13589 HAS SOUPS 13589 WITH SCORE 13605.892
AT ITER 487 NEW BEST:: SOT 47621 SOS 16832 HAS SOPS 16832 HAS SOUS 13549 HAS SOUPS 13549 WITH SCORE 13565.832
AT ITER 494 NEW BEST:: SOT 47604 SOS 16820 HAS SOPS 16820 HAS SOUS 13510 HAS SOUPS 13510 WITH SCORE 13526.82
AT ITER 495 NEW BEST:: SOT 47598 SOS 16826 HAS SOPS 16826 HAS SOUS 13504 HAS SOUPS 13504 WITH SCORE 13520.826
AT ITER 497 NEW BEST:: SOT 47582 SOS 16823 HAS SOPS 16823 HAS SOUS 13501 HAS SOUPS 13501 WITH SCORE 13517.823
AT ITER 512 NEW BEST:: SOT 47563 SOS 16807 HAS SOPS 16807 HAS SOUS 13482 HAS SOUPS 13482 WITH SCORE 13498.807
AT ITER 514 NEW BEST:: SOT 47443 SOS 16646 HAS SOPS 16646 HAS SOUS 13399 HAS SOUPS 13399 WITH SCORE 13415.646
AT ITER 524 NEW BEST:: SOT 47439 SOS 16638 HAS SOPS 16638 HAS SOUS 13395 HAS SOUPS 13395 WITH SCORE 13411.638
AT ITER 531 NEW BEST:: SOT 47439 SOS 16571 HAS SOPS 16571 HAS SOUS 13378 HAS SOUPS 13378 WITH SCORE 13394.571
AT ITER 534 NEW BEST:: SOT 47435 SOS 16563 HAS SOPS 16563 HAS SOUS 13370 HAS SOUPS 13370 WITH SCORE 13386.563
AT ITER 538 NEW BEST:: SOT 47374 SOS 16485 HAS SOPS 16485 HAS SOUS 13348 HAS SOUPS 13348 WITH SCORE 13364.485
AT ITER 539 NEW BEST:: SOT 47343 SOS 16423 HAS SOPS 16423 HAS SOUS 13332 HAS SOUPS 13332 WITH SCORE 13348.423
AT ITER 540 NEW BEST:: SOT 47325 SOS 16408 HAS SOPS 16408 HAS SOUS 13314 HAS SOUPS 13314 WITH SCORE 13330.408
AT ITER 544 NEW BEST:: SOT 47367 SOS 16368 HAS SOPS 16368 HAS SOUS 13236 HAS SOUPS 13236 WITH SCORE 13252.368
AT ITER 554 NEW BEST:: SOT 47368 SOS 16337 HAS SOPS 16337 HAS SOUS 13183 HAS SOUPS 13183 WITH SCORE 13199.337
AT ITER 558 NEW BEST:: SOT 47368 SOS 15938 HAS SOPS 15938 HAS SOUS 13183 HAS SOUPS 13183 WITH SCORE 13198.938
AT ITER 582 NEW BEST:: SOT 47365 SOS 15955 HAS SOPS 15955 HAS SOUS 13180 HAS SOUPS 13180 WITH SCORE 13195.955
AT ITER 585 NEW BEST:: SOT 47342 SOS 15886 HAS SOPS 15886 HAS SOUS 13134 HAS SOUPS 13134 WITH SCORE 13149.886
AT ITER 587 NEW BEST:: SOT 47007 SOS 15818 HAS SOPS 15818 HAS SOUS 12883 HAS SOUPS 12883 WITH SCORE 12898.818
AT ITER 595 NEW BEST:: SOT 47006 SOS 15816 HAS SOPS 15816 HAS SOUS 12882 HAS SOUPS 12882 WITH SCORE 12897.816
AT ITER 599 NEW BEST:: SOT 47006 SOS 15816 HAS SOPS 15816 HAS SOUS 12870 HAS SOUPS 12870 WITH SCORE 12885.816
AT ITER 619 NEW BEST:: SOT 47007 SOS 15817 HAS SOPS 15817 HAS SOUS 12868 HAS SOUPS 12868 WITH SCORE 12883.817
AT ITER 624 NEW BEST:: SOT 47017 SOS 15814 HAS SOPS 15814 HAS SOUS 12860 HAS SOUPS 12860 WITH SCORE 12875.814
AT ITER 631 NEW BEST:: SOT 47017 SOS 15814 HAS SOPS 15814 HAS SOUS 12823 HAS SOUPS 12823 WITH SCORE 12838.814
AT ITER 641 NEW BEST:: SOT 47007 SOS 15808 HAS SOPS 15808 HAS SOUS 12797 HAS SOUPS 12797 WITH SCORE 12812.808
AT ITER 669 NEW BEST:: SOT 47028 SOS 15893 HAS SOPS 15893 HAS SOUS 12787 HAS SOUPS 12787 WITH SCORE 12802.893
AT ITER 673 NEW BEST:: SOT 47022 SOS 15887 HAS SOPS 15887 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12796.887
AT ITER 674 NEW BEST:: SOT 47008 SOS 15744 HAS SOPS 15744 HAS SOUS 12744 HAS SOUPS 12744 WITH SCORE 12759.744
AT ITER 681 NEW BEST:: SOT 47032 SOS 15709 HAS SOPS 15709 HAS SOUS 12733 HAS SOUPS 12733 WITH SCORE 12748.709
AT ITER 686 NEW BEST:: SOT 47046 SOS 15694 HAS SOPS 15694 HAS SOUS 12718 HAS SOUPS 12718 WITH SCORE 12733.694
AT ITER 688 NEW BEST:: SOT 47040 SOS 15676 HAS SOPS 15676 HAS SOUS 12700 HAS SOUPS 12700 WITH SCORE 12715.676
AT ITER 691 NEW BEST:: SOT 46985 SOS 15566 HAS SOPS 15566 HAS SOUS 12610 HAS SOUPS 12610 WITH SCORE 12625.566
AT ITER 693 NEW BEST:: SOT 46985 SOS 15566 HAS SOPS 15566 HAS SOUS 12594 HAS SOUPS 12594 WITH SCORE 12609.566
AT ITER 694 NEW BEST:: SOT 46957 SOS 15547 HAS SOPS 15547 HAS SOUS 12580 HAS SOUPS 12580 WITH SCORE 12595.547
AT ITER 697 NEW BEST:: SOT 46956 SOS 15546 HAS SOPS 15546 HAS SOUS 12579 HAS SOUPS 12579 WITH SCORE 12594.546
AT ITER 714 NEW BEST:: SOT 46946 SOS 15327 HAS SOPS 15327 HAS SOUS 12532 HAS SOUPS 12532 WITH SCORE 12547.327
AT ITER 725 NEW BEST:: SOT 46948 SOS 15329 HAS SOPS 15329 HAS SOUS 12530 HAS SOUPS 12530 WITH SCORE 12545.329
AT ITER 732 NEW BEST:: SOT 46930 SOS 15293 HAS SOPS 15293 HAS SOUS 12512 HAS SOUPS 12512 WITH SCORE 12527.293
AT ITER 736 NEW BEST:: SOT 46930 SOS 15288 HAS SOPS 15288 HAS SOUS 12512 HAS SOUPS 12512 WITH SCORE 12527.288
AT ITER 737 NEW BEST:: SOT 46930 SOS 15284 HAS SOPS 15284 HAS SOUS 12512 HAS SOUPS 12512 WITH SCORE 12527.284
AT ITER 739 NEW BEST:: SOT 46931 SOS 15266 HAS SOPS 15266 HAS SOUS 12498 HAS SOUPS 12498 WITH SCORE 12513.266
AT ITER 744 NEW BEST:: SOT 46891 SOS 15186 HAS SOPS 15186 HAS SOUS 12458 HAS SOUPS 12458 WITH SCORE 12473.186
AT ITER 746 NEW BEST:: SOT 46891 SOS 15206 HAS SOPS 15206 HAS SOUS 12451 HAS SOUPS 12451 WITH SCORE 12466.206
AT ITER 772 NEW BEST:: SOT 46915 SOS 15129 HAS SOPS 15129 HAS SOUS 12424 HAS SOUPS 12424 WITH SCORE 12439.129
AT ITER 787 NEW BEST:: SOT 46900 SOS 15084 HAS SOPS 15084 HAS SOUS 12404 HAS SOUPS 12404 WITH SCORE 12419.084
AT ITER 791 NEW BEST:: SOT 46968 SOS 15084 HAS SOPS 15084 HAS SOUS 12346 HAS SOUPS 12346 WITH SCORE 12361.084
AT ITER 792 NEW BEST:: SOT 46986 SOS 15096 HAS SOPS 15096 HAS SOUS 12337 HAS SOUPS 12337 WITH SCORE 12352.096
AT ITER 796 NEW BEST:: SOT 46931 SOS 14986 HAS SOPS 14986 HAS SOUS 12282 HAS SOUPS 12282 WITH SCORE 12296.986
AT ITER 801 NEW BEST:: SOT 46931 SOS 14972 HAS SOPS 14972 HAS SOUS 12275 HAS SOUPS 12275 WITH SCORE 12289.972
AT ITER 810 NEW BEST:: SOT 46927 SOS 14976 HAS SOPS 14976 HAS SOUS 12272 HAS SOUPS 12272 WITH SCORE 12286.976
AT ITER 816 NEW BEST:: SOT 46920 SOS 14962 HAS SOPS 14962 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12269.962
AT ITER 839 NEW BEST:: SOT 46909 SOS 14941 HAS SOPS 14941 HAS SOUS 12244 HAS SOUPS 12244 WITH SCORE 12258.941
AT ITER 841 NEW BEST:: SOT 46977 SOS 14971 HAS SOPS 14971 HAS SOUS 12215 HAS SOUPS 12215 WITH SCORE 12229.971
AT ITER 878 NEW BEST:: SOT 46986 SOS 14905 HAS SOPS 14905 HAS SOUS 12188 HAS SOUPS 12188 WITH SCORE 12202.905
AT ITER 899 NEW BEST:: SOT 47002 SOS 14766 HAS SOPS 14766 HAS SOUS 12161 HAS SOUPS 12161 WITH SCORE 12175.766
AT ITER 930 NEW BEST:: SOT 47003 SOS 14758 HAS SOPS 14758 HAS SOUS 12160 HAS SOUPS 12160 WITH SCORE 12174.758
AT ITER 937 NEW BEST:: SOT 46962 SOS 14717 HAS SOPS 14717 HAS SOUS 12152 HAS SOUPS 12152 WITH SCORE 12166.717
AT ITER 949 NEW BEST:: SOT 46968 SOS 14710 HAS SOPS 14710 HAS SOUS 12145 HAS SOUPS 12145 WITH SCORE 12159.71
AT ITER 952 NEW BEST:: SOT 46916 SOS 14664 HAS SOPS 14664 HAS SOUS 12098 HAS SOUPS 12098 WITH SCORE 12112.664
AT ITER 991 NEW BEST:: SOT 46937 SOS 14631 HAS SOPS 14631 HAS SOUS 12095 HAS SOUPS 12095 WITH SCORE 12109.631
AT ITER 999 NEW BEST:: SOT 46930 SOS 14669 HAS SOPS 14669 HAS SOUS 12094 HAS SOUPS 12094 WITH SCORE 12108.669
AT ITER 1002 NEW BEST:: SOT 46919 SOS 14647 HAS SOPS 14647 HAS SOUS 12089 HAS SOUPS 12089 WITH SCORE 12103.647
AT ITER 1009 NEW BEST:: SOT 46911 SOS 14631 HAS SOPS 14631 HAS SOUS 12089 HAS SOUPS 12089 WITH SCORE 12103.631
AT ITER 1023 NEW BEST:: SOT 46942 SOS 14591 HAS SOPS 14591 HAS SOUS 12032 HAS SOUPS 12032 WITH SCORE 12046.591
AT ITER 1026 NEW BEST:: SOT 46905 SOS 14571 HAS SOPS 14571 HAS SOUS 12012 HAS SOUPS 12012 WITH SCORE 12026.571
AT ITER 1031 NEW BEST:: SOT 46905 SOS 14529 HAS SOPS 14529 HAS SOUS 11965 HAS SOUPS 11965 WITH SCORE 11979.529
AT ITER 1049 NEW BEST:: SOT 46905 SOS 14529 HAS SOPS 14529 HAS SOUS 11964 HAS SOUPS 11964 WITH SCORE 11978.529
AT ITER 1059 NEW BEST:: SOT 46918 SOS 14503 HAS SOPS 14503 HAS SOUS 11964 HAS SOUPS 11964 WITH SCORE 11978.503
AT ITER 1062 NEW BEST:: SOT 46936 SOS 14242 HAS SOPS 14242 HAS SOUS 11922 HAS SOUPS 11922 WITH SCORE 11936.242
AT ITER 1064 NEW BEST:: SOT 46983 SOS 14238 HAS SOPS 14238 HAS SOUS 11871 HAS SOUPS 11871 WITH SCORE 11885.238
AT ITER 1077 NEW BEST:: SOT 46938 SOS 14181 HAS SOPS 14181 HAS SOUS 11820 HAS SOUPS 11820 WITH SCORE 11834.181
AT ITER 1081 NEW BEST:: SOT 46912 SOS 14161 HAS SOPS 14161 HAS SOUS 11795 HAS SOUPS 11795 WITH SCORE 11809.161
AT ITER 1082 NEW BEST:: SOT 46912 SOS 14162 HAS SOPS 14162 HAS SOUS 11793 HAS SOUPS 11793 WITH SCORE 11807.162
AT ITER 1127 NEW BEST:: SOT 46893 SOS 14143 HAS SOPS 14143 HAS SOUS 11766 HAS SOUPS 11766 WITH SCORE 11780.143
AT ITER 1137 NEW BEST:: SOT 46861 SOS 14121 HAS SOPS 14121 HAS SOUS 11711 HAS SOUPS 11711 WITH SCORE 11725.121
AT ITER 1144 NEW BEST:: SOT 46861 SOS 14049 HAS SOPS 14049 HAS SOUS 11705 HAS SOUPS 11705 WITH SCORE 11719.049
AT ITER 1149 NEW BEST:: SOT 46859 SOS 14043 HAS SOPS 14043 HAS SOUS 11701 HAS SOUPS 11701 WITH SCORE 11715.043
AT ITER 1171 NEW BEST:: SOT 46865 SOS 14042 HAS SOPS 14042 HAS SOUS 11695 HAS SOUPS 11695 WITH SCORE 11709.042
AT ITER 1173 NEW BEST:: SOT 46854 SOS 13916 HAS SOPS 13916 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11639.916
AT ITER 1177 NEW BEST:: SOT 46873 SOS 13769 HAS SOPS 13769 HAS SOUS 11577 HAS SOUPS 11577 WITH SCORE 11590.769
AT ITER 1181 NEW BEST:: SOT 46879 SOS 13781 HAS SOPS 13781 HAS SOUS 11574 HAS SOUPS 11574 WITH SCORE 11587.781
AT ITER 1194 NEW BEST:: SOT 46871 SOS 13773 HAS SOPS 13773 HAS SOUS 11570 HAS SOUPS 11570 WITH SCORE 11583.773
AT ITER 1220 NEW BEST:: SOT 46865 SOS 13745 HAS SOPS 13745 HAS SOUS 11548 HAS SOUPS 11548 WITH SCORE 11561.745
AT ITER 1221 NEW BEST:: SOT 46432 SOS 15012 HAS SOPS 15012 HAS SOUS 11177 HAS SOUPS 11177 WITH SCORE 11192.012
AT ITER 1227 NEW BEST:: SOT 46431 SOS 15011 HAS SOPS 15011 HAS SOUS 11175 HAS SOUPS 11175 WITH SCORE 11190.011
AT ITER 1235 NEW BEST:: SOT 46407 SOS 14999 HAS SOPS 14999 HAS SOUS 11163 HAS SOUPS 11163 WITH SCORE 11177.999
AT ITER 1237 NEW BEST:: SOT 46393 SOS 14978 HAS SOPS 14978 HAS SOUS 11142 HAS SOUPS 11142 WITH SCORE 11156.978
AT ITER 1244 NEW BEST:: SOT 46392 SOS 14976 HAS SOPS 14976 HAS SOUS 11141 HAS SOUPS 11141 WITH SCORE 11155.976
AT ITER 1315 NEW BEST:: SOT 46395 SOS 14961 HAS SOPS 14961 HAS SOUS 11126 HAS SOUPS 11126 WITH SCORE 11140.961
AT ITER 1333 NEW BEST:: SOT 46351 SOS 15122 HAS SOPS 15122 HAS SOUS 11097 HAS SOUPS 11097 WITH SCORE 11112.122
AT ITER 1341 NEW BEST:: SOT 46346 SOS 15117 HAS SOPS 15117 HAS SOUS 11097 HAS SOUPS 11097 WITH SCORE 11112.117
AT ITER 1342 NEW BEST:: SOT 46346 SOS 15116 HAS SOPS 15116 HAS SOUS 11096 HAS SOUPS 11096 WITH SCORE 11111.116
AT ITER 1350 NEW BEST:: SOT 46342 SOS 15108 HAS SOPS 15108 HAS SOUS 11084 HAS SOUPS 11084 WITH SCORE 11099.108
AT ITER 1362 NEW BEST:: SOT 46331 SOS 15075 HAS SOPS 15075 HAS SOUS 11073 HAS SOUPS 11073 WITH SCORE 11088.075
AT ITER 1364 NEW BEST:: SOT 46316 SOS 15063 HAS SOPS 15063 HAS SOUS 11061 HAS SOUPS 11061 WITH SCORE 11076.063
AT ITER 1373 NEW BEST:: SOT 46287 SOS 15045 HAS SOPS 15045 HAS SOUS 11042 HAS SOUPS 11042 WITH SCORE 11057.045
AT ITER 1392 NEW BEST:: SOT 46281 SOS 15005 HAS SOPS 15005 HAS SOUS 11013 HAS SOUPS 11013 WITH SCORE 11028.005
AT ITER 1404 NEW BEST:: SOT 46271 SOS 14985 HAS SOPS 14985 HAS SOUS 10922 HAS SOUPS 10922 WITH SCORE 10936.985
AT ITER 1409 NEW BEST:: SOT 46269 SOS 14982 HAS SOPS 14982 HAS SOUS 10919 HAS SOUPS 10919 WITH SCORE 10933.982
AT ITER 1422 NEW BEST:: SOT 46257 SOS 14976 HAS SOPS 14976 HAS SOUS 10913 HAS SOUPS 10913 WITH SCORE 10927.976
AT ITER 1423 NEW BEST:: SOT 46238 SOS 14938 HAS SOPS 14938 HAS SOUS 10867 HAS SOUPS 10867 WITH SCORE 10881.938
AT ITER 1427 NEW BEST:: SOT 46192 SOS 14924 HAS SOPS 14924 HAS SOUS 10843 HAS SOUPS 10843 WITH SCORE 10857.924
AT ITER 1433 NEW BEST:: SOT 46145 SOS 14014 HAS SOPS 14014 HAS SOUS 10769 HAS SOUPS 10769 WITH SCORE 10783.014
AT ITER 1464 NEW BEST:: SOT 46135 SOS 14014 HAS SOPS 14014 HAS SOUS 10764 HAS SOUPS 10764 WITH SCORE 10778.014
AT ITER 1471 NEW BEST:: SOT 46125 SOS 14006 HAS SOPS 14006 HAS SOUS 10756 HAS SOUPS 10756 WITH SCORE 10770.006
AT ITER 1501 NEW BEST:: SOT 46119 SOS 13994 HAS SOPS 13994 HAS SOUS 10749 HAS SOUPS 10749 WITH SCORE 10762.994
AT ITER 1503 NEW BEST:: SOT 46112 SOS 13980 HAS SOPS 13980 HAS SOUS 10746 HAS SOUPS 10746 WITH SCORE 10759.98
AT ITER 1515 NEW BEST:: SOT 46080 SOS 13948 HAS SOPS 13948 HAS SOUS 10714 HAS SOUPS 10714 WITH SCORE 10727.948
AT ITER 1524 NEW BEST:: SOT 46080 SOS 13927 HAS SOPS 13927 HAS SOUS 10698 HAS SOUPS 10698 WITH SCORE 10711.927
AT ITER 1544 NEW BEST:: SOT 46078 SOS 13928 HAS SOPS 13928 HAS SOUS 10691 HAS SOUPS 10691 WITH SCORE 10704.928
AT ITER 1558 NEW BEST:: SOT 46078 SOS 13936 HAS SOPS 13936 HAS SOUS 10687 HAS SOUPS 10687 WITH SCORE 10700.936
AT ITER 1560 NEW BEST:: SOT 46083 SOS 13948 HAS SOPS 13948 HAS SOUS 10674 HAS SOUPS 10674 WITH SCORE 10687.948
AT ITER 1577 NEW BEST:: SOT 46053 SOS 13907 HAS SOPS 13907 HAS SOUS 10652 HAS SOUPS 10652 WITH SCORE 10665.907
AT ITER 1590 NEW BEST:: SOT 46036 SOS 13890 HAS SOPS 13890 HAS SOUS 10640 HAS SOUPS 10640 WITH SCORE 10653.89
AT ITER 1600 NEW BEST:: SOT 46025 SOS 13838 HAS SOPS 13838 HAS SOUS 10624 HAS SOUPS 10624 WITH SCORE 10637.838
AT ITER 1607 NEW BEST:: SOT 45989 SOS 13736 HAS SOPS 13736 HAS SOUS 10588 HAS SOUPS 10588 WITH SCORE 10601.736
AT ITER 1612 NEW BEST:: SOT 45982 SOS 13733 HAS SOPS 13733 HAS SOUS 10574 HAS SOUPS 10574 WITH SCORE 10587.733
AT ITER 1653 NEW BEST:: SOT 45982 SOS 13733 HAS SOPS 13733 HAS SOUS 10570 HAS SOUPS 10570 WITH SCORE 10583.733
AT ITER 1657 NEW BEST:: SOT 45999 SOS 13667 HAS SOPS 13667 HAS SOUS 10487 HAS SOUPS 10487 WITH SCORE 10500.667
AT ITER 1666 NEW BEST:: SOT 45999 SOS 13588 HAS SOPS 13588 HAS SOUS 10408 HAS SOUPS 10408 WITH SCORE 10421.588
AT ITER 1682 NEW BEST:: SOT 45990 SOS 13587 HAS SOPS 13587 HAS SOUS 10399 HAS SOUPS 10399 WITH SCORE 10412.587
AT ITER 1687 NEW BEST:: SOT 45910 SOS 13521 HAS SOPS 13521 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10354.521
AT ITER 1688 NEW BEST:: SOT 45870 SOS 13536 HAS SOPS 13536 HAS SOUS 10275 HAS SOUPS 10275 WITH SCORE 10288.536
AT ITER 1689 NEW BEST:: SOT 45873 SOS 13540 HAS SOPS 13540 HAS SOUS 10271 HAS SOUPS 10271 WITH SCORE 10284.54
AT ITER 1695 NEW BEST:: SOT 45836 SOS 13466 HAS SOPS 13466 HAS SOUS 10220 HAS SOUPS 10220 WITH SCORE 10233.466
AT ITER 1714 NEW BEST:: SOT 45847 SOS 13475 HAS SOPS 13475 HAS SOUS 10218 HAS SOUPS 10218 WITH SCORE 10231.475
AT ITER 1730 NEW BEST:: SOT 45847 SOS 13463 HAS SOPS 13463 HAS SOUS 10218 HAS SOUPS 10218 WITH SCORE 10231.463
AT ITER 1733 NEW BEST:: SOT 45843 SOS 13451 HAS SOPS 13451 HAS SOUS 10210 HAS SOUPS 10210 WITH SCORE 10223.451
AT ITER 1739 NEW BEST:: SOT 45887 SOS 13413 HAS SOPS 13413 HAS SOUS 10191 HAS SOUPS 10191 WITH SCORE 10204.413
AT ITER 1766 NEW BEST:: SOT 45873 SOS 13444 HAS SOPS 13444 HAS SOUS 10155 HAS SOUPS 10155 WITH SCORE 10168.444
AT ITER 1770 NEW BEST:: SOT 45850 SOS 13421 HAS SOPS 13421 HAS SOUS 10132 HAS SOUPS 10132 WITH SCORE 10145.421
AT ITER 1772 NEW BEST:: SOT 45846 SOS 13437 HAS SOPS 13437 HAS SOUS 10124 HAS SOUPS 10124 WITH SCORE 10137.437
AT ITER 1787 NEW BEST:: SOT 45846 SOS 13429 HAS SOPS 13429 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10133.429
AT ITER 1792 NEW BEST:: SOT 45838 SOS 13413 HAS SOPS 13413 HAS SOUS 10104 HAS SOUPS 10104 WITH SCORE 10117.413
AT ITER 1859 NEW BEST:: SOT 45843 SOS 13405 HAS SOPS 13405 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10107.405
AT ITER 1876 NEW BEST:: SOT 45841 SOS 13395 HAS SOPS 13395 HAS SOUS 10093 HAS SOUPS 10093 WITH SCORE 10106.395
AT ITER 1888 NEW BEST:: SOT 45862 SOS 13374 HAS SOPS 13374 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10091.374
AT ITER 1893 NEW BEST:: SOT 45857 SOS 13354 HAS SOPS 13354 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10091.354
AT ITER 1901 NEW BEST:: SOT 45832 SOS 13589 HAS SOPS 13589 HAS SOUS 10062 HAS SOUPS 10062 WITH SCORE 10075.589
AT ITER 1918 NEW BEST:: SOT 45789 SOS 13539 HAS SOPS 13539 HAS SOUS 10019 HAS SOUPS 10019 WITH SCORE 10032.539
AT ITER 1948 NEW BEST:: SOT 45792 SOS 13542 HAS SOPS 13542 HAS SOUS 10013 HAS SOUPS 10013 WITH SCORE 10026.542
AT ITER 1970 NEW BEST:: SOT 45780 SOS 13526 HAS SOPS 13526 HAS SOUS 9995 HAS SOUPS 9995 WITH SCORE 10008.526
AT ITER 2012 NEW BEST:: SOT 45777 SOS 13523 HAS SOPS 13523 HAS SOUS 9950 HAS SOUPS 9950 WITH SCORE 9963.523
AT ITER 2032 NEW BEST:: SOT 45777 SOS 13516 HAS SOPS 13516 HAS SOUS 9950 HAS SOUPS 9950 WITH SCORE 9963.516
AT ITER 2056 NEW BEST:: SOT 45740 SOS 13407 HAS SOPS 13407 HAS SOUS 9908 HAS SOUPS 9908 WITH SCORE 9921.407
AT ITER 2063 NEW BEST:: SOT 45713 SOS 13662 HAS SOPS 13662 HAS SOUS 9877 HAS SOUPS 9877 WITH SCORE 9890.662
AT ITER 2094 NEW BEST:: SOT 45709 SOS 13621 HAS SOPS 13621 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9882.621
AT ITER 2107 NEW BEST:: SOT 45693 SOS 13557 HAS SOPS 13557 HAS SOUS 9829 HAS SOUPS 9829 WITH SCORE 9842.557
AT ITER 2108 NEW BEST:: SOT 45705 SOS 13533 HAS SOPS 13533 HAS SOUS 9810 HAS SOUPS 9810 WITH SCORE 9823.533
AT ITER 2122 NEW BEST:: SOT 45705 SOS 13533 HAS SOPS 13533 HAS SOUS 9806 HAS SOUPS 9806 WITH SCORE 9819.533
AT ITER 2127 NEW BEST:: SOT 45705 SOS 13481 HAS SOPS 13481 HAS SOUS 9783 HAS SOUPS 9783 WITH SCORE 9796.481
AT ITER 2134 NEW BEST:: SOT 45708 SOS 13469 HAS SOPS 13469 HAS SOUS 9783 HAS SOUPS 9783 WITH SCORE 9796.469
AT ITER 2146 NEW BEST:: SOT 45703 SOS 13464 HAS SOPS 13464 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9786.464
AT ITER 2162 NEW BEST:: SOT 45642 SOS 13389 HAS SOPS 13389 HAS SOUS 9712 HAS SOUPS 9712 WITH SCORE 9725.389
AT ITER 2180 NEW BEST:: SOT 45629 SOS 13367 HAS SOPS 13367 HAS SOUS 9690 HAS SOUPS 9690 WITH SCORE 9703.367
AT ITER 2191 NEW BEST:: SOT 45630 SOS 13369 HAS SOPS 13369 HAS SOUS 9687 HAS SOUPS 9687 WITH SCORE 9700.369
AT ITER 2194 NEW BEST:: SOT 45624 SOS 13337 HAS SOPS 13337 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9674.337
AT ITER 2199 NEW BEST:: SOT 45624 SOS 13336 HAS SOPS 13336 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9674.336
AT ITER 2220 NEW BEST:: SOT 45625 SOS 13338 HAS SOPS 13338 HAS SOUS 9648 HAS SOUPS 9648 WITH SCORE 9661.338
AT ITER 2238 NEW BEST:: SOT 45623 SOS 13332 HAS SOPS 13332 HAS SOUS 9646 HAS SOUPS 9646 WITH SCORE 9659.332
AT ITER 2246 NEW BEST:: SOT 45703 SOS 13065 HAS SOPS 13065 HAS SOUS 9625 HAS SOUPS 9625 WITH SCORE 9638.065
AT ITER 2269 NEW BEST:: SOT 45703 SOS 13058 HAS SOPS 13058 HAS SOUS 9625 HAS SOUPS 9625 WITH SCORE 9638.058
AT ITER 2279 NEW BEST:: SOT 45702 SOS 13056 HAS SOPS 13056 HAS SOUS 9623 HAS SOUPS 9623 WITH SCORE 9636.056
AT ITER 2284 NEW BEST:: SOT 45654 SOS 12960 HAS SOPS 12960 HAS SOUS 9603 HAS SOUPS 9603 WITH SCORE 9615.96
AT ITER 2296 NEW BEST:: SOT 45643 SOS 12938 HAS SOPS 12938 HAS SOUS 9592 HAS SOUPS 9592 WITH SCORE 9604.938
AT ITER 2312 NEW BEST:: SOT 45652 SOS 12929 HAS SOPS 12929 HAS SOUS 9588 HAS SOUPS 9588 WITH SCORE 9600.929
AT ITER 2358 NEW BEST:: SOT 45655 SOS 12839 HAS SOPS 12839 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9574.839
AT ITER 2417 NEW BEST:: SOT 45650 SOS 12822 HAS SOPS 12822 HAS SOUS 9552 HAS SOUPS 9552 WITH SCORE 9564.822
AT ITER 2458 NEW BEST:: SOT 45629 SOS 12783 HAS SOPS 12783 HAS SOUS 9542 HAS SOUPS 9542 WITH SCORE 9554.783
AT ITER 2481 NEW BEST:: SOT 45637 SOS 12724 HAS SOPS 12724 HAS SOUS 9528 HAS SOUPS 9528 WITH SCORE 9540.724
AT ITER 2486 NEW BEST:: SOT 45637 SOS 12718 HAS SOPS 12718 HAS SOUS 9522 HAS SOUPS 9522 WITH SCORE 9534.718
AT ITER 2516 NEW BEST:: SOT 45631 SOS 12706 HAS SOPS 12706 HAS SOUS 9516 HAS SOUPS 9516 WITH SCORE 9528.706
AT ITER 2519 NEW BEST:: SOT 45628 SOS 12700 HAS SOPS 12700 HAS SOUS 9513 HAS SOUPS 9513 WITH SCORE 9525.7
AT ITER 2537 NEW BEST:: SOT 45625 SOS 12697 HAS SOPS 12697 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9522.697
AT ITER 2544 NEW BEST:: SOT 45625 SOS 12686 HAS SOPS 12686 HAS SOUS 9505 HAS SOUPS 9505 WITH SCORE 9517.686
AT ITER 2643 NEW BEST:: SOT 45615 SOS 12666 HAS SOPS 12666 HAS SOUS 9494 HAS SOUPS 9494 WITH SCORE 9506.666
AT ITER 2666 NEW BEST:: SOT 45599 SOS 12606 HAS SOPS 12606 HAS SOUS 9450 HAS SOUPS 9450 WITH SCORE 9462.606
AT ITER 2691 NEW BEST:: SOT 45591 SOS 12590 HAS SOPS 12590 HAS SOUS 9434 HAS SOUPS 9434 WITH SCORE 9446.59
AT ITER 2744 NEW BEST:: SOT 45573 SOS 12522 HAS SOPS 12522 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9428.522
AT ITER 2748 NEW BEST:: SOT 45573 SOS 12510 HAS SOPS 12510 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9428.51
AT ITER 2758 NEW BEST:: SOT 45569 SOS 12488 HAS SOPS 12488 HAS SOUS 9408 HAS SOUPS 9408 WITH SCORE 9420.488
AT ITER 2760 NEW BEST:: SOT 45561 SOS 12476 HAS SOPS 12476 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9412.476
AT ITER 2785 NEW BEST:: SOT 45561 SOS 12476 HAS SOPS 12476 HAS SOUS 9397 HAS SOUPS 9397 WITH SCORE 9409.476
AT ITER 2801 NEW BEST:: SOT 45525 SOS 12417 HAS SOPS 12417 HAS SOUS 9357 HAS SOUPS 9357 WITH SCORE 9369.417
AT ITER 2825 NEW BEST:: SOT 45462 SOS 12365 HAS SOPS 12365 HAS SOUS 9351 HAS SOUPS 9351 WITH SCORE 9363.365
AT ITER 2846 NEW BEST:: SOT 45459 SOS 12345 HAS SOPS 12345 HAS SOUS 9343 HAS SOUPS 9343 WITH SCORE 9355.345
AT ITER 2858 NEW BEST:: SOT 45456 SOS 12335 HAS SOPS 12335 HAS SOUS 9312 HAS SOUPS 9312 WITH SCORE 9324.335
AT ITER 2887 NEW BEST:: SOT 45401 SOS 12280 HAS SOPS 12280 HAS SOUS 9312 HAS SOUPS 9312 WITH SCORE 9324.28
AT ITER 2902 NEW BEST:: SOT 45375 SOS 12262 HAS SOPS 12262 HAS SOUS 9286 HAS SOUPS 9286 WITH SCORE 9298.262
AT ITER 2955 NEW BEST:: SOT 45374 SOS 12261 HAS SOPS 12261 HAS SOUS 9284 HAS SOUPS 9284 WITH SCORE 9296.261
AT ITER 2967 NEW BEST:: SOT 45370 SOS 12253 HAS SOPS 12253 HAS SOUS 9264 HAS SOUPS 9264 WITH SCORE 9276.253
AT ITER 2973 NEW BEST:: SOT 45330 SOS 12173 HAS SOPS 12173 HAS SOUS 9241 HAS SOUPS 9241 WITH SCORE 9253.173
AT ITER 3010 NEW BEST:: SOT 45329 SOS 12178 HAS SOPS 12178 HAS SOUS 9240 HAS SOUPS 9240 WITH SCORE 9252.178
AT ITER 3013 NEW BEST:: SOT 45321 SOS 12166 HAS SOPS 12166 HAS SOUS 9232 HAS SOUPS 9232 WITH SCORE 9244.166
AT ITER 3023 NEW BEST:: SOT 45321 SOS 12150 HAS SOPS 12150 HAS SOUS 9232 HAS SOUPS 9232 WITH SCORE 9244.15
AT ITER 3025 NEW BEST:: SOT 45321 SOS 12150 HAS SOPS 12150 HAS SOUS 9230 HAS SOUPS 9230 WITH SCORE 9242.15
AT ITER 3033 NEW BEST:: SOT 45302 SOS 12189 HAS SOPS 12189 HAS SOUS 9211 HAS SOUPS 9211 WITH SCORE 9223.189
AT ITER 3040 NEW BEST:: SOT 45288 SOS 12209 HAS SOPS 12209 HAS SOUS 9197 HAS SOUPS 9197 WITH SCORE 9209.209
AT ITER 3060 NEW BEST:: SOT 45287 SOS 12154 HAS SOPS 12154 HAS SOUS 9192 HAS SOUPS 9192 WITH SCORE 9204.154
AT ITER 3127 NEW BEST:: SOT 45289 SOS 12158 HAS SOPS 12158 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9192.158
AT ITER 3131 NEW BEST:: SOT 45273 SOS 12137 HAS SOPS 12137 HAS SOUS 9164 HAS SOUPS 9164 WITH SCORE 9176.137
AT ITER 3137 NEW BEST:: SOT 45228 SOS 12335 HAS SOPS 12335 HAS SOUS 9119 HAS SOUPS 9119 WITH SCORE 9131.335
AT ITER 3138 NEW BEST:: SOT 45228 SOS 12334 HAS SOPS 12334 HAS SOUS 9119 HAS SOUPS 9119 WITH SCORE 9131.334
AT ITER 3139 NEW BEST:: SOT 45228 SOS 12334 HAS SOPS 12334 HAS SOUS 9117 HAS SOUPS 9117 WITH SCORE 9129.334
AT ITER 3148 NEW BEST:: SOT 45197 SOS 12282 HAS SOPS 12282 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9098.282
AT ITER 3154 NEW BEST:: SOT 45197 SOS 12252 HAS SOPS 12252 HAS SOUS 9080 HAS SOUPS 9080 WITH SCORE 9092.252
AT ITER 3173 NEW BEST:: SOT 45200 SOS 12242 HAS SOPS 12242 HAS SOUS 9067 HAS SOUPS 9067 WITH SCORE 9079.242
AT ITER 3195 NEW BEST:: SOT 45170 SOS 12212 HAS SOPS 12212 HAS SOUS 9037 HAS SOUPS 9037 WITH SCORE 9049.212
AT ITER 3241 NEW BEST:: SOT 45170 SOS 12209 HAS SOPS 12209 HAS SOUS 9034 HAS SOUPS 9034 WITH SCORE 9046.209
AT ITER 3351 NEW BEST:: SOT 45170 SOS 12209 HAS SOPS 12209 HAS SOUS 9025 HAS SOUPS 9025 WITH SCORE 9037.209
AT ITER 3417 NEW BEST:: SOT 45165 SOS 12164 HAS SOPS 12164 HAS SOUS 9020 HAS SOUPS 9020 WITH SCORE 9032.164
AT ITER 3425 NEW BEST:: SOT 45161 SOS 12145 HAS SOPS 12145 HAS SOUS 9012 HAS SOUPS 9012 WITH SCORE 9024.145
AT ITER 3433 NEW BEST:: SOT 45161 SOS 12120 HAS SOPS 12120 HAS SOUS 9012 HAS SOUPS 9012 WITH SCORE 9024.12
AT ITER 3442 NEW BEST:: SOT 45157 SOS 12112 HAS SOPS 12112 HAS SOUS 9000 HAS SOUPS 9000 WITH SCORE 9012.112
AT ITER 3444 NEW BEST:: SOT 45157 SOS 12112 HAS SOPS 12112 HAS SOUS 8992 HAS SOUPS 8992 WITH SCORE 9004.112
AT ITER 3490 NEW BEST:: SOT 45153 SOS 12108 HAS SOPS 12108 HAS SOUS 8984 HAS SOUPS 8984 WITH SCORE 8996.108
AT ITER 3498 NEW BEST:: SOT 45148 SOS 12096 HAS SOPS 12096 HAS SOUS 8972 HAS SOUPS 8972 WITH SCORE 8984.096
AT ITER 3511 NEW BEST:: SOT 45137 SOS 12178 HAS SOPS 12178 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8977.178
AT ITER 3520 NEW BEST:: SOT 45137 SOS 12163 HAS SOPS 12163 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8977.163
AT ITER 3553 NEW BEST:: SOT 45142 SOS 12145 HAS SOPS 12145 HAS SOUS 8961 HAS SOUPS 8961 WITH SCORE 8973.145
AT ITER 3633 NEW BEST:: SOT 45141 SOS 12144 HAS SOPS 12144 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8972.144
AT ITER 3642 NEW BEST:: SOT 45147 SOS 12156 HAS SOPS 12156 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8968.156
AT ITER 3644 NEW BEST:: SOT 45163 SOS 12176 HAS SOPS 12176 HAS SOUS 8954 HAS SOUPS 8954 WITH SCORE 8966.176
AT ITER 3656 NEW BEST:: SOT 45163 SOS 12186 HAS SOPS 12186 HAS SOUS 8949 HAS SOUPS 8949 WITH SCORE 8961.186
AT ITER 3705 NEW BEST:: SOT 45163 SOS 12183 HAS SOPS 12183 HAS SOUS 8946 HAS SOUPS 8946 WITH SCORE 8958.183
AT ITER 3735 NEW BEST:: SOT 45147 SOS 12136 HAS SOPS 12136 HAS SOUS 8946 HAS SOUPS 8946 WITH SCORE 8958.136
AT ITER 3745 NEW BEST:: SOT 45148 SOS 12137 HAS SOPS 12137 HAS SOUS 8891 HAS SOUPS 8891 WITH SCORE 8903.137
AT ITER 3747 NEW BEST:: SOT 45167 SOS 12135 HAS SOPS 12135 HAS SOUS 8889 HAS SOUPS 8889 WITH SCORE 8901.135
AT ITER 3774 NEW BEST:: SOT 45165 SOS 12133 HAS SOPS 12133 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8899.133
AT ITER 3788 NEW BEST:: SOT 45149 SOS 12101 HAS SOPS 12101 HAS SOUS 8865 HAS SOUPS 8865 WITH SCORE 8877.101
AT ITER 3793 NEW BEST:: SOT 45150 SOS 12095 HAS SOPS 12095 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8870.095
AT ITER 3833 NEW BEST:: SOT 45140 SOS 12075 HAS SOPS 12075 HAS SOUS 8838 HAS SOUPS 8838 WITH SCORE 8850.075
AT ITER 3848 NEW BEST:: SOT 45094 SOS 12029 HAS SOPS 12029 HAS SOUS 8815 HAS SOUPS 8815 WITH SCORE 8827.029
AT ITER 3874 NEW BEST:: SOT 45096 SOS 11984 HAS SOPS 11984 HAS SOUS 8808 HAS SOUPS 8808 WITH SCORE 8819.984
AT ITER 3902 NEW BEST:: SOT 45086 SOS 11985 HAS SOPS 11985 HAS SOUS 8806 HAS SOUPS 8806 WITH SCORE 8817.985
AT ITER 3921 NEW BEST:: SOT 45086 SOS 11981 HAS SOPS 11981 HAS SOUS 8804 HAS SOUPS 8804 WITH SCORE 8815.981
AT ITER 3935 NEW BEST:: SOT 45087 SOS 11980 HAS SOPS 11980 HAS SOUS 8804 HAS SOUPS 8804 WITH SCORE 8815.98
AT ITER 3953 NEW BEST:: SOT 45092 SOS 11918 HAS SOPS 11918 HAS SOUS 8793 HAS SOUPS 8793 WITH SCORE 8804.918
AT ITER 3992 NEW BEST:: SOT 45092 SOS 11916 HAS SOPS 11916 HAS SOUS 8791 HAS SOUPS 8791 WITH SCORE 8802.916
AT ITER 4046 NEW BEST:: SOT 45084 SOS 11959 HAS SOPS 11959 HAS SOUS 8789 HAS SOUPS 8789 WITH SCORE 8800.959
AT ITER 4063 NEW BEST:: SOT 45083 SOS 11958 HAS SOPS 11958 HAS SOUS 8788 HAS SOUPS 8788 WITH SCORE 8799.958
AT ITER 4092 NEW BEST:: SOT 45083 SOS 11949 HAS SOPS 11949 HAS SOUS 8788 HAS SOUPS 8788 WITH SCORE 8799.949
AT ITER 4124 NEW BEST:: SOT 45074 SOS 11931 HAS SOPS 11931 HAS SOUS 8779 HAS SOUPS 8779 WITH SCORE 8790.931
AT ITER 4126 NEW BEST:: SOT 45053 SOS 11910 HAS SOPS 11910 HAS SOUS 8779 HAS SOUPS 8779 WITH SCORE 8790.91
AT ITER 4139 NEW BEST:: SOT 45051 SOS 11907 HAS SOPS 11907 HAS SOUS 8776 HAS SOUPS 8776 WITH SCORE 8787.907
AT ITER 4165 NEW BEST:: SOT 45050 SOS 11899 HAS SOPS 11899 HAS SOUS 8774 HAS SOUPS 8774 WITH SCORE 8785.899
AT ITER 4180 NEW BEST:: SOT 45033 SOS 11861 HAS SOPS 11861 HAS SOUS 8760 HAS SOUPS 8760 WITH SCORE 8771.861
AT ITER 4181 NEW BEST:: SOT 45030 SOS 11860 HAS SOPS 11860 HAS SOUS 8759 HAS SOUPS 8759 WITH SCORE 8770.86
AT ITER 4199 NEW BEST:: SOT 45030 SOS 11860 HAS SOPS 11860 HAS SOUS 8748 HAS SOUPS 8748 WITH SCORE 8759.86
AT ITER 4231 NEW BEST:: SOT 45055 SOS 11910 HAS SOPS 11910 HAS SOUS 8719 HAS SOUPS 8719 WITH SCORE 8730.91
AT ITER 4298 NEW BEST:: SOT 45024 SOS 11848 HAS SOPS 11848 HAS SOUS 8705 HAS SOUPS 8705 WITH SCORE 8716.848
AT ITER 4308 NEW BEST:: SOT 45019 SOS 11843 HAS SOPS 11843 HAS SOUS 8702 HAS SOUPS 8702 WITH SCORE 8713.843
AT ITER 4312 NEW BEST:: SOT 45020 SOS 11845 HAS SOPS 11845 HAS SOUS 8699 HAS SOUPS 8699 WITH SCORE 8710.845
AT ITER 4315 NEW BEST:: SOT 45020 SOS 11835 HAS SOPS 11835 HAS SOUS 8689 HAS SOUPS 8689 WITH SCORE 8700.835
AT ITER 4330 NEW BEST:: SOT 45027 SOS 11834 HAS SOPS 11834 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8689.834
AT ITER 4344 NEW BEST:: SOT 45019 SOS 11818 HAS SOPS 11818 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8678.818
AT ITER 4346 NEW BEST:: SOT 45019 SOS 11815 HAS SOPS 11815 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8678.815
AT ITER 4355 NEW BEST:: SOT 45012 SOS 11801 HAS SOPS 11801 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8671.801
AT ITER 4397 NEW BEST:: SOT 44966 SOS 11847 HAS SOPS 11847 HAS SOUS 8637 HAS SOUPS 8637 WITH SCORE 8648.847
AT ITER 4400 NEW BEST:: SOT 44958 SOS 11836 HAS SOPS 11836 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8637.836
AT ITER 4408 NEW BEST:: SOT 44971 SOS 11790 HAS SOPS 11790 HAS SOUS 8614 HAS SOUPS 8614 WITH SCORE 8625.79
AT ITER 4415 NEW BEST:: SOT 44971 SOS 11781 HAS SOPS 11781 HAS SOUS 8614 HAS SOUPS 8614 WITH SCORE 8625.781
AT ITER 4424 NEW BEST:: SOT 44965 SOS 11769 HAS SOPS 11769 HAS SOUS 8608 HAS SOUPS 8608 WITH SCORE 8619.769
AT ITER 4451 NEW BEST:: SOT 44941 SOS 11721 HAS SOPS 11721 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8583.721
AT ITER 4498 NEW BEST:: SOT 44922 SOS 11683 HAS SOPS 11683 HAS SOUS 8553 HAS SOUPS 8553 WITH SCORE 8564.683
AT ITER 4515 NEW BEST:: SOT 44882 SOS 11649 HAS SOPS 11649 HAS SOUS 8513 HAS SOUPS 8513 WITH SCORE 8524.649
AT ITER 4524 NEW BEST:: SOT 44882 SOS 11644 HAS SOPS 11644 HAS SOUS 8513 HAS SOUPS 8513 WITH SCORE 8524.644
AT ITER 4540 NEW BEST:: SOT 44879 SOS 11633 HAS SOPS 11633 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8520.633
AT ITER 4563 NEW BEST:: SOT 44879 SOS 11629 HAS SOPS 11629 HAS SOUS 8505 HAS SOUPS 8505 WITH SCORE 8516.629
AT ITER 4586 NEW BEST:: SOT 44896 SOS 11641 HAS SOPS 11641 HAS SOUS 8502 HAS SOUPS 8502 WITH SCORE 8513.641
AT ITER 4616 NEW BEST:: SOT 44896 SOS 11641 HAS SOPS 11641 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8503.641
AT ITER 4697 NEW BEST:: SOT 44893 SOS 11616 HAS SOPS 11616 HAS SOUS 8483 HAS SOUPS 8483 WITH SCORE 8494.616
AT ITER 4749 NEW BEST:: SOT 44902 SOS 11619 HAS SOPS 11619 HAS SOUS 8479 HAS SOUPS 8479 WITH SCORE 8490.619
AT ITER 4794 NEW BEST:: SOT 44895 SOS 11616 HAS SOPS 11616 HAS SOUS 8469 HAS SOUPS 8469 WITH SCORE 8480.616
AT ITER 4806 NEW BEST:: SOT 44890 SOS 11606 HAS SOPS 11606 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8470.606
AT ITER 4815 NEW BEST:: SOT 44850 SOS 11743 HAS SOPS 11743 HAS SOUS 8446 HAS SOUPS 8446 WITH SCORE 8457.743
AT ITER 4817 NEW BEST:: SOT 44834 SOS 11731 HAS SOPS 11731 HAS SOUS 8434 HAS SOUPS 8434 WITH SCORE 8445.731
AT ITER 4826 NEW BEST:: SOT 44834 SOS 11731 HAS SOPS 11731 HAS SOUS 8419 HAS SOUPS 8419 WITH SCORE 8430.731
AT ITER 4838 NEW BEST:: SOT 44840 SOS 11727 HAS SOPS 11727 HAS SOUS 8409 HAS SOUPS 8409 WITH SCORE 8420.727
AT ITER 4854 NEW BEST:: SOT 44828 SOS 11691 HAS SOPS 11691 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8396.691
AT ITER 4883 NEW BEST:: SOT 44827 SOS 11689 HAS SOPS 11689 HAS SOUS 8384 HAS SOUPS 8384 WITH SCORE 8395.689
AT ITER 4930 NEW BEST:: SOT 44814 SOS 11676 HAS SOPS 11676 HAS SOUS 8378 HAS SOUPS 8378 WITH SCORE 8389.676
AT ITER 4945 NEW BEST:: SOT 44800 SOS 11648 HAS SOPS 11648 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8375.648
AT ITER 4970 NEW BEST:: SOT 44800 SOS 11648 HAS SOPS 11648 HAS SOUS 8363 HAS SOUPS 8363 WITH SCORE 8374.648
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-00 (EU( ( ( potential( ( 2 ) <= (tk(P76)) ) & potential( ( 1 ) <= (tk(P26)) ) ) & potential( (tk(P264)) <= (tk(P31)) ) ),(EF(potential( ( 1 ) <= (tk(P103)) ))) ))
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-01 (AG( ( (EF(potential( (tk(P262)) <= (tk(P153)) ))) | (! ( potential( (tk(P141)) <= (tk(P216)) ) & potential( (tk(P149)) <= (tk(P36)) ) )) )))
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-02 ( (AX( (EX( potential( ( 2 ) <= (tk(P144)) ))))) | (AF((AG( potential( (tk(P189)) <= (tk(P135)) ))))) )
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-03 (EU( (EF(potential( (tk(P142)) <= (tk(P226)) ))),(AG( potential( ( 3 ) <= (tk(P103)) ))) ))
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-04 (EU( ( potential( (tk(P88)) <= (tk(P261)) ) | ( potential( (tk(P27)) <= (tk(P91)) ) & potential( (tk(P52)) <= (tk(P112)) ) ) ),(AG( potential( (tk(P38)) <= (tk(P220)) ))) ))
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-05 (AG( ( (EG( potential( (tk(P47)) <= (tk(P265)) ))) | ( (! potential( ( 1 ) <= (tk(P110)) )) & ( potential( ( 1 ) <= (tk(P224)) ) | potential( (tk(P8)) <= (tk(P214)) ) ) ) )))
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-06 (EU( (EG( potential( (tk(P154)) <= (tk(P186)) ))),( ( potential( ( 1 ) <= (tk(P41)) ) & potential( ( 2 ) <= (tk(P236)) ) ) & potential( ( 1 ) <= (tk(P193)) ) ) ))
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-07 (AF((AG( potential( (tk(P45)) <= (tk(P103)) )))))
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-08 ( (! ( ( (! potential( (tk(P122)) <= (tk(P50)) )) & potential( (tk(P107)) <= (tk(P249)) ) ) | ( ( potential( ( 2 ) <= (tk(P51)) ) | potential( ( 3 ) <= (tk(P210)) ) ) | ( potential( ( 1 ) <= (tk(P114)) ) | potential( (tk(P168)) <= (tk(P122)) ) ) ) )) | (AG( (! ( potential( ( 2 ) <= (tk(P157)) ) | potential( ( 3 ) <= (tk(P114)) ) )))) )
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-09 (EF(potential( ( 3 ) <= (tk(P234)) )))
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-10 ( (EF((AF(potential( ( 3 ) <= (tk(P181)) ))))) | (! (AX( potential( (tk(P103)) <= (tk(P178)) )))) )
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-11 (EF((AG( (! potential( (tk(P169)) <= (tk(P147)) ))))))
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-12 ( ( potential( ( 2 ) <= (tk(P175)) ) & (AF(( potential( (tk(P147)) <= (tk(P208)) ) | potential( (tk(P186)) <= (tk(P214)) ) ))) ) | ( (EF(( potential( ( 2 ) <= (tk(P7)) ) | potential( ( 2 ) <= (tk(P215)) ) ))) | potential( ( 1 ) <= (tk(P42)) ) ) )
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-13 (! (EU( potential( (tk(P44)) <= (tk(P220)) ),(! potential( (tk(P84)) <= (tk(P212)) )) )))
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-14 (EF((! (EF(potential( ( 1 ) <= (tk(P25)) ))))))
PROPERTY: FlexibleBarrier-PT-04b-CTLCardinality-15 (AG( (! (! (! potential( ( 3 ) <= (tk(P97)) ))))))

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="FlexibleBarrier-PT-04b"
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 FlexibleBarrier-PT-04b, 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 r078-smll-158922972400267"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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