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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 408K
-rw-r--r-- 1 mcc users 6.8K Feb 26 14:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 26 14:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 14:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 14:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 14:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 14:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K Feb 26 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 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 1679187704583

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-Z4T4N04
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-19 01:01:47] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-19 01:01:47] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-19 01:01:47] [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 01:01:47] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 01:01:48] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 650 ms
[2023-03-19 01:01:48] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 154 PT places and 300.0 transition bindings in 35 ms.
[2023-03-19 01:01:48] [INFO ] Unfolded HLPN to a Petri net with 154 places and 300 transitions 964 arcs in 41 ms.
[2023-03-19 01:01:48] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 64 transitions
Reduce isomorphic transitions removed 64 transitions.
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
[2023-03-19 01:01:48] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 154 places, 220 transitions and 644 arcs took 9 ms.
Total runtime 1018 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z4T4N04
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: 154 places, 220 transitions, 644 arcs.
AT ITER 0 NEW BEST:: SOT 23484 SOS 15685 HAS SOPS 15685 HAS SOUS 10555 HAS SOUPS 10555 WITH SCORE 10570.685
AT ITER 5 NEW BEST:: SOT 23456 SOS 15657 HAS SOPS 15657 HAS SOUS 10484 HAS SOUPS 10484 WITH SCORE 10499.657
AT ITER 6 NEW BEST:: SOT 23563 SOS 15555 HAS SOPS 15555 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10127.555
AT ITER 8 NEW BEST:: SOT 23563 SOS 15523 HAS SOPS 15523 HAS SOUS 10110 HAS SOUPS 10110 WITH SCORE 10125.523
AT ITER 9 NEW BEST:: SOT 23547 SOS 15491 HAS SOPS 15491 HAS SOUS 10046 HAS SOUPS 10046 WITH SCORE 10061.491
AT ITER 10 NEW BEST:: SOT 23547 SOS 15491 HAS SOPS 15491 HAS SOUS 10042 HAS SOUPS 10042 WITH SCORE 10057.491
AT ITER 16 NEW BEST:: SOT 23547 SOS 15412 HAS SOPS 15412 HAS SOUS 9952 HAS SOUPS 9952 WITH SCORE 9967.412
AT ITER 26 NEW BEST:: SOT 23547 SOS 15363 HAS SOPS 15363 HAS SOUS 9934 HAS SOUPS 9934 WITH SCORE 9949.363
AT ITER 31 NEW BEST:: SOT 23746 SOS 15262 HAS SOPS 15262 HAS SOUS 9640 HAS SOUPS 9640 WITH SCORE 9655.262
AT ITER 35 NEW BEST:: SOT 23649 SOS 15198 HAS SOPS 15198 HAS SOUS 9568 HAS SOUPS 9568 WITH SCORE 9583.198
AT ITER 36 NEW BEST:: SOT 22710 SOS 18819 HAS SOPS 18819 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8785.819
AT ITER 37 NEW BEST:: SOT 22508 SOS 18617 HAS SOPS 18617 HAS SOUS 8587 HAS SOUPS 8587 WITH SCORE 8605.617
AT ITER 38 NEW BEST:: SOT 22452 SOS 18305 HAS SOPS 18305 HAS SOUS 8490 HAS SOUPS 8490 WITH SCORE 8508.305
AT ITER 43 NEW BEST:: SOT 22416 SOS 18169 HAS SOPS 18169 HAS SOUS 8429 HAS SOUPS 8429 WITH SCORE 8447.169
AT ITER 54 NEW BEST:: SOT 22366 SOS 18119 HAS SOPS 18119 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8397.119
AT ITER 55 NEW BEST:: SOT 22371 SOS 18187 HAS SOPS 18187 HAS SOUS 8375 HAS SOUPS 8375 WITH SCORE 8393.187
AT ITER 56 NEW BEST:: SOT 22294 SOS 17717 HAS SOPS 17717 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8325.717
AT ITER 57 NEW BEST:: SOT 22294 SOS 17652 HAS SOPS 17652 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8325.652
AT ITER 58 NEW BEST:: SOT 22280 SOS 17638 HAS SOPS 17638 HAS SOUS 8279 HAS SOUPS 8279 WITH SCORE 8296.638
AT ITER 61 NEW BEST:: SOT 22280 SOS 17638 HAS SOPS 17638 HAS SOUS 8215 HAS SOUPS 8215 WITH SCORE 8232.638
AT ITER 63 NEW BEST:: SOT 22301 SOS 17333 HAS SOPS 17333 HAS SOUS 8183 HAS SOUPS 8183 WITH SCORE 8200.333
AT ITER 71 NEW BEST:: SOT 22291 SOS 17323 HAS SOPS 17323 HAS SOUS 8143 HAS SOUPS 8143 WITH SCORE 8160.323
AT ITER 73 NEW BEST:: SOT 22311 SOS 17333 HAS SOPS 17333 HAS SOUS 8085 HAS SOUPS 8085 WITH SCORE 8102.333
AT ITER 81 NEW BEST:: SOT 22308 SOS 17330 HAS SOPS 17330 HAS SOUS 8038 HAS SOUPS 8038 WITH SCORE 8055.33
AT ITER 82 NEW BEST:: SOT 22285 SOS 17284 HAS SOPS 17284 HAS SOUS 8006 HAS SOUPS 8006 WITH SCORE 8023.284
AT ITER 83 NEW BEST:: SOT 22274 SOS 17262 HAS SOPS 17262 HAS SOUS 7995 HAS SOUPS 7995 WITH SCORE 8012.262
AT ITER 85 NEW BEST:: SOT 21775 SOS 16763 HAS SOPS 16763 HAS SOUS 7777 HAS SOUPS 7777 WITH SCORE 7793.763
AT ITER 90 NEW BEST:: SOT 21775 SOS 16806 HAS SOPS 16806 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7786.806
AT ITER 93 NEW BEST:: SOT 21574 SOS 16605 HAS SOPS 16605 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7600.605
AT ITER 96 NEW BEST:: SOT 21596 SOS 16627 HAS SOPS 16627 HAS SOUS 7554 HAS SOUPS 7554 WITH SCORE 7570.627
AT ITER 103 NEW BEST:: SOT 21581 SOS 16612 HAS SOPS 16612 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7535.612
AT ITER 115 NEW BEST:: SOT 21557 SOS 16576 HAS SOPS 16576 HAS SOUS 7483 HAS SOUPS 7483 WITH SCORE 7499.576
AT ITER 119 NEW BEST:: SOT 21555 SOS 16574 HAS SOPS 16574 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7331.574
AT ITER 123 NEW BEST:: SOT 21548 SOS 16567 HAS SOPS 16567 HAS SOUS 7308 HAS SOUPS 7308 WITH SCORE 7324.567
AT ITER 126 NEW BEST:: SOT 21507 SOS 16526 HAS SOPS 16526 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7116.526
AT ITER 131 NEW BEST:: SOT 21544 SOS 16399 HAS SOPS 16399 HAS SOUS 7083 HAS SOUPS 7083 WITH SCORE 7099.399
AT ITER 134 NEW BEST:: SOT 21519 SOS 16362 HAS SOPS 16362 HAS SOUS 7011 HAS SOUPS 7011 WITH SCORE 7027.362
AT ITER 135 NEW BEST:: SOT 21433 SOS 16258 HAS SOPS 16258 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6935.258
AT ITER 146 NEW BEST:: SOT 21425 SOS 16234 HAS SOPS 16234 HAS SOUS 6907 HAS SOUPS 6907 WITH SCORE 6923.234
AT ITER 151 NEW BEST:: SOT 21420 SOS 16229 HAS SOPS 16229 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6918.229
AT ITER 153 NEW BEST:: SOT 21419 SOS 16228 HAS SOPS 16228 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6916.228
AT ITER 157 NEW BEST:: SOT 21372 SOS 16181 HAS SOPS 16181 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6857.181
AT ITER 161 NEW BEST:: SOT 21218 SOS 16027 HAS SOPS 16027 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6851.027
AT ITER 165 NEW BEST:: SOT 21203 SOS 16012 HAS SOPS 16012 HAS SOUS 6812 HAS SOUPS 6812 WITH SCORE 6828.012
AT ITER 168 NEW BEST:: SOT 21192 SOS 15959 HAS SOPS 15959 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6816.959
AT ITER 169 NEW BEST:: SOT 21192 SOS 15959 HAS SOPS 15959 HAS SOUS 6797 HAS SOUPS 6797 WITH SCORE 6812.959
AT ITER 172 NEW BEST:: SOT 21179 SOS 15933 HAS SOPS 15933 HAS SOUS 6746 HAS SOUPS 6746 WITH SCORE 6761.933
AT ITER 188 NEW BEST:: SOT 21183 SOS 15937 HAS SOPS 15937 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6674.937
AT ITER 203 NEW BEST:: SOT 21194 SOS 16000 HAS SOPS 16000 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6673.0
AT ITER 204 NEW BEST:: SOT 21193 SOS 15971 HAS SOPS 15971 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6662.971
AT ITER 205 NEW BEST:: SOT 21179 SOS 16029 HAS SOPS 16029 HAS SOUS 6633 HAS SOUPS 6633 WITH SCORE 6649.029
AT ITER 214 NEW BEST:: SOT 21179 SOS 16029 HAS SOPS 16029 HAS SOUS 6623 HAS SOUPS 6623 WITH SCORE 6639.029
AT ITER 216 NEW BEST:: SOT 21159 SOS 15995 HAS SOPS 15995 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6556.995
AT ITER 217 NEW BEST:: SOT 21166 SOS 16002 HAS SOPS 16002 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6551.002
AT ITER 220 NEW BEST:: SOT 21070 SOS 15906 HAS SOPS 15906 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6414.906
AT ITER 237 NEW BEST:: SOT 21030 SOS 15389 HAS SOPS 15389 HAS SOUS 6334 HAS SOUPS 6334 WITH SCORE 6349.389
AT ITER 239 NEW BEST:: SOT 21016 SOS 15411 HAS SOPS 15411 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6320.411
AT ITER 244 NEW BEST:: SOT 20980 SOS 15375 HAS SOPS 15375 HAS SOUS 6185 HAS SOUPS 6185 WITH SCORE 6200.375
AT ITER 245 NEW BEST:: SOT 21022 SOS 15422 HAS SOPS 15422 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6184.422
AT ITER 250 NEW BEST:: SOT 21016 SOS 15416 HAS SOPS 15416 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6174.416
AT ITER 254 NEW BEST:: SOT 20989 SOS 15389 HAS SOPS 15389 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6051.389
AT ITER 262 NEW BEST:: SOT 20977 SOS 15389 HAS SOPS 15389 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6027.389
AT ITER 269 NEW BEST:: SOT 20954 SOS 15242 HAS SOPS 15242 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5973.242
AT ITER 284 NEW BEST:: SOT 20938 SOS 15226 HAS SOPS 15226 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5937.226
AT ITER 285 NEW BEST:: SOT 20942 SOS 15230 HAS SOPS 15230 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5933.23
AT ITER 288 NEW BEST:: SOT 20941 SOS 15200 HAS SOPS 15200 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5932.2
AT ITER 293 NEW BEST:: SOT 20941 SOS 15170 HAS SOPS 15170 HAS SOUS 5902 HAS SOUPS 5902 WITH SCORE 5917.17
AT ITER 312 NEW BEST:: SOT 20940 SOS 15169 HAS SOPS 15169 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5915.169
AT ITER 314 NEW BEST:: SOT 20928 SOS 15163 HAS SOPS 15163 HAS SOUS 5888 HAS SOUPS 5888 WITH SCORE 5903.163
AT ITER 315 NEW BEST:: SOT 20915 SOS 15150 HAS SOPS 15150 HAS SOUS 5859 HAS SOUPS 5859 WITH SCORE 5874.15
AT ITER 327 NEW BEST:: SOT 20911 SOS 15129 HAS SOPS 15129 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5873.129
AT ITER 340 NEW BEST:: SOT 20903 SOS 15131 HAS SOPS 15131 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5865.131
AT ITER 349 NEW BEST:: SOT 20887 SOS 15117 HAS SOPS 15117 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5851.117
AT ITER 355 NEW BEST:: SOT 20884 SOS 15095 HAS SOPS 15095 HAS SOUS 5822 HAS SOUPS 5822 WITH SCORE 5837.095
AT ITER 370 NEW BEST:: SOT 20884 SOS 12659 HAS SOPS 12659 HAS SOUS 5811 HAS SOUPS 5811 WITH SCORE 5823.659
AT ITER 380 NEW BEST:: SOT 20882 SOS 12657 HAS SOPS 12657 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5813.657
AT ITER 388 NEW BEST:: SOT 20835 SOS 12504 HAS SOPS 12504 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5777.504
AT ITER 399 NEW BEST:: SOT 20826 SOS 12493 HAS SOPS 12493 HAS SOUS 5760 HAS SOUPS 5760 WITH SCORE 5772.493
AT ITER 404 NEW BEST:: SOT 20787 SOS 12374 HAS SOPS 12374 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5762.374
AT ITER 410 NEW BEST:: SOT 20750 SOS 12444 HAS SOPS 12444 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5728.444
AT ITER 411 NEW BEST:: SOT 20748 SOS 12428 HAS SOPS 12428 HAS SOUS 5712 HAS SOUPS 5712 WITH SCORE 5724.428
AT ITER 441 NEW BEST:: SOT 20762 SOS 12442 HAS SOPS 12442 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5697.442
AT ITER 446 NEW BEST:: SOT 20760 SOS 12440 HAS SOPS 12440 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5672.44
AT ITER 476 NEW BEST:: SOT 20753 SOS 12440 HAS SOPS 12440 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5658.44
AT ITER 479 NEW BEST:: SOT 20710 SOS 12397 HAS SOPS 12397 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5620.397
AT ITER 481 NEW BEST:: SOT 20707 SOS 12419 HAS SOPS 12419 HAS SOUS 5598 HAS SOUPS 5598 WITH SCORE 5610.419
AT ITER 486 NEW BEST:: SOT 20689 SOS 12393 HAS SOPS 12393 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5602.393
AT ITER 496 NEW BEST:: SOT 20688 SOS 12391 HAS SOPS 12391 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5600.391
AT ITER 505 NEW BEST:: SOT 20688 SOS 12119 HAS SOPS 12119 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5600.119
AT ITER 514 NEW BEST:: SOT 20688 SOS 12102 HAS SOPS 12102 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5600.102
AT ITER 515 NEW BEST:: SOT 20696 SOS 11542 HAS SOPS 11542 HAS SOUS 5586 HAS SOUPS 5586 WITH SCORE 5597.542
AT ITER 520 NEW BEST:: SOT 20696 SOS 11534 HAS SOPS 11534 HAS SOUS 5586 HAS SOUPS 5586 WITH SCORE 5597.534
AT ITER 523 NEW BEST:: SOT 20690 SOS 11462 HAS SOPS 11462 HAS SOUS 5573 HAS SOUPS 5573 WITH SCORE 5584.462
AT ITER 524 NEW BEST:: SOT 20669 SOS 11584 HAS SOPS 11584 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5583.584
AT ITER 549 NEW BEST:: SOT 20666 SOS 11580 HAS SOPS 11580 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5578.58
AT ITER 554 NEW BEST:: SOT 20654 SOS 11604 HAS SOPS 11604 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5566.604
AT ITER 559 NEW BEST:: SOT 20658 SOS 11608 HAS SOPS 11608 HAS SOUS 5551 HAS SOUPS 5551 WITH SCORE 5562.608
AT ITER 563 NEW BEST:: SOT 20682 SOS 11606 HAS SOPS 11606 HAS SOUS 5549 HAS SOUPS 5549 WITH SCORE 5560.606
AT ITER 573 NEW BEST:: SOT 20680 SOS 11604 HAS SOPS 11604 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5548.604
AT ITER 574 NEW BEST:: SOT 20682 SOS 11674 HAS SOPS 11674 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5542.674
AT ITER 577 NEW BEST:: SOT 20678 SOS 11663 HAS SOPS 11663 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5542.663
AT ITER 580 NEW BEST:: SOT 20678 SOS 11663 HAS SOPS 11663 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5538.663
AT ITER 587 NEW BEST:: SOT 20686 SOS 11726 HAS SOPS 11726 HAS SOUS 5514 HAS SOUPS 5514 WITH SCORE 5525.726
AT ITER 614 NEW BEST:: SOT 20677 SOS 10599 HAS SOPS 10599 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5486.599
AT ITER 623 NEW BEST:: SOT 20677 SOS 10577 HAS SOPS 10577 HAS SOUS 5465 HAS SOUPS 5465 WITH SCORE 5475.577
AT ITER 647 NEW BEST:: SOT 20681 SOS 10581 HAS SOPS 10581 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5453.581
AT ITER 656 NEW BEST:: SOT 20675 SOS 10575 HAS SOPS 10575 HAS SOUS 5437 HAS SOUPS 5437 WITH SCORE 5447.575
AT ITER 660 NEW BEST:: SOT 20671 SOS 10592 HAS SOPS 10592 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5443.592
AT ITER 676 NEW BEST:: SOT 20671 SOS 10552 HAS SOPS 10552 HAS SOUS 5423 HAS SOUPS 5423 WITH SCORE 5433.552
AT ITER 679 NEW BEST:: SOT 20672 SOS 10560 HAS SOPS 10560 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5428.56
AT ITER 687 NEW BEST:: SOT 20653 SOS 10543 HAS SOPS 10543 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5414.543
AT ITER 690 NEW BEST:: SOT 20654 SOS 10494 HAS SOPS 10494 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5398.494
AT ITER 693 NEW BEST:: SOT 20612 SOS 10584 HAS SOPS 10584 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5380.584
AT ITER 737 NEW BEST:: SOT 20593 SOS 10809 HAS SOPS 10809 HAS SOUS 5342 HAS SOUPS 5342 WITH SCORE 5352.809
AT ITER 753 NEW BEST:: SOT 20643 SOS 10845 HAS SOPS 10845 HAS SOUS 5295 HAS SOUPS 5295 WITH SCORE 5305.845
AT ITER 780 NEW BEST:: SOT 20643 SOS 10915 HAS SOPS 10915 HAS SOUS 5285 HAS SOUPS 5285 WITH SCORE 5295.915
AT ITER 809 NEW BEST:: SOT 20640 SOS 10921 HAS SOPS 10921 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5277.921
AT ITER 810 NEW BEST:: SOT 20603 SOS 10803 HAS SOPS 10803 HAS SOUS 5230 HAS SOUPS 5230 WITH SCORE 5240.803
AT ITER 827 NEW BEST:: SOT 20579 SOS 10753 HAS SOPS 10753 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5203.753
AT ITER 836 NEW BEST:: SOT 20579 SOS 10753 HAS SOPS 10753 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5198.753
AT ITER 837 NEW BEST:: SOT 20576 SOS 10750 HAS SOPS 10750 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5195.75
AT ITER 840 NEW BEST:: SOT 20564 SOS 10738 HAS SOPS 10738 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5169.738
AT ITER 873 NEW BEST:: SOT 20564 SOS 10735 HAS SOPS 10735 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5166.735
AT ITER 886 NEW BEST:: SOT 20577 SOS 11084 HAS SOPS 11084 HAS SOUS 5105 HAS SOUPS 5105 WITH SCORE 5116.084
AT ITER 914 NEW BEST:: SOT 20534 SOS 11041 HAS SOPS 11041 HAS SOUS 5102 HAS SOUPS 5102 WITH SCORE 5113.041
AT ITER 916 NEW BEST:: SOT 20534 SOS 11032 HAS SOPS 11032 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5093.032
AT ITER 926 NEW BEST:: SOT 20515 SOS 11132 HAS SOPS 11132 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5075.132
AT ITER 928 NEW BEST:: SOT 20506 SOS 11123 HAS SOPS 11123 HAS SOUS 5029 HAS SOUPS 5029 WITH SCORE 5040.123
AT ITER 930 NEW BEST:: SOT 20500 SOS 11113 HAS SOPS 11113 HAS SOUS 5021 HAS SOUPS 5021 WITH SCORE 5032.113
AT ITER 969 NEW BEST:: SOT 20461 SOS 11074 HAS SOPS 11074 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4950.074
AT ITER 979 NEW BEST:: SOT 20458 SOS 11071 HAS SOPS 11071 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4940.071
AT ITER 991 NEW BEST:: SOT 20457 SOS 11068 HAS SOPS 11068 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4940.068
AT ITER 1027 NEW BEST:: SOT 20478 SOS 11089 HAS SOPS 11089 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4927.089
AT ITER 1039 NEW BEST:: SOT 20468 SOS 11076 HAS SOPS 11076 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4900.076
AT ITER 1055 NEW BEST:: SOT 20425 SOS 12889 HAS SOPS 12889 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4895.889
AT ITER 1068 NEW BEST:: SOT 20418 SOS 12931 HAS SOPS 12931 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4888.931
AT ITER 1069 NEW BEST:: SOT 20391 SOS 12904 HAS SOPS 12904 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4888.904
AT ITER 1070 NEW BEST:: SOT 20400 SOS 12932 HAS SOPS 12932 HAS SOUS 4870 HAS SOUPS 4870 WITH SCORE 4882.932
AT ITER 1085 NEW BEST:: SOT 20409 SOS 12968 HAS SOPS 12968 HAS SOUS 4855 HAS SOUPS 4855 WITH SCORE 4867.968
AT ITER 1088 NEW BEST:: SOT 20435 SOS 12994 HAS SOPS 12994 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4866.994
AT ITER 1099 NEW BEST:: SOT 20430 SOS 12984 HAS SOPS 12984 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4856.984
AT ITER 1103 NEW BEST:: SOT 20428 SOS 12980 HAS SOPS 12980 HAS SOUS 4840 HAS SOUPS 4840 WITH SCORE 4852.98
AT ITER 1114 NEW BEST:: SOT 20439 SOS 13021 HAS SOPS 13021 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4845.021
AT ITER 1119 NEW BEST:: SOT 20448 SOS 13030 HAS SOPS 13030 HAS SOUS 4808 HAS SOUPS 4808 WITH SCORE 4821.03
AT ITER 1124 NEW BEST:: SOT 20433 SOS 12875 HAS SOPS 12875 HAS SOUS 4805 HAS SOUPS 4805 WITH SCORE 4817.875
AT ITER 1126 NEW BEST:: SOT 20433 SOS 12873 HAS SOPS 12873 HAS SOUS 4805 HAS SOUPS 4805 WITH SCORE 4817.873
AT ITER 1129 NEW BEST:: SOT 20419 SOS 12837 HAS SOPS 12837 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4811.837
AT ITER 1133 NEW BEST:: SOT 20409 SOS 12827 HAS SOPS 12827 HAS SOUS 4773 HAS SOUPS 4773 WITH SCORE 4785.827
AT ITER 1143 NEW BEST:: SOT 20383 SOS 12467 HAS SOPS 12467 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4778.467
AT ITER 1146 NEW BEST:: SOT 20390 SOS 12483 HAS SOPS 12483 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4758.483
AT ITER 1175 NEW BEST:: SOT 20387 SOS 12477 HAS SOPS 12477 HAS SOUS 4743 HAS SOUPS 4743 WITH SCORE 4755.477
AT ITER 1182 NEW BEST:: SOT 20386 SOS 12476 HAS SOPS 12476 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4754.476
AT ITER 1194 NEW BEST:: SOT 20368 SOS 12458 HAS SOPS 12458 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4737.458
AT ITER 1234 NEW BEST:: SOT 20368 SOS 11702 HAS SOPS 11702 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4736.702
AT ITER 1247 NEW BEST:: SOT 20368 SOS 11694 HAS SOPS 11694 HAS SOUS 4721 HAS SOUPS 4721 WITH SCORE 4732.694
AT ITER 1259 NEW BEST:: SOT 20385 SOS 11711 HAS SOPS 11711 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4728.711
AT ITER 1262 NEW BEST:: SOT 20383 SOS 11708 HAS SOPS 11708 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4725.708
AT ITER 1269 NEW BEST:: SOT 20382 SOS 11715 HAS SOPS 11715 HAS SOUS 4711 HAS SOUPS 4711 WITH SCORE 4722.715
AT ITER 1272 NEW BEST:: SOT 20380 SOS 11706 HAS SOPS 11706 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4713.706
AT ITER 1280 NEW BEST:: SOT 20370 SOS 11666 HAS SOPS 11666 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4703.666
AT ITER 1301 NEW BEST:: SOT 20347 SOS 11643 HAS SOPS 11643 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4685.643
AT ITER 1312 NEW BEST:: SOT 20335 SOS 11631 HAS SOPS 11631 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4661.631
AT ITER 1313 NEW BEST:: SOT 20309 SOS 11622 HAS SOPS 11622 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4634.622
AT ITER 1325 NEW BEST:: SOT 20303 SOS 10971 HAS SOPS 10971 HAS SOUS 4615 HAS SOUPS 4615 WITH SCORE 4625.971
AT ITER 1337 NEW BEST:: SOT 20279 SOS 10944 HAS SOPS 10944 HAS SOUS 4600 HAS SOUPS 4600 WITH SCORE 4610.944
AT ITER 1354 NEW BEST:: SOT 20280 SOS 10925 HAS SOPS 10925 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4601.925
AT ITER 1360 NEW BEST:: SOT 20280 SOS 10925 HAS SOPS 10925 HAS SOUS 4587 HAS SOUPS 4587 WITH SCORE 4597.925
AT ITER 1375 NEW BEST:: SOT 20276 SOS 10905 HAS SOPS 10905 HAS SOUS 4583 HAS SOUPS 4583 WITH SCORE 4593.905
AT ITER 1408 NEW BEST:: SOT 20283 SOS 10860 HAS SOPS 10860 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4592.86
AT ITER 1436 NEW BEST:: SOT 20251 SOS 11040 HAS SOPS 11040 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4579.04
AT ITER 1467 NEW BEST:: SOT 20251 SOS 11028 HAS SOPS 11028 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4573.028
AT ITER 1468 NEW BEST:: SOT 20251 SOS 11112 HAS SOPS 11112 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4571.112
AT ITER 1489 NEW BEST:: SOT 20207 SOS 11055 HAS SOPS 11055 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4541.055
AT ITER 1503 NEW BEST:: SOT 20197 SOS 11255 HAS SOPS 11255 HAS SOUS 4509 HAS SOUPS 4509 WITH SCORE 4520.255
AT ITER 1524 NEW BEST:: SOT 20225 SOS 11082 HAS SOPS 11082 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4507.082
AT ITER 1529 NEW BEST:: SOT 20227 SOS 11179 HAS SOPS 11179 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4497.179
AT ITER 1546 NEW BEST:: SOT 20228 SOS 11182 HAS SOPS 11182 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4495.182
AT ITER 1550 NEW BEST:: SOT 20233 SOS 11117 HAS SOPS 11117 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4495.117
AT ITER 1556 NEW BEST:: SOT 20232 SOS 11119 HAS SOPS 11119 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4493.119
AT ITER 1583 NEW BEST:: SOT 20244 SOS 11102 HAS SOPS 11102 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4493.102
AT ITER 1599 NEW BEST:: SOT 20234 SOS 11124 HAS SOPS 11124 HAS SOUS 4455 HAS SOUPS 4455 WITH SCORE 4466.124
AT ITER 1626 NEW BEST:: SOT 20200 SOS 11091 HAS SOPS 11091 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4457.091
AT ITER 1632 NEW BEST:: SOT 20187 SOS 11078 HAS SOPS 11078 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4429.078
AT ITER 1654 NEW BEST:: SOT 20185 SOS 11027 HAS SOPS 11027 HAS SOUS 4395 HAS SOUPS 4395 WITH SCORE 4406.027
AT ITER 1657 NEW BEST:: SOT 20180 SOS 11022 HAS SOPS 11022 HAS SOUS 4381 HAS SOUPS 4381 WITH SCORE 4392.022
AT ITER 1660 NEW BEST:: SOT 20118 SOS 10936 HAS SOPS 10936 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4273.936
AT ITER 1665 NEW BEST:: SOT 20116 SOS 10934 HAS SOPS 10934 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4269.934
AT ITER 1670 NEW BEST:: SOT 20112 SOS 10932 HAS SOPS 10932 HAS SOUS 4255 HAS SOUPS 4255 WITH SCORE 4265.932
AT ITER 1677 NEW BEST:: SOT 20105 SOS 10925 HAS SOPS 10925 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4251.925
AT ITER 1690 NEW BEST:: SOT 20092 SOS 11013 HAS SOPS 11013 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4242.013
AT ITER 1699 NEW BEST:: SOT 20091 SOS 11012 HAS SOPS 11012 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4240.012
AT ITER 1711 NEW BEST:: SOT 20088 SOS 11009 HAS SOPS 11009 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4233.009
AT ITER 1712 NEW BEST:: SOT 20082 SOS 11000 HAS SOPS 11000 HAS SOUS 4211 HAS SOUPS 4211 WITH SCORE 4222.0
AT ITER 1729 NEW BEST:: SOT 20055 SOS 11251 HAS SOPS 11251 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4221.251
AT ITER 1730 NEW BEST:: SOT 20055 SOS 11251 HAS SOPS 11251 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4220.251
AT ITER 1737 NEW BEST:: SOT 20051 SOS 11247 HAS SOPS 11247 HAS SOUS 4197 HAS SOUPS 4197 WITH SCORE 4208.247
AT ITER 1762 NEW BEST:: SOT 20047 SOS 11243 HAS SOPS 11243 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4200.243
AT ITER 1772 NEW BEST:: SOT 20046 SOS 11242 HAS SOPS 11242 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4199.242
AT ITER 1852 NEW BEST:: SOT 20039 SOS 11207 HAS SOPS 11207 HAS SOUS 4174 HAS SOUPS 4174 WITH SCORE 4185.207
AT ITER 1865 NEW BEST:: SOT 20038 SOS 11206 HAS SOPS 11206 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4159.206
AT ITER 1915 NEW BEST:: SOT 20038 SOS 11246 HAS SOPS 11246 HAS SOUS 4138 HAS SOUPS 4138 WITH SCORE 4149.246
AT ITER 1917 NEW BEST:: SOT 20016 SOS 11226 HAS SOPS 11226 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4142.226
AT ITER 1965 NEW BEST:: SOT 20010 SOS 11215 HAS SOPS 11215 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4133.215
AT ITER 1974 NEW BEST:: SOT 20001 SOS 11206 HAS SOPS 11206 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4133.206
AT ITER 1986 NEW BEST:: SOT 19998 SOS 11203 HAS SOPS 11203 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4123.203
AT ITER 2025 NEW BEST:: SOT 19992 SOS 11109 HAS SOPS 11109 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4095.109
AT ITER 2063 NEW BEST:: SOT 19987 SOS 11072 HAS SOPS 11072 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4093.072
AT ITER 2085 NEW BEST:: SOT 20011 SOS 11170 HAS SOPS 11170 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4092.17
AT ITER 2105 NEW BEST:: SOT 19996 SOS 11123 HAS SOPS 11123 HAS SOUS 4043 HAS SOUPS 4043 WITH SCORE 4054.123
AT ITER 2142 NEW BEST:: SOT 19996 SOS 11122 HAS SOPS 11122 HAS SOUS 4041 HAS SOUPS 4041 WITH SCORE 4052.122
AT ITER 2158 NEW BEST:: SOT 19984 SOS 11110 HAS SOPS 11110 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4025.11
AT ITER 2165 NEW BEST:: SOT 19984 SOS 11108 HAS SOPS 11108 HAS SOUS 4013 HAS SOUPS 4013 WITH SCORE 4024.108
AT ITER 2205 NEW BEST:: SOT 19984 SOS 11108 HAS SOPS 11108 HAS SOUS 4012 HAS SOUPS 4012 WITH SCORE 4023.108
AT ITER 2219 NEW BEST:: SOT 19987 SOS 11111 HAS SOPS 11111 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 4005.111
AT ITER 2232 NEW BEST:: SOT 19987 SOS 11199 HAS SOPS 11199 HAS SOUS 3972 HAS SOUPS 3972 WITH SCORE 3983.199
AT ITER 2238 NEW BEST:: SOT 19986 SOS 11198 HAS SOPS 11198 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3980.198
AT ITER 2310 NEW BEST:: SOT 19980 SOS 11192 HAS SOPS 11192 HAS SOUS 3963 HAS SOUPS 3963 WITH SCORE 3974.192
AT ITER 2330 NEW BEST:: SOT 19980 SOS 11208 HAS SOPS 11208 HAS SOUS 3961 HAS SOUPS 3961 WITH SCORE 3972.208
AT ITER 2363 NEW BEST:: SOT 19976 SOS 11204 HAS SOPS 11204 HAS SOUS 3950 HAS SOUPS 3950 WITH SCORE 3961.204
AT ITER 2376 NEW BEST:: SOT 19975 SOS 11204 HAS SOPS 11204 HAS SOUS 3949 HAS SOUPS 3949 WITH SCORE 3960.204
AT ITER 2378 NEW BEST:: SOT 19976 SOS 11196 HAS SOPS 11196 HAS SOUS 3949 HAS SOUPS 3949 WITH SCORE 3960.196
AT ITER 2390 NEW BEST:: SOT 19981 SOS 11201 HAS SOPS 11201 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3955.201
AT ITER 2391 NEW BEST:: SOT 19976 SOS 11196 HAS SOPS 11196 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3953.196
AT ITER 2402 NEW BEST:: SOT 19977 SOS 11190 HAS SOPS 11190 HAS SOUS 3940 HAS SOUPS 3940 WITH SCORE 3951.19
AT ITER 2404 NEW BEST:: SOT 19977 SOS 11178 HAS SOPS 11178 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3947.178
AT ITER 2439 NEW BEST:: SOT 19972 SOS 11173 HAS SOPS 11173 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3937.173
AT ITER 2445 NEW BEST:: SOT 19970 SOS 11171 HAS SOPS 11171 HAS SOUS 3922 HAS SOUPS 3922 WITH SCORE 3933.171
AT ITER 2496 NEW BEST:: SOT 19976 SOS 11177 HAS SOPS 11177 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3931.177
AT ITER 2576 NEW BEST:: SOT 19976 SOS 11177 HAS SOPS 11177 HAS SOUS 3910 HAS SOUPS 3910 WITH SCORE 3921.177
AT ITER 2618 NEW BEST:: SOT 19954 SOS 11175 HAS SOPS 11175 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3910.175
AT ITER 2642 NEW BEST:: SOT 19954 SOS 11175 HAS SOPS 11175 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3908.175
AT ITER 2730 NEW BEST:: SOT 19949 SOS 11172 HAS SOPS 11172 HAS SOUS 3879 HAS SOUPS 3879 WITH SCORE 3890.172
AT ITER 2742 NEW BEST:: SOT 19932 SOS 11095 HAS SOPS 11095 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3883.095
AT ITER 2797 NEW BEST:: SOT 19928 SOS 11091 HAS SOPS 11091 HAS SOUS 3868 HAS SOUPS 3868 WITH SCORE 3879.091
AT ITER 2830 NEW BEST:: SOT 19928 SOS 11085 HAS SOPS 11085 HAS SOUS 3868 HAS SOUPS 3868 WITH SCORE 3879.085
AT ITER 2873 NEW BEST:: SOT 19921 SOS 11078 HAS SOPS 11078 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3872.078
AT ITER 2907 NEW BEST:: SOT 19924 SOS 11121 HAS SOPS 11121 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3869.121
AT ITER 2909 NEW BEST:: SOT 19924 SOS 11121 HAS SOPS 11121 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3864.121
AT ITER 2911 NEW BEST:: SOT 19931 SOS 11256 HAS SOPS 11256 HAS SOUS 3841 HAS SOUPS 3841 WITH SCORE 3852.256
AT ITER 2922 NEW BEST:: SOT 19931 SOS 11288 HAS SOPS 11288 HAS SOUS 3833 HAS SOUPS 3833 WITH SCORE 3844.288
AT ITER 2968 NEW BEST:: SOT 19929 SOS 11294 HAS SOPS 11294 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3840.294
AT ITER 2995 NEW BEST:: SOT 19928 SOS 11293 HAS SOPS 11293 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3838.293
AT ITER 3024 NEW BEST:: SOT 19928 SOS 11158 HAS SOPS 11158 HAS SOUS 3819 HAS SOUPS 3819 WITH SCORE 3830.158
AT ITER 3057 NEW BEST:: SOT 19925 SOS 11155 HAS SOPS 11155 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3823.155
AT ITER 3059 NEW BEST:: SOT 19924 SOS 11153 HAS SOPS 11153 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3823.153
AT ITER 3072 NEW BEST:: SOT 19920 SOS 11181 HAS SOPS 11181 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3822.181
AT ITER 3116 NEW BEST:: SOT 19918 SOS 11179 HAS SOPS 11179 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3818.179
AT ITER 3133 NEW BEST:: SOT 19910 SOS 11171 HAS SOPS 11171 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3813.171
AT ITER 3140 NEW BEST:: SOT 19909 SOS 11179 HAS SOPS 11179 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3811.179
AT ITER 3223 NEW BEST:: SOT 19912 SOS 11191 HAS SOPS 11191 HAS SOUS 3797 HAS SOUPS 3797 WITH SCORE 3808.191
AT ITER 3224 NEW BEST:: SOT 19898 SOS 11101 HAS SOPS 11101 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3791.101
AT ITER 3328 NEW BEST:: SOT 19897 SOS 11100 HAS SOPS 11100 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3789.1
AT ITER 3373 NEW BEST:: SOT 19901 SOS 11103 HAS SOPS 11103 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3787.103
AT ITER 3432 NEW BEST:: SOT 19891 SOS 11091 HAS SOPS 11091 HAS SOUS 3775 HAS SOUPS 3775 WITH SCORE 3786.091
AT ITER 3474 NEW BEST:: SOT 19885 SOS 11088 HAS SOPS 11088 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3783.088
AT ITER 3491 NEW BEST:: SOT 19881 SOS 11084 HAS SOPS 11084 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3775.084
AT ITER 3492 NEW BEST:: SOT 19879 SOS 11082 HAS SOPS 11082 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3768.082
AT ITER 3495 NEW BEST:: SOT 19874 SOS 11085 HAS SOPS 11085 HAS SOUS 3753 HAS SOUPS 3753 WITH SCORE 3764.085
AT ITER 3534 NEW BEST:: SOT 19872 SOS 11083 HAS SOPS 11083 HAS SOUS 3749 HAS SOUPS 3749 WITH SCORE 3760.083
AT ITER 3564 NEW BEST:: SOT 19872 SOS 11083 HAS SOPS 11083 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3754.083
AT ITER 3572 NEW BEST:: SOT 19872 SOS 11083 HAS SOPS 11083 HAS SOUS 3742 HAS SOUPS 3742 WITH SCORE 3753.083
AT ITER 3647 NEW BEST:: SOT 19871 SOS 11081 HAS SOPS 11081 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3752.081
AT ITER 3674 NEW BEST:: SOT 19871 SOS 11081 HAS SOPS 11081 HAS SOUS 3734 HAS SOUPS 3734 WITH SCORE 3745.081
AT ITER 3675 NEW BEST:: SOT 19869 SOS 11073 HAS SOPS 11073 HAS SOUS 3732 HAS SOUPS 3732 WITH SCORE 3743.073
AT ITER 3676 NEW BEST:: SOT 19867 SOS 11046 HAS SOPS 11046 HAS SOUS 3731 HAS SOUPS 3731 WITH SCORE 3742.046
AT ITER 3739 NEW BEST:: SOT 19863 SOS 11042 HAS SOPS 11042 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3730.042
AT ITER 3787 NEW BEST:: SOT 19861 SOS 11037 HAS SOPS 11037 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3729.037
AT ITER 3789 NEW BEST:: SOT 19882 SOS 11056 HAS SOPS 11056 HAS SOUS 3710 HAS SOUPS 3710 WITH SCORE 3721.056
AT ITER 3819 NEW BEST:: SOT 19874 SOS 11066 HAS SOPS 11066 HAS SOUS 3699 HAS SOUPS 3699 WITH SCORE 3710.066
AT ITER 3822 NEW BEST:: SOT 19882 SOS 11073 HAS SOPS 11073 HAS SOUS 3698 HAS SOUPS 3698 WITH SCORE 3709.073
AT ITER 3831 NEW BEST:: SOT 19877 SOS 11083 HAS SOPS 11083 HAS SOUS 3689 HAS SOUPS 3689 WITH SCORE 3700.083
AT ITER 3861 NEW BEST:: SOT 19875 SOS 11081 HAS SOPS 11081 HAS SOUS 3686 HAS SOUPS 3686 WITH SCORE 3697.081
AT ITER 3881 NEW BEST:: SOT 19877 SOS 11117 HAS SOPS 11117 HAS SOUS 3683 HAS SOUPS 3683 WITH SCORE 3694.117
AT ITER 3921 NEW BEST:: SOT 19877 SOS 11117 HAS SOPS 11117 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3688.117
AT ITER 3932 NEW BEST:: SOT 19877 SOS 11069 HAS SOPS 11069 HAS SOUS 3665 HAS SOUPS 3665 WITH SCORE 3676.069
AT ITER 3943 NEW BEST:: SOT 19870 SOS 11057 HAS SOPS 11057 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3665.057
AT ITER 3984 NEW BEST:: SOT 19868 SOS 11055 HAS SOPS 11055 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3662.055
AT ITER 4011 NEW BEST:: SOT 19866 SOS 11054 HAS SOPS 11054 HAS SOUS 3650 HAS SOUPS 3650 WITH SCORE 3661.054
AT ITER 4065 NEW BEST:: SOT 19898 SOS 11030 HAS SOPS 11030 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3655.03
AT ITER 4092 NEW BEST:: SOT 19896 SOS 11028 HAS SOPS 11028 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3649.028
AT ITER 4117 NEW BEST:: SOT 19892 SOS 11052 HAS SOPS 11052 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3646.052
AT ITER 4120 NEW BEST:: SOT 19906 SOS 11066 HAS SOPS 11066 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3645.066
AT ITER 4165 NEW BEST:: SOT 19905 SOS 11065 HAS SOPS 11065 HAS SOUS 3631 HAS SOUPS 3631 WITH SCORE 3642.065
AT ITER 4202 NEW BEST:: SOT 19899 SOS 11058 HAS SOPS 11058 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3639.058
AT ITER 4223 NEW BEST:: SOT 19905 SOS 11046 HAS SOPS 11046 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3633.046
AT ITER 4226 NEW BEST:: SOT 19895 SOS 10944 HAS SOPS 10944 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3628.944
AT ITER 4266 NEW BEST:: SOT 19891 SOS 10922 HAS SOPS 10922 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3626.922
AT ITER 4278 NEW BEST:: SOT 19889 SOS 10918 HAS SOPS 10918 HAS SOUS 3612 HAS SOUPS 3612 WITH SCORE 3622.918
AT ITER 4318 NEW BEST:: SOT 19874 SOS 10890 HAS SOPS 10890 HAS SOUS 3608 HAS SOUPS 3608 WITH SCORE 3618.89
AT ITER 4322 NEW BEST:: SOT 19858 SOS 10969 HAS SOPS 10969 HAS SOUS 3593 HAS SOUPS 3593 WITH SCORE 3603.969
AT ITER 4340 NEW BEST:: SOT 19854 SOS 10977 HAS SOPS 10977 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3595.977
AT ITER 4361 NEW BEST:: SOT 19852 SOS 10971 HAS SOPS 10971 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3595.971
AT ITER 4576 NEW BEST:: SOT 19853 SOS 10972 HAS SOPS 10972 HAS SOUS 3581 HAS SOUPS 3581 WITH SCORE 3591.972
AT ITER 4610 NEW BEST:: SOT 19840 SOS 10855 HAS SOPS 10855 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3581.855
AT ITER 4749 NEW BEST:: SOT 19838 SOS 10853 HAS SOPS 10853 HAS SOUS 3567 HAS SOUPS 3567 WITH SCORE 3577.853
AT ITER 4847 NEW BEST:: SOT 19826 SOS 10825 HAS SOPS 10825 HAS SOUS 3559 HAS SOUPS 3559 WITH SCORE 3569.825
AT ITER 4859 NEW BEST:: SOT 19823 SOS 10822 HAS SOPS 10822 HAS SOUS 3553 HAS SOUPS 3553 WITH SCORE 3563.822
AT ITER 4876 NEW BEST:: SOT 19823 SOS 10822 HAS SOPS 10822 HAS SOUS 3547 HAS SOUPS 3547 WITH SCORE 3557.822
AT ITER 4929 NEW BEST:: SOT 19823 SOS 10810 HAS SOPS 10810 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3554.81
AT ITER 4945 NEW BEST:: SOT 19820 SOS 10807 HAS SOPS 10807 HAS SOUS 3538 HAS SOUPS 3538 WITH SCORE 3548.807
AT ITER 5028 NEW BEST:: SOT 19821 SOS 10801 HAS SOPS 10801 HAS SOUS 3536 HAS SOUPS 3536 WITH SCORE 3546.801
AT ITER 5038 NEW BEST:: SOT 19821 SOS 10741 HAS SOPS 10741 HAS SOUS 3521 HAS SOUPS 3521 WITH SCORE 3531.741
AT ITER 5065 NEW BEST:: SOT 19825 SOS 10745 HAS SOPS 10745 HAS SOUS 3511 HAS SOUPS 3511 WITH SCORE 3521.745
AT ITER 5087 NEW BEST:: SOT 19824 SOS 10744 HAS SOPS 10744 HAS SOUS 3509 HAS SOUPS 3509 WITH SCORE 3519.744
AT ITER 5100 NEW BEST:: SOT 19826 SOS 10766 HAS SOPS 10766 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3518.766
AT ITER 5125 NEW BEST:: SOT 19824 SOS 10764 HAS SOPS 10764 HAS SOUS 3505 HAS SOUPS 3505 WITH SCORE 3515.764
AT ITER 5195 NEW BEST:: SOT 19825 SOS 10796 HAS SOPS 10796 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3510.796
AT ITER 5353 NEW BEST:: SOT 19821 SOS 10786 HAS SOPS 10786 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3506.786
AT ITER 5356 NEW BEST:: SOT 19817 SOS 10785 HAS SOPS 10785 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3505.785
AT ITER 5448 NEW BEST:: SOT 19813 SOS 10781 HAS SOPS 10781 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3503.781
AT ITER 5452 NEW BEST:: SOT 19813 SOS 10796 HAS SOPS 10796 HAS SOUS 3492 HAS SOUPS 3492 WITH SCORE 3502.796
AT ITER 5467 NEW BEST:: SOT 19813 SOS 10800 HAS SOPS 10800 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3501.8
AT ITER 5525 NEW BEST:: SOT 19813 SOS 10815 HAS SOPS 10815 HAS SOUS 3488 HAS SOUPS 3488 WITH SCORE 3498.815
AT ITER 5547 NEW BEST:: SOT 19811 SOS 10813 HAS SOPS 10813 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3494.813
AT ITER 5548 NEW BEST:: SOT 19810 SOS 10812 HAS SOPS 10812 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3492.812
AT ITER 5628 NEW BEST:: SOT 19808 SOS 10802 HAS SOPS 10802 HAS SOUS 3480 HAS SOUPS 3480 WITH SCORE 3490.802
AT ITER 5648 NEW BEST:: SOT 19804 SOS 10798 HAS SOPS 10798 HAS SOUS 3468 HAS SOUPS 3468 WITH SCORE 3478.798
AT ITER 5740 NEW BEST:: SOT 19800 SOS 10771 HAS SOPS 10771 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3471.771
AT ITER 5802 NEW BEST:: SOT 19799 SOS 10766 HAS SOPS 10766 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3469.766
AT ITER 5951 NEW BEST:: SOT 19790 SOS 10754 HAS SOPS 10754 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3469.754
AT ITER 5994 NEW BEST:: SOT 19788 SOS 10752 HAS SOPS 10752 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3467.752
AT ITER 6029 NEW BEST:: SOT 19787 SOS 10754 HAS SOPS 10754 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3465.754
AT ITER 6060 NEW BEST:: SOT 19793 SOS 10872 HAS SOPS 10872 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3449.872
AT ITER 6088 NEW BEST:: SOT 19793 SOS 10872 HAS SOPS 10872 HAS SOUS 3436 HAS SOUPS 3436 WITH SCORE 3446.872
AT ITER 6193 NEW BEST:: SOT 19798 SOS 10873 HAS SOPS 10873 HAS SOUS 3435 HAS SOUPS 3435 WITH SCORE 3445.873
AT ITER 6224 NEW BEST:: SOT 19797 SOS 10872 HAS SOPS 10872 HAS SOUS 3435 HAS SOUPS 3435 WITH SCORE 3445.872
AT ITER 6280 NEW BEST:: SOT 19797 SOS 10872 HAS SOPS 10872 HAS SOUS 3433 HAS SOUPS 3433 WITH SCORE 3443.872
AT ITER 6281 NEW BEST:: SOT 19795 SOS 10870 HAS SOPS 10870 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3429.87
AT ITER 6315 NEW BEST:: SOT 19792 SOS 10867 HAS SOPS 10867 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3429.867
AT ITER 6394 NEW BEST:: SOT 19788 SOS 10863 HAS SOPS 10863 HAS SOUS 3415 HAS SOUPS 3415 WITH SCORE 3425.863
AT ITER 6416 NEW BEST:: SOT 19785 SOS 10860 HAS SOPS 10860 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3417.86
AT ITER 6469 NEW BEST:: SOT 19782 SOS 10857 HAS SOPS 10857 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3410.857
AT ITER 6512 NEW BEST:: SOT 19780 SOS 10855 HAS SOPS 10855 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3409.855
AT ITER 6532 NEW BEST:: SOT 19779 SOS 10854 HAS SOPS 10854 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3406.854
AT ITER 6575 NEW BEST:: SOT 19771 SOS 10770 HAS SOPS 10770 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3405.77
AT ITER 6634 NEW BEST:: SOT 19772 SOS 10804 HAS SOPS 10804 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3403.804
AT ITER 6645 NEW BEST:: SOT 19766 SOS 10758 HAS SOPS 10758 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3396.758
AT ITER 6664 NEW BEST:: SOT 19768 SOS 10780 HAS SOPS 10780 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3395.78
AT ITER 7011 NEW BEST:: SOT 19768 SOS 10777 HAS SOPS 10777 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3393.777
AT ITER 7082 NEW BEST:: SOT 19750 SOS 10762 HAS SOPS 10762 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3393.762
AT ITER 7281 NEW BEST:: SOT 19750 SOS 10758 HAS SOPS 10758 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3389.758
AT ITER 7318 NEW BEST:: SOT 19750 SOS 10722 HAS SOPS 10722 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3389.722
AT ITER 7434 NEW BEST:: SOT 19750 SOS 10719 HAS SOPS 10719 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3386.719
AT ITER 7452 NEW BEST:: SOT 19750 SOS 10731 HAS SOPS 10731 HAS SOUS 3373 HAS SOUPS 3373 WITH SCORE 3383.731
AT ITER 7570 NEW BEST:: SOT 19753 SOS 10734 HAS SOPS 10734 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3380.734
AT ITER 7608 NEW BEST:: SOT 19753 SOS 10742 HAS SOPS 10742 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3378.742
AT ITER 7673 NEW BEST:: SOT 19751 SOS 10732 HAS SOPS 10732 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3375.732
AT ITER 7758 NEW BEST:: SOT 19744 SOS 10665 HAS SOPS 10665 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3371.665
AT ITER 7959 NEW BEST:: SOT 19738 SOS 10659 HAS SOPS 10659 HAS SOUS 3344 HAS SOUPS 3344 WITH SCORE 3354.659
AT ITER 7973 NEW BEST:: SOT 19735 SOS 10656 HAS SOPS 10656 HAS SOUS 3342 HAS SOUPS 3342 WITH SCORE 3352.656
AT ITER 7993 NEW BEST:: SOT 19733 SOS 10634 HAS SOPS 10634 HAS SOUS 3342 HAS SOUPS 3342 WITH SCORE 3352.634
AT ITER 8016 NEW BEST:: SOT 19719 SOS 10660 HAS SOPS 10660 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3350.66
AT ITER 8040 NEW BEST:: SOT 19720 SOS 10660 HAS SOPS 10660 HAS SOUS 3337 HAS SOUPS 3337 WITH SCORE 3347.66
AT ITER 8072 NEW BEST:: SOT 19720 SOS 10654 HAS SOPS 10654 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3337.654
AT ITER 8121 NEW BEST:: SOT 19718 SOS 10652 HAS SOPS 10652 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3331.652
AT ITER 8193 NEW BEST:: SOT 19716 SOS 10650 HAS SOPS 10650 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3331.65
AT ITER 8351 NEW BEST:: SOT 19714 SOS 10658 HAS SOPS 10658 HAS SOUS 3320 HAS SOUPS 3320 WITH SCORE 3330.658
AT ITER 8804 NEW BEST:: SOT 19711 SOS 10655 HAS SOPS 10655 HAS SOUS 3320 HAS SOUPS 3320 WITH SCORE 3330.655
AT ITER 8872 NEW BEST:: SOT 19710 SOS 10655 HAS SOPS 10655 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3328.655
AT ITER 8992 NEW BEST:: SOT 19711 SOS 10656 HAS SOPS 10656 HAS SOUS 3317 HAS SOUPS 3317 WITH SCORE 3327.656
AT ITER 9011 NEW BEST:: SOT 19715 SOS 10644 HAS SOPS 10644 HAS SOUS 3317 HAS SOUPS 3317 WITH SCORE 3327.644
AT ITER 9104 NEW BEST:: SOT 19715 SOS 10644 HAS SOPS 10644 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3326.644
AT ITER 9146 NEW BEST:: SOT 19691 SOS 10638 HAS SOPS 10638 HAS SOUS 3313 HAS SOUPS 3313 WITH SCORE 3323.638
AT ITER 9262 NEW BEST:: SOT 19688 SOS 10635 HAS SOPS 10635 HAS SOUS 3313 HAS SOUPS 3313 WITH SCORE 3323.635
AT ITER 9272 NEW BEST:: SOT 19687 SOS 10634 HAS SOPS 10634 HAS SOUS 3311 HAS SOUPS 3311 WITH SCORE 3321.634
AT ITER 9487 NEW BEST:: SOT 19691 SOS 10633 HAS SOPS 10633 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3320.633
AT ITER 9511 NEW BEST:: SOT 19688 SOS 10630 HAS SOPS 10630 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3314.63
AT ITER 9525 NEW BEST:: SOT 19678 SOS 10617 HAS SOPS 10617 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3303.617
AT ITER 9612 NEW BEST:: SOT 19682 SOS 10615 HAS SOPS 10615 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3303.615
AT ITER 9753 NEW BEST:: SOT 19686 SOS 10655 HAS SOPS 10655 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3302.655
AT ITER 9787 NEW BEST:: SOT 19686 SOS 10653 HAS SOPS 10653 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3302.653
AT ITER 9814 NEW BEST:: SOT 19675 SOS 10642 HAS SOPS 10642 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3297.642
AT ITER 9928 NEW BEST:: SOT 19670 SOS 10640 HAS SOPS 10640 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3294.64
AT ITER 9951 NEW BEST:: SOT 19665 SOS 10635 HAS SOPS 10635 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3289.635
STATE_SPACE STATES 65585152 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 20 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 463665408 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679187930256

--------------------
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="UtilityControlRoom-COL-Z4T4N04"
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-Z4T4N04, 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-167912696501064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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