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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 3.2K Mar 26 02:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 02:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K 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.2K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:43 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 17K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K 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 148K 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-13-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-13-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-13-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-13-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-13-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-13-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-13-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-13-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-13-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-13-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-13-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-13-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-13-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-13-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-13-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-13-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590869261614

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 13
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: 593 places, 536 transitions, 1582 arcs.
AT ITER 0 NEW BEST:: SOT 201828 SOS 77215 HAS SOPS 77215 HAS SOUS 74724 HAS SOUPS 74724 WITH SCORE 74801.215
AT ITER 1 NEW BEST:: SOT 201828 SOS 77113 HAS SOPS 77113 HAS SOUS 74659 HAS SOUPS 74659 WITH SCORE 74736.113
AT ITER 11 NEW BEST:: SOT 201856 SOS 76975 HAS SOPS 76975 HAS SOUS 74542 HAS SOUPS 74542 WITH SCORE 74618.975
AT ITER 12 NEW BEST:: SOT 201723 SOS 76801 HAS SOPS 76801 HAS SOUS 74368 HAS SOUPS 74368 WITH SCORE 74444.801
AT ITER 16 NEW BEST:: SOT 201722 SOS 76799 HAS SOPS 76799 HAS SOUS 74366 HAS SOUPS 74366 WITH SCORE 74442.799
AT ITER 26 NEW BEST:: SOT 201725 SOS 76807 HAS SOPS 76807 HAS SOUS 74353 HAS SOUPS 74353 WITH SCORE 74429.807
AT ITER 43 NEW BEST:: SOT 201548 SOS 76585 HAS SOPS 76585 HAS SOUS 74131 HAS SOUPS 74131 WITH SCORE 74207.585
AT ITER 54 NEW BEST:: SOT 201452 SOS 76487 HAS SOPS 76487 HAS SOUS 74034 HAS SOUPS 74034 WITH SCORE 74110.487
AT ITER 56 NEW BEST:: SOT 201431 SOS 76486 HAS SOPS 76486 HAS SOUS 74033 HAS SOUPS 74033 WITH SCORE 74109.486
AT ITER 57 NEW BEST:: SOT 201479 SOS 76442 HAS SOPS 76442 HAS SOUS 74010 HAS SOUPS 74010 WITH SCORE 74086.442
AT ITER 70 NEW BEST:: SOT 201202 SOS 76313 HAS SOPS 76313 HAS SOUS 73790 HAS SOUPS 73790 WITH SCORE 73866.313
AT ITER 76 NEW BEST:: SOT 201198 SOS 76309 HAS SOPS 76309 HAS SOUS 73786 HAS SOUPS 73786 WITH SCORE 73862.309
AT ITER 83 NEW BEST:: SOT 201307 SOS 76186 HAS SOPS 76186 HAS SOUS 73663 HAS SOUPS 73663 WITH SCORE 73739.186
AT ITER 99 NEW BEST:: SOT 201220 SOS 76055 HAS SOPS 76055 HAS SOUS 73532 HAS SOUPS 73532 WITH SCORE 73608.055
AT ITER 102 NEW BEST:: SOT 201209 SOS 76033 HAS SOPS 76033 HAS SOUS 73510 HAS SOUPS 73510 WITH SCORE 73586.033
AT ITER 105 NEW BEST:: SOT 201037 SOS 75823 HAS SOPS 75823 HAS SOUS 73300 HAS SOUPS 73300 WITH SCORE 73375.823
AT ITER 106 NEW BEST:: SOT 200852 SOS 75638 HAS SOPS 75638 HAS SOUS 73115 HAS SOUPS 73115 WITH SCORE 73190.638
AT ITER 107 NEW BEST:: SOT 200851 SOS 75636 HAS SOPS 75636 HAS SOUS 73113 HAS SOUPS 73113 WITH SCORE 73188.636
AT ITER 115 NEW BEST:: SOT 200931 SOS 75620 HAS SOPS 75620 HAS SOUS 73097 HAS SOUPS 73097 WITH SCORE 73172.62
AT ITER 122 NEW BEST:: SOT 200841 SOS 75383 HAS SOPS 75383 HAS SOUS 72860 HAS SOUPS 72860 WITH SCORE 72935.383
AT ITER 127 NEW BEST:: SOT 198475 SOS 73243 HAS SOPS 73243 HAS SOUS 70720 HAS SOUPS 70720 WITH SCORE 70793.243
AT ITER 130 NEW BEST:: SOT 198475 SOS 73142 HAS SOPS 73142 HAS SOUS 70423 HAS SOUPS 70423 WITH SCORE 70496.142
AT ITER 135 NEW BEST:: SOT 198474 SOS 73140 HAS SOPS 73140 HAS SOUS 70421 HAS SOUPS 70421 WITH SCORE 70494.14
AT ITER 136 NEW BEST:: SOT 198473 SOS 73007 HAS SOPS 73007 HAS SOUS 70307 HAS SOUPS 70307 WITH SCORE 70380.007
AT ITER 145 NEW BEST:: SOT 198264 SOS 72247 HAS SOPS 72247 HAS SOUS 69852 HAS SOUPS 69852 WITH SCORE 69924.247
AT ITER 146 NEW BEST:: SOT 198104 SOS 72061 HAS SOPS 72061 HAS SOUS 69666 HAS SOUPS 69666 WITH SCORE 69738.061
AT ITER 152 NEW BEST:: SOT 198050 SOS 72000 HAS SOPS 72000 HAS SOUS 69605 HAS SOUPS 69605 WITH SCORE 69677.0
AT ITER 163 NEW BEST:: SOT 197896 SOS 71846 HAS SOPS 71846 HAS SOUS 69451 HAS SOUPS 69451 WITH SCORE 69522.846
AT ITER 169 NEW BEST:: SOT 197896 SOS 71796 HAS SOPS 71796 HAS SOUS 69401 HAS SOUPS 69401 WITH SCORE 69472.796
AT ITER 173 NEW BEST:: SOT 197901 SOS 71806 HAS SOPS 71806 HAS SOUS 69324 HAS SOUPS 69324 WITH SCORE 69395.806
AT ITER 181 NEW BEST:: SOT 197856 SOS 71849 HAS SOPS 71849 HAS SOUS 69279 HAS SOUPS 69279 WITH SCORE 69350.849
AT ITER 195 NEW BEST:: SOT 197905 SOS 71758 HAS SOPS 71758 HAS SOUS 69236 HAS SOUPS 69236 WITH SCORE 69307.758
AT ITER 201 NEW BEST:: SOT 197882 SOS 71724 HAS SOPS 71724 HAS SOUS 69202 HAS SOUPS 69202 WITH SCORE 69273.724
AT ITER 210 NEW BEST:: SOT 197882 SOS 71679 HAS SOPS 71679 HAS SOUS 69157 HAS SOUPS 69157 WITH SCORE 69228.679
AT ITER 213 NEW BEST:: SOT 197773 SOS 71585 HAS SOPS 71585 HAS SOUS 69063 HAS SOUPS 69063 WITH SCORE 69134.585
AT ITER 231 NEW BEST:: SOT 197773 SOS 71473 HAS SOPS 71473 HAS SOUS 68951 HAS SOUPS 68951 WITH SCORE 69022.473
AT ITER 249 NEW BEST:: SOT 197773 SOS 71452 HAS SOPS 71452 HAS SOUS 68930 HAS SOUPS 68930 WITH SCORE 69001.452
AT ITER 258 NEW BEST:: SOT 197773 SOS 71313 HAS SOPS 71313 HAS SOUS 68791 HAS SOUPS 68791 WITH SCORE 68862.313
AT ITER 263 NEW BEST:: SOT 197697 SOS 71241 HAS SOPS 71241 HAS SOUS 68719 HAS SOUPS 68719 WITH SCORE 68790.241
AT ITER 267 NEW BEST:: SOT 197697 SOS 71083 HAS SOPS 71083 HAS SOUS 68645 HAS SOUPS 68645 WITH SCORE 68716.083
AT ITER 268 NEW BEST:: SOT 197722 SOS 71059 HAS SOPS 71059 HAS SOUS 68621 HAS SOUPS 68621 WITH SCORE 68692.059
AT ITER 277 NEW BEST:: SOT 197680 SOS 70977 HAS SOPS 70977 HAS SOUS 68537 HAS SOUPS 68537 WITH SCORE 68607.977
AT ITER 280 NEW BEST:: SOT 197678 SOS 70973 HAS SOPS 70973 HAS SOUS 68535 HAS SOUPS 68535 WITH SCORE 68605.973
AT ITER 307 NEW BEST:: SOT 197654 SOS 70901 HAS SOPS 70901 HAS SOUS 68487 HAS SOUPS 68487 WITH SCORE 68557.901
AT ITER 327 NEW BEST:: SOT 197654 SOS 70871 HAS SOPS 70871 HAS SOUS 68457 HAS SOUPS 68457 WITH SCORE 68527.871
AT ITER 358 NEW BEST:: SOT 197602 SOS 70901 HAS SOPS 70901 HAS SOUS 68425 HAS SOUPS 68425 WITH SCORE 68495.901
AT ITER 367 NEW BEST:: SOT 197109 SOS 70832 HAS SOPS 70832 HAS SOUS 68160 HAS SOUPS 68160 WITH SCORE 68230.832
AT ITER 369 NEW BEST:: SOT 196983 SOS 70696 HAS SOPS 70696 HAS SOUS 67997 HAS SOUPS 67997 WITH SCORE 68067.696
AT ITER 370 NEW BEST:: SOT 196882 SOS 70650 HAS SOPS 70650 HAS SOUS 67976 HAS SOUPS 67976 WITH SCORE 68046.65
AT ITER 386 NEW BEST:: SOT 196551 SOS 71061 HAS SOPS 71061 HAS SOUS 67630 HAS SOUPS 67630 WITH SCORE 67701.061
AT ITER 391 NEW BEST:: SOT 196364 SOS 70799 HAS SOPS 70799 HAS SOUS 67368 HAS SOUPS 67368 WITH SCORE 67438.799
AT ITER 401 NEW BEST:: SOT 196308 SOS 70687 HAS SOPS 70687 HAS SOUS 67256 HAS SOUPS 67256 WITH SCORE 67326.687
AT ITER 404 NEW BEST:: SOT 196290 SOS 70651 HAS SOPS 70651 HAS SOUS 67220 HAS SOUPS 67220 WITH SCORE 67290.651
AT ITER 417 NEW BEST:: SOT 196290 SOS 70579 HAS SOPS 70579 HAS SOUS 67148 HAS SOUPS 67148 WITH SCORE 67218.579
AT ITER 421 NEW BEST:: SOT 196196 SOS 70484 HAS SOPS 70484 HAS SOUS 67147 HAS SOUPS 67147 WITH SCORE 67217.484
AT ITER 423 NEW BEST:: SOT 196196 SOS 70484 HAS SOPS 70484 HAS SOUS 67132 HAS SOUPS 67132 WITH SCORE 67202.484
AT ITER 425 NEW BEST:: SOT 196128 SOS 70347 HAS SOPS 70347 HAS SOUS 66995 HAS SOUPS 66995 WITH SCORE 67065.347
AT ITER 428 NEW BEST:: SOT 196128 SOS 70236 HAS SOPS 70236 HAS SOUS 66884 HAS SOUPS 66884 WITH SCORE 66954.236
AT ITER 433 NEW BEST:: SOT 196034 SOS 70142 HAS SOPS 70142 HAS SOUS 66790 HAS SOUPS 66790 WITH SCORE 66860.142
AT ITER 440 NEW BEST:: SOT 196026 SOS 70125 HAS SOPS 70125 HAS SOUS 66773 HAS SOUPS 66773 WITH SCORE 66843.125
AT ITER 457 NEW BEST:: SOT 195979 SOS 70076 HAS SOPS 70076 HAS SOUS 66724 HAS SOUPS 66724 WITH SCORE 66794.076
AT ITER 462 NEW BEST:: SOT 195979 SOS 70030 HAS SOPS 70030 HAS SOUS 66678 HAS SOUPS 66678 WITH SCORE 66748.03
AT ITER 475 NEW BEST:: SOT 196158 SOS 70028 HAS SOPS 70028 HAS SOUS 66676 HAS SOUPS 66676 WITH SCORE 66746.028
AT ITER 481 NEW BEST:: SOT 196158 SOS 69985 HAS SOPS 69985 HAS SOUS 66633 HAS SOUPS 66633 WITH SCORE 66702.985
AT ITER 482 NEW BEST:: SOT 196170 SOS 69947 HAS SOPS 69947 HAS SOUS 66595 HAS SOUPS 66595 WITH SCORE 66664.947
AT ITER 484 NEW BEST:: SOT 196161 SOS 69929 HAS SOPS 69929 HAS SOUS 66577 HAS SOUPS 66577 WITH SCORE 66646.929
AT ITER 485 NEW BEST:: SOT 196089 SOS 69929 HAS SOPS 69929 HAS SOUS 66575 HAS SOUPS 66575 WITH SCORE 66644.929
AT ITER 490 NEW BEST:: SOT 196131 SOS 69818 HAS SOPS 69818 HAS SOUS 66464 HAS SOUPS 66464 WITH SCORE 66533.818
AT ITER 500 NEW BEST:: SOT 196051 SOS 69755 HAS SOPS 69755 HAS SOUS 66401 HAS SOUPS 66401 WITH SCORE 66470.755
AT ITER 508 NEW BEST:: SOT 194307 SOS 68011 HAS SOPS 68011 HAS SOUS 64657 HAS SOUPS 64657 WITH SCORE 64725.011
AT ITER 512 NEW BEST:: SOT 194195 SOS 67843 HAS SOPS 67843 HAS SOUS 64545 HAS SOUPS 64545 WITH SCORE 64612.843
AT ITER 525 NEW BEST:: SOT 194195 SOS 67841 HAS SOPS 67841 HAS SOUS 64543 HAS SOUPS 64543 WITH SCORE 64610.841
AT ITER 528 NEW BEST:: SOT 194176 SOS 67692 HAS SOPS 67692 HAS SOUS 64413 HAS SOUPS 64413 WITH SCORE 64480.692
AT ITER 532 NEW BEST:: SOT 194194 SOS 67435 HAS SOPS 67435 HAS SOUS 64326 HAS SOUPS 64326 WITH SCORE 64393.435
AT ITER 541 NEW BEST:: SOT 194167 SOS 67407 HAS SOPS 67407 HAS SOUS 64298 HAS SOUPS 64298 WITH SCORE 64365.407
AT ITER 547 NEW BEST:: SOT 194100 SOS 67105 HAS SOPS 67105 HAS SOUS 63996 HAS SOUPS 63996 WITH SCORE 64063.105
AT ITER 550 NEW BEST:: SOT 193852 SOS 66867 HAS SOPS 66867 HAS SOUS 63758 HAS SOUPS 63758 WITH SCORE 63824.867
AT ITER 556 NEW BEST:: SOT 193763 SOS 66689 HAS SOPS 66689 HAS SOUS 63580 HAS SOUPS 63580 WITH SCORE 63646.689
AT ITER 557 NEW BEST:: SOT 193746 SOS 66673 HAS SOPS 66673 HAS SOUS 63564 HAS SOUPS 63564 WITH SCORE 63630.673
AT ITER 564 NEW BEST:: SOT 193745 SOS 66671 HAS SOPS 66671 HAS SOUS 63562 HAS SOUPS 63562 WITH SCORE 63628.671
AT ITER 575 NEW BEST:: SOT 193745 SOS 66636 HAS SOPS 66636 HAS SOUS 63527 HAS SOUPS 63527 WITH SCORE 63593.636
AT ITER 604 NEW BEST:: SOT 193557 SOS 66385 HAS SOPS 66385 HAS SOUS 63276 HAS SOUPS 63276 WITH SCORE 63342.385
AT ITER 606 NEW BEST:: SOT 193554 SOS 66379 HAS SOPS 66379 HAS SOUS 63270 HAS SOUPS 63270 WITH SCORE 63336.379
AT ITER 607 NEW BEST:: SOT 193539 SOS 66364 HAS SOPS 66364 HAS SOUS 63255 HAS SOUPS 63255 WITH SCORE 63321.364
AT ITER 609 NEW BEST:: SOT 193372 SOS 66202 HAS SOPS 66202 HAS SOUS 63159 HAS SOUPS 63159 WITH SCORE 63225.202
AT ITER 619 NEW BEST:: SOT 193217 SOS 65892 HAS SOPS 65892 HAS SOUS 62849 HAS SOUPS 62849 WITH SCORE 62914.892
AT ITER 621 NEW BEST:: SOT 193197 SOS 65828 HAS SOPS 65828 HAS SOUS 62805 HAS SOUPS 62805 WITH SCORE 62870.828
AT ITER 629 NEW BEST:: SOT 193092 SOS 65772 HAS SOPS 65772 HAS SOUS 62749 HAS SOUPS 62749 WITH SCORE 62814.772
AT ITER 632 NEW BEST:: SOT 192979 SOS 65906 HAS SOPS 65906 HAS SOUS 62696 HAS SOUPS 62696 WITH SCORE 62761.906
AT ITER 637 NEW BEST:: SOT 193057 SOS 65813 HAS SOPS 65813 HAS SOUS 62603 HAS SOUPS 62603 WITH SCORE 62668.813
AT ITER 663 NEW BEST:: SOT 193057 SOS 65699 HAS SOPS 65699 HAS SOUS 62489 HAS SOUPS 62489 WITH SCORE 62554.699
AT ITER 687 NEW BEST:: SOT 193002 SOS 65589 HAS SOPS 65589 HAS SOUS 62379 HAS SOUPS 62379 WITH SCORE 62444.589
AT ITER 691 NEW BEST:: SOT 188008 SOS 73539 HAS SOPS 73539 HAS SOUS 58020 HAS SOUPS 58020 WITH SCORE 58093.539
AT ITER 694 NEW BEST:: SOT 187692 SOS 72983 HAS SOPS 72983 HAS SOUS 57464 HAS SOUPS 57464 WITH SCORE 57536.983
AT ITER 698 NEW BEST:: SOT 187671 SOS 72941 HAS SOPS 72941 HAS SOUS 57443 HAS SOUPS 57443 WITH SCORE 57515.941
AT ITER 699 NEW BEST:: SOT 187668 SOS 72938 HAS SOPS 72938 HAS SOUS 57440 HAS SOUPS 57440 WITH SCORE 57512.938
AT ITER 704 NEW BEST:: SOT 187659 SOS 72929 HAS SOPS 72929 HAS SOUS 57431 HAS SOUPS 57431 WITH SCORE 57503.929
AT ITER 715 NEW BEST:: SOT 187548 SOS 72818 HAS SOPS 72818 HAS SOUS 57431 HAS SOUPS 57431 WITH SCORE 57503.818
AT ITER 724 NEW BEST:: SOT 187099 SOS 72219 HAS SOPS 72219 HAS SOUS 57137 HAS SOUPS 57137 WITH SCORE 57209.219
AT ITER 733 NEW BEST:: SOT 187036 SOS 72193 HAS SOPS 72193 HAS SOUS 57125 HAS SOUPS 57125 WITH SCORE 57197.193
AT ITER 750 NEW BEST:: SOT 187094 SOS 72251 HAS SOPS 72251 HAS SOUS 57117 HAS SOUPS 57117 WITH SCORE 57189.251
AT ITER 764 NEW BEST:: SOT 187178 SOS 72335 HAS SOPS 72335 HAS SOUS 57116 HAS SOUPS 57116 WITH SCORE 57188.335
AT ITER 767 NEW BEST:: SOT 187151 SOS 72307 HAS SOPS 72307 HAS SOUS 57098 HAS SOUPS 57098 WITH SCORE 57170.307
AT ITER 772 NEW BEST:: SOT 187097 SOS 72358 HAS SOPS 72358 HAS SOUS 57041 HAS SOUPS 57041 WITH SCORE 57113.358
AT ITER 790 NEW BEST:: SOT 186858 SOS 72119 HAS SOPS 72119 HAS SOUS 56809 HAS SOUPS 56809 WITH SCORE 56881.119
AT ITER 791 NEW BEST:: SOT 186928 SOS 72019 HAS SOPS 72019 HAS SOUS 56745 HAS SOUPS 56745 WITH SCORE 56817.019
AT ITER 802 NEW BEST:: SOT 186928 SOS 72018 HAS SOPS 72018 HAS SOUS 56744 HAS SOUPS 56744 WITH SCORE 56816.018
AT ITER 808 NEW BEST:: SOT 186926 SOS 72014 HAS SOPS 72014 HAS SOUS 56742 HAS SOUPS 56742 WITH SCORE 56814.014
AT ITER 829 NEW BEST:: SOT 186658 SOS 71746 HAS SOPS 71746 HAS SOUS 56612 HAS SOUPS 56612 WITH SCORE 56683.746
AT ITER 846 NEW BEST:: SOT 186641 SOS 71711 HAS SOPS 71711 HAS SOUS 56577 HAS SOUPS 56577 WITH SCORE 56648.711
AT ITER 849 NEW BEST:: SOT 186635 SOS 71709 HAS SOPS 71709 HAS SOUS 56565 HAS SOUPS 56565 WITH SCORE 56636.709
AT ITER 853 NEW BEST:: SOT 186611 SOS 71662 HAS SOPS 71662 HAS SOUS 56551 HAS SOUPS 56551 WITH SCORE 56622.662
AT ITER 861 NEW BEST:: SOT 186611 SOS 71643 HAS SOPS 71643 HAS SOUS 56532 HAS SOUPS 56532 WITH SCORE 56603.643
AT ITER 867 NEW BEST:: SOT 186579 SOS 71611 HAS SOPS 71611 HAS SOUS 56500 HAS SOUPS 56500 WITH SCORE 56571.611
AT ITER 869 NEW BEST:: SOT 186845 SOS 71917 HAS SOPS 71917 HAS SOUS 56499 HAS SOUPS 56499 WITH SCORE 56570.917
AT ITER 874 NEW BEST:: SOT 186822 SOS 71871 HAS SOPS 71871 HAS SOUS 56453 HAS SOUPS 56453 WITH SCORE 56524.871
AT ITER 877 NEW BEST:: SOT 186586 SOS 71436 HAS SOPS 71436 HAS SOUS 56018 HAS SOUPS 56018 WITH SCORE 56089.436
AT ITER 892 NEW BEST:: SOT 186556 SOS 71380 HAS SOPS 71380 HAS SOUS 55962 HAS SOUPS 55962 WITH SCORE 56033.38
AT ITER 893 NEW BEST:: SOT 186566 SOS 71197 HAS SOPS 71197 HAS SOUS 55928 HAS SOUPS 55928 WITH SCORE 55999.197
AT ITER 896 NEW BEST:: SOT 186387 SOS 70935 HAS SOPS 70935 HAS SOUS 55764 HAS SOUPS 55764 WITH SCORE 55834.935
AT ITER 918 NEW BEST:: SOT 186365 SOS 70913 HAS SOPS 70913 HAS SOUS 55742 HAS SOUPS 55742 WITH SCORE 55812.913
AT ITER 935 NEW BEST:: SOT 186327 SOS 70837 HAS SOPS 70837 HAS SOUS 55666 HAS SOUPS 55666 WITH SCORE 55736.837
AT ITER 940 NEW BEST:: SOT 186234 SOS 70696 HAS SOPS 70696 HAS SOUS 55525 HAS SOUPS 55525 WITH SCORE 55595.696
AT ITER 947 NEW BEST:: SOT 186084 SOS 70543 HAS SOPS 70543 HAS SOUS 55519 HAS SOUPS 55519 WITH SCORE 55589.543
AT ITER 960 NEW BEST:: SOT 186070 SOS 70522 HAS SOPS 70522 HAS SOUS 55498 HAS SOUPS 55498 WITH SCORE 55568.522
AT ITER 975 NEW BEST:: SOT 186063 SOS 70508 HAS SOPS 70508 HAS SOUS 55484 HAS SOUPS 55484 WITH SCORE 55554.508
AT ITER 981 NEW BEST:: SOT 185826 SOS 70187 HAS SOPS 70187 HAS SOUS 55368 HAS SOUPS 55368 WITH SCORE 55438.187
AT ITER 984 NEW BEST:: SOT 185716 SOS 69967 HAS SOPS 69967 HAS SOUS 55258 HAS SOUPS 55258 WITH SCORE 55327.967
AT ITER 985 NEW BEST:: SOT 185716 SOS 69967 HAS SOPS 69967 HAS SOUS 55241 HAS SOUPS 55241 WITH SCORE 55310.967
AT ITER 986 NEW BEST:: SOT 185714 SOS 70064 HAS SOPS 70064 HAS SOUS 55237 HAS SOUPS 55237 WITH SCORE 55307.064
AT ITER 988 NEW BEST:: SOT 185611 SOS 69787 HAS SOPS 69787 HAS SOUS 54960 HAS SOUPS 54960 WITH SCORE 55029.787
AT ITER 999 NEW BEST:: SOT 185611 SOS 69760 HAS SOPS 69760 HAS SOUS 54960 HAS SOUPS 54960 WITH SCORE 55029.76
AT ITER 1019 NEW BEST:: SOT 185426 SOS 69571 HAS SOPS 69571 HAS SOUS 54957 HAS SOUPS 54957 WITH SCORE 55026.571
AT ITER 1023 NEW BEST:: SOT 185473 SOS 69647 HAS SOPS 69647 HAS SOUS 54908 HAS SOUPS 54908 WITH SCORE 54977.647
AT ITER 1024 NEW BEST:: SOT 185472 SOS 69645 HAS SOPS 69645 HAS SOUS 54906 HAS SOUPS 54906 WITH SCORE 54975.645
AT ITER 1035 NEW BEST:: SOT 185461 SOS 69623 HAS SOPS 69623 HAS SOUS 54884 HAS SOUPS 54884 WITH SCORE 54953.623
AT ITER 1043 NEW BEST:: SOT 185456 SOS 69613 HAS SOPS 69613 HAS SOUS 54874 HAS SOUPS 54874 WITH SCORE 54943.613
AT ITER 1047 NEW BEST:: SOT 185447 SOS 69604 HAS SOPS 69604 HAS SOUS 54874 HAS SOUPS 54874 WITH SCORE 54943.604
AT ITER 1070 NEW BEST:: SOT 185447 SOS 69497 HAS SOPS 69497 HAS SOUS 54874 HAS SOUPS 54874 WITH SCORE 54943.497
AT ITER 1085 NEW BEST:: SOT 185447 SOS 69442 HAS SOPS 69442 HAS SOUS 54863 HAS SOUPS 54863 WITH SCORE 54932.442
AT ITER 1091 NEW BEST:: SOT 185439 SOS 69434 HAS SOPS 69434 HAS SOUS 54855 HAS SOUPS 54855 WITH SCORE 54924.434
AT ITER 1094 NEW BEST:: SOT 185362 SOS 69353 HAS SOPS 69353 HAS SOUS 54774 HAS SOUPS 54774 WITH SCORE 54843.353
AT ITER 1099 NEW BEST:: SOT 185362 SOS 69343 HAS SOPS 69343 HAS SOUS 54764 HAS SOUPS 54764 WITH SCORE 54833.343
AT ITER 1104 NEW BEST:: SOT 185219 SOS 69199 HAS SOPS 69199 HAS SOUS 54728 HAS SOUPS 54728 WITH SCORE 54797.199
AT ITER 1115 NEW BEST:: SOT 185219 SOS 69199 HAS SOPS 69199 HAS SOUS 54726 HAS SOUPS 54726 WITH SCORE 54795.199
AT ITER 1116 NEW BEST:: SOT 185173 SOS 69133 HAS SOPS 69133 HAS SOUS 54660 HAS SOUPS 54660 WITH SCORE 54729.133
AT ITER 1126 NEW BEST:: SOT 185218 SOS 69178 HAS SOPS 69178 HAS SOUS 54602 HAS SOUPS 54602 WITH SCORE 54671.178
AT ITER 1127 NEW BEST:: SOT 185239 SOS 69097 HAS SOPS 69097 HAS SOUS 54521 HAS SOUPS 54521 WITH SCORE 54590.097
AT ITER 1128 NEW BEST:: SOT 185146 SOS 69004 HAS SOPS 69004 HAS SOUS 54521 HAS SOUPS 54521 WITH SCORE 54590.004
AT ITER 1135 NEW BEST:: SOT 185118 SOS 68945 HAS SOPS 68945 HAS SOUS 54463 HAS SOUPS 54463 WITH SCORE 54531.945
AT ITER 1141 NEW BEST:: SOT 184986 SOS 68199 HAS SOPS 68199 HAS SOUS 54218 HAS SOUPS 54218 WITH SCORE 54286.199
AT ITER 1144 NEW BEST:: SOT 184984 SOS 68184 HAS SOPS 68184 HAS SOUS 54203 HAS SOUPS 54203 WITH SCORE 54271.184
AT ITER 1152 NEW BEST:: SOT 184998 SOS 68054 HAS SOPS 68054 HAS SOUS 54193 HAS SOUPS 54193 WITH SCORE 54261.054
AT ITER 1155 NEW BEST:: SOT 184956 SOS 67991 HAS SOPS 67991 HAS SOUS 54130 HAS SOUPS 54130 WITH SCORE 54197.991
AT ITER 1171 NEW BEST:: SOT 184903 SOS 67945 HAS SOPS 67945 HAS SOUS 54084 HAS SOUPS 54084 WITH SCORE 54151.945
AT ITER 1176 NEW BEST:: SOT 184693 SOS 67596 HAS SOPS 67596 HAS SOUS 53840 HAS SOUPS 53840 WITH SCORE 53907.596
AT ITER 1180 NEW BEST:: SOT 184689 SOS 67586 HAS SOPS 67586 HAS SOUS 53830 HAS SOUPS 53830 WITH SCORE 53897.586
AT ITER 1181 NEW BEST:: SOT 184593 SOS 67445 HAS SOPS 67445 HAS SOUS 53734 HAS SOUPS 53734 WITH SCORE 53801.445
AT ITER 1189 NEW BEST:: SOT 184336 SOS 67092 HAS SOPS 67092 HAS SOUS 53542 HAS SOUPS 53542 WITH SCORE 53609.092
AT ITER 1198 NEW BEST:: SOT 184333 SOS 67086 HAS SOPS 67086 HAS SOUS 53539 HAS SOUPS 53539 WITH SCORE 53606.086
AT ITER 1209 NEW BEST:: SOT 184158 SOS 66736 HAS SOPS 66736 HAS SOUS 53317 HAS SOUPS 53317 WITH SCORE 53383.736
AT ITER 1221 NEW BEST:: SOT 184156 SOS 66715 HAS SOPS 66715 HAS SOUS 53296 HAS SOUPS 53296 WITH SCORE 53362.715
AT ITER 1223 NEW BEST:: SOT 184101 SOS 66628 HAS SOPS 66628 HAS SOUS 53209 HAS SOUPS 53209 WITH SCORE 53275.628
AT ITER 1224 NEW BEST:: SOT 184111 SOS 66615 HAS SOPS 66615 HAS SOUS 53196 HAS SOUPS 53196 WITH SCORE 53262.615
AT ITER 1264 NEW BEST:: SOT 183907 SOS 66276 HAS SOPS 66276 HAS SOUS 52857 HAS SOUPS 52857 WITH SCORE 52923.276
AT ITER 1270 NEW BEST:: SOT 183971 SOS 66261 HAS SOPS 66261 HAS SOUS 52842 HAS SOUPS 52842 WITH SCORE 52908.261
AT ITER 1271 NEW BEST:: SOT 183971 SOS 66140 HAS SOPS 66140 HAS SOUS 52755 HAS SOUPS 52755 WITH SCORE 52821.14
AT ITER 1273 NEW BEST:: SOT 183934 SOS 66066 HAS SOPS 66066 HAS SOUS 52681 HAS SOUPS 52681 WITH SCORE 52747.066
AT ITER 1278 NEW BEST:: SOT 183932 SOS 65904 HAS SOPS 65904 HAS SOUS 52678 HAS SOUPS 52678 WITH SCORE 52743.904
AT ITER 1285 NEW BEST:: SOT 183853 SOS 65965 HAS SOPS 65965 HAS SOUS 52660 HAS SOUPS 52660 WITH SCORE 52725.965
AT ITER 1294 NEW BEST:: SOT 183853 SOS 65965 HAS SOPS 65965 HAS SOUS 52580 HAS SOUPS 52580 WITH SCORE 52645.965
AT ITER 1306 NEW BEST:: SOT 183851 SOS 65961 HAS SOPS 65961 HAS SOUS 52576 HAS SOUPS 52576 WITH SCORE 52641.961
AT ITER 1314 NEW BEST:: SOT 183851 SOS 65961 HAS SOPS 65961 HAS SOUS 52573 HAS SOUPS 52573 WITH SCORE 52638.961
AT ITER 1325 NEW BEST:: SOT 183807 SOS 65923 HAS SOPS 65923 HAS SOUS 52483 HAS SOUPS 52483 WITH SCORE 52548.923
AT ITER 1331 NEW BEST:: SOT 183595 SOS 65658 HAS SOPS 65658 HAS SOUS 52346 HAS SOUPS 52346 WITH SCORE 52411.658
AT ITER 1347 NEW BEST:: SOT 183560 SOS 65623 HAS SOPS 65623 HAS SOUS 52311 HAS SOUPS 52311 WITH SCORE 52376.623
AT ITER 1353 NEW BEST:: SOT 183428 SOS 65491 HAS SOPS 65491 HAS SOUS 52245 HAS SOUPS 52245 WITH SCORE 52310.491
AT ITER 1356 NEW BEST:: SOT 183516 SOS 65469 HAS SOPS 65469 HAS SOUS 52223 HAS SOUPS 52223 WITH SCORE 52288.469
AT ITER 1370 NEW BEST:: SOT 183259 SOS 65101 HAS SOPS 65101 HAS SOUS 52001 HAS SOUPS 52001 WITH SCORE 52066.101
AT ITER 1371 NEW BEST:: SOT 183266 SOS 65092 HAS SOPS 65092 HAS SOUS 51992 HAS SOUPS 51992 WITH SCORE 52057.092
AT ITER 1376 NEW BEST:: SOT 183233 SOS 65062 HAS SOPS 65062 HAS SOUS 51962 HAS SOUPS 51962 WITH SCORE 52027.062
AT ITER 1386 NEW BEST:: SOT 183212 SOS 65037 HAS SOPS 65037 HAS SOUS 51920 HAS SOUPS 51920 WITH SCORE 51985.037
AT ITER 1391 NEW BEST:: SOT 183152 SOS 64947 HAS SOPS 64947 HAS SOUS 51830 HAS SOUPS 51830 WITH SCORE 51894.947
AT ITER 1397 NEW BEST:: SOT 182976 SOS 64749 HAS SOPS 64749 HAS SOUS 51720 HAS SOUPS 51720 WITH SCORE 51784.749
AT ITER 1402 NEW BEST:: SOT 182976 SOS 64749 HAS SOPS 64749 HAS SOUS 51707 HAS SOUPS 51707 WITH SCORE 51771.749
AT ITER 1407 NEW BEST:: SOT 182436 SOS 64209 HAS SOPS 64209 HAS SOUS 51203 HAS SOUPS 51203 WITH SCORE 51267.209
AT ITER 1410 NEW BEST:: SOT 182375 SOS 64087 HAS SOPS 64087 HAS SOUS 51179 HAS SOUPS 51179 WITH SCORE 51243.087
AT ITER 1420 NEW BEST:: SOT 182415 SOS 64031 HAS SOPS 64031 HAS SOUS 51144 HAS SOUPS 51144 WITH SCORE 51208.031
AT ITER 1427 NEW BEST:: SOT 182234 SOS 63709 HAS SOPS 63709 HAS SOUS 50936 HAS SOUPS 50936 WITH SCORE 50999.709
AT ITER 1434 NEW BEST:: SOT 182234 SOS 63613 HAS SOPS 63613 HAS SOUS 50918 HAS SOUPS 50918 WITH SCORE 50981.613
AT ITER 1440 NEW BEST:: SOT 182229 SOS 63603 HAS SOPS 63603 HAS SOUS 50908 HAS SOUPS 50908 WITH SCORE 50971.603
AT ITER 1470 NEW BEST:: SOT 182152 SOS 63440 HAS SOPS 63440 HAS SOUS 50750 HAS SOUPS 50750 WITH SCORE 50813.44
AT ITER 1482 NEW BEST:: SOT 182114 SOS 63364 HAS SOPS 63364 HAS SOUS 50710 HAS SOUPS 50710 WITH SCORE 50773.364
AT ITER 1483 NEW BEST:: SOT 182105 SOS 63355 HAS SOPS 63355 HAS SOUS 50701 HAS SOUPS 50701 WITH SCORE 50764.355
AT ITER 1501 NEW BEST:: SOT 182050 SOS 63277 HAS SOPS 63277 HAS SOUS 50623 HAS SOUPS 50623 WITH SCORE 50686.277
AT ITER 1514 NEW BEST:: SOT 182025 SOS 63202 HAS SOPS 63202 HAS SOUS 50573 HAS SOUPS 50573 WITH SCORE 50636.202
AT ITER 1523 NEW BEST:: SOT 181992 SOS 63037 HAS SOPS 63037 HAS SOUS 50507 HAS SOUPS 50507 WITH SCORE 50570.037
AT ITER 1524 NEW BEST:: SOT 181935 SOS 62920 HAS SOPS 62920 HAS SOUS 50383 HAS SOUPS 50383 WITH SCORE 50445.92
AT ITER 1525 NEW BEST:: SOT 182003 SOS 62884 HAS SOPS 62884 HAS SOUS 50358 HAS SOUPS 50358 WITH SCORE 50420.884
AT ITER 1541 NEW BEST:: SOT 181982 SOS 62809 HAS SOPS 62809 HAS SOUS 50283 HAS SOUPS 50283 WITH SCORE 50345.809
AT ITER 1550 NEW BEST:: SOT 182163 SOS 62667 HAS SOPS 62667 HAS SOUS 50163 HAS SOUPS 50163 WITH SCORE 50225.667
AT ITER 1572 NEW BEST:: SOT 182151 SOS 62650 HAS SOPS 62650 HAS SOUS 50146 HAS SOUPS 50146 WITH SCORE 50208.65
AT ITER 1589 NEW BEST:: SOT 182180 SOS 62614 HAS SOPS 62614 HAS SOUS 50016 HAS SOUPS 50016 WITH SCORE 50078.614
AT ITER 1591 NEW BEST:: SOT 182180 SOS 62600 HAS SOPS 62600 HAS SOUS 50016 HAS SOUPS 50016 WITH SCORE 50078.6
AT ITER 1596 NEW BEST:: SOT 182149 SOS 62569 HAS SOPS 62569 HAS SOUS 49985 HAS SOUPS 49985 WITH SCORE 50047.569
AT ITER 1603 NEW BEST:: SOT 182135 SOS 62326 HAS SOPS 62326 HAS SOUS 49817 HAS SOUPS 49817 WITH SCORE 49879.326
AT ITER 1618 NEW BEST:: SOT 182158 SOS 62179 HAS SOPS 62179 HAS SOUS 49690 HAS SOUPS 49690 WITH SCORE 49752.179
AT ITER 1643 NEW BEST:: SOT 182055 SOS 61973 HAS SOPS 61973 HAS SOUS 49484 HAS SOUPS 49484 WITH SCORE 49545.973
AT ITER 1655 NEW BEST:: SOT 182055 SOS 61963 HAS SOPS 61963 HAS SOUS 49479 HAS SOUPS 49479 WITH SCORE 49540.963
AT ITER 1658 NEW BEST:: SOT 182055 SOS 61935 HAS SOPS 61935 HAS SOUS 49479 HAS SOUPS 49479 WITH SCORE 49540.935
AT ITER 1668 NEW BEST:: SOT 182125 SOS 61914 HAS SOPS 61914 HAS SOUS 49458 HAS SOUPS 49458 WITH SCORE 49519.914
AT ITER 1689 NEW BEST:: SOT 182189 SOS 62042 HAS SOPS 62042 HAS SOUS 49435 HAS SOUPS 49435 WITH SCORE 49497.042
AT ITER 1741 NEW BEST:: SOT 182170 SOS 62004 HAS SOPS 62004 HAS SOUS 49416 HAS SOUPS 49416 WITH SCORE 49478.004
AT ITER 1745 NEW BEST:: SOT 182204 SOS 61928 HAS SOPS 61928 HAS SOUS 49350 HAS SOUPS 49350 WITH SCORE 49411.928
AT ITER 1766 NEW BEST:: SOT 182167 SOS 61854 HAS SOPS 61854 HAS SOUS 49276 HAS SOUPS 49276 WITH SCORE 49337.854
AT ITER 1784 NEW BEST:: SOT 182154 SOS 61738 HAS SOPS 61738 HAS SOUS 49263 HAS SOUPS 49263 WITH SCORE 49324.738
AT ITER 1801 NEW BEST:: SOT 182149 SOS 61733 HAS SOPS 61733 HAS SOUS 49258 HAS SOUPS 49258 WITH SCORE 49319.733
AT ITER 1805 NEW BEST:: SOT 182140 SOS 61715 HAS SOPS 61715 HAS SOUS 49240 HAS SOUPS 49240 WITH SCORE 49301.715
AT ITER 1806 NEW BEST:: SOT 182131 SOS 61685 HAS SOPS 61685 HAS SOUS 49210 HAS SOUPS 49210 WITH SCORE 49271.685
AT ITER 1808 NEW BEST:: SOT 182074 SOS 61570 HAS SOPS 61570 HAS SOUS 49095 HAS SOUPS 49095 WITH SCORE 49156.57
AT ITER 1823 NEW BEST:: SOT 182074 SOS 61570 HAS SOPS 61570 HAS SOUS 49031 HAS SOUPS 49031 WITH SCORE 49092.57
AT ITER 1828 NEW BEST:: SOT 180883 SOS 62468 HAS SOPS 62468 HAS SOUS 48296 HAS SOUPS 48296 WITH SCORE 48358.468
AT ITER 1835 NEW BEST:: SOT 180845 SOS 62419 HAS SOPS 62419 HAS SOUS 48237 HAS SOUPS 48237 WITH SCORE 48299.419
AT ITER 1852 NEW BEST:: SOT 180844 SOS 62384 HAS SOPS 62384 HAS SOUS 48202 HAS SOUPS 48202 WITH SCORE 48264.384
AT ITER 1861 NEW BEST:: SOT 180830 SOS 62370 HAS SOPS 62370 HAS SOUS 48202 HAS SOUPS 48202 WITH SCORE 48264.37
AT ITER 1862 NEW BEST:: SOT 180830 SOS 62347 HAS SOPS 62347 HAS SOUS 48179 HAS SOUPS 48179 WITH SCORE 48241.347
AT ITER 1872 NEW BEST:: SOT 180782 SOS 62251 HAS SOPS 62251 HAS SOUS 48084 HAS SOUPS 48084 WITH SCORE 48146.251
AT ITER 1881 NEW BEST:: SOT 180758 SOS 62491 HAS SOPS 62491 HAS SOUS 48060 HAS SOUPS 48060 WITH SCORE 48122.491
AT ITER 1882 NEW BEST:: SOT 180757 SOS 62485 HAS SOPS 62485 HAS SOUS 48054 HAS SOUPS 48054 WITH SCORE 48116.485
AT ITER 1901 NEW BEST:: SOT 180772 SOS 62507 HAS SOPS 62507 HAS SOUS 48040 HAS SOUPS 48040 WITH SCORE 48102.507
AT ITER 1903 NEW BEST:: SOT 180708 SOS 62429 HAS SOPS 62429 HAS SOUS 48012 HAS SOUPS 48012 WITH SCORE 48074.429
AT ITER 1914 NEW BEST:: SOT 180679 SOS 62412 HAS SOPS 62412 HAS SOUS 47995 HAS SOUPS 47995 WITH SCORE 48057.412
AT ITER 1936 NEW BEST:: SOT 180724 SOS 62362 HAS SOPS 62362 HAS SOUS 47945 HAS SOUPS 47945 WITH SCORE 48007.362
AT ITER 1945 NEW BEST:: SOT 180736 SOS 62384 HAS SOPS 62384 HAS SOUS 47846 HAS SOUPS 47846 WITH SCORE 47908.384
AT ITER 1952 NEW BEST:: SOT 180852 SOS 62279 HAS SOPS 62279 HAS SOUS 47741 HAS SOUPS 47741 WITH SCORE 47803.279
AT ITER 1965 NEW BEST:: SOT 180860 SOS 62327 HAS SOPS 62327 HAS SOUS 47730 HAS SOUPS 47730 WITH SCORE 47792.327
AT ITER 1986 NEW BEST:: SOT 180852 SOS 62214 HAS SOPS 62214 HAS SOUS 47687 HAS SOUPS 47687 WITH SCORE 47749.214
AT ITER 1987 NEW BEST:: SOT 180815 SOS 62140 HAS SOPS 62140 HAS SOUS 47613 HAS SOUPS 47613 WITH SCORE 47675.14
AT ITER 1995 NEW BEST:: SOT 180815 SOS 62140 HAS SOPS 62140 HAS SOUS 47612 HAS SOUPS 47612 WITH SCORE 47674.14
AT ITER 1997 NEW BEST:: SOT 180655 SOS 61979 HAS SOPS 61979 HAS SOUS 47610 HAS SOUPS 47610 WITH SCORE 47671.979
AT ITER 1999 NEW BEST:: SOT 180648 SOS 61965 HAS SOPS 61965 HAS SOUS 47596 HAS SOUPS 47596 WITH SCORE 47657.965
AT ITER 2021 NEW BEST:: SOT 180648 SOS 61965 HAS SOPS 61965 HAS SOUS 47590 HAS SOUPS 47590 WITH SCORE 47651.965
AT ITER 2022 NEW BEST:: SOT 180766 SOS 62044 HAS SOPS 62044 HAS SOUS 47512 HAS SOUPS 47512 WITH SCORE 47574.044
AT ITER 2054 NEW BEST:: SOT 180753 SOS 62002 HAS SOPS 62002 HAS SOUS 47470 HAS SOUPS 47470 WITH SCORE 47532.002
AT ITER 2068 NEW BEST:: SOT 180716 SOS 61928 HAS SOPS 61928 HAS SOUS 47433 HAS SOUPS 47433 WITH SCORE 47494.928
AT ITER 2072 NEW BEST:: SOT 180707 SOS 61962 HAS SOPS 61962 HAS SOUS 47427 HAS SOUPS 47427 WITH SCORE 47488.962
AT ITER 2086 NEW BEST:: SOT 180711 SOS 61862 HAS SOPS 61862 HAS SOUS 47377 HAS SOUPS 47377 WITH SCORE 47438.862
AT ITER 2094 NEW BEST:: SOT 180699 SOS 61850 HAS SOPS 61850 HAS SOUS 47365 HAS SOUPS 47365 WITH SCORE 47426.85
AT ITER 2132 NEW BEST:: SOT 180557 SOS 61794 HAS SOPS 61794 HAS SOUS 47309 HAS SOUPS 47309 WITH SCORE 47370.794
AT ITER 2137 NEW BEST:: SOT 180574 SOS 61811 HAS SOPS 61811 HAS SOUS 47289 HAS SOUPS 47289 WITH SCORE 47350.811
AT ITER 2141 NEW BEST:: SOT 180574 SOS 61766 HAS SOPS 61766 HAS SOUS 47244 HAS SOUPS 47244 WITH SCORE 47305.766
AT ITER 2150 NEW BEST:: SOT 180574 SOS 61758 HAS SOPS 61758 HAS SOUS 47236 HAS SOUPS 47236 WITH SCORE 47297.758
AT ITER 2157 NEW BEST:: SOT 180554 SOS 61746 HAS SOPS 61746 HAS SOUS 47224 HAS SOUPS 47224 WITH SCORE 47285.746
AT ITER 2161 NEW BEST:: SOT 180446 SOS 61485 HAS SOPS 61485 HAS SOUS 47088 HAS SOUPS 47088 WITH SCORE 47149.485
AT ITER 2176 NEW BEST:: SOT 180424 SOS 61441 HAS SOPS 61441 HAS SOUS 47066 HAS SOUPS 47066 WITH SCORE 47127.441
AT ITER 2197 NEW BEST:: SOT 180409 SOS 61350 HAS SOPS 61350 HAS SOUS 47036 HAS SOUPS 47036 WITH SCORE 47097.35
AT ITER 2231 NEW BEST:: SOT 180348 SOS 61289 HAS SOPS 61289 HAS SOUS 47036 HAS SOUPS 47036 WITH SCORE 47097.289
AT ITER 2239 NEW BEST:: SOT 180281 SOS 61099 HAS SOPS 61099 HAS SOUS 46846 HAS SOUPS 46846 WITH SCORE 46907.099
AT ITER 2243 NEW BEST:: SOT 180131 SOS 60799 HAS SOPS 60799 HAS SOUS 46546 HAS SOUPS 46546 WITH SCORE 46606.799
AT ITER 2244 NEW BEST:: SOT 180088 SOS 60762 HAS SOPS 60762 HAS SOUS 46509 HAS SOUPS 46509 WITH SCORE 46569.762
AT ITER 2251 NEW BEST:: SOT 180088 SOS 60794 HAS SOPS 60794 HAS SOUS 46469 HAS SOUPS 46469 WITH SCORE 46529.794
AT ITER 2258 NEW BEST:: SOT 180087 SOS 60701 HAS SOPS 60701 HAS SOUS 46376 HAS SOUPS 46376 WITH SCORE 46436.701
AT ITER 2265 NEW BEST:: SOT 180087 SOS 60693 HAS SOPS 60693 HAS SOUS 46368 HAS SOUPS 46368 WITH SCORE 46428.693
AT ITER 2281 NEW BEST:: SOT 180084 SOS 60690 HAS SOPS 60690 HAS SOUS 46365 HAS SOUPS 46365 WITH SCORE 46425.69
AT ITER 2284 NEW BEST:: SOT 180084 SOS 60690 HAS SOPS 60690 HAS SOUS 46364 HAS SOUPS 46364 WITH SCORE 46424.69
AT ITER 2296 NEW BEST:: SOT 180063 SOS 60669 HAS SOPS 60669 HAS SOUS 46343 HAS SOUPS 46343 WITH SCORE 46403.669
AT ITER 2299 NEW BEST:: SOT 180063 SOS 59709 HAS SOPS 59709 HAS SOUS 46343 HAS SOUPS 46343 WITH SCORE 46402.709
AT ITER 2314 NEW BEST:: SOT 180050 SOS 59683 HAS SOPS 59683 HAS SOUS 46317 HAS SOUPS 46317 WITH SCORE 46376.683
AT ITER 2327 NEW BEST:: SOT 180053 SOS 59644 HAS SOPS 59644 HAS SOUS 46298 HAS SOUPS 46298 WITH SCORE 46357.644
AT ITER 2344 NEW BEST:: SOT 179985 SOS 59559 HAS SOPS 59559 HAS SOUS 46265 HAS SOUPS 46265 WITH SCORE 46324.559
AT ITER 2353 NEW BEST:: SOT 179985 SOS 59550 HAS SOPS 59550 HAS SOUS 46257 HAS SOUPS 46257 WITH SCORE 46316.55
AT ITER 2355 NEW BEST:: SOT 179942 SOS 59507 HAS SOPS 59507 HAS SOUS 46257 HAS SOUPS 46257 WITH SCORE 46316.507
AT ITER 2362 NEW BEST:: SOT 179822 SOS 59253 HAS SOPS 59253 HAS SOUS 46003 HAS SOUPS 46003 WITH SCORE 46062.253
AT ITER 2370 NEW BEST:: SOT 179918 SOS 59349 HAS SOPS 59349 HAS SOUS 46002 HAS SOUPS 46002 WITH SCORE 46061.349
AT ITER 2375 NEW BEST:: SOT 180006 SOS 59347 HAS SOPS 59347 HAS SOUS 46002 HAS SOUPS 46002 WITH SCORE 46061.347
AT ITER 2424 NEW BEST:: SOT 179981 SOS 59331 HAS SOPS 59331 HAS SOUS 45986 HAS SOUPS 45986 WITH SCORE 46045.331
AT ITER 2426 NEW BEST:: SOT 179959 SOS 59363 HAS SOPS 59363 HAS SOUS 45983 HAS SOUPS 45983 WITH SCORE 46042.363
AT ITER 2442 NEW BEST:: SOT 179864 SOS 59267 HAS SOPS 59267 HAS SOUS 45888 HAS SOUPS 45888 WITH SCORE 45947.267
AT ITER 2459 NEW BEST:: SOT 179890 SOS 59225 HAS SOPS 59225 HAS SOUS 45766 HAS SOUPS 45766 WITH SCORE 45825.225
AT ITER 2460 NEW BEST:: SOT 179910 SOS 59265 HAS SOPS 59265 HAS SOUS 45761 HAS SOUPS 45761 WITH SCORE 45820.265
AT ITER 2465 NEW BEST:: SOT 179906 SOS 59261 HAS SOPS 59261 HAS SOUS 45757 HAS SOUPS 45757 WITH SCORE 45816.261
AT ITER 2481 NEW BEST:: SOT 179906 SOS 59247 HAS SOPS 59247 HAS SOUS 45729 HAS SOUPS 45729 WITH SCORE 45788.247
AT ITER 2485 NEW BEST:: SOT 179838 SOS 59149 HAS SOPS 59149 HAS SOUS 45669 HAS SOUPS 45669 WITH SCORE 45728.149
AT ITER 2495 NEW BEST:: SOT 179704 SOS 59015 HAS SOPS 59015 HAS SOUS 45535 HAS SOUPS 45535 WITH SCORE 45594.015
AT ITER 2506 NEW BEST:: SOT 179795 SOS 58945 HAS SOPS 58945 HAS SOUS 45488 HAS SOUPS 45488 WITH SCORE 45546.945
AT ITER 2521 NEW BEST:: SOT 179771 SOS 58897 HAS SOPS 58897 HAS SOUS 45463 HAS SOUPS 45463 WITH SCORE 45521.897
AT ITER 2540 NEW BEST:: SOT 179758 SOS 58871 HAS SOPS 58871 HAS SOUS 45437 HAS SOUPS 45437 WITH SCORE 45495.871
AT ITER 2575 NEW BEST:: SOT 179477 SOS 58703 HAS SOPS 58703 HAS SOUS 45269 HAS SOUPS 45269 WITH SCORE 45327.703
AT ITER 2584 NEW BEST:: SOT 179422 SOS 59265 HAS SOPS 59265 HAS SOUS 45225 HAS SOUPS 45225 WITH SCORE 45284.265
AT ITER 2610 NEW BEST:: SOT 179409 SOS 59497 HAS SOPS 59497 HAS SOUS 45212 HAS SOUPS 45212 WITH SCORE 45271.497
AT ITER 2620 NEW BEST:: SOT 179219 SOS 58934 HAS SOPS 58934 HAS SOUS 44876 HAS SOUPS 44876 WITH SCORE 44934.934
AT ITER 2621 NEW BEST:: SOT 179219 SOS 58894 HAS SOPS 58894 HAS SOUS 44836 HAS SOUPS 44836 WITH SCORE 44894.894
AT ITER 2635 NEW BEST:: SOT 179277 SOS 58924 HAS SOPS 58924 HAS SOUS 44805 HAS SOUPS 44805 WITH SCORE 44863.924
AT ITER 2647 NEW BEST:: SOT 179277 SOS 58913 HAS SOPS 58913 HAS SOUS 44794 HAS SOUPS 44794 WITH SCORE 44852.913
AT ITER 2652 NEW BEST:: SOT 179205 SOS 58877 HAS SOPS 58877 HAS SOUS 44732 HAS SOUPS 44732 WITH SCORE 44790.877
AT ITER 2655 NEW BEST:: SOT 179205 SOS 58829 HAS SOPS 58829 HAS SOUS 44732 HAS SOUPS 44732 WITH SCORE 44790.829
AT ITER 2661 NEW BEST:: SOT 179199 SOS 58823 HAS SOPS 58823 HAS SOUS 44726 HAS SOUPS 44726 WITH SCORE 44784.823
AT ITER 2735 NEW BEST:: SOT 179199 SOS 58794 HAS SOPS 58794 HAS SOUS 44697 HAS SOUPS 44697 WITH SCORE 44755.794
AT ITER 2757 NEW BEST:: SOT 179237 SOS 58741 HAS SOPS 58741 HAS SOUS 44697 HAS SOUPS 44697 WITH SCORE 44755.741
AT ITER 2769 NEW BEST:: SOT 179207 SOS 58651 HAS SOPS 58651 HAS SOUS 44667 HAS SOUPS 44667 WITH SCORE 44725.651
AT ITER 2778 NEW BEST:: SOT 179201 SOS 58645 HAS SOPS 58645 HAS SOUS 44661 HAS SOUPS 44661 WITH SCORE 44719.645
AT ITER 2797 NEW BEST:: SOT 179199 SOS 58643 HAS SOPS 58643 HAS SOUS 44658 HAS SOUPS 44658 WITH SCORE 44716.643
AT ITER 2800 NEW BEST:: SOT 179193 SOS 58631 HAS SOPS 58631 HAS SOUS 44644 HAS SOUPS 44644 WITH SCORE 44702.631
AT ITER 2812 NEW BEST:: SOT 179179 SOS 58619 HAS SOPS 58619 HAS SOUS 44632 HAS SOUPS 44632 WITH SCORE 44690.619
AT ITER 2825 NEW BEST:: SOT 179173 SOS 58601 HAS SOPS 58601 HAS SOUS 44622 HAS SOUPS 44622 WITH SCORE 44680.601
AT ITER 2836 NEW BEST:: SOT 178989 SOS 58417 HAS SOPS 58417 HAS SOUS 44378 HAS SOUPS 44378 WITH SCORE 44436.417
AT ITER 2845 NEW BEST:: SOT 178984 SOS 58412 HAS SOPS 58412 HAS SOUS 44373 HAS SOUPS 44373 WITH SCORE 44431.412
AT ITER 2852 NEW BEST:: SOT 179013 SOS 58330 HAS SOPS 58330 HAS SOUS 44367 HAS SOUPS 44367 WITH SCORE 44425.33
AT ITER 2861 NEW BEST:: SOT 178990 SOS 58284 HAS SOPS 58284 HAS SOUS 44321 HAS SOUPS 44321 WITH SCORE 44379.284
AT ITER 2868 NEW BEST:: SOT 178942 SOS 58200 HAS SOPS 58200 HAS SOUS 44269 HAS SOUPS 44269 WITH SCORE 44327.2
AT ITER 2872 NEW BEST:: SOT 178926 SOS 58152 HAS SOPS 58152 HAS SOUS 44237 HAS SOUPS 44237 WITH SCORE 44295.152
AT ITER 2910 NEW BEST:: SOT 178961 SOS 58125 HAS SOPS 58125 HAS SOUS 44210 HAS SOUPS 44210 WITH SCORE 44268.125
AT ITER 2937 NEW BEST:: SOT 178961 SOS 58125 HAS SOPS 58125 HAS SOUS 44200 HAS SOUPS 44200 WITH SCORE 44258.125
AT ITER 2943 NEW BEST:: SOT 178932 SOS 58067 HAS SOPS 58067 HAS SOUS 44142 HAS SOUPS 44142 WITH SCORE 44200.067
AT ITER 2955 NEW BEST:: SOT 178932 SOS 58055 HAS SOPS 58055 HAS SOUS 44130 HAS SOUPS 44130 WITH SCORE 44188.055
AT ITER 2958 NEW BEST:: SOT 178903 SOS 58048 HAS SOPS 58048 HAS SOUS 44123 HAS SOUPS 44123 WITH SCORE 44181.048
AT ITER 2959 NEW BEST:: SOT 178740 SOS 57885 HAS SOPS 57885 HAS SOUS 44115 HAS SOUPS 44115 WITH SCORE 44172.885
AT ITER 2979 NEW BEST:: SOT 178740 SOS 57885 HAS SOPS 57885 HAS SOUS 44106 HAS SOUPS 44106 WITH SCORE 44163.885
AT ITER 2982 NEW BEST:: SOT 178676 SOS 57821 HAS SOPS 57821 HAS SOUS 44042 HAS SOUPS 44042 WITH SCORE 44099.821
AT ITER 2994 NEW BEST:: SOT 178680 SOS 57792 HAS SOPS 57792 HAS SOUS 44013 HAS SOUPS 44013 WITH SCORE 44070.792
AT ITER 2996 NEW BEST:: SOT 178625 SOS 57737 HAS SOPS 57737 HAS SOUS 43958 HAS SOUPS 43958 WITH SCORE 44015.737
AT ITER 3019 NEW BEST:: SOT 178471 SOS 57611 HAS SOPS 57611 HAS SOUS 43779 HAS SOUPS 43779 WITH SCORE 43836.611
AT ITER 3020 NEW BEST:: SOT 178457 SOS 57597 HAS SOPS 57597 HAS SOUS 43765 HAS SOUPS 43765 WITH SCORE 43822.597
AT ITER 3029 NEW BEST:: SOT 178457 SOS 57595 HAS SOPS 57595 HAS SOUS 43765 HAS SOUPS 43765 WITH SCORE 43822.595
AT ITER 3038 NEW BEST:: SOT 178433 SOS 57571 HAS SOPS 57571 HAS SOUS 43765 HAS SOUPS 43765 WITH SCORE 43822.571
AT ITER 3049 NEW BEST:: SOT 178417 SOS 57555 HAS SOPS 57555 HAS SOUS 43749 HAS SOUPS 43749 WITH SCORE 43806.555
AT ITER 3069 NEW BEST:: SOT 178184 SOS 57246 HAS SOPS 57246 HAS SOUS 43556 HAS SOUPS 43556 WITH SCORE 43613.246
AT ITER 3075 NEW BEST:: SOT 178182 SOS 57244 HAS SOPS 57244 HAS SOUS 43554 HAS SOUPS 43554 WITH SCORE 43611.244
AT ITER 3077 NEW BEST:: SOT 178175 SOS 57230 HAS SOPS 57230 HAS SOUS 43540 HAS SOUPS 43540 WITH SCORE 43597.23
AT ITER 3087 NEW BEST:: SOT 178043 SOS 57097 HAS SOPS 57097 HAS SOUS 43407 HAS SOUPS 43407 WITH SCORE 43464.097
AT ITER 3090 NEW BEST:: SOT 178018 SOS 57088 HAS SOPS 57088 HAS SOUS 43398 HAS SOUPS 43398 WITH SCORE 43455.088
AT ITER 3093 NEW BEST:: SOT 178012 SOS 57082 HAS SOPS 57082 HAS SOUS 43392 HAS SOUPS 43392 WITH SCORE 43449.082
AT ITER 3122 NEW BEST:: SOT 177999 SOS 57069 HAS SOPS 57069 HAS SOUS 43379 HAS SOUPS 43379 WITH SCORE 43436.069
AT ITER 3134 NEW BEST:: SOT 177997 SOS 57067 HAS SOPS 57067 HAS SOUS 43350 HAS SOUPS 43350 WITH SCORE 43407.067
AT ITER 3142 NEW BEST:: SOT 177997 SOS 56893 HAS SOPS 56893 HAS SOUS 43313 HAS SOUPS 43313 WITH SCORE 43369.893
AT ITER 3157 NEW BEST:: SOT 177989 SOS 56885 HAS SOPS 56885 HAS SOUS 43305 HAS SOUPS 43305 WITH SCORE 43361.885
AT ITER 3179 NEW BEST:: SOT 177989 SOS 56885 HAS SOPS 56885 HAS SOUS 43288 HAS SOUPS 43288 WITH SCORE 43344.885
AT ITER 3191 NEW BEST:: SOT 177984 SOS 56875 HAS SOPS 56875 HAS SOUS 43278 HAS SOUPS 43278 WITH SCORE 43334.875
AT ITER 3196 NEW BEST:: SOT 177991 SOS 56866 HAS SOPS 56866 HAS SOUS 43268 HAS SOUPS 43268 WITH SCORE 43324.866
AT ITER 3205 NEW BEST:: SOT 177947 SOS 56822 HAS SOPS 56822 HAS SOUS 43224 HAS SOUPS 43224 WITH SCORE 43280.822
AT ITER 3214 NEW BEST:: SOT 177946 SOS 56654 HAS SOPS 56654 HAS SOUS 43184 HAS SOUPS 43184 WITH SCORE 43240.654
AT ITER 3220 NEW BEST:: SOT 177946 SOS 56764 HAS SOPS 56764 HAS SOUS 43183 HAS SOUPS 43183 WITH SCORE 43239.764
AT ITER 3222 NEW BEST:: SOT 177946 SOS 56764 HAS SOPS 56764 HAS SOUS 43172 HAS SOUPS 43172 WITH SCORE 43228.764
AT ITER 3242 NEW BEST:: SOT 177946 SOS 56763 HAS SOPS 56763 HAS SOUS 43171 HAS SOUPS 43171 WITH SCORE 43227.763
AT ITER 3243 NEW BEST:: SOT 177937 SOS 56744 HAS SOPS 56744 HAS SOUS 43152 HAS SOUPS 43152 WITH SCORE 43208.744
AT ITER 3287 NEW BEST:: SOT 177933 SOS 56732 HAS SOPS 56732 HAS SOUS 43140 HAS SOUPS 43140 WITH SCORE 43196.732
AT ITER 3303 NEW BEST:: SOT 177923 SOS 56725 HAS SOPS 56725 HAS SOUS 43133 HAS SOUPS 43133 WITH SCORE 43189.725
AT ITER 3319 NEW BEST:: SOT 177907 SOS 56675 HAS SOPS 56675 HAS SOUS 43083 HAS SOUPS 43083 WITH SCORE 43139.675
AT ITER 3320 NEW BEST:: SOT 177887 SOS 56672 HAS SOPS 56672 HAS SOUS 43080 HAS SOUPS 43080 WITH SCORE 43136.672
AT ITER 3323 NEW BEST:: SOT 177725 SOS 56310 HAS SOPS 56310 HAS SOUS 42980 HAS SOUPS 42980 WITH SCORE 43036.31
AT ITER 3325 NEW BEST:: SOT 177725 SOS 56304 HAS SOPS 56304 HAS SOUS 42974 HAS SOUPS 42974 WITH SCORE 43030.304
AT ITER 3354 NEW BEST:: SOT 177695 SOS 56299 HAS SOPS 56299 HAS SOUS 42969 HAS SOUPS 42969 WITH SCORE 43025.299
AT ITER 3365 NEW BEST:: SOT 177656 SOS 56170 HAS SOPS 56170 HAS SOUS 42924 HAS SOUPS 42924 WITH SCORE 42980.17
AT ITER 3367 NEW BEST:: SOT 177587 SOS 56082 HAS SOPS 56082 HAS SOUS 42905 HAS SOUPS 42905 WITH SCORE 42961.082
AT ITER 3371 NEW BEST:: SOT 177586 SOS 56080 HAS SOPS 56080 HAS SOUS 42904 HAS SOUPS 42904 WITH SCORE 42960.08
AT ITER 3379 NEW BEST:: SOT 177566 SOS 56060 HAS SOPS 56060 HAS SOUS 42894 HAS SOUPS 42894 WITH SCORE 42950.06
AT ITER 3385 NEW BEST:: SOT 177480 SOS 55902 HAS SOPS 55902 HAS SOUS 42736 HAS SOUPS 42736 WITH SCORE 42791.902
AT ITER 3401 NEW BEST:: SOT 177480 SOS 55867 HAS SOPS 55867 HAS SOUS 42691 HAS SOUPS 42691 WITH SCORE 42746.867
AT ITER 3404 NEW BEST:: SOT 177301 SOS 55504 HAS SOPS 55504 HAS SOUS 42328 HAS SOUPS 42328 WITH SCORE 42383.504
AT ITER 3416 NEW BEST:: SOT 177301 SOS 55394 HAS SOPS 55394 HAS SOUS 42218 HAS SOUPS 42218 WITH SCORE 42273.394
AT ITER 3428 NEW BEST:: SOT 177290 SOS 55372 HAS SOPS 55372 HAS SOUS 42187 HAS SOUPS 42187 WITH SCORE 42242.372
AT ITER 3433 NEW BEST:: SOT 177315 SOS 55355 HAS SOPS 55355 HAS SOUS 42170 HAS SOUPS 42170 WITH SCORE 42225.355
AT ITER 3461 NEW BEST:: SOT 176876 SOS 54965 HAS SOPS 54965 HAS SOUS 41821 HAS SOUPS 41821 WITH SCORE 41875.965
AT ITER 3467 NEW BEST:: SOT 176876 SOS 54915 HAS SOPS 54915 HAS SOUS 41819 HAS SOUPS 41819 WITH SCORE 41873.915
AT ITER 3499 NEW BEST:: SOT 176892 SOS 54947 HAS SOPS 54947 HAS SOUS 41788 HAS SOUPS 41788 WITH SCORE 41842.947
AT ITER 3523 NEW BEST:: SOT 176942 SOS 54873 HAS SOPS 54873 HAS SOUS 41714 HAS SOUPS 41714 WITH SCORE 41768.873
AT ITER 3530 NEW BEST:: SOT 176930 SOS 54861 HAS SOPS 54861 HAS SOUS 41702 HAS SOUPS 41702 WITH SCORE 41756.861
AT ITER 3532 NEW BEST:: SOT 176926 SOS 54853 HAS SOPS 54853 HAS SOUS 41694 HAS SOUPS 41694 WITH SCORE 41748.853
AT ITER 3536 NEW BEST:: SOT 176788 SOS 60133 HAS SOPS 60133 HAS SOUS 41641 HAS SOUPS 41641 WITH SCORE 41701.133
AT ITER 3553 NEW BEST:: SOT 176724 SOS 60008 HAS SOPS 60008 HAS SOUS 41516 HAS SOUPS 41516 WITH SCORE 41576.008
AT ITER 3558 NEW BEST:: SOT 176645 SOS 59929 HAS SOPS 59929 HAS SOUS 41516 HAS SOUPS 41516 WITH SCORE 41575.929
AT ITER 3600 NEW BEST:: SOT 176666 SOS 59917 HAS SOPS 59917 HAS SOUS 41504 HAS SOUPS 41504 WITH SCORE 41563.917
AT ITER 3614 NEW BEST:: SOT 176899 SOS 59835 HAS SOPS 59835 HAS SOUS 41422 HAS SOUPS 41422 WITH SCORE 41481.835
AT ITER 3638 NEW BEST:: SOT 176899 SOS 59835 HAS SOPS 59835 HAS SOUS 41417 HAS SOUPS 41417 WITH SCORE 41476.835
AT ITER 3640 NEW BEST:: SOT 176526 SOS 59633 HAS SOPS 59633 HAS SOUS 41280 HAS SOUPS 41280 WITH SCORE 41339.633
AT ITER 3693 NEW BEST:: SOT 176526 SOS 59614 HAS SOPS 59614 HAS SOUS 41261 HAS SOUPS 41261 WITH SCORE 41320.614
AT ITER 3703 NEW BEST:: SOT 176505 SOS 59593 HAS SOPS 59593 HAS SOUS 41240 HAS SOUPS 41240 WITH SCORE 41299.593
AT ITER 3723 NEW BEST:: SOT 176459 SOS 59515 HAS SOPS 59515 HAS SOUS 41162 HAS SOUPS 41162 WITH SCORE 41221.515
AT ITER 3784 NEW BEST:: SOT 176453 SOS 59501 HAS SOPS 59501 HAS SOUS 41156 HAS SOUPS 41156 WITH SCORE 41215.501
AT ITER 3790 NEW BEST:: SOT 176473 SOS 59504 HAS SOPS 59504 HAS SOUS 41122 HAS SOUPS 41122 WITH SCORE 41181.504
AT ITER 3792 NEW BEST:: SOT 176442 SOS 59473 HAS SOPS 59473 HAS SOUS 41091 HAS SOUPS 41091 WITH SCORE 41150.473
AT ITER 3805 NEW BEST:: SOT 176431 SOS 59430 HAS SOPS 59430 HAS SOUS 41048 HAS SOUPS 41048 WITH SCORE 41107.43
AT ITER 3823 NEW BEST:: SOT 176428 SOS 59424 HAS SOPS 59424 HAS SOUS 41042 HAS SOUPS 41042 WITH SCORE 41101.424
AT ITER 3893 NEW BEST:: SOT 176423 SOS 59419 HAS SOPS 59419 HAS SOUS 41037 HAS SOUPS 41037 WITH SCORE 41096.419
AT ITER 3908 NEW BEST:: SOT 176423 SOS 59414 HAS SOPS 59414 HAS SOUS 41032 HAS SOUPS 41032 WITH SCORE 41091.414
AT ITER 3911 NEW BEST:: SOT 176401 SOS 59392 HAS SOPS 59392 HAS SOUS 41010 HAS SOUPS 41010 WITH SCORE 41069.392
AT ITER 3912 NEW BEST:: SOT 176341 SOS 59350 HAS SOPS 59350 HAS SOUS 40968 HAS SOUPS 40968 WITH SCORE 41027.35
AT ITER 3913 NEW BEST:: SOT 176330 SOS 59321 HAS SOPS 59321 HAS SOUS 40955 HAS SOUPS 40955 WITH SCORE 41014.321
AT ITER 3927 NEW BEST:: SOT 176280 SOS 59162 HAS SOPS 59162 HAS SOUS 40942 HAS SOUPS 40942 WITH SCORE 41001.162
AT ITER 3933 NEW BEST:: SOT 176280 SOS 59143 HAS SOPS 59143 HAS SOUS 40923 HAS SOUPS 40923 WITH SCORE 40982.143
AT ITER 3962 NEW BEST:: SOT 176264 SOS 59158 HAS SOPS 59158 HAS SOUS 40907 HAS SOUPS 40907 WITH SCORE 40966.158
AT ITER 3974 NEW BEST:: SOT 176253 SOS 59136 HAS SOPS 59136 HAS SOUS 40885 HAS SOUPS 40885 WITH SCORE 40944.136
AT ITER 3978 NEW BEST:: SOT 176244 SOS 59118 HAS SOPS 59118 HAS SOUS 40867 HAS SOUPS 40867 WITH SCORE 40926.118
AT ITER 3980 NEW BEST:: SOT 176244 SOS 59097 HAS SOPS 59097 HAS SOUS 40846 HAS SOUPS 40846 WITH SCORE 40905.097
AT ITER 3990 NEW BEST:: SOT 176217 SOS 59070 HAS SOPS 59070 HAS SOUS 40846 HAS SOUPS 40846 WITH SCORE 40905.07
AT ITER 4056 NEW BEST:: SOT 176179 SOS 58994 HAS SOPS 58994 HAS SOUS 40770 HAS SOUPS 40770 WITH SCORE 40828.994
AT ITER 4066 NEW BEST:: SOT 176172 SOS 58980 HAS SOPS 58980 HAS SOUS 40756 HAS SOUPS 40756 WITH SCORE 40814.98
AT ITER 4103 NEW BEST:: SOT 176130 SOS 58917 HAS SOPS 58917 HAS SOUS 40693 HAS SOUPS 40693 WITH SCORE 40751.917
AT ITER 4127 NEW BEST:: SOT 176120 SOS 58912 HAS SOPS 58912 HAS SOUS 40683 HAS SOUPS 40683 WITH SCORE 40741.912
AT ITER 4136 NEW BEST:: SOT 176162 SOS 58893 HAS SOPS 58893 HAS SOUS 40561 HAS SOUPS 40561 WITH SCORE 40619.893
AT ITER 4178 NEW BEST:: SOT 176170 SOS 58875 HAS SOPS 58875 HAS SOUS 40543 HAS SOUPS 40543 WITH SCORE 40601.875
AT ITER 4202 NEW BEST:: SOT 176139 SOS 58813 HAS SOPS 58813 HAS SOUS 40481 HAS SOUPS 40481 WITH SCORE 40539.813
AT ITER 4208 NEW BEST:: SOT 176140 SOS 58809 HAS SOPS 58809 HAS SOUS 40477 HAS SOUPS 40477 WITH SCORE 40535.809
AT ITER 4219 NEW BEST:: SOT 176140 SOS 58809 HAS SOPS 58809 HAS SOUS 40465 HAS SOUPS 40465 WITH SCORE 40523.809
AT ITER 4249 NEW BEST:: SOT 176140 SOS 58774 HAS SOPS 58774 HAS SOUS 40465 HAS SOUPS 40465 WITH SCORE 40523.774
AT ITER 4265 NEW BEST:: SOT 176140 SOS 58770 HAS SOPS 58770 HAS SOUS 40461 HAS SOUPS 40461 WITH SCORE 40519.77
AT ITER 4304 NEW BEST:: SOT 176236 SOS 58717 HAS SOPS 58717 HAS SOUS 40301 HAS SOUPS 40301 WITH SCORE 40359.717
AT ITER 4393 NEW BEST:: SOT 176240 SOS 58713 HAS SOPS 58713 HAS SOUS 40301 HAS SOUPS 40301 WITH SCORE 40359.713
AT ITER 4424 NEW BEST:: SOT 176210 SOS 58672 HAS SOPS 58672 HAS SOUS 40294 HAS SOUPS 40294 WITH SCORE 40352.672
AT ITER 4433 NEW BEST:: SOT 176184 SOS 58660 HAS SOPS 58660 HAS SOUS 40282 HAS SOUPS 40282 WITH SCORE 40340.66
AT ITER 4435 NEW BEST:: SOT 176152 SOS 58628 HAS SOPS 58628 HAS SOUS 40250 HAS SOUPS 40250 WITH SCORE 40308.628
AT ITER 4445 NEW BEST:: SOT 176156 SOS 58569 HAS SOPS 58569 HAS SOUS 40102 HAS SOUPS 40102 WITH SCORE 40160.569
AT ITER 4448 NEW BEST:: SOT 176141 SOS 58554 HAS SOPS 58554 HAS SOUS 40087 HAS SOUPS 40087 WITH SCORE 40145.554
AT ITER 4452 NEW BEST:: SOT 176130 SOS 58545 HAS SOPS 58545 HAS SOUS 40078 HAS SOUPS 40078 WITH SCORE 40136.545
AT ITER 4453 NEW BEST:: SOT 176129 SOS 58543 HAS SOPS 58543 HAS SOUS 40076 HAS SOUPS 40076 WITH SCORE 40134.543
AT ITER 4515 NEW BEST:: SOT 176113 SOS 58527 HAS SOPS 58527 HAS SOUS 40060 HAS SOUPS 40060 WITH SCORE 40118.527
AT ITER 4533 NEW BEST:: SOT 176113 SOS 58518 HAS SOPS 58518 HAS SOUS 40042 HAS SOUPS 40042 WITH SCORE 40100.518
AT ITER 4540 NEW BEST:: SOT 176113 SOS 58512 HAS SOPS 58512 HAS SOUS 40036 HAS SOUPS 40036 WITH SCORE 40094.512
AT ITER 4555 NEW BEST:: SOT 176134 SOS 58656 HAS SOPS 58656 HAS SOUS 40030 HAS SOUPS 40030 WITH SCORE 40088.656
AT ITER 4559 NEW BEST:: SOT 176134 SOS 58611 HAS SOPS 58611 HAS SOUS 39985 HAS SOUPS 39985 WITH SCORE 40043.611
AT ITER 4570 NEW BEST:: SOT 176128 SOS 58605 HAS SOPS 58605 HAS SOUS 39979 HAS SOUPS 39979 WITH SCORE 40037.605
AT ITER 4588 NEW BEST:: SOT 176128 SOS 58634 HAS SOPS 58634 HAS SOUS 39978 HAS SOUPS 39978 WITH SCORE 40036.634
AT ITER 4605 NEW BEST:: SOT 176123 SOS 58624 HAS SOPS 58624 HAS SOUS 39968 HAS SOUPS 39968 WITH SCORE 40026.624
AT ITER 4608 NEW BEST:: SOT 176118 SOS 58653 HAS SOPS 58653 HAS SOUS 39963 HAS SOUPS 39963 WITH SCORE 40021.653
AT ITER 4616 NEW BEST:: SOT 176114 SOS 58659 HAS SOPS 58659 HAS SOUS 39959 HAS SOUPS 39959 WITH SCORE 40017.659
AT ITER 4617 NEW BEST:: SOT 176108 SOS 58653 HAS SOPS 58653 HAS SOUS 39953 HAS SOUPS 39953 WITH SCORE 40011.653
AT ITER 4630 NEW BEST:: SOT 176104 SOS 58645 HAS SOPS 58645 HAS SOUS 39945 HAS SOUPS 39945 WITH SCORE 40003.645
AT ITER 4640 NEW BEST:: SOT 175918 SOS 58211 HAS SOPS 58211 HAS SOUS 39762 HAS SOUPS 39762 WITH SCORE 39820.211
AT ITER 4646 NEW BEST:: SOT 175812 SOS 58253 HAS SOPS 58253 HAS SOUS 39701 HAS SOUPS 39701 WITH SCORE 39759.253
AT ITER 4664 NEW BEST:: SOT 175786 SOS 58227 HAS SOPS 58227 HAS SOUS 39675 HAS SOUPS 39675 WITH SCORE 39733.227
AT ITER 4680 NEW BEST:: SOT 175872 SOS 58213 HAS SOPS 58213 HAS SOUS 39661 HAS SOUPS 39661 WITH SCORE 39719.213
AT ITER 4696 NEW BEST:: SOT 175841 SOS 58151 HAS SOPS 58151 HAS SOUS 39599 HAS SOUPS 39599 WITH SCORE 39657.151
AT ITER 4699 NEW BEST:: SOT 175826 SOS 58136 HAS SOPS 58136 HAS SOUS 39584 HAS SOUPS 39584 WITH SCORE 39642.136
AT ITER 4740 NEW BEST:: SOT 175822 SOS 58132 HAS SOPS 58132 HAS SOUS 39578 HAS SOUPS 39578 WITH SCORE 39636.132
AT ITER 4760 NEW BEST:: SOT 175822 SOS 58110 HAS SOPS 58110 HAS SOUS 39556 HAS SOUPS 39556 WITH SCORE 39614.11
AT ITER 4784 NEW BEST:: SOT 175743 SOS 58067 HAS SOPS 58067 HAS SOUS 39513 HAS SOUPS 39513 WITH SCORE 39571.067
AT ITER 4789 NEW BEST:: SOT 175756 SOS 58063 HAS SOPS 58063 HAS SOUS 39509 HAS SOUPS 39509 WITH SCORE 39567.063
AT ITER 4795 NEW BEST:: SOT 175783 SOS 58043 HAS SOPS 58043 HAS SOUS 39489 HAS SOUPS 39489 WITH SCORE 39547.043
AT ITER 4799 NEW BEST:: SOT 175732 SOS 58015 HAS SOPS 58015 HAS SOUS 39461 HAS SOUPS 39461 WITH SCORE 39519.015
AT ITER 4816 NEW BEST:: SOT 175730 SOS 58013 HAS SOPS 58013 HAS SOUS 39459 HAS SOUPS 39459 WITH SCORE 39517.013
AT ITER 4825 NEW BEST:: SOT 175730 SOS 57994 HAS SOPS 57994 HAS SOUS 39440 HAS SOUPS 39440 WITH SCORE 39497.994
AT ITER 4841 NEW BEST:: SOT 175726 SOS 57986 HAS SOPS 57986 HAS SOUS 39432 HAS SOUPS 39432 WITH SCORE 39489.986
AT ITER 4843 NEW BEST:: SOT 175726 SOS 57978 HAS SOPS 57978 HAS SOUS 39424 HAS SOUPS 39424 WITH SCORE 39481.978
AT ITER 4845 NEW BEST:: SOT 175726 SOS 57978 HAS SOPS 57978 HAS SOUS 39388 HAS SOUPS 39388 WITH SCORE 39445.978
AT ITER 4857 NEW BEST:: SOT 175716 SOS 57958 HAS SOPS 57958 HAS SOUS 39378 HAS SOUPS 39378 WITH SCORE 39435.958
AT ITER 4865 NEW BEST:: SOT 175714 SOS 57948 HAS SOPS 57948 HAS SOUS 39368 HAS SOUPS 39368 WITH SCORE 39425.948
AT ITER 4886 NEW BEST:: SOT 175693 SOS 57927 HAS SOPS 57927 HAS SOUS 39347 HAS SOUPS 39347 WITH SCORE 39404.927
AT ITER 4892 NEW BEST:: SOT 175721 SOS 57886 HAS SOPS 57886 HAS SOUS 39323 HAS SOUPS 39323 WITH SCORE 39380.886
AT ITER 4900 NEW BEST:: SOT 175717 SOS 57878 HAS SOPS 57878 HAS SOUS 39315 HAS SOUPS 39315 WITH SCORE 39372.878
AT ITER 4901 NEW BEST:: SOT 175766 SOS 57866 HAS SOPS 57866 HAS SOUS 39303 HAS SOUPS 39303 WITH SCORE 39360.866
AT ITER 4903 NEW BEST:: SOT 175766 SOS 57834 HAS SOPS 57834 HAS SOUS 39271 HAS SOUPS 39271 WITH SCORE 39328.834
AT ITER 4905 NEW BEST:: SOT 175729 SOS 57810 HAS SOPS 57810 HAS SOUS 39247 HAS SOUPS 39247 WITH SCORE 39304.81
AT ITER 4923 NEW BEST:: SOT 175746 SOS 57800 HAS SOPS 57800 HAS SOUS 39193 HAS SOUPS 39193 WITH SCORE 39250.8
AT ITER 4936 NEW BEST:: SOT 175759 SOS 57796 HAS SOPS 57796 HAS SOUS 39170 HAS SOUPS 39170 WITH SCORE 39227.796
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-00 (! (EF((AG( potential( ( 2 ) <= (tk(P263)) ))))))
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-01 (EU( (EF(potential( ( 3 ) <= (tk(P190)) ))),(EF(potential( ( 2 ) <= (tk(P132)) ))) ))
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-02 (EF(( (EF(potential( ( 2 ) <= (tk(P565)) ))) & (EF(potential( (tk(P362)) <= (tk(P575)) ))) )))
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-03 (EF((! ( ( potential( (tk(P80)) <= (tk(P4)) ) | potential( ( 1 ) <= (tk(P138)) ) ) | (! potential( ( 1 ) <= (tk(P421)) )) ))))
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-04 ( ( (EF(potential( ( 3 ) <= (tk(P4)) ))) & (EX( ( potential( (tk(P520)) <= (tk(P129)) ) | potential( ( 1 ) <= (tk(P577)) ) ))) ) | (AX( ( ( potential( (tk(P9)) <= (tk(P491)) ) & potential( ( 3 ) <= (tk(P464)) ) ) | (! potential( (tk(P431)) <= (tk(P253)) )) ))) )
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-05 ( ( ( (EF(potential( ( 1 ) <= (tk(P185)) ))) | (EG( potential( ( 1 ) <= (tk(P553)) ))) ) & (AX( ( potential( (tk(P563)) <= (tk(P338)) ) & potential( (tk(P321)) <= (tk(P435)) ) ))) ) | ( (AU( potential( (tk(P532)) <= (tk(P298)) ),potential( ( 2 ) <= (tk(P162)) ) )) & (! ( ( potential( (tk(P293)) <= (tk(P60)) ) & potential( ( 2 ) <= (tk(P82)) ) ) & potential( ( 2 ) <= (tk(P495)) ) )) ) )
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-06 (AG( (AF(potential( (tk(P327)) <= (tk(P251)) )))))
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-07 (AG( (! (AF(potential( ( 2 ) <= (tk(P374)) ))))))
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-08 (AG( potential( (tk(P493)) <= (tk(P113)) )))
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-09 (AX( (EF((! potential( (tk(P223)) <= (tk(P48)) ))))))
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-10 (AF((EU( potential( (tk(P518)) <= (tk(P497)) ),potential( ( 2 ) <= (tk(P395)) ) ))))
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-11 ( potential( (tk(P543)) <= (tk(P474)) ) & (AG( (EX( potential( (tk(P354)) <= (tk(P43)) ))))) )
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-12 ( (AX( (EF(potential( ( 3 ) <= (tk(P560)) ))))) | (EU( potential( ( 1 ) <= (tk(P282)) ),( potential( ( 3 ) <= (tk(P403)) ) & potential( (tk(P570)) <= (tk(P327)) ) ) )) )
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-13 (AG( potential( (tk(P523)) <= (tk(P462)) )))
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-14 (AG( (! ( ( potential( (tk(P140)) <= (tk(P350)) ) & potential( (tk(P58)) <= (tk(P134)) ) ) & ( potential( ( 2 ) <= (tk(P540)) ) & potential( (tk(P101)) <= (tk(P12)) ) ) ))))
PROPERTY: BusinessProcesses-PT-13-CTLCardinality-15 (EF((! (EG( potential( (tk(P304)) <= (tk(P314)) ))))))

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

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