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.r267-smll-167863541800384.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 smartxred
Input is ParamProductionCell-PT-2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541800384
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 704K
-rw-r--r-- 1 mcc users 8.4K Feb 26 17:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 17:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 26 17:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 17:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 26 17:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 160K Feb 26 17:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 17:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 17:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 174K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678873118866

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ParamProductionCell-PT-2
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 09:38:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 09:38:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 09:38:42] [INFO ] Load time of PNML (sax parser for PT used): 235 ms
[2023-03-15 09:38:42] [INFO ] Transformed 231 places.
[2023-03-15 09:38:42] [INFO ] Transformed 202 transitions.
[2023-03-15 09:38:42] [INFO ] Found NUPN structural information;
[2023-03-15 09:38:42] [INFO ] Parsed PT model containing 231 places and 202 transitions and 846 arcs in 387 ms.
[2023-03-15 09:38:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 231 places, 202 transitions and 846 arcs took 12 ms.
Total runtime 465 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ParamProductionCell (PT), instance 2
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 231 places, 202 transitions, 846 arcs.
AT ITER 0 NEW BEST:: SOT 26118 SOS 7711 HAS SOPS 6857 HAS SOUS 7068 HAS SOUPS 6441 WITH SCORE 6448.711
AT ITER 8 NEW BEST:: SOT 26109 SOS 7705 HAS SOPS 6851 HAS SOUS 7062 HAS SOUPS 6435 WITH SCORE 6442.705
AT ITER 40 NEW BEST:: SOT 26109 SOS 7687 HAS SOPS 6835 HAS SOUS 7058 HAS SOUPS 6430 WITH SCORE 6437.687
AT ITER 43 NEW BEST:: SOT 26109 SOS 7659 HAS SOPS 6835 HAS SOUS 7030 HAS SOUPS 6430 WITH SCORE 6437.659
AT ITER 75 NEW BEST:: SOT 26101 SOS 7651 HAS SOPS 6827 HAS SOUS 7022 HAS SOUPS 6422 WITH SCORE 6429.651
AT ITER 95 NEW BEST:: SOT 26097 SOS 7648 HAS SOPS 6818 HAS SOUS 7019 HAS SOUPS 6413 WITH SCORE 6420.648
AT ITER 108 NEW BEST:: SOT 26085 SOS 7635 HAS SOPS 6805 HAS SOUS 7018 HAS SOUPS 6400 WITH SCORE 6407.635
AT ITER 164 NEW BEST:: SOT 26075 SOS 7625 HAS SOPS 6795 HAS SOUS 7008 HAS SOUPS 6390 WITH SCORE 6397.625
AT ITER 173 NEW BEST:: SOT 26051 SOS 7573 HAS SOPS 6767 HAS SOUS 6956 HAS SOUPS 6362 WITH SCORE 6369.573
AT ITER 177 NEW BEST:: SOT 26040 SOS 7562 HAS SOPS 6743 HAS SOUS 6951 HAS SOUPS 6344 WITH SCORE 6351.562
AT ITER 187 NEW BEST:: SOT 26040 SOS 7550 HAS SOPS 6743 HAS SOUS 6939 HAS SOUPS 6344 WITH SCORE 6351.55
AT ITER 198 NEW BEST:: SOT 26029 SOS 7539 HAS SOPS 6732 HAS SOUS 6928 HAS SOUPS 6333 WITH SCORE 6340.539
AT ITER 211 NEW BEST:: SOT 26012 SOS 7522 HAS SOPS 6715 HAS SOUS 6911 HAS SOUPS 6316 WITH SCORE 6323.522
AT ITER 229 NEW BEST:: SOT 26005 SOS 7508 HAS SOPS 6704 HAS SOUS 6897 HAS SOUPS 6305 WITH SCORE 6312.508
AT ITER 242 NEW BEST:: SOT 25918 SOS 7412 HAS SOPS 6632 HAS SOUS 6825 HAS SOUPS 6233 WITH SCORE 6240.412
AT ITER 249 NEW BEST:: SOT 25928 SOS 7409 HAS SOPS 6630 HAS SOUS 6832 HAS SOUPS 6231 WITH SCORE 6238.409
AT ITER 269 NEW BEST:: SOT 25928 SOS 7400 HAS SOPS 6612 HAS SOUS 6818 HAS SOUPS 6211 WITH SCORE 6218.4
AT ITER 272 NEW BEST:: SOT 25928 SOS 7350 HAS SOPS 6587 HAS SOUS 6793 HAS SOUPS 6211 WITH SCORE 6218.35
AT ITER 277 NEW BEST:: SOT 25925 SOS 7347 HAS SOPS 6584 HAS SOUS 6790 HAS SOUPS 6208 WITH SCORE 6215.347
AT ITER 293 NEW BEST:: SOT 25918 SOS 7339 HAS SOPS 6576 HAS SOUS 6782 HAS SOUPS 6200 WITH SCORE 6207.339
AT ITER 309 NEW BEST:: SOT 25930 SOS 7356 HAS SOPS 6539 HAS SOUS 6799 HAS SOUPS 6163 WITH SCORE 6170.356
AT ITER 314 NEW BEST:: SOT 25914 SOS 7307 HAS SOPS 6500 HAS SOUS 6737 HAS SOUPS 6124 WITH SCORE 6131.307
AT ITER 339 NEW BEST:: SOT 25913 SOS 7306 HAS SOPS 6499 HAS SOUS 6736 HAS SOUPS 6123 WITH SCORE 6130.306
AT ITER 359 NEW BEST:: SOT 25913 SOS 7302 HAS SOPS 6495 HAS SOUS 6732 HAS SOUPS 6119 WITH SCORE 6126.302
AT ITER 385 NEW BEST:: SOT 25913 SOS 7236 HAS SOPS 6451 HAS SOUS 6688 HAS SOUPS 6097 WITH SCORE 6104.236
AT ITER 389 NEW BEST:: SOT 25912 SOS 7234 HAS SOPS 6422 HAS SOUS 6707 HAS SOUPS 6089 WITH SCORE 6096.234
AT ITER 396 NEW BEST:: SOT 25912 SOS 7234 HAS SOPS 6420 HAS SOUS 6707 HAS SOUPS 6087 WITH SCORE 6094.234
AT ITER 420 NEW BEST:: SOT 25910 SOS 7232 HAS SOPS 6418 HAS SOUS 6705 HAS SOUPS 6085 WITH SCORE 6092.232
AT ITER 421 NEW BEST:: SOT 25890 SOS 7183 HAS SOPS 6375 HAS SOUS 6636 HAS SOUPS 6041 WITH SCORE 6048.183
AT ITER 423 NEW BEST:: SOT 25867 SOS 7137 HAS SOPS 6329 HAS SOUS 6590 HAS SOUPS 5995 WITH SCORE 6002.137
AT ITER 429 NEW BEST:: SOT 25867 SOS 7124 HAS SOPS 6316 HAS SOUS 6577 HAS SOUPS 5982 WITH SCORE 5989.124
AT ITER 443 NEW BEST:: SOT 25867 SOS 7122 HAS SOPS 6308 HAS SOUS 6575 HAS SOUPS 5974 WITH SCORE 5981.122
AT ITER 449 NEW BEST:: SOT 25847 SOS 7101 HAS SOPS 6287 HAS SOUS 6554 HAS SOUPS 5953 WITH SCORE 5960.101
AT ITER 455 NEW BEST:: SOT 25790 SOS 7052 HAS SOPS 6238 HAS SOUS 6519 HAS SOUPS 5918 WITH SCORE 5925.052
AT ITER 503 NEW BEST:: SOT 25790 SOS 7043 HAS SOPS 6229 HAS SOUS 6510 HAS SOUPS 5909 WITH SCORE 5916.043
AT ITER 518 NEW BEST:: SOT 25772 SOS 7026 HAS SOPS 6212 HAS SOUS 6493 HAS SOUPS 5892 WITH SCORE 5899.026
AT ITER 537 NEW BEST:: SOT 25771 SOS 7024 HAS SOPS 6210 HAS SOUS 6490 HAS SOUPS 5890 WITH SCORE 5897.024
AT ITER 538 NEW BEST:: SOT 25769 SOS 7003 HAS SOPS 6213 HAS SOUS 6449 HAS SOUPS 5873 WITH SCORE 5880.003
AT ITER 541 NEW BEST:: SOT 25769 SOS 7001 HAS SOPS 6211 HAS SOUS 6447 HAS SOUPS 5871 WITH SCORE 5878.001
AT ITER 555 NEW BEST:: SOT 25760 SOS 6992 HAS SOPS 6202 HAS SOUS 6438 HAS SOUPS 5862 WITH SCORE 5868.992
AT ITER 583 NEW BEST:: SOT 25743 SOS 6975 HAS SOPS 6202 HAS SOUS 6430 HAS SOUPS 5862 WITH SCORE 5868.975
AT ITER 606 NEW BEST:: SOT 25741 SOS 6974 HAS SOPS 6187 HAS SOUS 6429 HAS SOUPS 5847 WITH SCORE 5853.974
AT ITER 658 NEW BEST:: SOT 25721 SOS 6971 HAS SOPS 6184 HAS SOUS 6426 HAS SOUPS 5844 WITH SCORE 5850.971
AT ITER 661 NEW BEST:: SOT 25719 SOS 6966 HAS SOPS 6179 HAS SOUS 6421 HAS SOUPS 5839 WITH SCORE 5845.966
AT ITER 670 NEW BEST:: SOT 25715 SOS 6961 HAS SOPS 6178 HAS SOUS 6416 HAS SOUPS 5838 WITH SCORE 5844.961
AT ITER 700 NEW BEST:: SOT 25699 SOS 6929 HAS SOPS 6146 HAS SOUS 6399 HAS SOUPS 5821 WITH SCORE 5827.929
AT ITER 757 NEW BEST:: SOT 25699 SOS 6909 HAS SOPS 6126 HAS SOUS 6396 HAS SOUPS 5818 WITH SCORE 5824.909
AT ITER 760 NEW BEST:: SOT 25684 SOS 6878 HAS SOPS 6096 HAS SOUS 6388 HAS SOUPS 5796 WITH SCORE 5802.878
AT ITER 764 NEW BEST:: SOT 25684 SOS 6851 HAS SOPS 6096 HAS SOUS 6388 HAS SOUPS 5796 WITH SCORE 5802.851
AT ITER 779 NEW BEST:: SOT 25684 SOS 6851 HAS SOPS 6095 HAS SOUS 6388 HAS SOUPS 5795 WITH SCORE 5801.851
AT ITER 786 NEW BEST:: SOT 25682 SOS 6794 HAS SOPS 6050 HAS SOUS 6313 HAS SOUPS 5750 WITH SCORE 5756.794
AT ITER 874 NEW BEST:: SOT 25681 SOS 6802 HAS SOPS 6049 HAS SOUS 6321 HAS SOUPS 5749 WITH SCORE 5755.802
AT ITER 877 NEW BEST:: SOT 25681 SOS 6792 HAS SOPS 6039 HAS SOUS 6321 HAS SOUPS 5749 WITH SCORE 5755.792
AT ITER 887 NEW BEST:: SOT 25664 SOS 6750 HAS SOPS 6014 HAS SOUS 6279 HAS SOUPS 5724 WITH SCORE 5730.75
AT ITER 893 NEW BEST:: SOT 25664 SOS 6742 HAS SOPS 6014 HAS SOUS 6271 HAS SOUPS 5724 WITH SCORE 5730.742
AT ITER 901 NEW BEST:: SOT 25660 SOS 7091 HAS SOPS 6393 HAS SOUS 6239 HAS SOUPS 5723 WITH SCORE 5730.091
AT ITER 909 NEW BEST:: SOT 25658 SOS 7092 HAS SOPS 6382 HAS SOUS 6240 HAS SOUPS 5712 WITH SCORE 5719.092
AT ITER 925 NEW BEST:: SOT 25658 SOS 7092 HAS SOPS 6382 HAS SOUS 6235 HAS SOUPS 5707 WITH SCORE 5714.092
AT ITER 943 NEW BEST:: SOT 25644 SOS 7097 HAS SOPS 6360 HAS SOUS 6234 HAS SOUPS 5698 WITH SCORE 5705.097
AT ITER 945 NEW BEST:: SOT 25643 SOS 7098 HAS SOPS 6351 HAS SOUS 6235 HAS SOUPS 5689 WITH SCORE 5696.098
AT ITER 966 NEW BEST:: SOT 25638 SOS 7092 HAS SOPS 6345 HAS SOUS 6225 HAS SOUPS 5679 WITH SCORE 5686.092
AT ITER 1007 NEW BEST:: SOT 25638 SOS 7091 HAS SOPS 6344 HAS SOUS 6224 HAS SOUPS 5678 WITH SCORE 5685.091
AT ITER 1012 NEW BEST:: SOT 25620 SOS 7115 HAS SOPS 6293 HAS SOUS 6176 HAS SOUPS 5631 WITH SCORE 5638.115
AT ITER 1023 NEW BEST:: SOT 25613 SOS 7108 HAS SOPS 6286 HAS SOUS 6169 HAS SOUPS 5624 WITH SCORE 5631.108
AT ITER 1034 NEW BEST:: SOT 25613 SOS 7102 HAS SOPS 6280 HAS SOUS 6167 HAS SOUPS 5622 WITH SCORE 5629.102
AT ITER 1071 NEW BEST:: SOT 25618 SOS 7119 HAS SOPS 6275 HAS SOUS 6178 HAS SOUPS 5611 WITH SCORE 5618.119
AT ITER 1094 NEW BEST:: SOT 25618 SOS 7110 HAS SOPS 6263 HAS SOUS 6181 HAS SOUPS 5611 WITH SCORE 5618.11
AT ITER 1108 NEW BEST:: SOT 25616 SOS 7108 HAS SOPS 6261 HAS SOUS 6177 HAS SOUPS 5609 WITH SCORE 5616.108
AT ITER 1141 NEW BEST:: SOT 25630 SOS 7070 HAS SOPS 6237 HAS SOUS 6158 HAS SOUPS 5602 WITH SCORE 5609.07
AT ITER 1159 NEW BEST:: SOT 25627 SOS 7063 HAS SOPS 6236 HAS SOUS 6151 HAS SOUPS 5601 WITH SCORE 5608.063
AT ITER 1162 NEW BEST:: SOT 25583 SOS 7022 HAS SOPS 6227 HAS SOUS 6110 HAS SOUPS 5592 WITH SCORE 5599.022
AT ITER 1180 NEW BEST:: SOT 25574 SOS 7004 HAS SOPS 6200 HAS SOUS 6089 HAS SOUPS 5567 WITH SCORE 5574.004
AT ITER 1213 NEW BEST:: SOT 25570 SOS 6996 HAS SOPS 6192 HAS SOUS 6081 HAS SOUPS 5559 WITH SCORE 5565.996
AT ITER 1312 NEW BEST:: SOT 25568 SOS 7002 HAS SOPS 6189 HAS SOUS 6087 HAS SOUPS 5556 WITH SCORE 5563.002
AT ITER 1316 NEW BEST:: SOT 25560 SOS 6986 HAS SOPS 6173 HAS SOUS 6071 HAS SOUPS 5540 WITH SCORE 5546.986
AT ITER 1373 NEW BEST:: SOT 25560 SOS 6871 HAS SOPS 6058 HAS SOUS 6063 HAS SOUPS 5532 WITH SCORE 5538.871
AT ITER 1425 NEW BEST:: SOT 25560 SOS 6867 HAS SOPS 6058 HAS SOUS 6059 HAS SOUPS 5532 WITH SCORE 5538.867
AT ITER 1426 NEW BEST:: SOT 25547 SOS 6856 HAS SOPS 6047 HAS SOUS 6002 HAS SOUPS 5502 WITH SCORE 5508.856
AT ITER 1433 NEW BEST:: SOT 25547 SOS 6844 HAS SOPS 6032 HAS SOUS 5990 HAS SOUPS 5487 WITH SCORE 5493.844
AT ITER 1458 NEW BEST:: SOT 25547 SOS 6840 HAS SOPS 6028 HAS SOUS 5990 HAS SOUPS 5487 WITH SCORE 5493.84
AT ITER 1474 NEW BEST:: SOT 25548 SOS 6834 HAS SOPS 6022 HAS SOUS 5984 HAS SOUPS 5481 WITH SCORE 5487.834
AT ITER 1499 NEW BEST:: SOT 25545 SOS 6832 HAS SOPS 6020 HAS SOUS 5982 HAS SOUPS 5479 WITH SCORE 5485.832
AT ITER 1512 NEW BEST:: SOT 25545 SOS 6832 HAS SOPS 6018 HAS SOUS 5978 HAS SOUPS 5475 WITH SCORE 5481.832
AT ITER 1529 NEW BEST:: SOT 25539 SOS 6825 HAS SOPS 5993 HAS SOUS 5984 HAS SOUPS 5463 WITH SCORE 5469.825
AT ITER 1563 NEW BEST:: SOT 25539 SOS 6825 HAS SOPS 5993 HAS SOUS 5978 HAS SOUPS 5457 WITH SCORE 5463.825
AT ITER 1589 NEW BEST:: SOT 25539 SOS 6821 HAS SOPS 5991 HAS SOUS 5978 HAS SOUPS 5457 WITH SCORE 5463.821
AT ITER 1650 NEW BEST:: SOT 25532 SOS 6807 HAS SOPS 5977 HAS SOUS 5964 HAS SOUPS 5443 WITH SCORE 5449.807
AT ITER 1656 NEW BEST:: SOT 25522 SOS 6717 HAS SOPS 5887 HAS SOUS 5944 HAS SOUPS 5423 WITH SCORE 5429.717
AT ITER 1689 NEW BEST:: SOT 25515 SOS 6710 HAS SOPS 5865 HAS SOUS 5941 HAS SOUPS 5414 WITH SCORE 5420.71
AT ITER 1691 NEW BEST:: SOT 25513 SOS 6708 HAS SOPS 5861 HAS SOUS 5939 HAS SOUPS 5410 WITH SCORE 5416.708
AT ITER 1706 NEW BEST:: SOT 25513 SOS 6708 HAS SOPS 5851 HAS SOUS 5939 HAS SOUPS 5400 WITH SCORE 5406.708
AT ITER 1724 NEW BEST:: SOT 25513 SOS 6703 HAS SOPS 5846 HAS SOUS 5934 HAS SOUPS 5395 WITH SCORE 5401.703
AT ITER 1742 NEW BEST:: SOT 25504 SOS 6669 HAS SOPS 5822 HAS SOUS 5922 HAS SOUPS 5393 WITH SCORE 5399.669
AT ITER 1769 NEW BEST:: SOT 25502 SOS 6781 HAS SOPS 5862 HAS SOUS 5932 HAS SOUPS 5391 WITH SCORE 5397.781
AT ITER 1889 NEW BEST:: SOT 25502 SOS 6752 HAS SOPS 5842 HAS SOUS 5923 HAS SOUPS 5391 WITH SCORE 5397.752
AT ITER 1943 NEW BEST:: SOT 25508 SOS 6758 HAS SOPS 5814 HAS SOUS 5905 HAS SOUPS 5363 WITH SCORE 5369.758
AT ITER 1961 NEW BEST:: SOT 25497 SOS 6736 HAS SOPS 5792 HAS SOUS 5894 HAS SOUPS 5352 WITH SCORE 5358.736
AT ITER 1965 NEW BEST:: SOT 25503 SOS 6732 HAS SOPS 5788 HAS SOUS 5890 HAS SOUPS 5348 WITH SCORE 5354.732
AT ITER 1991 NEW BEST:: SOT 25489 SOS 6711 HAS SOPS 5764 HAS SOUS 5869 HAS SOUPS 5324 WITH SCORE 5330.711
AT ITER 2020 NEW BEST:: SOT 25468 SOS 6703 HAS SOPS 5763 HAS SOUS 5868 HAS SOUPS 5323 WITH SCORE 5329.703
AT ITER 2039 NEW BEST:: SOT 25468 SOS 6701 HAS SOPS 5761 HAS SOUS 5866 HAS SOUPS 5321 WITH SCORE 5327.701
AT ITER 2069 NEW BEST:: SOT 25462 SOS 6697 HAS SOPS 5757 HAS SOUS 5862 HAS SOUPS 5317 WITH SCORE 5323.697
AT ITER 2070 NEW BEST:: SOT 25462 SOS 6681 HAS SOPS 5757 HAS SOUS 5862 HAS SOUPS 5317 WITH SCORE 5323.681
AT ITER 2136 NEW BEST:: SOT 25446 SOS 6683 HAS SOPS 5759 HAS SOUS 5861 HAS SOUPS 5316 WITH SCORE 5322.683
AT ITER 2140 NEW BEST:: SOT 25397 SOS 6718 HAS SOPS 5784 HAS SOUS 5821 HAS SOUPS 5266 WITH SCORE 5272.718
AT ITER 2144 NEW BEST:: SOT 25385 SOS 6646 HAS SOPS 5736 HAS SOUS 5791 HAS SOUPS 5242 WITH SCORE 5248.646
AT ITER 2153 NEW BEST:: SOT 25380 SOS 6637 HAS SOPS 5732 HAS SOUS 5753 HAS SOUPS 5232 WITH SCORE 5238.637
AT ITER 2157 NEW BEST:: SOT 25380 SOS 6632 HAS SOPS 5727 HAS SOUS 5748 HAS SOUPS 5227 WITH SCORE 5233.632
AT ITER 2190 NEW BEST:: SOT 25342 SOS 6600 HAS SOPS 5698 HAS SOUS 5716 HAS SOUPS 5198 WITH SCORE 5204.6
AT ITER 2200 NEW BEST:: SOT 25349 SOS 6590 HAS SOPS 5688 HAS SOUS 5709 HAS SOUPS 5191 WITH SCORE 5197.59
AT ITER 2209 NEW BEST:: SOT 25339 SOS 6577 HAS SOPS 5669 HAS SOUS 5699 HAS SOUPS 5175 WITH SCORE 5181.577
AT ITER 2215 NEW BEST:: SOT 25335 SOS 6560 HAS SOPS 5665 HAS SOUS 5682 HAS SOUPS 5171 WITH SCORE 5177.56
AT ITER 2216 NEW BEST:: SOT 25319 SOS 6537 HAS SOPS 5642 HAS SOUS 5659 HAS SOUPS 5148 WITH SCORE 5154.537
AT ITER 2249 NEW BEST:: SOT 25316 SOS 6548 HAS SOPS 5646 HAS SOUS 5664 HAS SOUPS 5146 WITH SCORE 5152.548
AT ITER 2253 NEW BEST:: SOT 25313 SOS 6545 HAS SOPS 5643 HAS SOUS 5661 HAS SOUPS 5143 WITH SCORE 5149.545
AT ITER 2292 NEW BEST:: SOT 25308 SOS 6540 HAS SOPS 5612 HAS SOUS 5633 HAS SOUPS 5115 WITH SCORE 5121.54
AT ITER 2294 NEW BEST:: SOT 25304 SOS 6536 HAS SOPS 5608 HAS SOUS 5624 HAS SOUPS 5110 WITH SCORE 5116.536
AT ITER 2348 NEW BEST:: SOT 25292 SOS 6524 HAS SOPS 5596 HAS SOUS 5605 HAS SOUPS 5091 WITH SCORE 5097.524
AT ITER 2354 NEW BEST:: SOT 25310 SOS 6512 HAS SOPS 5584 HAS SOUS 5593 HAS SOUPS 5079 WITH SCORE 5085.512
AT ITER 2374 NEW BEST:: SOT 25310 SOS 6497 HAS SOPS 5572 HAS SOUS 5592 HAS SOUPS 5067 WITH SCORE 5073.497
AT ITER 2446 NEW BEST:: SOT 25302 SOS 6478 HAS SOPS 5557 HAS SOUS 5573 HAS SOUPS 5052 WITH SCORE 5058.478
AT ITER 2449 NEW BEST:: SOT 25302 SOS 6470 HAS SOPS 5556 HAS SOUS 5565 HAS SOUPS 5051 WITH SCORE 5057.47
AT ITER 2457 NEW BEST:: SOT 25299 SOS 6468 HAS SOPS 5552 HAS SOUS 5563 HAS SOUPS 5047 WITH SCORE 5053.468
AT ITER 2466 NEW BEST:: SOT 25282 SOS 6422 HAS SOPS 5521 HAS SOUS 5513 HAS SOUPS 5014 WITH SCORE 5020.422
AT ITER 2490 NEW BEST:: SOT 25282 SOS 6419 HAS SOPS 5510 HAS SOUS 5510 HAS SOUPS 5003 WITH SCORE 5009.419
AT ITER 2562 NEW BEST:: SOT 25268 SOS 6417 HAS SOPS 5508 HAS SOUS 5508 HAS SOUPS 5001 WITH SCORE 5007.417
AT ITER 2583 NEW BEST:: SOT 25259 SOS 6395 HAS SOPS 5496 HAS SOUS 5486 HAS SOUPS 4989 WITH SCORE 4995.395
AT ITER 2590 NEW BEST:: SOT 25258 SOS 6383 HAS SOPS 5493 HAS SOUS 5480 HAS SOUPS 4988 WITH SCORE 4994.383
AT ITER 2606 NEW BEST:: SOT 25259 SOS 6390 HAS SOPS 5479 HAS SOUS 5486 HAS SOUPS 4973 WITH SCORE 4979.39
AT ITER 2639 NEW BEST:: SOT 25238 SOS 6378 HAS SOPS 5460 HAS SOUS 5475 HAS SOUPS 4955 WITH SCORE 4961.378
AT ITER 2641 NEW BEST:: SOT 25231 SOS 6377 HAS SOPS 5443 HAS SOUS 5474 HAS SOUPS 4938 WITH SCORE 4944.377
AT ITER 2697 NEW BEST:: SOT 25219 SOS 6347 HAS SOPS 5413 HAS SOUS 5444 HAS SOUPS 4908 WITH SCORE 4914.347
AT ITER 2712 NEW BEST:: SOT 25218 SOS 6334 HAS SOPS 5397 HAS SOUS 5445 HAS SOUPS 4899 WITH SCORE 4905.334
AT ITER 2718 NEW BEST:: SOT 25214 SOS 6355 HAS SOPS 5413 HAS SOUS 5442 HAS SOUPS 4891 WITH SCORE 4897.355
AT ITER 2719 NEW BEST:: SOT 25190 SOS 6352 HAS SOPS 5410 HAS SOUS 5439 HAS SOUPS 4888 WITH SCORE 4894.352
AT ITER 2734 NEW BEST:: SOT 25180 SOS 6338 HAS SOPS 5396 HAS SOUS 5418 HAS SOUPS 4867 WITH SCORE 4873.338
AT ITER 2735 NEW BEST:: SOT 25150 SOS 6269 HAS SOPS 5332 HAS SOUS 5349 HAS SOUPS 4803 WITH SCORE 4809.269
AT ITER 2836 NEW BEST:: SOT 25149 SOS 6249 HAS SOPS 5329 HAS SOUS 5329 HAS SOUPS 4800 WITH SCORE 4806.249
AT ITER 2869 NEW BEST:: SOT 25148 SOS 6249 HAS SOPS 5329 HAS SOUS 5328 HAS SOUPS 4799 WITH SCORE 4805.249
AT ITER 2880 NEW BEST:: SOT 25147 SOS 6248 HAS SOPS 5323 HAS SOUS 5317 HAS SOUPS 4788 WITH SCORE 4794.248
AT ITER 2922 NEW BEST:: SOT 25145 SOS 6236 HAS SOPS 5314 HAS SOUS 5310 HAS SOUPS 4784 WITH SCORE 4790.236
AT ITER 2939 NEW BEST:: SOT 25145 SOS 6234 HAS SOPS 5314 HAS SOUS 5310 HAS SOUPS 4784 WITH SCORE 4790.234
AT ITER 2963 NEW BEST:: SOT 25136 SOS 6225 HAS SOPS 5305 HAS SOUS 5301 HAS SOUPS 4775 WITH SCORE 4781.225
AT ITER 2971 NEW BEST:: SOT 25135 SOS 6224 HAS SOPS 5305 HAS SOUS 5299 HAS SOUPS 4774 WITH SCORE 4780.224
AT ITER 2996 NEW BEST:: SOT 25136 SOS 6211 HAS SOPS 5292 HAS SOUS 5286 HAS SOUPS 4761 WITH SCORE 4767.211
AT ITER 3002 NEW BEST:: SOT 25122 SOS 6197 HAS SOPS 5278 HAS SOUS 5260 HAS SOUPS 4741 WITH SCORE 4747.197
AT ITER 3057 NEW BEST:: SOT 25122 SOS 6196 HAS SOPS 5278 HAS SOUS 5259 HAS SOUPS 4741 WITH SCORE 4747.196
AT ITER 3079 NEW BEST:: SOT 25114 SOS 6164 HAS SOPS 5262 HAS SOUS 5227 HAS SOUPS 4725 WITH SCORE 4731.164
AT ITER 3147 NEW BEST:: SOT 25109 SOS 6193 HAS SOPS 5270 HAS SOUS 5230 HAS SOUPS 4717 WITH SCORE 4723.193
AT ITER 3202 NEW BEST:: SOT 25103 SOS 6187 HAS SOPS 5264 HAS SOUS 5224 HAS SOUPS 4711 WITH SCORE 4717.187
AT ITER 3209 NEW BEST:: SOT 25103 SOS 6183 HAS SOPS 5262 HAS SOUS 5222 HAS SOUPS 4711 WITH SCORE 4717.183
AT ITER 3212 NEW BEST:: SOT 25103 SOS 6182 HAS SOPS 5262 HAS SOUS 5224 HAS SOUPS 4711 WITH SCORE 4717.182
AT ITER 3249 NEW BEST:: SOT 25103 SOS 6168 HAS SOPS 5260 HAS SOUS 5214 HAS SOUPS 4709 WITH SCORE 4715.168
AT ITER 3260 NEW BEST:: SOT 25103 SOS 6165 HAS SOPS 5259 HAS SOUS 5211 HAS SOUPS 4708 WITH SCORE 4714.165
AT ITER 3314 NEW BEST:: SOT 25099 SOS 6161 HAS SOPS 5251 HAS SOUS 5210 HAS SOUPS 4707 WITH SCORE 4713.161
AT ITER 3392 NEW BEST:: SOT 25098 SOS 6159 HAS SOPS 5225 HAS SOUS 5208 HAS SOUPS 4681 WITH SCORE 4687.159
AT ITER 3457 NEW BEST:: SOT 25082 SOS 6129 HAS SOPS 5219 HAS SOUS 5178 HAS SOUPS 4675 WITH SCORE 4681.129
AT ITER 3520 NEW BEST:: SOT 25082 SOS 6127 HAS SOPS 5211 HAS SOUS 5176 HAS SOUPS 4667 WITH SCORE 4673.127
AT ITER 3528 NEW BEST:: SOT 25060 SOS 6123 HAS SOPS 5204 HAS SOUS 5170 HAS SOUPS 4660 WITH SCORE 4666.123
AT ITER 3574 NEW BEST:: SOT 25055 SOS 6112 HAS SOPS 5198 HAS SOUS 5159 HAS SOUPS 4654 WITH SCORE 4660.112
AT ITER 3621 NEW BEST:: SOT 25055 SOS 6112 HAS SOPS 5198 HAS SOUS 5157 HAS SOUPS 4652 WITH SCORE 4658.112
AT ITER 3636 NEW BEST:: SOT 25054 SOS 6111 HAS SOPS 5197 HAS SOUS 5156 HAS SOUPS 4651 WITH SCORE 4657.111
AT ITER 3685 NEW BEST:: SOT 25034 SOS 6087 HAS SOPS 5181 HAS SOUS 5140 HAS SOUPS 4635 WITH SCORE 4641.087
AT ITER 3697 NEW BEST:: SOT 25036 SOS 6089 HAS SOPS 5183 HAS SOUS 5136 HAS SOUPS 4631 WITH SCORE 4637.089
AT ITER 3699 NEW BEST:: SOT 25025 SOS 6084 HAS SOPS 5179 HAS SOUS 5132 HAS SOUPS 4627 WITH SCORE 4633.084
AT ITER 3724 NEW BEST:: SOT 25022 SOS 6081 HAS SOPS 5178 HAS SOUS 5129 HAS SOUPS 4626 WITH SCORE 4632.081
AT ITER 3801 NEW BEST:: SOT 25020 SOS 6048 HAS SOPS 5145 HAS SOUS 5129 HAS SOUPS 4626 WITH SCORE 4632.048
AT ITER 3818 NEW BEST:: SOT 25009 SOS 6009 HAS SOPS 5106 HAS SOUS 5090 HAS SOUPS 4587 WITH SCORE 4593.009
AT ITER 3839 NEW BEST:: SOT 25008 SOS 6007 HAS SOPS 5104 HAS SOUS 5088 HAS SOUPS 4585 WITH SCORE 4591.007
AT ITER 3845 NEW BEST:: SOT 25006 SOS 6006 HAS SOPS 5103 HAS SOUS 5087 HAS SOUPS 4584 WITH SCORE 4590.006
AT ITER 3859 NEW BEST:: SOT 25005 SOS 5998 HAS SOPS 5095 HAS SOUS 5079 HAS SOUPS 4576 WITH SCORE 4581.998
AT ITER 3888 NEW BEST:: SOT 24998 SOS 5991 HAS SOPS 5088 HAS SOUS 5072 HAS SOUPS 4569 WITH SCORE 4574.991
AT ITER 3912 NEW BEST:: SOT 24995 SOS 5988 HAS SOPS 5088 HAS SOUS 5066 HAS SOUPS 4566 WITH SCORE 4571.988
AT ITER 3946 NEW BEST:: SOT 24988 SOS 5981 HAS SOPS 5074 HAS SOUS 5059 HAS SOUPS 4552 WITH SCORE 4557.981
AT ITER 3986 NEW BEST:: SOT 24972 SOS 5971 HAS SOPS 5064 HAS SOUS 5050 HAS SOUPS 4543 WITH SCORE 4548.971
AT ITER 4029 NEW BEST:: SOT 24968 SOS 5959 HAS SOPS 5052 HAS SOUS 5046 HAS SOUPS 4539 WITH SCORE 4544.959
AT ITER 4040 NEW BEST:: SOT 24961 SOS 5952 HAS SOPS 5045 HAS SOUS 5033 HAS SOUPS 4526 WITH SCORE 4531.952
AT ITER 4041 NEW BEST:: SOT 24954 SOS 5934 HAS SOPS 5036 HAS SOUS 5006 HAS SOUPS 4525 WITH SCORE 4530.934
AT ITER 4047 NEW BEST:: SOT 24954 SOS 5934 HAS SOPS 5036 HAS SOUS 5005 HAS SOUPS 4524 WITH SCORE 4529.934
AT ITER 4085 NEW BEST:: SOT 24947 SOS 5913 HAS SOPS 5015 HAS SOUS 4998 HAS SOUPS 4517 WITH SCORE 4522.913
AT ITER 4159 NEW BEST:: SOT 24945 SOS 5911 HAS SOPS 5013 HAS SOUS 4996 HAS SOUPS 4515 WITH SCORE 4520.911
AT ITER 4179 NEW BEST:: SOT 24945 SOS 5911 HAS SOPS 5011 HAS SOUS 4996 HAS SOUPS 4513 WITH SCORE 4518.911
AT ITER 4186 NEW BEST:: SOT 24947 SOS 5913 HAS SOPS 5013 HAS SOUS 4987 HAS SOUPS 4506 WITH SCORE 4511.913
AT ITER 4187 NEW BEST:: SOT 24947 SOS 5906 HAS SOPS 5006 HAS SOUS 4975 HAS SOUPS 4494 WITH SCORE 4499.906
AT ITER 4238 NEW BEST:: SOT 24932 SOS 5891 HAS SOPS 4991 HAS SOUS 4960 HAS SOUPS 4479 WITH SCORE 4484.891
AT ITER 4247 NEW BEST:: SOT 24934 SOS 5883 HAS SOPS 4987 HAS SOUS 4958 HAS SOUPS 4476 WITH SCORE 4481.883
AT ITER 4287 NEW BEST:: SOT 24934 SOS 5875 HAS SOPS 4979 HAS SOUS 4950 HAS SOUPS 4468 WITH SCORE 4473.875
AT ITER 4317 NEW BEST:: SOT 24919 SOS 5853 HAS SOPS 4942 HAS SOUS 4908 HAS SOUPS 4426 WITH SCORE 4431.853
AT ITER 4336 NEW BEST:: SOT 24921 SOS 5855 HAS SOPS 4939 HAS SOUS 4910 HAS SOUPS 4423 WITH SCORE 4428.855
AT ITER 4490 NEW BEST:: SOT 24914 SOS 5851 HAS SOPS 4935 HAS SOUS 4896 HAS SOUPS 4409 WITH SCORE 4414.851
AT ITER 4519 NEW BEST:: SOT 24909 SOS 5838 HAS SOPS 4927 HAS SOUS 4883 HAS SOUPS 4401 WITH SCORE 4406.838
AT ITER 4528 NEW BEST:: SOT 24899 SOS 5854 HAS SOPS 4935 HAS SOUS 4876 HAS SOUPS 4394 WITH SCORE 4399.854
AT ITER 4541 NEW BEST:: SOT 24894 SOS 5849 HAS SOPS 4930 HAS SOUS 4866 HAS SOUPS 4384 WITH SCORE 4389.849
AT ITER 4552 NEW BEST:: SOT 24885 SOS 5840 HAS SOPS 4909 HAS SOUS 4857 HAS SOUPS 4363 WITH SCORE 4368.84
AT ITER 4574 NEW BEST:: SOT 24881 SOS 5829 HAS SOPS 4898 HAS SOUS 4842 HAS SOUPS 4348 WITH SCORE 4353.829
AT ITER 4610 NEW BEST:: SOT 24880 SOS 5830 HAS SOPS 4894 HAS SOUS 4842 HAS SOUPS 4343 WITH SCORE 4348.83
AT ITER 4632 NEW BEST:: SOT 24876 SOS 5806 HAS SOPS 4886 HAS SOUS 4830 HAS SOUPS 4343 WITH SCORE 4348.806
AT ITER 4679 NEW BEST:: SOT 24872 SOS 5781 HAS SOPS 4869 HAS SOUS 4817 HAS SOUPS 4334 WITH SCORE 4339.781
AT ITER 4738 NEW BEST:: SOT 24872 SOS 5775 HAS SOPS 4869 HAS SOUS 4814 HAS SOUPS 4334 WITH SCORE 4339.775
AT ITER 4775 NEW BEST:: SOT 24870 SOS 5773 HAS SOPS 4867 HAS SOUS 4812 HAS SOUPS 4332 WITH SCORE 4337.773
AT ITER 4776 NEW BEST:: SOT 24870 SOS 5769 HAS SOPS 4863 HAS SOUS 4812 HAS SOUPS 4332 WITH SCORE 4337.769
AT ITER 4829 NEW BEST:: SOT 24864 SOS 5763 HAS SOPS 4852 HAS SOUS 4806 HAS SOUPS 4321 WITH SCORE 4326.763
AT ITER 4847 NEW BEST:: SOT 24864 SOS 5761 HAS SOPS 4850 HAS SOUS 4804 HAS SOUPS 4319 WITH SCORE 4324.761
AT ITER 4910 NEW BEST:: SOT 24861 SOS 5758 HAS SOPS 4847 HAS SOUS 4801 HAS SOUPS 4316 WITH SCORE 4321.758
AT ITER 4915 NEW BEST:: SOT 24860 SOS 5758 HAS SOPS 4846 HAS SOUS 4801 HAS SOUPS 4315 WITH SCORE 4320.758
AT ITER 5009 NEW BEST:: SOT 24863 SOS 5745 HAS SOPS 4833 HAS SOUS 4788 HAS SOUPS 4302 WITH SCORE 4307.745
AT ITER 5011 NEW BEST:: SOT 24861 SOS 5741 HAS SOPS 4829 HAS SOUS 4784 HAS SOUPS 4298 WITH SCORE 4303.741
AT ITER 5024 NEW BEST:: SOT 24862 SOS 5742 HAS SOPS 4827 HAS SOUS 4777 HAS SOUPS 4291 WITH SCORE 4296.742
AT ITER 5049 NEW BEST:: SOT 24854 SOS 5726 HAS SOPS 4815 HAS SOUS 4762 HAS SOUPS 4280 WITH SCORE 4285.726
AT ITER 5065 NEW BEST:: SOT 24854 SOS 5725 HAS SOPS 4815 HAS SOUS 4761 HAS SOUPS 4280 WITH SCORE 4285.725
AT ITER 5117 NEW BEST:: SOT 24853 SOS 5735 HAS SOPS 4820 HAS SOUS 4759 HAS SOUPS 4279 WITH SCORE 4284.735
AT ITER 5171 NEW BEST:: SOT 24853 SOS 5736 HAS SOPS 4820 HAS SOUS 4758 HAS SOUPS 4278 WITH SCORE 4283.736
AT ITER 5179 NEW BEST:: SOT 24864 SOS 5740 HAS SOPS 4823 HAS SOUS 4763 HAS SOUPS 4261 WITH SCORE 4266.74
AT ITER 5209 NEW BEST:: SOT 24862 SOS 5738 HAS SOPS 4819 HAS SOUS 4761 HAS SOUPS 4259 WITH SCORE 4264.738
AT ITER 5256 NEW BEST:: SOT 24862 SOS 5736 HAS SOPS 4817 HAS SOUS 4759 HAS SOUPS 4257 WITH SCORE 4262.736
AT ITER 5328 NEW BEST:: SOT 24862 SOS 5736 HAS SOPS 4807 HAS SOUS 4751 HAS SOUPS 4254 WITH SCORE 4259.736
AT ITER 5333 NEW BEST:: SOT 24856 SOS 5713 HAS SOPS 4797 HAS SOUS 4732 HAS SOUPS 4244 WITH SCORE 4249.713
AT ITER 5343 NEW BEST:: SOT 24856 SOS 5713 HAS SOPS 4797 HAS SOUS 4728 HAS SOUPS 4240 WITH SCORE 4245.713
AT ITER 5405 NEW BEST:: SOT 24854 SOS 5711 HAS SOPS 4797 HAS SOUS 4728 HAS SOUPS 4240 WITH SCORE 4245.711
AT ITER 5427 NEW BEST:: SOT 24850 SOS 5747 HAS SOPS 4829 HAS SOUS 4725 HAS SOUPS 4233 WITH SCORE 4238.747
AT ITER 5446 NEW BEST:: SOT 24847 SOS 5745 HAS SOPS 4827 HAS SOUS 4723 HAS SOUPS 4231 WITH SCORE 4236.745
AT ITER 5447 NEW BEST:: SOT 24848 SOS 5740 HAS SOPS 4816 HAS SOUS 4718 HAS SOUPS 4220 WITH SCORE 4225.74
AT ITER 5455 NEW BEST:: SOT 24844 SOS 5732 HAS SOPS 4808 HAS SOUS 4714 HAS SOUPS 4216 WITH SCORE 4221.732
AT ITER 5493 NEW BEST:: SOT 24844 SOS 5732 HAS SOPS 4808 HAS SOUS 4713 HAS SOUPS 4215 WITH SCORE 4220.732
AT ITER 5611 NEW BEST:: SOT 24837 SOS 5722 HAS SOPS 4801 HAS SOUS 4704 HAS SOUPS 4209 WITH SCORE 4214.722
AT ITER 5657 NEW BEST:: SOT 24837 SOS 5715 HAS SOPS 4797 HAS SOUS 4703 HAS SOUPS 4208 WITH SCORE 4213.715
AT ITER 5702 NEW BEST:: SOT 24837 SOS 5729 HAS SOPS 4794 HAS SOUS 4717 HAS SOUPS 4205 WITH SCORE 4210.729
AT ITER 5986 NEW BEST:: SOT 24835 SOS 5657 HAS SOPS 4751 HAS SOUS 4700 HAS SOUPS 4197 WITH SCORE 4202.657
AT ITER 6070 NEW BEST:: SOT 24830 SOS 5660 HAS SOPS 4754 HAS SOUS 4690 HAS SOUPS 4195 WITH SCORE 4200.66
AT ITER 6147 NEW BEST:: SOT 24823 SOS 5653 HAS SOPS 4747 HAS SOUS 4673 HAS SOUPS 4180 WITH SCORE 4185.653
AT ITER 6211 NEW BEST:: SOT 24803 SOS 5629 HAS SOPS 4733 HAS SOUS 4659 HAS SOUPS 4176 WITH SCORE 4181.629
AT ITER 6280 NEW BEST:: SOT 24803 SOS 5629 HAS SOPS 4729 HAS SOUS 4659 HAS SOUPS 4172 WITH SCORE 4177.629
AT ITER 6362 NEW BEST:: SOT 24797 SOS 5615 HAS SOPS 4715 HAS SOUS 4650 HAS SOUPS 4163 WITH SCORE 4168.615
AT ITER 6387 NEW BEST:: SOT 24795 SOS 5611 HAS SOPS 4709 HAS SOUS 4648 HAS SOUPS 4159 WITH SCORE 4164.611
AT ITER 6477 NEW BEST:: SOT 24788 SOS 5600 HAS SOPS 4704 HAS SOUS 4639 HAS SOUPS 4156 WITH SCORE 4161.6
AT ITER 6479 NEW BEST:: SOT 24788 SOS 5597 HAS SOPS 4700 HAS SOUS 4639 HAS SOUPS 4155 WITH SCORE 4160.597
AT ITER 6533 NEW BEST:: SOT 24787 SOS 5595 HAS SOPS 4698 HAS SOUS 4636 HAS SOUPS 4152 WITH SCORE 4157.595
AT ITER 6607 NEW BEST:: SOT 24786 SOS 5592 HAS SOPS 4695 HAS SOUS 4634 HAS SOUPS 4150 WITH SCORE 4155.592
AT ITER 6676 NEW BEST:: SOT 24785 SOS 5590 HAS SOPS 4693 HAS SOUS 4632 HAS SOUPS 4148 WITH SCORE 4153.59
AT ITER 6752 NEW BEST:: SOT 24787 SOS 5581 HAS SOPS 4686 HAS SOUS 4621 HAS SOUPS 4139 WITH SCORE 4144.581
AT ITER 6806 NEW BEST:: SOT 24779 SOS 5571 HAS SOPS 4684 HAS SOUS 4613 HAS SOUPS 4137 WITH SCORE 4142.571
AT ITER 6884 NEW BEST:: SOT 24777 SOS 5567 HAS SOPS 4681 HAS SOUS 4609 HAS SOUPS 4134 WITH SCORE 4139.567
AT ITER 7009 NEW BEST:: SOT 24775 SOS 5559 HAS SOPS 4673 HAS SOUS 4605 HAS SOUPS 4130 WITH SCORE 4135.559
AT ITER 7030 NEW BEST:: SOT 24767 SOS 5535 HAS SOPS 4649 HAS SOUS 4589 HAS SOUPS 4114 WITH SCORE 4119.535
AT ITER 7059 NEW BEST:: SOT 24768 SOS 5536 HAS SOPS 4647 HAS SOUS 4589 HAS SOUPS 4111 WITH SCORE 4116.536
AT ITER 7113 NEW BEST:: SOT 24767 SOS 5535 HAS SOPS 4646 HAS SOUS 4588 HAS SOUPS 4110 WITH SCORE 4115.535
AT ITER 7118 NEW BEST:: SOT 24761 SOS 5547 HAS SOPS 4654 HAS SOUS 4583 HAS SOUPS 4109 WITH SCORE 4114.547
AT ITER 7182 NEW BEST:: SOT 24760 SOS 5546 HAS SOPS 4653 HAS SOUS 4582 HAS SOUPS 4108 WITH SCORE 4113.546
AT ITER 7421 NEW BEST:: SOT 24758 SOS 5540 HAS SOPS 4649 HAS SOUS 4576 HAS SOUPS 4104 WITH SCORE 4109.54
AT ITER 7627 NEW BEST:: SOT 24762 SOS 5544 HAS SOPS 4653 HAS SOUS 4574 HAS SOUPS 4102 WITH SCORE 4107.544
AT ITER 7839 NEW BEST:: SOT 24762 SOS 5543 HAS SOPS 4652 HAS SOUS 4573 HAS SOUPS 4101 WITH SCORE 4106.543
AT ITER 7939 NEW BEST:: SOT 24751 SOS 5532 HAS SOPS 4642 HAS SOUS 4563 HAS SOUPS 4091 WITH SCORE 4096.532
AT ITER 7960 NEW BEST:: SOT 24748 SOS 5529 HAS SOPS 4639 HAS SOUS 4560 HAS SOUPS 4088 WITH SCORE 4093.529
AT ITER 8064 NEW BEST:: SOT 24731 SOS 5479 HAS SOPS 4623 HAS SOUS 4515 HAS SOUPS 4072 WITH SCORE 4077.479
AT ITER 8082 NEW BEST:: SOT 24731 SOS 5479 HAS SOPS 4610 HAS SOUS 4502 HAS SOUPS 4057 WITH SCORE 4062.479
AT ITER 8128 NEW BEST:: SOT 24731 SOS 5479 HAS SOPS 4610 HAS SOUS 4501 HAS SOUPS 4056 WITH SCORE 4061.479
AT ITER 8130 NEW BEST:: SOT 24727 SOS 5456 HAS SOPS 4599 HAS SOUS 4489 HAS SOUPS 4045 WITH SCORE 4050.456
AT ITER 8231 NEW BEST:: SOT 24723 SOS 5454 HAS SOPS 4599 HAS SOUS 4487 HAS SOUPS 4045 WITH SCORE 4050.454
AT ITER 8364 NEW BEST:: SOT 24716 SOS 5441 HAS SOPS 4587 HAS SOUS 4472 HAS SOUPS 4031 WITH SCORE 4036.441
AT ITER 8392 NEW BEST:: SOT 24720 SOS 5446 HAS SOPS 4592 HAS SOUS 4466 HAS SOUPS 4025 WITH SCORE 4030.446
AT ITER 8533 NEW BEST:: SOT 24720 SOS 5445 HAS SOPS 4592 HAS SOUS 4465 HAS SOUPS 4025 WITH SCORE 4030.445
AT ITER 8612 NEW BEST:: SOT 24717 SOS 5439 HAS SOPS 4589 HAS SOUS 4459 HAS SOUPS 4022 WITH SCORE 4027.439
AT ITER 8651 NEW BEST:: SOT 24717 SOS 5434 HAS SOPS 4584 HAS SOUS 4459 HAS SOUPS 4022 WITH SCORE 4027.434
AT ITER 8665 NEW BEST:: SOT 24727 SOS 5433 HAS SOPS 4583 HAS SOUS 4458 HAS SOUPS 4021 WITH SCORE 4026.433
AT ITER 8776 NEW BEST:: SOT 24717 SOS 5423 HAS SOPS 4572 HAS SOUS 4448 HAS SOUPS 4010 WITH SCORE 4015.423
AT ITER 8783 NEW BEST:: SOT 24715 SOS 5421 HAS SOPS 4572 HAS SOUS 4444 HAS SOUPS 4008 WITH SCORE 4013.421
AT ITER 8814 NEW BEST:: SOT 24715 SOS 5414 HAS SOPS 4566 HAS SOUS 4437 HAS SOUPS 4002 WITH SCORE 4007.414
AT ITER 8896 NEW BEST:: SOT 24709 SOS 5404 HAS SOPS 4556 HAS SOUS 4427 HAS SOUPS 3992 WITH SCORE 3997.404
AT ITER 8908 NEW BEST:: SOT 24709 SOS 5404 HAS SOPS 4556 HAS SOUS 4423 HAS SOUPS 3988 WITH SCORE 3993.404
AT ITER 8956 NEW BEST:: SOT 24717 SOS 5436 HAS SOPS 4568 HAS SOUS 4437 HAS SOUPS 3987 WITH SCORE 3992.436
AT ITER 9000 NEW BEST:: SOT 24732 SOS 5451 HAS SOPS 4566 HAS SOUS 4439 HAS SOUPS 3985 WITH SCORE 3990.451
AT ITER 9081 NEW BEST:: SOT 24731 SOS 5417 HAS SOPS 4556 HAS SOUS 4436 HAS SOUPS 3985 WITH SCORE 3990.417
AT ITER 9084 NEW BEST:: SOT 24731 SOS 5415 HAS SOPS 4553 HAS SOUS 4435 HAS SOUPS 3983 WITH SCORE 3988.415
AT ITER 9136 NEW BEST:: SOT 24730 SOS 5414 HAS SOPS 4551 HAS SOUS 4434 HAS SOUPS 3981 WITH SCORE 3986.414
AT ITER 9176 NEW BEST:: SOT 24730 SOS 5408 HAS SOPS 4545 HAS SOUS 4428 HAS SOUPS 3975 WITH SCORE 3980.408
AT ITER 9191 NEW BEST:: SOT 24729 SOS 5407 HAS SOPS 4544 HAS SOUS 4427 HAS SOUPS 3974 WITH SCORE 3979.407
AT ITER 9211 NEW BEST:: SOT 24728 SOS 5407 HAS SOPS 4544 HAS SOUS 4426 HAS SOUPS 3973 WITH SCORE 3978.407
AT ITER 9226 NEW BEST:: SOT 24728 SOS 5405 HAS SOPS 4544 HAS SOUS 4424 HAS SOUPS 3973 WITH SCORE 3978.405
AT ITER 9243 NEW BEST:: SOT 24728 SOS 5400 HAS SOPS 4541 HAS SOUS 4421 HAS SOUPS 3972 WITH SCORE 3977.4
AT ITER 9261 NEW BEST:: SOT 24728 SOS 5399 HAS SOPS 4541 HAS SOUS 4419 HAS SOUPS 3971 WITH SCORE 3976.399
AT ITER 9277 NEW BEST:: SOT 24724 SOS 5375 HAS SOPS 4525 HAS SOUS 4405 HAS SOUPS 3961 WITH SCORE 3966.375
AT ITER 9362 NEW BEST:: SOT 24721 SOS 5372 HAS SOPS 4522 HAS SOUS 4403 HAS SOUPS 3959 WITH SCORE 3964.372
AT ITER 9457 NEW BEST:: SOT 24719 SOS 5370 HAS SOPS 4520 HAS SOUS 4399 HAS SOUPS 3955 WITH SCORE 3960.37
AT ITER 9516 NEW BEST:: SOT 24719 SOS 5368 HAS SOPS 4518 HAS SOUS 4397 HAS SOUPS 3953 WITH SCORE 3958.368
AT ITER 9544 NEW BEST:: SOT 24716 SOS 5360 HAS SOPS 4510 HAS SOUS 4392 HAS SOUPS 3948 WITH SCORE 3953.36
AT ITER 9567 NEW BEST:: SOT 24715 SOS 5357 HAS SOPS 4509 HAS SOUS 4389 HAS SOUPS 3947 WITH SCORE 3952.357
AT ITER 9626 NEW BEST:: SOT 24714 SOS 5355 HAS SOPS 4508 HAS SOUS 4387 HAS SOUPS 3946 WITH SCORE 3951.355
AT ITER 9744 NEW BEST:: SOT 24714 SOS 5349 HAS SOPS 4508 HAS SOUS 4381 HAS SOUPS 3946 WITH SCORE 3951.349
AT ITER 9881 NEW BEST:: SOT 24712 SOS 5346 HAS SOPS 4505 HAS SOUS 4378 HAS SOUPS 3943 WITH SCORE 3948.346
AT ITER 9888 NEW BEST:: SOT 24704 SOS 5330 HAS SOPS 4493 HAS SOUS 4362 HAS SOUPS 3931 WITH SCORE 3936.33
AT ITER 9891 NEW BEST:: SOT 24703 SOS 5327 HAS SOPS 4491 HAS SOUS 4359 HAS SOUPS 3929 WITH SCORE 3934.327
AT ITER 9978 NEW BEST:: SOT 24704 SOS 5327 HAS SOPS 4490 HAS SOUS 4359 HAS SOUPS 3928 WITH SCORE 3933.327
STATE_SPACE STATES 349874 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 36 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1380742 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678873131855

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="ParamProductionCell-PT-2"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is ParamProductionCell-PT-2, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r267-smll-167863541800384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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