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.r387-oct2-167903711800400.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 smart
Input is ShieldPPPs-PT-003B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711800400
=====================================================================

--------------------
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 1679063974843

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPs-PT-003B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 003B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 14 NEW BEST:: SOT 22318 SOS 6558 HAS SOPS 6558 HAS SOUS 5825 HAS SOUPS 5825 WITH SCORE 5831.558
AT ITER 20 NEW BEST:: SOT 22318 SOS 6470 HAS SOPS 6470 HAS SOUS 5794 HAS SOUPS 5794 WITH SCORE 5800.47
AT ITER 32 NEW BEST:: SOT 22315 SOS 6464 HAS SOPS 6464 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5794.464
AT ITER 42 NEW BEST:: SOT 22313 SOS 6462 HAS SOPS 6462 HAS SOUS 5785 HAS SOUPS 5785 WITH SCORE 5791.462
AT ITER 53 NEW BEST:: SOT 22307 SOS 6445 HAS SOPS 6445 HAS SOUS 5759 HAS SOUPS 5759 WITH SCORE 5765.445
AT ITER 69 NEW BEST:: SOT 22265 SOS 6404 HAS SOPS 6404 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5724.404
AT ITER 78 NEW BEST:: SOT 22225 SOS 6222 HAS SOPS 6222 HAS SOUS 5643 HAS SOUPS 5643 WITH SCORE 5649.222
AT ITER 103 NEW BEST:: SOT 22246 SOS 6268 HAS SOPS 6268 HAS SOUS 5638 HAS SOUPS 5638 WITH SCORE 5644.268
AT ITER 111 NEW BEST:: SOT 22240 SOS 6256 HAS SOPS 6256 HAS SOUS 5632 HAS SOUPS 5632 WITH SCORE 5638.256
AT ITER 133 NEW BEST:: SOT 22228 SOS 6244 HAS SOPS 6244 HAS SOUS 5632 HAS SOUPS 5632 WITH SCORE 5638.244
AT ITER 166 NEW BEST:: SOT 22228 SOS 6237 HAS SOPS 6237 HAS SOUS 5625 HAS SOUPS 5625 WITH SCORE 5631.237
AT ITER 167 NEW BEST:: SOT 22222 SOS 6219 HAS SOPS 6219 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5625.219
AT ITER 173 NEW BEST:: SOT 22210 SOS 6233 HAS SOPS 6233 HAS SOUS 5594 HAS SOUPS 5594 WITH SCORE 5600.233
AT ITER 207 NEW BEST:: SOT 22218 SOS 6252 HAS SOPS 6252 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5578.252
AT ITER 252 NEW BEST:: SOT 22216 SOS 6250 HAS SOPS 6250 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5573.25
AT ITER 260 NEW BEST:: SOT 22183 SOS 6224 HAS SOPS 6224 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5544.224
AT ITER 262 NEW BEST:: SOT 22126 SOS 6237 HAS SOPS 6237 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5532.237
AT ITER 299 NEW BEST:: SOT 22130 SOS 6237 HAS SOPS 6237 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5528.237
AT ITER 306 NEW BEST:: SOT 22123 SOS 6230 HAS SOPS 6230 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5528.23
AT ITER 312 NEW BEST:: SOT 22121 SOS 6130 HAS SOPS 6130 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5498.13
AT ITER 318 NEW BEST:: SOT 22121 SOS 6128 HAS SOPS 6128 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5496.128
AT ITER 335 NEW BEST:: SOT 22135 SOS 6105 HAS SOPS 6105 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5491.105
AT ITER 366 NEW BEST:: SOT 22116 SOS 6148 HAS SOPS 6148 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5472.148
AT ITER 368 NEW BEST:: SOT 22136 SOS 6193 HAS SOPS 6193 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5466.193
AT ITER 392 NEW BEST:: SOT 22123 SOS 6160 HAS SOPS 6160 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5433.16
AT ITER 427 NEW BEST:: SOT 22113 SOS 6135 HAS SOPS 6135 HAS SOUS 5402 HAS SOUPS 5402 WITH SCORE 5408.135
AT ITER 428 NEW BEST:: SOT 22093 SOS 6115 HAS SOPS 6115 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5405.115
AT ITER 522 NEW BEST:: SOT 22088 SOS 6110 HAS SOPS 6110 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5400.11
AT ITER 540 NEW BEST:: SOT 22088 SOS 6088 HAS SOPS 6088 HAS SOUS 5372 HAS SOUPS 5372 WITH SCORE 5378.088
AT ITER 547 NEW BEST:: SOT 22029 SOS 5963 HAS SOPS 5963 HAS SOUS 5301 HAS SOUPS 5301 WITH SCORE 5306.963
AT ITER 557 NEW BEST:: SOT 22022 SOS 5946 HAS SOPS 5946 HAS SOUS 5288 HAS SOUPS 5288 WITH SCORE 5293.946
AT ITER 558 NEW BEST:: SOT 22013 SOS 5972 HAS SOPS 5972 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5260.972
AT ITER 562 NEW BEST:: SOT 22017 SOS 6000 HAS SOPS 6000 HAS SOUS 5234 HAS SOUPS 5234 WITH SCORE 5240.0
AT ITER 567 NEW BEST:: SOT 22017 SOS 5987 HAS SOPS 5987 HAS SOUS 5234 HAS SOUPS 5234 WITH SCORE 5239.987
AT ITER 573 NEW BEST:: SOT 22025 SOS 5985 HAS SOPS 5985 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5227.985
AT ITER 589 NEW BEST:: SOT 22004 SOS 5957 HAS SOPS 5957 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5226.957
AT ITER 613 NEW BEST:: SOT 21996 SOS 5939 HAS SOPS 5939 HAS SOUS 5212 HAS SOUPS 5212 WITH SCORE 5217.939
AT ITER 629 NEW BEST:: SOT 21985 SOS 5908 HAS SOPS 5908 HAS SOUS 5181 HAS SOUPS 5181 WITH SCORE 5186.908
AT ITER 676 NEW BEST:: SOT 21975 SOS 5893 HAS SOPS 5893 HAS SOUS 5171 HAS SOUPS 5171 WITH SCORE 5176.893
AT ITER 711 NEW BEST:: SOT 21979 SOS 5885 HAS SOPS 5885 HAS SOUS 5163 HAS SOUPS 5163 WITH SCORE 5168.885
AT ITER 718 NEW BEST:: SOT 21973 SOS 5879 HAS SOPS 5879 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5162.879
AT ITER 727 NEW BEST:: SOT 21973 SOS 5868 HAS SOPS 5868 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5162.868
AT ITER 728 NEW BEST:: SOT 21965 SOS 5860 HAS SOPS 5860 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5154.86
AT ITER 750 NEW BEST:: SOT 21957 SOS 5836 HAS SOPS 5836 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5142.836
AT ITER 771 NEW BEST:: SOT 21943 SOS 5829 HAS SOPS 5829 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5135.829
AT ITER 779 NEW BEST:: SOT 21940 SOS 5814 HAS SOPS 5814 HAS SOUS 5121 HAS SOUPS 5121 WITH SCORE 5126.814
AT ITER 782 NEW BEST:: SOT 21939 SOS 5775 HAS SOPS 5775 HAS SOUS 5098 HAS SOUPS 5098 WITH SCORE 5103.775
AT ITER 813 NEW BEST:: SOT 21930 SOS 5757 HAS SOPS 5757 HAS SOUS 5088 HAS SOUPS 5088 WITH SCORE 5093.757
AT ITER 831 NEW BEST:: SOT 21924 SOS 5756 HAS SOPS 5756 HAS SOUS 5087 HAS SOUPS 5087 WITH SCORE 5092.756
AT ITER 895 NEW BEST:: SOT 21924 SOS 5761 HAS SOPS 5761 HAS SOUS 5084 HAS SOUPS 5084 WITH SCORE 5089.761
AT ITER 940 NEW BEST:: SOT 21924 SOS 5763 HAS SOPS 5763 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5086.763
AT ITER 967 NEW BEST:: SOT 21915 SOS 5757 HAS SOPS 5757 HAS SOUS 5076 HAS SOUPS 5076 WITH SCORE 5081.757
AT ITER 977 NEW BEST:: SOT 21895 SOS 5717 HAS SOPS 5717 HAS SOUS 5036 HAS SOUPS 5036 WITH SCORE 5041.717
AT ITER 987 NEW BEST:: SOT 21893 SOS 5715 HAS SOPS 5715 HAS SOUS 5034 HAS SOUPS 5034 WITH SCORE 5039.715
AT ITER 988 NEW BEST:: SOT 21881 SOS 5691 HAS SOPS 5691 HAS SOUS 5010 HAS SOUPS 5010 WITH SCORE 5015.691
AT ITER 996 NEW BEST:: SOT 21878 SOS 5688 HAS SOPS 5688 HAS SOUS 5007 HAS SOUPS 5007 WITH SCORE 5012.688
AT ITER 1028 NEW BEST:: SOT 21877 SOS 5667 HAS SOPS 5667 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5006.667
AT ITER 1045 NEW BEST:: SOT 21876 SOS 5666 HAS SOPS 5666 HAS SOUS 5000 HAS SOUPS 5000 WITH SCORE 5005.666
AT ITER 1047 NEW BEST:: SOT 21856 SOS 5636 HAS SOPS 5636 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4985.636
AT ITER 1050 NEW BEST:: SOT 21869 SOS 5651 HAS SOPS 5651 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4981.651
AT ITER 1087 NEW BEST:: SOT 21857 SOS 5639 HAS SOPS 5639 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4969.639
AT ITER 1091 NEW BEST:: SOT 21839 SOS 5590 HAS SOPS 5590 HAS SOUS 4944 HAS SOUPS 4944 WITH SCORE 4949.59
AT ITER 1093 NEW BEST:: SOT 21838 SOS 5584 HAS SOPS 5584 HAS SOUS 4942 HAS SOUPS 4942 WITH SCORE 4947.584
AT ITER 1113 NEW BEST:: SOT 21844 SOS 5582 HAS SOPS 5582 HAS SOUS 4932 HAS SOUPS 4932 WITH SCORE 4937.582
AT ITER 1148 NEW BEST:: SOT 21840 SOS 5598 HAS SOPS 5598 HAS SOUS 4930 HAS SOUPS 4930 WITH SCORE 4935.598
AT ITER 1177 NEW BEST:: SOT 21840 SOS 5557 HAS SOPS 5557 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4894.557
AT ITER 1184 NEW BEST:: SOT 21834 SOS 5554 HAS SOPS 5554 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4888.554
AT ITER 1196 NEW BEST:: SOT 21836 SOS 5534 HAS SOPS 5534 HAS SOUS 4863 HAS SOUPS 4863 WITH SCORE 4868.534
AT ITER 1199 NEW BEST:: SOT 21817 SOS 5505 HAS SOPS 5505 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4839.505
AT ITER 1213 NEW BEST:: SOT 21811 SOS 5505 HAS SOPS 5505 HAS SOUS 4830 HAS SOUPS 4830 WITH SCORE 4835.505
AT ITER 1251 NEW BEST:: SOT 21842 SOS 5536 HAS SOPS 5536 HAS SOUS 4811 HAS SOUPS 4811 WITH SCORE 4816.536
AT ITER 1296 NEW BEST:: SOT 21841 SOS 5544 HAS SOPS 5544 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4812.544
AT ITER 1321 NEW BEST:: SOT 21839 SOS 5540 HAS SOPS 5540 HAS SOUS 4805 HAS SOUPS 4805 WITH SCORE 4810.54
AT ITER 1335 NEW BEST:: SOT 21823 SOS 5518 HAS SOPS 5518 HAS SOUS 4782 HAS SOUPS 4782 WITH SCORE 4787.518
AT ITER 1339 NEW BEST:: SOT 21809 SOS 5500 HAS SOPS 5500 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4773.5
AT ITER 1412 NEW BEST:: SOT 21799 SOS 5496 HAS SOPS 5496 HAS SOUS 4764 HAS SOUPS 4764 WITH SCORE 4769.496
AT ITER 1421 NEW BEST:: SOT 21786 SOS 5493 HAS SOPS 5493 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4766.493
AT ITER 1422 NEW BEST:: SOT 21772 SOS 5468 HAS SOPS 5468 HAS SOUS 4747 HAS SOUPS 4747 WITH SCORE 4752.468
AT ITER 1428 NEW BEST:: SOT 21772 SOS 5471 HAS SOPS 5471 HAS SOUS 4745 HAS SOUPS 4745 WITH SCORE 4750.471
AT ITER 1439 NEW BEST:: SOT 21772 SOS 5470 HAS SOPS 5470 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4749.47
AT ITER 1459 NEW BEST:: SOT 21770 SOS 5470 HAS SOPS 5470 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4747.47
AT ITER 1486 NEW BEST:: SOT 21767 SOS 5459 HAS SOPS 5459 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4736.459
AT ITER 1488 NEW BEST:: SOT 21766 SOS 5444 HAS SOPS 5444 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4733.444
AT ITER 1489 NEW BEST:: SOT 21762 SOS 5444 HAS SOPS 5444 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4727.444
AT ITER 1507 NEW BEST:: SOT 21783 SOS 5414 HAS SOPS 5414 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4697.414
AT ITER 1549 NEW BEST:: SOT 21779 SOS 5397 HAS SOPS 5397 HAS SOUS 4689 HAS SOUPS 4689 WITH SCORE 4694.397
AT ITER 1552 NEW BEST:: SOT 21773 SOS 5383 HAS SOPS 5383 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4680.383
AT ITER 1643 NEW BEST:: SOT 21773 SOS 5390 HAS SOPS 5390 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4677.39
AT ITER 1677 NEW BEST:: SOT 21776 SOS 5376 HAS SOPS 5376 HAS SOUS 4665 HAS SOUPS 4665 WITH SCORE 4670.376
AT ITER 1686 NEW BEST:: SOT 21752 SOS 5372 HAS SOPS 5372 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4657.372
AT ITER 1696 NEW BEST:: SOT 21746 SOS 5365 HAS SOPS 5365 HAS SOUS 4645 HAS SOUPS 4645 WITH SCORE 4650.365
AT ITER 1697 NEW BEST:: SOT 21734 SOS 5346 HAS SOPS 5346 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4633.346
AT ITER 1704 NEW BEST:: SOT 21733 SOS 5341 HAS SOPS 5341 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4629.341
AT ITER 1712 NEW BEST:: SOT 21731 SOS 5339 HAS SOPS 5339 HAS SOUS 4621 HAS SOUPS 4621 WITH SCORE 4626.339
AT ITER 1713 NEW BEST:: SOT 21724 SOS 5265 HAS SOPS 5265 HAS SOUS 4616 HAS SOUPS 4616 WITH SCORE 4621.265
AT ITER 1728 NEW BEST:: SOT 21714 SOS 5265 HAS SOPS 5265 HAS SOUS 4610 HAS SOUPS 4610 WITH SCORE 4615.265
AT ITER 1741 NEW BEST:: SOT 21714 SOS 5267 HAS SOPS 5267 HAS SOUS 4608 HAS SOUPS 4608 WITH SCORE 4613.267
AT ITER 1748 NEW BEST:: SOT 21714 SOS 5260 HAS SOPS 5260 HAS SOUS 4608 HAS SOUPS 4608 WITH SCORE 4613.26
AT ITER 1790 NEW BEST:: SOT 21711 SOS 5227 HAS SOPS 5227 HAS SOUS 4600 HAS SOUPS 4600 WITH SCORE 4605.227
AT ITER 1804 NEW BEST:: SOT 21702 SOS 5213 HAS SOPS 5213 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4591.213
AT ITER 1817 NEW BEST:: SOT 21702 SOS 5211 HAS SOPS 5211 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4589.211
AT ITER 1825 NEW BEST:: SOT 21698 SOS 5203 HAS SOPS 5203 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4583.203
AT ITER 1827 NEW BEST:: SOT 21692 SOS 5191 HAS SOPS 5191 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4577.191
AT ITER 1853 NEW BEST:: SOT 21668 SOS 5180 HAS SOPS 5180 HAS SOUS 4561 HAS SOUPS 4561 WITH SCORE 4566.18
AT ITER 1881 NEW BEST:: SOT 21668 SOS 5179 HAS SOPS 5179 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4564.179
AT ITER 1924 NEW BEST:: SOT 21679 SOS 5187 HAS SOPS 5187 HAS SOUS 4557 HAS SOUPS 4557 WITH SCORE 4562.187
AT ITER 1949 NEW BEST:: SOT 21678 SOS 5183 HAS SOPS 5183 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4558.183
AT ITER 1969 NEW BEST:: SOT 21675 SOS 5175 HAS SOPS 5175 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4550.175
AT ITER 1970 NEW BEST:: SOT 21675 SOS 5174 HAS SOPS 5174 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4549.174
AT ITER 1989 NEW BEST:: SOT 21675 SOS 5173 HAS SOPS 5173 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4548.173
AT ITER 1992 NEW BEST:: SOT 21693 SOS 5186 HAS SOPS 5186 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4538.186
AT ITER 2034 NEW BEST:: SOT 21686 SOS 5176 HAS SOPS 5176 HAS SOUS 4523 HAS SOUPS 4523 WITH SCORE 4528.176
AT ITER 2050 NEW BEST:: SOT 21686 SOS 5156 HAS SOPS 5156 HAS SOUS 4523 HAS SOUPS 4523 WITH SCORE 4528.156
AT ITER 2220 NEW BEST:: SOT 21676 SOS 5140 HAS SOPS 5140 HAS SOUS 4517 HAS SOUPS 4517 WITH SCORE 4522.14
AT ITER 2242 NEW BEST:: SOT 21670 SOS 5124 HAS SOPS 5124 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4510.124
AT ITER 2274 NEW BEST:: SOT 21670 SOS 5120 HAS SOPS 5120 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4496.12
AT ITER 2307 NEW BEST:: SOT 21670 SOS 5127 HAS SOPS 5127 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4492.127
AT ITER 2367 NEW BEST:: SOT 21670 SOS 5124 HAS SOPS 5124 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4486.124
AT ITER 2430 NEW BEST:: SOT 21670 SOS 5123 HAS SOPS 5123 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4485.123
AT ITER 2466 NEW BEST:: SOT 21666 SOS 5115 HAS SOPS 5115 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4485.115
AT ITER 2507 NEW BEST:: SOT 21671 SOS 5099 HAS SOPS 5099 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4466.099
AT ITER 2557 NEW BEST:: SOT 21687 SOS 5027 HAS SOPS 5027 HAS SOUS 4451 HAS SOUPS 4451 WITH SCORE 4456.027
AT ITER 2575 NEW BEST:: SOT 21687 SOS 5026 HAS SOPS 5026 HAS SOUS 4450 HAS SOUPS 4450 WITH SCORE 4455.026
AT ITER 2601 NEW BEST:: SOT 21682 SOS 5013 HAS SOPS 5013 HAS SOUS 4440 HAS SOUPS 4440 WITH SCORE 4445.013
AT ITER 2633 NEW BEST:: SOT 21679 SOS 5014 HAS SOPS 5014 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4444.014
AT ITER 2634 NEW BEST:: SOT 21661 SOS 4996 HAS SOPS 4996 HAS SOUS 4421 HAS SOUPS 4421 WITH SCORE 4425.996
AT ITER 2671 NEW BEST:: SOT 21663 SOS 4999 HAS SOPS 4999 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4418.999
AT ITER 2695 NEW BEST:: SOT 21663 SOS 5005 HAS SOPS 5005 HAS SOUS 4399 HAS SOUPS 4399 WITH SCORE 4404.005
AT ITER 2720 NEW BEST:: SOT 21667 SOS 5011 HAS SOPS 5011 HAS SOUS 4391 HAS SOUPS 4391 WITH SCORE 4396.011
AT ITER 2767 NEW BEST:: SOT 21665 SOS 5007 HAS SOPS 5007 HAS SOUS 4387 HAS SOUPS 4387 WITH SCORE 4392.007
AT ITER 2771 NEW BEST:: SOT 21660 SOS 4999 HAS SOPS 4999 HAS SOUS 4381 HAS SOUPS 4381 WITH SCORE 4385.999
AT ITER 2799 NEW BEST:: SOT 21656 SOS 4995 HAS SOPS 4995 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4381.995
AT ITER 2858 NEW BEST:: SOT 21647 SOS 4985 HAS SOPS 4985 HAS SOUS 4367 HAS SOUPS 4367 WITH SCORE 4371.985
AT ITER 2924 NEW BEST:: SOT 21640 SOS 4984 HAS SOPS 4984 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4370.984
AT ITER 3060 NEW BEST:: SOT 21640 SOS 4981 HAS SOPS 4981 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4367.981
AT ITER 3061 NEW BEST:: SOT 21629 SOS 4957 HAS SOPS 4957 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4353.957
AT ITER 3079 NEW BEST:: SOT 21617 SOS 4943 HAS SOPS 4943 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4336.943
AT ITER 3224 NEW BEST:: SOT 21605 SOS 4816 HAS SOPS 4816 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4314.816
AT ITER 3284 NEW BEST:: SOT 21591 SOS 4802 HAS SOPS 4802 HAS SOUS 4296 HAS SOUPS 4296 WITH SCORE 4300.802
AT ITER 3319 NEW BEST:: SOT 21592 SOS 4801 HAS SOPS 4801 HAS SOUS 4295 HAS SOUPS 4295 WITH SCORE 4299.801
AT ITER 3377 NEW BEST:: SOT 21583 SOS 4717 HAS SOPS 4717 HAS SOUS 4277 HAS SOUPS 4277 WITH SCORE 4281.717
AT ITER 3417 NEW BEST:: SOT 21586 SOS 4705 HAS SOPS 4705 HAS SOUS 4276 HAS SOUPS 4276 WITH SCORE 4280.705
AT ITER 3501 NEW BEST:: SOT 21570 SOS 4669 HAS SOPS 4669 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4262.669
AT ITER 3510 NEW BEST:: SOT 21569 SOS 4667 HAS SOPS 4667 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4260.667
AT ITER 3520 NEW BEST:: SOT 21569 SOS 4665 HAS SOPS 4665 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4258.665
AT ITER 3531 NEW BEST:: SOT 21569 SOS 4665 HAS SOPS 4665 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4254.665
AT ITER 3561 NEW BEST:: SOT 21568 SOS 4664 HAS SOPS 4664 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4253.664
AT ITER 3600 NEW BEST:: SOT 21560 SOS 4658 HAS SOPS 4658 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4231.658
AT ITER 3659 NEW BEST:: SOT 21560 SOS 4656 HAS SOPS 4656 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4229.656
AT ITER 3682 NEW BEST:: SOT 21543 SOS 4687 HAS SOPS 4687 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4219.687
AT ITER 3784 NEW BEST:: SOT 21539 SOS 4685 HAS SOPS 4685 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4217.685
AT ITER 3789 NEW BEST:: SOT 21531 SOS 4681 HAS SOPS 4681 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4213.681
AT ITER 3813 NEW BEST:: SOT 21530 SOS 4677 HAS SOPS 4677 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4208.677
AT ITER 3846 NEW BEST:: SOT 21530 SOS 4658 HAS SOPS 4658 HAS SOUS 4185 HAS SOUPS 4185 WITH SCORE 4189.658
AT ITER 3988 NEW BEST:: SOT 21530 SOS 4657 HAS SOPS 4657 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4187.657
AT ITER 4035 NEW BEST:: SOT 21529 SOS 4665 HAS SOPS 4665 HAS SOUS 4180 HAS SOUPS 4180 WITH SCORE 4184.665
AT ITER 4124 NEW BEST:: SOT 21537 SOS 4686 HAS SOPS 4686 HAS SOUS 4175 HAS SOUPS 4175 WITH SCORE 4179.686
AT ITER 4141 NEW BEST:: SOT 21540 SOS 4701 HAS SOPS 4701 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4161.701
AT ITER 4144 NEW BEST:: SOT 21538 SOS 4700 HAS SOPS 4700 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4160.7
AT ITER 4189 NEW BEST:: SOT 21539 SOS 4699 HAS SOPS 4699 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4159.699
AT ITER 4207 NEW BEST:: SOT 21539 SOS 4698 HAS SOPS 4698 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4158.698
AT ITER 4218 NEW BEST:: SOT 21539 SOS 4695 HAS SOPS 4695 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4158.695
AT ITER 4343 NEW BEST:: SOT 21536 SOS 4689 HAS SOPS 4689 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4154.689
AT ITER 4398 NEW BEST:: SOT 21536 SOS 4680 HAS SOPS 4680 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4154.68
AT ITER 4399 NEW BEST:: SOT 21526 SOS 4655 HAS SOPS 4655 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4143.655
AT ITER 4425 NEW BEST:: SOT 21526 SOS 4669 HAS SOPS 4669 HAS SOUS 4138 HAS SOUPS 4138 WITH SCORE 4142.669
AT ITER 4441 NEW BEST:: SOT 21522 SOS 4665 HAS SOPS 4665 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4138.665
AT ITER 4450 NEW BEST:: SOT 21520 SOS 4662 HAS SOPS 4662 HAS SOUS 4133 HAS SOUPS 4133 WITH SCORE 4137.662
AT ITER 4502 NEW BEST:: SOT 21502 SOS 4674 HAS SOPS 4674 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4134.674
AT ITER 4545 NEW BEST:: SOT 21501 SOS 4673 HAS SOPS 4673 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4134.673
AT ITER 4558 NEW BEST:: SOT 21497 SOS 4669 HAS SOPS 4669 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4133.669
AT ITER 4581 NEW BEST:: SOT 21497 SOS 4665 HAS SOPS 4665 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4125.665
AT ITER 4676 NEW BEST:: SOT 21497 SOS 4667 HAS SOPS 4667 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4123.667
AT ITER 4724 NEW BEST:: SOT 21496 SOS 4666 HAS SOPS 4666 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4122.666
AT ITER 4824 NEW BEST:: SOT 21496 SOS 4661 HAS SOPS 4661 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4122.661
AT ITER 4832 NEW BEST:: SOT 21490 SOS 4655 HAS SOPS 4655 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4116.655
AT ITER 4962 NEW BEST:: SOT 21482 SOS 4643 HAS SOPS 4643 HAS SOUS 4104 HAS SOUPS 4104 WITH SCORE 4108.643
AT ITER 4990 NEW BEST:: SOT 21484 SOS 4637 HAS SOPS 4637 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4105.637
AT ITER 5170 NEW BEST:: SOT 21494 SOS 4627 HAS SOPS 4627 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4095.627
AT ITER 5181 NEW BEST:: SOT 21494 SOS 4620 HAS SOPS 4620 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4095.62
AT ITER 5265 NEW BEST:: SOT 21489 SOS 4612 HAS SOPS 4612 HAS SOUS 4083 HAS SOUPS 4083 WITH SCORE 4087.612
AT ITER 5305 NEW BEST:: SOT 21489 SOS 4611 HAS SOPS 4611 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4080.611
AT ITER 5308 NEW BEST:: SOT 21489 SOS 4598 HAS SOPS 4598 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4067.598
AT ITER 5379 NEW BEST:: SOT 21488 SOS 4602 HAS SOPS 4602 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4066.602
AT ITER 5402 NEW BEST:: SOT 21477 SOS 4586 HAS SOPS 4586 HAS SOUS 4058 HAS SOUPS 4058 WITH SCORE 4062.586
AT ITER 5418 NEW BEST:: SOT 21477 SOS 4585 HAS SOPS 4585 HAS SOUS 4057 HAS SOUPS 4057 WITH SCORE 4061.585
AT ITER 5543 NEW BEST:: SOT 21471 SOS 4572 HAS SOPS 4572 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4055.572
AT ITER 5624 NEW BEST:: SOT 21471 SOS 4558 HAS SOPS 4558 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4055.558
AT ITER 5630 NEW BEST:: SOT 21466 SOS 4552 HAS SOPS 4552 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4049.552
AT ITER 5640 NEW BEST:: SOT 21466 SOS 4550 HAS SOPS 4550 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4049.55
AT ITER 5661 NEW BEST:: SOT 21466 SOS 4548 HAS SOPS 4548 HAS SOUS 4043 HAS SOUPS 4043 WITH SCORE 4047.548
AT ITER 5683 NEW BEST:: SOT 21465 SOS 4547 HAS SOPS 4547 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4046.547
AT ITER 5729 NEW BEST:: SOT 21465 SOS 4545 HAS SOPS 4545 HAS SOUS 4040 HAS SOUPS 4040 WITH SCORE 4044.545
AT ITER 5748 NEW BEST:: SOT 21459 SOS 4539 HAS SOPS 4539 HAS SOUS 4039 HAS SOUPS 4039 WITH SCORE 4043.539
AT ITER 5757 NEW BEST:: SOT 21459 SOS 4536 HAS SOPS 4536 HAS SOUS 4039 HAS SOUPS 4039 WITH SCORE 4043.536
AT ITER 5773 NEW BEST:: SOT 21459 SOS 4535 HAS SOPS 4535 HAS SOUS 4038 HAS SOUPS 4038 WITH SCORE 4042.535
AT ITER 5853 NEW BEST:: SOT 21459 SOS 4523 HAS SOPS 4523 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4038.523
AT ITER 5863 NEW BEST:: SOT 21454 SOS 4541 HAS SOPS 4541 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4035.541
AT ITER 5961 NEW BEST:: SOT 21450 SOS 4533 HAS SOPS 4533 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4031.533
AT ITER 6013 NEW BEST:: SOT 21451 SOS 4531 HAS SOPS 4531 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4031.531
AT ITER 6018 NEW BEST:: SOT 21454 SOS 4534 HAS SOPS 4534 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4028.534
AT ITER 6034 NEW BEST:: SOT 21454 SOS 4533 HAS SOPS 4533 HAS SOUS 4023 HAS SOUPS 4023 WITH SCORE 4027.533
AT ITER 6071 NEW BEST:: SOT 21455 SOS 4532 HAS SOPS 4532 HAS SOUS 4022 HAS SOUPS 4022 WITH SCORE 4026.532
AT ITER 6096 NEW BEST:: SOT 21453 SOS 4524 HAS SOPS 4524 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4024.524
AT ITER 6154 NEW BEST:: SOT 21448 SOS 4518 HAS SOPS 4518 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4013.518
AT ITER 6216 NEW BEST:: SOT 21452 SOS 4512 HAS SOPS 4512 HAS SOUS 4008 HAS SOUPS 4008 WITH SCORE 4012.512
AT ITER 6229 NEW BEST:: SOT 21451 SOS 4498 HAS SOPS 4498 HAS SOUS 4005 HAS SOUPS 4005 WITH SCORE 4009.498
AT ITER 6279 NEW BEST:: SOT 21451 SOS 4496 HAS SOPS 4496 HAS SOUS 4003 HAS SOUPS 4003 WITH SCORE 4007.496
AT ITER 6348 NEW BEST:: SOT 21450 SOS 4494 HAS SOPS 4494 HAS SOUS 4001 HAS SOUPS 4001 WITH SCORE 4005.494
AT ITER 6384 NEW BEST:: SOT 21450 SOS 4495 HAS SOPS 4495 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4004.495
AT ITER 6443 NEW BEST:: SOT 21450 SOS 4502 HAS SOPS 4502 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4002.502
AT ITER 6558 NEW BEST:: SOT 21426 SOS 4478 HAS SOPS 4478 HAS SOUS 3974 HAS SOUPS 3974 WITH SCORE 3978.478
AT ITER 6796 NEW BEST:: SOT 21426 SOS 4479 HAS SOPS 4479 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3973.479
AT ITER 6846 NEW BEST:: SOT 21427 SOS 4475 HAS SOPS 4475 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3969.475
AT ITER 6906 NEW BEST:: SOT 21424 SOS 4467 HAS SOPS 4467 HAS SOUS 3960 HAS SOUPS 3960 WITH SCORE 3964.467
AT ITER 6987 NEW BEST:: SOT 21423 SOS 4466 HAS SOPS 4466 HAS SOUS 3959 HAS SOUPS 3959 WITH SCORE 3963.466
AT ITER 7151 NEW BEST:: SOT 21423 SOS 4452 HAS SOPS 4452 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3958.452
AT ITER 7189 NEW BEST:: SOT 21423 SOS 4449 HAS SOPS 4449 HAS SOUS 3948 HAS SOUPS 3948 WITH SCORE 3952.449
AT ITER 7191 NEW BEST:: SOT 21428 SOS 4448 HAS SOPS 4448 HAS SOUS 3946 HAS SOUPS 3946 WITH SCORE 3950.448
AT ITER 7306 NEW BEST:: SOT 21426 SOS 4446 HAS SOPS 4446 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3948.446
AT ITER 7526 NEW BEST:: SOT 21424 SOS 4424 HAS SOPS 4424 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3946.424
AT ITER 7544 NEW BEST:: SOT 21424 SOS 4421 HAS SOPS 4421 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3946.421
AT ITER 7597 NEW BEST:: SOT 21422 SOS 4420 HAS SOPS 4420 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3945.42
AT ITER 7647 NEW BEST:: SOT 21419 SOS 4418 HAS SOPS 4418 HAS SOUS 3940 HAS SOUPS 3940 WITH SCORE 3944.418
AT ITER 7791 NEW BEST:: SOT 21417 SOS 4416 HAS SOPS 4416 HAS SOUS 3938 HAS SOUPS 3938 WITH SCORE 3942.416
AT ITER 7807 NEW BEST:: SOT 21419 SOS 4412 HAS SOPS 4412 HAS SOUS 3938 HAS SOUPS 3938 WITH SCORE 3942.412
AT ITER 7828 NEW BEST:: SOT 21417 SOS 4412 HAS SOPS 4412 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3940.412
AT ITER 7829 NEW BEST:: SOT 21417 SOS 4411 HAS SOPS 4411 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3939.411
AT ITER 7853 NEW BEST:: SOT 21417 SOS 4410 HAS SOPS 4410 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3939.41
AT ITER 7898 NEW BEST:: SOT 21417 SOS 4407 HAS SOPS 4407 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3939.407
AT ITER 7910 NEW BEST:: SOT 21416 SOS 4405 HAS SOPS 4405 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3936.405
AT ITER 7965 NEW BEST:: SOT 21416 SOS 4405 HAS SOPS 4405 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3932.405
AT ITER 8003 NEW BEST:: SOT 21410 SOS 4394 HAS SOPS 4394 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3922.394
AT ITER 8086 NEW BEST:: SOT 21409 SOS 4393 HAS SOPS 4393 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3922.393
AT ITER 8112 NEW BEST:: SOT 21395 SOS 4379 HAS SOPS 4379 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3908.379
AT ITER 8155 NEW BEST:: SOT 21394 SOS 4375 HAS SOPS 4375 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3907.375
AT ITER 8166 NEW BEST:: SOT 21386 SOS 4377 HAS SOPS 4377 HAS SOUS 3901 HAS SOUPS 3901 WITH SCORE 3905.377
AT ITER 8193 NEW BEST:: SOT 21391 SOS 4383 HAS SOPS 4383 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3901.383
AT ITER 8237 NEW BEST:: SOT 21384 SOS 4371 HAS SOPS 4371 HAS SOUS 3886 HAS SOUPS 3886 WITH SCORE 3890.371
AT ITER 8356 NEW BEST:: SOT 21378 SOS 4363 HAS SOPS 4363 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3882.363
AT ITER 8357 NEW BEST:: SOT 21376 SOS 4362 HAS SOPS 4362 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3880.362
AT ITER 8418 NEW BEST:: SOT 21375 SOS 4360 HAS SOPS 4360 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3876.36
AT ITER 8437 NEW BEST:: SOT 21384 SOS 4358 HAS SOPS 4358 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3874.358
AT ITER 8446 NEW BEST:: SOT 21383 SOS 4357 HAS SOPS 4357 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3873.357
AT ITER 8541 NEW BEST:: SOT 21383 SOS 4355 HAS SOPS 4355 HAS SOUS 3867 HAS SOUPS 3867 WITH SCORE 3871.355
AT ITER 8551 NEW BEST:: SOT 21375 SOS 4363 HAS SOPS 4363 HAS SOUS 3863 HAS SOUPS 3863 WITH SCORE 3867.363
AT ITER 8653 NEW BEST:: SOT 21375 SOS 4360 HAS SOPS 4360 HAS SOUS 3863 HAS SOUPS 3863 WITH SCORE 3867.36
AT ITER 8714 NEW BEST:: SOT 21375 SOS 4363 HAS SOPS 4363 HAS SOUS 3860 HAS SOUPS 3860 WITH SCORE 3864.363
AT ITER 8805 NEW BEST:: SOT 21373 SOS 4361 HAS SOPS 4361 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3862.361
AT ITER 8976 NEW BEST:: SOT 21372 SOS 4360 HAS SOPS 4360 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3862.36
AT ITER 9226 NEW BEST:: SOT 21372 SOS 4358 HAS SOPS 4358 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3862.358
AT ITER 9287 NEW BEST:: SOT 21354 SOS 4344 HAS SOPS 4344 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3848.344
AT ITER 9309 NEW BEST:: SOT 21356 SOS 4344 HAS SOPS 4344 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3846.344
AT ITER 9316 NEW BEST:: SOT 21356 SOS 4333 HAS SOPS 4333 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3838.333
AT ITER 9486 NEW BEST:: SOT 21360 SOS 4338 HAS SOPS 4338 HAS SOUS 3833 HAS SOUPS 3833 WITH SCORE 3837.338
AT ITER 9643 NEW BEST:: SOT 21357 SOS 4335 HAS SOPS 4335 HAS SOUS 3832 HAS SOUPS 3832 WITH SCORE 3836.335
AT ITER 9720 NEW BEST:: SOT 21356 SOS 4333 HAS SOPS 4333 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3834.333
AT ITER 9763 NEW BEST:: SOT 21356 SOS 4327 HAS SOPS 4327 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3828.327
AT ITER 9773 NEW BEST:: SOT 21355 SOS 4327 HAS SOPS 4327 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3827.327
AT ITER 9903 NEW BEST:: SOT 21356 SOS 4329 HAS SOPS 4329 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3826.329
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 5684704 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16152996 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

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="smart"
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 smart"
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 1"
echo " Run identifier is r387-oct2-167903711800400"
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 ;