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-167863541800392.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-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541800392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 608K
-rw-r--r-- 1 mcc users 8.0K Feb 26 17:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 17:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 17:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K 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.8K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K 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 9.9K Feb 26 17:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 17:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 26 17:16 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 1678873436704

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-3
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 09:44:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 09:44:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 09:44:00] [INFO ] Load time of PNML (sax parser for PT used): 143 ms
[2023-03-15 09:44:00] [INFO ] Transformed 231 places.
[2023-03-15 09:44:00] [INFO ] Transformed 202 transitions.
[2023-03-15 09:44:00] [INFO ] Found NUPN structural information;
[2023-03-15 09:44:00] [INFO ] Parsed PT model containing 231 places and 202 transitions and 846 arcs in 279 ms.
[2023-03-15 09:44:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 231 places, 202 transitions and 846 arcs took 8 ms.
Total runtime 349 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ParamProductionCell (PT), instance 3
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 26120 SOS 7713 HAS SOPS 6858 HAS SOUS 7070 HAS SOUPS 6442 WITH SCORE 6449.713
AT ITER 30 NEW BEST:: SOT 26096 SOS 7720 HAS SOPS 6824 HAS SOUS 7104 HAS SOUPS 6435 WITH SCORE 6442.72
AT ITER 33 NEW BEST:: SOT 26096 SOS 7719 HAS SOPS 6808 HAS SOUS 7117 HAS SOUPS 6433 WITH SCORE 6440.719
AT ITER 67 NEW BEST:: SOT 26089 SOS 7698 HAS SOPS 6794 HAS SOUS 7103 HAS SOUPS 6419 WITH SCORE 6426.698
AT ITER 84 NEW BEST:: SOT 26089 SOS 7671 HAS SOPS 6767 HAS SOUS 7102 HAS SOUPS 6418 WITH SCORE 6425.671
AT ITER 91 NEW BEST:: SOT 26085 SOS 7667 HAS SOPS 6763 HAS SOUS 7098 HAS SOUPS 6414 WITH SCORE 6421.667
AT ITER 97 NEW BEST:: SOT 26080 SOS 7647 HAS SOPS 6748 HAS SOUS 7078 HAS SOUPS 6399 WITH SCORE 6406.647
AT ITER 106 NEW BEST:: SOT 26081 SOS 7603 HAS SOPS 6726 HAS SOUS 7033 HAS SOUPS 6377 WITH SCORE 6384.603
AT ITER 112 NEW BEST:: SOT 26049 SOS 7594 HAS SOPS 6717 HAS SOUS 7016 HAS SOUPS 6360 WITH SCORE 6367.594
AT ITER 116 NEW BEST:: SOT 26048 SOS 7593 HAS SOPS 6716 HAS SOUS 7015 HAS SOUPS 6359 WITH SCORE 6366.593
AT ITER 120 NEW BEST:: SOT 26046 SOS 7589 HAS SOPS 6712 HAS SOUS 7011 HAS SOUPS 6355 WITH SCORE 6362.589
AT ITER 127 NEW BEST:: SOT 26025 SOS 7585 HAS SOPS 6708 HAS SOUS 7007 HAS SOUPS 6351 WITH SCORE 6358.585
AT ITER 147 NEW BEST:: SOT 26025 SOS 7576 HAS SOPS 6699 HAS SOUS 6998 HAS SOUPS 6342 WITH SCORE 6349.576
AT ITER 162 NEW BEST:: SOT 25995 SOS 7561 HAS SOPS 6663 HAS SOUS 6975 HAS SOUPS 6298 WITH SCORE 6305.561
AT ITER 164 NEW BEST:: SOT 25993 SOS 7553 HAS SOPS 6659 HAS SOUS 6971 HAS SOUPS 6294 WITH SCORE 6301.553
AT ITER 171 NEW BEST:: SOT 25990 SOS 7535 HAS SOPS 6641 HAS SOUS 6961 HAS SOUPS 6284 WITH SCORE 6291.535
AT ITER 217 NEW BEST:: SOT 25985 SOS 7529 HAS SOPS 6635 HAS SOUS 6955 HAS SOUPS 6278 WITH SCORE 6285.529
AT ITER 229 NEW BEST:: SOT 25985 SOS 7513 HAS SOPS 6635 HAS SOUS 6939 HAS SOUPS 6278 WITH SCORE 6285.513
AT ITER 230 NEW BEST:: SOT 25985 SOS 7534 HAS SOPS 6673 HAS SOUS 6926 HAS SOUPS 6274 WITH SCORE 6281.534
AT ITER 260 NEW BEST:: SOT 26000 SOS 7499 HAS SOPS 6674 HAS SOUS 6865 HAS SOUPS 6251 WITH SCORE 6258.499
AT ITER 273 NEW BEST:: SOT 25964 SOS 7485 HAS SOPS 6660 HAS SOUS 6851 HAS SOUPS 6237 WITH SCORE 6244.485
AT ITER 280 NEW BEST:: SOT 25964 SOS 7431 HAS SOPS 6631 HAS SOUS 6797 HAS SOUPS 6208 WITH SCORE 6215.431
AT ITER 283 NEW BEST:: SOT 25971 SOS 7406 HAS SOPS 6636 HAS SOUS 6743 HAS SOUPS 6187 WITH SCORE 6194.406
AT ITER 287 NEW BEST:: SOT 25909 SOS 7344 HAS SOPS 6578 HAS SOUS 6685 HAS SOUPS 6129 WITH SCORE 6136.344
AT ITER 289 NEW BEST:: SOT 25903 SOS 7336 HAS SOPS 6564 HAS SOUS 6677 HAS SOUPS 6115 WITH SCORE 6122.336
AT ITER 295 NEW BEST:: SOT 25914 SOS 7359 HAS SOPS 6558 HAS SOUS 6700 HAS SOUPS 6109 WITH SCORE 6116.359
AT ITER 301 NEW BEST:: SOT 25910 SOS 7344 HAS SOPS 6529 HAS SOUS 6705 HAS SOUPS 6100 WITH SCORE 6107.344
AT ITER 304 NEW BEST:: SOT 25910 SOS 7334 HAS SOPS 6521 HAS SOUS 6704 HAS SOUPS 6100 WITH SCORE 6107.334
AT ITER 338 NEW BEST:: SOT 25909 SOS 7333 HAS SOPS 6520 HAS SOUS 6703 HAS SOUPS 6099 WITH SCORE 6106.333
AT ITER 350 NEW BEST:: SOT 25909 SOS 7332 HAS SOPS 6518 HAS SOUS 6702 HAS SOUPS 6098 WITH SCORE 6105.332
AT ITER 369 NEW BEST:: SOT 25909 SOS 7332 HAS SOPS 6517 HAS SOUS 6702 HAS SOUPS 6097 WITH SCORE 6104.332
AT ITER 395 NEW BEST:: SOT 25915 SOS 7337 HAS SOPS 6515 HAS SOUS 6707 HAS SOUPS 6095 WITH SCORE 6102.337
AT ITER 429 NEW BEST:: SOT 25902 SOS 7322 HAS SOPS 6496 HAS SOUS 6701 HAS SOUPS 6085 WITH SCORE 6092.322
AT ITER 430 NEW BEST:: SOT 25896 SOS 7316 HAS SOPS 6490 HAS SOUS 6695 HAS SOUPS 6079 WITH SCORE 6086.316
AT ITER 431 NEW BEST:: SOT 25894 SOS 7317 HAS SOPS 6480 HAS SOUS 6705 HAS SOUPS 6076 WITH SCORE 6083.317
AT ITER 461 NEW BEST:: SOT 25887 SOS 7289 HAS SOPS 6459 HAS SOUS 6677 HAS SOUPS 6055 WITH SCORE 6062.289
AT ITER 471 NEW BEST:: SOT 25872 SOS 7306 HAS SOPS 6459 HAS SOUS 6675 HAS SOUPS 6038 WITH SCORE 6045.306
AT ITER 476 NEW BEST:: SOT 25825 SOS 7317 HAS SOPS 6470 HAS SOUS 6637 HAS SOUPS 6000 WITH SCORE 6007.317
AT ITER 482 NEW BEST:: SOT 25808 SOS 7300 HAS SOPS 6445 HAS SOUS 6620 HAS SOUPS 5975 WITH SCORE 5982.3
AT ITER 500 NEW BEST:: SOT 25836 SOS 7325 HAS SOPS 6467 HAS SOUS 6579 HAS SOUPS 5961 WITH SCORE 5968.325
AT ITER 515 NEW BEST:: SOT 25827 SOS 7306 HAS SOPS 6465 HAS SOUS 6560 HAS SOUPS 5959 WITH SCORE 5966.306
AT ITER 545 NEW BEST:: SOT 25823 SOS 7302 HAS SOPS 6461 HAS SOUS 6552 HAS SOUPS 5951 WITH SCORE 5958.302
AT ITER 575 NEW BEST:: SOT 25819 SOS 7294 HAS SOPS 6453 HAS SOUS 6544 HAS SOUPS 5943 WITH SCORE 5950.294
AT ITER 590 NEW BEST:: SOT 25781 SOS 7199 HAS SOPS 6377 HAS SOUS 6449 HAS SOUPS 5867 WITH SCORE 5874.199
AT ITER 622 NEW BEST:: SOT 25783 SOS 7202 HAS SOPS 6368 HAS SOUS 6452 HAS SOUPS 5858 WITH SCORE 5865.202
AT ITER 641 NEW BEST:: SOT 25781 SOS 7200 HAS SOPS 6357 HAS SOUS 6450 HAS SOUPS 5847 WITH SCORE 5854.2
AT ITER 684 NEW BEST:: SOT 25770 SOS 7167 HAS SOPS 6335 HAS SOUS 6439 HAS SOUPS 5836 WITH SCORE 5843.167
AT ITER 696 NEW BEST:: SOT 25770 SOS 7158 HAS SOPS 6329 HAS SOUS 6436 HAS SOUPS 5836 WITH SCORE 5843.158
AT ITER 706 NEW BEST:: SOT 25761 SOS 7134 HAS SOPS 6305 HAS SOUS 6424 HAS SOUPS 5824 WITH SCORE 5831.134
AT ITER 708 NEW BEST:: SOT 25749 SOS 7122 HAS SOPS 6305 HAS SOUS 6424 HAS SOUPS 5824 WITH SCORE 5831.122
AT ITER 711 NEW BEST:: SOT 25737 SOS 7110 HAS SOPS 6288 HAS SOUS 6414 HAS SOUPS 5809 WITH SCORE 5816.11
AT ITER 714 NEW BEST:: SOT 25769 SOS 7101 HAS SOPS 6279 HAS SOUS 6405 HAS SOUPS 5800 WITH SCORE 5807.101
AT ITER 743 NEW BEST:: SOT 25769 SOS 7091 HAS SOPS 6269 HAS SOUS 6405 HAS SOUPS 5800 WITH SCORE 5807.091
AT ITER 758 NEW BEST:: SOT 25735 SOS 7029 HAS SOPS 6229 HAS SOUS 6375 HAS SOUPS 5770 WITH SCORE 5777.029
AT ITER 772 NEW BEST:: SOT 25721 SOS 7009 HAS SOPS 6223 HAS SOUS 6355 HAS SOUPS 5764 WITH SCORE 5771.009
AT ITER 774 NEW BEST:: SOT 25706 SOS 7002 HAS SOPS 6213 HAS SOUS 6348 HAS SOUPS 5754 WITH SCORE 5761.002
AT ITER 776 NEW BEST:: SOT 25683 SOS 6971 HAS SOPS 6162 HAS SOUS 6298 HAS SOUPS 5703 WITH SCORE 5709.971
AT ITER 812 NEW BEST:: SOT 25673 SOS 6953 HAS SOPS 6154 HAS SOUS 6280 HAS SOUPS 5695 WITH SCORE 5701.953
AT ITER 815 NEW BEST:: SOT 25644 SOS 6907 HAS SOPS 6113 HAS SOUS 6256 HAS SOUPS 5671 WITH SCORE 5677.907
AT ITER 834 NEW BEST:: SOT 25633 SOS 6896 HAS SOPS 6102 HAS SOUS 6233 HAS SOUPS 5648 WITH SCORE 5654.896
AT ITER 875 NEW BEST:: SOT 25628 SOS 6891 HAS SOPS 6092 HAS SOUS 6217 HAS SOUPS 5632 WITH SCORE 5638.891
AT ITER 880 NEW BEST:: SOT 25628 SOS 6886 HAS SOPS 6087 HAS SOUS 6216 HAS SOUPS 5631 WITH SCORE 5637.886
AT ITER 908 NEW BEST:: SOT 25648 SOS 6900 HAS SOPS 6111 HAS SOUS 6199 HAS SOUPS 5627 WITH SCORE 5633.9
AT ITER 912 NEW BEST:: SOT 25648 SOS 6894 HAS SOPS 6109 HAS SOUS 6202 HAS SOUPS 5627 WITH SCORE 5633.894
AT ITER 924 NEW BEST:: SOT 25648 SOS 6881 HAS SOPS 6096 HAS SOUS 6201 HAS SOUPS 5626 WITH SCORE 5632.881
AT ITER 935 NEW BEST:: SOT 25619 SOS 6839 HAS SOPS 6042 HAS SOUS 6137 HAS SOUPS 5562 WITH SCORE 5568.839
AT ITER 966 NEW BEST:: SOT 25612 SOS 6847 HAS SOPS 6030 HAS SOUS 6145 HAS SOUPS 5550 WITH SCORE 5556.847
AT ITER 1066 NEW BEST:: SOT 25606 SOS 6811 HAS SOPS 5999 HAS SOUS 6129 HAS SOUPS 5539 WITH SCORE 5545.811
AT ITER 1072 NEW BEST:: SOT 25600 SOS 6802 HAS SOPS 5990 HAS SOUS 6117 HAS SOUPS 5527 WITH SCORE 5533.802
AT ITER 1133 NEW BEST:: SOT 25608 SOS 6816 HAS SOPS 5956 HAS SOUS 6131 HAS SOUPS 5493 WITH SCORE 5499.816
AT ITER 1182 NEW BEST:: SOT 25608 SOS 6813 HAS SOPS 5956 HAS SOUS 6128 HAS SOUPS 5493 WITH SCORE 5499.813
AT ITER 1186 NEW BEST:: SOT 25585 SOS 6813 HAS SOPS 5914 HAS SOUS 6134 HAS SOUPS 5457 WITH SCORE 5463.813
AT ITER 1200 NEW BEST:: SOT 25579 SOS 6811 HAS SOPS 5912 HAS SOUS 6132 HAS SOUPS 5455 WITH SCORE 5461.811
AT ITER 1206 NEW BEST:: SOT 25577 SOS 6805 HAS SOPS 5906 HAS SOUS 6128 HAS SOUPS 5451 WITH SCORE 5457.805
AT ITER 1209 NEW BEST:: SOT 25579 SOS 6792 HAS SOPS 5893 HAS SOUS 6124 HAS SOUPS 5447 WITH SCORE 5453.792
AT ITER 1211 NEW BEST:: SOT 25571 SOS 6779 HAS SOPS 5880 HAS SOUS 6116 HAS SOUPS 5439 WITH SCORE 5445.779
AT ITER 1213 NEW BEST:: SOT 25571 SOS 6778 HAS SOPS 5880 HAS SOUS 6115 HAS SOUPS 5439 WITH SCORE 5445.778
AT ITER 1218 NEW BEST:: SOT 25557 SOS 6774 HAS SOPS 5876 HAS SOUS 6092 HAS SOUPS 5416 WITH SCORE 5422.774
AT ITER 1276 NEW BEST:: SOT 25548 SOS 6765 HAS SOPS 5867 HAS SOUS 6083 HAS SOUPS 5407 WITH SCORE 5413.765
AT ITER 1290 NEW BEST:: SOT 25556 SOS 6753 HAS SOPS 5843 HAS SOUS 6077 HAS SOUPS 5389 WITH SCORE 5395.753
AT ITER 1293 NEW BEST:: SOT 25557 SOS 6720 HAS SOPS 5796 HAS SOUS 6064 HAS SOUPS 5362 WITH SCORE 5368.72
AT ITER 1371 NEW BEST:: SOT 25538 SOS 6689 HAS SOPS 5765 HAS SOUS 6052 HAS SOUPS 5350 WITH SCORE 5356.689
AT ITER 1390 NEW BEST:: SOT 25535 SOS 6686 HAS SOPS 5762 HAS SOUS 6049 HAS SOUPS 5347 WITH SCORE 5353.686
AT ITER 1412 NEW BEST:: SOT 25533 SOS 6684 HAS SOPS 5760 HAS SOUS 6045 HAS SOUPS 5345 WITH SCORE 5351.684
AT ITER 1448 NEW BEST:: SOT 25532 SOS 6683 HAS SOPS 5760 HAS SOUS 6045 HAS SOUPS 5345 WITH SCORE 5351.683
AT ITER 1460 NEW BEST:: SOT 25533 SOS 6668 HAS SOPS 5759 HAS SOUS 6030 HAS SOUPS 5344 WITH SCORE 5350.668
AT ITER 1504 NEW BEST:: SOT 25529 SOS 6657 HAS SOPS 5748 HAS SOUS 6026 HAS SOUPS 5340 WITH SCORE 5346.657
AT ITER 1539 NEW BEST:: SOT 25526 SOS 6662 HAS SOPS 5753 HAS SOUS 6025 HAS SOUPS 5339 WITH SCORE 5345.662
AT ITER 1583 NEW BEST:: SOT 25525 SOS 6658 HAS SOPS 5750 HAS SOUS 6021 HAS SOUPS 5336 WITH SCORE 5342.658
AT ITER 1594 NEW BEST:: SOT 25525 SOS 6652 HAS SOPS 5746 HAS SOUS 6017 HAS SOUPS 5334 WITH SCORE 5340.652
AT ITER 1623 NEW BEST:: SOT 25524 SOS 6651 HAS SOPS 5732 HAS SOUS 6016 HAS SOUPS 5320 WITH SCORE 5326.651
AT ITER 1650 NEW BEST:: SOT 25523 SOS 6636 HAS SOPS 5724 HAS SOUS 6001 HAS SOUPS 5312 WITH SCORE 5318.636
AT ITER 1697 NEW BEST:: SOT 25495 SOS 6608 HAS SOPS 5706 HAS SOUS 5974 HAS SOUPS 5294 WITH SCORE 5300.608
AT ITER 1708 NEW BEST:: SOT 25494 SOS 6596 HAS SOPS 5694 HAS SOUS 5970 HAS SOUPS 5290 WITH SCORE 5296.596
AT ITER 1715 NEW BEST:: SOT 25487 SOS 6575 HAS SOPS 5689 HAS SOUS 5949 HAS SOUPS 5285 WITH SCORE 5291.575
AT ITER 1717 NEW BEST:: SOT 25459 SOS 6542 HAS SOPS 5650 HAS SOUS 5910 HAS SOUPS 5246 WITH SCORE 5252.542
AT ITER 1733 NEW BEST:: SOT 25440 SOS 6493 HAS SOPS 5613 HAS SOUS 5861 HAS SOUPS 5209 WITH SCORE 5215.493
AT ITER 1746 NEW BEST:: SOT 25438 SOS 6493 HAS SOPS 5609 HAS SOUS 5859 HAS SOUPS 5205 WITH SCORE 5211.493
AT ITER 1775 NEW BEST:: SOT 25437 SOS 6948 HAS SOPS 6098 HAS SOUS 5824 HAS SOUPS 5204 WITH SCORE 5210.948
AT ITER 1786 NEW BEST:: SOT 25437 SOS 6950 HAS SOPS 6096 HAS SOUS 5826 HAS SOUPS 5202 WITH SCORE 5208.95
AT ITER 1802 NEW BEST:: SOT 25419 SOS 6946 HAS SOPS 6078 HAS SOUS 5798 HAS SOUPS 5174 WITH SCORE 5180.946
AT ITER 1817 NEW BEST:: SOT 25402 SOS 6922 HAS SOPS 6051 HAS SOUS 5774 HAS SOUPS 5147 WITH SCORE 5153.922
AT ITER 1820 NEW BEST:: SOT 25402 SOS 6896 HAS SOPS 6051 HAS SOUS 5756 HAS SOUPS 5147 WITH SCORE 5153.896
AT ITER 1828 NEW BEST:: SOT 25394 SOS 6881 HAS SOPS 6030 HAS SOUS 5726 HAS SOUPS 5119 WITH SCORE 5125.881
AT ITER 1847 NEW BEST:: SOT 25391 SOS 6884 HAS SOPS 6019 HAS SOUS 5729 HAS SOUPS 5108 WITH SCORE 5114.884
AT ITER 1897 NEW BEST:: SOT 25378 SOS 6874 HAS SOPS 6009 HAS SOUS 5717 HAS SOUPS 5096 WITH SCORE 5102.874
AT ITER 1921 NEW BEST:: SOT 25377 SOS 6873 HAS SOPS 6008 HAS SOUS 5709 HAS SOUPS 5088 WITH SCORE 5094.873
AT ITER 1936 NEW BEST:: SOT 25371 SOS 6867 HAS SOPS 5996 HAS SOUS 5706 HAS SOUPS 5079 WITH SCORE 5085.867
AT ITER 1948 NEW BEST:: SOT 25371 SOS 6856 HAS SOPS 5993 HAS SOUS 5695 HAS SOUPS 5076 WITH SCORE 5082.856
AT ITER 1949 NEW BEST:: SOT 25369 SOS 6850 HAS SOPS 5989 HAS SOUS 5689 HAS SOUPS 5072 WITH SCORE 5078.85
AT ITER 1964 NEW BEST:: SOT 25369 SOS 6847 HAS SOPS 5989 HAS SOUS 5686 HAS SOUPS 5072 WITH SCORE 5078.847
AT ITER 2049 NEW BEST:: SOT 25368 SOS 6846 HAS SOPS 5987 HAS SOUS 5685 HAS SOUPS 5070 WITH SCORE 5076.846
AT ITER 2099 NEW BEST:: SOT 25365 SOS 6843 HAS SOPS 5984 HAS SOUS 5682 HAS SOUPS 5067 WITH SCORE 5073.843
AT ITER 2109 NEW BEST:: SOT 25359 SOS 6837 HAS SOPS 5972 HAS SOUS 5675 HAS SOUPS 5059 WITH SCORE 5065.837
AT ITER 2115 NEW BEST:: SOT 25357 SOS 6829 HAS SOPS 5964 HAS SOUS 5667 HAS SOUPS 5051 WITH SCORE 5057.829
AT ITER 2119 NEW BEST:: SOT 25334 SOS 6771 HAS SOPS 5915 HAS SOUS 5631 HAS SOUPS 5024 WITH SCORE 5030.771
AT ITER 2191 NEW BEST:: SOT 25293 SOS 6700 HAS SOPS 5850 HAS SOUS 5531 HAS SOUPS 4935 WITH SCORE 4941.7
AT ITER 2193 NEW BEST:: SOT 25285 SOS 6688 HAS SOPS 5838 HAS SOUS 5527 HAS SOUPS 4931 WITH SCORE 4937.688
AT ITER 2204 NEW BEST:: SOT 25284 SOS 6687 HAS SOPS 5837 HAS SOUS 5526 HAS SOUPS 4930 WITH SCORE 4936.687
AT ITER 2220 NEW BEST:: SOT 25297 SOS 6656 HAS SOPS 5806 HAS SOUS 5525 HAS SOUPS 4929 WITH SCORE 4935.656
AT ITER 2233 NEW BEST:: SOT 25308 SOS 6654 HAS SOPS 5810 HAS SOUS 5519 HAS SOUPS 4929 WITH SCORE 4935.654
AT ITER 2235 NEW BEST:: SOT 25308 SOS 6645 HAS SOPS 5798 HAS SOUS 5522 HAS SOUPS 4929 WITH SCORE 4935.645
AT ITER 2242 NEW BEST:: SOT 25319 SOS 6634 HAS SOPS 5787 HAS SOUS 5511 HAS SOUPS 4918 WITH SCORE 4924.634
AT ITER 2245 NEW BEST:: SOT 25308 SOS 6685 HAS SOPS 5818 HAS SOUS 5526 HAS SOUPS 4913 WITH SCORE 4919.685
AT ITER 2304 NEW BEST:: SOT 25308 SOS 6668 HAS SOPS 5818 HAS SOUS 5499 HAS SOUPS 4904 WITH SCORE 4910.668
AT ITER 2307 NEW BEST:: SOT 25308 SOS 6642 HAS SOPS 5792 HAS SOUS 5485 HAS SOUPS 4890 WITH SCORE 4896.642
AT ITER 2329 NEW BEST:: SOT 25305 SOS 6641 HAS SOPS 5791 HAS SOUS 5483 HAS SOUPS 4888 WITH SCORE 4894.641
AT ITER 2359 NEW BEST:: SOT 25289 SOS 6625 HAS SOPS 5759 HAS SOUS 5467 HAS SOUPS 4872 WITH SCORE 4878.625
AT ITER 2372 NEW BEST:: SOT 25289 SOS 6621 HAS SOPS 5751 HAS SOUS 5459 HAS SOUPS 4864 WITH SCORE 4870.621
AT ITER 2406 NEW BEST:: SOT 25276 SOS 6380 HAS SOPS 5510 HAS SOUS 5433 HAS SOUPS 4838 WITH SCORE 4844.38
AT ITER 2472 NEW BEST:: SOT 25284 SOS 6388 HAS SOPS 5505 HAS SOUS 5441 HAS SOUPS 4833 WITH SCORE 4839.388
AT ITER 2480 NEW BEST:: SOT 25284 SOS 6387 HAS SOPS 5505 HAS SOUS 5438 HAS SOUPS 4830 WITH SCORE 4836.387
AT ITER 2492 NEW BEST:: SOT 25284 SOS 6387 HAS SOPS 5502 HAS SOUS 5432 HAS SOUPS 4824 WITH SCORE 4830.387
AT ITER 2497 NEW BEST:: SOT 25290 SOS 6350 HAS SOPS 5484 HAS SOUS 5411 HAS SOUPS 4817 WITH SCORE 4823.35
AT ITER 2514 NEW BEST:: SOT 25292 SOS 6346 HAS SOPS 5481 HAS SOUS 5407 HAS SOUPS 4814 WITH SCORE 4820.346
AT ITER 2520 NEW BEST:: SOT 25287 SOS 6340 HAS SOPS 5475 HAS SOUS 5401 HAS SOUPS 4808 WITH SCORE 4814.34
AT ITER 2532 NEW BEST:: SOT 25285 SOS 6327 HAS SOPS 5479 HAS SOUS 5377 HAS SOUPS 4805 WITH SCORE 4811.327
AT ITER 2567 NEW BEST:: SOT 25273 SOS 6315 HAS SOPS 5467 HAS SOUS 5365 HAS SOUPS 4793 WITH SCORE 4799.315
AT ITER 2570 NEW BEST:: SOT 25274 SOS 6314 HAS SOPS 5466 HAS SOUS 5364 HAS SOUPS 4792 WITH SCORE 4798.314
AT ITER 2577 NEW BEST:: SOT 25251 SOS 6280 HAS SOPS 5432 HAS SOUS 5330 HAS SOUPS 4758 WITH SCORE 4764.28
AT ITER 2594 NEW BEST:: SOT 25250 SOS 6279 HAS SOPS 5430 HAS SOUS 5329 HAS SOUPS 4756 WITH SCORE 4762.279
AT ITER 2599 NEW BEST:: SOT 25238 SOS 6275 HAS SOPS 5426 HAS SOUS 5321 HAS SOUPS 4748 WITH SCORE 4754.275
AT ITER 2644 NEW BEST:: SOT 25233 SOS 6249 HAS SOPS 5400 HAS SOUS 5312 HAS SOUPS 4739 WITH SCORE 4745.249
AT ITER 2709 NEW BEST:: SOT 25233 SOS 6247 HAS SOPS 5398 HAS SOUS 5310 HAS SOUPS 4737 WITH SCORE 4743.247
AT ITER 2749 NEW BEST:: SOT 25211 SOS 6221 HAS SOPS 5372 HAS SOUS 5284 HAS SOUPS 4711 WITH SCORE 4717.221
AT ITER 2762 NEW BEST:: SOT 25208 SOS 6215 HAS SOPS 5366 HAS SOUS 5275 HAS SOUPS 4702 WITH SCORE 4708.215
AT ITER 2781 NEW BEST:: SOT 25208 SOS 6215 HAS SOPS 5363 HAS SOUS 5275 HAS SOUPS 4699 WITH SCORE 4705.215
AT ITER 2793 NEW BEST:: SOT 25208 SOS 6211 HAS SOPS 5358 HAS SOUS 5275 HAS SOUPS 4698 WITH SCORE 4704.211
AT ITER 2795 NEW BEST:: SOT 25205 SOS 6205 HAS SOPS 5355 HAS SOUS 5269 HAS SOUPS 4695 WITH SCORE 4701.205
AT ITER 2810 NEW BEST:: SOT 25206 SOS 6173 HAS SOPS 5347 HAS SOUS 5248 HAS SOUPS 4687 WITH SCORE 4693.173
AT ITER 2824 NEW BEST:: SOT 25206 SOS 6173 HAS SOPS 5347 HAS SOUS 5234 HAS SOUPS 4673 WITH SCORE 4679.173
AT ITER 2826 NEW BEST:: SOT 25196 SOS 6153 HAS SOPS 5327 HAS SOUS 5216 HAS SOUPS 4655 WITH SCORE 4661.153
AT ITER 2893 NEW BEST:: SOT 25196 SOS 6147 HAS SOPS 5324 HAS SOUS 5210 HAS SOUPS 4652 WITH SCORE 4658.147
AT ITER 2934 NEW BEST:: SOT 25190 SOS 6141 HAS SOPS 5324 HAS SOUS 5210 HAS SOUPS 4652 WITH SCORE 4658.141
AT ITER 2946 NEW BEST:: SOT 25183 SOS 6134 HAS SOPS 5317 HAS SOUS 5205 HAS SOUPS 4647 WITH SCORE 4653.134
AT ITER 2948 NEW BEST:: SOT 25183 SOS 6132 HAS SOPS 5315 HAS SOUS 5203 HAS SOUPS 4645 WITH SCORE 4651.132
AT ITER 2973 NEW BEST:: SOT 25174 SOS 6093 HAS SOPS 5276 HAS SOUS 5182 HAS SOUPS 4624 WITH SCORE 4630.093
AT ITER 3017 NEW BEST:: SOT 25165 SOS 6148 HAS SOPS 5287 HAS SOUS 5198 HAS SOUPS 4617 WITH SCORE 4623.148
AT ITER 3066 NEW BEST:: SOT 25154 SOS 6139 HAS SOPS 5285 HAS SOUS 5189 HAS SOUPS 4615 WITH SCORE 4621.139
AT ITER 3115 NEW BEST:: SOT 25154 SOS 6137 HAS SOPS 5283 HAS SOUS 5189 HAS SOUPS 4615 WITH SCORE 4621.137
AT ITER 3117 NEW BEST:: SOT 25147 SOS 6101 HAS SOPS 5247 HAS SOUS 5154 HAS SOUPS 4580 WITH SCORE 4586.101
AT ITER 3141 NEW BEST:: SOT 25145 SOS 6096 HAS SOPS 5242 HAS SOUS 5149 HAS SOUPS 4575 WITH SCORE 4581.096
AT ITER 3143 NEW BEST:: SOT 25142 SOS 6114 HAS SOPS 5239 HAS SOUS 5152 HAS SOUPS 4571 WITH SCORE 4577.114
AT ITER 3212 NEW BEST:: SOT 25132 SOS 6096 HAS SOPS 5221 HAS SOUS 5134 HAS SOUPS 4553 WITH SCORE 4559.096
AT ITER 3216 NEW BEST:: SOT 25132 SOS 6089 HAS SOPS 5221 HAS SOUS 5127 HAS SOUPS 4553 WITH SCORE 4559.089
AT ITER 3223 NEW BEST:: SOT 25131 SOS 6088 HAS SOPS 5220 HAS SOUS 5126 HAS SOUPS 4552 WITH SCORE 4558.088
AT ITER 3250 NEW BEST:: SOT 25125 SOS 6046 HAS SOPS 5185 HAS SOUS 5107 HAS SOUPS 4540 WITH SCORE 4546.046
AT ITER 3260 NEW BEST:: SOT 25119 SOS 6044 HAS SOPS 5179 HAS SOUS 5105 HAS SOUPS 4534 WITH SCORE 4540.044
AT ITER 3280 NEW BEST:: SOT 25119 SOS 6043 HAS SOPS 5178 HAS SOUS 5104 HAS SOUPS 4533 WITH SCORE 4539.043
AT ITER 3281 NEW BEST:: SOT 25120 SOS 6044 HAS SOPS 5182 HAS SOUS 5098 HAS SOUPS 4527 WITH SCORE 4533.044
AT ITER 3286 NEW BEST:: SOT 25120 SOS 6035 HAS SOPS 5173 HAS SOUS 5089 HAS SOUPS 4518 WITH SCORE 4524.035
AT ITER 3328 NEW BEST:: SOT 25111 SOS 6018 HAS SOPS 5158 HAS SOUS 5072 HAS SOUPS 4503 WITH SCORE 4509.018
AT ITER 3367 NEW BEST:: SOT 25103 SOS 5888 HAS SOPS 5028 HAS SOUS 5053 HAS SOUPS 4484 WITH SCORE 4489.888
AT ITER 3370 NEW BEST:: SOT 25099 SOS 5884 HAS SOPS 5024 HAS SOUS 5045 HAS SOUPS 4476 WITH SCORE 4481.884
AT ITER 3391 NEW BEST:: SOT 25098 SOS 5875 HAS SOPS 5016 HAS SOUS 5036 HAS SOUPS 4468 WITH SCORE 4473.875
AT ITER 3405 NEW BEST:: SOT 25086 SOS 5840 HAS SOPS 4993 HAS SOUS 5000 HAS SOUPS 4444 WITH SCORE 4449.84
AT ITER 3467 NEW BEST:: SOT 25092 SOS 5837 HAS SOPS 4990 HAS SOUS 4997 HAS SOUPS 4441 WITH SCORE 4446.837
AT ITER 3497 NEW BEST:: SOT 25089 SOS 5837 HAS SOPS 4987 HAS SOUS 5001 HAS SOUPS 4438 WITH SCORE 4443.837
AT ITER 3561 NEW BEST:: SOT 25089 SOS 5808 HAS SOPS 4971 HAS SOUS 4985 HAS SOUPS 4422 WITH SCORE 4427.808
AT ITER 3567 NEW BEST:: SOT 25088 SOS 5805 HAS SOPS 4969 HAS SOUS 4982 HAS SOUPS 4420 WITH SCORE 4425.805
AT ITER 3568 NEW BEST:: SOT 25081 SOS 5789 HAS SOPS 4953 HAS SOUS 4966 HAS SOUPS 4404 WITH SCORE 4409.789
AT ITER 3587 NEW BEST:: SOT 25075 SOS 5776 HAS SOPS 4941 HAS SOUS 4961 HAS SOUPS 4399 WITH SCORE 4404.776
AT ITER 3588 NEW BEST:: SOT 25069 SOS 5764 HAS SOPS 4935 HAS SOUS 4952 HAS SOUPS 4393 WITH SCORE 4398.764
AT ITER 3614 NEW BEST:: SOT 25069 SOS 5763 HAS SOPS 4935 HAS SOUS 4952 HAS SOUPS 4393 WITH SCORE 4398.763
AT ITER 3617 NEW BEST:: SOT 25066 SOS 5760 HAS SOPS 4932 HAS SOUS 4949 HAS SOUPS 4390 WITH SCORE 4395.76
AT ITER 3667 NEW BEST:: SOT 25069 SOS 5763 HAS SOPS 4928 HAS SOUS 4951 HAS SOUPS 4386 WITH SCORE 4391.763
AT ITER 3801 NEW BEST:: SOT 25069 SOS 5755 HAS SOPS 4924 HAS SOUS 4943 HAS SOUPS 4382 WITH SCORE 4387.755
AT ITER 3830 NEW BEST:: SOT 25069 SOS 5755 HAS SOPS 4916 HAS SOUS 4943 HAS SOUPS 4374 WITH SCORE 4379.755
AT ITER 3832 NEW BEST:: SOT 25059 SOS 5740 HAS SOPS 4906 HAS SOUS 4930 HAS SOUPS 4366 WITH SCORE 4371.74
AT ITER 3840 NEW BEST:: SOT 25055 SOS 5736 HAS SOPS 4898 HAS SOUS 4926 HAS SOUPS 4358 WITH SCORE 4363.736
AT ITER 3925 NEW BEST:: SOT 25049 SOS 5730 HAS SOPS 4886 HAS SOUS 4920 HAS SOUPS 4352 WITH SCORE 4357.73
AT ITER 3939 NEW BEST:: SOT 25052 SOS 5728 HAS SOPS 4884 HAS SOUS 4918 HAS SOUPS 4350 WITH SCORE 4355.728
AT ITER 3947 NEW BEST:: SOT 25051 SOS 5721 HAS SOPS 4880 HAS SOUS 4911 HAS SOUPS 4346 WITH SCORE 4351.721
AT ITER 4002 NEW BEST:: SOT 25048 SOS 5709 HAS SOPS 4874 HAS SOUS 4899 HAS SOUPS 4340 WITH SCORE 4345.709
AT ITER 4051 NEW BEST:: SOT 25048 SOS 5666 HAS SOPS 4831 HAS SOUS 4856 HAS SOUPS 4297 WITH SCORE 4302.666
AT ITER 4065 NEW BEST:: SOT 25052 SOS 5658 HAS SOPS 4823 HAS SOUS 4848 HAS SOUPS 4289 WITH SCORE 4294.658
AT ITER 4068 NEW BEST:: SOT 25055 SOS 5666 HAS SOPS 4826 HAS SOUS 4847 HAS SOUPS 4288 WITH SCORE 4293.666
AT ITER 4236 NEW BEST:: SOT 25045 SOS 5676 HAS SOPS 4811 HAS SOUS 4841 HAS SOUPS 4277 WITH SCORE 4282.676
AT ITER 4318 NEW BEST:: SOT 25016 SOS 5668 HAS SOPS 4803 HAS SOUS 4833 HAS SOUPS 4269 WITH SCORE 4274.668
AT ITER 4385 NEW BEST:: SOT 25015 SOS 5671 HAS SOPS 4802 HAS SOUS 4834 HAS SOUPS 4268 WITH SCORE 4273.671
AT ITER 4448 NEW BEST:: SOT 25007 SOS 5667 HAS SOPS 4794 HAS SOUS 4830 HAS SOUPS 4260 WITH SCORE 4265.667
AT ITER 4449 NEW BEST:: SOT 25005 SOS 5665 HAS SOPS 4792 HAS SOUS 4828 HAS SOUPS 4258 WITH SCORE 4263.665
AT ITER 4470 NEW BEST:: SOT 25003 SOS 5657 HAS SOPS 4775 HAS SOUS 4822 HAS SOUPS 4246 WITH SCORE 4251.657
AT ITER 4493 NEW BEST:: SOT 24998 SOS 5647 HAS SOPS 4770 HAS SOUS 4812 HAS SOUPS 4241 WITH SCORE 4246.647
AT ITER 4496 NEW BEST:: SOT 24994 SOS 5642 HAS SOPS 4764 HAS SOUS 4809 HAS SOUPS 4237 WITH SCORE 4242.642
AT ITER 4533 NEW BEST:: SOT 24985 SOS 5633 HAS SOPS 4755 HAS SOUS 4798 HAS SOUPS 4226 WITH SCORE 4231.633
AT ITER 4621 NEW BEST:: SOT 24982 SOS 5627 HAS SOPS 4752 HAS SOUS 4792 HAS SOUPS 4223 WITH SCORE 4228.627
AT ITER 4667 NEW BEST:: SOT 24982 SOS 5640 HAS SOPS 4768 HAS SOUS 4786 HAS SOUPS 4220 WITH SCORE 4225.64
AT ITER 4682 NEW BEST:: SOT 24981 SOS 5638 HAS SOPS 4767 HAS SOUS 4784 HAS SOUPS 4219 WITH SCORE 4224.638
AT ITER 4715 NEW BEST:: SOT 24984 SOS 5621 HAS SOPS 4750 HAS SOUS 4784 HAS SOUPS 4219 WITH SCORE 4224.621
AT ITER 4747 NEW BEST:: SOT 24972 SOS 5609 HAS SOPS 4750 HAS SOUS 4777 HAS SOUPS 4219 WITH SCORE 4224.609
AT ITER 4759 NEW BEST:: SOT 24972 SOS 5609 HAS SOPS 4750 HAS SOUS 4775 HAS SOUPS 4217 WITH SCORE 4222.609
AT ITER 4765 NEW BEST:: SOT 24960 SOS 5570 HAS SOPS 4732 HAS SOUS 4757 HAS SOUPS 4210 WITH SCORE 4215.57
AT ITER 4861 NEW BEST:: SOT 24923 SOS 5552 HAS SOPS 4721 HAS SOUS 4746 HAS SOUPS 4199 WITH SCORE 4204.552
AT ITER 4871 NEW BEST:: SOT 24918 SOS 5524 HAS SOPS 4702 HAS SOUS 4718 HAS SOUPS 4180 WITH SCORE 4185.524
AT ITER 4947 NEW BEST:: SOT 24918 SOS 5517 HAS SOPS 4695 HAS SOUS 4711 HAS SOUPS 4173 WITH SCORE 4178.517
AT ITER 4958 NEW BEST:: SOT 24915 SOS 5516 HAS SOPS 4692 HAS SOUS 4705 HAS SOUPS 4170 WITH SCORE 4175.516
AT ITER 4984 NEW BEST:: SOT 24915 SOS 5513 HAS SOPS 4685 HAS SOUS 4702 HAS SOUPS 4163 WITH SCORE 4168.513
AT ITER 4999 NEW BEST:: SOT 24915 SOS 5512 HAS SOPS 4684 HAS SOUS 4701 HAS SOUPS 4162 WITH SCORE 4167.512
AT ITER 5012 NEW BEST:: SOT 24912 SOS 5487 HAS SOPS 4659 HAS SOUS 4676 HAS SOUPS 4137 WITH SCORE 4142.487
AT ITER 5033 NEW BEST:: SOT 24911 SOS 5482 HAS SOPS 4656 HAS SOUS 4671 HAS SOUPS 4134 WITH SCORE 4139.482
AT ITER 5125 NEW BEST:: SOT 24902 SOS 5491 HAS SOPS 4665 HAS SOUS 4653 HAS SOUPS 4116 WITH SCORE 4121.491
AT ITER 5152 NEW BEST:: SOT 24883 SOS 5461 HAS SOPS 4649 HAS SOUS 4637 HAS SOUPS 4111 WITH SCORE 4116.461
AT ITER 5153 NEW BEST:: SOT 24873 SOS 5453 HAS SOPS 4641 HAS SOUS 4622 HAS SOUPS 4096 WITH SCORE 4101.453
AT ITER 5211 NEW BEST:: SOT 24864 SOS 5475 HAS SOPS 4633 HAS SOUS 4623 HAS SOUPS 4077 WITH SCORE 4082.475
AT ITER 5269 NEW BEST:: SOT 24853 SOS 5458 HAS SOPS 4622 HAS SOUS 4590 HAS SOUPS 4055 WITH SCORE 4060.458
AT ITER 5330 NEW BEST:: SOT 24853 SOS 5457 HAS SOPS 4621 HAS SOUS 4596 HAS SOUPS 4054 WITH SCORE 4059.457
AT ITER 5431 NEW BEST:: SOT 24851 SOS 5464 HAS SOPS 4625 HAS SOUS 4594 HAS SOUPS 4052 WITH SCORE 4057.464
AT ITER 5542 NEW BEST:: SOT 24856 SOS 5450 HAS SOPS 4622 HAS SOUS 4585 HAS SOUPS 4049 WITH SCORE 4054.45
AT ITER 5549 NEW BEST:: SOT 24850 SOS 5444 HAS SOPS 4622 HAS SOUS 4579 HAS SOUPS 4049 WITH SCORE 4054.444
AT ITER 5563 NEW BEST:: SOT 24842 SOS 5428 HAS SOPS 4616 HAS SOUS 4563 HAS SOUPS 4043 WITH SCORE 4048.428
AT ITER 5574 NEW BEST:: SOT 24835 SOS 5416 HAS SOPS 4611 HAS SOUS 4551 HAS SOUPS 4038 WITH SCORE 4043.416
AT ITER 5595 NEW BEST:: SOT 24835 SOS 5417 HAS SOPS 4610 HAS SOUS 4552 HAS SOUPS 4037 WITH SCORE 4042.417
AT ITER 5777 NEW BEST:: SOT 24835 SOS 5375 HAS SOPS 4580 HAS SOUS 4555 HAS SOUPS 4037 WITH SCORE 4042.375
AT ITER 5789 NEW BEST:: SOT 24835 SOS 5350 HAS SOPS 4580 HAS SOUS 4530 HAS SOUPS 4037 WITH SCORE 4042.35
AT ITER 5815 NEW BEST:: SOT 24835 SOS 5348 HAS SOPS 4580 HAS SOUS 4528 HAS SOUPS 4037 WITH SCORE 4042.348
AT ITER 5837 NEW BEST:: SOT 24832 SOS 5312 HAS SOPS 4568 HAS SOUS 4510 HAS SOUPS 4034 WITH SCORE 4039.312
AT ITER 5838 NEW BEST:: SOT 24829 SOS 5309 HAS SOPS 4565 HAS SOUS 4507 HAS SOUPS 4031 WITH SCORE 4036.309
AT ITER 5841 NEW BEST:: SOT 24829 SOS 5306 HAS SOPS 4562 HAS SOUS 4504 HAS SOUPS 4028 WITH SCORE 4033.306
AT ITER 5893 NEW BEST:: SOT 24822 SOS 5301 HAS SOPS 4557 HAS SOUS 4499 HAS SOUPS 4023 WITH SCORE 4028.301
AT ITER 6035 NEW BEST:: SOT 24822 SOS 5295 HAS SOPS 4554 HAS SOUS 4496 HAS SOUPS 4020 WITH SCORE 4025.295
AT ITER 6058 NEW BEST:: SOT 24822 SOS 5283 HAS SOPS 4551 HAS SOUS 4482 HAS SOUPS 4018 WITH SCORE 4023.283
AT ITER 6063 NEW BEST:: SOT 24817 SOS 5263 HAS SOPS 4541 HAS SOUS 4467 HAS SOUPS 4008 WITH SCORE 4013.263
AT ITER 6064 NEW BEST:: SOT 24801 SOS 5233 HAS SOPS 4536 HAS SOUS 4442 HAS SOUPS 4003 WITH SCORE 4008.233
AT ITER 6068 NEW BEST:: SOT 24800 SOS 5231 HAS SOPS 4534 HAS SOUS 4440 HAS SOUPS 4001 WITH SCORE 4006.231
AT ITER 6092 NEW BEST:: SOT 24794 SOS 5207 HAS SOPS 4516 HAS SOUS 4416 HAS SOUPS 3983 WITH SCORE 3988.207
AT ITER 6152 NEW BEST:: SOT 24794 SOS 5204 HAS SOPS 4513 HAS SOUS 4413 HAS SOUPS 3980 WITH SCORE 3985.204
AT ITER 6189 NEW BEST:: SOT 24792 SOS 5204 HAS SOPS 4513 HAS SOUS 4407 HAS SOUPS 3974 WITH SCORE 3979.204
AT ITER 6225 NEW BEST:: SOT 24792 SOS 5198 HAS SOPS 4505 HAS SOUS 4411 HAS SOUPS 3974 WITH SCORE 3979.198
AT ITER 6233 NEW BEST:: SOT 24784 SOS 5187 HAS SOPS 4494 HAS SOUS 4395 HAS SOUPS 3958 WITH SCORE 3963.187
AT ITER 6259 NEW BEST:: SOT 24784 SOS 5183 HAS SOPS 4490 HAS SOUS 4395 HAS SOUPS 3958 WITH SCORE 3963.183
AT ITER 6261 NEW BEST:: SOT 24784 SOS 5181 HAS SOPS 4488 HAS SOUS 4393 HAS SOUPS 3956 WITH SCORE 3961.181
AT ITER 6302 NEW BEST:: SOT 24779 SOS 5176 HAS SOPS 4483 HAS SOUS 4388 HAS SOUPS 3951 WITH SCORE 3956.176
AT ITER 6376 NEW BEST:: SOT 24776 SOS 5172 HAS SOPS 4482 HAS SOUS 4387 HAS SOUPS 3950 WITH SCORE 3955.172
AT ITER 6399 NEW BEST:: SOT 24776 SOS 5172 HAS SOPS 4482 HAS SOUS 4386 HAS SOUPS 3949 WITH SCORE 3954.172
AT ITER 6441 NEW BEST:: SOT 24755 SOS 5238 HAS SOPS 4556 HAS SOUS 4362 HAS SOUPS 3936 WITH SCORE 3941.238
AT ITER 6447 NEW BEST:: SOT 24737 SOS 5230 HAS SOPS 4548 HAS SOUS 4354 HAS SOUPS 3928 WITH SCORE 3933.23
AT ITER 6461 NEW BEST:: SOT 24737 SOS 5216 HAS SOPS 4534 HAS SOUS 4354 HAS SOUPS 3928 WITH SCORE 3933.216
AT ITER 6479 NEW BEST:: SOT 24738 SOS 5220 HAS SOPS 4525 HAS SOUS 4358 HAS SOUPS 3919 WITH SCORE 3924.22
AT ITER 6491 NEW BEST:: SOT 24734 SOS 5219 HAS SOPS 4524 HAS SOUS 4357 HAS SOUPS 3918 WITH SCORE 3923.219
AT ITER 6518 NEW BEST:: SOT 24734 SOS 5219 HAS SOPS 4516 HAS SOUS 4357 HAS SOUPS 3910 WITH SCORE 3915.219
AT ITER 6558 NEW BEST:: SOT 24728 SOS 5214 HAS SOPS 4511 HAS SOUS 4352 HAS SOUPS 3905 WITH SCORE 3910.214
AT ITER 6567 NEW BEST:: SOT 24727 SOS 5213 HAS SOPS 4511 HAS SOUS 4351 HAS SOUPS 3905 WITH SCORE 3910.213
AT ITER 6602 NEW BEST:: SOT 24726 SOS 5209 HAS SOPS 4507 HAS SOUS 4344 HAS SOUPS 3901 WITH SCORE 3906.209
AT ITER 6644 NEW BEST:: SOT 24725 SOS 5207 HAS SOPS 4506 HAS SOUS 4342 HAS SOUPS 3900 WITH SCORE 3905.207
AT ITER 6655 NEW BEST:: SOT 24723 SOS 5204 HAS SOPS 4504 HAS SOUS 4339 HAS SOUPS 3898 WITH SCORE 3903.204
AT ITER 6718 NEW BEST:: SOT 24722 SOS 5203 HAS SOPS 4503 HAS SOUS 4338 HAS SOUPS 3897 WITH SCORE 3902.203
AT ITER 6723 NEW BEST:: SOT 24720 SOS 5201 HAS SOPS 4501 HAS SOUS 4336 HAS SOUPS 3895 WITH SCORE 3900.201
AT ITER 6736 NEW BEST:: SOT 24714 SOS 5195 HAS SOPS 4489 HAS SOUS 4336 HAS SOUPS 3892 WITH SCORE 3897.195
AT ITER 6814 NEW BEST:: SOT 24714 SOS 5186 HAS SOPS 4488 HAS SOUS 4327 HAS SOUPS 3891 WITH SCORE 3896.186
AT ITER 6832 NEW BEST:: SOT 24712 SOS 5184 HAS SOPS 4486 HAS SOUS 4325 HAS SOUPS 3889 WITH SCORE 3894.184
AT ITER 6833 NEW BEST:: SOT 24712 SOS 5210 HAS SOPS 4512 HAS SOUS 4321 HAS SOUPS 3885 WITH SCORE 3890.21
AT ITER 6856 NEW BEST:: SOT 24707 SOS 5200 HAS SOPS 4502 HAS SOUS 4316 HAS SOUPS 3880 WITH SCORE 3885.2
AT ITER 6880 NEW BEST:: SOT 24707 SOS 5197 HAS SOPS 4496 HAS SOUS 4313 HAS SOUPS 3874 WITH SCORE 3879.197
AT ITER 6959 NEW BEST:: SOT 24703 SOS 5187 HAS SOPS 4493 HAS SOUS 4302 HAS SOUPS 3870 WITH SCORE 3875.187
AT ITER 6960 NEW BEST:: SOT 24700 SOS 5188 HAS SOPS 4492 HAS SOUS 4303 HAS SOUPS 3869 WITH SCORE 3874.188
AT ITER 7039 NEW BEST:: SOT 24699 SOS 5185 HAS SOPS 4490 HAS SOUS 4300 HAS SOUPS 3867 WITH SCORE 3872.185
AT ITER 7074 NEW BEST:: SOT 24693 SOS 5170 HAS SOPS 4475 HAS SOUS 4285 HAS SOUPS 3852 WITH SCORE 3857.17
AT ITER 7085 NEW BEST:: SOT 24695 SOS 5167 HAS SOPS 4472 HAS SOUS 4282 HAS SOUPS 3849 WITH SCORE 3854.167
AT ITER 7097 NEW BEST:: SOT 24697 SOS 5099 HAS SOPS 4418 HAS SOUS 4266 HAS SOUPS 3838 WITH SCORE 3843.099
AT ITER 7126 NEW BEST:: SOT 24696 SOS 5096 HAS SOPS 4416 HAS SOUS 4263 HAS SOUPS 3836 WITH SCORE 3841.096
AT ITER 7164 NEW BEST:: SOT 24696 SOS 5095 HAS SOPS 4415 HAS SOUS 4262 HAS SOUPS 3835 WITH SCORE 3840.095
AT ITER 7216 NEW BEST:: SOT 24692 SOS 5087 HAS SOPS 4409 HAS SOUS 4252 HAS SOUPS 3827 WITH SCORE 3832.087
AT ITER 7263 NEW BEST:: SOT 24692 SOS 5086 HAS SOPS 4408 HAS SOUS 4251 HAS SOUPS 3826 WITH SCORE 3831.086
AT ITER 7266 NEW BEST:: SOT 24687 SOS 5079 HAS SOPS 4399 HAS SOUS 4244 HAS SOUPS 3817 WITH SCORE 3822.079
AT ITER 7284 NEW BEST:: SOT 24677 SOS 5064 HAS SOPS 4384 HAS SOUS 4229 HAS SOUPS 3802 WITH SCORE 3807.064
AT ITER 7314 NEW BEST:: SOT 24677 SOS 5069 HAS SOPS 4372 HAS SOUS 4224 HAS SOUPS 3789 WITH SCORE 3794.069
AT ITER 7329 NEW BEST:: SOT 24673 SOS 5057 HAS SOPS 4381 HAS SOUS 4207 HAS SOUPS 3789 WITH SCORE 3794.057
AT ITER 7348 NEW BEST:: SOT 24672 SOS 5056 HAS SOPS 4380 HAS SOUS 4206 HAS SOUPS 3788 WITH SCORE 3793.056
AT ITER 7360 NEW BEST:: SOT 24669 SOS 5029 HAS SOPS 4353 HAS SOUS 4199 HAS SOUPS 3781 WITH SCORE 3786.029
AT ITER 7387 NEW BEST:: SOT 24670 SOS 5018 HAS SOPS 4342 HAS SOUS 4189 HAS SOUPS 3771 WITH SCORE 3776.018
AT ITER 7617 NEW BEST:: SOT 24656 SOS 5003 HAS SOPS 4327 HAS SOUS 4176 HAS SOUPS 3758 WITH SCORE 3763.003
AT ITER 7629 NEW BEST:: SOT 24648 SOS 4990 HAS SOPS 4322 HAS SOUS 4167 HAS SOUPS 3753 WITH SCORE 3757.99
AT ITER 7645 NEW BEST:: SOT 24645 SOS 4984 HAS SOPS 4322 HAS SOUS 4148 HAS SOUPS 3740 WITH SCORE 3744.984
AT ITER 7679 NEW BEST:: SOT 24643 SOS 4982 HAS SOPS 4320 HAS SOUS 4146 HAS SOUPS 3738 WITH SCORE 3742.982
AT ITER 7681 NEW BEST:: SOT 24643 SOS 4981 HAS SOPS 4319 HAS SOUS 4145 HAS SOUPS 3737 WITH SCORE 3741.981
AT ITER 7718 NEW BEST:: SOT 24641 SOS 4979 HAS SOPS 4317 HAS SOUS 4143 HAS SOUPS 3735 WITH SCORE 3739.979
AT ITER 7788 NEW BEST:: SOT 24640 SOS 4954 HAS SOPS 4292 HAS SOUS 4134 HAS SOUPS 3726 WITH SCORE 3730.954
AT ITER 7854 NEW BEST:: SOT 24636 SOS 4951 HAS SOPS 4289 HAS SOUS 4131 HAS SOUPS 3723 WITH SCORE 3727.951
AT ITER 7939 NEW BEST:: SOT 24636 SOS 4949 HAS SOPS 4286 HAS SOUS 4129 HAS SOUPS 3720 WITH SCORE 3724.949
AT ITER 7982 NEW BEST:: SOT 24632 SOS 4944 HAS SOPS 4281 HAS SOUS 4124 HAS SOUPS 3715 WITH SCORE 3719.944
AT ITER 7990 NEW BEST:: SOT 24630 SOS 4942 HAS SOPS 4279 HAS SOUS 4122 HAS SOUPS 3713 WITH SCORE 3717.942
AT ITER 8108 NEW BEST:: SOT 24629 SOS 4941 HAS SOPS 4278 HAS SOUS 4121 HAS SOUPS 3712 WITH SCORE 3716.941
AT ITER 8133 NEW BEST:: SOT 24627 SOS 4946 HAS SOPS 4276 HAS SOUS 4119 HAS SOUPS 3710 WITH SCORE 3714.946
AT ITER 8179 NEW BEST:: SOT 24629 SOS 4948 HAS SOPS 4280 HAS SOUS 4117 HAS SOUPS 3708 WITH SCORE 3712.948
AT ITER 8220 NEW BEST:: SOT 24627 SOS 4946 HAS SOPS 4274 HAS SOUS 4112 HAS SOUPS 3702 WITH SCORE 3706.946
AT ITER 8257 NEW BEST:: SOT 24623 SOS 4934 HAS SOPS 4262 HAS SOUS 4100 HAS SOUPS 3690 WITH SCORE 3694.934
AT ITER 8296 NEW BEST:: SOT 24618 SOS 4929 HAS SOPS 4257 HAS SOUS 4099 HAS SOUPS 3689 WITH SCORE 3693.929
AT ITER 8316 NEW BEST:: SOT 24611 SOS 4920 HAS SOPS 4250 HAS SOUS 4090 HAS SOUPS 3682 WITH SCORE 3686.92
AT ITER 8404 NEW BEST:: SOT 24611 SOS 4906 HAS SOPS 4235 HAS SOUS 4091 HAS SOUPS 3682 WITH SCORE 3686.906
AT ITER 8502 NEW BEST:: SOT 24609 SOS 4902 HAS SOPS 4232 HAS SOUS 4087 HAS SOUPS 3679 WITH SCORE 3683.902
AT ITER 8668 NEW BEST:: SOT 24610 SOS 4901 HAS SOPS 4231 HAS SOUS 4086 HAS SOUPS 3678 WITH SCORE 3682.901
AT ITER 8680 NEW BEST:: SOT 24602 SOS 4873 HAS SOPS 4223 HAS SOUS 4058 HAS SOUPS 3670 WITH SCORE 3674.873
AT ITER 8702 NEW BEST:: SOT 24599 SOS 4861 HAS SOPS 4211 HAS SOUS 4050 HAS SOUPS 3663 WITH SCORE 3667.861
AT ITER 8837 NEW BEST:: SOT 24594 SOS 4859 HAS SOPS 4206 HAS SOUS 4042 HAS SOUPS 3655 WITH SCORE 3659.859
AT ITER 8932 NEW BEST:: SOT 24592 SOS 4850 HAS SOPS 4197 HAS SOUS 4033 HAS SOUPS 3646 WITH SCORE 3650.85
AT ITER 8985 NEW BEST:: SOT 24588 SOS 4836 HAS SOPS 4193 HAS SOUS 4019 HAS SOUPS 3642 WITH SCORE 3646.836
AT ITER 9007 NEW BEST:: SOT 24596 SOS 4824 HAS SOPS 4181 HAS SOUS 4019 HAS SOUPS 3642 WITH SCORE 3646.824
AT ITER 9029 NEW BEST:: SOT 24595 SOS 4823 HAS SOPS 4181 HAS SOUS 4018 HAS SOUPS 3642 WITH SCORE 3646.823
AT ITER 9076 NEW BEST:: SOT 24596 SOS 4824 HAS SOPS 4178 HAS SOUS 4019 HAS SOUPS 3639 WITH SCORE 3643.824
AT ITER 9099 NEW BEST:: SOT 24597 SOS 4828 HAS SOPS 4174 HAS SOUS 4023 HAS SOUPS 3635 WITH SCORE 3639.828
AT ITER 9315 NEW BEST:: SOT 24596 SOS 4828 HAS SOPS 4173 HAS SOUS 4023 HAS SOUPS 3634 WITH SCORE 3638.828
AT ITER 9373 NEW BEST:: SOT 24594 SOS 4824 HAS SOPS 4173 HAS SOUS 4019 HAS SOUPS 3634 WITH SCORE 3638.824
AT ITER 9417 NEW BEST:: SOT 24594 SOS 4822 HAS SOPS 4171 HAS SOUS 4017 HAS SOUPS 3632 WITH SCORE 3636.822
AT ITER 9511 NEW BEST:: SOT 24590 SOS 4822 HAS SOPS 4170 HAS SOUS 4016 HAS SOUPS 3630 WITH SCORE 3634.822
AT ITER 9515 NEW BEST:: SOT 24593 SOS 4830 HAS SOPS 4169 HAS SOUS 4024 HAS SOUPS 3629 WITH SCORE 3633.83
AT ITER 9670 NEW BEST:: SOT 24593 SOS 4830 HAS SOPS 4169 HAS SOUS 4023 HAS SOUPS 3628 WITH SCORE 3632.83
AT ITER 9679 NEW BEST:: SOT 24592 SOS 4828 HAS SOPS 4168 HAS SOUS 4021 HAS SOUPS 3627 WITH SCORE 3631.828
AT ITER 9769 NEW BEST:: SOT 24586 SOS 4822 HAS SOPS 4162 HAS SOUS 4017 HAS SOUPS 3623 WITH SCORE 3627.822
AT ITER 9779 NEW BEST:: SOT 24586 SOS 4821 HAS SOPS 4163 HAS SOUS 4016 HAS SOUPS 3623 WITH SCORE 3627.821
AT ITER 9991 NEW BEST:: SOT 24585 SOS 4820 HAS SOPS 4162 HAS SOUS 4015 HAS SOUPS 3622 WITH SCORE 3626.82
STATE_SPACE STATES 1465206 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 5922650 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678873451168

--------------------
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-3"
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-3, 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-167863541800392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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