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.r139-smll-167819422500296.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 DiscoveryGPU-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819422500296
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 6.3K Feb 25 13:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 25 13:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 25 13:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 13:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 13:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:59 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 46K Mar 5 18:22 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 1678360029782

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=DiscoveryGPU-PT-06b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 11:07:12] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 11:07:12] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 11:07:12] [INFO ] Load time of PNML (sax parser for PT used): 77 ms
[2023-03-09 11:07:12] [INFO ] Transformed 184 places.
[2023-03-09 11:07:12] [INFO ] Transformed 194 transitions.
[2023-03-09 11:07:12] [INFO ] Found NUPN structural information;
[2023-03-09 11:07:12] [INFO ] Parsed PT model containing 184 places and 194 transitions and 503 arcs in 188 ms.
[2023-03-09 11:07:12] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 184 places, 194 transitions and 503 arcs took 8 ms.
Total runtime 240 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 06b
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: 184 places, 194 transitions, 503 arcs.
AT ITER 0 NEW BEST:: SOT 24109 SOS 10828 HAS SOPS 10828 HAS SOUS 9796 HAS SOUPS 9796 WITH SCORE 9806.828
AT ITER 2 NEW BEST:: SOT 24087 SOS 10806 HAS SOPS 10806 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9783.806
AT ITER 17 NEW BEST:: SOT 24054 SOS 10777 HAS SOPS 10777 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9783.777
AT ITER 19 NEW BEST:: SOT 24054 SOS 10766 HAS SOPS 10766 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9783.766
AT ITER 21 NEW BEST:: SOT 24053 SOS 10764 HAS SOPS 10764 HAS SOUS 9771 HAS SOUPS 9771 WITH SCORE 9781.764
AT ITER 25 NEW BEST:: SOT 23933 SOS 10584 HAS SOPS 10584 HAS SOUS 9591 HAS SOUPS 9591 WITH SCORE 9601.584
AT ITER 30 NEW BEST:: SOT 23905 SOS 10440 HAS SOPS 10440 HAS SOUS 9549 HAS SOUPS 9549 WITH SCORE 9559.44
AT ITER 32 NEW BEST:: SOT 23859 SOS 10352 HAS SOPS 10352 HAS SOUS 9503 HAS SOUPS 9503 WITH SCORE 9513.352
AT ITER 39 NEW BEST:: SOT 23859 SOS 10323 HAS SOPS 10323 HAS SOUS 9502 HAS SOUPS 9502 WITH SCORE 9512.323
AT ITER 41 NEW BEST:: SOT 23816 SOS 10279 HAS SOPS 10279 HAS SOUS 9458 HAS SOUPS 9458 WITH SCORE 9468.279
AT ITER 43 NEW BEST:: SOT 23777 SOS 10240 HAS SOPS 10240 HAS SOUS 9419 HAS SOUPS 9419 WITH SCORE 9429.24
AT ITER 44 NEW BEST:: SOT 23757 SOS 10238 HAS SOPS 10238 HAS SOUS 9417 HAS SOUPS 9417 WITH SCORE 9427.238
AT ITER 46 NEW BEST:: SOT 23734 SOS 10237 HAS SOPS 10237 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9426.237
AT ITER 49 NEW BEST:: SOT 23730 SOS 10174 HAS SOPS 10174 HAS SOUS 9407 HAS SOUPS 9407 WITH SCORE 9417.174
AT ITER 50 NEW BEST:: SOT 23703 SOS 10147 HAS SOPS 10147 HAS SOUS 9380 HAS SOUPS 9380 WITH SCORE 9390.147
AT ITER 55 NEW BEST:: SOT 23681 SOS 10013 HAS SOPS 10013 HAS SOUS 9246 HAS SOUPS 9246 WITH SCORE 9256.013
AT ITER 62 NEW BEST:: SOT 23680 SOS 10011 HAS SOPS 10011 HAS SOUS 9244 HAS SOUPS 9244 WITH SCORE 9254.011
AT ITER 67 NEW BEST:: SOT 23641 SOS 9963 HAS SOPS 9963 HAS SOUS 9175 HAS SOUPS 9175 WITH SCORE 9184.963
AT ITER 73 NEW BEST:: SOT 23620 SOS 9870 HAS SOPS 9870 HAS SOUS 9133 HAS SOUPS 9133 WITH SCORE 9142.87
AT ITER 78 NEW BEST:: SOT 23583 SOS 9786 HAS SOPS 9786 HAS SOUS 9058 HAS SOUPS 9058 WITH SCORE 9067.786
AT ITER 90 NEW BEST:: SOT 23583 SOS 9772 HAS SOPS 9772 HAS SOUS 9044 HAS SOUPS 9044 WITH SCORE 9053.772
AT ITER 98 NEW BEST:: SOT 23523 SOS 9772 HAS SOPS 9772 HAS SOUS 8994 HAS SOUPS 8994 WITH SCORE 9003.772
AT ITER 103 NEW BEST:: SOT 23523 SOS 9765 HAS SOPS 9765 HAS SOUS 8987 HAS SOUPS 8987 WITH SCORE 8996.765
AT ITER 105 NEW BEST:: SOT 23556 SOS 9753 HAS SOPS 9753 HAS SOUS 8961 HAS SOUPS 8961 WITH SCORE 8970.753
AT ITER 107 NEW BEST:: SOT 23502 SOS 9753 HAS SOPS 9753 HAS SOUS 8914 HAS SOUPS 8914 WITH SCORE 8923.753
AT ITER 110 NEW BEST:: SOT 23477 SOS 9703 HAS SOPS 9703 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8873.703
AT ITER 112 NEW BEST:: SOT 23477 SOS 9697 HAS SOPS 9697 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8873.697
AT ITER 120 NEW BEST:: SOT 23477 SOS 9677 HAS SOPS 9677 HAS SOUS 8843 HAS SOUPS 8843 WITH SCORE 8852.677
AT ITER 125 NEW BEST:: SOT 23461 SOS 9652 HAS SOPS 9652 HAS SOUS 8818 HAS SOUPS 8818 WITH SCORE 8827.652
AT ITER 131 NEW BEST:: SOT 23435 SOS 9600 HAS SOPS 9600 HAS SOUS 8766 HAS SOUPS 8766 WITH SCORE 8775.6
AT ITER 135 NEW BEST:: SOT 23434 SOS 9599 HAS SOPS 9599 HAS SOUS 8764 HAS SOUPS 8764 WITH SCORE 8773.599
AT ITER 145 NEW BEST:: SOT 23422 SOS 9575 HAS SOPS 9575 HAS SOUS 8740 HAS SOUPS 8740 WITH SCORE 8749.575
AT ITER 148 NEW BEST:: SOT 23422 SOS 9550 HAS SOPS 9550 HAS SOUS 8740 HAS SOUPS 8740 WITH SCORE 8749.55
AT ITER 157 NEW BEST:: SOT 23415 SOS 9540 HAS SOPS 9540 HAS SOUS 8736 HAS SOUPS 8736 WITH SCORE 8745.54
AT ITER 159 NEW BEST:: SOT 23423 SOS 9528 HAS SOPS 9528 HAS SOUS 8717 HAS SOUPS 8717 WITH SCORE 8726.528
AT ITER 165 NEW BEST:: SOT 23427 SOS 9521 HAS SOPS 9521 HAS SOUS 8717 HAS SOUPS 8717 WITH SCORE 8726.521
AT ITER 169 NEW BEST:: SOT 23427 SOS 9520 HAS SOPS 9520 HAS SOUS 8717 HAS SOUPS 8717 WITH SCORE 8726.52
AT ITER 173 NEW BEST:: SOT 23404 SOS 9532 HAS SOPS 9532 HAS SOUS 8710 HAS SOUPS 8710 WITH SCORE 8719.532
AT ITER 174 NEW BEST:: SOT 23404 SOS 9528 HAS SOPS 9528 HAS SOUS 8706 HAS SOUPS 8706 WITH SCORE 8715.528
AT ITER 175 NEW BEST:: SOT 23388 SOS 9515 HAS SOPS 9515 HAS SOUS 8693 HAS SOUPS 8693 WITH SCORE 8702.515
AT ITER 180 NEW BEST:: SOT 23351 SOS 9403 HAS SOPS 9403 HAS SOUS 8581 HAS SOUPS 8581 WITH SCORE 8590.403
AT ITER 188 NEW BEST:: SOT 23337 SOS 9334 HAS SOPS 9334 HAS SOUS 8566 HAS SOUPS 8566 WITH SCORE 8575.334
AT ITER 191 NEW BEST:: SOT 23317 SOS 9311 HAS SOPS 9311 HAS SOUS 8543 HAS SOUPS 8543 WITH SCORE 8552.311
AT ITER 196 NEW BEST:: SOT 23290 SOS 9218 HAS SOPS 9218 HAS SOUS 8463 HAS SOUPS 8463 WITH SCORE 8472.218
AT ITER 206 NEW BEST:: SOT 23251 SOS 9186 HAS SOPS 9186 HAS SOUS 8404 HAS SOUPS 8404 WITH SCORE 8413.186
AT ITER 211 NEW BEST:: SOT 23251 SOS 9176 HAS SOPS 9176 HAS SOUS 8394 HAS SOUPS 8394 WITH SCORE 8403.176
AT ITER 214 NEW BEST:: SOT 23249 SOS 9170 HAS SOPS 9170 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8401.17
AT ITER 216 NEW BEST:: SOT 23237 SOS 9146 HAS SOPS 9146 HAS SOUS 8368 HAS SOUPS 8368 WITH SCORE 8377.146
AT ITER 227 NEW BEST:: SOT 23237 SOS 9135 HAS SOPS 9135 HAS SOUS 8368 HAS SOUPS 8368 WITH SCORE 8377.135
AT ITER 241 NEW BEST:: SOT 23233 SOS 9127 HAS SOPS 9127 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8369.127
AT ITER 244 NEW BEST:: SOT 23219 SOS 9097 HAS SOPS 9097 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8354.097
AT ITER 246 NEW BEST:: SOT 23218 SOS 9096 HAS SOPS 9096 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8354.096
AT ITER 250 NEW BEST:: SOT 23237 SOS 9080 HAS SOPS 9080 HAS SOUS 8329 HAS SOUPS 8329 WITH SCORE 8338.08
AT ITER 252 NEW BEST:: SOT 23224 SOS 9063 HAS SOPS 9063 HAS SOUS 8312 HAS SOUPS 8312 WITH SCORE 8321.063
AT ITER 259 NEW BEST:: SOT 23212 SOS 9051 HAS SOPS 9051 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8309.051
AT ITER 260 NEW BEST:: SOT 23182 SOS 9009 HAS SOPS 9009 HAS SOUS 8258 HAS SOUPS 8258 WITH SCORE 8267.009
AT ITER 272 NEW BEST:: SOT 23141 SOS 8980 HAS SOPS 8980 HAS SOUS 8240 HAS SOUPS 8240 WITH SCORE 8248.98
AT ITER 276 NEW BEST:: SOT 23138 SOS 8979 HAS SOPS 8979 HAS SOUS 8239 HAS SOUPS 8239 WITH SCORE 8247.979
AT ITER 280 NEW BEST:: SOT 23138 SOS 8970 HAS SOPS 8970 HAS SOUS 8234 HAS SOUPS 8234 WITH SCORE 8242.97
AT ITER 282 NEW BEST:: SOT 23139 SOS 8948 HAS SOPS 8948 HAS SOUS 8212 HAS SOUPS 8212 WITH SCORE 8220.948
AT ITER 285 NEW BEST:: SOT 23135 SOS 8944 HAS SOPS 8944 HAS SOUS 8208 HAS SOUPS 8208 WITH SCORE 8216.944
AT ITER 288 NEW BEST:: SOT 23134 SOS 8942 HAS SOPS 8942 HAS SOUS 8206 HAS SOUPS 8206 WITH SCORE 8214.942
AT ITER 301 NEW BEST:: SOT 22337 SOS 10040 HAS SOPS 10040 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7514.04
AT ITER 304 NEW BEST:: SOT 22332 SOS 10035 HAS SOPS 10035 HAS SOUS 7499 HAS SOUPS 7499 WITH SCORE 7509.035
AT ITER 306 NEW BEST:: SOT 22330 SOS 10031 HAS SOPS 10031 HAS SOUS 7487 HAS SOUPS 7487 WITH SCORE 7497.031
AT ITER 330 NEW BEST:: SOT 22324 SOS 9258 HAS SOPS 9258 HAS SOUS 7475 HAS SOUPS 7475 WITH SCORE 7484.258
AT ITER 341 NEW BEST:: SOT 22323 SOS 9257 HAS SOPS 9257 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7482.257
AT ITER 349 NEW BEST:: SOT 22090 SOS 9060 HAS SOPS 9060 HAS SOUS 7276 HAS SOUPS 7276 WITH SCORE 7285.06
AT ITER 364 NEW BEST:: SOT 22094 SOS 9047 HAS SOPS 9047 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7270.047
AT ITER 372 NEW BEST:: SOT 22079 SOS 9036 HAS SOPS 9036 HAS SOUS 7250 HAS SOUPS 7250 WITH SCORE 7259.036
AT ITER 380 NEW BEST:: SOT 22081 SOS 9034 HAS SOPS 9034 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7257.034
AT ITER 401 NEW BEST:: SOT 22016 SOS 8980 HAS SOPS 8980 HAS SOUS 7194 HAS SOUPS 7194 WITH SCORE 7202.98
AT ITER 402 NEW BEST:: SOT 22005 SOS 8979 HAS SOPS 8979 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7201.979
AT ITER 407 NEW BEST:: SOT 21964 SOS 8938 HAS SOPS 8938 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7160.938
AT ITER 408 NEW BEST:: SOT 21964 SOS 8936 HAS SOPS 8936 HAS SOUS 7151 HAS SOUPS 7151 WITH SCORE 7159.936
AT ITER 411 NEW BEST:: SOT 21963 SOS 8934 HAS SOPS 8934 HAS SOUS 7149 HAS SOUPS 7149 WITH SCORE 7157.934
AT ITER 419 NEW BEST:: SOT 21879 SOS 8852 HAS SOPS 8852 HAS SOUS 7071 HAS SOUPS 7071 WITH SCORE 7079.852
AT ITER 436 NEW BEST:: SOT 21876 SOS 8871 HAS SOPS 8871 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7073.871
AT ITER 453 NEW BEST:: SOT 21875 SOS 8848 HAS SOPS 8848 HAS SOUS 7063 HAS SOUPS 7063 WITH SCORE 7071.848
AT ITER 469 NEW BEST:: SOT 21850 SOS 8808 HAS SOPS 8808 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7031.808
AT ITER 475 NEW BEST:: SOT 21847 SOS 8805 HAS SOPS 8805 HAS SOUS 7017 HAS SOUPS 7017 WITH SCORE 7025.805
AT ITER 477 NEW BEST:: SOT 21784 SOS 8679 HAS SOPS 8679 HAS SOUS 6960 HAS SOUPS 6960 WITH SCORE 6968.679
AT ITER 480 NEW BEST:: SOT 21776 SOS 8603 HAS SOPS 8603 HAS SOUS 6949 HAS SOUPS 6949 WITH SCORE 6957.603
AT ITER 497 NEW BEST:: SOT 21753 SOS 8580 HAS SOPS 8580 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6953.58
AT ITER 501 NEW BEST:: SOT 21719 SOS 8546 HAS SOPS 8546 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6912.546
AT ITER 502 NEW BEST:: SOT 21707 SOS 8543 HAS SOPS 8543 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6909.543
AT ITER 525 NEW BEST:: SOT 21718 SOS 8515 HAS SOPS 8515 HAS SOUS 6878 HAS SOUPS 6878 WITH SCORE 6886.515
AT ITER 535 NEW BEST:: SOT 21669 SOS 8530 HAS SOPS 8530 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6791.53
AT ITER 549 NEW BEST:: SOT 21626 SOS 8546 HAS SOPS 8546 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6748.546
AT ITER 555 NEW BEST:: SOT 21618 SOS 8530 HAS SOPS 8530 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6748.53
AT ITER 561 NEW BEST:: SOT 21609 SOS 8524 HAS SOPS 8524 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6742.524
AT ITER 568 NEW BEST:: SOT 21609 SOS 8514 HAS SOPS 8514 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6742.514
AT ITER 571 NEW BEST:: SOT 21593 SOS 8496 HAS SOPS 8496 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6740.496
AT ITER 587 NEW BEST:: SOT 21591 SOS 8492 HAS SOPS 8492 HAS SOUS 6728 HAS SOUPS 6728 WITH SCORE 6736.492
AT ITER 594 NEW BEST:: SOT 21590 SOS 8490 HAS SOPS 8490 HAS SOUS 6725 HAS SOUPS 6725 WITH SCORE 6733.49
AT ITER 599 NEW BEST:: SOT 21589 SOS 8488 HAS SOPS 8488 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6731.488
AT ITER 629 NEW BEST:: SOT 21569 SOS 8548 HAS SOPS 8548 HAS SOUS 6703 HAS SOUPS 6703 WITH SCORE 6711.548
AT ITER 630 NEW BEST:: SOT 21569 SOS 8523 HAS SOPS 8523 HAS SOUS 6678 HAS SOUPS 6678 WITH SCORE 6686.523
AT ITER 633 NEW BEST:: SOT 21580 SOS 8474 HAS SOPS 8474 HAS SOUS 6661 HAS SOUPS 6661 WITH SCORE 6669.474
AT ITER 636 NEW BEST:: SOT 21587 SOS 8418 HAS SOPS 8418 HAS SOUS 6661 HAS SOUPS 6661 WITH SCORE 6669.418
AT ITER 640 NEW BEST:: SOT 21587 SOS 8411 HAS SOPS 8411 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6662.411
AT ITER 646 NEW BEST:: SOT 21548 SOS 8356 HAS SOPS 8356 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6607.356
AT ITER 650 NEW BEST:: SOT 21543 SOS 8359 HAS SOPS 8359 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6605.359
AT ITER 651 NEW BEST:: SOT 21514 SOS 8312 HAS SOPS 8312 HAS SOUS 6558 HAS SOUPS 6558 WITH SCORE 6566.312
AT ITER 658 NEW BEST:: SOT 21511 SOS 8306 HAS SOPS 8306 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6560.306
AT ITER 667 NEW BEST:: SOT 21498 SOS 8330 HAS SOPS 8330 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6547.33
AT ITER 697 NEW BEST:: SOT 21469 SOS 8204 HAS SOPS 8204 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6484.204
AT ITER 705 NEW BEST:: SOT 21476 SOS 8201 HAS SOPS 8201 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6481.201
AT ITER 709 NEW BEST:: SOT 21442 SOS 8120 HAS SOPS 8120 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6403.12
AT ITER 722 NEW BEST:: SOT 21433 SOS 8102 HAS SOPS 8102 HAS SOUS 6371 HAS SOUPS 6371 WITH SCORE 6379.102
AT ITER 725 NEW BEST:: SOT 21420 SOS 8101 HAS SOPS 8101 HAS SOUS 6358 HAS SOUPS 6358 WITH SCORE 6366.101
AT ITER 728 NEW BEST:: SOT 21393 SOS 8064 HAS SOPS 8064 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6324.064
AT ITER 729 NEW BEST:: SOT 21347 SOS 7908 HAS SOPS 7908 HAS SOUS 6205 HAS SOUPS 6205 WITH SCORE 6212.908
AT ITER 734 NEW BEST:: SOT 21345 SOS 7906 HAS SOPS 7906 HAS SOUS 6203 HAS SOUPS 6203 WITH SCORE 6210.906
AT ITER 737 NEW BEST:: SOT 21345 SOS 7852 HAS SOPS 7852 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6183.852
AT ITER 739 NEW BEST:: SOT 21344 SOS 7873 HAS SOPS 7873 HAS SOUS 6165 HAS SOUPS 6165 WITH SCORE 6172.873
AT ITER 743 NEW BEST:: SOT 21330 SOS 7859 HAS SOPS 7859 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6147.859
AT ITER 753 NEW BEST:: SOT 21330 SOS 7858 HAS SOPS 7858 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6147.858
AT ITER 757 NEW BEST:: SOT 21332 SOS 7837 HAS SOPS 7837 HAS SOUS 6128 HAS SOUPS 6128 WITH SCORE 6135.837
AT ITER 775 NEW BEST:: SOT 21287 SOS 7777 HAS SOPS 7777 HAS SOUS 6038 HAS SOUPS 6038 WITH SCORE 6045.777
AT ITER 779 NEW BEST:: SOT 21254 SOS 7749 HAS SOPS 7749 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6033.749
AT ITER 798 NEW BEST:: SOT 21254 SOS 7746 HAS SOPS 7746 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6033.746
AT ITER 809 NEW BEST:: SOT 21242 SOS 7688 HAS SOPS 7688 HAS SOUS 6004 HAS SOUPS 6004 WITH SCORE 6011.688
AT ITER 823 NEW BEST:: SOT 21231 SOS 7671 HAS SOPS 7671 HAS SOUS 5991 HAS SOUPS 5991 WITH SCORE 5998.671
AT ITER 825 NEW BEST:: SOT 21223 SOS 7650 HAS SOPS 7650 HAS SOUS 5970 HAS SOUPS 5970 WITH SCORE 5977.65
AT ITER 836 NEW BEST:: SOT 21223 SOS 7647 HAS SOPS 7647 HAS SOUS 5967 HAS SOUPS 5967 WITH SCORE 5974.647
AT ITER 843 NEW BEST:: SOT 21219 SOS 7628 HAS SOPS 7628 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5970.628
AT ITER 863 NEW BEST:: SOT 21214 SOS 7618 HAS SOPS 7618 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5960.618
AT ITER 872 NEW BEST:: SOT 21219 SOS 7628 HAS SOPS 7628 HAS SOUS 5944 HAS SOUPS 5944 WITH SCORE 5951.628
AT ITER 895 NEW BEST:: SOT 21219 SOS 7454 HAS SOPS 7454 HAS SOUS 5938 HAS SOUPS 5938 WITH SCORE 5945.454
AT ITER 900 NEW BEST:: SOT 21240 SOS 7517 HAS SOPS 7517 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5929.517
AT ITER 920 NEW BEST:: SOT 21240 SOS 7517 HAS SOPS 7517 HAS SOUS 5921 HAS SOUPS 5921 WITH SCORE 5928.517
AT ITER 927 NEW BEST:: SOT 21240 SOS 7481 HAS SOPS 7481 HAS SOUS 5890 HAS SOUPS 5890 WITH SCORE 5897.481
AT ITER 938 NEW BEST:: SOT 21176 SOS 7423 HAS SOPS 7423 HAS SOUS 5842 HAS SOUPS 5842 WITH SCORE 5849.423
AT ITER 941 NEW BEST:: SOT 21170 SOS 7417 HAS SOPS 7417 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5843.417
AT ITER 970 NEW BEST:: SOT 21165 SOS 7412 HAS SOPS 7412 HAS SOUS 5831 HAS SOUPS 5831 WITH SCORE 5838.412
AT ITER 981 NEW BEST:: SOT 21144 SOS 7396 HAS SOPS 7396 HAS SOUS 5815 HAS SOUPS 5815 WITH SCORE 5822.396
AT ITER 994 NEW BEST:: SOT 21128 SOS 7371 HAS SOPS 7371 HAS SOUS 5794 HAS SOUPS 5794 WITH SCORE 5801.371
AT ITER 997 NEW BEST:: SOT 21125 SOS 7365 HAS SOPS 7365 HAS SOUS 5770 HAS SOUPS 5770 WITH SCORE 5777.365
AT ITER 998 NEW BEST:: SOT 21117 SOS 7349 HAS SOPS 7349 HAS SOUS 5754 HAS SOUPS 5754 WITH SCORE 5761.349
AT ITER 1004 NEW BEST:: SOT 21112 SOS 7339 HAS SOPS 7339 HAS SOUS 5744 HAS SOUPS 5744 WITH SCORE 5751.339
AT ITER 1027 NEW BEST:: SOT 21085 SOS 7274 HAS SOPS 7274 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5658.274
AT ITER 1032 NEW BEST:: SOT 21078 SOS 7260 HAS SOPS 7260 HAS SOUS 5637 HAS SOUPS 5637 WITH SCORE 5644.26
AT ITER 1034 NEW BEST:: SOT 21041 SOS 7216 HAS SOPS 7216 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5619.216
AT ITER 1048 NEW BEST:: SOT 21031 SOS 7189 HAS SOPS 7189 HAS SOUS 5585 HAS SOUPS 5585 WITH SCORE 5592.189
AT ITER 1074 NEW BEST:: SOT 21020 SOS 7220 HAS SOPS 7220 HAS SOUS 5563 HAS SOUPS 5563 WITH SCORE 5570.22
AT ITER 1104 NEW BEST:: SOT 21038 SOS 7183 HAS SOPS 7183 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5549.183
AT ITER 1146 NEW BEST:: SOT 21031 SOS 7169 HAS SOPS 7169 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5535.169
AT ITER 1154 NEW BEST:: SOT 21022 SOS 7125 HAS SOPS 7125 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5503.125
AT ITER 1171 NEW BEST:: SOT 21018 SOS 7104 HAS SOPS 7104 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5495.104
AT ITER 1180 NEW BEST:: SOT 21018 SOS 7104 HAS SOPS 7104 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5485.104
AT ITER 1199 NEW BEST:: SOT 21004 SOS 7098 HAS SOPS 7098 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5479.098
AT ITER 1219 NEW BEST:: SOT 21004 SOS 7106 HAS SOPS 7106 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5469.106
AT ITER 1223 NEW BEST:: SOT 20992 SOS 7094 HAS SOPS 7094 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5466.094
AT ITER 1255 NEW BEST:: SOT 20982 SOS 7074 HAS SOPS 7074 HAS SOUS 5449 HAS SOUPS 5449 WITH SCORE 5456.074
AT ITER 1257 NEW BEST:: SOT 20982 SOS 7073 HAS SOPS 7073 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5455.073
AT ITER 1271 NEW BEST:: SOT 20977 SOS 7068 HAS SOPS 7068 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5450.068
AT ITER 1277 NEW BEST:: SOT 20967 SOS 7059 HAS SOPS 7059 HAS SOUS 5422 HAS SOUPS 5422 WITH SCORE 5429.059
AT ITER 1288 NEW BEST:: SOT 20965 SOS 7074 HAS SOPS 7074 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5425.074
AT ITER 1304 NEW BEST:: SOT 20956 SOS 7054 HAS SOPS 7054 HAS SOUS 5392 HAS SOUPS 5392 WITH SCORE 5399.054
AT ITER 1359 NEW BEST:: SOT 20947 SOS 7047 HAS SOPS 7047 HAS SOUS 5385 HAS SOUPS 5385 WITH SCORE 5392.047
AT ITER 1369 NEW BEST:: SOT 20946 SOS 7046 HAS SOPS 7046 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5390.046
AT ITER 1399 NEW BEST:: SOT 20944 SOS 7036 HAS SOPS 7036 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5390.036
AT ITER 1414 NEW BEST:: SOT 20944 SOS 7028 HAS SOPS 7028 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5390.028
AT ITER 1421 NEW BEST:: SOT 20929 SOS 7027 HAS SOPS 7027 HAS SOUS 5379 HAS SOUPS 5379 WITH SCORE 5386.027
AT ITER 1430 NEW BEST:: SOT 20923 SOS 7015 HAS SOPS 7015 HAS SOUS 5367 HAS SOUPS 5367 WITH SCORE 5374.015
AT ITER 1451 NEW BEST:: SOT 20923 SOS 7009 HAS SOPS 7009 HAS SOUS 5367 HAS SOUPS 5367 WITH SCORE 5374.009
AT ITER 1458 NEW BEST:: SOT 20919 SOS 7005 HAS SOPS 7005 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5370.005
AT ITER 1472 NEW BEST:: SOT 20908 SOS 6994 HAS SOPS 6994 HAS SOUS 5353 HAS SOUPS 5353 WITH SCORE 5359.994
AT ITER 1475 NEW BEST:: SOT 20905 SOS 6991 HAS SOPS 6991 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5356.991
AT ITER 1506 NEW BEST:: SOT 20905 SOS 6983 HAS SOPS 6983 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5356.983
AT ITER 1545 NEW BEST:: SOT 20901 SOS 6979 HAS SOPS 6979 HAS SOUS 5342 HAS SOUPS 5342 WITH SCORE 5348.979
AT ITER 1550 NEW BEST:: SOT 20901 SOS 6979 HAS SOPS 6979 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5333.979
AT ITER 1552 NEW BEST:: SOT 20894 SOS 6970 HAS SOPS 6970 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5324.97
AT ITER 1575 NEW BEST:: SOT 20886 SOS 6958 HAS SOPS 6958 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5312.958
AT ITER 1612 NEW BEST:: SOT 20881 SOS 6953 HAS SOPS 6953 HAS SOUS 5301 HAS SOUPS 5301 WITH SCORE 5307.953
AT ITER 1616 NEW BEST:: SOT 20871 SOS 6934 HAS SOPS 6934 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5296.934
AT ITER 1639 NEW BEST:: SOT 20867 SOS 6933 HAS SOPS 6933 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5295.933
AT ITER 1649 NEW BEST:: SOT 20863 SOS 6925 HAS SOPS 6925 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5273.925
AT ITER 1651 NEW BEST:: SOT 20830 SOS 6879 HAS SOPS 6879 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5227.879
AT ITER 1688 NEW BEST:: SOT 20830 SOS 6866 HAS SOPS 6866 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5225.866
AT ITER 1689 NEW BEST:: SOT 20828 SOS 6862 HAS SOPS 6862 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5221.862
AT ITER 1720 NEW BEST:: SOT 20828 SOS 6870 HAS SOPS 6870 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5217.87
AT ITER 1747 NEW BEST:: SOT 20825 SOS 6870 HAS SOPS 6870 HAS SOUS 5201 HAS SOUPS 5201 WITH SCORE 5207.87
AT ITER 1770 NEW BEST:: SOT 20797 SOS 6834 HAS SOPS 6834 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5206.834
AT ITER 1775 NEW BEST:: SOT 20793 SOS 6830 HAS SOPS 6830 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5198.83
AT ITER 1789 NEW BEST:: SOT 20791 SOS 6826 HAS SOPS 6826 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5195.826
AT ITER 1794 NEW BEST:: SOT 20774 SOS 6792 HAS SOPS 6792 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5172.792
AT ITER 1810 NEW BEST:: SOT 20770 SOS 6788 HAS SOPS 6788 HAS SOUS 5162 HAS SOUPS 5162 WITH SCORE 5168.788
AT ITER 1854 NEW BEST:: SOT 20744 SOS 6738 HAS SOPS 6738 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5152.738
AT ITER 1859 NEW BEST:: SOT 20743 SOS 6737 HAS SOPS 6737 HAS SOUS 5143 HAS SOUPS 5143 WITH SCORE 5149.737
AT ITER 1897 NEW BEST:: SOT 20740 SOS 6734 HAS SOPS 6734 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5143.734
AT ITER 1899 NEW BEST:: SOT 20730 SOS 6733 HAS SOPS 6733 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5142.733
AT ITER 1928 NEW BEST:: SOT 20729 SOS 6730 HAS SOPS 6730 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5140.73
AT ITER 1933 NEW BEST:: SOT 20728 SOS 6751 HAS SOPS 6751 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5138.751
AT ITER 1937 NEW BEST:: SOT 20728 SOS 6737 HAS SOPS 6737 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5124.737
AT ITER 1941 NEW BEST:: SOT 20691 SOS 6773 HAS SOPS 6773 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5102.773
AT ITER 1985 NEW BEST:: SOT 20700 SOS 6772 HAS SOPS 6772 HAS SOUS 5090 HAS SOUPS 5090 WITH SCORE 5096.772
AT ITER 1996 NEW BEST:: SOT 20646 SOS 6726 HAS SOPS 6726 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5050.726
AT ITER 1999 NEW BEST:: SOT 20646 SOS 6724 HAS SOPS 6724 HAS SOUS 5043 HAS SOUPS 5043 WITH SCORE 5049.724
AT ITER 2009 NEW BEST:: SOT 20645 SOS 6683 HAS SOPS 6683 HAS SOUS 5021 HAS SOUPS 5021 WITH SCORE 5027.683
AT ITER 2020 NEW BEST:: SOT 20631 SOS 6685 HAS SOPS 6685 HAS SOUS 5013 HAS SOUPS 5013 WITH SCORE 5019.685
AT ITER 2026 NEW BEST:: SOT 20639 SOS 6663 HAS SOPS 6663 HAS SOUS 4991 HAS SOUPS 4991 WITH SCORE 4997.663
AT ITER 2027 NEW BEST:: SOT 20638 SOS 6642 HAS SOPS 6642 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4996.642
AT ITER 2034 NEW BEST:: SOT 20635 SOS 6639 HAS SOPS 6639 HAS SOUS 4987 HAS SOUPS 4987 WITH SCORE 4993.639
AT ITER 2078 NEW BEST:: SOT 20635 SOS 6633 HAS SOPS 6633 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4987.633
AT ITER 2090 NEW BEST:: SOT 20633 SOS 6631 HAS SOPS 6631 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4985.631
AT ITER 2105 NEW BEST:: SOT 20627 SOS 6616 HAS SOPS 6616 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4964.616
AT ITER 2122 NEW BEST:: SOT 20628 SOS 6618 HAS SOPS 6618 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4941.618
AT ITER 2180 NEW BEST:: SOT 20620 SOS 6616 HAS SOPS 6616 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4925.616
AT ITER 2186 NEW BEST:: SOT 20621 SOS 6612 HAS SOPS 6612 HAS SOUS 4911 HAS SOUPS 4911 WITH SCORE 4917.612
AT ITER 2189 NEW BEST:: SOT 20621 SOS 6597 HAS SOPS 6597 HAS SOUS 4910 HAS SOUPS 4910 WITH SCORE 4916.597
AT ITER 2209 NEW BEST:: SOT 20623 SOS 6541 HAS SOPS 6541 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4862.541
AT ITER 2245 NEW BEST:: SOT 20623 SOS 6541 HAS SOPS 6541 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4856.541
AT ITER 2262 NEW BEST:: SOT 20621 SOS 6539 HAS SOPS 6539 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4850.539
AT ITER 2270 NEW BEST:: SOT 20670 SOS 6516 HAS SOPS 6516 HAS SOUS 4821 HAS SOUPS 4821 WITH SCORE 4827.516
AT ITER 2289 NEW BEST:: SOT 20675 SOS 6515 HAS SOPS 6515 HAS SOUS 4820 HAS SOUPS 4820 WITH SCORE 4826.515
AT ITER 2296 NEW BEST:: SOT 20672 SOS 6509 HAS SOPS 6509 HAS SOUS 4814 HAS SOUPS 4814 WITH SCORE 4820.509
AT ITER 2319 NEW BEST:: SOT 20672 SOS 6508 HAS SOPS 6508 HAS SOUS 4813 HAS SOUPS 4813 WITH SCORE 4819.508
AT ITER 2343 NEW BEST:: SOT 20662 SOS 6488 HAS SOPS 6488 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4799.488
AT ITER 2351 NEW BEST:: SOT 20653 SOS 6479 HAS SOPS 6479 HAS SOUS 4778 HAS SOUPS 4778 WITH SCORE 4784.479
AT ITER 2372 NEW BEST:: SOT 20652 SOS 6478 HAS SOPS 6478 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4783.478
AT ITER 2385 NEW BEST:: SOT 20645 SOS 6472 HAS SOPS 6472 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4773.472
AT ITER 2406 NEW BEST:: SOT 20638 SOS 6441 HAS SOPS 6441 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4757.441
AT ITER 2411 NEW BEST:: SOT 20622 SOS 6416 HAS SOPS 6416 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4725.416
AT ITER 2416 NEW BEST:: SOT 20632 SOS 6422 HAS SOPS 6422 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4720.422
AT ITER 2442 NEW BEST:: SOT 20607 SOS 6372 HAS SOPS 6372 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4696.372
AT ITER 2445 NEW BEST:: SOT 20598 SOS 6354 HAS SOPS 6354 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4678.354
AT ITER 2447 NEW BEST:: SOT 20597 SOS 6353 HAS SOPS 6353 HAS SOUS 4670 HAS SOUPS 4670 WITH SCORE 4676.353
AT ITER 2453 NEW BEST:: SOT 20552 SOS 6322 HAS SOPS 6322 HAS SOUS 4660 HAS SOUPS 4660 WITH SCORE 4666.322
AT ITER 2458 NEW BEST:: SOT 20551 SOS 6320 HAS SOPS 6320 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4664.32
AT ITER 2485 NEW BEST:: SOT 20546 SOS 6315 HAS SOPS 6315 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4659.315
AT ITER 2486 NEW BEST:: SOT 20534 SOS 6285 HAS SOPS 6285 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4647.285
AT ITER 2498 NEW BEST:: SOT 20508 SOS 6255 HAS SOPS 6255 HAS SOUS 4609 HAS SOUPS 4609 WITH SCORE 4615.255
AT ITER 2510 NEW BEST:: SOT 20493 SOS 6223 HAS SOPS 6223 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4595.223
AT ITER 2522 NEW BEST:: SOT 20493 SOS 6223 HAS SOPS 6223 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4594.223
AT ITER 2535 NEW BEST:: SOT 20489 SOS 6214 HAS SOPS 6214 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4588.214
AT ITER 2581 NEW BEST:: SOT 20490 SOS 6215 HAS SOPS 6215 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4583.215
AT ITER 2637 NEW BEST:: SOT 20488 SOS 6213 HAS SOPS 6213 HAS SOUS 4575 HAS SOUPS 4575 WITH SCORE 4581.213
AT ITER 2694 NEW BEST:: SOT 20485 SOS 6207 HAS SOPS 6207 HAS SOUS 4569 HAS SOUPS 4569 WITH SCORE 4575.207
AT ITER 2805 NEW BEST:: SOT 20482 SOS 6204 HAS SOPS 6204 HAS SOUS 4563 HAS SOUPS 4563 WITH SCORE 4569.204
AT ITER 2819 NEW BEST:: SOT 20472 SOS 6184 HAS SOPS 6184 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4556.184
AT ITER 2828 NEW BEST:: SOT 20471 SOS 6182 HAS SOPS 6182 HAS SOUS 4548 HAS SOUPS 4548 WITH SCORE 4554.182
AT ITER 2831 NEW BEST:: SOT 20477 SOS 6176 HAS SOPS 6176 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4551.176
AT ITER 2833 NEW BEST:: SOT 20453 SOS 6128 HAS SOPS 6128 HAS SOUS 4497 HAS SOUPS 4497 WITH SCORE 4503.128
AT ITER 2944 NEW BEST:: SOT 20454 SOS 6131 HAS SOPS 6131 HAS SOUS 4495 HAS SOUPS 4495 WITH SCORE 4501.131
AT ITER 2949 NEW BEST:: SOT 20468 SOS 6141 HAS SOPS 6141 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4493.141
AT ITER 2952 NEW BEST:: SOT 20468 SOS 6141 HAS SOPS 6141 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4492.141
AT ITER 2976 NEW BEST:: SOT 20466 SOS 6139 HAS SOPS 6139 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4488.139
AT ITER 2980 NEW BEST:: SOT 20461 SOS 6121 HAS SOPS 6121 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4462.121
AT ITER 3000 NEW BEST:: SOT 20461 SOS 6068 HAS SOPS 6068 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4462.068
AT ITER 3082 NEW BEST:: SOT 20453 SOS 6054 HAS SOPS 6054 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4448.054
AT ITER 3139 NEW BEST:: SOT 20445 SOS 6046 HAS SOPS 6046 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4432.046
AT ITER 3157 NEW BEST:: SOT 20445 SOS 6046 HAS SOPS 6046 HAS SOUS 4416 HAS SOUPS 4416 WITH SCORE 4422.046
AT ITER 3158 NEW BEST:: SOT 20441 SOS 6038 HAS SOPS 6038 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4419.038
AT ITER 3162 NEW BEST:: SOT 20417 SOS 5990 HAS SOPS 5990 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4382.99
AT ITER 3172 NEW BEST:: SOT 20410 SOS 5979 HAS SOPS 5979 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4371.979
AT ITER 3191 NEW BEST:: SOT 20401 SOS 5961 HAS SOPS 5961 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4347.961
AT ITER 3206 NEW BEST:: SOT 20400 SOS 5978 HAS SOPS 5978 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4345.978
AT ITER 3226 NEW BEST:: SOT 20392 SOS 5912 HAS SOPS 5912 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4329.912
AT ITER 3276 NEW BEST:: SOT 20390 SOS 5906 HAS SOPS 5906 HAS SOUS 4316 HAS SOUPS 4316 WITH SCORE 4321.906
AT ITER 3283 NEW BEST:: SOT 20390 SOS 5904 HAS SOPS 5904 HAS SOUS 4313 HAS SOUPS 4313 WITH SCORE 4318.904
AT ITER 3291 NEW BEST:: SOT 20382 SOS 5894 HAS SOPS 5894 HAS SOUS 4292 HAS SOUPS 4292 WITH SCORE 4297.894
AT ITER 3298 NEW BEST:: SOT 20380 SOS 5892 HAS SOPS 5892 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4295.892
AT ITER 3312 NEW BEST:: SOT 20366 SOS 5858 HAS SOPS 5858 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4275.858
AT ITER 3339 NEW BEST:: SOT 20350 SOS 6468 HAS SOPS 6468 HAS SOUS 4255 HAS SOUPS 4255 WITH SCORE 4261.468
AT ITER 3351 NEW BEST:: SOT 20346 SOS 6452 HAS SOPS 6452 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4257.452
AT ITER 3384 NEW BEST:: SOT 20346 SOS 6419 HAS SOPS 6419 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4257.419
AT ITER 3414 NEW BEST:: SOT 20345 SOS 6418 HAS SOPS 6418 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4255.418
AT ITER 3452 NEW BEST:: SOT 20311 SOS 6418 HAS SOPS 6418 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4221.418
AT ITER 3459 NEW BEST:: SOT 20306 SOS 6413 HAS SOPS 6413 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4221.413
AT ITER 3485 NEW BEST:: SOT 20295 SOS 6408 HAS SOPS 6408 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4216.408
AT ITER 3494 NEW BEST:: SOT 20293 SOS 6406 HAS SOPS 6406 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4216.406
AT ITER 3512 NEW BEST:: SOT 20290 SOS 6404 HAS SOPS 6404 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4214.404
AT ITER 3516 NEW BEST:: SOT 20288 SOS 6400 HAS SOPS 6400 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4210.4
AT ITER 3523 NEW BEST:: SOT 20284 SOS 6396 HAS SOPS 6396 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4204.396
AT ITER 3646 NEW BEST:: SOT 20284 SOS 6381 HAS SOPS 6381 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4204.381
AT ITER 3687 NEW BEST:: SOT 20284 SOS 6373 HAS SOPS 6373 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4204.373
AT ITER 3733 NEW BEST:: SOT 20284 SOS 6361 HAS SOPS 6361 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4204.361
AT ITER 3736 NEW BEST:: SOT 20281 SOS 6355 HAS SOPS 6355 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4197.355
AT ITER 3741 NEW BEST:: SOT 20274 SOS 6350 HAS SOPS 6350 HAS SOUS 4181 HAS SOUPS 4181 WITH SCORE 4187.35
AT ITER 3765 NEW BEST:: SOT 20270 SOS 6341 HAS SOPS 6341 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4179.341
AT ITER 3827 NEW BEST:: SOT 20270 SOS 6307 HAS SOPS 6307 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4178.307
AT ITER 3846 NEW BEST:: SOT 20268 SOS 6315 HAS SOPS 6315 HAS SOUS 4168 HAS SOUPS 4168 WITH SCORE 4174.315
AT ITER 3880 NEW BEST:: SOT 20260 SOS 6311 HAS SOPS 6311 HAS SOUS 4163 HAS SOUPS 4163 WITH SCORE 4169.311
AT ITER 3938 NEW BEST:: SOT 20262 SOS 6310 HAS SOPS 6310 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4164.31
AT ITER 3947 NEW BEST:: SOT 20260 SOS 6347 HAS SOPS 6347 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4162.347
AT ITER 3949 NEW BEST:: SOT 20235 SOS 6410 HAS SOPS 6410 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4142.41
AT ITER 4056 NEW BEST:: SOT 20233 SOS 6406 HAS SOPS 6406 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4138.406
AT ITER 4075 NEW BEST:: SOT 20222 SOS 6395 HAS SOPS 6395 HAS SOUS 4123 HAS SOUPS 4123 WITH SCORE 4129.395
AT ITER 4093 NEW BEST:: SOT 20201 SOS 6353 HAS SOPS 6353 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4120.353
AT ITER 4100 NEW BEST:: SOT 20195 SOS 6366 HAS SOPS 6366 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4114.366
AT ITER 4104 NEW BEST:: SOT 20182 SOS 6353 HAS SOPS 6353 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4101.353
AT ITER 4144 NEW BEST:: SOT 20181 SOS 6351 HAS SOPS 6351 HAS SOUS 4093 HAS SOUPS 4093 WITH SCORE 4099.351
AT ITER 4157 NEW BEST:: SOT 20180 SOS 6350 HAS SOPS 6350 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4097.35
AT ITER 4238 NEW BEST:: SOT 20180 SOS 6345 HAS SOPS 6345 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4097.345
AT ITER 4282 NEW BEST:: SOT 20168 SOS 6306 HAS SOPS 6306 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4069.306
AT ITER 4301 NEW BEST:: SOT 20147 SOS 6477 HAS SOPS 6477 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4048.477
AT ITER 4309 NEW BEST:: SOT 20147 SOS 6477 HAS SOPS 6477 HAS SOUS 4040 HAS SOUPS 4040 WITH SCORE 4046.477
AT ITER 4332 NEW BEST:: SOT 20145 SOS 6475 HAS SOPS 6475 HAS SOUS 4036 HAS SOUPS 4036 WITH SCORE 4042.475
AT ITER 4401 NEW BEST:: SOT 20145 SOS 6475 HAS SOPS 6475 HAS SOUS 4025 HAS SOUPS 4025 WITH SCORE 4031.475
AT ITER 4437 NEW BEST:: SOT 20145 SOS 6475 HAS SOPS 6475 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4030.475
AT ITER 4493 NEW BEST:: SOT 20129 SOS 6443 HAS SOPS 6443 HAS SOUS 4021 HAS SOUPS 4021 WITH SCORE 4027.443
AT ITER 4514 NEW BEST:: SOT 20128 SOS 6439 HAS SOPS 6439 HAS SOUS 4019 HAS SOUPS 4019 WITH SCORE 4025.439
AT ITER 4578 NEW BEST:: SOT 20127 SOS 6437 HAS SOPS 6437 HAS SOUS 4017 HAS SOUPS 4017 WITH SCORE 4023.437
AT ITER 4579 NEW BEST:: SOT 20099 SOS 6433 HAS SOPS 6433 HAS SOUS 3985 HAS SOUPS 3985 WITH SCORE 3991.433
AT ITER 4581 NEW BEST:: SOT 20098 SOS 6432 HAS SOPS 6432 HAS SOUS 3984 HAS SOUPS 3984 WITH SCORE 3990.432
AT ITER 4598 NEW BEST:: SOT 20098 SOS 6437 HAS SOPS 6437 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3989.437
AT ITER 4621 NEW BEST:: SOT 20087 SOS 6415 HAS SOPS 6415 HAS SOUS 3963 HAS SOUPS 3963 WITH SCORE 3969.415
AT ITER 4648 NEW BEST:: SOT 20088 SOS 6414 HAS SOPS 6414 HAS SOUS 3962 HAS SOUPS 3962 WITH SCORE 3968.414
AT ITER 4663 NEW BEST:: SOT 20085 SOS 6408 HAS SOPS 6408 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3959.408
AT ITER 4683 NEW BEST:: SOT 20082 SOS 6402 HAS SOPS 6402 HAS SOUS 3947 HAS SOUPS 3947 WITH SCORE 3953.402
AT ITER 4685 NEW BEST:: SOT 20110 SOS 6274 HAS SOPS 6274 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3933.274
AT ITER 4783 NEW BEST:: SOT 20110 SOS 6265 HAS SOPS 6265 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3933.265
AT ITER 4787 NEW BEST:: SOT 20106 SOS 6257 HAS SOPS 6257 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3923.257
AT ITER 4793 NEW BEST:: SOT 20106 SOS 6246 HAS SOPS 6246 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3917.246
AT ITER 4807 NEW BEST:: SOT 20106 SOS 6245 HAS SOPS 6245 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3917.245
AT ITER 4853 NEW BEST:: SOT 20106 SOS 6241 HAS SOPS 6241 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3913.241
AT ITER 4889 NEW BEST:: SOT 20104 SOS 6237 HAS SOPS 6237 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3909.237
AT ITER 4989 NEW BEST:: SOT 20101 SOS 6231 HAS SOPS 6231 HAS SOUS 3900 HAS SOUPS 3900 WITH SCORE 3906.231
AT ITER 5019 NEW BEST:: SOT 20100 SOS 6230 HAS SOPS 6230 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3905.23
AT ITER 5030 NEW BEST:: SOT 20099 SOS 6228 HAS SOPS 6228 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3903.228
AT ITER 5032 NEW BEST:: SOT 20057 SOS 6181 HAS SOPS 6181 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3870.181
AT ITER 5033 NEW BEST:: SOT 20055 SOS 6175 HAS SOPS 6175 HAS SOUS 3860 HAS SOUPS 3860 WITH SCORE 3866.175
AT ITER 5103 NEW BEST:: SOT 20047 SOS 6161 HAS SOPS 6161 HAS SOUS 3852 HAS SOUPS 3852 WITH SCORE 3858.161
AT ITER 5104 NEW BEST:: SOT 20047 SOS 6161 HAS SOPS 6161 HAS SOUS 3851 HAS SOUPS 3851 WITH SCORE 3857.161
AT ITER 5126 NEW BEST:: SOT 20045 SOS 6157 HAS SOPS 6157 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3840.157
AT ITER 5148 NEW BEST:: SOT 20042 SOS 6142 HAS SOPS 6142 HAS SOUS 3819 HAS SOUPS 3819 WITH SCORE 3825.142
AT ITER 5160 NEW BEST:: SOT 20036 SOS 6130 HAS SOPS 6130 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3817.13
AT ITER 5190 NEW BEST:: SOT 20036 SOS 6117 HAS SOPS 6117 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3817.117
AT ITER 5220 NEW BEST:: SOT 20035 SOS 6115 HAS SOPS 6115 HAS SOUS 3810 HAS SOUPS 3810 WITH SCORE 3816.115
AT ITER 5236 NEW BEST:: SOT 20033 SOS 6111 HAS SOPS 6111 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3812.111
AT ITER 5284 NEW BEST:: SOT 20028 SOS 6106 HAS SOPS 6106 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3807.106
AT ITER 5285 NEW BEST:: SOT 19999 SOS 6064 HAS SOPS 6064 HAS SOUS 3777 HAS SOUPS 3777 WITH SCORE 3783.064
AT ITER 5319 NEW BEST:: SOT 20000 SOS 6033 HAS SOPS 6033 HAS SOUS 3777 HAS SOUPS 3777 WITH SCORE 3783.033
AT ITER 5361 NEW BEST:: SOT 19999 SOS 6036 HAS SOPS 6036 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3782.036
AT ITER 5427 NEW BEST:: SOT 20000 SOS 6028 HAS SOPS 6028 HAS SOUS 3775 HAS SOUPS 3775 WITH SCORE 3781.028
AT ITER 5508 NEW BEST:: SOT 19997 SOS 6025 HAS SOPS 6025 HAS SOUS 3775 HAS SOUPS 3775 WITH SCORE 3781.025
AT ITER 5610 NEW BEST:: SOT 19982 SOS 6008 HAS SOPS 6008 HAS SOUS 3761 HAS SOUPS 3761 WITH SCORE 3767.008
AT ITER 5657 NEW BEST:: SOT 19979 SOS 6001 HAS SOPS 6001 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3766.001
AT ITER 5664 NEW BEST:: SOT 19975 SOS 5997 HAS SOPS 5997 HAS SOUS 3752 HAS SOUPS 3752 WITH SCORE 3757.997
AT ITER 5678 NEW BEST:: SOT 19975 SOS 5998 HAS SOPS 5998 HAS SOUS 3751 HAS SOUPS 3751 WITH SCORE 3756.998
AT ITER 5807 NEW BEST:: SOT 19968 SOS 5988 HAS SOPS 5988 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3746.988
AT ITER 5812 NEW BEST:: SOT 19951 SOS 5954 HAS SOPS 5954 HAS SOUS 3707 HAS SOUPS 3707 WITH SCORE 3712.954
AT ITER 5849 NEW BEST:: SOT 19946 SOS 5944 HAS SOPS 5944 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3702.944
AT ITER 5960 NEW BEST:: SOT 19946 SOS 5938 HAS SOPS 5938 HAS SOUS 3694 HAS SOUPS 3694 WITH SCORE 3699.938
AT ITER 6050 NEW BEST:: SOT 19941 SOS 5933 HAS SOPS 5933 HAS SOUS 3689 HAS SOUPS 3689 WITH SCORE 3694.933
AT ITER 6136 NEW BEST:: SOT 19940 SOS 5931 HAS SOPS 5931 HAS SOUS 3687 HAS SOUPS 3687 WITH SCORE 3692.931
AT ITER 6162 NEW BEST:: SOT 19938 SOS 5930 HAS SOPS 5930 HAS SOUS 3686 HAS SOUPS 3686 WITH SCORE 3691.93
AT ITER 6175 NEW BEST:: SOT 19936 SOS 5929 HAS SOPS 5929 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3687.929
AT ITER 6183 NEW BEST:: SOT 19935 SOS 5929 HAS SOPS 5929 HAS SOUS 3681 HAS SOUPS 3681 WITH SCORE 3686.929
AT ITER 6208 NEW BEST:: SOT 19931 SOS 5907 HAS SOPS 5907 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3678.907
AT ITER 6251 NEW BEST:: SOT 19929 SOS 5914 HAS SOPS 5914 HAS SOUS 3669 HAS SOUPS 3669 WITH SCORE 3674.914
AT ITER 6253 NEW BEST:: SOT 19933 SOS 5922 HAS SOPS 5922 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3673.922
AT ITER 6280 NEW BEST:: SOT 19933 SOS 5918 HAS SOPS 5918 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3669.918
AT ITER 6336 NEW BEST:: SOT 19925 SOS 5902 HAS SOPS 5902 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3661.902
AT ITER 6470 NEW BEST:: SOT 19925 SOS 5870 HAS SOPS 5870 HAS SOUS 3655 HAS SOUPS 3655 WITH SCORE 3660.87
AT ITER 6473 NEW BEST:: SOT 19925 SOS 5869 HAS SOPS 5869 HAS SOUS 3655 HAS SOUPS 3655 WITH SCORE 3660.869
AT ITER 6542 NEW BEST:: SOT 19924 SOS 5867 HAS SOPS 5867 HAS SOUS 3655 HAS SOUPS 3655 WITH SCORE 3660.867
AT ITER 6564 NEW BEST:: SOT 19922 SOS 5884 HAS SOPS 5884 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3656.884
AT ITER 6663 NEW BEST:: SOT 19899 SOS 5873 HAS SOPS 5873 HAS SOUS 3640 HAS SOUPS 3640 WITH SCORE 3645.873
AT ITER 6787 NEW BEST:: SOT 19897 SOS 5871 HAS SOPS 5871 HAS SOUS 3640 HAS SOUPS 3640 WITH SCORE 3645.871
AT ITER 6796 NEW BEST:: SOT 19898 SOS 5873 HAS SOPS 5873 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3643.873
AT ITER 6849 NEW BEST:: SOT 19890 SOS 5871 HAS SOPS 5871 HAS SOUS 3631 HAS SOUPS 3631 WITH SCORE 3636.871
AT ITER 6936 NEW BEST:: SOT 19883 SOS 5861 HAS SOPS 5861 HAS SOUS 3621 HAS SOUPS 3621 WITH SCORE 3626.861
AT ITER 7094 NEW BEST:: SOT 19877 SOS 5849 HAS SOPS 5849 HAS SOUS 3612 HAS SOUPS 3612 WITH SCORE 3617.849
AT ITER 7110 NEW BEST:: SOT 19877 SOS 5840 HAS SOPS 5840 HAS SOUS 3612 HAS SOUPS 3612 WITH SCORE 3617.84
AT ITER 7239 NEW BEST:: SOT 19875 SOS 5836 HAS SOPS 5836 HAS SOUS 3610 HAS SOUPS 3610 WITH SCORE 3615.836
AT ITER 7280 NEW BEST:: SOT 19867 SOS 5833 HAS SOPS 5833 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3612.833
AT ITER 7317 NEW BEST:: SOT 19866 SOS 5831 HAS SOPS 5831 HAS SOUS 3606 HAS SOUPS 3606 WITH SCORE 3611.831
AT ITER 7332 NEW BEST:: SOT 19862 SOS 5823 HAS SOPS 5823 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3603.823
AT ITER 7424 NEW BEST:: SOT 19863 SOS 5818 HAS SOPS 5818 HAS SOUS 3595 HAS SOUPS 3595 WITH SCORE 3600.818
AT ITER 7524 NEW BEST:: SOT 19861 SOS 5821 HAS SOPS 5821 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3596.821
AT ITER 7865 NEW BEST:: SOT 19850 SOS 5807 HAS SOPS 5807 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3583.807
AT ITER 7885 NEW BEST:: SOT 19850 SOS 5797 HAS SOPS 5797 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3583.797
AT ITER 7985 NEW BEST:: SOT 19846 SOS 5790 HAS SOPS 5790 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3576.79
AT ITER 8000 NEW BEST:: SOT 19846 SOS 5761 HAS SOPS 5761 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3576.761
AT ITER 8142 NEW BEST:: SOT 19844 SOS 5757 HAS SOPS 5757 HAS SOUS 3569 HAS SOUPS 3569 WITH SCORE 3574.757
AT ITER 8218 NEW BEST:: SOT 19844 SOS 5756 HAS SOPS 5756 HAS SOUS 3569 HAS SOUPS 3569 WITH SCORE 3574.756
AT ITER 8316 NEW BEST:: SOT 19842 SOS 5753 HAS SOPS 5753 HAS SOUS 3566 HAS SOUPS 3566 WITH SCORE 3571.753
AT ITER 8361 NEW BEST:: SOT 19839 SOS 5751 HAS SOPS 5751 HAS SOUS 3560 HAS SOUPS 3560 WITH SCORE 3565.751
AT ITER 8406 NEW BEST:: SOT 19838 SOS 5750 HAS SOPS 5750 HAS SOUS 3559 HAS SOUPS 3559 WITH SCORE 3564.75
AT ITER 8429 NEW BEST:: SOT 19838 SOS 5750 HAS SOPS 5750 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3563.75
AT ITER 8542 NEW BEST:: SOT 19836 SOS 5723 HAS SOPS 5723 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3559.723
AT ITER 8586 NEW BEST:: SOT 19833 SOS 5720 HAS SOPS 5720 HAS SOUS 3551 HAS SOUPS 3551 WITH SCORE 3556.72
AT ITER 8623 NEW BEST:: SOT 19827 SOS 5707 HAS SOPS 5707 HAS SOUS 3538 HAS SOUPS 3538 WITH SCORE 3543.707
AT ITER 8666 NEW BEST:: SOT 19827 SOS 5706 HAS SOPS 5706 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3542.706
AT ITER 8682 NEW BEST:: SOT 19824 SOS 5700 HAS SOPS 5700 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3536.7
AT ITER 8720 NEW BEST:: SOT 19825 SOS 5700 HAS SOPS 5700 HAS SOUS 3530 HAS SOUPS 3530 WITH SCORE 3535.7
AT ITER 8772 NEW BEST:: SOT 19822 SOS 5694 HAS SOPS 5694 HAS SOUS 3523 HAS SOUPS 3523 WITH SCORE 3528.694
AT ITER 8846 NEW BEST:: SOT 19822 SOS 5687 HAS SOPS 5687 HAS SOUS 3523 HAS SOUPS 3523 WITH SCORE 3528.687
AT ITER 9081 NEW BEST:: SOT 19817 SOS 5669 HAS SOPS 5669 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3515.669
AT ITER 9142 NEW BEST:: SOT 19819 SOS 5668 HAS SOPS 5668 HAS SOUS 3505 HAS SOUPS 3505 WITH SCORE 3510.668
AT ITER 9143 NEW BEST:: SOT 19819 SOS 5660 HAS SOPS 5660 HAS SOUS 3505 HAS SOUPS 3505 WITH SCORE 3510.66
AT ITER 9231 NEW BEST:: SOT 19819 SOS 5654 HAS SOPS 5654 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3509.654
AT ITER 9270 NEW BEST:: SOT 19819 SOS 5654 HAS SOPS 5654 HAS SOUS 3503 HAS SOUPS 3503 WITH SCORE 3508.654
AT ITER 9328 NEW BEST:: SOT 19818 SOS 5652 HAS SOPS 5652 HAS SOUS 3501 HAS SOUPS 3501 WITH SCORE 3506.652
AT ITER 9454 NEW BEST:: SOT 19816 SOS 5650 HAS SOPS 5650 HAS SOUS 3499 HAS SOUPS 3499 WITH SCORE 3504.65
AT ITER 9459 NEW BEST:: SOT 19815 SOS 5648 HAS SOPS 5648 HAS SOUS 3498 HAS SOUPS 3498 WITH SCORE 3503.648
AT ITER 9542 NEW BEST:: SOT 19815 SOS 5647 HAS SOPS 5647 HAS SOUS 3497 HAS SOUPS 3497 WITH SCORE 3502.647
AT ITER 9543 NEW BEST:: SOT 19794 SOS 5652 HAS SOPS 5652 HAS SOUS 3481 HAS SOUPS 3481 WITH SCORE 3486.652
AT ITER 9952 NEW BEST:: SOT 19797 SOS 5638 HAS SOPS 5638 HAS SOUS 3478 HAS SOUPS 3478 WITH SCORE 3483.638
STATE_SPACE STATES 6138708333 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 38660180816 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678360142306

--------------------
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="DiscoveryGPU-PT-06b"
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 DiscoveryGPU-PT-06b, 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 r139-smll-167819422500296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-06b.tgz
mv DiscoveryGPU-PT-06b 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 ;