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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 696K
-rw-r--r-- 1 mcc users 8.2K Feb 25 18:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 18:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 18:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 18:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 18:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 25 18:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 25 18:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 25 18:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 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 200K 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 1678255550424

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=DLCround-PT-04a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 04a
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: 139 places, 823 transitions, 3074 arcs.
AT ITER 0 NEW BEST:: SOT 77324 SOS 59877 HAS SOPS 36308 HAS SOUS 11839 HAS SOUPS 7817 WITH SCORE 7876.877
AT ITER 3 NEW BEST:: SOT 77284 SOS 59797 HAS SOPS 36333 HAS SOUS 11759 HAS SOUPS 7758 WITH SCORE 7817.797
AT ITER 5 NEW BEST:: SOT 77259 SOS 59522 HAS SOPS 36258 HAS SOUS 11717 HAS SOUPS 7741 WITH SCORE 7800.522
AT ITER 12 NEW BEST:: SOT 77199 SOS 60013 HAS SOPS 36419 HAS SOUS 11680 HAS SOUPS 7682 WITH SCORE 7742.013
AT ITER 21 NEW BEST:: SOT 77334 SOS 58008 HAS SOPS 34838 HAS SOUS 11617 HAS SOUPS 7672 WITH SCORE 7730.008
AT ITER 26 NEW BEST:: SOT 77324 SOS 57980 HAS SOPS 34810 HAS SOUS 11607 HAS SOUPS 7662 WITH SCORE 7719.98
AT ITER 30 NEW BEST:: SOT 77324 SOS 57980 HAS SOPS 34810 HAS SOUS 11598 HAS SOUPS 7656 WITH SCORE 7713.98
AT ITER 35 NEW BEST:: SOT 77256 SOS 57929 HAS SOPS 34674 HAS SOUS 11474 HAS SOUPS 7514 WITH SCORE 7571.929
AT ITER 50 NEW BEST:: SOT 77256 SOS 57934 HAS SOPS 34679 HAS SOUS 11469 HAS SOUPS 7509 WITH SCORE 7566.934
AT ITER 51 NEW BEST:: SOT 77256 SOS 57934 HAS SOPS 34679 HAS SOUS 11461 HAS SOUPS 7501 WITH SCORE 7558.934
AT ITER 54 NEW BEST:: SOT 77221 SOS 57584 HAS SOPS 34505 HAS SOUS 11410 HAS SOUPS 7472 WITH SCORE 7529.584
AT ITER 63 NEW BEST:: SOT 77153 SOS 58751 HAS SOPS 35672 HAS SOUS 11402 HAS SOUPS 7464 WITH SCORE 7522.751
AT ITER 79 NEW BEST:: SOT 77137 SOS 58719 HAS SOPS 35750 HAS SOUS 11366 HAS SOUPS 7450 WITH SCORE 7508.719
AT ITER 85 NEW BEST:: SOT 77137 SOS 58674 HAS SOPS 35745 HAS SOUS 11355 HAS SOUPS 7444 WITH SCORE 7502.674
AT ITER 95 NEW BEST:: SOT 77208 SOS 58780 HAS SOPS 35676 HAS SOUS 11315 HAS SOUPS 7267 WITH SCORE 7325.78
AT ITER 99 NEW BEST:: SOT 77046 SOS 58699 HAS SOPS 35595 HAS SOUS 11245 HAS SOUPS 7197 WITH SCORE 7255.699
AT ITER 121 NEW BEST:: SOT 76914 SOS 58638 HAS SOPS 35534 HAS SOUS 10900 HAS SOUPS 6852 WITH SCORE 6910.638
AT ITER 129 NEW BEST:: SOT 76780 SOS 57900 HAS SOPS 35405 HAS SOUS 11059 HAS SOUPS 6838 WITH SCORE 6895.9
AT ITER 138 NEW BEST:: SOT 76805 SOS 57941 HAS SOPS 35401 HAS SOUS 11055 HAS SOUPS 6802 WITH SCORE 6859.941
AT ITER 145 NEW BEST:: SOT 76805 SOS 57944 HAS SOPS 35404 HAS SOUS 11049 HAS SOUPS 6796 WITH SCORE 6853.944
AT ITER 156 NEW BEST:: SOT 76797 SOS 57896 HAS SOPS 35396 HAS SOUS 11039 HAS SOUPS 6791 WITH SCORE 6848.896
AT ITER 162 NEW BEST:: SOT 76874 SOS 57951 HAS SOPS 35451 HAS SOUS 11030 HAS SOUPS 6782 WITH SCORE 6839.951
AT ITER 164 NEW BEST:: SOT 76871 SOS 57810 HAS SOPS 35310 HAS SOUS 11030 HAS SOUPS 6782 WITH SCORE 6839.81
AT ITER 174 NEW BEST:: SOT 76837 SOS 57994 HAS SOPS 35404 HAS SOUS 11005 HAS SOUPS 6757 WITH SCORE 6814.994
AT ITER 184 NEW BEST:: SOT 76820 SOS 57960 HAS SOPS 35370 HAS SOUS 10971 HAS SOUPS 6723 WITH SCORE 6780.96
AT ITER 192 NEW BEST:: SOT 76728 SOS 58263 HAS SOPS 35426 HAS SOUS 10950 HAS SOUPS 6702 WITH SCORE 6760.263
AT ITER 198 NEW BEST:: SOT 76718 SOS 58173 HAS SOPS 35416 HAS SOUS 10930 HAS SOUPS 6692 WITH SCORE 6750.173
AT ITER 199 NEW BEST:: SOT 76745 SOS 57695 HAS SOPS 35138 HAS SOUS 10902 HAS SOUPS 6414 WITH SCORE 6471.695
AT ITER 203 NEW BEST:: SOT 76745 SOS 57695 HAS SOPS 35138 HAS SOUS 10901 HAS SOUPS 6413 WITH SCORE 6470.695
AT ITER 205 NEW BEST:: SOT 76748 SOS 57901 HAS SOPS 35144 HAS SOUS 10890 HAS SOUPS 6377 WITH SCORE 6434.901
AT ITER 209 NEW BEST:: SOT 76729 SOS 58787 HAS SOPS 35729 HAS SOUS 10886 HAS SOUPS 6373 WITH SCORE 6431.787
AT ITER 217 NEW BEST:: SOT 76733 SOS 58987 HAS SOPS 35839 HAS SOUS 10890 HAS SOUPS 6371 WITH SCORE 6429.987
AT ITER 218 NEW BEST:: SOT 76721 SOS 58975 HAS SOPS 35827 HAS SOUS 10810 HAS SOUPS 6291 WITH SCORE 6349.975
AT ITER 229 NEW BEST:: SOT 76724 SOS 59017 HAS SOPS 35809 HAS SOUS 10801 HAS SOUPS 6270 WITH SCORE 6329.017
AT ITER 230 NEW BEST:: SOT 76616 SOS 58867 HAS SOPS 35659 HAS SOUS 10678 HAS SOUPS 6147 WITH SCORE 6205.867
AT ITER 236 NEW BEST:: SOT 75550 SOS 57310 HAS SOPS 34992 HAS SOUS 10412 HAS SOUPS 6046 WITH SCORE 6103.31
AT ITER 244 NEW BEST:: SOT 75494 SOS 56299 HAS SOPS 34416 HAS SOUS 10310 HAS SOUPS 5973 WITH SCORE 6029.299
AT ITER 245 NEW BEST:: SOT 75433 SOS 56273 HAS SOPS 34390 HAS SOUS 10216 HAS SOUPS 5879 WITH SCORE 5935.273
AT ITER 250 NEW BEST:: SOT 75433 SOS 56273 HAS SOPS 34385 HAS SOUS 10216 HAS SOUPS 5874 WITH SCORE 5930.273
AT ITER 256 NEW BEST:: SOT 75422 SOS 56251 HAS SOPS 34330 HAS SOUS 10181 HAS SOUPS 5830 WITH SCORE 5886.251
AT ITER 269 NEW BEST:: SOT 75115 SOS 55944 HAS SOPS 34178 HAS SOUS 10166 HAS SOUPS 5823 WITH SCORE 5878.944
AT ITER 276 NEW BEST:: SOT 75077 SOS 55887 HAS SOPS 34121 HAS SOUS 10117 HAS SOUPS 5774 WITH SCORE 5829.887
AT ITER 285 NEW BEST:: SOT 75078 SOS 55889 HAS SOPS 34147 HAS SOUS 10102 HAS SOUPS 5767 WITH SCORE 5822.889
AT ITER 303 NEW BEST:: SOT 74786 SOS 55810 HAS SOPS 34123 HAS SOUS 9859 HAS SOUPS 5739 WITH SCORE 5794.81
AT ITER 305 NEW BEST:: SOT 74732 SOS 55978 HAS SOPS 34315 HAS SOUS 9684 HAS SOUPS 5733 WITH SCORE 5788.978
AT ITER 309 NEW BEST:: SOT 74725 SOS 55080 HAS SOPS 33417 HAS SOUS 9684 HAS SOUPS 5733 WITH SCORE 5788.08
AT ITER 318 NEW BEST:: SOT 74704 SOS 55077 HAS SOPS 33393 HAS SOUS 9666 HAS SOUPS 5715 WITH SCORE 5770.077
AT ITER 326 NEW BEST:: SOT 74691 SOS 55064 HAS SOPS 33367 HAS SOUS 9658 HAS SOUPS 5707 WITH SCORE 5762.064
AT ITER 328 NEW BEST:: SOT 74690 SOS 55063 HAS SOPS 33366 HAS SOUS 9657 HAS SOUPS 5706 WITH SCORE 5761.063
AT ITER 329 NEW BEST:: SOT 74690 SOS 54967 HAS SOPS 33350 HAS SOUS 9625 HAS SOUPS 5690 WITH SCORE 5744.967
AT ITER 330 NEW BEST:: SOT 74684 SOS 54955 HAS SOPS 33350 HAS SOUS 9600 HAS SOUPS 5680 WITH SCORE 5734.955
AT ITER 343 NEW BEST:: SOT 74666 SOS 54553 HAS SOPS 32996 HAS SOUS 9582 HAS SOUPS 5668 WITH SCORE 5722.553
AT ITER 350 NEW BEST:: SOT 74646 SOS 53905 HAS SOPS 32812 HAS SOUS 9516 HAS SOUPS 5660 WITH SCORE 5713.905
AT ITER 354 NEW BEST:: SOT 74599 SOS 54051 HAS SOPS 32793 HAS SOUS 9513 HAS SOUPS 5646 WITH SCORE 5700.051
AT ITER 361 NEW BEST:: SOT 74627 SOS 53953 HAS SOPS 32807 HAS SOUS 9499 HAS SOUPS 5646 WITH SCORE 5699.953
AT ITER 366 NEW BEST:: SOT 74599 SOS 53897 HAS SOPS 32807 HAS SOUS 9439 HAS SOUPS 5646 WITH SCORE 5699.897
AT ITER 368 NEW BEST:: SOT 74599 SOS 53897 HAS SOPS 32797 HAS SOUS 9433 HAS SOUPS 5640 WITH SCORE 5693.897
AT ITER 375 NEW BEST:: SOT 74598 SOS 53896 HAS SOPS 32796 HAS SOUS 9432 HAS SOUPS 5639 WITH SCORE 5692.896
AT ITER 379 NEW BEST:: SOT 74524 SOS 53437 HAS SOPS 32337 HAS SOUS 9337 HAS SOUPS 5544 WITH SCORE 5597.437
AT ITER 386 NEW BEST:: SOT 74900 SOS 53813 HAS SOPS 32431 HAS SOUS 9227 HAS SOUPS 5406 WITH SCORE 5459.813
AT ITER 391 NEW BEST:: SOT 74886 SOS 53680 HAS SOPS 32418 HAS SOUS 9184 HAS SOUPS 5378 WITH SCORE 5431.68
AT ITER 392 NEW BEST:: SOT 74871 SOS 53598 HAS SOPS 32344 HAS SOUS 9182 HAS SOUPS 5376 WITH SCORE 5429.598
AT ITER 394 NEW BEST:: SOT 74799 SOS 53508 HAS SOPS 32299 HAS SOUS 9178 HAS SOUPS 5372 WITH SCORE 5425.508
AT ITER 398 NEW BEST:: SOT 74443 SOS 52996 HAS SOPS 32085 HAS SOUS 9143 HAS SOUPS 5360 WITH SCORE 5412.996
AT ITER 416 NEW BEST:: SOT 73954 SOS 52435 HAS SOPS 31679 HAS SOUS 9162 HAS SOUPS 5357 WITH SCORE 5409.435
AT ITER 449 NEW BEST:: SOT 73937 SOS 52401 HAS SOPS 31645 HAS SOUS 9145 HAS SOUPS 5340 WITH SCORE 5392.401
AT ITER 453 NEW BEST:: SOT 73936 SOS 52399 HAS SOPS 31643 HAS SOUS 9143 HAS SOUPS 5338 WITH SCORE 5390.399
AT ITER 456 NEW BEST:: SOT 74020 SOS 52582 HAS SOPS 31728 HAS SOUS 9149 HAS SOUPS 5336 WITH SCORE 5388.582
AT ITER 460 NEW BEST:: SOT 74006 SOS 52568 HAS SOPS 31691 HAS SOUS 9143 HAS SOUPS 5334 WITH SCORE 5386.568
AT ITER 462 NEW BEST:: SOT 73995 SOS 51210 HAS SOPS 30589 HAS SOUS 9006 HAS SOUPS 5229 WITH SCORE 5280.21
AT ITER 471 NEW BEST:: SOT 73991 SOS 51186 HAS SOPS 30565 HAS SOUS 9002 HAS SOUPS 5225 WITH SCORE 5276.186
AT ITER 476 NEW BEST:: SOT 73990 SOS 51170 HAS SOPS 30557 HAS SOUS 9000 HAS SOUPS 5224 WITH SCORE 5275.17
AT ITER 484 NEW BEST:: SOT 73987 SOS 51176 HAS SOPS 30593 HAS SOUS 8991 HAS SOUPS 5221 WITH SCORE 5272.176
AT ITER 494 NEW BEST:: SOT 74595 SOS 51820 HAS SOPS 31016 HAS SOUS 9046 HAS SOUPS 5212 WITH SCORE 5263.82
AT ITER 497 NEW BEST:: SOT 74579 SOS 51716 HAS SOPS 30912 HAS SOUS 9040 HAS SOUPS 5206 WITH SCORE 5257.716
AT ITER 507 NEW BEST:: SOT 74573 SOS 51656 HAS SOPS 30900 HAS SOUS 9028 HAS SOUPS 5200 WITH SCORE 5251.656
AT ITER 509 NEW BEST:: SOT 74588 SOS 51671 HAS SOPS 30840 HAS SOUS 9046 HAS SOUPS 5188 WITH SCORE 5239.671
AT ITER 521 NEW BEST:: SOT 74566 SOS 51044 HAS SOPS 30301 HAS SOUS 9033 HAS SOUPS 5186 WITH SCORE 5237.044
AT ITER 527 NEW BEST:: SOT 74186 SOS 50476 HAS SOPS 30053 HAS SOUS 8964 HAS SOUPS 5153 WITH SCORE 5203.476
AT ITER 539 NEW BEST:: SOT 74161 SOS 50451 HAS SOPS 30053 HAS SOUS 8914 HAS SOUPS 5103 WITH SCORE 5153.451
AT ITER 547 NEW BEST:: SOT 74140 SOS 50137 HAS SOPS 29931 HAS SOUS 8882 HAS SOUPS 5095 WITH SCORE 5145.137
AT ITER 555 NEW BEST:: SOT 73750 SOS 49573 HAS SOPS 29655 HAS SOUS 8816 HAS SOUPS 5065 WITH SCORE 5114.573
AT ITER 559 NEW BEST:: SOT 73745 SOS 49264 HAS SOPS 29346 HAS SOUS 8816 HAS SOUPS 5065 WITH SCORE 5114.264
AT ITER 602 NEW BEST:: SOT 73747 SOS 49252 HAS SOPS 29294 HAS SOUS 8817 HAS SOUPS 5061 WITH SCORE 5110.252
AT ITER 607 NEW BEST:: SOT 73366 SOS 47237 HAS SOPS 28014 HAS SOUS 8807 HAS SOUPS 5016 WITH SCORE 5063.237
AT ITER 610 NEW BEST:: SOT 73359 SOS 47229 HAS SOPS 28006 HAS SOUS 8803 HAS SOUPS 5012 WITH SCORE 5059.229
AT ITER 624 NEW BEST:: SOT 73347 SOS 47217 HAS SOPS 28006 HAS SOUS 8803 HAS SOUPS 5012 WITH SCORE 5059.217
AT ITER 635 NEW BEST:: SOT 73480 SOS 47288 HAS SOPS 28063 HAS SOUS 8751 HAS SOUPS 4979 WITH SCORE 5026.288
AT ITER 643 NEW BEST:: SOT 73489 SOS 47037 HAS SOPS 27870 HAS SOUS 8726 HAS SOUPS 4954 WITH SCORE 5001.037
AT ITER 657 NEW BEST:: SOT 73486 SOS 47031 HAS SOPS 27870 HAS SOUS 8723 HAS SOUPS 4954 WITH SCORE 5001.031
AT ITER 662 NEW BEST:: SOT 73483 SOS 47012 HAS SOPS 27859 HAS SOUS 8720 HAS SOUPS 4952 WITH SCORE 4999.012
AT ITER 682 NEW BEST:: SOT 73777 SOS 47531 HAS SOPS 28026 HAS SOUS 8718 HAS SOUPS 4930 WITH SCORE 4977.531
AT ITER 694 NEW BEST:: SOT 73775 SOS 47527 HAS SOPS 28026 HAS SOUS 8716 HAS SOUPS 4930 WITH SCORE 4977.527
AT ITER 715 NEW BEST:: SOT 73066 SOS 46563 HAS SOPS 27531 HAS SOUS 8616 HAS SOUPS 4847 WITH SCORE 4893.563
AT ITER 736 NEW BEST:: SOT 73144 SOS 46433 HAS SOPS 27557 HAS SOUS 8582 HAS SOUPS 4839 WITH SCORE 4885.433
AT ITER 753 NEW BEST:: SOT 73166 SOS 46074 HAS SOPS 27208 HAS SOUS 8558 HAS SOUPS 4822 WITH SCORE 4868.074
AT ITER 768 NEW BEST:: SOT 73178 SOS 46022 HAS SOPS 27163 HAS SOUS 8555 HAS SOUPS 4819 WITH SCORE 4865.022
AT ITER 777 NEW BEST:: SOT 73159 SOS 46042 HAS SOPS 27183 HAS SOUS 8539 HAS SOUPS 4803 WITH SCORE 4849.042
AT ITER 791 NEW BEST:: SOT 73078 SOS 45724 HAS SOPS 27073 HAS SOUS 8480 HAS SOUPS 4795 WITH SCORE 4840.724
AT ITER 806 NEW BEST:: SOT 73087 SOS 45591 HAS SOPS 26940 HAS SOUS 8473 HAS SOUPS 4788 WITH SCORE 4833.591
AT ITER 811 NEW BEST:: SOT 73119 SOS 45655 HAS SOPS 26940 HAS SOUS 8432 HAS SOUPS 4766 WITH SCORE 4811.655
AT ITER 821 NEW BEST:: SOT 73105 SOS 45606 HAS SOPS 26926 HAS SOUS 8410 HAS SOUPS 4751 WITH SCORE 4796.606
AT ITER 868 NEW BEST:: SOT 73122 SOS 45297 HAS SOPS 26689 HAS SOUS 8391 HAS SOUPS 4741 WITH SCORE 4786.297
AT ITER 872 NEW BEST:: SOT 73122 SOS 45297 HAS SOPS 26689 HAS SOUS 8382 HAS SOUPS 4736 WITH SCORE 4781.297
AT ITER 887 NEW BEST:: SOT 73125 SOS 45300 HAS SOPS 26682 HAS SOUS 8375 HAS SOUPS 4729 WITH SCORE 4774.3
AT ITER 922 NEW BEST:: SOT 73123 SOS 45296 HAS SOPS 26682 HAS SOUS 8373 HAS SOUPS 4729 WITH SCORE 4774.296
AT ITER 937 NEW BEST:: SOT 73637 SOS 45833 HAS SOPS 26979 HAS SOUS 8365 HAS SOUPS 4701 WITH SCORE 4746.833
AT ITER 941 NEW BEST:: SOT 73629 SOS 45817 HAS SOPS 26975 HAS SOUS 8363 HAS SOUPS 4701 WITH SCORE 4746.817
AT ITER 944 NEW BEST:: SOT 73627 SOS 45829 HAS SOPS 26981 HAS SOUS 8362 HAS SOUPS 4700 WITH SCORE 4745.829
AT ITER 945 NEW BEST:: SOT 73654 SOS 45847 HAS SOPS 26971 HAS SOUS 8352 HAS SOUPS 4693 WITH SCORE 4738.847
AT ITER 946 NEW BEST:: SOT 73649 SOS 45767 HAS SOPS 26971 HAS SOUS 8338 HAS SOUPS 4689 WITH SCORE 4734.767
AT ITER 952 NEW BEST:: SOT 73641 SOS 45751 HAS SOPS 26971 HAS SOUS 8339 HAS SOUPS 4689 WITH SCORE 4734.751
AT ITER 959 NEW BEST:: SOT 73647 SOS 45811 HAS SOPS 26971 HAS SOUS 8331 HAS SOUPS 4678 WITH SCORE 4723.811
AT ITER 966 NEW BEST:: SOT 73643 SOS 45787 HAS SOPS 26931 HAS SOUS 8331 HAS SOUPS 4676 WITH SCORE 4721.787
AT ITER 1010 NEW BEST:: SOT 73651 SOS 45795 HAS SOPS 26931 HAS SOUS 8313 HAS SOUPS 4666 WITH SCORE 4711.795
AT ITER 1042 NEW BEST:: SOT 73651 SOS 45795 HAS SOPS 26931 HAS SOUS 8311 HAS SOUPS 4664 WITH SCORE 4709.795
AT ITER 1056 NEW BEST:: SOT 73560 SOS 45704 HAS SOPS 26879 HAS SOUS 8311 HAS SOUPS 4664 WITH SCORE 4709.704
AT ITER 1059 NEW BEST:: SOT 73553 SOS 45585 HAS SOPS 26816 HAS SOUS 8299 HAS SOUPS 4659 WITH SCORE 4704.585
AT ITER 1063 NEW BEST:: SOT 73197 SOS 44899 HAS SOPS 26535 HAS SOUS 8247 HAS SOUPS 4628 WITH SCORE 4672.899
AT ITER 1067 NEW BEST:: SOT 73197 SOS 44899 HAS SOPS 26535 HAS SOUS 8238 HAS SOUPS 4623 WITH SCORE 4667.899
AT ITER 1075 NEW BEST:: SOT 73196 SOS 44865 HAS SOPS 26501 HAS SOUS 8236 HAS SOUPS 4621 WITH SCORE 4665.865
AT ITER 1079 NEW BEST:: SOT 73202 SOS 44897 HAS SOPS 26533 HAS SOUS 8233 HAS SOUPS 4618 WITH SCORE 4662.897
AT ITER 1088 NEW BEST:: SOT 73370 SOS 44892 HAS SOPS 26332 HAS SOUS 8269 HAS SOUPS 4590 WITH SCORE 4634.892
AT ITER 1092 NEW BEST:: SOT 73371 SOS 44748 HAS SOPS 26279 HAS SOUS 8256 HAS SOUPS 4584 WITH SCORE 4628.748
AT ITER 1095 NEW BEST:: SOT 73491 SOS 44902 HAS SOPS 26375 HAS SOUS 8203 HAS SOUPS 4573 WITH SCORE 4617.902
AT ITER 1097 NEW BEST:: SOT 73478 SOS 45184 HAS SOPS 26547 HAS SOUS 8201 HAS SOUPS 4571 WITH SCORE 4616.184
AT ITER 1132 NEW BEST:: SOT 73465 SOS 45158 HAS SOPS 26547 HAS SOUS 8188 HAS SOUPS 4571 WITH SCORE 4616.158
AT ITER 1155 NEW BEST:: SOT 73496 SOS 45220 HAS SOPS 26547 HAS SOUS 8159 HAS SOUPS 4557 WITH SCORE 4602.22
AT ITER 1171 NEW BEST:: SOT 73453 SOS 45134 HAS SOPS 26491 HAS SOUS 8131 HAS SOUPS 4529 WITH SCORE 4574.134
AT ITER 1190 NEW BEST:: SOT 73444 SOS 45113 HAS SOPS 26485 HAS SOUS 8128 HAS SOUPS 4529 WITH SCORE 4574.113
AT ITER 1265 NEW BEST:: SOT 73441 SOS 45083 HAS SOPS 26455 HAS SOUS 8119 HAS SOUPS 4520 WITH SCORE 4565.083
AT ITER 1267 NEW BEST:: SOT 73439 SOS 45065 HAS SOPS 26435 HAS SOUS 8117 HAS SOUPS 4518 WITH SCORE 4563.065
AT ITER 1305 NEW BEST:: SOT 73439 SOS 45065 HAS SOPS 26435 HAS SOUS 8108 HAS SOUPS 4513 WITH SCORE 4558.065
AT ITER 1307 NEW BEST:: SOT 73447 SOS 45432 HAS SOPS 26514 HAS SOUS 8121 HAS SOUPS 4499 WITH SCORE 4544.432
AT ITER 1313 NEW BEST:: SOT 73436 SOS 45194 HAS SOPS 26222 HAS SOUS 8136 HAS SOUPS 4499 WITH SCORE 4544.194
AT ITER 1329 NEW BEST:: SOT 73459 SOS 44956 HAS SOPS 26023 HAS SOUS 8127 HAS SOUPS 4497 WITH SCORE 4541.956
AT ITER 1354 NEW BEST:: SOT 73447 SOS 44740 HAS SOPS 25897 HAS SOUS 8103 HAS SOUPS 4479 WITH SCORE 4523.74
AT ITER 1367 NEW BEST:: SOT 73445 SOS 44765 HAS SOPS 25922 HAS SOUS 8102 HAS SOUPS 4478 WITH SCORE 4522.765
AT ITER 1385 NEW BEST:: SOT 73445 SOS 44765 HAS SOPS 25922 HAS SOUS 8075 HAS SOUPS 4463 WITH SCORE 4507.765
AT ITER 1399 NEW BEST:: SOT 73335 SOS 44605 HAS SOPS 25862 HAS SOUS 8065 HAS SOUPS 4463 WITH SCORE 4507.605
AT ITER 1423 NEW BEST:: SOT 73174 SOS 44444 HAS SOPS 25724 HAS SOUS 8040 HAS SOUPS 4431 WITH SCORE 4475.444
AT ITER 1457 NEW BEST:: SOT 73174 SOS 44444 HAS SOPS 25724 HAS SOUS 8037 HAS SOUPS 4429 WITH SCORE 4473.444
AT ITER 1464 NEW BEST:: SOT 73167 SOS 44619 HAS SOPS 25794 HAS SOUS 8034 HAS SOUPS 4419 WITH SCORE 4463.619
AT ITER 1469 NEW BEST:: SOT 73167 SOS 44619 HAS SOPS 25794 HAS SOUS 8025 HAS SOUPS 4413 WITH SCORE 4457.619
AT ITER 1493 NEW BEST:: SOT 73158 SOS 44458 HAS SOPS 25777 HAS SOUS 8001 HAS SOUPS 4407 WITH SCORE 4451.458
AT ITER 1494 NEW BEST:: SOT 73158 SOS 44458 HAS SOPS 25777 HAS SOUS 7997 HAS SOUPS 4403 WITH SCORE 4447.458
AT ITER 1509 NEW BEST:: SOT 72998 SOS 44047 HAS SOPS 25431 HAS SOUS 7980 HAS SOUPS 4386 WITH SCORE 4430.047
AT ITER 1520 NEW BEST:: SOT 72995 SOS 43980 HAS SOPS 25372 HAS SOUS 7977 HAS SOUPS 4384 WITH SCORE 4427.98
AT ITER 1568 NEW BEST:: SOT 72995 SOS 43980 HAS SOPS 25372 HAS SOUS 7973 HAS SOUPS 4380 WITH SCORE 4423.98
AT ITER 1571 NEW BEST:: SOT 73000 SOS 43715 HAS SOPS 25107 HAS SOUS 7972 HAS SOUPS 4379 WITH SCORE 4422.715
AT ITER 1623 NEW BEST:: SOT 72997 SOS 43688 HAS SOPS 25104 HAS SOUS 7969 HAS SOUPS 4379 WITH SCORE 4422.688
AT ITER 1722 NEW BEST:: SOT 72927 SOS 43618 HAS SOPS 25084 HAS SOUS 7911 HAS SOUPS 4353 WITH SCORE 4396.618
AT ITER 1743 NEW BEST:: SOT 72924 SOS 43611 HAS SOPS 25080 HAS SOUS 7911 HAS SOUPS 4353 WITH SCORE 4396.611
AT ITER 1764 NEW BEST:: SOT 72868 SOS 43499 HAS SOPS 25052 HAS SOUS 7861 HAS SOUPS 4333 WITH SCORE 4376.499
AT ITER 1781 NEW BEST:: SOT 72535 SOS 43210 HAS SOPS 24844 HAS SOUS 7878 HAS SOUPS 4333 WITH SCORE 4376.21
AT ITER 1837 NEW BEST:: SOT 72534 SOS 43209 HAS SOPS 24843 HAS SOUS 7877 HAS SOUPS 4332 WITH SCORE 4375.209
AT ITER 1854 NEW BEST:: SOT 72540 SOS 43171 HAS SOPS 24805 HAS SOUS 7873 HAS SOUPS 4328 WITH SCORE 4371.171
AT ITER 1892 NEW BEST:: SOT 72526 SOS 43112 HAS SOPS 24746 HAS SOUS 7873 HAS SOUPS 4328 WITH SCORE 4371.112
AT ITER 1898 NEW BEST:: SOT 72524 SOS 43108 HAS SOPS 24734 HAS SOUS 7867 HAS SOUPS 4322 WITH SCORE 4365.108
AT ITER 1907 NEW BEST:: SOT 72540 SOS 43140 HAS SOPS 24734 HAS SOUS 7863 HAS SOUPS 4318 WITH SCORE 4361.14
AT ITER 1934 NEW BEST:: SOT 72520 SOS 43124 HAS SOPS 24718 HAS SOUS 7861 HAS SOUPS 4314 WITH SCORE 4357.124
AT ITER 1957 NEW BEST:: SOT 72522 SOS 43148 HAS SOPS 24684 HAS SOUS 7852 HAS SOUPS 4299 WITH SCORE 4342.148
AT ITER 1976 NEW BEST:: SOT 72518 SOS 43108 HAS SOPS 24676 HAS SOUS 7848 HAS SOUPS 4299 WITH SCORE 4342.108
AT ITER 2021 NEW BEST:: SOT 72518 SOS 43106 HAS SOPS 24674 HAS SOUS 7846 HAS SOUPS 4297 WITH SCORE 4340.106
AT ITER 2062 NEW BEST:: SOT 72528 SOS 43124 HAS SOPS 24672 HAS SOUS 7832 HAS SOUPS 4283 WITH SCORE 4326.124
AT ITER 2075 NEW BEST:: SOT 72516 SOS 43100 HAS SOPS 24672 HAS SOUS 7820 HAS SOUPS 4277 WITH SCORE 4320.1
AT ITER 2086 NEW BEST:: SOT 72523 SOS 43105 HAS SOPS 24677 HAS SOUS 7816 HAS SOUPS 4273 WITH SCORE 4316.105
AT ITER 2099 NEW BEST:: SOT 72518 SOS 43150 HAS SOPS 24687 HAS SOUS 7811 HAS SOUPS 4268 WITH SCORE 4311.15
AT ITER 2125 NEW BEST:: SOT 72520 SOS 43143 HAS SOPS 24680 HAS SOUS 7811 HAS SOUPS 4268 WITH SCORE 4311.143
AT ITER 2147 NEW BEST:: SOT 72550 SOS 43118 HAS SOPS 24655 HAS SOUS 7806 HAS SOUPS 4263 WITH SCORE 4306.118
AT ITER 2196 NEW BEST:: SOT 72576 SOS 43069 HAS SOPS 24606 HAS SOUS 7803 HAS SOUPS 4260 WITH SCORE 4303.069
AT ITER 2237 NEW BEST:: SOT 72576 SOS 43037 HAS SOPS 24588 HAS SOUS 7803 HAS SOUPS 4260 WITH SCORE 4303.037
AT ITER 2280 NEW BEST:: SOT 72526 SOS 42939 HAS SOPS 24538 HAS SOUS 7799 HAS SOUPS 4256 WITH SCORE 4298.939
AT ITER 2315 NEW BEST:: SOT 72497 SOS 42845 HAS SOPS 24497 HAS SOUS 7772 HAS SOUPS 4246 WITH SCORE 4288.845
AT ITER 2428 NEW BEST:: SOT 72385 SOS 42719 HAS SOPS 24441 HAS SOUS 7772 HAS SOUPS 4246 WITH SCORE 4288.719
AT ITER 2431 NEW BEST:: SOT 72386 SOS 42729 HAS SOPS 24443 HAS SOUS 7772 HAS SOUPS 4245 WITH SCORE 4287.729
AT ITER 2457 NEW BEST:: SOT 72425 SOS 42653 HAS SOPS 24425 HAS SOUS 7772 HAS SOUPS 4244 WITH SCORE 4286.653
AT ITER 2486 NEW BEST:: SOT 72430 SOS 42603 HAS SOPS 24423 HAS SOUS 7764 HAS SOUPS 4242 WITH SCORE 4284.603
AT ITER 2504 NEW BEST:: SOT 72330 SOS 42463 HAS SOPS 24363 HAS SOUS 7754 HAS SOUPS 4242 WITH SCORE 4284.463
AT ITER 2515 NEW BEST:: SOT 72323 SOS 42468 HAS SOPS 24368 HAS SOUS 7752 HAS SOUPS 4240 WITH SCORE 4282.468
AT ITER 2557 NEW BEST:: SOT 72317 SOS 42400 HAS SOPS 24300 HAS SOUS 7746 HAS SOUPS 4234 WITH SCORE 4276.4
AT ITER 2575 NEW BEST:: SOT 72325 SOS 42336 HAS SOPS 24388 HAS SOUS 7725 HAS SOUPS 4232 WITH SCORE 4274.336
AT ITER 2577 NEW BEST:: SOT 72325 SOS 42336 HAS SOPS 24388 HAS SOUS 7707 HAS SOUPS 4222 WITH SCORE 4264.336
AT ITER 2614 NEW BEST:: SOT 72327 SOS 42335 HAS SOPS 24388 HAS SOUS 7706 HAS SOUPS 4221 WITH SCORE 4263.335
AT ITER 2616 NEW BEST:: SOT 72281 SOS 42243 HAS SOPS 24388 HAS SOUS 7690 HAS SOUPS 4221 WITH SCORE 4263.243
AT ITER 2631 NEW BEST:: SOT 72188 SOS 42134 HAS SOPS 24319 HAS SOUS 7683 HAS SOUPS 4214 WITH SCORE 4256.134
AT ITER 2658 NEW BEST:: SOT 72155 SOS 41807 HAS SOPS 24127 HAS SOUS 7651 HAS SOUPS 4191 WITH SCORE 4232.807
AT ITER 2668 NEW BEST:: SOT 72096 SOS 41690 HAS SOPS 24009 HAS SOUS 7656 HAS SOUPS 4187 WITH SCORE 4228.69
AT ITER 2679 NEW BEST:: SOT 72084 SOS 41682 HAS SOPS 24001 HAS SOUS 7657 HAS SOUPS 4186 WITH SCORE 4227.682
AT ITER 2725 NEW BEST:: SOT 72084 SOS 41682 HAS SOPS 24001 HAS SOUS 7654 HAS SOUPS 4184 WITH SCORE 4225.682
AT ITER 2778 NEW BEST:: SOT 72105 SOS 41672 HAS SOPS 23914 HAS SOUS 7659 HAS SOUPS 4178 WITH SCORE 4219.672
AT ITER 2795 NEW BEST:: SOT 72083 SOS 41651 HAS SOPS 23893 HAS SOUS 7639 HAS SOUPS 4158 WITH SCORE 4199.651
AT ITER 2874 NEW BEST:: SOT 72083 SOS 41901 HAS SOPS 24125 HAS SOUS 7632 HAS SOUPS 4151 WITH SCORE 4192.901
AT ITER 2878 NEW BEST:: SOT 72083 SOS 41795 HAS SOPS 24035 HAS SOUS 7630 HAS SOUPS 4151 WITH SCORE 4192.795
AT ITER 2896 NEW BEST:: SOT 72075 SOS 41763 HAS SOPS 24015 HAS SOUS 7614 HAS SOUPS 4139 WITH SCORE 4180.763
AT ITER 2971 NEW BEST:: SOT 72073 SOS 41757 HAS SOPS 24009 HAS SOUS 7612 HAS SOUPS 4137 WITH SCORE 4178.757
AT ITER 3007 NEW BEST:: SOT 72073 SOS 41769 HAS SOPS 24012 HAS SOUS 7611 HAS SOUPS 4136 WITH SCORE 4177.769
AT ITER 3037 NEW BEST:: SOT 72073 SOS 41769 HAS SOPS 24012 HAS SOUS 7608 HAS SOUPS 4134 WITH SCORE 4175.769
AT ITER 3093 NEW BEST:: SOT 72066 SOS 41761 HAS SOPS 24006 HAS SOUS 7598 HAS SOUPS 4129 WITH SCORE 4170.761
AT ITER 3153 NEW BEST:: SOT 72067 SOS 41762 HAS SOPS 23998 HAS SOUS 7597 HAS SOUPS 4128 WITH SCORE 4169.762
AT ITER 3213 NEW BEST:: SOT 72061 SOS 41752 HAS SOPS 23988 HAS SOUS 7591 HAS SOUPS 4122 WITH SCORE 4163.752
AT ITER 3254 NEW BEST:: SOT 72054 SOS 41753 HAS SOPS 23949 HAS SOUS 7594 HAS SOUPS 4120 WITH SCORE 4161.753
AT ITER 3307 NEW BEST:: SOT 72095 SOS 41834 HAS SOPS 23974 HAS SOUS 7587 HAS SOUPS 4111 WITH SCORE 4152.834
AT ITER 3308 NEW BEST:: SOT 72095 SOS 41845 HAS SOPS 23945 HAS SOUS 7589 HAS SOUPS 4108 WITH SCORE 4149.845
AT ITER 3335 NEW BEST:: SOT 72099 SOS 41849 HAS SOPS 23945 HAS SOUS 7577 HAS SOUPS 4104 WITH SCORE 4145.849
AT ITER 3337 NEW BEST:: SOT 72073 SOS 41975 HAS SOPS 23871 HAS SOUS 7591 HAS SOUPS 4093 WITH SCORE 4134.975
AT ITER 3347 NEW BEST:: SOT 72074 SOS 41952 HAS SOPS 23851 HAS SOUS 7588 HAS SOUPS 4090 WITH SCORE 4131.952
AT ITER 3375 NEW BEST:: SOT 71990 SOS 41833 HAS SOPS 23809 HAS SOUS 7581 HAS SOUPS 4090 WITH SCORE 4131.833
AT ITER 3392 NEW BEST:: SOT 71860 SOS 41650 HAS SOPS 23725 HAS SOUS 7574 HAS SOUPS 4090 WITH SCORE 4131.65
AT ITER 3442 NEW BEST:: SOT 71863 SOS 41672 HAS SOPS 23727 HAS SOUS 7573 HAS SOUPS 4089 WITH SCORE 4130.672
AT ITER 3479 NEW BEST:: SOT 71862 SOS 41671 HAS SOPS 23726 HAS SOUS 7573 HAS SOUPS 4089 WITH SCORE 4130.671
AT ITER 3484 NEW BEST:: SOT 71861 SOS 41668 HAS SOPS 23715 HAS SOUS 7574 HAS SOUPS 4089 WITH SCORE 4130.668
AT ITER 3573 NEW BEST:: SOT 71877 SOS 41694 HAS SOPS 23725 HAS SOUS 7572 HAS SOUPS 4087 WITH SCORE 4128.694
AT ITER 3589 NEW BEST:: SOT 71792 SOS 41611 HAS SOPS 23634 HAS SOUS 7571 HAS SOUPS 4076 WITH SCORE 4117.611
AT ITER 3608 NEW BEST:: SOT 71792 SOS 41611 HAS SOPS 23634 HAS SOUS 7560 HAS SOUPS 4074 WITH SCORE 4115.611
AT ITER 3744 NEW BEST:: SOT 71770 SOS 41303 HAS SOPS 23462 HAS SOUS 7536 HAS SOUPS 4067 WITH SCORE 4108.303
AT ITER 3786 NEW BEST:: SOT 71745 SOS 41240 HAS SOPS 23411 HAS SOUS 7535 HAS SOUPS 4066 WITH SCORE 4107.24
AT ITER 3854 NEW BEST:: SOT 71733 SOS 41223 HAS SOPS 23405 HAS SOUS 7532 HAS SOUPS 4064 WITH SCORE 4105.223
AT ITER 3865 NEW BEST:: SOT 71672 SOS 41161 HAS SOPS 23345 HAS SOUS 7522 HAS SOUPS 4059 WITH SCORE 4100.161
AT ITER 3944 NEW BEST:: SOT 71683 SOS 41172 HAS SOPS 23350 HAS SOUS 7520 HAS SOUPS 4057 WITH SCORE 4098.172
AT ITER 3954 NEW BEST:: SOT 71692 SOS 41181 HAS SOPS 23350 HAS SOUS 7510 HAS SOUPS 4055 WITH SCORE 4096.181
AT ITER 4012 NEW BEST:: SOT 71728 SOS 41257 HAS SOPS 23366 HAS SOUS 7514 HAS SOUPS 4053 WITH SCORE 4094.257
AT ITER 4106 NEW BEST:: SOT 71720 SOS 41221 HAS SOPS 23362 HAS SOUS 7509 HAS SOUPS 4052 WITH SCORE 4093.221
AT ITER 4182 NEW BEST:: SOT 71720 SOS 41221 HAS SOPS 23362 HAS SOUS 7500 HAS SOUPS 4047 WITH SCORE 4088.221
AT ITER 4224 NEW BEST:: SOT 71688 SOS 41177 HAS SOPS 23345 HAS SOUS 7486 HAS SOUPS 4040 WITH SCORE 4081.177
AT ITER 4266 NEW BEST:: SOT 71679 SOS 41080 HAS SOPS 23320 HAS SOUS 7475 HAS SOUPS 4038 WITH SCORE 4079.08
AT ITER 4323 NEW BEST:: SOT 71558 SOS 40904 HAS SOPS 23254 HAS SOUS 7453 HAS SOUPS 4035 WITH SCORE 4075.904
AT ITER 4382 NEW BEST:: SOT 71538 SOS 40864 HAS SOPS 23214 HAS SOUS 7447 HAS SOUPS 4029 WITH SCORE 4069.864
AT ITER 4390 NEW BEST:: SOT 71536 SOS 40858 HAS SOPS 23208 HAS SOUS 7444 HAS SOUPS 4026 WITH SCORE 4066.858
AT ITER 4487 NEW BEST:: SOT 71512 SOS 40802 HAS SOPS 23192 HAS SOUS 7436 HAS SOUPS 4026 WITH SCORE 4066.802
AT ITER 4540 NEW BEST:: SOT 71509 SOS 40769 HAS SOPS 23183 HAS SOUS 7433 HAS SOUPS 4026 WITH SCORE 4066.769
AT ITER 4638 NEW BEST:: SOT 71510 SOS 40743 HAS SOPS 23172 HAS SOUS 7432 HAS SOUPS 4026 WITH SCORE 4066.743
AT ITER 4716 NEW BEST:: SOT 71510 SOS 40715 HAS SOPS 23176 HAS SOUS 7428 HAS SOUPS 4026 WITH SCORE 4066.715
AT ITER 4726 NEW BEST:: SOT 71480 SOS 40668 HAS SOPS 23155 HAS SOUS 7433 HAS SOUPS 4025 WITH SCORE 4065.668
AT ITER 4775 NEW BEST:: SOT 71479 SOS 40667 HAS SOPS 23154 HAS SOUS 7432 HAS SOUPS 4024 WITH SCORE 4064.667
AT ITER 4784 NEW BEST:: SOT 71487 SOS 40675 HAS SOPS 23122 HAS SOUS 7416 HAS SOUPS 4008 WITH SCORE 4048.675
AT ITER 4849 NEW BEST:: SOT 71477 SOS 40592 HAS SOPS 23039 HAS SOUS 7413 HAS SOUPS 4005 WITH SCORE 4045.592
AT ITER 4910 NEW BEST:: SOT 71477 SOS 40560 HAS SOPS 23007 HAS SOUS 7409 HAS SOUPS 4001 WITH SCORE 4041.56
AT ITER 4964 NEW BEST:: SOT 71463 SOS 40544 HAS SOPS 22997 HAS SOUS 7407 HAS SOUPS 3999 WITH SCORE 4039.544
AT ITER 4989 NEW BEST:: SOT 71403 SOS 40459 HAS SOPS 22967 HAS SOUS 7402 HAS SOUPS 3999 WITH SCORE 4039.459
AT ITER 5066 NEW BEST:: SOT 71398 SOS 40454 HAS SOPS 22967 HAS SOUS 7402 HAS SOUPS 3999 WITH SCORE 4039.454
AT ITER 5133 NEW BEST:: SOT 71405 SOS 40144 HAS SOPS 22807 HAS SOUS 7380 HAS SOUPS 3987 WITH SCORE 4027.144
AT ITER 5140 NEW BEST:: SOT 71400 SOS 40139 HAS SOPS 22807 HAS SOUS 7380 HAS SOUPS 3987 WITH SCORE 4027.139
AT ITER 5237 NEW BEST:: SOT 71402 SOS 40135 HAS SOPS 22775 HAS SOUS 7364 HAS SOUPS 3977 WITH SCORE 4017.135
AT ITER 5247 NEW BEST:: SOT 71402 SOS 40135 HAS SOPS 22775 HAS SOUS 7355 HAS SOUPS 3972 WITH SCORE 4012.135
AT ITER 5323 NEW BEST:: SOT 71368 SOS 40002 HAS SOPS 22699 HAS SOUS 7350 HAS SOUPS 3968 WITH SCORE 4008.002
AT ITER 5336 NEW BEST:: SOT 71244 SOS 39756 HAS SOPS 22635 HAS SOUS 7322 HAS SOUPS 3968 WITH SCORE 4007.756
AT ITER 5337 NEW BEST:: SOT 71256 SOS 39482 HAS SOPS 22361 HAS SOUS 7321 HAS SOUPS 3967 WITH SCORE 4006.482
AT ITER 5455 NEW BEST:: SOT 71255 SOS 39470 HAS SOPS 22349 HAS SOUS 7318 HAS SOUPS 3964 WITH SCORE 4003.47
AT ITER 5470 NEW BEST:: SOT 71254 SOS 39460 HAS SOPS 22363 HAS SOUS 7315 HAS SOUPS 3964 WITH SCORE 4003.46
AT ITER 5546 NEW BEST:: SOT 71265 SOS 39471 HAS SOPS 22368 HAS SOUS 7314 HAS SOUPS 3963 WITH SCORE 4002.471
AT ITER 5616 NEW BEST:: SOT 71257 SOS 39477 HAS SOPS 22351 HAS SOUS 7316 HAS SOUPS 3960 WITH SCORE 3999.477
AT ITER 5643 NEW BEST:: SOT 71244 SOS 39462 HAS SOPS 22342 HAS SOUS 7316 HAS SOUPS 3960 WITH SCORE 3999.462
AT ITER 5648 NEW BEST:: SOT 71247 SOS 39459 HAS SOPS 22363 HAS SOUS 7313 HAS SOUPS 3960 WITH SCORE 3999.459
AT ITER 5658 NEW BEST:: SOT 71255 SOS 39474 HAS SOPS 22368 HAS SOUS 7311 HAS SOUPS 3958 WITH SCORE 3997.474
AT ITER 5663 NEW BEST:: SOT 71248 SOS 39462 HAS SOPS 22356 HAS SOUS 7312 HAS SOUPS 3958 WITH SCORE 3997.462
AT ITER 5783 NEW BEST:: SOT 71138 SOS 39214 HAS SOPS 22248 HAS SOUS 7283 HAS SOUPS 3957 WITH SCORE 3996.214
AT ITER 5828 NEW BEST:: SOT 71124 SOS 39207 HAS SOPS 22185 HAS SOUS 7283 HAS SOUPS 3950 WITH SCORE 3989.207
AT ITER 5996 NEW BEST:: SOT 71128 SOS 39193 HAS SOPS 22171 HAS SOUS 7283 HAS SOUPS 3950 WITH SCORE 3989.193
AT ITER 5999 NEW BEST:: SOT 71125 SOS 39219 HAS SOPS 22197 HAS SOUS 7278 HAS SOUPS 3945 WITH SCORE 3984.219
AT ITER 6094 NEW BEST:: SOT 71138 SOS 39092 HAS SOPS 22070 HAS SOUS 7276 HAS SOUPS 3943 WITH SCORE 3982.092
AT ITER 6143 NEW BEST:: SOT 71138 SOS 39084 HAS SOPS 22062 HAS SOUS 7275 HAS SOUPS 3942 WITH SCORE 3981.084
AT ITER 6160 NEW BEST:: SOT 71137 SOS 39074 HAS SOPS 22060 HAS SOUS 7274 HAS SOUPS 3942 WITH SCORE 3981.074
AT ITER 6211 NEW BEST:: SOT 71146 SOS 39083 HAS SOPS 22069 HAS SOUS 7273 HAS SOUPS 3941 WITH SCORE 3980.083
AT ITER 6258 NEW BEST:: SOT 71143 SOS 39076 HAS SOPS 22067 HAS SOUS 7272 HAS SOUPS 3941 WITH SCORE 3980.076
AT ITER 6285 NEW BEST:: SOT 71165 SOS 39114 HAS SOPS 22081 HAS SOUS 7271 HAS SOUPS 3940 WITH SCORE 3979.114
AT ITER 6327 NEW BEST:: SOT 71132 SOS 39066 HAS SOPS 22063 HAS SOUS 7268 HAS SOUPS 3940 WITH SCORE 3979.066
AT ITER 6420 NEW BEST:: SOT 71107 SOS 39040 HAS SOPS 22037 HAS SOUS 7262 HAS SOUPS 3934 WITH SCORE 3973.04
AT ITER 6435 NEW BEST:: SOT 71102 SOS 39030 HAS SOPS 22040 HAS SOUS 7260 HAS SOUPS 3931 WITH SCORE 3970.03
AT ITER 6507 NEW BEST:: SOT 71101 SOS 39029 HAS SOPS 22031 HAS SOUS 7261 HAS SOUPS 3931 WITH SCORE 3970.029
AT ITER 6518 NEW BEST:: SOT 71104 SOS 39467 HAS SOPS 22405 HAS SOUS 7268 HAS SOUPS 3930 WITH SCORE 3969.467
AT ITER 6531 NEW BEST:: SOT 71098 SOS 39453 HAS SOPS 22401 HAS SOUS 7266 HAS SOUPS 3930 WITH SCORE 3969.453
AT ITER 6542 NEW BEST:: SOT 71103 SOS 39458 HAS SOPS 22401 HAS SOUS 7257 HAS SOUPS 3925 WITH SCORE 3964.458
AT ITER 6544 NEW BEST:: SOT 71114 SOS 39478 HAS SOPS 22408 HAS SOUS 7257 HAS SOUPS 3924 WITH SCORE 3963.478
AT ITER 6560 NEW BEST:: SOT 71113 SOS 39476 HAS SOPS 22408 HAS SOUS 7253 HAS SOUPS 3922 WITH SCORE 3961.476
AT ITER 6661 NEW BEST:: SOT 71110 SOS 39491 HAS SOPS 22423 HAS SOUS 7252 HAS SOUPS 3921 WITH SCORE 3960.491
AT ITER 6797 NEW BEST:: SOT 71112 SOS 39495 HAS SOPS 22427 HAS SOUS 7251 HAS SOUPS 3920 WITH SCORE 3959.495
AT ITER 6809 NEW BEST:: SOT 71097 SOS 39460 HAS SOPS 22417 HAS SOUS 7246 HAS SOUPS 3920 WITH SCORE 3959.46
AT ITER 6889 NEW BEST:: SOT 71097 SOS 39460 HAS SOPS 22417 HAS SOUS 7240 HAS SOUPS 3916 WITH SCORE 3955.46
AT ITER 7053 NEW BEST:: SOT 71098 SOS 39460 HAS SOPS 22417 HAS SOUS 7238 HAS SOUPS 3914 WITH SCORE 3953.46
AT ITER 7202 NEW BEST:: SOT 71100 SOS 39455 HAS SOPS 22414 HAS SOUS 7235 HAS SOUPS 3911 WITH SCORE 3950.455
AT ITER 7222 NEW BEST:: SOT 71100 SOS 39455 HAS SOPS 22414 HAS SOUS 7226 HAS SOUPS 3906 WITH SCORE 3945.455
AT ITER 7264 NEW BEST:: SOT 71116 SOS 39487 HAS SOPS 22414 HAS SOUS 7227 HAS SOUPS 3904 WITH SCORE 3943.487
AT ITER 7298 NEW BEST:: SOT 71114 SOS 39484 HAS SOPS 22408 HAS SOUS 7227 HAS SOUPS 3903 WITH SCORE 3942.484
AT ITER 7310 NEW BEST:: SOT 71110 SOS 39480 HAS SOPS 22414 HAS SOUS 7225 HAS SOUPS 3901 WITH SCORE 3940.48
AT ITER 7378 NEW BEST:: SOT 71107 SOS 39473 HAS SOPS 22412 HAS SOUS 7224 HAS SOUPS 3901 WITH SCORE 3940.473
AT ITER 7563 NEW BEST:: SOT 71110 SOS 39470 HAS SOPS 22433 HAS SOUS 7221 HAS SOUPS 3901 WITH SCORE 3940.47
AT ITER 7782 NEW BEST:: SOT 71150 SOS 39435 HAS SOPS 22331 HAS SOUS 7205 HAS SOUPS 3863 WITH SCORE 3902.435
AT ITER 7807 NEW BEST:: SOT 71141 SOS 39481 HAS SOPS 22313 HAS SOUS 7210 HAS SOUPS 3860 WITH SCORE 3899.481
AT ITER 7829 NEW BEST:: SOT 71145 SOS 39489 HAS SOPS 22313 HAS SOUS 7208 HAS SOUPS 3858 WITH SCORE 3897.489
AT ITER 7871 NEW BEST:: SOT 71151 SOS 39495 HAS SOPS 22313 HAS SOUS 7199 HAS SOUPS 3853 WITH SCORE 3892.495
AT ITER 7945 NEW BEST:: SOT 71141 SOS 39514 HAS SOPS 22308 HAS SOUS 7198 HAS SOUPS 3849 WITH SCORE 3888.514
AT ITER 7961 NEW BEST:: SOT 71132 SOS 39493 HAS SOPS 22302 HAS SOUS 7195 HAS SOUPS 3849 WITH SCORE 3888.493
AT ITER 7988 NEW BEST:: SOT 71273 SOS 39822 HAS SOPS 22396 HAS SOUS 7215 HAS SOUPS 3834 WITH SCORE 3873.822
AT ITER 7990 NEW BEST:: SOT 71258 SOS 39806 HAS SOPS 22388 HAS SOUS 7197 HAS SOUPS 3824 WITH SCORE 3863.806
AT ITER 8371 NEW BEST:: SOT 71254 SOS 39771 HAS SOPS 22377 HAS SOUS 7193 HAS SOUPS 3823 WITH SCORE 3862.771
AT ITER 8558 NEW BEST:: SOT 71413 SOS 40142 HAS SOPS 22483 HAS SOUS 7237 HAS SOUPS 3818 WITH SCORE 3858.142
AT ITER 8800 NEW BEST:: SOT 71413 SOS 40124 HAS SOPS 22465 HAS SOUS 7236 HAS SOUPS 3817 WITH SCORE 3857.124
AT ITER 8962 NEW BEST:: SOT 71413 SOS 40112 HAS SOPS 22453 HAS SOUS 7236 HAS SOUPS 3817 WITH SCORE 3857.112
AT ITER 9015 NEW BEST:: SOT 71410 SOS 40106 HAS SOPS 22453 HAS SOUS 7234 HAS SOUPS 3817 WITH SCORE 3857.106
AT ITER 9016 NEW BEST:: SOT 71412 SOS 40082 HAS SOPS 22445 HAS SOUS 7231 HAS SOUPS 3816 WITH SCORE 3856.082
AT ITER 9092 NEW BEST:: SOT 71410 SOS 39972 HAS SOPS 22335 HAS SOUS 7229 HAS SOUPS 3814 WITH SCORE 3853.972
AT ITER 9213 NEW BEST:: SOT 71380 SOS 39943 HAS SOPS 22306 HAS SOUS 7228 HAS SOUPS 3810 WITH SCORE 3849.943
AT ITER 9246 NEW BEST:: SOT 71380 SOS 39943 HAS SOPS 22306 HAS SOUS 7226 HAS SOUPS 3808 WITH SCORE 3847.943
AT ITER 9323 NEW BEST:: SOT 71380 SOS 39936 HAS SOPS 22299 HAS SOUS 7226 HAS SOUPS 3808 WITH SCORE 3847.936
AT ITER 9324 NEW BEST:: SOT 71212 SOS 39544 HAS SOPS 22187 HAS SOUS 7170 HAS SOUPS 3808 WITH SCORE 3847.544
AT ITER 9396 NEW BEST:: SOT 71212 SOS 39544 HAS SOPS 22187 HAS SOUS 7169 HAS SOUPS 3807 WITH SCORE 3846.544
AT ITER 9495 NEW BEST:: SOT 71152 SOS 39314 HAS SOPS 22057 HAS SOUS 7154 HAS SOUPS 3797 WITH SCORE 3836.314
AT ITER 9672 NEW BEST:: SOT 71152 SOS 39314 HAS SOPS 22057 HAS SOUS 7152 HAS SOUPS 3795 WITH SCORE 3834.314
AT ITER 9673 NEW BEST:: SOT 71150 SOS 39303 HAS SOPS 22054 HAS SOUS 7149 HAS SOUPS 3793 WITH SCORE 3832.303
AT ITER 9982 NEW BEST:: SOT 71216 SOS 39433 HAS SOPS 22090 HAS SOUS 7163 HAS SOUPS 3792 WITH SCORE 3831.433
AT ITER 9997 NEW BEST:: SOT 71216 SOS 39380 HAS SOPS 22045 HAS SOUS 7162 HAS SOUPS 3792 WITH SCORE 3831.38
STATE_SPACE STATES 240100001 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 69 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 21917700001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678255609621

--------------------
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="DLCround-PT-04a"
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 DLCround-PT-04a, 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-167814472700640"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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