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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 528K
-rw-r--r-- 1 mcc users 5.7K Feb 26 17:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 26 17:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 17:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 17:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 26 17:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 111K Feb 26 17:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 62K 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 1679495375515

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Raft-PT-05
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 05
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 133 places, 238 transitions, 864 arcs.
AT ITER 0 NEW BEST:: SOT 27317 SOS 17522 HAS SOPS 17502 HAS SOUS 13979 HAS SOUPS 13974 WITH SCORE 13991.522
AT ITER 1 NEW BEST:: SOT 27227 SOS 17375 HAS SOPS 17337 HAS SOUS 13830 HAS SOUPS 13809 WITH SCORE 13826.375
AT ITER 3 NEW BEST:: SOT 27227 SOS 17375 HAS SOPS 17337 HAS SOUS 13819 HAS SOUPS 13798 WITH SCORE 13815.375
AT ITER 4 NEW BEST:: SOT 27227 SOS 17375 HAS SOPS 17337 HAS SOUS 13802 HAS SOUPS 13781 WITH SCORE 13798.375
AT ITER 5 NEW BEST:: SOT 27227 SOS 17375 HAS SOPS 17337 HAS SOUS 13798 HAS SOUPS 13777 WITH SCORE 13794.375
AT ITER 8 NEW BEST:: SOT 26294 SOS 18159 HAS SOPS 17004 HAS SOUS 13662 HAS SOUPS 13537 WITH SCORE 13555.159
AT ITER 10 NEW BEST:: SOT 26294 SOS 18159 HAS SOPS 16952 HAS SOUS 13644 HAS SOUPS 13519 WITH SCORE 13537.159
AT ITER 13 NEW BEST:: SOT 26294 SOS 18097 HAS SOPS 16952 HAS SOUS 13644 HAS SOUPS 13519 WITH SCORE 13537.097
AT ITER 16 NEW BEST:: SOT 26294 SOS 18072 HAS SOPS 16927 HAS SOUS 13631 HAS SOUPS 13506 WITH SCORE 13524.072
AT ITER 23 NEW BEST:: SOT 26248 SOS 18114 HAS SOPS 16962 HAS SOUS 13629 HAS SOUPS 13498 WITH SCORE 13516.114
AT ITER 25 NEW BEST:: SOT 26148 SOS 18042 HAS SOPS 16876 HAS SOUS 13537 HAS SOUPS 13393 WITH SCORE 13411.042
AT ITER 29 NEW BEST:: SOT 26008 SOS 17880 HAS SOPS 16676 HAS SOUS 13367 HAS SOUPS 13193 WITH SCORE 13210.88
AT ITER 34 NEW BEST:: SOT 26008 SOS 17644 HAS SOPS 16440 HAS SOUS 13308 HAS SOUPS 13134 WITH SCORE 13151.644
AT ITER 37 NEW BEST:: SOT 26008 SOS 17546 HAS SOPS 16362 HAS SOUS 13306 HAS SOUPS 13132 WITH SCORE 13149.546
AT ITER 38 NEW BEST:: SOT 25890 SOS 17449 HAS SOPS 16224 HAS SOUS 13121 HAS SOUPS 12947 WITH SCORE 12964.449
AT ITER 41 NEW BEST:: SOT 25890 SOS 17154 HAS SOPS 15929 HAS SOUS 13080 HAS SOUPS 12906 WITH SCORE 12923.154
AT ITER 42 NEW BEST:: SOT 25775 SOS 17037 HAS SOPS 15812 HAS SOUS 12961 HAS SOUPS 12787 WITH SCORE 12804.037
AT ITER 46 NEW BEST:: SOT 25687 SOS 17118 HAS SOPS 15824 HAS SOUS 12838 HAS SOUPS 12664 WITH SCORE 12681.118
AT ITER 47 NEW BEST:: SOT 25687 SOS 17087 HAS SOPS 15793 HAS SOUS 12802 HAS SOUPS 12628 WITH SCORE 12645.087
AT ITER 48 NEW BEST:: SOT 25555 SOS 16932 HAS SOPS 15839 HAS SOUS 12752 HAS SOUPS 12584 WITH SCORE 12600.932
AT ITER 49 NEW BEST:: SOT 25555 SOS 16710 HAS SOPS 15617 HAS SOUS 12640 HAS SOUPS 12472 WITH SCORE 12488.71
AT ITER 55 NEW BEST:: SOT 25555 SOS 16634 HAS SOPS 15541 HAS SOUS 12604 HAS SOUPS 12436 WITH SCORE 12452.634
AT ITER 58 NEW BEST:: SOT 25549 SOS 16602 HAS SOPS 15523 HAS SOUS 12587 HAS SOUPS 12432 WITH SCORE 12448.602
AT ITER 61 NEW BEST:: SOT 25549 SOS 16655 HAS SOPS 15523 HAS SOUS 12582 HAS SOUPS 12427 WITH SCORE 12443.655
AT ITER 65 NEW BEST:: SOT 25549 SOS 16649 HAS SOPS 15517 HAS SOUS 12582 HAS SOUPS 12427 WITH SCORE 12443.649
AT ITER 66 NEW BEST:: SOT 25549 SOS 16615 HAS SOPS 15415 HAS SOUS 12554 HAS SOUPS 12399 WITH SCORE 12415.615
AT ITER 68 NEW BEST:: SOT 25528 SOS 16573 HAS SOPS 15373 HAS SOUS 12505 HAS SOUPS 12350 WITH SCORE 12366.573
AT ITER 69 NEW BEST:: SOT 25470 SOS 16731 HAS SOPS 15525 HAS SOUS 12488 HAS SOUPS 12333 WITH SCORE 12349.731
AT ITER 74 NEW BEST:: SOT 25470 SOS 16730 HAS SOPS 15524 HAS SOUS 12487 HAS SOUPS 12332 WITH SCORE 12348.73
AT ITER 79 NEW BEST:: SOT 25388 SOS 16595 HAS SOPS 15416 HAS SOUS 12459 HAS SOUPS 12304 WITH SCORE 12320.595
AT ITER 81 NEW BEST:: SOT 25163 SOS 16358 HAS SOPS 15174 HAS SOUS 12234 HAS SOUPS 12079 WITH SCORE 12095.358
AT ITER 84 NEW BEST:: SOT 25086 SOS 16281 HAS SOPS 15097 HAS SOUS 12139 HAS SOUPS 11984 WITH SCORE 12000.281
AT ITER 86 NEW BEST:: SOT 25068 SOS 16263 HAS SOPS 15079 HAS SOUS 12121 HAS SOUPS 11966 WITH SCORE 11982.263
AT ITER 87 NEW BEST:: SOT 25068 SOS 16235 HAS SOPS 15051 HAS SOUS 12088 HAS SOUPS 11933 WITH SCORE 11949.235
AT ITER 88 NEW BEST:: SOT 24866 SOS 16137 HAS SOPS 14888 HAS SOUS 11882 HAS SOUPS 11726 WITH SCORE 11742.137
AT ITER 90 NEW BEST:: SOT 24916 SOS 16023 HAS SOPS 14774 HAS SOUS 11795 HAS SOUPS 11639 WITH SCORE 11655.023
AT ITER 95 NEW BEST:: SOT 24916 SOS 15861 HAS SOPS 14612 HAS SOUS 11751 HAS SOUPS 11595 WITH SCORE 11610.861
AT ITER 96 NEW BEST:: SOT 24865 SOS 15785 HAS SOPS 14523 HAS SOUS 11711 HAS SOUPS 11546 WITH SCORE 11561.785
AT ITER 102 NEW BEST:: SOT 24837 SOS 15744 HAS SOPS 14454 HAS SOUS 11668 HAS SOUPS 11503 WITH SCORE 11518.744
AT ITER 111 NEW BEST:: SOT 24048 SOS 15778 HAS SOPS 14033 HAS SOUS 11366 HAS SOUPS 11144 WITH SCORE 11159.778
AT ITER 114 NEW BEST:: SOT 24143 SOS 15790 HAS SOPS 14128 HAS SOUS 11315 HAS SOUPS 11093 WITH SCORE 11108.79
AT ITER 115 NEW BEST:: SOT 24143 SOS 15875 HAS SOPS 14178 HAS SOUS 11295 HAS SOUPS 11073 WITH SCORE 11088.875
AT ITER 118 NEW BEST:: SOT 24002 SOS 15674 HAS SOPS 14074 HAS SOUS 11144 HAS SOUPS 10922 WITH SCORE 10937.674
AT ITER 123 NEW BEST:: SOT 23893 SOS 15565 HAS SOPS 13965 HAS SOUS 11047 HAS SOUPS 10825 WITH SCORE 10840.565
AT ITER 125 NEW BEST:: SOT 23893 SOS 15565 HAS SOPS 13965 HAS SOUS 11015 HAS SOUPS 10793 WITH SCORE 10808.565
AT ITER 127 NEW BEST:: SOT 23841 SOS 15408 HAS SOPS 13823 HAS SOUS 10950 HAS SOUPS 10728 WITH SCORE 10743.408
AT ITER 129 NEW BEST:: SOT 23841 SOS 15358 HAS SOPS 13773 HAS SOUS 10934 HAS SOUPS 10712 WITH SCORE 10727.358
AT ITER 130 NEW BEST:: SOT 23841 SOS 15314 HAS SOPS 13729 HAS SOUS 10923 HAS SOUPS 10701 WITH SCORE 10716.314
AT ITER 131 NEW BEST:: SOT 23740 SOS 15305 HAS SOPS 13720 HAS SOUS 10879 HAS SOUPS 10657 WITH SCORE 10672.305
AT ITER 132 NEW BEST:: SOT 23758 SOS 15226 HAS SOPS 13641 HAS SOUS 10877 HAS SOUPS 10655 WITH SCORE 10670.226
AT ITER 133 NEW BEST:: SOT 23596 SOS 15200 HAS SOPS 13556 HAS SOUS 10718 HAS SOUPS 10496 WITH SCORE 10511.2
AT ITER 137 NEW BEST:: SOT 23597 SOS 15169 HAS SOPS 13526 HAS SOUS 10714 HAS SOUPS 10492 WITH SCORE 10507.169
AT ITER 140 NEW BEST:: SOT 23468 SOS 15276 HAS SOPS 13534 HAS SOUS 10652 HAS SOUPS 10433 WITH SCORE 10448.276
AT ITER 145 NEW BEST:: SOT 23352 SOS 15162 HAS SOPS 13440 HAS SOUS 10532 HAS SOUPS 10327 WITH SCORE 10342.162
AT ITER 149 NEW BEST:: SOT 23348 SOS 15174 HAS SOPS 13430 HAS SOUS 10529 HAS SOUPS 10324 WITH SCORE 10339.174
AT ITER 152 NEW BEST:: SOT 23008 SOS 14784 HAS SOPS 13243 HAS SOUS 10217 HAS SOUPS 10027 WITH SCORE 10041.784
AT ITER 161 NEW BEST:: SOT 23010 SOS 14796 HAS SOPS 13255 HAS SOUS 10202 HAS SOUPS 10012 WITH SCORE 10026.796
AT ITER 162 NEW BEST:: SOT 22959 SOS 14623 HAS SOPS 13126 HAS SOUS 10192 HAS SOUPS 10002 WITH SCORE 10016.623
AT ITER 163 NEW BEST:: SOT 22959 SOS 14623 HAS SOPS 13126 HAS SOUS 10191 HAS SOUPS 10001 WITH SCORE 10015.623
AT ITER 169 NEW BEST:: SOT 22949 SOS 14613 HAS SOPS 13116 HAS SOUS 10181 HAS SOUPS 9991 WITH SCORE 10005.613
AT ITER 170 NEW BEST:: SOT 22925 SOS 14550 HAS SOPS 13053 HAS SOUS 10118 HAS SOUPS 9928 WITH SCORE 9942.55
AT ITER 171 NEW BEST:: SOT 22982 SOS 14571 HAS SOPS 13074 HAS SOUS 10089 HAS SOUPS 9899 WITH SCORE 9913.571
AT ITER 176 NEW BEST:: SOT 22915 SOS 14506 HAS SOPS 13239 HAS SOUS 10062 HAS SOUPS 9872 WITH SCORE 9886.506
AT ITER 178 NEW BEST:: SOT 22884 SOS 14436 HAS SOPS 13181 HAS SOUS 10040 HAS SOUPS 9850 WITH SCORE 9864.436
AT ITER 179 NEW BEST:: SOT 22854 SOS 14396 HAS SOPS 13141 HAS SOUS 9986 HAS SOUPS 9796 WITH SCORE 9810.396
AT ITER 180 NEW BEST:: SOT 22475 SOS 13777 HAS SOPS 12713 HAS SOUS 9665 HAS SOUPS 9475 WITH SCORE 9488.777
AT ITER 184 NEW BEST:: SOT 22415 SOS 13520 HAS SOPS 12456 HAS SOUS 9486 HAS SOUPS 9296 WITH SCORE 9309.52
AT ITER 190 NEW BEST:: SOT 22415 SOS 13471 HAS SOPS 12407 HAS SOUS 9486 HAS SOUPS 9296 WITH SCORE 9309.471
AT ITER 192 NEW BEST:: SOT 22304 SOS 13355 HAS SOPS 12291 HAS SOUS 9370 HAS SOUPS 9180 WITH SCORE 9193.355
AT ITER 199 NEW BEST:: SOT 21864 SOS 13114 HAS SOPS 12028 HAS SOUS 9115 HAS SOUPS 8905 WITH SCORE 8918.114
AT ITER 202 NEW BEST:: SOT 21848 SOS 13098 HAS SOPS 12012 HAS SOUS 9051 HAS SOUPS 8841 WITH SCORE 8854.098
AT ITER 208 NEW BEST:: SOT 21413 SOS 13596 HAS SOPS 11976 HAS SOUS 8988 HAS SOUPS 8735 WITH SCORE 8748.596
AT ITER 209 NEW BEST:: SOT 21403 SOS 13576 HAS SOPS 11946 HAS SOUS 8958 HAS SOUPS 8705 WITH SCORE 8718.576
AT ITER 213 NEW BEST:: SOT 21507 SOS 13708 HAS SOPS 12106 HAS SOUS 8950 HAS SOUPS 8697 WITH SCORE 8710.708
AT ITER 214 NEW BEST:: SOT 21502 SOS 13703 HAS SOPS 12101 HAS SOUS 8939 HAS SOUPS 8686 WITH SCORE 8699.703
AT ITER 216 NEW BEST:: SOT 21495 SOS 13696 HAS SOPS 12094 HAS SOUS 8925 HAS SOUPS 8672 WITH SCORE 8685.696
AT ITER 217 NEW BEST:: SOT 21311 SOS 13630 HAS SOPS 11985 HAS SOUS 8829 HAS SOUPS 8565 WITH SCORE 8578.63
AT ITER 221 NEW BEST:: SOT 21312 SOS 13634 HAS SOPS 11845 HAS SOUS 8776 HAS SOUPS 8512 WITH SCORE 8525.634
AT ITER 222 NEW BEST:: SOT 21254 SOS 13578 HAS SOPS 11789 HAS SOUS 8722 HAS SOUPS 8458 WITH SCORE 8471.578
AT ITER 229 NEW BEST:: SOT 21242 SOS 13536 HAS SOPS 11759 HAS SOUS 8710 HAS SOUPS 8446 WITH SCORE 8459.536
AT ITER 230 NEW BEST:: SOT 21232 SOS 13516 HAS SOPS 11739 HAS SOUS 8700 HAS SOUPS 8436 WITH SCORE 8449.516
AT ITER 234 NEW BEST:: SOT 21170 SOS 13392 HAS SOPS 11627 HAS SOUS 8618 HAS SOUPS 8354 WITH SCORE 8367.392
AT ITER 235 NEW BEST:: SOT 20579 SOS 13007 HAS SOPS 11191 HAS SOUS 8219 HAS SOUPS 7930 WITH SCORE 7943.007
AT ITER 237 NEW BEST:: SOT 20511 SOS 12947 HAS SOPS 11131 HAS SOUS 8161 HAS SOUPS 7872 WITH SCORE 7884.947
AT ITER 247 NEW BEST:: SOT 20194 SOS 12566 HAS SOPS 10750 HAS SOUS 7728 HAS SOUPS 7439 WITH SCORE 7451.566
AT ITER 252 NEW BEST:: SOT 20102 SOS 12453 HAS SOPS 10628 HAS SOUS 7630 HAS SOUPS 7341 WITH SCORE 7353.453
AT ITER 253 NEW BEST:: SOT 20021 SOS 12371 HAS SOPS 10546 HAS SOUS 7608 HAS SOUPS 7319 WITH SCORE 7331.371
AT ITER 255 NEW BEST:: SOT 19983 SOS 12333 HAS SOPS 10508 HAS SOUS 7570 HAS SOUPS 7281 WITH SCORE 7293.333
AT ITER 256 NEW BEST:: SOT 19834 SOS 12181 HAS SOPS 10353 HAS SOUS 7355 HAS SOUPS 7066 WITH SCORE 7078.181
AT ITER 261 NEW BEST:: SOT 19833 SOS 12176 HAS SOPS 10336 HAS SOUS 7352 HAS SOUPS 7063 WITH SCORE 7075.176
AT ITER 276 NEW BEST:: SOT 19772 SOS 12125 HAS SOPS 10285 HAS SOUS 7301 HAS SOUPS 7012 WITH SCORE 7024.125
AT ITER 281 NEW BEST:: SOT 19768 SOS 12121 HAS SOPS 10279 HAS SOUS 7298 HAS SOUPS 7009 WITH SCORE 7021.121
AT ITER 283 NEW BEST:: SOT 18692 SOS 11927 HAS SOPS 9708 HAS SOUS 6711 HAS SOUPS 6373 WITH SCORE 6384.927
AT ITER 284 NEW BEST:: SOT 18672 SOS 11903 HAS SOPS 9657 HAS SOUS 6671 HAS SOUPS 6333 WITH SCORE 6344.903
AT ITER 286 NEW BEST:: SOT 18672 SOS 11888 HAS SOPS 9642 HAS SOUS 6671 HAS SOUPS 6333 WITH SCORE 6344.888
AT ITER 295 NEW BEST:: SOT 18652 SOS 11875 HAS SOPS 9615 HAS SOUS 6667 HAS SOUPS 6329 WITH SCORE 6340.875
AT ITER 299 NEW BEST:: SOT 18589 SOS 11796 HAS SOPS 9536 HAS SOUS 6657 HAS SOUPS 6319 WITH SCORE 6330.796
AT ITER 303 NEW BEST:: SOT 18581 SOS 11788 HAS SOPS 9540 HAS SOUS 6653 HAS SOUPS 6315 WITH SCORE 6326.788
AT ITER 304 NEW BEST:: SOT 18572 SOS 11762 HAS SOPS 9569 HAS SOUS 6644 HAS SOUPS 6306 WITH SCORE 6317.762
AT ITER 307 NEW BEST:: SOT 18578 SOS 11760 HAS SOPS 9567 HAS SOUS 6634 HAS SOUPS 6296 WITH SCORE 6307.76
AT ITER 308 NEW BEST:: SOT 18540 SOS 11748 HAS SOPS 9659 HAS SOUS 6583 HAS SOUPS 6245 WITH SCORE 6256.748
AT ITER 312 NEW BEST:: SOT 18633 SOS 11801 HAS SOPS 9712 HAS SOUS 6579 HAS SOUPS 6241 WITH SCORE 6252.801
AT ITER 314 NEW BEST:: SOT 18588 SOS 11711 HAS SOPS 9577 HAS SOUS 6501 HAS SOUPS 6163 WITH SCORE 6174.711
AT ITER 315 NEW BEST:: SOT 18588 SOS 11711 HAS SOPS 9577 HAS SOUS 6500 HAS SOUPS 6162 WITH SCORE 6173.711
AT ITER 321 NEW BEST:: SOT 18549 SOS 11696 HAS SOPS 9562 HAS SOUS 6486 HAS SOUPS 6148 WITH SCORE 6159.696
AT ITER 322 NEW BEST:: SOT 18549 SOS 11703 HAS SOPS 9569 HAS SOUS 6459 HAS SOUPS 6121 WITH SCORE 6132.703
AT ITER 323 NEW BEST:: SOT 18547 SOS 11669 HAS SOPS 9524 HAS SOUS 6449 HAS SOUPS 6111 WITH SCORE 6122.669
AT ITER 325 NEW BEST:: SOT 18567 SOS 11634 HAS SOPS 9462 HAS SOUS 6447 HAS SOUPS 6109 WITH SCORE 6120.634
AT ITER 341 NEW BEST:: SOT 18565 SOS 11632 HAS SOPS 9459 HAS SOUS 6445 HAS SOUPS 6107 WITH SCORE 6118.632
AT ITER 345 NEW BEST:: SOT 18539 SOS 11598 HAS SOPS 9423 HAS SOUS 6382 HAS SOUPS 6044 WITH SCORE 6055.598
AT ITER 350 NEW BEST:: SOT 18533 SOS 11568 HAS SOPS 9393 HAS SOUS 6376 HAS SOUPS 6038 WITH SCORE 6049.568
AT ITER 356 NEW BEST:: SOT 18511 SOS 11546 HAS SOPS 9371 HAS SOUS 6280 HAS SOUPS 5942 WITH SCORE 5953.546
AT ITER 360 NEW BEST:: SOT 18513 SOS 11513 HAS SOPS 9356 HAS SOUS 6277 HAS SOUPS 5940 WITH SCORE 5951.513
AT ITER 373 NEW BEST:: SOT 18507 SOS 11513 HAS SOPS 9238 HAS SOUS 6249 HAS SOUPS 5912 WITH SCORE 5923.513
AT ITER 385 NEW BEST:: SOT 18466 SOS 11472 HAS SOPS 9197 HAS SOUS 6195 HAS SOUPS 5858 WITH SCORE 5869.472
AT ITER 389 NEW BEST:: SOT 18436 SOS 11442 HAS SOPS 9152 HAS SOUS 6142 HAS SOUPS 5805 WITH SCORE 5816.442
AT ITER 391 NEW BEST:: SOT 18400 SOS 11419 HAS SOPS 9130 HAS SOUS 6030 HAS SOUPS 5693 WITH SCORE 5704.419
AT ITER 393 NEW BEST:: SOT 18022 SOS 12074 HAS SOPS 9234 HAS SOUS 6056 HAS SOUPS 5670 WITH SCORE 5682.074
AT ITER 406 NEW BEST:: SOT 17490 SOS 13093 HAS SOPS 9517 HAS SOUS 5944 HAS SOUPS 5501 WITH SCORE 5514.093
AT ITER 407 NEW BEST:: SOT 17494 SOS 13097 HAS SOPS 9521 HAS SOUS 5943 HAS SOUPS 5500 WITH SCORE 5513.097
AT ITER 412 NEW BEST:: SOT 17417 SOS 13020 HAS SOPS 9389 HAS SOUS 5879 HAS SOUPS 5436 WITH SCORE 5449.02
AT ITER 415 NEW BEST:: SOT 17419 SOS 13022 HAS SOPS 9384 HAS SOUS 5874 HAS SOUPS 5431 WITH SCORE 5444.022
AT ITER 417 NEW BEST:: SOT 17304 SOS 12947 HAS SOPS 9070 HAS SOUS 5779 HAS SOUPS 5336 WITH SCORE 5348.947
AT ITER 421 NEW BEST:: SOT 17294 SOS 12943 HAS SOPS 9048 HAS SOUS 5762 HAS SOUPS 5319 WITH SCORE 5331.943
AT ITER 425 NEW BEST:: SOT 17288 SOS 12937 HAS SOPS 9039 HAS SOUS 5734 HAS SOUPS 5291 WITH SCORE 5303.937
AT ITER 432 NEW BEST:: SOT 17288 SOS 12937 HAS SOPS 9038 HAS SOUS 5730 HAS SOUPS 5287 WITH SCORE 5299.937
AT ITER 435 NEW BEST:: SOT 17284 SOS 12933 HAS SOPS 9032 HAS SOUS 5721 HAS SOUPS 5278 WITH SCORE 5290.933
AT ITER 436 NEW BEST:: SOT 17272 SOS 12861 HAS SOPS 8960 HAS SOUS 5631 HAS SOUPS 5188 WITH SCORE 5200.861
AT ITER 441 NEW BEST:: SOT 17272 SOS 12853 HAS SOPS 8960 HAS SOUS 5631 HAS SOUPS 5188 WITH SCORE 5200.853
AT ITER 446 NEW BEST:: SOT 17260 SOS 12836 HAS SOPS 8942 HAS SOUS 5613 HAS SOUPS 5170 WITH SCORE 5182.836
AT ITER 453 NEW BEST:: SOT 17260 SOS 12836 HAS SOPS 8942 HAS SOUS 5583 HAS SOUPS 5140 WITH SCORE 5152.836
AT ITER 456 NEW BEST:: SOT 17195 SOS 12727 HAS SOPS 8797 HAS SOUS 5482 HAS SOUPS 5039 WITH SCORE 5051.727
AT ITER 457 NEW BEST:: SOT 17180 SOS 12712 HAS SOPS 8782 HAS SOUS 5467 HAS SOUPS 5024 WITH SCORE 5036.712
AT ITER 458 NEW BEST:: SOT 17166 SOS 12698 HAS SOPS 8762 HAS SOUS 5454 HAS SOUPS 5011 WITH SCORE 5023.698
AT ITER 477 NEW BEST:: SOT 17151 SOS 12683 HAS SOPS 8747 HAS SOUS 5440 HAS SOUPS 4997 WITH SCORE 5009.683
AT ITER 481 NEW BEST:: SOT 17199 SOS 12725 HAS SOPS 8789 HAS SOUS 5436 HAS SOUPS 4993 WITH SCORE 5005.725
AT ITER 484 NEW BEST:: SOT 17178 SOS 12712 HAS SOPS 8776 HAS SOUS 5433 HAS SOUPS 4990 WITH SCORE 5002.712
AT ITER 493 NEW BEST:: SOT 17178 SOS 12712 HAS SOPS 8776 HAS SOUS 5430 HAS SOUPS 4987 WITH SCORE 4999.712
AT ITER 494 NEW BEST:: SOT 17190 SOS 12724 HAS SOPS 8759 HAS SOUS 5407 HAS SOUPS 4964 WITH SCORE 4976.724
AT ITER 500 NEW BEST:: SOT 17187 SOS 12721 HAS SOPS 8753 HAS SOUS 5404 HAS SOUPS 4961 WITH SCORE 4973.721
AT ITER 525 NEW BEST:: SOT 17160 SOS 12694 HAS SOPS 8726 HAS SOUS 5363 HAS SOUPS 4920 WITH SCORE 4932.694
AT ITER 530 NEW BEST:: SOT 17172 SOS 12706 HAS SOPS 8738 HAS SOUS 5357 HAS SOUPS 4914 WITH SCORE 4926.706
AT ITER 531 NEW BEST:: SOT 17169 SOS 12703 HAS SOPS 8732 HAS SOUS 5354 HAS SOUPS 4911 WITH SCORE 4923.703
AT ITER 534 NEW BEST:: SOT 17039 SOS 12585 HAS SOPS 8550 HAS SOUS 5185 HAS SOUPS 4742 WITH SCORE 4754.585
AT ITER 543 NEW BEST:: SOT 17007 SOS 12553 HAS SOPS 8486 HAS SOUS 5137 HAS SOUPS 4694 WITH SCORE 4706.553
AT ITER 552 NEW BEST:: SOT 17003 SOS 12549 HAS SOPS 8486 HAS SOUS 5133 HAS SOUPS 4690 WITH SCORE 4702.549
AT ITER 554 NEW BEST:: SOT 17000 SOS 12546 HAS SOPS 8485 HAS SOUS 5125 HAS SOUPS 4682 WITH SCORE 4694.546
AT ITER 567 NEW BEST:: SOT 16998 SOS 12544 HAS SOPS 8482 HAS SOUS 5125 HAS SOUPS 4682 WITH SCORE 4694.544
AT ITER 569 NEW BEST:: SOT 16979 SOS 12496 HAS SOPS 8406 HAS SOUS 5092 HAS SOUPS 4649 WITH SCORE 4661.496
AT ITER 574 NEW BEST:: SOT 16959 SOS 12470 HAS SOPS 8370 HAS SOUS 5082 HAS SOUPS 4639 WITH SCORE 4651.47
AT ITER 593 NEW BEST:: SOT 16966 SOS 12471 HAS SOPS 8329 HAS SOUS 5051 HAS SOUPS 4608 WITH SCORE 4620.471
AT ITER 596 NEW BEST:: SOT 16956 SOS 12461 HAS SOPS 8314 HAS SOUS 5036 HAS SOUPS 4593 WITH SCORE 4605.461
AT ITER 608 NEW BEST:: SOT 16921 SOS 12426 HAS SOPS 8275 HAS SOUS 4993 HAS SOUPS 4550 WITH SCORE 4562.426
AT ITER 611 NEW BEST:: SOT 16899 SOS 12404 HAS SOPS 8231 HAS SOUS 4908 HAS SOUPS 4465 WITH SCORE 4477.404
AT ITER 612 NEW BEST:: SOT 16891 SOS 12400 HAS SOPS 8238 HAS SOUS 4905 HAS SOUPS 4462 WITH SCORE 4474.4
AT ITER 630 NEW BEST:: SOT 16901 SOS 12410 HAS SOPS 8188 HAS SOUS 4900 HAS SOUPS 4457 WITH SCORE 4469.41
AT ITER 638 NEW BEST:: SOT 16847 SOS 12356 HAS SOPS 8134 HAS SOUS 4876 HAS SOUPS 4433 WITH SCORE 4445.356
AT ITER 644 NEW BEST:: SOT 16847 SOS 12356 HAS SOPS 8134 HAS SOUS 4874 HAS SOUPS 4431 WITH SCORE 4443.356
AT ITER 654 NEW BEST:: SOT 16846 SOS 12355 HAS SOPS 8133 HAS SOUS 4873 HAS SOUPS 4430 WITH SCORE 4442.355
AT ITER 661 NEW BEST:: SOT 16891 SOS 12400 HAS SOPS 8137 HAS SOUS 4861 HAS SOUPS 4418 WITH SCORE 4430.4
AT ITER 666 NEW BEST:: SOT 16891 SOS 12393 HAS SOPS 8130 HAS SOUS 4861 HAS SOUPS 4418 WITH SCORE 4430.393
AT ITER 687 NEW BEST:: SOT 16880 SOS 12414 HAS SOPS 8138 HAS SOUS 4857 HAS SOUPS 4413 WITH SCORE 4425.414
AT ITER 704 NEW BEST:: SOT 16879 SOS 12413 HAS SOPS 8138 HAS SOUS 4855 HAS SOUPS 4411 WITH SCORE 4423.413
AT ITER 719 NEW BEST:: SOT 16871 SOS 12405 HAS SOPS 8122 HAS SOUS 4833 HAS SOUPS 4389 WITH SCORE 4401.405
AT ITER 734 NEW BEST:: SOT 16863 SOS 12397 HAS SOPS 8110 HAS SOUS 4821 HAS SOUPS 4377 WITH SCORE 4389.397
AT ITER 735 NEW BEST:: SOT 16838 SOS 12396 HAS SOPS 8105 HAS SOUS 4807 HAS SOUPS 4363 WITH SCORE 4375.396
AT ITER 744 NEW BEST:: SOT 16834 SOS 12388 HAS SOPS 8097 HAS SOUS 4799 HAS SOUPS 4355 WITH SCORE 4367.388
AT ITER 751 NEW BEST:: SOT 16852 SOS 12406 HAS SOPS 8078 HAS SOUS 4798 HAS SOUPS 4354 WITH SCORE 4366.406
AT ITER 752 NEW BEST:: SOT 16856 SOS 12373 HAS SOPS 8067 HAS SOUS 4796 HAS SOUPS 4353 WITH SCORE 4365.373
AT ITER 754 NEW BEST:: SOT 16847 SOS 12364 HAS SOPS 8058 HAS SOUS 4787 HAS SOUPS 4344 WITH SCORE 4356.364
AT ITER 756 NEW BEST:: SOT 16842 SOS 12335 HAS SOPS 8029 HAS SOUS 4785 HAS SOUPS 4342 WITH SCORE 4354.335
AT ITER 793 NEW BEST:: SOT 16842 SOS 12335 HAS SOPS 8029 HAS SOUS 4776 HAS SOUPS 4333 WITH SCORE 4345.335
AT ITER 812 NEW BEST:: SOT 16820 SOS 12321 HAS SOPS 7995 HAS SOUS 4762 HAS SOUPS 4319 WITH SCORE 4331.321
AT ITER 825 NEW BEST:: SOT 16814 SOS 12318 HAS SOPS 7986 HAS SOUS 4759 HAS SOUPS 4316 WITH SCORE 4328.318
AT ITER 842 NEW BEST:: SOT 16817 SOS 12282 HAS SOPS 7973 HAS SOUS 4758 HAS SOUPS 4316 WITH SCORE 4328.282
AT ITER 844 NEW BEST:: SOT 16811 SOS 12276 HAS SOPS 7965 HAS SOUS 4752 HAS SOUPS 4310 WITH SCORE 4322.276
AT ITER 850 NEW BEST:: SOT 16808 SOS 12273 HAS SOPS 7957 HAS SOUS 4736 HAS SOUPS 4294 WITH SCORE 4306.273
AT ITER 873 NEW BEST:: SOT 16801 SOS 12266 HAS SOPS 7950 HAS SOUS 4728 HAS SOUPS 4286 WITH SCORE 4298.266
AT ITER 876 NEW BEST:: SOT 16801 SOS 12266 HAS SOPS 7950 HAS SOUS 4720 HAS SOUPS 4278 WITH SCORE 4290.266
AT ITER 879 NEW BEST:: SOT 16808 SOS 12273 HAS SOPS 7957 HAS SOUS 4709 HAS SOUPS 4267 WITH SCORE 4279.273
AT ITER 886 NEW BEST:: SOT 16786 SOS 12251 HAS SOPS 7951 HAS SOUS 4701 HAS SOUPS 4259 WITH SCORE 4271.251
AT ITER 902 NEW BEST:: SOT 16675 SOS 12140 HAS SOPS 7825 HAS SOUS 4699 HAS SOUPS 4257 WITH SCORE 4269.14
AT ITER 907 NEW BEST:: SOT 16675 SOS 12140 HAS SOPS 7825 HAS SOUS 4698 HAS SOUPS 4256 WITH SCORE 4268.14
AT ITER 911 NEW BEST:: SOT 16673 SOS 12138 HAS SOPS 7821 HAS SOUS 4695 HAS SOUPS 4253 WITH SCORE 4265.138
AT ITER 946 NEW BEST:: SOT 16671 SOS 12136 HAS SOPS 7819 HAS SOUS 4684 HAS SOUPS 4242 WITH SCORE 4254.136
AT ITER 948 NEW BEST:: SOT 16661 SOS 12126 HAS SOPS 7809 HAS SOUS 4675 HAS SOUPS 4233 WITH SCORE 4245.126
AT ITER 960 NEW BEST:: SOT 16656 SOS 12127 HAS SOPS 7794 HAS SOUS 4665 HAS SOUPS 4223 WITH SCORE 4235.127
AT ITER 990 NEW BEST:: SOT 16652 SOS 12118 HAS SOPS 7783 HAS SOUS 4659 HAS SOUPS 4217 WITH SCORE 4229.118
AT ITER 996 NEW BEST:: SOT 16560 SOS 12026 HAS SOPS 7728 HAS SOUS 4614 HAS SOUPS 4172 WITH SCORE 4184.026
AT ITER 1010 NEW BEST:: SOT 16337 SOS 12937 HAS SOPS 8021 HAS SOUS 4630 HAS SOUPS 4154 WITH SCORE 4166.937
AT ITER 1013 NEW BEST:: SOT 16325 SOS 12925 HAS SOPS 8003 HAS SOUS 4612 HAS SOUPS 4136 WITH SCORE 4148.925
AT ITER 1015 NEW BEST:: SOT 16325 SOS 12925 HAS SOPS 8003 HAS SOUS 4606 HAS SOUPS 4130 WITH SCORE 4142.925
AT ITER 1018 NEW BEST:: SOT 16449 SOS 12303 HAS SOPS 7781 HAS SOUS 4573 HAS SOUPS 4118 WITH SCORE 4130.303
AT ITER 1019 NEW BEST:: SOT 16447 SOS 12301 HAS SOPS 7774 HAS SOUS 4568 HAS SOUPS 4113 WITH SCORE 4125.301
AT ITER 1030 NEW BEST:: SOT 16447 SOS 12298 HAS SOPS 7771 HAS SOUS 4568 HAS SOUPS 4113 WITH SCORE 4125.298
AT ITER 1047 NEW BEST:: SOT 16445 SOS 12296 HAS SOPS 7768 HAS SOUS 4565 HAS SOUPS 4110 WITH SCORE 4122.296
AT ITER 1084 NEW BEST:: SOT 16441 SOS 12292 HAS SOPS 7768 HAS SOUS 4561 HAS SOUPS 4106 WITH SCORE 4118.292
AT ITER 1093 NEW BEST:: SOT 16441 SOS 12292 HAS SOPS 7768 HAS SOUS 4556 HAS SOUPS 4101 WITH SCORE 4113.292
AT ITER 1098 NEW BEST:: SOT 16443 SOS 12294 HAS SOPS 7771 HAS SOUS 4547 HAS SOUPS 4092 WITH SCORE 4104.294
AT ITER 1100 NEW BEST:: SOT 16384 SOS 12246 HAS SOPS 7681 HAS SOUS 4502 HAS SOUPS 4047 WITH SCORE 4059.246
AT ITER 1105 NEW BEST:: SOT 16380 SOS 12242 HAS SOPS 7595 HAS SOUS 4428 HAS SOUPS 3973 WITH SCORE 3985.242
AT ITER 1106 NEW BEST:: SOT 16352 SOS 12214 HAS SOPS 7567 HAS SOUS 4421 HAS SOUPS 3966 WITH SCORE 3978.214
AT ITER 1107 NEW BEST:: SOT 16349 SOS 12211 HAS SOPS 7561 HAS SOUS 4418 HAS SOUPS 3963 WITH SCORE 3975.211
AT ITER 1116 NEW BEST:: SOT 16344 SOS 12206 HAS SOPS 7540 HAS SOUS 4416 HAS SOUPS 3961 WITH SCORE 3973.206
AT ITER 1135 NEW BEST:: SOT 16246 SOS 12108 HAS SOPS 7428 HAS SOUS 4341 HAS SOUPS 3886 WITH SCORE 3898.108
AT ITER 1150 NEW BEST:: SOT 16256 SOS 12118 HAS SOPS 7377 HAS SOUS 4302 HAS SOUPS 3847 WITH SCORE 3859.118
AT ITER 1152 NEW BEST:: SOT 16250 SOS 12100 HAS SOPS 7346 HAS SOUS 4289 HAS SOUPS 3834 WITH SCORE 3846.1
AT ITER 1164 NEW BEST:: SOT 16258 SOS 12108 HAS SOPS 7334 HAS SOUS 4282 HAS SOUPS 3827 WITH SCORE 3839.108
AT ITER 1183 NEW BEST:: SOT 16258 SOS 12108 HAS SOPS 7334 HAS SOUS 4273 HAS SOUPS 3818 WITH SCORE 3830.108
AT ITER 1199 NEW BEST:: SOT 16258 SOS 12108 HAS SOPS 7334 HAS SOUS 4272 HAS SOUPS 3817 WITH SCORE 3829.108
AT ITER 1207 NEW BEST:: SOT 16265 SOS 12115 HAS SOPS 7341 HAS SOUS 4264 HAS SOUPS 3809 WITH SCORE 3821.115
AT ITER 1208 NEW BEST:: SOT 16257 SOS 12107 HAS SOPS 7325 HAS SOUS 4248 HAS SOUPS 3793 WITH SCORE 3805.107
AT ITER 1247 NEW BEST:: SOT 16245 SOS 12095 HAS SOPS 7307 HAS SOUS 4220 HAS SOUPS 3765 WITH SCORE 3777.095
AT ITER 1249 NEW BEST:: SOT 16230 SOS 12080 HAS SOPS 7292 HAS SOUS 4220 HAS SOUPS 3765 WITH SCORE 3777.08
AT ITER 1262 NEW BEST:: SOT 16232 SOS 12086 HAS SOPS 7302 HAS SOUS 4219 HAS SOUPS 3764 WITH SCORE 3776.086
AT ITER 1263 NEW BEST:: SOT 16236 SOS 12086 HAS SOPS 7308 HAS SOUS 4216 HAS SOUPS 3761 WITH SCORE 3773.086
AT ITER 1268 NEW BEST:: SOT 16257 SOS 12112 HAS SOPS 7334 HAS SOUS 4209 HAS SOUPS 3754 WITH SCORE 3766.112
AT ITER 1278 NEW BEST:: SOT 16254 SOS 12109 HAS SOPS 7330 HAS SOUS 4208 HAS SOUPS 3753 WITH SCORE 3765.109
AT ITER 1321 NEW BEST:: SOT 16254 SOS 12109 HAS SOPS 7334 HAS SOUS 4203 HAS SOUPS 3748 WITH SCORE 3760.109
AT ITER 1326 NEW BEST:: SOT 16254 SOS 12109 HAS SOPS 7334 HAS SOUS 4199 HAS SOUPS 3744 WITH SCORE 3756.109
AT ITER 1355 NEW BEST:: SOT 16224 SOS 12068 HAS SOPS 7293 HAS SOUS 4187 HAS SOUPS 3732 WITH SCORE 3744.068
AT ITER 1361 NEW BEST:: SOT 16241 SOS 12085 HAS SOPS 7263 HAS SOUS 4178 HAS SOUPS 3723 WITH SCORE 3735.085
AT ITER 1370 NEW BEST:: SOT 16241 SOS 12085 HAS SOPS 7263 HAS SOUS 4176 HAS SOUPS 3721 WITH SCORE 3733.085
AT ITER 1403 NEW BEST:: SOT 16135 SOS 12680 HAS SOPS 7537 HAS SOUS 4181 HAS SOUPS 3707 WITH SCORE 3719.68
AT ITER 1409 NEW BEST:: SOT 16135 SOS 12680 HAS SOPS 7528 HAS SOUS 4177 HAS SOUPS 3703 WITH SCORE 3715.68
AT ITER 1410 NEW BEST:: SOT 16138 SOS 12641 HAS SOPS 7510 HAS SOUS 4172 HAS SOUPS 3699 WITH SCORE 3711.641
AT ITER 1418 NEW BEST:: SOT 16209 SOS 12233 HAS SOPS 7401 HAS SOUS 4152 HAS SOUPS 3692 WITH SCORE 3704.233
AT ITER 1420 NEW BEST:: SOT 16241 SOS 12032 HAS SOPS 7313 HAS SOUS 4145 HAS SOUPS 3691 WITH SCORE 3703.032
AT ITER 1446 NEW BEST:: SOT 16242 SOS 12033 HAS SOPS 7270 HAS SOUS 4147 HAS SOUPS 3682 WITH SCORE 3694.033
AT ITER 1467 NEW BEST:: SOT 16244 SOS 12035 HAS SOPS 7273 HAS SOUS 4146 HAS SOUPS 3681 WITH SCORE 3693.035
AT ITER 1493 NEW BEST:: SOT 16208 SOS 11999 HAS SOPS 7225 HAS SOUS 4137 HAS SOUPS 3672 WITH SCORE 3683.999
AT ITER 1494 NEW BEST:: SOT 16190 SOS 11981 HAS SOPS 7207 HAS SOUS 4132 HAS SOUPS 3667 WITH SCORE 3678.981
AT ITER 1497 NEW BEST:: SOT 16195 SOS 11951 HAS SOPS 7195 HAS SOUS 4131 HAS SOUPS 3667 WITH SCORE 3678.951
AT ITER 1503 NEW BEST:: SOT 16133 SOS 11889 HAS SOPS 7099 HAS SOUS 4038 HAS SOUPS 3574 WITH SCORE 3585.889
AT ITER 1504 NEW BEST:: SOT 16133 SOS 11889 HAS SOPS 7099 HAS SOUS 4030 HAS SOUPS 3566 WITH SCORE 3577.889
AT ITER 1518 NEW BEST:: SOT 16122 SOS 11901 HAS SOPS 7120 HAS SOUS 4020 HAS SOUPS 3556 WITH SCORE 3567.901
AT ITER 1526 NEW BEST:: SOT 16094 SOS 11883 HAS SOPS 7092 HAS SOUS 3975 HAS SOUPS 3511 WITH SCORE 3522.883
AT ITER 1547 NEW BEST:: SOT 16093 SOS 11882 HAS SOPS 7001 HAS SOUS 3926 HAS SOUPS 3453 WITH SCORE 3464.882
AT ITER 1571 NEW BEST:: SOT 16092 SOS 11881 HAS SOPS 7003 HAS SOUS 3924 HAS SOUPS 3451 WITH SCORE 3462.881
AT ITER 1575 NEW BEST:: SOT 16098 SOS 11887 HAS SOPS 6973 HAS SOUS 3919 HAS SOUPS 3446 WITH SCORE 3457.887
AT ITER 1588 NEW BEST:: SOT 16097 SOS 11883 HAS SOPS 6968 HAS SOUS 3916 HAS SOUPS 3443 WITH SCORE 3454.883
AT ITER 1598 NEW BEST:: SOT 16091 SOS 11880 HAS SOPS 6962 HAS SOUS 3913 HAS SOUPS 3440 WITH SCORE 3451.88
AT ITER 1610 NEW BEST:: SOT 16084 SOS 11877 HAS SOPS 6926 HAS SOUS 3897 HAS SOUPS 3424 WITH SCORE 3435.877
AT ITER 1658 NEW BEST:: SOT 16065 SOS 11854 HAS SOPS 6948 HAS SOUS 3885 HAS SOUPS 3412 WITH SCORE 3423.854
AT ITER 1694 NEW BEST:: SOT 16092 SOS 11881 HAS SOPS 6975 HAS SOUS 3884 HAS SOUPS 3411 WITH SCORE 3422.881
AT ITER 1701 NEW BEST:: SOT 16085 SOS 11874 HAS SOPS 6967 HAS SOUS 3874 HAS SOUPS 3401 WITH SCORE 3412.874
AT ITER 1703 NEW BEST:: SOT 16094 SOS 11883 HAS SOPS 6949 HAS SOUS 3865 HAS SOUPS 3392 WITH SCORE 3403.883
AT ITER 1715 NEW BEST:: SOT 16075 SOS 11840 HAS SOPS 6906 HAS SOUS 3856 HAS SOUPS 3383 WITH SCORE 3394.84
AT ITER 1738 NEW BEST:: SOT 16069 SOS 11834 HAS SOPS 6900 HAS SOUS 3847 HAS SOUPS 3374 WITH SCORE 3385.834
AT ITER 1752 NEW BEST:: SOT 16064 SOS 11824 HAS SOPS 6885 HAS SOUS 3842 HAS SOUPS 3369 WITH SCORE 3380.824
AT ITER 1753 NEW BEST:: SOT 16064 SOS 11824 HAS SOPS 6878 HAS SOUS 3840 HAS SOUPS 3367 WITH SCORE 3378.824
AT ITER 1758 NEW BEST:: SOT 16053 SOS 11804 HAS SOPS 6856 HAS SOUS 3829 HAS SOUPS 3356 WITH SCORE 3367.804
AT ITER 1813 NEW BEST:: SOT 16060 SOS 11816 HAS SOPS 6873 HAS SOUS 3826 HAS SOUPS 3353 WITH SCORE 3364.816
AT ITER 1847 NEW BEST:: SOT 16029 SOS 11785 HAS SOPS 6834 HAS SOUS 3825 HAS SOUPS 3352 WITH SCORE 3363.785
AT ITER 1849 NEW BEST:: SOT 16029 SOS 11781 HAS SOPS 6830 HAS SOUS 3813 HAS SOUPS 3340 WITH SCORE 3351.781
AT ITER 1870 NEW BEST:: SOT 16028 SOS 11782 HAS SOPS 6833 HAS SOUS 3812 HAS SOUPS 3339 WITH SCORE 3350.782
AT ITER 1893 NEW BEST:: SOT 16032 SOS 11737 HAS SOPS 6787 HAS SOUS 3808 HAS SOUPS 3334 WITH SCORE 3345.737
AT ITER 1896 NEW BEST:: SOT 15996 SOS 11708 HAS SOPS 6730 HAS SOUS 3772 HAS SOUPS 3298 WITH SCORE 3309.708
AT ITER 1917 NEW BEST:: SOT 15972 SOS 11682 HAS SOPS 6721 HAS SOUS 3763 HAS SOUPS 3289 WITH SCORE 3300.682
AT ITER 1922 NEW BEST:: SOT 15972 SOS 11682 HAS SOPS 6721 HAS SOUS 3758 HAS SOUPS 3284 WITH SCORE 3295.682
AT ITER 1950 NEW BEST:: SOT 15972 SOS 11682 HAS SOPS 6721 HAS SOUS 3757 HAS SOUPS 3283 WITH SCORE 3294.682
AT ITER 1963 NEW BEST:: SOT 15970 SOS 11680 HAS SOPS 6685 HAS SOUS 3757 HAS SOUPS 3273 WITH SCORE 3284.68
AT ITER 1972 NEW BEST:: SOT 15916 SOS 11626 HAS SOPS 6613 HAS SOUS 3746 HAS SOUPS 3262 WITH SCORE 3273.626
AT ITER 1991 NEW BEST:: SOT 15908 SOS 11626 HAS SOPS 6600 HAS SOUS 3738 HAS SOUPS 3254 WITH SCORE 3265.626
AT ITER 1994 NEW BEST:: SOT 15896 SOS 11614 HAS SOPS 6588 HAS SOUS 3713 HAS SOUPS 3229 WITH SCORE 3240.614
AT ITER 1996 NEW BEST:: SOT 15896 SOS 11614 HAS SOPS 6588 HAS SOUS 3711 HAS SOUPS 3227 WITH SCORE 3238.614
AT ITER 1999 NEW BEST:: SOT 15896 SOS 11614 HAS SOPS 6588 HAS SOUS 3709 HAS SOUPS 3225 WITH SCORE 3236.614
AT ITER 2003 NEW BEST:: SOT 15880 SOS 11598 HAS SOPS 6564 HAS SOUS 3688 HAS SOUPS 3204 WITH SCORE 3215.598
AT ITER 2036 NEW BEST:: SOT 15880 SOS 11598 HAS SOPS 6564 HAS SOUS 3687 HAS SOUPS 3203 WITH SCORE 3214.598
AT ITER 2047 NEW BEST:: SOT 15878 SOS 11596 HAS SOPS 6561 HAS SOUS 3682 HAS SOUPS 3198 WITH SCORE 3209.596
AT ITER 2058 NEW BEST:: SOT 15912 SOS 11630 HAS SOPS 6595 HAS SOUS 3654 HAS SOUPS 3170 WITH SCORE 3181.63
AT ITER 2087 NEW BEST:: SOT 15912 SOS 11630 HAS SOPS 6595 HAS SOUS 3652 HAS SOUPS 3168 WITH SCORE 3179.63
AT ITER 2092 NEW BEST:: SOT 15906 SOS 11624 HAS SOPS 6589 HAS SOUS 3646 HAS SOUPS 3162 WITH SCORE 3173.624
AT ITER 2126 NEW BEST:: SOT 15902 SOS 11620 HAS SOPS 6577 HAS SOUS 3634 HAS SOUPS 3150 WITH SCORE 3161.62
AT ITER 2130 NEW BEST:: SOT 15896 SOS 11614 HAS SOPS 6579 HAS SOUS 3616 HAS SOUPS 3132 WITH SCORE 3143.614
AT ITER 2167 NEW BEST:: SOT 15889 SOS 11607 HAS SOPS 6571 HAS SOUS 3615 HAS SOUPS 3131 WITH SCORE 3142.607
AT ITER 2202 NEW BEST:: SOT 15888 SOS 11606 HAS SOPS 6570 HAS SOUS 3614 HAS SOUPS 3130 WITH SCORE 3141.606
AT ITER 2230 NEW BEST:: SOT 15886 SOS 11602 HAS SOPS 6566 HAS SOUS 3612 HAS SOUPS 3128 WITH SCORE 3139.602
AT ITER 2252 NEW BEST:: SOT 15880 SOS 11596 HAS SOPS 6560 HAS SOUS 3606 HAS SOUPS 3125 WITH SCORE 3136.596
AT ITER 2270 NEW BEST:: SOT 15874 SOS 11590 HAS SOPS 6551 HAS SOUS 3595 HAS SOUPS 3114 WITH SCORE 3125.59
AT ITER 2284 NEW BEST:: SOT 15868 SOS 11584 HAS SOPS 6542 HAS SOUS 3587 HAS SOUPS 3106 WITH SCORE 3117.584
AT ITER 2288 NEW BEST:: SOT 15866 SOS 11582 HAS SOPS 6539 HAS SOUS 3575 HAS SOUPS 3094 WITH SCORE 3105.582
AT ITER 2311 NEW BEST:: SOT 15856 SOS 11572 HAS SOPS 6539 HAS SOUS 3570 HAS SOUPS 3089 WITH SCORE 3100.572
AT ITER 2315 NEW BEST:: SOT 15854 SOS 11570 HAS SOPS 6537 HAS SOUS 3568 HAS SOUPS 3087 WITH SCORE 3098.57
AT ITER 2346 NEW BEST:: SOT 15854 SOS 11570 HAS SOPS 6512 HAS SOUS 3544 HAS SOUPS 3063 WITH SCORE 3074.57
AT ITER 2350 NEW BEST:: SOT 15852 SOS 11568 HAS SOPS 6512 HAS SOUS 3544 HAS SOUPS 3063 WITH SCORE 3074.568
AT ITER 2352 NEW BEST:: SOT 15862 SOS 11578 HAS SOPS 6487 HAS SOUS 3529 HAS SOUPS 3048 WITH SCORE 3059.578
AT ITER 2379 NEW BEST:: SOT 15969 SOS 11038 HAS SOPS 6350 HAS SOUS 3506 HAS SOUPS 3045 WITH SCORE 3056.038
AT ITER 2446 NEW BEST:: SOT 15971 SOS 11040 HAS SOPS 6326 HAS SOUS 3514 HAS SOUPS 3041 WITH SCORE 3052.04
AT ITER 2472 NEW BEST:: SOT 15972 SOS 11042 HAS SOPS 6328 HAS SOUS 3510 HAS SOUPS 3037 WITH SCORE 3048.042
AT ITER 2493 NEW BEST:: SOT 15972 SOS 11042 HAS SOPS 6328 HAS SOUS 3499 HAS SOUPS 3026 WITH SCORE 3037.042
AT ITER 2499 NEW BEST:: SOT 15960 SOS 10976 HAS SOPS 6192 HAS SOUS 3483 HAS SOUPS 3010 WITH SCORE 3020.976
AT ITER 2533 NEW BEST:: SOT 15959 SOS 10988 HAS SOPS 6203 HAS SOUS 3482 HAS SOUPS 3009 WITH SCORE 3019.988
AT ITER 2553 NEW BEST:: SOT 15959 SOS 10988 HAS SOPS 6203 HAS SOUS 3468 HAS SOUPS 2995 WITH SCORE 3005.988
AT ITER 2562 NEW BEST:: SOT 15937 SOS 10966 HAS SOPS 6170 HAS SOUS 3434 HAS SOUPS 2961 WITH SCORE 2971.966
AT ITER 2570 NEW BEST:: SOT 15949 SOS 10965 HAS SOPS 6169 HAS SOUS 3421 HAS SOUPS 2948 WITH SCORE 2958.965
AT ITER 2586 NEW BEST:: SOT 15930 SOS 10946 HAS SOPS 6145 HAS SOUS 3409 HAS SOUPS 2936 WITH SCORE 2946.946
AT ITER 2587 NEW BEST:: SOT 15920 SOS 10936 HAS SOPS 6125 HAS SOUS 3392 HAS SOUPS 2919 WITH SCORE 2929.936
AT ITER 2637 NEW BEST:: SOT 15927 SOS 10915 HAS SOPS 6111 HAS SOUS 3392 HAS SOUPS 2919 WITH SCORE 2929.915
AT ITER 2680 NEW BEST:: SOT 15927 SOS 10911 HAS SOPS 6107 HAS SOUS 3392 HAS SOUPS 2919 WITH SCORE 2929.911
AT ITER 2697 NEW BEST:: SOT 15927 SOS 10911 HAS SOPS 6107 HAS SOUS 3390 HAS SOUPS 2917 WITH SCORE 2927.911
AT ITER 2701 NEW BEST:: SOT 15927 SOS 10911 HAS SOPS 6107 HAS SOUS 3387 HAS SOUPS 2914 WITH SCORE 2924.911
AT ITER 2719 NEW BEST:: SOT 15858 SOS 11122 HAS SOPS 6173 HAS SOUS 3375 HAS SOUPS 2893 WITH SCORE 2904.122
AT ITER 2748 NEW BEST:: SOT 15844 SOS 11108 HAS SOPS 6152 HAS SOUS 3354 HAS SOUPS 2872 WITH SCORE 2883.108
AT ITER 2755 NEW BEST:: SOT 15842 SOS 11106 HAS SOPS 6150 HAS SOUS 3348 HAS SOUPS 2866 WITH SCORE 2877.106
AT ITER 2757 NEW BEST:: SOT 15834 SOS 11098 HAS SOPS 6159 HAS SOUS 3342 HAS SOUPS 2863 WITH SCORE 2874.098
AT ITER 2785 NEW BEST:: SOT 15828 SOS 11092 HAS SOPS 6147 HAS SOUS 3333 HAS SOUPS 2854 WITH SCORE 2865.092
AT ITER 2802 NEW BEST:: SOT 15820 SOS 11084 HAS SOPS 6122 HAS SOUS 3312 HAS SOUPS 2833 WITH SCORE 2844.084
AT ITER 2808 NEW BEST:: SOT 15816 SOS 11080 HAS SOPS 6124 HAS SOUS 3312 HAS SOUPS 2833 WITH SCORE 2844.08
AT ITER 2830 NEW BEST:: SOT 15810 SOS 11074 HAS SOPS 6119 HAS SOUS 3294 HAS SOUPS 2815 WITH SCORE 2826.074
AT ITER 2855 NEW BEST:: SOT 15766 SOS 11168 HAS SOPS 6123 HAS SOUS 3286 HAS SOUPS 2802 WITH SCORE 2813.168
AT ITER 2884 NEW BEST:: SOT 15748 SOS 11150 HAS SOPS 6096 HAS SOUS 3262 HAS SOUPS 2778 WITH SCORE 2789.15
AT ITER 2908 NEW BEST:: SOT 15749 SOS 11145 HAS SOPS 6090 HAS SOUS 3263 HAS SOUPS 2778 WITH SCORE 2789.145
AT ITER 2936 NEW BEST:: SOT 15749 SOS 11145 HAS SOPS 6090 HAS SOUS 3261 HAS SOUPS 2776 WITH SCORE 2787.145
AT ITER 2946 NEW BEST:: SOT 15705 SOS 11101 HAS SOPS 6034 HAS SOUS 3258 HAS SOUPS 2773 WITH SCORE 2784.101
AT ITER 2961 NEW BEST:: SOT 15705 SOS 11101 HAS SOPS 6034 HAS SOUS 3255 HAS SOUPS 2770 WITH SCORE 2781.101
AT ITER 3014 NEW BEST:: SOT 15703 SOS 11099 HAS SOPS 6034 HAS SOUS 3255 HAS SOUPS 2770 WITH SCORE 2781.099
AT ITER 3079 NEW BEST:: SOT 15703 SOS 11099 HAS SOPS 6034 HAS SOUS 3250 HAS SOUPS 2765 WITH SCORE 2776.099
AT ITER 3082 NEW BEST:: SOT 15703 SOS 11099 HAS SOPS 6034 HAS SOUS 3246 HAS SOUPS 2761 WITH SCORE 2772.099
AT ITER 3124 NEW BEST:: SOT 15701 SOS 11097 HAS SOPS 6032 HAS SOUS 3244 HAS SOUPS 2759 WITH SCORE 2770.097
AT ITER 3143 NEW BEST:: SOT 15699 SOS 11095 HAS SOPS 6029 HAS SOUS 3241 HAS SOUPS 2756 WITH SCORE 2767.095
AT ITER 3145 NEW BEST:: SOT 15697 SOS 11093 HAS SOPS 6029 HAS SOUS 3241 HAS SOUPS 2756 WITH SCORE 2767.093
AT ITER 3195 NEW BEST:: SOT 15697 SOS 11093 HAS SOPS 6029 HAS SOUS 3237 HAS SOUPS 2752 WITH SCORE 2763.093
AT ITER 3198 NEW BEST:: SOT 15693 SOS 11089 HAS SOPS 6041 HAS SOUS 3229 HAS SOUPS 2752 WITH SCORE 2763.089
AT ITER 3257 NEW BEST:: SOT 15685 SOS 11081 HAS SOPS 6033 HAS SOUS 3228 HAS SOUPS 2751 WITH SCORE 2762.081
AT ITER 3267 NEW BEST:: SOT 15685 SOS 11081 HAS SOPS 6033 HAS SOUS 3224 HAS SOUPS 2747 WITH SCORE 2758.081
AT ITER 3416 NEW BEST:: SOT 15704 SOS 10908 HAS SOPS 5947 HAS SOUS 3208 HAS SOUPS 2736 WITH SCORE 2746.908
AT ITER 3440 NEW BEST:: SOT 15701 SOS 10905 HAS SOPS 5944 HAS SOUS 3202 HAS SOUPS 2730 WITH SCORE 2740.905
AT ITER 3452 NEW BEST:: SOT 15698 SOS 10902 HAS SOPS 5950 HAS SOUS 3199 HAS SOUPS 2727 WITH SCORE 2737.902
AT ITER 3465 NEW BEST:: SOT 15692 SOS 10896 HAS SOPS 5942 HAS SOUS 3194 HAS SOUPS 2722 WITH SCORE 2732.896
AT ITER 3482 NEW BEST:: SOT 15690 SOS 10894 HAS SOPS 5938 HAS SOUS 3190 HAS SOUPS 2718 WITH SCORE 2728.894
AT ITER 3507 NEW BEST:: SOT 15686 SOS 10890 HAS SOPS 5924 HAS SOUS 3186 HAS SOUPS 2712 WITH SCORE 2722.89
AT ITER 3516 NEW BEST:: SOT 15686 SOS 10890 HAS SOPS 5924 HAS SOUS 3183 HAS SOUPS 2709 WITH SCORE 2719.89
AT ITER 3607 NEW BEST:: SOT 15682 SOS 10886 HAS SOPS 5918 HAS SOUS 3181 HAS SOUPS 2707 WITH SCORE 2717.886
AT ITER 3652 NEW BEST:: SOT 15676 SOS 10880 HAS SOPS 5909 HAS SOUS 3172 HAS SOUPS 2698 WITH SCORE 2708.88
AT ITER 3654 NEW BEST:: SOT 15676 SOS 10880 HAS SOPS 5909 HAS SOUS 3169 HAS SOUPS 2695 WITH SCORE 2705.88
AT ITER 3656 NEW BEST:: SOT 15670 SOS 10874 HAS SOPS 5897 HAS SOUS 3167 HAS SOUPS 2693 WITH SCORE 2703.874
AT ITER 3700 NEW BEST:: SOT 15675 SOS 10843 HAS SOPS 5885 HAS SOUS 3165 HAS SOUPS 2692 WITH SCORE 2702.843
AT ITER 3708 NEW BEST:: SOT 15675 SOS 10843 HAS SOPS 5885 HAS SOUS 3164 HAS SOUPS 2691 WITH SCORE 2701.843
AT ITER 3720 NEW BEST:: SOT 15675 SOS 10843 HAS SOPS 5885 HAS SOUS 3162 HAS SOUPS 2689 WITH SCORE 2699.843
AT ITER 3721 NEW BEST:: SOT 15675 SOS 10843 HAS SOPS 5885 HAS SOUS 3155 HAS SOUPS 2682 WITH SCORE 2692.843
AT ITER 3779 NEW BEST:: SOT 15672 SOS 10840 HAS SOPS 5882 HAS SOUS 3145 HAS SOUPS 2672 WITH SCORE 2682.84
AT ITER 3841 NEW BEST:: SOT 15671 SOS 10838 HAS SOPS 5879 HAS SOUS 3144 HAS SOUPS 2671 WITH SCORE 2681.838
AT ITER 3847 NEW BEST:: SOT 15671 SOS 10838 HAS SOPS 5879 HAS SOUS 3138 HAS SOUPS 2665 WITH SCORE 2675.838
AT ITER 3860 NEW BEST:: SOT 15675 SOS 10842 HAS SOPS 5867 HAS SOUS 3137 HAS SOUPS 2661 WITH SCORE 2671.842
AT ITER 3923 NEW BEST:: SOT 15665 SOS 10827 HAS SOPS 5849 HAS SOUS 3113 HAS SOUPS 2637 WITH SCORE 2647.827
AT ITER 3931 NEW BEST:: SOT 15659 SOS 10821 HAS SOPS 5837 HAS SOUS 3104 HAS SOUPS 2628 WITH SCORE 2638.821
AT ITER 4012 NEW BEST:: SOT 15655 SOS 10817 HAS SOPS 5831 HAS SOUS 3102 HAS SOUPS 2626 WITH SCORE 2636.817
AT ITER 4018 NEW BEST:: SOT 15655 SOS 10817 HAS SOPS 5831 HAS SOUS 3093 HAS SOUPS 2617 WITH SCORE 2627.817
AT ITER 4059 NEW BEST:: SOT 15656 SOS 10816 HAS SOPS 5830 HAS SOUS 3092 HAS SOUPS 2616 WITH SCORE 2626.816
AT ITER 4082 NEW BEST:: SOT 15654 SOS 10836 HAS SOPS 5852 HAS SOUS 3089 HAS SOUPS 2615 WITH SCORE 2625.836
AT ITER 4119 NEW BEST:: SOT 15660 SOS 10842 HAS SOPS 5860 HAS SOUS 3086 HAS SOUPS 2612 WITH SCORE 2622.842
AT ITER 4186 NEW BEST:: SOT 15659 SOS 10841 HAS SOPS 5827 HAS SOUS 3085 HAS SOUPS 2597 WITH SCORE 2607.841
AT ITER 4195 NEW BEST:: SOT 15654 SOS 10835 HAS SOPS 5821 HAS SOUS 3080 HAS SOUPS 2592 WITH SCORE 2602.835
AT ITER 4251 NEW BEST:: SOT 15604 SOS 11079 HAS SOPS 5911 HAS SOUS 3086 HAS SOUPS 2590 WITH SCORE 2601.079
AT ITER 4465 NEW BEST:: SOT 15598 SOS 11073 HAS SOPS 5902 HAS SOUS 3077 HAS SOUPS 2581 WITH SCORE 2592.073
AT ITER 4489 NEW BEST:: SOT 15612 SOS 11087 HAS SOPS 5856 HAS SOUS 3048 HAS SOUPS 2549 WITH SCORE 2560.087
AT ITER 4573 NEW BEST:: SOT 15612 SOS 11087 HAS SOPS 5828 HAS SOUS 3041 HAS SOUPS 2542 WITH SCORE 2553.087
AT ITER 4610 NEW BEST:: SOT 15606 SOS 11081 HAS SOPS 5819 HAS SOUS 3032 HAS SOUPS 2533 WITH SCORE 2544.081
AT ITER 4682 NEW BEST:: SOT 15606 SOS 11081 HAS SOPS 5819 HAS SOUS 3031 HAS SOUPS 2532 WITH SCORE 2543.081
AT ITER 4686 NEW BEST:: SOT 15608 SOS 11083 HAS SOPS 5798 HAS SOUS 3014 HAS SOUPS 2515 WITH SCORE 2526.083
AT ITER 4692 NEW BEST:: SOT 15608 SOS 11083 HAS SOPS 5794 HAS SOUS 3012 HAS SOUPS 2513 WITH SCORE 2524.083
AT ITER 4731 NEW BEST:: SOT 15614 SOS 11089 HAS SOPS 5801 HAS SOUS 3011 HAS SOUPS 2512 WITH SCORE 2523.089
AT ITER 4759 NEW BEST:: SOT 15610 SOS 11085 HAS SOPS 5793 HAS SOUS 3005 HAS SOUPS 2506 WITH SCORE 2517.085
AT ITER 4766 NEW BEST:: SOT 15607 SOS 11082 HAS SOPS 5802 HAS SOUS 2999 HAS SOUPS 2506 WITH SCORE 2517.082
AT ITER 4823 NEW BEST:: SOT 15599 SOS 11074 HAS SOPS 5790 HAS SOUS 2990 HAS SOUPS 2497 WITH SCORE 2508.074
AT ITER 4909 NEW BEST:: SOT 15597 SOS 11068 HAS SOPS 5780 HAS SOUS 2987 HAS SOUPS 2494 WITH SCORE 2505.068
AT ITER 4936 NEW BEST:: SOT 15574 SOS 11191 HAS SOPS 5827 HAS SOUS 2985 HAS SOUPS 2488 WITH SCORE 2499.191
AT ITER 4964 NEW BEST:: SOT 15574 SOS 11191 HAS SOPS 5820 HAS SOUS 2981 HAS SOUPS 2484 WITH SCORE 2495.191
AT ITER 5009 NEW BEST:: SOT 15570 SOS 11187 HAS SOPS 5814 HAS SOUS 2975 HAS SOUPS 2478 WITH SCORE 2489.187
AT ITER 5105 NEW BEST:: SOT 15568 SOS 11185 HAS SOPS 5814 HAS SOUS 2973 HAS SOUPS 2476 WITH SCORE 2487.185
AT ITER 5131 NEW BEST:: SOT 15582 SOS 11089 HAS SOPS 5775 HAS SOUS 2965 HAS SOUPS 2471 WITH SCORE 2482.089
AT ITER 5171 NEW BEST:: SOT 15578 SOS 11084 HAS SOPS 5765 HAS SOUS 2962 HAS SOUPS 2468 WITH SCORE 2479.084
AT ITER 5189 NEW BEST:: SOT 15572 SOS 11078 HAS SOPS 5740 HAS SOUS 2954 HAS SOUPS 2456 WITH SCORE 2467.078
AT ITER 5234 NEW BEST:: SOT 15571 SOS 11077 HAS SOPS 5739 HAS SOUS 2953 HAS SOUPS 2455 WITH SCORE 2466.077
AT ITER 5246 NEW BEST:: SOT 15571 SOS 11077 HAS SOPS 5739 HAS SOUS 2952 HAS SOUPS 2454 WITH SCORE 2465.077
AT ITER 5272 NEW BEST:: SOT 15555 SOS 11061 HAS SOPS 5715 HAS SOUS 2922 HAS SOUPS 2424 WITH SCORE 2435.061
AT ITER 5322 NEW BEST:: SOT 15555 SOS 11061 HAS SOPS 5715 HAS SOUS 2921 HAS SOUPS 2423 WITH SCORE 2434.061
AT ITER 5500 NEW BEST:: SOT 15553 SOS 11059 HAS SOPS 5712 HAS SOUS 2920 HAS SOUPS 2422 WITH SCORE 2433.059
AT ITER 5543 NEW BEST:: SOT 15547 SOS 11050 HAS SOPS 5693 HAS SOUS 2920 HAS SOUPS 2422 WITH SCORE 2433.05
AT ITER 5580 NEW BEST:: SOT 15546 SOS 11043 HAS SOPS 5686 HAS SOUS 2919 HAS SOUPS 2421 WITH SCORE 2432.043
AT ITER 5591 NEW BEST:: SOT 15542 SOS 11039 HAS SOPS 5682 HAS SOUS 2911 HAS SOUPS 2413 WITH SCORE 2424.039
AT ITER 5605 NEW BEST:: SOT 15540 SOS 11037 HAS SOPS 5679 HAS SOUS 2909 HAS SOUPS 2411 WITH SCORE 2422.037
AT ITER 5709 NEW BEST:: SOT 15534 SOS 11031 HAS SOPS 5672 HAS SOUS 2902 HAS SOUPS 2404 WITH SCORE 2415.031
AT ITER 5717 NEW BEST:: SOT 15536 SOS 11028 HAS SOPS 5670 HAS SOUS 2893 HAS SOUPS 2395 WITH SCORE 2406.028
AT ITER 5741 NEW BEST:: SOT 15534 SOS 11026 HAS SOPS 5660 HAS SOUS 2884 HAS SOUPS 2386 WITH SCORE 2397.026
AT ITER 5749 NEW BEST:: SOT 15534 SOS 11026 HAS SOPS 5662 HAS SOUS 2882 HAS SOUPS 2384 WITH SCORE 2395.026
AT ITER 5774 NEW BEST:: SOT 15533 SOS 11019 HAS SOPS 5655 HAS SOUS 2881 HAS SOUPS 2383 WITH SCORE 2394.019
AT ITER 5947 NEW BEST:: SOT 15529 SOS 11015 HAS SOPS 5649 HAS SOUS 2875 HAS SOUPS 2377 WITH SCORE 2388.015
AT ITER 5969 NEW BEST:: SOT 15529 SOS 11011 HAS SOPS 5642 HAS SOUS 2875 HAS SOUPS 2377 WITH SCORE 2388.011
AT ITER 5975 NEW BEST:: SOT 15527 SOS 11009 HAS SOPS 5640 HAS SOUS 2872 HAS SOUPS 2374 WITH SCORE 2385.009
AT ITER 6337 NEW BEST:: SOT 15527 SOS 11009 HAS SOPS 5640 HAS SOUS 2870 HAS SOUPS 2372 WITH SCORE 2383.009
AT ITER 6343 NEW BEST:: SOT 15529 SOS 11011 HAS SOPS 5643 HAS SOUS 2866 HAS SOUPS 2368 WITH SCORE 2379.011
AT ITER 6410 NEW BEST:: SOT 15549 SOS 10906 HAS SOPS 5626 HAS SOUS 2861 HAS SOUPS 2367 WITH SCORE 2377.906
AT ITER 6418 NEW BEST:: SOT 15545 SOS 10902 HAS SOPS 5620 HAS SOUS 2850 HAS SOUPS 2356 WITH SCORE 2366.902
AT ITER 6454 NEW BEST:: SOT 15543 SOS 10900 HAS SOPS 5621 HAS SOUS 2850 HAS SOUPS 2356 WITH SCORE 2366.9
AT ITER 6472 NEW BEST:: SOT 15526 SOS 10994 HAS SOPS 5658 HAS SOUS 2849 HAS SOUPS 2352 WITH SCORE 2362.994
AT ITER 6524 NEW BEST:: SOT 15520 SOS 10988 HAS SOPS 5661 HAS SOUS 2846 HAS SOUPS 2352 WITH SCORE 2362.988
AT ITER 6531 NEW BEST:: SOT 15520 SOS 10988 HAS SOPS 5661 HAS SOUS 2845 HAS SOUPS 2351 WITH SCORE 2361.988
AT ITER 6578 NEW BEST:: SOT 15520 SOS 10988 HAS SOPS 5652 HAS SOUS 2838 HAS SOUPS 2344 WITH SCORE 2354.988
AT ITER 6585 NEW BEST:: SOT 15520 SOS 10988 HAS SOPS 5652 HAS SOUS 2837 HAS SOUPS 2343 WITH SCORE 2353.988
AT ITER 6812 NEW BEST:: SOT 15520 SOS 10988 HAS SOPS 5652 HAS SOUS 2836 HAS SOUPS 2342 WITH SCORE 2352.988
AT ITER 6824 NEW BEST:: SOT 15518 SOS 10986 HAS SOPS 5640 HAS SOUS 2835 HAS SOUPS 2337 WITH SCORE 2347.986
AT ITER 7353 NEW BEST:: SOT 15510 SOS 10978 HAS SOPS 5624 HAS SOUS 2818 HAS SOUPS 2320 WITH SCORE 2330.978
AT ITER 7448 NEW BEST:: SOT 15510 SOS 10978 HAS SOPS 5616 HAS SOUS 2814 HAS SOUPS 2314 WITH SCORE 2324.978
AT ITER 7633 NEW BEST:: SOT 15512 SOS 10980 HAS SOPS 5618 HAS SOUS 2810 HAS SOUPS 2310 WITH SCORE 2320.98
AT ITER 7708 NEW BEST:: SOT 15514 SOS 10982 HAS SOPS 5601 HAS SOUS 2808 HAS SOUPS 2304 WITH SCORE 2314.982
AT ITER 7765 NEW BEST:: SOT 15514 SOS 10982 HAS SOPS 5601 HAS SOUS 2806 HAS SOUPS 2302 WITH SCORE 2312.982
AT ITER 7773 NEW BEST:: SOT 15524 SOS 10918 HAS SOPS 5575 HAS SOUS 2802 HAS SOUPS 2300 WITH SCORE 2310.918
AT ITER 7802 NEW BEST:: SOT 15522 SOS 10916 HAS SOPS 5576 HAS SOUS 2801 HAS SOUPS 2300 WITH SCORE 2310.916
AT ITER 7942 NEW BEST:: SOT 15518 SOS 10912 HAS SOPS 5570 HAS SOUS 2791 HAS SOUPS 2290 WITH SCORE 2300.912
AT ITER 7951 NEW BEST:: SOT 15518 SOS 10912 HAS SOPS 5566 HAS SOUS 2788 HAS SOUPS 2287 WITH SCORE 2297.912
AT ITER 8061 NEW BEST:: SOT 15506 SOS 10900 HAS SOPS 5551 HAS SOUS 2785 HAS SOUPS 2284 WITH SCORE 2294.9
AT ITER 8314 NEW BEST:: SOT 15504 SOS 10898 HAS SOPS 5551 HAS SOUS 2785 HAS SOUPS 2284 WITH SCORE 2294.898
AT ITER 8372 NEW BEST:: SOT 15516 SOS 10910 HAS SOPS 5550 HAS SOUS 2788 HAS SOUPS 2283 WITH SCORE 2293.91
AT ITER 8490 NEW BEST:: SOT 15516 SOS 10910 HAS SOPS 5541 HAS SOUS 2787 HAS SOUPS 2282 WITH SCORE 2292.91
AT ITER 8811 NEW BEST:: SOT 15520 SOS 10877 HAS SOPS 5527 HAS SOUS 2783 HAS SOUPS 2279 WITH SCORE 2289.877
AT ITER 9004 NEW BEST:: SOT 15520 SOS 10874 HAS SOPS 5521 HAS SOUS 2783 HAS SOUPS 2279 WITH SCORE 2289.874
AT ITER 9058 NEW BEST:: SOT 15514 SOS 10868 HAS SOPS 5515 HAS SOUS 2777 HAS SOUPS 2273 WITH SCORE 2283.868
AT ITER 9404 NEW BEST:: SOT 15516 SOS 10863 HAS SOPS 5511 HAS SOUS 2763 HAS SOUPS 2259 WITH SCORE 2269.863
AT ITER 9419 NEW BEST:: SOT 15521 SOS 10831 HAS SOPS 5498 HAS SOUS 2762 HAS SOUPS 2259 WITH SCORE 2269.831
AT ITER 9470 NEW BEST:: SOT 15519 SOS 10829 HAS SOPS 5495 HAS SOUS 2757 HAS SOUPS 2254 WITH SCORE 2264.829
AT ITER 9524 NEW BEST:: SOT 15521 SOS 10831 HAS SOPS 5498 HAS SOUS 2749 HAS SOUPS 2246 WITH SCORE 2256.831
AT ITER 9654 NEW BEST:: SOT 15519 SOS 10829 HAS SOPS 5498 HAS SOUS 2749 HAS SOUPS 2246 WITH SCORE 2256.829
AT ITER 9655 NEW BEST:: SOT 15507 SOS 10817 HAS SOPS 5480 HAS SOUS 2733 HAS SOUPS 2230 WITH SCORE 2240.817
AT ITER 9821 NEW BEST:: SOT 15503 SOS 10813 HAS SOPS 5474 HAS SOUS 2726 HAS SOUPS 2223 WITH SCORE 2233.813
AT ITER 9927 NEW BEST:: SOT 15539 SOS 10627 HAS SOPS 5405 HAS SOUS 2716 HAS SOUPS 2219 WITH SCORE 2229.627
AT ITER 9953 NEW BEST:: SOT 15531 SOS 10621 HAS SOPS 5391 HAS SOUS 2715 HAS SOUPS 2218 WITH SCORE 2228.621
STATE_SPACE STATES 5937946479402210021 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 27 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 110949304473756838378 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679495387370

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-05"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is Raft-PT-05, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r323-tall-167889194500320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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