About the Execution of smart for SafeBus-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15753.420 | 3600000.00 | 3591353.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.r153-oct2-158972910200411.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 SafeBus-PT-10, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910200411
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.7M
-rw-r--r-- 1 mcc users 12K Apr 12 12:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Apr 12 12:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 123K Apr 11 13:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 392K Apr 11 13:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 15K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 54K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 179K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Apr 10 17:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 30K Apr 10 17:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 21K Apr 9 23:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Apr 9 23:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.9K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 1.7M Mar 24 05:38 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 SafeBus-PT-10-CTLCardinality-00
FORMULA_NAME SafeBus-PT-10-CTLCardinality-01
FORMULA_NAME SafeBus-PT-10-CTLCardinality-02
FORMULA_NAME SafeBus-PT-10-CTLCardinality-03
FORMULA_NAME SafeBus-PT-10-CTLCardinality-04
FORMULA_NAME SafeBus-PT-10-CTLCardinality-05
FORMULA_NAME SafeBus-PT-10-CTLCardinality-06
FORMULA_NAME SafeBus-PT-10-CTLCardinality-07
FORMULA_NAME SafeBus-PT-10-CTLCardinality-08
FORMULA_NAME SafeBus-PT-10-CTLCardinality-09
FORMULA_NAME SafeBus-PT-10-CTLCardinality-10
FORMULA_NAME SafeBus-PT-10-CTLCardinality-11
FORMULA_NAME SafeBus-PT-10-CTLCardinality-12
FORMULA_NAME SafeBus-PT-10-CTLCardinality-13
FORMULA_NAME SafeBus-PT-10-CTLCardinality-14
FORMULA_NAME SafeBus-PT-10-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589744294057
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (PT), instance 10
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: 316 places, 1631 transitions, 11384 arcs.
AT ITER 0 NEW BEST:: SOT 281711 SOS 216209 HAS SOPS 215551 HAS SOUS 80573 HAS SOUPS 80297 WITH SCORE 80513.209
AT ITER 6 NEW BEST:: SOT 281886 SOS 216317 HAS SOPS 215549 HAS SOUS 80537 HAS SOUPS 80151 WITH SCORE 80367.317
AT ITER 28 NEW BEST:: SOT 281800 SOS 216231 HAS SOPS 215463 HAS SOUS 80500 HAS SOUPS 80114 WITH SCORE 80330.231
AT ITER 34 NEW BEST:: SOT 273697 SOS 208210 HAS SOPS 207442 HAS SOUS 72408 HAS SOUPS 72022 WITH SCORE 72230.21
AT ITER 46 NEW BEST:: SOT 273725 SOS 208823 HAS SOPS 208055 HAS SOUS 72388 HAS SOUPS 72002 WITH SCORE 72210.823
AT ITER 58 NEW BEST:: SOT 273716 SOS 209171 HAS SOPS 208403 HAS SOUS 72337 HAS SOUPS 71951 WITH SCORE 72160.171
AT ITER 59 NEW BEST:: SOT 273545 SOS 209000 HAS SOPS 208232 HAS SOUS 72166 HAS SOUPS 71780 WITH SCORE 71989.0
AT ITER 60 NEW BEST:: SOT 273513 SOS 208907 HAS SOPS 208080 HAS SOUS 71922 HAS SOUPS 71477 WITH SCORE 71685.907
AT ITER 87 NEW BEST:: SOT 273306 SOS 208700 HAS SOPS 207873 HAS SOUS 71715 HAS SOUPS 71270 WITH SCORE 71478.7
AT ITER 96 NEW BEST:: SOT 273262 SOS 208656 HAS SOPS 207829 HAS SOUS 71693 HAS SOUPS 71248 WITH SCORE 71456.656
AT ITER 132 NEW BEST:: SOT 273483 SOS 208812 HAS SOPS 207894 HAS SOUS 71716 HAS SOUPS 71180 WITH SCORE 71388.812
AT ITER 141 NEW BEST:: SOT 270970 SOS 214587 HAS SOPS 214059 HAS SOUS 69287 HAS SOUPS 68759 WITH SCORE 68973.587
AT ITER 144 NEW BEST:: SOT 267089 SOS 215702 HAS SOPS 215702 HAS SOUS 65817 HAS SOUPS 65817 WITH SCORE 66032.702
AT ITER 154 NEW BEST:: SOT 267059 SOS 215672 HAS SOPS 215672 HAS SOUS 65793 HAS SOUPS 65793 WITH SCORE 66008.672
AT ITER 157 NEW BEST:: SOT 266951 SOS 215564 HAS SOPS 215564 HAS SOUS 65634 HAS SOUPS 65634 WITH SCORE 65849.564
AT ITER 158 NEW BEST:: SOT 266951 SOS 215578 HAS SOPS 215578 HAS SOUS 65632 HAS SOUPS 65632 WITH SCORE 65847.578
AT ITER 172 NEW BEST:: SOT 267034 SOS 215661 HAS SOPS 215661 HAS SOUS 65591 HAS SOUPS 65591 WITH SCORE 65806.661
AT ITER 181 NEW BEST:: SOT 266809 SOS 215436 HAS SOPS 215436 HAS SOUS 65366 HAS SOUPS 65366 WITH SCORE 65581.436
AT ITER 183 NEW BEST:: SOT 266809 SOS 215436 HAS SOPS 215436 HAS SOUS 65359 HAS SOUPS 65359 WITH SCORE 65574.436
AT ITER 190 NEW BEST:: SOT 266809 SOS 215436 HAS SOPS 215436 HAS SOUS 65350 HAS SOUPS 65350 WITH SCORE 65565.436
AT ITER 198 NEW BEST:: SOT 266759 SOS 215386 HAS SOPS 215386 HAS SOUS 65300 HAS SOUPS 65300 WITH SCORE 65515.386
AT ITER 203 NEW BEST:: SOT 266785 SOS 215412 HAS SOPS 215412 HAS SOUS 65289 HAS SOUPS 65289 WITH SCORE 65504.412
AT ITER 226 NEW BEST:: SOT 266833 SOS 216334 HAS SOPS 216334 HAS SOUS 65220 HAS SOUPS 65220 WITH SCORE 65436.334
AT ITER 244 NEW BEST:: SOT 266814 SOS 216315 HAS SOPS 216315 HAS SOUS 65192 HAS SOUPS 65192 WITH SCORE 65408.315
AT ITER 251 NEW BEST:: SOT 266912 SOS 216402 HAS SOPS 216402 HAS SOUS 65079 HAS SOUPS 65079 WITH SCORE 65295.402
AT ITER 258 NEW BEST:: SOT 266681 SOS 216171 HAS SOPS 216171 HAS SOUS 64822 HAS SOUPS 64822 WITH SCORE 65038.171
AT ITER 283 NEW BEST:: SOT 266750 SOS 216240 HAS SOPS 216240 HAS SOUS 64767 HAS SOUPS 64767 WITH SCORE 64983.24
AT ITER 304 NEW BEST:: SOT 266750 SOS 216667 HAS SOPS 216667 HAS SOUS 64716 HAS SOUPS 64716 WITH SCORE 64932.667
AT ITER 310 NEW BEST:: SOT 266178 SOS 216095 HAS SOPS 216095 HAS SOUS 64131 HAS SOUPS 64131 WITH SCORE 64347.095
AT ITER 311 NEW BEST:: SOT 266065 SOS 215732 HAS SOPS 215732 HAS SOUS 63971 HAS SOUPS 63971 WITH SCORE 64186.732
AT ITER 315 NEW BEST:: SOT 266128 SOS 215795 HAS SOPS 215795 HAS SOUS 63821 HAS SOUPS 63821 WITH SCORE 64036.795
AT ITER 320 NEW BEST:: SOT 265283 SOS 214950 HAS SOPS 214950 HAS SOUS 62947 HAS SOUPS 62947 WITH SCORE 63161.95
AT ITER 323 NEW BEST:: SOT 265356 SOS 215006 HAS SOPS 215006 HAS SOUS 62803 HAS SOUPS 62803 WITH SCORE 63018.006
AT ITER 325 NEW BEST:: SOT 265398 SOS 215048 HAS SOPS 215030 HAS SOUS 62782 HAS SOUPS 62769 WITH SCORE 62984.048
AT ITER 335 NEW BEST:: SOT 265398 SOS 211195 HAS SOPS 211177 HAS SOUS 62782 HAS SOUPS 62769 WITH SCORE 62980.195
AT ITER 340 NEW BEST:: SOT 265387 SOS 211164 HAS SOPS 211142 HAS SOUS 62751 HAS SOUPS 62738 WITH SCORE 62949.164
AT ITER 346 NEW BEST:: SOT 265341 SOS 211118 HAS SOPS 211096 HAS SOUS 62727 HAS SOUPS 62714 WITH SCORE 62925.118
AT ITER 355 NEW BEST:: SOT 265341 SOS 211108 HAS SOPS 211086 HAS SOUS 62727 HAS SOUPS 62714 WITH SCORE 62925.108
AT ITER 357 NEW BEST:: SOT 265370 SOS 211131 HAS SOPS 211109 HAS SOUS 62716 HAS SOUPS 62703 WITH SCORE 62914.131
AT ITER 367 NEW BEST:: SOT 265123 SOS 210884 HAS SOPS 210862 HAS SOUS 62469 HAS SOUPS 62456 WITH SCORE 62666.884
AT ITER 371 NEW BEST:: SOT 265099 SOS 210872 HAS SOPS 210850 HAS SOUS 62440 HAS SOUPS 62427 WITH SCORE 62637.872
AT ITER 383 NEW BEST:: SOT 264991 SOS 210764 HAS SOPS 210742 HAS SOUS 62200 HAS SOUPS 62187 WITH SCORE 62397.764
AT ITER 389 NEW BEST:: SOT 265108 SOS 210881 HAS SOPS 210859 HAS SOUS 62170 HAS SOUPS 62157 WITH SCORE 62367.881
AT ITER 399 NEW BEST:: SOT 265108 SOS 210881 HAS SOPS 210859 HAS SOUS 62158 HAS SOUPS 62145 WITH SCORE 62355.881
AT ITER 402 NEW BEST:: SOT 264834 SOS 210607 HAS SOPS 210585 HAS SOUS 61810 HAS SOUPS 61797 WITH SCORE 62007.607
AT ITER 415 NEW BEST:: SOT 264741 SOS 210613 HAS SOPS 210600 HAS SOUS 61783 HAS SOUPS 61770 WITH SCORE 61980.613
AT ITER 418 NEW BEST:: SOT 264795 SOS 211682 HAS SOPS 211669 HAS SOUS 61754 HAS SOUPS 61741 WITH SCORE 61952.682
AT ITER 432 NEW BEST:: SOT 264795 SOS 217402 HAS SOPS 217389 HAS SOUS 61746 HAS SOUPS 61733 WITH SCORE 61950.402
AT ITER 434 NEW BEST:: SOT 264777 SOS 217458 HAS SOPS 217445 HAS SOUS 61692 HAS SOUPS 61679 WITH SCORE 61896.458
AT ITER 437 NEW BEST:: SOT 264776 SOS 217453 HAS SOPS 217440 HAS SOUS 61688 HAS SOUPS 61675 WITH SCORE 61892.453
AT ITER 448 NEW BEST:: SOT 264551 SOS 217214 HAS SOPS 217201 HAS SOUS 61225 HAS SOUPS 61212 WITH SCORE 61429.214
AT ITER 463 NEW BEST:: SOT 264545 SOS 217208 HAS SOPS 217195 HAS SOUS 61223 HAS SOUPS 61210 WITH SCORE 61427.208
AT ITER 469 NEW BEST:: SOT 264514 SOS 217177 HAS SOPS 217164 HAS SOUS 61145 HAS SOUPS 61132 WITH SCORE 61349.177
AT ITER 471 NEW BEST:: SOT 264514 SOS 217151 HAS SOPS 217108 HAS SOUS 61145 HAS SOUPS 61102 WITH SCORE 61319.151
AT ITER 472 NEW BEST:: SOT 264595 SOS 217232 HAS SOPS 217189 HAS SOUS 61082 HAS SOUPS 61039 WITH SCORE 61256.232
AT ITER 499 NEW BEST:: SOT 264542 SOS 217172 HAS SOPS 217136 HAS SOUS 60968 HAS SOUPS 60932 WITH SCORE 61149.172
AT ITER 502 NEW BEST:: SOT 264654 SOS 217284 HAS SOPS 217248 HAS SOUS 60919 HAS SOUPS 60883 WITH SCORE 61100.284
AT ITER 509 NEW BEST:: SOT 264644 SOS 217274 HAS SOPS 217238 HAS SOUS 60914 HAS SOUPS 60878 WITH SCORE 61095.274
AT ITER 512 NEW BEST:: SOT 264644 SOS 217274 HAS SOPS 217238 HAS SOUS 60870 HAS SOUPS 60834 WITH SCORE 61051.274
AT ITER 523 NEW BEST:: SOT 264384 SOS 217014 HAS SOPS 216978 HAS SOUS 60402 HAS SOUPS 60366 WITH SCORE 60583.014
AT ITER 525 NEW BEST:: SOT 264365 SOS 216995 HAS SOPS 216959 HAS SOUS 59955 HAS SOUPS 59919 WITH SCORE 60135.995
AT ITER 528 NEW BEST:: SOT 264407 SOS 217037 HAS SOPS 217001 HAS SOUS 59949 HAS SOUPS 59913 WITH SCORE 60130.037
AT ITER 547 NEW BEST:: SOT 264187 SOS 216817 HAS SOPS 216781 HAS SOUS 59845 HAS SOUPS 59809 WITH SCORE 60025.817
AT ITER 583 NEW BEST:: SOT 264165 SOS 216795 HAS SOPS 216759 HAS SOUS 59799 HAS SOUPS 59763 WITH SCORE 59979.795
AT ITER 584 NEW BEST:: SOT 264141 SOS 216771 HAS SOPS 216735 HAS SOUS 59727 HAS SOUPS 59691 WITH SCORE 59907.771
AT ITER 592 NEW BEST:: SOT 264141 SOS 216974 HAS SOPS 216938 HAS SOUS 59698 HAS SOUPS 59662 WITH SCORE 59878.974
AT ITER 594 NEW BEST:: SOT 264137 SOS 216970 HAS SOPS 216934 HAS SOUS 59694 HAS SOUPS 59658 WITH SCORE 59874.97
AT ITER 595 NEW BEST:: SOT 264137 SOS 216849 HAS SOPS 216802 HAS SOUS 59628 HAS SOUPS 59592 WITH SCORE 59808.849
AT ITER 607 NEW BEST:: SOT 263875 SOS 216570 HAS SOPS 216561 HAS SOUS 59175 HAS SOUPS 59166 WITH SCORE 59382.57
AT ITER 616 NEW BEST:: SOT 263815 SOS 216456 HAS SOPS 216447 HAS SOUS 59175 HAS SOUPS 59166 WITH SCORE 59382.456
AT ITER 637 NEW BEST:: SOT 263815 SOS 216972 HAS SOPS 216963 HAS SOUS 59167 HAS SOUPS 59158 WITH SCORE 59374.972
AT ITER 639 NEW BEST:: SOT 263765 SOS 216922 HAS SOPS 216913 HAS SOUS 59119 HAS SOUPS 59110 WITH SCORE 59326.922
AT ITER 644 NEW BEST:: SOT 263739 SOS 216896 HAS SOPS 216887 HAS SOUS 59093 HAS SOUPS 59084 WITH SCORE 59300.896
AT ITER 647 NEW BEST:: SOT 263739 SOS 216896 HAS SOPS 216887 HAS SOUS 59061 HAS SOUPS 59052 WITH SCORE 59268.896
AT ITER 648 NEW BEST:: SOT 263360 SOS 216517 HAS SOPS 216508 HAS SOUS 58592 HAS SOUPS 58583 WITH SCORE 58799.517
AT ITER 649 NEW BEST:: SOT 263361 SOS 216492 HAS SOPS 216483 HAS SOUS 58323 HAS SOUPS 58314 WITH SCORE 58530.492
AT ITER 654 NEW BEST:: SOT 263320 SOS 216451 HAS SOPS 216442 HAS SOUS 58250 HAS SOUPS 58241 WITH SCORE 58457.451
AT ITER 658 NEW BEST:: SOT 263275 SOS 216406 HAS SOPS 216397 HAS SOUS 58125 HAS SOUPS 58116 WITH SCORE 58332.406
AT ITER 661 NEW BEST:: SOT 263237 SOS 216368 HAS SOPS 216359 HAS SOUS 58117 HAS SOUPS 58108 WITH SCORE 58324.368
AT ITER 669 NEW BEST:: SOT 263206 SOS 216337 HAS SOPS 216328 HAS SOUS 58109 HAS SOUPS 58100 WITH SCORE 58316.337
AT ITER 687 NEW BEST:: SOT 262940 SOS 216071 HAS SOPS 216062 HAS SOUS 57717 HAS SOUPS 57708 WITH SCORE 57924.071
AT ITER 693 NEW BEST:: SOT 263070 SOS 216169 HAS SOPS 216156 HAS SOUS 57580 HAS SOUPS 57567 WITH SCORE 57783.169
AT ITER 700 NEW BEST:: SOT 262798 SOS 215897 HAS SOPS 215884 HAS SOUS 57273 HAS SOUPS 57260 WITH SCORE 57475.897
AT ITER 721 NEW BEST:: SOT 262744 SOS 215840 HAS SOPS 215835 HAS SOUS 57144 HAS SOUPS 57139 WITH SCORE 57354.84
AT ITER 728 NEW BEST:: SOT 262736 SOS 215832 HAS SOPS 215827 HAS SOUS 57136 HAS SOUPS 57131 WITH SCORE 57346.832
AT ITER 730 NEW BEST:: SOT 262612 SOS 215708 HAS SOPS 215703 HAS SOUS 56999 HAS SOUPS 56994 WITH SCORE 57209.708
AT ITER 732 NEW BEST:: SOT 262637 SOS 215733 HAS SOPS 215728 HAS SOUS 56997 HAS SOUPS 56992 WITH SCORE 57207.733
AT ITER 741 NEW BEST:: SOT 262640 SOS 215732 HAS SOPS 215727 HAS SOUS 56964 HAS SOUPS 56959 WITH SCORE 57174.732
AT ITER 751 NEW BEST:: SOT 262640 SOS 215718 HAS SOPS 215713 HAS SOUS 56964 HAS SOUPS 56959 WITH SCORE 57174.718
AT ITER 755 NEW BEST:: SOT 262695 SOS 226366 HAS SOPS 226361 HAS SOUS 56938 HAS SOUPS 56933 WITH SCORE 57159.366
AT ITER 774 NEW BEST:: SOT 262695 SOS 226366 HAS SOPS 226361 HAS SOUS 56932 HAS SOUPS 56927 WITH SCORE 57153.366
AT ITER 775 NEW BEST:: SOT 262684 SOS 226355 HAS SOPS 226350 HAS SOUS 56921 HAS SOUPS 56916 WITH SCORE 57142.355
AT ITER 776 NEW BEST:: SOT 262748 SOS 226419 HAS SOPS 226414 HAS SOUS 56866 HAS SOUPS 56861 WITH SCORE 57087.419
AT ITER 789 NEW BEST:: SOT 262736 SOS 226403 HAS SOPS 226402 HAS SOUS 56585 HAS SOUPS 56584 WITH SCORE 56810.403
AT ITER 806 NEW BEST:: SOT 262684 SOS 226351 HAS SOPS 226350 HAS SOUS 56550 HAS SOUPS 56549 WITH SCORE 56775.351
AT ITER 822 NEW BEST:: SOT 262626 SOS 226293 HAS SOPS 226292 HAS SOUS 56492 HAS SOUPS 56491 WITH SCORE 56717.293
AT ITER 825 NEW BEST:: SOT 262624 SOS 226291 HAS SOPS 226290 HAS SOUS 56471 HAS SOUPS 56470 WITH SCORE 56696.291
AT ITER 845 NEW BEST:: SOT 262622 SOS 226289 HAS SOPS 226288 HAS SOUS 56469 HAS SOUPS 56468 WITH SCORE 56694.289
AT ITER 855 NEW BEST:: SOT 262285 SOS 225952 HAS SOPS 225951 HAS SOUS 56077 HAS SOUPS 56076 WITH SCORE 56301.952
AT ITER 857 NEW BEST:: SOT 261903 SOS 225570 HAS SOPS 225569 HAS SOUS 55575 HAS SOUPS 55574 WITH SCORE 55799.57
AT ITER 858 NEW BEST:: SOT 261903 SOS 225506 HAS SOPS 225505 HAS SOUS 55574 HAS SOUPS 55573 WITH SCORE 55798.506
AT ITER 859 NEW BEST:: SOT 261878 SOS 225481 HAS SOPS 225481 HAS SOUS 55319 HAS SOUPS 55319 WITH SCORE 55544.481
AT ITER 860 NEW BEST:: SOT 261878 SOS 225481 HAS SOPS 225481 HAS SOUS 55316 HAS SOUPS 55316 WITH SCORE 55541.481
AT ITER 865 NEW BEST:: SOT 261875 SOS 225478 HAS SOPS 225478 HAS SOUS 55301 HAS SOUPS 55301 WITH SCORE 55526.478
AT ITER 879 NEW BEST:: SOT 261746 SOS 225349 HAS SOPS 225349 HAS SOUS 55172 HAS SOUPS 55172 WITH SCORE 55397.349
AT ITER 897 NEW BEST:: SOT 261860 SOS 225463 HAS SOPS 225463 HAS SOUS 55138 HAS SOUPS 55138 WITH SCORE 55363.463
AT ITER 898 NEW BEST:: SOT 261860 SOS 225463 HAS SOPS 225463 HAS SOUS 55137 HAS SOUPS 55137 WITH SCORE 55362.463
AT ITER 902 NEW BEST:: SOT 261683 SOS 225286 HAS SOPS 225286 HAS SOUS 54960 HAS SOUPS 54960 WITH SCORE 55185.286
AT ITER 904 NEW BEST:: SOT 262065 SOS 225668 HAS SOPS 225668 HAS SOUS 54729 HAS SOUPS 54729 WITH SCORE 54954.668
AT ITER 909 NEW BEST:: SOT 262065 SOS 225668 HAS SOPS 225668 HAS SOUS 54721 HAS SOUPS 54721 WITH SCORE 54946.668
AT ITER 914 NEW BEST:: SOT 262065 SOS 225664 HAS SOPS 225664 HAS SOUS 54720 HAS SOUPS 54720 WITH SCORE 54945.664
AT ITER 920 NEW BEST:: SOT 262003 SOS 225602 HAS SOPS 225602 HAS SOUS 54547 HAS SOUPS 54547 WITH SCORE 54772.602
AT ITER 924 NEW BEST:: SOT 261963 SOS 225562 HAS SOPS 225562 HAS SOUS 54463 HAS SOUPS 54463 WITH SCORE 54688.562
AT ITER 931 NEW BEST:: SOT 261971 SOS 225911 HAS SOPS 225911 HAS SOUS 54445 HAS SOUPS 54445 WITH SCORE 54670.911
AT ITER 947 NEW BEST:: SOT 261971 SOS 225833 HAS SOPS 225833 HAS SOUS 54445 HAS SOUPS 54445 WITH SCORE 54670.833
AT ITER 949 NEW BEST:: SOT 261972 SOS 225832 HAS SOPS 225832 HAS SOUS 54439 HAS SOUPS 54439 WITH SCORE 54664.832
AT ITER 957 NEW BEST:: SOT 261952 SOS 225810 HAS SOPS 225810 HAS SOUS 54397 HAS SOUPS 54397 WITH SCORE 54622.81
AT ITER 982 NEW BEST:: SOT 261763 SOS 225621 HAS SOPS 225621 HAS SOUS 54200 HAS SOUPS 54200 WITH SCORE 54425.621
AT ITER 998 NEW BEST:: SOT 261763 SOS 225621 HAS SOPS 225621 HAS SOUS 54193 HAS SOUPS 54193 WITH SCORE 54418.621
AT ITER 999 NEW BEST:: SOT 261782 SOS 226045 HAS SOPS 226045 HAS SOUS 54166 HAS SOUPS 54166 WITH SCORE 54392.045
AT ITER 1019 NEW BEST:: SOT 261782 SOS 225706 HAS SOPS 225706 HAS SOUS 54142 HAS SOUPS 54142 WITH SCORE 54367.706
AT ITER 1021 NEW BEST:: SOT 261746 SOS 225670 HAS SOPS 225670 HAS SOUS 53965 HAS SOUPS 53965 WITH SCORE 54190.67
AT ITER 1023 NEW BEST:: SOT 261680 SOS 225604 HAS SOPS 225604 HAS SOUS 53965 HAS SOUPS 53965 WITH SCORE 54190.604
AT ITER 1033 NEW BEST:: SOT 261668 SOS 225592 HAS SOPS 225592 HAS SOUS 53941 HAS SOUPS 53941 WITH SCORE 54166.592
AT ITER 1058 NEW BEST:: SOT 261629 SOS 225553 HAS SOPS 225553 HAS SOUS 53531 HAS SOUPS 53531 WITH SCORE 53756.553
AT ITER 1060 NEW BEST:: SOT 261632 SOS 225556 HAS SOPS 225556 HAS SOUS 53464 HAS SOUPS 53464 WITH SCORE 53689.556
AT ITER 1062 NEW BEST:: SOT 261632 SOS 225556 HAS SOPS 225556 HAS SOUS 53428 HAS SOUPS 53428 WITH SCORE 53653.556
AT ITER 1071 NEW BEST:: SOT 261624 SOS 225548 HAS SOPS 225548 HAS SOUS 53420 HAS SOUPS 53420 WITH SCORE 53645.548
AT ITER 1084 NEW BEST:: SOT 261624 SOS 225548 HAS SOPS 225548 HAS SOUS 53418 HAS SOUPS 53418 WITH SCORE 53643.548
AT ITER 1094 NEW BEST:: SOT 261536 SOS 225727 HAS SOPS 225727 HAS SOUS 53307 HAS SOUPS 53307 WITH SCORE 53532.727
AT ITER 1118 NEW BEST:: SOT 261536 SOS 225804 HAS SOPS 225804 HAS SOUS 53296 HAS SOUPS 53296 WITH SCORE 53521.804
AT ITER 1125 NEW BEST:: SOT 261470 SOS 225738 HAS SOPS 225738 HAS SOUS 53071 HAS SOUPS 53071 WITH SCORE 53296.738
AT ITER 1140 NEW BEST:: SOT 261496 SOS 225764 HAS SOPS 225764 HAS SOUS 53034 HAS SOUPS 53034 WITH SCORE 53259.764
AT ITER 1152 NEW BEST:: SOT 261468 SOS 225736 HAS SOPS 225736 HAS SOUS 52926 HAS SOUPS 52926 WITH SCORE 53151.736
AT ITER 1163 NEW BEST:: SOT 261422 SOS 225690 HAS SOPS 225690 HAS SOUS 52734 HAS SOUPS 52734 WITH SCORE 52959.69
AT ITER 1176 NEW BEST:: SOT 261422 SOS 225717 HAS SOPS 225717 HAS SOUS 52728 HAS SOUPS 52728 WITH SCORE 52953.717
AT ITER 1190 NEW BEST:: SOT 261441 SOS 225736 HAS SOPS 225736 HAS SOUS 52602 HAS SOUPS 52602 WITH SCORE 52827.736
AT ITER 1198 NEW BEST:: SOT 261441 SOS 219204 HAS SOPS 219204 HAS SOUS 52602 HAS SOUPS 52602 WITH SCORE 52821.204
AT ITER 1201 NEW BEST:: SOT 261441 SOS 219204 HAS SOPS 219204 HAS SOUS 52592 HAS SOUPS 52592 WITH SCORE 52811.204
AT ITER 1206 NEW BEST:: SOT 261456 SOS 219219 HAS SOPS 219219 HAS SOUS 52589 HAS SOUPS 52589 WITH SCORE 52808.219
AT ITER 1212 NEW BEST:: SOT 261432 SOS 219195 HAS SOPS 219195 HAS SOUS 52533 HAS SOUPS 52533 WITH SCORE 52752.195
AT ITER 1214 NEW BEST:: SOT 261240 SOS 218999 HAS SOPS 218999 HAS SOUS 52361 HAS SOUPS 52361 WITH SCORE 52579.999
AT ITER 1229 NEW BEST:: SOT 261325 SOS 219084 HAS SOPS 219084 HAS SOUS 52359 HAS SOUPS 52359 WITH SCORE 52578.084
AT ITER 1251 NEW BEST:: SOT 261315 SOS 219074 HAS SOPS 219074 HAS SOUS 52349 HAS SOUPS 52349 WITH SCORE 52568.074
AT ITER 1274 NEW BEST:: SOT 261121 SOS 218682 HAS SOPS 218682 HAS SOUS 52155 HAS SOUPS 52155 WITH SCORE 52373.682
AT ITER 1291 NEW BEST:: SOT 261107 SOS 218668 HAS SOPS 218668 HAS SOUS 52137 HAS SOUPS 52137 WITH SCORE 52355.668
AT ITER 1305 NEW BEST:: SOT 260944 SOS 218505 HAS SOPS 218505 HAS SOUS 51764 HAS SOUPS 51764 WITH SCORE 51982.505
AT ITER 1314 NEW BEST:: SOT 260918 SOS 218479 HAS SOPS 218479 HAS SOUS 51725 HAS SOUPS 51725 WITH SCORE 51943.479
AT ITER 1316 NEW BEST:: SOT 260848 SOS 218409 HAS SOPS 218409 HAS SOUS 51634 HAS SOUPS 51634 WITH SCORE 51852.409
AT ITER 1325 NEW BEST:: SOT 260848 SOS 216065 HAS SOPS 215465 HAS SOUS 51640 HAS SOUPS 51634 WITH SCORE 51850.065
AT ITER 1331 NEW BEST:: SOT 260936 SOS 216153 HAS SOPS 215553 HAS SOUS 51596 HAS SOUPS 51590 WITH SCORE 51806.153
AT ITER 1340 NEW BEST:: SOT 260825 SOS 216061 HAS SOPS 215442 HAS SOUS 51558 HAS SOUPS 51533 WITH SCORE 51749.061
AT ITER 1347 NEW BEST:: SOT 260777 SOS 216067 HAS SOPS 215448 HAS SOUS 51450 HAS SOUPS 51425 WITH SCORE 51641.067
AT ITER 1351 NEW BEST:: SOT 260742 SOS 216032 HAS SOPS 215413 HAS SOUS 51418 HAS SOUPS 51393 WITH SCORE 51609.032
AT ITER 1367 NEW BEST:: SOT 260745 SOS 215965 HAS SOPS 215346 HAS SOUS 51356 HAS SOUPS 51331 WITH SCORE 51546.965
AT ITER 1372 NEW BEST:: SOT 260760 SOS 215978 HAS SOPS 215359 HAS SOUS 51341 HAS SOUPS 51316 WITH SCORE 51531.978
AT ITER 1383 NEW BEST:: SOT 260760 SOS 216269 HAS SOPS 216250 HAS SOUS 51326 HAS SOUPS 51307 WITH SCORE 51523.269
AT ITER 1400 NEW BEST:: SOT 260487 SOS 215872 HAS SOPS 215817 HAS SOUS 51072 HAS SOUPS 51017 WITH SCORE 51232.872
AT ITER 1402 NEW BEST:: SOT 260379 SOS 215764 HAS SOPS 215709 HAS SOUS 50898 HAS SOUPS 50843 WITH SCORE 51058.764
AT ITER 1407 NEW BEST:: SOT 260225 SOS 215342 HAS SOPS 215287 HAS SOUS 50730 HAS SOUPS 50675 WITH SCORE 50890.342
AT ITER 1443 NEW BEST:: SOT 260207 SOS 215324 HAS SOPS 215269 HAS SOUS 50708 HAS SOUPS 50653 WITH SCORE 50868.324
AT ITER 1444 NEW BEST:: SOT 260207 SOS 216718 HAS SOPS 216663 HAS SOUS 50638 HAS SOUPS 50583 WITH SCORE 50799.718
AT ITER 1447 NEW BEST:: SOT 260211 SOS 216722 HAS SOPS 216667 HAS SOUS 50634 HAS SOUPS 50579 WITH SCORE 50795.722
AT ITER 1448 NEW BEST:: SOT 260211 SOS 215970 HAS SOPS 215915 HAS SOUS 50634 HAS SOUPS 50579 WITH SCORE 50794.97
AT ITER 1450 NEW BEST:: SOT 260173 SOS 215932 HAS SOPS 215877 HAS SOUS 50596 HAS SOUPS 50541 WITH SCORE 50756.932
AT ITER 1455 NEW BEST:: SOT 260173 SOS 207317 HAS SOPS 207175 HAS SOUS 50680 HAS SOUPS 50538 WITH SCORE 50745.317
AT ITER 1499 NEW BEST:: SOT 260151 SOS 207295 HAS SOPS 207153 HAS SOUS 50636 HAS SOUPS 50494 WITH SCORE 50701.295
AT ITER 1508 NEW BEST:: SOT 260158 SOS 207302 HAS SOPS 207160 HAS SOUS 50632 HAS SOUPS 50490 WITH SCORE 50697.302
AT ITER 1510 NEW BEST:: SOT 259721 SOS 206865 HAS SOPS 206723 HAS SOUS 50441 HAS SOUPS 50299 WITH SCORE 50505.865
AT ITER 1536 NEW BEST:: SOT 259852 SOS 206996 HAS SOPS 206854 HAS SOUS 50356 HAS SOUPS 50214 WITH SCORE 50420.996
AT ITER 1563 NEW BEST:: SOT 259816 SOS 206960 HAS SOPS 206818 HAS SOUS 50320 HAS SOUPS 50178 WITH SCORE 50384.96
AT ITER 1574 NEW BEST:: SOT 259740 SOS 206884 HAS SOPS 206742 HAS SOUS 50211 HAS SOUPS 50069 WITH SCORE 50275.884
AT ITER 1584 NEW BEST:: SOT 259740 SOS 206788 HAS SOPS 206646 HAS SOUS 50211 HAS SOUPS 50069 WITH SCORE 50275.788
AT ITER 1590 NEW BEST:: SOT 259681 SOS 206702 HAS SOPS 206560 HAS SOUS 50141 HAS SOUPS 49999 WITH SCORE 50205.702
AT ITER 1598 NEW BEST:: SOT 259681 SOS 206660 HAS SOPS 206518 HAS SOUS 50141 HAS SOUPS 49999 WITH SCORE 50205.66
AT ITER 1639 NEW BEST:: SOT 259681 SOS 206656 HAS SOPS 206514 HAS SOUS 50140 HAS SOUPS 49998 WITH SCORE 50204.656
AT ITER 1642 NEW BEST:: SOT 259674 SOS 206649 HAS SOPS 206507 HAS SOUS 50100 HAS SOUPS 49958 WITH SCORE 50164.649
AT ITER 1644 NEW BEST:: SOT 259654 SOS 206629 HAS SOPS 206487 HAS SOUS 50072 HAS SOUPS 49930 WITH SCORE 50136.629
AT ITER 1659 NEW BEST:: SOT 259677 SOS 206652 HAS SOPS 206510 HAS SOUS 50065 HAS SOUPS 49923 WITH SCORE 50129.652
AT ITER 1676 NEW BEST:: SOT 259655 SOS 206630 HAS SOPS 206488 HAS SOUS 50021 HAS SOUPS 49879 WITH SCORE 50085.63
AT ITER 1678 NEW BEST:: SOT 259655 SOS 206630 HAS SOPS 206488 HAS SOUS 50018 HAS SOUPS 49876 WITH SCORE 50082.63
AT ITER 1697 NEW BEST:: SOT 259652 SOS 206627 HAS SOPS 206485 HAS SOUS 49976 HAS SOUPS 49834 WITH SCORE 50040.627
AT ITER 1706 NEW BEST:: SOT 259502 SOS 206477 HAS SOPS 206335 HAS SOUS 49801 HAS SOUPS 49659 WITH SCORE 49865.477
AT ITER 1714 NEW BEST:: SOT 259402 SOS 206377 HAS SOPS 206235 HAS SOUS 49701 HAS SOUPS 49559 WITH SCORE 49765.377
AT ITER 1725 NEW BEST:: SOT 259138 SOS 206113 HAS SOPS 205971 HAS SOUS 49362 HAS SOUPS 49220 WITH SCORE 49426.113
AT ITER 1735 NEW BEST:: SOT 259138 SOS 206117 HAS SOPS 205971 HAS SOUS 49344 HAS SOUPS 49198 WITH SCORE 49404.117
AT ITER 1751 NEW BEST:: SOT 259119 SOS 206008 HAS SOPS 205862 HAS SOUS 49325 HAS SOUPS 49179 WITH SCORE 49385.008
AT ITER 1753 NEW BEST:: SOT 259119 SOS 204076 HAS SOPS 203930 HAS SOUS 49325 HAS SOUPS 49179 WITH SCORE 49383.076
AT ITER 1772 NEW BEST:: SOT 259119 SOS 204002 HAS SOPS 203856 HAS SOUS 49325 HAS SOUPS 49179 WITH SCORE 49383.002
AT ITER 1779 NEW BEST:: SOT 258945 SOS 203828 HAS SOPS 203682 HAS SOUS 49108 HAS SOUPS 48962 WITH SCORE 49165.828
AT ITER 1785 NEW BEST:: SOT 258935 SOS 203818 HAS SOPS 203672 HAS SOUS 49091 HAS SOUPS 48945 WITH SCORE 49148.818
AT ITER 1798 NEW BEST:: SOT 258919 SOS 203802 HAS SOPS 203656 HAS SOUS 49075 HAS SOUPS 48929 WITH SCORE 49132.802
AT ITER 1806 NEW BEST:: SOT 258919 SOS 203802 HAS SOPS 203656 HAS SOUS 49074 HAS SOUPS 48928 WITH SCORE 49131.802
AT ITER 1814 NEW BEST:: SOT 258919 SOS 203655 HAS SOPS 203509 HAS SOUS 49074 HAS SOUPS 48928 WITH SCORE 49131.655
AT ITER 1821 NEW BEST:: SOT 258919 SOS 203655 HAS SOPS 203509 HAS SOUS 49068 HAS SOUPS 48922 WITH SCORE 49125.655
AT ITER 1851 NEW BEST:: SOT 258914 SOS 203650 HAS SOPS 203504 HAS SOUS 49057 HAS SOUPS 48911 WITH SCORE 49114.65
AT ITER 1862 NEW BEST:: SOT 258896 SOS 203632 HAS SOPS 203486 HAS SOUS 49057 HAS SOUPS 48911 WITH SCORE 49114.632
AT ITER 1882 NEW BEST:: SOT 258884 SOS 203620 HAS SOPS 203474 HAS SOUS 49051 HAS SOUPS 48905 WITH SCORE 49108.62
AT ITER 1889 NEW BEST:: SOT 258834 SOS 203570 HAS SOPS 203424 HAS SOUS 49006 HAS SOUPS 48860 WITH SCORE 49063.57
AT ITER 1893 NEW BEST:: SOT 258814 SOS 203667 HAS SOPS 203521 HAS SOUS 48725 HAS SOUPS 48579 WITH SCORE 48782.667
AT ITER 1896 NEW BEST:: SOT 258814 SOS 203559 HAS SOPS 203413 HAS SOUS 48725 HAS SOUPS 48579 WITH SCORE 48782.559
AT ITER 1920 NEW BEST:: SOT 258814 SOS 205577 HAS SOPS 205431 HAS SOUS 48705 HAS SOUPS 48559 WITH SCORE 48764.577
AT ITER 1922 NEW BEST:: SOT 258658 SOS 205538 HAS SOPS 205392 HAS SOUS 48556 HAS SOUPS 48410 WITH SCORE 48615.538
AT ITER 1953 NEW BEST:: SOT 258584 SOS 205464 HAS SOPS 205318 HAS SOUS 48482 HAS SOUPS 48336 WITH SCORE 48541.464
AT ITER 1974 NEW BEST:: SOT 258569 SOS 205449 HAS SOPS 205303 HAS SOUS 48468 HAS SOUPS 48322 WITH SCORE 48527.449
AT ITER 1986 NEW BEST:: SOT 258569 SOS 205245 HAS SOPS 205099 HAS SOUS 48468 HAS SOUPS 48322 WITH SCORE 48527.245
AT ITER 1990 NEW BEST:: SOT 258607 SOS 205283 HAS SOPS 205137 HAS SOUS 48466 HAS SOUPS 48320 WITH SCORE 48525.283
AT ITER 1996 NEW BEST:: SOT 258599 SOS 205275 HAS SOPS 205129 HAS SOUS 48454 HAS SOUPS 48308 WITH SCORE 48513.275
AT ITER 2002 NEW BEST:: SOT 258599 SOS 205259 HAS SOPS 205113 HAS SOUS 48454 HAS SOUPS 48308 WITH SCORE 48513.259
AT ITER 2033 NEW BEST:: SOT 258660 SOS 205314 HAS SOPS 205174 HAS SOUS 48428 HAS SOUPS 48288 WITH SCORE 48493.314
AT ITER 2037 NEW BEST:: SOT 258660 SOS 205294 HAS SOPS 205154 HAS SOUS 48408 HAS SOUPS 48268 WITH SCORE 48473.294
AT ITER 2038 NEW BEST:: SOT 258603 SOS 205237 HAS SOPS 205097 HAS SOUS 48345 HAS SOUPS 48205 WITH SCORE 48410.237
AT ITER 2041 NEW BEST:: SOT 258605 SOS 205203 HAS SOPS 205063 HAS SOUS 48338 HAS SOUPS 48198 WITH SCORE 48403.203
AT ITER 2050 NEW BEST:: SOT 258605 SOS 205183 HAS SOPS 205043 HAS SOUS 48333 HAS SOUPS 48193 WITH SCORE 48398.183
AT ITER 2051 NEW BEST:: SOT 258445 SOS 204929 HAS SOPS 204789 HAS SOUS 48164 HAS SOUPS 48024 WITH SCORE 48228.929
AT ITER 2060 NEW BEST:: SOT 258445 SOS 204929 HAS SOPS 204789 HAS SOUS 48155 HAS SOUPS 48015 WITH SCORE 48219.929
AT ITER 2063 NEW BEST:: SOT 258426 SOS 204910 HAS SOPS 204770 HAS SOUS 48153 HAS SOUPS 48013 WITH SCORE 48217.91
AT ITER 2078 NEW BEST:: SOT 258451 SOS 204935 HAS SOPS 204795 HAS SOUS 48141 HAS SOUPS 48001 WITH SCORE 48205.935
AT ITER 2096 NEW BEST:: SOT 258451 SOS 204965 HAS SOPS 204825 HAS SOUS 48139 HAS SOUPS 47999 WITH SCORE 48203.965
AT ITER 2100 NEW BEST:: SOT 258419 SOS 204933 HAS SOPS 204793 HAS SOUS 48063 HAS SOUPS 47923 WITH SCORE 48127.933
AT ITER 2128 NEW BEST:: SOT 258395 SOS 204909 HAS SOPS 204769 HAS SOUS 48027 HAS SOUPS 47887 WITH SCORE 48091.909
AT ITER 2148 NEW BEST:: SOT 258395 SOS 204909 HAS SOPS 204769 HAS SOUS 48009 HAS SOUPS 47869 WITH SCORE 48073.909
AT ITER 2151 NEW BEST:: SOT 258386 SOS 204900 HAS SOPS 204760 HAS SOUS 48005 HAS SOUPS 47865 WITH SCORE 48069.9
AT ITER 2157 NEW BEST:: SOT 258382 SOS 204896 HAS SOPS 204756 HAS SOUS 47989 HAS SOUPS 47849 WITH SCORE 48053.896
AT ITER 2194 NEW BEST:: SOT 258373 SOS 204887 HAS SOPS 204747 HAS SOUS 47980 HAS SOUPS 47840 WITH SCORE 48044.887
AT ITER 2195 NEW BEST:: SOT 258237 SOS 204751 HAS SOPS 204611 HAS SOUS 47658 HAS SOUPS 47518 WITH SCORE 47722.751
AT ITER 2205 NEW BEST:: SOT 258237 SOS 204769 HAS SOPS 204629 HAS SOUS 47653 HAS SOUPS 47513 WITH SCORE 47717.769
AT ITER 2206 NEW BEST:: SOT 258219 SOS 204751 HAS SOPS 204611 HAS SOUS 47599 HAS SOUPS 47459 WITH SCORE 47663.751
AT ITER 2246 NEW BEST:: SOT 258226 SOS 204758 HAS SOPS 204618 HAS SOUS 47595 HAS SOUPS 47455 WITH SCORE 47659.758
AT ITER 2249 NEW BEST:: SOT 258283 SOS 204815 HAS SOPS 204675 HAS SOUS 47575 HAS SOUPS 47435 WITH SCORE 47639.815
AT ITER 2261 NEW BEST:: SOT 258274 SOS 204806 HAS SOPS 204666 HAS SOUS 47565 HAS SOUPS 47425 WITH SCORE 47629.806
AT ITER 2263 NEW BEST:: SOT 258124 SOS 204656 HAS SOPS 204516 HAS SOUS 47415 HAS SOUPS 47275 WITH SCORE 47479.656
AT ITER 2264 NEW BEST:: SOT 258111 SOS 204643 HAS SOPS 204503 HAS SOUS 47402 HAS SOUPS 47262 WITH SCORE 47466.643
AT ITER 2272 NEW BEST:: SOT 258111 SOS 204631 HAS SOPS 204491 HAS SOUS 47402 HAS SOUPS 47262 WITH SCORE 47466.631
AT ITER 2281 NEW BEST:: SOT 258099 SOS 204619 HAS SOPS 204479 HAS SOUS 47359 HAS SOUPS 47219 WITH SCORE 47423.619
AT ITER 2325 NEW BEST:: SOT 258118 SOS 202779 HAS SOPS 202590 HAS SOUS 47378 HAS SOUPS 47189 WITH SCORE 47391.779
AT ITER 2340 NEW BEST:: SOT 258058 SOS 202691 HAS SOPS 202502 HAS SOUS 47314 HAS SOUPS 47125 WITH SCORE 47327.691
AT ITER 2364 NEW BEST:: SOT 258020 SOS 202653 HAS SOPS 202464 HAS SOUS 47261 HAS SOUPS 47072 WITH SCORE 47274.653
AT ITER 2377 NEW BEST:: SOT 257980 SOS 202613 HAS SOPS 202424 HAS SOUS 47214 HAS SOUPS 47025 WITH SCORE 47227.613
AT ITER 2405 NEW BEST:: SOT 257972 SOS 202605 HAS SOPS 202416 HAS SOUS 47202 HAS SOUPS 47013 WITH SCORE 47215.605
AT ITER 2410 NEW BEST:: SOT 258014 SOS 202617 HAS SOPS 202463 HAS SOUS 47155 HAS SOUPS 47001 WITH SCORE 47203.617
AT ITER 2418 NEW BEST:: SOT 257952 SOS 202555 HAS SOPS 202401 HAS SOUS 46952 HAS SOUPS 46798 WITH SCORE 47000.555
AT ITER 2445 NEW BEST:: SOT 257947 SOS 202550 HAS SOPS 202396 HAS SOUS 46947 HAS SOUPS 46793 WITH SCORE 46995.55
AT ITER 2455 NEW BEST:: SOT 257944 SOS 202547 HAS SOPS 202393 HAS SOUS 46932 HAS SOUPS 46778 WITH SCORE 46980.547
AT ITER 2473 NEW BEST:: SOT 257940 SOS 202651 HAS SOPS 202497 HAS SOUS 46816 HAS SOUPS 46662 WITH SCORE 46864.651
AT ITER 2516 NEW BEST:: SOT 257926 SOS 202615 HAS SOPS 202461 HAS SOUS 46800 HAS SOUPS 46646 WITH SCORE 46848.615
AT ITER 2528 NEW BEST:: SOT 257916 SOS 202873 HAS SOPS 202730 HAS SOUS 46754 HAS SOUPS 46611 WITH SCORE 46813.873
AT ITER 2544 NEW BEST:: SOT 258056 SOS 203013 HAS SOPS 202870 HAS SOUS 46748 HAS SOUPS 46605 WITH SCORE 46808.013
AT ITER 2565 NEW BEST:: SOT 258056 SOS 203013 HAS SOPS 202870 HAS SOUS 46732 HAS SOUPS 46589 WITH SCORE 46792.013
AT ITER 2566 NEW BEST:: SOT 258056 SOS 203003 HAS SOPS 202860 HAS SOUS 46732 HAS SOUPS 46589 WITH SCORE 46792.003
AT ITER 2581 NEW BEST:: SOT 258049 SOS 202996 HAS SOPS 202853 HAS SOUS 46725 HAS SOUPS 46582 WITH SCORE 46784.996
AT ITER 2588 NEW BEST:: SOT 257809 SOS 202228 HAS SOPS 202003 HAS SOUS 46685 HAS SOUPS 46460 WITH SCORE 46662.228
AT ITER 2589 NEW BEST:: SOT 257809 SOS 202235 HAS SOPS 202010 HAS SOUS 46684 HAS SOUPS 46459 WITH SCORE 46661.235
AT ITER 2590 NEW BEST:: SOT 257781 SOS 202199 HAS SOPS 201982 HAS SOUS 46632 HAS SOUPS 46415 WITH SCORE 46617.199
AT ITER 2594 NEW BEST:: SOT 257781 SOS 202199 HAS SOPS 201982 HAS SOUS 46619 HAS SOUPS 46402 WITH SCORE 46604.199
AT ITER 2632 NEW BEST:: SOT 257741 SOS 202156 HAS SOPS 201939 HAS SOUS 46576 HAS SOUPS 46359 WITH SCORE 46561.156
AT ITER 2641 NEW BEST:: SOT 257741 SOS 202156 HAS SOPS 201939 HAS SOUS 46574 HAS SOUPS 46357 WITH SCORE 46559.156
AT ITER 2651 NEW BEST:: SOT 257740 SOS 202155 HAS SOPS 201938 HAS SOUS 46573 HAS SOUPS 46356 WITH SCORE 46558.155
AT ITER 2674 NEW BEST:: SOT 257710 SOS 201972 HAS SOPS 201736 HAS SOUS 46506 HAS SOUPS 46270 WITH SCORE 46471.972
AT ITER 2680 NEW BEST:: SOT 257696 SOS 201958 HAS SOPS 201722 HAS SOUS 46493 HAS SOUPS 46257 WITH SCORE 46458.958
AT ITER 2717 NEW BEST:: SOT 257696 SOS 201958 HAS SOPS 201722 HAS SOUS 46491 HAS SOUPS 46255 WITH SCORE 46456.958
AT ITER 2779 NEW BEST:: SOT 257696 SOS 201926 HAS SOPS 201690 HAS SOUS 46483 HAS SOUPS 46247 WITH SCORE 46448.926
AT ITER 2800 NEW BEST:: SOT 257614 SOS 201844 HAS SOPS 201608 HAS SOUS 46354 HAS SOUPS 46118 WITH SCORE 46319.844
AT ITER 2855 NEW BEST:: SOT 257614 SOS 200832 HAS SOPS 200596 HAS SOUS 46354 HAS SOUPS 46118 WITH SCORE 46318.832
AT ITER 2865 NEW BEST:: SOT 257443 SOS 200832 HAS SOPS 200596 HAS SOUS 46202 HAS SOUPS 45966 WITH SCORE 46166.832
AT ITER 2867 NEW BEST:: SOT 257468 SOS 200857 HAS SOPS 200621 HAS SOUS 46179 HAS SOUPS 45943 WITH SCORE 46143.857
AT ITER 2877 NEW BEST:: SOT 257468 SOS 200797 HAS SOPS 200561 HAS SOUS 46179 HAS SOUPS 45943 WITH SCORE 46143.797
AT ITER 2882 NEW BEST:: SOT 257468 SOS 200777 HAS SOPS 200541 HAS SOUS 46179 HAS SOUPS 45943 WITH SCORE 46143.777
AT ITER 2902 NEW BEST:: SOT 257442 SOS 200747 HAS SOPS 200515 HAS SOUS 45945 HAS SOUPS 45713 WITH SCORE 45913.747
AT ITER 2905 NEW BEST:: SOT 257442 SOS 200747 HAS SOPS 200515 HAS SOUS 45935 HAS SOUPS 45703 WITH SCORE 45903.747
AT ITER 2911 NEW BEST:: SOT 257322 SOS 200627 HAS SOPS 200395 HAS SOUS 45830 HAS SOUPS 45598 WITH SCORE 45798.627
AT ITER 2915 NEW BEST:: SOT 257311 SOS 200609 HAS SOPS 200384 HAS SOUS 45812 HAS SOUPS 45587 WITH SCORE 45787.609
AT ITER 2921 NEW BEST:: SOT 257270 SOS 200613 HAS SOPS 200343 HAS SOUS 45850 HAS SOUPS 45580 WITH SCORE 45780.613
AT ITER 2925 NEW BEST:: SOT 257259 SOS 200474 HAS SOPS 200127 HAS SOUS 45839 HAS SOUPS 45492 WITH SCORE 45692.474
AT ITER 2965 NEW BEST:: SOT 257223 SOS 200438 HAS SOPS 200091 HAS SOUS 45800 HAS SOUPS 45453 WITH SCORE 45653.438
AT ITER 2987 NEW BEST:: SOT 257190 SOS 200393 HAS SOPS 200046 HAS SOUS 45767 HAS SOUPS 45420 WITH SCORE 45620.393
AT ITER 3035 NEW BEST:: SOT 257217 SOS 200060 HAS SOPS 199713 HAS SOUS 45662 HAS SOUPS 45315 WITH SCORE 45515.06
AT ITER 3058 NEW BEST:: SOT 257209 SOS 199911 HAS SOPS 199537 HAS SOUS 45654 HAS SOUPS 45280 WITH SCORE 45479.911
AT ITER 3088 NEW BEST:: SOT 257205 SOS 199907 HAS SOPS 199533 HAS SOUS 45648 HAS SOUPS 45274 WITH SCORE 45473.907
AT ITER 3099 NEW BEST:: SOT 257205 SOS 199907 HAS SOPS 199516 HAS SOUS 45658 HAS SOUPS 45267 WITH SCORE 45466.907
AT ITER 3151 NEW BEST:: SOT 257198 SOS 199908 HAS SOPS 199509 HAS SOUS 45616 HAS SOUPS 45217 WITH SCORE 45416.908
AT ITER 3153 NEW BEST:: SOT 257170 SOS 199880 HAS SOPS 199481 HAS SOUS 45581 HAS SOUPS 45182 WITH SCORE 45381.88
AT ITER 3159 NEW BEST:: SOT 257170 SOS 199880 HAS SOPS 199481 HAS SOUS 45569 HAS SOUPS 45170 WITH SCORE 45369.88
AT ITER 3188 NEW BEST:: SOT 257170 SOS 199880 HAS SOPS 199481 HAS SOUS 45568 HAS SOUPS 45169 WITH SCORE 45368.88
AT ITER 3191 NEW BEST:: SOT 257170 SOS 199880 HAS SOPS 199481 HAS SOUS 45566 HAS SOUPS 45167 WITH SCORE 45366.88
AT ITER 3201 NEW BEST:: SOT 257170 SOS 199812 HAS SOPS 199413 HAS SOUS 45566 HAS SOUPS 45167 WITH SCORE 45366.812
AT ITER 3220 NEW BEST:: SOT 257166 SOS 199808 HAS SOPS 199409 HAS SOUS 45560 HAS SOUPS 45161 WITH SCORE 45360.808
AT ITER 3222 NEW BEST:: SOT 257166 SOS 199688 HAS SOPS 199289 HAS SOUS 45560 HAS SOUPS 45161 WITH SCORE 45360.688
AT ITER 3257 NEW BEST:: SOT 257112 SOS 199625 HAS SOPS 199226 HAS SOUS 45477 HAS SOUPS 45078 WITH SCORE 45277.625
AT ITER 3277 NEW BEST:: SOT 257087 SOS 199600 HAS SOPS 199201 HAS SOUS 45439 HAS SOUPS 45040 WITH SCORE 45239.6
AT ITER 3298 NEW BEST:: SOT 257087 SOS 199594 HAS SOPS 199195 HAS SOUS 45439 HAS SOUPS 45040 WITH SCORE 45239.594
AT ITER 3304 NEW BEST:: SOT 257082 SOS 199589 HAS SOPS 199190 HAS SOUS 45434 HAS SOUPS 45035 WITH SCORE 45234.589
AT ITER 3328 NEW BEST:: SOT 257076 SOS 199583 HAS SOPS 199184 HAS SOUS 45428 HAS SOUPS 45029 WITH SCORE 45228.583
AT ITER 3366 NEW BEST:: SOT 256981 SOS 199488 HAS SOPS 199089 HAS SOUS 45333 HAS SOUPS 44934 WITH SCORE 45133.488
AT ITER 3370 NEW BEST:: SOT 256981 SOS 199380 HAS SOPS 198981 HAS SOUS 45333 HAS SOUPS 44934 WITH SCORE 45133.38
AT ITER 3374 NEW BEST:: SOT 257014 SOS 200148 HAS SOPS 199749 HAS SOUS 45329 HAS SOUPS 44930 WITH SCORE 45130.148
AT ITER 3440 NEW BEST:: SOT 257014 SOS 200148 HAS SOPS 199749 HAS SOUS 45280 HAS SOUPS 44881 WITH SCORE 45081.148
AT ITER 3531 NEW BEST:: SOT 256993 SOS 200118 HAS SOPS 199719 HAS SOUS 45241 HAS SOUPS 44842 WITH SCORE 45042.118
AT ITER 3559 NEW BEST:: SOT 256914 SOS 200033 HAS SOPS 199640 HAS SOUS 45086 HAS SOUPS 44693 WITH SCORE 44893.033
AT ITER 3565 NEW BEST:: SOT 256343 SOS 198964 HAS SOPS 198571 HAS SOUS 44736 HAS SOUPS 44343 WITH SCORE 44541.964
AT ITER 3574 NEW BEST:: SOT 256483 SOS 199469 HAS SOPS 199152 HAS SOUS 44642 HAS SOUPS 44325 WITH SCORE 44524.469
AT ITER 3620 NEW BEST:: SOT 256483 SOS 199469 HAS SOPS 199152 HAS SOUS 44636 HAS SOUPS 44319 WITH SCORE 44518.469
AT ITER 3627 NEW BEST:: SOT 256518 SOS 199504 HAS SOPS 199187 HAS SOUS 44576 HAS SOUPS 44259 WITH SCORE 44458.504
AT ITER 3633 NEW BEST:: SOT 256495 SOS 199481 HAS SOPS 199164 HAS SOUS 44564 HAS SOUPS 44247 WITH SCORE 44446.481
AT ITER 3636 NEW BEST:: SOT 256470 SOS 199459 HAS SOPS 199139 HAS SOUS 44545 HAS SOUPS 44225 WITH SCORE 44424.459
AT ITER 3656 NEW BEST:: SOT 256470 SOS 199409 HAS SOPS 199022 HAS SOUS 44563 HAS SOUPS 44176 WITH SCORE 44375.409
AT ITER 3664 NEW BEST:: SOT 256462 SOS 199401 HAS SOPS 199014 HAS SOUS 44554 HAS SOUPS 44167 WITH SCORE 44366.401
AT ITER 3739 NEW BEST:: SOT 256469 SOS 199408 HAS SOPS 199021 HAS SOUS 44548 HAS SOUPS 44161 WITH SCORE 44360.408
AT ITER 3754 NEW BEST:: SOT 256503 SOS 200090 HAS SOPS 199703 HAS SOUS 44546 HAS SOUPS 44159 WITH SCORE 44359.09
AT ITER 3758 NEW BEST:: SOT 256495 SOS 200082 HAS SOPS 199695 HAS SOUS 44537 HAS SOUPS 44150 WITH SCORE 44350.082
AT ITER 3778 NEW BEST:: SOT 256499 SOS 200086 HAS SOPS 199699 HAS SOUS 44520 HAS SOUPS 44133 WITH SCORE 44333.086
AT ITER 3784 NEW BEST:: SOT 256499 SOS 200086 HAS SOPS 199699 HAS SOUS 44507 HAS SOUPS 44120 WITH SCORE 44320.086
AT ITER 3789 NEW BEST:: SOT 256329 SOS 199908 HAS SOPS 199521 HAS SOUS 44342 HAS SOUPS 43955 WITH SCORE 44154.908
AT ITER 3838 NEW BEST:: SOT 256329 SOS 199908 HAS SOPS 199521 HAS SOUS 44340 HAS SOUPS 43953 WITH SCORE 44152.908
AT ITER 3870 NEW BEST:: SOT 256329 SOS 199908 HAS SOPS 199521 HAS SOUS 44339 HAS SOUPS 43952 WITH SCORE 44151.908
AT ITER 3871 NEW BEST:: SOT 256329 SOS 199908 HAS SOPS 199521 HAS SOUS 44323 HAS SOUPS 43936 WITH SCORE 44135.908
AT ITER 3872 NEW BEST:: SOT 256312 SOS 199891 HAS SOPS 199504 HAS SOUS 44298 HAS SOUPS 43911 WITH SCORE 44110.891
AT ITER 3892 NEW BEST:: SOT 256312 SOS 200500 HAS SOPS 200113 HAS SOUS 44284 HAS SOUPS 43897 WITH SCORE 44097.5
AT ITER 3893 NEW BEST:: SOT 256312 SOS 200500 HAS SOPS 200113 HAS SOUS 44278 HAS SOUPS 43891 WITH SCORE 44091.5
AT ITER 3921 NEW BEST:: SOT 256340 SOS 200528 HAS SOPS 200141 HAS SOUS 44264 HAS SOUPS 43877 WITH SCORE 44077.528
AT ITER 3932 NEW BEST:: SOT 256340 SOS 200528 HAS SOPS 200141 HAS SOUS 44262 HAS SOUPS 43875 WITH SCORE 44075.528
AT ITER 3938 NEW BEST:: SOT 256340 SOS 200524 HAS SOPS 200141 HAS SOUS 44214 HAS SOUPS 43831 WITH SCORE 44031.524
AT ITER 3941 NEW BEST:: SOT 256340 SOS 199604 HAS SOPS 199221 HAS SOUS 44214 HAS SOUPS 43831 WITH SCORE 44030.604
AT ITER 3969 NEW BEST:: SOT 256267 SOS 199531 HAS SOPS 199148 HAS SOUS 44078 HAS SOUPS 43695 WITH SCORE 43894.531
AT ITER 3978 NEW BEST:: SOT 256259 SOS 199523 HAS SOPS 199140 HAS SOUS 44070 HAS SOUPS 43687 WITH SCORE 43886.523
AT ITER 3983 NEW BEST:: SOT 256251 SOS 199515 HAS SOPS 199132 HAS SOUS 44070 HAS SOUPS 43687 WITH SCORE 43886.515
AT ITER 3984 NEW BEST:: SOT 256249 SOS 199513 HAS SOPS 199130 HAS SOUS 44070 HAS SOUPS 43687 WITH SCORE 43886.513
AT ITER 3994 NEW BEST:: SOT 256211 SOS 199475 HAS SOPS 199092 HAS SOUS 44070 HAS SOUPS 43687 WITH SCORE 43886.475
AT ITER 4012 NEW BEST:: SOT 256211 SOS 199475 HAS SOPS 199092 HAS SOUS 44069 HAS SOUPS 43686 WITH SCORE 43885.475
AT ITER 4018 NEW BEST:: SOT 256186 SOS 199450 HAS SOPS 199067 HAS SOUS 44069 HAS SOUPS 43686 WITH SCORE 43885.45
AT ITER 4029 NEW BEST:: SOT 256131 SOS 199388 HAS SOPS 199012 HAS SOUS 43937 HAS SOUPS 43561 WITH SCORE 43760.388
AT ITER 4043 NEW BEST:: SOT 256131 SOS 199388 HAS SOPS 199012 HAS SOUS 43919 HAS SOUPS 43543 WITH SCORE 43742.388
AT ITER 4058 NEW BEST:: SOT 256138 SOS 199395 HAS SOPS 199019 HAS SOUS 43912 HAS SOUPS 43536 WITH SCORE 43735.395
AT ITER 4095 NEW BEST:: SOT 256138 SOS 199395 HAS SOPS 199019 HAS SOUS 43911 HAS SOUPS 43535 WITH SCORE 43734.395
AT ITER 4142 NEW BEST:: SOT 255974 SOS 199169 HAS SOPS 198793 HAS SOUS 43738 HAS SOUPS 43362 WITH SCORE 43561.169
AT ITER 4167 NEW BEST:: SOT 256018 SOS 199206 HAS SOPS 198845 HAS SOUS 43676 HAS SOUPS 43315 WITH SCORE 43514.206
AT ITER 4192 NEW BEST:: SOT 256087 SOS 199273 HAS SOPS 198917 HAS SOUS 43608 HAS SOUPS 43252 WITH SCORE 43451.273
AT ITER 4223 NEW BEST:: SOT 256082 SOS 199268 HAS SOPS 198912 HAS SOUS 43603 HAS SOUPS 43247 WITH SCORE 43446.268
AT ITER 4229 NEW BEST:: SOT 256032 SOS 198958 HAS SOPS 198602 HAS SOUS 43535 HAS SOUPS 43179 WITH SCORE 43377.958
AT ITER 4260 NEW BEST:: SOT 255782 SOS 198708 HAS SOPS 198352 HAS SOUS 43285 HAS SOUPS 42929 WITH SCORE 43127.708
AT ITER 4271 NEW BEST:: SOT 255780 SOS 198706 HAS SOPS 198350 HAS SOUS 43274 HAS SOUPS 42918 WITH SCORE 43116.706
AT ITER 4306 NEW BEST:: SOT 255780 SOS 198680 HAS SOPS 198324 HAS SOUS 43264 HAS SOUPS 42908 WITH SCORE 43106.68
AT ITER 4344 NEW BEST:: SOT 255756 SOS 198656 HAS SOPS 198300 HAS SOUS 43238 HAS SOUPS 42882 WITH SCORE 43080.656
AT ITER 4353 NEW BEST:: SOT 255756 SOS 198656 HAS SOPS 198300 HAS SOUS 43228 HAS SOUPS 42872 WITH SCORE 43070.656
AT ITER 4354 NEW BEST:: SOT 255756 SOS 198656 HAS SOPS 198297 HAS SOUS 43228 HAS SOUPS 42869 WITH SCORE 43067.656
AT ITER 4364 NEW BEST:: SOT 255722 SOS 198622 HAS SOPS 198263 HAS SOUS 43203 HAS SOUPS 42844 WITH SCORE 43042.622
AT ITER 4414 NEW BEST:: SOT 255753 SOS 198653 HAS SOPS 198294 HAS SOUS 43085 HAS SOUPS 42726 WITH SCORE 42924.653
AT ITER 4435 NEW BEST:: SOT 255703 SOS 198603 HAS SOPS 198244 HAS SOUS 43035 HAS SOUPS 42676 WITH SCORE 42874.603
AT ITER 4443 NEW BEST:: SOT 255749 SOS 198641 HAS SOPS 198290 HAS SOUS 42993 HAS SOUPS 42642 WITH SCORE 42840.641
AT ITER 4474 NEW BEST:: SOT 255749 SOS 198641 HAS SOPS 198290 HAS SOUS 42991 HAS SOUPS 42640 WITH SCORE 42838.641
AT ITER 4488 NEW BEST:: SOT 255744 SOS 198636 HAS SOPS 198285 HAS SOUS 42986 HAS SOUPS 42635 WITH SCORE 42833.636
AT ITER 4598 NEW BEST:: SOT 255737 SOS 198635 HAS SOPS 198284 HAS SOUS 42985 HAS SOUPS 42634 WITH SCORE 42832.635
AT ITER 4636 NEW BEST:: SOT 255737 SOS 198635 HAS SOPS 198284 HAS SOUS 42977 HAS SOUPS 42626 WITH SCORE 42824.635
AT ITER 4659 NEW BEST:: SOT 255737 SOS 198635 HAS SOPS 198284 HAS SOUS 42974 HAS SOUPS 42623 WITH SCORE 42821.635
AT ITER 4665 NEW BEST:: SOT 255749 SOS 198647 HAS SOPS 198296 HAS SOUS 42944 HAS SOUPS 42593 WITH SCORE 42791.647
AT ITER 4667 NEW BEST:: SOT 255734 SOS 198632 HAS SOPS 198281 HAS SOUS 42929 HAS SOUPS 42578 WITH SCORE 42776.632
AT ITER 4720 NEW BEST:: SOT 255728 SOS 198626 HAS SOPS 198275 HAS SOUS 42911 HAS SOUPS 42560 WITH SCORE 42758.626
AT ITER 4723 NEW BEST:: SOT 255728 SOS 198626 HAS SOPS 198275 HAS SOUS 42909 HAS SOUPS 42558 WITH SCORE 42756.626
AT ITER 4728 NEW BEST:: SOT 255613 SOS 198553 HAS SOPS 198240 HAS SOUS 42688 HAS SOUPS 42375 WITH SCORE 42573.553
AT ITER 4749 NEW BEST:: SOT 255612 SOS 198552 HAS SOPS 198239 HAS SOUS 42687 HAS SOUPS 42374 WITH SCORE 42572.552
AT ITER 4771 NEW BEST:: SOT 255612 SOS 198556 HAS SOPS 198243 HAS SOUS 42675 HAS SOUPS 42362 WITH SCORE 42560.556
AT ITER 4784 NEW BEST:: SOT 255574 SOS 198518 HAS SOPS 198205 HAS SOUS 42642 HAS SOUPS 42329 WITH SCORE 42527.518
AT ITER 4805 NEW BEST:: SOT 255574 SOS 197874 HAS SOPS 197561 HAS SOUS 42642 HAS SOUPS 42329 WITH SCORE 42526.874
AT ITER 4829 NEW BEST:: SOT 255567 SOS 197839 HAS SOPS 197526 HAS SOUS 42626 HAS SOUPS 42313 WITH SCORE 42510.839
AT ITER 4832 NEW BEST:: SOT 255549 SOS 197821 HAS SOPS 197508 HAS SOUS 42599 HAS SOUPS 42286 WITH SCORE 42483.821
AT ITER 4842 NEW BEST:: SOT 255437 SOS 197722 HAS SOPS 197409 HAS SOUS 42574 HAS SOUPS 42261 WITH SCORE 42458.722
AT ITER 4853 NEW BEST:: SOT 255441 SOS 197732 HAS SOPS 197419 HAS SOUS 42568 HAS SOUPS 42255 WITH SCORE 42452.732
AT ITER 4862 NEW BEST:: SOT 255441 SOS 197732 HAS SOPS 197419 HAS SOUS 42544 HAS SOUPS 42231 WITH SCORE 42428.732
AT ITER 4896 NEW BEST:: SOT 255441 SOS 197692 HAS SOPS 197379 HAS SOUS 42544 HAS SOUPS 42231 WITH SCORE 42428.692
AT ITER 4907 NEW BEST:: SOT 255419 SOS 197670 HAS SOPS 197357 HAS SOUS 42544 HAS SOUPS 42231 WITH SCORE 42428.67
AT ITER 4927 NEW BEST:: SOT 255345 SOS 197596 HAS SOPS 197283 HAS SOUS 42532 HAS SOUPS 42219 WITH SCORE 42416.596
AT ITER 4943 NEW BEST:: SOT 255345 SOS 197596 HAS SOPS 197283 HAS SOUS 42523 HAS SOUPS 42210 WITH SCORE 42407.596
AT ITER 4954 NEW BEST:: SOT 255335 SOS 197586 HAS SOPS 197273 HAS SOUS 42521 HAS SOUPS 42208 WITH SCORE 42405.586
AT ITER 4958 NEW BEST:: SOT 255185 SOS 197466 HAS SOPS 197153 HAS SOUS 42386 HAS SOUPS 42073 WITH SCORE 42270.466
AT ITER 4970 NEW BEST:: SOT 255180 SOS 197461 HAS SOPS 197148 HAS SOUS 42381 HAS SOUPS 42068 WITH SCORE 42265.461
AT ITER 4993 NEW BEST:: SOT 255227 SOS 198111 HAS SOPS 197934 HAS SOUS 42131 HAS SOUPS 41954 WITH SCORE 42152.111
AT ITER 4994 NEW BEST:: SOT 255217 SOS 198063 HAS SOPS 197886 HAS SOUS 42111 HAS SOUPS 41934 WITH SCORE 42132.063
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: SafeBus-PT-10-CTLCardinality-00 ( potential( (tk(P1)) <= (tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P223) + tk(P224)) ) & (EG( (! (! potential( (tk(P287) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P292) + tk(P293) + tk(P294) + tk(P295) + tk(P296)) <= (tk(P3)) ))))) )
PROPERTY: SafeBus-PT-10-CTLCardinality-01 ( ( (! ( ( potential( ( 2 ) <= (tk(P267) + tk(P268) + tk(P269) + tk(P270) + tk(P271) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276)) ) | potential( (tk(P4)) <= (tk(P236) + tk(P237) + tk(P238) + tk(P239) + tk(P240) + tk(P241) + tk(P242) + tk(P243) + tk(P244) + tk(P245)) ) ) | potential( (tk(P297) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306)) <= (tk(P246)) ) )) | potential( (tk(P2)) <= (tk(P267) + tk(P268) + tk(P269) + tk(P270) + tk(P271) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276)) ) ) & (EG( potential( (tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104)) <= (tk(P1)) ))) )
PROPERTY: SafeBus-PT-10-CTLCardinality-02 (AF(( ( ( potential( (tk(P3)) <= (tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104)) ) & potential( (tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266)) <= (tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94)) ) ) & ( potential( ( 2 ) <= (tk(P4)) ) & potential( ( 1 ) <= (tk(P307) + tk(P308) + tk(P309) + tk(P310) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316)) ) ) ) | (! potential( (tk(P307) + tk(P308) + tk(P309) + tk(P310) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316)) <= (tk(P3)) )) )))
PROPERTY: SafeBus-PT-10-CTLCardinality-03 (AF(potential( ( 1 ) <= (tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P223) + tk(P224)) )))
PROPERTY: SafeBus-PT-10-CTLCardinality-04 (AF(( (! ( potential( (tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P251) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P256)) <= (tk(P307) + tk(P308) + tk(P309) + tk(P310) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316)) ) & potential( (tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114)) <= (tk(P3)) ) )) & ( potential( (tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266)) <= (tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P223) + tk(P224)) ) & ( potential( (tk(P236) + tk(P237) + tk(P238) + tk(P239) + tk(P240) + tk(P241) + tk(P242) + tk(P243) + tk(P244) + tk(P245)) <= (tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104)) ) | potential( ( 2 ) <= (tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266)) ) ) ) )))
PROPERTY: SafeBus-PT-10-CTLCardinality-05 ( ( (! ( (! potential( ( 1 ) <= (tk(P297) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306)) )) & potential( ( 2 ) <= (tk(P307) + tk(P308) + tk(P309) + tk(P310) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316)) ) )) & ( (EG( potential( ( 2 ) <= (tk(P2)) ))) | potential( (tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214)) <= (tk(P307) + tk(P308) + tk(P309) + tk(P310) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316)) ) ) ) & (EU( potential( (tk(P1)) <= (tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P223) + tk(P224)) ),(! potential( (tk(P1)) <= (tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94)) )) )) )
PROPERTY: SafeBus-PT-10-CTLCardinality-06 (EF(( potential( (tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214)) <= (tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P223) + tk(P224)) ) & (EG( potential( ( 1 ) <= (tk(P226) + tk(P227) + tk(P228) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235)) ))) )))
PROPERTY: SafeBus-PT-10-CTLCardinality-07 (! (EF((EG( potential( (tk(P226) + tk(P227) + tk(P228) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235)) <= (tk(P277) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P285) + tk(P286)) ))))))
PROPERTY: SafeBus-PT-10-CTLCardinality-08 (AF((AX( ( potential( ( 3 ) <= (tk(P51)) ) | potential( ( 3 ) <= (tk(P269)) ) )))))
PROPERTY: SafeBus-PT-10-CTLCardinality-09 ( (EF(( ( potential( ( 1 ) <= (tk(P102)) ) & potential( ( 2 ) <= (tk(P205)) ) ) & potential( (tk(P217)) <= (tk(P142)) ) ))) & (! ( (AF(potential( ( 3 ) <= (tk(P40)) ))) & ( (! potential( (tk(P132)) <= (tk(P156)) )) & ( potential( ( 3 ) <= (tk(P167)) ) & potential( ( 3 ) <= (tk(P251)) ) ) ) )) )
PROPERTY: SafeBus-PT-10-CTLCardinality-10 ( (AF(( potential( ( 1 ) <= (tk(P2)) ) & (! potential( ( 1 ) <= (tk(P263)) )) ))) & ( ( (AF(potential( ( 1 ) <= (tk(P170)) ))) & potential( ( 1 ) <= (tk(P182)) ) ) | ( (AX( potential( ( 1 ) <= (tk(P205)) ))) | (EF(potential( (tk(P194)) <= (tk(P189)) ))) ) ) )
PROPERTY: SafeBus-PT-10-CTLCardinality-11 (EF(( ( ( potential( (tk(P43)) <= (tk(P92)) ) | potential( (tk(P250)) <= (tk(P147)) ) ) & ( potential( ( 2 ) <= (tk(P161)) ) & potential( ( 3 ) <= (tk(P135)) ) ) ) & ( ( potential( (tk(P174)) <= (tk(P117)) ) | potential( ( 2 ) <= (tk(P171)) ) ) | potential( (tk(P196)) <= (tk(P176)) ) ) )))
PROPERTY: SafeBus-PT-10-CTLCardinality-12 (EG( potential( (tk(P131)) <= (tk(P226)) )))
PROPERTY: SafeBus-PT-10-CTLCardinality-13 (AF((! ( (! potential( ( 1 ) <= (tk(P117)) )) | ( potential( (tk(P95)) <= (tk(P5)) ) & potential( (tk(P9)) <= (tk(P143)) ) ) ))))
PROPERTY: SafeBus-PT-10-CTLCardinality-14 (EU( potential( (tk(P253)) <= (tk(P166)) ),(EG( potential( (tk(P241)) <= (tk(P80)) ))) ))
PROPERTY: SafeBus-PT-10-CTLCardinality-15 (AF((AU( potential( (tk(P91)) <= (tk(P28)) ),potential( ( 2 ) <= (tk(P108)) ) ))))
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="SafeBus-PT-10"
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 SafeBus-PT-10, 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 r153-oct2-158972910200411"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-PT-10.tgz
mv SafeBus-PT-10 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 '
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 ;