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.r259-smll-167863534700568.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 smart
Input is Peterson-COL-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534700568
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 6.1K Feb 25 22:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 25 22:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 22:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 22:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 22:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 147K Feb 25 22:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 22:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 22:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 43K 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 1678819329133

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Peterson-COL-3
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 18:42:13] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 18:42:13] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 18:42:13] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 18:42:14] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 18:42:14] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1071 ms
[2023-03-14 18:42:14] [INFO ] Imported 11 HL places and 14 HL transitions for a total of 256 PT places and 396.0 transition bindings in 45 ms.
[2023-03-14 18:42:14] [INFO ] Unfolded HLPN to a Petri net with 256 places and 356 transitions 1112 arcs in 70 ms.
[2023-03-14 18:42:14] [INFO ] Unfolded 0 HLPN properties in 1 ms.
Reduce places removed 12 places and 24 transitions.
[2023-03-14 18:42:14] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 244 places, 332 transitions and 1016 arcs took 20 ms.
Total runtime 1520 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Peterson (COL), instance 3
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 244 places, 332 transitions, 1016 arcs.
AT ITER 0 NEW BEST:: SOT 54815 SOS 20242 HAS SOPS 18025 HAS SOUS 17412 HAS SOUPS 16656 WITH SCORE 16676.242
AT ITER 2 NEW BEST:: SOT 54794 SOS 20200 HAS SOPS 17983 HAS SOUS 17370 HAS SOUPS 16614 WITH SCORE 16634.2
AT ITER 8 NEW BEST:: SOT 54791 SOS 20463 HAS SOPS 17942 HAS SOUS 17408 HAS SOUPS 16579 WITH SCORE 16599.463
AT ITER 10 NEW BEST:: SOT 54732 SOS 20479 HAS SOPS 17909 HAS SOUS 17407 HAS SOUPS 16546 WITH SCORE 16566.479
AT ITER 43 NEW BEST:: SOT 54722 SOS 20469 HAS SOPS 17899 HAS SOUS 17397 HAS SOUPS 16536 WITH SCORE 16556.469
AT ITER 47 NEW BEST:: SOT 54636 SOS 20560 HAS SOPS 17856 HAS SOUS 17354 HAS SOUPS 16450 WITH SCORE 16470.56
AT ITER 56 NEW BEST:: SOT 54636 SOS 20542 HAS SOPS 17856 HAS SOUS 17354 HAS SOUPS 16450 WITH SCORE 16470.542
AT ITER 57 NEW BEST:: SOT 54596 SOS 20480 HAS SOPS 17826 HAS SOUS 17324 HAS SOUPS 16420 WITH SCORE 16440.48
AT ITER 60 NEW BEST:: SOT 54593 SOS 20456 HAS SOPS 17827 HAS SOUS 17312 HAS SOUPS 16415 WITH SCORE 16435.456
AT ITER 61 NEW BEST:: SOT 54592 SOS 20402 HAS SOPS 17833 HAS SOUS 17286 HAS SOUPS 16401 WITH SCORE 16421.402
AT ITER 65 NEW BEST:: SOT 54564 SOS 20395 HAS SOPS 17777 HAS SOUS 17227 HAS SOUPS 16342 WITH SCORE 16362.395
AT ITER 69 NEW BEST:: SOT 54564 SOS 20369 HAS SOPS 17751 HAS SOUS 17201 HAS SOUPS 16316 WITH SCORE 16336.369
AT ITER 73 NEW BEST:: SOT 54564 SOS 20369 HAS SOPS 17725 HAS SOUS 17185 HAS SOUPS 16290 WITH SCORE 16310.369
AT ITER 80 NEW BEST:: SOT 54560 SOS 20361 HAS SOPS 17717 HAS SOUS 17177 HAS SOUPS 16282 WITH SCORE 16302.361
AT ITER 83 NEW BEST:: SOT 54109 SOS 20030 HAS SOPS 17614 HAS SOUS 16987 HAS SOUPS 16123 WITH SCORE 16143.03
AT ITER 88 NEW BEST:: SOT 54104 SOS 20020 HAS SOPS 17604 HAS SOUS 16977 HAS SOUPS 16113 WITH SCORE 16133.02
AT ITER 89 NEW BEST:: SOT 54066 SOS 19966 HAS SOPS 17580 HAS SOUS 16926 HAS SOUPS 16062 WITH SCORE 16081.966
AT ITER 92 NEW BEST:: SOT 54062 SOS 19962 HAS SOPS 17572 HAS SOUS 16922 HAS SOUPS 16054 WITH SCORE 16073.962
AT ITER 95 NEW BEST:: SOT 54062 SOS 19975 HAS SOPS 17585 HAS SOUS 16908 HAS SOUPS 16040 WITH SCORE 16059.975
AT ITER 107 NEW BEST:: SOT 54053 SOS 19957 HAS SOPS 17567 HAS SOUS 16890 HAS SOUPS 16022 WITH SCORE 16041.957
AT ITER 109 NEW BEST:: SOT 54053 SOS 19933 HAS SOPS 17567 HAS SOUS 16890 HAS SOUPS 16022 WITH SCORE 16041.933
AT ITER 117 NEW BEST:: SOT 54043 SOS 19913 HAS SOPS 17547 HAS SOUS 16870 HAS SOUPS 16002 WITH SCORE 16021.913
AT ITER 121 NEW BEST:: SOT 54073 SOS 20212 HAS SOPS 17533 HAS SOUS 16896 HAS SOUPS 15988 WITH SCORE 16008.212
AT ITER 127 NEW BEST:: SOT 54053 SOS 20172 HAS SOPS 17493 HAS SOUS 16856 HAS SOUPS 15948 WITH SCORE 15968.172
AT ITER 129 NEW BEST:: SOT 54000 SOS 20004 HAS SOPS 17387 HAS SOUS 16750 HAS SOUPS 15842 WITH SCORE 15862.004
AT ITER 133 NEW BEST:: SOT 53708 SOS 19757 HAS SOPS 17163 HAS SOUS 16504 HAS SOUPS 15618 WITH SCORE 15637.757
AT ITER 143 NEW BEST:: SOT 53629 SOS 19757 HAS SOPS 17022 HAS SOUS 16444 HAS SOUPS 15477 WITH SCORE 15496.757
AT ITER 144 NEW BEST:: SOT 53594 SOS 19722 HAS SOPS 16987 HAS SOUS 16402 HAS SOUPS 15435 WITH SCORE 15454.722
AT ITER 148 NEW BEST:: SOT 53592 SOS 19626 HAS SOPS 17012 HAS SOUS 16279 HAS SOUPS 15367 WITH SCORE 15386.626
AT ITER 154 NEW BEST:: SOT 53581 SOS 19567 HAS SOPS 16990 HAS SOUS 16257 HAS SOUPS 15345 WITH SCORE 15364.567
AT ITER 158 NEW BEST:: SOT 53574 SOS 19464 HAS SOPS 16976 HAS SOUS 16026 HAS SOUPS 15164 WITH SCORE 15183.464
AT ITER 170 NEW BEST:: SOT 53536 SOS 19401 HAS SOPS 16938 HAS SOUS 15988 HAS SOUPS 15126 WITH SCORE 15145.401
AT ITER 173 NEW BEST:: SOT 53533 SOS 19398 HAS SOPS 16935 HAS SOUS 15985 HAS SOUPS 15123 WITH SCORE 15142.398
AT ITER 178 NEW BEST:: SOT 53367 SOS 19309 HAS SOPS 16913 HAS SOUS 15906 HAS SOUPS 15089 WITH SCORE 15108.309
AT ITER 190 NEW BEST:: SOT 53278 SOS 19313 HAS SOPS 16857 HAS SOUS 15866 HAS SOUPS 15033 WITH SCORE 15052.313
AT ITER 201 NEW BEST:: SOT 53226 SOS 19216 HAS SOPS 16805 HAS SOUS 15814 HAS SOUPS 14981 WITH SCORE 15000.216
AT ITER 204 NEW BEST:: SOT 53224 SOS 19212 HAS SOPS 16801 HAS SOUS 15810 HAS SOUPS 14977 WITH SCORE 14996.212
AT ITER 205 NEW BEST:: SOT 53262 SOS 19715 HAS SOPS 16780 HAS SOUS 15878 HAS SOUPS 14963 WITH SCORE 14982.715
AT ITER 210 NEW BEST:: SOT 53232 SOS 19655 HAS SOPS 16720 HAS SOUS 15818 HAS SOUPS 14903 WITH SCORE 14922.655
AT ITER 218 NEW BEST:: SOT 53214 SOS 19619 HAS SOPS 16666 HAS SOUS 15764 HAS SOUPS 14849 WITH SCORE 14868.619
AT ITER 229 NEW BEST:: SOT 53210 SOS 19611 HAS SOPS 16662 HAS SOUS 15760 HAS SOUPS 14845 WITH SCORE 14864.611
AT ITER 236 NEW BEST:: SOT 53084 SOS 19490 HAS SOPS 16536 HAS SOUS 15648 HAS SOUPS 14719 WITH SCORE 14738.49
AT ITER 239 NEW BEST:: SOT 53005 SOS 19447 HAS SOPS 16461 HAS SOUS 15651 HAS SOUPS 14644 WITH SCORE 14663.447
AT ITER 252 NEW BEST:: SOT 53001 SOS 19427 HAS SOPS 16445 HAS SOUS 15640 HAS SOUPS 14633 WITH SCORE 14652.427
AT ITER 273 NEW BEST:: SOT 52975 SOS 19401 HAS SOPS 16393 HAS SOUS 15588 HAS SOUPS 14581 WITH SCORE 14600.401
AT ITER 274 NEW BEST:: SOT 52982 SOS 19392 HAS SOPS 16391 HAS SOUS 15585 HAS SOUPS 14579 WITH SCORE 14598.392
AT ITER 293 NEW BEST:: SOT 52975 SOS 19418 HAS SOPS 16377 HAS SOUS 15538 HAS SOUPS 14532 WITH SCORE 14551.418
AT ITER 295 NEW BEST:: SOT 52940 SOS 19390 HAS SOPS 16363 HAS SOUS 15517 HAS SOUPS 14518 WITH SCORE 14537.39
AT ITER 324 NEW BEST:: SOT 52794 SOS 19248 HAS SOPS 16266 HAS SOUS 15344 HAS SOUPS 14390 WITH SCORE 14409.248
AT ITER 328 NEW BEST:: SOT 52774 SOS 19222 HAS SOPS 16226 HAS SOUS 15318 HAS SOUPS 14350 WITH SCORE 14369.222
AT ITER 352 NEW BEST:: SOT 52774 SOS 19213 HAS SOPS 16217 HAS SOUS 15309 HAS SOUPS 14341 WITH SCORE 14360.213
AT ITER 360 NEW BEST:: SOT 52716 SOS 19094 HAS SOPS 16196 HAS SOUS 15255 HAS SOUPS 14291 WITH SCORE 14310.094
AT ITER 371 NEW BEST:: SOT 52696 SOS 19104 HAS SOPS 16206 HAS SOUS 15235 HAS SOUPS 14271 WITH SCORE 14290.104
AT ITER 372 NEW BEST:: SOT 52680 SOS 19229 HAS SOPS 16167 HAS SOUS 15220 HAS SOUPS 14232 WITH SCORE 14251.229
AT ITER 376 NEW BEST:: SOT 52577 SOS 19012 HAS SOPS 16068 HAS SOUS 15121 HAS SOUPS 14133 WITH SCORE 14152.012
AT ITER 381 NEW BEST:: SOT 52551 SOS 18940 HAS SOPS 15996 HAS SOUS 15049 HAS SOUPS 14061 WITH SCORE 14079.94
AT ITER 401 NEW BEST:: SOT 52545 SOS 19225 HAS SOPS 15935 HAS SOUS 15043 HAS SOUPS 14000 WITH SCORE 14019.225
AT ITER 403 NEW BEST:: SOT 52535 SOS 19391 HAS SOPS 16091 HAS SOUS 14965 HAS SOUPS 13922 WITH SCORE 13941.391
AT ITER 404 NEW BEST:: SOT 52499 SOS 19221 HAS SOPS 16075 HAS SOUS 14929 HAS SOUPS 13906 WITH SCORE 13925.221
AT ITER 410 NEW BEST:: SOT 52468 SOS 19162 HAS SOPS 16065 HAS SOUS 14913 HAS SOUPS 13896 WITH SCORE 13915.162
AT ITER 415 NEW BEST:: SOT 52460 SOS 19158 HAS SOPS 16049 HAS SOUS 14897 HAS SOUPS 13880 WITH SCORE 13899.158
AT ITER 419 NEW BEST:: SOT 52395 SOS 19079 HAS SOPS 15946 HAS SOUS 14818 HAS SOUPS 13777 WITH SCORE 13796.079
AT ITER 422 NEW BEST:: SOT 52442 SOS 19067 HAS SOPS 16077 HAS SOUS 14503 HAS SOUPS 13525 WITH SCORE 13544.067
AT ITER 423 NEW BEST:: SOT 52388 SOS 18722 HAS SOPS 16091 HAS SOUS 14443 HAS SOUPS 13513 WITH SCORE 13531.722
AT ITER 426 NEW BEST:: SOT 52372 SOS 18698 HAS SOPS 16067 HAS SOUS 14419 HAS SOUPS 13489 WITH SCORE 13507.698
AT ITER 430 NEW BEST:: SOT 52365 SOS 18691 HAS SOPS 16053 HAS SOUS 14412 HAS SOUPS 13475 WITH SCORE 13493.691
AT ITER 433 NEW BEST:: SOT 52358 SOS 18689 HAS SOPS 16051 HAS SOUS 14410 HAS SOUPS 13473 WITH SCORE 13491.689
AT ITER 441 NEW BEST:: SOT 52344 SOS 18704 HAS SOPS 16066 HAS SOUS 14382 HAS SOUPS 13445 WITH SCORE 13463.704
AT ITER 442 NEW BEST:: SOT 52344 SOS 18649 HAS SOPS 16011 HAS SOUS 14360 HAS SOUPS 13423 WITH SCORE 13441.649
AT ITER 450 NEW BEST:: SOT 52337 SOS 18600 HAS SOPS 16009 HAS SOUS 14352 HAS SOUPS 13421 WITH SCORE 13439.6
AT ITER 451 NEW BEST:: SOT 52336 SOS 18548 HAS SOPS 16007 HAS SOUS 14300 HAS SOUPS 13419 WITH SCORE 13437.548
AT ITER 452 NEW BEST:: SOT 52308 SOS 18554 HAS SOPS 15976 HAS SOUS 14314 HAS SOUPS 13388 WITH SCORE 13406.554
AT ITER 459 NEW BEST:: SOT 52284 SOS 18530 HAS SOPS 15952 HAS SOUS 14290 HAS SOUPS 13364 WITH SCORE 13382.53
AT ITER 465 NEW BEST:: SOT 52231 SOS 18438 HAS SOPS 15846 HAS SOUS 14193 HAS SOUPS 13267 WITH SCORE 13285.438
AT ITER 468 NEW BEST:: SOT 52223 SOS 18413 HAS SOPS 15821 HAS SOUS 14168 HAS SOUPS 13242 WITH SCORE 13260.413
AT ITER 471 NEW BEST:: SOT 52151 SOS 18371 HAS SOPS 15792 HAS SOUS 14128 HAS SOUPS 13202 WITH SCORE 13220.371
AT ITER 472 NEW BEST:: SOT 52139 SOS 18365 HAS SOPS 15768 HAS SOUS 14104 HAS SOUPS 13178 WITH SCORE 13196.365
AT ITER 477 NEW BEST:: SOT 52139 SOS 18359 HAS SOPS 15762 HAS SOUS 14104 HAS SOUPS 13178 WITH SCORE 13196.359
AT ITER 492 NEW BEST:: SOT 52132 SOS 18352 HAS SOPS 15741 HAS SOUS 14083 HAS SOUPS 13157 WITH SCORE 13175.352
AT ITER 498 NEW BEST:: SOT 52132 SOS 18301 HAS SOPS 15741 HAS SOUS 13981 HAS SOUPS 13073 WITH SCORE 13091.301
AT ITER 512 NEW BEST:: SOT 52106 SOS 18289 HAS SOPS 15729 HAS SOUS 13931 HAS SOUPS 13023 WITH SCORE 13041.289
AT ITER 518 NEW BEST:: SOT 52096 SOS 18269 HAS SOPS 15719 HAS SOUS 13921 HAS SOUPS 13013 WITH SCORE 13031.269
AT ITER 520 NEW BEST:: SOT 51973 SOS 18097 HAS SOPS 15522 HAS SOUS 13732 HAS SOUPS 12816 WITH SCORE 12834.097
AT ITER 529 NEW BEST:: SOT 51957 SOS 18218 HAS SOPS 15505 HAS SOUS 13746 HAS SOUPS 12807 WITH SCORE 12825.218
AT ITER 534 NEW BEST:: SOT 51979 SOS 18110 HAS SOPS 15483 HAS SOUS 13722 HAS SOUPS 12805 WITH SCORE 12823.11
AT ITER 535 NEW BEST:: SOT 51794 SOS 17985 HAS SOPS 15453 HAS SOUS 13634 HAS SOUPS 12775 WITH SCORE 12792.985
AT ITER 536 NEW BEST:: SOT 51788 SOS 17973 HAS SOPS 15441 HAS SOUS 13622 HAS SOUPS 12763 WITH SCORE 12780.973
AT ITER 542 NEW BEST:: SOT 51470 SOS 17735 HAS SOPS 15338 HAS SOUS 13413 HAS SOUPS 12640 WITH SCORE 12657.735
AT ITER 574 NEW BEST:: SOT 51470 SOS 17727 HAS SOPS 15330 HAS SOUS 13413 HAS SOUPS 12640 WITH SCORE 12657.727
AT ITER 595 NEW BEST:: SOT 51417 SOS 17458 HAS SOPS 15108 HAS SOUS 13345 HAS SOUPS 12577 WITH SCORE 12594.458
AT ITER 598 NEW BEST:: SOT 51415 SOS 17452 HAS SOPS 15102 HAS SOUS 13334 HAS SOUPS 12566 WITH SCORE 12583.452
AT ITER 614 NEW BEST:: SOT 51363 SOS 17342 HAS SOPS 15057 HAS SOUS 13288 HAS SOUPS 12520 WITH SCORE 12537.342
AT ITER 633 NEW BEST:: SOT 51362 SOS 17298 HAS SOPS 15013 HAS SOUS 13286 HAS SOUPS 12518 WITH SCORE 12535.298
AT ITER 634 NEW BEST:: SOT 51356 SOS 17295 HAS SOPS 15001 HAS SOUS 13274 HAS SOUPS 12506 WITH SCORE 12523.295
AT ITER 646 NEW BEST:: SOT 51368 SOS 17319 HAS SOPS 14989 HAS SOUS 13262 HAS SOUPS 12494 WITH SCORE 12511.319
AT ITER 660 NEW BEST:: SOT 51327 SOS 17354 HAS SOPS 14929 HAS SOUS 13221 HAS SOUPS 12434 WITH SCORE 12451.354
AT ITER 664 NEW BEST:: SOT 51312 SOS 17324 HAS SOPS 14899 HAS SOUS 13191 HAS SOUPS 12404 WITH SCORE 12421.324
AT ITER 666 NEW BEST:: SOT 51293 SOS 17286 HAS SOPS 14861 HAS SOUS 13153 HAS SOUPS 12366 WITH SCORE 12383.286
AT ITER 669 NEW BEST:: SOT 51301 SOS 17262 HAS SOPS 14853 HAS SOUS 13137 HAS SOUPS 12358 WITH SCORE 12375.262
AT ITER 673 NEW BEST:: SOT 51245 SOS 17192 HAS SOPS 14783 HAS SOUS 13067 HAS SOUPS 12288 WITH SCORE 12305.192
AT ITER 687 NEW BEST:: SOT 51207 SOS 17173 HAS SOPS 14764 HAS SOUS 13027 HAS SOUPS 12248 WITH SCORE 12265.173
AT ITER 689 NEW BEST:: SOT 51209 SOS 17117 HAS SOPS 14708 HAS SOUS 13008 HAS SOUPS 12229 WITH SCORE 12246.117
AT ITER 715 NEW BEST:: SOT 51208 SOS 17112 HAS SOPS 14703 HAS SOUS 13006 HAS SOUPS 12227 WITH SCORE 12244.112
AT ITER 720 NEW BEST:: SOT 51179 SOS 17092 HAS SOPS 14683 HAS SOUS 12986 HAS SOUPS 12207 WITH SCORE 12224.092
AT ITER 725 NEW BEST:: SOT 51180 SOS 17113 HAS SOPS 14677 HAS SOUS 13007 HAS SOUPS 12201 WITH SCORE 12218.113
AT ITER 731 NEW BEST:: SOT 51169 SOS 17040 HAS SOPS 14604 HAS SOUS 12985 HAS SOUPS 12179 WITH SCORE 12196.04
AT ITER 739 NEW BEST:: SOT 51237 SOS 17173 HAS SOPS 14599 HAS SOUS 13092 HAS SOUPS 12174 WITH SCORE 12191.173
AT ITER 748 NEW BEST:: SOT 51237 SOS 17159 HAS SOPS 14599 HAS SOUS 13092 HAS SOUPS 12174 WITH SCORE 12191.159
AT ITER 753 NEW BEST:: SOT 51236 SOS 17157 HAS SOPS 14597 HAS SOUS 13090 HAS SOUPS 12172 WITH SCORE 12189.157
AT ITER 754 NEW BEST:: SOT 51101 SOS 16930 HAS SOPS 14461 HAS SOUS 12954 HAS SOUPS 12036 WITH SCORE 12052.93
AT ITER 760 NEW BEST:: SOT 51094 SOS 16909 HAS SOPS 14440 HAS SOUS 12940 HAS SOUPS 12022 WITH SCORE 12038.909
AT ITER 762 NEW BEST:: SOT 51073 SOS 16867 HAS SOPS 14398 HAS SOUS 12898 HAS SOUPS 11980 WITH SCORE 11996.867
AT ITER 769 NEW BEST:: SOT 51072 SOS 16865 HAS SOPS 14396 HAS SOUS 12896 HAS SOUPS 11978 WITH SCORE 11994.865
AT ITER 782 NEW BEST:: SOT 51065 SOS 16830 HAS SOPS 14361 HAS SOUS 12882 HAS SOUPS 11964 WITH SCORE 11980.83
AT ITER 787 NEW BEST:: SOT 51064 SOS 16828 HAS SOPS 14359 HAS SOUS 12880 HAS SOUPS 11962 WITH SCORE 11978.828
AT ITER 795 NEW BEST:: SOT 51028 SOS 16768 HAS SOPS 14263 HAS SOUS 12892 HAS SOUPS 11938 WITH SCORE 11954.768
AT ITER 796 NEW BEST:: SOT 50990 SOS 16776 HAS SOPS 14271 HAS SOUS 12864 HAS SOUPS 11910 WITH SCORE 11926.776
AT ITER 798 NEW BEST:: SOT 50977 SOS 16698 HAS SOPS 14206 HAS SOUS 12838 HAS SOUPS 11884 WITH SCORE 11900.698
AT ITER 806 NEW BEST:: SOT 50969 SOS 16658 HAS SOPS 14190 HAS SOUS 12822 HAS SOUPS 11868 WITH SCORE 11884.658
AT ITER 815 NEW BEST:: SOT 50960 SOS 16595 HAS SOPS 14190 HAS SOUS 12813 HAS SOUPS 11868 WITH SCORE 11884.595
AT ITER 818 NEW BEST:: SOT 50942 SOS 16577 HAS SOPS 14172 HAS SOUS 12795 HAS SOUPS 11850 WITH SCORE 11866.577
AT ITER 843 NEW BEST:: SOT 50917 SOS 16452 HAS SOPS 14072 HAS SOUS 12770 HAS SOUPS 11825 WITH SCORE 11841.452
AT ITER 848 NEW BEST:: SOT 50905 SOS 16428 HAS SOPS 14048 HAS SOUS 12746 HAS SOUPS 11801 WITH SCORE 11817.428
AT ITER 861 NEW BEST:: SOT 50905 SOS 16428 HAS SOPS 14023 HAS SOUS 12721 HAS SOUPS 11776 WITH SCORE 11792.428
AT ITER 865 NEW BEST:: SOT 50897 SOS 16467 HAS SOPS 14022 HAS SOUS 12742 HAS SOUPS 11775 WITH SCORE 11791.467
AT ITER 877 NEW BEST:: SOT 50853 SOS 16421 HAS SOPS 14018 HAS SOUS 12730 HAS SOUPS 11771 WITH SCORE 11787.421
AT ITER 882 NEW BEST:: SOT 50853 SOS 16402 HAS SOPS 14018 HAS SOUS 12730 HAS SOUPS 11771 WITH SCORE 11787.402
AT ITER 891 NEW BEST:: SOT 50822 SOS 16371 HAS SOPS 13944 HAS SOUS 12689 HAS SOUPS 11697 WITH SCORE 11713.371
AT ITER 895 NEW BEST:: SOT 50751 SOS 16236 HAS SOPS 13866 HAS SOUS 12608 HAS SOUPS 11673 WITH SCORE 11689.236
AT ITER 901 NEW BEST:: SOT 50766 SOS 16322 HAS SOPS 13742 HAS SOUS 12516 HAS SOUPS 11556 WITH SCORE 11572.322
AT ITER 904 NEW BEST:: SOT 50709 SOS 16251 HAS SOPS 13754 HAS SOUS 12499 HAS SOUPS 11539 WITH SCORE 11555.251
AT ITER 906 NEW BEST:: SOT 50709 SOS 16251 HAS SOPS 13711 HAS SOUS 12499 HAS SOUPS 11496 WITH SCORE 11512.251
AT ITER 907 NEW BEST:: SOT 50691 SOS 16260 HAS SOPS 13720 HAS SOUS 12482 HAS SOUPS 11478 WITH SCORE 11494.26
AT ITER 910 NEW BEST:: SOT 50690 SOS 16342 HAS SOPS 13781 HAS SOUS 12480 HAS SOUPS 11476 WITH SCORE 11492.342
AT ITER 918 NEW BEST:: SOT 50688 SOS 16338 HAS SOPS 13777 HAS SOUS 12476 HAS SOUPS 11472 WITH SCORE 11488.338
AT ITER 925 NEW BEST:: SOT 50675 SOS 16363 HAS SOPS 13802 HAS SOUS 12450 HAS SOUPS 11446 WITH SCORE 11462.363
AT ITER 947 NEW BEST:: SOT 50673 SOS 16359 HAS SOPS 13798 HAS SOUS 12446 HAS SOUPS 11442 WITH SCORE 11458.359
AT ITER 972 NEW BEST:: SOT 50672 SOS 16357 HAS SOPS 13796 HAS SOUS 12444 HAS SOUPS 11440 WITH SCORE 11456.357
AT ITER 974 NEW BEST:: SOT 50620 SOS 16324 HAS SOPS 13765 HAS SOUS 12410 HAS SOUPS 11408 WITH SCORE 11424.324
AT ITER 1015 NEW BEST:: SOT 50620 SOS 16305 HAS SOPS 13733 HAS SOUS 12404 HAS SOUPS 11402 WITH SCORE 11418.305
AT ITER 1030 NEW BEST:: SOT 50623 SOS 16302 HAS SOPS 13727 HAS SOUS 12404 HAS SOUPS 11402 WITH SCORE 11418.302
AT ITER 1045 NEW BEST:: SOT 50603 SOS 16293 HAS SOPS 13709 HAS SOUS 12393 HAS SOUPS 11384 WITH SCORE 11400.293
AT ITER 1047 NEW BEST:: SOT 50579 SOS 16185 HAS SOPS 13601 HAS SOUS 12358 HAS SOUPS 11349 WITH SCORE 11365.185
AT ITER 1049 NEW BEST:: SOT 50573 SOS 16161 HAS SOPS 13577 HAS SOUS 12346 HAS SOUPS 11337 WITH SCORE 11353.161
AT ITER 1058 NEW BEST:: SOT 50538 SOS 16072 HAS SOPS 13507 HAS SOUS 12276 HAS SOUPS 11267 WITH SCORE 11283.072
AT ITER 1061 NEW BEST:: SOT 50503 SOS 15972 HAS SOPS 13407 HAS SOUS 12205 HAS SOUPS 11196 WITH SCORE 11211.972
AT ITER 1062 NEW BEST:: SOT 50526 SOS 16018 HAS SOPS 13404 HAS SOUS 12202 HAS SOUPS 11193 WITH SCORE 11209.018
AT ITER 1063 NEW BEST:: SOT 50522 SOS 16010 HAS SOPS 13396 HAS SOUS 12194 HAS SOUPS 11185 WITH SCORE 11201.01
AT ITER 1074 NEW BEST:: SOT 50523 SOS 16004 HAS SOPS 13389 HAS SOUS 12193 HAS SOUPS 11184 WITH SCORE 11200.004
AT ITER 1078 NEW BEST:: SOT 50491 SOS 15889 HAS SOPS 13325 HAS SOUS 12097 HAS SOUPS 11120 WITH SCORE 11135.889
AT ITER 1095 NEW BEST:: SOT 50479 SOS 15877 HAS SOPS 13313 HAS SOUS 12085 HAS SOUPS 11108 WITH SCORE 11123.877
AT ITER 1124 NEW BEST:: SOT 50483 SOS 15879 HAS SOPS 13309 HAS SOUS 12081 HAS SOUPS 11104 WITH SCORE 11119.879
AT ITER 1129 NEW BEST:: SOT 50490 SOS 15867 HAS SOPS 13294 HAS SOUS 12068 HAS SOUPS 11091 WITH SCORE 11106.867
AT ITER 1138 NEW BEST:: SOT 50486 SOS 15859 HAS SOPS 13286 HAS SOUS 12060 HAS SOUPS 11083 WITH SCORE 11098.859
AT ITER 1141 NEW BEST:: SOT 50486 SOS 15827 HAS SOPS 13262 HAS SOUS 12060 HAS SOUPS 11083 WITH SCORE 11098.827
AT ITER 1145 NEW BEST:: SOT 50480 SOS 15818 HAS SOPS 13259 HAS SOUS 12051 HAS SOUPS 11080 WITH SCORE 11095.818
AT ITER 1158 NEW BEST:: SOT 50477 SOS 15814 HAS SOPS 13255 HAS SOUS 12047 HAS SOUPS 11076 WITH SCORE 11091.814
AT ITER 1162 NEW BEST:: SOT 50466 SOS 15792 HAS SOPS 13233 HAS SOUS 12025 HAS SOUPS 11054 WITH SCORE 11069.792
AT ITER 1164 NEW BEST:: SOT 50311 SOS 15734 HAS SOPS 13061 HAS SOUS 12047 HAS SOUPS 11039 WITH SCORE 11054.734
AT ITER 1170 NEW BEST:: SOT 50327 SOS 15721 HAS SOPS 13064 HAS SOUS 12047 HAS SOUPS 11039 WITH SCORE 11054.721
AT ITER 1173 NEW BEST:: SOT 50315 SOS 15697 HAS SOPS 13040 HAS SOUS 12023 HAS SOUPS 11015 WITH SCORE 11030.697
AT ITER 1177 NEW BEST:: SOT 50298 SOS 15663 HAS SOPS 13006 HAS SOUS 11989 HAS SOUPS 10981 WITH SCORE 10996.663
AT ITER 1184 NEW BEST:: SOT 50298 SOS 15660 HAS SOPS 13006 HAS SOUS 11989 HAS SOUPS 10981 WITH SCORE 10996.66
AT ITER 1221 NEW BEST:: SOT 50297 SOS 15658 HAS SOPS 13004 HAS SOUS 11987 HAS SOUPS 10979 WITH SCORE 10994.658
AT ITER 1232 NEW BEST:: SOT 50081 SOS 15244 HAS SOPS 12840 HAS SOUS 11833 HAS SOUPS 10965 WITH SCORE 10980.244
AT ITER 1233 NEW BEST:: SOT 50085 SOS 15242 HAS SOPS 12838 HAS SOUS 11831 HAS SOUPS 10963 WITH SCORE 10978.242
AT ITER 1248 NEW BEST:: SOT 50092 SOS 15506 HAS SOPS 12834 HAS SOUS 11869 HAS SOUPS 10962 WITH SCORE 10977.506
AT ITER 1250 NEW BEST:: SOT 50073 SOS 15462 HAS SOPS 12832 HAS SOUS 11867 HAS SOUPS 10960 WITH SCORE 10975.462
AT ITER 1259 NEW BEST:: SOT 50073 SOS 15459 HAS SOPS 12829 HAS SOUS 11867 HAS SOUPS 10960 WITH SCORE 10975.459
AT ITER 1260 NEW BEST:: SOT 50073 SOS 15454 HAS SOPS 12829 HAS SOUS 11867 HAS SOUPS 10960 WITH SCORE 10975.454
AT ITER 1283 NEW BEST:: SOT 50071 SOS 15435 HAS SOPS 12827 HAS SOUS 11862 HAS SOUPS 10957 WITH SCORE 10972.435
AT ITER 1295 NEW BEST:: SOT 50085 SOS 15449 HAS SOPS 12771 HAS SOUS 11806 HAS SOUPS 10901 WITH SCORE 10916.449
AT ITER 1302 NEW BEST:: SOT 50085 SOS 15437 HAS SOPS 12759 HAS SOUS 11806 HAS SOUPS 10901 WITH SCORE 10916.437
AT ITER 1309 NEW BEST:: SOT 50068 SOS 15385 HAS SOPS 12707 HAS SOUS 11772 HAS SOUPS 10867 WITH SCORE 10882.385
AT ITER 1318 NEW BEST:: SOT 50038 SOS 15351 HAS SOPS 12668 HAS SOUS 11729 HAS SOUPS 10824 WITH SCORE 10839.351
AT ITER 1350 NEW BEST:: SOT 50038 SOS 15308 HAS SOPS 12668 HAS SOUS 11729 HAS SOUPS 10824 WITH SCORE 10839.308
AT ITER 1353 NEW BEST:: SOT 50018 SOS 15268 HAS SOPS 12647 HAS SOUS 11708 HAS SOUPS 10803 WITH SCORE 10818.268
AT ITER 1383 NEW BEST:: SOT 50015 SOS 15262 HAS SOPS 12641 HAS SOUS 11702 HAS SOUPS 10797 WITH SCORE 10812.262
AT ITER 1387 NEW BEST:: SOT 49969 SOS 15226 HAS SOPS 12618 HAS SOUS 11616 HAS SOUPS 10711 WITH SCORE 10726.226
AT ITER 1423 NEW BEST:: SOT 49947 SOS 15248 HAS SOPS 12640 HAS SOUS 11605 HAS SOUPS 10700 WITH SCORE 10715.248
AT ITER 1430 NEW BEST:: SOT 49947 SOS 15248 HAS SOPS 12638 HAS SOUS 11603 HAS SOUPS 10698 WITH SCORE 10713.248
AT ITER 1440 NEW BEST:: SOT 49931 SOS 15216 HAS SOPS 12606 HAS SOUS 11571 HAS SOUPS 10666 WITH SCORE 10681.216
AT ITER 1454 NEW BEST:: SOT 49895 SOS 15177 HAS SOPS 12580 HAS SOUS 11545 HAS SOUPS 10640 WITH SCORE 10655.177
AT ITER 1467 NEW BEST:: SOT 49855 SOS 15137 HAS SOPS 12533 HAS SOUS 11540 HAS SOUPS 10628 WITH SCORE 10643.137
AT ITER 1468 NEW BEST:: SOT 49850 SOS 15109 HAS SOPS 12523 HAS SOUS 11533 HAS SOUPS 10621 WITH SCORE 10636.109
AT ITER 1474 NEW BEST:: SOT 49871 SOS 15084 HAS SOPS 12498 HAS SOUS 11508 HAS SOUPS 10596 WITH SCORE 10611.084
AT ITER 1513 NEW BEST:: SOT 49871 SOS 15067 HAS SOPS 12498 HAS SOUS 11508 HAS SOUPS 10596 WITH SCORE 10611.067
AT ITER 1527 NEW BEST:: SOT 49871 SOS 15064 HAS SOPS 12495 HAS SOUS 11508 HAS SOUPS 10596 WITH SCORE 10611.064
AT ITER 1530 NEW BEST:: SOT 49860 SOS 15033 HAS SOPS 12464 HAS SOUS 11486 HAS SOUPS 10574 WITH SCORE 10589.033
AT ITER 1608 NEW BEST:: SOT 49868 SOS 15029 HAS SOPS 12447 HAS SOUS 11469 HAS SOUPS 10557 WITH SCORE 10572.029
AT ITER 1617 NEW BEST:: SOT 49853 SOS 14999 HAS SOPS 12432 HAS SOUS 11450 HAS SOUPS 10542 WITH SCORE 10556.999
AT ITER 1645 NEW BEST:: SOT 49829 SOS 14958 HAS SOPS 12401 HAS SOUS 11419 HAS SOUPS 10511 WITH SCORE 10525.958
AT ITER 1674 NEW BEST:: SOT 49802 SOS 14886 HAS SOPS 12329 HAS SOUS 11347 HAS SOUPS 10439 WITH SCORE 10453.886
AT ITER 1675 NEW BEST:: SOT 49794 SOS 14816 HAS SOPS 12259 HAS SOUS 11331 HAS SOUPS 10423 WITH SCORE 10437.816
AT ITER 1695 NEW BEST:: SOT 49771 SOS 14790 HAS SOPS 12233 HAS SOUS 11305 HAS SOUPS 10397 WITH SCORE 10411.79
AT ITER 1698 NEW BEST:: SOT 49766 SOS 14810 HAS SOPS 12223 HAS SOUS 11300 HAS SOUPS 10387 WITH SCORE 10401.81
AT ITER 1708 NEW BEST:: SOT 49768 SOS 14812 HAS SOPS 12212 HAS SOUS 11295 HAS SOUPS 10376 WITH SCORE 10390.812
AT ITER 1709 NEW BEST:: SOT 49768 SOS 14804 HAS SOPS 12212 HAS SOUS 11295 HAS SOUPS 10376 WITH SCORE 10390.804
AT ITER 1723 NEW BEST:: SOT 49731 SOS 14774 HAS SOPS 12204 HAS SOUS 11284 HAS SOUPS 10365 WITH SCORE 10379.774
AT ITER 1742 NEW BEST:: SOT 49731 SOS 14768 HAS SOPS 12198 HAS SOUS 11284 HAS SOUPS 10365 WITH SCORE 10379.768
AT ITER 1746 NEW BEST:: SOT 49724 SOS 14709 HAS SOPS 12047 HAS SOUS 11303 HAS SOUPS 10339 WITH SCORE 10353.709
AT ITER 1755 NEW BEST:: SOT 49722 SOS 14579 HAS SOPS 11917 HAS SOUS 11297 HAS SOUPS 10333 WITH SCORE 10347.579
AT ITER 1763 NEW BEST:: SOT 49726 SOS 14571 HAS SOPS 11909 HAS SOUS 11289 HAS SOUPS 10325 WITH SCORE 10339.571
AT ITER 1783 NEW BEST:: SOT 49725 SOS 14571 HAS SOPS 11908 HAS SOUS 11287 HAS SOUPS 10323 WITH SCORE 10337.571
AT ITER 1805 NEW BEST:: SOT 49726 SOS 14567 HAS SOPS 11907 HAS SOUS 11286 HAS SOUPS 10323 WITH SCORE 10337.567
AT ITER 1833 NEW BEST:: SOT 49712 SOS 14539 HAS SOPS 11879 HAS SOUS 11258 HAS SOUPS 10295 WITH SCORE 10309.539
AT ITER 1847 NEW BEST:: SOT 49687 SOS 14466 HAS SOPS 11856 HAS SOUS 11233 HAS SOUPS 10270 WITH SCORE 10284.466
AT ITER 1852 NEW BEST:: SOT 49688 SOS 14473 HAS SOPS 11863 HAS SOUS 11228 HAS SOUPS 10265 WITH SCORE 10279.473
AT ITER 1862 NEW BEST:: SOT 49688 SOS 14447 HAS SOPS 11837 HAS SOUS 11202 HAS SOUPS 10239 WITH SCORE 10253.447
AT ITER 1865 NEW BEST:: SOT 49688 SOS 14438 HAS SOPS 11831 HAS SOUS 11199 HAS SOUPS 10236 WITH SCORE 10250.438
AT ITER 1871 NEW BEST:: SOT 49697 SOS 14442 HAS SOPS 11829 HAS SOUS 11197 HAS SOUPS 10234 WITH SCORE 10248.442
AT ITER 1873 NEW BEST:: SOT 49697 SOS 14442 HAS SOPS 11804 HAS SOUS 11172 HAS SOUPS 10209 WITH SCORE 10223.442
AT ITER 1880 NEW BEST:: SOT 49764 SOS 14647 HAS SOPS 11896 HAS SOUS 11125 HAS SOUPS 10162 WITH SCORE 10176.647
AT ITER 1924 NEW BEST:: SOT 49744 SOS 14641 HAS SOPS 11876 HAS SOUS 11105 HAS SOUPS 10142 WITH SCORE 10156.641
AT ITER 1974 NEW BEST:: SOT 49744 SOS 14641 HAS SOPS 11867 HAS SOUS 11096 HAS SOUPS 10133 WITH SCORE 10147.641
AT ITER 2011 NEW BEST:: SOT 49751 SOS 14655 HAS SOPS 11864 HAS SOUS 11093 HAS SOUPS 10130 WITH SCORE 10144.655
AT ITER 2030 NEW BEST:: SOT 49751 SOS 14806 HAS SOPS 12015 HAS SOUS 11080 HAS SOUPS 10117 WITH SCORE 10131.806
AT ITER 2045 NEW BEST:: SOT 49745 SOS 14794 HAS SOPS 12003 HAS SOUS 11068 HAS SOUPS 10105 WITH SCORE 10119.794
AT ITER 2052 NEW BEST:: SOT 49728 SOS 14743 HAS SOPS 11952 HAS SOUS 11034 HAS SOUPS 10071 WITH SCORE 10085.743
AT ITER 2058 NEW BEST:: SOT 49725 SOS 14737 HAS SOPS 11946 HAS SOUS 11024 HAS SOUPS 10061 WITH SCORE 10075.737
AT ITER 2085 NEW BEST:: SOT 49719 SOS 14725 HAS SOPS 11934 HAS SOUS 11012 HAS SOUPS 10049 WITH SCORE 10063.725
AT ITER 2111 NEW BEST:: SOT 49702 SOS 14655 HAS SOPS 11864 HAS SOUS 11011 HAS SOUPS 10048 WITH SCORE 10062.655
AT ITER 2149 NEW BEST:: SOT 49701 SOS 14653 HAS SOPS 11862 HAS SOUS 11009 HAS SOUPS 10046 WITH SCORE 10060.653
AT ITER 2161 NEW BEST:: SOT 49687 SOS 14625 HAS SOPS 11834 HAS SOUS 10981 HAS SOUPS 10018 WITH SCORE 10032.625
AT ITER 2171 NEW BEST:: SOT 49589 SOS 14517 HAS SOPS 11782 HAS SOUS 10903 HAS SOUPS 9960 WITH SCORE 9974.517
AT ITER 2181 NEW BEST:: SOT 49585 SOS 14509 HAS SOPS 11774 HAS SOUS 10895 HAS SOUPS 9952 WITH SCORE 9966.509
AT ITER 2185 NEW BEST:: SOT 49566 SOS 14471 HAS SOPS 11736 HAS SOUS 10857 HAS SOUPS 9914 WITH SCORE 9928.471
AT ITER 2255 NEW BEST:: SOT 49564 SOS 14467 HAS SOPS 11732 HAS SOUS 10853 HAS SOUPS 9910 WITH SCORE 9924.467
AT ITER 2257 NEW BEST:: SOT 49585 SOS 14535 HAS SOPS 11727 HAS SOUS 10848 HAS SOUPS 9905 WITH SCORE 9919.535
AT ITER 2291 NEW BEST:: SOT 49563 SOS 14513 HAS SOPS 11683 HAS SOUS 10804 HAS SOUPS 9861 WITH SCORE 9875.513
AT ITER 2305 NEW BEST:: SOT 49562 SOS 14512 HAS SOPS 11682 HAS SOUS 10802 HAS SOUPS 9859 WITH SCORE 9873.512
AT ITER 2312 NEW BEST:: SOT 49561 SOS 14510 HAS SOPS 11680 HAS SOUS 10800 HAS SOUPS 9857 WITH SCORE 9871.51
AT ITER 2316 NEW BEST:: SOT 49546 SOS 14493 HAS SOPS 11675 HAS SOUS 10795 HAS SOUPS 9852 WITH SCORE 9866.493
AT ITER 2320 NEW BEST:: SOT 49543 SOS 14469 HAS SOPS 11672 HAS SOUS 10789 HAS SOUPS 9849 WITH SCORE 9863.469
AT ITER 2345 NEW BEST:: SOT 49540 SOS 14463 HAS SOPS 11666 HAS SOUS 10783 HAS SOUPS 9843 WITH SCORE 9857.463
AT ITER 2351 NEW BEST:: SOT 49489 SOS 14412 HAS SOPS 11608 HAS SOUS 10762 HAS SOUPS 9815 WITH SCORE 9829.412
AT ITER 2424 NEW BEST:: SOT 49486 SOS 14364 HAS SOPS 11602 HAS SOUS 10745 HAS SOUPS 9809 WITH SCORE 9823.364
AT ITER 2431 NEW BEST:: SOT 49477 SOS 14346 HAS SOPS 11584 HAS SOUS 10727 HAS SOUPS 9791 WITH SCORE 9805.346
AT ITER 2468 NEW BEST:: SOT 49477 SOS 14337 HAS SOPS 11575 HAS SOUS 10727 HAS SOUPS 9791 WITH SCORE 9805.337
AT ITER 2474 NEW BEST:: SOT 49458 SOS 14386 HAS SOPS 11624 HAS SOUS 10722 HAS SOUPS 9786 WITH SCORE 9800.386
AT ITER 2485 NEW BEST:: SOT 49446 SOS 14374 HAS SOPS 11612 HAS SOUS 10710 HAS SOUPS 9774 WITH SCORE 9788.374
AT ITER 2561 NEW BEST:: SOT 49439 SOS 14353 HAS SOPS 11612 HAS SOUS 10689 HAS SOUPS 9774 WITH SCORE 9788.353
AT ITER 2569 NEW BEST:: SOT 49450 SOS 14320 HAS SOPS 11579 HAS SOUS 10689 HAS SOUPS 9774 WITH SCORE 9788.32
AT ITER 2589 NEW BEST:: SOT 49418 SOS 14285 HAS SOPS 11544 HAS SOUS 10654 HAS SOUPS 9739 WITH SCORE 9753.285
AT ITER 2591 NEW BEST:: SOT 49388 SOS 14233 HAS SOPS 11484 HAS SOUS 10643 HAS SOUPS 9720 WITH SCORE 9734.233
AT ITER 2619 NEW BEST:: SOT 49358 SOS 14180 HAS SOPS 11463 HAS SOUS 10642 HAS SOUPS 9719 WITH SCORE 9733.18
AT ITER 2634 NEW BEST:: SOT 49332 SOS 14128 HAS SOPS 11411 HAS SOUS 10590 HAS SOUPS 9667 WITH SCORE 9681.128
AT ITER 2681 NEW BEST:: SOT 49336 SOS 14122 HAS SOPS 11405 HAS SOUS 10584 HAS SOUPS 9661 WITH SCORE 9675.122
AT ITER 2687 NEW BEST:: SOT 49333 SOS 14104 HAS SOPS 11405 HAS SOUS 10581 HAS SOUPS 9661 WITH SCORE 9675.104
AT ITER 2735 NEW BEST:: SOT 49331 SOS 14102 HAS SOPS 11405 HAS SOUS 10581 HAS SOUPS 9661 WITH SCORE 9675.102
AT ITER 2802 NEW BEST:: SOT 49332 SOS 14104 HAS SOPS 11404 HAS SOUS 10580 HAS SOUPS 9660 WITH SCORE 9674.104
AT ITER 2810 NEW BEST:: SOT 49332 SOS 14100 HAS SOPS 11406 HAS SOUS 10578 HAS SOUPS 9660 WITH SCORE 9674.1
AT ITER 2823 NEW BEST:: SOT 49332 SOS 14098 HAS SOPS 11404 HAS SOUS 10578 HAS SOUPS 9660 WITH SCORE 9674.098
AT ITER 2826 NEW BEST:: SOT 49330 SOS 14136 HAS SOPS 11396 HAS SOUS 10616 HAS SOUPS 9652 WITH SCORE 9666.136
AT ITER 2829 NEW BEST:: SOT 49272 SOS 14001 HAS SOPS 11441 HAS SOUS 10519 HAS SOUPS 9610 WITH SCORE 9624.001
AT ITER 2849 NEW BEST:: SOT 49307 SOS 14054 HAS SOPS 11547 HAS SOUS 10392 HAS SOUPS 9509 WITH SCORE 9523.054
AT ITER 2860 NEW BEST:: SOT 49319 SOS 14071 HAS SOPS 11541 HAS SOUS 10386 HAS SOUPS 9503 WITH SCORE 9517.071
AT ITER 2863 NEW BEST:: SOT 49318 SOS 14069 HAS SOPS 11539 HAS SOUS 10384 HAS SOUPS 9501 WITH SCORE 9515.069
AT ITER 2902 NEW BEST:: SOT 49311 SOS 14066 HAS SOPS 11525 HAS SOUS 10370 HAS SOUPS 9487 WITH SCORE 9501.066
AT ITER 2973 NEW BEST:: SOT 49307 SOS 14058 HAS SOPS 11517 HAS SOUS 10362 HAS SOUPS 9479 WITH SCORE 9493.058
AT ITER 2994 NEW BEST:: SOT 49236 SOS 14009 HAS SOPS 11515 HAS SOUS 10298 HAS SOUPS 9462 WITH SCORE 9476.009
AT ITER 3047 NEW BEST:: SOT 49220 SOS 13977 HAS SOPS 11483 HAS SOUS 10282 HAS SOUPS 9446 WITH SCORE 9459.977
AT ITER 3117 NEW BEST:: SOT 49220 SOS 13975 HAS SOPS 11483 HAS SOUS 10282 HAS SOUPS 9446 WITH SCORE 9459.975
AT ITER 3141 NEW BEST:: SOT 49191 SOS 13924 HAS SOPS 11480 HAS SOUS 10278 HAS SOUPS 9442 WITH SCORE 9455.924
AT ITER 3149 NEW BEST:: SOT 49181 SOS 13920 HAS SOPS 11476 HAS SOUS 10274 HAS SOUPS 9438 WITH SCORE 9451.92
AT ITER 3266 NEW BEST:: SOT 49181 SOS 13908 HAS SOPS 11464 HAS SOUS 10274 HAS SOUPS 9438 WITH SCORE 9451.908
AT ITER 3286 NEW BEST:: SOT 49180 SOS 13906 HAS SOPS 11462 HAS SOUS 10272 HAS SOUPS 9436 WITH SCORE 9449.906
AT ITER 3309 NEW BEST:: SOT 49183 SOS 13896 HAS SOPS 11454 HAS SOUS 10264 HAS SOUPS 9428 WITH SCORE 9441.896
AT ITER 3315 NEW BEST:: SOT 49191 SOS 13881 HAS SOPS 11452 HAS SOUS 10262 HAS SOUPS 9426 WITH SCORE 9439.881
AT ITER 3367 NEW BEST:: SOT 49191 SOS 13859 HAS SOPS 11441 HAS SOUS 10262 HAS SOUPS 9426 WITH SCORE 9439.859
AT ITER 3416 NEW BEST:: SOT 49184 SOS 13840 HAS SOPS 11422 HAS SOUS 10243 HAS SOUPS 9407 WITH SCORE 9420.84
AT ITER 3453 NEW BEST:: SOT 49189 SOS 13865 HAS SOPS 11415 HAS SOUS 10256 HAS SOUPS 9400 WITH SCORE 9413.865
AT ITER 3493 NEW BEST:: SOT 49179 SOS 13820 HAS SOPS 11410 HAS SOUS 10246 HAS SOUPS 9395 WITH SCORE 9408.82
AT ITER 3508 NEW BEST:: SOT 49150 SOS 13804 HAS SOPS 11394 HAS SOUS 10230 HAS SOUPS 9379 WITH SCORE 9392.804
AT ITER 3510 NEW BEST:: SOT 49149 SOS 13802 HAS SOPS 11387 HAS SOUS 10223 HAS SOUPS 9372 WITH SCORE 9385.802
AT ITER 3543 NEW BEST:: SOT 49102 SOS 13774 HAS SOPS 11359 HAS SOUS 10175 HAS SOUPS 9324 WITH SCORE 9337.774
AT ITER 3546 NEW BEST:: SOT 49070 SOS 13742 HAS SOPS 11343 HAS SOUS 10159 HAS SOUPS 9308 WITH SCORE 9321.742
AT ITER 3556 NEW BEST:: SOT 49066 SOS 13734 HAS SOPS 11323 HAS SOUS 10139 HAS SOUPS 9288 WITH SCORE 9301.734
AT ITER 3642 NEW BEST:: SOT 49076 SOS 13704 HAS SOPS 11313 HAS SOUS 10119 HAS SOUPS 9278 WITH SCORE 9291.704
AT ITER 3668 NEW BEST:: SOT 49076 SOS 13633 HAS SOPS 11302 HAS SOUS 10095 HAS SOUPS 9267 WITH SCORE 9280.633
AT ITER 3750 NEW BEST:: SOT 49069 SOS 13629 HAS SOPS 11298 HAS SOUS 10081 HAS SOUPS 9253 WITH SCORE 9266.629
AT ITER 3766 NEW BEST:: SOT 49057 SOS 13598 HAS SOPS 11274 HAS SOUS 10058 HAS SOUPS 9230 WITH SCORE 9243.598
AT ITER 3796 NEW BEST:: SOT 49051 SOS 13586 HAS SOPS 11262 HAS SOUS 10046 HAS SOUPS 9218 WITH SCORE 9231.586
AT ITER 3799 NEW BEST:: SOT 49050 SOS 13582 HAS SOPS 11258 HAS SOUS 10044 HAS SOUPS 9216 WITH SCORE 9229.582
AT ITER 3806 NEW BEST:: SOT 49049 SOS 13580 HAS SOPS 11256 HAS SOUS 10044 HAS SOUPS 9216 WITH SCORE 9229.58
AT ITER 3826 NEW BEST:: SOT 49048 SOS 13578 HAS SOPS 11254 HAS SOUS 10042 HAS SOUPS 9214 WITH SCORE 9227.578
AT ITER 3843 NEW BEST:: SOT 49047 SOS 13576 HAS SOPS 11253 HAS SOUS 10041 HAS SOUPS 9213 WITH SCORE 9226.576
AT ITER 3850 NEW BEST:: SOT 49045 SOS 13577 HAS SOPS 11253 HAS SOUS 10038 HAS SOUPS 9210 WITH SCORE 9223.577
AT ITER 4000 NEW BEST:: SOT 49034 SOS 13566 HAS SOPS 11242 HAS SOUS 10027 HAS SOUPS 9199 WITH SCORE 9212.566
AT ITER 4012 NEW BEST:: SOT 49030 SOS 13558 HAS SOPS 11234 HAS SOUS 10019 HAS SOUPS 9191 WITH SCORE 9204.558
AT ITER 4031 NEW BEST:: SOT 49027 SOS 13552 HAS SOPS 11228 HAS SOUS 10013 HAS SOUPS 9185 WITH SCORE 9198.552
AT ITER 4032 NEW BEST:: SOT 49026 SOS 13547 HAS SOPS 11223 HAS SOUS 10010 HAS SOUPS 9182 WITH SCORE 9195.547
AT ITER 4045 NEW BEST:: SOT 49019 SOS 13533 HAS SOPS 11209 HAS SOUS 9996 HAS SOUPS 9168 WITH SCORE 9181.533
AT ITER 4051 NEW BEST:: SOT 49012 SOS 13526 HAS SOPS 11202 HAS SOUS 9989 HAS SOUPS 9161 WITH SCORE 9174.526
AT ITER 4060 NEW BEST:: SOT 49012 SOS 13526 HAS SOPS 11180 HAS SOUS 9967 HAS SOUPS 9139 WITH SCORE 9152.526
AT ITER 4091 NEW BEST:: SOT 49003 SOS 13501 HAS SOPS 11162 HAS SOUS 9949 HAS SOUPS 9121 WITH SCORE 9134.501
AT ITER 4176 NEW BEST:: SOT 49003 SOS 13492 HAS SOPS 11153 HAS SOUS 9949 HAS SOUPS 9121 WITH SCORE 9134.492
AT ITER 4208 NEW BEST:: SOT 48983 SOS 13496 HAS SOPS 11113 HAS SOUS 9973 HAS SOUPS 9101 WITH SCORE 9114.496
AT ITER 4211 NEW BEST:: SOT 48983 SOS 13496 HAS SOPS 11106 HAS SOUS 9966 HAS SOUPS 9094 WITH SCORE 9107.496
AT ITER 4234 NEW BEST:: SOT 48982 SOS 13490 HAS SOPS 11104 HAS SOUS 9964 HAS SOUPS 9092 WITH SCORE 9105.49
AT ITER 4235 NEW BEST:: SOT 48980 SOS 13486 HAS SOPS 11100 HAS SOUS 9960 HAS SOUPS 9088 WITH SCORE 9101.486
AT ITER 4285 NEW BEST:: SOT 48977 SOS 13475 HAS SOPS 11097 HAS SOUS 9954 HAS SOUPS 9085 WITH SCORE 9098.475
AT ITER 4320 NEW BEST:: SOT 48976 SOS 13473 HAS SOPS 11095 HAS SOUS 9952 HAS SOUPS 9083 WITH SCORE 9096.473
AT ITER 4406 NEW BEST:: SOT 48974 SOS 13471 HAS SOPS 11085 HAS SOUS 9948 HAS SOUPS 9079 WITH SCORE 9092.471
AT ITER 4409 NEW BEST:: SOT 48973 SOS 13455 HAS SOPS 11071 HAS SOUS 9943 HAS SOUPS 9074 WITH SCORE 9087.455
AT ITER 4445 NEW BEST:: SOT 48972 SOS 13453 HAS SOPS 11069 HAS SOUS 9941 HAS SOUPS 9072 WITH SCORE 9085.453
AT ITER 4485 NEW BEST:: SOT 48966 SOS 13447 HAS SOPS 11057 HAS SOUS 9935 HAS SOUPS 9060 WITH SCORE 9073.447
AT ITER 4505 NEW BEST:: SOT 48964 SOS 13443 HAS SOPS 11053 HAS SOUS 9931 HAS SOUPS 9056 WITH SCORE 9069.443
AT ITER 4551 NEW BEST:: SOT 48933 SOS 13276 HAS SOPS 10923 HAS SOUS 9903 HAS SOUPS 9028 WITH SCORE 9041.276
AT ITER 4557 NEW BEST:: SOT 48933 SOS 13276 HAS SOPS 10917 HAS SOUS 9897 HAS SOUPS 9022 WITH SCORE 9035.276
AT ITER 4582 NEW BEST:: SOT 48930 SOS 13273 HAS SOPS 10911 HAS SOUS 9891 HAS SOUPS 9016 WITH SCORE 9029.273
AT ITER 4680 NEW BEST:: SOT 48881 SOS 13250 HAS SOPS 10888 HAS SOUS 9817 HAS SOUPS 8942 WITH SCORE 8955.25
AT ITER 4722 NEW BEST:: SOT 48864 SOS 13218 HAS SOPS 10871 HAS SOUS 9794 HAS SOUPS 8925 WITH SCORE 8938.218
AT ITER 4744 NEW BEST:: SOT 48843 SOS 13187 HAS SOPS 10840 HAS SOUS 9763 HAS SOUPS 8894 WITH SCORE 8907.187
AT ITER 4769 NEW BEST:: SOT 48826 SOS 13219 HAS SOPS 10877 HAS SOUS 9750 HAS SOUPS 8886 WITH SCORE 8899.219
AT ITER 4816 NEW BEST:: SOT 48824 SOS 13233 HAS SOPS 10875 HAS SOUS 9752 HAS SOUPS 8884 WITH SCORE 8897.233
AT ITER 4930 NEW BEST:: SOT 48822 SOS 13229 HAS SOPS 10871 HAS SOUS 9748 HAS SOUPS 8880 WITH SCORE 8893.229
AT ITER 4940 NEW BEST:: SOT 48813 SOS 13196 HAS SOPS 10853 HAS SOUS 9730 HAS SOUPS 8862 WITH SCORE 8875.196
AT ITER 4956 NEW BEST:: SOT 48811 SOS 13199 HAS SOPS 10856 HAS SOUS 9726 HAS SOUPS 8858 WITH SCORE 8871.199
AT ITER 5017 NEW BEST:: SOT 48801 SOS 13171 HAS SOPS 10851 HAS SOUS 9705 HAS SOUPS 8853 WITH SCORE 8866.171
AT ITER 5023 NEW BEST:: SOT 48770 SOS 13109 HAS SOPS 10826 HAS SOUS 9680 HAS SOUPS 8828 WITH SCORE 8841.109
AT ITER 5026 NEW BEST:: SOT 48766 SOS 13101 HAS SOPS 10818 HAS SOUS 9672 HAS SOUPS 8820 WITH SCORE 8833.101
AT ITER 5044 NEW BEST:: SOT 48766 SOS 13096 HAS SOPS 10814 HAS SOUS 9672 HAS SOUPS 8820 WITH SCORE 8833.096
AT ITER 5046 NEW BEST:: SOT 48763 SOS 13090 HAS SOPS 10808 HAS SOUS 9666 HAS SOUPS 8814 WITH SCORE 8827.09
AT ITER 5082 NEW BEST:: SOT 48762 SOS 13088 HAS SOPS 10806 HAS SOUS 9664 HAS SOUPS 8812 WITH SCORE 8825.088
AT ITER 5108 NEW BEST:: SOT 48762 SOS 13068 HAS SOPS 10786 HAS SOUS 9664 HAS SOUPS 8812 WITH SCORE 8825.068
AT ITER 5116 NEW BEST:: SOT 48749 SOS 13042 HAS SOPS 10782 HAS SOUS 9660 HAS SOUPS 8808 WITH SCORE 8821.042
AT ITER 5145 NEW BEST:: SOT 48744 SOS 13032 HAS SOPS 10772 HAS SOUS 9650 HAS SOUPS 8798 WITH SCORE 8811.032
AT ITER 5179 NEW BEST:: SOT 48740 SOS 13024 HAS SOPS 10764 HAS SOUS 9642 HAS SOUPS 8790 WITH SCORE 8803.024
AT ITER 5234 NEW BEST:: SOT 48740 SOS 13024 HAS SOPS 10762 HAS SOUS 9640 HAS SOUPS 8788 WITH SCORE 8801.024
AT ITER 5238 NEW BEST:: SOT 48696 SOS 12991 HAS SOPS 10773 HAS SOUS 9620 HAS SOUPS 8788 WITH SCORE 8800.991
AT ITER 5247 NEW BEST:: SOT 48692 SOS 12983 HAS SOPS 10765 HAS SOUS 9612 HAS SOUPS 8780 WITH SCORE 8792.983
AT ITER 5263 NEW BEST:: SOT 48693 SOS 12979 HAS SOPS 10761 HAS SOUS 9608 HAS SOUPS 8776 WITH SCORE 8788.979
AT ITER 5375 NEW BEST:: SOT 48689 SOS 13014 HAS SOPS 10753 HAS SOUS 9600 HAS SOUPS 8768 WITH SCORE 8781.014
AT ITER 5411 NEW BEST:: SOT 48666 SOS 13100 HAS SOPS 10839 HAS SOUS 9591 HAS SOUPS 8759 WITH SCORE 8772.1
AT ITER 5460 NEW BEST:: SOT 48658 SOS 13071 HAS SOPS 10810 HAS SOUS 9582 HAS SOUPS 8750 WITH SCORE 8763.071
AT ITER 5473 NEW BEST:: SOT 48689 SOS 12970 HAS SOPS 10709 HAS SOUS 9581 HAS SOUPS 8749 WITH SCORE 8761.97
AT ITER 5540 NEW BEST:: SOT 48688 SOS 12968 HAS SOPS 10708 HAS SOUS 9580 HAS SOUPS 8748 WITH SCORE 8760.968
AT ITER 5576 NEW BEST:: SOT 48680 SOS 13000 HAS SOPS 10740 HAS SOUS 9564 HAS SOUPS 8732 WITH SCORE 8745.0
AT ITER 5623 NEW BEST:: SOT 48680 SOS 13000 HAS SOPS 10738 HAS SOUS 9562 HAS SOUPS 8730 WITH SCORE 8743.0
AT ITER 5702 NEW BEST:: SOT 48679 SOS 12998 HAS SOPS 10736 HAS SOUS 9560 HAS SOUPS 8728 WITH SCORE 8740.998
AT ITER 5765 NEW BEST:: SOT 48677 SOS 12994 HAS SOPS 10732 HAS SOUS 9556 HAS SOUPS 8724 WITH SCORE 8736.994
AT ITER 5774 NEW BEST:: SOT 48673 SOS 12970 HAS SOPS 10728 HAS SOUS 9552 HAS SOUPS 8720 WITH SCORE 8732.97
AT ITER 5877 NEW BEST:: SOT 48667 SOS 12940 HAS SOPS 10704 HAS SOUS 9546 HAS SOUPS 8714 WITH SCORE 8726.94
AT ITER 5883 NEW BEST:: SOT 48670 SOS 12931 HAS SOPS 10695 HAS SOUS 9546 HAS SOUPS 8714 WITH SCORE 8726.931
AT ITER 5958 NEW BEST:: SOT 48667 SOS 12928 HAS SOPS 10692 HAS SOUS 9543 HAS SOUPS 8711 WITH SCORE 8723.928
AT ITER 5970 NEW BEST:: SOT 48665 SOS 12912 HAS SOPS 10676 HAS SOUS 9539 HAS SOUPS 8707 WITH SCORE 8719.912
AT ITER 5978 NEW BEST:: SOT 48659 SOS 12900 HAS SOPS 10664 HAS SOUS 9527 HAS SOUPS 8695 WITH SCORE 8707.9
AT ITER 6003 NEW BEST:: SOT 48659 SOS 12895 HAS SOPS 10664 HAS SOUS 9527 HAS SOUPS 8695 WITH SCORE 8707.895
AT ITER 6007 NEW BEST:: SOT 48657 SOS 12893 HAS SOPS 10662 HAS SOUS 9523 HAS SOUPS 8691 WITH SCORE 8703.893
AT ITER 6049 NEW BEST:: SOT 48657 SOS 12887 HAS SOPS 10656 HAS SOUS 9521 HAS SOUPS 8689 WITH SCORE 8701.887
AT ITER 6088 NEW BEST:: SOT 48645 SOS 12850 HAS SOPS 10650 HAS SOUS 9499 HAS SOUPS 8683 WITH SCORE 8695.85
AT ITER 6201 NEW BEST:: SOT 48644 SOS 12815 HAS SOPS 10648 HAS SOUS 9485 HAS SOUPS 8669 WITH SCORE 8681.815
AT ITER 6208 NEW BEST:: SOT 48644 SOS 12813 HAS SOPS 10646 HAS SOUS 9485 HAS SOUPS 8669 WITH SCORE 8681.813
AT ITER 6212 NEW BEST:: SOT 48640 SOS 12805 HAS SOPS 10649 HAS SOUS 9481 HAS SOUPS 8665 WITH SCORE 8677.805
AT ITER 6243 NEW BEST:: SOT 48634 SOS 12793 HAS SOPS 10648 HAS SOUS 9480 HAS SOUPS 8664 WITH SCORE 8676.793
AT ITER 6343 NEW BEST:: SOT 48628 SOS 12787 HAS SOPS 10636 HAS SOUS 9468 HAS SOUPS 8652 WITH SCORE 8664.787
AT ITER 6374 NEW BEST:: SOT 48619 SOS 12807 HAS SOPS 10656 HAS SOUS 9464 HAS SOUPS 8648 WITH SCORE 8660.807
AT ITER 6385 NEW BEST:: SOT 48619 SOS 12801 HAS SOPS 10650 HAS SOUS 9464 HAS SOUPS 8648 WITH SCORE 8660.801
AT ITER 6409 NEW BEST:: SOT 48628 SOS 12733 HAS SOPS 10682 HAS SOUS 9443 HAS SOUPS 8647 WITH SCORE 8659.733
AT ITER 6428 NEW BEST:: SOT 48626 SOS 12732 HAS SOPS 10680 HAS SOUS 9441 HAS SOUPS 8645 WITH SCORE 8657.732
AT ITER 6464 NEW BEST:: SOT 48614 SOS 12720 HAS SOPS 10656 HAS SOUS 9439 HAS SOUPS 8621 WITH SCORE 8633.72
AT ITER 6538 NEW BEST:: SOT 48603 SOS 12687 HAS SOPS 10623 HAS SOUS 9417 HAS SOUPS 8599 WITH SCORE 8611.687
AT ITER 6559 NEW BEST:: SOT 48609 SOS 12693 HAS SOPS 10620 HAS SOUS 9415 HAS SOUPS 8596 WITH SCORE 8608.693
AT ITER 6566 NEW BEST:: SOT 48609 SOS 12725 HAS SOPS 10652 HAS SOUS 9411 HAS SOUPS 8592 WITH SCORE 8604.725
AT ITER 6607 NEW BEST:: SOT 48607 SOS 12723 HAS SOPS 10650 HAS SOUS 9409 HAS SOUPS 8590 WITH SCORE 8602.723
AT ITER 6608 NEW BEST:: SOT 48607 SOS 12718 HAS SOPS 10650 HAS SOUS 9409 HAS SOUPS 8590 WITH SCORE 8602.718
AT ITER 6659 NEW BEST:: SOT 48603 SOS 12710 HAS SOPS 10642 HAS SOUS 9401 HAS SOUPS 8582 WITH SCORE 8594.71
AT ITER 6729 NEW BEST:: SOT 48603 SOS 12701 HAS SOPS 10642 HAS SOUS 9401 HAS SOUPS 8582 WITH SCORE 8594.701
AT ITER 6745 NEW BEST:: SOT 48577 SOS 12715 HAS SOPS 10590 HAS SOUS 9365 HAS SOUPS 8546 WITH SCORE 8558.715
AT ITER 6777 NEW BEST:: SOT 48576 SOS 12713 HAS SOPS 10588 HAS SOUS 9363 HAS SOUPS 8544 WITH SCORE 8556.713
AT ITER 6799 NEW BEST:: SOT 48571 SOS 12713 HAS SOPS 10583 HAS SOUS 9363 HAS SOUPS 8539 WITH SCORE 8551.713
AT ITER 6801 NEW BEST:: SOT 48563 SOS 12695 HAS SOPS 10565 HAS SOUS 9354 HAS SOUPS 8530 WITH SCORE 8542.695
AT ITER 6804 NEW BEST:: SOT 48563 SOS 12674 HAS SOPS 10564 HAS SOUS 9348 HAS SOUPS 8529 WITH SCORE 8541.674
AT ITER 6914 NEW BEST:: SOT 48558 SOS 12664 HAS SOPS 10554 HAS SOUS 9338 HAS SOUPS 8519 WITH SCORE 8531.664
AT ITER 6917 NEW BEST:: SOT 48555 SOS 12657 HAS SOPS 10553 HAS SOUS 9331 HAS SOUPS 8518 WITH SCORE 8530.657
AT ITER 6924 NEW BEST:: SOT 48555 SOS 12629 HAS SOPS 10525 HAS SOUS 9331 HAS SOUPS 8518 WITH SCORE 8530.629
AT ITER 6966 NEW BEST:: SOT 48551 SOS 12722 HAS SOPS 10483 HAS SOUS 9344 HAS SOUPS 8510 WITH SCORE 8522.722
AT ITER 6992 NEW BEST:: SOT 48560 SOS 12744 HAS SOPS 10504 HAS SOUS 9338 HAS SOUPS 8504 WITH SCORE 8516.744
AT ITER 7020 NEW BEST:: SOT 48556 SOS 12736 HAS SOPS 10496 HAS SOUS 9330 HAS SOUPS 8496 WITH SCORE 8508.736
AT ITER 7048 NEW BEST:: SOT 48556 SOS 12735 HAS SOPS 10495 HAS SOUS 9329 HAS SOUPS 8495 WITH SCORE 8507.735
AT ITER 7085 NEW BEST:: SOT 48535 SOS 12683 HAS SOPS 10482 HAS SOUS 9316 HAS SOUPS 8482 WITH SCORE 8494.683
AT ITER 7133 NEW BEST:: SOT 48527 SOS 12674 HAS SOPS 10474 HAS SOUS 9307 HAS SOUPS 8474 WITH SCORE 8486.674
AT ITER 7193 NEW BEST:: SOT 48520 SOS 12667 HAS SOPS 10459 HAS SOUS 9301 HAS SOUPS 8460 WITH SCORE 8472.667
AT ITER 7194 NEW BEST:: SOT 48519 SOS 12665 HAS SOPS 10456 HAS SOUS 9299 HAS SOUPS 8457 WITH SCORE 8469.665
AT ITER 7212 NEW BEST:: SOT 48519 SOS 12631 HAS SOPS 10464 HAS SOUS 9289 HAS SOUPS 8453 WITH SCORE 8465.631
AT ITER 7347 NEW BEST:: SOT 48526 SOS 12630 HAS SOPS 10474 HAS SOUS 9283 HAS SOUPS 8452 WITH SCORE 8464.63
AT ITER 7381 NEW BEST:: SOT 48500 SOS 12683 HAS SOPS 10527 HAS SOUS 9273 HAS SOUPS 8442 WITH SCORE 8454.683
AT ITER 7383 NEW BEST:: SOT 48498 SOS 12679 HAS SOPS 10523 HAS SOUS 9269 HAS SOUPS 8438 WITH SCORE 8450.679
AT ITER 7411 NEW BEST:: SOT 48493 SOS 12670 HAS SOPS 10513 HAS SOUS 9263 HAS SOUPS 8432 WITH SCORE 8444.67
AT ITER 7414 NEW BEST:: SOT 48491 SOS 12786 HAS SOPS 10569 HAS SOUS 9259 HAS SOUPS 8428 WITH SCORE 8440.786
AT ITER 7422 NEW BEST:: SOT 48486 SOS 12776 HAS SOPS 10559 HAS SOUS 9249 HAS SOUPS 8418 WITH SCORE 8430.776
AT ITER 7476 NEW BEST:: SOT 48478 SOS 12649 HAS SOPS 10432 HAS SOUS 9241 HAS SOUPS 8410 WITH SCORE 8422.649
AT ITER 7574 NEW BEST:: SOT 48479 SOS 12648 HAS SOPS 10431 HAS SOUS 9240 HAS SOUPS 8409 WITH SCORE 8421.648
AT ITER 7587 NEW BEST:: SOT 48440 SOS 12685 HAS SOPS 10468 HAS SOUS 9237 HAS SOUPS 8406 WITH SCORE 8418.685
AT ITER 7610 NEW BEST:: SOT 48439 SOS 12677 HAS SOPS 10460 HAS SOUS 9235 HAS SOUPS 8404 WITH SCORE 8416.677
AT ITER 7635 NEW BEST:: SOT 48406 SOS 12668 HAS SOPS 10451 HAS SOUS 9188 HAS SOUPS 8357 WITH SCORE 8369.668
AT ITER 7678 NEW BEST:: SOT 48398 SOS 12684 HAS SOPS 10467 HAS SOUS 9184 HAS SOUPS 8353 WITH SCORE 8365.684
AT ITER 7692 NEW BEST:: SOT 48347 SOS 12648 HAS SOPS 10449 HAS SOUS 9166 HAS SOUPS 8335 WITH SCORE 8347.648
AT ITER 7701 NEW BEST:: SOT 48345 SOS 12644 HAS SOPS 10445 HAS SOUS 9162 HAS SOUPS 8331 WITH SCORE 8343.644
AT ITER 7761 NEW BEST:: SOT 48350 SOS 12649 HAS SOPS 10439 HAS SOUS 9156 HAS SOUPS 8325 WITH SCORE 8337.649
AT ITER 7782 NEW BEST:: SOT 48352 SOS 12608 HAS SOPS 10398 HAS SOUS 9145 HAS SOUPS 8314 WITH SCORE 8326.608
AT ITER 7790 NEW BEST:: SOT 48295 SOS 12621 HAS SOPS 10437 HAS SOUS 9125 HAS SOUPS 8294 WITH SCORE 8306.621
AT ITER 7917 NEW BEST:: SOT 48281 SOS 12593 HAS SOPS 10409 HAS SOUS 9097 HAS SOUPS 8266 WITH SCORE 8278.593
AT ITER 7936 NEW BEST:: SOT 48276 SOS 12583 HAS SOPS 10399 HAS SOUS 9087 HAS SOUPS 8256 WITH SCORE 8268.583
AT ITER 7941 NEW BEST:: SOT 48275 SOS 12581 HAS SOPS 10397 HAS SOUS 9085 HAS SOUPS 8254 WITH SCORE 8266.581
AT ITER 7979 NEW BEST:: SOT 48269 SOS 12591 HAS SOPS 10410 HAS SOUS 9080 HAS SOUPS 8252 WITH SCORE 8264.591
AT ITER 8002 NEW BEST:: SOT 48256 SOS 12565 HAS SOPS 10384 HAS SOUS 9054 HAS SOUPS 8226 WITH SCORE 8238.565
AT ITER 8005 NEW BEST:: SOT 48247 SOS 12547 HAS SOPS 10366 HAS SOUS 9036 HAS SOUPS 8208 WITH SCORE 8220.547
AT ITER 8125 NEW BEST:: SOT 48247 SOS 12544 HAS SOPS 10363 HAS SOUS 9036 HAS SOUPS 8208 WITH SCORE 8220.544
AT ITER 8247 NEW BEST:: SOT 48247 SOS 12543 HAS SOPS 10362 HAS SOUS 9035 HAS SOUPS 8207 WITH SCORE 8219.543
AT ITER 8289 NEW BEST:: SOT 48245 SOS 12539 HAS SOPS 10358 HAS SOUS 9031 HAS SOUPS 8203 WITH SCORE 8215.539
AT ITER 8298 NEW BEST:: SOT 48228 SOS 12505 HAS SOPS 10324 HAS SOUS 8997 HAS SOUPS 8169 WITH SCORE 8181.505
AT ITER 8312 NEW BEST:: SOT 48205 SOS 12476 HAS SOPS 10301 HAS SOUS 8974 HAS SOUPS 8146 WITH SCORE 8158.476
AT ITER 8365 NEW BEST:: SOT 48203 SOS 12474 HAS SOPS 10299 HAS SOUS 8972 HAS SOUPS 8144 WITH SCORE 8156.474
AT ITER 8398 NEW BEST:: SOT 48194 SOS 12465 HAS SOPS 10281 HAS SOUS 8957 HAS SOUPS 8129 WITH SCORE 8141.465
AT ITER 8505 NEW BEST:: SOT 48175 SOS 12427 HAS SOPS 10259 HAS SOUS 8935 HAS SOUPS 8107 WITH SCORE 8119.427
AT ITER 8579 NEW BEST:: SOT 48173 SOS 12425 HAS SOPS 10255 HAS SOUS 8933 HAS SOUPS 8103 WITH SCORE 8115.425
AT ITER 8637 NEW BEST:: SOT 48173 SOS 12353 HAS SOPS 10183 HAS SOUS 8933 HAS SOUPS 8103 WITH SCORE 8115.353
AT ITER 8985 NEW BEST:: SOT 48169 SOS 12351 HAS SOPS 10181 HAS SOUS 8931 HAS SOUPS 8101 WITH SCORE 8113.351
AT ITER 9004 NEW BEST:: SOT 48162 SOS 12308 HAS SOPS 10138 HAS SOUS 8912 HAS SOUPS 8082 WITH SCORE 8094.308
AT ITER 9081 NEW BEST:: SOT 48167 SOS 12316 HAS SOPS 10135 HAS SOUS 8922 HAS SOUPS 8079 WITH SCORE 8091.316
AT ITER 9095 NEW BEST:: SOT 48164 SOS 12313 HAS SOPS 10129 HAS SOUS 8920 HAS SOUPS 8077 WITH SCORE 8089.313
AT ITER 9244 NEW BEST:: SOT 48151 SOS 12282 HAS SOPS 10098 HAS SOUS 8889 HAS SOUPS 8046 WITH SCORE 8058.282
AT ITER 9256 NEW BEST:: SOT 48149 SOS 12285 HAS SOPS 10101 HAS SOUS 8885 HAS SOUPS 8042 WITH SCORE 8054.285
AT ITER 9261 NEW BEST:: SOT 48149 SOS 12284 HAS SOPS 10100 HAS SOUS 8885 HAS SOUPS 8042 WITH SCORE 8054.284
AT ITER 9278 NEW BEST:: SOT 48150 SOS 12282 HAS SOPS 10098 HAS SOUS 8883 HAS SOUPS 8040 WITH SCORE 8052.282
AT ITER 9290 NEW BEST:: SOT 48140 SOS 12262 HAS SOPS 10078 HAS SOUS 8863 HAS SOUPS 8020 WITH SCORE 8032.262
AT ITER 9320 NEW BEST:: SOT 48137 SOS 12259 HAS SOPS 10075 HAS SOUS 8860 HAS SOUPS 8017 WITH SCORE 8029.259
AT ITER 9334 NEW BEST:: SOT 48151 SOS 12258 HAS SOPS 10074 HAS SOUS 8859 HAS SOUPS 8016 WITH SCORE 8028.258
AT ITER 9404 NEW BEST:: SOT 48158 SOS 12289 HAS SOPS 10088 HAS SOUS 8866 HAS SOUPS 8006 WITH SCORE 8018.289
AT ITER 9473 NEW BEST:: SOT 48166 SOS 12299 HAS SOPS 10066 HAS SOUS 8876 HAS SOUPS 7984 WITH SCORE 7996.299
AT ITER 9481 NEW BEST:: SOT 48165 SOS 12297 HAS SOPS 10064 HAS SOUS 8874 HAS SOUPS 7982 WITH SCORE 7994.297
AT ITER 9537 NEW BEST:: SOT 48160 SOS 12287 HAS SOPS 10054 HAS SOUS 8864 HAS SOUPS 7972 WITH SCORE 7984.287
AT ITER 9590 NEW BEST:: SOT 48158 SOS 12284 HAS SOPS 10051 HAS SOUS 8861 HAS SOUPS 7969 WITH SCORE 7981.284
AT ITER 9591 NEW BEST:: SOT 48145 SOS 12258 HAS SOPS 10038 HAS SOUS 8848 HAS SOUPS 7956 WITH SCORE 7968.258
AT ITER 9712 NEW BEST:: SOT 48144 SOS 12256 HAS SOPS 10036 HAS SOUS 8846 HAS SOUPS 7954 WITH SCORE 7966.256
AT ITER 9727 NEW BEST:: SOT 48142 SOS 12252 HAS SOPS 10032 HAS SOUS 8842 HAS SOUPS 7950 WITH SCORE 7962.252
AT ITER 9760 NEW BEST:: SOT 48142 SOS 12247 HAS SOPS 10032 HAS SOUS 8842 HAS SOUPS 7950 WITH SCORE 7962.247
AT ITER 9767 NEW BEST:: SOT 48141 SOS 12252 HAS SOPS 10035 HAS SOUS 8841 HAS SOUPS 7949 WITH SCORE 7961.252
AT ITER 9821 NEW BEST:: SOT 48138 SOS 12249 HAS SOPS 10032 HAS SOUS 8838 HAS SOUPS 7946 WITH SCORE 7958.249
AT ITER 9845 NEW BEST:: SOT 48136 SOS 12251 HAS SOPS 10034 HAS SOUS 8836 HAS SOUPS 7944 WITH SCORE 7956.251
AT ITER 9926 NEW BEST:: SOT 48129 SOS 12243 HAS SOPS 10026 HAS SOUS 8822 HAS SOUPS 7930 WITH SCORE 7942.243
AT ITER 9952 NEW BEST:: SOT 48129 SOS 12240 HAS SOPS 10023 HAS SOUS 8819 HAS SOUPS 7927 WITH SCORE 7939.24
AT ITER 9953 NEW BEST:: SOT 48129 SOS 12198 HAS SOPS 9981 HAS SOUS 8819 HAS SOUPS 7927 WITH SCORE 7939.198
AT ITER 9967 NEW BEST:: SOT 48128 SOS 12196 HAS SOPS 9979 HAS SOUS 8817 HAS SOUPS 7925 WITH SCORE 7937.196
AT ITER 9973 NEW BEST:: SOT 48108 SOS 12238 HAS SOPS 9960 HAS SOUS 8819 HAS SOUPS 7913 WITH SCORE 7925.238
STATE_SPACE STATES 3407946 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 11 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 13631784 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678819392124

--------------------
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="Peterson-COL-3"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is Peterson-COL-3, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r259-smll-167863534700568"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Peterson-COL-3.tgz
mv Peterson-COL-3 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 ;