About the Execution of smart for BusinessProcesses-PT-09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.490 | 3600000.00 | 3587020.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.r018-oct2-158897680100515.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 BusinessProcesses-PT-09, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100515
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 272K
-rw-r--r-- 1 mcc users 3.7K Mar 26 02:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 26 02:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 22:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 22:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 104K 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 BusinessProcesses-PT-09-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-09-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-09-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-09-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-09-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-09-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-09-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-09-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-09-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-09-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-09-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-09-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-09-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-09-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-09-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-09-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589018836954
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 09
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: 403 places, 374 transitions, 1148 arcs.
AT ITER 0 NEW BEST:: SOT 97193 SOS 39689 HAS SOPS 39689 HAS SOUS 37906 HAS SOUPS 37906 WITH SCORE 37945.689
AT ITER 1 NEW BEST:: SOT 97123 SOS 39619 HAS SOPS 39619 HAS SOUS 37833 HAS SOUPS 37833 WITH SCORE 37872.619
AT ITER 2 NEW BEST:: SOT 97121 SOS 39513 HAS SOPS 39513 HAS SOUS 37784 HAS SOUPS 37784 WITH SCORE 37823.513
AT ITER 22 NEW BEST:: SOT 97071 SOS 39413 HAS SOPS 39413 HAS SOUS 37684 HAS SOUPS 37684 WITH SCORE 37723.413
AT ITER 24 NEW BEST:: SOT 97018 SOS 39403 HAS SOPS 39403 HAS SOUS 37674 HAS SOUPS 37674 WITH SCORE 37713.403
AT ITER 36 NEW BEST:: SOT 96911 SOS 39182 HAS SOPS 39182 HAS SOUS 37544 HAS SOUPS 37544 WITH SCORE 37583.182
AT ITER 38 NEW BEST:: SOT 94759 SOS 41337 HAS SOPS 41337 HAS SOUS 35576 HAS SOUPS 35576 WITH SCORE 35617.337
AT ITER 46 NEW BEST:: SOT 93874 SOS 40400 HAS SOPS 40400 HAS SOUS 34691 HAS SOUPS 34691 WITH SCORE 34731.4
AT ITER 54 NEW BEST:: SOT 93736 SOS 40291 HAS SOPS 40291 HAS SOUS 34673 HAS SOUPS 34673 WITH SCORE 34713.291
AT ITER 76 NEW BEST:: SOT 93686 SOS 40188 HAS SOPS 40188 HAS SOUS 34620 HAS SOUPS 34620 WITH SCORE 34660.188
AT ITER 77 NEW BEST:: SOT 93591 SOS 40008 HAS SOPS 40008 HAS SOUS 34501 HAS SOUPS 34501 WITH SCORE 34541.008
AT ITER 80 NEW BEST:: SOT 91967 SOS 39058 HAS SOPS 39058 HAS SOUS 33095 HAS SOUPS 33095 WITH SCORE 33134.058
AT ITER 86 NEW BEST:: SOT 91959 SOS 39050 HAS SOPS 39050 HAS SOUS 33095 HAS SOUPS 33095 WITH SCORE 33134.05
AT ITER 99 NEW BEST:: SOT 91959 SOS 39042 HAS SOPS 39042 HAS SOUS 33087 HAS SOUPS 33087 WITH SCORE 33126.042
AT ITER 107 NEW BEST:: SOT 91878 SOS 38842 HAS SOPS 38842 HAS SOUS 32954 HAS SOUPS 32954 WITH SCORE 32992.842
AT ITER 108 NEW BEST:: SOT 91877 SOS 38840 HAS SOPS 38840 HAS SOUS 32952 HAS SOUPS 32952 WITH SCORE 32990.84
AT ITER 110 NEW BEST:: SOT 91889 SOS 38864 HAS SOPS 38864 HAS SOUS 32926 HAS SOUPS 32926 WITH SCORE 32964.864
AT ITER 114 NEW BEST:: SOT 91368 SOS 39250 HAS SOPS 39250 HAS SOUS 32683 HAS SOUPS 32683 WITH SCORE 32722.25
AT ITER 115 NEW BEST:: SOT 91357 SOS 39239 HAS SOPS 39239 HAS SOUS 32683 HAS SOUPS 32683 WITH SCORE 32722.239
AT ITER 121 NEW BEST:: SOT 91276 SOS 39113 HAS SOPS 39113 HAS SOUS 32660 HAS SOUPS 32660 WITH SCORE 32699.113
AT ITER 128 NEW BEST:: SOT 91275 SOS 39111 HAS SOPS 39111 HAS SOUS 32658 HAS SOUPS 32658 WITH SCORE 32697.111
AT ITER 129 NEW BEST:: SOT 91188 SOS 38913 HAS SOPS 38913 HAS SOUS 32428 HAS SOUPS 32428 WITH SCORE 32466.913
AT ITER 130 NEW BEST:: SOT 91198 SOS 38923 HAS SOPS 38923 HAS SOUS 32408 HAS SOUPS 32408 WITH SCORE 32446.923
AT ITER 152 NEW BEST:: SOT 91132 SOS 38791 HAS SOPS 38791 HAS SOUS 32274 HAS SOUPS 32274 WITH SCORE 32312.791
AT ITER 154 NEW BEST:: SOT 91131 SOS 38790 HAS SOPS 38790 HAS SOUS 32273 HAS SOUPS 32273 WITH SCORE 32311.79
AT ITER 158 NEW BEST:: SOT 91100 SOS 38655 HAS SOPS 38655 HAS SOUS 32224 HAS SOUPS 32224 WITH SCORE 32262.655
AT ITER 161 NEW BEST:: SOT 91089 SOS 38633 HAS SOPS 38633 HAS SOUS 32202 HAS SOUPS 32202 WITH SCORE 32240.633
AT ITER 167 NEW BEST:: SOT 91143 SOS 38597 HAS SOPS 38597 HAS SOUS 32166 HAS SOUPS 32166 WITH SCORE 32204.597
AT ITER 171 NEW BEST:: SOT 90931 SOS 38278 HAS SOPS 38278 HAS SOUS 31953 HAS SOUPS 31953 WITH SCORE 31991.278
AT ITER 172 NEW BEST:: SOT 90784 SOS 38105 HAS SOPS 38105 HAS SOUS 31780 HAS SOUPS 31780 WITH SCORE 31818.105
AT ITER 175 NEW BEST:: SOT 90782 SOS 38103 HAS SOPS 38103 HAS SOUS 31778 HAS SOUPS 31778 WITH SCORE 31816.103
AT ITER 176 NEW BEST:: SOT 90739 SOS 37936 HAS SOPS 37936 HAS SOUS 31635 HAS SOUPS 31635 WITH SCORE 31672.936
AT ITER 188 NEW BEST:: SOT 90764 SOS 37858 HAS SOPS 37858 HAS SOUS 31597 HAS SOUPS 31597 WITH SCORE 31634.858
AT ITER 190 NEW BEST:: SOT 90762 SOS 37740 HAS SOPS 37740 HAS SOUS 31525 HAS SOUPS 31525 WITH SCORE 31562.74
AT ITER 200 NEW BEST:: SOT 90659 SOS 37600 HAS SOPS 37600 HAS SOUS 31385 HAS SOUPS 31385 WITH SCORE 31422.6
AT ITER 201 NEW BEST:: SOT 90660 SOS 37601 HAS SOPS 37601 HAS SOUS 31356 HAS SOUPS 31356 WITH SCORE 31393.601
AT ITER 216 NEW BEST:: SOT 90660 SOS 37601 HAS SOPS 37601 HAS SOUS 31345 HAS SOUPS 31345 WITH SCORE 31382.601
AT ITER 222 NEW BEST:: SOT 90633 SOS 37574 HAS SOPS 37574 HAS SOUS 31345 HAS SOUPS 31345 WITH SCORE 31382.574
AT ITER 231 NEW BEST:: SOT 90642 SOS 37504 HAS SOPS 37504 HAS SOUS 31275 HAS SOUPS 31275 WITH SCORE 31312.504
AT ITER 232 NEW BEST:: SOT 90641 SOS 37503 HAS SOPS 37503 HAS SOUS 31274 HAS SOUPS 31274 WITH SCORE 31311.503
AT ITER 242 NEW BEST:: SOT 90559 SOS 37420 HAS SOPS 37420 HAS SOUS 31191 HAS SOUPS 31191 WITH SCORE 31228.42
AT ITER 253 NEW BEST:: SOT 90558 SOS 37418 HAS SOPS 37418 HAS SOUS 31191 HAS SOUPS 31191 WITH SCORE 31228.418
AT ITER 255 NEW BEST:: SOT 90617 SOS 37396 HAS SOPS 37396 HAS SOUS 31122 HAS SOUPS 31122 WITH SCORE 31159.396
AT ITER 266 NEW BEST:: SOT 90616 SOS 37320 HAS SOPS 37320 HAS SOUS 31053 HAS SOUPS 31053 WITH SCORE 31090.32
AT ITER 284 NEW BEST:: SOT 90616 SOS 37320 HAS SOPS 37320 HAS SOUS 30943 HAS SOUPS 30943 WITH SCORE 30980.32
AT ITER 286 NEW BEST:: SOT 90608 SOS 37286 HAS SOPS 37286 HAS SOUS 30909 HAS SOUPS 30909 WITH SCORE 30946.286
AT ITER 290 NEW BEST:: SOT 90608 SOS 37262 HAS SOPS 37262 HAS SOUS 30885 HAS SOUPS 30885 WITH SCORE 30922.262
AT ITER 297 NEW BEST:: SOT 90725 SOS 37181 HAS SOPS 37181 HAS SOUS 30857 HAS SOUPS 30857 WITH SCORE 30894.181
AT ITER 313 NEW BEST:: SOT 90632 SOS 37029 HAS SOPS 37029 HAS SOUS 30798 HAS SOUPS 30798 WITH SCORE 30835.029
AT ITER 316 NEW BEST:: SOT 90628 SOS 37025 HAS SOPS 37025 HAS SOUS 30792 HAS SOUPS 30792 WITH SCORE 30829.025
AT ITER 320 NEW BEST:: SOT 90628 SOS 37024 HAS SOPS 37024 HAS SOUS 30791 HAS SOUPS 30791 WITH SCORE 30828.024
AT ITER 324 NEW BEST:: SOT 90622 SOS 37017 HAS SOPS 37017 HAS SOUS 30790 HAS SOUPS 30790 WITH SCORE 30827.017
AT ITER 326 NEW BEST:: SOT 90471 SOS 36837 HAS SOPS 36837 HAS SOUS 30683 HAS SOUPS 30683 WITH SCORE 30719.837
AT ITER 333 NEW BEST:: SOT 89004 SOS 35508 HAS SOPS 35508 HAS SOUS 29249 HAS SOUPS 29249 WITH SCORE 29284.508
AT ITER 336 NEW BEST:: SOT 87643 SOS 34289 HAS SOPS 34289 HAS SOUS 27753 HAS SOUPS 27753 WITH SCORE 27787.289
AT ITER 345 NEW BEST:: SOT 87642 SOS 34287 HAS SOPS 34287 HAS SOUS 27751 HAS SOUPS 27751 WITH SCORE 27785.287
AT ITER 348 NEW BEST:: SOT 87589 SOS 34234 HAS SOPS 34234 HAS SOUS 27736 HAS SOUPS 27736 WITH SCORE 27770.234
AT ITER 362 NEW BEST:: SOT 87510 SOS 34155 HAS SOPS 34155 HAS SOUS 27635 HAS SOUPS 27635 WITH SCORE 27669.155
AT ITER 366 NEW BEST:: SOT 87509 SOS 34153 HAS SOPS 34153 HAS SOUS 27633 HAS SOUPS 27633 WITH SCORE 27667.153
AT ITER 378 NEW BEST:: SOT 87409 SOS 34035 HAS SOPS 34035 HAS SOUS 27597 HAS SOUPS 27597 WITH SCORE 27631.035
AT ITER 394 NEW BEST:: SOT 87411 SOS 34038 HAS SOPS 34038 HAS SOUS 27565 HAS SOUPS 27565 WITH SCORE 27599.038
AT ITER 398 NEW BEST:: SOT 87385 SOS 33986 HAS SOPS 33986 HAS SOUS 27563 HAS SOUPS 27563 WITH SCORE 27596.986
AT ITER 406 NEW BEST:: SOT 87343 SOS 33944 HAS SOPS 33944 HAS SOUS 27521 HAS SOUPS 27521 WITH SCORE 27554.944
AT ITER 407 NEW BEST:: SOT 87343 SOS 33901 HAS SOPS 33901 HAS SOUS 27478 HAS SOUPS 27478 WITH SCORE 27511.901
AT ITER 416 NEW BEST:: SOT 87320 SOS 33878 HAS SOPS 33878 HAS SOUS 27455 HAS SOUPS 27455 WITH SCORE 27488.878
AT ITER 422 NEW BEST:: SOT 87302 SOS 33733 HAS SOPS 33733 HAS SOUS 27452 HAS SOUPS 27452 WITH SCORE 27485.733
AT ITER 432 NEW BEST:: SOT 87258 SOS 33689 HAS SOPS 33689 HAS SOUS 27408 HAS SOUPS 27408 WITH SCORE 27441.689
AT ITER 454 NEW BEST:: SOT 87258 SOS 33685 HAS SOPS 33685 HAS SOUS 27404 HAS SOUPS 27404 WITH SCORE 27437.685
AT ITER 461 NEW BEST:: SOT 87274 SOS 33701 HAS SOPS 33701 HAS SOUS 27393 HAS SOUPS 27393 WITH SCORE 27426.701
AT ITER 463 NEW BEST:: SOT 87273 SOS 33700 HAS SOPS 33700 HAS SOUS 27392 HAS SOUPS 27392 WITH SCORE 27425.7
AT ITER 478 NEW BEST:: SOT 87229 SOS 33656 HAS SOPS 33656 HAS SOUS 27392 HAS SOUPS 27392 WITH SCORE 27425.656
AT ITER 485 NEW BEST:: SOT 87067 SOS 33481 HAS SOPS 33481 HAS SOUS 27217 HAS SOUPS 27217 WITH SCORE 27250.481
AT ITER 492 NEW BEST:: SOT 87065 SOS 33477 HAS SOPS 33477 HAS SOUS 27213 HAS SOUPS 27213 WITH SCORE 27246.477
AT ITER 496 NEW BEST:: SOT 87004 SOS 33461 HAS SOPS 33461 HAS SOUS 27182 HAS SOUPS 27182 WITH SCORE 27215.461
AT ITER 525 NEW BEST:: SOT 86998 SOS 33449 HAS SOPS 33449 HAS SOUS 27170 HAS SOUPS 27170 WITH SCORE 27203.449
AT ITER 528 NEW BEST:: SOT 86998 SOS 33447 HAS SOPS 33447 HAS SOUS 27168 HAS SOUPS 27168 WITH SCORE 27201.447
AT ITER 533 NEW BEST:: SOT 87025 SOS 33471 HAS SOPS 33471 HAS SOUS 27165 HAS SOUPS 27165 WITH SCORE 27198.471
AT ITER 534 NEW BEST:: SOT 86983 SOS 33387 HAS SOPS 33387 HAS SOUS 27123 HAS SOUPS 27123 WITH SCORE 27156.387
AT ITER 535 NEW BEST:: SOT 86970 SOS 33361 HAS SOPS 33361 HAS SOUS 27097 HAS SOUPS 27097 WITH SCORE 27130.361
AT ITER 551 NEW BEST:: SOT 86949 SOS 33319 HAS SOPS 33319 HAS SOUS 27055 HAS SOUPS 27055 WITH SCORE 27088.319
AT ITER 556 NEW BEST:: SOT 86923 SOS 33280 HAS SOPS 33280 HAS SOUS 27016 HAS SOUPS 27016 WITH SCORE 27049.28
AT ITER 567 NEW BEST:: SOT 86898 SOS 33230 HAS SOPS 33230 HAS SOUS 26966 HAS SOUPS 26966 WITH SCORE 26999.23
AT ITER 573 NEW BEST:: SOT 86897 SOS 33205 HAS SOPS 33205 HAS SOUS 26941 HAS SOUPS 26941 WITH SCORE 26974.205
AT ITER 591 NEW BEST:: SOT 86897 SOS 33205 HAS SOPS 33205 HAS SOUS 26939 HAS SOUPS 26939 WITH SCORE 26972.205
AT ITER 611 NEW BEST:: SOT 86871 SOS 33122 HAS SOPS 33122 HAS SOUS 26879 HAS SOUPS 26879 WITH SCORE 26912.122
AT ITER 613 NEW BEST:: SOT 86847 SOS 33074 HAS SOPS 33074 HAS SOUS 26831 HAS SOUPS 26831 WITH SCORE 26864.074
AT ITER 619 NEW BEST:: SOT 86817 SOS 32992 HAS SOPS 32992 HAS SOUS 26716 HAS SOUPS 26716 WITH SCORE 26748.992
AT ITER 630 NEW BEST:: SOT 86806 SOS 32970 HAS SOPS 32970 HAS SOUS 26660 HAS SOUPS 26660 WITH SCORE 26692.97
AT ITER 633 NEW BEST:: SOT 86624 SOS 32708 HAS SOPS 32708 HAS SOUS 26492 HAS SOUPS 26492 WITH SCORE 26524.708
AT ITER 644 NEW BEST:: SOT 86625 SOS 32702 HAS SOPS 32702 HAS SOUS 26486 HAS SOUPS 26486 WITH SCORE 26518.702
AT ITER 650 NEW BEST:: SOT 86590 SOS 32632 HAS SOPS 32632 HAS SOUS 26436 HAS SOUPS 26436 WITH SCORE 26468.632
AT ITER 674 NEW BEST:: SOT 86590 SOS 32567 HAS SOPS 32567 HAS SOUS 26371 HAS SOUPS 26371 WITH SCORE 26403.567
AT ITER 691 NEW BEST:: SOT 86566 SOS 32543 HAS SOPS 32543 HAS SOUS 26368 HAS SOUPS 26368 WITH SCORE 26400.543
AT ITER 695 NEW BEST:: SOT 86613 SOS 32590 HAS SOPS 32590 HAS SOUS 26367 HAS SOUPS 26367 WITH SCORE 26399.59
AT ITER 711 NEW BEST:: SOT 86680 SOS 32511 HAS SOPS 32511 HAS SOUS 26288 HAS SOUPS 26288 WITH SCORE 26320.511
AT ITER 719 NEW BEST:: SOT 86652 SOS 32483 HAS SOPS 32483 HAS SOUS 26288 HAS SOUPS 26288 WITH SCORE 26320.483
AT ITER 720 NEW BEST:: SOT 86672 SOS 32442 HAS SOPS 32442 HAS SOUS 26217 HAS SOUPS 26217 WITH SCORE 26249.442
AT ITER 735 NEW BEST:: SOT 86675 SOS 32275 HAS SOPS 32275 HAS SOUS 26096 HAS SOUPS 26096 WITH SCORE 26128.275
AT ITER 739 NEW BEST:: SOT 86540 SOS 32005 HAS SOPS 32005 HAS SOUS 25961 HAS SOUPS 25961 WITH SCORE 25993.005
AT ITER 762 NEW BEST:: SOT 86533 SOS 31998 HAS SOPS 31998 HAS SOUS 25954 HAS SOUPS 25954 WITH SCORE 25985.998
AT ITER 764 NEW BEST:: SOT 86532 SOS 31993 HAS SOPS 31993 HAS SOUS 25949 HAS SOUPS 25949 WITH SCORE 25980.993
AT ITER 776 NEW BEST:: SOT 86465 SOS 31928 HAS SOPS 31928 HAS SOUS 25884 HAS SOUPS 25884 WITH SCORE 25915.928
AT ITER 784 NEW BEST:: SOT 86309 SOS 35308 HAS SOPS 35308 HAS SOUS 25728 HAS SOUPS 25728 WITH SCORE 25763.308
AT ITER 785 NEW BEST:: SOT 86266 SOS 35222 HAS SOPS 35222 HAS SOUS 25685 HAS SOUPS 25685 WITH SCORE 25720.222
AT ITER 791 NEW BEST:: SOT 86264 SOS 35218 HAS SOPS 35218 HAS SOUS 25681 HAS SOUPS 25681 WITH SCORE 25716.218
AT ITER 795 NEW BEST:: SOT 86270 SOS 35190 HAS SOPS 35190 HAS SOUS 25680 HAS SOUPS 25680 WITH SCORE 25715.19
AT ITER 798 NEW BEST:: SOT 86228 SOS 35106 HAS SOPS 35106 HAS SOUS 25596 HAS SOUPS 25596 WITH SCORE 25631.106
AT ITER 801 NEW BEST:: SOT 86247 SOS 35063 HAS SOPS 35063 HAS SOUS 25554 HAS SOUPS 25554 WITH SCORE 25589.063
AT ITER 814 NEW BEST:: SOT 86186 SOS 35002 HAS SOPS 35002 HAS SOUS 25493 HAS SOUPS 25493 WITH SCORE 25528.002
AT ITER 832 NEW BEST:: SOT 86112 SOS 34925 HAS SOPS 34925 HAS SOUS 25416 HAS SOUPS 25416 WITH SCORE 25450.925
AT ITER 837 NEW BEST:: SOT 86092 SOS 34895 HAS SOPS 34895 HAS SOUS 25386 HAS SOUPS 25386 WITH SCORE 25420.895
AT ITER 844 NEW BEST:: SOT 86073 SOS 34881 HAS SOPS 34881 HAS SOUS 25372 HAS SOUPS 25372 WITH SCORE 25406.881
AT ITER 846 NEW BEST:: SOT 85997 SOS 34851 HAS SOPS 34851 HAS SOUS 25342 HAS SOUPS 25342 WITH SCORE 25376.851
AT ITER 855 NEW BEST:: SOT 85992 SOS 34846 HAS SOPS 34846 HAS SOUS 25337 HAS SOUPS 25337 WITH SCORE 25371.846
AT ITER 864 NEW BEST:: SOT 85911 SOS 34780 HAS SOPS 34780 HAS SOUS 25266 HAS SOUPS 25266 WITH SCORE 25300.78
AT ITER 866 NEW BEST:: SOT 85824 SOS 34592 HAS SOPS 34592 HAS SOUS 25179 HAS SOUPS 25179 WITH SCORE 25213.592
AT ITER 873 NEW BEST:: SOT 85790 SOS 34572 HAS SOPS 34572 HAS SOUS 25175 HAS SOUPS 25175 WITH SCORE 25209.572
AT ITER 877 NEW BEST:: SOT 85618 SOS 34400 HAS SOPS 34400 HAS SOUS 25105 HAS SOUPS 25105 WITH SCORE 25139.4
AT ITER 887 NEW BEST:: SOT 85588 SOS 34370 HAS SOPS 34370 HAS SOUS 25075 HAS SOUPS 25075 WITH SCORE 25109.37
AT ITER 903 NEW BEST:: SOT 85610 SOS 34392 HAS SOPS 34392 HAS SOUS 25039 HAS SOUPS 25039 WITH SCORE 25073.392
AT ITER 913 NEW BEST:: SOT 85585 SOS 34342 HAS SOPS 34342 HAS SOUS 24989 HAS SOUPS 24989 WITH SCORE 25023.342
AT ITER 926 NEW BEST:: SOT 85393 SOS 33911 HAS SOPS 33911 HAS SOUS 24962 HAS SOUPS 24962 WITH SCORE 24995.911
AT ITER 945 NEW BEST:: SOT 85337 SOS 33855 HAS SOPS 33855 HAS SOUS 24934 HAS SOUPS 24934 WITH SCORE 24967.855
AT ITER 949 NEW BEST:: SOT 85375 SOS 33837 HAS SOPS 33837 HAS SOUS 24916 HAS SOUPS 24916 WITH SCORE 24949.837
AT ITER 952 NEW BEST:: SOT 85343 SOS 33801 HAS SOPS 33801 HAS SOUS 24880 HAS SOUPS 24880 WITH SCORE 24913.801
AT ITER 969 NEW BEST:: SOT 85361 SOS 33819 HAS SOPS 33819 HAS SOUS 24878 HAS SOUPS 24878 WITH SCORE 24911.819
AT ITER 974 NEW BEST:: SOT 85400 SOS 33832 HAS SOPS 33832 HAS SOUS 24865 HAS SOUPS 24865 WITH SCORE 24898.832
AT ITER 981 NEW BEST:: SOT 85391 SOS 33823 HAS SOPS 33823 HAS SOUS 24856 HAS SOUPS 24856 WITH SCORE 24889.823
AT ITER 985 NEW BEST:: SOT 85390 SOS 33822 HAS SOPS 33822 HAS SOUS 24855 HAS SOUPS 24855 WITH SCORE 24888.822
AT ITER 993 NEW BEST:: SOT 85302 SOS 33728 HAS SOPS 33728 HAS SOUS 24761 HAS SOUPS 24761 WITH SCORE 24794.728
AT ITER 996 NEW BEST:: SOT 85328 SOS 33679 HAS SOPS 33679 HAS SOUS 24761 HAS SOUPS 24761 WITH SCORE 24794.679
AT ITER 997 NEW BEST:: SOT 85314 SOS 33665 HAS SOPS 33665 HAS SOUS 24747 HAS SOUPS 24747 WITH SCORE 24780.665
AT ITER 1002 NEW BEST:: SOT 85303 SOS 33564 HAS SOPS 33564 HAS SOUS 24671 HAS SOUPS 24671 WITH SCORE 24704.564
AT ITER 1014 NEW BEST:: SOT 85262 SOS 33481 HAS SOPS 33481 HAS SOUS 24668 HAS SOUPS 24668 WITH SCORE 24701.481
AT ITER 1043 NEW BEST:: SOT 85260 SOS 33479 HAS SOPS 33479 HAS SOUS 24666 HAS SOUPS 24666 WITH SCORE 24699.479
AT ITER 1047 NEW BEST:: SOT 85191 SOS 33341 HAS SOPS 33341 HAS SOUS 24601 HAS SOUPS 24601 WITH SCORE 24634.341
AT ITER 1051 NEW BEST:: SOT 85196 SOS 33333 HAS SOPS 33333 HAS SOUS 24593 HAS SOUPS 24593 WITH SCORE 24626.333
AT ITER 1060 NEW BEST:: SOT 85196 SOS 33318 HAS SOPS 33318 HAS SOUS 24578 HAS SOUPS 24578 WITH SCORE 24611.318
AT ITER 1063 NEW BEST:: SOT 85196 SOS 33314 HAS SOPS 33314 HAS SOUS 24574 HAS SOUPS 24574 WITH SCORE 24607.314
AT ITER 1064 NEW BEST:: SOT 85172 SOS 33290 HAS SOPS 33290 HAS SOUS 24562 HAS SOUPS 24562 WITH SCORE 24595.29
AT ITER 1072 NEW BEST:: SOT 85172 SOS 33287 HAS SOPS 33287 HAS SOUS 24559 HAS SOUPS 24559 WITH SCORE 24592.287
AT ITER 1084 NEW BEST:: SOT 85190 SOS 32487 HAS SOPS 32487 HAS SOUS 24558 HAS SOUPS 24558 WITH SCORE 24590.487
AT ITER 1092 NEW BEST:: SOT 85130 SOS 32427 HAS SOPS 32427 HAS SOUS 24498 HAS SOUPS 24498 WITH SCORE 24530.427
AT ITER 1118 NEW BEST:: SOT 85101 SOS 32369 HAS SOPS 32369 HAS SOUS 24440 HAS SOUPS 24440 WITH SCORE 24472.369
AT ITER 1120 NEW BEST:: SOT 85265 SOS 32533 HAS SOPS 32533 HAS SOUS 24420 HAS SOUPS 24420 WITH SCORE 24452.533
AT ITER 1124 NEW BEST:: SOT 85185 SOS 32472 HAS SOPS 32472 HAS SOUS 24359 HAS SOUPS 24359 WITH SCORE 24391.472
AT ITER 1130 NEW BEST:: SOT 85148 SOS 32304 HAS SOPS 32304 HAS SOUS 24211 HAS SOUPS 24211 WITH SCORE 24243.304
AT ITER 1153 NEW BEST:: SOT 85176 SOS 32071 HAS SOPS 32071 HAS SOUS 24124 HAS SOUPS 24124 WITH SCORE 24156.071
AT ITER 1167 NEW BEST:: SOT 85121 SOS 32016 HAS SOPS 32016 HAS SOUS 24095 HAS SOUPS 24095 WITH SCORE 24127.016
AT ITER 1177 NEW BEST:: SOT 85107 SOS 31988 HAS SOPS 31988 HAS SOUS 24081 HAS SOUPS 24081 WITH SCORE 24112.988
AT ITER 1182 NEW BEST:: SOT 85087 SOS 31968 HAS SOPS 31968 HAS SOUS 24061 HAS SOUPS 24061 WITH SCORE 24092.968
AT ITER 1204 NEW BEST:: SOT 84957 SOS 31674 HAS SOPS 31674 HAS SOUS 23931 HAS SOUPS 23931 WITH SCORE 23962.674
AT ITER 1222 NEW BEST:: SOT 84957 SOS 31674 HAS SOPS 31674 HAS SOUS 23920 HAS SOUPS 23920 WITH SCORE 23951.674
AT ITER 1239 NEW BEST:: SOT 84938 SOS 31975 HAS SOPS 31975 HAS SOUS 23914 HAS SOUPS 23914 WITH SCORE 23945.975
AT ITER 1241 NEW BEST:: SOT 84925 SOS 31936 HAS SOPS 31936 HAS SOUS 23875 HAS SOUPS 23875 WITH SCORE 23906.936
AT ITER 1244 NEW BEST:: SOT 84900 SOS 31987 HAS SOPS 31987 HAS SOUS 23853 HAS SOUPS 23853 WITH SCORE 23884.987
AT ITER 1245 NEW BEST:: SOT 84855 SOS 31942 HAS SOPS 31942 HAS SOUS 23808 HAS SOUPS 23808 WITH SCORE 23839.942
AT ITER 1253 NEW BEST:: SOT 84834 SOS 31901 HAS SOPS 31901 HAS SOUS 23738 HAS SOUPS 23738 WITH SCORE 23769.901
AT ITER 1280 NEW BEST:: SOT 84810 SOS 31839 HAS SOPS 31839 HAS SOUS 23676 HAS SOUPS 23676 WITH SCORE 23707.839
AT ITER 1296 NEW BEST:: SOT 84758 SOS 31734 HAS SOPS 31734 HAS SOUS 23652 HAS SOUPS 23652 WITH SCORE 23683.734
AT ITER 1313 NEW BEST:: SOT 84745 SOS 31783 HAS SOPS 31783 HAS SOUS 23641 HAS SOUPS 23641 WITH SCORE 23672.783
AT ITER 1323 NEW BEST:: SOT 84731 SOS 31755 HAS SOPS 31755 HAS SOUS 23613 HAS SOUPS 23613 WITH SCORE 23644.755
AT ITER 1326 NEW BEST:: SOT 84716 SOS 31744 HAS SOPS 31744 HAS SOUS 23602 HAS SOUPS 23602 WITH SCORE 23633.744
AT ITER 1332 NEW BEST:: SOT 84641 SOS 31594 HAS SOPS 31594 HAS SOUS 23452 HAS SOUPS 23452 WITH SCORE 23483.594
AT ITER 1337 NEW BEST:: SOT 84602 SOS 31564 HAS SOPS 31564 HAS SOUS 23451 HAS SOUPS 23451 WITH SCORE 23482.564
AT ITER 1338 NEW BEST:: SOT 84583 SOS 31526 HAS SOPS 31526 HAS SOUS 23413 HAS SOUPS 23413 WITH SCORE 23444.526
AT ITER 1339 NEW BEST:: SOT 84582 SOS 31522 HAS SOPS 31522 HAS SOUS 23409 HAS SOUPS 23409 WITH SCORE 23440.522
AT ITER 1367 NEW BEST:: SOT 84580 SOS 31518 HAS SOPS 31518 HAS SOUS 23405 HAS SOUPS 23405 WITH SCORE 23436.518
AT ITER 1381 NEW BEST:: SOT 84532 SOS 31422 HAS SOPS 31422 HAS SOUS 23357 HAS SOUPS 23357 WITH SCORE 23388.422
AT ITER 1386 NEW BEST:: SOT 84526 SOS 31332 HAS SOPS 31332 HAS SOUS 23267 HAS SOUPS 23267 WITH SCORE 23298.332
AT ITER 1391 NEW BEST:: SOT 84460 SOS 31211 HAS SOPS 31211 HAS SOUS 23201 HAS SOUPS 23201 WITH SCORE 23232.211
AT ITER 1398 NEW BEST:: SOT 84408 SOS 31108 HAS SOPS 31108 HAS SOUS 23098 HAS SOUPS 23098 WITH SCORE 23129.108
AT ITER 1406 NEW BEST:: SOT 84349 SOS 30990 HAS SOPS 30990 HAS SOUS 23024 HAS SOUPS 23024 WITH SCORE 23054.99
AT ITER 1412 NEW BEST:: SOT 84359 SOS 30968 HAS SOPS 30968 HAS SOUS 23002 HAS SOUPS 23002 WITH SCORE 23032.968
AT ITER 1415 NEW BEST:: SOT 84346 SOS 30950 HAS SOPS 30950 HAS SOUS 22984 HAS SOUPS 22984 WITH SCORE 23014.95
AT ITER 1416 NEW BEST:: SOT 84325 SOS 30934 HAS SOPS 30934 HAS SOUS 22968 HAS SOUPS 22968 WITH SCORE 22998.934
AT ITER 1417 NEW BEST:: SOT 84324 SOS 30933 HAS SOPS 30933 HAS SOUS 22967 HAS SOUPS 22967 WITH SCORE 22997.933
AT ITER 1438 NEW BEST:: SOT 84214 SOS 30713 HAS SOPS 30713 HAS SOUS 22811 HAS SOUPS 22811 WITH SCORE 22841.713
AT ITER 1453 NEW BEST:: SOT 84223 SOS 30706 HAS SOPS 30706 HAS SOUS 22804 HAS SOUPS 22804 WITH SCORE 22834.706
AT ITER 1482 NEW BEST:: SOT 84231 SOS 30694 HAS SOPS 30694 HAS SOUS 22776 HAS SOUPS 22776 WITH SCORE 22806.694
AT ITER 1485 NEW BEST:: SOT 84173 SOS 30636 HAS SOPS 30636 HAS SOUS 22718 HAS SOUPS 22718 WITH SCORE 22748.636
AT ITER 1487 NEW BEST:: SOT 84166 SOS 30619 HAS SOPS 30619 HAS SOUS 22705 HAS SOUPS 22705 WITH SCORE 22735.619
AT ITER 1490 NEW BEST:: SOT 84141 SOS 30568 HAS SOPS 30568 HAS SOUS 22699 HAS SOUPS 22699 WITH SCORE 22729.568
AT ITER 1515 NEW BEST:: SOT 84112 SOS 30452 HAS SOPS 30452 HAS SOUS 22612 HAS SOUPS 22612 WITH SCORE 22642.452
AT ITER 1529 NEW BEST:: SOT 84120 SOS 30357 HAS SOPS 30357 HAS SOUS 22599 HAS SOUPS 22599 WITH SCORE 22629.357
AT ITER 1533 NEW BEST:: SOT 84109 SOS 30346 HAS SOPS 30346 HAS SOUS 22599 HAS SOUPS 22599 WITH SCORE 22629.346
AT ITER 1538 NEW BEST:: SOT 84125 SOS 30339 HAS SOPS 30339 HAS SOUS 22592 HAS SOUPS 22592 WITH SCORE 22622.339
AT ITER 1539 NEW BEST:: SOT 84125 SOS 30339 HAS SOPS 30339 HAS SOUS 22529 HAS SOUPS 22529 WITH SCORE 22559.339
AT ITER 1542 NEW BEST:: SOT 84120 SOS 30329 HAS SOPS 30329 HAS SOUS 22524 HAS SOUPS 22524 WITH SCORE 22554.329
AT ITER 1568 NEW BEST:: SOT 84116 SOS 30321 HAS SOPS 30321 HAS SOUS 22516 HAS SOUPS 22516 WITH SCORE 22546.321
AT ITER 1586 NEW BEST:: SOT 84072 SOS 30312 HAS SOPS 30312 HAS SOUS 22507 HAS SOUPS 22507 WITH SCORE 22537.312
AT ITER 1616 NEW BEST:: SOT 84075 SOS 30048 HAS SOPS 30048 HAS SOUS 22280 HAS SOUPS 22280 WITH SCORE 22310.048
AT ITER 1632 NEW BEST:: SOT 84044 SOS 30017 HAS SOPS 30017 HAS SOUS 22249 HAS SOUPS 22249 WITH SCORE 22279.017
AT ITER 1677 NEW BEST:: SOT 83854 SOS 29802 HAS SOPS 29802 HAS SOUS 22059 HAS SOUPS 22059 WITH SCORE 22088.802
AT ITER 1681 NEW BEST:: SOT 83882 SOS 29794 HAS SOPS 29794 HAS SOUS 22051 HAS SOUPS 22051 WITH SCORE 22080.794
AT ITER 1684 NEW BEST:: SOT 83868 SOS 29780 HAS SOPS 29780 HAS SOUS 22037 HAS SOUPS 22037 WITH SCORE 22066.78
AT ITER 1697 NEW BEST:: SOT 83867 SOS 29707 HAS SOPS 29707 HAS SOUS 21964 HAS SOUPS 21964 WITH SCORE 21993.707
AT ITER 1702 NEW BEST:: SOT 83921 SOS 29577 HAS SOPS 29577 HAS SOUS 21824 HAS SOUPS 21824 WITH SCORE 21853.577
AT ITER 1706 NEW BEST:: SOT 83921 SOS 29515 HAS SOPS 29515 HAS SOUS 21793 HAS SOUPS 21793 WITH SCORE 21822.515
AT ITER 1711 NEW BEST:: SOT 83905 SOS 29505 HAS SOPS 29505 HAS SOUS 21772 HAS SOUPS 21772 WITH SCORE 21801.505
AT ITER 1720 NEW BEST:: SOT 83829 SOS 29504 HAS SOPS 29504 HAS SOUS 21771 HAS SOUPS 21771 WITH SCORE 21800.504
AT ITER 1738 NEW BEST:: SOT 83795 SOS 29432 HAS SOPS 29432 HAS SOUS 21699 HAS SOUPS 21699 WITH SCORE 21728.432
AT ITER 1751 NEW BEST:: SOT 83769 SOS 29380 HAS SOPS 29380 HAS SOUS 21673 HAS SOUPS 21673 WITH SCORE 21702.38
AT ITER 1755 NEW BEST:: SOT 83769 SOS 29371 HAS SOPS 29371 HAS SOUS 21673 HAS SOUPS 21673 WITH SCORE 21702.371
AT ITER 1766 NEW BEST:: SOT 83724 SOS 29334 HAS SOPS 29334 HAS SOUS 21630 HAS SOUPS 21630 WITH SCORE 21659.334
AT ITER 1772 NEW BEST:: SOT 83697 SOS 29277 HAS SOPS 29277 HAS SOUS 21609 HAS SOUPS 21609 WITH SCORE 21638.277
AT ITER 1776 NEW BEST:: SOT 83697 SOS 29277 HAS SOPS 29277 HAS SOUS 21576 HAS SOUPS 21576 WITH SCORE 21605.277
AT ITER 1782 NEW BEST:: SOT 83723 SOS 29185 HAS SOPS 29185 HAS SOUS 21532 HAS SOUPS 21532 WITH SCORE 21561.185
AT ITER 1786 NEW BEST:: SOT 83698 SOS 29160 HAS SOPS 29160 HAS SOUS 21507 HAS SOUPS 21507 WITH SCORE 21536.16
AT ITER 1793 NEW BEST:: SOT 83684 SOS 29117 HAS SOPS 29117 HAS SOUS 21464 HAS SOUPS 21464 WITH SCORE 21493.117
AT ITER 1805 NEW BEST:: SOT 83674 SOS 29097 HAS SOPS 29097 HAS SOUS 21444 HAS SOUPS 21444 WITH SCORE 21473.097
AT ITER 1809 NEW BEST:: SOT 83690 SOS 29092 HAS SOPS 29092 HAS SOUS 21443 HAS SOUPS 21443 WITH SCORE 21472.092
AT ITER 1818 NEW BEST:: SOT 83654 SOS 29067 HAS SOPS 29067 HAS SOUS 21418 HAS SOUPS 21418 WITH SCORE 21447.067
AT ITER 1822 NEW BEST:: SOT 83654 SOS 29050 HAS SOPS 29050 HAS SOUS 21414 HAS SOUPS 21414 WITH SCORE 21443.05
AT ITER 1832 NEW BEST:: SOT 83659 SOS 29055 HAS SOPS 29055 HAS SOUS 21391 HAS SOUPS 21391 WITH SCORE 21420.055
AT ITER 1837 NEW BEST:: SOT 83659 SOS 29054 HAS SOPS 29054 HAS SOUS 21390 HAS SOUPS 21390 WITH SCORE 21419.054
AT ITER 1856 NEW BEST:: SOT 83637 SOS 29024 HAS SOPS 29024 HAS SOUS 21369 HAS SOUPS 21369 WITH SCORE 21398.024
AT ITER 1860 NEW BEST:: SOT 83636 SOS 29022 HAS SOPS 29022 HAS SOUS 21367 HAS SOUPS 21367 WITH SCORE 21396.022
AT ITER 1873 NEW BEST:: SOT 83633 SOS 29019 HAS SOPS 29019 HAS SOUS 21364 HAS SOUPS 21364 WITH SCORE 21393.019
AT ITER 1886 NEW BEST:: SOT 83633 SOS 28851 HAS SOPS 28851 HAS SOUS 21280 HAS SOUPS 21280 WITH SCORE 21308.851
AT ITER 1887 NEW BEST:: SOT 83633 SOS 28835 HAS SOPS 28835 HAS SOUS 21276 HAS SOUPS 21276 WITH SCORE 21304.835
AT ITER 1895 NEW BEST:: SOT 83618 SOS 28805 HAS SOPS 28805 HAS SOUS 21253 HAS SOUPS 21253 WITH SCORE 21281.805
AT ITER 1901 NEW BEST:: SOT 83715 SOS 28894 HAS SOPS 28894 HAS SOUS 21231 HAS SOUPS 21231 WITH SCORE 21259.894
AT ITER 1914 NEW BEST:: SOT 83677 SOS 28824 HAS SOPS 28824 HAS SOUS 21161 HAS SOUPS 21161 WITH SCORE 21189.824
AT ITER 1916 NEW BEST:: SOT 83661 SOS 28808 HAS SOPS 28808 HAS SOUS 21127 HAS SOUPS 21127 WITH SCORE 21155.808
AT ITER 1918 NEW BEST:: SOT 83631 SOS 28723 HAS SOPS 28723 HAS SOUS 21042 HAS SOUPS 21042 WITH SCORE 21070.723
AT ITER 1922 NEW BEST:: SOT 83516 SOS 28533 HAS SOPS 28533 HAS SOUS 20852 HAS SOUPS 20852 WITH SCORE 20880.533
AT ITER 1926 NEW BEST:: SOT 83499 SOS 28516 HAS SOPS 28516 HAS SOUS 20835 HAS SOUPS 20835 WITH SCORE 20863.516
AT ITER 1935 NEW BEST:: SOT 83487 SOS 28492 HAS SOPS 28492 HAS SOUS 20811 HAS SOUPS 20811 WITH SCORE 20839.492
AT ITER 1947 NEW BEST:: SOT 83485 SOS 28488 HAS SOPS 28488 HAS SOUS 20807 HAS SOUPS 20807 WITH SCORE 20835.488
AT ITER 1950 NEW BEST:: SOT 83479 SOS 28482 HAS SOPS 28482 HAS SOUS 20801 HAS SOUPS 20801 WITH SCORE 20829.482
AT ITER 1958 NEW BEST:: SOT 83343 SOS 28454 HAS SOPS 28454 HAS SOUS 20759 HAS SOUPS 20759 WITH SCORE 20787.454
AT ITER 1965 NEW BEST:: SOT 83327 SOS 28421 HAS SOPS 28421 HAS SOUS 20743 HAS SOUPS 20743 WITH SCORE 20771.421
AT ITER 1968 NEW BEST:: SOT 83334 SOS 28311 HAS SOPS 28311 HAS SOUS 20663 HAS SOUPS 20663 WITH SCORE 20691.311
AT ITER 1979 NEW BEST:: SOT 83333 SOS 28389 HAS SOPS 28389 HAS SOUS 20662 HAS SOUPS 20662 WITH SCORE 20690.389
AT ITER 1982 NEW BEST:: SOT 83240 SOS 28277 HAS SOPS 28277 HAS SOUS 20644 HAS SOUPS 20644 WITH SCORE 20672.277
AT ITER 1995 NEW BEST:: SOT 83234 SOS 28271 HAS SOPS 28271 HAS SOUS 20623 HAS SOUPS 20623 WITH SCORE 20651.271
AT ITER 2070 NEW BEST:: SOT 83232 SOS 28253 HAS SOPS 28253 HAS SOUS 20605 HAS SOUPS 20605 WITH SCORE 20633.253
AT ITER 2073 NEW BEST:: SOT 83276 SOS 28243 HAS SOPS 28243 HAS SOUS 20595 HAS SOUPS 20595 WITH SCORE 20623.243
AT ITER 2078 NEW BEST:: SOT 83249 SOS 28213 HAS SOPS 28213 HAS SOUS 20543 HAS SOUPS 20543 WITH SCORE 20571.213
AT ITER 2082 NEW BEST:: SOT 83303 SOS 28191 HAS SOPS 28191 HAS SOUS 20521 HAS SOUPS 20521 WITH SCORE 20549.191
AT ITER 2110 NEW BEST:: SOT 83305 SOS 28184 HAS SOPS 28184 HAS SOUS 20514 HAS SOUPS 20514 WITH SCORE 20542.184
AT ITER 2114 NEW BEST:: SOT 83313 SOS 28200 HAS SOPS 28200 HAS SOUS 20501 HAS SOUPS 20501 WITH SCORE 20529.2
AT ITER 2116 NEW BEST:: SOT 83313 SOS 28200 HAS SOPS 28200 HAS SOUS 20498 HAS SOUPS 20498 WITH SCORE 20526.2
AT ITER 2117 NEW BEST:: SOT 83261 SOS 28195 HAS SOPS 28195 HAS SOUS 20493 HAS SOUPS 20493 WITH SCORE 20521.195
AT ITER 2122 NEW BEST:: SOT 83257 SOS 28186 HAS SOPS 28186 HAS SOUS 20472 HAS SOUPS 20472 WITH SCORE 20500.186
AT ITER 2130 NEW BEST:: SOT 83191 SOS 28058 HAS SOPS 28058 HAS SOUS 20344 HAS SOUPS 20344 WITH SCORE 20372.058
AT ITER 2157 NEW BEST:: SOT 83166 SOS 28056 HAS SOPS 28056 HAS SOUS 20342 HAS SOUPS 20342 WITH SCORE 20370.056
AT ITER 2178 NEW BEST:: SOT 83175 SOS 28034 HAS SOPS 28034 HAS SOUS 20320 HAS SOUPS 20320 WITH SCORE 20348.034
AT ITER 2185 NEW BEST:: SOT 83130 SOS 27951 HAS SOPS 27951 HAS SOUS 20280 HAS SOUPS 20280 WITH SCORE 20307.951
AT ITER 2189 NEW BEST:: SOT 83119 SOS 27940 HAS SOPS 27940 HAS SOUS 20269 HAS SOUPS 20269 WITH SCORE 20296.94
AT ITER 2190 NEW BEST:: SOT 83159 SOS 27922 HAS SOPS 27922 HAS SOUS 20251 HAS SOUPS 20251 WITH SCORE 20278.922
AT ITER 2191 NEW BEST:: SOT 83144 SOS 27892 HAS SOPS 27892 HAS SOUS 20246 HAS SOUPS 20246 WITH SCORE 20273.892
AT ITER 2197 NEW BEST:: SOT 83144 SOS 27892 HAS SOPS 27892 HAS SOUS 20243 HAS SOUPS 20243 WITH SCORE 20270.892
AT ITER 2224 NEW BEST:: SOT 83138 SOS 27886 HAS SOPS 27886 HAS SOUS 20237 HAS SOUPS 20237 WITH SCORE 20264.886
AT ITER 2228 NEW BEST:: SOT 83109 SOS 27839 HAS SOPS 27839 HAS SOUS 20190 HAS SOUPS 20190 WITH SCORE 20217.839
AT ITER 2252 NEW BEST:: SOT 83099 SOS 27819 HAS SOPS 27819 HAS SOUS 20149 HAS SOUPS 20149 WITH SCORE 20176.819
AT ITER 2253 NEW BEST:: SOT 83099 SOS 27803 HAS SOPS 27803 HAS SOUS 20133 HAS SOUPS 20133 WITH SCORE 20160.803
AT ITER 2270 NEW BEST:: SOT 83099 SOS 27803 HAS SOPS 27803 HAS SOUS 20131 HAS SOUPS 20131 WITH SCORE 20158.803
AT ITER 2342 NEW BEST:: SOT 83099 SOS 27796 HAS SOPS 27796 HAS SOUS 20124 HAS SOUPS 20124 WITH SCORE 20151.796
AT ITER 2351 NEW BEST:: SOT 83051 SOS 27748 HAS SOPS 27748 HAS SOUS 20076 HAS SOUPS 20076 WITH SCORE 20103.748
AT ITER 2359 NEW BEST:: SOT 83051 SOS 27748 HAS SOPS 27748 HAS SOUS 20070 HAS SOUPS 20070 WITH SCORE 20097.748
AT ITER 2364 NEW BEST:: SOT 83038 SOS 27729 HAS SOPS 27729 HAS SOUS 20051 HAS SOUPS 20051 WITH SCORE 20078.729
AT ITER 2395 NEW BEST:: SOT 83023 SOS 27721 HAS SOPS 27721 HAS SOUS 20043 HAS SOUPS 20043 WITH SCORE 20070.721
AT ITER 2441 NEW BEST:: SOT 83031 SOS 27712 HAS SOPS 27712 HAS SOUS 20038 HAS SOUPS 20038 WITH SCORE 20065.712
AT ITER 2462 NEW BEST:: SOT 83024 SOS 27698 HAS SOPS 27698 HAS SOUS 20024 HAS SOUPS 20024 WITH SCORE 20051.698
AT ITER 2475 NEW BEST:: SOT 83000 SOS 27656 HAS SOPS 27656 HAS SOUS 19982 HAS SOUPS 19982 WITH SCORE 20009.656
AT ITER 2510 NEW BEST:: SOT 83005 SOS 27633 HAS SOPS 27633 HAS SOUS 19959 HAS SOUPS 19959 WITH SCORE 19986.633
AT ITER 2523 NEW BEST:: SOT 83027 SOS 27551 HAS SOPS 27551 HAS SOUS 19877 HAS SOUPS 19877 WITH SCORE 19904.551
AT ITER 2525 NEW BEST:: SOT 83119 SOS 27624 HAS SOPS 27624 HAS SOUS 19842 HAS SOUPS 19842 WITH SCORE 19869.624
AT ITER 2526 NEW BEST:: SOT 83127 SOS 27638 HAS SOPS 27638 HAS SOUS 19759 HAS SOUPS 19759 WITH SCORE 19786.638
AT ITER 2536 NEW BEST:: SOT 83119 SOS 27622 HAS SOPS 27622 HAS SOUS 19748 HAS SOUPS 19748 WITH SCORE 19775.622
AT ITER 2546 NEW BEST:: SOT 83119 SOS 27588 HAS SOPS 27588 HAS SOUS 19714 HAS SOUPS 19714 WITH SCORE 19741.588
AT ITER 2561 NEW BEST:: SOT 83135 SOS 27574 HAS SOPS 27574 HAS SOUS 19710 HAS SOUPS 19710 WITH SCORE 19737.574
AT ITER 2568 NEW BEST:: SOT 83196 SOS 27592 HAS SOPS 27592 HAS SOUS 19590 HAS SOUPS 19590 WITH SCORE 19617.592
AT ITER 2579 NEW BEST:: SOT 83196 SOS 27591 HAS SOPS 27591 HAS SOUS 19589 HAS SOUPS 19589 WITH SCORE 19616.591
AT ITER 2586 NEW BEST:: SOT 83124 SOS 27458 HAS SOPS 27458 HAS SOUS 19498 HAS SOUPS 19498 WITH SCORE 19525.458
AT ITER 2587 NEW BEST:: SOT 83084 SOS 27378 HAS SOPS 27378 HAS SOUS 19497 HAS SOUPS 19497 WITH SCORE 19524.378
AT ITER 2621 NEW BEST:: SOT 83084 SOS 27345 HAS SOPS 27345 HAS SOUS 19454 HAS SOUPS 19454 WITH SCORE 19481.345
AT ITER 2633 NEW BEST:: SOT 83051 SOS 27312 HAS SOPS 27312 HAS SOUS 19405 HAS SOUPS 19405 WITH SCORE 19432.312
AT ITER 2639 NEW BEST:: SOT 83072 SOS 27307 HAS SOPS 27307 HAS SOUS 19400 HAS SOUPS 19400 WITH SCORE 19427.307
AT ITER 2654 NEW BEST:: SOT 83071 SOS 27176 HAS SOPS 27176 HAS SOUS 19377 HAS SOUPS 19377 WITH SCORE 19404.176
AT ITER 2691 NEW BEST:: SOT 83083 SOS 27169 HAS SOPS 27169 HAS SOUS 19370 HAS SOUPS 19370 WITH SCORE 19397.169
AT ITER 2714 NEW BEST:: SOT 83085 SOS 27171 HAS SOPS 27171 HAS SOUS 19359 HAS SOUPS 19359 WITH SCORE 19386.171
AT ITER 2746 NEW BEST:: SOT 83013 SOS 27068 HAS SOPS 27068 HAS SOUS 19256 HAS SOUPS 19256 WITH SCORE 19283.068
AT ITER 2782 NEW BEST:: SOT 83004 SOS 27059 HAS SOPS 27059 HAS SOUS 19247 HAS SOUPS 19247 WITH SCORE 19274.059
AT ITER 2847 NEW BEST:: SOT 83004 SOS 27019 HAS SOPS 27019 HAS SOUS 19227 HAS SOUPS 19227 WITH SCORE 19254.019
AT ITER 2852 NEW BEST:: SOT 82988 SOS 26980 HAS SOPS 26980 HAS SOUS 19184 HAS SOUPS 19184 WITH SCORE 19210.98
AT ITER 2877 NEW BEST:: SOT 82980 SOS 26948 HAS SOPS 26948 HAS SOUS 19163 HAS SOUPS 19163 WITH SCORE 19189.948
AT ITER 2879 NEW BEST:: SOT 82989 SOS 26935 HAS SOPS 26935 HAS SOUS 19159 HAS SOUPS 19159 WITH SCORE 19185.935
AT ITER 2907 NEW BEST:: SOT 82931 SOS 26848 HAS SOPS 26848 HAS SOUS 19101 HAS SOUPS 19101 WITH SCORE 19127.848
AT ITER 2925 NEW BEST:: SOT 82919 SOS 26829 HAS SOPS 26829 HAS SOUS 19082 HAS SOUPS 19082 WITH SCORE 19108.829
AT ITER 2926 NEW BEST:: SOT 82909 SOS 26810 HAS SOPS 26810 HAS SOUS 19063 HAS SOUPS 19063 WITH SCORE 19089.81
AT ITER 2947 NEW BEST:: SOT 82849 SOS 26597 HAS SOPS 26597 HAS SOUS 18948 HAS SOUPS 18948 WITH SCORE 18974.597
AT ITER 2951 NEW BEST:: SOT 82817 SOS 26562 HAS SOPS 26562 HAS SOUS 18942 HAS SOUPS 18942 WITH SCORE 18968.562
AT ITER 2952 NEW BEST:: SOT 82820 SOS 26552 HAS SOPS 26552 HAS SOUS 18912 HAS SOUPS 18912 WITH SCORE 18938.552
AT ITER 2963 NEW BEST:: SOT 82820 SOS 26542 HAS SOPS 26542 HAS SOUS 18902 HAS SOUPS 18902 WITH SCORE 18928.542
AT ITER 2966 NEW BEST:: SOT 82805 SOS 26443 HAS SOPS 26443 HAS SOUS 18857 HAS SOUPS 18857 WITH SCORE 18883.443
AT ITER 2967 NEW BEST:: SOT 82789 SOS 26427 HAS SOPS 26427 HAS SOUS 18826 HAS SOUPS 18826 WITH SCORE 18852.427
AT ITER 3020 NEW BEST:: SOT 82792 SOS 26340 HAS SOPS 26340 HAS SOUS 18805 HAS SOUPS 18805 WITH SCORE 18831.34
AT ITER 3023 NEW BEST:: SOT 82792 SOS 26335 HAS SOPS 26335 HAS SOUS 18800 HAS SOUPS 18800 WITH SCORE 18826.335
AT ITER 3025 NEW BEST:: SOT 82814 SOS 26331 HAS SOPS 26331 HAS SOUS 18796 HAS SOUPS 18796 WITH SCORE 18822.331
AT ITER 3052 NEW BEST:: SOT 82805 SOS 26322 HAS SOPS 26322 HAS SOUS 18787 HAS SOUPS 18787 WITH SCORE 18813.322
AT ITER 3059 NEW BEST:: SOT 82796 SOS 26313 HAS SOPS 26313 HAS SOUS 18778 HAS SOUPS 18778 WITH SCORE 18804.313
AT ITER 3092 NEW BEST:: SOT 82794 SOS 26311 HAS SOPS 26311 HAS SOUS 18776 HAS SOUPS 18776 WITH SCORE 18802.311
AT ITER 3103 NEW BEST:: SOT 82786 SOS 26303 HAS SOPS 26303 HAS SOUS 18768 HAS SOUPS 18768 WITH SCORE 18794.303
AT ITER 3119 NEW BEST:: SOT 82817 SOS 26294 HAS SOPS 26294 HAS SOUS 18692 HAS SOUPS 18692 WITH SCORE 18718.294
AT ITER 3137 NEW BEST:: SOT 82813 SOS 26290 HAS SOPS 26290 HAS SOUS 18692 HAS SOUPS 18692 WITH SCORE 18718.29
AT ITER 3145 NEW BEST:: SOT 82835 SOS 26266 HAS SOPS 26266 HAS SOUS 18668 HAS SOUPS 18668 WITH SCORE 18694.266
AT ITER 3165 NEW BEST:: SOT 82813 SOS 26246 HAS SOPS 26246 HAS SOUS 18648 HAS SOUPS 18648 WITH SCORE 18674.246
AT ITER 3182 NEW BEST:: SOT 82696 SOS 26070 HAS SOPS 26070 HAS SOUS 18571 HAS SOUPS 18571 WITH SCORE 18597.07
AT ITER 3199 NEW BEST:: SOT 82653 SOS 25984 HAS SOPS 25984 HAS SOUS 18485 HAS SOUPS 18485 WITH SCORE 18510.984
AT ITER 3211 NEW BEST:: SOT 82641 SOS 25955 HAS SOPS 25955 HAS SOUS 18456 HAS SOUPS 18456 WITH SCORE 18481.955
AT ITER 3213 NEW BEST:: SOT 82628 SOS 25942 HAS SOPS 25942 HAS SOUS 18443 HAS SOUPS 18443 WITH SCORE 18468.942
AT ITER 3215 NEW BEST:: SOT 82641 SOS 25944 HAS SOPS 25944 HAS SOUS 18431 HAS SOUPS 18431 WITH SCORE 18456.944
AT ITER 3252 NEW BEST:: SOT 82647 SOS 25956 HAS SOPS 25956 HAS SOUS 18409 HAS SOUPS 18409 WITH SCORE 18434.956
AT ITER 3265 NEW BEST:: SOT 82642 SOS 25909 HAS SOPS 25909 HAS SOUS 18400 HAS SOUPS 18400 WITH SCORE 18425.909
AT ITER 3303 NEW BEST:: SOT 82612 SOS 25886 HAS SOPS 25886 HAS SOUS 18377 HAS SOUPS 18377 WITH SCORE 18402.886
AT ITER 3351 NEW BEST:: SOT 82587 SOS 25939 HAS SOPS 25939 HAS SOUS 18362 HAS SOUPS 18362 WITH SCORE 18387.939
AT ITER 3353 NEW BEST:: SOT 82587 SOS 25937 HAS SOPS 25937 HAS SOUS 18362 HAS SOUPS 18362 WITH SCORE 18387.937
AT ITER 3375 NEW BEST:: SOT 82557 SOS 25934 HAS SOPS 25934 HAS SOUS 18359 HAS SOUPS 18359 WITH SCORE 18384.934
AT ITER 3378 NEW BEST:: SOT 82491 SOS 25821 HAS SOPS 25821 HAS SOUS 18246 HAS SOUPS 18246 WITH SCORE 18271.821
AT ITER 3407 NEW BEST:: SOT 82487 SOS 25821 HAS SOPS 25821 HAS SOUS 18242 HAS SOUPS 18242 WITH SCORE 18267.821
AT ITER 3412 NEW BEST:: SOT 82448 SOS 25778 HAS SOPS 25778 HAS SOUS 18200 HAS SOUPS 18200 WITH SCORE 18225.778
AT ITER 3419 NEW BEST:: SOT 82428 SOS 25751 HAS SOPS 25751 HAS SOUS 18149 HAS SOUPS 18149 WITH SCORE 18174.751
AT ITER 3438 NEW BEST:: SOT 82406 SOS 25665 HAS SOPS 25665 HAS SOUS 18063 HAS SOUPS 18063 WITH SCORE 18088.665
AT ITER 3452 NEW BEST:: SOT 82405 SOS 25663 HAS SOPS 25663 HAS SOUS 18061 HAS SOUPS 18061 WITH SCORE 18086.663
AT ITER 3455 NEW BEST:: SOT 82394 SOS 25660 HAS SOPS 25660 HAS SOUS 18058 HAS SOUPS 18058 WITH SCORE 18083.66
AT ITER 3457 NEW BEST:: SOT 82357 SOS 25604 HAS SOPS 25604 HAS SOUS 18002 HAS SOUPS 18002 WITH SCORE 18027.604
AT ITER 3474 NEW BEST:: SOT 82350 SOS 25590 HAS SOPS 25590 HAS SOUS 17988 HAS SOUPS 17988 WITH SCORE 18013.59
AT ITER 3500 NEW BEST:: SOT 82350 SOS 25590 HAS SOPS 25590 HAS SOUS 17987 HAS SOUPS 17987 WITH SCORE 18012.59
AT ITER 3516 NEW BEST:: SOT 82343 SOS 25576 HAS SOPS 25576 HAS SOUS 17974 HAS SOUPS 17974 WITH SCORE 17999.576
AT ITER 3520 NEW BEST:: SOT 82338 SOS 25571 HAS SOPS 25571 HAS SOUS 17974 HAS SOUPS 17974 WITH SCORE 17999.571
AT ITER 3521 NEW BEST:: SOT 82331 SOS 25564 HAS SOPS 25564 HAS SOUS 17967 HAS SOUPS 17967 WITH SCORE 17992.564
AT ITER 3526 NEW BEST:: SOT 82380 SOS 25605 HAS SOPS 25605 HAS SOUS 17951 HAS SOUPS 17951 WITH SCORE 17976.605
AT ITER 3529 NEW BEST:: SOT 82365 SOS 25575 HAS SOPS 25575 HAS SOUS 17934 HAS SOUPS 17934 WITH SCORE 17959.575
AT ITER 3534 NEW BEST:: SOT 82356 SOS 25566 HAS SOPS 25566 HAS SOUS 17931 HAS SOUPS 17931 WITH SCORE 17956.566
AT ITER 3566 NEW BEST:: SOT 82354 SOS 25562 HAS SOPS 25562 HAS SOUS 17929 HAS SOUPS 17929 WITH SCORE 17954.562
AT ITER 3582 NEW BEST:: SOT 82348 SOS 25544 HAS SOPS 25544 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17936.544
AT ITER 3614 NEW BEST:: SOT 82348 SOS 25542 HAS SOPS 25542 HAS SOUS 17910 HAS SOUPS 17910 WITH SCORE 17935.542
AT ITER 3621 NEW BEST:: SOT 82320 SOS 25491 HAS SOPS 25491 HAS SOUS 17884 HAS SOUPS 17884 WITH SCORE 17909.491
AT ITER 3622 NEW BEST:: SOT 82221 SOS 25407 HAS SOPS 25407 HAS SOUS 17770 HAS SOUPS 17770 WITH SCORE 17795.407
AT ITER 3648 NEW BEST:: SOT 82220 SOS 25405 HAS SOPS 25405 HAS SOUS 17769 HAS SOUPS 17769 WITH SCORE 17794.405
AT ITER 3650 NEW BEST:: SOT 82203 SOS 25434 HAS SOPS 25434 HAS SOUS 17753 HAS SOUPS 17753 WITH SCORE 17778.434
AT ITER 3712 NEW BEST:: SOT 82202 SOS 25432 HAS SOPS 25432 HAS SOUS 17746 HAS SOUPS 17746 WITH SCORE 17771.432
AT ITER 3739 NEW BEST:: SOT 82198 SOS 25460 HAS SOPS 25460 HAS SOUS 17734 HAS SOUPS 17734 WITH SCORE 17759.46
AT ITER 3751 NEW BEST:: SOT 82198 SOS 25438 HAS SOPS 25438 HAS SOUS 17712 HAS SOUPS 17712 WITH SCORE 17737.438
AT ITER 3793 NEW BEST:: SOT 82229 SOS 25392 HAS SOPS 25392 HAS SOUS 17666 HAS SOUPS 17666 WITH SCORE 17691.392
AT ITER 3798 NEW BEST:: SOT 82218 SOS 25381 HAS SOPS 25381 HAS SOUS 17654 HAS SOUPS 17654 WITH SCORE 17679.381
AT ITER 3826 NEW BEST:: SOT 82218 SOS 25371 HAS SOPS 25371 HAS SOUS 17644 HAS SOUPS 17644 WITH SCORE 17669.371
AT ITER 3882 NEW BEST:: SOT 82218 SOS 25371 HAS SOPS 25371 HAS SOUS 17635 HAS SOUPS 17635 WITH SCORE 17660.371
AT ITER 3890 NEW BEST:: SOT 82215 SOS 25365 HAS SOPS 25365 HAS SOUS 17629 HAS SOUPS 17629 WITH SCORE 17654.365
AT ITER 3914 NEW BEST:: SOT 82173 SOS 25281 HAS SOPS 25281 HAS SOUS 17545 HAS SOUPS 17545 WITH SCORE 17570.281
AT ITER 3929 NEW BEST:: SOT 82164 SOS 25272 HAS SOPS 25272 HAS SOUS 17536 HAS SOUPS 17536 WITH SCORE 17561.272
AT ITER 3946 NEW BEST:: SOT 82156 SOS 25259 HAS SOPS 25259 HAS SOUS 17531 HAS SOUPS 17531 WITH SCORE 17556.259
AT ITER 3974 NEW BEST:: SOT 82156 SOS 25259 HAS SOPS 25259 HAS SOUS 17524 HAS SOUPS 17524 WITH SCORE 17549.259
AT ITER 3980 NEW BEST:: SOT 82156 SOS 25257 HAS SOPS 25257 HAS SOUS 17524 HAS SOUPS 17524 WITH SCORE 17549.257
AT ITER 4006 NEW BEST:: SOT 82136 SOS 25233 HAS SOPS 25233 HAS SOUS 17500 HAS SOUPS 17500 WITH SCORE 17525.233
AT ITER 4032 NEW BEST:: SOT 82070 SOS 25167 HAS SOPS 25167 HAS SOUS 17434 HAS SOUPS 17434 WITH SCORE 17459.167
AT ITER 4049 NEW BEST:: SOT 82070 SOS 25201 HAS SOPS 25201 HAS SOUS 17405 HAS SOUPS 17405 WITH SCORE 17430.201
AT ITER 4075 NEW BEST:: SOT 82070 SOS 25201 HAS SOPS 25201 HAS SOUS 17404 HAS SOUPS 17404 WITH SCORE 17429.201
AT ITER 4081 NEW BEST:: SOT 82068 SOS 25199 HAS SOPS 25199 HAS SOUS 17402 HAS SOUPS 17402 WITH SCORE 17427.199
AT ITER 4108 NEW BEST:: SOT 82068 SOS 25203 HAS SOPS 25203 HAS SOUS 17385 HAS SOUPS 17385 WITH SCORE 17410.203
AT ITER 4110 NEW BEST:: SOT 82068 SOS 25193 HAS SOPS 25193 HAS SOUS 17375 HAS SOUPS 17375 WITH SCORE 17400.193
AT ITER 4136 NEW BEST:: SOT 82067 SOS 25192 HAS SOPS 25192 HAS SOUS 17374 HAS SOUPS 17374 WITH SCORE 17399.192
AT ITER 4212 NEW BEST:: SOT 82067 SOS 25191 HAS SOPS 25191 HAS SOUS 17373 HAS SOUPS 17373 WITH SCORE 17398.191
AT ITER 4250 NEW BEST:: SOT 82056 SOS 25145 HAS SOPS 25145 HAS SOUS 17327 HAS SOUPS 17327 WITH SCORE 17352.145
AT ITER 4252 NEW BEST:: SOT 82049 SOS 25141 HAS SOPS 25141 HAS SOUS 17323 HAS SOUPS 17323 WITH SCORE 17348.141
AT ITER 4259 NEW BEST:: SOT 82045 SOS 25129 HAS SOPS 25129 HAS SOUS 17315 HAS SOUPS 17315 WITH SCORE 17340.129
AT ITER 4266 NEW BEST:: SOT 82042 SOS 25127 HAS SOPS 25127 HAS SOUS 17313 HAS SOUPS 17313 WITH SCORE 17338.127
AT ITER 4278 NEW BEST:: SOT 82047 SOS 25134 HAS SOPS 25134 HAS SOUS 17307 HAS SOUPS 17307 WITH SCORE 17332.134
AT ITER 4348 NEW BEST:: SOT 82047 SOS 25126 HAS SOPS 25126 HAS SOUS 17279 HAS SOUPS 17279 WITH SCORE 17304.126
AT ITER 4387 NEW BEST:: SOT 82036 SOS 25285 HAS SOPS 25285 HAS SOUS 17268 HAS SOUPS 17268 WITH SCORE 17293.285
AT ITER 4466 NEW BEST:: SOT 82065 SOS 25265 HAS SOPS 25265 HAS SOUS 17261 HAS SOUPS 17261 WITH SCORE 17286.265
AT ITER 4467 NEW BEST:: SOT 82040 SOS 25190 HAS SOPS 25190 HAS SOUS 17186 HAS SOUPS 17186 WITH SCORE 17211.19
AT ITER 4469 NEW BEST:: SOT 82008 SOS 25194 HAS SOPS 25194 HAS SOUS 17185 HAS SOUPS 17185 WITH SCORE 17210.194
AT ITER 4472 NEW BEST:: SOT 82005 SOS 25191 HAS SOPS 25191 HAS SOUS 17182 HAS SOUPS 17182 WITH SCORE 17207.191
AT ITER 4494 NEW BEST:: SOT 81992 SOS 25188 HAS SOPS 25188 HAS SOUS 17143 HAS SOUPS 17143 WITH SCORE 17168.188
AT ITER 4516 NEW BEST:: SOT 81988 SOS 25180 HAS SOPS 25180 HAS SOUS 17135 HAS SOUPS 17135 WITH SCORE 17160.18
AT ITER 4517 NEW BEST:: SOT 81970 SOS 25144 HAS SOPS 25144 HAS SOUS 17099 HAS SOUPS 17099 WITH SCORE 17124.144
AT ITER 4533 NEW BEST:: SOT 81970 SOS 25160 HAS SOPS 25160 HAS SOUS 17077 HAS SOUPS 17077 WITH SCORE 17102.16
AT ITER 4599 NEW BEST:: SOT 81959 SOS 25149 HAS SOPS 25149 HAS SOUS 17066 HAS SOUPS 17066 WITH SCORE 17091.149
AT ITER 4601 NEW BEST:: SOT 81957 SOS 25147 HAS SOPS 25147 HAS SOUS 17064 HAS SOUPS 17064 WITH SCORE 17089.147
AT ITER 4606 NEW BEST:: SOT 81955 SOS 24707 HAS SOPS 24707 HAS SOUS 17043 HAS SOUPS 17043 WITH SCORE 17067.707
AT ITER 4613 NEW BEST:: SOT 81926 SOS 24805 HAS SOPS 24805 HAS SOUS 17024 HAS SOUPS 17024 WITH SCORE 17048.805
AT ITER 4619 NEW BEST:: SOT 81924 SOS 24801 HAS SOPS 24801 HAS SOUS 17020 HAS SOUPS 17020 WITH SCORE 17044.801
AT ITER 4630 NEW BEST:: SOT 81920 SOS 24793 HAS SOPS 24793 HAS SOUS 17012 HAS SOUPS 17012 WITH SCORE 17036.793
AT ITER 4662 NEW BEST:: SOT 81982 SOS 24824 HAS SOPS 24824 HAS SOUS 17011 HAS SOUPS 17011 WITH SCORE 17035.824
AT ITER 4690 NEW BEST:: SOT 81982 SOS 24769 HAS SOPS 24769 HAS SOUS 16956 HAS SOUPS 16956 WITH SCORE 16980.769
AT ITER 4736 NEW BEST:: SOT 81964 SOS 24733 HAS SOPS 24733 HAS SOUS 16914 HAS SOUPS 16914 WITH SCORE 16938.733
AT ITER 4749 NEW BEST:: SOT 81963 SOS 24731 HAS SOPS 24731 HAS SOUS 16912 HAS SOUPS 16912 WITH SCORE 16936.731
AT ITER 4788 NEW BEST:: SOT 81981 SOS 24680 HAS SOPS 24680 HAS SOUS 16908 HAS SOUPS 16908 WITH SCORE 16932.68
AT ITER 4794 NEW BEST:: SOT 81951 SOS 24663 HAS SOPS 24663 HAS SOUS 16891 HAS SOUPS 16891 WITH SCORE 16915.663
AT ITER 4807 NEW BEST:: SOT 81946 SOS 24658 HAS SOPS 24658 HAS SOUS 16891 HAS SOUPS 16891 WITH SCORE 16915.658
AT ITER 4816 NEW BEST:: SOT 81944 SOS 24656 HAS SOPS 24656 HAS SOUS 16887 HAS SOUPS 16887 WITH SCORE 16911.656
AT ITER 4822 NEW BEST:: SOT 81932 SOS 24638 HAS SOPS 24638 HAS SOUS 16869 HAS SOUPS 16869 WITH SCORE 16893.638
AT ITER 4839 NEW BEST:: SOT 81938 SOS 24538 HAS SOPS 24538 HAS SOUS 16803 HAS SOUPS 16803 WITH SCORE 16827.538
AT ITER 4850 NEW BEST:: SOT 81938 SOS 24538 HAS SOPS 24538 HAS SOUS 16789 HAS SOUPS 16789 WITH SCORE 16813.538
AT ITER 4856 NEW BEST:: SOT 81939 SOS 24526 HAS SOPS 24526 HAS SOUS 16777 HAS SOUPS 16777 WITH SCORE 16801.526
AT ITER 4867 NEW BEST:: SOT 81928 SOS 24526 HAS SOPS 24526 HAS SOUS 16770 HAS SOUPS 16770 WITH SCORE 16794.526
AT ITER 4870 NEW BEST:: SOT 81928 SOS 24588 HAS SOPS 24588 HAS SOUS 16731 HAS SOUPS 16731 WITH SCORE 16755.588
AT ITER 4892 NEW BEST:: SOT 81928 SOS 24588 HAS SOPS 24588 HAS SOUS 16729 HAS SOUPS 16729 WITH SCORE 16753.588
AT ITER 4905 NEW BEST:: SOT 81914 SOS 24570 HAS SOPS 24570 HAS SOUS 16711 HAS SOUPS 16711 WITH SCORE 16735.57
AT ITER 4918 NEW BEST:: SOT 81913 SOS 24568 HAS SOPS 24568 HAS SOUS 16709 HAS SOUPS 16709 WITH SCORE 16733.568
AT ITER 4919 NEW BEST:: SOT 81907 SOS 24547 HAS SOPS 24547 HAS SOUS 16688 HAS SOUPS 16688 WITH SCORE 16712.547
AT ITER 4948 NEW BEST:: SOT 81905 SOS 24543 HAS SOPS 24543 HAS SOUS 16684 HAS SOUPS 16684 WITH SCORE 16708.543
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-00 ( (EX( (EF(potential( (tk(P29)) <= (tk(P58)) ))))) & ( (! ( ( potential( (tk(P306)) <= (tk(P124)) ) | potential( ( 1 ) <= (tk(P232)) ) ) & potential( ( 2 ) <= (tk(P98)) ) )) & (AG( (! potential( ( 1 ) <= (tk(P65)) )))) ) )
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-01 ( (EF(( ( potential( ( 3 ) <= (tk(P182)) ) | potential( (tk(P290)) <= (tk(P62)) ) ) | ( potential( (tk(P301)) <= (tk(P349)) ) | potential( ( 1 ) <= (tk(P224)) ) ) ))) & (EU( ( potential( (tk(P343)) <= (tk(P280)) ) | potential( ( 2 ) <= (tk(P110)) ) ),(! potential( (tk(P249)) <= (tk(P110)) )) )) )
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-02 (EF(( ( potential( (tk(P22)) <= (tk(P322)) ) & (! potential( ( 3 ) <= (tk(P301)) )) ) & (AX( potential( ( 1 ) <= (tk(P76)) ))) )))
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-03 (EU( potential( (tk(P64)) <= (tk(P393)) ),potential( ( 3 ) <= (tk(P327)) ) ))
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-04 (EF(( potential( ( 3 ) <= (tk(P311)) ) & (AF(potential( (tk(P1)) <= (tk(P43)) ))) )))
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-05 (EX( (EF(potential( ( 1 ) <= (tk(P153)) )))))
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-06 (EF(( ( potential( ( 3 ) <= (tk(P93)) ) & potential( ( 2 ) <= (tk(P23)) ) ) & ( (! potential( ( 2 ) <= (tk(P168)) )) & ( potential( (tk(P398)) <= (tk(P216)) ) & potential( (tk(P33)) <= (tk(P322)) ) ) ) )))
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-07 (! (EF((! potential( (tk(P26)) <= (tk(P395)) )))))
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-08 ( (AG( ( (! potential( ( 2 ) <= (tk(P307)) )) & ( potential( ( 2 ) <= (tk(P349)) ) | potential( (tk(P99)) <= (tk(P313)) ) ) ))) | (AF((! ( potential( (tk(P179)) <= (tk(P207)) ) | potential( (tk(P274)) <= (tk(P173)) ) )))) )
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-09 (EF(( (EF(potential( (tk(P75)) <= (tk(P55)) ))) & (! (! potential( ( 2 ) <= (tk(P60)) ))) )))
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-10 (AG( (EF(potential( (tk(P214)) <= (tk(P294)) )))))
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-11 (EF((AG( potential( ( 3 ) <= (tk(P377)) )))))
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-12 ( (EF(( (! potential( ( 3 ) <= (tk(P201)) )) & potential( ( 1 ) <= (tk(P332)) ) ))) & ( (AU( potential( ( 3 ) <= (tk(P105)) ),potential( ( 1 ) <= (tk(P344)) ) )) | (EF(( potential( ( 1 ) <= (tk(P3)) ) | potential( (tk(P123)) <= (tk(P269)) ) ))) ) )
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-13 (EF(( ( ( potential( (tk(P201)) <= (tk(P65)) ) & potential( (tk(P143)) <= (tk(P61)) ) ) | (! potential( ( 3 ) <= (tk(P225)) )) ) & (AG( potential( ( 3 ) <= (tk(P152)) ))) )))
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-14 (EU( (EX( potential( (tk(P213)) <= (tk(P384)) ))),( ( potential( (tk(P6)) <= (tk(P150)) ) | potential( (tk(P170)) <= (tk(P264)) ) ) & ( potential( ( 2 ) <= (tk(P225)) ) | potential( ( 2 ) <= (tk(P187)) ) ) ) ))
PROPERTY: BusinessProcesses-PT-09-CTLCardinality-15 (EF((! ( ( potential( ( 3 ) <= (tk(P357)) ) | potential( (tk(P191)) <= (tk(P195)) ) ) | ( potential( ( 1 ) <= (tk(P210)) ) & potential( ( 1 ) <= (tk(P40)) ) ) ))))
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="BusinessProcesses-PT-09"
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 BusinessProcesses-PT-09, 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 r018-oct2-158897680100515"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-09.tgz
mv BusinessProcesses-PT-09 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 ;