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.r483-tall-167912696400984.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 UtilityControlRoom-COL-Z2T3N10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696400984
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 7.9K Feb 26 14:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 14:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 14:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 14:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 26 14:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K 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 1679184080911

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=UtilityControlRoom-COL-Z2T3N10
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-19 00:01:23] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-19 00:01:23] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-19 00:01:23] [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-19 00:01:25] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 00:01:25] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1888 ms
[2023-03-19 00:01:25] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 174 PT places and 270.0 transition bindings in 22 ms.
[2023-03-19 00:01:25] [INFO ] Unfolded HLPN to a Petri net with 174 places and 270 transitions 850 arcs in 40 ms.
[2023-03-19 00:01:25] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 40 transitions
Reduce isomorphic transitions removed 40 transitions.
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
[2023-03-19 00:01:25] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 174 places, 210 transitions and 610 arcs took 12 ms.
Total runtime 2177 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z2T3N10
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: 174 places, 210 transitions, 610 arcs.
AT ITER 0 NEW BEST:: SOT 25296 SOS 15167 HAS SOPS 15167 HAS SOUS 11896 HAS SOUPS 11896 WITH SCORE 11911.167
AT ITER 4 NEW BEST:: SOT 25273 SOS 15036 HAS SOPS 15036 HAS SOUS 11883 HAS SOUPS 11883 WITH SCORE 11898.036
AT ITER 7 NEW BEST:: SOT 25273 SOS 14993 HAS SOPS 14993 HAS SOUS 11838 HAS SOUPS 11838 WITH SCORE 11852.993
AT ITER 14 NEW BEST:: SOT 25273 SOS 14940 HAS SOPS 14940 HAS SOUS 11834 HAS SOUPS 11834 WITH SCORE 11848.94
AT ITER 18 NEW BEST:: SOT 24657 SOS 15241 HAS SOPS 15241 HAS SOUS 11357 HAS SOUPS 11357 WITH SCORE 11372.241
AT ITER 25 NEW BEST:: SOT 24685 SOS 15332 HAS SOPS 15332 HAS SOUS 11349 HAS SOUPS 11349 WITH SCORE 11364.332
AT ITER 32 NEW BEST:: SOT 24678 SOS 15325 HAS SOPS 15325 HAS SOUS 11337 HAS SOUPS 11337 WITH SCORE 11352.325
AT ITER 33 NEW BEST:: SOT 24651 SOS 15298 HAS SOPS 15298 HAS SOUS 11256 HAS SOUPS 11256 WITH SCORE 11271.298
AT ITER 35 NEW BEST:: SOT 24615 SOS 15162 HAS SOPS 15162 HAS SOUS 11249 HAS SOUPS 11249 WITH SCORE 11264.162
AT ITER 39 NEW BEST:: SOT 24635 SOS 15036 HAS SOPS 15036 HAS SOUS 11249 HAS SOUPS 11249 WITH SCORE 11264.036
AT ITER 42 NEW BEST:: SOT 24665 SOS 15058 HAS SOPS 15058 HAS SOUS 11243 HAS SOUPS 11243 WITH SCORE 11258.058
AT ITER 47 NEW BEST:: SOT 24662 SOS 15055 HAS SOPS 15055 HAS SOUS 11195 HAS SOUPS 11195 WITH SCORE 11210.055
AT ITER 49 NEW BEST:: SOT 24710 SOS 15170 HAS SOPS 15170 HAS SOUS 11191 HAS SOUPS 11191 WITH SCORE 11206.17
AT ITER 52 NEW BEST:: SOT 24722 SOS 15182 HAS SOPS 15182 HAS SOUS 11179 HAS SOUPS 11179 WITH SCORE 11194.182
AT ITER 53 NEW BEST:: SOT 24718 SOS 15178 HAS SOPS 15178 HAS SOUS 11167 HAS SOUPS 11167 WITH SCORE 11182.178
AT ITER 54 NEW BEST:: SOT 24692 SOS 15126 HAS SOPS 15126 HAS SOUS 11089 HAS SOUPS 11089 WITH SCORE 11104.126
AT ITER 57 NEW BEST:: SOT 24685 SOS 14935 HAS SOPS 14935 HAS SOUS 11031 HAS SOUPS 11031 WITH SCORE 11045.935
AT ITER 62 NEW BEST:: SOT 23844 SOS 14094 HAS SOPS 14094 HAS SOUS 10126 HAS SOUPS 10126 WITH SCORE 10140.094
AT ITER 63 NEW BEST:: SOT 23832 SOS 14058 HAS SOPS 14058 HAS SOUS 10102 HAS SOUPS 10102 WITH SCORE 10116.058
AT ITER 64 NEW BEST:: SOT 23782 SOS 13890 HAS SOPS 13890 HAS SOUS 9976 HAS SOUPS 9976 WITH SCORE 9989.89
AT ITER 67 NEW BEST:: SOT 23771 SOS 13879 HAS SOPS 13879 HAS SOUS 9963 HAS SOUPS 9963 WITH SCORE 9976.879
AT ITER 70 NEW BEST:: SOT 23732 SOS 13840 HAS SOPS 13840 HAS SOUS 9849 HAS SOUPS 9849 WITH SCORE 9862.84
AT ITER 74 NEW BEST:: SOT 23717 SOS 13825 HAS SOPS 13825 HAS SOUS 9817 HAS SOUPS 9817 WITH SCORE 9830.825
AT ITER 76 NEW BEST:: SOT 23717 SOS 13825 HAS SOPS 13825 HAS SOUS 9804 HAS SOUPS 9804 WITH SCORE 9817.825
AT ITER 78 NEW BEST:: SOT 23713 SOS 13821 HAS SOPS 13821 HAS SOUS 9787 HAS SOUPS 9787 WITH SCORE 9800.821
AT ITER 79 NEW BEST:: SOT 23692 SOS 13779 HAS SOPS 13779 HAS SOUS 9724 HAS SOUPS 9724 WITH SCORE 9737.779
AT ITER 86 NEW BEST:: SOT 23685 SOS 13772 HAS SOPS 13772 HAS SOUS 9705 HAS SOUPS 9705 WITH SCORE 9718.772
AT ITER 91 NEW BEST:: SOT 23655 SOS 13685 HAS SOPS 13685 HAS SOUS 9553 HAS SOUPS 9553 WITH SCORE 9566.685
AT ITER 94 NEW BEST:: SOT 23655 SOS 13685 HAS SOPS 13685 HAS SOUS 9552 HAS SOUPS 9552 WITH SCORE 9565.685
AT ITER 96 NEW BEST:: SOT 23576 SOS 13411 HAS SOPS 13411 HAS SOUS 9503 HAS SOUPS 9503 WITH SCORE 9516.411
AT ITER 100 NEW BEST:: SOT 23557 SOS 13389 HAS SOPS 13389 HAS SOUS 9498 HAS SOUPS 9498 WITH SCORE 9511.389
AT ITER 102 NEW BEST:: SOT 23557 SOS 13389 HAS SOPS 13389 HAS SOUS 9485 HAS SOUPS 9485 WITH SCORE 9498.389
AT ITER 104 NEW BEST:: SOT 23566 SOS 13398 HAS SOPS 13398 HAS SOUS 9468 HAS SOUPS 9468 WITH SCORE 9481.398
AT ITER 106 NEW BEST:: SOT 23510 SOS 13168 HAS SOPS 13168 HAS SOUS 9462 HAS SOUPS 9462 WITH SCORE 9475.168
AT ITER 109 NEW BEST:: SOT 23506 SOS 13171 HAS SOPS 13171 HAS SOUS 9461 HAS SOUPS 9461 WITH SCORE 9474.171
AT ITER 111 NEW BEST:: SOT 23470 SOS 12913 HAS SOPS 12913 HAS SOUS 9385 HAS SOUPS 9385 WITH SCORE 9397.913
AT ITER 113 NEW BEST:: SOT 23482 SOS 12908 HAS SOPS 12908 HAS SOUS 9365 HAS SOUPS 9365 WITH SCORE 9377.908
AT ITER 114 NEW BEST:: SOT 23528 SOS 12955 HAS SOPS 12955 HAS SOUS 9283 HAS SOUPS 9283 WITH SCORE 9295.955
AT ITER 120 NEW BEST:: SOT 23523 SOS 12935 HAS SOPS 12935 HAS SOUS 9278 HAS SOUPS 9278 WITH SCORE 9290.935
AT ITER 121 NEW BEST:: SOT 23519 SOS 12925 HAS SOPS 12925 HAS SOUS 9271 HAS SOUPS 9271 WITH SCORE 9283.925
AT ITER 122 NEW BEST:: SOT 23471 SOS 12869 HAS SOPS 12869 HAS SOUS 9190 HAS SOUPS 9190 WITH SCORE 9202.869
AT ITER 138 NEW BEST:: SOT 23397 SOS 12738 HAS SOPS 12738 HAS SOUS 9042 HAS SOUPS 9042 WITH SCORE 9054.738
AT ITER 151 NEW BEST:: SOT 23378 SOS 12719 HAS SOPS 12719 HAS SOUS 9021 HAS SOUPS 9021 WITH SCORE 9033.719
AT ITER 153 NEW BEST:: SOT 23374 SOS 12667 HAS SOPS 12667 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9029.667
AT ITER 155 NEW BEST:: SOT 23374 SOS 12639 HAS SOPS 12639 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9029.639
AT ITER 164 NEW BEST:: SOT 23371 SOS 12541 HAS SOPS 12541 HAS SOUS 9009 HAS SOUPS 9009 WITH SCORE 9021.541
AT ITER 168 NEW BEST:: SOT 23371 SOS 12549 HAS SOPS 12549 HAS SOUS 9001 HAS SOUPS 9001 WITH SCORE 9013.549
AT ITER 170 NEW BEST:: SOT 23337 SOS 12467 HAS SOPS 12467 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 8993.467
AT ITER 171 NEW BEST:: SOT 23318 SOS 12448 HAS SOPS 12448 HAS SOUS 8964 HAS SOUPS 8964 WITH SCORE 8976.448
AT ITER 173 NEW BEST:: SOT 23307 SOS 12345 HAS SOPS 12345 HAS SOUS 8894 HAS SOUPS 8894 WITH SCORE 8906.345
AT ITER 175 NEW BEST:: SOT 23294 SOS 12317 HAS SOPS 12317 HAS SOUS 8851 HAS SOUPS 8851 WITH SCORE 8863.317
AT ITER 176 NEW BEST:: SOT 23282 SOS 12279 HAS SOPS 12279 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8810.279
AT ITER 179 NEW BEST:: SOT 23281 SOS 12278 HAS SOPS 12278 HAS SOUS 8797 HAS SOUPS 8797 WITH SCORE 8809.278
AT ITER 182 NEW BEST:: SOT 23279 SOS 12335 HAS SOPS 12335 HAS SOUS 8730 HAS SOUPS 8730 WITH SCORE 8742.335
AT ITER 185 NEW BEST:: SOT 23271 SOS 12335 HAS SOPS 12335 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8734.335
AT ITER 194 NEW BEST:: SOT 23268 SOS 12332 HAS SOPS 12332 HAS SOUS 8710 HAS SOUPS 8710 WITH SCORE 8722.332
AT ITER 197 NEW BEST:: SOT 23268 SOS 12340 HAS SOPS 12340 HAS SOUS 8702 HAS SOUPS 8702 WITH SCORE 8714.34
AT ITER 199 NEW BEST:: SOT 23276 SOS 12347 HAS SOPS 12347 HAS SOUS 8694 HAS SOUPS 8694 WITH SCORE 8706.347
AT ITER 204 NEW BEST:: SOT 23233 SOS 12304 HAS SOPS 12304 HAS SOUS 8677 HAS SOUPS 8677 WITH SCORE 8689.304
AT ITER 205 NEW BEST:: SOT 23227 SOS 12298 HAS SOPS 12298 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8668.298
AT ITER 206 NEW BEST:: SOT 23218 SOS 12257 HAS SOPS 12257 HAS SOUS 8638 HAS SOUPS 8638 WITH SCORE 8650.257
AT ITER 207 NEW BEST:: SOT 23218 SOS 12279 HAS SOPS 12279 HAS SOUS 8616 HAS SOUPS 8616 WITH SCORE 8628.279
AT ITER 208 NEW BEST:: SOT 23218 SOS 12273 HAS SOPS 12273 HAS SOUS 8616 HAS SOUPS 8616 WITH SCORE 8628.273
AT ITER 213 NEW BEST:: SOT 23210 SOS 12257 HAS SOPS 12257 HAS SOUS 8612 HAS SOUPS 8612 WITH SCORE 8624.257
AT ITER 218 NEW BEST:: SOT 23210 SOS 12241 HAS SOPS 12241 HAS SOUS 8580 HAS SOUPS 8580 WITH SCORE 8592.241
AT ITER 219 NEW BEST:: SOT 23191 SOS 12205 HAS SOPS 12205 HAS SOUS 8563 HAS SOUPS 8563 WITH SCORE 8575.205
AT ITER 223 NEW BEST:: SOT 23189 SOS 12203 HAS SOPS 12203 HAS SOUS 8559 HAS SOUPS 8559 WITH SCORE 8571.203
AT ITER 224 NEW BEST:: SOT 23149 SOS 12163 HAS SOPS 12163 HAS SOUS 8408 HAS SOUPS 8408 WITH SCORE 8420.163
AT ITER 234 NEW BEST:: SOT 23149 SOS 12118 HAS SOPS 12118 HAS SOUS 8371 HAS SOUPS 8371 WITH SCORE 8383.118
AT ITER 236 NEW BEST:: SOT 23079 SOS 11999 HAS SOPS 11999 HAS SOUS 8271 HAS SOUPS 8271 WITH SCORE 8282.999
AT ITER 241 NEW BEST:: SOT 23019 SOS 11842 HAS SOPS 11842 HAS SOUS 8170 HAS SOUPS 8170 WITH SCORE 8181.842
AT ITER 243 NEW BEST:: SOT 23019 SOS 11842 HAS SOPS 11842 HAS SOUS 8168 HAS SOUPS 8168 WITH SCORE 8179.842
AT ITER 249 NEW BEST:: SOT 22990 SOS 11737 HAS SOPS 11737 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8099.737
AT ITER 253 NEW BEST:: SOT 23033 SOS 11760 HAS SOPS 11760 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8084.76
AT ITER 265 NEW BEST:: SOT 23033 SOS 11772 HAS SOPS 11772 HAS SOUS 8061 HAS SOUPS 8061 WITH SCORE 8072.772
AT ITER 266 NEW BEST:: SOT 23034 SOS 11720 HAS SOPS 11720 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8022.72
AT ITER 273 NEW BEST:: SOT 22980 SOS 11663 HAS SOPS 11663 HAS SOUS 7938 HAS SOUPS 7938 WITH SCORE 7949.663
AT ITER 274 NEW BEST:: SOT 22981 SOS 11547 HAS SOPS 11547 HAS SOUS 7886 HAS SOUPS 7886 WITH SCORE 7897.547
AT ITER 280 NEW BEST:: SOT 22959 SOS 11511 HAS SOPS 11511 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7835.511
AT ITER 287 NEW BEST:: SOT 22942 SOS 11477 HAS SOPS 11477 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7823.477
AT ITER 291 NEW BEST:: SOT 22924 SOS 11441 HAS SOPS 11441 HAS SOUS 7794 HAS SOUPS 7794 WITH SCORE 7805.441
AT ITER 293 NEW BEST:: SOT 22919 SOS 11436 HAS SOPS 11436 HAS SOUS 7789 HAS SOUPS 7789 WITH SCORE 7800.436
AT ITER 302 NEW BEST:: SOT 22912 SOS 11414 HAS SOPS 11414 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7786.414
AT ITER 310 NEW BEST:: SOT 22901 SOS 11403 HAS SOPS 11403 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7755.403
AT ITER 324 NEW BEST:: SOT 22881 SOS 11273 HAS SOPS 11273 HAS SOUS 7715 HAS SOUPS 7715 WITH SCORE 7726.273
AT ITER 328 NEW BEST:: SOT 22875 SOS 11262 HAS SOPS 11262 HAS SOUS 7699 HAS SOUPS 7699 WITH SCORE 7710.262
AT ITER 329 NEW BEST:: SOT 22865 SOS 11247 HAS SOPS 11247 HAS SOUS 7694 HAS SOUPS 7694 WITH SCORE 7705.247
AT ITER 332 NEW BEST:: SOT 22851 SOS 11233 HAS SOPS 11233 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7691.233
AT ITER 339 NEW BEST:: SOT 22757 SOS 11546 HAS SOPS 11546 HAS SOUS 7657 HAS SOUPS 7657 WITH SCORE 7668.546
AT ITER 347 NEW BEST:: SOT 22766 SOS 11524 HAS SOPS 11524 HAS SOUS 7655 HAS SOUPS 7655 WITH SCORE 7666.524
AT ITER 349 NEW BEST:: SOT 22760 SOS 11518 HAS SOPS 11518 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7648.518
AT ITER 351 NEW BEST:: SOT 22781 SOS 11640 HAS SOPS 11640 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7618.64
AT ITER 359 NEW BEST:: SOT 22753 SOS 11612 HAS SOPS 11612 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7576.612
AT ITER 365 NEW BEST:: SOT 22746 SOS 11598 HAS SOPS 11598 HAS SOUS 7537 HAS SOUPS 7537 WITH SCORE 7548.598
AT ITER 375 NEW BEST:: SOT 22712 SOS 11537 HAS SOPS 11537 HAS SOUS 7496 HAS SOUPS 7496 WITH SCORE 7507.537
AT ITER 377 NEW BEST:: SOT 22698 SOS 11523 HAS SOPS 11523 HAS SOUS 7468 HAS SOUPS 7468 WITH SCORE 7479.523
AT ITER 381 NEW BEST:: SOT 22679 SOS 11502 HAS SOPS 11502 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7470.502
AT ITER 395 NEW BEST:: SOT 22672 SOS 11495 HAS SOPS 11495 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7454.495
AT ITER 407 NEW BEST:: SOT 22653 SOS 11457 HAS SOPS 11457 HAS SOUS 7405 HAS SOUPS 7405 WITH SCORE 7416.457
AT ITER 414 NEW BEST:: SOT 22651 SOS 11457 HAS SOPS 11457 HAS SOUS 7401 HAS SOUPS 7401 WITH SCORE 7412.457
AT ITER 417 NEW BEST:: SOT 22647 SOS 11449 HAS SOPS 11449 HAS SOUS 7397 HAS SOUPS 7397 WITH SCORE 7408.449
AT ITER 418 NEW BEST:: SOT 22647 SOS 11446 HAS SOPS 11446 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7405.446
AT ITER 421 NEW BEST:: SOT 22615 SOS 11424 HAS SOPS 11424 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7403.424
AT ITER 426 NEW BEST:: SOT 22608 SOS 11419 HAS SOPS 11419 HAS SOUS 7340 HAS SOUPS 7340 WITH SCORE 7351.419
AT ITER 430 NEW BEST:: SOT 22606 SOS 11417 HAS SOPS 11417 HAS SOUS 7320 HAS SOUPS 7320 WITH SCORE 7331.417
AT ITER 432 NEW BEST:: SOT 22596 SOS 11397 HAS SOPS 11397 HAS SOUS 7305 HAS SOUPS 7305 WITH SCORE 7316.397
AT ITER 434 NEW BEST:: SOT 22601 SOS 11402 HAS SOPS 11402 HAS SOUS 7293 HAS SOUPS 7293 WITH SCORE 7304.402
AT ITER 448 NEW BEST:: SOT 22555 SOS 11372 HAS SOPS 11372 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7259.372
AT ITER 454 NEW BEST:: SOT 22518 SOS 11298 HAS SOPS 11298 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7185.298
AT ITER 468 NEW BEST:: SOT 22506 SOS 11286 HAS SOPS 11286 HAS SOUS 7138 HAS SOUPS 7138 WITH SCORE 7149.286
AT ITER 473 NEW BEST:: SOT 22453 SOS 11325 HAS SOPS 11325 HAS SOUS 7122 HAS SOUPS 7122 WITH SCORE 7133.325
AT ITER 474 NEW BEST:: SOT 22452 SOS 11322 HAS SOPS 11322 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7132.322
AT ITER 475 NEW BEST:: SOT 22450 SOS 11295 HAS SOPS 11295 HAS SOUS 7119 HAS SOUPS 7119 WITH SCORE 7130.295
AT ITER 480 NEW BEST:: SOT 22450 SOS 11230 HAS SOPS 11230 HAS SOUS 7118 HAS SOUPS 7118 WITH SCORE 7129.23
AT ITER 502 NEW BEST:: SOT 22398 SOS 11182 HAS SOPS 11182 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7081.182
AT ITER 517 NEW BEST:: SOT 22373 SOS 11122 HAS SOPS 11122 HAS SOUS 7061 HAS SOUPS 7061 WITH SCORE 7072.122
AT ITER 528 NEW BEST:: SOT 22352 SOS 11047 HAS SOPS 11047 HAS SOUS 7040 HAS SOUPS 7040 WITH SCORE 7051.047
AT ITER 529 NEW BEST:: SOT 22341 SOS 11036 HAS SOPS 11036 HAS SOUS 7013 HAS SOUPS 7013 WITH SCORE 7024.036
AT ITER 538 NEW BEST:: SOT 22337 SOS 11056 HAS SOPS 11056 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 6998.056
AT ITER 539 NEW BEST:: SOT 22335 SOS 11054 HAS SOPS 11054 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 6996.054
AT ITER 540 NEW BEST:: SOT 22315 SOS 11024 HAS SOPS 11024 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6956.024
AT ITER 543 NEW BEST:: SOT 22308 SOS 11017 HAS SOPS 11017 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6935.017
AT ITER 547 NEW BEST:: SOT 22308 SOS 11033 HAS SOPS 11033 HAS SOUS 6908 HAS SOUPS 6908 WITH SCORE 6919.033
AT ITER 558 NEW BEST:: SOT 22272 SOS 10940 HAS SOPS 10940 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6854.94
AT ITER 564 NEW BEST:: SOT 22261 SOS 10929 HAS SOPS 10929 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6832.929
AT ITER 567 NEW BEST:: SOT 22263 SOS 10931 HAS SOPS 10931 HAS SOUS 6821 HAS SOUPS 6821 WITH SCORE 6831.931
AT ITER 568 NEW BEST:: SOT 22261 SOS 10927 HAS SOPS 10927 HAS SOUS 6817 HAS SOUPS 6817 WITH SCORE 6827.927
AT ITER 583 NEW BEST:: SOT 22225 SOS 10859 HAS SOPS 10859 HAS SOUS 6795 HAS SOUPS 6795 WITH SCORE 6805.859
AT ITER 609 NEW BEST:: SOT 22160 SOS 10794 HAS SOPS 10794 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6731.794
AT ITER 628 NEW BEST:: SOT 22152 SOS 10764 HAS SOPS 10764 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6708.764
AT ITER 633 NEW BEST:: SOT 22152 SOS 10761 HAS SOPS 10761 HAS SOUS 6695 HAS SOUPS 6695 WITH SCORE 6705.761
AT ITER 645 NEW BEST:: SOT 22116 SOS 10697 HAS SOPS 10697 HAS SOUS 6651 HAS SOUPS 6651 WITH SCORE 6661.697
AT ITER 649 NEW BEST:: SOT 22082 SOS 10623 HAS SOPS 10623 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6607.623
AT ITER 660 NEW BEST:: SOT 22078 SOS 10619 HAS SOPS 10619 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6603.619
AT ITER 675 NEW BEST:: SOT 22091 SOS 10632 HAS SOPS 10632 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6599.632
AT ITER 696 NEW BEST:: SOT 22091 SOS 10622 HAS SOPS 10622 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6589.622
AT ITER 697 NEW BEST:: SOT 22079 SOS 10610 HAS SOPS 10610 HAS SOUS 6565 HAS SOUPS 6565 WITH SCORE 6575.61
AT ITER 708 NEW BEST:: SOT 22079 SOS 10564 HAS SOPS 10564 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6552.564
AT ITER 751 NEW BEST:: SOT 22029 SOS 10450 HAS SOPS 10450 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6486.45
AT ITER 756 NEW BEST:: SOT 22011 SOS 10483 HAS SOPS 10483 HAS SOUS 6453 HAS SOUPS 6453 WITH SCORE 6463.483
AT ITER 766 NEW BEST:: SOT 22041 SOS 10496 HAS SOPS 10496 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6438.496
AT ITER 771 NEW BEST:: SOT 22029 SOS 10465 HAS SOPS 10465 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6405.465
AT ITER 790 NEW BEST:: SOT 22028 SOS 10464 HAS SOPS 10464 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6404.464
AT ITER 820 NEW BEST:: SOT 22024 SOS 10458 HAS SOPS 10458 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6403.458
AT ITER 821 NEW BEST:: SOT 22021 SOS 10452 HAS SOPS 10452 HAS SOUS 6387 HAS SOUPS 6387 WITH SCORE 6397.452
AT ITER 825 NEW BEST:: SOT 21976 SOS 10362 HAS SOPS 10362 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6352.362
AT ITER 846 NEW BEST:: SOT 21970 SOS 10357 HAS SOPS 10357 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6346.357
AT ITER 858 NEW BEST:: SOT 21966 SOS 10353 HAS SOPS 10353 HAS SOUS 6326 HAS SOUPS 6326 WITH SCORE 6336.353
AT ITER 882 NEW BEST:: SOT 21956 SOS 10334 HAS SOPS 10334 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6326.334
AT ITER 888 NEW BEST:: SOT 21956 SOS 10344 HAS SOPS 10344 HAS SOUS 6312 HAS SOUPS 6312 WITH SCORE 6322.344
AT ITER 897 NEW BEST:: SOT 21938 SOS 10308 HAS SOPS 10308 HAS SOUS 6294 HAS SOUPS 6294 WITH SCORE 6304.308
AT ITER 900 NEW BEST:: SOT 21931 SOS 10301 HAS SOPS 10301 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6297.301
AT ITER 904 NEW BEST:: SOT 21921 SOS 10298 HAS SOPS 10298 HAS SOUS 6279 HAS SOUPS 6279 WITH SCORE 6289.298
AT ITER 910 NEW BEST:: SOT 21913 SOS 10282 HAS SOPS 10282 HAS SOUS 6263 HAS SOUPS 6263 WITH SCORE 6273.282
AT ITER 917 NEW BEST:: SOT 21909 SOS 10272 HAS SOPS 10272 HAS SOUS 6259 HAS SOUPS 6259 WITH SCORE 6269.272
AT ITER 933 NEW BEST:: SOT 21906 SOS 10269 HAS SOPS 10269 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6266.269
AT ITER 940 NEW BEST:: SOT 21906 SOS 10309 HAS SOPS 10309 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6246.309
AT ITER 942 NEW BEST:: SOT 21906 SOS 10306 HAS SOPS 10306 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6243.306
AT ITER 962 NEW BEST:: SOT 21898 SOS 10306 HAS SOPS 10306 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6235.306
AT ITER 975 NEW BEST:: SOT 21893 SOS 10301 HAS SOPS 10301 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6230.301
AT ITER 976 NEW BEST:: SOT 21889 SOS 10310 HAS SOPS 10310 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6227.31
AT ITER 981 NEW BEST:: SOT 21883 SOS 10297 HAS SOPS 10297 HAS SOUS 6211 HAS SOUPS 6211 WITH SCORE 6221.297
AT ITER 985 NEW BEST:: SOT 21899 SOS 10313 HAS SOPS 10313 HAS SOUS 6208 HAS SOUPS 6208 WITH SCORE 6218.313
AT ITER 1000 NEW BEST:: SOT 21921 SOS 10336 HAS SOPS 10336 HAS SOUS 6203 HAS SOUPS 6203 WITH SCORE 6213.336
AT ITER 1022 NEW BEST:: SOT 21923 SOS 10340 HAS SOPS 10340 HAS SOUS 6201 HAS SOUPS 6201 WITH SCORE 6211.34
AT ITER 1025 NEW BEST:: SOT 21950 SOS 10366 HAS SOPS 10366 HAS SOUS 6197 HAS SOUPS 6197 WITH SCORE 6207.366
AT ITER 1029 NEW BEST:: SOT 21937 SOS 10366 HAS SOPS 10366 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6194.366
AT ITER 1034 NEW BEST:: SOT 21932 SOS 10361 HAS SOPS 10361 HAS SOUS 6164 HAS SOUPS 6164 WITH SCORE 6174.361
AT ITER 1036 NEW BEST:: SOT 21898 SOS 10276 HAS SOPS 10276 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6157.276
AT ITER 1061 NEW BEST:: SOT 21898 SOS 10300 HAS SOPS 10300 HAS SOUS 6141 HAS SOUPS 6141 WITH SCORE 6151.3
AT ITER 1081 NEW BEST:: SOT 21882 SOS 10282 HAS SOPS 10282 HAS SOUS 6119 HAS SOUPS 6119 WITH SCORE 6129.282
AT ITER 1099 NEW BEST:: SOT 21878 SOS 10228 HAS SOPS 10228 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6086.228
AT ITER 1107 NEW BEST:: SOT 21870 SOS 10212 HAS SOPS 10212 HAS SOUS 6072 HAS SOUPS 6072 WITH SCORE 6082.212
AT ITER 1122 NEW BEST:: SOT 21856 SOS 10170 HAS SOPS 10170 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6059.17
AT ITER 1127 NEW BEST:: SOT 21852 SOS 10174 HAS SOPS 10174 HAS SOUS 6045 HAS SOUPS 6045 WITH SCORE 6055.174
AT ITER 1183 NEW BEST:: SOT 21844 SOS 10200 HAS SOPS 10200 HAS SOUS 6038 HAS SOUPS 6038 WITH SCORE 6048.2
AT ITER 1184 NEW BEST:: SOT 21844 SOS 10191 HAS SOPS 10191 HAS SOUS 6029 HAS SOUPS 6029 WITH SCORE 6039.191
AT ITER 1187 NEW BEST:: SOT 21838 SOS 10168 HAS SOPS 10168 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6017.168
AT ITER 1193 NEW BEST:: SOT 21825 SOS 10156 HAS SOPS 10156 HAS SOUS 5977 HAS SOUPS 5977 WITH SCORE 5987.156
AT ITER 1195 NEW BEST:: SOT 21825 SOS 10219 HAS SOPS 10219 HAS SOUS 5964 HAS SOUPS 5964 WITH SCORE 5974.219
AT ITER 1196 NEW BEST:: SOT 21822 SOS 10216 HAS SOPS 10216 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5968.216
AT ITER 1197 NEW BEST:: SOT 21804 SOS 10147 HAS SOPS 10147 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5928.147
AT ITER 1203 NEW BEST:: SOT 21794 SOS 10121 HAS SOPS 10121 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5909.121
AT ITER 1211 NEW BEST:: SOT 21804 SOS 10159 HAS SOPS 10159 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5901.159
AT ITER 1212 NEW BEST:: SOT 21804 SOS 10116 HAS SOPS 10116 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5901.116
AT ITER 1226 NEW BEST:: SOT 21800 SOS 10094 HAS SOPS 10094 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 5893.094
AT ITER 1253 NEW BEST:: SOT 21778 SOS 10065 HAS SOPS 10065 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5847.065
AT ITER 1268 NEW BEST:: SOT 21755 SOS 10277 HAS SOPS 10277 HAS SOUS 5831 HAS SOUPS 5831 WITH SCORE 5841.277
AT ITER 1278 NEW BEST:: SOT 21752 SOS 10274 HAS SOPS 10274 HAS SOUS 5826 HAS SOUPS 5826 WITH SCORE 5836.274
AT ITER 1282 NEW BEST:: SOT 21736 SOS 10226 HAS SOPS 10226 HAS SOUS 5794 HAS SOUPS 5794 WITH SCORE 5804.226
AT ITER 1283 NEW BEST:: SOT 21732 SOS 10234 HAS SOPS 10234 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5800.234
AT ITER 1340 NEW BEST:: SOT 21719 SOS 10125 HAS SOPS 10125 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5787.125
AT ITER 1348 NEW BEST:: SOT 21718 SOS 10124 HAS SOPS 10124 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5784.124
AT ITER 1349 NEW BEST:: SOT 21699 SOS 10146 HAS SOPS 10146 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5750.146
AT ITER 1376 NEW BEST:: SOT 21750 SOS 10168 HAS SOPS 10168 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5743.168
AT ITER 1402 NEW BEST:: SOT 21735 SOS 10138 HAS SOPS 10138 HAS SOUS 5729 HAS SOUPS 5729 WITH SCORE 5739.138
AT ITER 1403 NEW BEST:: SOT 21735 SOS 10135 HAS SOPS 10135 HAS SOUS 5729 HAS SOUPS 5729 WITH SCORE 5739.135
AT ITER 1407 NEW BEST:: SOT 21731 SOS 10123 HAS SOPS 10123 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5731.123
AT ITER 1411 NEW BEST:: SOT 21731 SOS 10123 HAS SOPS 10123 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5728.123
AT ITER 1425 NEW BEST:: SOT 21731 SOS 10120 HAS SOPS 10120 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5725.12
AT ITER 1443 NEW BEST:: SOT 21729 SOS 10118 HAS SOPS 10118 HAS SOUS 5707 HAS SOUPS 5707 WITH SCORE 5717.118
AT ITER 1444 NEW BEST:: SOT 21703 SOS 10104 HAS SOPS 10104 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5684.104
AT ITER 1461 NEW BEST:: SOT 21697 SOS 10107 HAS SOPS 10107 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5672.107
AT ITER 1472 NEW BEST:: SOT 21693 SOS 10099 HAS SOPS 10099 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5665.099
AT ITER 1483 NEW BEST:: SOT 21700 SOS 10095 HAS SOPS 10095 HAS SOUS 5650 HAS SOUPS 5650 WITH SCORE 5660.095
AT ITER 1485 NEW BEST:: SOT 21718 SOS 10113 HAS SOPS 10113 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5654.113
AT ITER 1516 NEW BEST:: SOT 21718 SOS 10096 HAS SOPS 10096 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5637.096
AT ITER 1517 NEW BEST:: SOT 21695 SOS 10005 HAS SOPS 10005 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5606.005
AT ITER 1528 NEW BEST:: SOT 21679 SOS 9892 HAS SOPS 9892 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5605.892
AT ITER 1536 NEW BEST:: SOT 21673 SOS 9880 HAS SOPS 9880 HAS SOUS 5589 HAS SOUPS 5589 WITH SCORE 5598.88
AT ITER 1548 NEW BEST:: SOT 21626 SOS 9856 HAS SOPS 9856 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5580.856
AT ITER 1554 NEW BEST:: SOT 21621 SOS 9841 HAS SOPS 9841 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5570.841
AT ITER 1555 NEW BEST:: SOT 21613 SOS 9822 HAS SOPS 9822 HAS SOUS 5553 HAS SOUPS 5553 WITH SCORE 5562.822
AT ITER 1580 NEW BEST:: SOT 21593 SOS 9805 HAS SOPS 9805 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5551.805
AT ITER 1591 NEW BEST:: SOT 21586 SOS 9804 HAS SOPS 9804 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5544.804
AT ITER 1615 NEW BEST:: SOT 21582 SOS 9800 HAS SOPS 9800 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5514.8
AT ITER 1635 NEW BEST:: SOT 21580 SOS 9798 HAS SOPS 9798 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5504.798
AT ITER 1652 NEW BEST:: SOT 21582 SOS 9801 HAS SOPS 9801 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5503.801
AT ITER 1661 NEW BEST:: SOT 21581 SOS 9800 HAS SOPS 9800 HAS SOUS 5491 HAS SOUPS 5491 WITH SCORE 5500.8
AT ITER 1699 NEW BEST:: SOT 21577 SOS 9792 HAS SOPS 9792 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5496.792
AT ITER 1720 NEW BEST:: SOT 21591 SOS 9806 HAS SOPS 9806 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5492.806
AT ITER 1743 NEW BEST:: SOT 21564 SOS 9747 HAS SOPS 9747 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5480.747
AT ITER 1758 NEW BEST:: SOT 21553 SOS 9734 HAS SOPS 9734 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5465.734
AT ITER 1766 NEW BEST:: SOT 21553 SOS 9733 HAS SOPS 9733 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5464.733
AT ITER 1775 NEW BEST:: SOT 21542 SOS 9698 HAS SOPS 9698 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5453.698
AT ITER 1826 NEW BEST:: SOT 21542 SOS 9728 HAS SOPS 9728 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5438.728
AT ITER 1844 NEW BEST:: SOT 21542 SOS 9724 HAS SOPS 9724 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5427.724
AT ITER 1879 NEW BEST:: SOT 21542 SOS 9721 HAS SOPS 9721 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5427.721
AT ITER 1909 NEW BEST:: SOT 21548 SOS 9716 HAS SOPS 9716 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5426.716
AT ITER 1917 NEW BEST:: SOT 21536 SOS 9738 HAS SOPS 9738 HAS SOUS 5407 HAS SOUPS 5407 WITH SCORE 5416.738
AT ITER 1927 NEW BEST:: SOT 21536 SOS 9738 HAS SOPS 9738 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5410.738
AT ITER 1945 NEW BEST:: SOT 21533 SOS 9733 HAS SOPS 9733 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5406.733
AT ITER 1971 NEW BEST:: SOT 21532 SOS 9730 HAS SOPS 9730 HAS SOUS 5396 HAS SOUPS 5396 WITH SCORE 5405.73
AT ITER 1990 NEW BEST:: SOT 21530 SOS 9725 HAS SOPS 9725 HAS SOUS 5392 HAS SOUPS 5392 WITH SCORE 5401.725
AT ITER 1992 NEW BEST:: SOT 21530 SOS 9717 HAS SOPS 9717 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5397.717
AT ITER 1995 NEW BEST:: SOT 21526 SOS 9683 HAS SOPS 9683 HAS SOUS 5378 HAS SOUPS 5378 WITH SCORE 5387.683
AT ITER 1998 NEW BEST:: SOT 21531 SOS 9696 HAS SOPS 9696 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5385.696
AT ITER 2030 NEW BEST:: SOT 21512 SOS 9703 HAS SOPS 9703 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5379.703
AT ITER 2067 NEW BEST:: SOT 21506 SOS 9702 HAS SOPS 9702 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5379.702
AT ITER 2089 NEW BEST:: SOT 21468 SOS 9669 HAS SOPS 9669 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5364.669
AT ITER 2099 NEW BEST:: SOT 21470 SOS 9671 HAS SOPS 9671 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5345.671
AT ITER 2119 NEW BEST:: SOT 21457 SOS 9700 HAS SOPS 9700 HAS SOUS 5312 HAS SOUPS 5312 WITH SCORE 5321.7
AT ITER 2146 NEW BEST:: SOT 21443 SOS 9642 HAS SOPS 9642 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5305.642
AT ITER 2177 NEW BEST:: SOT 21443 SOS 9642 HAS SOPS 9642 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5300.642
AT ITER 2184 NEW BEST:: SOT 21440 SOS 9639 HAS SOPS 9639 HAS SOUS 5288 HAS SOUPS 5288 WITH SCORE 5297.639
AT ITER 2191 NEW BEST:: SOT 21436 SOS 9621 HAS SOPS 9621 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5279.621
AT ITER 2222 NEW BEST:: SOT 21414 SOS 9555 HAS SOPS 9555 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5261.555
AT ITER 2234 NEW BEST:: SOT 21416 SOS 9577 HAS SOPS 9577 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5246.577
AT ITER 2243 NEW BEST:: SOT 21393 SOS 9554 HAS SOPS 9554 HAS SOUS 5227 HAS SOUPS 5227 WITH SCORE 5236.554
AT ITER 2249 NEW BEST:: SOT 21389 SOS 9550 HAS SOPS 9550 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5231.55
AT ITER 2253 NEW BEST:: SOT 21412 SOS 9553 HAS SOPS 9553 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5223.553
AT ITER 2255 NEW BEST:: SOT 21409 SOS 9547 HAS SOPS 9547 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5220.547
AT ITER 2257 NEW BEST:: SOT 21409 SOS 9553 HAS SOPS 9553 HAS SOUS 5208 HAS SOUPS 5208 WITH SCORE 5217.553
AT ITER 2268 NEW BEST:: SOT 21407 SOS 9551 HAS SOPS 9551 HAS SOUS 5205 HAS SOUPS 5205 WITH SCORE 5214.551
AT ITER 2291 NEW BEST:: SOT 21399 SOS 9539 HAS SOPS 9539 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5203.539
AT ITER 2300 NEW BEST:: SOT 21392 SOS 9457 HAS SOPS 9457 HAS SOUS 5184 HAS SOUPS 5184 WITH SCORE 5193.457
AT ITER 2308 NEW BEST:: SOT 21392 SOS 9460 HAS SOPS 9460 HAS SOUS 5181 HAS SOUPS 5181 WITH SCORE 5190.46
AT ITER 2311 NEW BEST:: SOT 21384 SOS 9452 HAS SOPS 9452 HAS SOUS 5177 HAS SOUPS 5177 WITH SCORE 5186.452
AT ITER 2312 NEW BEST:: SOT 21384 SOS 9429 HAS SOPS 9429 HAS SOUS 5171 HAS SOUPS 5171 WITH SCORE 5180.429
AT ITER 2321 NEW BEST:: SOT 21397 SOS 9410 HAS SOPS 9410 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5177.41
AT ITER 2325 NEW BEST:: SOT 21397 SOS 9410 HAS SOPS 9410 HAS SOUS 5167 HAS SOUPS 5167 WITH SCORE 5176.41
AT ITER 2351 NEW BEST:: SOT 21397 SOS 9407 HAS SOPS 9407 HAS SOUS 5167 HAS SOUPS 5167 WITH SCORE 5176.407
AT ITER 2380 NEW BEST:: SOT 21395 SOS 9404 HAS SOPS 9404 HAS SOUS 5163 HAS SOUPS 5163 WITH SCORE 5172.404
AT ITER 2388 NEW BEST:: SOT 21394 SOS 9403 HAS SOPS 9403 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5168.403
AT ITER 2389 NEW BEST:: SOT 21390 SOS 9372 HAS SOPS 9372 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5161.372
AT ITER 2394 NEW BEST:: SOT 21390 SOS 9372 HAS SOPS 9372 HAS SOUS 5147 HAS SOUPS 5147 WITH SCORE 5156.372
AT ITER 2456 NEW BEST:: SOT 21386 SOS 9368 HAS SOPS 9368 HAS SOUS 5143 HAS SOUPS 5143 WITH SCORE 5152.368
AT ITER 2466 NEW BEST:: SOT 21382 SOS 9364 HAS SOPS 9364 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5143.364
AT ITER 2488 NEW BEST:: SOT 21382 SOS 9344 HAS SOPS 9344 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5143.344
AT ITER 2490 NEW BEST:: SOT 21382 SOS 9240 HAS SOPS 9240 HAS SOUS 5083 HAS SOUPS 5083 WITH SCORE 5092.24
AT ITER 2495 NEW BEST:: SOT 21382 SOS 9206 HAS SOPS 9206 HAS SOUS 5083 HAS SOUPS 5083 WITH SCORE 5092.206
AT ITER 2527 NEW BEST:: SOT 21383 SOS 9251 HAS SOPS 9251 HAS SOUS 5063 HAS SOUPS 5063 WITH SCORE 5072.251
AT ITER 2540 NEW BEST:: SOT 21374 SOS 9233 HAS SOPS 9233 HAS SOUS 5051 HAS SOUPS 5051 WITH SCORE 5060.233
AT ITER 2603 NEW BEST:: SOT 21372 SOS 9213 HAS SOPS 9213 HAS SOUS 5047 HAS SOUPS 5047 WITH SCORE 5056.213
AT ITER 2610 NEW BEST:: SOT 21370 SOS 9206 HAS SOPS 9206 HAS SOUS 5045 HAS SOUPS 5045 WITH SCORE 5054.206
AT ITER 2612 NEW BEST:: SOT 21361 SOS 9197 HAS SOPS 9197 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5050.197
AT ITER 2663 NEW BEST:: SOT 21366 SOS 9187 HAS SOPS 9187 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5042.187
AT ITER 2666 NEW BEST:: SOT 21365 SOS 9188 HAS SOPS 9188 HAS SOUS 5029 HAS SOUPS 5029 WITH SCORE 5038.188
AT ITER 2672 NEW BEST:: SOT 21355 SOS 9164 HAS SOPS 9164 HAS SOUS 5019 HAS SOUPS 5019 WITH SCORE 5028.164
AT ITER 2681 NEW BEST:: SOT 21354 SOS 9163 HAS SOPS 9163 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5023.163
AT ITER 2785 NEW BEST:: SOT 21377 SOS 9188 HAS SOPS 9188 HAS SOUS 5011 HAS SOUPS 5011 WITH SCORE 5020.188
AT ITER 2786 NEW BEST:: SOT 21374 SOS 9131 HAS SOPS 9131 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5018.131
AT ITER 2823 NEW BEST:: SOT 21376 SOS 9149 HAS SOPS 9149 HAS SOUS 5004 HAS SOUPS 5004 WITH SCORE 5013.149
AT ITER 2842 NEW BEST:: SOT 21376 SOS 9140 HAS SOPS 9140 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5004.14
AT ITER 2852 NEW BEST:: SOT 21372 SOS 9124 HAS SOPS 9124 HAS SOUS 4991 HAS SOUPS 4991 WITH SCORE 5000.124
AT ITER 2866 NEW BEST:: SOT 21369 SOS 9121 HAS SOPS 9121 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4997.121
AT ITER 2893 NEW BEST:: SOT 21372 SOS 9080 HAS SOPS 9080 HAS SOUS 4987 HAS SOUPS 4987 WITH SCORE 4996.08
AT ITER 2927 NEW BEST:: SOT 21372 SOS 9078 HAS SOPS 9078 HAS SOUS 4986 HAS SOUPS 4986 WITH SCORE 4995.078
AT ITER 2933 NEW BEST:: SOT 21372 SOS 9078 HAS SOPS 9078 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4994.078
AT ITER 2945 NEW BEST:: SOT 21370 SOS 9076 HAS SOPS 9076 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4990.076
AT ITER 2960 NEW BEST:: SOT 21351 SOS 9815 HAS SOPS 9815 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4982.815
AT ITER 3007 NEW BEST:: SOT 21351 SOS 9814 HAS SOPS 9814 HAS SOUS 4972 HAS SOUPS 4972 WITH SCORE 4981.814
AT ITER 3030 NEW BEST:: SOT 21348 SOS 9816 HAS SOPS 9816 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4973.816
AT ITER 3031 NEW BEST:: SOT 21347 SOS 9816 HAS SOPS 9816 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4970.816
AT ITER 3079 NEW BEST:: SOT 21349 SOS 9802 HAS SOPS 9802 HAS SOUS 4959 HAS SOUPS 4959 WITH SCORE 4968.802
AT ITER 3090 NEW BEST:: SOT 21348 SOS 9800 HAS SOPS 9800 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4967.8
AT ITER 3095 NEW BEST:: SOT 21348 SOS 9755 HAS SOPS 9755 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4952.755
AT ITER 3097 NEW BEST:: SOT 21350 SOS 9764 HAS SOPS 9764 HAS SOUS 4940 HAS SOUPS 4940 WITH SCORE 4949.764
AT ITER 3100 NEW BEST:: SOT 21350 SOS 9789 HAS SOPS 9789 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4938.789
AT ITER 3107 NEW BEST:: SOT 21357 SOS 9772 HAS SOPS 9772 HAS SOUS 4926 HAS SOUPS 4926 WITH SCORE 4935.772
AT ITER 3148 NEW BEST:: SOT 21347 SOS 9736 HAS SOPS 9736 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4925.736
AT ITER 3226 NEW BEST:: SOT 21346 SOS 9736 HAS SOPS 9736 HAS SOUS 4915 HAS SOUPS 4915 WITH SCORE 4924.736
AT ITER 3258 NEW BEST:: SOT 21346 SOS 9732 HAS SOPS 9732 HAS SOUS 4911 HAS SOUPS 4911 WITH SCORE 4920.732
AT ITER 3303 NEW BEST:: SOT 21346 SOS 9718 HAS SOPS 9718 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4913.718
AT ITER 3309 NEW BEST:: SOT 21354 SOS 9712 HAS SOPS 9712 HAS SOUS 4866 HAS SOUPS 4866 WITH SCORE 4875.712
AT ITER 3380 NEW BEST:: SOT 21351 SOS 9709 HAS SOPS 9709 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4846.709
AT ITER 3443 NEW BEST:: SOT 21352 SOS 9714 HAS SOPS 9714 HAS SOUS 4835 HAS SOUPS 4835 WITH SCORE 4844.714
AT ITER 3455 NEW BEST:: SOT 21345 SOS 9723 HAS SOPS 9723 HAS SOUS 4827 HAS SOUPS 4827 WITH SCORE 4836.723
AT ITER 3492 NEW BEST:: SOT 21342 SOS 9999 HAS SOPS 9999 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4831.999
AT ITER 3504 NEW BEST:: SOT 21336 SOS 9990 HAS SOPS 9990 HAS SOUS 4813 HAS SOUPS 4813 WITH SCORE 4822.99
AT ITER 3518 NEW BEST:: SOT 21338 SOS 9986 HAS SOPS 9986 HAS SOUS 4813 HAS SOUPS 4813 WITH SCORE 4822.986
AT ITER 3555 NEW BEST:: SOT 21340 SOS 9975 HAS SOPS 9975 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4816.975
AT ITER 3576 NEW BEST:: SOT 21334 SOS 9963 HAS SOPS 9963 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4804.963
AT ITER 3577 NEW BEST:: SOT 21334 SOS 9958 HAS SOPS 9958 HAS SOUS 4794 HAS SOUPS 4794 WITH SCORE 4803.958
AT ITER 3593 NEW BEST:: SOT 21286 SOS 9910 HAS SOPS 9910 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4755.91
AT ITER 3606 NEW BEST:: SOT 21291 SOS 9953 HAS SOPS 9953 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4741.953
AT ITER 3668 NEW BEST:: SOT 21290 SOS 9950 HAS SOPS 9950 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4740.95
AT ITER 3671 NEW BEST:: SOT 21281 SOS 9957 HAS SOPS 9957 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4738.957
AT ITER 3699 NEW BEST:: SOT 21278 SOS 9954 HAS SOPS 9954 HAS SOUS 4723 HAS SOUPS 4723 WITH SCORE 4732.954
AT ITER 3765 NEW BEST:: SOT 21275 SOS 9950 HAS SOPS 9950 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4729.95
AT ITER 3786 NEW BEST:: SOT 21275 SOS 9947 HAS SOPS 9947 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4727.947
AT ITER 3838 NEW BEST:: SOT 21271 SOS 9943 HAS SOPS 9943 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4723.943
AT ITER 3895 NEW BEST:: SOT 21267 SOS 9941 HAS SOPS 9941 HAS SOUS 4709 HAS SOUPS 4709 WITH SCORE 4718.941
AT ITER 3907 NEW BEST:: SOT 21266 SOS 9940 HAS SOPS 9940 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4715.94
AT ITER 3983 NEW BEST:: SOT 21261 SOS 9935 HAS SOPS 9935 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4710.935
AT ITER 4039 NEW BEST:: SOT 21258 SOS 9916 HAS SOPS 9916 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4710.916
AT ITER 4064 NEW BEST:: SOT 21255 SOS 9908 HAS SOPS 9908 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4707.908
AT ITER 4117 NEW BEST:: SOT 21253 SOS 9902 HAS SOPS 9902 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4703.902
AT ITER 4143 NEW BEST:: SOT 21257 SOS 9910 HAS SOPS 9910 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4702.91
AT ITER 4225 NEW BEST:: SOT 21258 SOS 9908 HAS SOPS 9908 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4702.908
AT ITER 4245 NEW BEST:: SOT 21257 SOS 9909 HAS SOPS 9909 HAS SOUS 4688 HAS SOUPS 4688 WITH SCORE 4697.909
AT ITER 4285 NEW BEST:: SOT 21257 SOS 9908 HAS SOPS 9908 HAS SOUS 4688 HAS SOUPS 4688 WITH SCORE 4697.908
AT ITER 4316 NEW BEST:: SOT 21254 SOS 9895 HAS SOPS 9895 HAS SOUS 4687 HAS SOUPS 4687 WITH SCORE 4696.895
AT ITER 4323 NEW BEST:: SOT 21250 SOS 9891 HAS SOPS 9891 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4692.891
AT ITER 4368 NEW BEST:: SOT 21238 SOS 9881 HAS SOPS 9881 HAS SOUS 4677 HAS SOUPS 4677 WITH SCORE 4686.881
AT ITER 4371 NEW BEST:: SOT 21237 SOS 9879 HAS SOPS 9879 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4684.879
AT ITER 4391 NEW BEST:: SOT 21240 SOS 9870 HAS SOPS 9870 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4682.87
AT ITER 4526 NEW BEST:: SOT 21232 SOS 9862 HAS SOPS 9862 HAS SOUS 4665 HAS SOUPS 4665 WITH SCORE 4674.862
AT ITER 4772 NEW BEST:: SOT 21228 SOS 9937 HAS SOPS 9937 HAS SOUS 4661 HAS SOUPS 4661 WITH SCORE 4670.937
AT ITER 4836 NEW BEST:: SOT 21223 SOS 9912 HAS SOPS 9912 HAS SOUS 4660 HAS SOUPS 4660 WITH SCORE 4669.912
AT ITER 4858 NEW BEST:: SOT 21224 SOS 9913 HAS SOPS 9913 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4668.913
AT ITER 4992 NEW BEST:: SOT 21223 SOS 9913 HAS SOPS 9913 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4667.913
AT ITER 5166 NEW BEST:: SOT 21222 SOS 9912 HAS SOPS 9912 HAS SOUS 4656 HAS SOUPS 4656 WITH SCORE 4665.912
AT ITER 5230 NEW BEST:: SOT 21217 SOS 9907 HAS SOPS 9907 HAS SOUS 4648 HAS SOUPS 4648 WITH SCORE 4657.907
AT ITER 5256 NEW BEST:: SOT 21218 SOS 9918 HAS SOPS 9918 HAS SOUS 4642 HAS SOUPS 4642 WITH SCORE 4651.918
AT ITER 5277 NEW BEST:: SOT 21217 SOS 9903 HAS SOPS 9903 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4649.903
AT ITER 5391 NEW BEST:: SOT 21206 SOS 9886 HAS SOPS 9886 HAS SOUS 4630 HAS SOUPS 4630 WITH SCORE 4639.886
AT ITER 5428 NEW BEST:: SOT 21203 SOS 9883 HAS SOPS 9883 HAS SOUS 4627 HAS SOUPS 4627 WITH SCORE 4636.883
AT ITER 5495 NEW BEST:: SOT 21202 SOS 9880 HAS SOPS 9880 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4634.88
AT ITER 5512 NEW BEST:: SOT 21200 SOS 9878 HAS SOPS 9878 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4633.878
AT ITER 5517 NEW BEST:: SOT 21199 SOS 9877 HAS SOPS 9877 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4632.877
AT ITER 5598 NEW BEST:: SOT 21202 SOS 9860 HAS SOPS 9860 HAS SOUS 4618 HAS SOUPS 4618 WITH SCORE 4627.86
AT ITER 5649 NEW BEST:: SOT 21182 SOS 9737 HAS SOPS 9737 HAS SOUS 4610 HAS SOUPS 4610 WITH SCORE 4619.737
AT ITER 5763 NEW BEST:: SOT 21170 SOS 9729 HAS SOPS 9729 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4615.729
AT ITER 5807 NEW BEST:: SOT 21165 SOS 9724 HAS SOPS 9724 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4614.724
AT ITER 5877 NEW BEST:: SOT 21164 SOS 9722 HAS SOPS 9722 HAS SOUS 4603 HAS SOUPS 4603 WITH SCORE 4612.722
AT ITER 5924 NEW BEST:: SOT 21164 SOS 9721 HAS SOPS 9721 HAS SOUS 4602 HAS SOUPS 4602 WITH SCORE 4611.721
AT ITER 5940 NEW BEST:: SOT 21160 SOS 9717 HAS SOPS 9717 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4605.717
AT ITER 5950 NEW BEST:: SOT 21153 SOS 9700 HAS SOPS 9700 HAS SOUS 4587 HAS SOUPS 4587 WITH SCORE 4596.7
AT ITER 6009 NEW BEST:: SOT 21155 SOS 9697 HAS SOPS 9697 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4595.697
AT ITER 6100 NEW BEST:: SOT 21160 SOS 9342 HAS SOPS 9342 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4591.342
AT ITER 6131 NEW BEST:: SOT 21161 SOS 9343 HAS SOPS 9343 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4588.343
AT ITER 6135 NEW BEST:: SOT 21154 SOS 9331 HAS SOPS 9331 HAS SOUS 4570 HAS SOUPS 4570 WITH SCORE 4579.331
AT ITER 6142 NEW BEST:: SOT 21154 SOS 9319 HAS SOPS 9319 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4573.319
AT ITER 6195 NEW BEST:: SOT 21153 SOS 9318 HAS SOPS 9318 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4573.318
AT ITER 6361 NEW BEST:: SOT 21155 SOS 9305 HAS SOPS 9305 HAS SOUS 4561 HAS SOUPS 4561 WITH SCORE 4570.305
AT ITER 6398 NEW BEST:: SOT 21153 SOS 9303 HAS SOPS 9303 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4560.303
AT ITER 6450 NEW BEST:: SOT 21149 SOS 9297 HAS SOPS 9297 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4551.297
AT ITER 6550 NEW BEST:: SOT 21147 SOS 9294 HAS SOPS 9294 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4548.294
AT ITER 6564 NEW BEST:: SOT 21147 SOS 9292 HAS SOPS 9292 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4546.292
AT ITER 6594 NEW BEST:: SOT 21117 SOS 9267 HAS SOPS 9267 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4533.267
AT ITER 6620 NEW BEST:: SOT 21115 SOS 9259 HAS SOPS 9259 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4531.259
AT ITER 6621 NEW BEST:: SOT 21113 SOS 9252 HAS SOPS 9252 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4527.252
AT ITER 6658 NEW BEST:: SOT 21110 SOS 9246 HAS SOPS 9246 HAS SOUS 4511 HAS SOUPS 4511 WITH SCORE 4520.246
AT ITER 6736 NEW BEST:: SOT 21110 SOS 9246 HAS SOPS 9246 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4519.246
AT ITER 6863 NEW BEST:: SOT 21153 SOS 9164 HAS SOPS 9164 HAS SOUS 4501 HAS SOUPS 4501 WITH SCORE 4510.164
AT ITER 6877 NEW BEST:: SOT 21153 SOS 9160 HAS SOPS 9160 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4508.16
AT ITER 6897 NEW BEST:: SOT 21153 SOS 9160 HAS SOPS 9160 HAS SOUS 4498 HAS SOUPS 4498 WITH SCORE 4507.16
AT ITER 6972 NEW BEST:: SOT 21158 SOS 9195 HAS SOPS 9195 HAS SOUS 4497 HAS SOUPS 4497 WITH SCORE 4506.195
AT ITER 6985 NEW BEST:: SOT 21155 SOS 9189 HAS SOPS 9189 HAS SOUS 4494 HAS SOUPS 4494 WITH SCORE 4503.189
AT ITER 7121 NEW BEST:: SOT 21155 SOS 9181 HAS SOPS 9181 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4495.181
AT ITER 7126 NEW BEST:: SOT 21151 SOS 9179 HAS SOPS 9179 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4493.179
AT ITER 7158 NEW BEST:: SOT 21172 SOS 9148 HAS SOPS 9148 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4489.148
AT ITER 7172 NEW BEST:: SOT 21170 SOS 9144 HAS SOPS 9144 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4487.144
AT ITER 7180 NEW BEST:: SOT 21166 SOS 9137 HAS SOPS 9137 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4479.137
AT ITER 7244 NEW BEST:: SOT 21160 SOS 9128 HAS SOPS 9128 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4475.128
AT ITER 7269 NEW BEST:: SOT 21157 SOS 9117 HAS SOPS 9117 HAS SOUS 4459 HAS SOUPS 4459 WITH SCORE 4468.117
AT ITER 7297 NEW BEST:: SOT 21103 SOS 9331 HAS SOPS 9331 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4441.331
AT ITER 7313 NEW BEST:: SOT 21102 SOS 9330 HAS SOPS 9330 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4441.33
AT ITER 7316 NEW BEST:: SOT 21099 SOS 9321 HAS SOPS 9321 HAS SOUS 4429 HAS SOUPS 4429 WITH SCORE 4438.321
AT ITER 7364 NEW BEST:: SOT 21097 SOS 9319 HAS SOPS 9319 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4435.319
AT ITER 7382 NEW BEST:: SOT 21095 SOS 9315 HAS SOPS 9315 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4429.315
AT ITER 7388 NEW BEST:: SOT 21094 SOS 9301 HAS SOPS 9301 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4427.301
AT ITER 7407 NEW BEST:: SOT 21093 SOS 9302 HAS SOPS 9302 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4426.302
AT ITER 7479 NEW BEST:: SOT 21093 SOS 9301 HAS SOPS 9301 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4426.301
AT ITER 7618 NEW BEST:: SOT 21093 SOS 9301 HAS SOPS 9301 HAS SOUS 4416 HAS SOUPS 4416 WITH SCORE 4425.301
AT ITER 7685 NEW BEST:: SOT 21090 SOS 9297 HAS SOPS 9297 HAS SOUS 4415 HAS SOUPS 4415 WITH SCORE 4424.297
AT ITER 7699 NEW BEST:: SOT 21090 SOS 9295 HAS SOPS 9295 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4422.295
AT ITER 7757 NEW BEST:: SOT 21088 SOS 9178 HAS SOPS 9178 HAS SOUS 4407 HAS SOUPS 4407 WITH SCORE 4416.178
AT ITER 7758 NEW BEST:: SOT 21079 SOS 9184 HAS SOPS 9184 HAS SOUS 4399 HAS SOUPS 4399 WITH SCORE 4408.184
AT ITER 7766 NEW BEST:: SOT 21079 SOS 9174 HAS SOPS 9174 HAS SOUS 4389 HAS SOUPS 4389 WITH SCORE 4398.174
AT ITER 7822 NEW BEST:: SOT 21079 SOS 9158 HAS SOPS 9158 HAS SOUS 4381 HAS SOUPS 4381 WITH SCORE 4390.158
AT ITER 7880 NEW BEST:: SOT 21079 SOS 9140 HAS SOPS 9140 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4378.14
AT ITER 7904 NEW BEST:: SOT 21079 SOS 9138 HAS SOPS 9138 HAS SOUS 4368 HAS SOUPS 4368 WITH SCORE 4377.138
AT ITER 7911 NEW BEST:: SOT 21077 SOS 9132 HAS SOPS 9132 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4375.132
AT ITER 7924 NEW BEST:: SOT 21073 SOS 9124 HAS SOPS 9124 HAS SOUS 4358 HAS SOUPS 4358 WITH SCORE 4367.124
AT ITER 8054 NEW BEST:: SOT 21072 SOS 9120 HAS SOPS 9120 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4363.12
AT ITER 8066 NEW BEST:: SOT 21069 SOS 9112 HAS SOPS 9112 HAS SOUS 4351 HAS SOUPS 4351 WITH SCORE 4360.112
AT ITER 8067 NEW BEST:: SOT 21070 SOS 9133 HAS SOPS 9133 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4358.133
AT ITER 8072 NEW BEST:: SOT 21070 SOS 9131 HAS SOPS 9131 HAS SOUS 4347 HAS SOUPS 4347 WITH SCORE 4356.131
AT ITER 8085 NEW BEST:: SOT 21074 SOS 9133 HAS SOPS 9133 HAS SOUS 4345 HAS SOUPS 4345 WITH SCORE 4354.133
AT ITER 8096 NEW BEST:: SOT 21069 SOS 9146 HAS SOPS 9146 HAS SOUS 4338 HAS SOUPS 4338 WITH SCORE 4347.146
AT ITER 8100 NEW BEST:: SOT 21066 SOS 9143 HAS SOPS 9143 HAS SOUS 4335 HAS SOUPS 4335 WITH SCORE 4344.143
AT ITER 8110 NEW BEST:: SOT 21062 SOS 9224 HAS SOPS 9224 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4340.224
AT ITER 8213 NEW BEST:: SOT 21060 SOS 9220 HAS SOPS 9220 HAS SOUS 4328 HAS SOUPS 4328 WITH SCORE 4337.22
AT ITER 8242 NEW BEST:: SOT 21058 SOS 9216 HAS SOPS 9216 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4333.216
AT ITER 8314 NEW BEST:: SOT 21053 SOS 9196 HAS SOPS 9196 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4329.196
AT ITER 8395 NEW BEST:: SOT 21052 SOS 9195 HAS SOPS 9195 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4327.195
AT ITER 8466 NEW BEST:: SOT 21051 SOS 9189 HAS SOPS 9189 HAS SOUS 4307 HAS SOUPS 4307 WITH SCORE 4316.189
AT ITER 8472 NEW BEST:: SOT 21051 SOS 9185 HAS SOPS 9185 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4312.185
AT ITER 8541 NEW BEST:: SOT 21047 SOS 9181 HAS SOPS 9181 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4312.181
AT ITER 8581 NEW BEST:: SOT 21042 SOS 9173 HAS SOPS 9173 HAS SOUS 4291 HAS SOUPS 4291 WITH SCORE 4300.173
AT ITER 8582 NEW BEST:: SOT 21038 SOS 9170 HAS SOPS 9170 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4291.17
AT ITER 8614 NEW BEST:: SOT 21035 SOS 9165 HAS SOPS 9165 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4289.165
AT ITER 8863 NEW BEST:: SOT 21034 SOS 9164 HAS SOPS 9164 HAS SOUS 4279 HAS SOUPS 4279 WITH SCORE 4288.164
AT ITER 8946 NEW BEST:: SOT 21033 SOS 9162 HAS SOPS 9162 HAS SOUS 4277 HAS SOUPS 4277 WITH SCORE 4286.162
AT ITER 8954 NEW BEST:: SOT 21033 SOS 9158 HAS SOPS 9158 HAS SOUS 4277 HAS SOUPS 4277 WITH SCORE 4286.158
AT ITER 8960 NEW BEST:: SOT 21031 SOS 9154 HAS SOPS 9154 HAS SOUS 4273 HAS SOUPS 4273 WITH SCORE 4282.154
AT ITER 8975 NEW BEST:: SOT 21028 SOS 9146 HAS SOPS 9146 HAS SOUS 4268 HAS SOUPS 4268 WITH SCORE 4277.146
AT ITER 9039 NEW BEST:: SOT 21027 SOS 9143 HAS SOPS 9143 HAS SOUS 4268 HAS SOUPS 4268 WITH SCORE 4277.143
AT ITER 9106 NEW BEST:: SOT 21026 SOS 9142 HAS SOPS 9142 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4270.142
AT ITER 9141 NEW BEST:: SOT 21022 SOS 9138 HAS SOPS 9138 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4265.138
AT ITER 9205 NEW BEST:: SOT 21024 SOS 9129 HAS SOPS 9129 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4263.129
AT ITER 9221 NEW BEST:: SOT 21023 SOS 9128 HAS SOPS 9128 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4259.128
AT ITER 9264 NEW BEST:: SOT 21023 SOS 9122 HAS SOPS 9122 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4258.122
AT ITER 9306 NEW BEST:: SOT 21025 SOS 9124 HAS SOPS 9124 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4256.124
AT ITER 9366 NEW BEST:: SOT 21009 SOS 9750 HAS SOPS 9750 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4250.75
AT ITER 9435 NEW BEST:: SOT 21007 SOS 9728 HAS SOPS 9728 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4246.728
AT ITER 9563 NEW BEST:: SOT 21005 SOS 9722 HAS SOPS 9722 HAS SOUS 4235 HAS SOUPS 4235 WITH SCORE 4244.722
AT ITER 9578 NEW BEST:: SOT 21003 SOS 9720 HAS SOPS 9720 HAS SOUS 4235 HAS SOUPS 4235 WITH SCORE 4244.72
AT ITER 9671 NEW BEST:: SOT 21002 SOS 9717 HAS SOPS 9717 HAS SOUS 4233 HAS SOUPS 4233 WITH SCORE 4242.717
AT ITER 9683 NEW BEST:: SOT 21002 SOS 9712 HAS SOPS 9712 HAS SOUS 4230 HAS SOUPS 4230 WITH SCORE 4239.712
AT ITER 9830 NEW BEST:: SOT 21015 SOS 9702 HAS SOPS 9702 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4231.702
AT ITER 9870 NEW BEST:: SOT 21014 SOS 9700 HAS SOPS 9700 HAS SOUS 4218 HAS SOUPS 4218 WITH SCORE 4227.7
AT ITER 9877 NEW BEST:: SOT 21007 SOS 9696 HAS SOPS 9696 HAS SOUS 4214 HAS SOUPS 4214 WITH SCORE 4223.696
AT ITER 9914 NEW BEST:: SOT 21007 SOS 9694 HAS SOPS 9694 HAS SOUS 4214 HAS SOUPS 4214 WITH SCORE 4223.694
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 154332 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16297164 kB

BK_TIME_CONFINEMENT_REACHED

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

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="UtilityControlRoom-COL-Z2T3N10"
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 UtilityControlRoom-COL-Z2T3N10, 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 r483-tall-167912696400984"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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