fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r018-oct2-158897680200563
Last Updated
Jun 28, 2020

About the Execution of smart for BusinessProcesses-PT-15

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15767.230 3600000.00 3600030.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680200563.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-15, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200563
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1590869256948

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 15
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: 630 places, 566 transitions, 1666 arcs.
AT ITER 0 NEW BEST:: SOT 225435 SOS 87383 HAS SOPS 87383 HAS SOUS 84782 HAS SOUPS 84782 WITH SCORE 84869.383
AT ITER 5 NEW BEST:: SOT 225434 SOS 87354 HAS SOPS 87354 HAS SOUS 84779 HAS SOUPS 84779 WITH SCORE 84866.354
AT ITER 11 NEW BEST:: SOT 225137 SOS 86971 HAS SOPS 86971 HAS SOUS 84396 HAS SOUPS 84396 WITH SCORE 84482.971
AT ITER 27 NEW BEST:: SOT 224950 SOS 86768 HAS SOPS 86768 HAS SOUS 84193 HAS SOUPS 84193 WITH SCORE 84279.768
AT ITER 37 NEW BEST:: SOT 224771 SOS 86549 HAS SOPS 86549 HAS SOUS 83974 HAS SOUPS 83974 WITH SCORE 84060.549
AT ITER 47 NEW BEST:: SOT 224771 SOS 86490 HAS SOPS 86490 HAS SOUS 83915 HAS SOUPS 83915 WITH SCORE 84001.49
AT ITER 51 NEW BEST:: SOT 224739 SOS 86488 HAS SOPS 86488 HAS SOUS 83882 HAS SOUPS 83882 WITH SCORE 83968.488
AT ITER 54 NEW BEST:: SOT 224699 SOS 86240 HAS SOPS 86240 HAS SOUS 83634 HAS SOUPS 83634 WITH SCORE 83720.24
AT ITER 57 NEW BEST:: SOT 224579 SOS 86000 HAS SOPS 86000 HAS SOUS 83394 HAS SOUPS 83394 WITH SCORE 83480.0
AT ITER 68 NEW BEST:: SOT 221311 SOS 83632 HAS SOPS 83632 HAS SOUS 80169 HAS SOUPS 80169 WITH SCORE 80252.632
AT ITER 77 NEW BEST:: SOT 221310 SOS 83630 HAS SOPS 83630 HAS SOUS 80167 HAS SOUPS 80167 WITH SCORE 80250.63
AT ITER 82 NEW BEST:: SOT 221310 SOS 83556 HAS SOPS 83556 HAS SOUS 80093 HAS SOUPS 80093 WITH SCORE 80176.556
AT ITER 124 NEW BEST:: SOT 221310 SOS 83556 HAS SOPS 83556 HAS SOUS 80081 HAS SOUPS 80081 WITH SCORE 80164.556
AT ITER 126 NEW BEST:: SOT 221308 SOS 83543 HAS SOPS 83543 HAS SOUS 80077 HAS SOUPS 80077 WITH SCORE 80160.543
AT ITER 131 NEW BEST:: SOT 221308 SOS 83488 HAS SOPS 83488 HAS SOUS 80077 HAS SOUPS 80077 WITH SCORE 80160.488
AT ITER 135 NEW BEST:: SOT 221263 SOS 83488 HAS SOPS 83488 HAS SOUS 80032 HAS SOUPS 80032 WITH SCORE 80115.488
AT ITER 151 NEW BEST:: SOT 221312 SOS 83475 HAS SOPS 83475 HAS SOUS 79845 HAS SOUPS 79845 WITH SCORE 79928.475
AT ITER 156 NEW BEST:: SOT 221263 SOS 83377 HAS SOPS 83377 HAS SOUS 79763 HAS SOUPS 79763 WITH SCORE 79846.377
AT ITER 161 NEW BEST:: SOT 221262 SOS 83375 HAS SOPS 83375 HAS SOUS 79761 HAS SOUPS 79761 WITH SCORE 79844.375
AT ITER 164 NEW BEST:: SOT 221262 SOS 83323 HAS SOPS 83323 HAS SOUS 79723 HAS SOUPS 79723 WITH SCORE 79806.323
AT ITER 171 NEW BEST:: SOT 221231 SOS 83286 HAS SOPS 83286 HAS SOUS 79686 HAS SOUPS 79686 WITH SCORE 79769.286
AT ITER 175 NEW BEST:: SOT 221231 SOS 83274 HAS SOPS 83274 HAS SOUS 79674 HAS SOUPS 79674 WITH SCORE 79757.274
AT ITER 180 NEW BEST:: SOT 221049 SOS 83043 HAS SOPS 83043 HAS SOUS 79443 HAS SOUPS 79443 WITH SCORE 79526.043
AT ITER 183 NEW BEST:: SOT 221046 SOS 82942 HAS SOPS 82942 HAS SOUS 79437 HAS SOUPS 79437 WITH SCORE 79519.942
AT ITER 187 NEW BEST:: SOT 221046 SOS 82894 HAS SOPS 82894 HAS SOUS 79389 HAS SOUPS 79389 WITH SCORE 79471.894
AT ITER 198 NEW BEST:: SOT 221045 SOS 82751 HAS SOPS 82751 HAS SOUS 79246 HAS SOUPS 79246 WITH SCORE 79328.751
AT ITER 201 NEW BEST:: SOT 221045 SOS 82677 HAS SOPS 82677 HAS SOUS 79172 HAS SOUPS 79172 WITH SCORE 79254.677
AT ITER 206 NEW BEST:: SOT 221045 SOS 82668 HAS SOPS 82668 HAS SOUS 79163 HAS SOUPS 79163 WITH SCORE 79245.668
AT ITER 211 NEW BEST:: SOT 221045 SOS 82639 HAS SOPS 82639 HAS SOUS 79134 HAS SOUPS 79134 WITH SCORE 79216.639
AT ITER 214 NEW BEST:: SOT 221045 SOS 82563 HAS SOPS 82563 HAS SOUS 79057 HAS SOUPS 79057 WITH SCORE 79139.563
AT ITER 231 NEW BEST:: SOT 221042 SOS 82560 HAS SOPS 82560 HAS SOUS 79054 HAS SOUPS 79054 WITH SCORE 79136.56
AT ITER 234 NEW BEST:: SOT 221042 SOS 82481 HAS SOPS 82481 HAS SOUS 78975 HAS SOUPS 78975 WITH SCORE 79057.481
AT ITER 248 NEW BEST:: SOT 220846 SOS 82206 HAS SOPS 82206 HAS SOUS 78700 HAS SOUPS 78700 WITH SCORE 78782.206
AT ITER 252 NEW BEST:: SOT 220829 SOS 82172 HAS SOPS 82172 HAS SOUS 78666 HAS SOUPS 78666 WITH SCORE 78748.172
AT ITER 259 NEW BEST:: SOT 220827 SOS 82168 HAS SOPS 82168 HAS SOUS 78662 HAS SOUPS 78662 WITH SCORE 78744.168
AT ITER 263 NEW BEST:: SOT 220714 SOS 82124 HAS SOPS 82124 HAS SOUS 78601 HAS SOUPS 78601 WITH SCORE 78683.124
AT ITER 278 NEW BEST:: SOT 220134 SOS 82275 HAS SOPS 82275 HAS SOUS 78343 HAS SOUPS 78343 WITH SCORE 78425.275
AT ITER 307 NEW BEST:: SOT 220134 SOS 82165 HAS SOPS 82165 HAS SOUS 78343 HAS SOUPS 78343 WITH SCORE 78425.165
AT ITER 318 NEW BEST:: SOT 219993 SOS 81998 HAS SOPS 81998 HAS SOUS 78176 HAS SOUPS 78176 WITH SCORE 78257.998
AT ITER 321 NEW BEST:: SOT 219817 SOS 81822 HAS SOPS 81822 HAS SOUS 78000 HAS SOUPS 78000 WITH SCORE 78081.822
AT ITER 324 NEW BEST:: SOT 219737 SOS 81594 HAS SOPS 81594 HAS SOUS 77772 HAS SOUPS 77772 WITH SCORE 77853.594
AT ITER 327 NEW BEST:: SOT 219734 SOS 81402 HAS SOPS 81402 HAS SOUS 77580 HAS SOUPS 77580 WITH SCORE 77661.402
AT ITER 331 NEW BEST:: SOT 219734 SOS 81380 HAS SOPS 81380 HAS SOUS 77558 HAS SOUPS 77558 WITH SCORE 77639.38
AT ITER 332 NEW BEST:: SOT 219733 SOS 81378 HAS SOPS 81378 HAS SOUS 77556 HAS SOUPS 77556 WITH SCORE 77637.378
AT ITER 355 NEW BEST:: SOT 219571 SOS 81269 HAS SOPS 81269 HAS SOUS 77447 HAS SOUPS 77447 WITH SCORE 77528.269
AT ITER 365 NEW BEST:: SOT 219466 SOS 81214 HAS SOPS 81214 HAS SOUS 77392 HAS SOUPS 77392 WITH SCORE 77473.214
AT ITER 373 NEW BEST:: SOT 217837 SOS 79635 HAS SOPS 79635 HAS SOUS 75788 HAS SOUPS 75788 WITH SCORE 75867.635
AT ITER 381 NEW BEST:: SOT 217667 SOS 79465 HAS SOPS 79465 HAS SOUS 75618 HAS SOUPS 75618 WITH SCORE 75697.465
AT ITER 386 NEW BEST:: SOT 217667 SOS 79437 HAS SOPS 79437 HAS SOUS 75590 HAS SOUPS 75590 WITH SCORE 75669.437
AT ITER 390 NEW BEST:: SOT 217601 SOS 79437 HAS SOPS 79437 HAS SOUS 75589 HAS SOUPS 75589 WITH SCORE 75668.437
AT ITER 397 NEW BEST:: SOT 215687 SOS 100000 HAS SOPS 100000 HAS SOUS 74128 HAS SOUPS 74128 WITH SCORE 74228.0
AT ITER 400 NEW BEST:: SOT 215605 SOS 99714 HAS SOPS 99714 HAS SOUS 74005 HAS SOUPS 74005 WITH SCORE 74104.714
AT ITER 407 NEW BEST:: SOT 212736 SOS 96899 HAS SOPS 96899 HAS SOUS 71190 HAS SOUPS 71190 WITH SCORE 71286.899
AT ITER 409 NEW BEST:: SOT 212604 SOS 96755 HAS SOPS 96755 HAS SOUS 71048 HAS SOUPS 71048 WITH SCORE 71144.755
AT ITER 412 NEW BEST:: SOT 212723 SOS 96665 HAS SOPS 96665 HAS SOUS 70976 HAS SOUPS 70976 WITH SCORE 71072.665
AT ITER 418 NEW BEST:: SOT 212694 SOS 96607 HAS SOPS 96607 HAS SOUS 70973 HAS SOUPS 70973 WITH SCORE 71069.607
AT ITER 421 NEW BEST:: SOT 212494 SOS 96361 HAS SOPS 96361 HAS SOUS 70881 HAS SOUPS 70881 WITH SCORE 70977.361
AT ITER 435 NEW BEST:: SOT 212233 SOS 95904 HAS SOPS 95904 HAS SOUS 70424 HAS SOUPS 70424 WITH SCORE 70519.904
AT ITER 440 NEW BEST:: SOT 212232 SOS 95902 HAS SOPS 95902 HAS SOUS 70422 HAS SOUPS 70422 WITH SCORE 70517.902
AT ITER 445 NEW BEST:: SOT 212096 SOS 95618 HAS SOPS 95618 HAS SOUS 70272 HAS SOUPS 70272 WITH SCORE 70367.618
AT ITER 451 NEW BEST:: SOT 212145 SOS 95632 HAS SOPS 95632 HAS SOUS 70235 HAS SOUPS 70235 WITH SCORE 70330.632
AT ITER 457 NEW BEST:: SOT 212075 SOS 95471 HAS SOPS 95471 HAS SOUS 70095 HAS SOUPS 70095 WITH SCORE 70190.471
AT ITER 468 NEW BEST:: SOT 212070 SOS 95466 HAS SOPS 95466 HAS SOUS 70090 HAS SOUPS 70090 WITH SCORE 70185.466
AT ITER 471 NEW BEST:: SOT 212070 SOS 95429 HAS SOPS 95429 HAS SOUS 70053 HAS SOUPS 70053 WITH SCORE 70148.429
AT ITER 478 NEW BEST:: SOT 211588 SOS 95018 HAS SOPS 95018 HAS SOUS 69860 HAS SOUPS 69860 WITH SCORE 69955.018
AT ITER 479 NEW BEST:: SOT 211440 SOS 94722 HAS SOPS 94722 HAS SOUS 69784 HAS SOUPS 69784 WITH SCORE 69878.722
AT ITER 496 NEW BEST:: SOT 211439 SOS 94720 HAS SOPS 94720 HAS SOUS 69782 HAS SOUPS 69782 WITH SCORE 69876.72
AT ITER 507 NEW BEST:: SOT 211061 SOS 94210 HAS SOPS 94210 HAS SOUS 69429 HAS SOUPS 69429 WITH SCORE 69523.21
AT ITER 515 NEW BEST:: SOT 210956 SOS 94063 HAS SOPS 94063 HAS SOUS 69345 HAS SOUPS 69345 WITH SCORE 69439.063
AT ITER 527 NEW BEST:: SOT 210956 SOS 93981 HAS SOPS 93981 HAS SOUS 69263 HAS SOUPS 69263 WITH SCORE 69356.981
AT ITER 529 NEW BEST:: SOT 210947 SOS 93972 HAS SOPS 93972 HAS SOUS 69254 HAS SOUPS 69254 WITH SCORE 69347.972
AT ITER 530 NEW BEST:: SOT 210947 SOS 93962 HAS SOPS 93962 HAS SOUS 69244 HAS SOUPS 69244 WITH SCORE 69337.962
AT ITER 533 NEW BEST:: SOT 210962 SOS 93694 HAS SOPS 93694 HAS SOUS 69167 HAS SOUPS 69167 WITH SCORE 69260.694
AT ITER 540 NEW BEST:: SOT 210902 SOS 93605 HAS SOPS 93605 HAS SOUS 69078 HAS SOUPS 69078 WITH SCORE 69171.605
AT ITER 542 NEW BEST:: SOT 210902 SOS 93605 HAS SOPS 93605 HAS SOUS 69077 HAS SOUPS 69077 WITH SCORE 69170.605
AT ITER 552 NEW BEST:: SOT 210894 SOS 93590 HAS SOPS 93590 HAS SOUS 69062 HAS SOUPS 69062 WITH SCORE 69155.59
AT ITER 553 NEW BEST:: SOT 210723 SOS 93418 HAS SOPS 93418 HAS SOUS 68890 HAS SOUPS 68890 WITH SCORE 68983.418
AT ITER 555 NEW BEST:: SOT 210432 SOS 93127 HAS SOPS 93127 HAS SOUS 68786 HAS SOUPS 68786 WITH SCORE 68879.127
AT ITER 562 NEW BEST:: SOT 210432 SOS 93116 HAS SOPS 93116 HAS SOUS 68775 HAS SOUPS 68775 WITH SCORE 68868.116
AT ITER 563 NEW BEST:: SOT 210222 SOS 92696 HAS SOPS 92696 HAS SOUS 68564 HAS SOUPS 68564 WITH SCORE 68656.696
AT ITER 568 NEW BEST:: SOT 210193 SOS 92670 HAS SOPS 92670 HAS SOUS 68538 HAS SOUPS 68538 WITH SCORE 68630.67
AT ITER 569 NEW BEST:: SOT 210130 SOS 92607 HAS SOPS 92607 HAS SOUS 68475 HAS SOUPS 68475 WITH SCORE 68567.607
AT ITER 580 NEW BEST:: SOT 210088 SOS 92565 HAS SOPS 92565 HAS SOUS 68433 HAS SOUPS 68433 WITH SCORE 68525.565
AT ITER 587 NEW BEST:: SOT 210070 SOS 92529 HAS SOPS 92529 HAS SOUS 68397 HAS SOUPS 68397 WITH SCORE 68489.529
AT ITER 588 NEW BEST:: SOT 210000 SOS 92459 HAS SOPS 92459 HAS SOUS 68397 HAS SOUPS 68397 WITH SCORE 68489.459
AT ITER 589 NEW BEST:: SOT 209982 SOS 92441 HAS SOPS 92441 HAS SOUS 68379 HAS SOUPS 68379 WITH SCORE 68471.441
AT ITER 603 NEW BEST:: SOT 209986 SOS 92362 HAS SOPS 92362 HAS SOUS 68315 HAS SOUPS 68315 WITH SCORE 68407.362
AT ITER 604 NEW BEST:: SOT 210023 SOS 92396 HAS SOPS 92396 HAS SOUS 68312 HAS SOUPS 68312 WITH SCORE 68404.396
AT ITER 607 NEW BEST:: SOT 209933 SOS 92216 HAS SOPS 92216 HAS SOUS 68220 HAS SOUPS 68220 WITH SCORE 68312.216
AT ITER 611 NEW BEST:: SOT 207667 SOS 89950 HAS SOPS 89950 HAS SOUS 66110 HAS SOUPS 66110 WITH SCORE 66199.95
AT ITER 620 NEW BEST:: SOT 207653 SOS 89936 HAS SOPS 89936 HAS SOUS 66096 HAS SOUPS 66096 WITH SCORE 66185.936
AT ITER 640 NEW BEST:: SOT 207450 SOS 89476 HAS SOPS 89476 HAS SOUS 65839 HAS SOUPS 65839 WITH SCORE 65928.476
AT ITER 651 NEW BEST:: SOT 207398 SOS 89292 HAS SOPS 89292 HAS SOUS 65735 HAS SOUPS 65735 WITH SCORE 65824.292
AT ITER 654 NEW BEST:: SOT 207355 SOS 89248 HAS SOPS 89248 HAS SOUS 65733 HAS SOUPS 65733 WITH SCORE 65822.248
AT ITER 664 NEW BEST:: SOT 207383 SOS 89200 HAS SOPS 89200 HAS SOUS 65708 HAS SOUPS 65708 WITH SCORE 65797.2
AT ITER 669 NEW BEST:: SOT 207331 SOS 89096 HAS SOPS 89096 HAS SOUS 65604 HAS SOUPS 65604 WITH SCORE 65693.096
AT ITER 672 NEW BEST:: SOT 207328 SOS 89093 HAS SOPS 89093 HAS SOUS 65601 HAS SOUPS 65601 WITH SCORE 65690.093
AT ITER 682 NEW BEST:: SOT 207230 SOS 89040 HAS SOPS 89040 HAS SOUS 65485 HAS SOUPS 65485 WITH SCORE 65574.04
AT ITER 695 NEW BEST:: SOT 207221 SOS 89013 HAS SOPS 89013 HAS SOUS 65467 HAS SOUPS 65467 WITH SCORE 65556.013
AT ITER 717 NEW BEST:: SOT 207212 SOS 88996 HAS SOPS 88996 HAS SOUS 65442 HAS SOUPS 65442 WITH SCORE 65530.996
AT ITER 723 NEW BEST:: SOT 205814 SOS 87595 HAS SOPS 87595 HAS SOUS 64041 HAS SOUPS 64041 WITH SCORE 64128.595
AT ITER 727 NEW BEST:: SOT 205793 SOS 87495 HAS SOPS 87495 HAS SOUS 63941 HAS SOUPS 63941 WITH SCORE 64028.495
AT ITER 742 NEW BEST:: SOT 205791 SOS 87493 HAS SOPS 87493 HAS SOUS 63939 HAS SOUPS 63939 WITH SCORE 64026.493
AT ITER 761 NEW BEST:: SOT 205778 SOS 87480 HAS SOPS 87480 HAS SOUS 63939 HAS SOUPS 63939 WITH SCORE 64026.48
AT ITER 763 NEW BEST:: SOT 205703 SOS 87219 HAS SOPS 87219 HAS SOUS 63678 HAS SOUPS 63678 WITH SCORE 63765.219
AT ITER 770 NEW BEST:: SOT 205591 SOS 87086 HAS SOPS 87086 HAS SOUS 63545 HAS SOUPS 63545 WITH SCORE 63632.086
AT ITER 772 NEW BEST:: SOT 205591 SOS 87059 HAS SOPS 87059 HAS SOUS 63529 HAS SOUPS 63529 WITH SCORE 63616.059
AT ITER 773 NEW BEST:: SOT 205617 SOS 87046 HAS SOPS 87046 HAS SOUS 63524 HAS SOUPS 63524 WITH SCORE 63611.046
AT ITER 805 NEW BEST:: SOT 205616 SOS 87045 HAS SOPS 87045 HAS SOUS 63523 HAS SOUPS 63523 WITH SCORE 63610.045
AT ITER 817 NEW BEST:: SOT 205615 SOS 86946 HAS SOPS 86946 HAS SOUS 63424 HAS SOUPS 63424 WITH SCORE 63510.946
AT ITER 818 NEW BEST:: SOT 205585 SOS 86886 HAS SOPS 86886 HAS SOUS 63364 HAS SOUPS 63364 WITH SCORE 63450.886
AT ITER 831 NEW BEST:: SOT 205581 SOS 86878 HAS SOPS 86878 HAS SOUS 63361 HAS SOUPS 63361 WITH SCORE 63447.878
AT ITER 838 NEW BEST:: SOT 205567 SOS 86850 HAS SOPS 86850 HAS SOUS 63333 HAS SOUPS 63333 WITH SCORE 63419.85
AT ITER 856 NEW BEST:: SOT 205554 SOS 86806 HAS SOPS 86806 HAS SOUS 63289 HAS SOUPS 63289 WITH SCORE 63375.806
AT ITER 863 NEW BEST:: SOT 205552 SOS 86809 HAS SOPS 86809 HAS SOUS 63274 HAS SOUPS 63274 WITH SCORE 63360.809
AT ITER 875 NEW BEST:: SOT 205551 SOS 86808 HAS SOPS 86808 HAS SOUS 63272 HAS SOUPS 63272 WITH SCORE 63358.808
AT ITER 880 NEW BEST:: SOT 205500 SOS 86650 HAS SOPS 86650 HAS SOUS 63065 HAS SOUPS 63065 WITH SCORE 63151.65
AT ITER 886 NEW BEST:: SOT 205470 SOS 86590 HAS SOPS 86590 HAS SOUS 63035 HAS SOUPS 63035 WITH SCORE 63121.59
AT ITER 890 NEW BEST:: SOT 205394 SOS 86567 HAS SOPS 86567 HAS SOUS 63012 HAS SOUPS 63012 WITH SCORE 63098.567
AT ITER 901 NEW BEST:: SOT 205362 SOS 86503 HAS SOPS 86503 HAS SOUS 62980 HAS SOUPS 62980 WITH SCORE 63066.503
AT ITER 914 NEW BEST:: SOT 205409 SOS 86520 HAS SOPS 86520 HAS SOUS 62887 HAS SOUPS 62887 WITH SCORE 62973.52
AT ITER 915 NEW BEST:: SOT 205379 SOS 86460 HAS SOPS 86460 HAS SOUS 62827 HAS SOUPS 62827 WITH SCORE 62913.46
AT ITER 923 NEW BEST:: SOT 205369 SOS 86450 HAS SOPS 86450 HAS SOUS 62817 HAS SOUPS 62817 WITH SCORE 62903.45
AT ITER 926 NEW BEST:: SOT 205369 SOS 86429 HAS SOPS 86429 HAS SOUS 62796 HAS SOUPS 62796 WITH SCORE 62882.429
AT ITER 941 NEW BEST:: SOT 205369 SOS 86533 HAS SOPS 86533 HAS SOUS 62795 HAS SOUPS 62795 WITH SCORE 62881.533
AT ITER 943 NEW BEST:: SOT 205292 SOS 86380 HAS SOPS 86380 HAS SOUS 62642 HAS SOUPS 62642 WITH SCORE 62728.38
AT ITER 946 NEW BEST:: SOT 205295 SOS 86328 HAS SOPS 86328 HAS SOUS 62590 HAS SOUPS 62590 WITH SCORE 62676.328
AT ITER 980 NEW BEST:: SOT 205276 SOS 86290 HAS SOPS 86290 HAS SOUS 62571 HAS SOUPS 62571 WITH SCORE 62657.29
AT ITER 987 NEW BEST:: SOT 205260 SOS 86270 HAS SOPS 86270 HAS SOUS 62563 HAS SOUPS 62563 WITH SCORE 62649.27
AT ITER 997 NEW BEST:: SOT 205227 SOS 86267 HAS SOPS 86267 HAS SOUS 62496 HAS SOUPS 62496 WITH SCORE 62582.267
AT ITER 1006 NEW BEST:: SOT 205285 SOS 86324 HAS SOPS 86324 HAS SOUS 62478 HAS SOUPS 62478 WITH SCORE 62564.324
AT ITER 1008 NEW BEST:: SOT 205318 SOS 86286 HAS SOPS 86286 HAS SOUS 62440 HAS SOUPS 62440 WITH SCORE 62526.286
AT ITER 1015 NEW BEST:: SOT 205217 SOS 86185 HAS SOPS 86185 HAS SOUS 62440 HAS SOUPS 62440 WITH SCORE 62526.185
AT ITER 1027 NEW BEST:: SOT 205118 SOS 86007 HAS SOPS 86007 HAS SOUS 62415 HAS SOUPS 62415 WITH SCORE 62501.007
AT ITER 1037 NEW BEST:: SOT 205118 SOS 85966 HAS SOPS 85966 HAS SOUS 62333 HAS SOUPS 62333 WITH SCORE 62418.966
AT ITER 1039 NEW BEST:: SOT 205032 SOS 85880 HAS SOPS 85880 HAS SOUS 62290 HAS SOUPS 62290 WITH SCORE 62375.88
AT ITER 1055 NEW BEST:: SOT 204845 SOS 85646 HAS SOPS 85646 HAS SOUS 62286 HAS SOUPS 62286 WITH SCORE 62371.646
AT ITER 1056 NEW BEST:: SOT 204844 SOS 85644 HAS SOPS 85644 HAS SOUS 62284 HAS SOUPS 62284 WITH SCORE 62369.644
AT ITER 1058 NEW BEST:: SOT 204844 SOS 85644 HAS SOPS 85644 HAS SOUS 62219 HAS SOUPS 62219 WITH SCORE 62304.644
AT ITER 1065 NEW BEST:: SOT 203977 SOS 85228 HAS SOPS 85228 HAS SOUS 61411 HAS SOUPS 61411 WITH SCORE 61496.228
AT ITER 1074 NEW BEST:: SOT 204234 SOS 85164 HAS SOPS 85164 HAS SOUS 61347 HAS SOUPS 61347 WITH SCORE 61432.164
AT ITER 1078 NEW BEST:: SOT 204233 SOS 85162 HAS SOPS 85162 HAS SOUS 61345 HAS SOUPS 61345 WITH SCORE 61430.162
AT ITER 1100 NEW BEST:: SOT 204224 SOS 85153 HAS SOPS 85153 HAS SOUS 61336 HAS SOUPS 61336 WITH SCORE 61421.153
AT ITER 1111 NEW BEST:: SOT 204224 SOS 85073 HAS SOPS 85073 HAS SOUS 61256 HAS SOUPS 61256 WITH SCORE 61341.073
AT ITER 1112 NEW BEST:: SOT 204223 SOS 85071 HAS SOPS 85071 HAS SOUS 61254 HAS SOUPS 61254 WITH SCORE 61339.071
AT ITER 1124 NEW BEST:: SOT 204192 SOS 85040 HAS SOPS 85040 HAS SOUS 61247 HAS SOUPS 61247 WITH SCORE 61332.04
AT ITER 1142 NEW BEST:: SOT 204189 SOS 85034 HAS SOPS 85034 HAS SOUS 61241 HAS SOUPS 61241 WITH SCORE 61326.034
AT ITER 1143 NEW BEST:: SOT 204189 SOS 85000 HAS SOPS 85000 HAS SOUS 61182 HAS SOUPS 61182 WITH SCORE 61267.0
AT ITER 1148 NEW BEST:: SOT 204174 SOS 84970 HAS SOPS 84970 HAS SOUS 61167 HAS SOUPS 61167 WITH SCORE 61251.97
AT ITER 1149 NEW BEST:: SOT 204077 SOS 84829 HAS SOPS 84829 HAS SOUS 61026 HAS SOUPS 61026 WITH SCORE 61110.829
AT ITER 1162 NEW BEST:: SOT 204171 SOS 84796 HAS SOPS 84796 HAS SOUS 60993 HAS SOUPS 60993 WITH SCORE 61077.796
AT ITER 1177 NEW BEST:: SOT 204170 SOS 84795 HAS SOPS 84795 HAS SOUS 60992 HAS SOUPS 60992 WITH SCORE 61076.795
AT ITER 1179 NEW BEST:: SOT 203732 SOS 84214 HAS SOPS 84214 HAS SOUS 60735 HAS SOUPS 60735 WITH SCORE 60819.214
AT ITER 1181 NEW BEST:: SOT 203759 SOS 84268 HAS SOPS 84268 HAS SOUS 60684 HAS SOUPS 60684 WITH SCORE 60768.268
AT ITER 1183 NEW BEST:: SOT 203734 SOS 83741 HAS SOPS 83741 HAS SOUS 60225 HAS SOUPS 60225 WITH SCORE 60308.741
AT ITER 1210 NEW BEST:: SOT 203699 SOS 83671 HAS SOPS 83671 HAS SOUS 60191 HAS SOUPS 60191 WITH SCORE 60274.671
AT ITER 1236 NEW BEST:: SOT 203421 SOS 83340 HAS SOPS 83340 HAS SOUS 60164 HAS SOUPS 60164 WITH SCORE 60247.34
AT ITER 1240 NEW BEST:: SOT 203416 SOS 83330 HAS SOPS 83330 HAS SOUS 60159 HAS SOUPS 60159 WITH SCORE 60242.33
AT ITER 1251 NEW BEST:: SOT 203484 SOS 83195 HAS SOPS 83195 HAS SOUS 60131 HAS SOUPS 60131 WITH SCORE 60214.195
AT ITER 1252 NEW BEST:: SOT 203306 SOS 82839 HAS SOPS 82839 HAS SOUS 59833 HAS SOUPS 59833 WITH SCORE 59915.839
AT ITER 1253 NEW BEST:: SOT 203263 SOS 82753 HAS SOPS 82753 HAS SOUS 59747 HAS SOUPS 59747 WITH SCORE 59829.753
AT ITER 1258 NEW BEST:: SOT 203237 SOS 82634 HAS SOPS 82634 HAS SOUS 59628 HAS SOUPS 59628 WITH SCORE 59710.634
AT ITER 1272 NEW BEST:: SOT 203030 SOS 82353 HAS SOPS 82353 HAS SOUS 59523 HAS SOUPS 59523 WITH SCORE 59605.353
AT ITER 1325 NEW BEST:: SOT 202928 SOS 82149 HAS SOPS 82149 HAS SOUS 59319 HAS SOUPS 59319 WITH SCORE 59401.149
AT ITER 1328 NEW BEST:: SOT 202901 SOS 82064 HAS SOPS 82064 HAS SOUS 59254 HAS SOUPS 59254 WITH SCORE 59336.064
AT ITER 1331 NEW BEST:: SOT 202867 SOS 81937 HAS SOPS 81937 HAS SOUS 59223 HAS SOUPS 59223 WITH SCORE 59304.937
AT ITER 1333 NEW BEST:: SOT 202867 SOS 81937 HAS SOPS 81937 HAS SOUS 59220 HAS SOUPS 59220 WITH SCORE 59301.937
AT ITER 1342 NEW BEST:: SOT 202870 SOS 81827 HAS SOPS 81827 HAS SOUS 59110 HAS SOUPS 59110 WITH SCORE 59191.827
AT ITER 1358 NEW BEST:: SOT 202651 SOS 81724 HAS SOPS 81724 HAS SOUS 59007 HAS SOUPS 59007 WITH SCORE 59088.724
AT ITER 1363 NEW BEST:: SOT 202714 SOS 81682 HAS SOPS 81682 HAS SOUS 58976 HAS SOUPS 58976 WITH SCORE 59057.682
AT ITER 1371 NEW BEST:: SOT 202603 SOS 81434 HAS SOPS 81434 HAS SOUS 58960 HAS SOUPS 58960 WITH SCORE 59041.434
AT ITER 1372 NEW BEST:: SOT 202579 SOS 81410 HAS SOPS 81410 HAS SOUS 58936 HAS SOUPS 58936 WITH SCORE 59017.41
AT ITER 1378 NEW BEST:: SOT 202532 SOS 81316 HAS SOPS 81316 HAS SOUS 58890 HAS SOUPS 58890 WITH SCORE 58971.316
AT ITER 1383 NEW BEST:: SOT 202577 SOS 81361 HAS SOPS 81361 HAS SOUS 58873 HAS SOUPS 58873 WITH SCORE 58954.361
AT ITER 1389 NEW BEST:: SOT 202681 SOS 81236 HAS SOPS 81236 HAS SOUS 58853 HAS SOUPS 58853 WITH SCORE 58934.236
AT ITER 1399 NEW BEST:: SOT 202671 SOS 81226 HAS SOPS 81226 HAS SOUS 58843 HAS SOUPS 58843 WITH SCORE 58924.226
AT ITER 1400 NEW BEST:: SOT 202609 SOS 81102 HAS SOPS 81102 HAS SOUS 58747 HAS SOUPS 58747 WITH SCORE 58828.102
AT ITER 1411 NEW BEST:: SOT 202615 SOS 81245 HAS SOPS 81245 HAS SOUS 58722 HAS SOUPS 58722 WITH SCORE 58803.245
AT ITER 1416 NEW BEST:: SOT 202542 SOS 81214 HAS SOPS 81214 HAS SOUS 58691 HAS SOUPS 58691 WITH SCORE 58772.214
AT ITER 1419 NEW BEST:: SOT 202470 SOS 80966 HAS SOPS 80966 HAS SOUS 58599 HAS SOUPS 58599 WITH SCORE 58679.966
AT ITER 1425 NEW BEST:: SOT 202470 SOS 80836 HAS SOPS 80836 HAS SOUS 58469 HAS SOUPS 58469 WITH SCORE 58549.836
AT ITER 1444 NEW BEST:: SOT 202445 SOS 80829 HAS SOPS 80829 HAS SOUS 58451 HAS SOUPS 58451 WITH SCORE 58531.829
AT ITER 1460 NEW BEST:: SOT 202370 SOS 80575 HAS SOPS 80575 HAS SOUS 58376 HAS SOUPS 58376 WITH SCORE 58456.575
AT ITER 1463 NEW BEST:: SOT 202308 SOS 80541 HAS SOPS 80541 HAS SOUS 58342 HAS SOUPS 58342 WITH SCORE 58422.541
AT ITER 1469 NEW BEST:: SOT 202291 SOS 80507 HAS SOPS 80507 HAS SOUS 58308 HAS SOUPS 58308 WITH SCORE 58388.507
AT ITER 1470 NEW BEST:: SOT 202275 SOS 80511 HAS SOPS 80511 HAS SOUS 58292 HAS SOUPS 58292 WITH SCORE 58372.511
AT ITER 1476 NEW BEST:: SOT 202209 SOS 80445 HAS SOPS 80445 HAS SOUS 58276 HAS SOUPS 58276 WITH SCORE 58356.445
AT ITER 1479 NEW BEST:: SOT 202160 SOS 80347 HAS SOPS 80347 HAS SOUS 58178 HAS SOUPS 58178 WITH SCORE 58258.347
AT ITER 1502 NEW BEST:: SOT 202234 SOS 80377 HAS SOPS 80377 HAS SOUS 58078 HAS SOUPS 58078 WITH SCORE 58158.377
AT ITER 1514 NEW BEST:: SOT 202234 SOS 80373 HAS SOPS 80373 HAS SOUS 58076 HAS SOUPS 58076 WITH SCORE 58156.373
AT ITER 1530 NEW BEST:: SOT 202157 SOS 80219 HAS SOPS 80219 HAS SOUS 57999 HAS SOUPS 57999 WITH SCORE 58079.219
AT ITER 1533 NEW BEST:: SOT 202157 SOS 80119 HAS SOPS 80119 HAS SOUS 57999 HAS SOUPS 57999 WITH SCORE 58079.119
AT ITER 1535 NEW BEST:: SOT 202167 SOS 80017 HAS SOPS 80017 HAS SOUS 57897 HAS SOUPS 57897 WITH SCORE 57977.017
AT ITER 1536 NEW BEST:: SOT 202122 SOS 79927 HAS SOPS 79927 HAS SOUS 57807 HAS SOUPS 57807 WITH SCORE 57886.927
AT ITER 1540 NEW BEST:: SOT 202043 SOS 79848 HAS SOPS 79848 HAS SOUS 57807 HAS SOUPS 57807 WITH SCORE 57886.848
AT ITER 1571 NEW BEST:: SOT 201925 SOS 79730 HAS SOPS 79730 HAS SOUS 57788 HAS SOUPS 57788 WITH SCORE 57867.73
AT ITER 1591 NEW BEST:: SOT 201916 SOS 79694 HAS SOPS 79694 HAS SOUS 57752 HAS SOUPS 57752 WITH SCORE 57831.694
AT ITER 1597 NEW BEST:: SOT 201883 SOS 79629 HAS SOPS 79629 HAS SOUS 57687 HAS SOUPS 57687 WITH SCORE 57766.629
AT ITER 1617 NEW BEST:: SOT 201883 SOS 79491 HAS SOPS 79491 HAS SOUS 57424 HAS SOUPS 57424 WITH SCORE 57503.491
AT ITER 1620 NEW BEST:: SOT 201856 SOS 79437 HAS SOPS 79437 HAS SOUS 57370 HAS SOUPS 57370 WITH SCORE 57449.437
AT ITER 1623 NEW BEST:: SOT 201757 SOS 79239 HAS SOPS 79239 HAS SOUS 57172 HAS SOUPS 57172 WITH SCORE 57251.239
AT ITER 1626 NEW BEST:: SOT 201663 SOS 79204 HAS SOPS 79204 HAS SOUS 57137 HAS SOUPS 57137 WITH SCORE 57216.204
AT ITER 1635 NEW BEST:: SOT 201606 SOS 79156 HAS SOPS 79156 HAS SOUS 57089 HAS SOUPS 57089 WITH SCORE 57168.156
AT ITER 1639 NEW BEST:: SOT 201678 SOS 79227 HAS SOPS 79227 HAS SOUS 57088 HAS SOUPS 57088 WITH SCORE 57167.227
AT ITER 1645 NEW BEST:: SOT 201678 SOS 79200 HAS SOPS 79200 HAS SOUS 57034 HAS SOUPS 57034 WITH SCORE 57113.2
AT ITER 1652 NEW BEST:: SOT 201663 SOS 79185 HAS SOPS 79185 HAS SOUS 57034 HAS SOUPS 57034 WITH SCORE 57113.185
AT ITER 1655 NEW BEST:: SOT 201629 SOS 79175 HAS SOPS 79175 HAS SOUS 57024 HAS SOUPS 57024 WITH SCORE 57103.175
AT ITER 1665 NEW BEST:: SOT 201605 SOS 79158 HAS SOPS 79158 HAS SOUS 57007 HAS SOUPS 57007 WITH SCORE 57086.158
AT ITER 1667 NEW BEST:: SOT 201610 SOS 79167 HAS SOPS 79167 HAS SOUS 57000 HAS SOUPS 57000 WITH SCORE 57079.167
AT ITER 1668 NEW BEST:: SOT 201519 SOS 79076 HAS SOPS 79076 HAS SOUS 56909 HAS SOUPS 56909 WITH SCORE 56988.076
AT ITER 1684 NEW BEST:: SOT 201519 SOS 79076 HAS SOPS 79076 HAS SOUS 56884 HAS SOUPS 56884 WITH SCORE 56963.076
AT ITER 1694 NEW BEST:: SOT 201384 SOS 79023 HAS SOPS 79023 HAS SOUS 56710 HAS SOUPS 56710 WITH SCORE 56789.023
AT ITER 1695 NEW BEST:: SOT 201365 SOS 78991 HAS SOPS 78991 HAS SOUS 56678 HAS SOUPS 56678 WITH SCORE 56756.991
AT ITER 1702 NEW BEST:: SOT 201230 SOS 78733 HAS SOPS 78733 HAS SOUS 56420 HAS SOUPS 56420 WITH SCORE 56498.733
AT ITER 1711 NEW BEST:: SOT 201187 SOS 78631 HAS SOPS 78631 HAS SOUS 56318 HAS SOUPS 56318 WITH SCORE 56396.631
AT ITER 1720 NEW BEST:: SOT 201301 SOS 78530 HAS SOPS 78530 HAS SOUS 56273 HAS SOUPS 56273 WITH SCORE 56351.53
AT ITER 1723 NEW BEST:: SOT 201294 SOS 78523 HAS SOPS 78523 HAS SOUS 56266 HAS SOUPS 56266 WITH SCORE 56344.523
AT ITER 1730 NEW BEST:: SOT 201292 SOS 78519 HAS SOPS 78519 HAS SOUS 56262 HAS SOUPS 56262 WITH SCORE 56340.519
AT ITER 1761 NEW BEST:: SOT 201196 SOS 78488 HAS SOPS 78488 HAS SOUS 56231 HAS SOUPS 56231 WITH SCORE 56309.488
AT ITER 1768 NEW BEST:: SOT 201173 SOS 78442 HAS SOPS 78442 HAS SOUS 56208 HAS SOUPS 56208 WITH SCORE 56286.442
AT ITER 1779 NEW BEST:: SOT 201138 SOS 78372 HAS SOPS 78372 HAS SOUS 56173 HAS SOUPS 56173 WITH SCORE 56251.372
AT ITER 1810 NEW BEST:: SOT 201110 SOS 78322 HAS SOPS 78322 HAS SOUS 56172 HAS SOUPS 56172 WITH SCORE 56250.322
AT ITER 1817 NEW BEST:: SOT 200930 SOS 78142 HAS SOPS 78142 HAS SOUS 56146 HAS SOUPS 56146 WITH SCORE 56224.142
AT ITER 1829 NEW BEST:: SOT 200942 SOS 78166 HAS SOPS 78166 HAS SOUS 56145 HAS SOUPS 56145 WITH SCORE 56223.166
AT ITER 1831 NEW BEST:: SOT 200786 SOS 78039 HAS SOPS 78039 HAS SOUS 56114 HAS SOUPS 56114 WITH SCORE 56192.039
AT ITER 1853 NEW BEST:: SOT 200756 SOS 78027 HAS SOPS 78027 HAS SOUS 56054 HAS SOUPS 56054 WITH SCORE 56132.027
AT ITER 1855 NEW BEST:: SOT 200755 SOS 78026 HAS SOPS 78026 HAS SOUS 56054 HAS SOUPS 56054 WITH SCORE 56132.026
AT ITER 1860 NEW BEST:: SOT 200575 SOS 77666 HAS SOPS 77666 HAS SOUS 55874 HAS SOUPS 55874 WITH SCORE 55951.666
AT ITER 1862 NEW BEST:: SOT 200571 SOS 77661 HAS SOPS 77661 HAS SOUS 55790 HAS SOUPS 55790 WITH SCORE 55867.661
AT ITER 1863 NEW BEST:: SOT 200554 SOS 77606 HAS SOPS 77606 HAS SOUS 55735 HAS SOUPS 55735 WITH SCORE 55812.606
AT ITER 1872 NEW BEST:: SOT 200696 SOS 77485 HAS SOPS 77485 HAS SOUS 55706 HAS SOUPS 55706 WITH SCORE 55783.485
AT ITER 1893 NEW BEST:: SOT 200573 SOS 77547 HAS SOPS 77547 HAS SOUS 55598 HAS SOUPS 55598 WITH SCORE 55675.547
AT ITER 1895 NEW BEST:: SOT 200438 SOS 77277 HAS SOPS 77277 HAS SOUS 55463 HAS SOUPS 55463 WITH SCORE 55540.277
AT ITER 1902 NEW BEST:: SOT 200362 SOS 76782 HAS SOPS 76782 HAS SOUS 55399 HAS SOUPS 55399 WITH SCORE 55475.782
AT ITER 1931 NEW BEST:: SOT 200361 SOS 76780 HAS SOPS 76780 HAS SOUS 55398 HAS SOUPS 55398 WITH SCORE 55474.78
AT ITER 1932 NEW BEST:: SOT 200347 SOS 76752 HAS SOPS 76752 HAS SOUS 55322 HAS SOUPS 55322 WITH SCORE 55398.752
AT ITER 1947 NEW BEST:: SOT 200332 SOS 76722 HAS SOPS 76722 HAS SOUS 55292 HAS SOUPS 55292 WITH SCORE 55368.722
AT ITER 1957 NEW BEST:: SOT 200294 SOS 76722 HAS SOPS 76722 HAS SOUS 55254 HAS SOUPS 55254 WITH SCORE 55330.722
AT ITER 1959 NEW BEST:: SOT 200231 SOS 76698 HAS SOPS 76698 HAS SOUS 55249 HAS SOUPS 55249 WITH SCORE 55325.698
AT ITER 1990 NEW BEST:: SOT 200203 SOS 76586 HAS SOPS 76586 HAS SOUS 55137 HAS SOUPS 55137 WITH SCORE 55213.586
AT ITER 2002 NEW BEST:: SOT 200195 SOS 76504 HAS SOPS 76504 HAS SOUS 55055 HAS SOUPS 55055 WITH SCORE 55131.504
AT ITER 2008 NEW BEST:: SOT 200140 SOS 76394 HAS SOPS 76394 HAS SOUS 54945 HAS SOUPS 54945 WITH SCORE 55021.394
AT ITER 2011 NEW BEST:: SOT 200135 SOS 76389 HAS SOPS 76389 HAS SOUS 54940 HAS SOUPS 54940 WITH SCORE 55016.389
AT ITER 2012 NEW BEST:: SOT 199984 SOS 76170 HAS SOPS 76170 HAS SOUS 54804 HAS SOUPS 54804 WITH SCORE 54880.17
AT ITER 2017 NEW BEST:: SOT 199921 SOS 76064 HAS SOPS 76064 HAS SOUS 54698 HAS SOUPS 54698 WITH SCORE 54774.064
AT ITER 2043 NEW BEST:: SOT 199932 SOS 74651 HAS SOPS 74651 HAS SOUS 54688 HAS SOUPS 54688 WITH SCORE 54762.651
AT ITER 2047 NEW BEST:: SOT 199920 SOS 74639 HAS SOPS 74639 HAS SOUS 54688 HAS SOUPS 54688 WITH SCORE 54762.639
AT ITER 2059 NEW BEST:: SOT 199877 SOS 74727 HAS SOPS 74727 HAS SOUS 54674 HAS SOUPS 54674 WITH SCORE 54748.727
AT ITER 2060 NEW BEST:: SOT 199867 SOS 74717 HAS SOPS 74717 HAS SOUS 54664 HAS SOUPS 54664 WITH SCORE 54738.717
AT ITER 2077 NEW BEST:: SOT 199832 SOS 74723 HAS SOPS 74723 HAS SOUS 54649 HAS SOUPS 54649 WITH SCORE 54723.723
AT ITER 2084 NEW BEST:: SOT 199590 SOS 74516 HAS SOPS 74516 HAS SOUS 54601 HAS SOUPS 54601 WITH SCORE 54675.516
AT ITER 2089 NEW BEST:: SOT 199590 SOS 74515 HAS SOPS 74515 HAS SOUS 54600 HAS SOUPS 54600 WITH SCORE 54674.515
AT ITER 2094 NEW BEST:: SOT 199607 SOS 74510 HAS SOPS 74510 HAS SOUS 54595 HAS SOUPS 54595 WITH SCORE 54669.51
AT ITER 2095 NEW BEST:: SOT 199607 SOS 74430 HAS SOPS 74430 HAS SOUS 54567 HAS SOUPS 54567 WITH SCORE 54641.43
AT ITER 2115 NEW BEST:: SOT 199596 SOS 74367 HAS SOPS 74367 HAS SOUS 54530 HAS SOUPS 54530 WITH SCORE 54604.367
AT ITER 2118 NEW BEST:: SOT 199554 SOS 74313 HAS SOPS 74313 HAS SOUS 54476 HAS SOUPS 54476 WITH SCORE 54550.313
AT ITER 2119 NEW BEST:: SOT 199507 SOS 74219 HAS SOPS 74219 HAS SOUS 54382 HAS SOUPS 54382 WITH SCORE 54456.219
AT ITER 2122 NEW BEST:: SOT 199299 SOS 73664 HAS SOPS 73664 HAS SOUS 54070 HAS SOUPS 54070 WITH SCORE 54143.664
AT ITER 2162 NEW BEST:: SOT 199298 SOS 73530 HAS SOPS 73530 HAS SOUS 53833 HAS SOUPS 53833 WITH SCORE 53906.53
AT ITER 2177 NEW BEST:: SOT 199245 SOS 73424 HAS SOPS 73424 HAS SOUS 53727 HAS SOUPS 53727 WITH SCORE 53800.424
AT ITER 2181 NEW BEST:: SOT 199227 SOS 73336 HAS SOPS 73336 HAS SOUS 53639 HAS SOUPS 53639 WITH SCORE 53712.336
AT ITER 2183 NEW BEST:: SOT 199183 SOS 73270 HAS SOPS 73270 HAS SOUS 53573 HAS SOUPS 53573 WITH SCORE 53646.27
AT ITER 2199 NEW BEST:: SOT 199182 SOS 73269 HAS SOPS 73269 HAS SOUS 53572 HAS SOUPS 53572 WITH SCORE 53645.269
AT ITER 2201 NEW BEST:: SOT 199162 SOS 73229 HAS SOPS 73229 HAS SOUS 53532 HAS SOUPS 53532 WITH SCORE 53605.229
AT ITER 2213 NEW BEST:: SOT 199083 SOS 73039 HAS SOPS 73039 HAS SOUS 53378 HAS SOUPS 53378 WITH SCORE 53451.039
AT ITER 2218 NEW BEST:: SOT 199075 SOS 73023 HAS SOPS 73023 HAS SOUS 53313 HAS SOUPS 53313 WITH SCORE 53386.023
AT ITER 2223 NEW BEST:: SOT 199075 SOS 72992 HAS SOPS 72992 HAS SOUS 53313 HAS SOUPS 53313 WITH SCORE 53385.992
AT ITER 2227 NEW BEST:: SOT 199045 SOS 72936 HAS SOPS 72936 HAS SOUS 53183 HAS SOUPS 53183 WITH SCORE 53255.936
AT ITER 2237 NEW BEST:: SOT 199060 SOS 72966 HAS SOPS 72966 HAS SOUS 53156 HAS SOUPS 53156 WITH SCORE 53228.966
AT ITER 2244 NEW BEST:: SOT 199044 SOS 72950 HAS SOPS 72950 HAS SOUS 53140 HAS SOUPS 53140 WITH SCORE 53212.95
AT ITER 2258 NEW BEST:: SOT 198995 SOS 72900 HAS SOPS 72900 HAS SOUS 53090 HAS SOUPS 53090 WITH SCORE 53162.9
AT ITER 2292 NEW BEST:: SOT 198930 SOS 72835 HAS SOPS 72835 HAS SOUS 53025 HAS SOUPS 53025 WITH SCORE 53097.835
AT ITER 2308 NEW BEST:: SOT 198797 SOS 72492 HAS SOPS 72492 HAS SOUS 52682 HAS SOUPS 52682 WITH SCORE 52754.492
AT ITER 2313 NEW BEST:: SOT 198774 SOS 72478 HAS SOPS 72478 HAS SOUS 52668 HAS SOUPS 52668 WITH SCORE 52740.478
AT ITER 2338 NEW BEST:: SOT 198773 SOS 72466 HAS SOPS 72466 HAS SOUS 52656 HAS SOUPS 52656 WITH SCORE 52728.466
AT ITER 2345 NEW BEST:: SOT 198790 SOS 72431 HAS SOPS 72431 HAS SOUS 52621 HAS SOUPS 52621 WITH SCORE 52693.431
AT ITER 2362 NEW BEST:: SOT 198739 SOS 72380 HAS SOPS 72380 HAS SOUS 52570 HAS SOUPS 52570 WITH SCORE 52642.38
AT ITER 2364 NEW BEST:: SOT 198564 SOS 72176 HAS SOPS 72176 HAS SOUS 52440 HAS SOUPS 52440 WITH SCORE 52512.176
AT ITER 2368 NEW BEST:: SOT 198564 SOS 72163 HAS SOPS 72163 HAS SOUS 52427 HAS SOUPS 52427 WITH SCORE 52499.163
AT ITER 2381 NEW BEST:: SOT 198642 SOS 72031 HAS SOPS 72031 HAS SOUS 52295 HAS SOUPS 52295 WITH SCORE 52367.031
AT ITER 2389 NEW BEST:: SOT 198582 SOS 71911 HAS SOPS 71911 HAS SOUS 52175 HAS SOUPS 52175 WITH SCORE 52246.911
AT ITER 2396 NEW BEST:: SOT 198582 SOS 71911 HAS SOPS 71911 HAS SOUS 52168 HAS SOUPS 52168 WITH SCORE 52239.911
AT ITER 2409 NEW BEST:: SOT 198578 SOS 71812 HAS SOPS 71812 HAS SOUS 51974 HAS SOUPS 51974 WITH SCORE 52045.812
AT ITER 2452 NEW BEST:: SOT 198644 SOS 71877 HAS SOPS 71877 HAS SOUS 51972 HAS SOUPS 51972 WITH SCORE 52043.877
AT ITER 2464 NEW BEST:: SOT 198644 SOS 71861 HAS SOPS 71861 HAS SOUS 51956 HAS SOUPS 51956 WITH SCORE 52027.861
AT ITER 2512 NEW BEST:: SOT 198681 SOS 71818 HAS SOPS 71818 HAS SOUS 51913 HAS SOUPS 51913 WITH SCORE 51984.818
AT ITER 2529 NEW BEST:: SOT 198906 SOS 71948 HAS SOPS 71948 HAS SOUS 51864 HAS SOUPS 51864 WITH SCORE 51935.948
AT ITER 2530 NEW BEST:: SOT 198850 SOS 71879 HAS SOPS 71879 HAS SOUS 51795 HAS SOUPS 51795 WITH SCORE 51866.879
AT ITER 2549 NEW BEST:: SOT 198850 SOS 71878 HAS SOPS 71878 HAS SOUS 51794 HAS SOUPS 51794 WITH SCORE 51865.878
AT ITER 2581 NEW BEST:: SOT 198850 SOS 71850 HAS SOPS 71850 HAS SOUS 51766 HAS SOUPS 51766 WITH SCORE 51837.85
AT ITER 2599 NEW BEST:: SOT 198841 SOS 71832 HAS SOPS 71832 HAS SOUS 51748 HAS SOUPS 51748 WITH SCORE 51819.832
AT ITER 2610 NEW BEST:: SOT 198999 SOS 71937 HAS SOPS 71937 HAS SOUS 51739 HAS SOUPS 51739 WITH SCORE 51810.937
AT ITER 2632 NEW BEST:: SOT 198845 SOS 71706 HAS SOPS 71706 HAS SOUS 51585 HAS SOUPS 51585 WITH SCORE 51656.706
AT ITER 2638 NEW BEST:: SOT 198834 SOS 71695 HAS SOPS 71695 HAS SOUS 51574 HAS SOUPS 51574 WITH SCORE 51645.695
AT ITER 2642 NEW BEST:: SOT 198842 SOS 71695 HAS SOPS 71695 HAS SOUS 51571 HAS SOUPS 51571 WITH SCORE 51642.695
AT ITER 2651 NEW BEST:: SOT 198815 SOS 71518 HAS SOPS 71518 HAS SOUS 51394 HAS SOUPS 51394 WITH SCORE 51465.518
AT ITER 2681 NEW BEST:: SOT 198816 SOS 71441 HAS SOPS 71441 HAS SOUS 51317 HAS SOUPS 51317 WITH SCORE 51388.441
AT ITER 2689 NEW BEST:: SOT 198827 SOS 71440 HAS SOPS 71440 HAS SOUS 51316 HAS SOUPS 51316 WITH SCORE 51387.44
AT ITER 2699 NEW BEST:: SOT 198449 SOS 71014 HAS SOPS 71014 HAS SOUS 50871 HAS SOUPS 50871 WITH SCORE 50942.014
AT ITER 2750 NEW BEST:: SOT 198427 SOS 70992 HAS SOPS 70992 HAS SOUS 50871 HAS SOUPS 50871 WITH SCORE 50941.992
AT ITER 2807 NEW BEST:: SOT 198439 SOS 70979 HAS SOPS 70979 HAS SOUS 50858 HAS SOUPS 50858 WITH SCORE 50928.979
AT ITER 2819 NEW BEST:: SOT 198362 SOS 70894 HAS SOPS 70894 HAS SOUS 50773 HAS SOUPS 50773 WITH SCORE 50843.894
AT ITER 2822 NEW BEST:: SOT 198346 SOS 70850 HAS SOPS 70850 HAS SOUS 50701 HAS SOUPS 50701 WITH SCORE 50771.85
AT ITER 2835 NEW BEST:: SOT 198429 SOS 70902 HAS SOPS 70902 HAS SOUS 50688 HAS SOUPS 50688 WITH SCORE 50758.902
AT ITER 2844 NEW BEST:: SOT 198379 SOS 70852 HAS SOPS 70852 HAS SOUS 50638 HAS SOUPS 50638 WITH SCORE 50708.852
AT ITER 2856 NEW BEST:: SOT 198253 SOS 70788 HAS SOPS 70788 HAS SOUS 50570 HAS SOUPS 50570 WITH SCORE 50640.788
AT ITER 2863 NEW BEST:: SOT 198187 SOS 70656 HAS SOPS 70656 HAS SOUS 50438 HAS SOUPS 50438 WITH SCORE 50508.656
AT ITER 2864 NEW BEST:: SOT 198160 SOS 70562 HAS SOPS 70562 HAS SOUS 50344 HAS SOUPS 50344 WITH SCORE 50414.562
AT ITER 2890 NEW BEST:: SOT 198153 SOS 70523 HAS SOPS 70523 HAS SOUS 50305 HAS SOUPS 50305 WITH SCORE 50375.523
AT ITER 2895 NEW BEST:: SOT 198162 SOS 70498 HAS SOPS 70498 HAS SOUS 50280 HAS SOUPS 50280 WITH SCORE 50350.498
AT ITER 2906 NEW BEST:: SOT 198199 SOS 70526 HAS SOPS 70526 HAS SOUS 50263 HAS SOUPS 50263 WITH SCORE 50333.526
AT ITER 2946 NEW BEST:: SOT 198223 SOS 70515 HAS SOPS 70515 HAS SOUS 50252 HAS SOUPS 50252 WITH SCORE 50322.515
AT ITER 2949 NEW BEST:: SOT 198197 SOS 70476 HAS SOPS 70476 HAS SOUS 50226 HAS SOUPS 50226 WITH SCORE 50296.476
AT ITER 2961 NEW BEST:: SOT 198145 SOS 70468 HAS SOPS 70468 HAS SOUS 50224 HAS SOUPS 50224 WITH SCORE 50294.468
AT ITER 2971 NEW BEST:: SOT 198127 SOS 70450 HAS SOPS 70450 HAS SOUS 50206 HAS SOUPS 50206 WITH SCORE 50276.45
AT ITER 2989 NEW BEST:: SOT 198127 SOS 70313 HAS SOPS 70313 HAS SOUS 50109 HAS SOUPS 50109 WITH SCORE 50179.313
AT ITER 2991 NEW BEST:: SOT 198127 SOS 70313 HAS SOPS 70313 HAS SOUS 50088 HAS SOUPS 50088 WITH SCORE 50158.313
AT ITER 2997 NEW BEST:: SOT 198119 SOS 70301 HAS SOPS 70301 HAS SOUS 50080 HAS SOUPS 50080 WITH SCORE 50150.301
AT ITER 3022 NEW BEST:: SOT 198109 SOS 70281 HAS SOPS 70281 HAS SOUS 50060 HAS SOUPS 50060 WITH SCORE 50130.281
AT ITER 3048 NEW BEST:: SOT 197976 SOS 70094 HAS SOPS 70094 HAS SOUS 49898 HAS SOUPS 49898 WITH SCORE 49968.094
AT ITER 3052 NEW BEST:: SOT 197949 SOS 70041 HAS SOPS 70041 HAS SOUS 49845 HAS SOUPS 49845 WITH SCORE 49915.041
AT ITER 3073 NEW BEST:: SOT 197942 SOS 70034 HAS SOPS 70034 HAS SOUS 49831 HAS SOUPS 49831 WITH SCORE 49901.034
AT ITER 3102 NEW BEST:: SOT 197784 SOS 69913 HAS SOPS 69913 HAS SOUS 49710 HAS SOUPS 49710 WITH SCORE 49779.913
AT ITER 3111 NEW BEST:: SOT 197784 SOS 69808 HAS SOPS 69808 HAS SOUS 49605 HAS SOUPS 49605 WITH SCORE 49674.808
AT ITER 3122 NEW BEST:: SOT 197723 SOS 69686 HAS SOPS 69686 HAS SOUS 49483 HAS SOUPS 49483 WITH SCORE 49552.686
AT ITER 3142 NEW BEST:: SOT 197718 SOS 69676 HAS SOPS 69676 HAS SOUS 49473 HAS SOUPS 49473 WITH SCORE 49542.676
AT ITER 3148 NEW BEST:: SOT 197696 SOS 69649 HAS SOPS 69649 HAS SOUS 49463 HAS SOUPS 49463 WITH SCORE 49532.649
AT ITER 3157 NEW BEST:: SOT 197683 SOS 69441 HAS SOPS 69441 HAS SOUS 49450 HAS SOUPS 49450 WITH SCORE 49519.441
AT ITER 3190 NEW BEST:: SOT 196876 SOS 68780 HAS SOPS 68780 HAS SOUS 48764 HAS SOUPS 48764 WITH SCORE 48832.78
AT ITER 3203 NEW BEST:: SOT 196865 SOS 68758 HAS SOPS 68758 HAS SOUS 48753 HAS SOUPS 48753 WITH SCORE 48821.758
AT ITER 3214 NEW BEST:: SOT 196836 SOS 68729 HAS SOPS 68729 HAS SOUS 48724 HAS SOUPS 48724 WITH SCORE 48792.729
AT ITER 3231 NEW BEST:: SOT 196826 SOS 68719 HAS SOPS 68719 HAS SOUS 48714 HAS SOUPS 48714 WITH SCORE 48782.719
AT ITER 3236 NEW BEST:: SOT 196826 SOS 68719 HAS SOPS 68719 HAS SOUS 48700 HAS SOUPS 48700 WITH SCORE 48768.719
AT ITER 3240 NEW BEST:: SOT 196810 SOS 68677 HAS SOPS 68677 HAS SOUS 48658 HAS SOUPS 48658 WITH SCORE 48726.677
AT ITER 3257 NEW BEST:: SOT 196810 SOS 68677 HAS SOPS 68677 HAS SOUS 48643 HAS SOUPS 48643 WITH SCORE 48711.677
AT ITER 3260 NEW BEST:: SOT 196782 SOS 68663 HAS SOPS 68663 HAS SOUS 48610 HAS SOUPS 48610 WITH SCORE 48678.663
AT ITER 3301 NEW BEST:: SOT 196782 SOS 68616 HAS SOPS 68616 HAS SOUS 48563 HAS SOUPS 48563 WITH SCORE 48631.616
AT ITER 3303 NEW BEST:: SOT 196778 SOS 68608 HAS SOPS 68608 HAS SOUS 48555 HAS SOUPS 48555 WITH SCORE 48623.608
AT ITER 3315 NEW BEST:: SOT 196778 SOS 68578 HAS SOPS 68578 HAS SOUS 48525 HAS SOUPS 48525 WITH SCORE 48593.578
AT ITER 3360 NEW BEST:: SOT 196769 SOS 68570 HAS SOPS 68570 HAS SOUS 48517 HAS SOUPS 48517 WITH SCORE 48585.57
AT ITER 3363 NEW BEST:: SOT 196768 SOS 68578 HAS SOPS 68578 HAS SOUS 48504 HAS SOUPS 48504 WITH SCORE 48572.578
AT ITER 3414 NEW BEST:: SOT 196509 SOS 68318 HAS SOPS 68318 HAS SOUS 48502 HAS SOUPS 48502 WITH SCORE 48570.318
AT ITER 3415 NEW BEST:: SOT 196507 SOS 68216 HAS SOPS 68216 HAS SOUS 48400 HAS SOUPS 48400 WITH SCORE 48468.216
AT ITER 3444 NEW BEST:: SOT 196402 SOS 68006 HAS SOPS 68006 HAS SOUS 48190 HAS SOUPS 48190 WITH SCORE 48258.006
AT ITER 3451 NEW BEST:: SOT 196395 SOS 67994 HAS SOPS 67994 HAS SOUS 48178 HAS SOUPS 48178 WITH SCORE 48245.994
AT ITER 3462 NEW BEST:: SOT 196352 SOS 67954 HAS SOPS 67954 HAS SOUS 48102 HAS SOUPS 48102 WITH SCORE 48169.954
AT ITER 3499 NEW BEST:: SOT 196338 SOS 67946 HAS SOPS 67946 HAS SOUS 48094 HAS SOUPS 48094 WITH SCORE 48161.946
AT ITER 3502 NEW BEST:: SOT 196234 SOS 67901 HAS SOPS 67901 HAS SOUS 47985 HAS SOUPS 47985 WITH SCORE 48052.901
AT ITER 3503 NEW BEST:: SOT 196230 SOS 67893 HAS SOPS 67893 HAS SOUS 47981 HAS SOUPS 47981 WITH SCORE 48048.893
AT ITER 3513 NEW BEST:: SOT 196223 SOS 67874 HAS SOPS 67874 HAS SOUS 47962 HAS SOUPS 47962 WITH SCORE 48029.874
AT ITER 3544 NEW BEST:: SOT 196245 SOS 67767 HAS SOPS 67767 HAS SOUS 47855 HAS SOUPS 47855 WITH SCORE 47922.767
AT ITER 3552 NEW BEST:: SOT 196194 SOS 67716 HAS SOPS 67716 HAS SOUS 47804 HAS SOUPS 47804 WITH SCORE 47871.716
AT ITER 3563 NEW BEST:: SOT 196180 SOS 67702 HAS SOPS 67702 HAS SOUS 47790 HAS SOUPS 47790 WITH SCORE 47857.702
AT ITER 3579 NEW BEST:: SOT 196187 SOS 67669 HAS SOPS 67669 HAS SOUS 47757 HAS SOUPS 47757 WITH SCORE 47824.669
AT ITER 3628 NEW BEST:: SOT 196073 SOS 67441 HAS SOPS 67441 HAS SOUS 47716 HAS SOUPS 47716 WITH SCORE 47783.441
AT ITER 3629 NEW BEST:: SOT 196053 SOS 67328 HAS SOPS 67328 HAS SOUS 47701 HAS SOUPS 47701 WITH SCORE 47768.328
AT ITER 3643 NEW BEST:: SOT 196125 SOS 67286 HAS SOPS 67286 HAS SOUS 47659 HAS SOUPS 47659 WITH SCORE 47726.286
AT ITER 3659 NEW BEST:: SOT 196093 SOS 67254 HAS SOPS 67254 HAS SOUS 47630 HAS SOUPS 47630 WITH SCORE 47697.254
AT ITER 3678 NEW BEST:: SOT 196088 SOS 67249 HAS SOPS 67249 HAS SOUS 47625 HAS SOUPS 47625 WITH SCORE 47692.249
AT ITER 3730 NEW BEST:: SOT 196108 SOS 67276 HAS SOPS 67276 HAS SOUS 47592 HAS SOUPS 47592 WITH SCORE 47659.276
AT ITER 3743 NEW BEST:: SOT 196080 SOS 67220 HAS SOPS 67220 HAS SOUS 47508 HAS SOUPS 47508 WITH SCORE 47575.22
AT ITER 3762 NEW BEST:: SOT 196078 SOS 67217 HAS SOPS 67217 HAS SOUS 47505 HAS SOUPS 47505 WITH SCORE 47572.217
AT ITER 3792 NEW BEST:: SOT 196060 SOS 67157 HAS SOPS 67157 HAS SOUS 47445 HAS SOUPS 47445 WITH SCORE 47512.157
AT ITER 3823 NEW BEST:: SOT 196060 SOS 67157 HAS SOPS 67157 HAS SOUS 47403 HAS SOUPS 47403 WITH SCORE 47470.157
AT ITER 3825 NEW BEST:: SOT 196060 SOS 67112 HAS SOPS 67112 HAS SOUS 47403 HAS SOUPS 47403 WITH SCORE 47470.112
AT ITER 3827 NEW BEST:: SOT 196085 SOS 67102 HAS SOPS 67102 HAS SOUS 47393 HAS SOUPS 47393 WITH SCORE 47460.102
AT ITER 3829 NEW BEST:: SOT 196115 SOS 66998 HAS SOPS 66998 HAS SOUS 47305 HAS SOUPS 47305 WITH SCORE 47371.998
AT ITER 3832 NEW BEST:: SOT 196103 SOS 66971 HAS SOPS 66971 HAS SOUS 47295 HAS SOUPS 47295 WITH SCORE 47361.971
AT ITER 3847 NEW BEST:: SOT 196083 SOS 66941 HAS SOPS 66941 HAS SOUS 47275 HAS SOUPS 47275 WITH SCORE 47341.941
AT ITER 3853 NEW BEST:: SOT 196082 SOS 66939 HAS SOPS 66939 HAS SOUS 47273 HAS SOUPS 47273 WITH SCORE 47339.939
AT ITER 3857 NEW BEST:: SOT 195879 SOS 66670 HAS SOPS 66670 HAS SOUS 47141 HAS SOUPS 47141 WITH SCORE 47207.67
AT ITER 3886 NEW BEST:: SOT 195850 SOS 66641 HAS SOPS 66641 HAS SOUS 47112 HAS SOUPS 47112 WITH SCORE 47178.641
AT ITER 3901 NEW BEST:: SOT 195792 SOS 66641 HAS SOPS 66641 HAS SOUS 47082 HAS SOUPS 47082 WITH SCORE 47148.641
AT ITER 3902 NEW BEST:: SOT 195828 SOS 66713 HAS SOPS 66713 HAS SOUS 47072 HAS SOUPS 47072 WITH SCORE 47138.713
AT ITER 3960 NEW BEST:: SOT 195825 SOS 66704 HAS SOPS 66704 HAS SOUS 47063 HAS SOUPS 47063 WITH SCORE 47129.704
AT ITER 3996 NEW BEST:: SOT 195823 SOS 66687 HAS SOPS 66687 HAS SOUS 47046 HAS SOUPS 47046 WITH SCORE 47112.687
AT ITER 3999 NEW BEST:: SOT 195752 SOS 66670 HAS SOPS 66670 HAS SOUS 47029 HAS SOUPS 47029 WITH SCORE 47095.67
AT ITER 4026 NEW BEST:: SOT 195775 SOS 66685 HAS SOPS 66685 HAS SOUS 46960 HAS SOUPS 46960 WITH SCORE 47026.685
AT ITER 4032 NEW BEST:: SOT 195766 SOS 66668 HAS SOPS 66668 HAS SOUS 46943 HAS SOUPS 46943 WITH SCORE 47009.668
AT ITER 4042 NEW BEST:: SOT 195704 SOS 66544 HAS SOPS 66544 HAS SOUS 46819 HAS SOUPS 46819 WITH SCORE 46885.544
AT ITER 4065 NEW BEST:: SOT 195704 SOS 66544 HAS SOPS 66544 HAS SOUS 46729 HAS SOUPS 46729 WITH SCORE 46795.544
AT ITER 4086 NEW BEST:: SOT 195704 SOS 66492 HAS SOPS 66492 HAS SOUS 46697 HAS SOUPS 46697 WITH SCORE 46763.492
AT ITER 4097 NEW BEST:: SOT 195678 SOS 66440 HAS SOPS 66440 HAS SOUS 46645 HAS SOUPS 46645 WITH SCORE 46711.44
AT ITER 4099 NEW BEST:: SOT 195738 SOS 66406 HAS SOPS 66406 HAS SOUS 46611 HAS SOUPS 46611 WITH SCORE 46677.406
AT ITER 4117 NEW BEST:: SOT 195745 SOS 66210 HAS SOPS 66210 HAS SOUS 46520 HAS SOUPS 46520 WITH SCORE 46586.21
AT ITER 4119 NEW BEST:: SOT 195725 SOS 66170 HAS SOPS 66170 HAS SOUS 46480 HAS SOUPS 46480 WITH SCORE 46546.17
AT ITER 4120 NEW BEST:: SOT 195632 SOS 66118 HAS SOPS 66118 HAS SOUS 46387 HAS SOUPS 46387 WITH SCORE 46453.118
AT ITER 4121 NEW BEST:: SOT 195598 SOS 66016 HAS SOPS 66016 HAS SOUS 46285 HAS SOUPS 46285 WITH SCORE 46351.016
AT ITER 4152 NEW BEST:: SOT 195598 SOS 66016 HAS SOPS 66016 HAS SOUS 46233 HAS SOUPS 46233 WITH SCORE 46299.016
AT ITER 4211 NEW BEST:: SOT 195535 SOS 65890 HAS SOPS 65890 HAS SOUS 46107 HAS SOUPS 46107 WITH SCORE 46172.89
AT ITER 4214 NEW BEST:: SOT 195633 SOS 65872 HAS SOPS 65872 HAS SOUS 45991 HAS SOUPS 45991 WITH SCORE 46056.872
AT ITER 4245 NEW BEST:: SOT 195616 SOS 65611 HAS SOPS 65611 HAS SOUS 45957 HAS SOUPS 45957 WITH SCORE 46022.611
AT ITER 4249 NEW BEST:: SOT 195616 SOS 65582 HAS SOPS 65582 HAS SOUS 45928 HAS SOUPS 45928 WITH SCORE 45993.582
AT ITER 4252 NEW BEST:: SOT 195640 SOS 65606 HAS SOPS 65606 HAS SOUS 45893 HAS SOUPS 45893 WITH SCORE 45958.606
AT ITER 4305 NEW BEST:: SOT 195587 SOS 65553 HAS SOPS 65553 HAS SOUS 45840 HAS SOUPS 45840 WITH SCORE 45905.553
AT ITER 4309 NEW BEST:: SOT 195587 SOS 65483 HAS SOPS 65483 HAS SOUS 45770 HAS SOUPS 45770 WITH SCORE 45835.483
AT ITER 4313 NEW BEST:: SOT 195591 SOS 65491 HAS SOPS 65491 HAS SOUS 45769 HAS SOUPS 45769 WITH SCORE 45834.491
AT ITER 4324 NEW BEST:: SOT 195556 SOS 65421 HAS SOPS 65421 HAS SOUS 45699 HAS SOUPS 45699 WITH SCORE 45764.421
AT ITER 4325 NEW BEST:: SOT 195590 SOS 65378 HAS SOPS 65378 HAS SOUS 45656 HAS SOUPS 45656 WITH SCORE 45721.378
AT ITER 4328 NEW BEST:: SOT 195590 SOS 65329 HAS SOPS 65329 HAS SOUS 45607 HAS SOUPS 45607 WITH SCORE 45672.329
AT ITER 4336 NEW BEST:: SOT 195577 SOS 65298 HAS SOPS 65298 HAS SOUS 45576 HAS SOUPS 45576 WITH SCORE 45641.298
AT ITER 4343 NEW BEST:: SOT 195577 SOS 65318 HAS SOPS 65318 HAS SOUS 45514 HAS SOUPS 45514 WITH SCORE 45579.318
AT ITER 4351 NEW BEST:: SOT 195594 SOS 65327 HAS SOPS 65327 HAS SOUS 45497 HAS SOUPS 45497 WITH SCORE 45562.327
AT ITER 4358 NEW BEST:: SOT 195593 SOS 65325 HAS SOPS 65325 HAS SOUS 45495 HAS SOUPS 45495 WITH SCORE 45560.325
AT ITER 4375 NEW BEST:: SOT 195509 SOS 65072 HAS SOPS 65072 HAS SOUS 45309 HAS SOUPS 45309 WITH SCORE 45374.072
AT ITER 4387 NEW BEST:: SOT 195473 SOS 64682 HAS SOPS 64682 HAS SOUS 45221 HAS SOUPS 45221 WITH SCORE 45285.682
AT ITER 4393 NEW BEST:: SOT 195439 SOS 65220 HAS SOPS 65220 HAS SOUS 45207 HAS SOUPS 45207 WITH SCORE 45272.22
AT ITER 4408 NEW BEST:: SOT 195401 SOS 65153 HAS SOPS 65153 HAS SOUS 45140 HAS SOUPS 45140 WITH SCORE 45205.153
AT ITER 4420 NEW BEST:: SOT 195391 SOS 65143 HAS SOPS 65143 HAS SOUS 45097 HAS SOUPS 45097 WITH SCORE 45162.143
AT ITER 4423 NEW BEST:: SOT 195345 SOS 65051 HAS SOPS 65051 HAS SOUS 44958 HAS SOUPS 44958 WITH SCORE 45023.051
AT ITER 4431 NEW BEST:: SOT 195325 SOS 65011 HAS SOPS 65011 HAS SOUS 44954 HAS SOUPS 44954 WITH SCORE 45019.011
AT ITER 4458 NEW BEST:: SOT 195281 SOS 64967 HAS SOPS 64967 HAS SOUS 44949 HAS SOUPS 44949 WITH SCORE 45013.967
AT ITER 4466 NEW BEST:: SOT 195214 SOS 64796 HAS SOPS 64796 HAS SOUS 44778 HAS SOUPS 44778 WITH SCORE 44842.796
AT ITER 4467 NEW BEST:: SOT 195185 SOS 64536 HAS SOPS 64536 HAS SOUS 44727 HAS SOUPS 44727 WITH SCORE 44791.536
AT ITER 4473 NEW BEST:: SOT 195200 SOS 64551 HAS SOPS 64551 HAS SOUS 44683 HAS SOUPS 44683 WITH SCORE 44747.551
AT ITER 4550 NEW BEST:: SOT 195197 SOS 64545 HAS SOPS 64545 HAS SOUS 44677 HAS SOUPS 44677 WITH SCORE 44741.545
AT ITER 4563 NEW BEST:: SOT 195124 SOS 64242 HAS SOPS 64242 HAS SOUS 44469 HAS SOUPS 44469 WITH SCORE 44533.242
AT ITER 4572 NEW BEST:: SOT 195129 SOS 64235 HAS SOPS 64235 HAS SOUS 44462 HAS SOUPS 44462 WITH SCORE 44526.235
AT ITER 4662 NEW BEST:: SOT 195089 SOS 64115 HAS SOPS 64115 HAS SOUS 44342 HAS SOUPS 44342 WITH SCORE 44406.115
AT ITER 4683 NEW BEST:: SOT 195300 SOS 64301 HAS SOPS 64301 HAS SOUS 44323 HAS SOUPS 44323 WITH SCORE 44387.301
AT ITER 4688 NEW BEST:: SOT 195284 SOS 64249 HAS SOPS 64249 HAS SOUS 44289 HAS SOUPS 44289 WITH SCORE 44353.249
AT ITER 4693 NEW BEST:: SOT 195276 SOS 64241 HAS SOPS 64241 HAS SOUS 44281 HAS SOUPS 44281 WITH SCORE 44345.241
AT ITER 4701 NEW BEST:: SOT 195166 SOS 64131 HAS SOPS 64131 HAS SOUS 44281 HAS SOUPS 44281 WITH SCORE 44345.131
AT ITER 4713 NEW BEST:: SOT 195159 SOS 64124 HAS SOPS 64124 HAS SOUS 44274 HAS SOUPS 44274 WITH SCORE 44338.124
AT ITER 4718 NEW BEST:: SOT 195112 SOS 64077 HAS SOPS 64077 HAS SOUS 44227 HAS SOUPS 44227 WITH SCORE 44291.077
AT ITER 4746 NEW BEST:: SOT 195106 SOS 64065 HAS SOPS 64065 HAS SOUS 44215 HAS SOUPS 44215 WITH SCORE 44279.065
AT ITER 4765 NEW BEST:: SOT 195096 SOS 64054 HAS SOPS 64054 HAS SOUS 44213 HAS SOUPS 44213 WITH SCORE 44277.054
AT ITER 4819 NEW BEST:: SOT 195090 SOS 64048 HAS SOPS 64048 HAS SOUS 44207 HAS SOUPS 44207 WITH SCORE 44271.048
AT ITER 4834 NEW BEST:: SOT 195090 SOS 63996 HAS SOPS 63996 HAS SOUS 44207 HAS SOUPS 44207 WITH SCORE 44270.996
AT ITER 4897 NEW BEST:: SOT 195078 SOS 63972 HAS SOPS 63972 HAS SOUS 44183 HAS SOUPS 44183 WITH SCORE 44246.972
AT ITER 4899 NEW BEST:: SOT 195050 SOS 63947 HAS SOPS 63947 HAS SOUS 44158 HAS SOUPS 44158 WITH SCORE 44221.947
AT ITER 4914 NEW BEST:: SOT 195044 SOS 63935 HAS SOPS 63935 HAS SOUS 44152 HAS SOUPS 44152 WITH SCORE 44215.935
AT ITER 4991 NEW BEST:: SOT 195040 SOS 63931 HAS SOPS 63931 HAS SOUS 44148 HAS SOUPS 44148 WITH SCORE 44211.931
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-00 (AG( ( ( potential( (tk(P71)) <= (tk(P615)) ) & potential( (tk(P399)) <= (tk(P121)) ) ) & potential( (tk(P627)) <= (tk(P446)) ) )))
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-01 (AG( ( potential( ( 2 ) <= (tk(P274)) ) | ( potential( (tk(P126)) <= (tk(P292)) ) | ( potential( (tk(P622)) <= (tk(P364)) ) & potential( (tk(P148)) <= (tk(P193)) ) ) ) )))
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-02 ( (AU( (! potential( ( 3 ) <= (tk(P359)) )),(! potential( (tk(P367)) <= (tk(P620)) )) )) | (! (! (EF(potential( ( 2 ) <= (tk(P331)) ))))) )
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-03 (AG( ( (! potential( (tk(P2)) <= (tk(P232)) )) | (AF(potential( (tk(P307)) <= (tk(P144)) ))) )))
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-04 ( (AU( ( potential( ( 3 ) <= (tk(P263)) ) & potential( ( 3 ) <= (tk(P551)) ) ),( potential( ( 3 ) <= (tk(P480)) ) | potential( ( 1 ) <= (tk(P255)) ) ) )) | (EF(potential( ( 1 ) <= (tk(P51)) ))) )
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-05 (AG( potential( (tk(P223)) <= (tk(P127)) )))
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-06 (EF(( potential( (tk(P415)) <= (tk(P163)) ) & (EG( potential( ( 3 ) <= (tk(P499)) ))) )))
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-07 (AF((EF(potential( ( 2 ) <= (tk(P381)) )))))
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-08 (! ( (! ( ( potential( ( 1 ) <= (tk(P161)) ) & potential( ( 2 ) <= (tk(P444)) ) ) & (! potential( (tk(P487)) <= (tk(P418)) )) )) & (EF(( potential( ( 3 ) <= (tk(P622)) ) | potential( ( 3 ) <= (tk(P591)) ) ))) ))
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-09 (EX( (! (AG( potential( (tk(P334)) <= (tk(P217)) ))))))
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-10 ( (AG( (EF(potential( (tk(P621)) <= (tk(P259)) ))))) | (AU( ( potential( (tk(P137)) <= (tk(P378)) ) & potential( ( 1 ) <= (tk(P75)) ) ),( potential( (tk(P520)) <= (tk(P505)) ) & potential( ( 3 ) <= (tk(P304)) ) ) )) )
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-11 (AG( ( (AG( potential( (tk(P372)) <= (tk(P383)) ))) & (AX( potential( (tk(P541)) <= (tk(P379)) ))) )))
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-12 (EU( potential( (tk(P15)) <= (tk(P217)) ),(EF(potential( ( 2 ) <= (tk(P246)) ))) ))
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-13 (EF(( (! ( potential( ( 3 ) <= (tk(P370)) ) | potential( (tk(P34)) <= (tk(P325)) ) )) & (EG( potential( (tk(P259)) <= (tk(P474)) ))) )))
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-14 (EF(potential( ( 2 ) <= (tk(P118)) )))
PROPERTY: BusinessProcesses-PT-15-CTLCardinality-15 (EF((AG( potential( (tk(P472)) <= (tk(P343)) )))))

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

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