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.r355-smll-167891804000672.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 SharedMemory-PT-000010, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891804000672
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 37K Feb 25 14:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 200K Feb 25 14:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 67K Feb 25 14:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 302K Feb 25 14:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 17K Feb 25 16:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 16:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 34K Feb 25 16:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 115K Feb 25 16:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 94K Feb 25 14:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 523K Feb 25 14:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 189K Feb 25 14:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 836K Feb 25 14:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.7K Feb 25 16:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 104K 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 1680021954002

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=SharedMemory-PT-000010
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SharedMemory (PT), instance 000010
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: 131 places, 210 transitions, 800 arcs.
AT ITER 0 NEW BEST:: SOT 24100 SOS 21030 HAS SOPS 21011 HAS SOUS 19077 HAS SOUPS 19058 WITH SCORE 19079.03
AT ITER 1 NEW BEST:: SOT 24150 SOS 20736 HAS SOPS 20717 HAS SOUS 18528 HAS SOUPS 18509 WITH SCORE 18529.736
AT ITER 4 NEW BEST:: SOT 24151 SOS 20708 HAS SOPS 20699 HAS SOUS 18449 HAS SOUPS 18440 WITH SCORE 18460.708
AT ITER 11 NEW BEST:: SOT 24223 SOS 20439 HAS SOPS 20430 HAS SOUS 17783 HAS SOUPS 17774 WITH SCORE 17794.439
AT ITER 14 NEW BEST:: SOT 24289 SOS 20341 HAS SOPS 20332 HAS SOUS 17540 HAS SOUPS 17531 WITH SCORE 17551.341
AT ITER 16 NEW BEST:: SOT 24318 SOS 20042 HAS SOPS 20033 HAS SOUS 17260 HAS SOUPS 17251 WITH SCORE 17271.042
AT ITER 19 NEW BEST:: SOT 24318 SOS 20042 HAS SOPS 20033 HAS SOUS 17252 HAS SOUPS 17243 WITH SCORE 17263.042
AT ITER 26 NEW BEST:: SOT 24351 SOS 20005 HAS SOPS 19996 HAS SOUS 17143 HAS SOUPS 17134 WITH SCORE 17154.005
AT ITER 28 NEW BEST:: SOT 24388 SOS 19648 HAS SOPS 19639 HAS SOUS 16719 HAS SOUPS 16710 WITH SCORE 16729.648
AT ITER 29 NEW BEST:: SOT 24388 SOS 19648 HAS SOPS 19639 HAS SOUS 16701 HAS SOUPS 16692 WITH SCORE 16711.648
AT ITER 33 NEW BEST:: SOT 24388 SOS 19647 HAS SOPS 19638 HAS SOUS 16687 HAS SOUPS 16678 WITH SCORE 16697.647
AT ITER 34 NEW BEST:: SOT 24388 SOS 19647 HAS SOPS 19638 HAS SOUS 16683 HAS SOUPS 16674 WITH SCORE 16693.647
AT ITER 35 NEW BEST:: SOT 24420 SOS 19573 HAS SOPS 19564 HAS SOUS 16620 HAS SOUPS 16611 WITH SCORE 16630.573
AT ITER 36 NEW BEST:: SOT 24474 SOS 19191 HAS SOPS 19182 HAS SOUS 16135 HAS SOUPS 16126 WITH SCORE 16145.191
AT ITER 41 NEW BEST:: SOT 24526 SOS 19099 HAS SOPS 19090 HAS SOUS 15800 HAS SOUPS 15791 WITH SCORE 15810.099
AT ITER 42 NEW BEST:: SOT 24526 SOS 19076 HAS SOPS 19067 HAS SOUS 15743 HAS SOUPS 15734 WITH SCORE 15753.076
AT ITER 43 NEW BEST:: SOT 18150 SOS 13644 HAS SOPS 13635 HAS SOUS 9506 HAS SOUPS 9497 WITH SCORE 9510.644
AT ITER 50 NEW BEST:: SOT 18150 SOS 13644 HAS SOPS 13635 HAS SOUS 9505 HAS SOUPS 9496 WITH SCORE 9509.644
AT ITER 53 NEW BEST:: SOT 18197 SOS 13665 HAS SOPS 13656 HAS SOUS 9300 HAS SOUPS 9291 WITH SCORE 9304.665
AT ITER 54 NEW BEST:: SOT 18171 SOS 13623 HAS SOPS 13614 HAS SOUS 9256 HAS SOUPS 9247 WITH SCORE 9260.623
AT ITER 56 NEW BEST:: SOT 18188 SOS 13675 HAS SOPS 13666 HAS SOUS 9255 HAS SOUPS 9246 WITH SCORE 9259.675
AT ITER 59 NEW BEST:: SOT 18103 SOS 13562 HAS SOPS 13553 HAS SOUS 9065 HAS SOUPS 9056 WITH SCORE 9069.562
AT ITER 62 NEW BEST:: SOT 18074 SOS 13533 HAS SOPS 13524 HAS SOUS 9009 HAS SOUPS 9000 WITH SCORE 9013.533
AT ITER 64 NEW BEST:: SOT 18055 SOS 13520 HAS SOPS 13511 HAS SOUS 9009 HAS SOUPS 9000 WITH SCORE 9013.52
AT ITER 68 NEW BEST:: SOT 18091 SOS 13516 HAS SOPS 13507 HAS SOUS 9001 HAS SOUPS 8992 WITH SCORE 9005.516
AT ITER 74 NEW BEST:: SOT 18079 SOS 13480 HAS SOPS 13447 HAS SOUS 8989 HAS SOUPS 8956 WITH SCORE 8969.48
AT ITER 75 NEW BEST:: SOT 18073 SOS 13474 HAS SOPS 13441 HAS SOUS 8982 HAS SOUPS 8949 WITH SCORE 8962.474
AT ITER 79 NEW BEST:: SOT 18361 SOS 13577 HAS SOPS 13544 HAS SOUS 8962 HAS SOUPS 8929 WITH SCORE 8942.577
AT ITER 82 NEW BEST:: SOT 18239 SOS 13455 HAS SOPS 13422 HAS SOUS 8774 HAS SOUPS 8741 WITH SCORE 8754.455
AT ITER 83 NEW BEST:: SOT 18230 SOS 13446 HAS SOPS 13413 HAS SOUS 8756 HAS SOUPS 8723 WITH SCORE 8736.446
AT ITER 92 NEW BEST:: SOT 18209 SOS 13425 HAS SOPS 13392 HAS SOUS 8714 HAS SOUPS 8681 WITH SCORE 8694.425
AT ITER 93 NEW BEST:: SOT 18307 SOS 13292 HAS SOPS 13259 HAS SOUS 8676 HAS SOUPS 8643 WITH SCORE 8656.292
AT ITER 99 NEW BEST:: SOT 18305 SOS 13290 HAS SOPS 13257 HAS SOUS 8672 HAS SOUPS 8639 WITH SCORE 8652.29
AT ITER 100 NEW BEST:: SOT 18304 SOS 13289 HAS SOPS 13256 HAS SOUS 8670 HAS SOUPS 8637 WITH SCORE 8650.289
AT ITER 101 NEW BEST:: SOT 18398 SOS 13192 HAS SOPS 13192 HAS SOUS 8414 HAS SOUPS 8414 WITH SCORE 8427.192
AT ITER 103 NEW BEST:: SOT 17826 SOS 12620 HAS SOPS 12620 HAS SOUS 7939 HAS SOUPS 7939 WITH SCORE 7951.62
AT ITER 104 NEW BEST:: SOT 17822 SOS 12588 HAS SOPS 12588 HAS SOUS 7936 HAS SOUPS 7936 WITH SCORE 7948.588
AT ITER 109 NEW BEST:: SOT 17543 SOS 12339 HAS SOPS 12339 HAS SOUS 7801 HAS SOUPS 7801 WITH SCORE 7813.339
AT ITER 111 NEW BEST:: SOT 17521 SOS 12501 HAS SOPS 12501 HAS SOUS 7791 HAS SOUPS 7791 WITH SCORE 7803.501
AT ITER 124 NEW BEST:: SOT 17532 SOS 12455 HAS SOPS 12455 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7756.455
AT ITER 130 NEW BEST:: SOT 17530 SOS 12453 HAS SOPS 12453 HAS SOUS 7742 HAS SOUPS 7742 WITH SCORE 7754.453
AT ITER 135 NEW BEST:: SOT 17482 SOS 12405 HAS SOPS 12405 HAS SOUS 7660 HAS SOUPS 7660 WITH SCORE 7672.405
AT ITER 136 NEW BEST:: SOT 17454 SOS 12377 HAS SOPS 12377 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7616.377
AT ITER 144 NEW BEST:: SOT 17442 SOS 12363 HAS SOPS 12363 HAS SOUS 7581 HAS SOUPS 7581 WITH SCORE 7593.363
AT ITER 149 NEW BEST:: SOT 17449 SOS 12325 HAS SOPS 12325 HAS SOUS 7578 HAS SOUPS 7578 WITH SCORE 7590.325
AT ITER 150 NEW BEST:: SOT 17442 SOS 12317 HAS SOPS 12317 HAS SOUS 7554 HAS SOUPS 7554 WITH SCORE 7566.317
AT ITER 154 NEW BEST:: SOT 17403 SOS 12283 HAS SOPS 12283 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7532.283
AT ITER 179 NEW BEST:: SOT 17376 SOS 12306 HAS SOPS 12306 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7529.306
AT ITER 182 NEW BEST:: SOT 17361 SOS 12295 HAS SOPS 12295 HAS SOUS 7487 HAS SOUPS 7487 WITH SCORE 7499.295
AT ITER 183 NEW BEST:: SOT 17358 SOS 12292 HAS SOPS 12292 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7491.292
AT ITER 191 NEW BEST:: SOT 17356 SOS 12290 HAS SOPS 12290 HAS SOUS 7475 HAS SOUPS 7475 WITH SCORE 7487.29
AT ITER 194 NEW BEST:: SOT 17326 SOS 12260 HAS SOPS 12260 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7485.26
AT ITER 201 NEW BEST:: SOT 17554 SOS 12117 HAS SOPS 12117 HAS SOUS 7358 HAS SOUPS 7358 WITH SCORE 7370.117
AT ITER 202 NEW BEST:: SOT 17506 SOS 12060 HAS SOPS 12060 HAS SOUS 7238 HAS SOUPS 7238 WITH SCORE 7250.06
AT ITER 203 NEW BEST:: SOT 17552 SOS 12076 HAS SOPS 12076 HAS SOUS 7164 HAS SOUPS 7164 WITH SCORE 7176.076
AT ITER 205 NEW BEST:: SOT 17518 SOS 12042 HAS SOPS 12042 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7090.042
AT ITER 224 NEW BEST:: SOT 17512 SOS 12032 HAS SOPS 12032 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7076.032
AT ITER 230 NEW BEST:: SOT 17506 SOS 12026 HAS SOPS 12026 HAS SOUS 7052 HAS SOUPS 7052 WITH SCORE 7064.026
AT ITER 233 NEW BEST:: SOT 17482 SOS 12002 HAS SOPS 12002 HAS SOUS 7004 HAS SOUPS 7004 WITH SCORE 7016.002
AT ITER 235 NEW BEST:: SOT 17483 SOS 11998 HAS SOPS 11998 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6995.998
AT ITER 246 NEW BEST:: SOT 17424 SOS 11939 HAS SOPS 11939 HAS SOUS 6930 HAS SOUPS 6930 WITH SCORE 6941.939
AT ITER 250 NEW BEST:: SOT 17502 SOS 12017 HAS SOPS 12017 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6918.017
AT ITER 252 NEW BEST:: SOT 17500 SOS 11960 HAS SOPS 11883 HAS SOUS 6977 HAS SOUPS 6900 WITH SCORE 6911.96
AT ITER 256 NEW BEST:: SOT 17418 SOS 11789 HAS SOPS 11675 HAS SOUS 6850 HAS SOUPS 6736 WITH SCORE 6747.789
AT ITER 267 NEW BEST:: SOT 17405 SOS 11863 HAS SOPS 11749 HAS SOUS 6845 HAS SOUPS 6731 WITH SCORE 6742.863
AT ITER 269 NEW BEST:: SOT 17415 SOS 11873 HAS SOPS 11759 HAS SOUS 6839 HAS SOUPS 6725 WITH SCORE 6736.873
AT ITER 275 NEW BEST:: SOT 17408 SOS 11866 HAS SOPS 11752 HAS SOUS 6825 HAS SOUPS 6711 WITH SCORE 6722.866
AT ITER 299 NEW BEST:: SOT 17408 SOS 11866 HAS SOPS 11752 HAS SOUS 6803 HAS SOUPS 6689 WITH SCORE 6700.866
AT ITER 301 NEW BEST:: SOT 17400 SOS 11858 HAS SOPS 11744 HAS SOUS 6795 HAS SOUPS 6681 WITH SCORE 6692.858
AT ITER 303 NEW BEST:: SOT 17400 SOS 11857 HAS SOPS 11743 HAS SOUS 6794 HAS SOUPS 6680 WITH SCORE 6691.857
AT ITER 308 NEW BEST:: SOT 17397 SOS 11848 HAS SOPS 11728 HAS SOUS 6794 HAS SOUPS 6674 WITH SCORE 6685.848
AT ITER 315 NEW BEST:: SOT 17397 SOS 11802 HAS SOPS 11682 HAS SOUS 6794 HAS SOUPS 6674 WITH SCORE 6685.802
AT ITER 317 NEW BEST:: SOT 17397 SOS 11786 HAS SOPS 11666 HAS SOUS 6794 HAS SOUPS 6674 WITH SCORE 6685.786
AT ITER 321 NEW BEST:: SOT 17395 SOS 11784 HAS SOPS 11664 HAS SOUS 6792 HAS SOUPS 6672 WITH SCORE 6683.784
AT ITER 332 NEW BEST:: SOT 17390 SOS 11779 HAS SOPS 11659 HAS SOUS 6782 HAS SOUPS 6662 WITH SCORE 6673.779
AT ITER 336 NEW BEST:: SOT 17329 SOS 13048 HAS SOPS 12928 HAS SOUS 6712 HAS SOUPS 6592 WITH SCORE 6605.048
AT ITER 342 NEW BEST:: SOT 17327 SOS 13046 HAS SOPS 12926 HAS SOUS 6708 HAS SOUPS 6588 WITH SCORE 6601.046
AT ITER 346 NEW BEST:: SOT 17275 SOS 12994 HAS SOPS 12874 HAS SOUS 6648 HAS SOUPS 6528 WITH SCORE 6540.994
AT ITER 351 NEW BEST:: SOT 17210 SOS 13112 HAS SOPS 12992 HAS SOUS 6594 HAS SOUPS 6474 WITH SCORE 6487.112
AT ITER 352 NEW BEST:: SOT 17192 SOS 13094 HAS SOPS 12974 HAS SOUS 6564 HAS SOUPS 6444 WITH SCORE 6457.094
AT ITER 355 NEW BEST:: SOT 17188 SOS 13090 HAS SOPS 12970 HAS SOUS 6556 HAS SOUPS 6436 WITH SCORE 6449.09
AT ITER 361 NEW BEST:: SOT 17250 SOS 13138 HAS SOPS 13018 HAS SOUS 6544 HAS SOUPS 6424 WITH SCORE 6437.138
AT ITER 381 NEW BEST:: SOT 17249 SOS 13135 HAS SOPS 13015 HAS SOUS 6543 HAS SOUPS 6423 WITH SCORE 6436.135
AT ITER 399 NEW BEST:: SOT 17215 SOS 13101 HAS SOPS 12981 HAS SOUS 6475 HAS SOUPS 6355 WITH SCORE 6368.101
AT ITER 406 NEW BEST:: SOT 17206 SOS 13096 HAS SOPS 12976 HAS SOUS 6473 HAS SOUPS 6353 WITH SCORE 6366.096
AT ITER 409 NEW BEST:: SOT 17308 SOS 13068 HAS SOPS 12931 HAS SOUS 6482 HAS SOUPS 6345 WITH SCORE 6358.068
AT ITER 420 NEW BEST:: SOT 17305 SOS 13068 HAS SOPS 12931 HAS SOUS 6476 HAS SOUPS 6339 WITH SCORE 6352.068
AT ITER 436 NEW BEST:: SOT 17301 SOS 13056 HAS SOPS 12919 HAS SOUS 6468 HAS SOUPS 6331 WITH SCORE 6344.056
AT ITER 472 NEW BEST:: SOT 17299 SOS 13054 HAS SOPS 12917 HAS SOUS 6464 HAS SOUPS 6327 WITH SCORE 6340.054
AT ITER 473 NEW BEST:: SOT 17297 SOS 13052 HAS SOPS 12915 HAS SOUS 6460 HAS SOUPS 6323 WITH SCORE 6336.052
AT ITER 477 NEW BEST:: SOT 17221 SOS 12976 HAS SOPS 12839 HAS SOUS 6440 HAS SOUPS 6303 WITH SCORE 6315.976
AT ITER 490 NEW BEST:: SOT 17217 SOS 12962 HAS SOPS 12825 HAS SOUS 6432 HAS SOUPS 6295 WITH SCORE 6307.962
AT ITER 491 NEW BEST:: SOT 17209 SOS 12954 HAS SOPS 12817 HAS SOUS 6416 HAS SOUPS 6279 WITH SCORE 6291.954
AT ITER 502 NEW BEST:: SOT 17197 SOS 12942 HAS SOPS 12805 HAS SOUS 6392 HAS SOUPS 6255 WITH SCORE 6267.942
AT ITER 504 NEW BEST:: SOT 17197 SOS 12940 HAS SOPS 12803 HAS SOUS 6392 HAS SOUPS 6255 WITH SCORE 6267.94
AT ITER 527 NEW BEST:: SOT 17196 SOS 12938 HAS SOPS 12801 HAS SOUS 6388 HAS SOUPS 6251 WITH SCORE 6263.938
AT ITER 531 NEW BEST:: SOT 17161 SOS 12903 HAS SOPS 12766 HAS SOUS 6371 HAS SOUPS 6234 WITH SCORE 6246.903
AT ITER 541 NEW BEST:: SOT 17159 SOS 12901 HAS SOPS 12764 HAS SOUS 6367 HAS SOUPS 6230 WITH SCORE 6242.901
AT ITER 545 NEW BEST:: SOT 17073 SOS 12829 HAS SOPS 12678 HAS SOUS 6349 HAS SOUPS 6198 WITH SCORE 6210.829
AT ITER 555 NEW BEST:: SOT 17024 SOS 12785 HAS SOPS 12634 HAS SOUS 6305 HAS SOUPS 6154 WITH SCORE 6166.785
AT ITER 570 NEW BEST:: SOT 16994 SOS 12762 HAS SOPS 12618 HAS SOUS 6275 HAS SOUPS 6131 WITH SCORE 6143.762
AT ITER 576 NEW BEST:: SOT 16992 SOS 12986 HAS SOPS 12844 HAS SOUS 6269 HAS SOUPS 6127 WITH SCORE 6139.986
AT ITER 581 NEW BEST:: SOT 16969 SOS 12980 HAS SOPS 12855 HAS SOUS 6206 HAS SOUPS 6081 WITH SCORE 6093.98
AT ITER 583 NEW BEST:: SOT 16955 SOS 12966 HAS SOPS 12841 HAS SOUS 6178 HAS SOUPS 6053 WITH SCORE 6065.966
AT ITER 591 NEW BEST:: SOT 16955 SOS 12948 HAS SOPS 12823 HAS SOUS 6178 HAS SOUPS 6053 WITH SCORE 6065.948
AT ITER 611 NEW BEST:: SOT 16960 SOS 12947 HAS SOPS 12816 HAS SOUS 6172 HAS SOUPS 6041 WITH SCORE 6053.947
AT ITER 620 NEW BEST:: SOT 16951 SOS 12941 HAS SOPS 12810 HAS SOUS 6172 HAS SOUPS 6041 WITH SCORE 6053.941
AT ITER 625 NEW BEST:: SOT 16906 SOS 12896 HAS SOPS 12765 HAS SOUS 6147 HAS SOUPS 6016 WITH SCORE 6028.896
AT ITER 639 NEW BEST:: SOT 16886 SOS 12876 HAS SOPS 12745 HAS SOUS 6131 HAS SOUPS 6000 WITH SCORE 6012.876
AT ITER 644 NEW BEST:: SOT 16892 SOS 12871 HAS SOPS 12734 HAS SOUS 6131 HAS SOUPS 5994 WITH SCORE 6006.871
AT ITER 649 NEW BEST:: SOT 16891 SOS 12870 HAS SOPS 12733 HAS SOUS 6129 HAS SOUPS 5992 WITH SCORE 6004.87
AT ITER 654 NEW BEST:: SOT 16876 SOS 12856 HAS SOPS 12719 HAS SOUS 6099 HAS SOUPS 5962 WITH SCORE 5974.856
AT ITER 657 NEW BEST:: SOT 16860 SOS 12840 HAS SOPS 12703 HAS SOUS 6067 HAS SOUPS 5930 WITH SCORE 5942.84
AT ITER 667 NEW BEST:: SOT 16854 SOS 12836 HAS SOPS 12699 HAS SOUS 6063 HAS SOUPS 5926 WITH SCORE 5938.836
AT ITER 679 NEW BEST:: SOT 16850 SOS 12832 HAS SOPS 12695 HAS SOUS 6059 HAS SOUPS 5922 WITH SCORE 5934.832
AT ITER 686 NEW BEST:: SOT 16804 SOS 12817 HAS SOPS 12680 HAS SOUS 6055 HAS SOUPS 5918 WITH SCORE 5930.817
AT ITER 710 NEW BEST:: SOT 16799 SOS 12812 HAS SOPS 12675 HAS SOUS 6053 HAS SOUPS 5916 WITH SCORE 5928.812
AT ITER 720 NEW BEST:: SOT 16796 SOS 12809 HAS SOPS 12672 HAS SOUS 6053 HAS SOUPS 5916 WITH SCORE 5928.809
AT ITER 727 NEW BEST:: SOT 16794 SOS 12807 HAS SOPS 12670 HAS SOUS 6051 HAS SOUPS 5914 WITH SCORE 5926.807
AT ITER 737 NEW BEST:: SOT 16791 SOS 12805 HAS SOPS 12668 HAS SOUS 6049 HAS SOUPS 5912 WITH SCORE 5924.805
AT ITER 745 NEW BEST:: SOT 16770 SOS 12784 HAS SOPS 12647 HAS SOUS 6007 HAS SOUPS 5870 WITH SCORE 5882.784
AT ITER 747 NEW BEST:: SOT 16768 SOS 12779 HAS SOPS 12642 HAS SOUS 6000 HAS SOUPS 5863 WITH SCORE 5875.779
AT ITER 752 NEW BEST:: SOT 16766 SOS 12777 HAS SOPS 12640 HAS SOUS 5996 HAS SOUPS 5859 WITH SCORE 5871.777
AT ITER 758 NEW BEST:: SOT 16760 SOS 12765 HAS SOPS 12628 HAS SOUS 5978 HAS SOUPS 5841 WITH SCORE 5853.765
AT ITER 761 NEW BEST:: SOT 16749 SOS 12754 HAS SOPS 12617 HAS SOUS 5956 HAS SOUPS 5819 WITH SCORE 5831.754
AT ITER 765 NEW BEST:: SOT 16728 SOS 12823 HAS SOPS 12686 HAS SOUS 5937 HAS SOUPS 5800 WITH SCORE 5812.823
AT ITER 767 NEW BEST:: SOT 16747 SOS 12842 HAS SOPS 12705 HAS SOUS 5931 HAS SOUPS 5794 WITH SCORE 5806.842
AT ITER 774 NEW BEST:: SOT 16734 SOS 12919 HAS SOPS 12782 HAS SOUS 5906 HAS SOUPS 5769 WITH SCORE 5781.919
AT ITER 778 NEW BEST:: SOT 16699 SOS 12892 HAS SOPS 12755 HAS SOUS 5906 HAS SOUPS 5769 WITH SCORE 5781.892
AT ITER 809 NEW BEST:: SOT 16699 SOS 12892 HAS SOPS 12755 HAS SOUS 5900 HAS SOUPS 5763 WITH SCORE 5775.892
AT ITER 844 NEW BEST:: SOT 16660 SOS 12853 HAS SOPS 12716 HAS SOUS 5822 HAS SOUPS 5685 WITH SCORE 5697.853
AT ITER 851 NEW BEST:: SOT 16621 SOS 12814 HAS SOPS 12677 HAS SOUS 5800 HAS SOUPS 5663 WITH SCORE 5675.814
AT ITER 873 NEW BEST:: SOT 16621 SOS 12812 HAS SOPS 12677 HAS SOUS 5798 HAS SOUPS 5663 WITH SCORE 5675.812
AT ITER 899 NEW BEST:: SOT 16621 SOS 12812 HAS SOPS 12677 HAS SOUS 5790 HAS SOUPS 5655 WITH SCORE 5667.812
AT ITER 923 NEW BEST:: SOT 16604 SOS 12800 HAS SOPS 12669 HAS SOUS 5772 HAS SOUPS 5641 WITH SCORE 5653.8
AT ITER 931 NEW BEST:: SOT 16596 SOS 12792 HAS SOPS 12661 HAS SOUS 5756 HAS SOUPS 5625 WITH SCORE 5637.792
AT ITER 941 NEW BEST:: SOT 16560 SOS 12756 HAS SOPS 12625 HAS SOUS 5720 HAS SOUPS 5589 WITH SCORE 5601.756
AT ITER 943 NEW BEST:: SOT 16536 SOS 12732 HAS SOPS 12601 HAS SOUS 5711 HAS SOUPS 5580 WITH SCORE 5592.732
AT ITER 944 NEW BEST:: SOT 16534 SOS 12730 HAS SOPS 12599 HAS SOUS 5707 HAS SOUPS 5576 WITH SCORE 5588.73
AT ITER 950 NEW BEST:: SOT 16517 SOS 12713 HAS SOPS 12582 HAS SOUS 5673 HAS SOUPS 5542 WITH SCORE 5554.713
AT ITER 952 NEW BEST:: SOT 16517 SOS 12703 HAS SOPS 12572 HAS SOUS 5673 HAS SOUPS 5542 WITH SCORE 5554.703
AT ITER 955 NEW BEST:: SOT 16494 SOS 12680 HAS SOPS 12549 HAS SOUS 5650 HAS SOUPS 5519 WITH SCORE 5531.68
AT ITER 982 NEW BEST:: SOT 16477 SOS 12663 HAS SOPS 12532 HAS SOUS 5650 HAS SOUPS 5519 WITH SCORE 5531.663
AT ITER 990 NEW BEST:: SOT 16304 SOS 12515 HAS SOPS 12384 HAS SOUS 5628 HAS SOUPS 5497 WITH SCORE 5509.515
AT ITER 999 NEW BEST:: SOT 16298 SOS 13468 HAS SOPS 13337 HAS SOUS 5624 HAS SOUPS 5493 WITH SCORE 5506.468
AT ITER 1008 NEW BEST:: SOT 16292 SOS 13462 HAS SOPS 13331 HAS SOUS 5612 HAS SOUPS 5481 WITH SCORE 5494.462
AT ITER 1045 NEW BEST:: SOT 16292 SOS 13435 HAS SOPS 13304 HAS SOUS 5610 HAS SOUPS 5479 WITH SCORE 5492.435
AT ITER 1055 NEW BEST:: SOT 16288 SOS 13431 HAS SOPS 13300 HAS SOUS 5602 HAS SOUPS 5471 WITH SCORE 5484.431
AT ITER 1060 NEW BEST:: SOT 16288 SOS 13431 HAS SOPS 13300 HAS SOUS 5598 HAS SOUPS 5467 WITH SCORE 5480.431
AT ITER 1071 NEW BEST:: SOT 16254 SOS 13397 HAS SOPS 13266 HAS SOUS 5590 HAS SOUPS 5459 WITH SCORE 5472.397
AT ITER 1090 NEW BEST:: SOT 16253 SOS 13396 HAS SOPS 13265 HAS SOUS 5588 HAS SOUPS 5457 WITH SCORE 5470.396
AT ITER 1091 NEW BEST:: SOT 16183 SOS 13339 HAS SOPS 13208 HAS SOUS 5538 HAS SOUPS 5407 WITH SCORE 5420.339
AT ITER 1092 NEW BEST:: SOT 16065 SOS 13267 HAS SOPS 13136 HAS SOUS 5512 HAS SOUPS 5381 WITH SCORE 5394.267
AT ITER 1093 NEW BEST:: SOT 16049 SOS 13251 HAS SOPS 13120 HAS SOUS 5480 HAS SOUPS 5349 WITH SCORE 5362.251
AT ITER 1096 NEW BEST:: SOT 16008 SOS 13210 HAS SOPS 13079 HAS SOUS 5398 HAS SOUPS 5267 WITH SCORE 5280.21
AT ITER 1121 NEW BEST:: SOT 16000 SOS 13202 HAS SOPS 13071 HAS SOUS 5382 HAS SOUPS 5251 WITH SCORE 5264.202
AT ITER 1149 NEW BEST:: SOT 15994 SOS 13196 HAS SOPS 13065 HAS SOUS 5370 HAS SOUPS 5239 WITH SCORE 5252.196
AT ITER 1169 NEW BEST:: SOT 15986 SOS 13196 HAS SOPS 13065 HAS SOUS 5366 HAS SOUPS 5235 WITH SCORE 5248.196
AT ITER 1204 NEW BEST:: SOT 15978 SOS 13188 HAS SOPS 13057 HAS SOUS 5350 HAS SOUPS 5219 WITH SCORE 5232.188
AT ITER 1219 NEW BEST:: SOT 15982 SOS 13191 HAS SOPS 13060 HAS SOUS 5348 HAS SOUPS 5217 WITH SCORE 5230.191
AT ITER 1223 NEW BEST:: SOT 16015 SOS 13224 HAS SOPS 13093 HAS SOUS 5319 HAS SOUPS 5188 WITH SCORE 5201.224
AT ITER 1244 NEW BEST:: SOT 15999 SOS 13208 HAS SOPS 13077 HAS SOUS 5303 HAS SOUPS 5172 WITH SCORE 5185.208
AT ITER 1314 NEW BEST:: SOT 15994 SOS 13209 HAS SOPS 13078 HAS SOUS 5298 HAS SOUPS 5167 WITH SCORE 5180.209
AT ITER 1355 NEW BEST:: SOT 15990 SOS 13205 HAS SOPS 13074 HAS SOUS 5290 HAS SOUPS 5159 WITH SCORE 5172.205
AT ITER 1358 NEW BEST:: SOT 15982 SOS 13186 HAS SOPS 13044 HAS SOUS 5285 HAS SOUPS 5143 WITH SCORE 5156.186
AT ITER 1375 NEW BEST:: SOT 15987 SOS 13191 HAS SOPS 13049 HAS SOUS 5280 HAS SOUPS 5138 WITH SCORE 5151.191
AT ITER 1379 NEW BEST:: SOT 15983 SOS 13187 HAS SOPS 13045 HAS SOUS 5276 HAS SOUPS 5134 WITH SCORE 5147.187
AT ITER 1382 NEW BEST:: SOT 16027 SOS 13211 HAS SOPS 13069 HAS SOUS 5232 HAS SOUPS 5090 WITH SCORE 5103.211
AT ITER 1389 NEW BEST:: SOT 15999 SOS 13183 HAS SOPS 13041 HAS SOUS 5176 HAS SOUPS 5034 WITH SCORE 5047.183
AT ITER 1397 NEW BEST:: SOT 15998 SOS 13174 HAS SOPS 13032 HAS SOUS 5151 HAS SOUPS 5009 WITH SCORE 5022.174
AT ITER 1400 NEW BEST:: SOT 15997 SOS 13171 HAS SOPS 13029 HAS SOUS 5148 HAS SOUPS 5006 WITH SCORE 5019.171
AT ITER 1431 NEW BEST:: SOT 15991 SOS 13165 HAS SOPS 13023 HAS SOUS 5136 HAS SOUPS 4994 WITH SCORE 5007.165
AT ITER 1455 NEW BEST:: SOT 15939 SOS 13115 HAS SOPS 12973 HAS SOUS 5106 HAS SOUPS 4964 WITH SCORE 4977.115
AT ITER 1489 NEW BEST:: SOT 15934 SOS 13111 HAS SOPS 12970 HAS SOUS 5105 HAS SOUPS 4964 WITH SCORE 4977.111
AT ITER 1490 NEW BEST:: SOT 15906 SOS 13083 HAS SOPS 12942 HAS SOUS 5049 HAS SOUPS 4908 WITH SCORE 4921.083
AT ITER 1500 NEW BEST:: SOT 15902 SOS 13079 HAS SOPS 12938 HAS SOUS 5045 HAS SOUPS 4904 WITH SCORE 4917.079
AT ITER 1518 NEW BEST:: SOT 15907 SOS 13078 HAS SOPS 12937 HAS SOUS 5037 HAS SOUPS 4896 WITH SCORE 4909.078
AT ITER 1527 NEW BEST:: SOT 15898 SOS 13073 HAS SOPS 12932 HAS SOUS 5028 HAS SOUPS 4887 WITH SCORE 4900.073
AT ITER 1555 NEW BEST:: SOT 15900 SOS 13071 HAS SOPS 12927 HAS SOUS 5021 HAS SOUPS 4877 WITH SCORE 4890.071
AT ITER 1571 NEW BEST:: SOT 15893 SOS 13064 HAS SOPS 12920 HAS SOUS 5007 HAS SOUPS 4863 WITH SCORE 4876.064
AT ITER 1589 NEW BEST:: SOT 15863 SOS 13034 HAS SOPS 12890 HAS SOUS 4947 HAS SOUPS 4803 WITH SCORE 4816.034
AT ITER 1590 NEW BEST:: SOT 15857 SOS 13024 HAS SOPS 12880 HAS SOUS 4935 HAS SOUPS 4791 WITH SCORE 4804.024
AT ITER 1591 NEW BEST:: SOT 15855 SOS 13028 HAS SOPS 12884 HAS SOUS 4932 HAS SOUPS 4788 WITH SCORE 4801.028
AT ITER 1672 NEW BEST:: SOT 15851 SOS 13024 HAS SOPS 12880 HAS SOUS 4928 HAS SOUPS 4784 WITH SCORE 4797.024
AT ITER 1728 NEW BEST:: SOT 15837 SOS 13010 HAS SOPS 12866 HAS SOUS 4900 HAS SOUPS 4756 WITH SCORE 4769.01
AT ITER 1759 NEW BEST:: SOT 15826 SOS 12999 HAS SOPS 12855 HAS SOUS 4878 HAS SOUPS 4734 WITH SCORE 4746.999
AT ITER 1764 NEW BEST:: SOT 15818 SOS 12991 HAS SOPS 12847 HAS SOUS 4870 HAS SOUPS 4726 WITH SCORE 4738.991
AT ITER 1783 NEW BEST:: SOT 15814 SOS 12989 HAS SOPS 12845 HAS SOUS 4838 HAS SOUPS 4694 WITH SCORE 4706.989
AT ITER 1792 NEW BEST:: SOT 15823 SOS 12998 HAS SOPS 12854 HAS SOUS 4787 HAS SOUPS 4643 WITH SCORE 4655.998
AT ITER 1797 NEW BEST:: SOT 15807 SOS 12982 HAS SOPS 12838 HAS SOUS 4755 HAS SOUPS 4611 WITH SCORE 4623.982
AT ITER 1803 NEW BEST:: SOT 15791 SOS 12966 HAS SOPS 12822 HAS SOUS 4723 HAS SOUPS 4579 WITH SCORE 4591.966
AT ITER 1813 NEW BEST:: SOT 15806 SOS 12979 HAS SOPS 12835 HAS SOUS 4704 HAS SOUPS 4560 WITH SCORE 4572.979
AT ITER 1851 NEW BEST:: SOT 15799 SOS 12972 HAS SOPS 12828 HAS SOUS 4690 HAS SOUPS 4546 WITH SCORE 4558.972
AT ITER 1904 NEW BEST:: SOT 15793 SOS 12966 HAS SOPS 12822 HAS SOUS 4682 HAS SOUPS 4538 WITH SCORE 4550.966
AT ITER 1921 NEW BEST:: SOT 15899 SOS 13057 HAS SOPS 12928 HAS SOUS 4639 HAS SOUPS 4510 WITH SCORE 4523.057
AT ITER 1932 NEW BEST:: SOT 15883 SOS 13041 HAS SOPS 12912 HAS SOUS 4607 HAS SOUPS 4478 WITH SCORE 4491.041
AT ITER 1960 NEW BEST:: SOT 15869 SOS 13027 HAS SOPS 12898 HAS SOUS 4579 HAS SOUPS 4450 WITH SCORE 4463.027
AT ITER 1965 NEW BEST:: SOT 15859 SOS 13017 HAS SOPS 12888 HAS SOUS 4559 HAS SOUPS 4430 WITH SCORE 4443.017
AT ITER 1974 NEW BEST:: SOT 15845 SOS 13007 HAS SOPS 12874 HAS SOUS 4562 HAS SOUPS 4429 WITH SCORE 4442.007
AT ITER 2015 NEW BEST:: SOT 15839 SOS 13001 HAS SOPS 12868 HAS SOUS 4550 HAS SOUPS 4417 WITH SCORE 4430.001
AT ITER 2047 NEW BEST:: SOT 15822 SOS 13099 HAS SOPS 12966 HAS SOUS 4549 HAS SOUPS 4416 WITH SCORE 4429.099
AT ITER 2073 NEW BEST:: SOT 15836 SOS 13113 HAS SOPS 12980 HAS SOUS 4548 HAS SOUPS 4415 WITH SCORE 4428.113
AT ITER 2180 NEW BEST:: SOT 15835 SOS 13112 HAS SOPS 12979 HAS SOUS 4547 HAS SOUPS 4414 WITH SCORE 4427.112
AT ITER 2188 NEW BEST:: SOT 15829 SOS 13106 HAS SOPS 12973 HAS SOUS 4541 HAS SOUPS 4408 WITH SCORE 4421.106
AT ITER 2206 NEW BEST:: SOT 15823 SOS 13100 HAS SOPS 12967 HAS SOUS 4517 HAS SOUPS 4384 WITH SCORE 4397.1
AT ITER 2207 NEW BEST:: SOT 15819 SOS 13096 HAS SOPS 12963 HAS SOUS 4509 HAS SOUPS 4376 WITH SCORE 4389.096
AT ITER 2212 NEW BEST:: SOT 15816 SOS 13101 HAS SOPS 12968 HAS SOUS 4503 HAS SOUPS 4370 WITH SCORE 4383.101
AT ITER 2312 NEW BEST:: SOT 15783 SOS 13068 HAS SOPS 12935 HAS SOUS 4482 HAS SOUPS 4349 WITH SCORE 4362.068
AT ITER 2316 NEW BEST:: SOT 15782 SOS 13067 HAS SOPS 12934 HAS SOUS 4481 HAS SOUPS 4348 WITH SCORE 4361.067
AT ITER 2319 NEW BEST:: SOT 15782 SOS 13067 HAS SOPS 12934 HAS SOUS 4479 HAS SOUPS 4346 WITH SCORE 4359.067
AT ITER 2361 NEW BEST:: SOT 15779 SOS 13064 HAS SOPS 12931 HAS SOUS 4479 HAS SOUPS 4346 WITH SCORE 4359.064
AT ITER 2371 NEW BEST:: SOT 15776 SOS 13061 HAS SOPS 12928 HAS SOUS 4473 HAS SOUPS 4340 WITH SCORE 4353.061
AT ITER 2445 NEW BEST:: SOT 15764 SOS 13049 HAS SOPS 12916 HAS SOUS 4455 HAS SOUPS 4322 WITH SCORE 4335.049
AT ITER 2452 NEW BEST:: SOT 15744 SOS 13029 HAS SOPS 12896 HAS SOUS 4429 HAS SOUPS 4296 WITH SCORE 4309.029
AT ITER 2512 NEW BEST:: SOT 15738 SOS 13024 HAS SOPS 12890 HAS SOUS 4430 HAS SOUPS 4296 WITH SCORE 4309.024
AT ITER 2598 NEW BEST:: SOT 15736 SOS 13022 HAS SOPS 12888 HAS SOUS 4426 HAS SOUPS 4292 WITH SCORE 4305.022
AT ITER 2635 NEW BEST:: SOT 15719 SOS 13005 HAS SOPS 12871 HAS SOUS 4425 HAS SOUPS 4291 WITH SCORE 4304.005
AT ITER 2642 NEW BEST:: SOT 15715 SOS 13078 HAS SOPS 12944 HAS SOUS 4423 HAS SOUPS 4289 WITH SCORE 4302.078
AT ITER 2747 NEW BEST:: SOT 15709 SOS 13072 HAS SOPS 12938 HAS SOUS 4411 HAS SOUPS 4277 WITH SCORE 4290.072
AT ITER 2804 NEW BEST:: SOT 15636 SOS 12999 HAS SOPS 12865 HAS SOUS 4408 HAS SOUPS 4274 WITH SCORE 4286.999
AT ITER 2821 NEW BEST:: SOT 15632 SOS 12995 HAS SOPS 12861 HAS SOUS 4400 HAS SOUPS 4266 WITH SCORE 4278.995
AT ITER 2825 NEW BEST:: SOT 15590 SOS 12953 HAS SOPS 12819 HAS SOUS 4382 HAS SOUPS 4248 WITH SCORE 4260.953
AT ITER 2851 NEW BEST:: SOT 15580 SOS 12943 HAS SOPS 12809 HAS SOUS 4378 HAS SOUPS 4244 WITH SCORE 4256.943
AT ITER 2862 NEW BEST:: SOT 15576 SOS 12939 HAS SOPS 12805 HAS SOUS 4370 HAS SOUPS 4236 WITH SCORE 4248.939
AT ITER 2892 NEW BEST:: SOT 15574 SOS 12937 HAS SOPS 12803 HAS SOUS 4366 HAS SOUPS 4232 WITH SCORE 4244.937
AT ITER 3054 NEW BEST:: SOT 15574 SOS 13018 HAS SOPS 12884 HAS SOUS 4365 HAS SOUPS 4231 WITH SCORE 4244.018
AT ITER 3153 NEW BEST:: SOT 15570 SOS 13014 HAS SOPS 12880 HAS SOUS 4357 HAS SOUPS 4223 WITH SCORE 4236.014
AT ITER 3161 NEW BEST:: SOT 15568 SOS 13012 HAS SOPS 12878 HAS SOUS 4353 HAS SOUPS 4219 WITH SCORE 4232.012
AT ITER 3205 NEW BEST:: SOT 15565 SOS 13009 HAS SOPS 12875 HAS SOUS 4347 HAS SOUPS 4213 WITH SCORE 4226.009
AT ITER 3230 NEW BEST:: SOT 15551 SOS 12995 HAS SOPS 12861 HAS SOUS 4319 HAS SOUPS 4185 WITH SCORE 4197.995
AT ITER 3232 NEW BEST:: SOT 15550 SOS 12987 HAS SOPS 12853 HAS SOUS 4317 HAS SOUPS 4183 WITH SCORE 4195.987
AT ITER 3333 NEW BEST:: SOT 15542 SOS 12971 HAS SOPS 12837 HAS SOUS 4307 HAS SOUPS 4173 WITH SCORE 4185.971
AT ITER 3335 NEW BEST:: SOT 15540 SOS 12973 HAS SOPS 12843 HAS SOUS 4300 HAS SOUPS 4170 WITH SCORE 4182.973
AT ITER 3342 NEW BEST:: SOT 15536 SOS 12969 HAS SOPS 12839 HAS SOUS 4298 HAS SOUPS 4168 WITH SCORE 4180.969
AT ITER 3381 NEW BEST:: SOT 15535 SOS 12864 HAS SOPS 12734 HAS SOUS 4297 HAS SOUPS 4167 WITH SCORE 4179.864
AT ITER 3427 NEW BEST:: SOT 15534 SOS 12865 HAS SOPS 12735 HAS SOUS 4296 HAS SOUPS 4166 WITH SCORE 4178.865
AT ITER 3454 NEW BEST:: SOT 15531 SOS 12863 HAS SOPS 12733 HAS SOUS 4294 HAS SOUPS 4164 WITH SCORE 4176.863
AT ITER 3515 NEW BEST:: SOT 15529 SOS 12861 HAS SOPS 12731 HAS SOUS 4290 HAS SOUPS 4160 WITH SCORE 4172.861
AT ITER 3541 NEW BEST:: SOT 15526 SOS 12856 HAS SOPS 12726 HAS SOUS 4286 HAS SOUPS 4156 WITH SCORE 4168.856
AT ITER 3567 NEW BEST:: SOT 15526 SOS 12786 HAS SOPS 12656 HAS SOUS 4286 HAS SOUPS 4156 WITH SCORE 4168.786
AT ITER 3574 NEW BEST:: SOT 15514 SOS 12774 HAS SOPS 12644 HAS SOUS 4274 HAS SOUPS 4144 WITH SCORE 4156.774
AT ITER 3598 NEW BEST:: SOT 15514 SOS 12744 HAS SOPS 12614 HAS SOUS 4274 HAS SOUPS 4144 WITH SCORE 4156.744
AT ITER 3621 NEW BEST:: SOT 15512 SOS 12742 HAS SOPS 12612 HAS SOUS 4270 HAS SOUPS 4140 WITH SCORE 4152.742
AT ITER 3629 NEW BEST:: SOT 15509 SOS 12740 HAS SOPS 12610 HAS SOUS 4270 HAS SOUPS 4140 WITH SCORE 4152.74
AT ITER 3666 NEW BEST:: SOT 15537 SOS 12761 HAS SOPS 12631 HAS SOUS 4246 HAS SOUPS 4116 WITH SCORE 4128.761
AT ITER 3678 NEW BEST:: SOT 15537 SOS 12760 HAS SOPS 12630 HAS SOUS 4243 HAS SOUPS 4113 WITH SCORE 4125.76
AT ITER 3694 NEW BEST:: SOT 15516 SOS 12741 HAS SOPS 12611 HAS SOUS 4243 HAS SOUPS 4113 WITH SCORE 4125.741
AT ITER 3759 NEW BEST:: SOT 15512 SOS 12737 HAS SOPS 12607 HAS SOUS 4235 HAS SOUPS 4105 WITH SCORE 4117.737
AT ITER 3762 NEW BEST:: SOT 15509 SOS 12733 HAS SOPS 12603 HAS SOUS 4230 HAS SOUPS 4100 WITH SCORE 4112.733
AT ITER 3890 NEW BEST:: SOT 15513 SOS 12736 HAS SOPS 12605 HAS SOUS 4229 HAS SOUPS 4098 WITH SCORE 4110.736
AT ITER 3902 NEW BEST:: SOT 15512 SOS 12734 HAS SOPS 12603 HAS SOUS 4209 HAS SOUPS 4078 WITH SCORE 4090.734
AT ITER 4005 NEW BEST:: SOT 15514 SOS 12736 HAS SOPS 12605 HAS SOUS 4207 HAS SOUPS 4076 WITH SCORE 4088.736
AT ITER 4055 NEW BEST:: SOT 15510 SOS 12730 HAS SOPS 12597 HAS SOUS 4201 HAS SOUPS 4068 WITH SCORE 4080.73
AT ITER 4259 NEW BEST:: SOT 15516 SOS 12736 HAS SOPS 12603 HAS SOUS 4183 HAS SOUPS 4050 WITH SCORE 4062.736
AT ITER 4263 NEW BEST:: SOT 15510 SOS 12730 HAS SOPS 12597 HAS SOUS 4171 HAS SOUPS 4038 WITH SCORE 4050.73
AT ITER 4276 NEW BEST:: SOT 15509 SOS 12726 HAS SOPS 12593 HAS SOUS 4170 HAS SOUPS 4037 WITH SCORE 4049.726
AT ITER 4324 NEW BEST:: SOT 15508 SOS 12725 HAS SOPS 12592 HAS SOUS 4168 HAS SOUPS 4035 WITH SCORE 4047.725
AT ITER 4361 NEW BEST:: SOT 15502 SOS 12719 HAS SOPS 12586 HAS SOUS 4162 HAS SOUPS 4029 WITH SCORE 4041.719
AT ITER 4440 NEW BEST:: SOT 15494 SOS 12711 HAS SOPS 12578 HAS SOUS 4146 HAS SOUPS 4013 WITH SCORE 4025.711
AT ITER 4477 NEW BEST:: SOT 15489 SOS 12704 HAS SOPS 12571 HAS SOUS 4139 HAS SOUPS 4006 WITH SCORE 4018.704
AT ITER 4508 NEW BEST:: SOT 15490 SOS 12665 HAS SOPS 12532 HAS SOUS 4138 HAS SOUPS 4005 WITH SCORE 4017.665
AT ITER 4518 NEW BEST:: SOT 15496 SOS 12667 HAS SOPS 12538 HAS SOUS 4114 HAS SOUPS 3985 WITH SCORE 3997.667
AT ITER 4571 NEW BEST:: SOT 15493 SOS 12670 HAS SOPS 12541 HAS SOUS 4105 HAS SOUPS 3976 WITH SCORE 3988.67
AT ITER 4581 NEW BEST:: SOT 15494 SOS 12775 HAS SOPS 12646 HAS SOUS 4104 HAS SOUPS 3975 WITH SCORE 3987.775
AT ITER 4648 NEW BEST:: SOT 15478 SOS 12759 HAS SOPS 12630 HAS SOUS 4102 HAS SOUPS 3973 WITH SCORE 3985.759
AT ITER 4684 NEW BEST:: SOT 15476 SOS 12757 HAS SOPS 12628 HAS SOUS 4100 HAS SOUPS 3971 WITH SCORE 3983.757
AT ITER 4706 NEW BEST:: SOT 15472 SOS 12754 HAS SOPS 12624 HAS SOUS 4101 HAS SOUPS 3971 WITH SCORE 3983.754
AT ITER 4770 NEW BEST:: SOT 15469 SOS 12783 HAS SOPS 12653 HAS SOUS 4099 HAS SOUPS 3969 WITH SCORE 3981.783
AT ITER 4978 NEW BEST:: SOT 15469 SOS 12779 HAS SOPS 12649 HAS SOUS 4099 HAS SOUPS 3969 WITH SCORE 3981.779
AT ITER 4984 NEW BEST:: SOT 15468 SOS 12774 HAS SOPS 12644 HAS SOUS 4097 HAS SOUPS 3967 WITH SCORE 3979.774
AT ITER 4997 NEW BEST:: SOT 15465 SOS 12773 HAS SOPS 12643 HAS SOUS 4097 HAS SOUPS 3967 WITH SCORE 3979.773
AT ITER 5174 NEW BEST:: SOT 15464 SOS 12772 HAS SOPS 12642 HAS SOUS 4096 HAS SOUPS 3966 WITH SCORE 3978.772
AT ITER 5196 NEW BEST:: SOT 15450 SOS 12758 HAS SOPS 12628 HAS SOUS 4086 HAS SOUPS 3956 WITH SCORE 3968.758
AT ITER 5198 NEW BEST:: SOT 15444 SOS 12752 HAS SOPS 12622 HAS SOUS 4074 HAS SOUPS 3944 WITH SCORE 3956.752
AT ITER 5339 NEW BEST:: SOT 15448 SOS 12754 HAS SOPS 12626 HAS SOUS 4064 HAS SOUPS 3936 WITH SCORE 3948.754
AT ITER 5347 NEW BEST:: SOT 15448 SOS 12754 HAS SOPS 12626 HAS SOUS 4062 HAS SOUPS 3934 WITH SCORE 3946.754
AT ITER 5385 NEW BEST:: SOT 15455 SOS 12761 HAS SOPS 12633 HAS SOUS 4061 HAS SOUPS 3933 WITH SCORE 3945.761
AT ITER 5438 NEW BEST:: SOT 15463 SOS 12767 HAS SOPS 12639 HAS SOUS 4059 HAS SOUPS 3931 WITH SCORE 3943.767
AT ITER 5493 NEW BEST:: SOT 15457 SOS 12761 HAS SOPS 12633 HAS SOUS 4053 HAS SOUPS 3925 WITH SCORE 3937.761
AT ITER 5658 NEW BEST:: SOT 15466 SOS 12349 HAS SOPS 12221 HAS SOUS 4052 HAS SOUPS 3924 WITH SCORE 3936.349
AT ITER 5661 NEW BEST:: SOT 15463 SOS 12346 HAS SOPS 12218 HAS SOUS 4046 HAS SOUPS 3918 WITH SCORE 3930.346
AT ITER 5782 NEW BEST:: SOT 15460 SOS 12344 HAS SOPS 12217 HAS SOUS 4044 HAS SOUPS 3917 WITH SCORE 3929.344
AT ITER 5807 NEW BEST:: SOT 15450 SOS 12334 HAS SOPS 12207 HAS SOUS 4024 HAS SOUPS 3897 WITH SCORE 3909.334
AT ITER 5875 NEW BEST:: SOT 15438 SOS 12322 HAS SOPS 12195 HAS SOUS 4000 HAS SOUPS 3873 WITH SCORE 3885.322
AT ITER 6044 NEW BEST:: SOT 15436 SOS 12320 HAS SOPS 12193 HAS SOUS 3998 HAS SOUPS 3871 WITH SCORE 3883.32
AT ITER 6092 NEW BEST:: SOT 15429 SOS 12303 HAS SOPS 12176 HAS SOUS 3984 HAS SOUPS 3857 WITH SCORE 3869.303
AT ITER 6093 NEW BEST:: SOT 15423 SOS 12297 HAS SOPS 12170 HAS SOUS 3972 HAS SOUPS 3845 WITH SCORE 3857.297
AT ITER 6195 NEW BEST:: SOT 15411 SOS 12809 HAS SOPS 12682 HAS SOUS 3959 HAS SOUPS 3832 WITH SCORE 3844.809
AT ITER 6393 NEW BEST:: SOT 15409 SOS 12807 HAS SOPS 12680 HAS SOUS 3957 HAS SOUPS 3830 WITH SCORE 3842.807
AT ITER 6667 NEW BEST:: SOT 15410 SOS 12807 HAS SOPS 12680 HAS SOUS 3956 HAS SOUPS 3829 WITH SCORE 3841.807
AT ITER 6725 NEW BEST:: SOT 15408 SOS 12805 HAS SOPS 12678 HAS SOUS 3952 HAS SOUPS 3825 WITH SCORE 3837.805
AT ITER 6772 NEW BEST:: SOT 15429 SOS 12826 HAS SOPS 12699 HAS SOUS 3949 HAS SOUPS 3822 WITH SCORE 3834.826
AT ITER 6773 NEW BEST:: SOT 15420 SOS 12817 HAS SOPS 12690 HAS SOUS 3946 HAS SOUPS 3819 WITH SCORE 3831.817
AT ITER 6890 NEW BEST:: SOT 15428 SOS 12825 HAS SOPS 12698 HAS SOUS 3942 HAS SOUPS 3815 WITH SCORE 3827.825
AT ITER 6978 NEW BEST:: SOT 15426 SOS 12823 HAS SOPS 12696 HAS SOUS 3941 HAS SOUPS 3814 WITH SCORE 3826.823
AT ITER 7035 NEW BEST:: SOT 15426 SOS 12820 HAS SOPS 12693 HAS SOUS 3941 HAS SOUPS 3814 WITH SCORE 3826.82
AT ITER 7041 NEW BEST:: SOT 15423 SOS 12817 HAS SOPS 12690 HAS SOUS 3940 HAS SOUPS 3813 WITH SCORE 3825.817
AT ITER 7075 NEW BEST:: SOT 15421 SOS 12815 HAS SOPS 12688 HAS SOUS 3938 HAS SOUPS 3811 WITH SCORE 3823.815
AT ITER 7094 NEW BEST:: SOT 15405 SOS 12805 HAS SOPS 12678 HAS SOUS 3935 HAS SOUPS 3808 WITH SCORE 3820.805
AT ITER 7112 NEW BEST:: SOT 15404 SOS 12802 HAS SOPS 12675 HAS SOUS 3933 HAS SOUPS 3806 WITH SCORE 3818.802
AT ITER 7187 NEW BEST:: SOT 15396 SOS 12794 HAS SOPS 12667 HAS SOUS 3917 HAS SOUPS 3790 WITH SCORE 3802.794
AT ITER 7219 NEW BEST:: SOT 15394 SOS 12792 HAS SOPS 12665 HAS SOUS 3917 HAS SOUPS 3790 WITH SCORE 3802.792
AT ITER 7332 NEW BEST:: SOT 15388 SOS 12787 HAS SOPS 12659 HAS SOUS 3918 HAS SOUPS 3790 WITH SCORE 3802.787
AT ITER 7349 NEW BEST:: SOT 15386 SOS 12785 HAS SOPS 12657 HAS SOUS 3914 HAS SOUPS 3786 WITH SCORE 3798.785
AT ITER 7377 NEW BEST:: SOT 15366 SOS 12765 HAS SOPS 12637 HAS SOUS 3904 HAS SOUPS 3776 WITH SCORE 3788.765
AT ITER 7474 NEW BEST:: SOT 15368 SOS 12767 HAS SOPS 12639 HAS SOUS 3902 HAS SOUPS 3774 WITH SCORE 3786.767
AT ITER 7546 NEW BEST:: SOT 15364 SOS 12763 HAS SOPS 12635 HAS SOUS 3894 HAS SOUPS 3766 WITH SCORE 3778.763
AT ITER 7662 NEW BEST:: SOT 15362 SOS 12761 HAS SOPS 12633 HAS SOUS 3890 HAS SOUPS 3762 WITH SCORE 3774.761
AT ITER 7700 NEW BEST:: SOT 15362 SOS 12759 HAS SOPS 12631 HAS SOUS 3890 HAS SOUPS 3762 WITH SCORE 3774.759
AT ITER 7795 NEW BEST:: SOT 15352 SOS 12749 HAS SOPS 12621 HAS SOUS 3870 HAS SOUPS 3742 WITH SCORE 3754.749
AT ITER 8140 NEW BEST:: SOT 15350 SOS 12747 HAS SOPS 12619 HAS SOUS 3868 HAS SOUPS 3740 WITH SCORE 3752.747
AT ITER 8401 NEW BEST:: SOT 15344 SOS 12741 HAS SOPS 12613 HAS SOUS 3865 HAS SOUPS 3737 WITH SCORE 3749.741
AT ITER 8462 NEW BEST:: SOT 15344 SOS 12615 HAS SOPS 12487 HAS SOUS 3865 HAS SOUPS 3737 WITH SCORE 3749.615
AT ITER 8631 NEW BEST:: SOT 15345 SOS 12614 HAS SOPS 12486 HAS SOUS 3865 HAS SOUPS 3737 WITH SCORE 3749.614
AT ITER 9024 NEW BEST:: SOT 15339 SOS 12608 HAS SOPS 12480 HAS SOUS 3857 HAS SOUPS 3729 WITH SCORE 3741.608
AT ITER 9062 NEW BEST:: SOT 15331 SOS 12600 HAS SOPS 12472 HAS SOUS 3841 HAS SOUPS 3713 WITH SCORE 3725.6
AT ITER 9310 NEW BEST:: SOT 15330 SOS 12599 HAS SOPS 12471 HAS SOUS 3841 HAS SOUPS 3713 WITH SCORE 3725.599
AT ITER 9425 NEW BEST:: SOT 15328 SOS 12597 HAS SOPS 12469 HAS SOUS 3839 HAS SOUPS 3711 WITH SCORE 3723.597
AT ITER 9455 NEW BEST:: SOT 15319 SOS 12588 HAS SOPS 12460 HAS SOUS 3836 HAS SOUPS 3708 WITH SCORE 3720.588
AT ITER 9598 NEW BEST:: SOT 15318 SOS 12598 HAS SOPS 12470 HAS SOUS 3835 HAS SOUPS 3707 WITH SCORE 3719.598
AT ITER 9756 NEW BEST:: SOT 15319 SOS 12598 HAS SOPS 12470 HAS SOUS 3834 HAS SOUPS 3706 WITH SCORE 3718.598
AT ITER 9764 NEW BEST:: SOT 15316 SOS 12595 HAS SOPS 12467 HAS SOUS 3828 HAS SOUPS 3700 WITH SCORE 3712.595
STATE_SPACE STATES 1830519 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 21 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19486170 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1680021971012

--------------------
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="SharedMemory-PT-000010"
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 SharedMemory-PT-000010, 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 r355-smll-167891804000672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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