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.r491-tall-167912711200976.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is UtilityControlRoom-COL-Z2T3N08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711200976
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 8.1K Feb 26 14:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 14:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 14:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 14:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K 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 17K Feb 26 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 156K Feb 26 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 14:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 14:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K 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 1679307202343

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=UtilityControlRoom-COL-Z2T3N08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 10:13:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 10:13:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 10:13:24] [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-20 10:13:24] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 10:13:24] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 489 ms
[2023-03-20 10:13:24] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 140 PT places and 216.0 transition bindings in 15 ms.
[2023-03-20 10:13:24] [INFO ] Unfolded HLPN to a Petri net with 140 places and 216 transitions 680 arcs in 17 ms.
[2023-03-20 10:13:24] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 10:13:24] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 140 places, 216 transitions and 680 arcs took 5 ms.
Total runtime 626 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z2T3N08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 140 places, 216 transitions, 680 arcs.
AT ITER 0 NEW BEST:: SOT 24109 SOS 17637 HAS SOPS 17637 HAS SOUS 11248 HAS SOUPS 11248 WITH SCORE 11265.637
AT ITER 6 NEW BEST:: SOT 24068 SOS 17596 HAS SOPS 17596 HAS SOUS 11248 HAS SOUPS 11248 WITH SCORE 11265.596
AT ITER 8 NEW BEST:: SOT 24060 SOS 17543 HAS SOPS 17543 HAS SOUS 11225 HAS SOUPS 11225 WITH SCORE 11242.543
AT ITER 10 NEW BEST:: SOT 24055 SOS 17492 HAS SOPS 17492 HAS SOUS 11159 HAS SOUPS 11159 WITH SCORE 11176.492
AT ITER 11 NEW BEST:: SOT 24036 SOS 17447 HAS SOPS 17447 HAS SOUS 11114 HAS SOUPS 11114 WITH SCORE 11131.447
AT ITER 12 NEW BEST:: SOT 24003 SOS 17454 HAS SOPS 17454 HAS SOUS 11041 HAS SOUPS 11041 WITH SCORE 11058.454
AT ITER 14 NEW BEST:: SOT 24003 SOS 17416 HAS SOPS 17416 HAS SOUS 11003 HAS SOUPS 11003 WITH SCORE 11020.416
AT ITER 18 NEW BEST:: SOT 23980 SOS 17363 HAS SOPS 17363 HAS SOUS 10950 HAS SOUPS 10950 WITH SCORE 10967.363
AT ITER 19 NEW BEST:: SOT 22312 SOS 15786 HAS SOPS 15786 HAS SOUS 9971 HAS SOUPS 9971 WITH SCORE 9986.786
AT ITER 21 NEW BEST:: SOT 22307 SOS 15782 HAS SOPS 15782 HAS SOUS 9944 HAS SOUPS 9944 WITH SCORE 9959.782
AT ITER 23 NEW BEST:: SOT 22316 SOS 15783 HAS SOPS 15783 HAS SOUS 9930 HAS SOUPS 9930 WITH SCORE 9945.783
AT ITER 24 NEW BEST:: SOT 22339 SOS 15771 HAS SOPS 15771 HAS SOUS 9918 HAS SOUPS 9918 WITH SCORE 9933.771
AT ITER 29 NEW BEST:: SOT 19464 SOS 14097 HAS SOPS 14097 HAS SOUS 8067 HAS SOUPS 8067 WITH SCORE 8081.097
AT ITER 32 NEW BEST:: SOT 19425 SOS 14070 HAS SOPS 14070 HAS SOUS 8006 HAS SOUPS 8006 WITH SCORE 8020.07
AT ITER 33 NEW BEST:: SOT 19401 SOS 14048 HAS SOPS 14048 HAS SOUS 7956 HAS SOUPS 7956 WITH SCORE 7970.048
AT ITER 36 NEW BEST:: SOT 19395 SOS 14030 HAS SOPS 14030 HAS SOUS 7944 HAS SOUPS 7944 WITH SCORE 7958.03
AT ITER 40 NEW BEST:: SOT 19346 SOS 13885 HAS SOPS 13885 HAS SOUS 7928 HAS SOUPS 7928 WITH SCORE 7941.885
AT ITER 43 NEW BEST:: SOT 19332 SOS 13836 HAS SOPS 13836 HAS SOUS 7879 HAS SOUPS 7879 WITH SCORE 7892.836
AT ITER 47 NEW BEST:: SOT 19325 SOS 13822 HAS SOPS 13822 HAS SOUS 7867 HAS SOUPS 7867 WITH SCORE 7880.822
AT ITER 48 NEW BEST:: SOT 19303 SOS 13801 HAS SOPS 13801 HAS SOUS 7858 HAS SOUPS 7858 WITH SCORE 7871.801
AT ITER 49 NEW BEST:: SOT 19168 SOS 13586 HAS SOPS 13586 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7782.586
AT ITER 50 NEW BEST:: SOT 19183 SOS 13616 HAS SOPS 13616 HAS SOUS 7754 HAS SOUPS 7754 WITH SCORE 7767.616
AT ITER 54 NEW BEST:: SOT 19155 SOS 13588 HAS SOPS 13588 HAS SOUS 7754 HAS SOUPS 7754 WITH SCORE 7767.588
AT ITER 58 NEW BEST:: SOT 19120 SOS 13467 HAS SOPS 13467 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7697.467
AT ITER 64 NEW BEST:: SOT 19090 SOS 13501 HAS SOPS 13501 HAS SOUS 7643 HAS SOUPS 7643 WITH SCORE 7656.501
AT ITER 65 NEW BEST:: SOT 19049 SOS 13401 HAS SOPS 13401 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7585.401
AT ITER 67 NEW BEST:: SOT 18997 SOS 13399 HAS SOPS 13399 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7533.399
AT ITER 69 NEW BEST:: SOT 18960 SOS 13325 HAS SOPS 13325 HAS SOUS 7491 HAS SOUPS 7491 WITH SCORE 7504.325
AT ITER 70 NEW BEST:: SOT 18964 SOS 13321 HAS SOPS 13321 HAS SOUS 7491 HAS SOUPS 7491 WITH SCORE 7504.321
AT ITER 71 NEW BEST:: SOT 19027 SOS 13385 HAS SOPS 13385 HAS SOUS 7448 HAS SOUPS 7448 WITH SCORE 7461.385
AT ITER 73 NEW BEST:: SOT 19027 SOS 13378 HAS SOPS 13378 HAS SOUS 7441 HAS SOUPS 7441 WITH SCORE 7454.378
AT ITER 74 NEW BEST:: SOT 19152 SOS 13430 HAS SOPS 13430 HAS SOUS 7424 HAS SOUPS 7424 WITH SCORE 7437.43
AT ITER 76 NEW BEST:: SOT 19033 SOS 13238 HAS SOPS 13238 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7385.238
AT ITER 77 NEW BEST:: SOT 19026 SOS 13232 HAS SOPS 13232 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7351.232
AT ITER 78 NEW BEST:: SOT 19025 SOS 13231 HAS SOPS 13231 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7351.231
AT ITER 82 NEW BEST:: SOT 19020 SOS 13226 HAS SOPS 13226 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7351.226
AT ITER 93 NEW BEST:: SOT 18980 SOS 13146 HAS SOPS 13146 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7311.146
AT ITER 96 NEW BEST:: SOT 18951 SOS 13150 HAS SOPS 13150 HAS SOUS 7256 HAS SOUPS 7256 WITH SCORE 7269.15
AT ITER 105 NEW BEST:: SOT 18955 SOS 13152 HAS SOPS 13152 HAS SOUS 7250 HAS SOUPS 7250 WITH SCORE 7263.152
AT ITER 107 NEW BEST:: SOT 18962 SOS 13073 HAS SOPS 13073 HAS SOUS 7173 HAS SOUPS 7173 WITH SCORE 7186.073
AT ITER 109 NEW BEST:: SOT 18829 SOS 12922 HAS SOPS 12922 HAS SOUS 7143 HAS SOUPS 7143 WITH SCORE 7155.922
AT ITER 110 NEW BEST:: SOT 18814 SOS 12907 HAS SOPS 12907 HAS SOUS 7141 HAS SOUPS 7141 WITH SCORE 7153.907
AT ITER 112 NEW BEST:: SOT 18801 SOS 12891 HAS SOPS 12891 HAS SOUS 7108 HAS SOUPS 7108 WITH SCORE 7120.891
AT ITER 115 NEW BEST:: SOT 18788 SOS 12849 HAS SOPS 12849 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7078.849
AT ITER 119 NEW BEST:: SOT 18768 SOS 12832 HAS SOPS 12832 HAS SOUS 7003 HAS SOUPS 7003 WITH SCORE 7015.832
AT ITER 120 NEW BEST:: SOT 18768 SOS 12823 HAS SOPS 12823 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7006.823
AT ITER 126 NEW BEST:: SOT 18664 SOS 12788 HAS SOPS 12788 HAS SOUS 6890 HAS SOUPS 6890 WITH SCORE 6902.788
AT ITER 134 NEW BEST:: SOT 18637 SOS 12789 HAS SOPS 12789 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6864.789
AT ITER 135 NEW BEST:: SOT 18696 SOS 12861 HAS SOPS 12861 HAS SOUS 6842 HAS SOUPS 6842 WITH SCORE 6854.861
AT ITER 141 NEW BEST:: SOT 18695 SOS 12860 HAS SOPS 12860 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6853.86
AT ITER 143 NEW BEST:: SOT 18705 SOS 12911 HAS SOPS 12911 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6843.911
AT ITER 148 NEW BEST:: SOT 18674 SOS 12734 HAS SOPS 12734 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6733.734
AT ITER 150 NEW BEST:: SOT 18655 SOS 12701 HAS SOPS 12701 HAS SOUS 6712 HAS SOUPS 6712 WITH SCORE 6724.701
AT ITER 152 NEW BEST:: SOT 18615 SOS 12661 HAS SOPS 12661 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6713.661
AT ITER 156 NEW BEST:: SOT 18578 SOS 12575 HAS SOPS 12575 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6641.575
AT ITER 159 NEW BEST:: SOT 18578 SOS 12575 HAS SOPS 12575 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6609.575
AT ITER 163 NEW BEST:: SOT 18564 SOS 12555 HAS SOPS 12555 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6604.555
AT ITER 168 NEW BEST:: SOT 18562 SOS 12553 HAS SOPS 12553 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6601.553
AT ITER 175 NEW BEST:: SOT 18553 SOS 12544 HAS SOPS 12544 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6599.544
AT ITER 181 NEW BEST:: SOT 18518 SOS 12496 HAS SOPS 12496 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6593.496
AT ITER 182 NEW BEST:: SOT 18461 SOS 12382 HAS SOPS 12382 HAS SOUS 6503 HAS SOUPS 6503 WITH SCORE 6515.382
AT ITER 186 NEW BEST:: SOT 18461 SOS 12382 HAS SOPS 12382 HAS SOUS 6499 HAS SOUPS 6499 WITH SCORE 6511.382
AT ITER 202 NEW BEST:: SOT 18428 SOS 12356 HAS SOPS 12356 HAS SOUS 6416 HAS SOUPS 6416 WITH SCORE 6428.356
AT ITER 207 NEW BEST:: SOT 18417 SOS 12318 HAS SOPS 12318 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6406.318
AT ITER 208 NEW BEST:: SOT 18398 SOS 12299 HAS SOPS 12299 HAS SOUS 6374 HAS SOUPS 6374 WITH SCORE 6386.299
AT ITER 209 NEW BEST:: SOT 18402 SOS 12303 HAS SOPS 12303 HAS SOUS 6371 HAS SOUPS 6371 WITH SCORE 6383.303
AT ITER 221 NEW BEST:: SOT 18398 SOS 12299 HAS SOPS 12299 HAS SOUS 6367 HAS SOUPS 6367 WITH SCORE 6379.299
AT ITER 229 NEW BEST:: SOT 18386 SOS 12275 HAS SOPS 12275 HAS SOUS 6343 HAS SOUPS 6343 WITH SCORE 6355.275
AT ITER 230 NEW BEST:: SOT 18362 SOS 12251 HAS SOPS 12251 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6332.251
AT ITER 231 NEW BEST:: SOT 18367 SOS 12265 HAS SOPS 12265 HAS SOUS 6285 HAS SOUPS 6285 WITH SCORE 6297.265
AT ITER 243 NEW BEST:: SOT 18301 SOS 12199 HAS SOPS 12199 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6259.199
AT ITER 245 NEW BEST:: SOT 18286 SOS 12145 HAS SOPS 12145 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6253.145
AT ITER 246 NEW BEST:: SOT 18284 SOS 12134 HAS SOPS 12134 HAS SOUS 6212 HAS SOUPS 6212 WITH SCORE 6224.134
AT ITER 247 NEW BEST:: SOT 18282 SOS 12130 HAS SOPS 12130 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6222.13
AT ITER 250 NEW BEST:: SOT 18265 SOS 12114 HAS SOPS 12114 HAS SOUS 6196 HAS SOUPS 6196 WITH SCORE 6208.114
AT ITER 253 NEW BEST:: SOT 18233 SOS 12054 HAS SOPS 12054 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6148.054
AT ITER 256 NEW BEST:: SOT 18234 SOS 12004 HAS SOPS 12004 HAS SOUS 6103 HAS SOUPS 6103 WITH SCORE 6115.004
AT ITER 263 NEW BEST:: SOT 18168 SOS 11872 HAS SOPS 11872 HAS SOUS 6004 HAS SOUPS 6004 WITH SCORE 6015.872
AT ITER 273 NEW BEST:: SOT 18168 SOS 11867 HAS SOPS 11867 HAS SOUS 5994 HAS SOUPS 5994 WITH SCORE 6005.867
AT ITER 276 NEW BEST:: SOT 18166 SOS 11706 HAS SOPS 11706 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5959.706
AT ITER 277 NEW BEST:: SOT 18215 SOS 11812 HAS SOPS 11812 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5935.812
AT ITER 281 NEW BEST:: SOT 18215 SOS 11805 HAS SOPS 11805 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5928.805
AT ITER 285 NEW BEST:: SOT 18137 SOS 11654 HAS SOPS 11654 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5850.654
AT ITER 289 NEW BEST:: SOT 18137 SOS 11646 HAS SOPS 11646 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5850.646
AT ITER 291 NEW BEST:: SOT 18136 SOS 11652 HAS SOPS 11652 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5848.652
AT ITER 313 NEW BEST:: SOT 18132 SOS 11634 HAS SOPS 11634 HAS SOUS 5827 HAS SOUPS 5827 WITH SCORE 5838.634
AT ITER 330 NEW BEST:: SOT 18105 SOS 11586 HAS SOPS 11586 HAS SOUS 5719 HAS SOUPS 5719 WITH SCORE 5730.586
AT ITER 331 NEW BEST:: SOT 18105 SOS 11589 HAS SOPS 11589 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5711.589
AT ITER 344 NEW BEST:: SOT 18089 SOS 12201 HAS SOPS 12201 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5710.201
AT ITER 354 NEW BEST:: SOT 18088 SOS 12197 HAS SOPS 12197 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5707.197
AT ITER 359 NEW BEST:: SOT 18035 SOS 12144 HAS SOPS 12144 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5692.144
AT ITER 360 NEW BEST:: SOT 17999 SOS 12121 HAS SOPS 12121 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5669.121
AT ITER 364 NEW BEST:: SOT 17938 SOS 11969 HAS SOPS 11969 HAS SOUS 5585 HAS SOUPS 5585 WITH SCORE 5596.969
AT ITER 367 NEW BEST:: SOT 17893 SOS 11879 HAS SOPS 11879 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5558.879
AT ITER 377 NEW BEST:: SOT 17885 SOS 11868 HAS SOPS 11868 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5548.868
AT ITER 379 NEW BEST:: SOT 17868 SOS 11828 HAS SOPS 11828 HAS SOUS 5520 HAS SOUPS 5520 WITH SCORE 5531.828
AT ITER 387 NEW BEST:: SOT 17860 SOS 11824 HAS SOPS 11824 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5513.824
AT ITER 391 NEW BEST:: SOT 17846 SOS 11822 HAS SOPS 11822 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5506.822
AT ITER 394 NEW BEST:: SOT 17823 SOS 11789 HAS SOPS 11789 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5487.789
AT ITER 397 NEW BEST:: SOT 17819 SOS 11703 HAS SOPS 11703 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5481.703
AT ITER 403 NEW BEST:: SOT 17823 SOS 11699 HAS SOPS 11699 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5472.699
AT ITER 404 NEW BEST:: SOT 17814 SOS 11692 HAS SOPS 11692 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5472.692
AT ITER 409 NEW BEST:: SOT 17808 SOS 11684 HAS SOPS 11684 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5468.684
AT ITER 413 NEW BEST:: SOT 17816 SOS 11692 HAS SOPS 11692 HAS SOUS 5453 HAS SOUPS 5453 WITH SCORE 5464.692
AT ITER 416 NEW BEST:: SOT 17755 SOS 11612 HAS SOPS 11612 HAS SOUS 5378 HAS SOUPS 5378 WITH SCORE 5389.612
AT ITER 423 NEW BEST:: SOT 17760 SOS 11614 HAS SOPS 11614 HAS SOUS 5371 HAS SOUPS 5371 WITH SCORE 5382.614
AT ITER 424 NEW BEST:: SOT 17758 SOS 11610 HAS SOPS 11610 HAS SOUS 5369 HAS SOUPS 5369 WITH SCORE 5380.61
AT ITER 427 NEW BEST:: SOT 17647 SOS 11443 HAS SOPS 11443 HAS SOUS 5282 HAS SOUPS 5282 WITH SCORE 5293.443
AT ITER 430 NEW BEST:: SOT 17653 SOS 11446 HAS SOPS 11446 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5292.446
AT ITER 435 NEW BEST:: SOT 17609 SOS 11408 HAS SOPS 11408 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5268.408
AT ITER 449 NEW BEST:: SOT 17607 SOS 11426 HAS SOPS 11426 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5264.426
AT ITER 453 NEW BEST:: SOT 17635 SOS 11459 HAS SOPS 11459 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5201.459
AT ITER 461 NEW BEST:: SOT 17644 SOS 11463 HAS SOPS 11463 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5137.463
AT ITER 484 NEW BEST:: SOT 17634 SOS 11453 HAS SOPS 11453 HAS SOUS 5116 HAS SOUPS 5116 WITH SCORE 5127.453
AT ITER 486 NEW BEST:: SOT 17604 SOS 11420 HAS SOPS 11420 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5078.42
AT ITER 497 NEW BEST:: SOT 17604 SOS 11419 HAS SOPS 11419 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5076.419
AT ITER 516 NEW BEST:: SOT 17609 SOS 11418 HAS SOPS 11418 HAS SOUS 5058 HAS SOUPS 5058 WITH SCORE 5069.418
AT ITER 521 NEW BEST:: SOT 17601 SOS 11470 HAS SOPS 11470 HAS SOUS 5046 HAS SOUPS 5046 WITH SCORE 5057.47
AT ITER 522 NEW BEST:: SOT 17605 SOS 11476 HAS SOPS 11476 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5053.476
AT ITER 526 NEW BEST:: SOT 17610 SOS 11481 HAS SOPS 11481 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5048.481
AT ITER 534 NEW BEST:: SOT 17526 SOS 11173 HAS SOPS 11173 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4959.173
AT ITER 535 NEW BEST:: SOT 17522 SOS 11124 HAS SOPS 11124 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4947.124
AT ITER 538 NEW BEST:: SOT 17517 SOS 11127 HAS SOPS 11127 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4936.127
AT ITER 540 NEW BEST:: SOT 17517 SOS 11115 HAS SOPS 11115 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4936.115
AT ITER 550 NEW BEST:: SOT 17500 SOS 11079 HAS SOPS 11079 HAS SOUS 4917 HAS SOUPS 4917 WITH SCORE 4928.079
AT ITER 572 NEW BEST:: SOT 17568 SOS 11121 HAS SOPS 11121 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4925.121
AT ITER 579 NEW BEST:: SOT 17538 SOS 11053 HAS SOPS 11053 HAS SOUS 4905 HAS SOUPS 4905 WITH SCORE 4916.053
AT ITER 582 NEW BEST:: SOT 17468 SOS 10871 HAS SOPS 10871 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4817.871
AT ITER 583 NEW BEST:: SOT 17447 SOS 10820 HAS SOPS 10820 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4777.82
AT ITER 610 NEW BEST:: SOT 17447 SOS 10804 HAS SOPS 10804 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4777.804
AT ITER 619 NEW BEST:: SOT 17412 SOS 10743 HAS SOPS 10743 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4714.743
AT ITER 620 NEW BEST:: SOT 17402 SOS 10733 HAS SOPS 10733 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4704.733
AT ITER 625 NEW BEST:: SOT 17400 SOS 10729 HAS SOPS 10729 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4700.729
AT ITER 641 NEW BEST:: SOT 17396 SOS 10725 HAS SOPS 10725 HAS SOUS 4686 HAS SOUPS 4686 WITH SCORE 4696.725
AT ITER 666 NEW BEST:: SOT 17362 SOS 10696 HAS SOPS 10696 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4664.696
AT ITER 673 NEW BEST:: SOT 17323 SOS 10633 HAS SOPS 10633 HAS SOUS 4609 HAS SOUPS 4609 WITH SCORE 4619.633
AT ITER 674 NEW BEST:: SOT 17315 SOS 10539 HAS SOPS 10539 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4595.539
AT ITER 678 NEW BEST:: SOT 17306 SOS 10530 HAS SOPS 10530 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4589.53
AT ITER 690 NEW BEST:: SOT 17297 SOS 10497 HAS SOPS 10497 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4563.497
AT ITER 729 NEW BEST:: SOT 17225 SOS 10433 HAS SOPS 10433 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4562.433
AT ITER 739 NEW BEST:: SOT 17226 SOS 10451 HAS SOPS 10451 HAS SOUS 4527 HAS SOUPS 4527 WITH SCORE 4537.451
AT ITER 742 NEW BEST:: SOT 17224 SOS 10449 HAS SOPS 10449 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4535.449
AT ITER 743 NEW BEST:: SOT 17210 SOS 10386 HAS SOPS 10386 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4464.386
AT ITER 759 NEW BEST:: SOT 17210 SOS 10393 HAS SOPS 10393 HAS SOUS 4447 HAS SOUPS 4447 WITH SCORE 4457.393
AT ITER 776 NEW BEST:: SOT 17224 SOS 10407 HAS SOPS 10407 HAS SOUS 4431 HAS SOUPS 4431 WITH SCORE 4441.407
AT ITER 778 NEW BEST:: SOT 17219 SOS 10400 HAS SOPS 10400 HAS SOUS 4424 HAS SOUPS 4424 WITH SCORE 4434.4
AT ITER 779 NEW BEST:: SOT 17219 SOS 10398 HAS SOPS 10398 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4432.398
AT ITER 785 NEW BEST:: SOT 17217 SOS 10400 HAS SOPS 10400 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4428.4
AT ITER 803 NEW BEST:: SOT 17216 SOS 10111 HAS SOPS 10111 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4423.111
AT ITER 807 NEW BEST:: SOT 17168 SOS 9975 HAS SOPS 9975 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4372.975
AT ITER 810 NEW BEST:: SOT 17152 SOS 9959 HAS SOPS 9959 HAS SOUS 4347 HAS SOUPS 4347 WITH SCORE 4356.959
AT ITER 815 NEW BEST:: SOT 17110 SOS 9894 HAS SOPS 9894 HAS SOUS 4293 HAS SOUPS 4293 WITH SCORE 4302.894
AT ITER 821 NEW BEST:: SOT 17089 SOS 9867 HAS SOPS 9867 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4284.867
AT ITER 845 NEW BEST:: SOT 17123 SOS 9899 HAS SOPS 9899 HAS SOUS 4273 HAS SOUPS 4273 WITH SCORE 4282.899
AT ITER 846 NEW BEST:: SOT 17123 SOS 9830 HAS SOPS 9830 HAS SOUS 4273 HAS SOUPS 4273 WITH SCORE 4282.83
AT ITER 853 NEW BEST:: SOT 17107 SOS 9811 HAS SOPS 9811 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4263.811
AT ITER 868 NEW BEST:: SOT 17099 SOS 9802 HAS SOPS 9802 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4258.802
AT ITER 876 NEW BEST:: SOT 17099 SOS 9802 HAS SOPS 9802 HAS SOUS 4244 HAS SOUPS 4244 WITH SCORE 4253.802
AT ITER 880 NEW BEST:: SOT 17097 SOS 9798 HAS SOPS 9798 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4240.798
AT ITER 882 NEW BEST:: SOT 17094 SOS 9792 HAS SOPS 9792 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4237.792
AT ITER 883 NEW BEST:: SOT 17087 SOS 9791 HAS SOPS 9791 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4234.791
AT ITER 903 NEW BEST:: SOT 17082 SOS 9773 HAS SOPS 9773 HAS SOUS 4212 HAS SOUPS 4212 WITH SCORE 4221.773
AT ITER 909 NEW BEST:: SOT 17044 SOS 9739 HAS SOPS 9739 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4213.739
AT ITER 910 NEW BEST:: SOT 17042 SOS 9731 HAS SOPS 9731 HAS SOUS 4196 HAS SOUPS 4196 WITH SCORE 4205.731
AT ITER 913 NEW BEST:: SOT 16998 SOS 9687 HAS SOPS 9687 HAS SOUS 4181 HAS SOUPS 4181 WITH SCORE 4190.687
AT ITER 919 NEW BEST:: SOT 17010 SOS 9699 HAS SOPS 9699 HAS SOUS 4166 HAS SOUPS 4166 WITH SCORE 4175.699
AT ITER 927 NEW BEST:: SOT 17000 SOS 9679 HAS SOPS 9679 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4165.679
AT ITER 928 NEW BEST:: SOT 17005 SOS 9644 HAS SOPS 9644 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4139.644
AT ITER 930 NEW BEST:: SOT 16996 SOS 9637 HAS SOPS 9637 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4131.637
AT ITER 932 NEW BEST:: SOT 16978 SOS 9596 HAS SOPS 9596 HAS SOUS 4109 HAS SOUPS 4109 WITH SCORE 4118.596
AT ITER 935 NEW BEST:: SOT 16978 SOS 9587 HAS SOPS 9587 HAS SOUS 4109 HAS SOUPS 4109 WITH SCORE 4118.587
AT ITER 948 NEW BEST:: SOT 16959 SOS 9559 HAS SOPS 9559 HAS SOUS 4072 HAS SOUPS 4072 WITH SCORE 4081.559
AT ITER 963 NEW BEST:: SOT 16947 SOS 9552 HAS SOPS 9552 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4074.552
AT ITER 964 NEW BEST:: SOT 16940 SOS 9528 HAS SOPS 9528 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4062.528
AT ITER 985 NEW BEST:: SOT 16944 SOS 9531 HAS SOPS 9531 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4061.531
AT ITER 1000 NEW BEST:: SOT 16931 SOS 9518 HAS SOPS 9518 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4055.518
AT ITER 1018 NEW BEST:: SOT 16933 SOS 9464 HAS SOPS 9464 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4055.464
AT ITER 1024 NEW BEST:: SOT 16932 SOS 9461 HAS SOPS 9461 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4051.461
AT ITER 1035 NEW BEST:: SOT 16943 SOS 9472 HAS SOPS 9472 HAS SOUS 4040 HAS SOUPS 4040 WITH SCORE 4049.472
AT ITER 1041 NEW BEST:: SOT 16970 SOS 9523 HAS SOPS 9523 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4040.523
AT ITER 1051 NEW BEST:: SOT 16969 SOS 9522 HAS SOPS 9522 HAS SOUS 4030 HAS SOUPS 4030 WITH SCORE 4039.522
AT ITER 1052 NEW BEST:: SOT 16962 SOS 9468 HAS SOPS 9468 HAS SOUS 3995 HAS SOUPS 3995 WITH SCORE 4004.468
AT ITER 1064 NEW BEST:: SOT 16937 SOS 9436 HAS SOPS 9436 HAS SOUS 3961 HAS SOUPS 3961 WITH SCORE 3970.436
AT ITER 1074 NEW BEST:: SOT 16938 SOS 9436 HAS SOPS 9436 HAS SOUS 3948 HAS SOUPS 3948 WITH SCORE 3957.436
AT ITER 1075 NEW BEST:: SOT 16938 SOS 9436 HAS SOPS 9436 HAS SOUS 3938 HAS SOUPS 3938 WITH SCORE 3947.436
AT ITER 1099 NEW BEST:: SOT 16940 SOS 9431 HAS SOPS 9431 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3944.431
AT ITER 1121 NEW BEST:: SOT 16940 SOS 9431 HAS SOPS 9431 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3937.431
AT ITER 1123 NEW BEST:: SOT 16945 SOS 9407 HAS SOPS 9407 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3932.407
AT ITER 1135 NEW BEST:: SOT 16940 SOS 9395 HAS SOPS 9395 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3923.395
AT ITER 1149 NEW BEST:: SOT 16969 SOS 9422 HAS SOPS 9422 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3918.422
AT ITER 1156 NEW BEST:: SOT 16969 SOS 9419 HAS SOPS 9419 HAS SOUS 3900 HAS SOUPS 3900 WITH SCORE 3909.419
AT ITER 1173 NEW BEST:: SOT 16946 SOS 9372 HAS SOPS 9372 HAS SOUS 3855 HAS SOUPS 3855 WITH SCORE 3864.372
AT ITER 1177 NEW BEST:: SOT 16891 SOS 9311 HAS SOPS 9311 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3785.311
AT ITER 1182 NEW BEST:: SOT 16881 SOS 9301 HAS SOPS 9301 HAS SOUS 3771 HAS SOUPS 3771 WITH SCORE 3780.301
AT ITER 1183 NEW BEST:: SOT 16880 SOS 9276 HAS SOPS 9276 HAS SOUS 3769 HAS SOUPS 3769 WITH SCORE 3778.276
AT ITER 1186 NEW BEST:: SOT 16880 SOS 9271 HAS SOPS 9271 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3769.271
AT ITER 1214 NEW BEST:: SOT 16886 SOS 9277 HAS SOPS 9277 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3763.277
AT ITER 1217 NEW BEST:: SOT 16884 SOS 8642 HAS SOPS 8642 HAS SOUS 3752 HAS SOUPS 3752 WITH SCORE 3760.642
AT ITER 1220 NEW BEST:: SOT 16884 SOS 8650 HAS SOPS 8650 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3756.65
AT ITER 1233 NEW BEST:: SOT 16875 SOS 8641 HAS SOPS 8641 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3756.641
AT ITER 1235 NEW BEST:: SOT 16875 SOS 8633 HAS SOPS 8633 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3752.633
AT ITER 1245 NEW BEST:: SOT 16875 SOS 8569 HAS SOPS 8569 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3752.569
AT ITER 1257 NEW BEST:: SOT 16859 SOS 8545 HAS SOPS 8545 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3744.545
AT ITER 1271 NEW BEST:: SOT 16851 SOS 8537 HAS SOPS 8537 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3736.537
AT ITER 1304 NEW BEST:: SOT 16845 SOS 8528 HAS SOPS 8528 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3730.528
AT ITER 1316 NEW BEST:: SOT 16841 SOS 8505 HAS SOPS 8505 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3730.505
AT ITER 1331 NEW BEST:: SOT 16831 SOS 8475 HAS SOPS 8475 HAS SOUS 3705 HAS SOUPS 3705 WITH SCORE 3713.475
AT ITER 1346 NEW BEST:: SOT 16831 SOS 8465 HAS SOPS 8465 HAS SOUS 3700 HAS SOUPS 3700 WITH SCORE 3708.465
AT ITER 1357 NEW BEST:: SOT 16813 SOS 8461 HAS SOPS 8461 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3704.461
AT ITER 1371 NEW BEST:: SOT 16811 SOS 8457 HAS SOPS 8457 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3696.457
AT ITER 1385 NEW BEST:: SOT 16807 SOS 8453 HAS SOPS 8453 HAS SOUS 3684 HAS SOUPS 3684 WITH SCORE 3692.453
AT ITER 1414 NEW BEST:: SOT 16805 SOS 8448 HAS SOPS 8448 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3681.448
AT ITER 1460 NEW BEST:: SOT 16772 SOS 8436 HAS SOPS 8436 HAS SOUS 3660 HAS SOUPS 3660 WITH SCORE 3668.436
AT ITER 1470 NEW BEST:: SOT 16753 SOS 8415 HAS SOPS 8415 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3647.415
AT ITER 1475 NEW BEST:: SOT 16749 SOS 8407 HAS SOPS 8407 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3643.407
AT ITER 1506 NEW BEST:: SOT 16745 SOS 8391 HAS SOPS 8391 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3627.391
AT ITER 1510 NEW BEST:: SOT 16745 SOS 8388 HAS SOPS 8388 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3627.388
AT ITER 1578 NEW BEST:: SOT 16745 SOS 8385 HAS SOPS 8385 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3624.385
AT ITER 1596 NEW BEST:: SOT 16741 SOS 8363 HAS SOPS 8363 HAS SOUS 3610 HAS SOUPS 3610 WITH SCORE 3618.363
AT ITER 1600 NEW BEST:: SOT 16749 SOS 8363 HAS SOPS 8363 HAS SOUS 3590 HAS SOUPS 3590 WITH SCORE 3598.363
AT ITER 1614 NEW BEST:: SOT 16733 SOS 8350 HAS SOPS 8350 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3591.35
AT ITER 1660 NEW BEST:: SOT 16733 SOS 8351 HAS SOPS 8351 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3581.351
AT ITER 1669 NEW BEST:: SOT 16768 SOS 8361 HAS SOPS 8361 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3564.361
AT ITER 1697 NEW BEST:: SOT 16785 SOS 8377 HAS SOPS 8377 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3560.377
AT ITER 1704 NEW BEST:: SOT 16787 SOS 8379 HAS SOPS 8379 HAS SOUS 3550 HAS SOUPS 3550 WITH SCORE 3558.379
AT ITER 1722 NEW BEST:: SOT 16779 SOS 8371 HAS SOPS 8371 HAS SOUS 3534 HAS SOUPS 3534 WITH SCORE 3542.371
AT ITER 1783 NEW BEST:: SOT 16768 SOS 8358 HAS SOPS 8358 HAS SOUS 3530 HAS SOUPS 3530 WITH SCORE 3538.358
AT ITER 1787 NEW BEST:: SOT 16738 SOS 8272 HAS SOPS 8272 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3456.272
AT ITER 1790 NEW BEST:: SOT 16738 SOS 8270 HAS SOPS 8270 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3456.27
AT ITER 1833 NEW BEST:: SOT 16738 SOS 8268 HAS SOPS 8268 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3452.268
AT ITER 1861 NEW BEST:: SOT 16744 SOS 8272 HAS SOPS 8272 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3447.272
AT ITER 1866 NEW BEST:: SOT 16767 SOS 8309 HAS SOPS 8309 HAS SOUS 3438 HAS SOUPS 3438 WITH SCORE 3446.309
AT ITER 1890 NEW BEST:: SOT 16788 SOS 8317 HAS SOPS 8317 HAS SOUS 3427 HAS SOUPS 3427 WITH SCORE 3435.317
AT ITER 1907 NEW BEST:: SOT 16783 SOS 8319 HAS SOPS 8319 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3430.319
AT ITER 1908 NEW BEST:: SOT 16802 SOS 8282 HAS SOPS 8282 HAS SOUS 3411 HAS SOUPS 3411 WITH SCORE 3419.282
AT ITER 1912 NEW BEST:: SOT 16799 SOS 8253 HAS SOPS 8253 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3405.253
AT ITER 1923 NEW BEST:: SOT 16776 SOS 8204 HAS SOPS 8204 HAS SOUS 3358 HAS SOUPS 3358 WITH SCORE 3366.204
AT ITER 1925 NEW BEST:: SOT 16761 SOS 8181 HAS SOPS 8181 HAS SOUS 3331 HAS SOUPS 3331 WITH SCORE 3339.181
AT ITER 1928 NEW BEST:: SOT 16755 SOS 8219 HAS SOPS 8219 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3337.219
AT ITER 1935 NEW BEST:: SOT 16740 SOS 8204 HAS SOPS 8204 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3322.204
AT ITER 1959 NEW BEST:: SOT 16738 SOS 8190 HAS SOPS 8190 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3318.19
AT ITER 1967 NEW BEST:: SOT 16718 SOS 8173 HAS SOPS 8173 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3311.173
AT ITER 1982 NEW BEST:: SOT 16717 SOS 8163 HAS SOPS 8163 HAS SOUS 3301 HAS SOUPS 3301 WITH SCORE 3309.163
AT ITER 1990 NEW BEST:: SOT 16716 SOS 8159 HAS SOPS 8159 HAS SOUS 3298 HAS SOUPS 3298 WITH SCORE 3306.159
AT ITER 1997 NEW BEST:: SOT 16687 SOS 8140 HAS SOPS 8140 HAS SOUS 3267 HAS SOUPS 3267 WITH SCORE 3275.14
AT ITER 2032 NEW BEST:: SOT 16689 SOS 8141 HAS SOPS 8141 HAS SOUS 3257 HAS SOUPS 3257 WITH SCORE 3265.141
AT ITER 2034 NEW BEST:: SOT 16687 SOS 8136 HAS SOPS 8136 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3260.136
AT ITER 2045 NEW BEST:: SOT 16689 SOS 8138 HAS SOPS 8138 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3240.138
AT ITER 2077 NEW BEST:: SOT 16689 SOS 8130 HAS SOPS 8130 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3234.13
AT ITER 2090 NEW BEST:: SOT 16683 SOS 8100 HAS SOPS 8100 HAS SOUS 3220 HAS SOUPS 3220 WITH SCORE 3228.1
AT ITER 2095 NEW BEST:: SOT 16669 SOS 8086 HAS SOPS 8086 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3221.086
AT ITER 2106 NEW BEST:: SOT 16680 SOS 8090 HAS SOPS 8090 HAS SOUS 3203 HAS SOUPS 3203 WITH SCORE 3211.09
AT ITER 2140 NEW BEST:: SOT 16691 SOS 8136 HAS SOPS 8136 HAS SOUS 3199 HAS SOUPS 3199 WITH SCORE 3207.136
AT ITER 2153 NEW BEST:: SOT 16699 SOS 8126 HAS SOPS 8126 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3204.126
AT ITER 2185 NEW BEST:: SOT 16690 SOS 8107 HAS SOPS 8107 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3197.107
AT ITER 2200 NEW BEST:: SOT 16641 SOS 8069 HAS SOPS 8069 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3177.069
AT ITER 2221 NEW BEST:: SOT 16639 SOS 8063 HAS SOPS 8063 HAS SOUS 3161 HAS SOUPS 3161 WITH SCORE 3169.063
AT ITER 2233 NEW BEST:: SOT 16627 SOS 8047 HAS SOPS 8047 HAS SOUS 3141 HAS SOUPS 3141 WITH SCORE 3149.047
AT ITER 2256 NEW BEST:: SOT 16621 SOS 8035 HAS SOPS 8035 HAS SOUS 3141 HAS SOUPS 3141 WITH SCORE 3149.035
AT ITER 2265 NEW BEST:: SOT 16621 SOS 8038 HAS SOPS 8038 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3146.038
AT ITER 2267 NEW BEST:: SOT 16617 SOS 8032 HAS SOPS 8032 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3140.032
AT ITER 2305 NEW BEST:: SOT 16611 SOS 8020 HAS SOPS 8020 HAS SOUS 3123 HAS SOUPS 3123 WITH SCORE 3131.02
AT ITER 2336 NEW BEST:: SOT 16607 SOS 8012 HAS SOPS 8012 HAS SOUS 3115 HAS SOUPS 3115 WITH SCORE 3123.012
AT ITER 2343 NEW BEST:: SOT 16589 SOS 8012 HAS SOPS 8012 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3114.012
AT ITER 2371 NEW BEST:: SOT 16588 SOS 8012 HAS SOPS 8012 HAS SOUS 3103 HAS SOUPS 3103 WITH SCORE 3111.012
AT ITER 2439 NEW BEST:: SOT 16588 SOS 8011 HAS SOPS 8011 HAS SOUS 3100 HAS SOUPS 3100 WITH SCORE 3108.011
AT ITER 2474 NEW BEST:: SOT 16587 SOS 8007 HAS SOPS 8007 HAS SOUS 3100 HAS SOUPS 3100 WITH SCORE 3108.007
AT ITER 2476 NEW BEST:: SOT 16588 SOS 7988 HAS SOPS 7988 HAS SOUS 3097 HAS SOUPS 3097 WITH SCORE 3104.988
AT ITER 2537 NEW BEST:: SOT 16583 SOS 7983 HAS SOPS 7983 HAS SOUS 3087 HAS SOUPS 3087 WITH SCORE 3094.983
AT ITER 2544 NEW BEST:: SOT 16582 SOS 7981 HAS SOPS 7981 HAS SOUS 3087 HAS SOUPS 3087 WITH SCORE 3094.981
AT ITER 2571 NEW BEST:: SOT 16573 SOS 7966 HAS SOPS 7966 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3091.966
AT ITER 2612 NEW BEST:: SOT 16567 SOS 7967 HAS SOPS 7967 HAS SOUS 3083 HAS SOUPS 3083 WITH SCORE 3090.967
AT ITER 2620 NEW BEST:: SOT 16566 SOS 7966 HAS SOPS 7966 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3089.966
AT ITER 2632 NEW BEST:: SOT 16547 SOS 7950 HAS SOPS 7950 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3079.95
AT ITER 2664 NEW BEST:: SOT 16537 SOS 7937 HAS SOPS 7937 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3068.937
AT ITER 2675 NEW BEST:: SOT 16544 SOS 7937 HAS SOPS 7937 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3062.937
AT ITER 2677 NEW BEST:: SOT 16556 SOS 7949 HAS SOPS 7949 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3048.949
AT ITER 2691 NEW BEST:: SOT 16516 SOS 7890 HAS SOPS 7890 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2973.89
AT ITER 2742 NEW BEST:: SOT 16516 SOS 7886 HAS SOPS 7886 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2973.886
AT ITER 2781 NEW BEST:: SOT 16517 SOS 7881 HAS SOPS 7881 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2961.881
AT ITER 2800 NEW BEST:: SOT 16516 SOS 7879 HAS SOPS 7879 HAS SOUS 2952 HAS SOUPS 2952 WITH SCORE 2959.879
AT ITER 2806 NEW BEST:: SOT 16501 SOS 7858 HAS SOPS 7858 HAS SOUS 2951 HAS SOUPS 2951 WITH SCORE 2958.858
AT ITER 2816 NEW BEST:: SOT 16523 SOS 7868 HAS SOPS 7868 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2953.868
AT ITER 2817 NEW BEST:: SOT 16522 SOS 7852 HAS SOPS 7852 HAS SOUS 2939 HAS SOUPS 2939 WITH SCORE 2946.852
AT ITER 2849 NEW BEST:: SOT 16521 SOS 7851 HAS SOPS 7851 HAS SOUS 2937 HAS SOUPS 2937 WITH SCORE 2944.851
AT ITER 2862 NEW BEST:: SOT 16492 SOS 7823 HAS SOPS 7823 HAS SOUS 2918 HAS SOUPS 2918 WITH SCORE 2925.823
AT ITER 2875 NEW BEST:: SOT 16482 SOS 7840 HAS SOPS 7840 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2915.84
AT ITER 2921 NEW BEST:: SOT 16475 SOS 7833 HAS SOPS 7833 HAS SOUS 2901 HAS SOUPS 2901 WITH SCORE 2908.833
AT ITER 2950 NEW BEST:: SOT 16473 SOS 7826 HAS SOPS 7826 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2907.826
AT ITER 2982 NEW BEST:: SOT 16457 SOS 7785 HAS SOPS 7785 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2870.785
AT ITER 3040 NEW BEST:: SOT 16458 SOS 7754 HAS SOPS 7754 HAS SOUS 2852 HAS SOUPS 2852 WITH SCORE 2859.754
AT ITER 3070 NEW BEST:: SOT 16457 SOS 7754 HAS SOPS 7754 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2858.754
AT ITER 3088 NEW BEST:: SOT 16455 SOS 7750 HAS SOPS 7750 HAS SOUS 2849 HAS SOUPS 2849 WITH SCORE 2856.75
AT ITER 3160 NEW BEST:: SOT 16461 SOS 7760 HAS SOPS 7760 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2846.76
AT ITER 3174 NEW BEST:: SOT 16461 SOS 7771 HAS SOPS 7771 HAS SOUS 2832 HAS SOUPS 2832 WITH SCORE 2839.771
AT ITER 3184 NEW BEST:: SOT 16440 SOS 7755 HAS SOPS 7755 HAS SOUS 2832 HAS SOUPS 2832 WITH SCORE 2839.755
AT ITER 3347 NEW BEST:: SOT 16436 SOS 7746 HAS SOPS 7746 HAS SOUS 2828 HAS SOUPS 2828 WITH SCORE 2835.746
AT ITER 3364 NEW BEST:: SOT 16430 SOS 7772 HAS SOPS 7772 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2831.772
AT ITER 3473 NEW BEST:: SOT 16431 SOS 7766 HAS SOPS 7766 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2828.766
AT ITER 3515 NEW BEST:: SOT 16426 SOS 7751 HAS SOPS 7751 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2828.751
AT ITER 3526 NEW BEST:: SOT 16414 SOS 7731 HAS SOPS 7731 HAS SOUS 2813 HAS SOUPS 2813 WITH SCORE 2820.731
AT ITER 3541 NEW BEST:: SOT 16414 SOS 7728 HAS SOPS 7728 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2814.728
AT ITER 3544 NEW BEST:: SOT 16414 SOS 7724 HAS SOPS 7724 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2814.724
AT ITER 3549 NEW BEST:: SOT 16414 SOS 7721 HAS SOPS 7721 HAS SOUS 2798 HAS SOUPS 2798 WITH SCORE 2805.721
AT ITER 3568 NEW BEST:: SOT 16413 SOS 7719 HAS SOPS 7719 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2804.719
AT ITER 3606 NEW BEST:: SOT 16413 SOS 7719 HAS SOPS 7719 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2803.719
AT ITER 3609 NEW BEST:: SOT 16413 SOS 7717 HAS SOPS 7717 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2803.717
AT ITER 3616 NEW BEST:: SOT 16422 SOS 7726 HAS SOPS 7726 HAS SOUS 2790 HAS SOUPS 2790 WITH SCORE 2797.726
AT ITER 3617 NEW BEST:: SOT 16423 SOS 7725 HAS SOPS 7725 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2796.725
AT ITER 3631 NEW BEST:: SOT 16420 SOS 7700 HAS SOPS 7700 HAS SOUS 2773 HAS SOUPS 2773 WITH SCORE 2780.7
AT ITER 3656 NEW BEST:: SOT 16418 SOS 7696 HAS SOPS 7696 HAS SOUS 2771 HAS SOUPS 2771 WITH SCORE 2778.696
AT ITER 3687 NEW BEST:: SOT 16427 SOS 7734 HAS SOPS 7734 HAS SOUS 2763 HAS SOUPS 2763 WITH SCORE 2770.734
AT ITER 3701 NEW BEST:: SOT 16427 SOS 7732 HAS SOPS 7732 HAS SOUS 2763 HAS SOUPS 2763 WITH SCORE 2770.732
AT ITER 3732 NEW BEST:: SOT 16411 SOS 7725 HAS SOPS 7725 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2763.725
AT ITER 3733 NEW BEST:: SOT 16407 SOS 7723 HAS SOPS 7723 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2761.723
AT ITER 3768 NEW BEST:: SOT 16404 SOS 7719 HAS SOPS 7719 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2758.719
AT ITER 3776 NEW BEST:: SOT 16403 SOS 7711 HAS SOPS 7711 HAS SOUS 2748 HAS SOUPS 2748 WITH SCORE 2755.711
AT ITER 3841 NEW BEST:: SOT 16402 SOS 7698 HAS SOPS 7698 HAS SOUS 2736 HAS SOUPS 2736 WITH SCORE 2743.698
AT ITER 3862 NEW BEST:: SOT 16402 SOS 7710 HAS SOPS 7710 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2731.71
AT ITER 3880 NEW BEST:: SOT 16406 SOS 7708 HAS SOPS 7708 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2715.708
AT ITER 3994 NEW BEST:: SOT 16405 SOS 7707 HAS SOPS 7707 HAS SOUS 2707 HAS SOUPS 2707 WITH SCORE 2714.707
AT ITER 4016 NEW BEST:: SOT 16399 SOS 7701 HAS SOPS 7701 HAS SOUS 2701 HAS SOUPS 2701 WITH SCORE 2708.701
AT ITER 4034 NEW BEST:: SOT 16399 SOS 7700 HAS SOPS 7700 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2706.7
AT ITER 4035 NEW BEST:: SOT 16399 SOS 7697 HAS SOPS 7697 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2706.697
AT ITER 4046 NEW BEST:: SOT 16397 SOS 7695 HAS SOPS 7695 HAS SOUS 2698 HAS SOUPS 2698 WITH SCORE 2705.695
AT ITER 4067 NEW BEST:: SOT 16397 SOS 7683 HAS SOPS 7683 HAS SOUS 2692 HAS SOUPS 2692 WITH SCORE 2699.683
AT ITER 4086 NEW BEST:: SOT 16375 SOS 7661 HAS SOPS 7661 HAS SOUS 2676 HAS SOUPS 2676 WITH SCORE 2683.661
AT ITER 4096 NEW BEST:: SOT 16372 SOS 7666 HAS SOPS 7666 HAS SOUS 2672 HAS SOUPS 2672 WITH SCORE 2679.666
AT ITER 4110 NEW BEST:: SOT 16371 SOS 7663 HAS SOPS 7663 HAS SOUS 2672 HAS SOUPS 2672 WITH SCORE 2679.663
AT ITER 4119 NEW BEST:: SOT 16360 SOS 7647 HAS SOPS 7647 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2670.647
AT ITER 4162 NEW BEST:: SOT 16357 SOS 7644 HAS SOPS 7644 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2667.644
AT ITER 4228 NEW BEST:: SOT 16353 SOS 7657 HAS SOPS 7657 HAS SOUS 2658 HAS SOUPS 2658 WITH SCORE 2665.657
AT ITER 4242 NEW BEST:: SOT 16350 SOS 7651 HAS SOPS 7651 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2663.651
AT ITER 4260 NEW BEST:: SOT 16345 SOS 7648 HAS SOPS 7648 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2654.648
AT ITER 4267 NEW BEST:: SOT 16345 SOS 7646 HAS SOPS 7646 HAS SOUS 2645 HAS SOUPS 2645 WITH SCORE 2652.646
AT ITER 4278 NEW BEST:: SOT 16344 SOS 7641 HAS SOPS 7641 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2650.641
AT ITER 4290 NEW BEST:: SOT 16321 SOS 7640 HAS SOPS 7640 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2647.64
AT ITER 4302 NEW BEST:: SOT 16319 SOS 7639 HAS SOPS 7639 HAS SOUS 2637 HAS SOUPS 2637 WITH SCORE 2644.639
AT ITER 4310 NEW BEST:: SOT 16310 SOS 7670 HAS SOPS 7670 HAS SOUS 2635 HAS SOUPS 2635 WITH SCORE 2642.67
AT ITER 4314 NEW BEST:: SOT 16310 SOS 7669 HAS SOPS 7669 HAS SOUS 2634 HAS SOUPS 2634 WITH SCORE 2641.669
AT ITER 4332 NEW BEST:: SOT 16297 SOS 7636 HAS SOPS 7636 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2600.636
AT ITER 4333 NEW BEST:: SOT 16296 SOS 7635 HAS SOPS 7635 HAS SOUS 2587 HAS SOUPS 2587 WITH SCORE 2594.635
AT ITER 4424 NEW BEST:: SOT 16294 SOS 7631 HAS SOPS 7631 HAS SOUS 2585 HAS SOUPS 2585 WITH SCORE 2592.631
AT ITER 4438 NEW BEST:: SOT 16296 SOS 7635 HAS SOPS 7635 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2590.635
AT ITER 4439 NEW BEST:: SOT 16294 SOS 7631 HAS SOPS 7631 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2584.631
AT ITER 4464 NEW BEST:: SOT 16300 SOS 7633 HAS SOPS 7633 HAS SOUS 2574 HAS SOUPS 2574 WITH SCORE 2581.633
AT ITER 4502 NEW BEST:: SOT 16295 SOS 7626 HAS SOPS 7626 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2575.626
AT ITER 4508 NEW BEST:: SOT 16293 SOS 7624 HAS SOPS 7624 HAS SOUS 2558 HAS SOUPS 2558 WITH SCORE 2565.624
AT ITER 4561 NEW BEST:: SOT 16292 SOS 7623 HAS SOPS 7623 HAS SOUS 2550 HAS SOUPS 2550 WITH SCORE 2557.623
AT ITER 4562 NEW BEST:: SOT 16284 SOS 7618 HAS SOPS 7618 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2545.618
AT ITER 4566 NEW BEST:: SOT 16287 SOS 7619 HAS SOPS 7619 HAS SOUS 2537 HAS SOUPS 2537 WITH SCORE 2544.619
AT ITER 4579 NEW BEST:: SOT 16287 SOS 7616 HAS SOPS 7616 HAS SOUS 2537 HAS SOUPS 2537 WITH SCORE 2544.616
AT ITER 4590 NEW BEST:: SOT 16286 SOS 7608 HAS SOPS 7608 HAS SOUS 2535 HAS SOUPS 2535 WITH SCORE 2542.608
AT ITER 4596 NEW BEST:: SOT 16278 SOS 7600 HAS SOPS 7600 HAS SOUS 2527 HAS SOUPS 2527 WITH SCORE 2534.6
AT ITER 4648 NEW BEST:: SOT 16274 SOS 7594 HAS SOPS 7594 HAS SOUS 2523 HAS SOUPS 2523 WITH SCORE 2530.594
AT ITER 4730 NEW BEST:: SOT 16273 SOS 7596 HAS SOPS 7596 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2525.596
AT ITER 4746 NEW BEST:: SOT 16271 SOS 7594 HAS SOPS 7594 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2524.594
AT ITER 4751 NEW BEST:: SOT 16268 SOS 7590 HAS SOPS 7590 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2519.59
AT ITER 4772 NEW BEST:: SOT 16266 SOS 7588 HAS SOPS 7588 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2517.588
AT ITER 4820 NEW BEST:: SOT 16270 SOS 7592 HAS SOPS 7592 HAS SOUS 2508 HAS SOUPS 2508 WITH SCORE 2515.592
AT ITER 4869 NEW BEST:: SOT 16267 SOS 7589 HAS SOPS 7589 HAS SOUS 2506 HAS SOUPS 2506 WITH SCORE 2513.589
AT ITER 4915 NEW BEST:: SOT 16266 SOS 7590 HAS SOPS 7590 HAS SOUS 2505 HAS SOUPS 2505 WITH SCORE 2512.59
AT ITER 4995 NEW BEST:: SOT 16264 SOS 7588 HAS SOPS 7588 HAS SOUS 2501 HAS SOUPS 2501 WITH SCORE 2508.588
AT ITER 5011 NEW BEST:: SOT 16256 SOS 7581 HAS SOPS 7581 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2504.581
AT ITER 5029 NEW BEST:: SOT 16256 SOS 7573 HAS SOPS 7573 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2504.573
AT ITER 5092 NEW BEST:: SOT 16246 SOS 7553 HAS SOPS 7553 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2504.553
AT ITER 5106 NEW BEST:: SOT 16244 SOS 7551 HAS SOPS 7551 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2504.551
AT ITER 5108 NEW BEST:: SOT 16240 SOS 7543 HAS SOPS 7543 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2504.543
AT ITER 5169 NEW BEST:: SOT 16240 SOS 7536 HAS SOPS 7536 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2504.536
AT ITER 5334 NEW BEST:: SOT 16230 SOS 7529 HAS SOPS 7529 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2502.529
AT ITER 5346 NEW BEST:: SOT 16228 SOS 7526 HAS SOPS 7526 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2501.526
AT ITER 5381 NEW BEST:: SOT 16229 SOS 7523 HAS SOPS 7523 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2501.523
AT ITER 5397 NEW BEST:: SOT 16218 SOS 7510 HAS SOPS 7510 HAS SOUS 2493 HAS SOUPS 2493 WITH SCORE 2500.51
AT ITER 5421 NEW BEST:: SOT 16215 SOS 7506 HAS SOPS 7506 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2497.506
AT ITER 5486 NEW BEST:: SOT 16210 SOS 7496 HAS SOPS 7496 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2488.496
AT ITER 5515 NEW BEST:: SOT 16210 SOS 7492 HAS SOPS 7492 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2486.492
AT ITER 5642 NEW BEST:: SOT 16208 SOS 7494 HAS SOPS 7494 HAS SOUS 2477 HAS SOUPS 2477 WITH SCORE 2484.494
AT ITER 5657 NEW BEST:: SOT 16206 SOS 7490 HAS SOPS 7490 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2481.49
AT ITER 5706 NEW BEST:: SOT 16209 SOS 7490 HAS SOPS 7490 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2478.49
AT ITER 5718 NEW BEST:: SOT 16206 SOS 7484 HAS SOPS 7484 HAS SOUS 2469 HAS SOUPS 2469 WITH SCORE 2476.484
AT ITER 5759 NEW BEST:: SOT 16203 SOS 7471 HAS SOPS 7471 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2463.471
AT ITER 5766 NEW BEST:: SOT 16199 SOS 7463 HAS SOPS 7463 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2459.463
AT ITER 5907 NEW BEST:: SOT 16199 SOS 7449 HAS SOPS 7449 HAS SOUS 2445 HAS SOUPS 2445 WITH SCORE 2452.449
AT ITER 5935 NEW BEST:: SOT 16201 SOS 7449 HAS SOPS 7449 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2451.449
AT ITER 5948 NEW BEST:: SOT 16198 SOS 7445 HAS SOPS 7445 HAS SOUS 2442 HAS SOUPS 2442 WITH SCORE 2449.445
AT ITER 6035 NEW BEST:: SOT 16196 SOS 7442 HAS SOPS 7442 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2445.442
AT ITER 6073 NEW BEST:: SOT 16194 SOS 7436 HAS SOPS 7436 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2443.436
AT ITER 6139 NEW BEST:: SOT 16194 SOS 7433 HAS SOPS 7433 HAS SOUS 2435 HAS SOUPS 2435 WITH SCORE 2442.433
AT ITER 6174 NEW BEST:: SOT 16197 SOS 7431 HAS SOPS 7431 HAS SOUS 2434 HAS SOUPS 2434 WITH SCORE 2441.431
AT ITER 6229 NEW BEST:: SOT 16194 SOS 7427 HAS SOPS 7427 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2438.427
AT ITER 6344 NEW BEST:: SOT 16190 SOS 7425 HAS SOPS 7425 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2438.425
AT ITER 6379 NEW BEST:: SOT 16180 SOS 7405 HAS SOPS 7405 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2429.405
AT ITER 6400 NEW BEST:: SOT 16180 SOS 7405 HAS SOPS 7405 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2427.405
AT ITER 6448 NEW BEST:: SOT 16171 SOS 7399 HAS SOPS 7399 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2418.399
AT ITER 6451 NEW BEST:: SOT 16171 SOS 7397 HAS SOPS 7397 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2418.397
AT ITER 6478 NEW BEST:: SOT 16163 SOS 7400 HAS SOPS 7400 HAS SOUS 2409 HAS SOUPS 2409 WITH SCORE 2416.4
AT ITER 6497 NEW BEST:: SOT 16165 SOS 7392 HAS SOPS 7392 HAS SOUS 2408 HAS SOUPS 2408 WITH SCORE 2415.392
AT ITER 6507 NEW BEST:: SOT 16166 SOS 7394 HAS SOPS 7394 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2414.394
AT ITER 6571 NEW BEST:: SOT 16164 SOS 7390 HAS SOPS 7390 HAS SOUS 2406 HAS SOUPS 2406 WITH SCORE 2413.39
AT ITER 6615 NEW BEST:: SOT 16162 SOS 7380 HAS SOPS 7380 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2407.38
AT ITER 6654 NEW BEST:: SOT 16161 SOS 7378 HAS SOPS 7378 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2407.378
AT ITER 6701 NEW BEST:: SOT 16161 SOS 7364 HAS SOPS 7364 HAS SOUS 2399 HAS SOUPS 2399 WITH SCORE 2406.364
AT ITER 6717 NEW BEST:: SOT 16161 SOS 7362 HAS SOPS 7362 HAS SOUS 2398 HAS SOUPS 2398 WITH SCORE 2405.362
AT ITER 6800 NEW BEST:: SOT 16158 SOS 7365 HAS SOPS 7365 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2402.365
AT ITER 6915 NEW BEST:: SOT 16158 SOS 7359 HAS SOPS 7359 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2402.359
AT ITER 7046 NEW BEST:: SOT 16153 SOS 7352 HAS SOPS 7352 HAS SOUS 2393 HAS SOUPS 2393 WITH SCORE 2400.352
AT ITER 7151 NEW BEST:: SOT 16150 SOS 7350 HAS SOPS 7350 HAS SOUS 2393 HAS SOUPS 2393 WITH SCORE 2400.35
AT ITER 7218 NEW BEST:: SOT 16145 SOS 7342 HAS SOPS 7342 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2399.342
AT ITER 7326 NEW BEST:: SOT 16143 SOS 7338 HAS SOPS 7338 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2399.338
AT ITER 7379 NEW BEST:: SOT 16134 SOS 7331 HAS SOPS 7331 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2399.331
AT ITER 7385 NEW BEST:: SOT 16132 SOS 7329 HAS SOPS 7329 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2399.329
AT ITER 7408 NEW BEST:: SOT 16132 SOS 7328 HAS SOPS 7328 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2399.328
AT ITER 7468 NEW BEST:: SOT 16131 SOS 7326 HAS SOPS 7326 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2397.326
AT ITER 7481 NEW BEST:: SOT 16131 SOS 7322 HAS SOPS 7322 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2397.322
AT ITER 7617 NEW BEST:: SOT 16129 SOS 7321 HAS SOPS 7321 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2397.321
AT ITER 7764 NEW BEST:: SOT 16130 SOS 7321 HAS SOPS 7321 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2396.321
AT ITER 7807 NEW BEST:: SOT 16125 SOS 7321 HAS SOPS 7321 HAS SOUS 2388 HAS SOUPS 2388 WITH SCORE 2395.321
AT ITER 7844 NEW BEST:: SOT 16126 SOS 7334 HAS SOPS 7334 HAS SOUS 2386 HAS SOUPS 2386 WITH SCORE 2393.334
AT ITER 7857 NEW BEST:: SOT 16125 SOS 7325 HAS SOPS 7325 HAS SOUS 2378 HAS SOUPS 2378 WITH SCORE 2385.325
AT ITER 7885 NEW BEST:: SOT 16112 SOS 7307 HAS SOPS 7307 HAS SOUS 2378 HAS SOUPS 2378 WITH SCORE 2385.307
AT ITER 8077 NEW BEST:: SOT 16109 SOS 7301 HAS SOPS 7301 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2379.301
AT ITER 8096 NEW BEST:: SOT 16109 SOS 7303 HAS SOPS 7303 HAS SOUS 2371 HAS SOUPS 2371 WITH SCORE 2378.303
AT ITER 8199 NEW BEST:: SOT 16113 SOS 7293 HAS SOPS 7293 HAS SOUS 2371 HAS SOUPS 2371 WITH SCORE 2378.293
AT ITER 8248 NEW BEST:: SOT 16113 SOS 7295 HAS SOPS 7295 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2373.295
AT ITER 8262 NEW BEST:: SOT 16113 SOS 7288 HAS SOPS 7288 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2373.288
AT ITER 8283 NEW BEST:: SOT 16104 SOS 7270 HAS SOPS 7270 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2367.27
AT ITER 8332 NEW BEST:: SOT 16098 SOS 7260 HAS SOPS 7260 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2353.26
AT ITER 8353 NEW BEST:: SOT 16097 SOS 7252 HAS SOPS 7252 HAS SOUS 2343 HAS SOUPS 2343 WITH SCORE 2350.252
AT ITER 8482 NEW BEST:: SOT 16089 SOS 7256 HAS SOPS 7256 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2344.256
AT ITER 8550 NEW BEST:: SOT 16091 SOS 7250 HAS SOPS 7250 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2341.25
AT ITER 8552 NEW BEST:: SOT 16097 SOS 7256 HAS SOPS 7256 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2335.256
AT ITER 8576 NEW BEST:: SOT 16101 SOS 7262 HAS SOPS 7262 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2334.262
AT ITER 8659 NEW BEST:: SOT 16099 SOS 7260 HAS SOPS 7260 HAS SOUS 2325 HAS SOUPS 2325 WITH SCORE 2332.26
AT ITER 8698 NEW BEST:: SOT 16099 SOS 7259 HAS SOPS 7259 HAS SOUS 2325 HAS SOUPS 2325 WITH SCORE 2332.259
AT ITER 8741 NEW BEST:: SOT 16098 SOS 7257 HAS SOPS 7257 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2328.257
AT ITER 8946 NEW BEST:: SOT 16098 SOS 7247 HAS SOPS 7247 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2328.247
AT ITER 9057 NEW BEST:: SOT 16108 SOS 7255 HAS SOPS 7255 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2327.255
AT ITER 9069 NEW BEST:: SOT 16107 SOS 7245 HAS SOPS 7245 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2321.245
AT ITER 9096 NEW BEST:: SOT 16107 SOS 7244 HAS SOPS 7244 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2321.244
AT ITER 9246 NEW BEST:: SOT 16098 SOS 7230 HAS SOPS 7230 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2317.23
AT ITER 9301 NEW BEST:: SOT 16099 SOS 7232 HAS SOPS 7232 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2316.232
AT ITER 9455 NEW BEST:: SOT 16097 SOS 7230 HAS SOPS 7230 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2316.23
AT ITER 9508 NEW BEST:: SOT 16092 SOS 7228 HAS SOPS 7228 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2316.228
AT ITER 9609 NEW BEST:: SOT 16074 SOS 7203 HAS SOPS 7203 HAS SOUS 2301 HAS SOUPS 2301 WITH SCORE 2308.203
AT ITER 9754 NEW BEST:: SOT 16064 SOS 7191 HAS SOPS 7191 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2300.191
AT ITER 9758 NEW BEST:: SOT 16062 SOS 7189 HAS SOPS 7189 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2296.189
AT ITER 9767 NEW BEST:: SOT 16060 SOS 7189 HAS SOPS 7189 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2295.189
AT ITER 9775 NEW BEST:: SOT 16059 SOS 7187 HAS SOPS 7187 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2291.187
AT ITER 9906 NEW BEST:: SOT 16058 SOS 7185 HAS SOPS 7185 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2290.185
AT ITER 9958 NEW BEST:: SOT 16054 SOS 7181 HAS SOPS 7181 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2288.181
STATE_SPACE STATES 2607925383 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 29 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 30057504344 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679307215098

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

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is UtilityControlRoom-COL-Z2T3N08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912711200976"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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