Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r363-smll-167891814200392.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is SemanticWebServices-PT-S128P09, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814200392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 7.4K Feb 26 10:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 10:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 10:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 10:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 26 10:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 10:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 26 10:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 814K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679156422720

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SemanticWebServices-PT-S128P09
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 16:20:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 16:20:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 16:20:26] [INFO ] Load time of PNML (sax parser for PT used): 232 ms
[2023-03-18 16:20:26] [INFO ] Transformed 242 places.
[2023-03-18 16:20:26] [INFO ] Transformed 946 transitions.
[2023-03-18 16:20:26] [INFO ] Parsed PT model containing 242 places and 946 transitions and 6609 arcs in 347 ms.
[2023-03-18 16:20:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 242 places, 946 transitions and 6609 arcs took 21 ms.
Total runtime 425 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S128P09
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 242 places, 946 transitions, 6609 arcs.
AT ITER 0 NEW BEST:: SOT 203338 SOS 157500 HAS SOPS 141102 HAS SOUS 76116 HAS SOUPS 73035 WITH SCORE 73192.5
AT ITER 1 NEW BEST:: SOT 203338 SOS 157500 HAS SOPS 140992 HAS SOUS 76043 HAS SOUPS 72907 WITH SCORE 73064.5
AT ITER 2 NEW BEST:: SOT 203338 SOS 157951 HAS SOPS 141443 HAS SOUS 75987 HAS SOUPS 72852 WITH SCORE 73009.951
AT ITER 6 NEW BEST:: SOT 203338 SOS 158217 HAS SOPS 141517 HAS SOUS 75866 HAS SOUPS 72641 WITH SCORE 72799.217
AT ITER 7 NEW BEST:: SOT 203338 SOS 158704 HAS SOPS 138100 HAS SOUS 75827 HAS SOUPS 70666 WITH SCORE 70824.704
AT ITER 8 NEW BEST:: SOT 203350 SOS 160580 HAS SOPS 141892 HAS SOUS 74703 HAS SOUPS 70512 WITH SCORE 70672.58
AT ITER 11 NEW BEST:: SOT 203350 SOS 160700 HAS SOPS 141964 HAS SOUS 74643 HAS SOUPS 70436 WITH SCORE 70596.7
AT ITER 12 NEW BEST:: SOT 203350 SOS 160676 HAS SOPS 141940 HAS SOUS 74589 HAS SOUPS 70382 WITH SCORE 70542.676
AT ITER 13 NEW BEST:: SOT 203350 SOS 160636 HAS SOPS 141820 HAS SOUS 74409 HAS SOUPS 70202 WITH SCORE 70362.636
AT ITER 18 NEW BEST:: SOT 203350 SOS 160836 HAS SOPS 141920 HAS SOUS 74425 HAS SOUPS 70168 WITH SCORE 70328.836
AT ITER 21 NEW BEST:: SOT 203350 SOS 160646 HAS SOPS 141626 HAS SOUS 74473 HAS SOUPS 70151 WITH SCORE 70311.646
AT ITER 22 NEW BEST:: SOT 203350 SOS 160494 HAS SOPS 141382 HAS SOUS 74509 HAS SOUPS 70141 WITH SCORE 70301.494
AT ITER 28 NEW BEST:: SOT 203350 SOS 160767 HAS SOPS 136341 HAS SOUS 72200 HAS SOUPS 67078 WITH SCORE 67238.767
AT ITER 33 NEW BEST:: SOT 203350 SOS 160853 HAS SOPS 136359 HAS SOUS 72070 HAS SOUPS 66914 WITH SCORE 67074.853
AT ITER 34 NEW BEST:: SOT 203350 SOS 160571 HAS SOPS 136077 HAS SOUS 71807 HAS SOUPS 66651 WITH SCORE 66811.571
AT ITER 35 NEW BEST:: SOT 203350 SOS 160703 HAS SOPS 136059 HAS SOUS 71857 HAS SOUPS 66626 WITH SCORE 66786.703
AT ITER 38 NEW BEST:: SOT 203350 SOS 160461 HAS SOPS 135935 HAS SOUS 71736 HAS SOUPS 66564 WITH SCORE 66724.461
AT ITER 39 NEW BEST:: SOT 203392 SOS 160797 HAS SOPS 135377 HAS SOUS 71911 HAS SOUPS 66292 WITH SCORE 66452.797
AT ITER 42 NEW BEST:: SOT 203392 SOS 160257 HAS SOPS 134837 HAS SOUS 71755 HAS SOUPS 66136 WITH SCORE 66296.257
AT ITER 43 NEW BEST:: SOT 203392 SOS 160003 HAS SOPS 134769 HAS SOUS 71701 HAS SOUPS 66098 WITH SCORE 66258.003
AT ITER 45 NEW BEST:: SOT 203392 SOS 159999 HAS SOPS 134779 HAS SOUS 71689 HAS SOUPS 66093 WITH SCORE 66252.999
AT ITER 46 NEW BEST:: SOT 203392 SOS 159999 HAS SOPS 134779 HAS SOUS 71649 HAS SOUPS 66053 WITH SCORE 66212.999
AT ITER 49 NEW BEST:: SOT 203392 SOS 160485 HAS SOPS 134833 HAS SOUS 71467 HAS SOUPS 65844 WITH SCORE 66004.485
AT ITER 51 NEW BEST:: SOT 203392 SOS 160561 HAS SOPS 135003 HAS SOUS 69482 HAS SOUPS 63906 WITH SCORE 64066.561
AT ITER 53 NEW BEST:: SOT 203392 SOS 160615 HAS SOPS 135057 HAS SOUS 68442 HAS SOUPS 62866 WITH SCORE 63026.615
AT ITER 55 NEW BEST:: SOT 203392 SOS 160789 HAS SOPS 134955 HAS SOUS 68383 HAS SOUPS 62774 WITH SCORE 62934.789
AT ITER 60 NEW BEST:: SOT 203392 SOS 160967 HAS SOPS 128909 HAS SOUS 68503 HAS SOUPS 61889 WITH SCORE 62049.967
AT ITER 63 NEW BEST:: SOT 203548 SOS 161241 HAS SOPS 127274 HAS SOUS 67786 HAS SOUPS 60895 WITH SCORE 61056.241
AT ITER 70 NEW BEST:: SOT 203548 SOS 161384 HAS SOPS 127437 HAS SOUS 67080 HAS SOUPS 60278 WITH SCORE 60439.384
AT ITER 74 NEW BEST:: SOT 135503 SOS 108583 HAS SOPS 90933 HAS SOUS 27293 HAS SOUPS 25141 WITH SCORE 25249.583
AT ITER 82 NEW BEST:: SOT 135503 SOS 108473 HAS SOPS 90867 HAS SOUS 27261 HAS SOUPS 25128 WITH SCORE 25236.473
AT ITER 84 NEW BEST:: SOT 135507 SOS 108477 HAS SOPS 90871 HAS SOUS 27260 HAS SOUPS 25127 WITH SCORE 25235.477
AT ITER 96 NEW BEST:: SOT 135575 SOS 108425 HAS SOPS 90803 HAS SOUS 27143 HAS SOUPS 24985 WITH SCORE 25093.425
AT ITER 102 NEW BEST:: SOT 135283 SOS 108077 HAS SOPS 90511 HAS SOUS 26972 HAS SOUPS 24842 WITH SCORE 24950.077
AT ITER 113 NEW BEST:: SOT 135179 SOS 107937 HAS SOPS 90415 HAS SOUS 26932 HAS SOUPS 24824 WITH SCORE 24931.937
AT ITER 114 NEW BEST:: SOT 135277 SOS 108035 HAS SOPS 90513 HAS SOUS 26903 HAS SOUPS 24795 WITH SCORE 24903.035
AT ITER 119 NEW BEST:: SOT 135889 SOS 108647 HAS SOPS 91125 HAS SOUS 26865 HAS SOUPS 24757 WITH SCORE 24865.647
AT ITER 126 NEW BEST:: SOT 135781 SOS 108539 HAS SOPS 91059 HAS SOUS 26677 HAS SOUPS 24591 WITH SCORE 24699.539
AT ITER 127 NEW BEST:: SOT 136285 SOS 108971 HAS SOPS 91607 HAS SOUS 26361 HAS SOUPS 24282 WITH SCORE 24390.971
AT ITER 134 NEW BEST:: SOT 136341 SOS 109027 HAS SOPS 91663 HAS SOUS 26341 HAS SOUPS 24262 WITH SCORE 24371.027
AT ITER 138 NEW BEST:: SOT 136289 SOS 108975 HAS SOPS 91611 HAS SOUS 26290 HAS SOUPS 24211 WITH SCORE 24319.975
AT ITER 140 NEW BEST:: SOT 136253 SOS 109089 HAS SOPS 91725 HAS SOUS 26272 HAS SOUPS 24193 WITH SCORE 24302.089
AT ITER 144 NEW BEST:: SOT 136547 SOS 109383 HAS SOPS 92019 HAS SOUS 26085 HAS SOUPS 24006 WITH SCORE 24115.383
AT ITER 145 NEW BEST:: SOT 136415 SOS 109201 HAS SOPS 91837 HAS SOUS 26057 HAS SOUPS 23978 WITH SCORE 24087.201
AT ITER 150 NEW BEST:: SOT 136415 SOS 108971 HAS SOPS 91989 HAS SOUS 26089 HAS SOUPS 23976 WITH SCORE 24084.971
AT ITER 152 NEW BEST:: SOT 136337 SOS 108931 HAS SOPS 91949 HAS SOUS 25145 HAS SOUPS 23051 WITH SCORE 23159.931
AT ITER 155 NEW BEST:: SOT 136337 SOS 108971 HAS SOPS 90957 HAS SOUS 24926 HAS SOUPS 22853 WITH SCORE 22961.971
AT ITER 159 NEW BEST:: SOT 136305 SOS 108683 HAS SOPS 91475 HAS SOUS 24908 HAS SOUPS 22853 WITH SCORE 22961.683
AT ITER 160 NEW BEST:: SOT 136282 SOS 108658 HAS SOPS 91450 HAS SOUS 24860 HAS SOUPS 22805 WITH SCORE 22913.658
AT ITER 164 NEW BEST:: SOT 136454 SOS 108830 HAS SOPS 91622 HAS SOUS 24734 HAS SOUPS 22679 WITH SCORE 22787.83
AT ITER 172 NEW BEST:: SOT 136358 SOS 108734 HAS SOPS 91526 HAS SOUS 24686 HAS SOUPS 22631 WITH SCORE 22739.734
AT ITER 173 NEW BEST:: SOT 139541 SOS 112060 HAS SOPS 93628 HAS SOUS 24012 HAS SOUPS 21921 WITH SCORE 22033.06
AT ITER 177 NEW BEST:: SOT 139557 SOS 112076 HAS SOPS 93644 HAS SOUS 24004 HAS SOUPS 21913 WITH SCORE 22025.076
AT ITER 190 NEW BEST:: SOT 139557 SOS 112474 HAS SOPS 93432 HAS SOUS 23858 HAS SOUPS 21839 WITH SCORE 21951.474
AT ITER 191 NEW BEST:: SOT 139557 SOS 112474 HAS SOPS 93432 HAS SOUS 23823 HAS SOUPS 21804 WITH SCORE 21916.474
AT ITER 199 NEW BEST:: SOT 139481 SOS 112398 HAS SOPS 93356 HAS SOUS 23785 HAS SOUPS 21766 WITH SCORE 21878.398
AT ITER 204 NEW BEST:: SOT 139711 SOS 112017 HAS SOPS 92789 HAS SOUS 23808 HAS SOUPS 21696 WITH SCORE 21808.017
AT ITER 205 NEW BEST:: SOT 139743 SOS 112049 HAS SOPS 92821 HAS SOUS 23807 HAS SOUPS 21695 WITH SCORE 21807.049
AT ITER 208 NEW BEST:: SOT 139555 SOS 111861 HAS SOPS 92633 HAS SOUS 23529 HAS SOUPS 21417 WITH SCORE 21528.861
AT ITER 211 NEW BEST:: SOT 138720 SOS 111039 HAS SOPS 91395 HAS SOUS 22557 HAS SOUPS 20432 WITH SCORE 20543.039
AT ITER 216 NEW BEST:: SOT 138720 SOS 111039 HAS SOPS 91395 HAS SOUS 22549 HAS SOUPS 20424 WITH SCORE 20535.039
AT ITER 223 NEW BEST:: SOT 138720 SOS 111079 HAS SOPS 91631 HAS SOUS 22543 HAS SOUPS 20418 WITH SCORE 20529.079
AT ITER 229 NEW BEST:: SOT 138842 SOS 111201 HAS SOPS 91753 HAS SOUS 22469 HAS SOUPS 20344 WITH SCORE 20455.201
AT ITER 234 NEW BEST:: SOT 143634 SOS 116028 HAS SOPS 95460 HAS SOUS 21540 HAS SOUPS 19415 WITH SCORE 19531.028
AT ITER 236 NEW BEST:: SOT 143606 SOS 116000 HAS SOPS 95432 HAS SOUS 21448 HAS SOUPS 19323 WITH SCORE 19439.0
AT ITER 237 NEW BEST:: SOT 143384 SOS 115778 HAS SOPS 95210 HAS SOUS 21396 HAS SOUPS 19271 WITH SCORE 19386.778
AT ITER 239 NEW BEST:: SOT 142984 SOS 115378 HAS SOPS 94810 HAS SOUS 21396 HAS SOUPS 19271 WITH SCORE 19386.378
AT ITER 240 NEW BEST:: SOT 143928 SOS 116322 HAS SOPS 94360 HAS SOUS 20669 HAS SOUPS 18544 WITH SCORE 18660.322
AT ITER 242 NEW BEST:: SOT 144360 SOS 116754 HAS SOPS 94792 HAS SOUS 20657 HAS SOUPS 18532 WITH SCORE 18648.754
AT ITER 245 NEW BEST:: SOT 144392 SOS 116636 HAS SOPS 94674 HAS SOUS 20622 HAS SOUPS 18497 WITH SCORE 18613.636
AT ITER 253 NEW BEST:: SOT 144402 SOS 116646 HAS SOPS 94684 HAS SOUS 20472 HAS SOUPS 18347 WITH SCORE 18463.646
AT ITER 255 NEW BEST:: SOT 144820 SOS 117064 HAS SOPS 95102 HAS SOUS 20461 HAS SOUPS 18336 WITH SCORE 18453.064
AT ITER 262 NEW BEST:: SOT 144820 SOS 117040 HAS SOPS 95078 HAS SOUS 20416 HAS SOUPS 18291 WITH SCORE 18408.04
AT ITER 263 NEW BEST:: SOT 143618 SOS 115838 HAS SOPS 93876 HAS SOUS 20149 HAS SOUPS 18024 WITH SCORE 18139.838
AT ITER 278 NEW BEST:: SOT 143566 SOS 115786 HAS SOPS 93824 HAS SOUS 20097 HAS SOUPS 17972 WITH SCORE 18087.786
AT ITER 283 NEW BEST:: SOT 143566 SOS 115776 HAS SOPS 93824 HAS SOUS 20054 HAS SOUPS 17968 WITH SCORE 18083.776
AT ITER 286 NEW BEST:: SOT 144216 SOS 116429 HAS SOPS 94477 HAS SOUS 19927 HAS SOUPS 17841 WITH SCORE 17957.429
AT ITER 287 NEW BEST:: SOT 144220 SOS 116433 HAS SOPS 94481 HAS SOUS 19880 HAS SOUPS 17794 WITH SCORE 17910.433
AT ITER 291 NEW BEST:: SOT 144280 SOS 116373 HAS SOPS 94421 HAS SOUS 19868 HAS SOUPS 17782 WITH SCORE 17898.373
AT ITER 301 NEW BEST:: SOT 144280 SOS 116325 HAS SOPS 94373 HAS SOUS 19859 HAS SOUPS 17749 WITH SCORE 17865.325
AT ITER 302 NEW BEST:: SOT 144004 SOS 116081 HAS SOPS 94173 HAS SOUS 19757 HAS SOUPS 17669 WITH SCORE 17785.081
AT ITER 308 NEW BEST:: SOT 144090 SOS 116179 HAS SOPS 94375 HAS SOUS 19664 HAS SOUPS 17634 WITH SCORE 17750.179
AT ITER 309 NEW BEST:: SOT 144068 SOS 116156 HAS SOPS 94352 HAS SOUS 19642 HAS SOUPS 17612 WITH SCORE 17728.156
AT ITER 322 NEW BEST:: SOT 144282 SOS 116342 HAS SOPS 94538 HAS SOUS 19587 HAS SOUPS 17584 WITH SCORE 17700.342
AT ITER 327 NEW BEST:: SOT 144068 SOS 116128 HAS SOPS 94324 HAS SOUS 19373 HAS SOUPS 17370 WITH SCORE 17486.128
AT ITER 335 NEW BEST:: SOT 144092 SOS 116152 HAS SOPS 94348 HAS SOUS 19361 HAS SOUPS 17358 WITH SCORE 17474.152
AT ITER 340 NEW BEST:: SOT 144052 SOS 116112 HAS SOPS 94308 HAS SOUS 19311 HAS SOUPS 17308 WITH SCORE 17424.112
AT ITER 349 NEW BEST:: SOT 143952 SOS 116012 HAS SOPS 94208 HAS SOUS 19175 HAS SOUPS 17172 WITH SCORE 17288.012
AT ITER 354 NEW BEST:: SOT 143792 SOS 115852 HAS SOPS 94048 HAS SOUS 19120 HAS SOUPS 17117 WITH SCORE 17232.852
AT ITER 355 NEW BEST:: SOT 143232 SOS 115292 HAS SOPS 93488 HAS SOUS 18952 HAS SOUPS 16949 WITH SCORE 17064.292
AT ITER 366 NEW BEST:: SOT 143300 SOS 115360 HAS SOPS 93556 HAS SOUS 18942 HAS SOUPS 16939 WITH SCORE 17054.36
AT ITER 373 NEW BEST:: SOT 142892 SOS 114952 HAS SOPS 93148 HAS SOUS 18650 HAS SOUPS 16647 WITH SCORE 16761.952
AT ITER 382 NEW BEST:: SOT 142876 SOS 114936 HAS SOPS 93132 HAS SOUS 18650 HAS SOUPS 16647 WITH SCORE 16761.936
AT ITER 384 NEW BEST:: SOT 142876 SOS 115004 HAS SOPS 93090 HAS SOUS 18613 HAS SOUPS 16610 WITH SCORE 16725.004
AT ITER 385 NEW BEST:: SOT 143268 SOS 115486 HAS SOPS 93572 HAS SOUS 18642 HAS SOUPS 16609 WITH SCORE 16724.486
AT ITER 386 NEW BEST:: SOT 143474 SOS 115692 HAS SOPS 93778 HAS SOUS 18327 HAS SOUPS 16369 WITH SCORE 16484.692
AT ITER 393 NEW BEST:: SOT 143474 SOS 115642 HAS SOPS 93738 HAS SOUS 18322 HAS SOUPS 16364 WITH SCORE 16479.642
AT ITER 396 NEW BEST:: SOT 143240 SOS 115434 HAS SOPS 93242 HAS SOUS 18249 HAS SOUPS 16300 WITH SCORE 16415.434
AT ITER 403 NEW BEST:: SOT 142896 SOS 115090 HAS SOPS 92906 HAS SOUS 18182 HAS SOUPS 16237 WITH SCORE 16352.09
AT ITER 404 NEW BEST:: SOT 142896 SOS 115940 HAS SOPS 93756 HAS SOUS 18123 HAS SOUPS 16214 WITH SCORE 16329.94
AT ITER 416 NEW BEST:: SOT 142896 SOS 115940 HAS SOPS 93746 HAS SOUS 18118 HAS SOUPS 16209 WITH SCORE 16324.94
AT ITER 426 NEW BEST:: SOT 142896 SOS 115932 HAS SOPS 93718 HAS SOUS 18046 HAS SOUPS 16195 WITH SCORE 16310.932
AT ITER 429 NEW BEST:: SOT 142896 SOS 115906 HAS SOPS 93796 HAS SOUS 18033 HAS SOUPS 16195 WITH SCORE 16310.906
AT ITER 435 NEW BEST:: SOT 141892 SOS 114902 HAS SOPS 92792 HAS SOUS 18002 HAS SOUPS 16164 WITH SCORE 16278.902
AT ITER 438 NEW BEST:: SOT 141454 SOS 114464 HAS SOPS 92354 HAS SOUS 17781 HAS SOUPS 15943 WITH SCORE 16057.464
AT ITER 453 NEW BEST:: SOT 141454 SOS 114544 HAS SOPS 92274 HAS SOUS 17801 HAS SOUPS 15941 WITH SCORE 16055.544
AT ITER 467 NEW BEST:: SOT 141334 SOS 114424 HAS SOPS 92154 HAS SOUS 17711 HAS SOUPS 15851 WITH SCORE 15965.424
AT ITER 480 NEW BEST:: SOT 141330 SOS 114420 HAS SOPS 92150 HAS SOUS 17709 HAS SOUPS 15849 WITH SCORE 15963.42
AT ITER 499 NEW BEST:: SOT 141330 SOS 114468 HAS SOPS 91406 HAS SOUS 17721 HAS SOUPS 15846 WITH SCORE 15960.468
AT ITER 507 NEW BEST:: SOT 141055 SOS 114193 HAS SOPS 91131 HAS SOUS 17572 HAS SOUPS 15697 WITH SCORE 15811.193
AT ITER 509 NEW BEST:: SOT 141055 SOS 114147 HAS SOPS 91085 HAS SOUS 17572 HAS SOUPS 15697 WITH SCORE 15811.147
AT ITER 510 NEW BEST:: SOT 141055 SOS 114051 HAS SOPS 90989 HAS SOUS 17489 HAS SOUPS 15614 WITH SCORE 15728.051
AT ITER 518 NEW BEST:: SOT 141055 SOS 114051 HAS SOPS 90917 HAS SOUS 17419 HAS SOUPS 15544 WITH SCORE 15658.051
AT ITER 527 NEW BEST:: SOT 141023 SOS 114019 HAS SOPS 90885 HAS SOUS 17368 HAS SOUPS 15493 WITH SCORE 15607.019
AT ITER 528 NEW BEST:: SOT 141023 SOS 113955 HAS SOPS 90789 HAS SOUS 17376 HAS SOUPS 15485 WITH SCORE 15598.955
AT ITER 539 NEW BEST:: SOT 141002 SOS 113934 HAS SOPS 90768 HAS SOUS 17355 HAS SOUPS 15464 WITH SCORE 15577.934
AT ITER 541 NEW BEST:: SOT 141505 SOS 114437 HAS SOPS 91271 HAS SOUS 17330 HAS SOUPS 15439 WITH SCORE 15553.437
AT ITER 543 NEW BEST:: SOT 141353 SOS 114499 HAS SOPS 91333 HAS SOUS 17265 HAS SOUPS 15374 WITH SCORE 15488.499
AT ITER 546 NEW BEST:: SOT 141303 SOS 114449 HAS SOPS 91283 HAS SOUS 17245 HAS SOUPS 15354 WITH SCORE 15468.449
AT ITER 578 NEW BEST:: SOT 141323 SOS 114469 HAS SOPS 91303 HAS SOUS 17233 HAS SOUPS 15342 WITH SCORE 15456.469
AT ITER 581 NEW BEST:: SOT 141123 SOS 114269 HAS SOPS 91103 HAS SOUS 17211 HAS SOUPS 15320 WITH SCORE 15434.269
AT ITER 583 NEW BEST:: SOT 141193 SOS 114305 HAS SOPS 91139 HAS SOUS 17186 HAS SOUPS 15295 WITH SCORE 15409.305
AT ITER 585 NEW BEST:: SOT 141125 SOS 114271 HAS SOPS 91145 HAS SOUS 17149 HAS SOUPS 15278 WITH SCORE 15392.271
AT ITER 625 NEW BEST:: SOT 141117 SOS 114239 HAS SOPS 91113 HAS SOUS 17149 HAS SOUPS 15278 WITH SCORE 15392.239
AT ITER 648 NEW BEST:: SOT 141117 SOS 114295 HAS SOPS 91141 HAS SOUS 17143 HAS SOUPS 15258 WITH SCORE 15372.295
AT ITER 652 NEW BEST:: SOT 140967 SOS 114145 HAS SOPS 90991 HAS SOUS 17074 HAS SOUPS 15189 WITH SCORE 15303.145
AT ITER 655 NEW BEST:: SOT 140857 SOS 114035 HAS SOPS 90881 HAS SOUS 17044 HAS SOUPS 15159 WITH SCORE 15273.035
AT ITER 690 NEW BEST:: SOT 140887 SOS 114065 HAS SOPS 90911 HAS SOUS 17003 HAS SOUPS 15118 WITH SCORE 15232.065
AT ITER 700 NEW BEST:: SOT 140887 SOS 114041 HAS SOPS 90911 HAS SOUS 16991 HAS SOUPS 15118 WITH SCORE 15232.041
AT ITER 704 NEW BEST:: SOT 140887 SOS 113413 HAS SOPS 90911 HAS SOUS 16989 HAS SOUPS 15118 WITH SCORE 15231.413
AT ITER 705 NEW BEST:: SOT 140867 SOS 113393 HAS SOPS 90891 HAS SOUS 16989 HAS SOUPS 15118 WITH SCORE 15231.393
AT ITER 727 NEW BEST:: SOT 140867 SOS 113433 HAS SOPS 90931 HAS SOUS 16957 HAS SOUPS 15086 WITH SCORE 15199.433
AT ITER 729 NEW BEST:: SOT 140959 SOS 113525 HAS SOPS 91023 HAS SOUS 16945 HAS SOUPS 15074 WITH SCORE 15187.525
AT ITER 732 NEW BEST:: SOT 140830 SOS 113385 HAS SOPS 90883 HAS SOUS 16899 HAS SOUPS 15028 WITH SCORE 15141.385
AT ITER 733 NEW BEST:: SOT 140870 SOS 113425 HAS SOPS 90923 HAS SOUS 16834 HAS SOUPS 14963 WITH SCORE 15076.425
AT ITER 741 NEW BEST:: SOT 140870 SOS 113341 HAS SOPS 90899 HAS SOUS 16804 HAS SOUPS 14963 WITH SCORE 15076.341
AT ITER 751 NEW BEST:: SOT 140861 SOS 113332 HAS SOPS 90890 HAS SOUS 16666 HAS SOUPS 14825 WITH SCORE 14938.332
AT ITER 798 NEW BEST:: SOT 140861 SOS 113322 HAS SOPS 90880 HAS SOUS 16666 HAS SOUPS 14825 WITH SCORE 14938.322
AT ITER 806 NEW BEST:: SOT 140089 SOS 112550 HAS SOPS 90108 HAS SOUS 16589 HAS SOUPS 14748 WITH SCORE 14860.55
AT ITER 827 NEW BEST:: SOT 140081 SOS 112542 HAS SOPS 90100 HAS SOUS 16574 HAS SOUPS 14733 WITH SCORE 14845.542
AT ITER 839 NEW BEST:: SOT 139999 SOS 112460 HAS SOPS 90018 HAS SOUS 16574 HAS SOUPS 14733 WITH SCORE 14845.46
AT ITER 840 NEW BEST:: SOT 139999 SOS 112396 HAS SOPS 90018 HAS SOUS 16574 HAS SOUPS 14733 WITH SCORE 14845.396
AT ITER 844 NEW BEST:: SOT 139999 SOS 112300 HAS SOPS 90018 HAS SOUS 16559 HAS SOUPS 14733 WITH SCORE 14845.3
AT ITER 853 NEW BEST:: SOT 139995 SOS 112296 HAS SOPS 90014 HAS SOUS 16558 HAS SOUPS 14732 WITH SCORE 14844.296
AT ITER 855 NEW BEST:: SOT 139994 SOS 112295 HAS SOPS 90013 HAS SOUS 16556 HAS SOUPS 14730 WITH SCORE 14842.295
AT ITER 860 NEW BEST:: SOT 139992 SOS 112293 HAS SOPS 90011 HAS SOUS 16555 HAS SOUPS 14729 WITH SCORE 14841.293
AT ITER 862 NEW BEST:: SOT 139992 SOS 112265 HAS SOPS 90011 HAS SOUS 16548 HAS SOUPS 14729 WITH SCORE 14841.265
AT ITER 872 NEW BEST:: SOT 139590 SOS 111897 HAS SOPS 89677 HAS SOUS 16528 HAS SOUPS 14726 WITH SCORE 14837.897
AT ITER 877 NEW BEST:: SOT 139508 SOS 111959 HAS SOPS 89859 HAS SOUS 16467 HAS SOUPS 14708 WITH SCORE 14819.959
AT ITER 892 NEW BEST:: SOT 138528 SOS 110979 HAS SOPS 89139 HAS SOUS 16214 HAS SOUPS 14481 WITH SCORE 14591.979
AT ITER 904 NEW BEST:: SOT 138232 SOS 110613 HAS SOPS 88915 HAS SOUS 16125 HAS SOUPS 14427 WITH SCORE 14537.613
AT ITER 908 NEW BEST:: SOT 138060 SOS 110441 HAS SOPS 88743 HAS SOUS 16085 HAS SOUPS 14387 WITH SCORE 14497.441
AT ITER 915 NEW BEST:: SOT 138060 SOS 110281 HAS SOPS 88455 HAS SOUS 16101 HAS SOUPS 14387 WITH SCORE 14497.281
AT ITER 916 NEW BEST:: SOT 138060 SOS 110361 HAS SOPS 87895 HAS SOUS 16101 HAS SOUPS 14367 WITH SCORE 14477.361
AT ITER 919 NEW BEST:: SOT 137600 SOS 109901 HAS SOPS 87435 HAS SOUS 15970 HAS SOUPS 14236 WITH SCORE 14345.901
AT ITER 927 NEW BEST:: SOT 137756 SOS 110057 HAS SOPS 87591 HAS SOUS 15952 HAS SOUPS 14218 WITH SCORE 14328.057
AT ITER 929 NEW BEST:: SOT 137723 SOS 110095 HAS SOPS 87558 HAS SOUS 15920 HAS SOUPS 14186 WITH SCORE 14296.095
AT ITER 939 NEW BEST:: SOT 137573 SOS 109945 HAS SOPS 87408 HAS SOUS 15910 HAS SOUPS 14176 WITH SCORE 14285.945
AT ITER 954 NEW BEST:: SOT 137537 SOS 110021 HAS SOPS 87394 HAS SOUS 15785 HAS SOUPS 14037 WITH SCORE 14147.021
AT ITER 964 NEW BEST:: SOT 137555 SOS 110039 HAS SOPS 87412 HAS SOUS 15776 HAS SOUPS 14028 WITH SCORE 14138.039
AT ITER 974 NEW BEST:: SOT 137465 SOS 109949 HAS SOPS 87322 HAS SOUS 15756 HAS SOUPS 14008 WITH SCORE 14117.949
AT ITER 980 NEW BEST:: SOT 137395 SOS 109879 HAS SOPS 87252 HAS SOUS 15634 HAS SOUPS 13886 WITH SCORE 13995.879
AT ITER 988 NEW BEST:: SOT 137689 SOS 110173 HAS SOPS 87546 HAS SOUS 15540 HAS SOUPS 13792 WITH SCORE 13902.173
AT ITER 1002 NEW BEST:: SOT 137709 SOS 110193 HAS SOPS 87566 HAS SOUS 15529 HAS SOUPS 13781 WITH SCORE 13891.193
AT ITER 1022 NEW BEST:: SOT 137675 SOS 110159 HAS SOPS 87532 HAS SOUS 15527 HAS SOUPS 13779 WITH SCORE 13889.159
AT ITER 1027 NEW BEST:: SOT 137687 SOS 110171 HAS SOPS 87544 HAS SOUS 15514 HAS SOUPS 13766 WITH SCORE 13876.171
AT ITER 1029 NEW BEST:: SOT 137489 SOS 110105 HAS SOPS 87638 HAS SOUS 15448 HAS SOUPS 13714 WITH SCORE 13824.105
AT ITER 1044 NEW BEST:: SOT 137489 SOS 110115 HAS SOPS 87640 HAS SOUS 15434 HAS SOUPS 13700 WITH SCORE 13810.115
AT ITER 1052 NEW BEST:: SOT 137489 SOS 110115 HAS SOPS 87076 HAS SOUS 15400 HAS SOUPS 13666 WITH SCORE 13776.115
AT ITER 1063 NEW BEST:: SOT 137489 SOS 110115 HAS SOPS 87076 HAS SOUS 15396 HAS SOUPS 13662 WITH SCORE 13772.115
AT ITER 1066 NEW BEST:: SOT 137489 SOS 110023 HAS SOPS 86978 HAS SOUS 15389 HAS SOUPS 13652 WITH SCORE 13762.023
AT ITER 1067 NEW BEST:: SOT 137547 SOS 110081 HAS SOPS 87036 HAS SOUS 15352 HAS SOUPS 13615 WITH SCORE 13725.081
AT ITER 1087 NEW BEST:: SOT 137547 SOS 110145 HAS SOPS 87100 HAS SOUS 15321 HAS SOUPS 13584 WITH SCORE 13694.145
AT ITER 1121 NEW BEST:: SOT 137547 SOS 110167 HAS SOPS 87111 HAS SOUS 15295 HAS SOUPS 13569 WITH SCORE 13679.167
AT ITER 1127 NEW BEST:: SOT 137547 SOS 110185 HAS SOPS 87129 HAS SOUS 15250 HAS SOUPS 13560 WITH SCORE 13670.185
AT ITER 1152 NEW BEST:: SOT 137495 SOS 110027 HAS SOPS 86971 HAS SOUS 15225 HAS SOUPS 13535 WITH SCORE 13645.027
AT ITER 1157 NEW BEST:: SOT 137491 SOS 110023 HAS SOPS 86967 HAS SOUS 15221 HAS SOUPS 13531 WITH SCORE 13641.023
AT ITER 1167 NEW BEST:: SOT 137483 SOS 110015 HAS SOPS 86959 HAS SOUS 15215 HAS SOUPS 13525 WITH SCORE 13635.015
AT ITER 1175 NEW BEST:: SOT 137654 SOS 110186 HAS SOPS 87130 HAS SOUS 15191 HAS SOUPS 13501 WITH SCORE 13611.186
AT ITER 1208 NEW BEST:: SOT 136998 SOS 109520 HAS SOPS 86464 HAS SOUS 15165 HAS SOUPS 13475 WITH SCORE 13584.52
AT ITER 1213 NEW BEST:: SOT 136998 SOS 109418 HAS SOPS 84914 HAS SOUS 15164 HAS SOUPS 13466 WITH SCORE 13575.418
AT ITER 1219 NEW BEST:: SOT 136842 SOS 109262 HAS SOPS 84758 HAS SOUS 15088 HAS SOUPS 13390 WITH SCORE 13499.262
AT ITER 1220 NEW BEST:: SOT 136878 SOS 109298 HAS SOPS 84794 HAS SOUS 15084 HAS SOUPS 13386 WITH SCORE 13495.298
AT ITER 1223 NEW BEST:: SOT 136894 SOS 108954 HAS SOPS 84712 HAS SOUS 14978 HAS SOUPS 13370 WITH SCORE 13478.954
AT ITER 1225 NEW BEST:: SOT 136890 SOS 108950 HAS SOPS 84708 HAS SOUS 14976 HAS SOUPS 13368 WITH SCORE 13476.95
AT ITER 1241 NEW BEST:: SOT 136956 SOS 109092 HAS SOPS 84698 HAS SOUS 15000 HAS SOUPS 13354 WITH SCORE 13463.092
AT ITER 1245 NEW BEST:: SOT 136956 SOS 109092 HAS SOPS 84698 HAS SOUS 14988 HAS SOUPS 13350 WITH SCORE 13459.092
AT ITER 1252 NEW BEST:: SOT 137052 SOS 109188 HAS SOPS 84794 HAS SOUS 14972 HAS SOUPS 13334 WITH SCORE 13443.188
AT ITER 1255 NEW BEST:: SOT 137012 SOS 109092 HAS SOPS 84698 HAS SOUS 14944 HAS SOUPS 13306 WITH SCORE 13415.092
AT ITER 1256 NEW BEST:: SOT 137006 SOS 109086 HAS SOPS 84692 HAS SOUS 14944 HAS SOUPS 13306 WITH SCORE 13415.086
AT ITER 1278 NEW BEST:: SOT 137006 SOS 108798 HAS SOPS 84404 HAS SOUS 14953 HAS SOUPS 13292 WITH SCORE 13400.798
AT ITER 1298 NEW BEST:: SOT 135325 SOS 107117 HAS SOPS 82723 HAS SOUS 14793 HAS SOUPS 13132 WITH SCORE 13239.117
AT ITER 1303 NEW BEST:: SOT 135345 SOS 107137 HAS SOPS 82743 HAS SOUS 14787 HAS SOUPS 13126 WITH SCORE 13233.137
AT ITER 1317 NEW BEST:: SOT 135527 SOS 107321 HAS SOPS 82927 HAS SOUS 14768 HAS SOUPS 13107 WITH SCORE 13214.321
AT ITER 1331 NEW BEST:: SOT 135527 SOS 107309 HAS SOPS 82915 HAS SOUS 14720 HAS SOUPS 13059 WITH SCORE 13166.309
AT ITER 1336 NEW BEST:: SOT 135517 SOS 107299 HAS SOPS 82905 HAS SOUS 14680 HAS SOUPS 13019 WITH SCORE 13126.299
AT ITER 1344 NEW BEST:: SOT 135517 SOS 107295 HAS SOPS 82785 HAS SOUS 14664 HAS SOUPS 12989 WITH SCORE 13096.295
AT ITER 1355 NEW BEST:: SOT 135517 SOS 106223 HAS SOPS 82713 HAS SOUS 14652 HAS SOUPS 12977 WITH SCORE 13083.223
AT ITER 1366 NEW BEST:: SOT 135461 SOS 106171 HAS SOPS 82661 HAS SOUS 14627 HAS SOUPS 12952 WITH SCORE 13058.171
AT ITER 1389 NEW BEST:: SOT 135621 SOS 106067 HAS SOPS 82557 HAS SOUS 14618 HAS SOUPS 12943 WITH SCORE 13049.067
AT ITER 1390 NEW BEST:: SOT 135503 SOS 105949 HAS SOPS 82439 HAS SOUS 14618 HAS SOUPS 12943 WITH SCORE 13048.949
AT ITER 1412 NEW BEST:: SOT 135503 SOS 105615 HAS SOPS 82149 HAS SOUS 14612 HAS SOUPS 12922 WITH SCORE 13027.615
AT ITER 1414 NEW BEST:: SOT 135477 SOS 105589 HAS SOPS 82123 HAS SOUS 14599 HAS SOUPS 12909 WITH SCORE 13014.589
AT ITER 1423 NEW BEST:: SOT 135477 SOS 105461 HAS SOPS 82123 HAS SOUS 14583 HAS SOUPS 12909 WITH SCORE 13014.461
AT ITER 1424 NEW BEST:: SOT 135559 SOS 105543 HAS SOPS 82205 HAS SOUS 14570 HAS SOUPS 12896 WITH SCORE 13001.543
AT ITER 1439 NEW BEST:: SOT 134857 SOS 104841 HAS SOPS 81503 HAS SOUS 14440 HAS SOUPS 12766 WITH SCORE 12870.841
AT ITER 1453 NEW BEST:: SOT 134855 SOS 104839 HAS SOPS 81501 HAS SOUS 14440 HAS SOUPS 12766 WITH SCORE 12870.839
AT ITER 1479 NEW BEST:: SOT 134855 SOS 104843 HAS SOPS 81497 HAS SOUS 14440 HAS SOUPS 12764 WITH SCORE 12868.843
AT ITER 1482 NEW BEST:: SOT 134849 SOS 104837 HAS SOPS 81491 HAS SOUS 14437 HAS SOUPS 12761 WITH SCORE 12865.837
AT ITER 1487 NEW BEST:: SOT 134849 SOS 104837 HAS SOPS 81491 HAS SOUS 14426 HAS SOUPS 12750 WITH SCORE 12854.837
AT ITER 1503 NEW BEST:: SOT 134963 SOS 104951 HAS SOPS 81605 HAS SOUS 14423 HAS SOUPS 12747 WITH SCORE 12851.951
AT ITER 1505 NEW BEST:: SOT 135633 SOS 105621 HAS SOPS 82275 HAS SOUS 14387 HAS SOUPS 12711 WITH SCORE 12816.621
AT ITER 1515 NEW BEST:: SOT 135126 SOS 105114 HAS SOPS 81768 HAS SOUS 14374 HAS SOUPS 12698 WITH SCORE 12803.114
AT ITER 1542 NEW BEST:: SOT 134684 SOS 106274 HAS SOPS 84756 HAS SOUS 14095 HAS SOUPS 12593 WITH SCORE 12699.274
AT ITER 1550 NEW BEST:: SOT 134740 SOS 106330 HAS SOPS 84812 HAS SOUS 14088 HAS SOUPS 12586 WITH SCORE 12692.33
AT ITER 1551 NEW BEST:: SOT 134716 SOS 106306 HAS SOPS 84788 HAS SOUS 14080 HAS SOUPS 12578 WITH SCORE 12684.306
AT ITER 1555 NEW BEST:: SOT 134716 SOS 106292 HAS SOPS 84786 HAS SOUS 14079 HAS SOUPS 12577 WITH SCORE 12683.292
AT ITER 1578 NEW BEST:: SOT 134712 SOS 106288 HAS SOPS 84782 HAS SOUS 14077 HAS SOUPS 12575 WITH SCORE 12681.288
AT ITER 1587 NEW BEST:: SOT 134712 SOS 106314 HAS SOPS 84752 HAS SOUS 14036 HAS SOUPS 12527 WITH SCORE 12633.314
AT ITER 1590 NEW BEST:: SOT 134712 SOS 106388 HAS SOPS 84720 HAS SOUS 14099 HAS SOUPS 12504 WITH SCORE 12610.388
AT ITER 1592 NEW BEST:: SOT 134700 SOS 106376 HAS SOPS 84708 HAS SOUS 14090 HAS SOUPS 12495 WITH SCORE 12601.376
AT ITER 1611 NEW BEST:: SOT 134718 SOS 106414 HAS SOPS 84730 HAS SOUS 14090 HAS SOUPS 12487 WITH SCORE 12593.414
AT ITER 1625 NEW BEST:: SOT 134718 SOS 105178 HAS SOPS 84622 HAS SOUS 14072 HAS SOUPS 12469 WITH SCORE 12574.178
AT ITER 1635 NEW BEST:: SOT 134642 SOS 105102 HAS SOPS 84546 HAS SOUS 14034 HAS SOUPS 12431 WITH SCORE 12536.102
AT ITER 1642 NEW BEST:: SOT 134596 SOS 105056 HAS SOPS 84500 HAS SOUS 14000 HAS SOUPS 12397 WITH SCORE 12502.056
AT ITER 1655 NEW BEST:: SOT 134586 SOS 105046 HAS SOPS 84490 HAS SOUS 13990 HAS SOUPS 12387 WITH SCORE 12492.046
AT ITER 1682 NEW BEST:: SOT 134514 SOS 104974 HAS SOPS 84418 HAS SOUS 13972 HAS SOUPS 12369 WITH SCORE 12473.974
AT ITER 1688 NEW BEST:: SOT 134498 SOS 104958 HAS SOPS 84402 HAS SOUS 13956 HAS SOUPS 12353 WITH SCORE 12457.958
AT ITER 1713 NEW BEST:: SOT 134150 SOS 104610 HAS SOPS 84054 HAS SOUS 13926 HAS SOUPS 12323 WITH SCORE 12427.61
AT ITER 1720 NEW BEST:: SOT 134650 SOS 105110 HAS SOPS 84554 HAS SOUS 13907 HAS SOUPS 12304 WITH SCORE 12409.11
AT ITER 1776 NEW BEST:: SOT 134638 SOS 105098 HAS SOPS 84542 HAS SOUS 13901 HAS SOUPS 12298 WITH SCORE 12403.098
AT ITER 1796 NEW BEST:: SOT 134638 SOS 105410 HAS SOPS 84478 HAS SOUS 14032 HAS SOUPS 12282 WITH SCORE 12387.41
AT ITER 1804 NEW BEST:: SOT 134452 SOS 105224 HAS SOPS 84292 HAS SOUS 13987 HAS SOUPS 12237 WITH SCORE 12342.224
AT ITER 1807 NEW BEST:: SOT 134844 SOS 105572 HAS SOPS 84640 HAS SOUS 13974 HAS SOUPS 12224 WITH SCORE 12329.572
AT ITER 1821 NEW BEST:: SOT 134734 SOS 105462 HAS SOPS 84530 HAS SOUS 13941 HAS SOUPS 12191 WITH SCORE 12296.462
AT ITER 1822 NEW BEST:: SOT 134722 SOS 105450 HAS SOPS 84518 HAS SOUS 13941 HAS SOUPS 12191 WITH SCORE 12296.45
AT ITER 1835 NEW BEST:: SOT 134688 SOS 105416 HAS SOPS 84484 HAS SOUS 13941 HAS SOUPS 12191 WITH SCORE 12296.416
AT ITER 1844 NEW BEST:: SOT 134500 SOS 105256 HAS SOPS 84324 HAS SOUS 13941 HAS SOUPS 12191 WITH SCORE 12296.256
AT ITER 1861 NEW BEST:: SOT 134500 SOS 104912 HAS SOPS 84324 HAS SOUS 13770 HAS SOUPS 12163 WITH SCORE 12267.912
AT ITER 1866 NEW BEST:: SOT 134465 SOS 104877 HAS SOPS 84289 HAS SOUS 13747 HAS SOUPS 12140 WITH SCORE 12244.877
AT ITER 1872 NEW BEST:: SOT 134465 SOS 104877 HAS SOPS 84289 HAS SOUS 13731 HAS SOUPS 12124 WITH SCORE 12228.877
AT ITER 1879 NEW BEST:: SOT 134465 SOS 104869 HAS SOPS 84209 HAS SOUS 13676 HAS SOUPS 12068 WITH SCORE 12172.869
AT ITER 1880 NEW BEST:: SOT 134021 SOS 104425 HAS SOPS 83765 HAS SOUS 13669 HAS SOUPS 12061 WITH SCORE 12165.425
AT ITER 1888 NEW BEST:: SOT 133265 SOS 103713 HAS SOPS 83053 HAS SOUS 13488 HAS SOUPS 11880 WITH SCORE 11983.713
AT ITER 1898 NEW BEST:: SOT 133263 SOS 103711 HAS SOPS 83051 HAS SOUS 13487 HAS SOUPS 11879 WITH SCORE 11982.711
AT ITER 1923 NEW BEST:: SOT 133263 SOS 103711 HAS SOPS 83051 HAS SOUS 13480 HAS SOUPS 11872 WITH SCORE 11975.711
AT ITER 1924 NEW BEST:: SOT 133263 SOS 103711 HAS SOPS 83051 HAS SOUS 13450 HAS SOUPS 11842 WITH SCORE 11945.711
AT ITER 1930 NEW BEST:: SOT 131504 SOS 101952 HAS SOPS 81292 HAS SOUS 13232 HAS SOUPS 11624 WITH SCORE 11725.952
AT ITER 1938 NEW BEST:: SOT 131562 SOS 101638 HAS SOPS 81462 HAS SOUS 12824 HAS SOUPS 11433 WITH SCORE 11534.638
AT ITER 1951 NEW BEST:: SOT 131494 SOS 101570 HAS SOPS 81394 HAS SOUS 12807 HAS SOUPS 11416 WITH SCORE 11517.57
AT ITER 1962 NEW BEST:: SOT 131494 SOS 101570 HAS SOPS 81394 HAS SOUS 12805 HAS SOUPS 11414 WITH SCORE 11515.57
AT ITER 1964 NEW BEST:: SOT 131470 SOS 101528 HAS SOPS 81352 HAS SOUS 12794 HAS SOUPS 11403 WITH SCORE 11504.528
AT ITER 1980 NEW BEST:: SOT 131638 SOS 101696 HAS SOPS 81520 HAS SOUS 12782 HAS SOUPS 11391 WITH SCORE 11492.696
AT ITER 1984 NEW BEST:: SOT 131040 SOS 101098 HAS SOPS 80922 HAS SOUS 12701 HAS SOUPS 11310 WITH SCORE 11411.098
AT ITER 1993 NEW BEST:: SOT 131152 SOS 101210 HAS SOPS 81034 HAS SOUS 12669 HAS SOUPS 11278 WITH SCORE 11379.21
AT ITER 2005 NEW BEST:: SOT 131112 SOS 101144 HAS SOPS 81112 HAS SOUS 12586 HAS SOUPS 11247 WITH SCORE 11348.144
AT ITER 2055 NEW BEST:: SOT 131162 SOS 101194 HAS SOPS 81162 HAS SOUS 12564 HAS SOUPS 11225 WITH SCORE 11326.194
AT ITER 2066 NEW BEST:: SOT 131164 SOS 101196 HAS SOPS 81164 HAS SOUS 12550 HAS SOUPS 11211 WITH SCORE 11312.196
AT ITER 2087 NEW BEST:: SOT 131160 SOS 101162 HAS SOPS 81130 HAS SOUS 12524 HAS SOUPS 11185 WITH SCORE 11286.162
AT ITER 2098 NEW BEST:: SOT 130988 SOS 100990 HAS SOPS 80958 HAS SOUS 12380 HAS SOUPS 11041 WITH SCORE 11141.99
AT ITER 2111 NEW BEST:: SOT 130778 SOS 100996 HAS SOPS 80896 HAS SOUS 12275 HAS SOUPS 10973 WITH SCORE 11073.996
AT ITER 2115 NEW BEST:: SOT 130778 SOS 101032 HAS SOPS 80848 HAS SOUS 12266 HAS SOUPS 10949 WITH SCORE 11050.032
AT ITER 2127 NEW BEST:: SOT 130702 SOS 100956 HAS SOPS 80772 HAS SOUS 12253 HAS SOUPS 10936 WITH SCORE 11036.956
AT ITER 2138 NEW BEST:: SOT 130616 SOS 100870 HAS SOPS 80686 HAS SOUS 12186 HAS SOUPS 10869 WITH SCORE 10969.87
AT ITER 2149 NEW BEST:: SOT 130574 SOS 100828 HAS SOPS 80644 HAS SOUS 12169 HAS SOUPS 10852 WITH SCORE 10952.828
AT ITER 2155 NEW BEST:: SOT 130510 SOS 100768 HAS SOPS 80596 HAS SOUS 12096 HAS SOUPS 10785 WITH SCORE 10885.768
AT ITER 2172 NEW BEST:: SOT 130510 SOS 100752 HAS SOPS 80580 HAS SOUS 12094 HAS SOUPS 10783 WITH SCORE 10883.752
AT ITER 2184 NEW BEST:: SOT 130510 SOS 98472 HAS SOPS 80580 HAS SOUS 12094 HAS SOUPS 10783 WITH SCORE 10881.472
AT ITER 2204 NEW BEST:: SOT 130510 SOS 98472 HAS SOPS 80580 HAS SOUS 11935 HAS SOUPS 10624 WITH SCORE 10722.472
AT ITER 2214 NEW BEST:: SOT 130468 SOS 97054 HAS SOPS 79066 HAS SOUS 11909 HAS SOUPS 10591 WITH SCORE 10688.054
AT ITER 2226 NEW BEST:: SOT 130460 SOS 97046 HAS SOPS 79058 HAS SOUS 11908 HAS SOUPS 10590 WITH SCORE 10687.046
AT ITER 2228 NEW BEST:: SOT 130524 SOS 97110 HAS SOPS 79122 HAS SOUS 11905 HAS SOUPS 10587 WITH SCORE 10684.11
AT ITER 2234 NEW BEST:: SOT 130524 SOS 97078 HAS SOPS 79122 HAS SOUS 11899 HAS SOUPS 10587 WITH SCORE 10684.078
AT ITER 2243 NEW BEST:: SOT 130418 SOS 96950 HAS SOPS 79090 HAS SOUS 11820 HAS SOUPS 10545 WITH SCORE 10641.95
AT ITER 2250 NEW BEST:: SOT 130418 SOS 96950 HAS SOPS 79090 HAS SOUS 11816 HAS SOUPS 10541 WITH SCORE 10637.95
AT ITER 2254 NEW BEST:: SOT 130374 SOS 96906 HAS SOPS 79068 HAS SOUS 11798 HAS SOUPS 10534 WITH SCORE 10630.906
AT ITER 2266 NEW BEST:: SOT 130396 SOS 96928 HAS SOPS 79090 HAS SOUS 11797 HAS SOUPS 10533 WITH SCORE 10629.928
AT ITER 2293 NEW BEST:: SOT 130580 SOS 97074 HAS SOPS 81684 HAS SOUS 11547 HAS SOUPS 10310 WITH SCORE 10407.074
AT ITER 2296 NEW BEST:: SOT 130572 SOS 97066 HAS SOPS 81676 HAS SOUS 11547 HAS SOUPS 10310 WITH SCORE 10407.066
AT ITER 2301 NEW BEST:: SOT 130512 SOS 97006 HAS SOPS 81616 HAS SOUS 11547 HAS SOUPS 10310 WITH SCORE 10407.006
AT ITER 2308 NEW BEST:: SOT 130478 SOS 96972 HAS SOPS 81582 HAS SOUS 11513 HAS SOUPS 10276 WITH SCORE 10372.972
AT ITER 2336 NEW BEST:: SOT 130478 SOS 96972 HAS SOPS 81582 HAS SOUS 11511 HAS SOUPS 10274 WITH SCORE 10370.972
AT ITER 2359 NEW BEST:: SOT 130434 SOS 96928 HAS SOPS 81538 HAS SOUS 11500 HAS SOUPS 10263 WITH SCORE 10359.928
AT ITER 2361 NEW BEST:: SOT 130442 SOS 96936 HAS SOPS 81546 HAS SOUS 11496 HAS SOUPS 10259 WITH SCORE 10355.936
AT ITER 2380 NEW BEST:: SOT 130388 SOS 96882 HAS SOPS 81492 HAS SOUS 11475 HAS SOUPS 10238 WITH SCORE 10334.882
AT ITER 2384 NEW BEST:: SOT 130376 SOS 96846 HAS SOPS 81456 HAS SOUS 11465 HAS SOUPS 10228 WITH SCORE 10324.846
AT ITER 2404 NEW BEST:: SOT 130376 SOS 96840 HAS SOPS 81462 HAS SOUS 11460 HAS SOUPS 10226 WITH SCORE 10322.84
AT ITER 2414 NEW BEST:: SOT 129793 SOS 96257 HAS SOPS 80879 HAS SOUS 11457 HAS SOUPS 10223 WITH SCORE 10319.257
AT ITER 2445 NEW BEST:: SOT 129753 SOS 96217 HAS SOPS 80839 HAS SOUS 11320 HAS SOUPS 10086 WITH SCORE 10182.217
AT ITER 2450 NEW BEST:: SOT 129753 SOS 96217 HAS SOPS 80791 HAS SOUS 11320 HAS SOUPS 10074 WITH SCORE 10170.217
AT ITER 2457 NEW BEST:: SOT 129737 SOS 96201 HAS SOPS 80775 HAS SOUS 11316 HAS SOUPS 10070 WITH SCORE 10166.201
AT ITER 2468 NEW BEST:: SOT 129737 SOS 96043 HAS SOPS 80617 HAS SOUS 11316 HAS SOUPS 10070 WITH SCORE 10166.043
AT ITER 2479 NEW BEST:: SOT 129737 SOS 96043 HAS SOPS 80617 HAS SOUS 11303 HAS SOUPS 10057 WITH SCORE 10153.043
AT ITER 2567 NEW BEST:: SOT 129735 SOS 96041 HAS SOPS 80615 HAS SOUS 11301 HAS SOUPS 10055 WITH SCORE 10151.041
AT ITER 2587 NEW BEST:: SOT 129639 SOS 95945 HAS SOPS 80519 HAS SOUS 11222 HAS SOUPS 9976 WITH SCORE 10071.945
AT ITER 2601 NEW BEST:: SOT 129639 SOS 95945 HAS SOPS 80519 HAS SOUS 11220 HAS SOUPS 9974 WITH SCORE 10069.945
AT ITER 2602 NEW BEST:: SOT 129637 SOS 95942 HAS SOPS 80516 HAS SOUS 11218 HAS SOUPS 9972 WITH SCORE 10067.942
AT ITER 2637 NEW BEST:: SOT 129671 SOS 95976 HAS SOPS 80550 HAS SOUS 11216 HAS SOUPS 9970 WITH SCORE 10065.976
AT ITER 2642 NEW BEST:: SOT 129665 SOS 95970 HAS SOPS 80544 HAS SOUS 11216 HAS SOUPS 9970 WITH SCORE 10065.97
AT ITER 2686 NEW BEST:: SOT 129857 SOS 96162 HAS SOPS 80736 HAS SOUS 11151 HAS SOUPS 9905 WITH SCORE 10001.162
AT ITER 2707 NEW BEST:: SOT 129847 SOS 96152 HAS SOPS 80726 HAS SOUS 11146 HAS SOUPS 9900 WITH SCORE 9996.152
AT ITER 2715 NEW BEST:: SOT 129439 SOS 95744 HAS SOPS 80318 HAS SOUS 11093 HAS SOUPS 9847 WITH SCORE 9942.744
AT ITER 2733 NEW BEST:: SOT 129439 SOS 95748 HAS SOPS 80194 HAS SOUS 11087 HAS SOUPS 9841 WITH SCORE 9936.748
AT ITER 2737 NEW BEST:: SOT 129439 SOS 95770 HAS SOPS 80178 HAS SOUS 11072 HAS SOUPS 9833 WITH SCORE 9928.77
AT ITER 2745 NEW BEST:: SOT 129835 SOS 96166 HAS SOPS 80574 HAS SOUS 10827 HAS SOUPS 9588 WITH SCORE 9684.166
AT ITER 2760 NEW BEST:: SOT 129665 SOS 95996 HAS SOPS 80404 HAS SOUS 10827 HAS SOUPS 9588 WITH SCORE 9683.996
AT ITER 2815 NEW BEST:: SOT 129665 SOS 95996 HAS SOPS 80404 HAS SOUS 10822 HAS SOUPS 9583 WITH SCORE 9678.996
AT ITER 2849 NEW BEST:: SOT 129823 SOS 96154 HAS SOPS 80562 HAS SOUS 10801 HAS SOUPS 9562 WITH SCORE 9658.154
AT ITER 2854 NEW BEST:: SOT 129823 SOS 96125 HAS SOPS 80562 HAS SOUS 10772 HAS SOUPS 9562 WITH SCORE 9658.125
AT ITER 2868 NEW BEST:: SOT 129793 SOS 96095 HAS SOPS 80532 HAS SOUS 10772 HAS SOUPS 9562 WITH SCORE 9658.095
AT ITER 2874 NEW BEST:: SOT 129741 SOS 96043 HAS SOPS 80480 HAS SOUS 10759 HAS SOUPS 9549 WITH SCORE 9645.043
AT ITER 2901 NEW BEST:: SOT 130229 SOS 96531 HAS SOPS 80968 HAS SOUS 10747 HAS SOUPS 9537 WITH SCORE 9633.531
AT ITER 2906 NEW BEST:: SOT 130229 SOS 96521 HAS SOPS 80968 HAS SOUS 10689 HAS SOUPS 9537 WITH SCORE 9633.521
AT ITER 2913 NEW BEST:: SOT 130093 SOS 96413 HAS SOPS 80860 HAS SOUS 10649 HAS SOUPS 9497 WITH SCORE 9593.413
AT ITER 2943 NEW BEST:: SOT 130639 SOS 96959 HAS SOPS 81406 HAS SOUS 10599 HAS SOUPS 9447 WITH SCORE 9543.959
AT ITER 2958 NEW BEST:: SOT 130639 SOS 96995 HAS SOPS 81370 HAS SOUS 10599 HAS SOUPS 9438 WITH SCORE 9534.995
AT ITER 2967 NEW BEST:: SOT 130635 SOS 96991 HAS SOPS 81366 HAS SOUS 10593 HAS SOUPS 9432 WITH SCORE 9528.991
AT ITER 2984 NEW BEST:: SOT 130715 SOS 97071 HAS SOPS 81446 HAS SOUS 10545 HAS SOUPS 9384 WITH SCORE 9481.071
AT ITER 3024 NEW BEST:: SOT 130911 SOS 97161 HAS SOPS 81536 HAS SOUS 10543 HAS SOUPS 9382 WITH SCORE 9479.161
AT ITER 3036 NEW BEST:: SOT 130907 SOS 97157 HAS SOPS 81532 HAS SOUS 10541 HAS SOUPS 9380 WITH SCORE 9477.157
AT ITER 3049 NEW BEST:: SOT 131716 SOS 97966 HAS SOPS 82341 HAS SOUS 10537 HAS SOUPS 9376 WITH SCORE 9473.966
AT ITER 3082 NEW BEST:: SOT 131692 SOS 97942 HAS SOPS 82317 HAS SOUS 10535 HAS SOUPS 9374 WITH SCORE 9471.942
AT ITER 3090 NEW BEST:: SOT 131692 SOS 97886 HAS SOPS 82317 HAS SOUS 10535 HAS SOUPS 9374 WITH SCORE 9471.886
AT ITER 3110 NEW BEST:: SOT 131292 SOS 97596 HAS SOPS 82017 HAS SOUS 10632 HAS SOUPS 9371 WITH SCORE 9468.596
AT ITER 3116 NEW BEST:: SOT 131292 SOS 97596 HAS SOPS 82017 HAS SOUS 10622 HAS SOUPS 9361 WITH SCORE 9458.596
AT ITER 3131 NEW BEST:: SOT 131316 SOS 97620 HAS SOPS 82041 HAS SOUS 10610 HAS SOUPS 9349 WITH SCORE 9446.62
AT ITER 3138 NEW BEST:: SOT 131312 SOS 97760 HAS SOPS 82181 HAS SOUS 10482 HAS SOUPS 9221 WITH SCORE 9318.76
AT ITER 3149 NEW BEST:: SOT 131522 SOS 97970 HAS SOPS 82391 HAS SOUS 10480 HAS SOUPS 9219 WITH SCORE 9316.97
AT ITER 3178 NEW BEST:: SOT 131550 SOS 97998 HAS SOPS 82419 HAS SOUS 10478 HAS SOUPS 9217 WITH SCORE 9314.998
AT ITER 3213 NEW BEST:: SOT 131574 SOS 98022 HAS SOPS 82443 HAS SOUS 10477 HAS SOUPS 9216 WITH SCORE 9314.022
AT ITER 3244 NEW BEST:: SOT 131372 SOS 97714 HAS SOPS 82241 HAS SOUS 10336 HAS SOUPS 9128 WITH SCORE 9225.714
AT ITER 3247 NEW BEST:: SOT 131732 SOS 98018 HAS SOPS 82657 HAS SOUS 10320 HAS SOUPS 9126 WITH SCORE 9224.018
AT ITER 3264 NEW BEST:: SOT 131690 SOS 97976 HAS SOPS 82615 HAS SOUS 10306 HAS SOUPS 9112 WITH SCORE 9209.976
AT ITER 3283 NEW BEST:: SOT 131750 SOS 97972 HAS SOPS 82621 HAS SOUS 10190 HAS SOUPS 9096 WITH SCORE 9193.972
AT ITER 3376 NEW BEST:: SOT 131672 SOS 97894 HAS SOPS 82543 HAS SOUS 10171 HAS SOUPS 9077 WITH SCORE 9174.894
AT ITER 3387 NEW BEST:: SOT 131672 SOS 97894 HAS SOPS 82543 HAS SOUS 10167 HAS SOUPS 9073 WITH SCORE 9170.894
AT ITER 3391 NEW BEST:: SOT 131672 SOS 97878 HAS SOPS 82559 HAS SOUS 10159 HAS SOUPS 9073 WITH SCORE 9170.878
AT ITER 3401 NEW BEST:: SOT 131616 SOS 97850 HAS SOPS 82531 HAS SOUS 10159 HAS SOUPS 9073 WITH SCORE 9170.85
AT ITER 3419 NEW BEST:: SOT 131660 SOS 97894 HAS SOPS 82575 HAS SOUS 10156 HAS SOUPS 9070 WITH SCORE 9167.894
AT ITER 3429 NEW BEST:: SOT 131660 SOS 97948 HAS SOPS 82557 HAS SOUS 10156 HAS SOUPS 9061 WITH SCORE 9158.948
AT ITER 3431 NEW BEST:: SOT 131660 SOS 97926 HAS SOPS 82517 HAS SOUS 10150 HAS SOUPS 9058 WITH SCORE 9155.926
AT ITER 3449 NEW BEST:: SOT 131656 SOS 97922 HAS SOPS 82513 HAS SOUS 10147 HAS SOUPS 9055 WITH SCORE 9152.922
AT ITER 3456 NEW BEST:: SOT 131582 SOS 97848 HAS SOPS 82439 HAS SOUS 10121 HAS SOUPS 9029 WITH SCORE 9126.848
AT ITER 3486 NEW BEST:: SOT 131532 SOS 97866 HAS SOPS 82457 HAS SOUS 10102 HAS SOUPS 9010 WITH SCORE 9107.866
AT ITER 3488 NEW BEST:: SOT 131690 SOS 98018 HAS SOPS 82609 HAS SOUS 10099 HAS SOUPS 9007 WITH SCORE 9105.018
AT ITER 3507 NEW BEST:: SOT 131674 SOS 98002 HAS SOPS 82593 HAS SOUS 10092 HAS SOUPS 9000 WITH SCORE 9098.002
AT ITER 3523 NEW BEST:: SOT 131673 SOS 98001 HAS SOPS 82592 HAS SOUS 10043 HAS SOUPS 8951 WITH SCORE 9049.001
AT ITER 3524 NEW BEST:: SOT 131573 SOS 97901 HAS SOPS 82492 HAS SOUS 10042 HAS SOUPS 8950 WITH SCORE 9047.901
AT ITER 3539 NEW BEST:: SOT 131515 SOS 97843 HAS SOPS 82434 HAS SOUS 10037 HAS SOUPS 8945 WITH SCORE 9042.843
AT ITER 3568 NEW BEST:: SOT 131515 SOS 97535 HAS SOPS 82478 HAS SOUS 10026 HAS SOUPS 8945 WITH SCORE 9042.535
AT ITER 3601 NEW BEST:: SOT 131141 SOS 97769 HAS SOPS 82788 HAS SOUS 9933 HAS SOUPS 8890 WITH SCORE 8987.769
AT ITER 3617 NEW BEST:: SOT 131109 SOS 97737 HAS SOPS 82756 HAS SOUS 9931 HAS SOUPS 8888 WITH SCORE 8985.737
AT ITER 3619 NEW BEST:: SOT 131109 SOS 97497 HAS SOPS 82474 HAS SOUS 9924 HAS SOUPS 8860 WITH SCORE 8957.497
AT ITER 3636 NEW BEST:: SOT 131107 SOS 97495 HAS SOPS 82472 HAS SOUS 9924 HAS SOUPS 8860 WITH SCORE 8957.495
AT ITER 3653 NEW BEST:: SOT 131225 SOS 97613 HAS SOPS 82590 HAS SOUS 9916 HAS SOUPS 8852 WITH SCORE 8949.613
AT ITER 3658 NEW BEST:: SOT 131225 SOS 97795 HAS SOPS 82458 HAS SOUS 9925 HAS SOUPS 8828 WITH SCORE 8925.795
AT ITER 3685 NEW BEST:: SOT 131253 SOS 97823 HAS SOPS 82486 HAS SOUS 9897 HAS SOUPS 8800 WITH SCORE 8897.823
AT ITER 3714 NEW BEST:: SOT 131253 SOS 97823 HAS SOPS 82486 HAS SOUS 9888 HAS SOUPS 8791 WITH SCORE 8888.823
AT ITER 3715 NEW BEST:: SOT 131253 SOS 98727 HAS SOPS 82526 HAS SOUS 9839 HAS SOUPS 8769 WITH SCORE 8867.727
AT ITER 3733 NEW BEST:: SOT 131383 SOS 98857 HAS SOPS 82656 HAS SOUS 9813 HAS SOUPS 8743 WITH SCORE 8841.857
AT ITER 3750 NEW BEST:: SOT 131375 SOS 98849 HAS SOPS 82648 HAS SOUS 9778 HAS SOUPS 8708 WITH SCORE 8806.849
AT ITER 3763 NEW BEST:: SOT 131143 SOS 98617 HAS SOPS 82416 HAS SOUS 9717 HAS SOUPS 8647 WITH SCORE 8745.617
AT ITER 3797 NEW BEST:: SOT 131133 SOS 98607 HAS SOPS 82406 HAS SOUS 9712 HAS SOUPS 8642 WITH SCORE 8740.607
AT ITER 3828 NEW BEST:: SOT 131376 SOS 98850 HAS SOPS 82649 HAS SOUS 9695 HAS SOUPS 8625 WITH SCORE 8723.85
AT ITER 3834 NEW BEST:: SOT 131362 SOS 98836 HAS SOPS 82635 HAS SOUS 9681 HAS SOUPS 8611 WITH SCORE 8709.836
AT ITER 3838 NEW BEST:: SOT 131362 SOS 98832 HAS SOPS 82631 HAS SOUS 9681 HAS SOUPS 8611 WITH SCORE 8709.832
AT ITER 3845 NEW BEST:: SOT 131306 SOS 98776 HAS SOPS 82575 HAS SOUS 9667 HAS SOUPS 8597 WITH SCORE 8695.776
AT ITER 3857 NEW BEST:: SOT 131128 SOS 98615 HAS SOPS 82399 HAS SOUS 9644 HAS SOUPS 8577 WITH SCORE 8675.615
AT ITER 3861 NEW BEST:: SOT 131128 SOS 98603 HAS SOPS 82395 HAS SOUS 9643 HAS SOUPS 8577 WITH SCORE 8675.603
AT ITER 3907 NEW BEST:: SOT 130944 SOS 98419 HAS SOPS 82211 HAS SOUS 9630 HAS SOUPS 8564 WITH SCORE 8662.419
AT ITER 3939 NEW BEST:: SOT 130888 SOS 98363 HAS SOPS 82155 HAS SOUS 9614 HAS SOUPS 8548 WITH SCORE 8646.363
AT ITER 3960 NEW BEST:: SOT 131204 SOS 98679 HAS SOPS 82471 HAS SOUS 9535 HAS SOUPS 8469 WITH SCORE 8567.679
AT ITER 3970 NEW BEST:: SOT 131276 SOS 98751 HAS SOPS 82543 HAS SOUS 9533 HAS SOUPS 8467 WITH SCORE 8565.751
AT ITER 3973 NEW BEST:: SOT 131270 SOS 98745 HAS SOPS 82537 HAS SOUS 9527 HAS SOUPS 8461 WITH SCORE 8559.745
AT ITER 3991 NEW BEST:: SOT 131300 SOS 98775 HAS SOPS 82567 HAS SOUS 9505 HAS SOUPS 8439 WITH SCORE 8537.775
AT ITER 4016 NEW BEST:: SOT 131292 SOS 98767 HAS SOPS 82559 HAS SOUS 9502 HAS SOUPS 8436 WITH SCORE 8534.767
AT ITER 4024 NEW BEST:: SOT 131212 SOS 98687 HAS SOPS 82479 HAS SOUS 9475 HAS SOUPS 8409 WITH SCORE 8507.687
AT ITER 4068 NEW BEST:: SOT 131156 SOS 98631 HAS SOPS 82423 HAS SOUS 9423 HAS SOUPS 8357 WITH SCORE 8455.631
AT ITER 4079 NEW BEST:: SOT 131156 SOS 98673 HAS SOPS 82409 HAS SOUS 9423 HAS SOUPS 8350 WITH SCORE 8448.673
AT ITER 4102 NEW BEST:: SOT 131150 SOS 98667 HAS SOPS 82403 HAS SOUS 9420 HAS SOUPS 8347 WITH SCORE 8445.667
AT ITER 4121 NEW BEST:: SOT 131150 SOS 98651 HAS SOPS 82403 HAS SOUS 9416 HAS SOUPS 8347 WITH SCORE 8445.651
AT ITER 4136 NEW BEST:: SOT 130882 SOS 98383 HAS SOPS 82135 HAS SOUS 9392 HAS SOUPS 8323 WITH SCORE 8421.383
AT ITER 4171 NEW BEST:: SOT 130874 SOS 98375 HAS SOPS 82127 HAS SOUS 9386 HAS SOUPS 8317 WITH SCORE 8415.375
AT ITER 4187 NEW BEST:: SOT 130852 SOS 98353 HAS SOPS 82105 HAS SOUS 9381 HAS SOUPS 8312 WITH SCORE 8410.353
AT ITER 4207 NEW BEST:: SOT 130760 SOS 98294 HAS SOPS 82046 HAS SOUS 9368 HAS SOUPS 8299 WITH SCORE 8397.294
AT ITER 4216 NEW BEST:: SOT 130734 SOS 98268 HAS SOPS 82020 HAS SOUS 9359 HAS SOUPS 8290 WITH SCORE 8388.268
AT ITER 4222 NEW BEST:: SOT 130734 SOS 98228 HAS SOPS 82020 HAS SOUS 9356 HAS SOUPS 8290 WITH SCORE 8388.228
AT ITER 4239 NEW BEST:: SOT 130722 SOS 98216 HAS SOPS 82008 HAS SOUS 9348 HAS SOUPS 8282 WITH SCORE 8380.216
AT ITER 4256 NEW BEST:: SOT 130666 SOS 98416 HAS SOPS 81878 HAS SOUS 9400 HAS SOUPS 8271 WITH SCORE 8369.416
AT ITER 4267 NEW BEST:: SOT 130666 SOS 98402 HAS SOPS 81920 HAS SOUS 9386 HAS SOUPS 8264 WITH SCORE 8362.402
AT ITER 4287 NEW BEST:: SOT 130650 SOS 98386 HAS SOPS 81904 HAS SOUS 9370 HAS SOUPS 8248 WITH SCORE 8346.386
AT ITER 4301 NEW BEST:: SOT 130650 SOS 98386 HAS SOPS 81904 HAS SOUS 9364 HAS SOUPS 8242 WITH SCORE 8340.386
AT ITER 4327 NEW BEST:: SOT 130650 SOS 98380 HAS SOPS 81928 HAS SOUS 9363 HAS SOUPS 8242 WITH SCORE 8340.38
AT ITER 4342 NEW BEST:: SOT 130578 SOS 98602 HAS SOPS 82344 HAS SOUS 9330 HAS SOUPS 8230 WITH SCORE 8328.602
AT ITER 4360 NEW BEST:: SOT 130562 SOS 98586 HAS SOPS 82328 HAS SOUS 9319 HAS SOUPS 8219 WITH SCORE 8317.586
AT ITER 4376 NEW BEST:: SOT 130562 SOS 98446 HAS SOPS 82324 HAS SOUS 9319 HAS SOUPS 8219 WITH SCORE 8317.446
AT ITER 4377 NEW BEST:: SOT 130570 SOS 98454 HAS SOPS 82332 HAS SOUS 9307 HAS SOUPS 8207 WITH SCORE 8305.454
AT ITER 4441 NEW BEST:: SOT 130556 SOS 98440 HAS SOPS 82318 HAS SOUS 9302 HAS SOUPS 8202 WITH SCORE 8300.44
AT ITER 4464 NEW BEST:: SOT 130790 SOS 98048 HAS SOPS 81892 HAS SOUS 9304 HAS SOUPS 8187 WITH SCORE 8285.048
AT ITER 4488 NEW BEST:: SOT 130770 SOS 97956 HAS SOPS 79496 HAS SOUS 9290 HAS SOUPS 8155 WITH SCORE 8252.956
AT ITER 4497 NEW BEST:: SOT 130720 SOS 97906 HAS SOPS 79446 HAS SOUS 9290 HAS SOUPS 8155 WITH SCORE 8252.906
AT ITER 4519 NEW BEST:: SOT 130712 SOS 97898 HAS SOPS 79438 HAS SOUS 9286 HAS SOUPS 8151 WITH SCORE 8248.898
AT ITER 4539 NEW BEST:: SOT 130714 SOS 97900 HAS SOPS 79440 HAS SOUS 9284 HAS SOUPS 8149 WITH SCORE 8246.9
AT ITER 4553 NEW BEST:: SOT 130714 SOS 97824 HAS SOPS 79440 HAS SOUS 9317 HAS SOUPS 8149 WITH SCORE 8246.824
AT ITER 4587 NEW BEST:: SOT 130590 SOS 98326 HAS SOPS 80582 HAS SOUS 9263 HAS SOUPS 8140 WITH SCORE 8238.326
AT ITER 4736 NEW BEST:: SOT 129938 SOS 97838 HAS SOPS 80094 HAS SOUS 9263 HAS SOUPS 8140 WITH SCORE 8237.838
AT ITER 4756 NEW BEST:: SOT 129938 SOS 97772 HAS SOPS 80094 HAS SOUS 9254 HAS SOUPS 8140 WITH SCORE 8237.772
AT ITER 4774 NEW BEST:: SOT 129788 SOS 97658 HAS SOPS 79836 HAS SOUS 9272 HAS SOUPS 8140 WITH SCORE 8237.658
AT ITER 4803 NEW BEST:: SOT 129718 SOS 97588 HAS SOPS 79766 HAS SOUS 9270 HAS SOUPS 8138 WITH SCORE 8235.588
AT ITER 4813 NEW BEST:: SOT 129720 SOS 97590 HAS SOPS 79768 HAS SOUS 9243 HAS SOUPS 8111 WITH SCORE 8208.59
AT ITER 4824 NEW BEST:: SOT 129718 SOS 97588 HAS SOPS 79766 HAS SOUS 9243 HAS SOUPS 8111 WITH SCORE 8208.588
AT ITER 4829 NEW BEST:: SOT 129718 SOS 97584 HAS SOPS 79762 HAS SOUS 9244 HAS SOUPS 8110 WITH SCORE 8207.584
AT ITER 4841 NEW BEST:: SOT 129708 SOS 97582 HAS SOPS 79760 HAS SOUS 9230 HAS SOUPS 8104 WITH SCORE 8201.582
AT ITER 4938 NEW BEST:: SOT 129716 SOS 97590 HAS SOPS 79768 HAS SOUS 9212 HAS SOUPS 8086 WITH SCORE 8183.59
AT ITER 4945 NEW BEST:: SOT 129662 SOS 97536 HAS SOPS 79714 HAS SOUS 9207 HAS SOUPS 8081 WITH SCORE 8178.536
AT ITER 4952 NEW BEST:: SOT 129662 SOS 97632 HAS SOPS 79698 HAS SOUS 9208 HAS SOUPS 8077 WITH SCORE 8174.632
AT ITER 4979 NEW BEST:: SOT 129674 SOS 97644 HAS SOPS 79710 HAS SOUS 9202 HAS SOUPS 8071 WITH SCORE 8168.644
AT ITER 4984 NEW BEST:: SOT 129702 SOS 97672 HAS SOPS 79738 HAS SOUS 9169 HAS SOUPS 8038 WITH SCORE 8135.672
AT ITER 4985 NEW BEST:: SOT 129682 SOS 97652 HAS SOPS 79718 HAS SOUS 9159 HAS SOUPS 8028 WITH SCORE 8125.652
AT ITER 4988 NEW BEST:: SOT 129682 SOS 97648 HAS SOPS 79718 HAS SOUS 9159 HAS SOUPS 8028 WITH SCORE 8125.648
AT ITER 5002 NEW BEST:: SOT 129764 SOS 97730 HAS SOPS 79800 HAS SOUS 9137 HAS SOUPS 8006 WITH SCORE 8103.73
AT ITER 5054 NEW BEST:: SOT 129720 SOS 97686 HAS SOPS 79756 HAS SOUS 9129 HAS SOUPS 7998 WITH SCORE 8095.686
AT ITER 5095 NEW BEST:: SOT 129694 SOS 97660 HAS SOPS 79730 HAS SOUS 9103 HAS SOUPS 7972 WITH SCORE 8069.66
AT ITER 5113 NEW BEST:: SOT 129696 SOS 97638 HAS SOPS 79708 HAS SOUS 9103 HAS SOUPS 7972 WITH SCORE 8069.638
AT ITER 5146 NEW BEST:: SOT 129742 SOS 97684 HAS SOPS 79754 HAS SOUS 9097 HAS SOUPS 7966 WITH SCORE 8063.684
AT ITER 5148 NEW BEST:: SOT 129754 SOS 97696 HAS SOPS 79766 HAS SOUS 9095 HAS SOUPS 7964 WITH SCORE 8061.696
AT ITER 5173 NEW BEST:: SOT 129778 SOS 97720 HAS SOPS 79790 HAS SOUS 9082 HAS SOUPS 7951 WITH SCORE 8048.72
AT ITER 5179 NEW BEST:: SOT 129796 SOS 97738 HAS SOPS 79808 HAS SOUS 9074 HAS SOUPS 7943 WITH SCORE 8040.738
AT ITER 5184 NEW BEST:: SOT 129788 SOS 97730 HAS SOPS 79800 HAS SOUS 9070 HAS SOUPS 7939 WITH SCORE 8036.73
AT ITER 5186 NEW BEST:: SOT 129788 SOS 97524 HAS SOPS 79800 HAS SOUS 9033 HAS SOUPS 7939 WITH SCORE 8036.524
AT ITER 5220 NEW BEST:: SOT 129758 SOS 97504 HAS SOPS 79780 HAS SOUS 9031 HAS SOUPS 7937 WITH SCORE 8034.504
AT ITER 5282 NEW BEST:: SOT 129758 SOS 97496 HAS SOPS 79780 HAS SOUS 9016 HAS SOUPS 7937 WITH SCORE 8034.496
AT ITER 5305 NEW BEST:: SOT 129758 SOS 97424 HAS SOPS 79708 HAS SOUS 9016 HAS SOUPS 7937 WITH SCORE 8034.424
AT ITER 5318 NEW BEST:: SOT 129817 SOS 97498 HAS SOPS 79782 HAS SOUS 9010 HAS SOUPS 7931 WITH SCORE 8028.498
AT ITER 5327 NEW BEST:: SOT 129887 SOS 97568 HAS SOPS 79852 HAS SOUS 8998 HAS SOUPS 7919 WITH SCORE 8016.568
AT ITER 5378 NEW BEST:: SOT 129895 SOS 97576 HAS SOPS 79860 HAS SOUS 8997 HAS SOUPS 7918 WITH SCORE 8015.576
AT ITER 5398 NEW BEST:: SOT 129891 SOS 97572 HAS SOPS 79856 HAS SOUS 8995 HAS SOUPS 7916 WITH SCORE 8013.572
AT ITER 5406 NEW BEST:: SOT 129945 SOS 97626 HAS SOPS 79910 HAS SOUS 8976 HAS SOUPS 7897 WITH SCORE 7994.626
AT ITER 5447 NEW BEST:: SOT 129945 SOS 97194 HAS SOPS 79886 HAS SOUS 8970 HAS SOUPS 7891 WITH SCORE 7988.194
AT ITER 5462 NEW BEST:: SOT 129939 SOS 97188 HAS SOPS 79880 HAS SOUS 8965 HAS SOUPS 7886 WITH SCORE 7983.188
AT ITER 5488 NEW BEST:: SOT 129895 SOS 97144 HAS SOPS 79836 HAS SOUS 8939 HAS SOUPS 7860 WITH SCORE 7957.144
AT ITER 5554 NEW BEST:: SOT 129800 SOS 97104 HAS SOPS 79796 HAS SOUS 8939 HAS SOUPS 7860 WITH SCORE 7957.104
AT ITER 5563 NEW BEST:: SOT 129800 SOS 97104 HAS SOPS 79796 HAS SOUS 8933 HAS SOUPS 7854 WITH SCORE 7951.104
AT ITER 5573 NEW BEST:: SOT 129800 SOS 97104 HAS SOPS 79784 HAS SOUS 8945 HAS SOUPS 7848 WITH SCORE 7945.104
AT ITER 5585 NEW BEST:: SOT 129994 SOS 97298 HAS SOPS 79978 HAS SOUS 8943 HAS SOUPS 7846 WITH SCORE 7943.298
AT ITER 5612 NEW BEST:: SOT 129990 SOS 97295 HAS SOPS 79975 HAS SOUS 8941 HAS SOUPS 7844 WITH SCORE 7941.295
AT ITER 5617 NEW BEST:: SOT 129836 SOS 97327 HAS SOPS 80007 HAS SOUS 8916 HAS SOUPS 7819 WITH SCORE 7916.327
AT ITER 5641 NEW BEST:: SOT 129828 SOS 97319 HAS SOPS 79999 HAS SOUS 8916 HAS SOUPS 7819 WITH SCORE 7916.319
AT ITER 5727 NEW BEST:: SOT 129820 SOS 97311 HAS SOPS 79991 HAS SOUS 8914 HAS SOUPS 7817 WITH SCORE 7914.311
AT ITER 5732 NEW BEST:: SOT 129766 SOS 97257 HAS SOPS 79937 HAS SOUS 8880 HAS SOUPS 7783 WITH SCORE 7880.257
AT ITER 5767 NEW BEST:: SOT 129766 SOS 97261 HAS SOPS 79935 HAS SOUS 8879 HAS SOUPS 7782 WITH SCORE 7879.261
AT ITER 5771 NEW BEST:: SOT 129704 SOS 97199 HAS SOPS 79873 HAS SOUS 8874 HAS SOUPS 7777 WITH SCORE 7874.199
AT ITER 5787 NEW BEST:: SOT 129728 SOS 97271 HAS SOPS 79945 HAS SOUS 8859 HAS SOUPS 7762 WITH SCORE 7859.271
AT ITER 5816 NEW BEST:: SOT 129728 SOS 97211 HAS SOPS 79945 HAS SOUS 8859 HAS SOUPS 7762 WITH SCORE 7859.211
AT ITER 5822 NEW BEST:: SOT 129728 SOS 97211 HAS SOPS 79945 HAS SOUS 8845 HAS SOUPS 7748 WITH SCORE 7845.211
AT ITER 5832 NEW BEST:: SOT 129704 SOS 97187 HAS SOPS 79921 HAS SOUS 8841 HAS SOUPS 7744 WITH SCORE 7841.187
AT ITER 5845 NEW BEST:: SOT 129656 SOS 97139 HAS SOPS 79873 HAS SOUS 8835 HAS SOUPS 7738 WITH SCORE 7835.139
AT ITER 5849 NEW BEST:: SOT 129682 SOS 97165 HAS SOPS 79899 HAS SOUS 8832 HAS SOUPS 7735 WITH SCORE 7832.165
AT ITER 5869 NEW BEST:: SOT 129682 SOS 97165 HAS SOPS 79899 HAS SOUS 8798 HAS SOUPS 7701 WITH SCORE 7798.165
AT ITER 5877 NEW BEST:: SOT 129680 SOS 97163 HAS SOPS 79897 HAS SOUS 8796 HAS SOUPS 7699 WITH SCORE 7796.163
AT ITER 5903 NEW BEST:: SOT 129680 SOS 97159 HAS SOPS 79893 HAS SOUS 8796 HAS SOUPS 7699 WITH SCORE 7796.159
AT ITER 5912 NEW BEST:: SOT 129680 SOS 97207 HAS SOPS 79941 HAS SOUS 8792 HAS SOUPS 7695 WITH SCORE 7792.207
AT ITER 5946 NEW BEST:: SOT 129676 SOS 97203 HAS SOPS 79937 HAS SOUS 8790 HAS SOUPS 7693 WITH SCORE 7790.203
AT ITER 5984 NEW BEST:: SOT 129662 SOS 97189 HAS SOPS 79923 HAS SOUS 8789 HAS SOUPS 7692 WITH SCORE 7789.189
AT ITER 6046 NEW BEST:: SOT 129662 SOS 97111 HAS SOPS 79845 HAS SOUS 8769 HAS SOUPS 7692 WITH SCORE 7789.111
AT ITER 6069 NEW BEST:: SOT 129534 SOS 97559 HAS SOPS 80949 HAS SOUS 8719 HAS SOUPS 7684 WITH SCORE 7781.559
AT ITER 6085 NEW BEST:: SOT 129440 SOS 97465 HAS SOPS 80855 HAS SOUS 8715 HAS SOUPS 7680 WITH SCORE 7777.465
AT ITER 6106 NEW BEST:: SOT 129470 SOS 97495 HAS SOPS 80885 HAS SOUS 8712 HAS SOUPS 7677 WITH SCORE 7774.495
AT ITER 6109 NEW BEST:: SOT 129446 SOS 97471 HAS SOPS 80861 HAS SOUS 8710 HAS SOUPS 7675 WITH SCORE 7772.471
AT ITER 6179 NEW BEST:: SOT 129446 SOS 97357 HAS SOPS 80861 HAS SOUS 8695 HAS SOUPS 7675 WITH SCORE 7772.357
AT ITER 6199 NEW BEST:: SOT 129486 SOS 97397 HAS SOPS 80901 HAS SOUS 8691 HAS SOUPS 7671 WITH SCORE 7768.397
AT ITER 6218 NEW BEST:: SOT 129364 SOS 97275 HAS SOPS 80779 HAS SOUS 8674 HAS SOUPS 7654 WITH SCORE 7751.275
AT ITER 6244 NEW BEST:: SOT 129346 SOS 97257 HAS SOPS 80761 HAS SOUS 8665 HAS SOUPS 7645 WITH SCORE 7742.257
AT ITER 6251 NEW BEST:: SOT 129342 SOS 97252 HAS SOPS 80756 HAS SOUS 8661 HAS SOUPS 7641 WITH SCORE 7738.252
AT ITER 6253 NEW BEST:: SOT 129324 SOS 97234 HAS SOPS 80738 HAS SOUS 8661 HAS SOUPS 7641 WITH SCORE 7738.234
AT ITER 6258 NEW BEST:: SOT 129320 SOS 97230 HAS SOPS 80734 HAS SOUS 8657 HAS SOUPS 7637 WITH SCORE 7734.23
AT ITER 6286 NEW BEST:: SOT 129310 SOS 97220 HAS SOPS 80724 HAS SOUS 8652 HAS SOUPS 7632 WITH SCORE 7729.22
AT ITER 6289 NEW BEST:: SOT 129310 SOS 97222 HAS SOPS 80694 HAS SOUS 8651 HAS SOUPS 7631 WITH SCORE 7728.222
AT ITER 6367 NEW BEST:: SOT 129254 SOS 97166 HAS SOPS 80638 HAS SOUS 8616 HAS SOUPS 7596 WITH SCORE 7693.166
AT ITER 6373 NEW BEST:: SOT 129254 SOS 97146 HAS SOPS 80638 HAS SOUS 8612 HAS SOUPS 7596 WITH SCORE 7693.146
AT ITER 6392 NEW BEST:: SOT 129254 SOS 97146 HAS SOPS 80638 HAS SOUS 8604 HAS SOUPS 7588 WITH SCORE 7685.146
AT ITER 6400 NEW BEST:: SOT 129253 SOS 97232 HAS SOPS 80724 HAS SOUS 8587 HAS SOUPS 7571 WITH SCORE 7668.232
AT ITER 6410 NEW BEST:: SOT 129235 SOS 97210 HAS SOPS 80702 HAS SOUS 8583 HAS SOUPS 7567 WITH SCORE 7664.21
AT ITER 6411 NEW BEST:: SOT 129217 SOS 97192 HAS SOPS 80684 HAS SOUS 8583 HAS SOUPS 7567 WITH SCORE 7664.192
AT ITER 6432 NEW BEST:: SOT 129209 SOS 97184 HAS SOPS 80676 HAS SOUS 8569 HAS SOUPS 7553 WITH SCORE 7650.184
AT ITER 6435 NEW BEST:: SOT 129205 SOS 97180 HAS SOPS 80672 HAS SOUS 8565 HAS SOUPS 7549 WITH SCORE 7646.18
AT ITER 6493 NEW BEST:: SOT 129205 SOS 97000 HAS SOPS 80672 HAS SOUS 8565 HAS SOUPS 7549 WITH SCORE 7646.0
AT ITER 6547 NEW BEST:: SOT 129139 SOS 96934 HAS SOPS 80606 HAS SOUS 8562 HAS SOUPS 7546 WITH SCORE 7642.934
AT ITER 6556 NEW BEST:: SOT 129273 SOS 97068 HAS SOPS 80740 HAS SOUS 8554 HAS SOUPS 7538 WITH SCORE 7635.068
AT ITER 6570 NEW BEST:: SOT 129259 SOS 97054 HAS SOPS 80726 HAS SOUS 8536 HAS SOUPS 7520 WITH SCORE 7617.054
AT ITER 6658 NEW BEST:: SOT 129253 SOS 97048 HAS SOPS 80720 HAS SOUS 8536 HAS SOUPS 7520 WITH SCORE 7617.048
AT ITER 6664 NEW BEST:: SOT 129253 SOS 97048 HAS SOPS 80720 HAS SOUS 8535 HAS SOUPS 7519 WITH SCORE 7616.048
AT ITER 6737 NEW BEST:: SOT 129263 SOS 97058 HAS SOPS 80730 HAS SOUS 8532 HAS SOUPS 7516 WITH SCORE 7613.058
AT ITER 6793 NEW BEST:: SOT 129263 SOS 97050 HAS SOPS 80732 HAS SOUS 8530 HAS SOUPS 7516 WITH SCORE 7613.05
AT ITER 6801 NEW BEST:: SOT 129258 SOS 97045 HAS SOPS 80727 HAS SOUS 8523 HAS SOUPS 7509 WITH SCORE 7606.045
AT ITER 6835 NEW BEST:: SOT 129257 SOS 97044 HAS SOPS 80726 HAS SOUS 8512 HAS SOUPS 7498 WITH SCORE 7595.044
AT ITER 6860 NEW BEST:: SOT 129341 SOS 97132 HAS SOPS 80814 HAS SOUS 8508 HAS SOUPS 7494 WITH SCORE 7591.132
AT ITER 6873 NEW BEST:: SOT 129331 SOS 97122 HAS SOPS 80804 HAS SOUS 8498 HAS SOUPS 7484 WITH SCORE 7581.122
AT ITER 6903 NEW BEST:: SOT 129271 SOS 97062 HAS SOPS 80744 HAS SOUS 8484 HAS SOUPS 7470 WITH SCORE 7567.062
AT ITER 6941 NEW BEST:: SOT 129251 SOS 97006 HAS SOPS 80672 HAS SOUS 8495 HAS SOUPS 7469 WITH SCORE 7566.006
AT ITER 6970 NEW BEST:: SOT 129251 SOS 97202 HAS SOPS 80644 HAS SOUS 8502 HAS SOUPS 7462 WITH SCORE 7559.202
AT ITER 6971 NEW BEST:: SOT 129259 SOS 97210 HAS SOPS 80652 HAS SOUS 8493 HAS SOUPS 7453 WITH SCORE 7550.21
AT ITER 6997 NEW BEST:: SOT 129263 SOS 97214 HAS SOPS 80656 HAS SOUS 8490 HAS SOUPS 7450 WITH SCORE 7547.214
AT ITER 7011 NEW BEST:: SOT 129263 SOS 96954 HAS SOPS 80656 HAS SOUS 8495 HAS SOUPS 7450 WITH SCORE 7546.954
AT ITER 7029 NEW BEST:: SOT 129257 SOS 96948 HAS SOPS 80650 HAS SOUS 8495 HAS SOUPS 7450 WITH SCORE 7546.948
AT ITER 7138 NEW BEST:: SOT 129251 SOS 96942 HAS SOPS 80644 HAS SOUS 8492 HAS SOUPS 7447 WITH SCORE 7543.942
AT ITER 7143 NEW BEST:: SOT 129251 SOS 96942 HAS SOPS 80644 HAS SOUS 8486 HAS SOUPS 7445 WITH SCORE 7541.942
AT ITER 7192 NEW BEST:: SOT 129261 SOS 96952 HAS SOPS 80654 HAS SOUS 8484 HAS SOUPS 7443 WITH SCORE 7539.952
AT ITER 7267 NEW BEST:: SOT 129257 SOS 96948 HAS SOPS 80650 HAS SOUS 8479 HAS SOUPS 7438 WITH SCORE 7534.948
AT ITER 7408 NEW BEST:: SOT 129257 SOS 96948 HAS SOPS 80650 HAS SOUS 8477 HAS SOUPS 7436 WITH SCORE 7532.948
AT ITER 7456 NEW BEST:: SOT 129189 SOS 96880 HAS SOPS 80582 HAS SOUS 8470 HAS SOUPS 7429 WITH SCORE 7525.88
AT ITER 7466 NEW BEST:: SOT 129189 SOS 96886 HAS SOPS 80524 HAS SOUS 8473 HAS SOUPS 7428 WITH SCORE 7524.886
AT ITER 7515 NEW BEST:: SOT 129189 SOS 96892 HAS SOPS 80530 HAS SOUS 8476 HAS SOUPS 7427 WITH SCORE 7523.892
AT ITER 7518 NEW BEST:: SOT 129189 SOS 96872 HAS SOPS 80530 HAS SOUS 8470 HAS SOUPS 7427 WITH SCORE 7523.872
AT ITER 7523 NEW BEST:: SOT 129067 SOS 96750 HAS SOPS 80408 HAS SOUS 8468 HAS SOUPS 7425 WITH SCORE 7521.75
AT ITER 7561 NEW BEST:: SOT 129049 SOS 96732 HAS SOPS 80390 HAS SOUS 8465 HAS SOUPS 7422 WITH SCORE 7518.732
AT ITER 7687 NEW BEST:: SOT 129007 SOS 96690 HAS SOPS 80348 HAS SOUS 8459 HAS SOUPS 7416 WITH SCORE 7512.69
AT ITER 7736 NEW BEST:: SOT 128997 SOS 96680 HAS SOPS 80338 HAS SOUS 8449 HAS SOUPS 7406 WITH SCORE 7502.68
AT ITER 7748 NEW BEST:: SOT 128997 SOS 96632 HAS SOPS 80226 HAS SOUS 8447 HAS SOUPS 7404 WITH SCORE 7500.632
AT ITER 7752 NEW BEST:: SOT 128997 SOS 96640 HAS SOPS 80178 HAS SOUS 8458 HAS SOUPS 7401 WITH SCORE 7497.64
AT ITER 7759 NEW BEST:: SOT 129109 SOS 96752 HAS SOPS 80290 HAS SOUS 8455 HAS SOUPS 7398 WITH SCORE 7494.752
AT ITER 7777 NEW BEST:: SOT 129101 SOS 96744 HAS SOPS 80282 HAS SOUS 8454 HAS SOUPS 7397 WITH SCORE 7493.744
AT ITER 7822 NEW BEST:: SOT 129101 SOS 96744 HAS SOPS 80282 HAS SOUS 8451 HAS SOUPS 7394 WITH SCORE 7490.744
AT ITER 7843 NEW BEST:: SOT 129109 SOS 96752 HAS SOPS 80290 HAS SOUS 8449 HAS SOUPS 7392 WITH SCORE 7488.752
AT ITER 7924 NEW BEST:: SOT 129109 SOS 96608 HAS SOPS 80290 HAS SOUS 8442 HAS SOUPS 7392 WITH SCORE 7488.608
AT ITER 7978 NEW BEST:: SOT 128759 SOS 96258 HAS SOPS 79940 HAS SOUS 8414 HAS SOUPS 7364 WITH SCORE 7460.258
AT ITER 8047 NEW BEST:: SOT 128757 SOS 96256 HAS SOPS 79938 HAS SOUS 8410 HAS SOUPS 7360 WITH SCORE 7456.256
AT ITER 8063 NEW BEST:: SOT 128755 SOS 96254 HAS SOPS 79936 HAS SOUS 8408 HAS SOUPS 7358 WITH SCORE 7454.254
AT ITER 8092 NEW BEST:: SOT 128755 SOS 96254 HAS SOPS 79936 HAS SOUS 8403 HAS SOUPS 7353 WITH SCORE 7449.254
AT ITER 8097 NEW BEST:: SOT 128751 SOS 96250 HAS SOPS 79932 HAS SOUS 8400 HAS SOUPS 7350 WITH SCORE 7446.25
AT ITER 8113 NEW BEST:: SOT 128743 SOS 96242 HAS SOPS 79924 HAS SOUS 8396 HAS SOUPS 7346 WITH SCORE 7442.242
AT ITER 8135 NEW BEST:: SOT 128748 SOS 96247 HAS SOPS 79929 HAS SOUS 8395 HAS SOUPS 7345 WITH SCORE 7441.247
AT ITER 8156 NEW BEST:: SOT 128740 SOS 96239 HAS SOPS 79921 HAS SOUS 8395 HAS SOUPS 7345 WITH SCORE 7441.239
AT ITER 8214 NEW BEST:: SOT 128738 SOS 96237 HAS SOPS 79919 HAS SOUS 8395 HAS SOUPS 7345 WITH SCORE 7441.237
AT ITER 8240 NEW BEST:: SOT 128740 SOS 96239 HAS SOPS 79921 HAS SOUS 8391 HAS SOUPS 7341 WITH SCORE 7437.239
AT ITER 8276 NEW BEST:: SOT 128740 SOS 97231 HAS SOPS 79889 HAS SOUS 8391 HAS SOUPS 7333 WITH SCORE 7430.231
AT ITER 8368 NEW BEST:: SOT 128720 SOS 97211 HAS SOPS 79869 HAS SOUS 8385 HAS SOUPS 7327 WITH SCORE 7424.211
AT ITER 8378 NEW BEST:: SOT 128716 SOS 97207 HAS SOPS 79865 HAS SOUS 8379 HAS SOUPS 7321 WITH SCORE 7418.207
AT ITER 8400 NEW BEST:: SOT 128542 SOS 97067 HAS SOPS 79725 HAS SOUS 8386 HAS SOUPS 7318 WITH SCORE 7415.067
AT ITER 8419 NEW BEST:: SOT 128504 SOS 97027 HAS SOPS 79685 HAS SOUS 8385 HAS SOUPS 7317 WITH SCORE 7414.027
AT ITER 8438 NEW BEST:: SOT 128498 SOS 97021 HAS SOPS 79679 HAS SOUS 8379 HAS SOUPS 7311 WITH SCORE 7408.021
AT ITER 8519 NEW BEST:: SOT 128496 SOS 97019 HAS SOPS 79677 HAS SOUS 8378 HAS SOUPS 7310 WITH SCORE 7407.019
AT ITER 8529 NEW BEST:: SOT 128539 SOS 97075 HAS SOPS 79733 HAS SOUS 8374 HAS SOUPS 7306 WITH SCORE 7403.075
AT ITER 8530 NEW BEST:: SOT 128539 SOS 97099 HAS SOPS 79725 HAS SOUS 8388 HAS SOUPS 7302 WITH SCORE 7399.099
AT ITER 8533 NEW BEST:: SOT 128539 SOS 97095 HAS SOPS 79737 HAS SOUS 8378 HAS SOUPS 7302 WITH SCORE 7399.095
AT ITER 8610 NEW BEST:: SOT 128539 SOS 97095 HAS SOPS 79737 HAS SOUS 8375 HAS SOUPS 7299 WITH SCORE 7396.095
AT ITER 8638 NEW BEST:: SOT 128541 SOS 97097 HAS SOPS 79739 HAS SOUS 8374 HAS SOUPS 7298 WITH SCORE 7395.097
AT ITER 8670 NEW BEST:: SOT 128525 SOS 97009 HAS SOPS 79651 HAS SOUS 8373 HAS SOUPS 7297 WITH SCORE 7394.009
AT ITER 8675 NEW BEST:: SOT 128495 SOS 96979 HAS SOPS 79621 HAS SOUS 8368 HAS SOUPS 7292 WITH SCORE 7388.979
AT ITER 8741 NEW BEST:: SOT 128575 SOS 97059 HAS SOPS 79701 HAS SOUS 8366 HAS SOUPS 7290 WITH SCORE 7387.059
AT ITER 8879 NEW BEST:: SOT 128543 SOS 97027 HAS SOPS 79669 HAS SOUS 8349 HAS SOUPS 7273 WITH SCORE 7370.027
AT ITER 8988 NEW BEST:: SOT 128541 SOS 97025 HAS SOPS 79667 HAS SOUS 8347 HAS SOUPS 7271 WITH SCORE 7368.025
AT ITER 9015 NEW BEST:: SOT 128489 SOS 96973 HAS SOPS 79639 HAS SOUS 8330 HAS SOUPS 7262 WITH SCORE 7358.973
AT ITER 9028 NEW BEST:: SOT 128489 SOS 96973 HAS SOPS 79639 HAS SOUS 8328 HAS SOUPS 7260 WITH SCORE 7356.973
AT ITER 9069 NEW BEST:: SOT 128549 SOS 96961 HAS SOPS 79627 HAS SOUS 8328 HAS SOUPS 7260 WITH SCORE 7356.961
AT ITER 9147 NEW BEST:: SOT 128549 SOS 96959 HAS SOPS 79621 HAS SOUS 8341 HAS SOUPS 7260 WITH SCORE 7356.959
AT ITER 9351 NEW BEST:: SOT 128475 SOS 96885 HAS SOPS 79547 HAS SOUS 8320 HAS SOUPS 7239 WITH SCORE 7335.885
AT ITER 9378 NEW BEST:: SOT 128411 SOS 96821 HAS SOPS 79483 HAS SOUS 8317 HAS SOUPS 7236 WITH SCORE 7332.821
AT ITER 9398 NEW BEST:: SOT 128277 SOS 96687 HAS SOPS 79349 HAS SOUS 8314 HAS SOUPS 7233 WITH SCORE 7329.687
AT ITER 9528 NEW BEST:: SOT 128279 SOS 96689 HAS SOPS 79351 HAS SOUS 8309 HAS SOUPS 7228 WITH SCORE 7324.689
AT ITER 9532 NEW BEST:: SOT 128279 SOS 96673 HAS SOPS 79351 HAS SOUS 8301 HAS SOUPS 7228 WITH SCORE 7324.673
AT ITER 9550 NEW BEST:: SOT 128279 SOS 96635 HAS SOPS 79313 HAS SOUS 8301 HAS SOUPS 7228 WITH SCORE 7324.635
AT ITER 9565 NEW BEST:: SOT 128279 SOS 95555 HAS SOPS 79313 HAS SOUS 8301 HAS SOUPS 7228 WITH SCORE 7323.555
AT ITER 9576 NEW BEST:: SOT 128267 SOS 95543 HAS SOPS 79301 HAS SOUS 8295 HAS SOUPS 7222 WITH SCORE 7317.543
AT ITER 9601 NEW BEST:: SOT 127945 SOS 95221 HAS SOPS 78979 HAS SOUS 8267 HAS SOUPS 7194 WITH SCORE 7289.221
AT ITER 9633 NEW BEST:: SOT 127923 SOS 95199 HAS SOPS 78957 HAS SOUS 8267 HAS SOUPS 7194 WITH SCORE 7289.199
AT ITER 9639 NEW BEST:: SOT 127923 SOS 94947 HAS SOPS 78957 HAS SOUS 8267 HAS SOUPS 7194 WITH SCORE 7288.947
AT ITER 9703 NEW BEST:: SOT 127917 SOS 94941 HAS SOPS 78951 HAS SOUS 8258 HAS SOUPS 7185 WITH SCORE 7279.941
AT ITER 9710 NEW BEST:: SOT 127861 SOS 94885 HAS SOPS 78895 HAS SOUS 8228 HAS SOUPS 7155 WITH SCORE 7249.885
AT ITER 9721 NEW BEST:: SOT 127857 SOS 94881 HAS SOPS 78891 HAS SOUS 8228 HAS SOUPS 7155 WITH SCORE 7249.881
AT ITER 9727 NEW BEST:: SOT 127841 SOS 94865 HAS SOPS 78875 HAS SOUS 8228 HAS SOUPS 7155 WITH SCORE 7249.865
AT ITER 9760 NEW BEST:: SOT 127863 SOS 94835 HAS SOPS 78887 HAS SOUS 8214 HAS SOUPS 7155 WITH SCORE 7249.835
AT ITER 9780 NEW BEST:: SOT 127816 SOS 94788 HAS SOPS 78840 HAS SOUS 8210 HAS SOUPS 7151 WITH SCORE 7245.788
AT ITER 9908 NEW BEST:: SOT 127851 SOS 94824 HAS SOPS 78876 HAS SOUS 8208 HAS SOUPS 7149 WITH SCORE 7243.824
AT ITER 9965 NEW BEST:: SOT 127841 SOS 94794 HAS SOPS 78846 HAS SOUS 8205 HAS SOUPS 7146 WITH SCORE 7240.794
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 9946900 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16117524 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="SemanticWebServices-PT-S128P09"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smartxred"
echo " Input is SemanticWebServices-PT-S128P09, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r363-smll-167891814200392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SemanticWebServices-PT-S128P09.tgz
mv SemanticWebServices-PT-S128P09 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;