Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r190-csrt-159033383200760.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is EGFr-PT-10421, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r190-csrt-159033383200760
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 884K
-rw-r--r-- 1 mcc users 4.2K May 14 00:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 00:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.4K May 13 17:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 24K May 13 17:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 12 20:53 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K May 14 10:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K May 14 10:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 14 10:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K May 13 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 13 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K May 13 07:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 07:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:53 equiv_col
-rw-r--r-- 1 mcc users 6 May 12 20:53 instance
-rw-r--r-- 1 mcc users 6 May 12 20:53 iscolored
-rw------- 1 mcc users 672K May 12 20:53 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 1590410313554

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EGFr (PT), instance 10421
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 208 places, 378 transitions, 3198 arcs.
AT ITER 0 NEW BEST:: SOT 52709 SOS 27153 HAS SOPS 7643 HAS SOUS 23120 HAS SOUPS 6934 WITH SCORE 6961.153
AT ITER 26 NEW BEST:: SOT 52638 SOS 27097 HAS SOPS 7572 HAS SOUS 23061 HAS SOUPS 6863 WITH SCORE 6890.097
AT ITER 32 NEW BEST:: SOT 52644 SOS 27087 HAS SOPS 7435 HAS SOUS 23069 HAS SOUPS 6725 WITH SCORE 6752.087
AT ITER 34 NEW BEST:: SOT 52602 SOS 27113 HAS SOPS 7385 HAS SOUS 23047 HAS SOUPS 6675 WITH SCORE 6702.113
AT ITER 52 NEW BEST:: SOT 52602 SOS 27083 HAS SOPS 7385 HAS SOUS 23017 HAS SOUPS 6675 WITH SCORE 6702.083
AT ITER 76 NEW BEST:: SOT 52598 SOS 27152 HAS SOPS 7381 HAS SOUS 22953 HAS SOUPS 6671 WITH SCORE 6698.152
AT ITER 90 NEW BEST:: SOT 52598 SOS 27127 HAS SOPS 7381 HAS SOUS 22939 HAS SOUPS 6671 WITH SCORE 6698.127
AT ITER 93 NEW BEST:: SOT 52598 SOS 27119 HAS SOPS 7381 HAS SOUS 22931 HAS SOUPS 6671 WITH SCORE 6698.119
AT ITER 100 NEW BEST:: SOT 52566 SOS 27135 HAS SOPS 7349 HAS SOUS 22923 HAS SOUPS 6639 WITH SCORE 6666.135
AT ITER 102 NEW BEST:: SOT 52542 SOS 27117 HAS SOPS 7325 HAS SOUS 22905 HAS SOUPS 6615 WITH SCORE 6642.117
AT ITER 116 NEW BEST:: SOT 52556 SOS 28332 HAS SOPS 7249 HAS SOUS 22876 HAS SOUPS 6564 WITH SCORE 6592.332
AT ITER 157 NEW BEST:: SOT 52559 SOS 28332 HAS SOPS 7246 HAS SOUS 22876 HAS SOUPS 6561 WITH SCORE 6589.332
AT ITER 160 NEW BEST:: SOT 52555 SOS 28326 HAS SOPS 7239 HAS SOUS 22866 HAS SOUPS 6554 WITH SCORE 6582.326
AT ITER 169 NEW BEST:: SOT 52555 SOS 28260 HAS SOPS 7181 HAS SOUS 22904 HAS SOUPS 6496 WITH SCORE 6524.26
AT ITER 186 NEW BEST:: SOT 52555 SOS 28611 HAS SOPS 7173 HAS SOUS 23082 HAS SOUPS 6488 WITH SCORE 6516.611
AT ITER 204 NEW BEST:: SOT 52562 SOS 28611 HAS SOPS 7166 HAS SOUS 23082 HAS SOUPS 6481 WITH SCORE 6509.611
AT ITER 218 NEW BEST:: SOT 52433 SOS 28531 HAS SOPS 7037 HAS SOUS 22893 HAS SOUPS 6352 WITH SCORE 6380.531
AT ITER 220 NEW BEST:: SOT 52433 SOS 28548 HAS SOPS 7037 HAS SOUS 22869 HAS SOUPS 6335 WITH SCORE 6363.548
AT ITER 226 NEW BEST:: SOT 52433 SOS 28544 HAS SOPS 7037 HAS SOUS 22869 HAS SOUPS 6335 WITH SCORE 6363.544
AT ITER 242 NEW BEST:: SOT 52433 SOS 28874 HAS SOPS 6965 HAS SOUS 22873 HAS SOUPS 6287 WITH SCORE 6315.874
AT ITER 243 NEW BEST:: SOT 52459 SOS 29196 HAS SOPS 6985 HAS SOUS 23020 HAS SOUPS 6278 WITH SCORE 6307.196
AT ITER 250 NEW BEST:: SOT 52457 SOS 29193 HAS SOPS 6981 HAS SOUS 23017 HAS SOUPS 6274 WITH SCORE 6303.193
AT ITER 257 NEW BEST:: SOT 52494 SOS 29091 HAS SOPS 6922 HAS SOUS 22967 HAS SOUPS 6234 WITH SCORE 6263.091
AT ITER 273 NEW BEST:: SOT 52493 SOS 29084 HAS SOPS 6918 HAS SOUS 22968 HAS SOUPS 6234 WITH SCORE 6263.084
AT ITER 293 NEW BEST:: SOT 52461 SOS 28778 HAS SOPS 6892 HAS SOUS 22816 HAS SOUPS 6208 WITH SCORE 6236.778
AT ITER 319 NEW BEST:: SOT 52461 SOS 28770 HAS SOPS 6883 HAS SOUS 22811 HAS SOUPS 6202 WITH SCORE 6230.77
AT ITER 321 NEW BEST:: SOT 52446 SOS 28745 HAS SOPS 6853 HAS SOUS 22781 HAS SOUPS 6172 WITH SCORE 6200.745
AT ITER 331 NEW BEST:: SOT 52446 SOS 28742 HAS SOPS 6845 HAS SOUS 23051 HAS SOUPS 6164 WITH SCORE 6192.742
AT ITER 339 NEW BEST:: SOT 52446 SOS 28700 HAS SOPS 6845 HAS SOUS 22989 HAS SOUPS 6164 WITH SCORE 6192.7
AT ITER 347 NEW BEST:: SOT 52343 SOS 28643 HAS SOPS 6742 HAS SOUS 22858 HAS SOUPS 6061 WITH SCORE 6089.643
AT ITER 348 NEW BEST:: SOT 52343 SOS 28808 HAS SOPS 6738 HAS SOUS 23053 HAS SOUPS 6059 WITH SCORE 6087.808
AT ITER 358 NEW BEST:: SOT 52339 SOS 28804 HAS SOPS 6734 HAS SOUS 23033 HAS SOUPS 6059 WITH SCORE 6087.804
AT ITER 398 NEW BEST:: SOT 52304 SOS 28734 HAS SOPS 6699 HAS SOUS 22963 HAS SOUPS 6024 WITH SCORE 6052.734
AT ITER 401 NEW BEST:: SOT 52301 SOS 28728 HAS SOPS 6694 HAS SOUS 22958 HAS SOUPS 6019 WITH SCORE 6047.728
AT ITER 413 NEW BEST:: SOT 52261 SOS 28945 HAS SOPS 6654 HAS SOUS 22996 HAS SOUPS 5996 WITH SCORE 6024.945
AT ITER 422 NEW BEST:: SOT 52261 SOS 28965 HAS SOPS 6652 HAS SOUS 22994 HAS SOUPS 5994 WITH SCORE 6022.965
AT ITER 425 NEW BEST:: SOT 52128 SOS 28966 HAS SOPS 6579 HAS SOUS 22995 HAS SOUPS 5921 WITH SCORE 5949.966
AT ITER 431 NEW BEST:: SOT 52128 SOS 28948 HAS SOPS 6561 HAS SOUS 22986 HAS SOUPS 5912 WITH SCORE 5940.948
AT ITER 436 NEW BEST:: SOT 52182 SOS 28957 HAS SOPS 6555 HAS SOUS 23111 HAS SOUPS 5906 WITH SCORE 5934.957
AT ITER 439 NEW BEST:: SOT 52182 SOS 28889 HAS SOPS 6555 HAS SOUS 22710 HAS SOUPS 5906 WITH SCORE 5934.889
AT ITER 449 NEW BEST:: SOT 52182 SOS 28887 HAS SOPS 6549 HAS SOUS 22708 HAS SOUPS 5900 WITH SCORE 5928.887
AT ITER 454 NEW BEST:: SOT 52182 SOS 28869 HAS SOPS 6522 HAS SOUS 22699 HAS SOUPS 5882 WITH SCORE 5910.869
AT ITER 468 NEW BEST:: SOT 52182 SOS 28556 HAS SOPS 6522 HAS SOUS 22479 HAS SOUPS 5882 WITH SCORE 5910.556
AT ITER 470 NEW BEST:: SOT 52170 SOS 28530 HAS SOPS 6516 HAS SOUS 22447 HAS SOUPS 5876 WITH SCORE 5904.53
AT ITER 519 NEW BEST:: SOT 52170 SOS 28541 HAS SOPS 6501 HAS SOUS 22463 HAS SOUPS 5866 WITH SCORE 5894.541
AT ITER 530 NEW BEST:: SOT 52174 SOS 28545 HAS SOPS 6497 HAS SOUS 22455 HAS SOUPS 5863 WITH SCORE 5891.545
AT ITER 550 NEW BEST:: SOT 52171 SOS 28526 HAS SOPS 6494 HAS SOUS 22436 HAS SOUPS 5860 WITH SCORE 5888.526
AT ITER 566 NEW BEST:: SOT 52171 SOS 28422 HAS SOPS 6383 HAS SOUS 22377 HAS SOUPS 5786 WITH SCORE 5814.422
AT ITER 593 NEW BEST:: SOT 52156 SOS 28417 HAS SOPS 6368 HAS SOUS 22357 HAS SOUPS 5756 WITH SCORE 5784.417
AT ITER 597 NEW BEST:: SOT 52156 SOS 28173 HAS SOPS 6368 HAS SOUS 22330 HAS SOUPS 5756 WITH SCORE 5784.173
AT ITER 602 NEW BEST:: SOT 52155 SOS 28171 HAS SOPS 6367 HAS SOUS 22329 HAS SOUPS 5756 WITH SCORE 5784.171
AT ITER 618 NEW BEST:: SOT 52155 SOS 28163 HAS SOPS 6359 HAS SOUS 22321 HAS SOUPS 5748 WITH SCORE 5776.163
AT ITER 633 NEW BEST:: SOT 52155 SOS 28159 HAS SOPS 6355 HAS SOUS 22329 HAS SOUPS 5744 WITH SCORE 5772.159
AT ITER 638 NEW BEST:: SOT 52155 SOS 28140 HAS SOPS 6355 HAS SOUS 22244 HAS SOUPS 5744 WITH SCORE 5772.14
AT ITER 643 NEW BEST:: SOT 52155 SOS 28166 HAS SOPS 6352 HAS SOUS 22242 HAS SOUPS 5742 WITH SCORE 5770.166
AT ITER 650 NEW BEST:: SOT 52155 SOS 27548 HAS SOPS 6352 HAS SOUS 22217 HAS SOUPS 5742 WITH SCORE 5769.548
AT ITER 677 NEW BEST:: SOT 52155 SOS 27552 HAS SOPS 6348 HAS SOUS 22221 HAS SOUPS 5738 WITH SCORE 5765.552
AT ITER 687 NEW BEST:: SOT 52117 SOS 27490 HAS SOPS 6286 HAS SOUS 22159 HAS SOUPS 5676 WITH SCORE 5703.49
AT ITER 696 NEW BEST:: SOT 52117 SOS 27782 HAS SOPS 6234 HAS SOUS 22353 HAS SOUPS 5650 WITH SCORE 5677.782
AT ITER 708 NEW BEST:: SOT 52104 SOS 27777 HAS SOPS 6229 HAS SOUS 22348 HAS SOUPS 5645 WITH SCORE 5672.777
AT ITER 712 NEW BEST:: SOT 52098 SOS 27763 HAS SOPS 6215 HAS SOUS 22334 HAS SOUPS 5631 WITH SCORE 5658.763
AT ITER 713 NEW BEST:: SOT 52061 SOS 27725 HAS SOPS 6178 HAS SOUS 22333 HAS SOUPS 5631 WITH SCORE 5658.725
AT ITER 721 NEW BEST:: SOT 52061 SOS 27711 HAS SOPS 6178 HAS SOUS 22333 HAS SOUPS 5631 WITH SCORE 5658.711
AT ITER 732 NEW BEST:: SOT 51968 SOS 27587 HAS SOPS 5992 HAS SOUS 22188 HAS SOUPS 5445 WITH SCORE 5472.587
AT ITER 736 NEW BEST:: SOT 51961 SOS 27580 HAS SOPS 5990 HAS SOUS 22181 HAS SOUPS 5443 WITH SCORE 5470.58
AT ITER 740 NEW BEST:: SOT 51929 SOS 27526 HAS SOPS 5958 HAS SOUS 22138 HAS SOUPS 5411 WITH SCORE 5438.526
AT ITER 751 NEW BEST:: SOT 51867 SOS 27518 HAS SOPS 5950 HAS SOUS 22107 HAS SOUPS 5403 WITH SCORE 5430.518
AT ITER 754 NEW BEST:: SOT 51867 SOS 27493 HAS SOPS 5914 HAS SOUS 22082 HAS SOUPS 5367 WITH SCORE 5394.493
AT ITER 803 NEW BEST:: SOT 51867 SOS 27448 HAS SOPS 5869 HAS SOUS 22052 HAS SOUPS 5337 WITH SCORE 5364.448
AT ITER 827 NEW BEST:: SOT 51859 SOS 27440 HAS SOPS 5853 HAS SOUS 22044 HAS SOUPS 5321 WITH SCORE 5348.44
AT ITER 837 NEW BEST:: SOT 51859 SOS 27768 HAS SOPS 5832 HAS SOUS 22067 HAS SOUPS 5307 WITH SCORE 5334.768
AT ITER 840 NEW BEST:: SOT 51859 SOS 27768 HAS SOPS 5832 HAS SOUS 22063 HAS SOUPS 5303 WITH SCORE 5330.768
AT ITER 849 NEW BEST:: SOT 51807 SOS 27716 HAS SOPS 5780 HAS SOUS 21996 HAS SOUPS 5251 WITH SCORE 5278.716
AT ITER 858 NEW BEST:: SOT 51807 SOS 27679 HAS SOPS 5724 HAS SOUS 21977 HAS SOUPS 5223 WITH SCORE 5250.679
AT ITER 863 NEW BEST:: SOT 51807 SOS 27696 HAS SOPS 5707 HAS SOUS 21960 HAS SOUPS 5206 WITH SCORE 5233.696
AT ITER 864 NEW BEST:: SOT 51807 SOS 27683 HAS SOPS 5707 HAS SOUS 21960 HAS SOUPS 5206 WITH SCORE 5233.683
AT ITER 872 NEW BEST:: SOT 51807 SOS 27668 HAS SOPS 5707 HAS SOUS 21978 HAS SOUPS 5206 WITH SCORE 5233.668
AT ITER 877 NEW BEST:: SOT 51812 SOS 27651 HAS SOPS 5704 HAS SOUS 21970 HAS SOUPS 5203 WITH SCORE 5230.651
AT ITER 898 NEW BEST:: SOT 51803 SOS 27642 HAS SOPS 5686 HAS SOUS 21961 HAS SOUPS 5185 WITH SCORE 5212.642
AT ITER 907 NEW BEST:: SOT 51803 SOS 27636 HAS SOPS 5680 HAS SOUS 21955 HAS SOUPS 5179 WITH SCORE 5206.636
AT ITER 984 NEW BEST:: SOT 51793 SOS 27627 HAS SOPS 5640 HAS SOUS 21957 HAS SOUPS 5150 WITH SCORE 5177.627
AT ITER 1021 NEW BEST:: SOT 51793 SOS 27678 HAS SOPS 5613 HAS SOUS 21985 HAS SOUPS 5132 WITH SCORE 5159.678
AT ITER 1035 NEW BEST:: SOT 51793 SOS 27666 HAS SOPS 5607 HAS SOUS 21979 HAS SOUPS 5132 WITH SCORE 5159.666
AT ITER 1038 NEW BEST:: SOT 51787 SOS 27654 HAS SOPS 5595 HAS SOUS 21967 HAS SOUPS 5120 WITH SCORE 5147.654
AT ITER 1078 NEW BEST:: SOT 51768 SOS 27697 HAS SOPS 5576 HAS SOUS 21951 HAS SOUPS 5101 WITH SCORE 5128.697
AT ITER 1105 NEW BEST:: SOT 51768 SOS 27692 HAS SOPS 5576 HAS SOUS 21858 HAS SOUPS 5101 WITH SCORE 5128.692
AT ITER 1113 NEW BEST:: SOT 51768 SOS 27646 HAS SOPS 5576 HAS SOUS 21742 HAS SOUPS 5101 WITH SCORE 5128.646
AT ITER 1130 NEW BEST:: SOT 51768 SOS 27638 HAS SOPS 5576 HAS SOUS 21655 HAS SOUPS 5101 WITH SCORE 5128.638
AT ITER 1139 NEW BEST:: SOT 51768 SOS 27664 HAS SOPS 5566 HAS SOUS 21654 HAS SOUPS 5091 WITH SCORE 5118.664
AT ITER 1161 NEW BEST:: SOT 51723 SOS 27611 HAS SOPS 5521 HAS SOUS 21567 HAS SOUPS 5046 WITH SCORE 5073.611
AT ITER 1181 NEW BEST:: SOT 51669 SOS 27587 HAS SOPS 5501 HAS SOUS 21336 HAS SOUPS 5026 WITH SCORE 5053.587
AT ITER 1194 NEW BEST:: SOT 51669 SOS 27528 HAS SOPS 5501 HAS SOUS 21332 HAS SOUPS 5026 WITH SCORE 5053.528
AT ITER 1246 NEW BEST:: SOT 51669 SOS 27524 HAS SOPS 5501 HAS SOUS 21226 HAS SOUPS 5026 WITH SCORE 5053.524
AT ITER 1250 NEW BEST:: SOT 51669 SOS 27476 HAS SOPS 5468 HAS SOUS 21228 HAS SOUPS 5004 WITH SCORE 5031.476
AT ITER 1292 NEW BEST:: SOT 51659 SOS 27465 HAS SOPS 5455 HAS SOUS 21217 HAS SOUPS 4991 WITH SCORE 5018.465
AT ITER 1294 NEW BEST:: SOT 51659 SOS 27453 HAS SOPS 5455 HAS SOUS 21190 HAS SOUPS 4991 WITH SCORE 5018.453
AT ITER 1299 NEW BEST:: SOT 51659 SOS 27255 HAS SOPS 5455 HAS SOUS 21172 HAS SOUPS 4991 WITH SCORE 5018.255
AT ITER 1305 NEW BEST:: SOT 51600 SOS 27200 HAS SOPS 5396 HAS SOUS 21117 HAS SOUPS 4932 WITH SCORE 4959.2
AT ITER 1310 NEW BEST:: SOT 51582 SOS 27184 HAS SOPS 5390 HAS SOUS 21083 HAS SOUPS 4926 WITH SCORE 4953.184
AT ITER 1327 NEW BEST:: SOT 51582 SOS 27214 HAS SOPS 5375 HAS SOUS 21242 HAS SOUPS 4916 WITH SCORE 4943.214
AT ITER 1331 NEW BEST:: SOT 51584 SOS 27221 HAS SOPS 5309 HAS SOUS 21510 HAS SOUPS 4884 WITH SCORE 4911.221
AT ITER 1343 NEW BEST:: SOT 51582 SOS 27219 HAS SOPS 5307 HAS SOUS 21508 HAS SOUPS 4882 WITH SCORE 4909.219
AT ITER 1363 NEW BEST:: SOT 51521 SOS 27056 HAS SOPS 5206 HAS SOUS 21345 HAS SOUPS 4781 WITH SCORE 4808.056
AT ITER 1379 NEW BEST:: SOT 51521 SOS 27040 HAS SOPS 5190 HAS SOUS 21329 HAS SOUPS 4765 WITH SCORE 4792.04
AT ITER 1382 NEW BEST:: SOT 51477 SOS 27098 HAS SOPS 5146 HAS SOUS 21342 HAS SOUPS 4721 WITH SCORE 4748.098
AT ITER 1389 NEW BEST:: SOT 51474 SOS 27095 HAS SOPS 5131 HAS SOUS 21336 HAS SOUPS 4706 WITH SCORE 4733.095
AT ITER 1397 NEW BEST:: SOT 51474 SOS 27106 HAS SOPS 5110 HAS SOUS 21439 HAS SOUPS 4692 WITH SCORE 4719.106
AT ITER 1432 NEW BEST:: SOT 51478 SOS 27736 HAS SOPS 5114 HAS SOUS 21905 HAS SOUPS 4688 WITH SCORE 4715.736
AT ITER 1454 NEW BEST:: SOT 51478 SOS 27750 HAS SOPS 5092 HAS SOUS 22070 HAS SOUPS 4666 WITH SCORE 4693.75
AT ITER 1475 NEW BEST:: SOT 51478 SOS 27720 HAS SOPS 5062 HAS SOUS 22189 HAS SOUPS 4646 WITH SCORE 4673.72
AT ITER 1495 NEW BEST:: SOT 51448 SOS 27690 HAS SOPS 5032 HAS SOUS 22159 HAS SOUPS 4616 WITH SCORE 4643.69
AT ITER 1512 NEW BEST:: SOT 51448 SOS 27657 HAS SOPS 4958 HAS SOUS 22136 HAS SOUPS 4542 WITH SCORE 4569.657
AT ITER 1526 NEW BEST:: SOT 51448 SOS 27626 HAS SOPS 4958 HAS SOUS 22129 HAS SOUPS 4542 WITH SCORE 4569.626
AT ITER 1532 NEW BEST:: SOT 51446 SOS 27622 HAS SOPS 4950 HAS SOUS 22110 HAS SOUPS 4519 WITH SCORE 4546.622
AT ITER 1555 NEW BEST:: SOT 51446 SOS 27562 HAS SOPS 4950 HAS SOUS 22110 HAS SOUPS 4519 WITH SCORE 4546.562
AT ITER 1558 NEW BEST:: SOT 51418 SOS 27543 HAS SOPS 4922 HAS SOUS 22084 HAS SOUPS 4491 WITH SCORE 4518.543
AT ITER 1564 NEW BEST:: SOT 51418 SOS 27516 HAS SOPS 4895 HAS SOUS 22166 HAS SOUPS 4473 WITH SCORE 4500.516
AT ITER 1584 NEW BEST:: SOT 51418 SOS 27372 HAS SOPS 4895 HAS SOUS 22023 HAS SOUPS 4473 WITH SCORE 4500.372
AT ITER 1676 NEW BEST:: SOT 51397 SOS 27248 HAS SOPS 4874 HAS SOUS 21960 HAS SOUPS 4432 WITH SCORE 4459.248
AT ITER 1708 NEW BEST:: SOT 51397 SOS 26695 HAS SOPS 4874 HAS SOUS 21116 HAS SOUPS 4432 WITH SCORE 4458.695
AT ITER 1713 NEW BEST:: SOT 51394 SOS 26698 HAS SOPS 4871 HAS SOUS 21116 HAS SOUPS 4429 WITH SCORE 4455.698
AT ITER 1716 NEW BEST:: SOT 51394 SOS 26682 HAS SOPS 4871 HAS SOUS 21123 HAS SOUPS 4429 WITH SCORE 4455.682
AT ITER 1720 NEW BEST:: SOT 51394 SOS 26634 HAS SOPS 4871 HAS SOUS 20967 HAS SOUPS 4429 WITH SCORE 4455.634
AT ITER 1731 NEW BEST:: SOT 51394 SOS 26610 HAS SOPS 4871 HAS SOUS 20955 HAS SOUPS 4429 WITH SCORE 4455.61
AT ITER 1736 NEW BEST:: SOT 51424 SOS 27268 HAS SOPS 4901 HAS SOUS 21134 HAS SOUPS 4427 WITH SCORE 4454.268
AT ITER 1737 NEW BEST:: SOT 51418 SOS 27256 HAS SOPS 4898 HAS SOUS 21120 HAS SOUPS 4424 WITH SCORE 4451.256
AT ITER 1756 NEW BEST:: SOT 51368 SOS 27206 HAS SOPS 4848 HAS SOUS 20995 HAS SOUPS 4374 WITH SCORE 4401.206
AT ITER 1768 NEW BEST:: SOT 51368 SOS 27043 HAS SOPS 4848 HAS SOUS 21460 HAS SOUPS 4374 WITH SCORE 4401.043
AT ITER 1771 NEW BEST:: SOT 51368 SOS 27029 HAS SOPS 4848 HAS SOUS 21700 HAS SOUPS 4374 WITH SCORE 4401.029
AT ITER 1792 NEW BEST:: SOT 51355 SOS 27035 HAS SOPS 4830 HAS SOUS 21706 HAS SOUPS 4356 WITH SCORE 4383.035
AT ITER 1811 NEW BEST:: SOT 51355 SOS 27016 HAS SOPS 4830 HAS SOUS 21702 HAS SOUPS 4356 WITH SCORE 4383.016
AT ITER 1836 NEW BEST:: SOT 51355 SOS 27010 HAS SOPS 4830 HAS SOUS 21699 HAS SOUPS 4356 WITH SCORE 4383.01
AT ITER 1915 NEW BEST:: SOT 51355 SOS 26997 HAS SOPS 4830 HAS SOUS 21567 HAS SOUPS 4356 WITH SCORE 4382.997
AT ITER 1947 NEW BEST:: SOT 51378 SOS 26949 HAS SOPS 4790 HAS SOUS 21519 HAS SOUPS 4337 WITH SCORE 4363.949
AT ITER 1960 NEW BEST:: SOT 51378 SOS 26929 HAS SOPS 4770 HAS SOUS 21490 HAS SOUPS 4308 WITH SCORE 4334.929
AT ITER 1966 NEW BEST:: SOT 51378 SOS 26927 HAS SOPS 4752 HAS SOUS 21488 HAS SOUPS 4290 WITH SCORE 4316.927
AT ITER 1976 NEW BEST:: SOT 51378 SOS 26930 HAS SOPS 4752 HAS SOUS 21488 HAS SOUPS 4287 WITH SCORE 4313.93
AT ITER 1977 NEW BEST:: SOT 51378 SOS 26930 HAS SOPS 4743 HAS SOUS 21518 HAS SOUPS 4281 WITH SCORE 4307.93
AT ITER 1978 NEW BEST:: SOT 51378 SOS 26927 HAS SOPS 4740 HAS SOUS 21515 HAS SOUPS 4279 WITH SCORE 4305.927
AT ITER 2009 NEW BEST:: SOT 51378 SOS 26923 HAS SOPS 4740 HAS SOUS 21511 HAS SOUPS 4279 WITH SCORE 4305.923
AT ITER 2050 NEW BEST:: SOT 51383 SOS 26918 HAS SOPS 4735 HAS SOUS 21506 HAS SOUPS 4274 WITH SCORE 4300.918
AT ITER 2104 NEW BEST:: SOT 51382 SOS 26917 HAS SOPS 4733 HAS SOUS 21505 HAS SOUPS 4273 WITH SCORE 4299.917
AT ITER 2154 NEW BEST:: SOT 51356 SOS 26900 HAS SOPS 4725 HAS SOUS 21466 HAS SOUPS 4265 WITH SCORE 4291.9
AT ITER 2168 NEW BEST:: SOT 51332 SOS 26858 HAS SOPS 4699 HAS SOUS 21426 HAS SOUPS 4241 WITH SCORE 4267.858
AT ITER 2175 NEW BEST:: SOT 51332 SOS 26854 HAS SOPS 4699 HAS SOUS 21426 HAS SOUPS 4241 WITH SCORE 4267.854
AT ITER 2179 NEW BEST:: SOT 51332 SOS 26848 HAS SOPS 4699 HAS SOUS 21367 HAS SOUPS 4241 WITH SCORE 4267.848
AT ITER 2182 NEW BEST:: SOT 51302 SOS 26836 HAS SOPS 4675 HAS SOUS 21350 HAS SOUPS 4217 WITH SCORE 4243.836
AT ITER 2259 NEW BEST:: SOT 51257 SOS 26817 HAS SOPS 4641 HAS SOUS 21323 HAS SOUPS 4183 WITH SCORE 4209.817
AT ITER 2262 NEW BEST:: SOT 51263 SOS 26796 HAS SOPS 4611 HAS SOUS 21348 HAS SOUPS 4170 WITH SCORE 4196.796
AT ITER 2288 NEW BEST:: SOT 51263 SOS 26671 HAS SOPS 4611 HAS SOUS 21231 HAS SOUPS 4170 WITH SCORE 4196.671
AT ITER 2310 NEW BEST:: SOT 51263 SOS 26663 HAS SOPS 4611 HAS SOUS 21220 HAS SOUPS 4170 WITH SCORE 4196.663
AT ITER 2353 NEW BEST:: SOT 51267 SOS 26665 HAS SOPS 4609 HAS SOUS 21222 HAS SOUPS 4168 WITH SCORE 4194.665
AT ITER 2395 NEW BEST:: SOT 51267 SOS 26644 HAS SOPS 4585 HAS SOUS 21225 HAS SOUPS 4144 WITH SCORE 4170.644
AT ITER 2409 NEW BEST:: SOT 51255 SOS 26626 HAS SOPS 4567 HAS SOUS 21207 HAS SOUPS 4126 WITH SCORE 4152.626
AT ITER 2424 NEW BEST:: SOT 51255 SOS 26625 HAS SOPS 4567 HAS SOUS 21206 HAS SOUPS 4126 WITH SCORE 4152.625
AT ITER 2442 NEW BEST:: SOT 51255 SOS 26621 HAS SOPS 4583 HAS SOUS 21182 HAS SOUPS 4122 WITH SCORE 4148.621
AT ITER 2463 NEW BEST:: SOT 51255 SOS 26522 HAS SOPS 4583 HAS SOUS 20874 HAS SOUPS 4122 WITH SCORE 4148.522
AT ITER 2493 NEW BEST:: SOT 51255 SOS 26461 HAS SOPS 4583 HAS SOUS 20774 HAS SOUPS 4122 WITH SCORE 4148.461
AT ITER 2582 NEW BEST:: SOT 51218 SOS 26433 HAS SOPS 4553 HAS SOUS 20749 HAS SOUPS 4095 WITH SCORE 4121.433
AT ITER 2586 NEW BEST:: SOT 51218 SOS 26432 HAS SOPS 4553 HAS SOUS 20791 HAS SOUPS 4095 WITH SCORE 4121.432
AT ITER 2608 NEW BEST:: SOT 51220 SOS 26500 HAS SOPS 4551 HAS SOUS 20795 HAS SOUPS 4093 WITH SCORE 4119.5
AT ITER 2636 NEW BEST:: SOT 51220 SOS 26464 HAS SOPS 4515 HAS SOUS 20771 HAS SOUPS 4069 WITH SCORE 4095.464
AT ITER 2668 NEW BEST:: SOT 51220 SOS 26447 HAS SOPS 4515 HAS SOUS 20771 HAS SOUPS 4069 WITH SCORE 4095.447
AT ITER 2699 NEW BEST:: SOT 51215 SOS 26434 HAS SOPS 4502 HAS SOUS 20758 HAS SOUPS 4056 WITH SCORE 4082.434
AT ITER 2701 NEW BEST:: SOT 51213 SOS 26432 HAS SOPS 4500 HAS SOUS 20756 HAS SOUPS 4056 WITH SCORE 4082.432
AT ITER 2738 NEW BEST:: SOT 51219 SOS 26454 HAS SOPS 4494 HAS SOUS 20795 HAS SOUPS 4050 WITH SCORE 4076.454
AT ITER 2749 NEW BEST:: SOT 51219 SOS 26433 HAS SOPS 4494 HAS SOUS 20803 HAS SOUPS 4050 WITH SCORE 4076.433
AT ITER 2784 NEW BEST:: SOT 51214 SOS 26423 HAS SOPS 4469 HAS SOUS 20796 HAS SOUPS 4033 WITH SCORE 4059.423
AT ITER 2840 NEW BEST:: SOT 51228 SOS 26309 HAS SOPS 4379 HAS SOUS 20756 HAS SOUPS 3993 WITH SCORE 4019.309
AT ITER 2852 NEW BEST:: SOT 51209 SOS 26281 HAS SOPS 4351 HAS SOUS 20745 HAS SOUPS 3974 WITH SCORE 4000.281
AT ITER 2856 NEW BEST:: SOT 51214 SOS 26278 HAS SOPS 4344 HAS SOUS 20738 HAS SOUPS 3967 WITH SCORE 3993.278
AT ITER 2933 NEW BEST:: SOT 51214 SOS 26252 HAS SOPS 4344 HAS SOUS 20633 HAS SOUPS 3967 WITH SCORE 3993.252
AT ITER 3004 NEW BEST:: SOT 51214 SOS 26234 HAS SOPS 4344 HAS SOUS 20633 HAS SOUPS 3967 WITH SCORE 3993.234
AT ITER 3024 NEW BEST:: SOT 51210 SOS 26215 HAS SOPS 4334 HAS SOUS 20625 HAS SOUPS 3957 WITH SCORE 3983.215
AT ITER 3026 NEW BEST:: SOT 51210 SOS 26093 HAS SOPS 4334 HAS SOUS 20946 HAS SOUPS 3957 WITH SCORE 3983.093
AT ITER 3040 NEW BEST:: SOT 51210 SOS 26070 HAS SOPS 4334 HAS SOUS 20940 HAS SOUPS 3957 WITH SCORE 3983.07
AT ITER 3048 NEW BEST:: SOT 51210 SOS 26055 HAS SOPS 4334 HAS SOUS 20892 HAS SOUPS 3957 WITH SCORE 3983.055
AT ITER 3054 NEW BEST:: SOT 51208 SOS 26053 HAS SOPS 4328 HAS SOUS 20890 HAS SOUPS 3951 WITH SCORE 3977.053
AT ITER 3057 NEW BEST:: SOT 51197 SOS 26042 HAS SOPS 4317 HAS SOUS 20879 HAS SOUPS 3940 WITH SCORE 3966.042
AT ITER 3100 NEW BEST:: SOT 51197 SOS 26010 HAS SOPS 4317 HAS SOUS 20807 HAS SOUPS 3940 WITH SCORE 3966.01
AT ITER 3112 NEW BEST:: SOT 51196 SOS 26009 HAS SOPS 4315 HAS SOUS 20806 HAS SOUPS 3939 WITH SCORE 3965.009
AT ITER 3123 NEW BEST:: SOT 51190 SOS 26011 HAS SOPS 4309 HAS SOUS 20808 HAS SOUPS 3933 WITH SCORE 3959.011
AT ITER 3136 NEW BEST:: SOT 51200 SOS 26021 HAS SOPS 4292 HAS SOUS 20791 HAS SOUPS 3916 WITH SCORE 3942.021
AT ITER 3142 NEW BEST:: SOT 51196 SOS 26009 HAS SOPS 4288 HAS SOUS 20782 HAS SOUPS 3916 WITH SCORE 3942.009
AT ITER 3154 NEW BEST:: SOT 51196 SOS 25995 HAS SOPS 4288 HAS SOUS 20715 HAS SOUPS 3916 WITH SCORE 3941.995
AT ITER 3155 NEW BEST:: SOT 51162 SOS 25954 HAS SOPS 4262 HAS SOUS 20679 HAS SOUPS 3890 WITH SCORE 3915.954
AT ITER 3160 NEW BEST:: SOT 51162 SOS 25947 HAS SOPS 4262 HAS SOUS 20677 HAS SOUPS 3890 WITH SCORE 3915.947
AT ITER 3161 NEW BEST:: SOT 51162 SOS 25940 HAS SOPS 4262 HAS SOUS 20504 HAS SOUPS 3890 WITH SCORE 3915.94
AT ITER 3211 NEW BEST:: SOT 51162 SOS 25930 HAS SOPS 4262 HAS SOUS 20509 HAS SOUPS 3890 WITH SCORE 3915.93
AT ITER 3219 NEW BEST:: SOT 51162 SOS 25928 HAS SOPS 4262 HAS SOUS 20509 HAS SOUPS 3890 WITH SCORE 3915.928
AT ITER 3227 NEW BEST:: SOT 51159 SOS 25922 HAS SOPS 4259 HAS SOUS 20506 HAS SOUPS 3890 WITH SCORE 3915.922
AT ITER 3246 NEW BEST:: SOT 51159 SOS 25895 HAS SOPS 4259 HAS SOUS 20500 HAS SOUPS 3890 WITH SCORE 3915.895
AT ITER 3339 NEW BEST:: SOT 51155 SOS 25893 HAS SOPS 4255 HAS SOUS 20496 HAS SOUPS 3886 WITH SCORE 3911.893
AT ITER 3385 NEW BEST:: SOT 51147 SOS 25866 HAS SOPS 4247 HAS SOUS 20438 HAS SOUPS 3886 WITH SCORE 3911.866
AT ITER 3399 NEW BEST:: SOT 51130 SOS 25845 HAS SOPS 4232 HAS SOUS 20431 HAS SOUPS 3871 WITH SCORE 3896.845
AT ITER 3400 NEW BEST:: SOT 51130 SOS 25842 HAS SOPS 4232 HAS SOUS 20431 HAS SOUPS 3871 WITH SCORE 3896.842
AT ITER 3459 NEW BEST:: SOT 51130 SOS 25482 HAS SOPS 4232 HAS SOUS 20421 HAS SOUPS 3871 WITH SCORE 3896.482
AT ITER 3461 NEW BEST:: SOT 51107 SOS 25463 HAS SOPS 4213 HAS SOUS 20416 HAS SOUPS 3866 WITH SCORE 3891.463
AT ITER 3462 NEW BEST:: SOT 51107 SOS 25450 HAS SOPS 4213 HAS SOUS 20413 HAS SOUPS 3866 WITH SCORE 3891.45
AT ITER 3464 NEW BEST:: SOT 51092 SOS 25547 HAS SOPS 4207 HAS SOUS 20361 HAS SOUPS 3839 WITH SCORE 3864.547
AT ITER 3487 NEW BEST:: SOT 51092 SOS 25541 HAS SOPS 4207 HAS SOUS 20358 HAS SOUPS 3839 WITH SCORE 3864.541
AT ITER 3492 NEW BEST:: SOT 51084 SOS 25531 HAS SOPS 4199 HAS SOUS 20349 HAS SOUPS 3831 WITH SCORE 3856.531
AT ITER 3537 NEW BEST:: SOT 51074 SOS 25513 HAS SOPS 4189 HAS SOUS 20331 HAS SOUPS 3821 WITH SCORE 3846.513
AT ITER 3547 NEW BEST:: SOT 51074 SOS 25501 HAS SOPS 4189 HAS SOUS 20331 HAS SOUPS 3821 WITH SCORE 3846.501
AT ITER 3600 NEW BEST:: SOT 51074 SOS 25495 HAS SOPS 4189 HAS SOUS 20323 HAS SOUPS 3821 WITH SCORE 3846.495
AT ITER 3653 NEW BEST:: SOT 51074 SOS 25494 HAS SOPS 4188 HAS SOUS 20323 HAS SOUPS 3821 WITH SCORE 3846.494
AT ITER 3682 NEW BEST:: SOT 51074 SOS 25459 HAS SOPS 4188 HAS SOUS 19717 HAS SOUPS 3821 WITH SCORE 3846.459
AT ITER 3690 NEW BEST:: SOT 51074 SOS 25459 HAS SOPS 4182 HAS SOUS 19715 HAS SOUPS 3815 WITH SCORE 3840.459
AT ITER 3736 NEW BEST:: SOT 51074 SOS 25371 HAS SOPS 4182 HAS SOUS 19704 HAS SOUPS 3815 WITH SCORE 3840.371
AT ITER 3748 NEW BEST:: SOT 51070 SOS 25365 HAS SOPS 4176 HAS SOUS 19698 HAS SOUPS 3809 WITH SCORE 3834.365
AT ITER 3772 NEW BEST:: SOT 51074 SOS 25445 HAS SOPS 4150 HAS SOUS 19714 HAS SOUPS 3784 WITH SCORE 3809.445
AT ITER 3793 NEW BEST:: SOT 51074 SOS 25398 HAS SOPS 4150 HAS SOUS 19768 HAS SOUPS 3784 WITH SCORE 3809.398
AT ITER 3798 NEW BEST:: SOT 51069 SOS 25358 HAS SOPS 4145 HAS SOUS 19758 HAS SOUPS 3784 WITH SCORE 3809.358
AT ITER 3811 NEW BEST:: SOT 51049 SOS 24846 HAS SOPS 4125 HAS SOUS 19663 HAS SOUPS 3764 WITH SCORE 3788.846
AT ITER 3818 NEW BEST:: SOT 51051 SOS 24871 HAS SOPS 4142 HAS SOUS 19670 HAS SOUPS 3763 WITH SCORE 3787.871
AT ITER 3898 NEW BEST:: SOT 51051 SOS 24819 HAS SOPS 4142 HAS SOUS 19786 HAS SOUPS 3763 WITH SCORE 3787.819
AT ITER 3899 NEW BEST:: SOT 51051 SOS 24763 HAS SOPS 4142 HAS SOUS 19739 HAS SOUPS 3763 WITH SCORE 3787.763
AT ITER 3916 NEW BEST:: SOT 51037 SOS 24674 HAS SOPS 4128 HAS SOUS 19217 HAS SOUPS 3749 WITH SCORE 3773.674
AT ITER 3940 NEW BEST:: SOT 51039 SOS 24682 HAS SOPS 4124 HAS SOUS 19244 HAS SOUPS 3747 WITH SCORE 3771.682
AT ITER 3947 NEW BEST:: SOT 51039 SOS 24679 HAS SOPS 4124 HAS SOUS 19259 HAS SOUPS 3747 WITH SCORE 3771.679
AT ITER 3951 NEW BEST:: SOT 51041 SOS 24659 HAS SOPS 4124 HAS SOUS 19254 HAS SOUPS 3747 WITH SCORE 3771.659
AT ITER 3962 NEW BEST:: SOT 51031 SOS 24639 HAS SOPS 4104 HAS SOUS 19234 HAS SOUPS 3727 WITH SCORE 3751.639
AT ITER 3964 NEW BEST:: SOT 51031 SOS 24622 HAS SOPS 4104 HAS SOUS 19234 HAS SOUPS 3727 WITH SCORE 3751.622
AT ITER 4017 NEW BEST:: SOT 51023 SOS 24616 HAS SOPS 4094 HAS SOUS 19223 HAS SOUPS 3717 WITH SCORE 3741.616
AT ITER 4030 NEW BEST:: SOT 51023 SOS 24614 HAS SOPS 4088 HAS SOUS 19230 HAS SOUPS 3711 WITH SCORE 3735.614
AT ITER 4037 NEW BEST:: SOT 51023 SOS 24609 HAS SOPS 4088 HAS SOUS 19178 HAS SOUPS 3711 WITH SCORE 3735.609
AT ITER 4050 NEW BEST:: SOT 51023 SOS 24607 HAS SOPS 4088 HAS SOUS 19178 HAS SOUPS 3711 WITH SCORE 3735.607
AT ITER 4133 NEW BEST:: SOT 51023 SOS 24551 HAS SOPS 4088 HAS SOUS 19155 HAS SOUPS 3711 WITH SCORE 3735.551
AT ITER 4134 NEW BEST:: SOT 51026 SOS 24562 HAS SOPS 4091 HAS SOUS 19409 HAS SOUPS 3706 WITH SCORE 3730.562
AT ITER 4152 NEW BEST:: SOT 51026 SOS 24534 HAS SOPS 4067 HAS SOUS 19387 HAS SOUPS 3688 WITH SCORE 3712.534
AT ITER 4167 NEW BEST:: SOT 51022 SOS 24575 HAS SOPS 4063 HAS SOUS 19244 HAS SOUPS 3685 WITH SCORE 3709.575
AT ITER 4178 NEW BEST:: SOT 51021 SOS 24574 HAS SOPS 4062 HAS SOUS 19242 HAS SOUPS 3684 WITH SCORE 3708.574
AT ITER 4333 NEW BEST:: SOT 51025 SOS 24570 HAS SOPS 4054 HAS SOUS 19246 HAS SOUPS 3676 WITH SCORE 3700.57
AT ITER 4335 NEW BEST:: SOT 51048 SOS 24595 HAS SOPS 4053 HAS SOUS 19266 HAS SOUPS 3666 WITH SCORE 3690.595
AT ITER 4452 NEW BEST:: SOT 51048 SOS 24610 HAS SOPS 4043 HAS SOUS 19308 HAS SOUPS 3656 WITH SCORE 3680.61
AT ITER 4461 NEW BEST:: SOT 51062 SOS 24656 HAS SOPS 4057 HAS SOUS 19322 HAS SOUPS 3654 WITH SCORE 3678.656
AT ITER 4507 NEW BEST:: SOT 51062 SOS 24629 HAS SOPS 4030 HAS SOUS 19340 HAS SOUPS 3636 WITH SCORE 3660.629
AT ITER 4518 NEW BEST:: SOT 51069 SOS 24636 HAS SOPS 4023 HAS SOUS 19339 HAS SOUPS 3628 WITH SCORE 3652.636
AT ITER 4535 NEW BEST:: SOT 51066 SOS 24632 HAS SOPS 4021 HAS SOUS 19339 HAS SOUPS 3626 WITH SCORE 3650.632
AT ITER 4623 NEW BEST:: SOT 51066 SOS 24664 HAS SOPS 4015 HAS SOUS 19361 HAS SOUPS 3622 WITH SCORE 3646.664
AT ITER 4665 NEW BEST:: SOT 51066 SOS 24718 HAS SOPS 4006 HAS SOUS 19391 HAS SOUPS 3616 WITH SCORE 3640.718
AT ITER 4676 NEW BEST:: SOT 51066 SOS 24660 HAS SOPS 4006 HAS SOUS 19385 HAS SOUPS 3616 WITH SCORE 3640.66
AT ITER 4796 NEW BEST:: SOT 51066 SOS 24653 HAS SOPS 4006 HAS SOUS 19335 HAS SOUPS 3616 WITH SCORE 3640.653
AT ITER 4815 NEW BEST:: SOT 51066 SOS 24579 HAS SOPS 4006 HAS SOUS 19290 HAS SOUPS 3616 WITH SCORE 3640.579
AT ITER 4851 NEW BEST:: SOT 51067 SOS 24581 HAS SOPS 4005 HAS SOUS 19291 HAS SOUPS 3615 WITH SCORE 3639.581
AT ITER 4939 NEW BEST:: SOT 51067 SOS 24450 HAS SOPS 4005 HAS SOUS 19373 HAS SOUPS 3615 WITH SCORE 3639.45
AT ITER 5025 NEW BEST:: SOT 51067 SOS 24449 HAS SOPS 4001 HAS SOUS 19369 HAS SOUPS 3611 WITH SCORE 3635.449
AT ITER 5038 NEW BEST:: SOT 51059 SOS 24428 HAS SOPS 3985 HAS SOUS 19356 HAS SOUPS 3603 WITH SCORE 3627.428
AT ITER 5045 NEW BEST:: SOT 51059 SOS 24426 HAS SOPS 3985 HAS SOUS 19356 HAS SOUPS 3603 WITH SCORE 3627.426
AT ITER 5050 NEW BEST:: SOT 51059 SOS 24405 HAS SOPS 3964 HAS SOUS 19351 HAS SOUPS 3589 WITH SCORE 3613.405
AT ITER 5063 NEW BEST:: SOT 51048 SOS 24394 HAS SOPS 3955 HAS SOUS 19361 HAS SOUPS 3589 WITH SCORE 3613.394
AT ITER 5065 NEW BEST:: SOT 51046 SOS 24388 HAS SOPS 3955 HAS SOUS 19357 HAS SOUPS 3589 WITH SCORE 3613.388
AT ITER 5080 NEW BEST:: SOT 51046 SOS 24560 HAS SOPS 3953 HAS SOUS 19521 HAS SOUPS 3587 WITH SCORE 3611.56
AT ITER 5155 NEW BEST:: SOT 51046 SOS 24493 HAS SOPS 3953 HAS SOUS 19531 HAS SOUPS 3587 WITH SCORE 3611.493
AT ITER 5165 NEW BEST:: SOT 51047 SOS 24494 HAS SOPS 3942 HAS SOUS 19520 HAS SOUPS 3576 WITH SCORE 3600.494
AT ITER 5169 NEW BEST:: SOT 51047 SOS 24439 HAS SOPS 3942 HAS SOUS 19568 HAS SOUPS 3576 WITH SCORE 3600.439
AT ITER 5287 NEW BEST:: SOT 51047 SOS 24417 HAS SOPS 3942 HAS SOUS 19538 HAS SOUPS 3576 WITH SCORE 3600.417
AT ITER 5307 NEW BEST:: SOT 51039 SOS 24407 HAS SOPS 3932 HAS SOUS 19530 HAS SOUPS 3568 WITH SCORE 3592.407
AT ITER 5400 NEW BEST:: SOT 51039 SOS 24392 HAS SOPS 3932 HAS SOUS 19436 HAS SOUPS 3568 WITH SCORE 3592.392
AT ITER 5411 NEW BEST:: SOT 51039 SOS 24388 HAS SOPS 3932 HAS SOUS 19436 HAS SOUPS 3568 WITH SCORE 3592.388
AT ITER 5431 NEW BEST:: SOT 51039 SOS 24314 HAS SOPS 3932 HAS SOUS 19344 HAS SOUPS 3568 WITH SCORE 3592.314
AT ITER 5452 NEW BEST:: SOT 51024 SOS 24295 HAS SOPS 3917 HAS SOUS 19329 HAS SOUPS 3557 WITH SCORE 3581.295
AT ITER 5464 NEW BEST:: SOT 51024 SOS 24281 HAS SOPS 3917 HAS SOUS 19343 HAS SOUPS 3557 WITH SCORE 3581.281
AT ITER 5523 NEW BEST:: SOT 51024 SOS 24214 HAS SOPS 3848 HAS SOUS 19336 HAS SOUPS 3511 WITH SCORE 3535.214
AT ITER 5559 NEW BEST:: SOT 51025 SOS 24210 HAS SOPS 3819 HAS SOUS 19342 HAS SOUPS 3492 WITH SCORE 3516.21
AT ITER 5578 NEW BEST:: SOT 50951 SOS 24099 HAS SOPS 3719 HAS SOUS 19247 HAS SOUPS 3423 WITH SCORE 3447.099
AT ITER 5581 NEW BEST:: SOT 50975 SOS 24081 HAS SOPS 3699 HAS SOUS 19334 HAS SOUPS 3410 WITH SCORE 3434.081
AT ITER 5607 NEW BEST:: SOT 50975 SOS 24072 HAS SOPS 3699 HAS SOUS 19280 HAS SOUPS 3410 WITH SCORE 3434.072
AT ITER 5681 NEW BEST:: SOT 50972 SOS 24069 HAS SOPS 3696 HAS SOUS 19277 HAS SOUPS 3407 WITH SCORE 3431.069
AT ITER 5723 NEW BEST:: SOT 50972 SOS 24065 HAS SOPS 3696 HAS SOUS 19273 HAS SOUPS 3407 WITH SCORE 3431.065
AT ITER 5795 NEW BEST:: SOT 50972 SOS 23983 HAS SOPS 3696 HAS SOUS 19262 HAS SOUPS 3407 WITH SCORE 3430.983
AT ITER 5797 NEW BEST:: SOT 50972 SOS 23980 HAS SOPS 3696 HAS SOUS 19259 HAS SOUPS 3407 WITH SCORE 3430.98
AT ITER 5841 NEW BEST:: SOT 50964 SOS 23965 HAS SOPS 3686 HAS SOUS 19258 HAS SOUPS 3397 WITH SCORE 3420.965
AT ITER 5873 NEW BEST:: SOT 50964 SOS 23964 HAS SOPS 3686 HAS SOUS 19251 HAS SOUPS 3397 WITH SCORE 3420.964
AT ITER 5899 NEW BEST:: SOT 50964 SOS 23918 HAS SOPS 3686 HAS SOUS 18752 HAS SOUPS 3397 WITH SCORE 3420.918
AT ITER 5905 NEW BEST:: SOT 50964 SOS 23912 HAS SOPS 3678 HAS SOUS 18752 HAS SOUPS 3393 WITH SCORE 3416.912
AT ITER 5912 NEW BEST:: SOT 50948 SOS 23896 HAS SOPS 3662 HAS SOUS 18736 HAS SOUPS 3377 WITH SCORE 3400.896
AT ITER 5958 NEW BEST:: SOT 50936 SOS 23884 HAS SOPS 3650 HAS SOUS 18710 HAS SOUPS 3365 WITH SCORE 3388.884
AT ITER 5989 NEW BEST:: SOT 50932 SOS 23881 HAS SOPS 3646 HAS SOUS 18707 HAS SOUPS 3361 WITH SCORE 3384.881
AT ITER 6079 NEW BEST:: SOT 50970 SOS 23908 HAS SOPS 3636 HAS SOUS 18726 HAS SOUPS 3359 WITH SCORE 3382.908
AT ITER 6090 NEW BEST:: SOT 50968 SOS 23905 HAS SOPS 3632 HAS SOUS 18721 HAS SOUPS 3355 WITH SCORE 3378.905
AT ITER 6159 NEW BEST:: SOT 50967 SOS 23904 HAS SOPS 3631 HAS SOUS 18721 HAS SOUPS 3355 WITH SCORE 3378.904
AT ITER 6235 NEW BEST:: SOT 50966 SOS 23905 HAS SOPS 3630 HAS SOUS 18721 HAS SOUPS 3354 WITH SCORE 3377.905
AT ITER 6310 NEW BEST:: SOT 50958 SOS 23897 HAS SOPS 3622 HAS SOUS 18711 HAS SOUPS 3346 WITH SCORE 3369.897
AT ITER 6313 NEW BEST:: SOT 50958 SOS 23903 HAS SOPS 3614 HAS SOUS 18723 HAS SOUPS 3338 WITH SCORE 3361.903
AT ITER 6377 NEW BEST:: SOT 50958 SOS 23890 HAS SOPS 3598 HAS SOUS 18786 HAS SOUPS 3330 WITH SCORE 3353.89
AT ITER 6437 NEW BEST:: SOT 50958 SOS 23874 HAS SOPS 3598 HAS SOUS 18780 HAS SOUPS 3330 WITH SCORE 3353.874
AT ITER 6455 NEW BEST:: SOT 50958 SOS 23822 HAS SOPS 3598 HAS SOUS 18513 HAS SOUPS 3330 WITH SCORE 3353.822
AT ITER 6780 NEW BEST:: SOT 50958 SOS 23756 HAS SOPS 3598 HAS SOUS 18444 HAS SOUPS 3330 WITH SCORE 3353.756
AT ITER 6910 NEW BEST:: SOT 50962 SOS 23779 HAS SOPS 3602 HAS SOUS 18454 HAS SOUPS 3329 WITH SCORE 3352.779
AT ITER 7036 NEW BEST:: SOT 50962 SOS 23771 HAS SOPS 3602 HAS SOUS 18494 HAS SOUPS 3329 WITH SCORE 3352.771
AT ITER 7050 NEW BEST:: SOT 50962 SOS 23759 HAS SOPS 3602 HAS SOUS 18491 HAS SOUPS 3329 WITH SCORE 3352.759
AT ITER 7197 NEW BEST:: SOT 50966 SOS 23751 HAS SOPS 3594 HAS SOUS 18487 HAS SOUPS 3321 WITH SCORE 3344.751
AT ITER 7199 NEW BEST:: SOT 50973 SOS 23731 HAS SOPS 3568 HAS SOUS 18563 HAS SOUPS 3306 WITH SCORE 3329.731
AT ITER 7203 NEW BEST:: SOT 50978 SOS 23761 HAS SOPS 3564 HAS SOUS 18579 HAS SOUPS 3305 WITH SCORE 3328.761
AT ITER 7325 NEW BEST:: SOT 50978 SOS 23754 HAS SOPS 3564 HAS SOUS 18583 HAS SOUPS 3305 WITH SCORE 3328.754
AT ITER 7448 NEW BEST:: SOT 50978 SOS 23750 HAS SOPS 3564 HAS SOUS 18583 HAS SOUPS 3305 WITH SCORE 3328.75
AT ITER 7500 NEW BEST:: SOT 50982 SOS 23864 HAS SOPS 3553 HAS SOUS 18619 HAS SOUPS 3299 WITH SCORE 3322.864
AT ITER 7570 NEW BEST:: SOT 50982 SOS 23870 HAS SOPS 3559 HAS SOUS 18622 HAS SOUPS 3297 WITH SCORE 3320.87
AT ITER 7634 NEW BEST:: SOT 50982 SOS 23862 HAS SOPS 3559 HAS SOUS 18628 HAS SOUPS 3297 WITH SCORE 3320.862
AT ITER 7668 NEW BEST:: SOT 50987 SOS 23876 HAS SOPS 3556 HAS SOUS 18724 HAS SOUPS 3294 WITH SCORE 3317.876
AT ITER 7706 NEW BEST:: SOT 50987 SOS 23909 HAS SOPS 3550 HAS SOUS 18774 HAS SOUPS 3288 WITH SCORE 3311.909
AT ITER 7719 NEW BEST:: SOT 50987 SOS 23907 HAS SOPS 3550 HAS SOUS 18772 HAS SOUPS 3288 WITH SCORE 3311.907
AT ITER 7721 NEW BEST:: SOT 50987 SOS 23892 HAS SOPS 3550 HAS SOUS 18781 HAS SOUPS 3288 WITH SCORE 3311.892
AT ITER 7797 NEW BEST:: SOT 50987 SOS 23903 HAS SOPS 3550 HAS SOUS 18790 HAS SOUPS 3286 WITH SCORE 3309.903
AT ITER 7843 NEW BEST:: SOT 50999 SOS 23948 HAS SOPS 3562 HAS SOUS 18806 HAS SOUPS 3284 WITH SCORE 3307.948
AT ITER 7851 NEW BEST:: SOT 50998 SOS 23947 HAS SOPS 3561 HAS SOUS 18798 HAS SOUPS 3276 WITH SCORE 3299.947
AT ITER 7864 NEW BEST:: SOT 50998 SOS 23932 HAS SOPS 3546 HAS SOUS 18795 HAS SOUPS 3267 WITH SCORE 3290.932
AT ITER 7876 NEW BEST:: SOT 50998 SOS 23929 HAS SOPS 3546 HAS SOUS 18788 HAS SOUPS 3267 WITH SCORE 3290.929
AT ITER 7962 NEW BEST:: SOT 50993 SOS 23923 HAS SOPS 3545 HAS SOUS 18787 HAS SOUPS 3266 WITH SCORE 3289.923
AT ITER 8006 NEW BEST:: SOT 50993 SOS 23917 HAS SOPS 3545 HAS SOUS 18787 HAS SOUPS 3266 WITH SCORE 3289.917
AT ITER 8054 NEW BEST:: SOT 50970 SOS 23896 HAS SOPS 3541 HAS SOUS 18766 HAS SOUPS 3262 WITH SCORE 3285.896
AT ITER 8109 NEW BEST:: SOT 50971 SOS 23897 HAS SOPS 3542 HAS SOUS 18764 HAS SOUPS 3260 WITH SCORE 3283.897
AT ITER 8227 NEW BEST:: SOT 50971 SOS 23897 HAS SOPS 3542 HAS SOUS 18763 HAS SOUPS 3259 WITH SCORE 3282.897
AT ITER 8293 NEW BEST:: SOT 50965 SOS 23855 HAS SOPS 3536 HAS SOUS 18744 HAS SOUPS 3258 WITH SCORE 3281.855
AT ITER 8390 NEW BEST:: SOT 50961 SOS 23851 HAS SOPS 3532 HAS SOUS 18740 HAS SOUPS 3254 WITH SCORE 3277.851
AT ITER 8432 NEW BEST:: SOT 50960 SOS 23848 HAS SOPS 3531 HAS SOUS 18734 HAS SOUPS 3253 WITH SCORE 3276.848
AT ITER 8438 NEW BEST:: SOT 50960 SOS 23844 HAS SOPS 3527 HAS SOUS 18730 HAS SOUPS 3249 WITH SCORE 3272.844
AT ITER 8631 NEW BEST:: SOT 50960 SOS 23787 HAS SOPS 3527 HAS SOUS 18749 HAS SOUPS 3249 WITH SCORE 3272.787
AT ITER 8663 NEW BEST:: SOT 50955 SOS 23774 HAS SOPS 3518 HAS SOUS 18738 HAS SOUPS 3241 WITH SCORE 3264.774
AT ITER 8681 NEW BEST:: SOT 50953 SOS 23805 HAS SOPS 3516 HAS SOUS 18747 HAS SOUPS 3239 WITH SCORE 3262.805
AT ITER 8711 NEW BEST:: SOT 50946 SOS 23792 HAS SOPS 3516 HAS SOUS 18734 HAS SOUPS 3239 WITH SCORE 3262.792
AT ITER 8739 NEW BEST:: SOT 50946 SOS 23756 HAS SOPS 3516 HAS SOUS 18707 HAS SOUPS 3239 WITH SCORE 3262.756
AT ITER 8808 NEW BEST:: SOT 50944 SOS 23748 HAS SOPS 3508 HAS SOUS 18703 HAS SOUPS 3235 WITH SCORE 3258.748
AT ITER 8818 NEW BEST:: SOT 50942 SOS 23746 HAS SOPS 3506 HAS SOUS 18701 HAS SOUPS 3235 WITH SCORE 3258.746
AT ITER 8848 NEW BEST:: SOT 50942 SOS 23713 HAS SOPS 3506 HAS SOUS 18654 HAS SOUPS 3235 WITH SCORE 3258.713
AT ITER 8866 NEW BEST:: SOT 50944 SOS 23715 HAS SOPS 3508 HAS SOUS 18648 HAS SOUPS 3229 WITH SCORE 3252.715
AT ITER 8945 NEW BEST:: SOT 50944 SOS 23709 HAS SOPS 3508 HAS SOUS 18648 HAS SOUPS 3229 WITH SCORE 3252.709
AT ITER 9249 NEW BEST:: SOT 50939 SOS 23704 HAS SOPS 3503 HAS SOUS 18643 HAS SOUPS 3224 WITH SCORE 3247.704
AT ITER 9271 NEW BEST:: SOT 50934 SOS 23699 HAS SOPS 3498 HAS SOUS 18638 HAS SOUPS 3219 WITH SCORE 3242.699
AT ITER 9410 NEW BEST:: SOT 50940 SOS 23704 HAS SOPS 3504 HAS SOUS 18620 HAS SOUPS 3214 WITH SCORE 3237.704
AT ITER 9584 NEW BEST:: SOT 50942 SOS 23713 HAS SOPS 3506 HAS SOUS 18622 HAS SOUPS 3210 WITH SCORE 3233.713
AT ITER 9745 NEW BEST:: SOT 50942 SOS 23678 HAS SOPS 3506 HAS SOUS 18571 HAS SOUPS 3210 WITH SCORE 3233.678
AT ITER 9749 NEW BEST:: SOT 50940 SOS 23672 HAS SOPS 3507 HAS SOUS 18552 HAS SOUPS 3210 WITH SCORE 3233.672
AT ITER 9878 NEW BEST:: SOT 50940 SOS 23652 HAS SOPS 3507 HAS SOUS 18547 HAS SOUPS 3210 WITH SCORE 3233.652
STATE_SPACE STATES 27021597764222976 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 104 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 846430439341031424 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590410375971

--------------------
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="EGFr-PT-10421"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is EGFr-PT-10421, 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 r190-csrt-159033383200760"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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