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-158897680200571.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-16, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200571
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 344K
-rw-r--r-- 1 mcc users 4.0K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 26 02:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 22:45 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.3K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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 159K 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-16-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-16-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-16-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-16-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-16-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-16-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-16-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-16-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-16-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-16-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-16-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-16-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-16-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-16-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-16-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-16-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590869264324

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 16
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: 638 places, 578 transitions, 1694 arcs.
AT ITER 0 NEW BEST:: SOT 234356 SOS 90427 HAS SOPS 90427 HAS SOUS 86710 HAS SOUPS 86710 WITH SCORE 86800.427
AT ITER 15 NEW BEST:: SOT 234338 SOS 90391 HAS SOPS 90391 HAS SOUS 86674 HAS SOUPS 86674 WITH SCORE 86764.391
AT ITER 30 NEW BEST:: SOT 234154 SOS 90207 HAS SOPS 90207 HAS SOUS 86490 HAS SOUPS 86490 WITH SCORE 86580.207
AT ITER 33 NEW BEST:: SOT 234133 SOS 90165 HAS SOPS 90165 HAS SOUS 86448 HAS SOUPS 86448 WITH SCORE 86538.165
AT ITER 34 NEW BEST:: SOT 234132 SOS 90163 HAS SOPS 90163 HAS SOUS 86446 HAS SOUPS 86446 WITH SCORE 86536.163
AT ITER 38 NEW BEST:: SOT 233970 SOS 90001 HAS SOPS 90001 HAS SOUS 86284 HAS SOUPS 86284 WITH SCORE 86374.001
AT ITER 40 NEW BEST:: SOT 233970 SOS 89922 HAS SOPS 89922 HAS SOUS 86205 HAS SOUPS 86205 WITH SCORE 86294.922
AT ITER 42 NEW BEST:: SOT 233969 SOS 89891 HAS SOPS 89891 HAS SOUS 86174 HAS SOUPS 86174 WITH SCORE 86263.891
AT ITER 46 NEW BEST:: SOT 233969 SOS 89725 HAS SOPS 89725 HAS SOUS 86004 HAS SOUPS 86004 WITH SCORE 86093.725
AT ITER 54 NEW BEST:: SOT 233968 SOS 89723 HAS SOPS 89723 HAS SOUS 86002 HAS SOUPS 86002 WITH SCORE 86091.723
AT ITER 61 NEW BEST:: SOT 233965 SOS 89717 HAS SOPS 89717 HAS SOUS 85996 HAS SOUPS 85996 WITH SCORE 86085.717
AT ITER 62 NEW BEST:: SOT 233961 SOS 89633 HAS SOPS 89633 HAS SOUS 85966 HAS SOUPS 85966 WITH SCORE 86055.633
AT ITER 69 NEW BEST:: SOT 233806 SOS 89468 HAS SOPS 89468 HAS SOUS 85899 HAS SOUPS 85899 WITH SCORE 85988.468
AT ITER 72 NEW BEST:: SOT 233806 SOS 89468 HAS SOPS 89468 HAS SOUS 85886 HAS SOUPS 85886 WITH SCORE 85975.468
AT ITER 77 NEW BEST:: SOT 233833 SOS 89336 HAS SOPS 89336 HAS SOUS 85754 HAS SOUPS 85754 WITH SCORE 85843.336
AT ITER 79 NEW BEST:: SOT 233833 SOS 89315 HAS SOPS 89315 HAS SOUS 85733 HAS SOUPS 85733 WITH SCORE 85822.315
AT ITER 87 NEW BEST:: SOT 233809 SOS 89312 HAS SOPS 89312 HAS SOUS 85730 HAS SOUPS 85730 WITH SCORE 85819.312
AT ITER 92 NEW BEST:: SOT 233798 SOS 89290 HAS SOPS 89290 HAS SOUS 85708 HAS SOUPS 85708 WITH SCORE 85797.29
AT ITER 97 NEW BEST:: SOT 233486 SOS 89111 HAS SOPS 89111 HAS SOUS 85439 HAS SOUPS 85439 WITH SCORE 85528.111
AT ITER 99 NEW BEST:: SOT 233368 SOS 89003 HAS SOPS 89003 HAS SOUS 85396 HAS SOUPS 85396 WITH SCORE 85485.003
AT ITER 107 NEW BEST:: SOT 233260 SOS 89061 HAS SOPS 89061 HAS SOUS 85369 HAS SOUPS 85369 WITH SCORE 85458.061
AT ITER 111 NEW BEST:: SOT 233260 SOS 88853 HAS SOPS 88853 HAS SOUS 84953 HAS SOUPS 84953 WITH SCORE 85041.853
AT ITER 118 NEW BEST:: SOT 233293 SOS 88790 HAS SOPS 88790 HAS SOUS 84890 HAS SOUPS 84890 WITH SCORE 84978.79
AT ITER 138 NEW BEST:: SOT 233292 SOS 88737 HAS SOPS 88737 HAS SOUS 84837 HAS SOUPS 84837 WITH SCORE 84925.737
AT ITER 139 NEW BEST:: SOT 230292 SOS 85536 HAS SOPS 85536 HAS SOUS 81636 HAS SOUPS 81636 WITH SCORE 81721.536
AT ITER 143 NEW BEST:: SOT 230292 SOS 85472 HAS SOPS 85472 HAS SOUS 81572 HAS SOUPS 81572 WITH SCORE 81657.472
AT ITER 147 NEW BEST:: SOT 224472 SOS 110932 HAS SOPS 110932 HAS SOUS 76788 HAS SOUPS 76788 WITH SCORE 76898.932
AT ITER 174 NEW BEST:: SOT 224459 SOS 110909 HAS SOPS 110909 HAS SOUS 76765 HAS SOUPS 76765 WITH SCORE 76875.909
AT ITER 177 NEW BEST:: SOT 224458 SOS 110908 HAS SOPS 110908 HAS SOUS 76764 HAS SOUPS 76764 WITH SCORE 76874.908
AT ITER 178 NEW BEST:: SOT 224458 SOS 110891 HAS SOPS 110891 HAS SOUS 76747 HAS SOUPS 76747 WITH SCORE 76857.891
AT ITER 199 NEW BEST:: SOT 224324 SOS 110569 HAS SOPS 110569 HAS SOUS 76643 HAS SOUPS 76643 WITH SCORE 76753.569
AT ITER 201 NEW BEST:: SOT 224246 SOS 110413 HAS SOPS 110413 HAS SOUS 76592 HAS SOUPS 76592 WITH SCORE 76702.413
AT ITER 203 NEW BEST:: SOT 224110 SOS 110141 HAS SOPS 110141 HAS SOUS 76457 HAS SOUPS 76457 WITH SCORE 76567.141
AT ITER 210 NEW BEST:: SOT 224087 SOS 110117 HAS SOPS 110117 HAS SOUS 76455 HAS SOUPS 76455 WITH SCORE 76565.117
AT ITER 212 NEW BEST:: SOT 224007 SOS 109997 HAS SOPS 109997 HAS SOUS 76375 HAS SOUPS 76375 WITH SCORE 76484.997
AT ITER 219 NEW BEST:: SOT 223929 SOS 109841 HAS SOPS 109841 HAS SOUS 76296 HAS SOUPS 76296 WITH SCORE 76405.841
AT ITER 220 NEW BEST:: SOT 223745 SOS 109473 HAS SOPS 109473 HAS SOUS 76020 HAS SOUPS 76020 WITH SCORE 76129.473
AT ITER 225 NEW BEST:: SOT 223591 SOS 109165 HAS SOPS 109165 HAS SOUS 75865 HAS SOUPS 75865 WITH SCORE 75974.165
AT ITER 230 NEW BEST:: SOT 223461 SOS 108905 HAS SOPS 108905 HAS SOUS 75774 HAS SOUPS 75774 WITH SCORE 75882.905
AT ITER 231 NEW BEST:: SOT 223395 SOS 108839 HAS SOPS 108839 HAS SOUS 75708 HAS SOUPS 75708 WITH SCORE 75816.839
AT ITER 235 NEW BEST:: SOT 223223 SOS 108666 HAS SOPS 108666 HAS SOUS 75535 HAS SOUPS 75535 WITH SCORE 75643.666
AT ITER 239 NEW BEST:: SOT 223195 SOS 108669 HAS SOPS 108669 HAS SOUS 75516 HAS SOUPS 75516 WITH SCORE 75624.669
AT ITER 253 NEW BEST:: SOT 223098 SOS 108475 HAS SOPS 108475 HAS SOUS 75322 HAS SOUPS 75322 WITH SCORE 75430.475
AT ITER 254 NEW BEST:: SOT 222997 SOS 108273 HAS SOPS 108273 HAS SOUS 75221 HAS SOUPS 75221 WITH SCORE 75329.273
AT ITER 255 NEW BEST:: SOT 222964 SOS 108207 HAS SOPS 108207 HAS SOUS 75032 HAS SOUPS 75032 WITH SCORE 75140.207
AT ITER 269 NEW BEST:: SOT 222947 SOS 108190 HAS SOPS 108190 HAS SOUS 75030 HAS SOUPS 75030 WITH SCORE 75138.19
AT ITER 279 NEW BEST:: SOT 222920 SOS 108136 HAS SOPS 108136 HAS SOUS 74954 HAS SOUPS 74954 WITH SCORE 75062.136
AT ITER 281 NEW BEST:: SOT 222864 SOS 108080 HAS SOPS 108080 HAS SOUS 74898 HAS SOUPS 74898 WITH SCORE 75006.08
AT ITER 286 NEW BEST:: SOT 222593 SOS 107710 HAS SOPS 107710 HAS SOUS 74700 HAS SOUPS 74700 WITH SCORE 74807.71
AT ITER 287 NEW BEST:: SOT 222576 SOS 107693 HAS SOPS 107693 HAS SOUS 74683 HAS SOUPS 74683 WITH SCORE 74790.693
AT ITER 292 NEW BEST:: SOT 222449 SOS 107414 HAS SOPS 107414 HAS SOUS 74404 HAS SOUPS 74404 WITH SCORE 74511.414
AT ITER 302 NEW BEST:: SOT 222281 SOS 107078 HAS SOPS 107078 HAS SOUS 74197 HAS SOUPS 74197 WITH SCORE 74304.078
AT ITER 312 NEW BEST:: SOT 222245 SOS 107042 HAS SOPS 107042 HAS SOUS 74161 HAS SOUPS 74161 WITH SCORE 74268.042
AT ITER 316 NEW BEST:: SOT 222191 SOS 106959 HAS SOPS 106959 HAS SOUS 74078 HAS SOUPS 74078 WITH SCORE 74184.959
AT ITER 331 NEW BEST:: SOT 221913 SOS 106598 HAS SOPS 106598 HAS SOUS 73912 HAS SOUPS 73912 WITH SCORE 74018.598
AT ITER 333 NEW BEST:: SOT 221913 SOS 106239 HAS SOPS 106239 HAS SOUS 73854 HAS SOUPS 73854 WITH SCORE 73960.239
AT ITER 342 NEW BEST:: SOT 221913 SOS 106233 HAS SOPS 106233 HAS SOUS 73848 HAS SOUPS 73848 WITH SCORE 73954.233
AT ITER 347 NEW BEST:: SOT 221710 SOS 106103 HAS SOPS 106103 HAS SOUS 73718 HAS SOUPS 73718 WITH SCORE 73824.103
AT ITER 359 NEW BEST:: SOT 221681 SOS 106045 HAS SOPS 106045 HAS SOUS 73660 HAS SOUPS 73660 WITH SCORE 73766.045
AT ITER 371 NEW BEST:: SOT 221649 SOS 106013 HAS SOPS 106013 HAS SOUS 73660 HAS SOUPS 73660 WITH SCORE 73766.013
AT ITER 386 NEW BEST:: SOT 221634 SOS 105983 HAS SOPS 105983 HAS SOUS 73630 HAS SOUPS 73630 WITH SCORE 73735.983
AT ITER 392 NEW BEST:: SOT 221644 SOS 105979 HAS SOPS 105979 HAS SOUS 73616 HAS SOUPS 73616 WITH SCORE 73721.979
AT ITER 397 NEW BEST:: SOT 221618 SOS 105953 HAS SOPS 105953 HAS SOUS 73590 HAS SOUPS 73590 WITH SCORE 73695.953
AT ITER 402 NEW BEST:: SOT 221641 SOS 105693 HAS SOPS 105693 HAS SOUS 73557 HAS SOUPS 73557 WITH SCORE 73662.693
AT ITER 428 NEW BEST:: SOT 221636 SOS 105485 HAS SOPS 105485 HAS SOUS 73501 HAS SOUPS 73501 WITH SCORE 73606.485
AT ITER 434 NEW BEST:: SOT 221525 SOS 105310 HAS SOPS 105310 HAS SOUS 73429 HAS SOUPS 73429 WITH SCORE 73534.31
AT ITER 443 NEW BEST:: SOT 221334 SOS 104928 HAS SOPS 104928 HAS SOUS 73245 HAS SOUPS 73245 WITH SCORE 73349.928
AT ITER 451 NEW BEST:: SOT 221331 SOS 104925 HAS SOPS 104925 HAS SOUS 73242 HAS SOUPS 73242 WITH SCORE 73346.925
AT ITER 454 NEW BEST:: SOT 221122 SOS 104847 HAS SOPS 104847 HAS SOUS 73164 HAS SOUPS 73164 WITH SCORE 73268.847
AT ITER 461 NEW BEST:: SOT 221173 SOS 104775 HAS SOPS 104775 HAS SOUS 73127 HAS SOUPS 73127 WITH SCORE 73231.775
AT ITER 473 NEW BEST:: SOT 221156 SOS 104757 HAS SOPS 104757 HAS SOUS 73109 HAS SOUPS 73109 WITH SCORE 73213.757
AT ITER 484 NEW BEST:: SOT 221239 SOS 104712 HAS SOPS 104712 HAS SOUS 72953 HAS SOUPS 72953 WITH SCORE 73057.712
AT ITER 502 NEW BEST:: SOT 221036 SOS 104251 HAS SOPS 104251 HAS SOUS 72771 HAS SOUPS 72771 WITH SCORE 72875.251
AT ITER 508 NEW BEST:: SOT 220965 SOS 104180 HAS SOPS 104180 HAS SOUS 72700 HAS SOUPS 72700 WITH SCORE 72804.18
AT ITER 539 NEW BEST:: SOT 221106 SOS 104340 HAS SOPS 104340 HAS SOUS 72679 HAS SOUPS 72679 WITH SCORE 72783.34
AT ITER 540 NEW BEST:: SOT 220988 SOS 104422 HAS SOPS 104422 HAS SOUS 72670 HAS SOUPS 72670 WITH SCORE 72774.422
AT ITER 542 NEW BEST:: SOT 221084 SOS 104272 HAS SOPS 104272 HAS SOUS 72571 HAS SOUPS 72571 WITH SCORE 72675.272
AT ITER 551 NEW BEST:: SOT 221109 SOS 104092 HAS SOPS 104092 HAS SOUS 72512 HAS SOUPS 72512 WITH SCORE 72616.092
AT ITER 555 NEW BEST:: SOT 221109 SOS 104084 HAS SOPS 104084 HAS SOUS 72512 HAS SOUPS 72512 WITH SCORE 72616.084
AT ITER 567 NEW BEST:: SOT 221024 SOS 103914 HAS SOPS 103914 HAS SOUS 72471 HAS SOUPS 72471 WITH SCORE 72574.914
AT ITER 574 NEW BEST:: SOT 219620 SOS 102470 HAS SOPS 102470 HAS SOUS 70924 HAS SOUPS 70924 WITH SCORE 71026.47
AT ITER 576 NEW BEST:: SOT 219578 SOS 102327 HAS SOPS 102327 HAS SOUS 70781 HAS SOUPS 70781 WITH SCORE 70883.327
AT ITER 592 NEW BEST:: SOT 219557 SOS 102306 HAS SOPS 102306 HAS SOUS 70760 HAS SOUPS 70760 WITH SCORE 70862.306
AT ITER 604 NEW BEST:: SOT 219531 SOS 102115 HAS SOPS 102115 HAS SOUS 70603 HAS SOUPS 70603 WITH SCORE 70705.115
AT ITER 609 NEW BEST:: SOT 219387 SOS 101703 HAS SOPS 101703 HAS SOUS 70369 HAS SOUPS 70369 WITH SCORE 70470.703
AT ITER 616 NEW BEST:: SOT 219316 SOS 101632 HAS SOPS 101632 HAS SOUS 70369 HAS SOUPS 70369 WITH SCORE 70470.632
AT ITER 628 NEW BEST:: SOT 219316 SOS 101459 HAS SOPS 101459 HAS SOUS 70196 HAS SOUPS 70196 WITH SCORE 70297.459
AT ITER 642 NEW BEST:: SOT 219200 SOS 101127 HAS SOPS 101127 HAS SOUS 70158 HAS SOUPS 70158 WITH SCORE 70259.127
AT ITER 646 NEW BEST:: SOT 219189 SOS 101116 HAS SOPS 101116 HAS SOUS 70147 HAS SOUPS 70147 WITH SCORE 70248.116
AT ITER 656 NEW BEST:: SOT 219184 SOS 101111 HAS SOPS 101111 HAS SOUS 70147 HAS SOUPS 70147 WITH SCORE 70248.111
AT ITER 659 NEW BEST:: SOT 219184 SOS 101110 HAS SOPS 101110 HAS SOUS 70146 HAS SOUPS 70146 WITH SCORE 70247.11
AT ITER 660 NEW BEST:: SOT 219131 SOS 101110 HAS SOPS 101110 HAS SOUS 70145 HAS SOUPS 70145 WITH SCORE 70246.11
AT ITER 662 NEW BEST:: SOT 219097 SOS 101059 HAS SOPS 101059 HAS SOUS 70111 HAS SOUPS 70111 WITH SCORE 70212.059
AT ITER 671 NEW BEST:: SOT 218998 SOS 101008 HAS SOPS 101008 HAS SOUS 70109 HAS SOUPS 70109 WITH SCORE 70210.008
AT ITER 679 NEW BEST:: SOT 218879 SOS 100770 HAS SOPS 100770 HAS SOUS 69871 HAS SOUPS 69871 WITH SCORE 69971.77
AT ITER 682 NEW BEST:: SOT 218857 SOS 100727 HAS SOPS 100727 HAS SOUS 69825 HAS SOUPS 69825 WITH SCORE 69925.727
AT ITER 685 NEW BEST:: SOT 218795 SOS 100844 HAS SOPS 100844 HAS SOUS 69769 HAS SOUPS 69769 WITH SCORE 69869.844
AT ITER 692 NEW BEST:: SOT 218789 SOS 100838 HAS SOPS 100838 HAS SOUS 69763 HAS SOUPS 69763 WITH SCORE 69863.838
AT ITER 697 NEW BEST:: SOT 218948 SOS 100548 HAS SOPS 100548 HAS SOUS 69589 HAS SOUPS 69589 WITH SCORE 69689.548
AT ITER 698 NEW BEST:: SOT 218953 SOS 100505 HAS SOPS 100505 HAS SOUS 69546 HAS SOUPS 69546 WITH SCORE 69646.505
AT ITER 734 NEW BEST:: SOT 218921 SOS 100473 HAS SOPS 100473 HAS SOUS 69514 HAS SOUPS 69514 WITH SCORE 69614.473
AT ITER 741 NEW BEST:: SOT 218892 SOS 100400 HAS SOPS 100400 HAS SOUS 69441 HAS SOUPS 69441 WITH SCORE 69541.4
AT ITER 742 NEW BEST:: SOT 218880 SOS 100388 HAS SOPS 100388 HAS SOUS 69429 HAS SOUPS 69429 WITH SCORE 69529.388
AT ITER 756 NEW BEST:: SOT 218786 SOS 100048 HAS SOPS 100048 HAS SOUS 69206 HAS SOUPS 69206 WITH SCORE 69306.048
AT ITER 757 NEW BEST:: SOT 218742 SOS 99903 HAS SOPS 99903 HAS SOUS 69061 HAS SOUPS 69061 WITH SCORE 69160.903
AT ITER 775 NEW BEST:: SOT 218531 SOS 99426 HAS SOPS 99426 HAS SOUS 68939 HAS SOUPS 68939 WITH SCORE 69038.426
AT ITER 807 NEW BEST:: SOT 218510 SOS 99405 HAS SOPS 99405 HAS SOUS 68939 HAS SOUPS 68939 WITH SCORE 69038.405
AT ITER 811 NEW BEST:: SOT 218428 SOS 99242 HAS SOPS 99242 HAS SOUS 68870 HAS SOUPS 68870 WITH SCORE 68969.242
AT ITER 820 NEW BEST:: SOT 218409 SOS 99223 HAS SOPS 99223 HAS SOUS 68870 HAS SOUPS 68870 WITH SCORE 68969.223
AT ITER 835 NEW BEST:: SOT 218342 SOS 99089 HAS SOPS 99089 HAS SOUS 68669 HAS SOUPS 68669 WITH SCORE 68768.089
AT ITER 841 NEW BEST:: SOT 218337 SOS 99084 HAS SOPS 99084 HAS SOUS 68664 HAS SOUPS 68664 WITH SCORE 68763.084
AT ITER 865 NEW BEST:: SOT 218142 SOS 98876 HAS SOPS 98876 HAS SOUS 68456 HAS SOUPS 68456 WITH SCORE 68554.876
AT ITER 868 NEW BEST:: SOT 218131 SOS 98702 HAS SOPS 98702 HAS SOUS 68443 HAS SOUPS 68443 WITH SCORE 68541.702
AT ITER 887 NEW BEST:: SOT 218090 SOS 98620 HAS SOPS 98620 HAS SOUS 68402 HAS SOUPS 68402 WITH SCORE 68500.62
AT ITER 898 NEW BEST:: SOT 218080 SOS 98589 HAS SOPS 98589 HAS SOUS 68371 HAS SOUPS 68371 WITH SCORE 68469.589
AT ITER 905 NEW BEST:: SOT 218068 SOS 98565 HAS SOPS 98565 HAS SOUS 68359 HAS SOUPS 68359 WITH SCORE 68457.565
AT ITER 912 NEW BEST:: SOT 217936 SOS 98531 HAS SOPS 98531 HAS SOUS 68325 HAS SOUPS 68325 WITH SCORE 68423.531
AT ITER 916 NEW BEST:: SOT 217753 SOS 98358 HAS SOPS 98358 HAS SOUS 68221 HAS SOUPS 68221 WITH SCORE 68319.358
AT ITER 917 NEW BEST:: SOT 217717 SOS 98286 HAS SOPS 98286 HAS SOUS 68149 HAS SOUPS 68149 WITH SCORE 68247.286
AT ITER 924 NEW BEST:: SOT 217701 SOS 98254 HAS SOPS 98254 HAS SOUS 68133 HAS SOUPS 68133 WITH SCORE 68231.254
AT ITER 947 NEW BEST:: SOT 217529 SOS 98082 HAS SOPS 98082 HAS SOUS 68133 HAS SOUPS 68133 WITH SCORE 68231.082
AT ITER 949 NEW BEST:: SOT 217543 SOS 98096 HAS SOPS 98096 HAS SOUS 68028 HAS SOUPS 68028 WITH SCORE 68126.096
AT ITER 951 NEW BEST:: SOT 217521 SOS 98052 HAS SOPS 98052 HAS SOUS 67985 HAS SOUPS 67985 WITH SCORE 68083.052
AT ITER 963 NEW BEST:: SOT 217076 SOS 97153 HAS SOPS 97153 HAS SOUS 67649 HAS SOUPS 67649 WITH SCORE 67746.153
AT ITER 986 NEW BEST:: SOT 217120 SOS 97049 HAS SOPS 97049 HAS SOUS 67526 HAS SOUPS 67526 WITH SCORE 67623.049
AT ITER 988 NEW BEST:: SOT 217096 SOS 97025 HAS SOPS 97025 HAS SOUS 67526 HAS SOUPS 67526 WITH SCORE 67623.025
AT ITER 991 NEW BEST:: SOT 217086 SOS 96906 HAS SOPS 96906 HAS SOUS 67501 HAS SOUPS 67501 WITH SCORE 67597.906
AT ITER 992 NEW BEST:: SOT 217086 SOS 96905 HAS SOPS 96905 HAS SOUS 67500 HAS SOUPS 67500 WITH SCORE 67596.905
AT ITER 995 NEW BEST:: SOT 217111 SOS 97109 HAS SOPS 97109 HAS SOUS 67464 HAS SOUPS 67464 WITH SCORE 67561.109
AT ITER 1007 NEW BEST:: SOT 217180 SOS 97178 HAS SOPS 97178 HAS SOUS 67463 HAS SOUPS 67463 WITH SCORE 67560.178
AT ITER 1016 NEW BEST:: SOT 217178 SOS 97072 HAS SOPS 97072 HAS SOUS 67459 HAS SOUPS 67459 WITH SCORE 67556.072
AT ITER 1020 NEW BEST:: SOT 217080 SOS 96876 HAS SOPS 96876 HAS SOUS 67383 HAS SOUPS 67383 WITH SCORE 67479.876
AT ITER 1043 NEW BEST:: SOT 217083 SOS 96670 HAS SOPS 96670 HAS SOUS 67170 HAS SOUPS 67170 WITH SCORE 67266.67
AT ITER 1048 NEW BEST:: SOT 213796 SOS 93519 HAS SOPS 93519 HAS SOUS 64146 HAS SOUPS 64146 WITH SCORE 64239.519
AT ITER 1052 NEW BEST:: SOT 213796 SOS 93468 HAS SOPS 93468 HAS SOUS 64044 HAS SOUPS 64044 WITH SCORE 64137.468
AT ITER 1062 NEW BEST:: SOT 213796 SOS 93468 HAS SOPS 93468 HAS SOUS 64041 HAS SOUPS 64041 WITH SCORE 64134.468
AT ITER 1064 NEW BEST:: SOT 213796 SOS 93468 HAS SOPS 93468 HAS SOUS 64028 HAS SOUPS 64028 WITH SCORE 64121.468
AT ITER 1068 NEW BEST:: SOT 213604 SOS 92487 HAS SOPS 92487 HAS SOUS 63706 HAS SOUPS 63706 WITH SCORE 63798.487
AT ITER 1071 NEW BEST:: SOT 213604 SOS 92483 HAS SOPS 92483 HAS SOUS 63698 HAS SOUPS 63698 WITH SCORE 63790.483
AT ITER 1081 NEW BEST:: SOT 213577 SOS 92429 HAS SOPS 92429 HAS SOUS 63644 HAS SOUPS 63644 WITH SCORE 63736.429
AT ITER 1093 NEW BEST:: SOT 213473 SOS 92220 HAS SOPS 92220 HAS SOUS 63588 HAS SOUPS 63588 WITH SCORE 63680.22
AT ITER 1096 NEW BEST:: SOT 213522 SOS 92159 HAS SOPS 92159 HAS SOUS 63527 HAS SOUPS 63527 WITH SCORE 63619.159
AT ITER 1124 NEW BEST:: SOT 213522 SOS 92155 HAS SOPS 92155 HAS SOUS 63525 HAS SOUPS 63525 WITH SCORE 63617.155
AT ITER 1141 NEW BEST:: SOT 213515 SOS 92141 HAS SOPS 92141 HAS SOUS 63511 HAS SOUPS 63511 WITH SCORE 63603.141
AT ITER 1144 NEW BEST:: SOT 213470 SOS 92051 HAS SOPS 92051 HAS SOUS 63421 HAS SOUPS 63421 WITH SCORE 63513.051
AT ITER 1154 NEW BEST:: SOT 213418 SOS 91877 HAS SOPS 91877 HAS SOUS 63327 HAS SOUPS 63327 WITH SCORE 63418.877
AT ITER 1156 NEW BEST:: SOT 213321 SOS 91723 HAS SOPS 91723 HAS SOUS 63173 HAS SOUPS 63173 WITH SCORE 63264.723
AT ITER 1176 NEW BEST:: SOT 213339 SOS 91711 HAS SOPS 91711 HAS SOUS 63143 HAS SOUPS 63143 WITH SCORE 63234.711
AT ITER 1182 NEW BEST:: SOT 213286 SOS 91605 HAS SOPS 91605 HAS SOUS 63106 HAS SOUPS 63106 WITH SCORE 63197.605
AT ITER 1221 NEW BEST:: SOT 213246 SOS 91544 HAS SOPS 91544 HAS SOUS 63045 HAS SOUPS 63045 WITH SCORE 63136.544
AT ITER 1222 NEW BEST:: SOT 213114 SOS 91129 HAS SOPS 91129 HAS SOUS 62777 HAS SOUPS 62777 WITH SCORE 62868.129
AT ITER 1228 NEW BEST:: SOT 213058 SOS 91109 HAS SOPS 91109 HAS SOUS 62737 HAS SOUPS 62737 WITH SCORE 62828.109
AT ITER 1235 NEW BEST:: SOT 213242 SOS 91207 HAS SOPS 91207 HAS SOUS 62728 HAS SOUPS 62728 WITH SCORE 62819.207
AT ITER 1248 NEW BEST:: SOT 213218 SOS 90989 HAS SOPS 90989 HAS SOUS 62510 HAS SOUPS 62510 WITH SCORE 62600.989
AT ITER 1252 NEW BEST:: SOT 213168 SOS 90939 HAS SOPS 90939 HAS SOUS 62460 HAS SOUPS 62460 WITH SCORE 62550.939
AT ITER 1255 NEW BEST:: SOT 213181 SOS 90914 HAS SOPS 90914 HAS SOUS 62437 HAS SOUPS 62437 WITH SCORE 62527.914
AT ITER 1264 NEW BEST:: SOT 213021 SOS 90748 HAS SOPS 90748 HAS SOUS 62274 HAS SOUPS 62274 WITH SCORE 62364.748
AT ITER 1268 NEW BEST:: SOT 213129 SOS 90692 HAS SOPS 90692 HAS SOUS 62237 HAS SOUPS 62237 WITH SCORE 62327.692
AT ITER 1270 NEW BEST:: SOT 213129 SOS 90686 HAS SOPS 90686 HAS SOUS 62231 HAS SOUPS 62231 WITH SCORE 62321.686
AT ITER 1271 NEW BEST:: SOT 212978 SOS 90341 HAS SOPS 90341 HAS SOUS 61964 HAS SOUPS 61964 WITH SCORE 62054.341
AT ITER 1274 NEW BEST:: SOT 212958 SOS 90321 HAS SOPS 90321 HAS SOUS 61954 HAS SOUPS 61954 WITH SCORE 62044.321
AT ITER 1287 NEW BEST:: SOT 212925 SOS 90235 HAS SOPS 90235 HAS SOUS 61815 HAS SOUPS 61815 WITH SCORE 61905.235
AT ITER 1298 NEW BEST:: SOT 212599 SOS 89746 HAS SOPS 89746 HAS SOUS 61375 HAS SOUPS 61375 WITH SCORE 61464.746
AT ITER 1307 NEW BEST:: SOT 212579 SOS 89706 HAS SOPS 89706 HAS SOUS 61335 HAS SOUPS 61335 WITH SCORE 61424.706
AT ITER 1318 NEW BEST:: SOT 212560 SOS 89666 HAS SOPS 89666 HAS SOUS 61195 HAS SOUPS 61195 WITH SCORE 61284.666
AT ITER 1320 NEW BEST:: SOT 212529 SOS 89635 HAS SOPS 89635 HAS SOUS 61164 HAS SOUPS 61164 WITH SCORE 61253.635
AT ITER 1357 NEW BEST:: SOT 212570 SOS 89628 HAS SOPS 89628 HAS SOUS 61157 HAS SOUPS 61157 WITH SCORE 61246.628
AT ITER 1367 NEW BEST:: SOT 212464 SOS 90053 HAS SOPS 90053 HAS SOUS 61061 HAS SOUPS 61061 WITH SCORE 61151.053
AT ITER 1378 NEW BEST:: SOT 212464 SOS 90038 HAS SOPS 90038 HAS SOUS 61046 HAS SOUPS 61046 WITH SCORE 61136.038
AT ITER 1394 NEW BEST:: SOT 212480 SOS 90053 HAS SOPS 90053 HAS SOUS 61045 HAS SOUPS 61045 WITH SCORE 61135.053
AT ITER 1403 NEW BEST:: SOT 212175 SOS 89404 HAS SOPS 89404 HAS SOUS 60700 HAS SOUPS 60700 WITH SCORE 60789.404
AT ITER 1406 NEW BEST:: SOT 212115 SOS 89413 HAS SOPS 89413 HAS SOUS 60656 HAS SOUPS 60656 WITH SCORE 60745.413
AT ITER 1413 NEW BEST:: SOT 212153 SOS 89489 HAS SOPS 89489 HAS SOUS 60534 HAS SOUPS 60534 WITH SCORE 60623.489
AT ITER 1420 NEW BEST:: SOT 212107 SOS 89350 HAS SOPS 89350 HAS SOUS 60441 HAS SOUPS 60441 WITH SCORE 60530.35
AT ITER 1428 NEW BEST:: SOT 212107 SOS 89303 HAS SOPS 89303 HAS SOUS 60394 HAS SOUPS 60394 WITH SCORE 60483.303
AT ITER 1429 NEW BEST:: SOT 212134 SOS 89302 HAS SOPS 89302 HAS SOUS 60393 HAS SOUPS 60393 WITH SCORE 60482.302
AT ITER 1450 NEW BEST:: SOT 212130 SOS 89298 HAS SOPS 89298 HAS SOUS 60389 HAS SOUPS 60389 WITH SCORE 60478.298
AT ITER 1458 NEW BEST:: SOT 212128 SOS 89296 HAS SOPS 89296 HAS SOUS 60387 HAS SOUPS 60387 WITH SCORE 60476.296
AT ITER 1462 NEW BEST:: SOT 212175 SOS 89343 HAS SOPS 89343 HAS SOUS 60383 HAS SOUPS 60383 WITH SCORE 60472.343
AT ITER 1472 NEW BEST:: SOT 212161 SOS 89315 HAS SOPS 89315 HAS SOUS 60355 HAS SOUPS 60355 WITH SCORE 60444.315
AT ITER 1489 NEW BEST:: SOT 211985 SOS 89075 HAS SOPS 89075 HAS SOUS 60186 HAS SOUPS 60186 WITH SCORE 60275.075
AT ITER 1499 NEW BEST:: SOT 211984 SOS 89051 HAS SOPS 89051 HAS SOUS 60184 HAS SOUPS 60184 WITH SCORE 60273.051
AT ITER 1505 NEW BEST:: SOT 211979 SOS 88924 HAS SOPS 88924 HAS SOUS 60156 HAS SOUPS 60156 WITH SCORE 60244.924
AT ITER 1508 NEW BEST:: SOT 211979 SOS 88922 HAS SOPS 88922 HAS SOUS 60156 HAS SOUPS 60156 WITH SCORE 60244.922
AT ITER 1518 NEW BEST:: SOT 211978 SOS 88920 HAS SOPS 88920 HAS SOUS 60122 HAS SOUPS 60122 WITH SCORE 60210.92
AT ITER 1525 NEW BEST:: SOT 211948 SOS 88890 HAS SOPS 88890 HAS SOUS 60092 HAS SOUPS 60092 WITH SCORE 60180.89
AT ITER 1529 NEW BEST:: SOT 211977 SOS 88815 HAS SOPS 88815 HAS SOUS 60017 HAS SOUPS 60017 WITH SCORE 60105.815
AT ITER 1538 NEW BEST:: SOT 211956 SOS 88780 HAS SOPS 88780 HAS SOUS 59982 HAS SOUPS 59982 WITH SCORE 60070.78
AT ITER 1544 NEW BEST:: SOT 211746 SOS 88459 HAS SOPS 88459 HAS SOUS 59661 HAS SOUPS 59661 WITH SCORE 59749.459
AT ITER 1548 NEW BEST:: SOT 211715 SOS 88440 HAS SOPS 88440 HAS SOUS 59642 HAS SOUPS 59642 WITH SCORE 59730.44
AT ITER 1549 NEW BEST:: SOT 211561 SOS 88286 HAS SOPS 88286 HAS SOUS 59642 HAS SOUPS 59642 WITH SCORE 59730.286
AT ITER 1572 NEW BEST:: SOT 211862 SOS 88227 HAS SOPS 88227 HAS SOUS 59583 HAS SOUPS 59583 WITH SCORE 59671.227
AT ITER 1574 NEW BEST:: SOT 211861 SOS 88198 HAS SOPS 88198 HAS SOUS 59554 HAS SOUPS 59554 WITH SCORE 59642.198
AT ITER 1605 NEW BEST:: SOT 211859 SOS 88194 HAS SOPS 88194 HAS SOUS 59552 HAS SOUPS 59552 WITH SCORE 59640.194
AT ITER 1622 NEW BEST:: SOT 211843 SOS 88162 HAS SOPS 88162 HAS SOUS 59548 HAS SOUPS 59548 WITH SCORE 59636.162
AT ITER 1657 NEW BEST:: SOT 211825 SOS 88126 HAS SOPS 88126 HAS SOUS 59530 HAS SOUPS 59530 WITH SCORE 59618.126
AT ITER 1671 NEW BEST:: SOT 211852 SOS 88171 HAS SOPS 88171 HAS SOUS 59503 HAS SOUPS 59503 WITH SCORE 59591.171
AT ITER 1677 NEW BEST:: SOT 211640 SOS 87853 HAS SOPS 87853 HAS SOUS 59291 HAS SOUPS 59291 WITH SCORE 59378.853
AT ITER 1678 NEW BEST:: SOT 211640 SOS 87851 HAS SOPS 87851 HAS SOUS 59289 HAS SOUPS 59289 WITH SCORE 59376.851
AT ITER 1682 NEW BEST:: SOT 211628 SOS 87851 HAS SOPS 87851 HAS SOUS 59274 HAS SOUPS 59274 WITH SCORE 59361.851
AT ITER 1685 NEW BEST:: SOT 211640 SOS 87875 HAS SOPS 87875 HAS SOUS 59219 HAS SOUPS 59219 WITH SCORE 59306.875
AT ITER 1690 NEW BEST:: SOT 211652 SOS 87535 HAS SOPS 87535 HAS SOUS 58888 HAS SOUPS 58888 WITH SCORE 58975.535
AT ITER 1713 NEW BEST:: SOT 211548 SOS 87305 HAS SOPS 87305 HAS SOUS 58762 HAS SOUPS 58762 WITH SCORE 58849.305
AT ITER 1716 NEW BEST:: SOT 211530 SOS 87277 HAS SOPS 87277 HAS SOUS 58734 HAS SOUPS 58734 WITH SCORE 58821.277
AT ITER 1724 NEW BEST:: SOT 211530 SOS 87250 HAS SOPS 87250 HAS SOUS 58680 HAS SOUPS 58680 WITH SCORE 58767.25
AT ITER 1729 NEW BEST:: SOT 211503 SOS 87190 HAS SOPS 87190 HAS SOUS 58620 HAS SOUPS 58620 WITH SCORE 58707.19
AT ITER 1732 NEW BEST:: SOT 211498 SOS 87185 HAS SOPS 87185 HAS SOUS 58615 HAS SOUPS 58615 WITH SCORE 58702.185
AT ITER 1739 NEW BEST:: SOT 211369 SOS 87043 HAS SOPS 87043 HAS SOUS 58592 HAS SOUPS 58592 WITH SCORE 58679.043
AT ITER 1744 NEW BEST:: SOT 211484 SOS 87441 HAS SOPS 87441 HAS SOUS 58580 HAS SOUPS 58580 WITH SCORE 58667.441
AT ITER 1751 NEW BEST:: SOT 211455 SOS 85141 HAS SOPS 85141 HAS SOUS 58513 HAS SOUPS 58513 WITH SCORE 58598.141
AT ITER 1765 NEW BEST:: SOT 211416 SOS 85097 HAS SOPS 85097 HAS SOUS 58503 HAS SOUPS 58503 WITH SCORE 58588.097
AT ITER 1779 NEW BEST:: SOT 211415 SOS 85090 HAS SOPS 85090 HAS SOUS 58496 HAS SOUPS 58496 WITH SCORE 58581.09
AT ITER 1797 NEW BEST:: SOT 211492 SOS 85053 HAS SOPS 85053 HAS SOUS 58459 HAS SOUPS 58459 WITH SCORE 58544.053
AT ITER 1815 NEW BEST:: SOT 211472 SOS 85038 HAS SOPS 85038 HAS SOUS 58444 HAS SOUPS 58444 WITH SCORE 58529.038
AT ITER 1821 NEW BEST:: SOT 211394 SOS 84950 HAS SOPS 84950 HAS SOUS 58395 HAS SOUPS 58395 WITH SCORE 58479.95
AT ITER 1829 NEW BEST:: SOT 211394 SOS 84950 HAS SOPS 84950 HAS SOUS 58366 HAS SOUPS 58366 WITH SCORE 58450.95
AT ITER 1849 NEW BEST:: SOT 211317 SOS 84873 HAS SOPS 84873 HAS SOUS 58289 HAS SOUPS 58289 WITH SCORE 58373.873
AT ITER 1853 NEW BEST:: SOT 211313 SOS 84734 HAS SOPS 84734 HAS SOUS 58289 HAS SOUPS 58289 WITH SCORE 58373.734
AT ITER 1859 NEW BEST:: SOT 211257 SOS 84659 HAS SOPS 84659 HAS SOUS 58214 HAS SOUPS 58214 WITH SCORE 58298.659
AT ITER 1862 NEW BEST:: SOT 211257 SOS 84646 HAS SOPS 84646 HAS SOUS 58201 HAS SOUPS 58201 WITH SCORE 58285.646
AT ITER 1867 NEW BEST:: SOT 211255 SOS 84650 HAS SOPS 84650 HAS SOUS 58197 HAS SOUPS 58197 WITH SCORE 58281.65
AT ITER 1869 NEW BEST:: SOT 211281 SOS 84374 HAS SOPS 84374 HAS SOUS 57910 HAS SOUPS 57910 WITH SCORE 57994.374
AT ITER 1873 NEW BEST:: SOT 211287 SOS 84386 HAS SOPS 84386 HAS SOUS 57898 HAS SOUPS 57898 WITH SCORE 57982.386
AT ITER 1875 NEW BEST:: SOT 211239 SOS 84322 HAS SOPS 84322 HAS SOUS 57834 HAS SOUPS 57834 WITH SCORE 57918.322
AT ITER 1910 NEW BEST:: SOT 211220 SOS 84284 HAS SOPS 84284 HAS SOUS 57817 HAS SOUPS 57817 WITH SCORE 57901.284
AT ITER 1930 NEW BEST:: SOT 211217 SOS 84281 HAS SOPS 84281 HAS SOUS 57814 HAS SOUPS 57814 WITH SCORE 57898.281
AT ITER 1944 NEW BEST:: SOT 211211 SOS 84280 HAS SOPS 84280 HAS SOUS 57813 HAS SOUPS 57813 WITH SCORE 57897.28
AT ITER 1966 NEW BEST:: SOT 211211 SOS 84277 HAS SOPS 84277 HAS SOUS 57810 HAS SOUPS 57810 WITH SCORE 57894.277
AT ITER 2010 NEW BEST:: SOT 210944 SOS 84010 HAS SOPS 84010 HAS SOUS 57666 HAS SOUPS 57666 WITH SCORE 57750.01
AT ITER 2028 NEW BEST:: SOT 210908 SOS 83961 HAS SOPS 83961 HAS SOUS 57640 HAS SOUPS 57640 WITH SCORE 57723.961
AT ITER 2029 NEW BEST:: SOT 210929 SOS 83931 HAS SOPS 83931 HAS SOUS 57610 HAS SOUPS 57610 WITH SCORE 57693.931
AT ITER 2041 NEW BEST:: SOT 210929 SOS 83891 HAS SOPS 83891 HAS SOUS 57591 HAS SOUPS 57591 WITH SCORE 57674.891
AT ITER 2060 NEW BEST:: SOT 210907 SOS 83883 HAS SOPS 83883 HAS SOUS 57569 HAS SOUPS 57569 WITH SCORE 57652.883
AT ITER 2066 NEW BEST:: SOT 210874 SOS 83880 HAS SOPS 83880 HAS SOUS 57568 HAS SOUPS 57568 WITH SCORE 57651.88
AT ITER 2079 NEW BEST:: SOT 210694 SOS 83520 HAS SOPS 83520 HAS SOUS 57208 HAS SOUPS 57208 WITH SCORE 57291.52
AT ITER 2086 NEW BEST:: SOT 210599 SOS 83331 HAS SOPS 83331 HAS SOUS 56755 HAS SOUPS 56755 WITH SCORE 56838.331
AT ITER 2100 NEW BEST:: SOT 210599 SOS 83222 HAS SOPS 83222 HAS SOUS 56560 HAS SOUPS 56560 WITH SCORE 56643.222
AT ITER 2112 NEW BEST:: SOT 210526 SOS 83148 HAS SOPS 83148 HAS SOUS 56558 HAS SOUPS 56558 WITH SCORE 56641.148
AT ITER 2127 NEW BEST:: SOT 210526 SOS 83066 HAS SOPS 83066 HAS SOUS 56476 HAS SOUPS 56476 WITH SCORE 56559.066
AT ITER 2129 NEW BEST:: SOT 210396 SOS 82912 HAS SOPS 82912 HAS SOUS 56322 HAS SOUPS 56322 WITH SCORE 56404.912
AT ITER 2130 NEW BEST:: SOT 210372 SOS 82762 HAS SOPS 82762 HAS SOUS 56257 HAS SOUPS 56257 WITH SCORE 56339.762
AT ITER 2132 NEW BEST:: SOT 209275 SOS 81833 HAS SOPS 81833 HAS SOUS 55311 HAS SOUPS 55311 WITH SCORE 55392.833
AT ITER 2140 NEW BEST:: SOT 209275 SOS 81771 HAS SOPS 81771 HAS SOUS 55311 HAS SOUPS 55311 WITH SCORE 55392.771
AT ITER 2153 NEW BEST:: SOT 209255 SOS 81751 HAS SOPS 81751 HAS SOUS 55291 HAS SOUPS 55291 WITH SCORE 55372.751
AT ITER 2171 NEW BEST:: SOT 209225 SOS 81691 HAS SOPS 81691 HAS SOUS 55231 HAS SOUPS 55231 WITH SCORE 55312.691
AT ITER 2173 NEW BEST:: SOT 209224 SOS 81626 HAS SOPS 81626 HAS SOUS 55166 HAS SOUPS 55166 WITH SCORE 55247.626
AT ITER 2186 NEW BEST:: SOT 209181 SOS 81583 HAS SOPS 81583 HAS SOUS 55105 HAS SOUPS 55105 WITH SCORE 55186.583
AT ITER 2230 NEW BEST:: SOT 209172 SOS 81583 HAS SOPS 81583 HAS SOUS 55097 HAS SOUPS 55097 WITH SCORE 55178.583
AT ITER 2238 NEW BEST:: SOT 209151 SOS 81562 HAS SOPS 81562 HAS SOUS 55076 HAS SOUPS 55076 WITH SCORE 55157.562
AT ITER 2245 NEW BEST:: SOT 209151 SOS 81543 HAS SOPS 81543 HAS SOUS 55057 HAS SOUPS 55057 WITH SCORE 55138.543
AT ITER 2268 NEW BEST:: SOT 209134 SOS 81509 HAS SOPS 81509 HAS SOUS 55023 HAS SOUPS 55023 WITH SCORE 55104.509
AT ITER 2271 NEW BEST:: SOT 209134 SOS 81499 HAS SOPS 81499 HAS SOUS 55013 HAS SOUPS 55013 WITH SCORE 55094.499
AT ITER 2274 NEW BEST:: SOT 208989 SOS 81209 HAS SOPS 81209 HAS SOUS 54759 HAS SOUPS 54759 WITH SCORE 54840.209
AT ITER 2275 NEW BEST:: SOT 208961 SOS 81180 HAS SOPS 81180 HAS SOUS 54730 HAS SOUPS 54730 WITH SCORE 54811.18
AT ITER 2280 NEW BEST:: SOT 208939 SOS 81147 HAS SOPS 81147 HAS SOUS 54708 HAS SOUPS 54708 WITH SCORE 54789.147
AT ITER 2291 NEW BEST:: SOT 208833 SOS 80970 HAS SOPS 80970 HAS SOUS 54588 HAS SOUPS 54588 WITH SCORE 54668.97
AT ITER 2297 NEW BEST:: SOT 208726 SOS 80876 HAS SOPS 80876 HAS SOUS 54492 HAS SOUPS 54492 WITH SCORE 54572.876
AT ITER 2301 NEW BEST:: SOT 208652 SOS 80802 HAS SOPS 80802 HAS SOUS 54418 HAS SOUPS 54418 WITH SCORE 54498.802
AT ITER 2309 NEW BEST:: SOT 208750 SOS 80900 HAS SOPS 80900 HAS SOUS 54406 HAS SOUPS 54406 WITH SCORE 54486.9
AT ITER 2323 NEW BEST:: SOT 208782 SOS 80840 HAS SOPS 80840 HAS SOUS 54272 HAS SOUPS 54272 WITH SCORE 54352.84
AT ITER 2326 NEW BEST:: SOT 208761 SOS 80819 HAS SOPS 80819 HAS SOUS 54266 HAS SOUPS 54266 WITH SCORE 54346.819
AT ITER 2341 NEW BEST:: SOT 208787 SOS 80769 HAS SOPS 80769 HAS SOUS 54253 HAS SOUPS 54253 WITH SCORE 54333.769
AT ITER 2348 NEW BEST:: SOT 208782 SOS 80759 HAS SOPS 80759 HAS SOUS 54243 HAS SOUPS 54243 WITH SCORE 54323.759
AT ITER 2349 NEW BEST:: SOT 208734 SOS 80667 HAS SOPS 80667 HAS SOUS 54241 HAS SOUPS 54241 WITH SCORE 54321.667
AT ITER 2356 NEW BEST:: SOT 208726 SOS 80659 HAS SOPS 80659 HAS SOUS 54225 HAS SOUPS 54225 WITH SCORE 54305.659
AT ITER 2362 NEW BEST:: SOT 208742 SOS 80620 HAS SOPS 80620 HAS SOUS 54220 HAS SOUPS 54220 WITH SCORE 54300.62
AT ITER 2364 NEW BEST:: SOT 208720 SOS 80556 HAS SOPS 80556 HAS SOUS 54196 HAS SOUPS 54196 WITH SCORE 54276.556
AT ITER 2366 NEW BEST:: SOT 208639 SOS 80394 HAS SOPS 80394 HAS SOUS 54141 HAS SOUPS 54141 WITH SCORE 54221.394
AT ITER 2381 NEW BEST:: SOT 208548 SOS 80197 HAS SOPS 80197 HAS SOUS 54017 HAS SOUPS 54017 WITH SCORE 54097.197
AT ITER 2402 NEW BEST:: SOT 208548 SOS 80077 HAS SOPS 80077 HAS SOUS 54017 HAS SOUPS 54017 WITH SCORE 54097.077
AT ITER 2422 NEW BEST:: SOT 208598 SOS 80127 HAS SOPS 80127 HAS SOUS 54007 HAS SOUPS 54007 WITH SCORE 54087.127
AT ITER 2428 NEW BEST:: SOT 208507 SOS 79997 HAS SOPS 79997 HAS SOUS 53902 HAS SOUPS 53902 WITH SCORE 53981.997
AT ITER 2438 NEW BEST:: SOT 208449 SOS 79939 HAS SOPS 79939 HAS SOUS 53902 HAS SOUPS 53902 WITH SCORE 53981.939
AT ITER 2448 NEW BEST:: SOT 208399 SOS 79851 HAS SOPS 79851 HAS SOUS 53764 HAS SOUPS 53764 WITH SCORE 53843.851
AT ITER 2449 NEW BEST:: SOT 208399 SOS 79825 HAS SOPS 79825 HAS SOUS 53738 HAS SOUPS 53738 WITH SCORE 53817.825
AT ITER 2450 NEW BEST:: SOT 208393 SOS 79797 HAS SOPS 79797 HAS SOUS 53710 HAS SOUPS 53710 WITH SCORE 53789.797
AT ITER 2451 NEW BEST:: SOT 208379 SOS 79769 HAS SOPS 79769 HAS SOUS 53682 HAS SOUPS 53682 WITH SCORE 53761.769
AT ITER 2470 NEW BEST:: SOT 208379 SOS 79690 HAS SOPS 79690 HAS SOUS 53603 HAS SOUPS 53603 WITH SCORE 53682.69
AT ITER 2471 NEW BEST:: SOT 208357 SOS 79657 HAS SOPS 79657 HAS SOUS 53570 HAS SOUPS 53570 WITH SCORE 53649.657
AT ITER 2478 NEW BEST:: SOT 208356 SOS 79655 HAS SOPS 79655 HAS SOUS 53568 HAS SOUPS 53568 WITH SCORE 53647.655
AT ITER 2489 NEW BEST:: SOT 208323 SOS 79622 HAS SOPS 79622 HAS SOUS 53535 HAS SOUPS 53535 WITH SCORE 53614.622
AT ITER 2503 NEW BEST:: SOT 208248 SOS 79472 HAS SOPS 79472 HAS SOUS 53497 HAS SOUPS 53497 WITH SCORE 53576.472
AT ITER 2518 NEW BEST:: SOT 208102 SOS 79326 HAS SOPS 79326 HAS SOUS 53481 HAS SOUPS 53481 WITH SCORE 53560.326
AT ITER 2527 NEW BEST:: SOT 208163 SOS 79339 HAS SOPS 79339 HAS SOUS 53469 HAS SOUPS 53469 WITH SCORE 53548.339
AT ITER 2551 NEW BEST:: SOT 208143 SOS 79319 HAS SOPS 79319 HAS SOUS 53449 HAS SOUPS 53449 WITH SCORE 53528.319
AT ITER 2578 NEW BEST:: SOT 208095 SOS 79223 HAS SOPS 79223 HAS SOUS 53401 HAS SOUPS 53401 WITH SCORE 53480.223
AT ITER 2580 NEW BEST:: SOT 208068 SOS 79169 HAS SOPS 79169 HAS SOUS 53347 HAS SOUPS 53347 WITH SCORE 53426.169
AT ITER 2581 NEW BEST:: SOT 208089 SOS 79133 HAS SOPS 79133 HAS SOUS 53329 HAS SOUPS 53329 WITH SCORE 53408.133
AT ITER 2632 NEW BEST:: SOT 208071 SOS 79097 HAS SOPS 79097 HAS SOUS 53275 HAS SOUPS 53275 WITH SCORE 53354.097
AT ITER 2657 NEW BEST:: SOT 208045 SOS 79045 HAS SOPS 79045 HAS SOUS 53223 HAS SOUPS 53223 WITH SCORE 53302.045
AT ITER 2705 NEW BEST:: SOT 208045 SOS 79037 HAS SOPS 79037 HAS SOUS 53215 HAS SOUPS 53215 WITH SCORE 53294.037
AT ITER 2708 NEW BEST:: SOT 207972 SOS 78961 HAS SOPS 78961 HAS SOUS 53139 HAS SOUPS 53139 WITH SCORE 53217.961
AT ITER 2715 NEW BEST:: SOT 207964 SOS 78945 HAS SOPS 78945 HAS SOUS 53123 HAS SOUPS 53123 WITH SCORE 53201.945
AT ITER 2718 NEW BEST:: SOT 207959 SOS 78935 HAS SOPS 78935 HAS SOUS 53108 HAS SOUPS 53108 WITH SCORE 53186.935
AT ITER 2749 NEW BEST:: SOT 207959 SOS 78829 HAS SOPS 78829 HAS SOUS 53077 HAS SOUPS 53077 WITH SCORE 53155.829
AT ITER 2768 NEW BEST:: SOT 207923 SOS 78775 HAS SOPS 78775 HAS SOUS 53023 HAS SOUPS 53023 WITH SCORE 53101.775
AT ITER 2770 NEW BEST:: SOT 207909 SOS 78747 HAS SOPS 78747 HAS SOUS 52995 HAS SOUPS 52995 WITH SCORE 53073.747
AT ITER 2796 NEW BEST:: SOT 207909 SOS 78720 HAS SOPS 78720 HAS SOUS 52968 HAS SOUPS 52968 WITH SCORE 53046.72
AT ITER 2823 NEW BEST:: SOT 207909 SOS 78711 HAS SOPS 78711 HAS SOUS 52959 HAS SOUPS 52959 WITH SCORE 53037.711
AT ITER 2845 NEW BEST:: SOT 207931 SOS 78639 HAS SOPS 78639 HAS SOUS 52887 HAS SOUPS 52887 WITH SCORE 52965.639
AT ITER 2848 NEW BEST:: SOT 207922 SOS 78612 HAS SOPS 78612 HAS SOUS 52860 HAS SOUPS 52860 WITH SCORE 52938.612
AT ITER 2850 NEW BEST:: SOT 207839 SOS 78446 HAS SOPS 78446 HAS SOUS 52746 HAS SOUPS 52746 WITH SCORE 52824.446
AT ITER 2860 NEW BEST:: SOT 207839 SOS 78435 HAS SOPS 78435 HAS SOUS 52746 HAS SOUPS 52746 WITH SCORE 52824.435
AT ITER 2861 NEW BEST:: SOT 207845 SOS 78422 HAS SOPS 78422 HAS SOUS 52733 HAS SOUPS 52733 WITH SCORE 52811.422
AT ITER 2866 NEW BEST:: SOT 207835 SOS 78411 HAS SOPS 78411 HAS SOUS 52713 HAS SOUPS 52713 WITH SCORE 52791.411
AT ITER 2868 NEW BEST:: SOT 207814 SOS 78390 HAS SOPS 78390 HAS SOUS 52692 HAS SOUPS 52692 WITH SCORE 52770.39
AT ITER 2873 NEW BEST:: SOT 207794 SOS 78369 HAS SOPS 78369 HAS SOUS 52671 HAS SOUPS 52671 WITH SCORE 52749.369
AT ITER 2887 NEW BEST:: SOT 207812 SOS 78367 HAS SOPS 78367 HAS SOUS 52650 HAS SOUPS 52650 WITH SCORE 52728.367
AT ITER 2891 NEW BEST:: SOT 207843 SOS 78249 HAS SOPS 78249 HAS SOUS 52606 HAS SOUPS 52606 WITH SCORE 52684.249
AT ITER 2899 NEW BEST:: SOT 207826 SOS 78232 HAS SOPS 78232 HAS SOUS 52606 HAS SOUPS 52606 WITH SCORE 52684.232
AT ITER 2904 NEW BEST:: SOT 207613 SOS 78019 HAS SOPS 78019 HAS SOUS 52427 HAS SOUPS 52427 WITH SCORE 52505.019
AT ITER 2907 NEW BEST:: SOT 207517 SOS 77923 HAS SOPS 77923 HAS SOUS 52331 HAS SOUPS 52331 WITH SCORE 52408.923
AT ITER 2924 NEW BEST:: SOT 207516 SOS 77819 HAS SOPS 77819 HAS SOUS 52227 HAS SOUPS 52227 WITH SCORE 52304.819
AT ITER 2928 NEW BEST:: SOT 207501 SOS 77768 HAS SOPS 77768 HAS SOUS 52176 HAS SOUPS 52176 WITH SCORE 52253.768
AT ITER 2943 NEW BEST:: SOT 207517 SOS 77770 HAS SOPS 77770 HAS SOUS 52148 HAS SOUPS 52148 WITH SCORE 52225.77
AT ITER 2946 NEW BEST:: SOT 207517 SOS 77770 HAS SOPS 77770 HAS SOUS 52132 HAS SOUPS 52132 WITH SCORE 52209.77
AT ITER 2967 NEW BEST:: SOT 207511 SOS 77764 HAS SOPS 77764 HAS SOUS 52109 HAS SOUPS 52109 WITH SCORE 52186.764
AT ITER 2968 NEW BEST:: SOT 207511 SOS 77729 HAS SOPS 77729 HAS SOUS 52109 HAS SOUPS 52109 WITH SCORE 52186.729
AT ITER 2985 NEW BEST:: SOT 207474 SOS 77655 HAS SOPS 77655 HAS SOUS 52071 HAS SOUPS 52071 WITH SCORE 52148.655
AT ITER 2997 NEW BEST:: SOT 207421 SOS 77602 HAS SOPS 77602 HAS SOUS 52018 HAS SOUPS 52018 WITH SCORE 52095.602
AT ITER 3016 NEW BEST:: SOT 207400 SOS 77612 HAS SOPS 77612 HAS SOUS 51976 HAS SOUPS 51976 WITH SCORE 52053.612
AT ITER 3023 NEW BEST:: SOT 207486 SOS 77698 HAS SOPS 77698 HAS SOUS 51960 HAS SOUPS 51960 WITH SCORE 52037.698
AT ITER 3037 NEW BEST:: SOT 207470 SOS 77449 HAS SOPS 77449 HAS SOUS 51711 HAS SOUPS 51711 WITH SCORE 51788.449
AT ITER 3049 NEW BEST:: SOT 207351 SOS 77330 HAS SOPS 77330 HAS SOUS 51592 HAS SOUPS 51592 WITH SCORE 51669.33
AT ITER 3069 NEW BEST:: SOT 207313 SOS 77292 HAS SOPS 77292 HAS SOUS 51554 HAS SOUPS 51554 WITH SCORE 51631.292
AT ITER 3082 NEW BEST:: SOT 207269 SOS 77245 HAS SOPS 77245 HAS SOUS 51507 HAS SOUPS 51507 WITH SCORE 51584.245
AT ITER 3087 NEW BEST:: SOT 207214 SOS 77145 HAS SOPS 77145 HAS SOUS 51461 HAS SOUPS 51461 WITH SCORE 51538.145
AT ITER 3115 NEW BEST:: SOT 207014 SOS 76554 HAS SOPS 76554 HAS SOUS 51443 HAS SOUPS 51443 WITH SCORE 51519.554
AT ITER 3125 NEW BEST:: SOT 206970 SOS 76487 HAS SOPS 76487 HAS SOUS 51412 HAS SOUPS 51412 WITH SCORE 51488.487
AT ITER 3152 NEW BEST:: SOT 206833 SOS 76350 HAS SOPS 76350 HAS SOUS 51320 HAS SOUPS 51320 WITH SCORE 51396.35
AT ITER 3172 NEW BEST:: SOT 206855 SOS 76362 HAS SOPS 76362 HAS SOUS 51300 HAS SOUPS 51300 WITH SCORE 51376.362
AT ITER 3203 NEW BEST:: SOT 206847 SOS 76354 HAS SOPS 76354 HAS SOUS 51292 HAS SOUPS 51292 WITH SCORE 51368.354
AT ITER 3221 NEW BEST:: SOT 206928 SOS 76378 HAS SOPS 76378 HAS SOUS 51221 HAS SOUPS 51221 WITH SCORE 51297.378
AT ITER 3222 NEW BEST:: SOT 206910 SOS 76360 HAS SOPS 76360 HAS SOUS 51221 HAS SOUPS 51221 WITH SCORE 51297.36
AT ITER 3229 NEW BEST:: SOT 206910 SOS 76360 HAS SOPS 76360 HAS SOUS 51220 HAS SOUPS 51220 WITH SCORE 51296.36
AT ITER 3234 NEW BEST:: SOT 206884 SOS 76334 HAS SOPS 76334 HAS SOUS 51177 HAS SOUPS 51177 WITH SCORE 51253.334
AT ITER 3259 NEW BEST:: SOT 207033 SOS 76721 HAS SOPS 76721 HAS SOUS 51162 HAS SOUPS 51162 WITH SCORE 51238.721
AT ITER 3299 NEW BEST:: SOT 207033 SOS 76675 HAS SOPS 76675 HAS SOUS 51116 HAS SOUPS 51116 WITH SCORE 51192.675
AT ITER 3300 NEW BEST:: SOT 206857 SOS 76323 HAS SOPS 76323 HAS SOUS 50852 HAS SOUPS 50852 WITH SCORE 50928.323
AT ITER 3319 NEW BEST:: SOT 206857 SOS 76143 HAS SOPS 76143 HAS SOUS 50852 HAS SOUPS 50852 WITH SCORE 50928.143
AT ITER 3324 NEW BEST:: SOT 206857 SOS 76124 HAS SOPS 76124 HAS SOUS 50833 HAS SOUPS 50833 WITH SCORE 50909.124
AT ITER 3341 NEW BEST:: SOT 206836 SOS 76886 HAS SOPS 76886 HAS SOUS 50812 HAS SOUPS 50812 WITH SCORE 50888.886
AT ITER 3348 NEW BEST:: SOT 206786 SOS 76786 HAS SOPS 76786 HAS SOUS 50712 HAS SOUPS 50712 WITH SCORE 50788.786
AT ITER 3364 NEW BEST:: SOT 206778 SOS 76774 HAS SOPS 76774 HAS SOUS 50700 HAS SOUPS 50700 WITH SCORE 50776.774
AT ITER 3368 NEW BEST:: SOT 206723 SOS 76694 HAS SOPS 76694 HAS SOUS 50620 HAS SOUPS 50620 WITH SCORE 50696.694
AT ITER 3378 NEW BEST:: SOT 206695 SOS 76666 HAS SOPS 76666 HAS SOUS 50592 HAS SOUPS 50592 WITH SCORE 50668.666
AT ITER 3415 NEW BEST:: SOT 206676 SOS 76628 HAS SOPS 76628 HAS SOUS 50554 HAS SOUPS 50554 WITH SCORE 50630.628
AT ITER 3432 NEW BEST:: SOT 206668 SOS 76612 HAS SOPS 76612 HAS SOUS 50538 HAS SOUPS 50538 WITH SCORE 50614.612
AT ITER 3433 NEW BEST:: SOT 206642 SOS 76560 HAS SOPS 76560 HAS SOUS 50512 HAS SOUPS 50512 WITH SCORE 50588.56
AT ITER 3437 NEW BEST:: SOT 206540 SOS 76458 HAS SOPS 76458 HAS SOUS 50512 HAS SOUPS 50512 WITH SCORE 50588.458
AT ITER 3445 NEW BEST:: SOT 206513 SOS 76407 HAS SOPS 76407 HAS SOUS 50402 HAS SOUPS 50402 WITH SCORE 50478.407
AT ITER 3457 NEW BEST:: SOT 206497 SOS 76576 HAS SOPS 76576 HAS SOUS 50385 HAS SOUPS 50385 WITH SCORE 50461.576
AT ITER 3474 NEW BEST:: SOT 206152 SOS 76129 HAS SOPS 76129 HAS SOUS 50107 HAS SOUPS 50107 WITH SCORE 50183.129
AT ITER 3479 NEW BEST:: SOT 206149 SOS 76021 HAS SOPS 76021 HAS SOUS 49999 HAS SOUPS 49999 WITH SCORE 50075.021
AT ITER 3510 NEW BEST:: SOT 206137 SOS 75997 HAS SOPS 75997 HAS SOUS 49975 HAS SOUPS 49975 WITH SCORE 50050.997
AT ITER 3532 NEW BEST:: SOT 206134 SOS 76029 HAS SOPS 76029 HAS SOUS 49974 HAS SOUPS 49974 WITH SCORE 50050.029
AT ITER 3546 NEW BEST:: SOT 206065 SOS 76013 HAS SOPS 76013 HAS SOUS 49958 HAS SOUPS 49958 WITH SCORE 50034.013
AT ITER 3557 NEW BEST:: SOT 206068 SOS 76019 HAS SOPS 76019 HAS SOUS 49952 HAS SOUPS 49952 WITH SCORE 50028.019
AT ITER 3607 NEW BEST:: SOT 206068 SOS 76035 HAS SOPS 76035 HAS SOUS 49934 HAS SOUPS 49934 WITH SCORE 50010.035
AT ITER 3629 NEW BEST:: SOT 206053 SOS 75964 HAS SOPS 75964 HAS SOUS 49793 HAS SOUPS 49793 WITH SCORE 49868.964
AT ITER 3639 NEW BEST:: SOT 206053 SOS 75935 HAS SOPS 75935 HAS SOUS 49764 HAS SOUPS 49764 WITH SCORE 49839.935
AT ITER 3650 NEW BEST:: SOT 206029 SOS 75911 HAS SOPS 75911 HAS SOUS 49738 HAS SOUPS 49738 WITH SCORE 49813.911
AT ITER 3654 NEW BEST:: SOT 206045 SOS 75816 HAS SOPS 75816 HAS SOUS 49616 HAS SOUPS 49616 WITH SCORE 49691.816
AT ITER 3660 NEW BEST:: SOT 206051 SOS 75822 HAS SOPS 75822 HAS SOUS 49512 HAS SOUPS 49512 WITH SCORE 49587.822
AT ITER 3662 NEW BEST:: SOT 206025 SOS 75818 HAS SOPS 75818 HAS SOUS 49508 HAS SOUPS 49508 WITH SCORE 49583.818
AT ITER 3709 NEW BEST:: SOT 206025 SOS 75818 HAS SOPS 75818 HAS SOUS 49505 HAS SOUPS 49505 WITH SCORE 49580.818
AT ITER 3720 NEW BEST:: SOT 206017 SOS 75813 HAS SOPS 75813 HAS SOUS 49500 HAS SOUPS 49500 WITH SCORE 49575.813
AT ITER 3738 NEW BEST:: SOT 205883 SOS 75612 HAS SOPS 75612 HAS SOUS 49366 HAS SOUPS 49366 WITH SCORE 49441.612
AT ITER 3748 NEW BEST:: SOT 205883 SOS 75612 HAS SOPS 75612 HAS SOUS 49270 HAS SOUPS 49270 WITH SCORE 49345.612
AT ITER 3774 NEW BEST:: SOT 205941 SOS 75543 HAS SOPS 75543 HAS SOUS 49201 HAS SOUPS 49201 WITH SCORE 49276.543
AT ITER 3783 NEW BEST:: SOT 205941 SOS 75543 HAS SOPS 75543 HAS SOUS 49167 HAS SOUPS 49167 WITH SCORE 49242.543
AT ITER 3789 NEW BEST:: SOT 205900 SOS 75502 HAS SOPS 75502 HAS SOUS 49126 HAS SOUPS 49126 WITH SCORE 49201.502
AT ITER 3833 NEW BEST:: SOT 205901 SOS 75440 HAS SOPS 75440 HAS SOUS 49064 HAS SOUPS 49064 WITH SCORE 49139.44
AT ITER 3858 NEW BEST:: SOT 205901 SOS 75410 HAS SOPS 75410 HAS SOUS 49034 HAS SOUPS 49034 WITH SCORE 49109.41
AT ITER 3859 NEW BEST:: SOT 205900 SOS 75409 HAS SOPS 75409 HAS SOUS 49033 HAS SOUPS 49033 WITH SCORE 49108.409
AT ITER 3870 NEW BEST:: SOT 205844 SOS 75362 HAS SOPS 75362 HAS SOUS 48986 HAS SOUPS 48986 WITH SCORE 49061.362
AT ITER 3878 NEW BEST:: SOT 205820 SOS 75338 HAS SOPS 75338 HAS SOUS 48962 HAS SOUPS 48962 WITH SCORE 49037.338
AT ITER 3921 NEW BEST:: SOT 205771 SOS 75289 HAS SOPS 75289 HAS SOUS 48962 HAS SOUPS 48962 WITH SCORE 49037.289
AT ITER 3923 NEW BEST:: SOT 205771 SOS 75273 HAS SOPS 75273 HAS SOUS 48956 HAS SOUPS 48956 WITH SCORE 49031.273
AT ITER 3942 NEW BEST:: SOT 205761 SOS 75263 HAS SOPS 75263 HAS SOUS 48956 HAS SOUPS 48956 WITH SCORE 49031.263
AT ITER 3948 NEW BEST:: SOT 205685 SOS 75111 HAS SOPS 75111 HAS SOUS 48951 HAS SOUPS 48951 WITH SCORE 49026.111
AT ITER 3957 NEW BEST:: SOT 205689 SOS 75023 HAS SOPS 75023 HAS SOUS 48951 HAS SOUPS 48951 WITH SCORE 49026.023
AT ITER 3985 NEW BEST:: SOT 205637 SOS 74972 HAS SOPS 74972 HAS SOUS 48900 HAS SOUPS 48900 WITH SCORE 48974.972
AT ITER 4048 NEW BEST:: SOT 205624 SOS 74959 HAS SOPS 74959 HAS SOUS 48887 HAS SOUPS 48887 WITH SCORE 48961.959
AT ITER 4064 NEW BEST:: SOT 205545 SOS 74801 HAS SOPS 74801 HAS SOUS 48787 HAS SOUPS 48787 WITH SCORE 48861.801
AT ITER 4070 NEW BEST:: SOT 205514 SOS 74739 HAS SOPS 74739 HAS SOUS 48725 HAS SOUPS 48725 WITH SCORE 48799.739
AT ITER 4086 NEW BEST:: SOT 205479 SOS 74661 HAS SOPS 74661 HAS SOUS 48600 HAS SOUPS 48600 WITH SCORE 48674.661
AT ITER 4087 NEW BEST:: SOT 205466 SOS 74642 HAS SOPS 74642 HAS SOUS 48581 HAS SOUPS 48581 WITH SCORE 48655.642
AT ITER 4095 NEW BEST:: SOT 205465 SOS 74640 HAS SOPS 74640 HAS SOUS 48579 HAS SOUPS 48579 WITH SCORE 48653.64
AT ITER 4103 NEW BEST:: SOT 205487 SOS 74616 HAS SOPS 74616 HAS SOUS 48509 HAS SOUPS 48509 WITH SCORE 48583.616
AT ITER 4120 NEW BEST:: SOT 205395 SOS 74517 HAS SOPS 74517 HAS SOUS 48502 HAS SOUPS 48502 WITH SCORE 48576.517
AT ITER 4143 NEW BEST:: SOT 205367 SOS 74475 HAS SOPS 74475 HAS SOUS 48460 HAS SOUPS 48460 WITH SCORE 48534.475
AT ITER 4167 NEW BEST:: SOT 205367 SOS 74475 HAS SOPS 74475 HAS SOUS 48449 HAS SOUPS 48449 WITH SCORE 48523.475
AT ITER 4171 NEW BEST:: SOT 205367 SOS 74467 HAS SOPS 74467 HAS SOUS 48441 HAS SOUPS 48441 WITH SCORE 48515.467
AT ITER 4210 NEW BEST:: SOT 205366 SOS 74465 HAS SOPS 74465 HAS SOUS 48439 HAS SOUPS 48439 WITH SCORE 48513.465
AT ITER 4217 NEW BEST:: SOT 204736 SOS 74045 HAS SOPS 74045 HAS SOUS 48019 HAS SOUPS 48019 WITH SCORE 48093.045
AT ITER 4252 NEW BEST:: SOT 204731 SOS 74035 HAS SOPS 74035 HAS SOUS 47999 HAS SOUPS 47999 WITH SCORE 48073.035
AT ITER 4254 NEW BEST:: SOT 204731 SOS 73927 HAS SOPS 73927 HAS SOUS 47891 HAS SOUPS 47891 WITH SCORE 47964.927
AT ITER 4279 NEW BEST:: SOT 204753 SOS 73929 HAS SOPS 73929 HAS SOUS 47841 HAS SOUPS 47841 WITH SCORE 47914.929
AT ITER 4283 NEW BEST:: SOT 204749 SOS 73921 HAS SOPS 73921 HAS SOUS 47833 HAS SOUPS 47833 WITH SCORE 47906.921
AT ITER 4294 NEW BEST:: SOT 204742 SOS 73907 HAS SOPS 73907 HAS SOUS 47771 HAS SOUPS 47771 WITH SCORE 47844.907
AT ITER 4297 NEW BEST:: SOT 204511 SOS 73614 HAS SOPS 73614 HAS SOUS 47688 HAS SOUPS 47688 WITH SCORE 47761.614
AT ITER 4302 NEW BEST:: SOT 204464 SOS 73557 HAS SOPS 73557 HAS SOUS 47631 HAS SOUPS 47631 WITH SCORE 47704.557
AT ITER 4337 NEW BEST:: SOT 204464 SOS 73528 HAS SOPS 73528 HAS SOUS 47602 HAS SOUPS 47602 WITH SCORE 47675.528
AT ITER 4359 NEW BEST:: SOT 204383 SOS 73447 HAS SOPS 73447 HAS SOUS 47521 HAS SOUPS 47521 WITH SCORE 47594.447
AT ITER 4365 NEW BEST:: SOT 204370 SOS 73421 HAS SOPS 73421 HAS SOUS 47495 HAS SOUPS 47495 WITH SCORE 47568.421
AT ITER 4381 NEW BEST:: SOT 204389 SOS 73364 HAS SOPS 73364 HAS SOUS 47438 HAS SOUPS 47438 WITH SCORE 47511.364
AT ITER 4401 NEW BEST:: SOT 204383 SOS 73352 HAS SOPS 73352 HAS SOUS 47434 HAS SOUPS 47434 WITH SCORE 47507.352
AT ITER 4411 NEW BEST:: SOT 204383 SOS 73352 HAS SOPS 73352 HAS SOUS 47399 HAS SOUPS 47399 WITH SCORE 47472.352
AT ITER 4414 NEW BEST:: SOT 204375 SOS 73340 HAS SOPS 73340 HAS SOUS 47391 HAS SOUPS 47391 WITH SCORE 47464.34
AT ITER 4416 NEW BEST:: SOT 204350 SOS 73036 HAS SOPS 73036 HAS SOUS 47341 HAS SOUPS 47341 WITH SCORE 47414.036
AT ITER 4429 NEW BEST:: SOT 204432 SOS 73102 HAS SOPS 73102 HAS SOUS 47297 HAS SOUPS 47297 WITH SCORE 47370.102
AT ITER 4436 NEW BEST:: SOT 204432 SOS 73102 HAS SOPS 73102 HAS SOUS 47164 HAS SOUPS 47164 WITH SCORE 47237.102
AT ITER 4444 NEW BEST:: SOT 204373 SOS 73043 HAS SOPS 73043 HAS SOUS 47164 HAS SOUPS 47164 WITH SCORE 47237.043
AT ITER 4475 NEW BEST:: SOT 204341 SOS 72979 HAS SOPS 72979 HAS SOUS 47100 HAS SOUPS 47100 WITH SCORE 47172.979
AT ITER 4476 NEW BEST:: SOT 204197 SOS 72835 HAS SOPS 72835 HAS SOUS 46956 HAS SOUPS 46956 WITH SCORE 47028.835
AT ITER 4527 NEW BEST:: SOT 204197 SOS 72792 HAS SOPS 72792 HAS SOUS 46956 HAS SOUPS 46956 WITH SCORE 47028.792
AT ITER 4556 NEW BEST:: SOT 204197 SOS 72792 HAS SOPS 72792 HAS SOUS 46902 HAS SOUPS 46902 WITH SCORE 46974.792
AT ITER 4559 NEW BEST:: SOT 204182 SOS 72768 HAS SOPS 72768 HAS SOUS 46878 HAS SOUPS 46878 WITH SCORE 46950.768
AT ITER 4560 NEW BEST:: SOT 204182 SOS 72766 HAS SOPS 72766 HAS SOUS 46874 HAS SOUPS 46874 WITH SCORE 46946.766
AT ITER 4578 NEW BEST:: SOT 204256 SOS 72570 HAS SOPS 72570 HAS SOUS 46789 HAS SOUPS 46789 WITH SCORE 46861.57
AT ITER 4584 NEW BEST:: SOT 204219 SOS 72533 HAS SOPS 72533 HAS SOUS 46789 HAS SOUPS 46789 WITH SCORE 46861.533
AT ITER 4620 NEW BEST:: SOT 204217 SOS 72531 HAS SOPS 72531 HAS SOUS 46787 HAS SOUPS 46787 WITH SCORE 46859.531
AT ITER 4658 NEW BEST:: SOT 204111 SOS 72528 HAS SOPS 72528 HAS SOUS 46784 HAS SOUPS 46784 WITH SCORE 46856.528
AT ITER 4668 NEW BEST:: SOT 204111 SOS 72528 HAS SOPS 72528 HAS SOUS 46783 HAS SOUPS 46783 WITH SCORE 46855.528
AT ITER 4682 NEW BEST:: SOT 204097 SOS 72514 HAS SOPS 72514 HAS SOUS 46769 HAS SOUPS 46769 WITH SCORE 46841.514
AT ITER 4691 NEW BEST:: SOT 204087 SOS 72499 HAS SOPS 72499 HAS SOUS 46759 HAS SOUPS 46759 WITH SCORE 46831.499
AT ITER 4692 NEW BEST:: SOT 204048 SOS 72460 HAS SOPS 72460 HAS SOUS 46750 HAS SOUPS 46750 WITH SCORE 46822.46
AT ITER 4699 NEW BEST:: SOT 204024 SOS 68710 HAS SOPS 68710 HAS SOUS 46726 HAS SOUPS 46726 WITH SCORE 46794.71
AT ITER 4738 NEW BEST:: SOT 203980 SOS 68644 HAS SOPS 68644 HAS SOUS 46682 HAS SOUPS 46682 WITH SCORE 46750.644
AT ITER 4768 NEW BEST:: SOT 204080 SOS 68747 HAS SOPS 68747 HAS SOUS 46672 HAS SOUPS 46672 WITH SCORE 46740.747
AT ITER 4786 NEW BEST:: SOT 204080 SOS 68807 HAS SOPS 68807 HAS SOUS 46670 HAS SOUPS 46670 WITH SCORE 46738.807
AT ITER 4792 NEW BEST:: SOT 204029 SOS 68705 HAS SOPS 68705 HAS SOUS 46619 HAS SOUPS 46619 WITH SCORE 46687.705
AT ITER 4794 NEW BEST:: SOT 203942 SOS 68495 HAS SOPS 68495 HAS SOUS 46409 HAS SOUPS 46409 WITH SCORE 46477.495
AT ITER 4803 NEW BEST:: SOT 203921 SOS 68453 HAS SOPS 68453 HAS SOUS 46388 HAS SOUPS 46388 WITH SCORE 46456.453
AT ITER 4813 NEW BEST:: SOT 203915 SOS 68441 HAS SOPS 68441 HAS SOUS 46376 HAS SOUPS 46376 WITH SCORE 46444.441
AT ITER 4818 NEW BEST:: SOT 203898 SOS 68407 HAS SOPS 68407 HAS SOUS 46342 HAS SOUPS 46342 WITH SCORE 46410.407
AT ITER 4821 NEW BEST:: SOT 203901 SOS 68395 HAS SOPS 68395 HAS SOUS 46330 HAS SOUPS 46330 WITH SCORE 46398.395
AT ITER 4846 NEW BEST:: SOT 203885 SOS 68363 HAS SOPS 68363 HAS SOUS 46323 HAS SOUPS 46323 WITH SCORE 46391.363
AT ITER 4868 NEW BEST:: SOT 203878 SOS 68352 HAS SOPS 68352 HAS SOUS 46316 HAS SOUPS 46316 WITH SCORE 46384.352
AT ITER 4883 NEW BEST:: SOT 203827 SOS 68279 HAS SOPS 68279 HAS SOUS 46305 HAS SOUPS 46305 WITH SCORE 46373.279
AT ITER 4897 NEW BEST:: SOT 203778 SOS 68230 HAS SOPS 68230 HAS SOUS 46256 HAS SOUPS 46256 WITH SCORE 46324.23
AT ITER 4902 NEW BEST:: SOT 203752 SOS 68204 HAS SOPS 68204 HAS SOUS 46256 HAS SOUPS 46256 WITH SCORE 46324.204
AT ITER 4923 NEW BEST:: SOT 203740 SOS 68177 HAS SOPS 68177 HAS SOUS 46229 HAS SOUPS 46229 WITH SCORE 46297.177
AT ITER 4926 NEW BEST:: SOT 203565 SOS 68167 HAS SOPS 68167 HAS SOUS 46192 HAS SOUPS 46192 WITH SCORE 46260.167
AT ITER 4935 NEW BEST:: SOT 203565 SOS 68166 HAS SOPS 68166 HAS SOUS 46191 HAS SOUPS 46191 WITH SCORE 46259.166
AT ITER 4946 NEW BEST:: SOT 203382 SOS 67983 HAS SOPS 67983 HAS SOUS 46191 HAS SOUPS 46191 WITH SCORE 46258.983
AT ITER 4959 NEW BEST:: SOT 203375 SOS 67976 HAS SOPS 67976 HAS SOUS 46191 HAS SOUPS 46191 WITH SCORE 46258.976
AT ITER 4992 NEW BEST:: SOT 203362 SOS 67950 HAS SOPS 67950 HAS SOUS 46149 HAS SOUPS 46149 WITH SCORE 46216.95
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-00 ( (EU( ( potential( (tk(P103)) <= (tk(P442)) ) | potential( (tk(P302)) <= (tk(P197)) ) ),( potential( ( 2 ) <= (tk(P538)) ) | potential( ( 3 ) <= (tk(P434)) ) ) )) | (AG( (EG( potential( ( 1 ) <= (tk(P410)) ))))) )
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-01 (EF((AG( potential( (tk(P426)) <= (tk(P88)) )))))
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-02 (AG( ( (AG( potential( (tk(P252)) <= (tk(P589)) ))) | potential( ( 1 ) <= (tk(P215)) ) )))
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-03 (EF(potential( ( 3 ) <= (tk(P555)) )))
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-04 (AG( ( (EX( potential( (tk(P417)) <= (tk(P93)) ))) | (! potential( (tk(P236)) <= (tk(P311)) )) )))
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-05 ( ( (EX( (! potential( ( 2 ) <= (tk(P633)) )))) | (EF(( potential( (tk(P573)) <= (tk(P198)) ) & potential( ( 1 ) <= (tk(P279)) ) ))) ) & (AG( (! ( potential( ( 1 ) <= (tk(P22)) ) & potential( ( 3 ) <= (tk(P289)) ) )))) )
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-06 (EG( ( (AX( potential( (tk(P260)) <= (tk(P313)) ))) & (EF(potential( ( 3 ) <= (tk(P1)) ))) )))
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-07 ( ( ( potential( ( 2 ) <= (tk(P563)) ) | ( ( potential( ( 2 ) <= (tk(P638)) ) | potential( ( 1 ) <= (tk(P205)) ) ) & ( potential( (tk(P424)) <= (tk(P200)) ) | potential( (tk(P155)) <= (tk(P105)) ) ) ) ) & potential( (tk(P491)) <= (tk(P171)) ) ) | (EU( (! potential( ( 3 ) <= (tk(P628)) )),(! potential( (tk(P86)) <= (tk(P618)) )) )) )
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-08 ( ( ( (EF(potential( (tk(P89)) <= (tk(P602)) ))) | ( (! potential( ( 1 ) <= (tk(P50)) )) & ( potential( ( 3 ) <= (tk(P120)) ) & potential( ( 2 ) <= (tk(P209)) ) ) ) ) & (! ( (! potential( (tk(P342)) <= (tk(P18)) )) & ( potential( (tk(P81)) <= (tk(P32)) ) & potential( ( 3 ) <= (tk(P582)) ) ) )) ) & ( ( potential( ( 1 ) <= (tk(P389)) ) & ( (! potential( ( 2 ) <= (tk(P601)) )) | ( potential( (tk(P629)) <= (tk(P546)) ) | potential( ( 3 ) <= (tk(P464)) ) ) ) ) | (EU( potential( (tk(P276)) <= (tk(P545)) ),potential( ( 1 ) <= (tk(P610)) ) )) ) )
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-09 (AG( (EF(potential( ( 1 ) <= (tk(P486)) )))))
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-10 (AG( ( potential( (tk(P358)) <= (tk(P357)) ) & (AF(potential( (tk(P126)) <= (tk(P29)) ))) )))
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-11 ( potential( ( 2 ) <= (tk(P568)) ) | (! ( potential( (tk(P485)) <= (tk(P149)) ) & (AG( potential( (tk(P569)) <= (tk(P507)) ))) )) )
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-12 (EU( (EF(potential( ( 2 ) <= (tk(P114)) ))),( ( potential( (tk(P213)) <= (tk(P311)) ) & potential( (tk(P385)) <= (tk(P448)) ) ) & (! potential( (tk(P4)) <= (tk(P254)) )) ) ))
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-13 ( (EF((EG( potential( ( 3 ) <= (tk(P523)) ))))) | (EU( ( potential( (tk(P507)) <= (tk(P536)) ) & potential( ( 2 ) <= (tk(P113)) ) ),( potential( ( 2 ) <= (tk(P271)) ) | potential( ( 1 ) <= (tk(P154)) ) ) )) )
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-14 (EF((AU( potential( (tk(P232)) <= (tk(P45)) ),potential( ( 1 ) <= (tk(P268)) ) ))))
PROPERTY: BusinessProcesses-PT-16-CTLCardinality-15 ( (AX( ( potential( ( 1 ) <= (tk(P29)) ) | (! potential( (tk(P489)) <= (tk(P314)) )) ))) | (EU( ( potential( (tk(P565)) <= (tk(P19)) ) | potential( (tk(P295)) <= (tk(P397)) ) ),potential( ( 3 ) <= (tk(P409)) ) )) )

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-16"
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-16, 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-158897680200571"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-16.tgz
mv BusinessProcesses-PT-16 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;