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.r395-oct2-167903718700400.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldPPPs-PT-003B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718700400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 7.1K Feb 26 02:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 02:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 02:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 02:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 02:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 02:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 02:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 26 02:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 52K 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 1679565050405

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=ShieldPPPs-PT-003B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 09:50:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 09:50:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 09:50:54] [INFO ] Load time of PNML (sax parser for PT used): 64 ms
[2023-03-23 09:50:54] [INFO ] Transformed 207 places.
[2023-03-23 09:50:54] [INFO ] Transformed 192 transitions.
[2023-03-23 09:50:54] [INFO ] Found NUPN structural information;
[2023-03-23 09:50:54] [INFO ] Parsed PT model containing 207 places and 192 transitions and 528 arcs in 286 ms.
[2023-03-23 09:50:54] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 207 places, 192 transitions and 528 arcs took 5 ms.
Total runtime 413 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 003B
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: 207 places, 192 transitions, 528 arcs.
AT ITER 0 NEW BEST:: SOT 22318 SOS 6563 HAS SOPS 6563 HAS SOUS 5830 HAS SOUPS 5830 WITH SCORE 5836.563
AT ITER 26 NEW BEST:: SOT 22326 SOS 6615 HAS SOPS 6615 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5818.615
AT ITER 28 NEW BEST:: SOT 22295 SOS 6400 HAS SOPS 6400 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5756.4
AT ITER 30 NEW BEST:: SOT 22293 SOS 6396 HAS SOPS 6396 HAS SOUS 5748 HAS SOUPS 5748 WITH SCORE 5754.396
AT ITER 38 NEW BEST:: SOT 22267 SOS 6395 HAS SOPS 6395 HAS SOUS 5747 HAS SOUPS 5747 WITH SCORE 5753.395
AT ITER 41 NEW BEST:: SOT 22235 SOS 6429 HAS SOPS 6429 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5742.429
AT ITER 50 NEW BEST:: SOT 22196 SOS 6393 HAS SOPS 6393 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5697.393
AT ITER 54 NEW BEST:: SOT 22189 SOS 6386 HAS SOPS 6386 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5689.386
AT ITER 86 NEW BEST:: SOT 22176 SOS 6373 HAS SOPS 6373 HAS SOUS 5669 HAS SOUPS 5669 WITH SCORE 5675.373
AT ITER 92 NEW BEST:: SOT 22169 SOS 6342 HAS SOPS 6342 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5668.342
AT ITER 105 NEW BEST:: SOT 22189 SOS 6384 HAS SOPS 6384 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5666.384
AT ITER 108 NEW BEST:: SOT 22189 SOS 6383 HAS SOPS 6383 HAS SOUS 5659 HAS SOUPS 5659 WITH SCORE 5665.383
AT ITER 123 NEW BEST:: SOT 22190 SOS 6411 HAS SOPS 6411 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5647.411
AT ITER 147 NEW BEST:: SOT 22144 SOS 6369 HAS SOPS 6369 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5605.369
AT ITER 148 NEW BEST:: SOT 22114 SOS 6339 HAS SOPS 6339 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5575.339
AT ITER 163 NEW BEST:: SOT 22114 SOS 6338 HAS SOPS 6338 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5574.338
AT ITER 165 NEW BEST:: SOT 22111 SOS 6331 HAS SOPS 6331 HAS SOUS 5563 HAS SOUPS 5563 WITH SCORE 5569.331
AT ITER 168 NEW BEST:: SOT 22071 SOS 6157 HAS SOPS 6157 HAS SOUS 5491 HAS SOUPS 5491 WITH SCORE 5497.157
AT ITER 182 NEW BEST:: SOT 22058 SOS 6151 HAS SOPS 6151 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5477.151
AT ITER 187 NEW BEST:: SOT 22047 SOS 6005 HAS SOPS 6005 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5415.005
AT ITER 199 NEW BEST:: SOT 22039 SOS 5982 HAS SOPS 5982 HAS SOUS 5402 HAS SOUPS 5402 WITH SCORE 5407.982
AT ITER 208 NEW BEST:: SOT 22040 SOS 5954 HAS SOPS 5954 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5393.954
AT ITER 209 NEW BEST:: SOT 22044 SOS 5953 HAS SOPS 5953 HAS SOUS 5387 HAS SOUPS 5387 WITH SCORE 5392.953
AT ITER 220 NEW BEST:: SOT 22038 SOS 5932 HAS SOPS 5932 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5368.932
AT ITER 226 NEW BEST:: SOT 22038 SOS 5931 HAS SOPS 5931 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5367.931
AT ITER 234 NEW BEST:: SOT 22024 SOS 5916 HAS SOPS 5916 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5352.916
AT ITER 239 NEW BEST:: SOT 22014 SOS 5902 HAS SOPS 5902 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5332.902
AT ITER 270 NEW BEST:: SOT 22014 SOS 5896 HAS SOPS 5896 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5326.896
AT ITER 301 NEW BEST:: SOT 22014 SOS 5900 HAS SOPS 5900 HAS SOUS 5316 HAS SOUPS 5316 WITH SCORE 5321.9
AT ITER 317 NEW BEST:: SOT 22014 SOS 5874 HAS SOPS 5874 HAS SOUS 5313 HAS SOUPS 5313 WITH SCORE 5318.874
AT ITER 324 NEW BEST:: SOT 22042 SOS 5869 HAS SOPS 5869 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5313.869
AT ITER 373 NEW BEST:: SOT 22042 SOS 5869 HAS SOPS 5869 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5309.869
AT ITER 401 NEW BEST:: SOT 22027 SOS 5854 HAS SOPS 5854 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5294.854
AT ITER 438 NEW BEST:: SOT 22027 SOS 5833 HAS SOPS 5833 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5294.833
AT ITER 443 NEW BEST:: SOT 22020 SOS 5825 HAS SOPS 5825 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5286.825
AT ITER 462 NEW BEST:: SOT 22038 SOS 5867 HAS SOPS 5867 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5285.867
AT ITER 475 NEW BEST:: SOT 22018 SOS 5801 HAS SOPS 5801 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5256.801
AT ITER 485 NEW BEST:: SOT 22020 SOS 5776 HAS SOPS 5776 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5247.776
AT ITER 508 NEW BEST:: SOT 22016 SOS 5772 HAS SOPS 5772 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5243.772
AT ITER 512 NEW BEST:: SOT 22010 SOS 5760 HAS SOPS 5760 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5231.76
AT ITER 513 NEW BEST:: SOT 22019 SOS 5766 HAS SOPS 5766 HAS SOUS 5208 HAS SOUPS 5208 WITH SCORE 5213.766
AT ITER 521 NEW BEST:: SOT 22019 SOS 5766 HAS SOPS 5766 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5195.766
AT ITER 525 NEW BEST:: SOT 22003 SOS 5732 HAS SOPS 5732 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5157.732
AT ITER 537 NEW BEST:: SOT 22001 SOS 5728 HAS SOPS 5728 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5154.728
AT ITER 544 NEW BEST:: SOT 22000 SOS 5730 HAS SOPS 5730 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5153.73
AT ITER 556 NEW BEST:: SOT 22005 SOS 5724 HAS SOPS 5724 HAS SOUS 5145 HAS SOUPS 5145 WITH SCORE 5150.724
AT ITER 587 NEW BEST:: SOT 22005 SOS 5728 HAS SOPS 5728 HAS SOUS 5141 HAS SOUPS 5141 WITH SCORE 5146.728
AT ITER 593 NEW BEST:: SOT 22005 SOS 5727 HAS SOPS 5727 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5145.727
AT ITER 606 NEW BEST:: SOT 22006 SOS 5719 HAS SOPS 5719 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5137.719
AT ITER 619 NEW BEST:: SOT 22010 SOS 5714 HAS SOPS 5714 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5132.714
AT ITER 651 NEW BEST:: SOT 22007 SOS 5715 HAS SOPS 5715 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5129.715
AT ITER 661 NEW BEST:: SOT 22005 SOS 5713 HAS SOPS 5713 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5129.713
AT ITER 704 NEW BEST:: SOT 22010 SOS 5712 HAS SOPS 5712 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5128.712
AT ITER 732 NEW BEST:: SOT 22006 SOS 5705 HAS SOPS 5705 HAS SOUS 5121 HAS SOUPS 5121 WITH SCORE 5126.705
AT ITER 745 NEW BEST:: SOT 22000 SOS 5703 HAS SOPS 5703 HAS SOUS 5066 HAS SOUPS 5066 WITH SCORE 5071.703
AT ITER 779 NEW BEST:: SOT 22000 SOS 5683 HAS SOPS 5683 HAS SOUS 5056 HAS SOUPS 5056 WITH SCORE 5061.683
AT ITER 784 NEW BEST:: SOT 21958 SOS 5618 HAS SOPS 5618 HAS SOUS 5051 HAS SOUPS 5051 WITH SCORE 5056.618
AT ITER 786 NEW BEST:: SOT 21951 SOS 5634 HAS SOPS 5634 HAS SOUS 5049 HAS SOUPS 5049 WITH SCORE 5054.634
AT ITER 814 NEW BEST:: SOT 21918 SOS 5568 HAS SOPS 5568 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4988.568
AT ITER 837 NEW BEST:: SOT 21906 SOS 5556 HAS SOPS 5556 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4976.556
AT ITER 894 NEW BEST:: SOT 21941 SOS 5630 HAS SOPS 5630 HAS SOUS 4965 HAS SOUPS 4965 WITH SCORE 4970.63
AT ITER 898 NEW BEST:: SOT 21947 SOS 5636 HAS SOPS 5636 HAS SOUS 4963 HAS SOUPS 4963 WITH SCORE 4968.636
AT ITER 900 NEW BEST:: SOT 21942 SOS 5632 HAS SOPS 5632 HAS SOUS 4959 HAS SOUPS 4959 WITH SCORE 4964.632
AT ITER 909 NEW BEST:: SOT 21942 SOS 5628 HAS SOPS 5628 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4963.628
AT ITER 912 NEW BEST:: SOT 21936 SOS 5611 HAS SOPS 5611 HAS SOUS 4946 HAS SOUPS 4946 WITH SCORE 4951.611
AT ITER 947 NEW BEST:: SOT 21936 SOS 5600 HAS SOPS 5600 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4940.6
AT ITER 970 NEW BEST:: SOT 21933 SOS 5594 HAS SOPS 5594 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4934.594
AT ITER 991 NEW BEST:: SOT 21923 SOS 5584 HAS SOPS 5584 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4934.584
AT ITER 1004 NEW BEST:: SOT 21923 SOS 5575 HAS SOPS 5575 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4934.575
AT ITER 1025 NEW BEST:: SOT 21921 SOS 5573 HAS SOPS 5573 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4934.573
AT ITER 1031 NEW BEST:: SOT 21888 SOS 5545 HAS SOPS 5545 HAS SOUS 4896 HAS SOUPS 4896 WITH SCORE 4901.545
AT ITER 1052 NEW BEST:: SOT 21888 SOS 5540 HAS SOPS 5540 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4896.54
AT ITER 1056 NEW BEST:: SOT 21896 SOS 5521 HAS SOPS 5521 HAS SOUS 4835 HAS SOUPS 4835 WITH SCORE 4840.521
AT ITER 1058 NEW BEST:: SOT 21896 SOS 5519 HAS SOPS 5519 HAS SOUS 4833 HAS SOUPS 4833 WITH SCORE 4838.519
AT ITER 1107 NEW BEST:: SOT 21911 SOS 5540 HAS SOPS 5540 HAS SOUS 4831 HAS SOUPS 4831 WITH SCORE 4836.54
AT ITER 1121 NEW BEST:: SOT 21911 SOS 5522 HAS SOPS 5522 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4820.522
AT ITER 1140 NEW BEST:: SOT 21911 SOS 5519 HAS SOPS 5519 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4820.519
AT ITER 1170 NEW BEST:: SOT 21900 SOS 5449 HAS SOPS 5449 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4775.449
AT ITER 1185 NEW BEST:: SOT 21885 SOS 5447 HAS SOPS 5447 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4773.447
AT ITER 1200 NEW BEST:: SOT 21881 SOS 5443 HAS SOPS 5443 HAS SOUS 4764 HAS SOUPS 4764 WITH SCORE 4769.443
AT ITER 1206 NEW BEST:: SOT 21881 SOS 5435 HAS SOPS 5435 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4766.435
AT ITER 1252 NEW BEST:: SOT 21881 SOS 5440 HAS SOPS 5440 HAS SOUS 4753 HAS SOUPS 4753 WITH SCORE 4758.44
AT ITER 1273 NEW BEST:: SOT 21880 SOS 5426 HAS SOPS 5426 HAS SOUS 4737 HAS SOUPS 4737 WITH SCORE 4742.426
AT ITER 1284 NEW BEST:: SOT 21875 SOS 5416 HAS SOPS 5416 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4732.416
AT ITER 1289 NEW BEST:: SOT 21875 SOS 5414 HAS SOPS 5414 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4730.414
AT ITER 1304 NEW BEST:: SOT 21875 SOS 5396 HAS SOPS 5396 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4730.396
AT ITER 1341 NEW BEST:: SOT 21864 SOS 5384 HAS SOPS 5384 HAS SOUS 4713 HAS SOUPS 4713 WITH SCORE 4718.384
AT ITER 1352 NEW BEST:: SOT 21864 SOS 5377 HAS SOPS 5377 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4711.377
AT ITER 1385 NEW BEST:: SOT 21862 SOS 5371 HAS SOPS 5371 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4711.371
AT ITER 1386 NEW BEST:: SOT 21862 SOS 5349 HAS SOPS 5349 HAS SOUS 4695 HAS SOUPS 4695 WITH SCORE 4700.349
AT ITER 1391 NEW BEST:: SOT 21858 SOS 5345 HAS SOPS 5345 HAS SOUS 4691 HAS SOUPS 4691 WITH SCORE 4696.345
AT ITER 1457 NEW BEST:: SOT 21846 SOS 5336 HAS SOPS 5336 HAS SOUS 4679 HAS SOUPS 4679 WITH SCORE 4684.336
AT ITER 1472 NEW BEST:: SOT 21851 SOS 5318 HAS SOPS 5318 HAS SOUS 4677 HAS SOUPS 4677 WITH SCORE 4682.318
AT ITER 1488 NEW BEST:: SOT 21847 SOS 5301 HAS SOPS 5301 HAS SOUS 4670 HAS SOUPS 4670 WITH SCORE 4675.301
AT ITER 1502 NEW BEST:: SOT 21847 SOS 5295 HAS SOPS 5295 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4669.295
AT ITER 1504 NEW BEST:: SOT 21814 SOS 5218 HAS SOPS 5218 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4637.218
AT ITER 1506 NEW BEST:: SOT 21804 SOS 5225 HAS SOPS 5225 HAS SOUS 4629 HAS SOUPS 4629 WITH SCORE 4634.225
AT ITER 1528 NEW BEST:: SOT 21800 SOS 5233 HAS SOPS 5233 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4630.233
AT ITER 1539 NEW BEST:: SOT 21800 SOS 5232 HAS SOPS 5232 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4629.232
AT ITER 1562 NEW BEST:: SOT 21800 SOS 5244 HAS SOPS 5244 HAS SOUS 4621 HAS SOUPS 4621 WITH SCORE 4626.244
AT ITER 1605 NEW BEST:: SOT 21800 SOS 5242 HAS SOPS 5242 HAS SOUS 4619 HAS SOUPS 4619 WITH SCORE 4624.242
AT ITER 1626 NEW BEST:: SOT 21799 SOS 5240 HAS SOPS 5240 HAS SOUS 4617 HAS SOUPS 4617 WITH SCORE 4622.24
AT ITER 1715 NEW BEST:: SOT 21799 SOS 5240 HAS SOPS 5240 HAS SOUS 4608 HAS SOUPS 4608 WITH SCORE 4613.24
AT ITER 1770 NEW BEST:: SOT 21796 SOS 5229 HAS SOPS 5229 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4610.229
AT ITER 1780 NEW BEST:: SOT 21806 SOS 5226 HAS SOPS 5226 HAS SOUS 4603 HAS SOUPS 4603 WITH SCORE 4608.226
AT ITER 1806 NEW BEST:: SOT 21803 SOS 5223 HAS SOPS 5223 HAS SOUS 4600 HAS SOUPS 4600 WITH SCORE 4605.223
AT ITER 1818 NEW BEST:: SOT 21801 SOS 5219 HAS SOPS 5219 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4602.219
AT ITER 1830 NEW BEST:: SOT 21805 SOS 5223 HAS SOPS 5223 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4601.223
AT ITER 1891 NEW BEST:: SOT 21805 SOS 5221 HAS SOPS 5221 HAS SOUS 4594 HAS SOUPS 4594 WITH SCORE 4599.221
AT ITER 1948 NEW BEST:: SOT 21804 SOS 5219 HAS SOPS 5219 HAS SOUS 4592 HAS SOUPS 4592 WITH SCORE 4597.219
AT ITER 2011 NEW BEST:: SOT 21803 SOS 5217 HAS SOPS 5217 HAS SOUS 4590 HAS SOUPS 4590 WITH SCORE 4595.217
AT ITER 2021 NEW BEST:: SOT 21803 SOS 5213 HAS SOPS 5213 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4593.213
AT ITER 2041 NEW BEST:: SOT 21798 SOS 5210 HAS SOPS 5210 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4590.21
AT ITER 2049 NEW BEST:: SOT 21790 SOS 5201 HAS SOPS 5201 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4589.201
AT ITER 2058 NEW BEST:: SOT 21783 SOS 5190 HAS SOPS 5190 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4584.19
AT ITER 2102 NEW BEST:: SOT 21767 SOS 5190 HAS SOPS 5190 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4561.19
AT ITER 2107 NEW BEST:: SOT 21765 SOS 5188 HAS SOPS 5188 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4552.188
AT ITER 2120 NEW BEST:: SOT 21757 SOS 5180 HAS SOPS 5180 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4544.18
AT ITER 2134 NEW BEST:: SOT 21757 SOS 5178 HAS SOPS 5178 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4542.178
AT ITER 2238 NEW BEST:: SOT 21753 SOS 5173 HAS SOPS 5173 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4540.173
AT ITER 2254 NEW BEST:: SOT 21753 SOS 5169 HAS SOPS 5169 HAS SOUS 4531 HAS SOUPS 4531 WITH SCORE 4536.169
AT ITER 2264 NEW BEST:: SOT 21741 SOS 5162 HAS SOPS 5162 HAS SOUS 4519 HAS SOUPS 4519 WITH SCORE 4524.162
AT ITER 2269 NEW BEST:: SOT 21743 SOS 5148 HAS SOPS 5148 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4517.148
AT ITER 2275 NEW BEST:: SOT 21731 SOS 5146 HAS SOPS 5146 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4515.146
AT ITER 2390 NEW BEST:: SOT 21729 SOS 5143 HAS SOPS 5143 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4512.143
AT ITER 2526 NEW BEST:: SOT 21728 SOS 5141 HAS SOPS 5141 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4510.141
AT ITER 2551 NEW BEST:: SOT 21719 SOS 5127 HAS SOPS 5127 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4496.127
AT ITER 2572 NEW BEST:: SOT 21716 SOS 5167 HAS SOPS 5167 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4494.167
AT ITER 2583 NEW BEST:: SOT 21716 SOS 5161 HAS SOPS 5161 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4485.161
AT ITER 2609 NEW BEST:: SOT 21730 SOS 5090 HAS SOPS 5090 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4474.09
AT ITER 2628 NEW BEST:: SOT 21727 SOS 5080 HAS SOPS 5080 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4471.08
AT ITER 2631 NEW BEST:: SOT 21728 SOS 5077 HAS SOPS 5077 HAS SOUS 4465 HAS SOUPS 4465 WITH SCORE 4470.077
AT ITER 2679 NEW BEST:: SOT 21723 SOS 5073 HAS SOPS 5073 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4465.073
AT ITER 2752 NEW BEST:: SOT 21721 SOS 5055 HAS SOPS 5055 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4432.055
AT ITER 2760 NEW BEST:: SOT 21714 SOS 5008 HAS SOPS 5008 HAS SOUS 4399 HAS SOUPS 4399 WITH SCORE 4404.008
AT ITER 2781 NEW BEST:: SOT 21710 SOS 5042 HAS SOPS 5042 HAS SOUS 4395 HAS SOUPS 4395 WITH SCORE 4400.042
AT ITER 2833 NEW BEST:: SOT 21706 SOS 5037 HAS SOPS 5037 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4395.037
AT ITER 2852 NEW BEST:: SOT 21694 SOS 5013 HAS SOPS 5013 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4371.013
AT ITER 2864 NEW BEST:: SOT 21696 SOS 5002 HAS SOPS 5002 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4368.002
AT ITER 2910 NEW BEST:: SOT 21696 SOS 4985 HAS SOPS 4985 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4350.985
AT ITER 2947 NEW BEST:: SOT 21696 SOS 4984 HAS SOPS 4984 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4348.984
AT ITER 2958 NEW BEST:: SOT 21695 SOS 4983 HAS SOPS 4983 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4348.983
AT ITER 2970 NEW BEST:: SOT 21691 SOS 4981 HAS SOPS 4981 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4346.981
AT ITER 2973 NEW BEST:: SOT 21691 SOS 4980 HAS SOPS 4980 HAS SOUS 4341 HAS SOUPS 4341 WITH SCORE 4345.98
AT ITER 3009 NEW BEST:: SOT 21691 SOS 4978 HAS SOPS 4978 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4344.978
AT ITER 3107 NEW BEST:: SOT 21691 SOS 4977 HAS SOPS 4977 HAS SOUS 4339 HAS SOUPS 4339 WITH SCORE 4343.977
AT ITER 3108 NEW BEST:: SOT 21689 SOS 4971 HAS SOPS 4971 HAS SOUS 4335 HAS SOUPS 4335 WITH SCORE 4339.971
AT ITER 3191 NEW BEST:: SOT 21694 SOS 4973 HAS SOPS 4973 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4338.973
AT ITER 3246 NEW BEST:: SOT 21693 SOS 4970 HAS SOPS 4970 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4336.97
AT ITER 3253 NEW BEST:: SOT 21682 SOS 4937 HAS SOPS 4937 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4314.937
AT ITER 3272 NEW BEST:: SOT 21681 SOS 4916 HAS SOPS 4916 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4307.916
AT ITER 3287 NEW BEST:: SOT 21681 SOS 4906 HAS SOPS 4906 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4307.906
AT ITER 3289 NEW BEST:: SOT 21668 SOS 4906 HAS SOPS 4906 HAS SOUS 4301 HAS SOUPS 4301 WITH SCORE 4305.906
AT ITER 3316 NEW BEST:: SOT 21668 SOS 4904 HAS SOPS 4904 HAS SOUS 4300 HAS SOUPS 4300 WITH SCORE 4304.904
AT ITER 3339 NEW BEST:: SOT 21662 SOS 4875 HAS SOPS 4875 HAS SOUS 4297 HAS SOUPS 4297 WITH SCORE 4301.875
AT ITER 3416 NEW BEST:: SOT 21652 SOS 4865 HAS SOPS 4865 HAS SOUS 4292 HAS SOUPS 4292 WITH SCORE 4296.865
AT ITER 3526 NEW BEST:: SOT 21638 SOS 4859 HAS SOPS 4859 HAS SOUS 4268 HAS SOUPS 4268 WITH SCORE 4272.859
AT ITER 3551 NEW BEST:: SOT 21636 SOS 4857 HAS SOPS 4857 HAS SOUS 4266 HAS SOUPS 4266 WITH SCORE 4270.857
AT ITER 3557 NEW BEST:: SOT 21633 SOS 4854 HAS SOPS 4854 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4267.854
AT ITER 3611 NEW BEST:: SOT 21619 SOS 4838 HAS SOPS 4838 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4258.838
AT ITER 3681 NEW BEST:: SOT 21617 SOS 4836 HAS SOPS 4836 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4256.836
AT ITER 3695 NEW BEST:: SOT 21615 SOS 4833 HAS SOPS 4833 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4256.833
AT ITER 3774 NEW BEST:: SOT 21610 SOS 4825 HAS SOPS 4825 HAS SOUS 4243 HAS SOUPS 4243 WITH SCORE 4247.825
AT ITER 3825 NEW BEST:: SOT 21609 SOS 4823 HAS SOPS 4823 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4245.823
AT ITER 3866 NEW BEST:: SOT 21610 SOS 4822 HAS SOPS 4822 HAS SOUS 4240 HAS SOUPS 4240 WITH SCORE 4244.822
AT ITER 3897 NEW BEST:: SOT 21609 SOS 4821 HAS SOPS 4821 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4243.821
AT ITER 3941 NEW BEST:: SOT 21609 SOS 4819 HAS SOPS 4819 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4241.819
AT ITER 4057 NEW BEST:: SOT 21608 SOS 4722 HAS SOPS 4722 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4240.722
AT ITER 4084 NEW BEST:: SOT 21608 SOS 4716 HAS SOPS 4716 HAS SOUS 4230 HAS SOUPS 4230 WITH SCORE 4234.716
AT ITER 4174 NEW BEST:: SOT 21607 SOS 4721 HAS SOPS 4721 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4233.721
AT ITER 4190 NEW BEST:: SOT 21609 SOS 4720 HAS SOPS 4720 HAS SOUS 4226 HAS SOUPS 4226 WITH SCORE 4230.72
AT ITER 4243 NEW BEST:: SOT 21609 SOS 4719 HAS SOPS 4719 HAS SOUS 4226 HAS SOUPS 4226 WITH SCORE 4230.719
AT ITER 4279 NEW BEST:: SOT 21609 SOS 4690 HAS SOPS 4690 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4220.69
AT ITER 4296 NEW BEST:: SOT 21609 SOS 4682 HAS SOPS 4682 HAS SOUS 4214 HAS SOUPS 4214 WITH SCORE 4218.682
AT ITER 4304 NEW BEST:: SOT 21609 SOS 4680 HAS SOPS 4680 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4217.68
AT ITER 4315 NEW BEST:: SOT 21605 SOS 4676 HAS SOPS 4676 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4213.676
AT ITER 4361 NEW BEST:: SOT 21595 SOS 4683 HAS SOPS 4683 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4212.683
AT ITER 4394 NEW BEST:: SOT 21595 SOS 4677 HAS SOPS 4677 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4212.677
AT ITER 4403 NEW BEST:: SOT 21591 SOS 4674 HAS SOPS 4674 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4209.674
AT ITER 4411 NEW BEST:: SOT 21589 SOS 4672 HAS SOPS 4672 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4207.672
AT ITER 4493 NEW BEST:: SOT 21585 SOS 4667 HAS SOPS 4667 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4207.667
AT ITER 4496 NEW BEST:: SOT 21578 SOS 4657 HAS SOPS 4657 HAS SOUS 4196 HAS SOUPS 4196 WITH SCORE 4200.657
AT ITER 4523 NEW BEST:: SOT 21579 SOS 4657 HAS SOPS 4657 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4199.657
AT ITER 4551 NEW BEST:: SOT 21579 SOS 4649 HAS SOPS 4649 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4199.649
AT ITER 4579 NEW BEST:: SOT 21573 SOS 4644 HAS SOPS 4644 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4195.644
AT ITER 4645 NEW BEST:: SOT 21573 SOS 4643 HAS SOPS 4643 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4194.643
AT ITER 4652 NEW BEST:: SOT 21570 SOS 4655 HAS SOPS 4655 HAS SOUS 4187 HAS SOUPS 4187 WITH SCORE 4191.655
AT ITER 4706 NEW BEST:: SOT 21565 SOS 4650 HAS SOPS 4650 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4186.65
AT ITER 4720 NEW BEST:: SOT 21563 SOS 4648 HAS SOPS 4648 HAS SOUS 4180 HAS SOUPS 4180 WITH SCORE 4184.648
AT ITER 4761 NEW BEST:: SOT 21542 SOS 4623 HAS SOPS 4623 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4180.623
AT ITER 4922 NEW BEST:: SOT 21531 SOS 4601 HAS SOPS 4601 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4169.601
AT ITER 4924 NEW BEST:: SOT 21531 SOS 4591 HAS SOPS 4591 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4164.591
AT ITER 4935 NEW BEST:: SOT 21532 SOS 4598 HAS SOPS 4598 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4162.598
AT ITER 5015 NEW BEST:: SOT 21532 SOS 4594 HAS SOPS 4594 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4161.594
AT ITER 5021 NEW BEST:: SOT 21512 SOS 4574 HAS SOPS 4574 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4141.574
AT ITER 5144 NEW BEST:: SOT 21512 SOS 4566 HAS SOPS 4566 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4141.566
AT ITER 5180 NEW BEST:: SOT 21511 SOS 4560 HAS SOPS 4560 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4135.56
AT ITER 5192 NEW BEST:: SOT 21482 SOS 4535 HAS SOPS 4535 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4110.535
AT ITER 5365 NEW BEST:: SOT 21477 SOS 4531 HAS SOPS 4531 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4106.531
AT ITER 5427 NEW BEST:: SOT 21475 SOS 4529 HAS SOPS 4529 HAS SOUS 4100 HAS SOUPS 4100 WITH SCORE 4104.529
AT ITER 5524 NEW BEST:: SOT 21466 SOS 4526 HAS SOPS 4526 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4099.526
AT ITER 5539 NEW BEST:: SOT 21466 SOS 4518 HAS SOPS 4518 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4099.518
AT ITER 5563 NEW BEST:: SOT 21461 SOS 4512 HAS SOPS 4512 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4093.512
AT ITER 5604 NEW BEST:: SOT 21461 SOS 4512 HAS SOPS 4512 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4092.512
AT ITER 5642 NEW BEST:: SOT 21453 SOS 4508 HAS SOPS 4508 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4086.508
AT ITER 5654 NEW BEST:: SOT 21446 SOS 4506 HAS SOPS 4506 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4085.506
AT ITER 5782 NEW BEST:: SOT 21445 SOS 4502 HAS SOPS 4502 HAS SOUS 4080 HAS SOUPS 4080 WITH SCORE 4084.502
AT ITER 5974 NEW BEST:: SOT 21444 SOS 4501 HAS SOPS 4501 HAS SOUS 4079 HAS SOUPS 4079 WITH SCORE 4083.501
AT ITER 5997 NEW BEST:: SOT 21443 SOS 4488 HAS SOPS 4488 HAS SOUS 4067 HAS SOUPS 4067 WITH SCORE 4071.488
AT ITER 6039 NEW BEST:: SOT 21428 SOS 4485 HAS SOPS 4485 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4068.485
AT ITER 6043 NEW BEST:: SOT 21428 SOS 4486 HAS SOPS 4486 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4066.486
AT ITER 6177 NEW BEST:: SOT 21424 SOS 4498 HAS SOPS 4498 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4065.498
AT ITER 6189 NEW BEST:: SOT 21424 SOS 4524 HAS SOPS 4524 HAS SOUS 4060 HAS SOUPS 4060 WITH SCORE 4064.524
AT ITER 6240 NEW BEST:: SOT 21424 SOS 4520 HAS SOPS 4520 HAS SOUS 4060 HAS SOUPS 4060 WITH SCORE 4064.52
AT ITER 6354 NEW BEST:: SOT 21424 SOS 4518 HAS SOPS 4518 HAS SOUS 4058 HAS SOUPS 4058 WITH SCORE 4062.518
AT ITER 6407 NEW BEST:: SOT 21430 SOS 4541 HAS SOPS 4541 HAS SOUS 4057 HAS SOUPS 4057 WITH SCORE 4061.541
AT ITER 6460 NEW BEST:: SOT 21429 SOS 4538 HAS SOPS 4538 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4056.538
AT ITER 6501 NEW BEST:: SOT 21420 SOS 4520 HAS SOPS 4520 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4041.52
AT ITER 6537 NEW BEST:: SOT 21422 SOS 4520 HAS SOPS 4520 HAS SOUS 4036 HAS SOUPS 4036 WITH SCORE 4040.52
AT ITER 6598 NEW BEST:: SOT 21411 SOS 4508 HAS SOPS 4508 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4039.508
AT ITER 6614 NEW BEST:: SOT 21410 SOS 4510 HAS SOPS 4510 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4038.51
AT ITER 6616 NEW BEST:: SOT 21410 SOS 4513 HAS SOPS 4513 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4035.513
AT ITER 6714 NEW BEST:: SOT 21410 SOS 4511 HAS SOPS 4511 HAS SOUS 4029 HAS SOUPS 4029 WITH SCORE 4033.511
AT ITER 6737 NEW BEST:: SOT 21408 SOS 4509 HAS SOPS 4509 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4031.509
AT ITER 6786 NEW BEST:: SOT 21405 SOS 4503 HAS SOPS 4503 HAS SOUS 4025 HAS SOUPS 4025 WITH SCORE 4029.503
AT ITER 6920 NEW BEST:: SOT 21407 SOS 4497 HAS SOPS 4497 HAS SOUS 4017 HAS SOUPS 4017 WITH SCORE 4021.497
AT ITER 6984 NEW BEST:: SOT 21403 SOS 4493 HAS SOPS 4493 HAS SOUS 4013 HAS SOUPS 4013 WITH SCORE 4017.493
AT ITER 7012 NEW BEST:: SOT 21392 SOS 4519 HAS SOPS 4519 HAS SOUS 4011 HAS SOUPS 4011 WITH SCORE 4015.519
AT ITER 7014 NEW BEST:: SOT 21392 SOS 4517 HAS SOPS 4517 HAS SOUS 4011 HAS SOUPS 4011 WITH SCORE 4015.517
AT ITER 7066 NEW BEST:: SOT 21390 SOS 4515 HAS SOPS 4515 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4013.515
AT ITER 7103 NEW BEST:: SOT 21390 SOS 4503 HAS SOPS 4503 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4013.503
AT ITER 7130 NEW BEST:: SOT 21392 SOS 4500 HAS SOPS 4500 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4010.5
AT ITER 7207 NEW BEST:: SOT 21388 SOS 4494 HAS SOPS 4494 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4004.494
AT ITER 7254 NEW BEST:: SOT 21388 SOS 4486 HAS SOPS 4486 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4004.486
AT ITER 7286 NEW BEST:: SOT 21387 SOS 4485 HAS SOPS 4485 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4003.485
AT ITER 7326 NEW BEST:: SOT 21379 SOS 4480 HAS SOPS 4480 HAS SOUS 3991 HAS SOUPS 3991 WITH SCORE 3995.48
AT ITER 7411 NEW BEST:: SOT 21379 SOS 4479 HAS SOPS 4479 HAS SOUS 3990 HAS SOUPS 3990 WITH SCORE 3994.479
AT ITER 7471 NEW BEST:: SOT 21379 SOS 4478 HAS SOPS 4478 HAS SOUS 3990 HAS SOUPS 3990 WITH SCORE 3994.478
AT ITER 7519 NEW BEST:: SOT 21380 SOS 4471 HAS SOPS 4471 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3987.471
AT ITER 7601 NEW BEST:: SOT 21381 SOS 4484 HAS SOPS 4484 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 3986.484
AT ITER 7674 NEW BEST:: SOT 21378 SOS 4481 HAS SOPS 4481 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 3986.481
AT ITER 7720 NEW BEST:: SOT 21377 SOS 4480 HAS SOPS 4480 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3985.48
AT ITER 7729 NEW BEST:: SOT 21377 SOS 4473 HAS SOPS 4473 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3980.473
AT ITER 7736 NEW BEST:: SOT 21378 SOS 4471 HAS SOPS 4471 HAS SOUS 3974 HAS SOUPS 3974 WITH SCORE 3978.471
AT ITER 7798 NEW BEST:: SOT 21390 SOS 4469 HAS SOPS 4469 HAS SOUS 3972 HAS SOUPS 3972 WITH SCORE 3976.469
AT ITER 7824 NEW BEST:: SOT 21389 SOS 4468 HAS SOPS 4468 HAS SOUS 3971 HAS SOUPS 3971 WITH SCORE 3975.468
AT ITER 7923 NEW BEST:: SOT 21388 SOS 4461 HAS SOPS 4461 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3973.461
AT ITER 7954 NEW BEST:: SOT 21388 SOS 4460 HAS SOPS 4460 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3972.46
AT ITER 7967 NEW BEST:: SOT 21385 SOS 4454 HAS SOPS 4454 HAS SOUS 3963 HAS SOUPS 3963 WITH SCORE 3967.454
AT ITER 8005 NEW BEST:: SOT 21388 SOS 4452 HAS SOPS 4452 HAS SOUS 3961 HAS SOUPS 3961 WITH SCORE 3965.452
AT ITER 8117 NEW BEST:: SOT 21382 SOS 4437 HAS SOPS 4437 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3959.437
AT ITER 8193 NEW BEST:: SOT 21380 SOS 4415 HAS SOPS 4415 HAS SOUS 3951 HAS SOUPS 3951 WITH SCORE 3955.415
AT ITER 8216 NEW BEST:: SOT 21380 SOS 4409 HAS SOPS 4409 HAS SOUS 3945 HAS SOUPS 3945 WITH SCORE 3949.409
AT ITER 8278 NEW BEST:: SOT 21378 SOS 4406 HAS SOPS 4406 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3948.406
AT ITER 8299 NEW BEST:: SOT 21371 SOS 4399 HAS SOPS 4399 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3948.399
AT ITER 8329 NEW BEST:: SOT 21363 SOS 4391 HAS SOPS 4391 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3940.391
AT ITER 8472 NEW BEST:: SOT 21363 SOS 4381 HAS SOPS 4381 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3930.381
AT ITER 8484 NEW BEST:: SOT 21360 SOS 4382 HAS SOPS 4382 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3929.382
AT ITER 8810 NEW BEST:: SOT 21360 SOS 4382 HAS SOPS 4382 HAS SOUS 3924 HAS SOUPS 3924 WITH SCORE 3928.382
AT ITER 8831 NEW BEST:: SOT 21354 SOS 4374 HAS SOPS 4374 HAS SOUS 3922 HAS SOUPS 3922 WITH SCORE 3926.374
AT ITER 8886 NEW BEST:: SOT 21353 SOS 4376 HAS SOPS 4376 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3924.376
AT ITER 8940 NEW BEST:: SOT 21339 SOS 4372 HAS SOPS 4372 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3920.372
AT ITER 8968 NEW BEST:: SOT 21333 SOS 4354 HAS SOPS 4354 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3913.354
AT ITER 9133 NEW BEST:: SOT 21333 SOS 4352 HAS SOPS 4352 HAS SOUS 3906 HAS SOUPS 3906 WITH SCORE 3910.352
AT ITER 9141 NEW BEST:: SOT 21333 SOS 4350 HAS SOPS 4350 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3908.35
AT ITER 9237 NEW BEST:: SOT 21338 SOS 4360 HAS SOPS 4360 HAS SOUS 3902 HAS SOUPS 3902 WITH SCORE 3906.36
AT ITER 9250 NEW BEST:: SOT 21331 SOS 4354 HAS SOPS 4354 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3899.354
AT ITER 9259 NEW BEST:: SOT 21331 SOS 4351 HAS SOPS 4351 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3899.351
AT ITER 9260 NEW BEST:: SOT 21328 SOS 4338 HAS SOPS 4338 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3896.338
AT ITER 9277 NEW BEST:: SOT 21320 SOS 4317 HAS SOPS 4317 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3875.317
AT ITER 9289 NEW BEST:: SOT 21323 SOS 4323 HAS SOPS 4323 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3874.323
AT ITER 9339 NEW BEST:: SOT 21321 SOS 4305 HAS SOPS 4305 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3868.305
AT ITER 9394 NEW BEST:: SOT 21317 SOS 4297 HAS SOPS 4297 HAS SOUS 3860 HAS SOUPS 3860 WITH SCORE 3864.297
AT ITER 9504 NEW BEST:: SOT 21317 SOS 4288 HAS SOPS 4288 HAS SOUS 3860 HAS SOUPS 3860 WITH SCORE 3864.288
AT ITER 9601 NEW BEST:: SOT 21315 SOS 4276 HAS SOPS 4276 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3858.276
AT ITER 9652 NEW BEST:: SOT 21314 SOS 4275 HAS SOPS 4275 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3857.275
AT ITER 9720 NEW BEST:: SOT 21314 SOS 4273 HAS SOPS 4273 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3857.273
AT ITER 9751 NEW BEST:: SOT 21308 SOS 4270 HAS SOPS 4270 HAS SOUS 3850 HAS SOUPS 3850 WITH SCORE 3854.27
AT ITER 9837 NEW BEST:: SOT 21305 SOS 4253 HAS SOPS 4253 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3844.253
AT ITER 9873 NEW BEST:: SOT 21302 SOS 4252 HAS SOPS 4252 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3843.252
AT ITER 9946 NEW BEST:: SOT 21294 SOS 4245 HAS SOPS 4245 HAS SOUS 3832 HAS SOUPS 3832 WITH SCORE 3836.245
AT ITER 9965 NEW BEST:: SOT 21293 SOS 4243 HAS SOPS 4243 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3834.243
AT ITER 9991 NEW BEST:: SOT 21292 SOS 4242 HAS SOPS 4242 HAS SOUS 3828 HAS SOUPS 3828 WITH SCORE 3832.242
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 6018676 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16124208 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

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="ShieldPPPs-PT-003B"
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 ShieldPPPs-PT-003B, 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 r395-oct2-167903718700400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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