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.r131-smll-167819408200664.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 EGFr-PT-10421, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819408200664
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 7.3K Feb 25 19:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 19:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K Feb 25 19:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 25 19:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 20:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 20:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 21K Feb 25 20:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 25 20:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw------- 1 mcc users 672K 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 1679986634180

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=EGFr-PT-10421
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EGFr (PT), instance 10421
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: 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 4 NEW BEST:: SOT 52693 SOS 27197 HAS SOPS 7627 HAS SOUS 23180 HAS SOUPS 6918 WITH SCORE 6945.197
AT ITER 9 NEW BEST:: SOT 52649 SOS 27287 HAS SOPS 7598 HAS SOUS 23234 HAS SOUPS 6887 WITH SCORE 6914.287
AT ITER 13 NEW BEST:: SOT 52649 SOS 27284 HAS SOPS 7598 HAS SOUS 23231 HAS SOUPS 6887 WITH SCORE 6914.284
AT ITER 18 NEW BEST:: SOT 52649 SOS 27891 HAS SOPS 7552 HAS SOUS 23249 HAS SOUPS 6841 WITH SCORE 6868.891
AT ITER 22 NEW BEST:: SOT 52595 SOS 27787 HAS SOPS 7498 HAS SOUS 23145 HAS SOUPS 6787 WITH SCORE 6814.787
AT ITER 48 NEW BEST:: SOT 52522 SOS 27757 HAS SOPS 7416 HAS SOUS 23093 HAS SOUPS 6705 WITH SCORE 6732.757
AT ITER 49 NEW BEST:: SOT 52522 SOS 27663 HAS SOPS 7242 HAS SOUS 23089 HAS SOUPS 6586 WITH SCORE 6613.663
AT ITER 86 NEW BEST:: SOT 52522 SOS 27834 HAS SOPS 7110 HAS SOUS 23051 HAS SOUPS 6498 WITH SCORE 6525.834
AT ITER 92 NEW BEST:: SOT 52531 SOS 27840 HAS SOPS 7111 HAS SOUS 23050 HAS SOUPS 6492 WITH SCORE 6519.84
AT ITER 105 NEW BEST:: SOT 52477 SOS 27966 HAS SOPS 7057 HAS SOUS 23064 HAS SOUPS 6438 WITH SCORE 6465.966
AT ITER 114 NEW BEST:: SOT 52397 SOS 28078 HAS SOPS 6969 HAS SOUS 23053 HAS SOUPS 6350 WITH SCORE 6378.078
AT ITER 116 NEW BEST:: SOT 52397 SOS 27876 HAS SOPS 6969 HAS SOUS 23101 HAS SOUPS 6350 WITH SCORE 6377.876
AT ITER 121 NEW BEST:: SOT 52363 SOS 27870 HAS SOPS 6913 HAS SOUS 23108 HAS SOUPS 6312 WITH SCORE 6339.87
AT ITER 128 NEW BEST:: SOT 52315 SOS 27798 HAS SOPS 6841 HAS SOUS 23036 HAS SOUPS 6240 WITH SCORE 6267.798
AT ITER 135 NEW BEST:: SOT 52314 SOS 27795 HAS SOPS 6834 HAS SOUS 23030 HAS SOUPS 6233 WITH SCORE 6260.795
AT ITER 139 NEW BEST:: SOT 52247 SOS 27794 HAS SOPS 6751 HAS SOUS 23026 HAS SOUPS 6123 WITH SCORE 6150.794
AT ITER 146 NEW BEST:: SOT 52247 SOS 27761 HAS SOPS 6706 HAS SOUS 23095 HAS SOUPS 6093 WITH SCORE 6120.761
AT ITER 149 NEW BEST:: SOT 52148 SOS 27665 HAS SOPS 6607 HAS SOUS 22881 HAS SOUPS 5994 WITH SCORE 6021.665
AT ITER 184 NEW BEST:: SOT 52148 SOS 27662 HAS SOPS 6607 HAS SOUS 22881 HAS SOUPS 5994 WITH SCORE 6021.662
AT ITER 203 NEW BEST:: SOT 52148 SOS 27641 HAS SOPS 6607 HAS SOUS 22839 HAS SOUPS 5994 WITH SCORE 6021.641
AT ITER 205 NEW BEST:: SOT 52139 SOS 27623 HAS SOPS 6598 HAS SOUS 22829 HAS SOUPS 5993 WITH SCORE 6020.623
AT ITER 217 NEW BEST:: SOT 52139 SOS 27582 HAS SOPS 6598 HAS SOUS 22832 HAS SOUPS 5993 WITH SCORE 6020.582
AT ITER 230 NEW BEST:: SOT 52139 SOS 27567 HAS SOPS 6558 HAS SOUS 22924 HAS SOUPS 5953 WITH SCORE 5980.567
AT ITER 233 NEW BEST:: SOT 52142 SOS 27546 HAS SOPS 6546 HAS SOUS 22918 HAS SOUPS 5943 WITH SCORE 5970.546
AT ITER 236 NEW BEST:: SOT 52140 SOS 27550 HAS SOPS 6544 HAS SOUS 22918 HAS SOUPS 5941 WITH SCORE 5968.55
AT ITER 257 NEW BEST:: SOT 52128 SOS 27538 HAS SOPS 6488 HAS SOUS 22895 HAS SOUPS 5885 WITH SCORE 5912.538
AT ITER 281 NEW BEST:: SOT 52123 SOS 27543 HAS SOPS 6468 HAS SOUS 22885 HAS SOUPS 5865 WITH SCORE 5892.543
AT ITER 299 NEW BEST:: SOT 52098 SOS 27482 HAS SOPS 6407 HAS SOUS 22805 HAS SOUPS 5785 WITH SCORE 5812.482
AT ITER 315 NEW BEST:: SOT 52043 SOS 27449 HAS SOPS 6522 HAS SOUS 22740 HAS SOUPS 5765 WITH SCORE 5792.449
AT ITER 331 NEW BEST:: SOT 52039 SOS 27448 HAS SOPS 6518 HAS SOUS 22734 HAS SOUPS 5761 WITH SCORE 5788.448
AT ITER 349 NEW BEST:: SOT 52039 SOS 27227 HAS SOPS 6518 HAS SOUS 22616 HAS SOUPS 5761 WITH SCORE 5788.227
AT ITER 367 NEW BEST:: SOT 52039 SOS 27218 HAS SOPS 6512 HAS SOUS 22616 HAS SOUPS 5761 WITH SCORE 5788.218
AT ITER 402 NEW BEST:: SOT 52039 SOS 27579 HAS SOPS 6503 HAS SOUS 22740 HAS SOUPS 5755 WITH SCORE 5782.579
AT ITER 408 NEW BEST:: SOT 51941 SOS 27403 HAS SOPS 6327 HAS SOUS 22564 HAS SOUPS 5579 WITH SCORE 5606.403
AT ITER 430 NEW BEST:: SOT 51925 SOS 27383 HAS SOPS 6311 HAS SOUS 22540 HAS SOUPS 5563 WITH SCORE 5590.383
AT ITER 443 NEW BEST:: SOT 51925 SOS 27905 HAS SOPS 6151 HAS SOUS 22706 HAS SOUPS 5403 WITH SCORE 5430.905
AT ITER 483 NEW BEST:: SOT 51907 SOS 28012 HAS SOPS 6133 HAS SOUS 22519 HAS SOUPS 5385 WITH SCORE 5413.012
AT ITER 484 NEW BEST:: SOT 51907 SOS 27961 HAS SOPS 6133 HAS SOUS 22452 HAS SOUPS 5385 WITH SCORE 5412.961
AT ITER 495 NEW BEST:: SOT 51907 SOS 27929 HAS SOPS 6133 HAS SOUS 22416 HAS SOUPS 5385 WITH SCORE 5412.929
AT ITER 496 NEW BEST:: SOT 51907 SOS 27999 HAS SOPS 6127 HAS SOUS 22418 HAS SOUPS 5379 WITH SCORE 5406.999
AT ITER 539 NEW BEST:: SOT 51907 SOS 28003 HAS SOPS 6125 HAS SOUS 22422 HAS SOUPS 5377 WITH SCORE 5405.003
AT ITER 547 NEW BEST:: SOT 51907 SOS 27961 HAS SOPS 6125 HAS SOUS 22399 HAS SOUPS 5377 WITH SCORE 5404.961
AT ITER 561 NEW BEST:: SOT 51901 SOS 27929 HAS SOPS 6113 HAS SOUS 22365 HAS SOUPS 5365 WITH SCORE 5392.929
AT ITER 563 NEW BEST:: SOT 51901 SOS 27929 HAS SOPS 6113 HAS SOUS 22362 HAS SOUPS 5362 WITH SCORE 5389.929
AT ITER 609 NEW BEST:: SOT 51937 SOS 28305 HAS SOPS 6062 HAS SOUS 22546 HAS SOUPS 5330 WITH SCORE 5358.305
AT ITER 630 NEW BEST:: SOT 51937 SOS 28275 HAS SOPS 6062 HAS SOUS 22546 HAS SOUPS 5330 WITH SCORE 5358.275
AT ITER 635 NEW BEST:: SOT 51900 SOS 28214 HAS SOPS 6001 HAS SOUS 22485 HAS SOUPS 5269 WITH SCORE 5297.214
AT ITER 675 NEW BEST:: SOT 51900 SOS 28211 HAS SOPS 6001 HAS SOUS 22476 HAS SOUPS 5269 WITH SCORE 5297.211
AT ITER 678 NEW BEST:: SOT 51930 SOS 28762 HAS SOPS 5985 HAS SOUS 22652 HAS SOUPS 5253 WITH SCORE 5281.762
AT ITER 683 NEW BEST:: SOT 51930 SOS 28661 HAS SOPS 5985 HAS SOUS 22679 HAS SOUPS 5253 WITH SCORE 5281.661
AT ITER 721 NEW BEST:: SOT 51949 SOS 28772 HAS SOPS 5964 HAS SOUS 22720 HAS SOUPS 5232 WITH SCORE 5260.772
AT ITER 726 NEW BEST:: SOT 51901 SOS 28709 HAS SOPS 5902 HAS SOUS 22662 HAS SOUPS 5170 WITH SCORE 5198.709
AT ITER 729 NEW BEST:: SOT 51901 SOS 28710 HAS SOPS 5894 HAS SOUS 22661 HAS SOUPS 5162 WITH SCORE 5190.71
AT ITER 738 NEW BEST:: SOT 51878 SOS 28592 HAS SOPS 5891 HAS SOUS 22635 HAS SOUPS 5159 WITH SCORE 5187.592
AT ITER 757 NEW BEST:: SOT 51878 SOS 28269 HAS SOPS 5891 HAS SOUS 22505 HAS SOUPS 5159 WITH SCORE 5187.269
AT ITER 766 NEW BEST:: SOT 51874 SOS 28265 HAS SOPS 5887 HAS SOUS 22501 HAS SOUPS 5155 WITH SCORE 5183.265
AT ITER 779 NEW BEST:: SOT 51871 SOS 28262 HAS SOPS 5884 HAS SOUS 22496 HAS SOUPS 5152 WITH SCORE 5180.262
AT ITER 792 NEW BEST:: SOT 51811 SOS 28064 HAS SOPS 5824 HAS SOUS 22400 HAS SOUPS 5092 WITH SCORE 5120.064
AT ITER 816 NEW BEST:: SOT 51811 SOS 28038 HAS SOPS 5799 HAS SOUS 22351 HAS SOUPS 5092 WITH SCORE 5120.038
AT ITER 821 NEW BEST:: SOT 51824 SOS 28141 HAS SOPS 5798 HAS SOUS 22395 HAS SOUPS 5077 WITH SCORE 5105.141
AT ITER 843 NEW BEST:: SOT 51812 SOS 28046 HAS SOPS 5748 HAS SOUS 22394 HAS SOUPS 5059 WITH SCORE 5087.046
AT ITER 860 NEW BEST:: SOT 51812 SOS 27875 HAS SOPS 5748 HAS SOUS 22222 HAS SOUPS 5059 WITH SCORE 5086.875
AT ITER 873 NEW BEST:: SOT 51809 SOS 27892 HAS SOPS 5745 HAS SOUS 22077 HAS SOUPS 5056 WITH SCORE 5083.892
AT ITER 884 NEW BEST:: SOT 51809 SOS 27583 HAS SOPS 5745 HAS SOUS 21979 HAS SOUPS 5056 WITH SCORE 5083.583
AT ITER 904 NEW BEST:: SOT 51823 SOS 27646 HAS SOPS 5759 HAS SOUS 22217 HAS SOUPS 5051 WITH SCORE 5078.646
AT ITER 926 NEW BEST:: SOT 51862 SOS 27564 HAS SOPS 5702 HAS SOUS 22222 HAS SOUPS 5019 WITH SCORE 5046.564
AT ITER 929 NEW BEST:: SOT 51856 SOS 27552 HAS SOPS 5696 HAS SOUS 22216 HAS SOUPS 5019 WITH SCORE 5046.552
AT ITER 939 NEW BEST:: SOT 51851 SOS 27552 HAS SOPS 5695 HAS SOUS 22219 HAS SOUPS 5018 WITH SCORE 5045.552
AT ITER 976 NEW BEST:: SOT 51870 SOS 27713 HAS SOPS 5676 HAS SOUS 22410 HAS SOUPS 4999 WITH SCORE 5026.713
AT ITER 980 NEW BEST:: SOT 51862 SOS 27715 HAS SOPS 5668 HAS SOUS 22418 HAS SOUPS 4991 WITH SCORE 5018.715
AT ITER 981 NEW BEST:: SOT 51862 SOS 27652 HAS SOPS 5668 HAS SOUS 22308 HAS SOUPS 4991 WITH SCORE 5018.652
AT ITER 1000 NEW BEST:: SOT 51862 SOS 27589 HAS SOPS 5668 HAS SOUS 22286 HAS SOUPS 4991 WITH SCORE 5018.589
AT ITER 1039 NEW BEST:: SOT 51867 SOS 27648 HAS SOPS 5673 HAS SOUS 22313 HAS SOUPS 4990 WITH SCORE 5017.648
AT ITER 1064 NEW BEST:: SOT 51847 SOS 27628 HAS SOPS 5653 HAS SOUS 22293 HAS SOUPS 4970 WITH SCORE 4997.628
AT ITER 1076 NEW BEST:: SOT 51845 SOS 27628 HAS SOPS 5651 HAS SOUS 22293 HAS SOUPS 4968 WITH SCORE 4995.628
AT ITER 1079 NEW BEST:: SOT 51863 SOS 27636 HAS SOPS 5650 HAS SOUS 22275 HAS SOUPS 4967 WITH SCORE 4994.636
AT ITER 1107 NEW BEST:: SOT 51878 SOS 27591 HAS SOPS 5605 HAS SOUS 22245 HAS SOUPS 4937 WITH SCORE 4964.591
AT ITER 1113 NEW BEST:: SOT 51878 SOS 27553 HAS SOPS 5605 HAS SOUS 22197 HAS SOUPS 4937 WITH SCORE 4964.553
AT ITER 1125 NEW BEST:: SOT 51879 SOS 27553 HAS SOPS 5603 HAS SOUS 22197 HAS SOUPS 4935 WITH SCORE 4962.553
AT ITER 1169 NEW BEST:: SOT 51879 SOS 27551 HAS SOPS 5601 HAS SOUS 22195 HAS SOUPS 4933 WITH SCORE 4960.551
AT ITER 1237 NEW BEST:: SOT 51885 SOS 27557 HAS SOPS 5587 HAS SOUS 22176 HAS SOUPS 4919 WITH SCORE 4946.557
AT ITER 1242 NEW BEST:: SOT 51885 SOS 27555 HAS SOPS 5585 HAS SOUS 22174 HAS SOUPS 4917 WITH SCORE 4944.555
AT ITER 1251 NEW BEST:: SOT 51885 SOS 28267 HAS SOPS 5581 HAS SOUS 22410 HAS SOUPS 4915 WITH SCORE 4943.267
AT ITER 1257 NEW BEST:: SOT 51885 SOS 28123 HAS SOPS 5581 HAS SOUS 22066 HAS SOUPS 4915 WITH SCORE 4943.123
AT ITER 1295 NEW BEST:: SOT 51885 SOS 28121 HAS SOPS 5469 HAS SOUS 22157 HAS SOUPS 4859 WITH SCORE 4887.121
AT ITER 1313 NEW BEST:: SOT 51885 SOS 28112 HAS SOPS 5457 HAS SOUS 22154 HAS SOUPS 4853 WITH SCORE 4881.112
AT ITER 1341 NEW BEST:: SOT 51877 SOS 28103 HAS SOPS 5458 HAS SOUS 22127 HAS SOUPS 4851 WITH SCORE 4879.103
AT ITER 1345 NEW BEST:: SOT 51877 SOS 28115 HAS SOPS 5454 HAS SOUS 22165 HAS SOUPS 4849 WITH SCORE 4877.115
AT ITER 1346 NEW BEST:: SOT 51862 SOS 28100 HAS SOPS 5432 HAS SOUS 22148 HAS SOUPS 4827 WITH SCORE 4855.1
AT ITER 1377 NEW BEST:: SOT 51862 SOS 28071 HAS SOPS 5432 HAS SOUS 22214 HAS SOUPS 4827 WITH SCORE 4855.071
AT ITER 1378 NEW BEST:: SOT 51862 SOS 28034 HAS SOPS 5432 HAS SOUS 22023 HAS SOUPS 4827 WITH SCORE 4855.034
AT ITER 1382 NEW BEST:: SOT 51793 SOS 27972 HAS SOPS 5351 HAS SOUS 21961 HAS SOUPS 4746 WITH SCORE 4773.972
AT ITER 1388 NEW BEST:: SOT 51803 SOS 27939 HAS SOPS 5347 HAS SOUS 21959 HAS SOUPS 4742 WITH SCORE 4769.939
AT ITER 1404 NEW BEST:: SOT 51803 SOS 27927 HAS SOPS 5335 HAS SOUS 21950 HAS SOUPS 4733 WITH SCORE 4760.927
AT ITER 1406 NEW BEST:: SOT 51803 SOS 27917 HAS SOPS 5335 HAS SOUS 21982 HAS SOUPS 4733 WITH SCORE 4760.917
AT ITER 1428 NEW BEST:: SOT 51803 SOS 27911 HAS SOPS 5323 HAS SOUS 21982 HAS SOUPS 4721 WITH SCORE 4748.911
AT ITER 1450 NEW BEST:: SOT 51803 SOS 27909 HAS SOPS 5313 HAS SOUS 21972 HAS SOUPS 4711 WITH SCORE 4738.909
AT ITER 1537 NEW BEST:: SOT 51799 SOS 27903 HAS SOPS 5309 HAS SOUS 21968 HAS SOUPS 4707 WITH SCORE 4734.903
AT ITER 1563 NEW BEST:: SOT 51805 SOS 27896 HAS SOPS 5307 HAS SOUS 21961 HAS SOUPS 4705 WITH SCORE 4732.896
AT ITER 1575 NEW BEST:: SOT 51784 SOS 27873 HAS SOPS 5268 HAS SOUS 21931 HAS SOUPS 4666 WITH SCORE 4693.873
AT ITER 1595 NEW BEST:: SOT 51784 SOS 27820 HAS SOPS 5268 HAS SOUS 21881 HAS SOUPS 4666 WITH SCORE 4693.82
AT ITER 1628 NEW BEST:: SOT 51818 SOS 27757 HAS SOPS 5158 HAS SOUS 21845 HAS SOUPS 4583 WITH SCORE 4610.757
AT ITER 1655 NEW BEST:: SOT 51796 SOS 27747 HAS SOPS 5136 HAS SOUS 21829 HAS SOUPS 4561 WITH SCORE 4588.747
AT ITER 1663 NEW BEST:: SOT 51796 SOS 27622 HAS SOPS 5136 HAS SOUS 21847 HAS SOUPS 4561 WITH SCORE 4588.622
AT ITER 1706 NEW BEST:: SOT 51796 SOS 27616 HAS SOPS 5124 HAS SOUS 21847 HAS SOUPS 4555 WITH SCORE 4582.616
AT ITER 1710 NEW BEST:: SOT 51800 SOS 27631 HAS SOPS 5110 HAS SOUS 21856 HAS SOUPS 4541 WITH SCORE 4568.631
AT ITER 1719 NEW BEST:: SOT 51800 SOS 27658 HAS SOPS 5071 HAS SOUS 21863 HAS SOUPS 4515 WITH SCORE 4542.658
AT ITER 1740 NEW BEST:: SOT 51800 SOS 27814 HAS SOPS 5059 HAS SOUS 22328 HAS SOUPS 4509 WITH SCORE 4536.814
AT ITER 1752 NEW BEST:: SOT 51794 SOS 27808 HAS SOPS 5055 HAS SOUS 22323 HAS SOUPS 4505 WITH SCORE 4532.808
AT ITER 1777 NEW BEST:: SOT 51792 SOS 27804 HAS SOPS 5053 HAS SOUS 22319 HAS SOUPS 4503 WITH SCORE 4530.804
AT ITER 1812 NEW BEST:: SOT 51821 SOS 27824 HAS SOPS 5022 HAS SOUS 22470 HAS SOUPS 4492 WITH SCORE 4519.824
AT ITER 1825 NEW BEST:: SOT 51801 SOS 27788 HAS SOPS 5014 HAS SOUS 22445 HAS SOUPS 4484 WITH SCORE 4511.788
AT ITER 1842 NEW BEST:: SOT 51801 SOS 27615 HAS SOPS 5014 HAS SOUS 22396 HAS SOUPS 4484 WITH SCORE 4511.615
AT ITER 1873 NEW BEST:: SOT 51801 SOS 27580 HAS SOPS 5014 HAS SOUS 22099 HAS SOUPS 4484 WITH SCORE 4511.58
AT ITER 1890 NEW BEST:: SOT 51775 SOS 27452 HAS SOPS 4894 HAS SOUS 22005 HAS SOUPS 4432 WITH SCORE 4459.452
AT ITER 1915 NEW BEST:: SOT 51775 SOS 27409 HAS SOPS 4894 HAS SOUS 22038 HAS SOUPS 4432 WITH SCORE 4459.409
AT ITER 1937 NEW BEST:: SOT 51774 SOS 27343 HAS SOPS 4891 HAS SOUS 21968 HAS SOUPS 4426 WITH SCORE 4453.343
AT ITER 1962 NEW BEST:: SOT 51764 SOS 27358 HAS SOPS 4887 HAS SOUS 21923 HAS SOUPS 4420 WITH SCORE 4447.358
AT ITER 1970 NEW BEST:: SOT 51761 SOS 27346 HAS SOPS 4878 HAS SOUS 21908 HAS SOUPS 4408 WITH SCORE 4435.346
AT ITER 2006 NEW BEST:: SOT 51761 SOS 27337 HAS SOPS 4860 HAS SOUS 21890 HAS SOUPS 4390 WITH SCORE 4417.337
AT ITER 2116 NEW BEST:: SOT 51761 SOS 27368 HAS SOPS 4802 HAS SOUS 21975 HAS SOUPS 4332 WITH SCORE 4359.368
AT ITER 2117 NEW BEST:: SOT 51834 SOS 27661 HAS SOPS 4789 HAS SOUS 21994 HAS SOUPS 4319 WITH SCORE 4346.661
AT ITER 2141 NEW BEST:: SOT 51840 SOS 27659 HAS SOPS 4781 HAS SOUS 21986 HAS SOUPS 4311 WITH SCORE 4338.659
AT ITER 2190 NEW BEST:: SOT 51840 SOS 27659 HAS SOPS 4781 HAS SOUS 21985 HAS SOUPS 4310 WITH SCORE 4337.659
AT ITER 2191 NEW BEST:: SOT 51817 SOS 27629 HAS SOPS 4758 HAS SOUS 21955 HAS SOUPS 4287 WITH SCORE 4314.629
AT ITER 2199 NEW BEST:: SOT 51817 SOS 27510 HAS SOPS 4758 HAS SOUS 21822 HAS SOUPS 4287 WITH SCORE 4314.51
AT ITER 2227 NEW BEST:: SOT 51817 SOS 27504 HAS SOPS 4758 HAS SOUS 21799 HAS SOUPS 4287 WITH SCORE 4314.504
AT ITER 2275 NEW BEST:: SOT 51817 SOS 27463 HAS SOPS 4758 HAS SOUS 21777 HAS SOUPS 4287 WITH SCORE 4314.463
AT ITER 2310 NEW BEST:: SOT 51811 SOS 27456 HAS SOPS 4748 HAS SOUS 21767 HAS SOUPS 4277 WITH SCORE 4304.456
AT ITER 2332 NEW BEST:: SOT 51811 SOS 27456 HAS SOPS 4745 HAS SOUS 21768 HAS SOUPS 4275 WITH SCORE 4302.456
AT ITER 2407 NEW BEST:: SOT 51769 SOS 27301 HAS SOPS 4725 HAS SOUS 21521 HAS SOUPS 4255 WITH SCORE 4282.301
AT ITER 2416 NEW BEST:: SOT 51787 SOS 27319 HAS SOPS 4743 HAS SOUS 21516 HAS SOUPS 4250 WITH SCORE 4277.319
AT ITER 2418 NEW BEST:: SOT 51787 SOS 27300 HAS SOPS 4719 HAS SOUS 21513 HAS SOUPS 4226 WITH SCORE 4253.3
AT ITER 2427 NEW BEST:: SOT 51782 SOS 27295 HAS SOPS 4714 HAS SOUS 21511 HAS SOUPS 4224 WITH SCORE 4251.295
AT ITER 2431 NEW BEST:: SOT 51782 SOS 27294 HAS SOPS 4714 HAS SOUS 21498 HAS SOUPS 4224 WITH SCORE 4251.294
AT ITER 2527 NEW BEST:: SOT 51782 SOS 27367 HAS SOPS 4714 HAS SOUS 21526 HAS SOUPS 4210 WITH SCORE 4237.367
AT ITER 2537 NEW BEST:: SOT 51781 SOS 27365 HAS SOPS 4713 HAS SOUS 21522 HAS SOUPS 4210 WITH SCORE 4237.365
AT ITER 2543 NEW BEST:: SOT 51772 SOS 27354 HAS SOPS 4700 HAS SOUS 21511 HAS SOUPS 4209 WITH SCORE 4236.354
AT ITER 2547 NEW BEST:: SOT 51764 SOS 27340 HAS SOPS 4672 HAS SOUS 21507 HAS SOUPS 4191 WITH SCORE 4218.34
AT ITER 2561 NEW BEST:: SOT 51759 SOS 27333 HAS SOPS 4661 HAS SOUS 21500 HAS SOUPS 4180 WITH SCORE 4207.333
AT ITER 2562 NEW BEST:: SOT 51759 SOS 27308 HAS SOPS 4661 HAS SOUS 21500 HAS SOUPS 4180 WITH SCORE 4207.308
AT ITER 2591 NEW BEST:: SOT 51757 SOS 27302 HAS SOPS 4655 HAS SOUS 21494 HAS SOUPS 4174 WITH SCORE 4201.302
AT ITER 2605 NEW BEST:: SOT 51757 SOS 27180 HAS SOPS 4655 HAS SOUS 21441 HAS SOUPS 4174 WITH SCORE 4201.18
AT ITER 2618 NEW BEST:: SOT 51757 SOS 27179 HAS SOPS 4655 HAS SOUS 21439 HAS SOUPS 4173 WITH SCORE 4200.179
AT ITER 2620 NEW BEST:: SOT 51757 SOS 27179 HAS SOPS 4592 HAS SOUS 21418 HAS SOUPS 4110 WITH SCORE 4137.179
AT ITER 2622 NEW BEST:: SOT 51751 SOS 27163 HAS SOPS 4586 HAS SOUS 21410 HAS SOUPS 4104 WITH SCORE 4131.163
AT ITER 2643 NEW BEST:: SOT 51711 SOS 27150 HAS SOPS 4586 HAS SOUS 21397 HAS SOUPS 4104 WITH SCORE 4131.15
AT ITER 2652 NEW BEST:: SOT 51709 SOS 27147 HAS SOPS 4592 HAS SOUS 21385 HAS SOUPS 4101 WITH SCORE 4128.147
AT ITER 2663 NEW BEST:: SOT 51695 SOS 27144 HAS SOPS 4578 HAS SOUS 21361 HAS SOUPS 4087 WITH SCORE 4114.144
AT ITER 2716 NEW BEST:: SOT 51651 SOS 27096 HAS SOPS 4556 HAS SOUS 21310 HAS SOUPS 4071 WITH SCORE 4098.096
AT ITER 2767 NEW BEST:: SOT 51642 SOS 27104 HAS SOPS 4537 HAS SOUS 21298 HAS SOUPS 4052 WITH SCORE 4079.104
AT ITER 2773 NEW BEST:: SOT 51642 SOS 27068 HAS SOPS 4537 HAS SOUS 21268 HAS SOUPS 4052 WITH SCORE 4079.068
AT ITER 2790 NEW BEST:: SOT 51632 SOS 27068 HAS SOPS 4527 HAS SOUS 21222 HAS SOUPS 4044 WITH SCORE 4071.068
AT ITER 2881 NEW BEST:: SOT 51628 SOS 27038 HAS SOPS 4523 HAS SOUS 21192 HAS SOUPS 4040 WITH SCORE 4067.038
AT ITER 2918 NEW BEST:: SOT 51633 SOS 27038 HAS SOPS 4518 HAS SOUS 21187 HAS SOUPS 4030 WITH SCORE 4057.038
AT ITER 2926 NEW BEST:: SOT 51620 SOS 27053 HAS SOPS 4505 HAS SOUS 21172 HAS SOUPS 4017 WITH SCORE 4044.053
AT ITER 2932 NEW BEST:: SOT 51620 SOS 27023 HAS SOPS 4505 HAS SOUS 21100 HAS SOUPS 4017 WITH SCORE 4044.023
AT ITER 2953 NEW BEST:: SOT 51598 SOS 27013 HAS SOPS 4495 HAS SOUS 21044 HAS SOUPS 4007 WITH SCORE 4034.013
AT ITER 2967 NEW BEST:: SOT 51598 SOS 26906 HAS SOPS 4495 HAS SOUS 21036 HAS SOUPS 4007 WITH SCORE 4033.906
AT ITER 2972 NEW BEST:: SOT 51598 SOS 26896 HAS SOPS 4495 HAS SOUS 21065 HAS SOUPS 4007 WITH SCORE 4033.896
AT ITER 3044 NEW BEST:: SOT 51584 SOS 26872 HAS SOPS 4481 HAS SOUS 21046 HAS SOUPS 3993 WITH SCORE 4019.872
AT ITER 3059 NEW BEST:: SOT 51584 SOS 26873 HAS SOPS 4478 HAS SOUS 21046 HAS SOUPS 3991 WITH SCORE 4017.873
AT ITER 3141 NEW BEST:: SOT 51581 SOS 26862 HAS SOPS 4466 HAS SOUS 21037 HAS SOUPS 3976 WITH SCORE 4002.862
AT ITER 3149 NEW BEST:: SOT 51567 SOS 26865 HAS SOPS 4461 HAS SOUS 21039 HAS SOUPS 3971 WITH SCORE 3997.865
AT ITER 3390 NEW BEST:: SOT 51495 SOS 26825 HAS SOPS 4429 HAS SOUS 20975 HAS SOUPS 3939 WITH SCORE 3965.825
AT ITER 3431 NEW BEST:: SOT 51495 SOS 26433 HAS SOPS 4429 HAS SOUS 20889 HAS SOUPS 3939 WITH SCORE 3965.433
AT ITER 3500 NEW BEST:: SOT 51495 SOS 26430 HAS SOPS 4429 HAS SOUS 20906 HAS SOUPS 3939 WITH SCORE 3965.43
AT ITER 3556 NEW BEST:: SOT 51495 SOS 26423 HAS SOPS 4429 HAS SOUS 20899 HAS SOUPS 3939 WITH SCORE 3965.423
AT ITER 3622 NEW BEST:: SOT 51495 SOS 26221 HAS SOPS 4429 HAS SOUS 20371 HAS SOUPS 3939 WITH SCORE 3965.221
AT ITER 3650 NEW BEST:: SOT 51497 SOS 26227 HAS SOPS 4423 HAS SOUS 20377 HAS SOUPS 3933 WITH SCORE 3959.227
AT ITER 3731 NEW BEST:: SOT 51497 SOS 26224 HAS SOPS 4421 HAS SOUS 20374 HAS SOUPS 3931 WITH SCORE 3957.224
AT ITER 3753 NEW BEST:: SOT 51497 SOS 26188 HAS SOPS 4421 HAS SOUS 20368 HAS SOUPS 3931 WITH SCORE 3957.188
AT ITER 3784 NEW BEST:: SOT 51497 SOS 26180 HAS SOPS 4421 HAS SOUS 20358 HAS SOUPS 3931 WITH SCORE 3957.18
AT ITER 3789 NEW BEST:: SOT 51492 SOS 26168 HAS SOPS 4411 HAS SOUS 20339 HAS SOUPS 3914 WITH SCORE 3940.168
AT ITER 3832 NEW BEST:: SOT 51492 SOS 26163 HAS SOPS 4411 HAS SOUS 20314 HAS SOUPS 3914 WITH SCORE 3940.163
AT ITER 3868 NEW BEST:: SOT 51492 SOS 26139 HAS SOPS 4411 HAS SOUS 20318 HAS SOUPS 3914 WITH SCORE 3940.139
AT ITER 3895 NEW BEST:: SOT 51494 SOS 26147 HAS SOPS 4409 HAS SOUS 20321 HAS SOUPS 3912 WITH SCORE 3938.147
AT ITER 3944 NEW BEST:: SOT 51491 SOS 26142 HAS SOPS 4404 HAS SOUS 20316 HAS SOUPS 3907 WITH SCORE 3933.142
AT ITER 3972 NEW BEST:: SOT 51485 SOS 26136 HAS SOPS 4398 HAS SOUS 20316 HAS SOUPS 3907 WITH SCORE 3933.136
AT ITER 4015 NEW BEST:: SOT 51485 SOS 26118 HAS SOPS 4398 HAS SOUS 20684 HAS SOUPS 3907 WITH SCORE 3933.118
AT ITER 4021 NEW BEST:: SOT 51479 SOS 26112 HAS SOPS 4392 HAS SOUS 20678 HAS SOUPS 3901 WITH SCORE 3927.112
AT ITER 4028 NEW BEST:: SOT 51475 SOS 26109 HAS SOPS 4388 HAS SOUS 20674 HAS SOUPS 3897 WITH SCORE 3923.109
AT ITER 4049 NEW BEST:: SOT 51474 SOS 26109 HAS SOPS 4387 HAS SOUS 20672 HAS SOUPS 3896 WITH SCORE 3922.109
AT ITER 4065 NEW BEST:: SOT 51474 SOS 26082 HAS SOPS 4387 HAS SOUS 20672 HAS SOUPS 3896 WITH SCORE 3922.082
AT ITER 4096 NEW BEST:: SOT 51470 SOS 26074 HAS SOPS 4371 HAS SOUS 20664 HAS SOUPS 3880 WITH SCORE 3906.074
AT ITER 4120 NEW BEST:: SOT 51468 SOS 26077 HAS SOPS 4358 HAS SOUS 20666 HAS SOUPS 3867 WITH SCORE 3893.077
AT ITER 4140 NEW BEST:: SOT 51440 SOS 26065 HAS SOPS 4330 HAS SOUS 20640 HAS SOUPS 3839 WITH SCORE 3865.065
AT ITER 4160 NEW BEST:: SOT 51440 SOS 26053 HAS SOPS 4330 HAS SOUS 20462 HAS SOUPS 3839 WITH SCORE 3865.053
AT ITER 4180 NEW BEST:: SOT 51418 SOS 26012 HAS SOPS 4280 HAS SOUS 20437 HAS SOUPS 3789 WITH SCORE 3815.012
AT ITER 4210 NEW BEST:: SOT 51412 SOS 26006 HAS SOPS 4274 HAS SOUS 20431 HAS SOUPS 3783 WITH SCORE 3809.006
AT ITER 4222 NEW BEST:: SOT 51412 SOS 26003 HAS SOPS 4274 HAS SOUS 20295 HAS SOUPS 3783 WITH SCORE 3809.003
AT ITER 4224 NEW BEST:: SOT 51394 SOS 25982 HAS SOPS 4290 HAS SOUS 20270 HAS SOUPS 3778 WITH SCORE 3803.982
AT ITER 4252 NEW BEST:: SOT 51366 SOS 25951 HAS SOPS 4259 HAS SOUS 20239 HAS SOUPS 3748 WITH SCORE 3773.951
AT ITER 4260 NEW BEST:: SOT 51366 SOS 25873 HAS SOPS 4259 HAS SOUS 19770 HAS SOUPS 3748 WITH SCORE 3773.873
AT ITER 4304 NEW BEST:: SOT 51362 SOS 25854 HAS SOPS 4261 HAS SOUS 19741 HAS SOUPS 3748 WITH SCORE 3773.854
AT ITER 4311 NEW BEST:: SOT 51347 SOS 25828 HAS SOPS 4242 HAS SOUS 19710 HAS SOUPS 3729 WITH SCORE 3754.828
AT ITER 4351 NEW BEST:: SOT 51342 SOS 25825 HAS SOPS 4225 HAS SOUS 19704 HAS SOUPS 3712 WITH SCORE 3737.825
AT ITER 4456 NEW BEST:: SOT 51327 SOS 25800 HAS SOPS 4210 HAS SOUS 19684 HAS SOUPS 3697 WITH SCORE 3722.8
AT ITER 4463 NEW BEST:: SOT 51305 SOS 25782 HAS SOPS 4188 HAS SOUS 19639 HAS SOUPS 3697 WITH SCORE 3722.782
AT ITER 4486 NEW BEST:: SOT 51299 SOS 25776 HAS SOPS 4176 HAS SOUS 19631 HAS SOUPS 3685 WITH SCORE 3710.776
AT ITER 4501 NEW BEST:: SOT 51299 SOS 25776 HAS SOPS 4158 HAS SOUS 19631 HAS SOUPS 3667 WITH SCORE 3692.776
AT ITER 4526 NEW BEST:: SOT 51307 SOS 25769 HAS SOPS 4150 HAS SOUS 19624 HAS SOUPS 3659 WITH SCORE 3684.769
AT ITER 4528 NEW BEST:: SOT 51305 SOS 25768 HAS SOPS 4152 HAS SOUS 19618 HAS SOUPS 3659 WITH SCORE 3684.768
AT ITER 4534 NEW BEST:: SOT 51292 SOS 25755 HAS SOPS 4131 HAS SOUS 19605 HAS SOUPS 3638 WITH SCORE 3663.755
AT ITER 4549 NEW BEST:: SOT 51292 SOS 25751 HAS SOPS 4131 HAS SOUS 19605 HAS SOUPS 3638 WITH SCORE 3663.751
AT ITER 4608 NEW BEST:: SOT 51292 SOS 25687 HAS SOPS 4131 HAS SOUS 19579 HAS SOUPS 3638 WITH SCORE 3663.687
AT ITER 4616 NEW BEST:: SOT 51288 SOS 25771 HAS SOPS 4127 HAS SOUS 19592 HAS SOUPS 3634 WITH SCORE 3659.771
AT ITER 4672 NEW BEST:: SOT 51288 SOS 25769 HAS SOPS 4124 HAS SOUS 19585 HAS SOUPS 3626 WITH SCORE 3651.769
AT ITER 4673 NEW BEST:: SOT 51287 SOS 25763 HAS SOPS 4123 HAS SOUS 19582 HAS SOUPS 3626 WITH SCORE 3651.763
AT ITER 4718 NEW BEST:: SOT 51287 SOS 25767 HAS SOPS 4117 HAS SOUS 19588 HAS SOUPS 3622 WITH SCORE 3647.767
AT ITER 4804 NEW BEST:: SOT 51269 SOS 25752 HAS SOPS 4081 HAS SOUS 19573 HAS SOUPS 3586 WITH SCORE 3611.752
AT ITER 4815 NEW BEST:: SOT 51260 SOS 25743 HAS SOPS 4072 HAS SOUS 19564 HAS SOUPS 3577 WITH SCORE 3602.743
AT ITER 4958 NEW BEST:: SOT 51274 SOS 25758 HAS SOPS 4081 HAS SOUS 19569 HAS SOUPS 3576 WITH SCORE 3601.758
AT ITER 4976 NEW BEST:: SOT 51274 SOS 25725 HAS SOPS 4081 HAS SOUS 19794 HAS SOUPS 3576 WITH SCORE 3601.725
AT ITER 4987 NEW BEST:: SOT 51254 SOS 25661 HAS SOPS 4057 HAS SOUS 19722 HAS SOUPS 3540 WITH SCORE 3565.661
AT ITER 5020 NEW BEST:: SOT 51254 SOS 25663 HAS SOPS 4055 HAS SOUS 19724 HAS SOUPS 3538 WITH SCORE 3563.663
AT ITER 5052 NEW BEST:: SOT 51235 SOS 25597 HAS SOPS 4036 HAS SOUS 19626 HAS SOUPS 3538 WITH SCORE 3563.597
AT ITER 5093 NEW BEST:: SOT 51235 SOS 25591 HAS SOPS 4036 HAS SOUS 19626 HAS SOUPS 3538 WITH SCORE 3563.591
AT ITER 5101 NEW BEST:: SOT 51234 SOS 25591 HAS SOPS 4033 HAS SOUS 19625 HAS SOUPS 3535 WITH SCORE 3560.591
AT ITER 5135 NEW BEST:: SOT 51234 SOS 25587 HAS SOPS 4033 HAS SOUS 19629 HAS SOUPS 3535 WITH SCORE 3560.587
AT ITER 5150 NEW BEST:: SOT 51234 SOS 25574 HAS SOPS 4033 HAS SOUS 19632 HAS SOUPS 3535 WITH SCORE 3560.574
AT ITER 5182 NEW BEST:: SOT 51231 SOS 25565 HAS SOPS 4030 HAS SOUS 19626 HAS SOUPS 3532 WITH SCORE 3557.565
AT ITER 5227 NEW BEST:: SOT 51231 SOS 25574 HAS SOPS 4018 HAS SOUS 19688 HAS SOUPS 3524 WITH SCORE 3549.574
AT ITER 5275 NEW BEST:: SOT 51214 SOS 25559 HAS SOPS 4009 HAS SOUS 19679 HAS SOUPS 3507 WITH SCORE 3532.559
AT ITER 5360 NEW BEST:: SOT 51213 SOS 25558 HAS SOPS 4008 HAS SOUS 19678 HAS SOUPS 3506 WITH SCORE 3531.558
AT ITER 5441 NEW BEST:: SOT 51213 SOS 25554 HAS SOPS 4005 HAS SOUS 19675 HAS SOUPS 3503 WITH SCORE 3528.554
AT ITER 5463 NEW BEST:: SOT 51213 SOS 25515 HAS SOPS 4005 HAS SOUS 19591 HAS SOUPS 3503 WITH SCORE 3528.515
AT ITER 5475 NEW BEST:: SOT 51211 SOS 25513 HAS SOPS 4003 HAS SOUS 19589 HAS SOUPS 3501 WITH SCORE 3526.513
AT ITER 5563 NEW BEST:: SOT 51211 SOS 25488 HAS SOPS 3970 HAS SOUS 19575 HAS SOUPS 3479 WITH SCORE 3504.488
AT ITER 5583 NEW BEST:: SOT 51214 SOS 25493 HAS SOPS 3969 HAS SOUS 19598 HAS SOUPS 3478 WITH SCORE 3503.493
AT ITER 5800 NEW BEST:: SOT 51224 SOS 25571 HAS SOPS 3973 HAS SOUS 19646 HAS SOUPS 3474 WITH SCORE 3499.571
AT ITER 5875 NEW BEST:: SOT 51224 SOS 25571 HAS SOPS 3967 HAS SOUS 19669 HAS SOUPS 3470 WITH SCORE 3495.571
AT ITER 5907 NEW BEST:: SOT 51224 SOS 25567 HAS SOPS 3967 HAS SOUS 19659 HAS SOUPS 3470 WITH SCORE 3495.567
AT ITER 5940 NEW BEST:: SOT 51216 SOS 25531 HAS SOPS 3965 HAS SOUS 19644 HAS SOUPS 3468 WITH SCORE 3493.531
AT ITER 5962 NEW BEST:: SOT 51201 SOS 25510 HAS SOPS 3941 HAS SOUS 19614 HAS SOUPS 3444 WITH SCORE 3469.51
AT ITER 6007 NEW BEST:: SOT 51194 SOS 25493 HAS SOPS 3934 HAS SOUS 19603 HAS SOUPS 3437 WITH SCORE 3462.493
AT ITER 6071 NEW BEST:: SOT 51181 SOS 25296 HAS SOPS 3921 HAS SOUS 19579 HAS SOUPS 3432 WITH SCORE 3457.296
AT ITER 6109 NEW BEST:: SOT 51180 SOS 25293 HAS SOPS 3920 HAS SOUS 19578 HAS SOUPS 3432 WITH SCORE 3457.293
AT ITER 6126 NEW BEST:: SOT 51180 SOS 25280 HAS SOPS 3920 HAS SOUS 19477 HAS SOUPS 3432 WITH SCORE 3457.28
AT ITER 6157 NEW BEST:: SOT 51180 SOS 25220 HAS SOPS 3920 HAS SOUS 18844 HAS SOUPS 3432 WITH SCORE 3457.22
AT ITER 6279 NEW BEST:: SOT 51193 SOS 25323 HAS SOPS 3919 HAS SOUS 18889 HAS SOUPS 3431 WITH SCORE 3456.323
AT ITER 6401 NEW BEST:: SOT 51187 SOS 25314 HAS SOPS 3907 HAS SOUS 18883 HAS SOUPS 3425 WITH SCORE 3450.314
AT ITER 6481 NEW BEST:: SOT 51174 SOS 25285 HAS SOPS 3906 HAS SOUS 18868 HAS SOUPS 3424 WITH SCORE 3449.285
AT ITER 6519 NEW BEST:: SOT 51168 SOS 25272 HAS SOPS 3891 HAS SOUS 18860 HAS SOUPS 3421 WITH SCORE 3446.272
AT ITER 6600 NEW BEST:: SOT 51169 SOS 25271 HAS SOPS 3889 HAS SOUS 18858 HAS SOUPS 3419 WITH SCORE 3444.271
AT ITER 6716 NEW BEST:: SOT 51169 SOS 25269 HAS SOPS 3889 HAS SOUS 18860 HAS SOUPS 3419 WITH SCORE 3444.269
AT ITER 6796 NEW BEST:: SOT 51133 SOS 25249 HAS SOPS 3889 HAS SOUS 18814 HAS SOUPS 3419 WITH SCORE 3444.249
AT ITER 6804 NEW BEST:: SOT 51122 SOS 25244 HAS SOPS 3889 HAS SOUS 18795 HAS SOUPS 3419 WITH SCORE 3444.244
AT ITER 6810 NEW BEST:: SOT 51120 SOS 25238 HAS SOPS 3883 HAS SOUS 18785 HAS SOUPS 3409 WITH SCORE 3434.238
AT ITER 6817 NEW BEST:: SOT 51120 SOS 25215 HAS SOPS 3883 HAS SOUS 18813 HAS SOUPS 3409 WITH SCORE 3434.215
AT ITER 6883 NEW BEST:: SOT 51117 SOS 25212 HAS SOPS 3874 HAS SOUS 18810 HAS SOUPS 3400 WITH SCORE 3425.212
AT ITER 6890 NEW BEST:: SOT 51132 SOS 25202 HAS SOPS 3833 HAS SOUS 18854 HAS SOUPS 3387 WITH SCORE 3412.202
AT ITER 6915 NEW BEST:: SOT 51144 SOS 25221 HAS SOPS 3809 HAS SOUS 18932 HAS SOUPS 3363 WITH SCORE 3388.221
AT ITER 6978 NEW BEST:: SOT 51144 SOS 25209 HAS SOPS 3809 HAS SOUS 18918 HAS SOUPS 3363 WITH SCORE 3388.209
AT ITER 7012 NEW BEST:: SOT 51146 SOS 25239 HAS SOPS 3805 HAS SOUS 18940 HAS SOUPS 3359 WITH SCORE 3384.239
AT ITER 7033 NEW BEST:: SOT 51146 SOS 25248 HAS SOPS 3778 HAS SOUS 19026 HAS SOUPS 3341 WITH SCORE 3366.248
AT ITER 7069 NEW BEST:: SOT 51136 SOS 25263 HAS SOPS 3771 HAS SOUS 19029 HAS SOUPS 3334 WITH SCORE 3359.263
AT ITER 7402 NEW BEST:: SOT 51135 SOS 25259 HAS SOPS 3769 HAS SOUS 19026 HAS SOUPS 3332 WITH SCORE 3357.259
AT ITER 7520 NEW BEST:: SOT 51135 SOS 25235 HAS SOPS 3769 HAS SOUS 19012 HAS SOUPS 3332 WITH SCORE 3357.235
AT ITER 7521 NEW BEST:: SOT 51135 SOS 25195 HAS SOPS 3769 HAS SOUS 19012 HAS SOUPS 3332 WITH SCORE 3357.195
AT ITER 7541 NEW BEST:: SOT 51135 SOS 25191 HAS SOPS 3769 HAS SOUS 19011 HAS SOUPS 3332 WITH SCORE 3357.191
AT ITER 7645 NEW BEST:: SOT 51138 SOS 25190 HAS SOPS 3764 HAS SOUS 19013 HAS SOUPS 3328 WITH SCORE 3353.19
AT ITER 7742 NEW BEST:: SOT 51138 SOS 25181 HAS SOPS 3746 HAS SOUS 19013 HAS SOUPS 3325 WITH SCORE 3350.181
AT ITER 7835 NEW BEST:: SOT 51138 SOS 25176 HAS SOPS 3746 HAS SOUS 19003 HAS SOUPS 3325 WITH SCORE 3350.176
AT ITER 7851 NEW BEST:: SOT 51136 SOS 25168 HAS SOPS 3739 HAS SOUS 18999 HAS SOUPS 3321 WITH SCORE 3346.168
AT ITER 8046 NEW BEST:: SOT 51116 SOS 25122 HAS SOPS 3719 HAS SOUS 18989 HAS SOUPS 3311 WITH SCORE 3336.122
AT ITER 8104 NEW BEST:: SOT 51135 SOS 25141 HAS SOPS 3726 HAS SOUS 19040 HAS SOUPS 3305 WITH SCORE 3330.141
AT ITER 8157 NEW BEST:: SOT 51135 SOS 25141 HAS SOPS 3726 HAS SOUS 19039 HAS SOUPS 3304 WITH SCORE 3329.141
AT ITER 8185 NEW BEST:: SOT 51131 SOS 25137 HAS SOPS 3718 HAS SOUS 19033 HAS SOUPS 3296 WITH SCORE 3321.137
AT ITER 8227 NEW BEST:: SOT 51131 SOS 25146 HAS SOPS 3709 HAS SOUS 19119 HAS SOUPS 3290 WITH SCORE 3315.146
AT ITER 8260 NEW BEST:: SOT 51131 SOS 25148 HAS SOPS 3708 HAS SOUS 19120 HAS SOUPS 3289 WITH SCORE 3314.148
AT ITER 8276 NEW BEST:: SOT 51131 SOS 25139 HAS SOPS 3708 HAS SOUS 19135 HAS SOUPS 3289 WITH SCORE 3314.139
AT ITER 8280 NEW BEST:: SOT 51128 SOS 25130 HAS SOPS 3699 HAS SOUS 19126 HAS SOUPS 3280 WITH SCORE 3305.13
AT ITER 8295 NEW BEST:: SOT 51128 SOS 25048 HAS SOPS 3699 HAS SOUS 19155 HAS SOUPS 3280 WITH SCORE 3305.048
AT ITER 8323 NEW BEST:: SOT 51129 SOS 24996 HAS SOPS 3700 HAS SOUS 19234 HAS SOUPS 3274 WITH SCORE 3298.996
AT ITER 8341 NEW BEST:: SOT 51129 SOS 24991 HAS SOPS 3700 HAS SOUS 19232 HAS SOUPS 3274 WITH SCORE 3298.991
AT ITER 8365 NEW BEST:: SOT 51021 SOS 24853 HAS SOPS 3656 HAS SOUS 19116 HAS SOUPS 3248 WITH SCORE 3272.853
AT ITER 8389 NEW BEST:: SOT 51021 SOS 24842 HAS SOPS 3656 HAS SOUS 19116 HAS SOUPS 3248 WITH SCORE 3272.842
AT ITER 8430 NEW BEST:: SOT 51021 SOS 24777 HAS SOPS 3656 HAS SOUS 19078 HAS SOUPS 3248 WITH SCORE 3272.777
AT ITER 8446 NEW BEST:: SOT 51021 SOS 24773 HAS SOPS 3656 HAS SOUS 19092 HAS SOUPS 3248 WITH SCORE 3272.773
AT ITER 8651 NEW BEST:: SOT 51021 SOS 24771 HAS SOPS 3656 HAS SOUS 19090 HAS SOUPS 3248 WITH SCORE 3272.771
AT ITER 8671 NEW BEST:: SOT 51012 SOS 24762 HAS SOPS 3656 HAS SOUS 19082 HAS SOUPS 3248 WITH SCORE 3272.762
AT ITER 8674 NEW BEST:: SOT 51014 SOS 24771 HAS SOPS 3654 HAS SOUS 19130 HAS SOUPS 3246 WITH SCORE 3270.771
AT ITER 8676 NEW BEST:: SOT 51016 SOS 24775 HAS SOPS 3652 HAS SOUS 19130 HAS SOUPS 3244 WITH SCORE 3268.775
AT ITER 8739 NEW BEST:: SOT 51015 SOS 24776 HAS SOPS 3651 HAS SOUS 19129 HAS SOUPS 3243 WITH SCORE 3267.776
AT ITER 8781 NEW BEST:: SOT 51013 SOS 24790 HAS SOPS 3649 HAS SOUS 19115 HAS SOUPS 3241 WITH SCORE 3265.79
AT ITER 9044 NEW BEST:: SOT 51000 SOS 24957 HAS SOPS 3636 HAS SOUS 19249 HAS SOUPS 3228 WITH SCORE 3252.957
AT ITER 9075 NEW BEST:: SOT 51000 SOS 24878 HAS SOPS 3636 HAS SOUS 19312 HAS SOUPS 3228 WITH SCORE 3252.878
AT ITER 9206 NEW BEST:: SOT 51000 SOS 24872 HAS SOPS 3636 HAS SOUS 19317 HAS SOUPS 3228 WITH SCORE 3252.872
AT ITER 9311 NEW BEST:: SOT 51000 SOS 24866 HAS SOPS 3636 HAS SOUS 19295 HAS SOUPS 3228 WITH SCORE 3252.866
AT ITER 9501 NEW BEST:: SOT 51000 SOS 24824 HAS SOPS 3636 HAS SOUS 19311 HAS SOUPS 3228 WITH SCORE 3252.824
AT ITER 9537 NEW BEST:: SOT 50996 SOS 24814 HAS SOPS 3632 HAS SOUS 19303 HAS SOUPS 3224 WITH SCORE 3248.814
AT ITER 9566 NEW BEST:: SOT 50995 SOS 24812 HAS SOPS 3631 HAS SOUS 19303 HAS SOUPS 3224 WITH SCORE 3248.812
AT ITER 9716 NEW BEST:: SOT 50995 SOS 24792 HAS SOPS 3631 HAS SOUS 19347 HAS SOUPS 3224 WITH SCORE 3248.792
AT ITER 9772 NEW BEST:: SOT 50993 SOS 24790 HAS SOPS 3625 HAS SOUS 19343 HAS SOUPS 3218 WITH SCORE 3242.79
AT ITER 9877 NEW BEST:: SOT 50993 SOS 24788 HAS SOPS 3625 HAS SOUS 19345 HAS SOUPS 3218 WITH SCORE 3242.788
AT ITER 9956 NEW BEST:: SOT 50987 SOS 24770 HAS SOPS 3619 HAS SOUS 19338 HAS SOUPS 3217 WITH SCORE 3241.77
AT ITER 9963 NEW BEST:: SOT 50987 SOS 24780 HAS SOPS 3595 HAS SOUS 19593 HAS SOUPS 3201 WITH SCORE 3225.78
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 1679986756346

--------------------
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"
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 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 r131-smll-167819408200664"
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 ;