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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 720K
-rw-r--r-- 1 mcc users 7.6K Feb 26 17:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 17:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 17:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K 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.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 20K Feb 26 17:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 185K Feb 26 17:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 17:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K 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 1678872633751

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-1
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 09:30:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 09:30:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 09:30:37] [INFO ] Load time of PNML (sax parser for PT used): 165 ms
[2023-03-15 09:30:37] [INFO ] Transformed 231 places.
[2023-03-15 09:30:37] [INFO ] Transformed 202 transitions.
[2023-03-15 09:30:37] [INFO ] Found NUPN structural information;
[2023-03-15 09:30:37] [INFO ] Parsed PT model containing 231 places and 202 transitions and 846 arcs in 341 ms.
[2023-03-15 09:30:37] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 231 places, 202 transitions and 846 arcs took 13 ms.
Total runtime 418 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ParamProductionCell (PT), instance 1
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 26114 SOS 7708 HAS SOPS 6854 HAS SOUS 7065 HAS SOUPS 6438 WITH SCORE 6445.708
AT ITER 12 NEW BEST:: SOT 26095 SOS 7650 HAS SOPS 6815 HAS SOUS 7007 HAS SOUPS 6399 WITH SCORE 6406.65
AT ITER 20 NEW BEST:: SOT 26098 SOS 7646 HAS SOPS 6811 HAS SOUS 7003 HAS SOUPS 6395 WITH SCORE 6402.646
AT ITER 21 NEW BEST:: SOT 26088 SOS 7606 HAS SOPS 6781 HAS SOUS 6963 HAS SOUPS 6365 WITH SCORE 6372.606
AT ITER 77 NEW BEST:: SOT 26088 SOS 7523 HAS SOPS 6732 HAS SOUS 6906 HAS SOUPS 6342 WITH SCORE 6349.523
AT ITER 83 NEW BEST:: SOT 26069 SOS 7452 HAS SOPS 6703 HAS SOUS 6835 HAS SOUPS 6313 WITH SCORE 6320.452
AT ITER 89 NEW BEST:: SOT 26057 SOS 7431 HAS SOPS 6682 HAS SOUS 6814 HAS SOUPS 6292 WITH SCORE 6299.431
AT ITER 93 NEW BEST:: SOT 26050 SOS 7419 HAS SOPS 6669 HAS SOUS 6802 HAS SOUPS 6279 WITH SCORE 6286.419
AT ITER 98 NEW BEST:: SOT 26049 SOS 7401 HAS SOPS 6639 HAS SOUS 6798 HAS SOUPS 6263 WITH SCORE 6270.401
AT ITER 114 NEW BEST:: SOT 26035 SOS 7358 HAS SOPS 6597 HAS SOUS 6746 HAS SOUPS 6235 WITH SCORE 6242.358
AT ITER 157 NEW BEST:: SOT 26015 SOS 7322 HAS SOPS 6561 HAS SOUS 6725 HAS SOUPS 6214 WITH SCORE 6221.322
AT ITER 175 NEW BEST:: SOT 26014 SOS 7320 HAS SOPS 6557 HAS SOUS 6723 HAS SOUPS 6210 WITH SCORE 6217.32
AT ITER 218 NEW BEST:: SOT 26013 SOS 7305 HAS SOPS 6542 HAS SOUS 6708 HAS SOUPS 6195 WITH SCORE 6202.305
AT ITER 220 NEW BEST:: SOT 25978 SOS 7301 HAS SOPS 6538 HAS SOUS 6680 HAS SOUPS 6167 WITH SCORE 6174.301
AT ITER 227 NEW BEST:: SOT 25982 SOS 7311 HAS SOPS 6537 HAS SOUS 6690 HAS SOUPS 6166 WITH SCORE 6173.311
AT ITER 260 NEW BEST:: SOT 25982 SOS 7310 HAS SOPS 6536 HAS SOUS 6689 HAS SOUPS 6165 WITH SCORE 6172.31
AT ITER 261 NEW BEST:: SOT 25982 SOS 7310 HAS SOPS 6530 HAS SOUS 6689 HAS SOUPS 6159 WITH SCORE 6166.31
AT ITER 268 NEW BEST:: SOT 25961 SOS 7282 HAS SOPS 6522 HAS SOUS 6682 HAS SOUPS 6151 WITH SCORE 6158.282
AT ITER 275 NEW BEST:: SOT 25957 SOS 7254 HAS SOPS 6517 HAS SOUS 6654 HAS SOUPS 6146 WITH SCORE 6153.254
AT ITER 286 NEW BEST:: SOT 25954 SOS 7250 HAS SOPS 6510 HAS SOUS 6650 HAS SOUPS 6139 WITH SCORE 6146.25
AT ITER 306 NEW BEST:: SOT 25954 SOS 7248 HAS SOPS 6506 HAS SOUS 6648 HAS SOUPS 6135 WITH SCORE 6142.248
AT ITER 313 NEW BEST:: SOT 25972 SOS 7216 HAS SOPS 6510 HAS SOUS 6592 HAS SOUPS 6117 WITH SCORE 6124.216
AT ITER 323 NEW BEST:: SOT 25962 SOS 7197 HAS SOPS 6491 HAS SOUS 6571 HAS SOUPS 6096 WITH SCORE 6103.197
AT ITER 324 NEW BEST:: SOT 25935 SOS 7182 HAS SOPS 6449 HAS SOUS 6556 HAS SOUPS 6054 WITH SCORE 6061.182
AT ITER 332 NEW BEST:: SOT 25933 SOS 7177 HAS SOPS 6440 HAS SOUS 6555 HAS SOUPS 6049 WITH SCORE 6056.177
AT ITER 333 NEW BEST:: SOT 25933 SOS 7173 HAS SOPS 6436 HAS SOUS 6555 HAS SOUPS 6049 WITH SCORE 6056.173
AT ITER 360 NEW BEST:: SOT 25929 SOS 7169 HAS SOPS 6428 HAS SOUS 6551 HAS SOUPS 6041 WITH SCORE 6048.169
AT ITER 373 NEW BEST:: SOT 25912 SOS 7139 HAS SOPS 6413 HAS SOUS 6530 HAS SOUPS 6030 WITH SCORE 6037.139
AT ITER 382 NEW BEST:: SOT 25912 SOS 7128 HAS SOPS 6401 HAS SOUS 6533 HAS SOUPS 6029 WITH SCORE 6036.128
AT ITER 384 NEW BEST:: SOT 25871 SOS 7114 HAS SOPS 6387 HAS SOUS 6506 HAS SOUPS 6002 WITH SCORE 6009.114
AT ITER 401 NEW BEST:: SOT 25871 SOS 7109 HAS SOPS 6384 HAS SOUS 6501 HAS SOUPS 5999 WITH SCORE 6006.109
AT ITER 407 NEW BEST:: SOT 25865 SOS 7103 HAS SOPS 6378 HAS SOUS 6495 HAS SOUPS 5993 WITH SCORE 6000.103
AT ITER 424 NEW BEST:: SOT 25866 SOS 7092 HAS SOPS 6367 HAS SOUS 6484 HAS SOUPS 5982 WITH SCORE 5989.092
AT ITER 428 NEW BEST:: SOT 25866 SOS 7092 HAS SOPS 6363 HAS SOUS 6484 HAS SOUPS 5978 WITH SCORE 5985.092
AT ITER 435 NEW BEST:: SOT 25805 SOS 7028 HAS SOPS 6299 HAS SOUS 6418 HAS SOUPS 5912 WITH SCORE 5919.028
AT ITER 438 NEW BEST:: SOT 25805 SOS 7027 HAS SOPS 6299 HAS SOUS 6417 HAS SOUPS 5912 WITH SCORE 5919.027
AT ITER 443 NEW BEST:: SOT 25767 SOS 7031 HAS SOPS 6303 HAS SOUS 6398 HAS SOUPS 5893 WITH SCORE 5900.031
AT ITER 491 NEW BEST:: SOT 25766 SOS 7028 HAS SOPS 6300 HAS SOUS 6395 HAS SOUPS 5890 WITH SCORE 5897.028
AT ITER 494 NEW BEST:: SOT 25764 SOS 7026 HAS SOPS 6296 HAS SOUS 6393 HAS SOUPS 5886 WITH SCORE 5893.026
AT ITER 520 NEW BEST:: SOT 25764 SOS 6979 HAS SOPS 6275 HAS SOUS 6367 HAS SOUPS 5886 WITH SCORE 5892.979
AT ITER 524 NEW BEST:: SOT 25744 SOS 6995 HAS SOPS 6252 HAS SOUS 6364 HAS SOUPS 5863 WITH SCORE 5869.995
AT ITER 532 NEW BEST:: SOT 25738 SOS 6985 HAS SOPS 6242 HAS SOUS 6354 HAS SOUPS 5853 WITH SCORE 5859.985
AT ITER 534 NEW BEST:: SOT 25718 SOS 6969 HAS SOPS 6220 HAS SOUS 6341 HAS SOUPS 5834 WITH SCORE 5840.969
AT ITER 539 NEW BEST:: SOT 25662 SOS 6834 HAS SOPS 6105 HAS SOUS 6189 HAS SOUPS 5710 WITH SCORE 5716.834
AT ITER 561 NEW BEST:: SOT 25649 SOS 6825 HAS SOPS 6096 HAS SOUS 6170 HAS SOUPS 5691 WITH SCORE 5697.825
AT ITER 565 NEW BEST:: SOT 25649 SOS 6826 HAS SOPS 6096 HAS SOUS 6169 HAS SOUPS 5690 WITH SCORE 5696.826
AT ITER 581 NEW BEST:: SOT 25645 SOS 6830 HAS SOPS 6100 HAS SOUS 6167 HAS SOUPS 5688 WITH SCORE 5694.83
AT ITER 584 NEW BEST:: SOT 25611 SOS 6772 HAS SOPS 6042 HAS SOUS 6115 HAS SOUPS 5636 WITH SCORE 5642.772
AT ITER 610 NEW BEST:: SOT 25602 SOS 6776 HAS SOPS 6027 HAS SOUS 6106 HAS SOUPS 5619 WITH SCORE 5625.776
AT ITER 612 NEW BEST:: SOT 25597 SOS 6869 HAS SOPS 6131 HAS SOUS 6093 HAS SOUPS 5618 WITH SCORE 5624.869
AT ITER 658 NEW BEST:: SOT 25597 SOS 6869 HAS SOPS 6131 HAS SOUS 6089 HAS SOUPS 5614 WITH SCORE 5620.869
AT ITER 664 NEW BEST:: SOT 25601 SOS 6927 HAS SOPS 6175 HAS SOUS 6090 HAS SOUPS 5610 WITH SCORE 5616.927
AT ITER 705 NEW BEST:: SOT 25601 SOS 6927 HAS SOPS 6172 HAS SOUS 6087 HAS SOUPS 5607 WITH SCORE 5613.927
AT ITER 743 NEW BEST:: SOT 25598 SOS 6921 HAS SOPS 6166 HAS SOUS 6081 HAS SOUPS 5601 WITH SCORE 5607.921
AT ITER 768 NEW BEST:: SOT 25602 SOS 6938 HAS SOPS 6167 HAS SOUS 6085 HAS SOUPS 5589 WITH SCORE 5595.938
AT ITER 769 NEW BEST:: SOT 25586 SOS 6907 HAS SOPS 6136 HAS SOUS 6054 HAS SOUPS 5558 WITH SCORE 5564.907
AT ITER 772 NEW BEST:: SOT 25584 SOS 6905 HAS SOPS 6134 HAS SOUS 6052 HAS SOUPS 5555 WITH SCORE 5561.905
AT ITER 801 NEW BEST:: SOT 25580 SOS 6897 HAS SOPS 6126 HAS SOUS 6050 HAS SOUPS 5553 WITH SCORE 5559.897
AT ITER 850 NEW BEST:: SOT 25580 SOS 6897 HAS SOPS 6126 HAS SOUS 6046 HAS SOUPS 5549 WITH SCORE 5555.897
AT ITER 890 NEW BEST:: SOT 25580 SOS 6886 HAS SOPS 6115 HAS SOUS 6046 HAS SOUPS 5549 WITH SCORE 5555.886
AT ITER 893 NEW BEST:: SOT 25581 SOS 6886 HAS SOPS 6114 HAS SOUS 6046 HAS SOUPS 5548 WITH SCORE 5554.886
AT ITER 926 NEW BEST:: SOT 25578 SOS 6877 HAS SOPS 6105 HAS SOUS 6040 HAS SOUPS 5542 WITH SCORE 5548.877
AT ITER 947 NEW BEST:: SOT 25588 SOS 6887 HAS SOPS 6105 HAS SOUS 6037 HAS SOUPS 5539 WITH SCORE 5545.887
AT ITER 986 NEW BEST:: SOT 25581 SOS 6866 HAS SOPS 6084 HAS SOUS 6016 HAS SOUPS 5518 WITH SCORE 5524.866
AT ITER 1004 NEW BEST:: SOT 25577 SOS 6862 HAS SOPS 6080 HAS SOUS 6012 HAS SOUPS 5514 WITH SCORE 5520.862
AT ITER 1012 NEW BEST:: SOT 25578 SOS 6860 HAS SOPS 6076 HAS SOUS 6010 HAS SOUPS 5510 WITH SCORE 5516.86
AT ITER 1040 NEW BEST:: SOT 25571 SOS 6852 HAS SOPS 6069 HAS SOUS 6002 HAS SOUPS 5503 WITH SCORE 5509.852
AT ITER 1054 NEW BEST:: SOT 25568 SOS 6846 HAS SOPS 6066 HAS SOUS 5998 HAS SOUPS 5501 WITH SCORE 5507.846
AT ITER 1063 NEW BEST:: SOT 25564 SOS 6842 HAS SOPS 6062 HAS SOUS 5994 HAS SOUPS 5497 WITH SCORE 5503.842
AT ITER 1073 NEW BEST:: SOT 25543 SOS 6821 HAS SOPS 6043 HAS SOUS 5972 HAS SOUPS 5477 WITH SCORE 5483.821
AT ITER 1095 NEW BEST:: SOT 25542 SOS 6820 HAS SOPS 6042 HAS SOUS 5971 HAS SOUPS 5476 WITH SCORE 5482.82
AT ITER 1106 NEW BEST:: SOT 25542 SOS 6810 HAS SOPS 6033 HAS SOUS 5954 HAS SOUPS 5457 WITH SCORE 5463.81
AT ITER 1111 NEW BEST:: SOT 25542 SOS 6768 HAS SOPS 5978 HAS SOUS 5966 HAS SOUPS 5456 WITH SCORE 5462.768
AT ITER 1170 NEW BEST:: SOT 25554 SOS 6775 HAS SOPS 5976 HAS SOUS 5973 HAS SOUPS 5454 WITH SCORE 5460.775
AT ITER 1180 NEW BEST:: SOT 25515 SOS 6734 HAS SOPS 5935 HAS SOUS 5941 HAS SOUPS 5422 WITH SCORE 5428.734
AT ITER 1247 NEW BEST:: SOT 25502 SOS 6707 HAS SOPS 5921 HAS SOUS 5927 HAS SOUPS 5408 WITH SCORE 5414.707
AT ITER 1273 NEW BEST:: SOT 25500 SOS 6709 HAS SOPS 5923 HAS SOUS 5925 HAS SOUPS 5406 WITH SCORE 5412.709
AT ITER 1278 NEW BEST:: SOT 25525 SOS 6668 HAS SOPS 5912 HAS SOUS 5870 HAS SOUPS 5383 WITH SCORE 5389.668
AT ITER 1284 NEW BEST:: SOT 25514 SOS 6668 HAS SOPS 5898 HAS SOUS 5864 HAS SOUPS 5374 WITH SCORE 5380.668
AT ITER 1290 NEW BEST:: SOT 25511 SOS 6663 HAS SOPS 5893 HAS SOUS 5859 HAS SOUPS 5369 WITH SCORE 5375.663
AT ITER 1300 NEW BEST:: SOT 25509 SOS 6661 HAS SOPS 5893 HAS SOUS 5859 HAS SOUPS 5369 WITH SCORE 5375.661
AT ITER 1310 NEW BEST:: SOT 25507 SOS 6651 HAS SOPS 5889 HAS SOUS 5849 HAS SOUPS 5365 WITH SCORE 5371.651
AT ITER 1314 NEW BEST:: SOT 25499 SOS 6636 HAS SOPS 5883 HAS SOUS 5838 HAS SOUPS 5363 WITH SCORE 5369.636
AT ITER 1316 NEW BEST:: SOT 25489 SOS 6639 HAS SOPS 5886 HAS SOUS 5834 HAS SOUPS 5359 WITH SCORE 5365.639
AT ITER 1319 NEW BEST:: SOT 25484 SOS 6622 HAS SOPS 5874 HAS SOUS 5814 HAS SOUPS 5344 WITH SCORE 5350.622
AT ITER 1337 NEW BEST:: SOT 25474 SOS 6601 HAS SOPS 5858 HAS SOUS 5793 HAS SOUPS 5328 WITH SCORE 5334.601
AT ITER 1339 NEW BEST:: SOT 25463 SOS 6643 HAS SOPS 5854 HAS SOUS 5764 HAS SOUPS 5299 WITH SCORE 5305.643
AT ITER 1379 NEW BEST:: SOT 25462 SOS 6646 HAS SOPS 5853 HAS SOUS 5759 HAS SOUPS 5294 WITH SCORE 5300.646
AT ITER 1391 NEW BEST:: SOT 25453 SOS 6624 HAS SOPS 5831 HAS SOUS 5737 HAS SOUPS 5272 WITH SCORE 5278.624
AT ITER 1428 NEW BEST:: SOT 25453 SOS 6618 HAS SOPS 5827 HAS SOUS 5737 HAS SOUPS 5272 WITH SCORE 5278.618
AT ITER 1451 NEW BEST:: SOT 25450 SOS 6622 HAS SOPS 5827 HAS SOUS 5738 HAS SOUPS 5269 WITH SCORE 5275.622
AT ITER 1457 NEW BEST:: SOT 25443 SOS 6615 HAS SOPS 5820 HAS SOUS 5725 HAS SOUPS 5256 WITH SCORE 5262.615
AT ITER 1460 NEW BEST:: SOT 25438 SOS 6608 HAS SOPS 5813 HAS SOUS 5718 HAS SOUPS 5249 WITH SCORE 5255.608
AT ITER 1480 NEW BEST:: SOT 25442 SOS 6614 HAS SOPS 5815 HAS SOUS 5717 HAS SOUPS 5247 WITH SCORE 5253.614
AT ITER 1503 NEW BEST:: SOT 25441 SOS 6604 HAS SOPS 5813 HAS SOUS 5716 HAS SOUPS 5245 WITH SCORE 5251.604
AT ITER 1551 NEW BEST:: SOT 25429 SOS 6592 HAS SOPS 5789 HAS SOUS 5704 HAS SOUPS 5221 WITH SCORE 5227.592
AT ITER 1564 NEW BEST:: SOT 25423 SOS 6576 HAS SOPS 5774 HAS SOUS 5688 HAS SOUPS 5206 WITH SCORE 5212.576
AT ITER 1628 NEW BEST:: SOT 25416 SOS 6572 HAS SOPS 5774 HAS SOUS 5684 HAS SOUPS 5206 WITH SCORE 5212.572
AT ITER 1654 NEW BEST:: SOT 25377 SOS 6533 HAS SOPS 5735 HAS SOUS 5645 HAS SOUPS 5167 WITH SCORE 5173.533
AT ITER 1691 NEW BEST:: SOT 25377 SOS 6475 HAS SOPS 5677 HAS SOUS 5621 HAS SOUPS 5143 WITH SCORE 5149.475
AT ITER 1719 NEW BEST:: SOT 25377 SOS 6467 HAS SOPS 5669 HAS SOUS 5621 HAS SOUPS 5143 WITH SCORE 5149.467
AT ITER 1720 NEW BEST:: SOT 25371 SOS 6458 HAS SOPS 5660 HAS SOUS 5609 HAS SOUPS 5131 WITH SCORE 5137.458
AT ITER 1734 NEW BEST:: SOT 25376 SOS 6437 HAS SOPS 5641 HAS SOUS 5606 HAS SOUPS 5129 WITH SCORE 5135.437
AT ITER 1744 NEW BEST:: SOT 25375 SOS 6436 HAS SOPS 5640 HAS SOUS 5605 HAS SOUPS 5128 WITH SCORE 5134.436
AT ITER 1746 NEW BEST:: SOT 25375 SOS 6436 HAS SOPS 5640 HAS SOUS 5598 HAS SOUPS 5121 WITH SCORE 5127.436
AT ITER 1747 NEW BEST:: SOT 25378 SOS 6442 HAS SOPS 5640 HAS SOUS 5598 HAS SOUPS 5118 WITH SCORE 5124.442
AT ITER 1756 NEW BEST:: SOT 25378 SOS 6438 HAS SOPS 5638 HAS SOUS 5594 HAS SOUPS 5116 WITH SCORE 5122.438
AT ITER 1759 NEW BEST:: SOT 25373 SOS 6429 HAS SOPS 5629 HAS SOUS 5585 HAS SOUPS 5107 WITH SCORE 5113.429
AT ITER 1909 NEW BEST:: SOT 25356 SOS 6422 HAS SOPS 5612 HAS SOUS 5568 HAS SOUPS 5090 WITH SCORE 5096.422
AT ITER 1930 NEW BEST:: SOT 25352 SOS 6390 HAS SOPS 5590 HAS SOUS 5560 HAS SOUPS 5082 WITH SCORE 5088.39
AT ITER 1938 NEW BEST:: SOT 25346 SOS 6354 HAS SOPS 5554 HAS SOUS 5551 HAS SOUPS 5073 WITH SCORE 5079.354
AT ITER 1989 NEW BEST:: SOT 25343 SOS 6351 HAS SOPS 5551 HAS SOUS 5548 HAS SOUPS 5070 WITH SCORE 5076.351
AT ITER 1990 NEW BEST:: SOT 25337 SOS 6335 HAS SOPS 5535 HAS SOUS 5532 HAS SOUPS 5054 WITH SCORE 5060.335
AT ITER 2008 NEW BEST:: SOT 25337 SOS 6340 HAS SOPS 5535 HAS SOUS 5527 HAS SOUPS 5049 WITH SCORE 5055.34
AT ITER 2023 NEW BEST:: SOT 25327 SOS 6330 HAS SOPS 5525 HAS SOUS 5517 HAS SOUPS 5039 WITH SCORE 5045.33
AT ITER 2045 NEW BEST:: SOT 25324 SOS 6328 HAS SOPS 5523 HAS SOUS 5515 HAS SOUPS 5037 WITH SCORE 5043.328
AT ITER 2070 NEW BEST:: SOT 25304 SOS 6308 HAS SOPS 5503 HAS SOUS 5479 HAS SOUPS 5001 WITH SCORE 5007.308
AT ITER 2085 NEW BEST:: SOT 25261 SOS 6293 HAS SOPS 5495 HAS SOUS 5471 HAS SOUPS 4993 WITH SCORE 4999.293
AT ITER 2119 NEW BEST:: SOT 25257 SOS 6289 HAS SOPS 5487 HAS SOUS 5463 HAS SOUPS 4985 WITH SCORE 4991.289
AT ITER 2131 NEW BEST:: SOT 25253 SOS 6280 HAS SOPS 5473 HAS SOUS 5454 HAS SOUPS 4971 WITH SCORE 4977.28
AT ITER 2148 NEW BEST:: SOT 25258 SOS 6277 HAS SOPS 5470 HAS SOUS 5451 HAS SOUPS 4968 WITH SCORE 4974.277
AT ITER 2150 NEW BEST:: SOT 25250 SOS 6273 HAS SOPS 5466 HAS SOUS 5447 HAS SOUPS 4964 WITH SCORE 4970.273
AT ITER 2185 NEW BEST:: SOT 25234 SOS 6210 HAS SOPS 5408 HAS SOUS 5407 HAS SOUPS 4925 WITH SCORE 4931.21
AT ITER 2238 NEW BEST:: SOT 25233 SOS 6209 HAS SOPS 5407 HAS SOUS 5406 HAS SOUPS 4924 WITH SCORE 4930.209
AT ITER 2267 NEW BEST:: SOT 25234 SOS 6210 HAS SOPS 5408 HAS SOUS 5403 HAS SOUPS 4921 WITH SCORE 4927.21
AT ITER 2278 NEW BEST:: SOT 25228 SOS 6205 HAS SOPS 5403 HAS SOUS 5398 HAS SOUPS 4916 WITH SCORE 4922.205
AT ITER 2313 NEW BEST:: SOT 25228 SOS 6194 HAS SOPS 5392 HAS SOUS 5387 HAS SOUPS 4905 WITH SCORE 4911.194
AT ITER 2315 NEW BEST:: SOT 25227 SOS 6190 HAS SOPS 5389 HAS SOUS 5383 HAS SOUPS 4902 WITH SCORE 4908.19
AT ITER 2355 NEW BEST:: SOT 25230 SOS 6196 HAS SOPS 5387 HAS SOUS 5386 HAS SOUPS 4897 WITH SCORE 4903.196
AT ITER 2358 NEW BEST:: SOT 25229 SOS 6202 HAS SOPS 5403 HAS SOUS 5373 HAS SOUPS 4893 WITH SCORE 4899.202
AT ITER 2397 NEW BEST:: SOT 25229 SOS 6199 HAS SOPS 5400 HAS SOUS 5370 HAS SOUPS 4890 WITH SCORE 4896.199
AT ITER 2400 NEW BEST:: SOT 25231 SOS 6196 HAS SOPS 5397 HAS SOUS 5367 HAS SOUPS 4887 WITH SCORE 4893.196
AT ITER 2442 NEW BEST:: SOT 25229 SOS 6174 HAS SOPS 5375 HAS SOUS 5363 HAS SOUPS 4883 WITH SCORE 4889.174
AT ITER 2467 NEW BEST:: SOT 25226 SOS 6178 HAS SOPS 5372 HAS SOUS 5357 HAS SOUPS 4877 WITH SCORE 4883.178
AT ITER 2545 NEW BEST:: SOT 25226 SOS 6181 HAS SOPS 5372 HAS SOUS 5354 HAS SOUPS 4874 WITH SCORE 4880.181
AT ITER 2613 NEW BEST:: SOT 25217 SOS 6177 HAS SOPS 5368 HAS SOUS 5339 HAS SOUPS 4859 WITH SCORE 4865.177
AT ITER 2677 NEW BEST:: SOT 25216 SOS 6176 HAS SOPS 5367 HAS SOUS 5338 HAS SOUPS 4858 WITH SCORE 4864.176
AT ITER 2699 NEW BEST:: SOT 25213 SOS 6173 HAS SOPS 5327 HAS SOUS 5333 HAS SOUPS 4849 WITH SCORE 4855.173
AT ITER 2706 NEW BEST:: SOT 25207 SOS 6452 HAS SOPS 5480 HAS SOUS 5326 HAS SOUPS 4842 WITH SCORE 4848.452
AT ITER 2725 NEW BEST:: SOT 25207 SOS 6450 HAS SOPS 5475 HAS SOUS 5324 HAS SOUPS 4837 WITH SCORE 4843.45
AT ITER 2769 NEW BEST:: SOT 25198 SOS 6438 HAS SOPS 5469 HAS SOUS 5312 HAS SOUPS 4831 WITH SCORE 4837.438
AT ITER 2770 NEW BEST:: SOT 25192 SOS 6432 HAS SOPS 5460 HAS SOUS 5316 HAS SOUPS 4826 WITH SCORE 4832.432
AT ITER 2784 NEW BEST:: SOT 25192 SOS 6431 HAS SOPS 5459 HAS SOUS 5316 HAS SOUPS 4826 WITH SCORE 4832.431
AT ITER 2833 NEW BEST:: SOT 25184 SOS 6427 HAS SOPS 5451 HAS SOUS 5306 HAS SOUPS 4816 WITH SCORE 4822.427
AT ITER 2876 NEW BEST:: SOT 25181 SOS 6423 HAS SOPS 5446 HAS SOUS 5301 HAS SOUPS 4810 WITH SCORE 4816.423
AT ITER 2891 NEW BEST:: SOT 25178 SOS 6394 HAS SOPS 5417 HAS SOUS 5293 HAS SOUPS 4802 WITH SCORE 4808.394
AT ITER 2904 NEW BEST:: SOT 25152 SOS 6402 HAS SOPS 5425 HAS SOUS 5292 HAS SOUPS 4801 WITH SCORE 4807.402
AT ITER 2906 NEW BEST:: SOT 25144 SOS 6395 HAS SOPS 5414 HAS SOUS 5285 HAS SOUPS 4790 WITH SCORE 4796.395
AT ITER 2947 NEW BEST:: SOT 25141 SOS 6388 HAS SOPS 5407 HAS SOUS 5278 HAS SOUPS 4783 WITH SCORE 4789.388
AT ITER 2966 NEW BEST:: SOT 25141 SOS 6382 HAS SOPS 5402 HAS SOUS 5272 HAS SOUPS 4778 WITH SCORE 4784.382
AT ITER 3031 NEW BEST:: SOT 25125 SOS 6351 HAS SOPS 5379 HAS SOUS 5249 HAS SOUPS 4755 WITH SCORE 4761.351
AT ITER 3042 NEW BEST:: SOT 25125 SOS 6346 HAS SOPS 5376 HAS SOUS 5247 HAS SOUPS 4755 WITH SCORE 4761.346
AT ITER 3069 NEW BEST:: SOT 25122 SOS 6343 HAS SOPS 5370 HAS SOUS 5244 HAS SOUPS 4752 WITH SCORE 4758.343
AT ITER 3070 NEW BEST:: SOT 25129 SOS 6350 HAS SOPS 5363 HAS SOUS 5251 HAS SOUPS 4745 WITH SCORE 4751.35
AT ITER 3134 NEW BEST:: SOT 25129 SOS 6351 HAS SOPS 5348 HAS SOUS 5252 HAS SOUPS 4730 WITH SCORE 4736.351
AT ITER 3143 NEW BEST:: SOT 25119 SOS 6341 HAS SOPS 5328 HAS SOUS 5244 HAS SOUPS 4722 WITH SCORE 4728.341
AT ITER 3192 NEW BEST:: SOT 25115 SOS 6333 HAS SOPS 5320 HAS SOUS 5236 HAS SOUPS 4714 WITH SCORE 4720.333
AT ITER 3234 NEW BEST:: SOT 25112 SOS 6330 HAS SOPS 5317 HAS SOUS 5233 HAS SOUPS 4711 WITH SCORE 4717.33
AT ITER 3264 NEW BEST:: SOT 25101 SOS 6331 HAS SOPS 5318 HAS SOUS 5222 HAS SOUPS 4700 WITH SCORE 4706.331
AT ITER 3326 NEW BEST:: SOT 25102 SOS 6326 HAS SOPS 5310 HAS SOUS 5209 HAS SOUPS 4691 WITH SCORE 4697.326
AT ITER 3337 NEW BEST:: SOT 25101 SOS 6325 HAS SOPS 5309 HAS SOUS 5208 HAS SOUPS 4690 WITH SCORE 4696.325
AT ITER 3358 NEW BEST:: SOT 25091 SOS 6308 HAS SOPS 5306 HAS SOUS 5202 HAS SOUPS 4687 WITH SCORE 4693.308
AT ITER 3364 NEW BEST:: SOT 25090 SOS 6306 HAS SOPS 5303 HAS SOUS 5201 HAS SOUPS 4685 WITH SCORE 4691.306
AT ITER 3389 NEW BEST:: SOT 25090 SOS 6307 HAS SOPS 5304 HAS SOUS 5200 HAS SOUPS 4684 WITH SCORE 4690.307
AT ITER 3421 NEW BEST:: SOT 25084 SOS 6301 HAS SOPS 5298 HAS SOUS 5188 HAS SOUPS 4672 WITH SCORE 4678.301
AT ITER 3422 NEW BEST:: SOT 25080 SOS 6297 HAS SOPS 5304 HAS SOUS 5184 HAS SOUPS 4668 WITH SCORE 4674.297
AT ITER 3459 NEW BEST:: SOT 25078 SOS 6298 HAS SOPS 5299 HAS SOUS 5185 HAS SOUPS 4663 WITH SCORE 4669.298
AT ITER 3518 NEW BEST:: SOT 25078 SOS 6295 HAS SOPS 5294 HAS SOUS 5184 HAS SOUPS 4660 WITH SCORE 4666.295
AT ITER 3532 NEW BEST:: SOT 25078 SOS 6291 HAS SOPS 5290 HAS SOUS 5180 HAS SOUPS 4656 WITH SCORE 4662.291
AT ITER 3550 NEW BEST:: SOT 25078 SOS 6291 HAS SOPS 5289 HAS SOUS 5180 HAS SOUPS 4655 WITH SCORE 4661.291
AT ITER 3620 NEW BEST:: SOT 25059 SOS 6272 HAS SOPS 5270 HAS SOUS 5161 HAS SOUPS 4636 WITH SCORE 4642.272
AT ITER 3661 NEW BEST:: SOT 25048 SOS 6248 HAS SOPS 5255 HAS SOUS 5137 HAS SOUPS 4621 WITH SCORE 4627.248
AT ITER 3675 NEW BEST:: SOT 25048 SOS 6245 HAS SOPS 5253 HAS SOUS 5137 HAS SOUPS 4621 WITH SCORE 4627.245
AT ITER 3693 NEW BEST:: SOT 25051 SOS 6260 HAS SOPS 5255 HAS SOUS 5149 HAS SOUPS 4620 WITH SCORE 4626.26
AT ITER 3694 NEW BEST:: SOT 25051 SOS 6264 HAS SOPS 5253 HAS SOUS 5143 HAS SOUPS 4614 WITH SCORE 4620.264
AT ITER 3703 NEW BEST:: SOT 25042 SOS 6255 HAS SOPS 5242 HAS SOUS 5126 HAS SOUPS 4597 WITH SCORE 4603.255
AT ITER 3739 NEW BEST:: SOT 25037 SOS 6233 HAS SOPS 5220 HAS SOUS 5129 HAS SOUPS 4594 WITH SCORE 4600.233
AT ITER 3767 NEW BEST:: SOT 25038 SOS 6234 HAS SOPS 5216 HAS SOUS 5126 HAS SOUPS 4591 WITH SCORE 4597.234
AT ITER 3805 NEW BEST:: SOT 25038 SOS 6234 HAS SOPS 5216 HAS SOUS 5125 HAS SOUPS 4590 WITH SCORE 4596.234
AT ITER 3822 NEW BEST:: SOT 25037 SOS 6233 HAS SOPS 5215 HAS SOUS 5123 HAS SOUPS 4588 WITH SCORE 4594.233
AT ITER 3837 NEW BEST:: SOT 25037 SOS 6238 HAS SOPS 5214 HAS SOUS 5120 HAS SOUPS 4585 WITH SCORE 4591.238
AT ITER 3850 NEW BEST:: SOT 25035 SOS 6236 HAS SOPS 5210 HAS SOUS 5118 HAS SOUPS 4581 WITH SCORE 4587.236
AT ITER 3872 NEW BEST:: SOT 25034 SOS 6233 HAS SOPS 5208 HAS SOUS 5116 HAS SOUPS 4579 WITH SCORE 4585.233
AT ITER 3947 NEW BEST:: SOT 25028 SOS 6211 HAS SOPS 5196 HAS SOUS 5098 HAS SOUPS 4571 WITH SCORE 4577.211
AT ITER 3964 NEW BEST:: SOT 25022 SOS 6208 HAS SOPS 5196 HAS SOUS 5095 HAS SOUPS 4571 WITH SCORE 4577.208
AT ITER 3981 NEW BEST:: SOT 25018 SOS 6201 HAS SOPS 5191 HAS SOUS 5088 HAS SOUPS 4566 WITH SCORE 4572.201
AT ITER 3994 NEW BEST:: SOT 25011 SOS 6194 HAS SOPS 5190 HAS SOUS 5081 HAS SOUPS 4565 WITH SCORE 4571.194
AT ITER 4075 NEW BEST:: SOT 25009 SOS 6191 HAS SOPS 5187 HAS SOUS 5078 HAS SOUPS 4562 WITH SCORE 4568.191
AT ITER 4108 NEW BEST:: SOT 24998 SOS 6101 HAS SOPS 5139 HAS SOUS 5051 HAS SOUPS 4546 WITH SCORE 4552.101
AT ITER 4141 NEW BEST:: SOT 24996 SOS 6099 HAS SOPS 5135 HAS SOUS 5047 HAS SOUPS 4542 WITH SCORE 4548.099
AT ITER 4177 NEW BEST:: SOT 24994 SOS 6097 HAS SOPS 5133 HAS SOUS 5043 HAS SOUPS 4538 WITH SCORE 4544.097
AT ITER 4202 NEW BEST:: SOT 24994 SOS 6100 HAS SOPS 5132 HAS SOUS 5046 HAS SOUPS 4537 WITH SCORE 4543.1
AT ITER 4203 NEW BEST:: SOT 24994 SOS 6097 HAS SOPS 5128 HAS SOUS 5043 HAS SOUPS 4533 WITH SCORE 4539.097
AT ITER 4225 NEW BEST:: SOT 24991 SOS 6091 HAS SOPS 5122 HAS SOUS 5037 HAS SOUPS 4527 WITH SCORE 4533.091
AT ITER 4296 NEW BEST:: SOT 24986 SOS 6095 HAS SOPS 5126 HAS SOUS 5031 HAS SOUPS 4521 WITH SCORE 4527.095
AT ITER 4350 NEW BEST:: SOT 24986 SOS 6082 HAS SOPS 5125 HAS SOUS 5018 HAS SOUPS 4520 WITH SCORE 4526.082
AT ITER 4407 NEW BEST:: SOT 24980 SOS 6058 HAS SOPS 5105 HAS SOUS 4998 HAS SOUPS 4502 WITH SCORE 4508.058
AT ITER 4501 NEW BEST:: SOT 24982 SOS 6056 HAS SOPS 5097 HAS SOUS 4994 HAS SOUPS 4498 WITH SCORE 4504.056
AT ITER 4549 NEW BEST:: SOT 24989 SOS 6046 HAS SOPS 5087 HAS SOUS 4993 HAS SOUPS 4497 WITH SCORE 4503.046
AT ITER 4565 NEW BEST:: SOT 24989 SOS 6025 HAS SOPS 5066 HAS SOUS 4993 HAS SOUPS 4497 WITH SCORE 4503.025
AT ITER 4639 NEW BEST:: SOT 24989 SOS 6017 HAS SOPS 5058 HAS SOUS 4985 HAS SOUPS 4489 WITH SCORE 4495.017
AT ITER 4656 NEW BEST:: SOT 24986 SOS 6011 HAS SOPS 5055 HAS SOUS 4982 HAS SOUPS 4486 WITH SCORE 4492.011
AT ITER 4674 NEW BEST:: SOT 24985 SOS 6010 HAS SOPS 5055 HAS SOUS 4981 HAS SOUPS 4486 WITH SCORE 4492.01
AT ITER 4687 NEW BEST:: SOT 24984 SOS 6008 HAS SOPS 5053 HAS SOUS 4979 HAS SOUPS 4484 WITH SCORE 4490.008
AT ITER 4702 NEW BEST:: SOT 24978 SOS 6002 HAS SOPS 5047 HAS SOUS 4973 HAS SOUPS 4478 WITH SCORE 4484.002
AT ITER 4713 NEW BEST:: SOT 24977 SOS 6000 HAS SOPS 5045 HAS SOUS 4971 HAS SOUPS 4476 WITH SCORE 4482.0
AT ITER 4804 NEW BEST:: SOT 24969 SOS 5980 HAS SOPS 5037 HAS SOUS 4959 HAS SOUPS 4472 WITH SCORE 4477.98
AT ITER 4806 NEW BEST:: SOT 24968 SOS 5978 HAS SOPS 5035 HAS SOUS 4957 HAS SOUPS 4470 WITH SCORE 4475.978
AT ITER 4807 NEW BEST:: SOT 24968 SOS 5956 HAS SOPS 5027 HAS SOUS 4951 HAS SOUPS 4470 WITH SCORE 4475.956
AT ITER 4986 NEW BEST:: SOT 24953 SOS 5941 HAS SOPS 5021 HAS SOUS 4940 HAS SOUPS 4464 WITH SCORE 4469.941
AT ITER 4988 NEW BEST:: SOT 24947 SOS 5933 HAS SOPS 5013 HAS SOUS 4932 HAS SOUPS 4456 WITH SCORE 4461.933
AT ITER 5001 NEW BEST:: SOT 24943 SOS 5930 HAS SOPS 5008 HAS SOUS 4929 HAS SOUPS 4451 WITH SCORE 4456.93
AT ITER 5079 NEW BEST:: SOT 24940 SOS 5928 HAS SOPS 5007 HAS SOUS 4927 HAS SOUPS 4450 WITH SCORE 4455.928
AT ITER 5120 NEW BEST:: SOT 24938 SOS 5884 HAS SOPS 4979 HAS SOUS 4919 HAS SOUPS 4446 WITH SCORE 4451.884
AT ITER 5275 NEW BEST:: SOT 24931 SOS 5860 HAS SOPS 4962 HAS SOUS 4895 HAS SOUPS 4429 WITH SCORE 4434.86
AT ITER 5474 NEW BEST:: SOT 24928 SOS 5858 HAS SOPS 4955 HAS SOUS 4893 HAS SOUPS 4422 WITH SCORE 4427.858
AT ITER 5501 NEW BEST:: SOT 24895 SOS 5850 HAS SOPS 4922 HAS SOUS 4875 HAS SOUPS 4404 WITH SCORE 4409.85
AT ITER 5503 NEW BEST:: SOT 24893 SOS 5847 HAS SOPS 4920 HAS SOUS 4871 HAS SOUPS 4401 WITH SCORE 4406.847
AT ITER 5515 NEW BEST:: SOT 24891 SOS 5844 HAS SOPS 4919 HAS SOUS 4869 HAS SOUPS 4400 WITH SCORE 4405.844
AT ITER 5570 NEW BEST:: SOT 24888 SOS 5838 HAS SOPS 4913 HAS SOUS 4863 HAS SOUPS 4394 WITH SCORE 4399.838
AT ITER 5708 NEW BEST:: SOT 24888 SOS 5844 HAS SOPS 4915 HAS SOUS 4861 HAS SOUPS 4392 WITH SCORE 4397.844
AT ITER 5719 NEW BEST:: SOT 24881 SOS 5837 HAS SOPS 4908 HAS SOUS 4854 HAS SOUPS 4385 WITH SCORE 4390.837
AT ITER 5723 NEW BEST:: SOT 24878 SOS 5834 HAS SOPS 4905 HAS SOUS 4851 HAS SOUPS 4382 WITH SCORE 4387.834
AT ITER 5730 NEW BEST:: SOT 24878 SOS 5827 HAS SOPS 4891 HAS SOUS 4844 HAS SOUPS 4368 WITH SCORE 4373.827
AT ITER 5760 NEW BEST:: SOT 24867 SOS 5791 HAS SOPS 4873 HAS SOUS 4805 HAS SOUPS 4351 WITH SCORE 4356.791
AT ITER 5806 NEW BEST:: SOT 24867 SOS 5774 HAS SOPS 4951 HAS SOUS 4779 HAS SOUPS 4338 WITH SCORE 4343.774
AT ITER 5852 NEW BEST:: SOT 24858 SOS 5765 HAS SOPS 4942 HAS SOUS 4770 HAS SOUPS 4329 WITH SCORE 4334.765
AT ITER 5861 NEW BEST:: SOT 24854 SOS 5756 HAS SOPS 4937 HAS SOUS 4761 HAS SOUPS 4324 WITH SCORE 4329.756
AT ITER 5877 NEW BEST:: SOT 24852 SOS 5744 HAS SOPS 4923 HAS SOUS 4747 HAS SOUPS 4311 WITH SCORE 4316.744
AT ITER 5908 NEW BEST:: SOT 24848 SOS 5740 HAS SOPS 4919 HAS SOUS 4744 HAS SOUPS 4308 WITH SCORE 4313.74
AT ITER 5991 NEW BEST:: SOT 24849 SOS 5732 HAS SOPS 4911 HAS SOUS 4739 HAS SOUPS 4303 WITH SCORE 4308.732
AT ITER 6009 NEW BEST:: SOT 24843 SOS 5726 HAS SOPS 4905 HAS SOUS 4733 HAS SOUPS 4297 WITH SCORE 4302.726
AT ITER 6090 NEW BEST:: SOT 24838 SOS 5727 HAS SOPS 4901 HAS SOUS 4723 HAS SOUPS 4287 WITH SCORE 4292.727
AT ITER 6126 NEW BEST:: SOT 24838 SOS 5723 HAS SOPS 4897 HAS SOUS 4721 HAS SOUPS 4285 WITH SCORE 4290.723
AT ITER 6162 NEW BEST:: SOT 24836 SOS 5723 HAS SOPS 4894 HAS SOUS 4720 HAS SOUPS 4281 WITH SCORE 4286.723
AT ITER 6207 NEW BEST:: SOT 24836 SOS 5722 HAS SOPS 4893 HAS SOUS 4719 HAS SOUPS 4280 WITH SCORE 4285.722
AT ITER 6287 NEW BEST:: SOT 24841 SOS 5721 HAS SOPS 4892 HAS SOUS 4718 HAS SOUPS 4279 WITH SCORE 4284.721
AT ITER 6289 NEW BEST:: SOT 24836 SOS 5559 HAS SOPS 4730 HAS SOUS 4704 HAS SOUPS 4265 WITH SCORE 4270.559
AT ITER 6294 NEW BEST:: SOT 24834 SOS 5557 HAS SOPS 4728 HAS SOUS 4702 HAS SOUPS 4263 WITH SCORE 4268.557
AT ITER 6299 NEW BEST:: SOT 24816 SOS 5546 HAS SOPS 4717 HAS SOUS 4691 HAS SOUPS 4252 WITH SCORE 4257.546
AT ITER 6305 NEW BEST:: SOT 24816 SOS 5550 HAS SOPS 4715 HAS SOUS 4687 HAS SOUPS 4248 WITH SCORE 4253.55
AT ITER 6356 NEW BEST:: SOT 24806 SOS 5534 HAS SOPS 4707 HAS SOUS 4671 HAS SOUPS 4240 WITH SCORE 4245.534
AT ITER 6390 NEW BEST:: SOT 24789 SOS 5499 HAS SOPS 4690 HAS SOUS 4664 HAS SOUPS 4233 WITH SCORE 4238.499
AT ITER 6393 NEW BEST:: SOT 24777 SOS 5490 HAS SOPS 4690 HAS SOUS 4617 HAS SOUPS 4206 WITH SCORE 4211.49
AT ITER 6454 NEW BEST:: SOT 24775 SOS 5486 HAS SOPS 4688 HAS SOUS 4615 HAS SOUPS 4206 WITH SCORE 4211.486
AT ITER 6488 NEW BEST:: SOT 24766 SOS 5474 HAS SOPS 4676 HAS SOUS 4613 HAS SOUPS 4204 WITH SCORE 4209.474
AT ITER 6626 NEW BEST:: SOT 24764 SOS 5472 HAS SOPS 4674 HAS SOUS 4611 HAS SOUPS 4202 WITH SCORE 4207.472
AT ITER 6632 NEW BEST:: SOT 24764 SOS 5468 HAS SOPS 4670 HAS SOUS 4607 HAS SOUPS 4198 WITH SCORE 4203.468
AT ITER 6703 NEW BEST:: SOT 24762 SOS 5476 HAS SOPS 4659 HAS SOUS 4615 HAS SOUPS 4187 WITH SCORE 4192.476
AT ITER 6717 NEW BEST:: SOT 24762 SOS 5472 HAS SOPS 4657 HAS SOUS 4613 HAS SOUPS 4187 WITH SCORE 4192.472
AT ITER 6759 NEW BEST:: SOT 24756 SOS 5471 HAS SOPS 4656 HAS SOUS 4612 HAS SOUPS 4186 WITH SCORE 4191.471
AT ITER 6760 NEW BEST:: SOT 24752 SOS 5467 HAS SOPS 4647 HAS SOUS 4608 HAS SOUPS 4177 WITH SCORE 4182.467
AT ITER 6898 NEW BEST:: SOT 24752 SOS 5476 HAS SOPS 4653 HAS SOUS 4608 HAS SOUPS 4174 WITH SCORE 4179.476
AT ITER 6903 NEW BEST:: SOT 24741 SOS 5470 HAS SOPS 4647 HAS SOUS 4591 HAS SOUPS 4157 WITH SCORE 4162.47
AT ITER 6926 NEW BEST:: SOT 24741 SOS 5447 HAS SOPS 4647 HAS SOUS 4587 HAS SOUPS 4157 WITH SCORE 4162.447
AT ITER 6962 NEW BEST:: SOT 24733 SOS 5438 HAS SOPS 4638 HAS SOUS 4578 HAS SOUPS 4148 WITH SCORE 4153.438
AT ITER 6997 NEW BEST:: SOT 24730 SOS 5433 HAS SOPS 4630 HAS SOUS 4577 HAS SOUPS 4144 WITH SCORE 4149.433
AT ITER 7017 NEW BEST:: SOT 24730 SOS 5433 HAS SOPS 4630 HAS SOUS 4576 HAS SOUPS 4143 WITH SCORE 4148.433
AT ITER 7042 NEW BEST:: SOT 24732 SOS 5435 HAS SOPS 4627 HAS SOUS 4578 HAS SOUPS 4140 WITH SCORE 4145.435
AT ITER 7203 NEW BEST:: SOT 24731 SOS 5434 HAS SOPS 4626 HAS SOUS 4576 HAS SOUPS 4139 WITH SCORE 4144.434
AT ITER 7318 NEW BEST:: SOT 24731 SOS 5432 HAS SOPS 4625 HAS SOUS 4575 HAS SOUPS 4139 WITH SCORE 4144.432
AT ITER 7331 NEW BEST:: SOT 24731 SOS 5427 HAS SOPS 4625 HAS SOUS 4575 HAS SOUPS 4139 WITH SCORE 4144.427
AT ITER 7342 NEW BEST:: SOT 24726 SOS 5412 HAS SOPS 4615 HAS SOUS 4560 HAS SOUPS 4129 WITH SCORE 4134.412
AT ITER 7421 NEW BEST:: SOT 24724 SOS 5408 HAS SOPS 4621 HAS SOUS 4550 HAS SOUPS 4129 WITH SCORE 4134.408
AT ITER 7425 NEW BEST:: SOT 24724 SOS 5407 HAS SOPS 4620 HAS SOUS 4549 HAS SOUPS 4128 WITH SCORE 4133.407
AT ITER 7485 NEW BEST:: SOT 24720 SOS 5403 HAS SOPS 4612 HAS SOUS 4541 HAS SOUPS 4120 WITH SCORE 4125.403
AT ITER 7524 NEW BEST:: SOT 24717 SOS 5400 HAS SOPS 4606 HAS SOUS 4535 HAS SOUPS 4114 WITH SCORE 4119.4
AT ITER 7609 NEW BEST:: SOT 24718 SOS 5401 HAS SOPS 4607 HAS SOUS 4525 HAS SOUPS 4104 WITH SCORE 4109.401
AT ITER 7632 NEW BEST:: SOT 24718 SOS 5401 HAS SOPS 4605 HAS SOUS 4525 HAS SOUPS 4102 WITH SCORE 4107.401
AT ITER 7801 NEW BEST:: SOT 24721 SOS 5380 HAS SOPS 4591 HAS SOUS 4519 HAS SOUPS 4096 WITH SCORE 4101.38
AT ITER 7839 NEW BEST:: SOT 24719 SOS 5378 HAS SOPS 4589 HAS SOUS 4517 HAS SOUPS 4094 WITH SCORE 4099.378
AT ITER 7853 NEW BEST:: SOT 24725 SOS 5373 HAS SOPS 4584 HAS SOUS 4517 HAS SOUPS 4094 WITH SCORE 4099.373
AT ITER 7900 NEW BEST:: SOT 24723 SOS 5412 HAS SOPS 4623 HAS SOUS 4515 HAS SOUPS 4092 WITH SCORE 4097.412
AT ITER 8035 NEW BEST:: SOT 24716 SOS 5384 HAS SOPS 4602 HAS SOUS 4487 HAS SOUPS 4071 WITH SCORE 4076.384
AT ITER 8076 NEW BEST:: SOT 24720 SOS 5371 HAS SOPS 4589 HAS SOUS 4486 HAS SOUPS 4070 WITH SCORE 4075.371
AT ITER 8129 NEW BEST:: SOT 24720 SOS 5368 HAS SOPS 4586 HAS SOUS 4484 HAS SOUPS 4068 WITH SCORE 4073.368
AT ITER 8168 NEW BEST:: SOT 24722 SOS 5373 HAS SOPS 4585 HAS SOUS 4486 HAS SOUPS 4067 WITH SCORE 4072.373
AT ITER 8172 NEW BEST:: SOT 24710 SOS 5367 HAS SOPS 4579 HAS SOUS 4480 HAS SOUPS 4061 WITH SCORE 4066.367
AT ITER 8214 NEW BEST:: SOT 24707 SOS 5365 HAS SOPS 4577 HAS SOUS 4478 HAS SOUPS 4059 WITH SCORE 4064.365
AT ITER 8273 NEW BEST:: SOT 24705 SOS 5359 HAS SOPS 4573 HAS SOUS 4472 HAS SOUPS 4055 WITH SCORE 4060.359
AT ITER 8297 NEW BEST:: SOT 24701 SOS 5357 HAS SOPS 4571 HAS SOUS 4470 HAS SOUPS 4053 WITH SCORE 4058.357
AT ITER 8298 NEW BEST:: SOT 24699 SOS 5348 HAS SOPS 4562 HAS SOUS 4461 HAS SOUPS 4044 WITH SCORE 4049.348
AT ITER 8340 NEW BEST:: SOT 24698 SOS 5347 HAS SOPS 4561 HAS SOUS 4460 HAS SOUPS 4043 WITH SCORE 4048.347
AT ITER 8353 NEW BEST:: SOT 24689 SOS 5331 HAS SOPS 4545 HAS SOUS 4449 HAS SOUPS 4032 WITH SCORE 4037.331
AT ITER 8394 NEW BEST:: SOT 24686 SOS 5330 HAS SOPS 4543 HAS SOUS 4447 HAS SOUPS 4030 WITH SCORE 4035.33
AT ITER 8503 NEW BEST:: SOT 24684 SOS 5328 HAS SOPS 4541 HAS SOUS 4445 HAS SOUPS 4028 WITH SCORE 4033.328
AT ITER 8571 NEW BEST:: SOT 24681 SOS 5319 HAS SOPS 4535 HAS SOUS 4436 HAS SOUPS 4022 WITH SCORE 4027.319
AT ITER 8676 NEW BEST:: SOT 24681 SOS 5316 HAS SOPS 4532 HAS SOUS 4436 HAS SOUPS 4022 WITH SCORE 4027.316
AT ITER 8730 NEW BEST:: SOT 24680 SOS 5313 HAS SOPS 4539 HAS SOUS 4415 HAS SOUPS 4009 WITH SCORE 4014.313
AT ITER 8894 NEW BEST:: SOT 24683 SOS 5300 HAS SOPS 4526 HAS SOUS 4414 HAS SOUPS 4008 WITH SCORE 4013.3
AT ITER 8958 NEW BEST:: SOT 24683 SOS 5299 HAS SOPS 4525 HAS SOUS 4413 HAS SOUPS 4007 WITH SCORE 4012.299
AT ITER 9077 NEW BEST:: SOT 24681 SOS 5297 HAS SOPS 4523 HAS SOUS 4411 HAS SOUPS 4005 WITH SCORE 4010.297
AT ITER 9082 NEW BEST:: SOT 24679 SOS 5295 HAS SOPS 4521 HAS SOUS 4407 HAS SOUPS 4001 WITH SCORE 4006.295
AT ITER 9083 NEW BEST:: SOT 24678 SOS 5293 HAS SOPS 4519 HAS SOUS 4405 HAS SOUPS 3999 WITH SCORE 4004.293
AT ITER 9260 NEW BEST:: SOT 24676 SOS 5291 HAS SOPS 4515 HAS SOUS 4403 HAS SOUPS 3995 WITH SCORE 4000.291
AT ITER 9267 NEW BEST:: SOT 24671 SOS 5265 HAS SOPS 4500 HAS SOUS 4386 HAS SOUPS 3981 WITH SCORE 3986.265
AT ITER 9277 NEW BEST:: SOT 24672 SOS 5266 HAS SOPS 4497 HAS SOUS 4387 HAS SOUPS 3978 WITH SCORE 3983.266
AT ITER 9305 NEW BEST:: SOT 24672 SOS 5264 HAS SOPS 4495 HAS SOUS 4383 HAS SOUPS 3974 WITH SCORE 3979.264
AT ITER 9308 NEW BEST:: SOT 24672 SOS 5263 HAS SOPS 4494 HAS SOUS 4378 HAS SOUPS 3967 WITH SCORE 3972.263
AT ITER 9322 NEW BEST:: SOT 24671 SOS 5249 HAS SOPS 4488 HAS SOUS 4364 HAS SOUPS 3961 WITH SCORE 3966.249
AT ITER 9323 NEW BEST:: SOT 24670 SOS 5235 HAS SOPS 4474 HAS SOUS 4362 HAS SOUPS 3959 WITH SCORE 3964.235
AT ITER 9386 NEW BEST:: SOT 24668 SOS 5235 HAS SOPS 4474 HAS SOUS 4358 HAS SOUPS 3955 WITH SCORE 3960.235
AT ITER 9419 NEW BEST:: SOT 24668 SOS 5234 HAS SOPS 4474 HAS SOUS 4357 HAS SOUPS 3955 WITH SCORE 3960.234
AT ITER 9433 NEW BEST:: SOT 24661 SOS 5222 HAS SOPS 4470 HAS SOUS 4345 HAS SOUPS 3951 WITH SCORE 3956.222
AT ITER 9441 NEW BEST:: SOT 24657 SOS 5225 HAS SOPS 4466 HAS SOUS 4344 HAS SOUPS 3943 WITH SCORE 3948.225
AT ITER 9521 NEW BEST:: SOT 24657 SOS 5219 HAS SOPS 4464 HAS SOUS 4342 HAS SOUPS 3943 WITH SCORE 3948.219
AT ITER 9542 NEW BEST:: SOT 24654 SOS 5206 HAS SOPS 4457 HAS SOUS 4329 HAS SOUPS 3936 WITH SCORE 3941.206
AT ITER 9575 NEW BEST:: SOT 24650 SOS 5202 HAS SOPS 4453 HAS SOUS 4325 HAS SOUPS 3932 WITH SCORE 3937.202
AT ITER 9677 NEW BEST:: SOT 24650 SOS 5202 HAS SOPS 4453 HAS SOUS 4324 HAS SOUPS 3931 WITH SCORE 3936.202
AT ITER 9722 NEW BEST:: SOT 24641 SOS 5190 HAS SOPS 4444 HAS SOUS 4312 HAS SOUPS 3922 WITH SCORE 3927.19
AT ITER 9756 NEW BEST:: SOT 24637 SOS 5181 HAS SOPS 4435 HAS SOUS 4302 HAS SOUPS 3912 WITH SCORE 3917.181
AT ITER 9880 NEW BEST:: SOT 24632 SOS 5175 HAS SOPS 4429 HAS SOUS 4296 HAS SOUPS 3906 WITH SCORE 3911.175
AT ITER 9903 NEW BEST:: SOT 24630 SOS 5164 HAS SOPS 4408 HAS SOUS 4300 HAS SOUPS 3902 WITH SCORE 3907.164
AT ITER 9912 NEW BEST:: SOT 24627 SOS 5158 HAS SOPS 4402 HAS SOUS 4294 HAS SOUPS 3896 WITH SCORE 3901.158
AT ITER 9919 NEW BEST:: SOT 24632 SOS 5149 HAS SOPS 4393 HAS SOUS 4292 HAS SOUPS 3894 WITH SCORE 3899.149
AT ITER 9939 NEW BEST:: SOT 24632 SOS 5135 HAS SOPS 4393 HAS SOUS 4292 HAS SOUPS 3894 WITH SCORE 3899.135
AT ITER 9960 NEW BEST:: SOT 24632 SOS 5135 HAS SOPS 4392 HAS SOUS 4274 HAS SOUPS 3893 WITH SCORE 3898.135
STATE_SPACE STATES 25632 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 96722 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678872646317

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

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