Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979400240.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldRVt-PT-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979400240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 448K
-rw-r--r-- 1 mcc users 5.6K Feb 25 22:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 25 22:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 22:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 22:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 22:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 22:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 22:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 22:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:04 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 48K 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 1679383471572

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=ShieldRVt-PT-004B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 07:24:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 07:24:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 07:24:33] [INFO ] Load time of PNML (sax parser for PT used): 42 ms
[2023-03-21 07:24:33] [INFO ] Transformed 203 places.
[2023-03-21 07:24:33] [INFO ] Transformed 203 transitions.
[2023-03-21 07:24:33] [INFO ] Found NUPN structural information;
[2023-03-21 07:24:33] [INFO ] Parsed PT model containing 203 places and 203 transitions and 478 arcs in 105 ms.
[2023-03-21 07:24:33] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 203 places, 203 transitions and 478 arcs took 5 ms.
Total runtime 144 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 004B
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: 203 places, 203 transitions, 478 arcs.
AT ITER 0 NEW BEST:: SOT 22740 SOS 7246 HAS SOPS 7246 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6499.246
AT ITER 2 NEW BEST:: SOT 22762 SOS 7212 HAS SOPS 7212 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6491.212
AT ITER 36 NEW BEST:: SOT 22775 SOS 7110 HAS SOPS 7110 HAS SOUS 6435 HAS SOUPS 6435 WITH SCORE 6442.11
AT ITER 43 NEW BEST:: SOT 22726 SOS 7061 HAS SOPS 7061 HAS SOUS 6351 HAS SOUPS 6351 WITH SCORE 6358.061
AT ITER 45 NEW BEST:: SOT 22726 SOS 7061 HAS SOPS 7061 HAS SOUS 6343 HAS SOUPS 6343 WITH SCORE 6350.061
AT ITER 49 NEW BEST:: SOT 22707 SOS 7020 HAS SOPS 7020 HAS SOUS 6321 HAS SOUPS 6321 WITH SCORE 6328.02
AT ITER 52 NEW BEST:: SOT 22675 SOS 6991 HAS SOPS 6991 HAS SOUS 6292 HAS SOUPS 6292 WITH SCORE 6298.991
AT ITER 78 NEW BEST:: SOT 22675 SOS 6984 HAS SOPS 6984 HAS SOUS 6285 HAS SOUPS 6285 WITH SCORE 6291.984
AT ITER 84 NEW BEST:: SOT 22675 SOS 6955 HAS SOPS 6955 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6262.955
AT ITER 96 NEW BEST:: SOT 22675 SOS 6955 HAS SOPS 6955 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6239.955
AT ITER 102 NEW BEST:: SOT 22624 SOS 6786 HAS SOPS 6786 HAS SOUS 6131 HAS SOUPS 6131 WITH SCORE 6137.786
AT ITER 150 NEW BEST:: SOT 22623 SOS 6758 HAS SOPS 6758 HAS SOUS 6116 HAS SOUPS 6116 WITH SCORE 6122.758
AT ITER 153 NEW BEST:: SOT 22623 SOS 6747 HAS SOPS 6747 HAS SOUS 6105 HAS SOUPS 6105 WITH SCORE 6111.747
AT ITER 155 NEW BEST:: SOT 22623 SOS 6735 HAS SOPS 6735 HAS SOUS 6093 HAS SOUPS 6093 WITH SCORE 6099.735
AT ITER 179 NEW BEST:: SOT 22641 SOS 6771 HAS SOPS 6771 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6090.771
AT ITER 197 NEW BEST:: SOT 22650 SOS 6739 HAS SOPS 6739 HAS SOUS 6070 HAS SOUPS 6070 WITH SCORE 6076.739
AT ITER 216 NEW BEST:: SOT 22650 SOS 6738 HAS SOPS 6738 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6075.738
AT ITER 219 NEW BEST:: SOT 22638 SOS 6640 HAS SOPS 6640 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6011.64
AT ITER 224 NEW BEST:: SOT 22635 SOS 6634 HAS SOPS 6634 HAS SOUS 5999 HAS SOUPS 5999 WITH SCORE 6005.634
AT ITER 230 NEW BEST:: SOT 22610 SOS 6553 HAS SOPS 6553 HAS SOUS 5971 HAS SOUPS 5971 WITH SCORE 5977.553
AT ITER 236 NEW BEST:: SOT 22610 SOS 6531 HAS SOPS 6531 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5955.531
AT ITER 248 NEW BEST:: SOT 22602 SOS 6515 HAS SOPS 6515 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 5947.515
AT ITER 267 NEW BEST:: SOT 22583 SOS 6501 HAS SOPS 6501 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5928.501
AT ITER 271 NEW BEST:: SOT 22594 SOS 6475 HAS SOPS 6475 HAS SOUS 5903 HAS SOUPS 5903 WITH SCORE 5909.475
AT ITER 310 NEW BEST:: SOT 22590 SOS 6471 HAS SOPS 6471 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5905.471
AT ITER 312 NEW BEST:: SOT 22586 SOS 6406 HAS SOPS 6406 HAS SOUS 5876 HAS SOUPS 5876 WITH SCORE 5882.406
AT ITER 335 NEW BEST:: SOT 22586 SOS 6405 HAS SOPS 6405 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5881.405
AT ITER 393 NEW BEST:: SOT 22578 SOS 6407 HAS SOPS 6407 HAS SOUS 5859 HAS SOUPS 5859 WITH SCORE 5865.407
AT ITER 408 NEW BEST:: SOT 22578 SOS 6404 HAS SOPS 6404 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5862.404
AT ITER 427 NEW BEST:: SOT 22569 SOS 6383 HAS SOPS 6383 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5813.383
AT ITER 433 NEW BEST:: SOT 22564 SOS 6378 HAS SOPS 6378 HAS SOUS 5797 HAS SOUPS 5797 WITH SCORE 5803.378
AT ITER 448 NEW BEST:: SOT 22564 SOS 6371 HAS SOPS 6371 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5796.371
AT ITER 489 NEW BEST:: SOT 22564 SOS 6371 HAS SOPS 6371 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5793.371
AT ITER 490 NEW BEST:: SOT 22564 SOS 6372 HAS SOPS 6372 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5786.372
AT ITER 501 NEW BEST:: SOT 22564 SOS 6363 HAS SOPS 6363 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5777.363
AT ITER 504 NEW BEST:: SOT 22564 SOS 6344 HAS SOPS 6344 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5777.344
AT ITER 505 NEW BEST:: SOT 22557 SOS 6330 HAS SOPS 6330 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5769.33
AT ITER 522 NEW BEST:: SOT 22552 SOS 6336 HAS SOPS 6336 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5764.336
AT ITER 536 NEW BEST:: SOT 22530 SOS 6292 HAS SOPS 6292 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5720.292
AT ITER 540 NEW BEST:: SOT 22536 SOS 6304 HAS SOPS 6304 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5701.304
AT ITER 556 NEW BEST:: SOT 22527 SOS 6259 HAS SOPS 6259 HAS SOUS 5650 HAS SOUPS 5650 WITH SCORE 5656.259
AT ITER 564 NEW BEST:: SOT 22494 SOS 6193 HAS SOPS 6193 HAS SOUS 5583 HAS SOUPS 5583 WITH SCORE 5589.193
AT ITER 611 NEW BEST:: SOT 22487 SOS 6179 HAS SOPS 6179 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5574.179
AT ITER 613 NEW BEST:: SOT 22490 SOS 6179 HAS SOPS 6179 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5571.179
AT ITER 616 NEW BEST:: SOT 22489 SOS 6177 HAS SOPS 6177 HAS SOUS 5563 HAS SOUPS 5563 WITH SCORE 5569.177
AT ITER 636 NEW BEST:: SOT 22473 SOS 6172 HAS SOPS 6172 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5537.172
AT ITER 643 NEW BEST:: SOT 22473 SOS 6165 HAS SOPS 6165 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5530.165
AT ITER 650 NEW BEST:: SOT 22478 SOS 6148 HAS SOPS 6148 HAS SOUS 5474 HAS SOUPS 5474 WITH SCORE 5480.148
AT ITER 652 NEW BEST:: SOT 22477 SOS 6145 HAS SOPS 6145 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5478.145
AT ITER 654 NEW BEST:: SOT 22468 SOS 6171 HAS SOPS 6171 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5465.171
AT ITER 660 NEW BEST:: SOT 22467 SOS 6159 HAS SOPS 6159 HAS SOUS 5458 HAS SOUPS 5458 WITH SCORE 5464.159
AT ITER 662 NEW BEST:: SOT 22490 SOS 6199 HAS SOPS 6199 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5438.199
AT ITER 740 NEW BEST:: SOT 22490 SOS 6185 HAS SOPS 6185 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5438.185
AT ITER 741 NEW BEST:: SOT 22495 SOS 6182 HAS SOPS 6182 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5435.182
AT ITER 782 NEW BEST:: SOT 22495 SOS 6160 HAS SOPS 6160 HAS SOUS 5407 HAS SOUPS 5407 WITH SCORE 5413.16
AT ITER 789 NEW BEST:: SOT 22460 SOS 6008 HAS SOPS 6008 HAS SOUS 5331 HAS SOUPS 5331 WITH SCORE 5337.008
AT ITER 822 NEW BEST:: SOT 22441 SOS 5986 HAS SOPS 5986 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5314.986
AT ITER 828 NEW BEST:: SOT 22437 SOS 5982 HAS SOPS 5982 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5309.982
AT ITER 836 NEW BEST:: SOT 22437 SOS 5968 HAS SOPS 5968 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5294.968
AT ITER 870 NEW BEST:: SOT 22437 SOS 5968 HAS SOPS 5968 HAS SOUS 5287 HAS SOUPS 5287 WITH SCORE 5292.968
AT ITER 887 NEW BEST:: SOT 22436 SOS 5966 HAS SOPS 5966 HAS SOUS 5285 HAS SOUPS 5285 WITH SCORE 5290.966
AT ITER 899 NEW BEST:: SOT 22448 SOS 5944 HAS SOPS 5944 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5268.944
AT ITER 902 NEW BEST:: SOT 22448 SOS 5936 HAS SOPS 5936 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5267.936
AT ITER 907 NEW BEST:: SOT 22455 SOS 5934 HAS SOPS 5934 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5265.934
AT ITER 913 NEW BEST:: SOT 22455 SOS 5928 HAS SOPS 5928 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5256.928
AT ITER 941 NEW BEST:: SOT 22454 SOS 5929 HAS SOPS 5929 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5255.929
AT ITER 955 NEW BEST:: SOT 22453 SOS 5927 HAS SOPS 5927 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5253.927
AT ITER 1008 NEW BEST:: SOT 22457 SOS 5931 HAS SOPS 5931 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5250.931
AT ITER 1011 NEW BEST:: SOT 22457 SOS 5893 HAS SOPS 5893 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5250.893
AT ITER 1013 NEW BEST:: SOT 22446 SOS 5920 HAS SOPS 5920 HAS SOUS 5240 HAS SOUPS 5240 WITH SCORE 5245.92
AT ITER 1014 NEW BEST:: SOT 22431 SOS 5890 HAS SOPS 5890 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5230.89
AT ITER 1035 NEW BEST:: SOT 22431 SOS 5878 HAS SOPS 5878 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5224.878
AT ITER 1047 NEW BEST:: SOT 22426 SOS 5868 HAS SOPS 5868 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5219.868
AT ITER 1050 NEW BEST:: SOT 22420 SOS 5819 HAS SOPS 5819 HAS SOUS 5165 HAS SOUPS 5165 WITH SCORE 5170.819
AT ITER 1061 NEW BEST:: SOT 22412 SOS 5803 HAS SOPS 5803 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5154.803
AT ITER 1071 NEW BEST:: SOT 22412 SOS 5793 HAS SOPS 5793 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5154.793
AT ITER 1078 NEW BEST:: SOT 22413 SOS 5750 HAS SOPS 5750 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5154.75
AT ITER 1079 NEW BEST:: SOT 22408 SOS 5707 HAS SOPS 5707 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5111.707
AT ITER 1111 NEW BEST:: SOT 22408 SOS 5677 HAS SOPS 5677 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5111.677
AT ITER 1121 NEW BEST:: SOT 22404 SOS 5655 HAS SOPS 5655 HAS SOUS 5098 HAS SOUPS 5098 WITH SCORE 5103.655
AT ITER 1135 NEW BEST:: SOT 22404 SOS 5653 HAS SOPS 5653 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5101.653
AT ITER 1147 NEW BEST:: SOT 22380 SOS 5648 HAS SOPS 5648 HAS SOUS 5091 HAS SOUPS 5091 WITH SCORE 5096.648
AT ITER 1153 NEW BEST:: SOT 22376 SOS 5640 HAS SOPS 5640 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5087.64
AT ITER 1160 NEW BEST:: SOT 22382 SOS 5652 HAS SOPS 5652 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5076.652
AT ITER 1179 NEW BEST:: SOT 22401 SOS 5646 HAS SOPS 5646 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5070.646
AT ITER 1194 NEW BEST:: SOT 22401 SOS 5627 HAS SOPS 5627 HAS SOUS 5047 HAS SOUPS 5047 WITH SCORE 5052.627
AT ITER 1254 NEW BEST:: SOT 22379 SOS 5626 HAS SOPS 5626 HAS SOUS 5043 HAS SOUPS 5043 WITH SCORE 5048.626
AT ITER 1267 NEW BEST:: SOT 22378 SOS 5624 HAS SOPS 5624 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5047.624
AT ITER 1276 NEW BEST:: SOT 22377 SOS 5626 HAS SOPS 5626 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5046.626
AT ITER 1302 NEW BEST:: SOT 22365 SOS 5602 HAS SOPS 5602 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5022.602
AT ITER 1304 NEW BEST:: SOT 22354 SOS 5591 HAS SOPS 5591 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5000.591
AT ITER 1311 NEW BEST:: SOT 22354 SOS 5527 HAS SOPS 5527 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4956.527
AT ITER 1321 NEW BEST:: SOT 22361 SOS 5502 HAS SOPS 5502 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4944.502
AT ITER 1322 NEW BEST:: SOT 22380 SOS 5497 HAS SOPS 5497 HAS SOUS 4931 HAS SOUPS 4931 WITH SCORE 4936.497
AT ITER 1327 NEW BEST:: SOT 22380 SOS 5495 HAS SOPS 5495 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4934.495
AT ITER 1328 NEW BEST:: SOT 22341 SOS 5492 HAS SOPS 5492 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4923.492
AT ITER 1332 NEW BEST:: SOT 22342 SOS 5436 HAS SOPS 5436 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4867.436
AT ITER 1339 NEW BEST:: SOT 22332 SOS 5434 HAS SOPS 5434 HAS SOUS 4859 HAS SOUPS 4859 WITH SCORE 4864.434
AT ITER 1357 NEW BEST:: SOT 22332 SOS 5431 HAS SOPS 5431 HAS SOUS 4859 HAS SOUPS 4859 WITH SCORE 4864.431
AT ITER 1376 NEW BEST:: SOT 22331 SOS 5417 HAS SOPS 5417 HAS SOUS 4852 HAS SOUPS 4852 WITH SCORE 4857.417
AT ITER 1377 NEW BEST:: SOT 22327 SOS 5413 HAS SOPS 5413 HAS SOUS 4848 HAS SOUPS 4848 WITH SCORE 4853.413
AT ITER 1380 NEW BEST:: SOT 22343 SOS 5379 HAS SOPS 5379 HAS SOUS 4843 HAS SOUPS 4843 WITH SCORE 4848.379
AT ITER 1387 NEW BEST:: SOT 22353 SOS 5401 HAS SOPS 5401 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4842.401
AT ITER 1412 NEW BEST:: SOT 22353 SOS 5415 HAS SOPS 5415 HAS SOUS 4830 HAS SOUPS 4830 WITH SCORE 4835.415
AT ITER 1445 NEW BEST:: SOT 22344 SOS 5397 HAS SOPS 5397 HAS SOUS 4812 HAS SOUPS 4812 WITH SCORE 4817.397
AT ITER 1456 NEW BEST:: SOT 22356 SOS 5421 HAS SOPS 5421 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4812.421
AT ITER 1513 NEW BEST:: SOT 22345 SOS 5410 HAS SOPS 5410 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4801.41
AT ITER 1516 NEW BEST:: SOT 22341 SOS 5402 HAS SOPS 5402 HAS SOUS 4790 HAS SOUPS 4790 WITH SCORE 4795.402
AT ITER 1526 NEW BEST:: SOT 22340 SOS 5400 HAS SOPS 5400 HAS SOUS 4788 HAS SOUPS 4788 WITH SCORE 4793.4
AT ITER 1533 NEW BEST:: SOT 22339 SOS 5396 HAS SOPS 5396 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4790.396
AT ITER 1538 NEW BEST:: SOT 22339 SOS 5392 HAS SOPS 5392 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4790.392
AT ITER 1557 NEW BEST:: SOT 22339 SOS 5392 HAS SOPS 5392 HAS SOUS 4784 HAS SOUPS 4784 WITH SCORE 4789.392
AT ITER 1568 NEW BEST:: SOT 22346 SOS 5406 HAS SOPS 5406 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4788.406
AT ITER 1609 NEW BEST:: SOT 22334 SOS 5358 HAS SOPS 5358 HAS SOUS 4759 HAS SOUPS 4759 WITH SCORE 4764.358
AT ITER 1642 NEW BEST:: SOT 22321 SOS 5332 HAS SOPS 5332 HAS SOUS 4745 HAS SOUPS 4745 WITH SCORE 4750.332
AT ITER 1646 NEW BEST:: SOT 22307 SOS 5297 HAS SOPS 5297 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4715.297
AT ITER 1674 NEW BEST:: SOT 22306 SOS 5293 HAS SOPS 5293 HAS SOUS 4709 HAS SOUPS 4709 WITH SCORE 4714.293
AT ITER 1676 NEW BEST:: SOT 22306 SOS 5291 HAS SOPS 5291 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4712.291
AT ITER 1705 NEW BEST:: SOT 22306 SOS 5291 HAS SOPS 5291 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4711.291
AT ITER 1708 NEW BEST:: SOT 22297 SOS 5291 HAS SOPS 5291 HAS SOUS 4695 HAS SOUPS 4695 WITH SCORE 4700.291
AT ITER 1713 NEW BEST:: SOT 22297 SOS 5289 HAS SOPS 5289 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4699.289
AT ITER 1734 NEW BEST:: SOT 22296 SOS 5288 HAS SOPS 5288 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4698.288
AT ITER 1771 NEW BEST:: SOT 22299 SOS 5254 HAS SOPS 5254 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4697.254
AT ITER 1777 NEW BEST:: SOT 22298 SOS 5252 HAS SOPS 5252 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4695.252
AT ITER 1821 NEW BEST:: SOT 22275 SOS 5179 HAS SOPS 5179 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4645.179
AT ITER 1827 NEW BEST:: SOT 22273 SOS 5158 HAS SOPS 5158 HAS SOUS 4619 HAS SOUPS 4619 WITH SCORE 4624.158
AT ITER 1837 NEW BEST:: SOT 22273 SOS 5188 HAS SOPS 5188 HAS SOUS 4613 HAS SOUPS 4613 WITH SCORE 4618.188
AT ITER 1844 NEW BEST:: SOT 22296 SOS 5132 HAS SOPS 5132 HAS SOUS 4594 HAS SOUPS 4594 WITH SCORE 4599.132
AT ITER 1862 NEW BEST:: SOT 22296 SOS 5123 HAS SOPS 5123 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4590.123
AT ITER 1881 NEW BEST:: SOT 22282 SOS 5095 HAS SOPS 5095 HAS SOUS 4557 HAS SOUPS 4557 WITH SCORE 4562.095
AT ITER 1888 NEW BEST:: SOT 22282 SOS 5094 HAS SOPS 5094 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4561.094
AT ITER 1899 NEW BEST:: SOT 22279 SOS 5081 HAS SOPS 5081 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4548.081
AT ITER 1905 NEW BEST:: SOT 22279 SOS 5080 HAS SOPS 5080 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4547.08
AT ITER 1921 NEW BEST:: SOT 22274 SOS 5070 HAS SOPS 5070 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4542.07
AT ITER 1978 NEW BEST:: SOT 22250 SOS 5046 HAS SOPS 5046 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4523.046
AT ITER 1989 NEW BEST:: SOT 22254 SOS 5032 HAS SOPS 5032 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4505.032
AT ITER 2004 NEW BEST:: SOT 22254 SOS 5031 HAS SOPS 5031 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4504.031
AT ITER 2012 NEW BEST:: SOT 22256 SOS 5029 HAS SOPS 5029 HAS SOUS 4497 HAS SOUPS 4497 WITH SCORE 4502.029
AT ITER 2022 NEW BEST:: SOT 22233 SOS 4983 HAS SOPS 4983 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4468.983
AT ITER 2045 NEW BEST:: SOT 22224 SOS 4979 HAS SOPS 4979 HAS SOUS 4455 HAS SOUPS 4455 WITH SCORE 4459.979
AT ITER 2052 NEW BEST:: SOT 22221 SOS 4976 HAS SOPS 4976 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4456.976
AT ITER 2136 NEW BEST:: SOT 22220 SOS 4975 HAS SOPS 4975 HAS SOUS 4451 HAS SOUPS 4451 WITH SCORE 4455.975
AT ITER 2141 NEW BEST:: SOT 22220 SOS 4974 HAS SOPS 4974 HAS SOUS 4451 HAS SOUPS 4451 WITH SCORE 4455.974
AT ITER 2154 NEW BEST:: SOT 22214 SOS 4932 HAS SOPS 4932 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4431.932
AT ITER 2167 NEW BEST:: SOT 22208 SOS 4920 HAS SOPS 4920 HAS SOUS 4415 HAS SOUPS 4415 WITH SCORE 4419.92
AT ITER 2171 NEW BEST:: SOT 22215 SOS 4911 HAS SOPS 4911 HAS SOUS 4411 HAS SOUPS 4411 WITH SCORE 4415.911
AT ITER 2240 NEW BEST:: SOT 22201 SOS 4919 HAS SOPS 4919 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4406.919
AT ITER 2276 NEW BEST:: SOT 22201 SOS 4918 HAS SOPS 4918 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4405.918
AT ITER 2280 NEW BEST:: SOT 22187 SOS 4897 HAS SOPS 4897 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4402.897
AT ITER 2284 NEW BEST:: SOT 22182 SOS 4887 HAS SOPS 4887 HAS SOUS 4393 HAS SOUPS 4393 WITH SCORE 4397.887
AT ITER 2311 NEW BEST:: SOT 22185 SOS 4884 HAS SOPS 4884 HAS SOUS 4393 HAS SOUPS 4393 WITH SCORE 4397.884
AT ITER 2328 NEW BEST:: SOT 22171 SOS 4865 HAS SOPS 4865 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4378.865
AT ITER 2351 NEW BEST:: SOT 22166 SOS 4860 HAS SOPS 4860 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4378.86
AT ITER 2405 NEW BEST:: SOT 22142 SOS 4812 HAS SOPS 4812 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4354.812
AT ITER 2421 NEW BEST:: SOT 22142 SOS 4798 HAS SOPS 4798 HAS SOUS 4343 HAS SOUPS 4343 WITH SCORE 4347.798
AT ITER 2487 NEW BEST:: SOT 22142 SOS 4797 HAS SOPS 4797 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4346.797
AT ITER 2575 NEW BEST:: SOT 22133 SOS 4781 HAS SOPS 4781 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4330.781
AT ITER 2592 NEW BEST:: SOT 22133 SOS 4770 HAS SOPS 4770 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4330.77
AT ITER 2611 NEW BEST:: SOT 22134 SOS 4766 HAS SOPS 4766 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4328.766
AT ITER 2615 NEW BEST:: SOT 22134 SOS 4785 HAS SOPS 4785 HAS SOUS 4323 HAS SOUPS 4323 WITH SCORE 4327.785
AT ITER 2641 NEW BEST:: SOT 22093 SOS 4658 HAS SOPS 4658 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4241.658
AT ITER 2692 NEW BEST:: SOT 22101 SOS 4666 HAS SOPS 4666 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4227.666
AT ITER 2702 NEW BEST:: SOT 22100 SOS 4664 HAS SOPS 4664 HAS SOUS 4221 HAS SOUPS 4221 WITH SCORE 4225.664
AT ITER 2706 NEW BEST:: SOT 22100 SOS 4655 HAS SOPS 4655 HAS SOUS 4221 HAS SOUPS 4221 WITH SCORE 4225.655
AT ITER 2763 NEW BEST:: SOT 22097 SOS 4652 HAS SOPS 4652 HAS SOUS 4218 HAS SOUPS 4218 WITH SCORE 4222.652
AT ITER 2769 NEW BEST:: SOT 22096 SOS 4651 HAS SOPS 4651 HAS SOUS 4217 HAS SOUPS 4217 WITH SCORE 4221.651
AT ITER 2793 NEW BEST:: SOT 22096 SOS 4651 HAS SOPS 4651 HAS SOUS 4207 HAS SOUPS 4207 WITH SCORE 4211.651
AT ITER 2873 NEW BEST:: SOT 22095 SOS 4593 HAS SOPS 4593 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4209.593
AT ITER 2895 NEW BEST:: SOT 22095 SOS 4586 HAS SOPS 4586 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4209.586
AT ITER 2909 NEW BEST:: SOT 22091 SOS 4585 HAS SOPS 4585 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4208.585
AT ITER 2937 NEW BEST:: SOT 22088 SOS 4576 HAS SOPS 4576 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4199.576
AT ITER 2972 NEW BEST:: SOT 22081 SOS 4569 HAS SOPS 4569 HAS SOUS 4181 HAS SOUPS 4181 WITH SCORE 4185.569
AT ITER 3010 NEW BEST:: SOT 22081 SOS 4569 HAS SOPS 4569 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4180.569
AT ITER 3016 NEW BEST:: SOT 22093 SOS 4596 HAS SOPS 4596 HAS SOUS 4167 HAS SOUPS 4167 WITH SCORE 4171.596
AT ITER 3042 NEW BEST:: SOT 22087 SOS 4584 HAS SOPS 4584 HAS SOUS 4161 HAS SOUPS 4161 WITH SCORE 4165.584
AT ITER 3046 NEW BEST:: SOT 22086 SOS 4583 HAS SOPS 4583 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4164.583
AT ITER 3048 NEW BEST:: SOT 22077 SOS 4549 HAS SOPS 4549 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4146.549
AT ITER 3092 NEW BEST:: SOT 22077 SOS 4546 HAS SOPS 4546 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4146.546
AT ITER 3197 NEW BEST:: SOT 22074 SOS 4543 HAS SOPS 4543 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4143.543
AT ITER 3256 NEW BEST:: SOT 22053 SOS 4534 HAS SOPS 4534 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4124.534
AT ITER 3265 NEW BEST:: SOT 22053 SOS 4528 HAS SOPS 4528 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4124.528
AT ITER 3272 NEW BEST:: SOT 22052 SOS 4531 HAS SOPS 4531 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4122.531
AT ITER 3287 NEW BEST:: SOT 22052 SOS 4530 HAS SOPS 4530 HAS SOUS 4117 HAS SOUPS 4117 WITH SCORE 4121.53
AT ITER 3293 NEW BEST:: SOT 22069 SOS 4542 HAS SOPS 4542 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4116.542
AT ITER 3326 NEW BEST:: SOT 22067 SOS 4538 HAS SOPS 4538 HAS SOUS 4109 HAS SOUPS 4109 WITH SCORE 4113.538
AT ITER 3346 NEW BEST:: SOT 22065 SOS 4538 HAS SOPS 4538 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4111.538
AT ITER 3382 NEW BEST:: SOT 22065 SOS 4536 HAS SOPS 4536 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4109.536
AT ITER 3396 NEW BEST:: SOT 22065 SOS 4531 HAS SOPS 4531 HAS SOUS 4100 HAS SOUPS 4100 WITH SCORE 4104.531
AT ITER 3403 NEW BEST:: SOT 22061 SOS 4532 HAS SOPS 4532 HAS SOUS 4096 HAS SOUPS 4096 WITH SCORE 4100.532
AT ITER 3437 NEW BEST:: SOT 22061 SOS 4539 HAS SOPS 4539 HAS SOUS 4094 HAS SOUPS 4094 WITH SCORE 4098.539
AT ITER 3504 NEW BEST:: SOT 22059 SOS 4535 HAS SOPS 4535 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4089.535
AT ITER 3515 NEW BEST:: SOT 22058 SOS 4533 HAS SOPS 4533 HAS SOUS 4083 HAS SOUPS 4083 WITH SCORE 4087.533
AT ITER 3536 NEW BEST:: SOT 22035 SOS 4493 HAS SOPS 4493 HAS SOUS 4043 HAS SOUPS 4043 WITH SCORE 4047.493
AT ITER 3553 NEW BEST:: SOT 22034 SOS 4493 HAS SOPS 4493 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4046.493
AT ITER 3560 NEW BEST:: SOT 22034 SOS 4490 HAS SOPS 4490 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4046.49
AT ITER 3651 NEW BEST:: SOT 22020 SOS 4462 HAS SOPS 4462 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4018.462
AT ITER 3669 NEW BEST:: SOT 22024 SOS 4450 HAS SOPS 4450 HAS SOUS 4002 HAS SOUPS 4002 WITH SCORE 4006.45
AT ITER 3673 NEW BEST:: SOT 22013 SOS 4410 HAS SOPS 4410 HAS SOUS 3979 HAS SOUPS 3979 WITH SCORE 3983.41
AT ITER 3700 NEW BEST:: SOT 22011 SOS 4404 HAS SOPS 4404 HAS SOUS 3977 HAS SOUPS 3977 WITH SCORE 3981.404
AT ITER 3704 NEW BEST:: SOT 22008 SOS 4398 HAS SOPS 4398 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3980.398
AT ITER 3708 NEW BEST:: SOT 22008 SOS 4397 HAS SOPS 4397 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3980.397
AT ITER 3747 NEW BEST:: SOT 22004 SOS 4389 HAS SOPS 4389 HAS SOUS 3972 HAS SOUPS 3972 WITH SCORE 3976.389
AT ITER 3798 NEW BEST:: SOT 21999 SOS 4379 HAS SOPS 4379 HAS SOUS 3962 HAS SOUPS 3962 WITH SCORE 3966.379
AT ITER 3828 NEW BEST:: SOT 22013 SOS 4393 HAS SOPS 4393 HAS SOUS 3958 HAS SOUPS 3958 WITH SCORE 3962.393
AT ITER 3948 NEW BEST:: SOT 22011 SOS 4389 HAS SOPS 4389 HAS SOUS 3956 HAS SOUPS 3956 WITH SCORE 3960.389
AT ITER 3952 NEW BEST:: SOT 22001 SOS 4388 HAS SOPS 4388 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3959.388
AT ITER 3988 NEW BEST:: SOT 21998 SOS 4390 HAS SOPS 4390 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3957.39
AT ITER 4034 NEW BEST:: SOT 21998 SOS 4390 HAS SOPS 4390 HAS SOUS 3952 HAS SOUPS 3952 WITH SCORE 3956.39
AT ITER 4165 NEW BEST:: SOT 21997 SOS 4389 HAS SOPS 4389 HAS SOUS 3951 HAS SOUPS 3951 WITH SCORE 3955.389
AT ITER 4236 NEW BEST:: SOT 21996 SOS 4387 HAS SOPS 4387 HAS SOUS 3949 HAS SOUPS 3949 WITH SCORE 3953.387
AT ITER 4255 NEW BEST:: SOT 21996 SOS 4383 HAS SOPS 4383 HAS SOUS 3948 HAS SOUPS 3948 WITH SCORE 3952.383
AT ITER 4259 NEW BEST:: SOT 21996 SOS 4382 HAS SOPS 4382 HAS SOUS 3947 HAS SOUPS 3947 WITH SCORE 3951.382
AT ITER 4366 NEW BEST:: SOT 21980 SOS 4378 HAS SOPS 4378 HAS SOUS 3929 HAS SOUPS 3929 WITH SCORE 3933.378
AT ITER 4432 NEW BEST:: SOT 21981 SOS 4378 HAS SOPS 4378 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3932.378
AT ITER 4462 NEW BEST:: SOT 21980 SOS 4389 HAS SOPS 4389 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3930.389
AT ITER 4500 NEW BEST:: SOT 21975 SOS 4379 HAS SOPS 4379 HAS SOUS 3924 HAS SOUPS 3924 WITH SCORE 3928.379
AT ITER 4501 NEW BEST:: SOT 21974 SOS 4378 HAS SOPS 4378 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3927.378
AT ITER 4504 NEW BEST:: SOT 21977 SOS 4377 HAS SOPS 4377 HAS SOUS 3922 HAS SOUPS 3922 WITH SCORE 3926.377
AT ITER 4524 NEW BEST:: SOT 21975 SOS 4373 HAS SOPS 4373 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3922.373
AT ITER 4550 NEW BEST:: SOT 21973 SOS 4369 HAS SOPS 4369 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3919.369
AT ITER 4626 NEW BEST:: SOT 21970 SOS 4367 HAS SOPS 4367 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3916.367
AT ITER 4633 NEW BEST:: SOT 21970 SOS 4362 HAS SOPS 4362 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3916.362
AT ITER 4676 NEW BEST:: SOT 21967 SOS 4356 HAS SOPS 4356 HAS SOUS 3906 HAS SOUPS 3906 WITH SCORE 3910.356
AT ITER 4698 NEW BEST:: SOT 21968 SOS 4354 HAS SOPS 4354 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3908.354
AT ITER 4721 NEW BEST:: SOT 21967 SOS 4352 HAS SOPS 4352 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3907.352
AT ITER 4756 NEW BEST:: SOT 21968 SOS 4347 HAS SOPS 4347 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3907.347
AT ITER 4825 NEW BEST:: SOT 21969 SOS 4349 HAS SOPS 4349 HAS SOUS 3901 HAS SOUPS 3901 WITH SCORE 3905.349
AT ITER 4839 NEW BEST:: SOT 21967 SOS 4348 HAS SOPS 4348 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3903.348
AT ITER 4869 NEW BEST:: SOT 21953 SOS 4332 HAS SOPS 4332 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3901.332
AT ITER 4884 NEW BEST:: SOT 21953 SOS 4340 HAS SOPS 4340 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3899.34
AT ITER 4894 NEW BEST:: SOT 21935 SOS 4345 HAS SOPS 4345 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3897.345
AT ITER 4912 NEW BEST:: SOT 21934 SOS 4340 HAS SOPS 4340 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3893.34
AT ITER 4928 NEW BEST:: SOT 21933 SOS 4339 HAS SOPS 4339 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3892.339
AT ITER 4956 NEW BEST:: SOT 21933 SOS 4338 HAS SOPS 4338 HAS SOUS 3887 HAS SOUPS 3887 WITH SCORE 3891.338
AT ITER 4977 NEW BEST:: SOT 21933 SOS 4337 HAS SOPS 4337 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3889.337
AT ITER 4992 NEW BEST:: SOT 21932 SOS 4335 HAS SOPS 4335 HAS SOUS 3883 HAS SOUPS 3883 WITH SCORE 3887.335
AT ITER 5071 NEW BEST:: SOT 21930 SOS 4334 HAS SOPS 4334 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3886.334
AT ITER 5077 NEW BEST:: SOT 21905 SOS 4379 HAS SOPS 4379 HAS SOUS 3859 HAS SOUPS 3859 WITH SCORE 3863.379
AT ITER 5272 NEW BEST:: SOT 21899 SOS 4367 HAS SOPS 4367 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3857.367
AT ITER 5321 NEW BEST:: SOT 21897 SOS 4363 HAS SOPS 4363 HAS SOUS 3851 HAS SOUPS 3851 WITH SCORE 3855.363
AT ITER 5348 NEW BEST:: SOT 21897 SOS 4357 HAS SOPS 4357 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3849.357
AT ITER 5368 NEW BEST:: SOT 21899 SOS 4354 HAS SOPS 4354 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3846.354
AT ITER 5450 NEW BEST:: SOT 21894 SOS 4343 HAS SOPS 4343 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3835.343
AT ITER 5457 NEW BEST:: SOT 21881 SOS 4363 HAS SOPS 4363 HAS SOUS 3828 HAS SOUPS 3828 WITH SCORE 3832.363
AT ITER 5464 NEW BEST:: SOT 21881 SOS 4361 HAS SOPS 4361 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3828.361
AT ITER 5545 NEW BEST:: SOT 21875 SOS 4349 HAS SOPS 4349 HAS SOUS 3818 HAS SOUPS 3818 WITH SCORE 3822.349
AT ITER 5618 NEW BEST:: SOT 21865 SOS 4344 HAS SOPS 4344 HAS SOUS 3813 HAS SOUPS 3813 WITH SCORE 3817.344
AT ITER 5694 NEW BEST:: SOT 21864 SOS 4342 HAS SOPS 4342 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3815.342
AT ITER 5750 NEW BEST:: SOT 21830 SOS 4339 HAS SOPS 4339 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3804.339
AT ITER 5757 NEW BEST:: SOT 21828 SOS 4347 HAS SOPS 4347 HAS SOUS 3798 HAS SOUPS 3798 WITH SCORE 3802.347
AT ITER 5781 NEW BEST:: SOT 21827 SOS 4342 HAS SOPS 4342 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3800.342
AT ITER 5787 NEW BEST:: SOT 21827 SOS 4311 HAS SOPS 4311 HAS SOUS 3790 HAS SOUPS 3790 WITH SCORE 3794.311
AT ITER 5817 NEW BEST:: SOT 21827 SOS 4310 HAS SOPS 4310 HAS SOUS 3790 HAS SOUPS 3790 WITH SCORE 3794.31
AT ITER 5819 NEW BEST:: SOT 21827 SOS 4308 HAS SOPS 4308 HAS SOUS 3790 HAS SOUPS 3790 WITH SCORE 3794.308
AT ITER 5873 NEW BEST:: SOT 21821 SOS 4290 HAS SOPS 4290 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3782.29
AT ITER 5918 NEW BEST:: SOT 21810 SOS 4241 HAS SOPS 4241 HAS SOUS 3761 HAS SOUPS 3761 WITH SCORE 3765.241
AT ITER 5978 NEW BEST:: SOT 21810 SOS 4240 HAS SOPS 4240 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3764.24
AT ITER 6109 NEW BEST:: SOT 21809 SOS 4236 HAS SOPS 4236 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3762.236
AT ITER 6149 NEW BEST:: SOT 21809 SOS 4236 HAS SOPS 4236 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3737.236
AT ITER 6159 NEW BEST:: SOT 21809 SOS 4231 HAS SOPS 4231 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3732.231
AT ITER 6165 NEW BEST:: SOT 21809 SOS 4229 HAS SOPS 4229 HAS SOUS 3726 HAS SOUPS 3726 WITH SCORE 3730.229
AT ITER 6188 NEW BEST:: SOT 21791 SOS 4224 HAS SOPS 4224 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3712.224
AT ITER 6208 NEW BEST:: SOT 21794 SOS 4221 HAS SOPS 4221 HAS SOUS 3705 HAS SOUPS 3705 WITH SCORE 3709.221
AT ITER 6335 NEW BEST:: SOT 21802 SOS 4226 HAS SOPS 4226 HAS SOUS 3702 HAS SOUPS 3702 WITH SCORE 3706.226
AT ITER 6342 NEW BEST:: SOT 21802 SOS 4226 HAS SOPS 4226 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3701.226
AT ITER 6417 NEW BEST:: SOT 21804 SOS 4230 HAS SOPS 4230 HAS SOUS 3686 HAS SOUPS 3686 WITH SCORE 3690.23
AT ITER 6433 NEW BEST:: SOT 21801 SOS 4230 HAS SOPS 4230 HAS SOUS 3680 HAS SOUPS 3680 WITH SCORE 3684.23
AT ITER 6478 NEW BEST:: SOT 21801 SOS 4228 HAS SOPS 4228 HAS SOUS 3679 HAS SOUPS 3679 WITH SCORE 3683.228
AT ITER 6550 NEW BEST:: SOT 21798 SOS 4222 HAS SOPS 4222 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3679.222
AT ITER 6592 NEW BEST:: SOT 21798 SOS 4222 HAS SOPS 4222 HAS SOUS 3666 HAS SOUPS 3666 WITH SCORE 3670.222
AT ITER 6626 NEW BEST:: SOT 21796 SOS 4218 HAS SOPS 4218 HAS SOUS 3666 HAS SOUPS 3666 WITH SCORE 3670.218
AT ITER 6634 NEW BEST:: SOT 21820 SOS 4240 HAS SOPS 4240 HAS SOUS 3662 HAS SOUPS 3662 WITH SCORE 3666.24
AT ITER 6647 NEW BEST:: SOT 21818 SOS 4238 HAS SOPS 4238 HAS SOUS 3660 HAS SOUPS 3660 WITH SCORE 3664.238
AT ITER 6662 NEW BEST:: SOT 21817 SOS 4236 HAS SOPS 4236 HAS SOUS 3659 HAS SOUPS 3659 WITH SCORE 3663.236
AT ITER 6687 NEW BEST:: SOT 21817 SOS 4232 HAS SOPS 4232 HAS SOUS 3659 HAS SOUPS 3659 WITH SCORE 3663.232
AT ITER 6699 NEW BEST:: SOT 21817 SOS 4218 HAS SOPS 4218 HAS SOUS 3645 HAS SOUPS 3645 WITH SCORE 3649.218
AT ITER 6710 NEW BEST:: SOT 21816 SOS 4215 HAS SOPS 4215 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3647.215
AT ITER 6714 NEW BEST:: SOT 21817 SOS 4217 HAS SOPS 4217 HAS SOUS 3642 HAS SOUPS 3642 WITH SCORE 3646.217
AT ITER 6750 NEW BEST:: SOT 21818 SOS 4217 HAS SOPS 4217 HAS SOUS 3641 HAS SOUPS 3641 WITH SCORE 3645.217
AT ITER 6772 NEW BEST:: SOT 21810 SOS 4188 HAS SOPS 4188 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3640.188
AT ITER 6791 NEW BEST:: SOT 21801 SOS 4170 HAS SOPS 4170 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3631.17
AT ITER 6819 NEW BEST:: SOT 21801 SOS 4167 HAS SOPS 4167 HAS SOUS 3624 HAS SOUPS 3624 WITH SCORE 3628.167
AT ITER 6992 NEW BEST:: SOT 21801 SOS 4166 HAS SOPS 4166 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3627.166
AT ITER 7112 NEW BEST:: SOT 21801 SOS 4166 HAS SOPS 4166 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3626.166
AT ITER 7121 NEW BEST:: SOT 21801 SOS 4164 HAS SOPS 4164 HAS SOUS 3620 HAS SOUPS 3620 WITH SCORE 3624.164
AT ITER 7131 NEW BEST:: SOT 21800 SOS 4161 HAS SOPS 4161 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3622.161
AT ITER 7145 NEW BEST:: SOT 21797 SOS 4191 HAS SOPS 4191 HAS SOUS 3615 HAS SOUPS 3615 WITH SCORE 3619.191
AT ITER 7147 NEW BEST:: SOT 21783 SOS 4139 HAS SOPS 4139 HAS SOUS 3601 HAS SOUPS 3601 WITH SCORE 3605.139
AT ITER 7156 NEW BEST:: SOT 21777 SOS 4114 HAS SOPS 4114 HAS SOUS 3595 HAS SOUPS 3595 WITH SCORE 3599.114
AT ITER 7285 NEW BEST:: SOT 21775 SOS 4110 HAS SOPS 4110 HAS SOUS 3593 HAS SOUPS 3593 WITH SCORE 3597.11
AT ITER 7314 NEW BEST:: SOT 21770 SOS 4104 HAS SOPS 4104 HAS SOUS 3592 HAS SOUPS 3592 WITH SCORE 3596.104
AT ITER 7378 NEW BEST:: SOT 21763 SOS 4090 HAS SOPS 4090 HAS SOUS 3576 HAS SOUPS 3576 WITH SCORE 3580.09
AT ITER 7578 NEW BEST:: SOT 21761 SOS 4090 HAS SOPS 4090 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3578.09
AT ITER 7599 NEW BEST:: SOT 21754 SOS 4083 HAS SOPS 4083 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3578.083
AT ITER 7638 NEW BEST:: SOT 21752 SOS 4072 HAS SOPS 4072 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3567.072
AT ITER 7773 NEW BEST:: SOT 21749 SOS 4060 HAS SOPS 4060 HAS SOUS 3557 HAS SOUPS 3557 WITH SCORE 3561.06
AT ITER 7777 NEW BEST:: SOT 21745 SOS 4052 HAS SOPS 4052 HAS SOUS 3553 HAS SOUPS 3553 WITH SCORE 3557.052
AT ITER 7800 NEW BEST:: SOT 21744 SOS 4050 HAS SOPS 4050 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3556.05
AT ITER 7825 NEW BEST:: SOT 21734 SOS 4030 HAS SOPS 4030 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3541.03
AT ITER 7844 NEW BEST:: SOT 21734 SOS 4025 HAS SOPS 4025 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3541.025
AT ITER 7925 NEW BEST:: SOT 21738 SOS 4007 HAS SOPS 4007 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3533.007
AT ITER 7962 NEW BEST:: SOT 21735 SOS 4001 HAS SOPS 4001 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3530.001
AT ITER 8055 NEW BEST:: SOT 21725 SOS 3967 HAS SOPS 3967 HAS SOUS 3516 HAS SOUPS 3516 WITH SCORE 3519.967
AT ITER 8216 NEW BEST:: SOT 21727 SOS 3964 HAS SOPS 3964 HAS SOUS 3513 HAS SOUPS 3513 WITH SCORE 3516.964
AT ITER 8229 NEW BEST:: SOT 21727 SOS 3960 HAS SOPS 3960 HAS SOUS 3511 HAS SOUPS 3511 WITH SCORE 3514.96
AT ITER 8238 NEW BEST:: SOT 21686 SOS 3886 HAS SOPS 3886 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3478.886
AT ITER 8275 NEW BEST:: SOT 21674 SOS 3838 HAS SOPS 3838 HAS SOUS 3451 HAS SOUPS 3451 WITH SCORE 3454.838
AT ITER 8572 NEW BEST:: SOT 21672 SOS 3835 HAS SOPS 3835 HAS SOUS 3449 HAS SOUPS 3449 WITH SCORE 3452.835
AT ITER 8618 NEW BEST:: SOT 21669 SOS 3832 HAS SOPS 3832 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3449.832
AT ITER 8627 NEW BEST:: SOT 21666 SOS 3829 HAS SOPS 3829 HAS SOUS 3443 HAS SOUPS 3443 WITH SCORE 3446.829
AT ITER 8643 NEW BEST:: SOT 21666 SOS 3827 HAS SOPS 3827 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3444.827
AT ITER 8739 NEW BEST:: SOT 21666 SOS 3821 HAS SOPS 3821 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3444.821
AT ITER 8815 NEW BEST:: SOT 21678 SOS 3819 HAS SOPS 3819 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3442.819
AT ITER 8902 NEW BEST:: SOT 21678 SOS 3808 HAS SOPS 3808 HAS SOUS 3433 HAS SOUPS 3433 WITH SCORE 3436.808
AT ITER 8931 NEW BEST:: SOT 21678 SOS 3808 HAS SOPS 3808 HAS SOUS 3427 HAS SOUPS 3427 WITH SCORE 3430.808
AT ITER 8977 NEW BEST:: SOT 21678 SOS 3807 HAS SOPS 3807 HAS SOUS 3427 HAS SOUPS 3427 WITH SCORE 3430.807
AT ITER 9055 NEW BEST:: SOT 21678 SOS 3805 HAS SOPS 3805 HAS SOUS 3427 HAS SOUPS 3427 WITH SCORE 3430.805
AT ITER 9108 NEW BEST:: SOT 21679 SOS 3844 HAS SOPS 3844 HAS SOUS 3425 HAS SOUPS 3425 WITH SCORE 3428.844
AT ITER 9142 NEW BEST:: SOT 21678 SOS 3842 HAS SOPS 3842 HAS SOUS 3425 HAS SOUPS 3425 WITH SCORE 3428.842
AT ITER 9149 NEW BEST:: SOT 21670 SOS 3834 HAS SOPS 3834 HAS SOUS 3417 HAS SOUPS 3417 WITH SCORE 3420.834
AT ITER 9174 NEW BEST:: SOT 21668 SOS 3834 HAS SOPS 3834 HAS SOUS 3415 HAS SOUPS 3415 WITH SCORE 3418.834
AT ITER 9185 NEW BEST:: SOT 21667 SOS 3833 HAS SOPS 3833 HAS SOUS 3414 HAS SOUPS 3414 WITH SCORE 3417.833
AT ITER 9393 NEW BEST:: SOT 21667 SOS 3831 HAS SOPS 3831 HAS SOUS 3412 HAS SOUPS 3412 WITH SCORE 3415.831
AT ITER 9525 NEW BEST:: SOT 21665 SOS 3827 HAS SOPS 3827 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3411.827
AT ITER 9690 NEW BEST:: SOT 21672 SOS 3839 HAS SOPS 3839 HAS SOUS 3405 HAS SOUPS 3405 WITH SCORE 3408.839
AT ITER 9709 NEW BEST:: SOT 21669 SOS 3833 HAS SOPS 3833 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3402.833
AT ITER 9754 NEW BEST:: SOT 21656 SOS 3825 HAS SOPS 3825 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3402.825
AT ITER 9851 NEW BEST:: SOT 21656 SOS 3820 HAS SOPS 3820 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3397.82
AT ITER 9956 NEW BEST:: SOT 21656 SOS 3819 HAS SOPS 3819 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3396.819
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 10795592 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16125584 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="ShieldRVt-PT-004B"
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 ShieldRVt-PT-004B, 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 r427-tajo-167905979400240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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