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.r099-tall-167814472400432.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 DES-PT-20a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472400432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 6.5K Feb 26 15:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 15:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 15:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 15:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 26 15:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 15:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 15:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 15:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 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 57K 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 1678241323562

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=DES-PT-20a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 20a
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: 195 places, 152 transitions, 742 arcs.
AT ITER 0 NEW BEST:: SOT 23474 SOS 20065 HAS SOPS 20065 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12889.065
AT ITER 29 NEW BEST:: SOT 23422 SOS 20051 HAS SOPS 20051 HAS SOUS 12855 HAS SOUPS 12855 WITH SCORE 12875.051
AT ITER 31 NEW BEST:: SOT 23422 SOS 20051 HAS SOPS 20051 HAS SOUS 12849 HAS SOUPS 12849 WITH SCORE 12869.051
AT ITER 36 NEW BEST:: SOT 23345 SOS 19973 HAS SOPS 19973 HAS SOUS 12771 HAS SOUPS 12771 WITH SCORE 12790.973
AT ITER 42 NEW BEST:: SOT 23325 SOS 19943 HAS SOPS 19943 HAS SOUS 12741 HAS SOUPS 12741 WITH SCORE 12760.943
AT ITER 47 NEW BEST:: SOT 23325 SOS 19817 HAS SOPS 19817 HAS SOUS 12740 HAS SOUPS 12740 WITH SCORE 12759.817
AT ITER 54 NEW BEST:: SOT 23321 SOS 19781 HAS SOPS 19781 HAS SOUS 12735 HAS SOUPS 12735 WITH SCORE 12754.781
AT ITER 56 NEW BEST:: SOT 23283 SOS 19742 HAS SOPS 19742 HAS SOUS 12696 HAS SOUPS 12696 WITH SCORE 12715.742
AT ITER 60 NEW BEST:: SOT 23277 SOS 19736 HAS SOPS 19736 HAS SOUS 12690 HAS SOUPS 12690 WITH SCORE 12709.736
AT ITER 78 NEW BEST:: SOT 23236 SOS 19737 HAS SOPS 19737 HAS SOUS 12665 HAS SOUPS 12665 WITH SCORE 12684.737
AT ITER 80 NEW BEST:: SOT 23136 SOS 19628 HAS SOPS 19628 HAS SOUS 12636 HAS SOUPS 12636 WITH SCORE 12655.628
AT ITER 85 NEW BEST:: SOT 23035 SOS 19527 HAS SOPS 19527 HAS SOUS 12613 HAS SOUPS 12613 WITH SCORE 12632.527
AT ITER 86 NEW BEST:: SOT 23032 SOS 19524 HAS SOPS 19524 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12628.524
AT ITER 90 NEW BEST:: SOT 23023 SOS 19515 HAS SOPS 19515 HAS SOUS 12606 HAS SOUPS 12606 WITH SCORE 12625.515
AT ITER 96 NEW BEST:: SOT 22941 SOS 19426 HAS SOPS 19426 HAS SOUS 12521 HAS SOUPS 12521 WITH SCORE 12540.426
AT ITER 99 NEW BEST:: SOT 22941 SOS 19426 HAS SOPS 19426 HAS SOUS 12520 HAS SOUPS 12520 WITH SCORE 12539.426
AT ITER 100 NEW BEST:: SOT 22941 SOS 19374 HAS SOPS 19374 HAS SOUS 12518 HAS SOUPS 12518 WITH SCORE 12537.374
AT ITER 101 NEW BEST:: SOT 22964 SOS 19464 HAS SOPS 19464 HAS SOUS 12497 HAS SOUPS 12497 WITH SCORE 12516.464
AT ITER 104 NEW BEST:: SOT 22889 SOS 19379 HAS SOPS 19379 HAS SOUS 12446 HAS SOUPS 12446 WITH SCORE 12465.379
AT ITER 105 NEW BEST:: SOT 22864 SOS 19354 HAS SOPS 19354 HAS SOUS 12421 HAS SOUPS 12421 WITH SCORE 12440.354
AT ITER 111 NEW BEST:: SOT 22845 SOS 19335 HAS SOPS 19335 HAS SOUS 12402 HAS SOUPS 12402 WITH SCORE 12421.335
AT ITER 120 NEW BEST:: SOT 22838 SOS 19328 HAS SOPS 19328 HAS SOUS 12395 HAS SOUPS 12395 WITH SCORE 12414.328
AT ITER 122 NEW BEST:: SOT 22841 SOS 19322 HAS SOPS 19322 HAS SOUS 12392 HAS SOUPS 12392 WITH SCORE 12411.322
AT ITER 130 NEW BEST:: SOT 22821 SOS 19302 HAS SOPS 19302 HAS SOUS 12372 HAS SOUPS 12372 WITH SCORE 12391.302
AT ITER 133 NEW BEST:: SOT 22821 SOS 19290 HAS SOPS 19290 HAS SOUS 12360 HAS SOUPS 12360 WITH SCORE 12379.29
AT ITER 141 NEW BEST:: SOT 22738 SOS 19251 HAS SOPS 19251 HAS SOUS 12330 HAS SOUPS 12330 WITH SCORE 12349.251
AT ITER 146 NEW BEST:: SOT 22726 SOS 19239 HAS SOPS 19239 HAS SOUS 12318 HAS SOUPS 12318 WITH SCORE 12337.239
AT ITER 152 NEW BEST:: SOT 22619 SOS 19153 HAS SOPS 19153 HAS SOUS 12204 HAS SOUPS 12204 WITH SCORE 12223.153
AT ITER 154 NEW BEST:: SOT 22581 SOS 19152 HAS SOPS 19152 HAS SOUS 12202 HAS SOUPS 12202 WITH SCORE 12221.152
AT ITER 165 NEW BEST:: SOT 20884 SOS 17455 HAS SOPS 17455 HAS SOUS 10504 HAS SOUPS 10504 WITH SCORE 10521.455
AT ITER 168 NEW BEST:: SOT 20884 SOS 17405 HAS SOPS 17405 HAS SOUS 10459 HAS SOUPS 10459 WITH SCORE 10476.405
AT ITER 184 NEW BEST:: SOT 19642 SOS 16163 HAS SOPS 16163 HAS SOUS 9216 HAS SOUPS 9216 WITH SCORE 9232.163
AT ITER 188 NEW BEST:: SOT 19602 SOS 16116 HAS SOPS 16116 HAS SOUS 9183 HAS SOUPS 9183 WITH SCORE 9199.116
AT ITER 198 NEW BEST:: SOT 19602 SOS 16045 HAS SOPS 16045 HAS SOUS 9112 HAS SOUPS 9112 WITH SCORE 9128.045
AT ITER 203 NEW BEST:: SOT 19559 SOS 16024 HAS SOPS 16024 HAS SOUS 9091 HAS SOUPS 9091 WITH SCORE 9107.024
AT ITER 215 NEW BEST:: SOT 19498 SOS 15962 HAS SOPS 15962 HAS SOUS 9029 HAS SOUPS 9029 WITH SCORE 9044.962
AT ITER 221 NEW BEST:: SOT 19498 SOS 15812 HAS SOPS 15812 HAS SOUS 9023 HAS SOUPS 9023 WITH SCORE 9038.812
AT ITER 224 NEW BEST:: SOT 19400 SOS 15714 HAS SOPS 15714 HAS SOUS 8924 HAS SOUPS 8924 WITH SCORE 8939.714
AT ITER 239 NEW BEST:: SOT 19382 SOS 15662 HAS SOPS 15662 HAS SOUS 8872 HAS SOUPS 8872 WITH SCORE 8887.662
AT ITER 245 NEW BEST:: SOT 19284 SOS 15564 HAS SOPS 15564 HAS SOUS 8771 HAS SOUPS 8771 WITH SCORE 8786.564
AT ITER 258 NEW BEST:: SOT 19143 SOS 15423 HAS SOPS 15423 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8737.423
AT ITER 265 NEW BEST:: SOT 19138 SOS 15384 HAS SOPS 15384 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8698.384
AT ITER 266 NEW BEST:: SOT 19137 SOS 15383 HAS SOPS 15383 HAS SOUS 8681 HAS SOUPS 8681 WITH SCORE 8696.383
AT ITER 270 NEW BEST:: SOT 19134 SOS 15380 HAS SOPS 15380 HAS SOUS 8681 HAS SOUPS 8681 WITH SCORE 8696.38
AT ITER 271 NEW BEST:: SOT 19056 SOS 15302 HAS SOPS 15302 HAS SOUS 8541 HAS SOUPS 8541 WITH SCORE 8556.302
AT ITER 272 NEW BEST:: SOT 19003 SOS 15276 HAS SOPS 15276 HAS SOUS 8501 HAS SOUPS 8501 WITH SCORE 8516.276
AT ITER 273 NEW BEST:: SOT 18574 SOS 14847 HAS SOPS 14847 HAS SOUS 8022 HAS SOUPS 8022 WITH SCORE 8036.847
AT ITER 274 NEW BEST:: SOT 18517 SOS 14895 HAS SOPS 14895 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8031.895
AT ITER 278 NEW BEST:: SOT 18514 SOS 14891 HAS SOPS 14891 HAS SOUS 8016 HAS SOUPS 8016 WITH SCORE 8030.891
AT ITER 286 NEW BEST:: SOT 18510 SOS 14931 HAS SOPS 14931 HAS SOUS 7992 HAS SOUPS 7992 WITH SCORE 8006.931
AT ITER 289 NEW BEST:: SOT 18510 SOS 14918 HAS SOPS 14918 HAS SOUS 7979 HAS SOUPS 7979 WITH SCORE 7993.918
AT ITER 302 NEW BEST:: SOT 18502 SOS 14910 HAS SOPS 14910 HAS SOUS 7979 HAS SOUPS 7979 WITH SCORE 7993.91
AT ITER 320 NEW BEST:: SOT 18403 SOS 14798 HAS SOPS 14798 HAS SOUS 7931 HAS SOUPS 7931 WITH SCORE 7945.798
AT ITER 325 NEW BEST:: SOT 18374 SOS 14769 HAS SOPS 14769 HAS SOUS 7902 HAS SOUPS 7902 WITH SCORE 7916.769
AT ITER 327 NEW BEST:: SOT 18316 SOS 14711 HAS SOPS 14711 HAS SOUS 7900 HAS SOUPS 7900 WITH SCORE 7914.711
AT ITER 336 NEW BEST:: SOT 18301 SOS 14696 HAS SOPS 14696 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7899.696
AT ITER 343 NEW BEST:: SOT 18126 SOS 14519 HAS SOPS 14519 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7862.519
AT ITER 358 NEW BEST:: SOT 18005 SOS 14398 HAS SOPS 14398 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7741.398
AT ITER 362 NEW BEST:: SOT 17880 SOS 14239 HAS SOPS 14239 HAS SOUS 7578 HAS SOUPS 7578 WITH SCORE 7592.239
AT ITER 366 NEW BEST:: SOT 17880 SOS 14239 HAS SOPS 14239 HAS SOUS 7575 HAS SOUPS 7575 WITH SCORE 7589.239
AT ITER 369 NEW BEST:: SOT 17805 SOS 14164 HAS SOPS 14164 HAS SOUS 7564 HAS SOUPS 7564 WITH SCORE 7578.164
AT ITER 391 NEW BEST:: SOT 17741 SOS 14100 HAS SOPS 14100 HAS SOUS 7521 HAS SOUPS 7521 WITH SCORE 7535.1
AT ITER 398 NEW BEST:: SOT 17681 SOS 14040 HAS SOPS 14040 HAS SOUS 7498 HAS SOUPS 7498 WITH SCORE 7512.04
AT ITER 399 NEW BEST:: SOT 17677 SOS 14036 HAS SOPS 14036 HAS SOUS 7480 HAS SOUPS 7480 WITH SCORE 7494.036
AT ITER 403 NEW BEST:: SOT 17677 SOS 13944 HAS SOPS 13944 HAS SOUS 7399 HAS SOUPS 7399 WITH SCORE 7412.944
AT ITER 405 NEW BEST:: SOT 17658 SOS 13853 HAS SOPS 13853 HAS SOUS 7395 HAS SOUPS 7395 WITH SCORE 7408.853
AT ITER 417 NEW BEST:: SOT 17640 SOS 13837 HAS SOPS 13837 HAS SOUS 7387 HAS SOUPS 7387 WITH SCORE 7400.837
AT ITER 418 NEW BEST:: SOT 17631 SOS 13803 HAS SOPS 13803 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7389.803
AT ITER 421 NEW BEST:: SOT 17621 SOS 13793 HAS SOPS 13793 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7379.793
AT ITER 425 NEW BEST:: SOT 17577 SOS 13713 HAS SOPS 13713 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7299.713
AT ITER 427 NEW BEST:: SOT 17577 SOS 13713 HAS SOPS 13713 HAS SOUS 7256 HAS SOUPS 7256 WITH SCORE 7269.713
AT ITER 429 NEW BEST:: SOT 17577 SOS 13735 HAS SOPS 13735 HAS SOUS 7224 HAS SOUPS 7224 WITH SCORE 7237.735
AT ITER 430 NEW BEST:: SOT 17449 SOS 13607 HAS SOPS 13607 HAS SOUS 7160 HAS SOUPS 7160 WITH SCORE 7173.607
AT ITER 440 NEW BEST:: SOT 17524 SOS 13647 HAS SOPS 13647 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7163.647
AT ITER 461 NEW BEST:: SOT 17513 SOS 13625 HAS SOPS 13625 HAS SOUS 7128 HAS SOUPS 7128 WITH SCORE 7141.625
AT ITER 462 NEW BEST:: SOT 17524 SOS 13636 HAS SOPS 13636 HAS SOUS 7127 HAS SOUPS 7127 WITH SCORE 7140.636
AT ITER 466 NEW BEST:: SOT 17458 SOS 13521 HAS SOPS 13521 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7025.521
AT ITER 470 NEW BEST:: SOT 17474 SOS 13537 HAS SOPS 13537 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6995.537
AT ITER 473 NEW BEST:: SOT 17296 SOS 13359 HAS SOPS 13359 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6801.359
AT ITER 483 NEW BEST:: SOT 17259 SOS 13333 HAS SOPS 13333 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6790.333
AT ITER 485 NEW BEST:: SOT 17257 SOS 13309 HAS SOPS 13309 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6770.309
AT ITER 486 NEW BEST:: SOT 17257 SOS 13281 HAS SOPS 13281 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6742.281
AT ITER 493 NEW BEST:: SOT 17091 SOS 13115 HAS SOPS 13115 HAS SOUS 6607 HAS SOUPS 6607 WITH SCORE 6620.115
AT ITER 495 NEW BEST:: SOT 17095 SOS 13065 HAS SOPS 13065 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6610.065
AT ITER 499 NEW BEST:: SOT 17064 SOS 13034 HAS SOPS 13034 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6610.034
AT ITER 500 NEW BEST:: SOT 17061 SOS 12999 HAS SOPS 12999 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6601.999
AT ITER 517 NEW BEST:: SOT 17053 SOS 12991 HAS SOPS 12991 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6593.991
AT ITER 528 NEW BEST:: SOT 17046 SOS 12984 HAS SOPS 12984 HAS SOUS 6574 HAS SOUPS 6574 WITH SCORE 6586.984
AT ITER 561 NEW BEST:: SOT 17045 SOS 12983 HAS SOPS 12983 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6584.983
AT ITER 570 NEW BEST:: SOT 17045 SOS 13002 HAS SOPS 13002 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6569.002
AT ITER 593 NEW BEST:: SOT 17001 SOS 12943 HAS SOPS 12943 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6506.943
AT ITER 601 NEW BEST:: SOT 16991 SOS 12933 HAS SOPS 12933 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6496.933
AT ITER 603 NEW BEST:: SOT 16625 SOS 12532 HAS SOPS 12532 HAS SOUS 6061 HAS SOUPS 6061 WITH SCORE 6073.532
AT ITER 608 NEW BEST:: SOT 16624 SOS 12531 HAS SOPS 12531 HAS SOUS 6059 HAS SOUPS 6059 WITH SCORE 6071.531
AT ITER 614 NEW BEST:: SOT 16649 SOS 12556 HAS SOPS 12556 HAS SOUS 6057 HAS SOUPS 6057 WITH SCORE 6069.556
AT ITER 616 NEW BEST:: SOT 16593 SOS 12450 HAS SOPS 12450 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6019.45
AT ITER 617 NEW BEST:: SOT 16473 SOS 12313 HAS SOPS 12313 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5930.313
AT ITER 619 NEW BEST:: SOT 16476 SOS 12319 HAS SOPS 12319 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5929.319
AT ITER 641 NEW BEST:: SOT 16475 SOS 12096 HAS SOPS 12096 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5898.096
AT ITER 643 NEW BEST:: SOT 16475 SOS 12087 HAS SOPS 12087 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5889.087
AT ITER 653 NEW BEST:: SOT 16473 SOS 12084 HAS SOPS 12084 HAS SOUS 5874 HAS SOUPS 5874 WITH SCORE 5886.084
AT ITER 660 NEW BEST:: SOT 16467 SOS 12078 HAS SOPS 12078 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5880.078
AT ITER 661 NEW BEST:: SOT 16472 SOS 12077 HAS SOPS 12077 HAS SOUS 5867 HAS SOUPS 5867 WITH SCORE 5879.077
AT ITER 663 NEW BEST:: SOT 16472 SOS 12077 HAS SOPS 12077 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5867.077
AT ITER 665 NEW BEST:: SOT 16532 SOS 12137 HAS SOPS 12137 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5862.137
AT ITER 671 NEW BEST:: SOT 16518 SOS 12116 HAS SOPS 12116 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5841.116
AT ITER 673 NEW BEST:: SOT 16518 SOS 12113 HAS SOPS 12113 HAS SOUS 5828 HAS SOUPS 5828 WITH SCORE 5840.113
AT ITER 683 NEW BEST:: SOT 16455 SOS 12028 HAS SOPS 12028 HAS SOUS 5785 HAS SOUPS 5785 WITH SCORE 5797.028
AT ITER 697 NEW BEST:: SOT 16437 SOS 12001 HAS SOPS 12001 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5789.001
AT ITER 708 NEW BEST:: SOT 16418 SOS 11982 HAS SOPS 11982 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5756.982
AT ITER 711 NEW BEST:: SOT 16390 SOS 11904 HAS SOPS 11904 HAS SOUS 5725 HAS SOUPS 5725 WITH SCORE 5736.904
AT ITER 717 NEW BEST:: SOT 16390 SOS 11904 HAS SOPS 11904 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5725.904
AT ITER 722 NEW BEST:: SOT 16375 SOS 11881 HAS SOPS 11881 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5702.881
AT ITER 723 NEW BEST:: SOT 16375 SOS 11772 HAS SOPS 11772 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5695.772
AT ITER 731 NEW BEST:: SOT 16373 SOS 11729 HAS SOPS 11729 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5652.729
AT ITER 746 NEW BEST:: SOT 16373 SOS 11727 HAS SOPS 11727 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5651.727
AT ITER 757 NEW BEST:: SOT 16372 SOS 11726 HAS SOPS 11726 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5650.726
AT ITER 773 NEW BEST:: SOT 16358 SOS 11673 HAS SOPS 11673 HAS SOUS 5611 HAS SOUPS 5611 WITH SCORE 5622.673
AT ITER 774 NEW BEST:: SOT 16335 SOS 11501 HAS SOPS 11501 HAS SOUS 5611 HAS SOUPS 5611 WITH SCORE 5622.501
AT ITER 780 NEW BEST:: SOT 16335 SOS 11534 HAS SOPS 11534 HAS SOUS 5584 HAS SOUPS 5584 WITH SCORE 5595.534
AT ITER 786 NEW BEST:: SOT 16334 SOS 11247 HAS SOPS 11247 HAS SOUS 5582 HAS SOUPS 5582 WITH SCORE 5593.247
AT ITER 811 NEW BEST:: SOT 16292 SOS 11184 HAS SOPS 11184 HAS SOUS 5519 HAS SOUPS 5519 WITH SCORE 5530.184
AT ITER 814 NEW BEST:: SOT 16292 SOS 11184 HAS SOPS 11184 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5498.184
AT ITER 845 NEW BEST:: SOT 16263 SOS 11133 HAS SOPS 11133 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5463.133
AT ITER 856 NEW BEST:: SOT 16246 SOS 11100 HAS SOPS 11100 HAS SOUS 5434 HAS SOUPS 5434 WITH SCORE 5445.1
AT ITER 861 NEW BEST:: SOT 16221 SOS 11075 HAS SOPS 11075 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5420.075
AT ITER 863 NEW BEST:: SOT 16229 SOS 11087 HAS SOPS 11087 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5416.087
AT ITER 870 NEW BEST:: SOT 16229 SOS 11117 HAS SOPS 11117 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5414.117
AT ITER 917 NEW BEST:: SOT 16229 SOS 11116 HAS SOPS 11116 HAS SOUS 5402 HAS SOUPS 5402 WITH SCORE 5413.116
AT ITER 920 NEW BEST:: SOT 16229 SOS 11114 HAS SOPS 11114 HAS SOUS 5400 HAS SOUPS 5400 WITH SCORE 5411.114
AT ITER 927 NEW BEST:: SOT 16130 SOS 11015 HAS SOPS 11015 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5375.015
AT ITER 955 NEW BEST:: SOT 16129 SOS 11014 HAS SOPS 11014 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5373.014
AT ITER 956 NEW BEST:: SOT 16129 SOS 11004 HAS SOPS 11004 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5373.004
AT ITER 959 NEW BEST:: SOT 16129 SOS 11010 HAS SOPS 11010 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5365.01
AT ITER 961 NEW BEST:: SOT 16129 SOS 11010 HAS SOPS 11010 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5343.01
AT ITER 980 NEW BEST:: SOT 16128 SOS 11009 HAS SOPS 11009 HAS SOUS 5330 HAS SOUPS 5330 WITH SCORE 5341.009
AT ITER 984 NEW BEST:: SOT 16126 SOS 11007 HAS SOPS 11007 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5339.007
AT ITER 998 NEW BEST:: SOT 16126 SOS 11004 HAS SOPS 11004 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5337.004
AT ITER 1034 NEW BEST:: SOT 16104 SOS 10982 HAS SOPS 10982 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5319.982
AT ITER 1044 NEW BEST:: SOT 16079 SOS 10957 HAS SOPS 10957 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5294.957
AT ITER 1078 NEW BEST:: SOT 16027 SOS 10900 HAS SOPS 10900 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5259.9
AT ITER 1107 NEW BEST:: SOT 16023 SOS 10896 HAS SOPS 10896 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5259.896
AT ITER 1112 NEW BEST:: SOT 16018 SOS 10891 HAS SOPS 10891 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5249.891
AT ITER 1114 NEW BEST:: SOT 16003 SOS 10876 HAS SOPS 10876 HAS SOUS 5234 HAS SOUPS 5234 WITH SCORE 5244.876
AT ITER 1130 NEW BEST:: SOT 16001 SOS 10874 HAS SOPS 10874 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5242.874
AT ITER 1161 NEW BEST:: SOT 16002 SOS 10875 HAS SOPS 10875 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5235.875
AT ITER 1176 NEW BEST:: SOT 16027 SOS 10832 HAS SOPS 10832 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5232.832
AT ITER 1183 NEW BEST:: SOT 16027 SOS 10802 HAS SOPS 10802 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5232.802
AT ITER 1191 NEW BEST:: SOT 16019 SOS 10792 HAS SOPS 10792 HAS SOUS 5212 HAS SOUPS 5212 WITH SCORE 5222.792
AT ITER 1207 NEW BEST:: SOT 16019 SOS 10792 HAS SOPS 10792 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5221.792
AT ITER 1210 NEW BEST:: SOT 16017 SOS 10790 HAS SOPS 10790 HAS SOUS 5199 HAS SOUPS 5199 WITH SCORE 5209.79
AT ITER 1213 NEW BEST:: SOT 16017 SOS 10777 HAS SOPS 10777 HAS SOUS 5186 HAS SOUPS 5186 WITH SCORE 5196.777
AT ITER 1220 NEW BEST:: SOT 16017 SOS 10776 HAS SOPS 10776 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5195.776
AT ITER 1225 NEW BEST:: SOT 15972 SOS 10731 HAS SOPS 10731 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5150.731
AT ITER 1228 NEW BEST:: SOT 15941 SOS 10700 HAS SOPS 10700 HAS SOUS 5109 HAS SOUPS 5109 WITH SCORE 5119.7
AT ITER 1245 NEW BEST:: SOT 15937 SOS 10696 HAS SOPS 10696 HAS SOUS 5105 HAS SOUPS 5105 WITH SCORE 5115.696
AT ITER 1247 NEW BEST:: SOT 15934 SOS 10693 HAS SOPS 10693 HAS SOUS 5102 HAS SOUPS 5102 WITH SCORE 5112.693
AT ITER 1253 NEW BEST:: SOT 15893 SOS 10652 HAS SOPS 10652 HAS SOUS 5092 HAS SOUPS 5092 WITH SCORE 5102.652
AT ITER 1254 NEW BEST:: SOT 15882 SOS 10639 HAS SOPS 10639 HAS SOUS 5090 HAS SOUPS 5090 WITH SCORE 5100.639
AT ITER 1268 NEW BEST:: SOT 15876 SOS 10622 HAS SOPS 10622 HAS SOUS 5089 HAS SOUPS 5089 WITH SCORE 5099.622
AT ITER 1274 NEW BEST:: SOT 15876 SOS 10627 HAS SOPS 10627 HAS SOUS 5084 HAS SOUPS 5084 WITH SCORE 5094.627
AT ITER 1298 NEW BEST:: SOT 15874 SOS 10625 HAS SOPS 10625 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5090.625
AT ITER 1301 NEW BEST:: SOT 15866 SOS 10611 HAS SOPS 10611 HAS SOUS 5066 HAS SOUPS 5066 WITH SCORE 5076.611
AT ITER 1304 NEW BEST:: SOT 15861 SOS 10605 HAS SOPS 10605 HAS SOUS 5066 HAS SOUPS 5066 WITH SCORE 5076.605
AT ITER 1322 NEW BEST:: SOT 15861 SOS 10669 HAS SOPS 10669 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5065.669
AT ITER 1350 NEW BEST:: SOT 15872 SOS 10695 HAS SOPS 10695 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5048.695
AT ITER 1363 NEW BEST:: SOT 15839 SOS 10599 HAS SOPS 10599 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4986.599
AT ITER 1375 NEW BEST:: SOT 15835 SOS 10591 HAS SOPS 10591 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4978.591
AT ITER 1404 NEW BEST:: SOT 15827 SOS 10583 HAS SOPS 10583 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4968.583
AT ITER 1423 NEW BEST:: SOT 15810 SOS 10534 HAS SOPS 10534 HAS SOUS 4941 HAS SOUPS 4941 WITH SCORE 4951.534
AT ITER 1431 NEW BEST:: SOT 15821 SOS 10538 HAS SOPS 10538 HAS SOUS 4931 HAS SOUPS 4931 WITH SCORE 4941.538
AT ITER 1438 NEW BEST:: SOT 15818 SOS 10520 HAS SOPS 10520 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4923.52
AT ITER 1455 NEW BEST:: SOT 15848 SOS 10512 HAS SOPS 10512 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4923.512
AT ITER 1462 NEW BEST:: SOT 15843 SOS 10502 HAS SOPS 10502 HAS SOUS 4908 HAS SOUPS 4908 WITH SCORE 4918.502
AT ITER 1463 NEW BEST:: SOT 15833 SOS 10499 HAS SOPS 10499 HAS SOUS 4898 HAS SOUPS 4898 WITH SCORE 4908.499
AT ITER 1468 NEW BEST:: SOT 15831 SOS 10492 HAS SOPS 10492 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4907.492
AT ITER 1469 NEW BEST:: SOT 15839 SOS 10500 HAS SOPS 10500 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4899.5
AT ITER 1488 NEW BEST:: SOT 15831 SOS 10488 HAS SOPS 10488 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4887.488
AT ITER 1499 NEW BEST:: SOT 15827 SOS 10484 HAS SOPS 10484 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4883.484
AT ITER 1506 NEW BEST:: SOT 15811 SOS 10479 HAS SOPS 10479 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4878.479
AT ITER 1507 NEW BEST:: SOT 15798 SOS 10461 HAS SOPS 10461 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4860.461
AT ITER 1513 NEW BEST:: SOT 15777 SOS 10413 HAS SOPS 10413 HAS SOUS 4829 HAS SOUPS 4829 WITH SCORE 4839.413
AT ITER 1515 NEW BEST:: SOT 15751 SOS 10375 HAS SOPS 10375 HAS SOUS 4809 HAS SOUPS 4809 WITH SCORE 4819.375
AT ITER 1526 NEW BEST:: SOT 15719 SOS 10297 HAS SOPS 10297 HAS SOUS 4763 HAS SOUPS 4763 WITH SCORE 4773.297
AT ITER 1529 NEW BEST:: SOT 15708 SOS 10286 HAS SOPS 10286 HAS SOUS 4763 HAS SOUPS 4763 WITH SCORE 4773.286
AT ITER 1531 NEW BEST:: SOT 15699 SOS 10265 HAS SOPS 10265 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4770.265
AT ITER 1540 NEW BEST:: SOT 15673 SOS 10219 HAS SOPS 10219 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4736.219
AT ITER 1546 NEW BEST:: SOT 15673 SOS 10218 HAS SOPS 10218 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4734.218
AT ITER 1612 NEW BEST:: SOT 15663 SOS 10208 HAS SOPS 10208 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4724.208
AT ITER 1623 NEW BEST:: SOT 15663 SOS 10208 HAS SOPS 10208 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4718.208
AT ITER 1666 NEW BEST:: SOT 15662 SOS 10207 HAS SOPS 10207 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4716.207
AT ITER 1680 NEW BEST:: SOT 15662 SOS 10206 HAS SOPS 10206 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4715.206
AT ITER 1700 NEW BEST:: SOT 15660 SOS 10204 HAS SOPS 10204 HAS SOUS 4703 HAS SOUPS 4703 WITH SCORE 4713.204
AT ITER 1719 NEW BEST:: SOT 15663 SOS 10207 HAS SOPS 10207 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4709.207
AT ITER 1721 NEW BEST:: SOT 15663 SOS 10203 HAS SOPS 10203 HAS SOUS 4695 HAS SOUPS 4695 WITH SCORE 4705.203
AT ITER 1741 NEW BEST:: SOT 15662 SOS 10202 HAS SOPS 10202 HAS SOUS 4695 HAS SOUPS 4695 WITH SCORE 4705.202
AT ITER 1805 NEW BEST:: SOT 15658 SOS 10198 HAS SOPS 10198 HAS SOUS 4691 HAS SOUPS 4691 WITH SCORE 4701.198
AT ITER 1809 NEW BEST:: SOT 15650 SOS 10186 HAS SOPS 10186 HAS SOUS 4679 HAS SOUPS 4679 WITH SCORE 4689.186
AT ITER 1823 NEW BEST:: SOT 15655 SOS 10191 HAS SOPS 10191 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4684.191
AT ITER 1858 NEW BEST:: SOT 15642 SOS 10208 HAS SOPS 10208 HAS SOUS 4655 HAS SOUPS 4655 WITH SCORE 4665.208
AT ITER 1881 NEW BEST:: SOT 15634 SOS 10188 HAS SOPS 10188 HAS SOUS 4648 HAS SOUPS 4648 WITH SCORE 4658.188
AT ITER 1899 NEW BEST:: SOT 15628 SOS 10182 HAS SOPS 10182 HAS SOUS 4642 HAS SOUPS 4642 WITH SCORE 4652.182
AT ITER 1900 NEW BEST:: SOT 15604 SOS 10119 HAS SOPS 10119 HAS SOUS 4608 HAS SOUPS 4608 WITH SCORE 4618.119
AT ITER 1918 NEW BEST:: SOT 15602 SOS 10117 HAS SOPS 10117 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4615.117
AT ITER 1926 NEW BEST:: SOT 15593 SOS 10099 HAS SOPS 10099 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4606.099
AT ITER 1933 NEW BEST:: SOT 15604 SOS 10110 HAS SOPS 10110 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4601.11
AT ITER 1960 NEW BEST:: SOT 15604 SOS 10108 HAS SOPS 10108 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4599.108
AT ITER 1996 NEW BEST:: SOT 15586 SOS 10090 HAS SOPS 10090 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4563.09
AT ITER 2001 NEW BEST:: SOT 15575 SOS 10079 HAS SOPS 10079 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4552.079
AT ITER 2004 NEW BEST:: SOT 15576 SOS 10080 HAS SOPS 10080 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4550.08
AT ITER 2011 NEW BEST:: SOT 15549 SOS 10050 HAS SOPS 10050 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4520.05
AT ITER 2025 NEW BEST:: SOT 15543 SOS 10044 HAS SOPS 10044 HAS SOUS 4504 HAS SOUPS 4504 WITH SCORE 4514.044
AT ITER 2038 NEW BEST:: SOT 15543 SOS 10043 HAS SOPS 10043 HAS SOUS 4504 HAS SOUPS 4504 WITH SCORE 4514.043
AT ITER 2052 NEW BEST:: SOT 15540 SOS 10039 HAS SOPS 10039 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4513.039
AT ITER 2065 NEW BEST:: SOT 15538 SOS 10037 HAS SOPS 10037 HAS SOUS 4501 HAS SOUPS 4501 WITH SCORE 4511.037
AT ITER 2071 NEW BEST:: SOT 15531 SOS 10029 HAS SOPS 10029 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4510.029
AT ITER 2077 NEW BEST:: SOT 15531 SOS 10029 HAS SOPS 10029 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4506.029
AT ITER 2078 NEW BEST:: SOT 15554 SOS 9983 HAS SOPS 9983 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4505.983
AT ITER 2129 NEW BEST:: SOT 15532 SOS 9902 HAS SOPS 9902 HAS SOUS 4457 HAS SOUPS 4457 WITH SCORE 4466.902
AT ITER 2152 NEW BEST:: SOT 15525 SOS 9895 HAS SOPS 9895 HAS SOUS 4440 HAS SOUPS 4440 WITH SCORE 4449.895
AT ITER 2177 NEW BEST:: SOT 15511 SOS 9881 HAS SOPS 9881 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4443.881
AT ITER 2187 NEW BEST:: SOT 15502 SOS 9863 HAS SOPS 9863 HAS SOUS 4425 HAS SOUPS 4425 WITH SCORE 4434.863
AT ITER 2188 NEW BEST:: SOT 15471 SOS 9832 HAS SOPS 9832 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4411.832
AT ITER 2209 NEW BEST:: SOT 15471 SOS 9832 HAS SOPS 9832 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4410.832
AT ITER 2211 NEW BEST:: SOT 15452 SOS 9811 HAS SOPS 9811 HAS SOUS 4380 HAS SOUPS 4380 WITH SCORE 4389.811
AT ITER 2213 NEW BEST:: SOT 15437 SOS 9796 HAS SOPS 9796 HAS SOUS 4353 HAS SOUPS 4353 WITH SCORE 4362.796
AT ITER 2217 NEW BEST:: SOT 15409 SOS 9715 HAS SOPS 9715 HAS SOUS 4328 HAS SOUPS 4328 WITH SCORE 4337.715
AT ITER 2227 NEW BEST:: SOT 15393 SOS 9692 HAS SOPS 9692 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4330.692
AT ITER 2245 NEW BEST:: SOT 15390 SOS 9689 HAS SOPS 9689 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4327.689
AT ITER 2260 NEW BEST:: SOT 15389 SOS 9688 HAS SOPS 9688 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4326.688
AT ITER 2270 NEW BEST:: SOT 15378 SOS 9677 HAS SOPS 9677 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4326.677
AT ITER 2299 NEW BEST:: SOT 15382 SOS 9673 HAS SOPS 9673 HAS SOUS 4313 HAS SOUPS 4313 WITH SCORE 4322.673
AT ITER 2304 NEW BEST:: SOT 15382 SOS 9677 HAS SOPS 9677 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4318.677
AT ITER 2358 NEW BEST:: SOT 15347 SOS 9642 HAS SOPS 9642 HAS SOUS 4293 HAS SOUPS 4293 WITH SCORE 4302.642
AT ITER 2368 NEW BEST:: SOT 15342 SOS 9633 HAS SOPS 9633 HAS SOUS 4287 HAS SOUPS 4287 WITH SCORE 4296.633
AT ITER 2378 NEW BEST:: SOT 15342 SOS 9617 HAS SOPS 9617 HAS SOUS 4287 HAS SOUPS 4287 WITH SCORE 4296.617
AT ITER 2405 NEW BEST:: SOT 15336 SOS 9593 HAS SOPS 9593 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4295.593
AT ITER 2408 NEW BEST:: SOT 15316 SOS 9557 HAS SOPS 9557 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4271.557
AT ITER 2420 NEW BEST:: SOT 15316 SOS 9536 HAS SOPS 9536 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4271.536
AT ITER 2464 NEW BEST:: SOT 15317 SOS 9537 HAS SOPS 9537 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4263.537
AT ITER 2468 NEW BEST:: SOT 15292 SOS 9512 HAS SOPS 9512 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4263.512
AT ITER 2486 NEW BEST:: SOT 15288 SOS 9504 HAS SOPS 9504 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4263.504
AT ITER 2503 NEW BEST:: SOT 15287 SOS 9503 HAS SOPS 9503 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4262.503
AT ITER 2586 NEW BEST:: SOT 15286 SOS 9499 HAS SOPS 9499 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4258.499
AT ITER 2594 NEW BEST:: SOT 15273 SOS 9472 HAS SOPS 9472 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4231.472
AT ITER 2611 NEW BEST:: SOT 15271 SOS 9460 HAS SOPS 9460 HAS SOUS 4218 HAS SOUPS 4218 WITH SCORE 4227.46
AT ITER 2693 NEW BEST:: SOT 15270 SOS 9459 HAS SOPS 9459 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4225.459
AT ITER 2702 NEW BEST:: SOT 15266 SOS 9455 HAS SOPS 9455 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4217.455
AT ITER 2744 NEW BEST:: SOT 15265 SOS 9454 HAS SOPS 9454 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4215.454
AT ITER 2783 NEW BEST:: SOT 15264 SOS 9452 HAS SOPS 9452 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4214.452
AT ITER 2795 NEW BEST:: SOT 15263 SOS 9451 HAS SOPS 9451 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4213.451
AT ITER 2800 NEW BEST:: SOT 15263 SOS 9449 HAS SOPS 9449 HAS SOUS 4202 HAS SOUPS 4202 WITH SCORE 4211.449
AT ITER 2812 NEW BEST:: SOT 15263 SOS 9424 HAS SOPS 9424 HAS SOUS 4201 HAS SOUPS 4201 WITH SCORE 4210.424
AT ITER 2846 NEW BEST:: SOT 15260 SOS 9421 HAS SOPS 9421 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4204.421
AT ITER 2848 NEW BEST:: SOT 15253 SOS 9414 HAS SOPS 9414 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4204.414
AT ITER 2855 NEW BEST:: SOT 15253 SOS 9414 HAS SOPS 9414 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4202.414
AT ITER 2907 NEW BEST:: SOT 15253 SOS 9405 HAS SOPS 9405 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4200.405
AT ITER 2910 NEW BEST:: SOT 15223 SOS 9395 HAS SOPS 9395 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4192.395
AT ITER 2914 NEW BEST:: SOT 15217 SOS 9389 HAS SOPS 9389 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4192.389
AT ITER 2919 NEW BEST:: SOT 15217 SOS 9377 HAS SOPS 9377 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4180.377
AT ITER 2960 NEW BEST:: SOT 15209 SOS 9369 HAS SOPS 9369 HAS SOUS 4163 HAS SOUPS 4163 WITH SCORE 4172.369
AT ITER 2978 NEW BEST:: SOT 15209 SOS 9357 HAS SOPS 9357 HAS SOUS 4163 HAS SOUPS 4163 WITH SCORE 4172.357
AT ITER 2997 NEW BEST:: SOT 15193 SOS 9341 HAS SOPS 9341 HAS SOUS 4147 HAS SOUPS 4147 WITH SCORE 4156.341
AT ITER 3045 NEW BEST:: SOT 15211 SOS 9330 HAS SOPS 9330 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4145.33
AT ITER 3064 NEW BEST:: SOT 15197 SOS 9313 HAS SOPS 9313 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4123.313
AT ITER 3096 NEW BEST:: SOT 15197 SOS 9307 HAS SOPS 9307 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4123.307
AT ITER 3120 NEW BEST:: SOT 15196 SOS 9306 HAS SOPS 9306 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4121.306
AT ITER 3128 NEW BEST:: SOT 15186 SOS 9296 HAS SOPS 9296 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4111.296
AT ITER 3132 NEW BEST:: SOT 15186 SOS 9296 HAS SOPS 9296 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4098.296
AT ITER 3144 NEW BEST:: SOT 15147 SOS 9266 HAS SOPS 9266 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4098.266
AT ITER 3153 NEW BEST:: SOT 15147 SOS 9270 HAS SOPS 9270 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4094.27
AT ITER 3157 NEW BEST:: SOT 15135 SOS 9258 HAS SOPS 9258 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4070.258
AT ITER 3169 NEW BEST:: SOT 15136 SOS 9258 HAS SOPS 9258 HAS SOUS 4059 HAS SOUPS 4059 WITH SCORE 4068.258
AT ITER 3194 NEW BEST:: SOT 15126 SOS 9248 HAS SOPS 9248 HAS SOUS 4055 HAS SOUPS 4055 WITH SCORE 4064.248
AT ITER 3239 NEW BEST:: SOT 15125 SOS 9247 HAS SOPS 9247 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4062.247
AT ITER 3273 NEW BEST:: SOT 15122 SOS 9244 HAS SOPS 9244 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4062.244
AT ITER 3295 NEW BEST:: SOT 15102 SOS 9221 HAS SOPS 9221 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4040.221
AT ITER 3343 NEW BEST:: SOT 15106 SOS 9225 HAS SOPS 9225 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4036.225
AT ITER 3347 NEW BEST:: SOT 15112 SOS 9233 HAS SOPS 9233 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4008.233
AT ITER 3367 NEW BEST:: SOT 15110 SOS 9231 HAS SOPS 9231 HAS SOUS 3997 HAS SOUPS 3997 WITH SCORE 4006.231
AT ITER 3369 NEW BEST:: SOT 15084 SOS 9202 HAS SOPS 9202 HAS SOUS 3986 HAS SOUPS 3986 WITH SCORE 3995.202
AT ITER 3394 NEW BEST:: SOT 15082 SOS 9198 HAS SOPS 9198 HAS SOUS 3984 HAS SOUPS 3984 WITH SCORE 3993.198
AT ITER 3397 NEW BEST:: SOT 15078 SOS 9194 HAS SOPS 9194 HAS SOUS 3984 HAS SOUPS 3984 WITH SCORE 3993.194
AT ITER 3398 NEW BEST:: SOT 15045 SOS 9083 HAS SOPS 9083 HAS SOUS 3924 HAS SOUPS 3924 WITH SCORE 3933.083
AT ITER 3399 NEW BEST:: SOT 15044 SOS 9082 HAS SOPS 9082 HAS SOUS 3922 HAS SOUPS 3922 WITH SCORE 3931.082
AT ITER 3476 NEW BEST:: SOT 15044 SOS 9080 HAS SOPS 9080 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3929.08
AT ITER 3481 NEW BEST:: SOT 15042 SOS 9071 HAS SOPS 9071 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3920.071
AT ITER 3482 NEW BEST:: SOT 15036 SOS 9149 HAS SOPS 9149 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3908.149
AT ITER 3486 NEW BEST:: SOT 15035 SOS 9148 HAS SOPS 9148 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3907.148
AT ITER 3510 NEW BEST:: SOT 15034 SOS 9146 HAS SOPS 9146 HAS SOUS 3896 HAS SOUPS 3896 WITH SCORE 3905.146
AT ITER 3614 NEW BEST:: SOT 15034 SOS 9128 HAS SOPS 9128 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3887.128
AT ITER 3616 NEW BEST:: SOT 15022 SOS 9116 HAS SOPS 9116 HAS SOUS 3868 HAS SOUPS 3868 WITH SCORE 3877.116
AT ITER 3656 NEW BEST:: SOT 15022 SOS 9116 HAS SOPS 9116 HAS SOUS 3867 HAS SOUPS 3867 WITH SCORE 3876.116
AT ITER 3697 NEW BEST:: SOT 15011 SOS 9107 HAS SOPS 9107 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3867.107
AT ITER 3710 NEW BEST:: SOT 14994 SOS 9087 HAS SOPS 9087 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3854.087
AT ITER 3730 NEW BEST:: SOT 14987 SOS 9068 HAS SOPS 9068 HAS SOUS 3843 HAS SOUPS 3843 WITH SCORE 3852.068
AT ITER 3732 NEW BEST:: SOT 14985 SOS 9066 HAS SOPS 9066 HAS SOUS 3832 HAS SOUPS 3832 WITH SCORE 3841.066
AT ITER 3736 NEW BEST:: SOT 14930 SOS 9021 HAS SOPS 9021 HAS SOUS 3832 HAS SOUPS 3832 WITH SCORE 3841.021
AT ITER 3740 NEW BEST:: SOT 14919 SOS 9000 HAS SOPS 9000 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3820.0
AT ITER 3806 NEW BEST:: SOT 14918 SOS 8999 HAS SOPS 8999 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3819.999
AT ITER 3824 NEW BEST:: SOT 14930 SOS 9011 HAS SOPS 9011 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3808.011
AT ITER 3835 NEW BEST:: SOT 14922 SOS 9003 HAS SOPS 9003 HAS SOUS 3787 HAS SOUPS 3787 WITH SCORE 3796.003
AT ITER 3837 NEW BEST:: SOT 14918 SOS 8999 HAS SOPS 8999 HAS SOUS 3783 HAS SOUPS 3783 WITH SCORE 3791.999
AT ITER 3848 NEW BEST:: SOT 14911 SOS 8992 HAS SOPS 8992 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3784.992
AT ITER 3888 NEW BEST:: SOT 14894 SOS 8956 HAS SOPS 8956 HAS SOUS 3752 HAS SOUPS 3752 WITH SCORE 3760.956
AT ITER 3892 NEW BEST:: SOT 14894 SOS 8836 HAS SOPS 8836 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3754.836
AT ITER 3901 NEW BEST:: SOT 14895 SOS 8830 HAS SOPS 8830 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3748.83
AT ITER 3923 NEW BEST:: SOT 14892 SOS 8893 HAS SOPS 8893 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3736.893
AT ITER 3948 NEW BEST:: SOT 14893 SOS 8894 HAS SOPS 8894 HAS SOUS 3725 HAS SOUPS 3725 WITH SCORE 3733.894
AT ITER 3980 NEW BEST:: SOT 14889 SOS 8886 HAS SOPS 8886 HAS SOUS 3717 HAS SOUPS 3717 WITH SCORE 3725.886
AT ITER 4000 NEW BEST:: SOT 14889 SOS 8861 HAS SOPS 8861 HAS SOUS 3714 HAS SOUPS 3714 WITH SCORE 3722.861
AT ITER 4008 NEW BEST:: SOT 14878 SOS 8847 HAS SOPS 8847 HAS SOUS 3700 HAS SOUPS 3700 WITH SCORE 3708.847
AT ITER 4017 NEW BEST:: SOT 14845 SOS 8814 HAS SOPS 8814 HAS SOUS 3695 HAS SOUPS 3695 WITH SCORE 3703.814
AT ITER 4028 NEW BEST:: SOT 14844 SOS 8822 HAS SOPS 8822 HAS SOUS 3693 HAS SOUPS 3693 WITH SCORE 3701.822
AT ITER 4040 NEW BEST:: SOT 14840 SOS 8814 HAS SOPS 8814 HAS SOUS 3689 HAS SOUPS 3689 WITH SCORE 3697.814
AT ITER 4053 NEW BEST:: SOT 14836 SOS 8806 HAS SOPS 8806 HAS SOUS 3681 HAS SOUPS 3681 WITH SCORE 3689.806
AT ITER 4088 NEW BEST:: SOT 14833 SOS 8800 HAS SOPS 8800 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3683.8
AT ITER 4110 NEW BEST:: SOT 14803 SOS 8783 HAS SOPS 8783 HAS SOUS 3658 HAS SOUPS 3658 WITH SCORE 3666.783
AT ITER 4154 NEW BEST:: SOT 14803 SOS 8783 HAS SOPS 8783 HAS SOUS 3653 HAS SOUPS 3653 WITH SCORE 3661.783
AT ITER 4257 NEW BEST:: SOT 14787 SOS 8766 HAS SOPS 8766 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3644.766
AT ITER 4330 NEW BEST:: SOT 14787 SOS 8766 HAS SOPS 8766 HAS SOUS 3630 HAS SOUPS 3630 WITH SCORE 3638.766
AT ITER 4340 NEW BEST:: SOT 14785 SOS 8764 HAS SOPS 8764 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3636.764
AT ITER 4346 NEW BEST:: SOT 14784 SOS 8763 HAS SOPS 8763 HAS SOUS 3625 HAS SOUPS 3625 WITH SCORE 3633.763
AT ITER 4381 NEW BEST:: SOT 14780 SOS 8759 HAS SOPS 8759 HAS SOUS 3621 HAS SOUPS 3621 WITH SCORE 3629.759
AT ITER 4409 NEW BEST:: SOT 14777 SOS 8754 HAS SOPS 8754 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3626.754
AT ITER 4457 NEW BEST:: SOT 14765 SOS 8742 HAS SOPS 8742 HAS SOUS 3606 HAS SOUPS 3606 WITH SCORE 3614.742
AT ITER 4462 NEW BEST:: SOT 14764 SOS 8741 HAS SOPS 8741 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3612.741
AT ITER 4507 NEW BEST:: SOT 14763 SOS 8744 HAS SOPS 8744 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3593.744
AT ITER 4523 NEW BEST:: SOT 14760 SOS 8735 HAS SOPS 8735 HAS SOUS 3579 HAS SOUPS 3579 WITH SCORE 3587.735
AT ITER 4545 NEW BEST:: SOT 14760 SOS 8733 HAS SOPS 8733 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3585.733
AT ITER 4651 NEW BEST:: SOT 14754 SOS 8727 HAS SOPS 8727 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3579.727
AT ITER 4679 NEW BEST:: SOT 14766 SOS 8739 HAS SOPS 8739 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3573.739
AT ITER 4689 NEW BEST:: SOT 14764 SOS 8737 HAS SOPS 8737 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3569.737
AT ITER 4848 NEW BEST:: SOT 14771 SOS 8744 HAS SOPS 8744 HAS SOUS 3559 HAS SOUPS 3559 WITH SCORE 3567.744
AT ITER 4869 NEW BEST:: SOT 14771 SOS 8744 HAS SOPS 8744 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3560.744
AT ITER 4877 NEW BEST:: SOT 14758 SOS 8587 HAS SOPS 8587 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3549.587
AT ITER 4903 NEW BEST:: SOT 14756 SOS 8585 HAS SOPS 8585 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3545.585
AT ITER 4937 NEW BEST:: SOT 14755 SOS 8585 HAS SOPS 8585 HAS SOUS 3535 HAS SOUPS 3535 WITH SCORE 3543.585
AT ITER 4947 NEW BEST:: SOT 14736 SOS 8566 HAS SOPS 8566 HAS SOUS 3535 HAS SOUPS 3535 WITH SCORE 3543.566
AT ITER 4966 NEW BEST:: SOT 14725 SOS 8549 HAS SOPS 8549 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3526.549
AT ITER 5000 NEW BEST:: SOT 14722 SOS 8546 HAS SOPS 8546 HAS SOUS 3515 HAS SOUPS 3515 WITH SCORE 3523.546
AT ITER 5013 NEW BEST:: SOT 14717 SOS 8541 HAS SOPS 8541 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3518.541
AT ITER 5060 NEW BEST:: SOT 14717 SOS 8542 HAS SOPS 8542 HAS SOUS 3506 HAS SOUPS 3506 WITH SCORE 3514.542
AT ITER 5105 NEW BEST:: SOT 14708 SOS 8533 HAS SOPS 8533 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3502.533
AT ITER 5131 NEW BEST:: SOT 14707 SOS 8532 HAS SOPS 8532 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3501.532
AT ITER 5137 NEW BEST:: SOT 14704 SOS 8529 HAS SOPS 8529 HAS SOUS 3487 HAS SOUPS 3487 WITH SCORE 3495.529
AT ITER 5138 NEW BEST:: SOT 14703 SOS 8528 HAS SOPS 8528 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3494.528
AT ITER 5142 NEW BEST:: SOT 14722 SOS 8547 HAS SOPS 8547 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3487.547
AT ITER 5149 NEW BEST:: SOT 14724 SOS 8549 HAS SOPS 8549 HAS SOUS 3477 HAS SOUPS 3477 WITH SCORE 3485.549
AT ITER 5163 NEW BEST:: SOT 14721 SOS 8543 HAS SOPS 8543 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3482.543
AT ITER 5175 NEW BEST:: SOT 14645 SOS 8471 HAS SOPS 8471 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3469.471
AT ITER 5222 NEW BEST:: SOT 14637 SOS 8460 HAS SOPS 8460 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3458.46
AT ITER 5245 NEW BEST:: SOT 14635 SOS 8402 HAS SOPS 8402 HAS SOUS 3415 HAS SOUPS 3415 WITH SCORE 3423.402
AT ITER 5246 NEW BEST:: SOT 14620 SOS 8377 HAS SOPS 8377 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3415.377
AT ITER 5279 NEW BEST:: SOT 14620 SOS 8372 HAS SOPS 8372 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3410.372
AT ITER 5283 NEW BEST:: SOT 14618 SOS 8364 HAS SOPS 8364 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3408.364
AT ITER 5328 NEW BEST:: SOT 14618 SOS 8358 HAS SOPS 8358 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3402.358
AT ITER 5348 NEW BEST:: SOT 14611 SOS 8347 HAS SOPS 8347 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3392.347
AT ITER 5422 NEW BEST:: SOT 14606 SOS 8342 HAS SOPS 8342 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3387.342
AT ITER 5469 NEW BEST:: SOT 14598 SOS 8334 HAS SOPS 8334 HAS SOUS 3363 HAS SOUPS 3363 WITH SCORE 3371.334
AT ITER 5543 NEW BEST:: SOT 14600 SOS 8336 HAS SOPS 8336 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3346.336
AT ITER 5564 NEW BEST:: SOT 14589 SOS 8319 HAS SOPS 8319 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3336.319
AT ITER 5572 NEW BEST:: SOT 14588 SOS 8316 HAS SOPS 8316 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3336.316
AT ITER 5584 NEW BEST:: SOT 14588 SOS 8315 HAS SOPS 8315 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3335.315
AT ITER 5633 NEW BEST:: SOT 14578 SOS 8305 HAS SOPS 8305 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3335.305
AT ITER 5646 NEW BEST:: SOT 14578 SOS 8301 HAS SOPS 8301 HAS SOUS 3323 HAS SOUPS 3323 WITH SCORE 3331.301
AT ITER 5648 NEW BEST:: SOT 14560 SOS 8256 HAS SOPS 8256 HAS SOUS 3305 HAS SOUPS 3305 WITH SCORE 3313.256
AT ITER 5722 NEW BEST:: SOT 14559 SOS 8255 HAS SOPS 8255 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3311.255
AT ITER 5741 NEW BEST:: SOT 14558 SOS 8280 HAS SOPS 8280 HAS SOUS 3301 HAS SOUPS 3301 WITH SCORE 3309.28
AT ITER 5745 NEW BEST:: SOT 14557 SOS 8273 HAS SOPS 8273 HAS SOUS 3298 HAS SOUPS 3298 WITH SCORE 3306.273
AT ITER 5788 NEW BEST:: SOT 14554 SOS 8270 HAS SOPS 8270 HAS SOUS 3298 HAS SOUPS 3298 WITH SCORE 3306.27
AT ITER 5817 NEW BEST:: SOT 14540 SOS 8256 HAS SOPS 8256 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3292.256
AT ITER 5949 NEW BEST:: SOT 14538 SOS 8254 HAS SOPS 8254 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3292.254
AT ITER 5953 NEW BEST:: SOT 14537 SOS 8253 HAS SOPS 8253 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3291.253
AT ITER 5984 NEW BEST:: SOT 14554 SOS 8270 HAS SOPS 8270 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3283.27
AT ITER 6048 NEW BEST:: SOT 14548 SOS 8264 HAS SOPS 8264 HAS SOUS 3263 HAS SOUPS 3263 WITH SCORE 3271.264
AT ITER 6057 NEW BEST:: SOT 14546 SOS 8247 HAS SOPS 8247 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3264.247
AT ITER 6091 NEW BEST:: SOT 14532 SOS 8233 HAS SOPS 8233 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3264.233
AT ITER 6133 NEW BEST:: SOT 14534 SOS 8215 HAS SOPS 8215 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3262.215
AT ITER 6140 NEW BEST:: SOT 14537 SOS 8215 HAS SOPS 8215 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3261.215
AT ITER 6312 NEW BEST:: SOT 14533 SOS 8205 HAS SOPS 8205 HAS SOUS 3250 HAS SOUPS 3250 WITH SCORE 3258.205
AT ITER 6313 NEW BEST:: SOT 14536 SOS 8200 HAS SOPS 8200 HAS SOUS 3245 HAS SOUPS 3245 WITH SCORE 3253.2
AT ITER 6316 NEW BEST:: SOT 14525 SOS 8214 HAS SOPS 8214 HAS SOUS 3239 HAS SOUPS 3239 WITH SCORE 3247.214
AT ITER 6348 NEW BEST:: SOT 14525 SOS 8210 HAS SOPS 8210 HAS SOUS 3235 HAS SOUPS 3235 WITH SCORE 3243.21
AT ITER 6364 NEW BEST:: SOT 14524 SOS 8210 HAS SOPS 8210 HAS SOUS 3234 HAS SOUPS 3234 WITH SCORE 3242.21
AT ITER 6380 NEW BEST:: SOT 14517 SOS 8203 HAS SOPS 8203 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3240.203
AT ITER 6385 NEW BEST:: SOT 14519 SOS 8207 HAS SOPS 8207 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3238.207
AT ITER 6416 NEW BEST:: SOT 14520 SOS 8208 HAS SOPS 8208 HAS SOUS 3229 HAS SOUPS 3229 WITH SCORE 3237.208
AT ITER 6461 NEW BEST:: SOT 14507 SOS 8193 HAS SOPS 8193 HAS SOUS 3209 HAS SOUPS 3209 WITH SCORE 3217.193
AT ITER 6534 NEW BEST:: SOT 14507 SOS 8170 HAS SOPS 8170 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3209.17
AT ITER 6632 NEW BEST:: SOT 14497 SOS 8162 HAS SOPS 8162 HAS SOUS 3199 HAS SOUPS 3199 WITH SCORE 3207.162
AT ITER 6697 NEW BEST:: SOT 14493 SOS 8158 HAS SOPS 8158 HAS SOUS 3195 HAS SOUPS 3195 WITH SCORE 3203.158
AT ITER 6710 NEW BEST:: SOT 14493 SOS 8155 HAS SOPS 8155 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3200.155
AT ITER 6943 NEW BEST:: SOT 14490 SOS 8151 HAS SOPS 8151 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3199.151
AT ITER 6974 NEW BEST:: SOT 14488 SOS 8149 HAS SOPS 8149 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3199.149
AT ITER 7031 NEW BEST:: SOT 14485 SOS 8126 HAS SOPS 8126 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3197.126
AT ITER 7164 NEW BEST:: SOT 14482 SOS 8123 HAS SOPS 8123 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3194.123
AT ITER 7251 NEW BEST:: SOT 14480 SOS 8133 HAS SOPS 8133 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3180.133
AT ITER 7256 NEW BEST:: SOT 14483 SOS 8124 HAS SOPS 8124 HAS SOUS 3163 HAS SOUPS 3163 WITH SCORE 3171.124
AT ITER 7333 NEW BEST:: SOT 14476 SOS 8094 HAS SOPS 8094 HAS SOUS 3155 HAS SOUPS 3155 WITH SCORE 3163.094
AT ITER 7366 NEW BEST:: SOT 14472 SOS 8090 HAS SOPS 8090 HAS SOUS 3155 HAS SOUPS 3155 WITH SCORE 3163.09
AT ITER 7394 NEW BEST:: SOT 14472 SOS 8086 HAS SOPS 8086 HAS SOUS 3151 HAS SOUPS 3151 WITH SCORE 3159.086
AT ITER 7400 NEW BEST:: SOT 14493 SOS 8107 HAS SOPS 8107 HAS SOUS 3141 HAS SOUPS 3141 WITH SCORE 3149.107
AT ITER 7401 NEW BEST:: SOT 14489 SOS 8095 HAS SOPS 8095 HAS SOUS 3129 HAS SOUPS 3129 WITH SCORE 3137.095
AT ITER 7511 NEW BEST:: SOT 14488 SOS 8094 HAS SOPS 8094 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3136.094
AT ITER 7531 NEW BEST:: SOT 14421 SOS 8051 HAS SOPS 8051 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3121.051
AT ITER 7586 NEW BEST:: SOT 14406 SOS 8027 HAS SOPS 8027 HAS SOUS 3089 HAS SOUPS 3089 WITH SCORE 3097.027
AT ITER 7598 NEW BEST:: SOT 14404 SOS 8025 HAS SOPS 8025 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3096.025
AT ITER 7651 NEW BEST:: SOT 14403 SOS 8024 HAS SOPS 8024 HAS SOUS 3087 HAS SOUPS 3087 WITH SCORE 3095.024
AT ITER 7664 NEW BEST:: SOT 14401 SOS 8022 HAS SOPS 8022 HAS SOUS 3085 HAS SOUPS 3085 WITH SCORE 3093.022
AT ITER 7667 NEW BEST:: SOT 14401 SOS 8019 HAS SOPS 8019 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3092.019
AT ITER 7691 NEW BEST:: SOT 14387 SOS 8005 HAS SOPS 8005 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3078.005
AT ITER 7694 NEW BEST:: SOT 14387 SOS 8003 HAS SOPS 8003 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3076.003
AT ITER 7727 NEW BEST:: SOT 14385 SOS 8001 HAS SOPS 8001 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3074.001
AT ITER 7919 NEW BEST:: SOT 14385 SOS 8002 HAS SOPS 8002 HAS SOUS 3065 HAS SOUPS 3065 WITH SCORE 3073.002
AT ITER 7972 NEW BEST:: SOT 14385 SOS 8002 HAS SOPS 8002 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3072.002
AT ITER 7977 NEW BEST:: SOT 14385 SOS 7999 HAS SOPS 7999 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3071.999
AT ITER 7986 NEW BEST:: SOT 14376 SOS 7966 HAS SOPS 7966 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3055.966
AT ITER 8017 NEW BEST:: SOT 14374 SOS 7964 HAS SOPS 7964 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3051.964
AT ITER 8031 NEW BEST:: SOT 14373 SOS 7958 HAS SOPS 7958 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3049.958
AT ITER 8084 NEW BEST:: SOT 14365 SOS 7957 HAS SOPS 7957 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3048.957
AT ITER 8091 NEW BEST:: SOT 14366 SOS 7940 HAS SOPS 7940 HAS SOUS 3013 HAS SOUPS 3013 WITH SCORE 3020.94
AT ITER 8164 NEW BEST:: SOT 14361 SOS 7931 HAS SOPS 7931 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3011.931
AT ITER 8318 NEW BEST:: SOT 14359 SOS 7940 HAS SOPS 7940 HAS SOUS 2993 HAS SOUPS 2993 WITH SCORE 3000.94
AT ITER 8361 NEW BEST:: SOT 14359 SOS 8021 HAS SOPS 8021 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2998.021
AT ITER 8414 NEW BEST:: SOT 14355 SOS 8017 HAS SOPS 8017 HAS SOUS 2981 HAS SOUPS 2981 WITH SCORE 2989.017
AT ITER 8415 NEW BEST:: SOT 14354 SOS 8016 HAS SOPS 8016 HAS SOUS 2979 HAS SOUPS 2979 WITH SCORE 2987.016
AT ITER 8432 NEW BEST:: SOT 14365 SOS 8027 HAS SOPS 8027 HAS SOUS 2977 HAS SOUPS 2977 WITH SCORE 2985.027
AT ITER 8531 NEW BEST:: SOT 14302 SOS 7753 HAS SOPS 7753 HAS SOUS 2969 HAS SOUPS 2969 WITH SCORE 2976.753
AT ITER 8586 NEW BEST:: SOT 14302 SOS 7754 HAS SOPS 7754 HAS SOUS 2963 HAS SOUPS 2963 WITH SCORE 2970.754
AT ITER 8661 NEW BEST:: SOT 14291 SOS 7743 HAS SOPS 7743 HAS SOUS 2952 HAS SOUPS 2952 WITH SCORE 2959.743
AT ITER 8679 NEW BEST:: SOT 14293 SOS 7745 HAS SOPS 7745 HAS SOUS 2949 HAS SOUPS 2949 WITH SCORE 2956.745
AT ITER 8830 NEW BEST:: SOT 14284 SOS 7736 HAS SOPS 7736 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2955.736
AT ITER 8839 NEW BEST:: SOT 14280 SOS 7732 HAS SOPS 7732 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2947.732
AT ITER 8842 NEW BEST:: SOT 14266 SOS 7712 HAS SOPS 7712 HAS SOUS 2935 HAS SOUPS 2935 WITH SCORE 2942.712
AT ITER 8873 NEW BEST:: SOT 14276 SOS 7722 HAS SOPS 7722 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2933.722
AT ITER 8881 NEW BEST:: SOT 14275 SOS 7718 HAS SOPS 7718 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2932.718
AT ITER 8929 NEW BEST:: SOT 14274 SOS 7717 HAS SOPS 7717 HAS SOUS 2923 HAS SOUPS 2923 WITH SCORE 2930.717
AT ITER 8931 NEW BEST:: SOT 14272 SOS 7715 HAS SOPS 7715 HAS SOUS 2919 HAS SOUPS 2919 WITH SCORE 2926.715
AT ITER 8942 NEW BEST:: SOT 14269 SOS 7713 HAS SOPS 7713 HAS SOUS 2917 HAS SOUPS 2917 WITH SCORE 2924.713
AT ITER 9027 NEW BEST:: SOT 14267 SOS 7711 HAS SOPS 7711 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2920.711
AT ITER 9038 NEW BEST:: SOT 14267 SOS 7571 HAS SOPS 7571 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2913.571
AT ITER 9094 NEW BEST:: SOT 14266 SOS 7570 HAS SOPS 7570 HAS SOUS 2905 HAS SOUPS 2905 WITH SCORE 2912.57
AT ITER 9142 NEW BEST:: SOT 14264 SOS 7568 HAS SOPS 7568 HAS SOUS 2901 HAS SOUPS 2901 WITH SCORE 2908.568
AT ITER 9181 NEW BEST:: SOT 14268 SOS 7572 HAS SOPS 7572 HAS SOUS 2868 HAS SOUPS 2868 WITH SCORE 2875.572
AT ITER 9210 NEW BEST:: SOT 14264 SOS 7484 HAS SOPS 7484 HAS SOUS 2866 HAS SOUPS 2866 WITH SCORE 2873.484
AT ITER 9259 NEW BEST:: SOT 14256 SOS 7476 HAS SOPS 7476 HAS SOUS 2858 HAS SOUPS 2858 WITH SCORE 2865.476
AT ITER 9264 NEW BEST:: SOT 14248 SOS 7468 HAS SOPS 7468 HAS SOUS 2848 HAS SOUPS 2848 WITH SCORE 2855.468
AT ITER 9334 NEW BEST:: SOT 14248 SOS 7467 HAS SOPS 7467 HAS SOUS 2847 HAS SOUPS 2847 WITH SCORE 2854.467
AT ITER 9339 NEW BEST:: SOT 14244 SOS 7463 HAS SOPS 7463 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2852.463
AT ITER 9374 NEW BEST:: SOT 14240 SOS 7459 HAS SOPS 7459 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2852.459
AT ITER 9394 NEW BEST:: SOT 14235 SOS 7454 HAS SOPS 7454 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2851.454
AT ITER 9485 NEW BEST:: SOT 14233 SOS 7451 HAS SOPS 7451 HAS SOUS 2841 HAS SOUPS 2841 WITH SCORE 2848.451
AT ITER 9557 NEW BEST:: SOT 14234 SOS 7452 HAS SOPS 7452 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2845.452
AT ITER 9562 NEW BEST:: SOT 14234 SOS 7448 HAS SOPS 7448 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2845.448
AT ITER 9565 NEW BEST:: SOT 14220 SOS 7430 HAS SOPS 7430 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2830.43
AT ITER 9566 NEW BEST:: SOT 14222 SOS 7428 HAS SOPS 7428 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2828.428
AT ITER 9605 NEW BEST:: SOT 14222 SOS 7423 HAS SOPS 7423 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2828.423
AT ITER 9647 NEW BEST:: SOT 14223 SOS 7423 HAS SOPS 7423 HAS SOUS 2820 HAS SOUPS 2820 WITH SCORE 2827.423
AT ITER 9682 NEW BEST:: SOT 14226 SOS 7431 HAS SOPS 7431 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2822.431
AT ITER 9712 NEW BEST:: SOT 14222 SOS 7427 HAS SOPS 7427 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2814.427
AT ITER 9735 NEW BEST:: SOT 14222 SOS 7426 HAS SOPS 7426 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2814.426
AT ITER 9755 NEW BEST:: SOT 14219 SOS 7423 HAS SOPS 7423 HAS SOUS 2798 HAS SOUPS 2798 WITH SCORE 2805.423
AT ITER 9771 NEW BEST:: SOT 14216 SOS 7420 HAS SOPS 7420 HAS SOUS 2795 HAS SOUPS 2795 WITH SCORE 2802.42
AT ITER 9774 NEW BEST:: SOT 14211 SOS 7415 HAS SOPS 7415 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2801.415
AT ITER 9874 NEW BEST:: SOT 14208 SOS 7408 HAS SOPS 7408 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2796.408
AT ITER 9887 NEW BEST:: SOT 14202 SOS 7396 HAS SOPS 7396 HAS SOUS 2777 HAS SOUPS 2777 WITH SCORE 2784.396
AT ITER 9904 NEW BEST:: SOT 14202 SOS 7393 HAS SOPS 7393 HAS SOUS 2774 HAS SOUPS 2774 WITH SCORE 2781.393
AT ITER 9958 NEW BEST:: SOT 14201 SOS 7392 HAS SOPS 7392 HAS SOUS 2773 HAS SOUPS 2773 WITH SCORE 2780.392
STATE_SPACE STATES 7969347823493 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 51 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 96542360416691 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678241752274

--------------------
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="DES-PT-20a"
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 DES-PT-20a, 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 r099-tall-167814472400432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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