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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 648K
-rw-r--r-- 1 mcc users 7.2K Feb 26 17:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 17:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 17:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 17:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 17:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K Feb 26 17:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 17:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:30 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 1678874263484

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-5
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 09:57:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 09:57:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 09:57:47] [INFO ] Load time of PNML (sax parser for PT used): 166 ms
[2023-03-15 09:57:47] [INFO ] Transformed 231 places.
[2023-03-15 09:57:47] [INFO ] Transformed 202 transitions.
[2023-03-15 09:57:47] [INFO ] Found NUPN structural information;
[2023-03-15 09:57:47] [INFO ] Parsed PT model containing 231 places and 202 transitions and 846 arcs in 315 ms.
[2023-03-15 09:57:47] [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 394 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ParamProductionCell (PT), instance 5
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 7712 HAS SOPS 6857 HAS SOUS 7069 HAS SOUPS 6441 WITH SCORE 6448.712
AT ITER 22 NEW BEST:: SOT 26119 SOS 7711 HAS SOPS 6856 HAS SOUS 7068 HAS SOUPS 6440 WITH SCORE 6447.711
AT ITER 44 NEW BEST:: SOT 26103 SOS 7647 HAS SOPS 6808 HAS SOUS 7004 HAS SOUPS 6392 WITH SCORE 6399.647
AT ITER 46 NEW BEST:: SOT 26113 SOS 7656 HAS SOPS 6809 HAS SOUS 7009 HAS SOUPS 6389 WITH SCORE 6396.656
AT ITER 51 NEW BEST:: SOT 26113 SOS 7641 HAS SOPS 6794 HAS SOUS 6994 HAS SOUPS 6374 WITH SCORE 6381.641
AT ITER 60 NEW BEST:: SOT 26112 SOS 7639 HAS SOPS 6749 HAS SOUS 7037 HAS SOUPS 6365 WITH SCORE 6372.639
AT ITER 63 NEW BEST:: SOT 26108 SOS 7640 HAS SOPS 6743 HAS SOUS 7038 HAS SOUPS 6359 WITH SCORE 6366.64
AT ITER 86 NEW BEST:: SOT 26108 SOS 7616 HAS SOPS 6735 HAS SOUS 7014 HAS SOUPS 6351 WITH SCORE 6358.616
AT ITER 93 NEW BEST:: SOT 26108 SOS 7603 HAS SOPS 6722 HAS SOUS 7001 HAS SOUPS 6338 WITH SCORE 6345.603
AT ITER 102 NEW BEST:: SOT 26108 SOS 7591 HAS SOPS 6714 HAS SOUS 6993 HAS SOUPS 6334 WITH SCORE 6341.591
AT ITER 112 NEW BEST:: SOT 26108 SOS 7591 HAS SOPS 6712 HAS SOUS 6991 HAS SOUPS 6332 WITH SCORE 6339.591
AT ITER 150 NEW BEST:: SOT 26064 SOS 7555 HAS SOPS 6676 HAS SOUS 6953 HAS SOUPS 6294 WITH SCORE 6301.555
AT ITER 164 NEW BEST:: SOT 26061 SOS 7496 HAS SOPS 6646 HAS SOUS 6896 HAS SOUPS 6264 WITH SCORE 6271.496
AT ITER 177 NEW BEST:: SOT 26061 SOS 7487 HAS SOPS 6637 HAS SOUS 6896 HAS SOUPS 6264 WITH SCORE 6271.487
AT ITER 199 NEW BEST:: SOT 26034 SOS 7414 HAS SOPS 6564 HAS SOUS 6848 HAS SOUPS 6216 WITH SCORE 6223.414
AT ITER 248 NEW BEST:: SOT 26034 SOS 7351 HAS SOPS 6522 HAS SOUS 6806 HAS SOUPS 6195 WITH SCORE 6202.351
AT ITER 251 NEW BEST:: SOT 26034 SOS 7349 HAS SOPS 6522 HAS SOUS 6806 HAS SOUPS 6195 WITH SCORE 6202.349
AT ITER 254 NEW BEST:: SOT 26029 SOS 7343 HAS SOPS 6516 HAS SOUS 6800 HAS SOUPS 6189 WITH SCORE 6196.343
AT ITER 258 NEW BEST:: SOT 26023 SOS 7332 HAS SOPS 6505 HAS SOUS 6789 HAS SOUPS 6178 WITH SCORE 6185.332
AT ITER 264 NEW BEST:: SOT 25984 SOS 7245 HAS SOPS 6434 HAS SOUS 6702 HAS SOUPS 6107 WITH SCORE 6114.245
AT ITER 268 NEW BEST:: SOT 25973 SOS 7230 HAS SOPS 6408 HAS SOUS 6687 HAS SOUPS 6081 WITH SCORE 6088.23
AT ITER 284 NEW BEST:: SOT 25962 SOS 7222 HAS SOPS 6395 HAS SOUS 6682 HAS SOUPS 6071 WITH SCORE 6078.222
AT ITER 286 NEW BEST:: SOT 25962 SOS 7204 HAS SOPS 6395 HAS SOUS 6682 HAS SOUPS 6071 WITH SCORE 6078.204
AT ITER 300 NEW BEST:: SOT 25962 SOS 7203 HAS SOPS 6394 HAS SOUS 6681 HAS SOUPS 6070 WITH SCORE 6077.203
AT ITER 302 NEW BEST:: SOT 25962 SOS 7199 HAS SOPS 6390 HAS SOUS 6677 HAS SOUPS 6066 WITH SCORE 6073.199
AT ITER 337 NEW BEST:: SOT 25962 SOS 7133 HAS SOPS 6346 HAS SOUS 6633 HAS SOUPS 6044 WITH SCORE 6051.133
AT ITER 345 NEW BEST:: SOT 25961 SOS 7132 HAS SOPS 6344 HAS SOUS 6632 HAS SOUPS 6042 WITH SCORE 6049.132
AT ITER 353 NEW BEST:: SOT 25919 SOS 7113 HAS SOPS 6325 HAS SOUS 6622 HAS SOUPS 6032 WITH SCORE 6039.113
AT ITER 362 NEW BEST:: SOT 25913 SOS 7115 HAS SOPS 6317 HAS SOUS 6624 HAS SOUPS 6024 WITH SCORE 6031.115
AT ITER 420 NEW BEST:: SOT 25913 SOS 7104 HAS SOPS 6306 HAS SOUS 6613 HAS SOUPS 6013 WITH SCORE 6020.104
AT ITER 431 NEW BEST:: SOT 25867 SOS 7083 HAS SOPS 6285 HAS SOUS 6585 HAS SOUPS 5985 WITH SCORE 5992.083
AT ITER 443 NEW BEST:: SOT 25867 SOS 7073 HAS SOPS 6275 HAS SOUS 6579 HAS SOUPS 5979 WITH SCORE 5986.073
AT ITER 447 NEW BEST:: SOT 25858 SOS 7054 HAS SOPS 6266 HAS SOUS 6550 HAS SOUPS 5962 WITH SCORE 5969.054
AT ITER 469 NEW BEST:: SOT 25825 SOS 7035 HAS SOPS 6229 HAS SOUS 6527 HAS SOUPS 5921 WITH SCORE 5928.035
AT ITER 470 NEW BEST:: SOT 25816 SOS 7040 HAS SOPS 6220 HAS SOUS 6520 HAS SOUPS 5912 WITH SCORE 5919.04
AT ITER 499 NEW BEST:: SOT 25816 SOS 7004 HAS SOPS 6196 HAS SOUS 6484 HAS SOUPS 5888 WITH SCORE 5895.004
AT ITER 520 NEW BEST:: SOT 25815 SOS 7001 HAS SOPS 6193 HAS SOUS 6481 HAS SOUPS 5885 WITH SCORE 5892.001
AT ITER 522 NEW BEST:: SOT 25807 SOS 6976 HAS SOPS 6176 HAS SOUS 6456 HAS SOUPS 5868 WITH SCORE 5874.976
AT ITER 526 NEW BEST:: SOT 25803 SOS 6973 HAS SOPS 6173 HAS SOUS 6453 HAS SOUPS 5865 WITH SCORE 5871.973
AT ITER 536 NEW BEST:: SOT 25793 SOS 6963 HAS SOPS 6163 HAS SOUS 6443 HAS SOUPS 5855 WITH SCORE 5861.963
AT ITER 574 NEW BEST:: SOT 25772 SOS 6977 HAS SOPS 6177 HAS SOUS 6440 HAS SOUPS 5852 WITH SCORE 5858.977
AT ITER 575 NEW BEST:: SOT 25768 SOS 6969 HAS SOPS 6169 HAS SOUS 6432 HAS SOUPS 5844 WITH SCORE 5850.969
AT ITER 581 NEW BEST:: SOT 25767 SOS 6968 HAS SOPS 6168 HAS SOUS 6431 HAS SOUPS 5843 WITH SCORE 5849.968
AT ITER 597 NEW BEST:: SOT 25782 SOS 6972 HAS SOPS 6188 HAS SOUS 6413 HAS SOUPS 5841 WITH SCORE 5847.972
AT ITER 638 NEW BEST:: SOT 25775 SOS 6982 HAS SOPS 6177 HAS SOUS 6423 HAS SOUPS 5830 WITH SCORE 5836.982
AT ITER 686 NEW BEST:: SOT 25770 SOS 6959 HAS SOPS 6167 HAS SOUS 6417 HAS SOUPS 5820 WITH SCORE 5826.959
AT ITER 734 NEW BEST:: SOT 25765 SOS 6953 HAS SOPS 6161 HAS SOUS 6416 HAS SOUPS 5814 WITH SCORE 5820.953
AT ITER 741 NEW BEST:: SOT 25754 SOS 6945 HAS SOPS 6153 HAS SOUS 6405 HAS SOUPS 5803 WITH SCORE 5809.945
AT ITER 772 NEW BEST:: SOT 25751 SOS 6951 HAS SOPS 6145 HAS SOUS 6402 HAS SOUPS 5793 WITH SCORE 5799.951
AT ITER 783 NEW BEST:: SOT 25750 SOS 6947 HAS SOPS 6141 HAS SOUS 6401 HAS SOUPS 5792 WITH SCORE 5798.947
AT ITER 814 NEW BEST:: SOT 25731 SOS 6884 HAS SOPS 6108 HAS SOUS 6317 HAS SOUPS 5741 WITH SCORE 5747.884
AT ITER 821 NEW BEST:: SOT 25731 SOS 6872 HAS SOPS 6096 HAS SOUS 6317 HAS SOUPS 5741 WITH SCORE 5747.872
AT ITER 853 NEW BEST:: SOT 25721 SOS 6847 HAS SOPS 6048 HAS SOUS 6299 HAS SOUPS 5705 WITH SCORE 5711.847
AT ITER 855 NEW BEST:: SOT 25720 SOS 6834 HAS SOPS 6035 HAS SOUS 6286 HAS SOUPS 5692 WITH SCORE 5698.834
AT ITER 905 NEW BEST:: SOT 25718 SOS 6816 HAS SOPS 6017 HAS SOUS 6280 HAS SOUPS 5686 WITH SCORE 5692.816
AT ITER 907 NEW BEST:: SOT 25711 SOS 6801 HAS SOPS 6002 HAS SOUS 6272 HAS SOUPS 5678 WITH SCORE 5684.801
AT ITER 927 NEW BEST:: SOT 25710 SOS 6796 HAS SOPS 5997 HAS SOUS 6267 HAS SOUPS 5673 WITH SCORE 5679.796
AT ITER 950 NEW BEST:: SOT 25678 SOS 6728 HAS SOPS 5934 HAS SOUS 6222 HAS SOUPS 5629 WITH SCORE 5635.728
AT ITER 991 NEW BEST:: SOT 25678 SOS 6701 HAS SOPS 5902 HAS SOUS 6230 HAS SOUPS 5627 WITH SCORE 5633.701
AT ITER 1001 NEW BEST:: SOT 25658 SOS 6634 HAS SOPS 5855 HAS SOUS 6163 HAS SOUPS 5580 WITH SCORE 5586.634
AT ITER 1026 NEW BEST:: SOT 25627 SOS 6604 HAS SOPS 5825 HAS SOUS 6133 HAS SOUPS 5550 WITH SCORE 5556.604
AT ITER 1083 NEW BEST:: SOT 25627 SOS 6604 HAS SOPS 5825 HAS SOUS 6133 HAS SOUPS 5549 WITH SCORE 5555.604
AT ITER 1132 NEW BEST:: SOT 25610 SOS 6583 HAS SOPS 5809 HAS SOUS 6132 HAS SOUPS 5548 WITH SCORE 5554.583
AT ITER 1166 NEW BEST:: SOT 25563 SOS 6544 HAS SOPS 5806 HAS SOUS 6077 HAS SOUPS 5544 WITH SCORE 5550.544
AT ITER 1169 NEW BEST:: SOT 25565 SOS 6521 HAS SOPS 5789 HAS SOUS 6050 HAS SOUPS 5523 WITH SCORE 5529.521
AT ITER 1170 NEW BEST:: SOT 25565 SOS 6525 HAS SOPS 5787 HAS SOUS 6054 HAS SOUPS 5521 WITH SCORE 5527.525
AT ITER 1191 NEW BEST:: SOT 25565 SOS 6513 HAS SOPS 5787 HAS SOUS 6042 HAS SOUPS 5521 WITH SCORE 5527.513
AT ITER 1193 NEW BEST:: SOT 25545 SOS 6487 HAS SOPS 5766 HAS SOUS 6029 HAS SOUPS 5501 WITH SCORE 5507.487
AT ITER 1246 NEW BEST:: SOT 25540 SOS 6482 HAS SOPS 5761 HAS SOUS 6024 HAS SOUPS 5496 WITH SCORE 5502.482
AT ITER 1294 NEW BEST:: SOT 25537 SOS 6486 HAS SOPS 5765 HAS SOUS 6019 HAS SOUPS 5491 WITH SCORE 5497.486
AT ITER 1309 NEW BEST:: SOT 25539 SOS 6469 HAS SOPS 5748 HAS SOUS 6016 HAS SOUPS 5488 WITH SCORE 5494.469
AT ITER 1347 NEW BEST:: SOT 25539 SOS 6453 HAS SOPS 5736 HAS SOUS 6002 HAS SOUPS 5478 WITH SCORE 5484.453
AT ITER 1398 NEW BEST:: SOT 25539 SOS 6426 HAS SOPS 5718 HAS SOUS 5991 HAS SOUPS 5471 WITH SCORE 5477.426
AT ITER 1419 NEW BEST:: SOT 25539 SOS 6420 HAS SOPS 5718 HAS SOUS 5991 HAS SOUPS 5471 WITH SCORE 5477.42
AT ITER 1443 NEW BEST:: SOT 25514 SOS 6406 HAS SOPS 5703 HAS SOUS 5981 HAS SOUPS 5460 WITH SCORE 5466.406
AT ITER 1448 NEW BEST:: SOT 25507 SOS 6399 HAS SOPS 5703 HAS SOUS 5974 HAS SOUPS 5460 WITH SCORE 5466.399
AT ITER 1463 NEW BEST:: SOT 25506 SOS 6398 HAS SOPS 5701 HAS SOUS 5972 HAS SOUPS 5457 WITH SCORE 5463.398
AT ITER 1478 NEW BEST:: SOT 25502 SOS 6384 HAS SOPS 5689 HAS SOUS 5958 HAS SOUPS 5445 WITH SCORE 5451.384
AT ITER 1522 NEW BEST:: SOT 25453 SOS 6357 HAS SOPS 5662 HAS SOUS 5922 HAS SOUPS 5409 WITH SCORE 5415.357
AT ITER 1536 NEW BEST:: SOT 25463 SOS 6365 HAS SOPS 5658 HAS SOUS 5929 HAS SOUPS 5404 WITH SCORE 5410.365
AT ITER 1553 NEW BEST:: SOT 25448 SOS 6351 HAS SOPS 5631 HAS SOUS 5897 HAS SOUPS 5372 WITH SCORE 5378.351
AT ITER 1564 NEW BEST:: SOT 25469 SOS 6317 HAS SOPS 5622 HAS SOUS 5859 HAS SOUPS 5359 WITH SCORE 5365.317
AT ITER 1573 NEW BEST:: SOT 25464 SOS 6308 HAS SOPS 5613 HAS SOUS 5853 HAS SOUPS 5353 WITH SCORE 5359.308
AT ITER 1582 NEW BEST:: SOT 25460 SOS 6306 HAS SOPS 5611 HAS SOUS 5851 HAS SOUPS 5351 WITH SCORE 5357.306
AT ITER 1627 NEW BEST:: SOT 25458 SOS 6362 HAS SOPS 5645 HAS SOUS 5871 HAS SOUPS 5349 WITH SCORE 5355.362
AT ITER 1646 NEW BEST:: SOT 25459 SOS 6369 HAS SOPS 5652 HAS SOUS 5869 HAS SOUPS 5347 WITH SCORE 5353.369
AT ITER 1747 NEW BEST:: SOT 25458 SOS 6367 HAS SOPS 5650 HAS SOUS 5868 HAS SOUPS 5346 WITH SCORE 5352.367
AT ITER 1769 NEW BEST:: SOT 25443 SOS 6336 HAS SOPS 5619 HAS SOUS 5837 HAS SOUPS 5315 WITH SCORE 5321.336
AT ITER 1786 NEW BEST:: SOT 25438 SOS 6336 HAS SOPS 5619 HAS SOUS 5832 HAS SOUPS 5310 WITH SCORE 5316.336
AT ITER 1826 NEW BEST:: SOT 25460 SOS 6343 HAS SOPS 5618 HAS SOUS 5839 HAS SOUPS 5309 WITH SCORE 5315.343
AT ITER 1832 NEW BEST:: SOT 25397 SOS 6357 HAS SOPS 5607 HAS SOUS 5829 HAS SOUPS 5289 WITH SCORE 5295.357
AT ITER 1833 NEW BEST:: SOT 25397 SOS 6353 HAS SOPS 5603 HAS SOUS 5826 HAS SOUPS 5286 WITH SCORE 5292.353
AT ITER 1854 NEW BEST:: SOT 25397 SOS 6346 HAS SOPS 5603 HAS SOUS 5819 HAS SOUPS 5286 WITH SCORE 5292.346
AT ITER 1856 NEW BEST:: SOT 25391 SOS 6325 HAS SOPS 5582 HAS SOUS 5798 HAS SOUPS 5265 WITH SCORE 5271.325
AT ITER 1859 NEW BEST:: SOT 25391 SOS 6321 HAS SOPS 5585 HAS SOUS 5798 HAS SOUPS 5265 WITH SCORE 5271.321
AT ITER 1865 NEW BEST:: SOT 25391 SOS 6317 HAS SOPS 5581 HAS SOUS 5794 HAS SOUPS 5261 WITH SCORE 5267.317
AT ITER 1868 NEW BEST:: SOT 25389 SOS 6311 HAS SOPS 5574 HAS SOUS 5788 HAS SOUPS 5254 WITH SCORE 5260.311
AT ITER 1881 NEW BEST:: SOT 25384 SOS 6302 HAS SOPS 5570 HAS SOUS 5779 HAS SOUPS 5250 WITH SCORE 5256.302
AT ITER 1882 NEW BEST:: SOT 25371 SOS 6277 HAS SOPS 5558 HAS SOUS 5754 HAS SOUPS 5238 WITH SCORE 5244.277
AT ITER 1972 NEW BEST:: SOT 25363 SOS 6261 HAS SOPS 5542 HAS SOUS 5738 HAS SOUPS 5222 WITH SCORE 5228.261
AT ITER 1978 NEW BEST:: SOT 25359 SOS 6253 HAS SOPS 5534 HAS SOUS 5730 HAS SOUPS 5214 WITH SCORE 5220.253
AT ITER 2006 NEW BEST:: SOT 25359 SOS 6253 HAS SOPS 5533 HAS SOUS 5730 HAS SOUPS 5213 WITH SCORE 5219.253
AT ITER 2019 NEW BEST:: SOT 25360 SOS 6254 HAS SOPS 5534 HAS SOUS 5728 HAS SOUPS 5211 WITH SCORE 5217.254
AT ITER 2023 NEW BEST:: SOT 25360 SOS 6250 HAS SOPS 5526 HAS SOUS 5724 HAS SOUPS 5203 WITH SCORE 5209.25
AT ITER 2024 NEW BEST:: SOT 25356 SOS 6246 HAS SOPS 5522 HAS SOUS 5720 HAS SOUPS 5199 WITH SCORE 5205.246
AT ITER 2031 NEW BEST:: SOT 25356 SOS 6243 HAS SOPS 5519 HAS SOUS 5720 HAS SOUPS 5199 WITH SCORE 5205.243
AT ITER 2113 NEW BEST:: SOT 25346 SOS 6219 HAS SOPS 5517 HAS SOUS 5696 HAS SOUPS 5197 WITH SCORE 5203.219
AT ITER 2120 NEW BEST:: SOT 25346 SOS 6213 HAS SOPS 5511 HAS SOUS 5690 HAS SOUPS 5191 WITH SCORE 5197.213
AT ITER 2123 NEW BEST:: SOT 25342 SOS 6209 HAS SOPS 5507 HAS SOUS 5687 HAS SOUPS 5188 WITH SCORE 5194.209
AT ITER 2131 NEW BEST:: SOT 25338 SOS 6207 HAS SOPS 5503 HAS SOUS 5685 HAS SOUPS 5184 WITH SCORE 5190.207
AT ITER 2132 NEW BEST:: SOT 25338 SOS 6159 HAS SOPS 5476 HAS SOUS 5657 HAS SOUPS 5177 WITH SCORE 5183.159
AT ITER 2134 NEW BEST:: SOT 25329 SOS 6152 HAS SOPS 5458 HAS SOUS 5649 HAS SOUPS 5158 WITH SCORE 5164.152
AT ITER 2138 NEW BEST:: SOT 25348 SOS 6157 HAS SOPS 5440 HAS SOUS 5629 HAS SOUPS 5146 WITH SCORE 5152.157
AT ITER 2145 NEW BEST:: SOT 25345 SOS 6157 HAS SOPS 5437 HAS SOUS 5627 HAS SOUPS 5141 WITH SCORE 5147.157
AT ITER 2147 NEW BEST:: SOT 25341 SOS 6153 HAS SOPS 5437 HAS SOUS 5627 HAS SOUPS 5141 WITH SCORE 5147.153
AT ITER 2154 NEW BEST:: SOT 25341 SOS 6147 HAS SOPS 5431 HAS SOUS 5621 HAS SOUPS 5135 WITH SCORE 5141.147
AT ITER 2188 NEW BEST:: SOT 25331 SOS 6276 HAS SOPS 5494 HAS SOUS 5636 HAS SOUPS 5131 WITH SCORE 5137.276
AT ITER 2189 NEW BEST:: SOT 25325 SOS 6276 HAS SOPS 5494 HAS SOUS 5618 HAS SOUPS 5113 WITH SCORE 5119.276
AT ITER 2207 NEW BEST:: SOT 25320 SOS 6266 HAS SOPS 5484 HAS SOUS 5608 HAS SOUPS 5103 WITH SCORE 5109.266
AT ITER 2209 NEW BEST:: SOT 25319 SOS 6265 HAS SOPS 5483 HAS SOUS 5607 HAS SOUPS 5102 WITH SCORE 5108.265
AT ITER 2238 NEW BEST:: SOT 25286 SOS 6184 HAS SOPS 5444 HAS SOUS 5526 HAS SOUPS 5063 WITH SCORE 5069.184
AT ITER 2250 NEW BEST:: SOT 25277 SOS 6169 HAS SOPS 5429 HAS SOUS 5511 HAS SOUPS 5048 WITH SCORE 5054.169
AT ITER 2255 NEW BEST:: SOT 25266 SOS 6141 HAS SOPS 5423 HAS SOUS 5494 HAS SOUPS 5042 WITH SCORE 5048.141
AT ITER 2282 NEW BEST:: SOT 25256 SOS 6131 HAS SOPS 5409 HAS SOUS 5478 HAS SOUPS 5026 WITH SCORE 5032.131
AT ITER 2333 NEW BEST:: SOT 25254 SOS 6130 HAS SOPS 5408 HAS SOUS 5477 HAS SOUPS 5025 WITH SCORE 5031.13
AT ITER 2402 NEW BEST:: SOT 25247 SOS 6123 HAS SOPS 5394 HAS SOUS 5463 HAS SOUPS 5011 WITH SCORE 5017.123
AT ITER 2423 NEW BEST:: SOT 25247 SOS 6100 HAS SOPS 5394 HAS SOUS 5463 HAS SOUPS 5011 WITH SCORE 5017.1
AT ITER 2448 NEW BEST:: SOT 25246 SOS 6096 HAS SOPS 5392 HAS SOUS 5460 HAS SOUPS 5009 WITH SCORE 5015.096
AT ITER 2469 NEW BEST:: SOT 25257 SOS 6100 HAS SOPS 5386 HAS SOUS 5464 HAS SOUPS 5003 WITH SCORE 5009.1
AT ITER 2509 NEW BEST:: SOT 25257 SOS 6098 HAS SOPS 5384 HAS SOUS 5464 HAS SOUPS 5003 WITH SCORE 5009.098
AT ITER 2518 NEW BEST:: SOT 25242 SOS 6059 HAS SOPS 5345 HAS SOUS 5425 HAS SOUPS 4964 WITH SCORE 4970.059
AT ITER 2593 NEW BEST:: SOT 25225 SOS 6030 HAS SOPS 5333 HAS SOUS 5396 HAS SOUPS 4952 WITH SCORE 4958.03
AT ITER 2609 NEW BEST:: SOT 25217 SOS 6018 HAS SOPS 5327 HAS SOUS 5384 HAS SOUPS 4946 WITH SCORE 4952.018
AT ITER 2620 NEW BEST:: SOT 25208 SOS 6009 HAS SOPS 5309 HAS SOUS 5366 HAS SOUPS 4928 WITH SCORE 4934.009
AT ITER 2625 NEW BEST:: SOT 25212 SOS 6008 HAS SOPS 5308 HAS SOUS 5365 HAS SOUPS 4927 WITH SCORE 4933.008
AT ITER 2632 NEW BEST:: SOT 25207 SOS 5991 HAS SOPS 5294 HAS SOUS 5356 HAS SOUPS 4921 WITH SCORE 4926.991
AT ITER 2661 NEW BEST:: SOT 25207 SOS 5984 HAS SOPS 5294 HAS SOUS 5346 HAS SOUPS 4918 WITH SCORE 4923.984
AT ITER 2670 NEW BEST:: SOT 25205 SOS 5979 HAS SOPS 5289 HAS SOUS 5343 HAS SOUPS 4915 WITH SCORE 4920.979
AT ITER 2671 NEW BEST:: SOT 25205 SOS 5972 HAS SOPS 5282 HAS SOUS 5336 HAS SOUPS 4908 WITH SCORE 4913.972
AT ITER 2816 NEW BEST:: SOT 25204 SOS 5966 HAS SOPS 5278 HAS SOUS 5333 HAS SOUPS 4906 WITH SCORE 4911.966
AT ITER 2822 NEW BEST:: SOT 25204 SOS 5961 HAS SOPS 5273 HAS SOUS 5333 HAS SOUPS 4906 WITH SCORE 4911.961
AT ITER 2823 NEW BEST:: SOT 25203 SOS 5958 HAS SOPS 5271 HAS SOUS 5330 HAS SOUPS 4904 WITH SCORE 4909.958
AT ITER 2836 NEW BEST:: SOT 25195 SOS 5936 HAS SOPS 5258 HAS SOUS 5308 HAS SOUPS 4891 WITH SCORE 4896.936
AT ITER 2858 NEW BEST:: SOT 25195 SOS 5930 HAS SOPS 5252 HAS SOUS 5302 HAS SOUPS 4885 WITH SCORE 4890.93
AT ITER 2873 NEW BEST:: SOT 25173 SOS 5938 HAS SOPS 5260 HAS SOUS 5297 HAS SOUPS 4880 WITH SCORE 4885.938
AT ITER 2892 NEW BEST:: SOT 25179 SOS 5936 HAS SOPS 5258 HAS SOUS 5295 HAS SOUPS 4878 WITH SCORE 4883.936
AT ITER 2935 NEW BEST:: SOT 25179 SOS 5932 HAS SOPS 5254 HAS SOUS 5291 HAS SOUPS 4874 WITH SCORE 4879.932
AT ITER 2944 NEW BEST:: SOT 25180 SOS 5931 HAS SOPS 5254 HAS SOUS 5290 HAS SOUPS 4874 WITH SCORE 4879.931
AT ITER 2998 NEW BEST:: SOT 25150 SOS 5880 HAS SOPS 5215 HAS SOUS 5251 HAS SOUPS 4835 WITH SCORE 4840.88
AT ITER 3019 NEW BEST:: SOT 25148 SOS 5877 HAS SOPS 5206 HAS SOUS 5254 HAS SOUPS 4834 WITH SCORE 4839.877
AT ITER 3050 NEW BEST:: SOT 25148 SOS 5877 HAS SOPS 5203 HAS SOUS 5254 HAS SOUPS 4831 WITH SCORE 4836.877
AT ITER 3083 NEW BEST:: SOT 25147 SOS 5875 HAS SOPS 5201 HAS SOUS 5251 HAS SOUPS 4828 WITH SCORE 4833.875
AT ITER 3103 NEW BEST:: SOT 25094 SOS 5796 HAS SOPS 5122 HAS SOUS 5167 HAS SOUPS 4744 WITH SCORE 4749.796
AT ITER 3114 NEW BEST:: SOT 25084 SOS 5786 HAS SOPS 5112 HAS SOUS 5152 HAS SOUPS 4729 WITH SCORE 4734.786
AT ITER 3167 NEW BEST:: SOT 25084 SOS 5786 HAS SOPS 5098 HAS SOUS 5152 HAS SOUPS 4715 WITH SCORE 4720.786
AT ITER 3171 NEW BEST:: SOT 25085 SOS 5790 HAS SOPS 5098 HAS SOUS 5147 HAS SOUPS 4706 WITH SCORE 4711.79
AT ITER 3181 NEW BEST:: SOT 25067 SOS 5789 HAS SOPS 5108 HAS SOUS 5134 HAS SOUPS 4704 WITH SCORE 4709.789
AT ITER 3187 NEW BEST:: SOT 25060 SOS 5775 HAS SOPS 5094 HAS SOUS 5120 HAS SOUPS 4690 WITH SCORE 4695.775
AT ITER 3226 NEW BEST:: SOT 25060 SOS 5765 HAS SOPS 5089 HAS SOUS 5117 HAS SOUPS 4689 WITH SCORE 4694.765
AT ITER 3267 NEW BEST:: SOT 25049 SOS 5754 HAS SOPS 5067 HAS SOUS 5105 HAS SOUPS 4677 WITH SCORE 4682.754
AT ITER 3328 NEW BEST:: SOT 25048 SOS 5752 HAS SOPS 5062 HAS SOUS 5103 HAS SOUPS 4673 WITH SCORE 4678.752
AT ITER 3376 NEW BEST:: SOT 25048 SOS 5751 HAS SOPS 5062 HAS SOUS 5102 HAS SOUPS 4673 WITH SCORE 4678.751
AT ITER 3383 NEW BEST:: SOT 25050 SOS 5744 HAS SOPS 5058 HAS SOUS 5100 HAS SOUPS 4670 WITH SCORE 4675.744
AT ITER 3436 NEW BEST:: SOT 25052 SOS 5744 HAS SOPS 5056 HAS SOUS 5100 HAS SOUPS 4668 WITH SCORE 4673.744
AT ITER 3441 NEW BEST:: SOT 25039 SOS 5725 HAS SOPS 5050 HAS SOUS 5081 HAS SOUPS 4662 WITH SCORE 4667.725
AT ITER 3494 NEW BEST:: SOT 25037 SOS 5720 HAS SOPS 5046 HAS SOUS 5076 HAS SOUPS 4658 WITH SCORE 4663.72
AT ITER 3510 NEW BEST:: SOT 25047 SOS 5702 HAS SOPS 5028 HAS SOUS 5073 HAS SOUPS 4655 WITH SCORE 4660.702
AT ITER 3528 NEW BEST:: SOT 25034 SOS 5724 HAS SOPS 5052 HAS SOUS 5069 HAS SOUPS 4653 WITH SCORE 4658.724
AT ITER 3579 NEW BEST:: SOT 25033 SOS 5721 HAS SOPS 5049 HAS SOUS 5066 HAS SOUPS 4650 WITH SCORE 4655.721
AT ITER 3603 NEW BEST:: SOT 25031 SOS 5680 HAS SOPS 5008 HAS SOUS 5056 HAS SOUPS 4638 WITH SCORE 4643.68
AT ITER 3649 NEW BEST:: SOT 25024 SOS 5673 HAS SOPS 4990 HAS SOUS 5053 HAS SOUPS 4624 WITH SCORE 4629.673
AT ITER 3651 NEW BEST:: SOT 25009 SOS 5671 HAS SOPS 4986 HAS SOUS 5058 HAS SOUPS 4620 WITH SCORE 4625.671
AT ITER 3665 NEW BEST:: SOT 25006 SOS 5664 HAS SOPS 4980 HAS SOUS 5051 HAS SOUPS 4614 WITH SCORE 4619.664
AT ITER 3683 NEW BEST:: SOT 25008 SOS 5661 HAS SOPS 4978 HAS SOUS 5048 HAS SOUPS 4612 WITH SCORE 4617.661
AT ITER 3746 NEW BEST:: SOT 25008 SOS 5653 HAS SOPS 4970 HAS SOUS 5048 HAS SOUPS 4612 WITH SCORE 4617.653
AT ITER 3755 NEW BEST:: SOT 25022 SOS 5657 HAS SOPS 4974 HAS SOUS 5044 HAS SOUPS 4608 WITH SCORE 4613.657
AT ITER 3779 NEW BEST:: SOT 25009 SOS 5631 HAS SOPS 4948 HAS SOUS 5018 HAS SOUPS 4582 WITH SCORE 4587.631
AT ITER 3787 NEW BEST:: SOT 25002 SOS 5624 HAS SOPS 4941 HAS SOUS 5011 HAS SOUPS 4575 WITH SCORE 4580.624
AT ITER 3797 NEW BEST:: SOT 25005 SOS 5620 HAS SOPS 4937 HAS SOUS 5007 HAS SOUPS 4571 WITH SCORE 4576.62
AT ITER 3805 NEW BEST:: SOT 25024 SOS 5589 HAS SOPS 4902 HAS SOUS 4995 HAS SOUPS 4536 WITH SCORE 4541.589
AT ITER 3837 NEW BEST:: SOT 25016 SOS 5581 HAS SOPS 4888 HAS SOUS 4987 HAS SOUPS 4522 WITH SCORE 4527.581
AT ITER 3847 NEW BEST:: SOT 25018 SOS 5583 HAS SOPS 4890 HAS SOUS 4983 HAS SOUPS 4518 WITH SCORE 4523.583
AT ITER 3853 NEW BEST:: SOT 25018 SOS 5574 HAS SOPS 4881 HAS SOUS 4974 HAS SOUPS 4509 WITH SCORE 4514.574
AT ITER 3992 NEW BEST:: SOT 25018 SOS 5574 HAS SOPS 4881 HAS SOUS 4962 HAS SOUPS 4495 WITH SCORE 4500.574
AT ITER 4050 NEW BEST:: SOT 25012 SOS 5557 HAS SOPS 4864 HAS SOUS 4945 HAS SOUPS 4478 WITH SCORE 4483.557
AT ITER 4058 NEW BEST:: SOT 25014 SOS 5556 HAS SOPS 4863 HAS SOUS 4944 HAS SOUPS 4477 WITH SCORE 4482.556
AT ITER 4122 NEW BEST:: SOT 25014 SOS 5556 HAS SOPS 4853 HAS SOUS 4944 HAS SOUPS 4467 WITH SCORE 4472.556
AT ITER 4125 NEW BEST:: SOT 25004 SOS 5548 HAS SOPS 4845 HAS SOUS 4936 HAS SOUPS 4459 WITH SCORE 4464.548
AT ITER 4151 NEW BEST:: SOT 25000 SOS 5553 HAS SOPS 4854 HAS SOUS 4925 HAS SOUPS 4458 WITH SCORE 4463.553
AT ITER 4199 NEW BEST:: SOT 24968 SOS 5517 HAS SOPS 4830 HAS SOUS 4890 HAS SOUPS 4434 WITH SCORE 4439.517
AT ITER 4235 NEW BEST:: SOT 24968 SOS 5428 HAS SOPS 4778 HAS SOUS 4890 HAS SOUPS 4434 WITH SCORE 4439.428
AT ITER 4246 NEW BEST:: SOT 24967 SOS 5426 HAS SOPS 4777 HAS SOUS 4884 HAS SOUPS 4429 WITH SCORE 4434.426
AT ITER 4293 NEW BEST:: SOT 24970 SOS 5422 HAS SOPS 4776 HAS SOUS 4880 HAS SOUPS 4428 WITH SCORE 4433.422
AT ITER 4392 NEW BEST:: SOT 24972 SOS 5418 HAS SOPS 4772 HAS SOUS 4876 HAS SOUPS 4424 WITH SCORE 4429.418
AT ITER 4403 NEW BEST:: SOT 24969 SOS 5415 HAS SOPS 4769 HAS SOUS 4873 HAS SOUPS 4421 WITH SCORE 4426.415
AT ITER 4404 NEW BEST:: SOT 24965 SOS 5404 HAS SOPS 4765 HAS SOUS 4862 HAS SOUPS 4417 WITH SCORE 4422.404
AT ITER 4407 NEW BEST:: SOT 24965 SOS 5406 HAS SOPS 4759 HAS SOUS 4864 HAS SOUPS 4411 WITH SCORE 4416.406
AT ITER 4420 NEW BEST:: SOT 24962 SOS 5404 HAS SOPS 4756 HAS SOUS 4862 HAS SOUPS 4408 WITH SCORE 4413.404
AT ITER 4428 NEW BEST:: SOT 24946 SOS 5402 HAS SOPS 4752 HAS SOUS 4859 HAS SOUPS 4403 WITH SCORE 4408.402
AT ITER 4434 NEW BEST:: SOT 24940 SOS 5390 HAS SOPS 4748 HAS SOUS 4847 HAS SOUPS 4399 WITH SCORE 4404.39
AT ITER 4465 NEW BEST:: SOT 24934 SOS 5381 HAS SOPS 4739 HAS SOUS 4835 HAS SOUPS 4387 WITH SCORE 4392.381
AT ITER 4536 NEW BEST:: SOT 24930 SOS 5370 HAS SOPS 4731 HAS SOUS 4824 HAS SOUPS 4379 WITH SCORE 4384.37
AT ITER 4587 NEW BEST:: SOT 24916 SOS 5364 HAS SOPS 4725 HAS SOUS 4818 HAS SOUPS 4373 WITH SCORE 4378.364
AT ITER 4643 NEW BEST:: SOT 24916 SOS 5363 HAS SOPS 4724 HAS SOUS 4817 HAS SOUPS 4372 WITH SCORE 4377.363
AT ITER 4714 NEW BEST:: SOT 24914 SOS 5361 HAS SOPS 4720 HAS SOUS 4815 HAS SOUPS 4368 WITH SCORE 4373.361
AT ITER 4720 NEW BEST:: SOT 24908 SOS 5345 HAS SOPS 4708 HAS SOUS 4799 HAS SOUPS 4356 WITH SCORE 4361.345
AT ITER 4733 NEW BEST:: SOT 24900 SOS 5342 HAS SOPS 4701 HAS SOUS 4794 HAS SOUPS 4347 WITH SCORE 4352.342
AT ITER 4776 NEW BEST:: SOT 24897 SOS 5339 HAS SOPS 4698 HAS SOUS 4791 HAS SOUPS 4344 WITH SCORE 4349.339
AT ITER 4844 NEW BEST:: SOT 24895 SOS 5361 HAS SOPS 4702 HAS SOUS 4805 HAS SOUPS 4338 WITH SCORE 4343.361
AT ITER 4960 NEW BEST:: SOT 24898 SOS 5358 HAS SOPS 4702 HAS SOUS 4805 HAS SOUPS 4338 WITH SCORE 4343.358
AT ITER 4988 NEW BEST:: SOT 24905 SOS 5365 HAS SOPS 4698 HAS SOUS 4807 HAS SOUPS 4334 WITH SCORE 4339.365
AT ITER 5038 NEW BEST:: SOT 24901 SOS 5361 HAS SOPS 4694 HAS SOUS 4804 HAS SOUPS 4331 WITH SCORE 4336.361
AT ITER 5053 NEW BEST:: SOT 24901 SOS 5354 HAS SOPS 4688 HAS SOUS 4800 HAS SOUPS 4328 WITH SCORE 4333.354
AT ITER 5069 NEW BEST:: SOT 24901 SOS 5360 HAS SOPS 4682 HAS SOUS 4806 HAS SOUPS 4322 WITH SCORE 4327.36
AT ITER 5157 NEW BEST:: SOT 24896 SOS 5340 HAS SOPS 4672 HAS SOUS 4796 HAS SOUPS 4317 WITH SCORE 4322.34
AT ITER 5204 NEW BEST:: SOT 24903 SOS 5347 HAS SOPS 4667 HAS SOUS 4800 HAS SOUPS 4309 WITH SCORE 4314.347
AT ITER 5207 NEW BEST:: SOT 24902 SOS 5346 HAS SOPS 4667 HAS SOUS 4799 HAS SOUPS 4309 WITH SCORE 4314.346
AT ITER 5212 NEW BEST:: SOT 24902 SOS 5347 HAS SOPS 4665 HAS SOUS 4800 HAS SOUPS 4307 WITH SCORE 4312.347
AT ITER 5233 NEW BEST:: SOT 24899 SOS 5344 HAS SOPS 4662 HAS SOUS 4797 HAS SOUPS 4304 WITH SCORE 4309.344
AT ITER 5247 NEW BEST:: SOT 24896 SOS 5331 HAS SOPS 4654 HAS SOUS 4791 HAS SOUPS 4302 WITH SCORE 4307.331
AT ITER 5255 NEW BEST:: SOT 24892 SOS 5311 HAS SOPS 4638 HAS SOUS 4783 HAS SOUPS 4294 WITH SCORE 4299.311
AT ITER 5292 NEW BEST:: SOT 24890 SOS 5303 HAS SOPS 4632 HAS SOUS 4775 HAS SOUPS 4288 WITH SCORE 4293.303
AT ITER 5321 NEW BEST:: SOT 24888 SOS 5301 HAS SOPS 4630 HAS SOUS 4774 HAS SOUPS 4286 WITH SCORE 4291.301
AT ITER 5325 NEW BEST:: SOT 24876 SOS 5274 HAS SOPS 4603 HAS SOUS 4747 HAS SOUPS 4259 WITH SCORE 4264.274
AT ITER 5333 NEW BEST:: SOT 24876 SOS 5274 HAS SOPS 4602 HAS SOUS 4747 HAS SOUPS 4258 WITH SCORE 4263.274
AT ITER 5394 NEW BEST:: SOT 24875 SOS 5259 HAS SOPS 4594 HAS SOUS 4721 HAS SOUPS 4241 WITH SCORE 4246.259
AT ITER 5396 NEW BEST:: SOT 24875 SOS 5257 HAS SOPS 4592 HAS SOUS 4719 HAS SOUPS 4239 WITH SCORE 4244.257
AT ITER 5421 NEW BEST:: SOT 24874 SOS 5256 HAS SOPS 4590 HAS SOUS 4717 HAS SOUPS 4237 WITH SCORE 4242.256
AT ITER 5429 NEW BEST:: SOT 24874 SOS 5252 HAS SOPS 4586 HAS SOUS 4713 HAS SOUPS 4233 WITH SCORE 4238.252
AT ITER 5461 NEW BEST:: SOT 24875 SOS 5253 HAS SOPS 4584 HAS SOUS 4714 HAS SOUPS 4231 WITH SCORE 4236.253
AT ITER 5518 NEW BEST:: SOT 24872 SOS 5268 HAS SOPS 4596 HAS SOUS 4710 HAS SOUPS 4227 WITH SCORE 4232.268
AT ITER 5602 NEW BEST:: SOT 24854 SOS 5232 HAS SOPS 4578 HAS SOUS 4674 HAS SOUPS 4209 WITH SCORE 4214.232
AT ITER 5654 NEW BEST:: SOT 24854 SOS 5232 HAS SOPS 4577 HAS SOUS 4674 HAS SOUPS 4208 WITH SCORE 4213.232
AT ITER 5690 NEW BEST:: SOT 24850 SOS 5220 HAS SOPS 4569 HAS SOUS 4662 HAS SOUPS 4200 WITH SCORE 4205.22
AT ITER 5739 NEW BEST:: SOT 24847 SOS 5219 HAS SOPS 4568 HAS SOUS 4660 HAS SOUPS 4198 WITH SCORE 4203.219
AT ITER 5744 NEW BEST:: SOT 24849 SOS 5221 HAS SOPS 4567 HAS SOUS 4662 HAS SOUPS 4197 WITH SCORE 4202.221
AT ITER 5797 NEW BEST:: SOT 24836 SOS 5206 HAS SOPS 4552 HAS SOUS 4647 HAS SOUPS 4182 WITH SCORE 4187.206
AT ITER 5838 NEW BEST:: SOT 24840 SOS 5204 HAS SOPS 4550 HAS SOUS 4649 HAS SOUPS 4181 WITH SCORE 4186.204
AT ITER 5865 NEW BEST:: SOT 24844 SOS 5189 HAS SOPS 4542 HAS SOUS 4634 HAS SOUPS 4173 WITH SCORE 4178.189
AT ITER 5879 NEW BEST:: SOT 24839 SOS 5177 HAS SOPS 4530 HAS SOUS 4626 HAS SOUPS 4165 WITH SCORE 4170.177
AT ITER 5889 NEW BEST:: SOT 24838 SOS 5176 HAS SOPS 4528 HAS SOUS 4624 HAS SOUPS 4163 WITH SCORE 4168.176
AT ITER 5961 NEW BEST:: SOT 24840 SOS 5174 HAS SOPS 4526 HAS SOUS 4624 HAS SOUPS 4163 WITH SCORE 4168.174
AT ITER 6032 NEW BEST:: SOT 24837 SOS 5168 HAS SOPS 4523 HAS SOUS 4621 HAS SOUPS 4160 WITH SCORE 4165.168
AT ITER 6065 NEW BEST:: SOT 24835 SOS 5166 HAS SOPS 4521 HAS SOUS 4619 HAS SOUPS 4158 WITH SCORE 4163.166
AT ITER 6099 NEW BEST:: SOT 24837 SOS 5168 HAS SOPS 4525 HAS SOUS 4617 HAS SOUPS 4156 WITH SCORE 4161.168
AT ITER 6110 NEW BEST:: SOT 24836 SOS 5170 HAS SOPS 4523 HAS SOUS 4619 HAS SOUPS 4154 WITH SCORE 4159.17
AT ITER 6252 NEW BEST:: SOT 24829 SOS 5165 HAS SOPS 4518 HAS SOUS 4614 HAS SOUPS 4149 WITH SCORE 4154.165
AT ITER 6263 NEW BEST:: SOT 24831 SOS 5167 HAS SOPS 4520 HAS SOUS 4613 HAS SOUPS 4148 WITH SCORE 4153.167
AT ITER 6382 NEW BEST:: SOT 24832 SOS 5166 HAS SOPS 4519 HAS SOUS 4612 HAS SOUPS 4147 WITH SCORE 4152.166
AT ITER 6525 NEW BEST:: SOT 24824 SOS 5154 HAS SOPS 4507 HAS SOUS 4600 HAS SOUPS 4135 WITH SCORE 4140.154
AT ITER 6533 NEW BEST:: SOT 24823 SOS 5152 HAS SOPS 4505 HAS SOUS 4598 HAS SOUPS 4133 WITH SCORE 4138.152
AT ITER 6583 NEW BEST:: SOT 24819 SOS 5140 HAS SOPS 4501 HAS SOUS 4590 HAS SOUPS 4131 WITH SCORE 4136.14
AT ITER 6612 NEW BEST:: SOT 24824 SOS 5135 HAS SOPS 4500 HAS SOUS 4585 HAS SOUPS 4130 WITH SCORE 4135.135
AT ITER 6623 NEW BEST:: SOT 24816 SOS 5125 HAS SOPS 4490 HAS SOUS 4575 HAS SOUPS 4120 WITH SCORE 4125.125
AT ITER 6778 NEW BEST:: SOT 24815 SOS 5124 HAS SOPS 4489 HAS SOUS 4573 HAS SOUPS 4118 WITH SCORE 4123.124
AT ITER 6831 NEW BEST:: SOT 24800 SOS 5096 HAS SOPS 4470 HAS SOUS 4544 HAS SOUPS 4098 WITH SCORE 4103.096
AT ITER 6913 NEW BEST:: SOT 24796 SOS 5092 HAS SOPS 4462 HAS SOUS 4536 HAS SOUPS 4090 WITH SCORE 4095.092
AT ITER 6914 NEW BEST:: SOT 24794 SOS 5088 HAS SOPS 4460 HAS SOUS 4532 HAS SOUPS 4088 WITH SCORE 4093.088
AT ITER 6986 NEW BEST:: SOT 24783 SOS 5061 HAS SOPS 4449 HAS SOUS 4521 HAS SOUPS 4083 WITH SCORE 4088.061
AT ITER 7010 NEW BEST:: SOT 24776 SOS 5057 HAS SOPS 4462 HAS SOUS 4513 HAS SOUPS 4083 WITH SCORE 4088.057
AT ITER 7052 NEW BEST:: SOT 24771 SOS 5047 HAS SOPS 4452 HAS SOUS 4503 HAS SOUPS 4073 WITH SCORE 4078.047
AT ITER 7108 NEW BEST:: SOT 24772 SOS 5045 HAS SOPS 4447 HAS SOUS 4501 HAS SOUPS 4070 WITH SCORE 4075.045
AT ITER 7115 NEW BEST:: SOT 24771 SOS 5041 HAS SOPS 4443 HAS SOUS 4497 HAS SOUPS 4066 WITH SCORE 4071.041
AT ITER 7127 NEW BEST:: SOT 24771 SOS 5039 HAS SOPS 4441 HAS SOUS 4497 HAS SOUPS 4066 WITH SCORE 4071.039
AT ITER 7163 NEW BEST:: SOT 24770 SOS 5040 HAS SOPS 4439 HAS SOUS 4498 HAS SOUPS 4064 WITH SCORE 4069.04
AT ITER 7224 NEW BEST:: SOT 24769 SOS 5038 HAS SOPS 4437 HAS SOUS 4496 HAS SOUPS 4062 WITH SCORE 4067.038
AT ITER 7245 NEW BEST:: SOT 24761 SOS 5010 HAS SOPS 4409 HAS SOUS 4481 HAS SOUPS 4047 WITH SCORE 4052.01
AT ITER 7258 NEW BEST:: SOT 24760 SOS 5009 HAS SOPS 4401 HAS SOUS 4484 HAS SOUPS 4043 WITH SCORE 4048.009
AT ITER 7282 NEW BEST:: SOT 24744 SOS 4993 HAS SOPS 4390 HAS SOUS 4474 HAS SOUPS 4033 WITH SCORE 4037.993
AT ITER 7306 NEW BEST:: SOT 24742 SOS 4990 HAS SOPS 4386 HAS SOUS 4471 HAS SOUPS 4029 WITH SCORE 4033.99
AT ITER 7311 NEW BEST:: SOT 24742 SOS 4987 HAS SOPS 4383 HAS SOUS 4469 HAS SOUPS 4027 WITH SCORE 4031.987
AT ITER 7319 NEW BEST:: SOT 24742 SOS 4986 HAS SOPS 4383 HAS SOUS 4468 HAS SOUPS 4027 WITH SCORE 4031.986
AT ITER 7417 NEW BEST:: SOT 24740 SOS 4986 HAS SOPS 4383 HAS SOUS 4467 HAS SOUPS 4026 WITH SCORE 4030.986
AT ITER 7564 NEW BEST:: SOT 24740 SOS 4978 HAS SOPS 4381 HAS SOUS 4459 HAS SOUPS 4024 WITH SCORE 4028.978
AT ITER 7751 NEW BEST:: SOT 24740 SOS 4977 HAS SOPS 4380 HAS SOUS 4458 HAS SOUPS 4023 WITH SCORE 4027.977
AT ITER 7756 NEW BEST:: SOT 24736 SOS 4973 HAS SOPS 4372 HAS SOUS 4450 HAS SOUPS 4015 WITH SCORE 4019.973
AT ITER 7772 NEW BEST:: SOT 24732 SOS 4969 HAS SOPS 4368 HAS SOUS 4448 HAS SOUPS 4013 WITH SCORE 4017.969
AT ITER 7790 NEW BEST:: SOT 24735 SOS 4972 HAS SOPS 4363 HAS SOUS 4445 HAS SOUPS 4002 WITH SCORE 4006.972
AT ITER 7838 NEW BEST:: SOT 24729 SOS 4950 HAS SOPS 4355 HAS SOUS 4431 HAS SOUPS 3996 WITH SCORE 4000.95
AT ITER 7862 NEW BEST:: SOT 24730 SOS 4948 HAS SOPS 4354 HAS SOUS 4429 HAS SOUPS 3995 WITH SCORE 3999.948
AT ITER 7865 NEW BEST:: SOT 24732 SOS 4936 HAS SOPS 4355 HAS SOUS 4408 HAS SOUPS 3991 WITH SCORE 3995.936
AT ITER 8183 NEW BEST:: SOT 24745 SOS 4940 HAS SOPS 4354 HAS SOUS 4407 HAS SOUPS 3990 WITH SCORE 3994.94
AT ITER 8232 NEW BEST:: SOT 24742 SOS 4937 HAS SOPS 4351 HAS SOUS 4407 HAS SOUPS 3990 WITH SCORE 3994.937
AT ITER 8255 NEW BEST:: SOT 24738 SOS 4933 HAS SOPS 4343 HAS SOUS 4399 HAS SOUPS 3982 WITH SCORE 3986.933
AT ITER 8323 NEW BEST:: SOT 24736 SOS 4927 HAS SOPS 4333 HAS SOUS 4393 HAS SOUPS 3972 WITH SCORE 3976.927
AT ITER 8377 NEW BEST:: SOT 24736 SOS 4921 HAS SOPS 4327 HAS SOUS 4387 HAS SOUPS 3966 WITH SCORE 3970.921
AT ITER 8429 NEW BEST:: SOT 24738 SOS 4916 HAS SOPS 4322 HAS SOUS 4386 HAS SOUPS 3965 WITH SCORE 3969.916
AT ITER 8798 NEW BEST:: SOT 24721 SOS 4888 HAS SOPS 4294 HAS SOUS 4358 HAS SOUPS 3937 WITH SCORE 3941.888
AT ITER 8976 NEW BEST:: SOT 24720 SOS 4886 HAS SOPS 4291 HAS SOUS 4356 HAS SOUPS 3934 WITH SCORE 3938.886
AT ITER 9005 NEW BEST:: SOT 24716 SOS 4871 HAS SOPS 4277 HAS SOUS 4335 HAS SOUPS 3914 WITH SCORE 3918.871
AT ITER 9023 NEW BEST:: SOT 24715 SOS 4870 HAS SOPS 4276 HAS SOUS 4334 HAS SOUPS 3913 WITH SCORE 3917.87
AT ITER 9102 NEW BEST:: SOT 24714 SOS 4869 HAS SOPS 4276 HAS SOUS 4333 HAS SOUPS 3913 WITH SCORE 3917.869
AT ITER 9106 NEW BEST:: SOT 24711 SOS 4863 HAS SOPS 4270 HAS SOUS 4324 HAS SOUPS 3904 WITH SCORE 3908.863
AT ITER 9113 NEW BEST:: SOT 24709 SOS 4857 HAS SOPS 4266 HAS SOUS 4318 HAS SOUPS 3900 WITH SCORE 3904.857
AT ITER 9200 NEW BEST:: SOT 24709 SOS 4849 HAS SOPS 4258 HAS SOUS 4311 HAS SOUPS 3893 WITH SCORE 3897.849
AT ITER 9275 NEW BEST:: SOT 24710 SOS 4846 HAS SOPS 4255 HAS SOUS 4310 HAS SOUPS 3892 WITH SCORE 3896.846
AT ITER 9279 NEW BEST:: SOT 24710 SOS 4844 HAS SOPS 4253 HAS SOUS 4308 HAS SOUPS 3890 WITH SCORE 3894.844
AT ITER 9325 NEW BEST:: SOT 24710 SOS 4844 HAS SOPS 4253 HAS SOUS 4307 HAS SOUPS 3889 WITH SCORE 3893.844
AT ITER 9347 NEW BEST:: SOT 24709 SOS 4841 HAS SOPS 4250 HAS SOUS 4304 HAS SOUPS 3886 WITH SCORE 3890.841
AT ITER 9405 NEW BEST:: SOT 24701 SOS 4837 HAS SOPS 4246 HAS SOUS 4300 HAS SOUPS 3882 WITH SCORE 3886.837
AT ITER 9414 NEW BEST:: SOT 24701 SOS 4836 HAS SOPS 4246 HAS SOUS 4299 HAS SOUPS 3882 WITH SCORE 3886.836
AT ITER 9523 NEW BEST:: SOT 24689 SOS 4834 HAS SOPS 4244 HAS SOUS 4287 HAS SOUPS 3870 WITH SCORE 3874.834
AT ITER 9528 NEW BEST:: SOT 24689 SOS 4833 HAS SOPS 4243 HAS SOUS 4286 HAS SOUPS 3869 WITH SCORE 3873.833
AT ITER 9550 NEW BEST:: SOT 24688 SOS 4832 HAS SOPS 4242 HAS SOUS 4285 HAS SOUPS 3868 WITH SCORE 3872.832
AT ITER 9561 NEW BEST:: SOT 24692 SOS 4828 HAS SOPS 4234 HAS SOUS 4283 HAS SOUPS 3864 WITH SCORE 3868.828
AT ITER 9616 NEW BEST:: SOT 24692 SOS 4824 HAS SOPS 4232 HAS SOUS 4281 HAS SOUPS 3864 WITH SCORE 3868.824
AT ITER 9656 NEW BEST:: SOT 24678 SOS 4797 HAS SOPS 4212 HAS SOUS 4254 HAS SOUPS 3844 WITH SCORE 3848.797
AT ITER 9660 NEW BEST:: SOT 24678 SOS 4804 HAS SOPS 4213 HAS SOUS 4257 HAS SOUPS 3841 WITH SCORE 3845.804
AT ITER 9718 NEW BEST:: SOT 24678 SOS 4782 HAS SOPS 4191 HAS SOUS 4257 HAS SOUPS 3841 WITH SCORE 3845.782
AT ITER 9845 NEW BEST:: SOT 24678 SOS 4777 HAS SOPS 4186 HAS SOUS 4254 HAS SOUPS 3838 WITH SCORE 3842.777
AT ITER 9846 NEW BEST:: SOT 24664 SOS 4747 HAS SOPS 4156 HAS SOUS 4235 HAS SOUPS 3819 WITH SCORE 3823.747
AT ITER 9860 NEW BEST:: SOT 24661 SOS 4736 HAS SOPS 4154 HAS SOUS 4223 HAS SOUPS 3817 WITH SCORE 3821.736
AT ITER 9882 NEW BEST:: SOT 24663 SOS 4737 HAS SOPS 4154 HAS SOUS 4223 HAS SOUPS 3816 WITH SCORE 3820.737
AT ITER 9887 NEW BEST:: SOT 24657 SOS 4726 HAS SOPS 4142 HAS SOUS 4214 HAS SOUPS 3806 WITH SCORE 3810.726
AT ITER 9892 NEW BEST:: SOT 24657 SOS 4721 HAS SOPS 4137 HAS SOUS 4209 HAS SOUPS 3801 WITH SCORE 3805.721
STATE_SPACE STATES 1657242 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 6746379 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678874278331

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

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