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.r419-tajo-167905973500240.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 smart
Input is ShieldRVt-PT-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973500240
=====================================================================

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

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=ShieldRVt-PT-004B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 004B
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: 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 4 NEW BEST:: SOT 22740 SOS 7237 HAS SOPS 7237 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6499.237
AT ITER 21 NEW BEST:: SOT 22740 SOS 7230 HAS SOPS 7230 HAS SOUS 6485 HAS SOUPS 6485 WITH SCORE 6492.23
AT ITER 28 NEW BEST:: SOT 22739 SOS 7228 HAS SOPS 7228 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6491.228
AT ITER 32 NEW BEST:: SOT 22739 SOS 7227 HAS SOPS 7227 HAS SOUS 6483 HAS SOUPS 6483 WITH SCORE 6490.227
AT ITER 53 NEW BEST:: SOT 22734 SOS 7205 HAS SOPS 7205 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6485.205
AT ITER 56 NEW BEST:: SOT 22734 SOS 7202 HAS SOPS 7202 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6482.202
AT ITER 57 NEW BEST:: SOT 22728 SOS 7189 HAS SOPS 7189 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6459.189
AT ITER 67 NEW BEST:: SOT 22701 SOS 7090 HAS SOPS 7090 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6428.09
AT ITER 97 NEW BEST:: SOT 22692 SOS 7072 HAS SOPS 7072 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6419.072
AT ITER 107 NEW BEST:: SOT 22632 SOS 6885 HAS SOPS 6885 HAS SOUS 6292 HAS SOUPS 6292 WITH SCORE 6298.885
AT ITER 109 NEW BEST:: SOT 22632 SOS 6881 HAS SOPS 6881 HAS SOUS 6288 HAS SOUPS 6288 WITH SCORE 6294.881
AT ITER 115 NEW BEST:: SOT 22632 SOS 6881 HAS SOPS 6881 HAS SOUS 6253 HAS SOUPS 6253 WITH SCORE 6259.881
AT ITER 118 NEW BEST:: SOT 22632 SOS 6881 HAS SOPS 6881 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6240.881
AT ITER 120 NEW BEST:: SOT 22617 SOS 6866 HAS SOPS 6866 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6225.866
AT ITER 125 NEW BEST:: SOT 22665 SOS 7025 HAS SOPS 7025 HAS SOUS 6208 HAS SOUPS 6208 WITH SCORE 6215.025
AT ITER 135 NEW BEST:: SOT 22659 SOS 7025 HAS SOPS 7025 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6209.025
AT ITER 136 NEW BEST:: SOT 22659 SOS 7025 HAS SOPS 7025 HAS SOUS 6194 HAS SOUPS 6194 WITH SCORE 6201.025
AT ITER 176 NEW BEST:: SOT 22659 SOS 7009 HAS SOPS 7009 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6185.009
AT ITER 203 NEW BEST:: SOT 22659 SOS 7001 HAS SOPS 7001 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6179.001
AT ITER 227 NEW BEST:: SOT 22659 SOS 6992 HAS SOPS 6992 HAS SOUS 6154 HAS SOUPS 6154 WITH SCORE 6160.992
AT ITER 274 NEW BEST:: SOT 22675 SOS 6970 HAS SOPS 6970 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6138.97
AT ITER 294 NEW BEST:: SOT 22675 SOS 6947 HAS SOPS 6947 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6092.947
AT ITER 313 NEW BEST:: SOT 22666 SOS 6910 HAS SOPS 6910 HAS SOUS 6039 HAS SOUPS 6039 WITH SCORE 6045.91
AT ITER 323 NEW BEST:: SOT 22619 SOS 6888 HAS SOPS 6888 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 5998.888
AT ITER 325 NEW BEST:: SOT 22621 SOS 6870 HAS SOPS 6870 HAS SOUS 5977 HAS SOUPS 5977 WITH SCORE 5983.87
AT ITER 331 NEW BEST:: SOT 22597 SOS 6870 HAS SOPS 6870 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5959.87
AT ITER 339 NEW BEST:: SOT 22598 SOS 6872 HAS SOPS 6872 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5934.872
AT ITER 346 NEW BEST:: SOT 22599 SOS 6873 HAS SOPS 6873 HAS SOUS 5927 HAS SOUPS 5927 WITH SCORE 5933.873
AT ITER 347 NEW BEST:: SOT 22596 SOS 6870 HAS SOPS 6870 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5930.87
AT ITER 364 NEW BEST:: SOT 22589 SOS 6825 HAS SOPS 6825 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5861.825
AT ITER 371 NEW BEST:: SOT 22589 SOS 6762 HAS SOPS 6762 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5840.762
AT ITER 372 NEW BEST:: SOT 22593 SOS 6770 HAS SOPS 6770 HAS SOUS 5799 HAS SOUPS 5799 WITH SCORE 5805.77
AT ITER 377 NEW BEST:: SOT 22593 SOS 6766 HAS SOPS 6766 HAS SOUS 5791 HAS SOUPS 5791 WITH SCORE 5797.766
AT ITER 381 NEW BEST:: SOT 22593 SOS 6764 HAS SOPS 6764 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5793.764
AT ITER 392 NEW BEST:: SOT 22580 SOS 6751 HAS SOPS 6751 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5780.751
AT ITER 395 NEW BEST:: SOT 22580 SOS 6742 HAS SOPS 6742 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5771.742
AT ITER 404 NEW BEST:: SOT 22580 SOS 6736 HAS SOPS 6736 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5771.736
AT ITER 427 NEW BEST:: SOT 22576 SOS 6724 HAS SOPS 6724 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5767.724
AT ITER 434 NEW BEST:: SOT 22576 SOS 6719 HAS SOPS 6719 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5762.719
AT ITER 439 NEW BEST:: SOT 22581 SOS 6622 HAS SOPS 6622 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5752.622
AT ITER 470 NEW BEST:: SOT 22564 SOS 6571 HAS SOPS 6571 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5701.571
AT ITER 489 NEW BEST:: SOT 22564 SOS 6565 HAS SOPS 6565 HAS SOUS 5689 HAS SOUPS 5689 WITH SCORE 5695.565
AT ITER 519 NEW BEST:: SOT 22563 SOS 6543 HAS SOPS 6543 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5683.543
AT ITER 530 NEW BEST:: SOT 22555 SOS 6523 HAS SOPS 6523 HAS SOUS 5669 HAS SOUPS 5669 WITH SCORE 5675.523
AT ITER 533 NEW BEST:: SOT 22535 SOS 6493 HAS SOPS 6493 HAS SOUS 5659 HAS SOUPS 5659 WITH SCORE 5665.493
AT ITER 534 NEW BEST:: SOT 22567 SOS 6433 HAS SOPS 6433 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5646.433
AT ITER 546 NEW BEST:: SOT 22567 SOS 6434 HAS SOPS 6434 HAS SOUS 5637 HAS SOUPS 5637 WITH SCORE 5643.434
AT ITER 550 NEW BEST:: SOT 22557 SOS 6424 HAS SOPS 6424 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5633.424
AT ITER 555 NEW BEST:: SOT 22557 SOS 6423 HAS SOPS 6423 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5632.423
AT ITER 569 NEW BEST:: SOT 22560 SOS 6373 HAS SOPS 6373 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5626.373
AT ITER 572 NEW BEST:: SOT 22548 SOS 6373 HAS SOPS 6373 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5614.373
AT ITER 582 NEW BEST:: SOT 22548 SOS 6368 HAS SOPS 6368 HAS SOUS 5603 HAS SOUPS 5603 WITH SCORE 5609.368
AT ITER 585 NEW BEST:: SOT 22532 SOS 6304 HAS SOPS 6304 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5577.304
AT ITER 603 NEW BEST:: SOT 22558 SOS 6251 HAS SOPS 6251 HAS SOUS 5559 HAS SOUPS 5559 WITH SCORE 5565.251
AT ITER 613 NEW BEST:: SOT 22538 SOS 6211 HAS SOPS 6211 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5523.211
AT ITER 619 NEW BEST:: SOT 22559 SOS 6246 HAS SOPS 6246 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5518.246
AT ITER 625 NEW BEST:: SOT 22559 SOS 6246 HAS SOPS 6246 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5515.246
AT ITER 639 NEW BEST:: SOT 22559 SOS 6234 HAS SOPS 6234 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5503.234
AT ITER 645 NEW BEST:: SOT 22548 SOS 6242 HAS SOPS 6242 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5481.242
AT ITER 659 NEW BEST:: SOT 22548 SOS 6236 HAS SOPS 6236 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5481.236
AT ITER 666 NEW BEST:: SOT 22546 SOS 6229 HAS SOPS 6229 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5477.229
AT ITER 683 NEW BEST:: SOT 22536 SOS 6225 HAS SOPS 6225 HAS SOUS 5465 HAS SOUPS 5465 WITH SCORE 5471.225
AT ITER 700 NEW BEST:: SOT 22531 SOS 6225 HAS SOPS 6225 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5466.225
AT ITER 703 NEW BEST:: SOT 22507 SOS 6249 HAS SOPS 6249 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5447.249
AT ITER 708 NEW BEST:: SOT 22492 SOS 6235 HAS SOPS 6235 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5433.235
AT ITER 718 NEW BEST:: SOT 22528 SOS 6149 HAS SOPS 6149 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5363.149
AT ITER 722 NEW BEST:: SOT 22522 SOS 6137 HAS SOPS 6137 HAS SOUS 5343 HAS SOUPS 5343 WITH SCORE 5349.137
AT ITER 735 NEW BEST:: SOT 22507 SOS 6111 HAS SOPS 6111 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5338.111
AT ITER 754 NEW BEST:: SOT 22502 SOS 6096 HAS SOPS 6096 HAS SOUS 5317 HAS SOUPS 5317 WITH SCORE 5323.096
AT ITER 774 NEW BEST:: SOT 22510 SOS 6093 HAS SOPS 6093 HAS SOUS 5316 HAS SOUPS 5316 WITH SCORE 5322.093
AT ITER 777 NEW BEST:: SOT 22496 SOS 5971 HAS SOPS 5971 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5294.971
AT ITER 791 NEW BEST:: SOT 22493 SOS 5965 HAS SOPS 5965 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5291.965
AT ITER 796 NEW BEST:: SOT 22492 SOS 5963 HAS SOPS 5963 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5289.963
AT ITER 811 NEW BEST:: SOT 22492 SOS 5956 HAS SOPS 5956 HAS SOUS 5277 HAS SOUPS 5277 WITH SCORE 5282.956
AT ITER 815 NEW BEST:: SOT 22501 SOS 5978 HAS SOPS 5978 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5277.978
AT ITER 838 NEW BEST:: SOT 22501 SOS 5978 HAS SOPS 5978 HAS SOUS 5264 HAS SOUPS 5264 WITH SCORE 5269.978
AT ITER 857 NEW BEST:: SOT 22501 SOS 5953 HAS SOPS 5953 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5265.953
AT ITER 860 NEW BEST:: SOT 22501 SOS 5949 HAS SOPS 5949 HAS SOUS 5256 HAS SOUPS 5256 WITH SCORE 5261.949
AT ITER 891 NEW BEST:: SOT 22480 SOS 5907 HAS SOPS 5907 HAS SOUS 5235 HAS SOUPS 5235 WITH SCORE 5240.907
AT ITER 898 NEW BEST:: SOT 22464 SOS 5936 HAS SOPS 5936 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5224.936
AT ITER 913 NEW BEST:: SOT 22428 SOS 5892 HAS SOPS 5892 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5180.892
AT ITER 936 NEW BEST:: SOT 22420 SOS 5886 HAS SOPS 5886 HAS SOUS 5167 HAS SOUPS 5167 WITH SCORE 5172.886
AT ITER 965 NEW BEST:: SOT 22420 SOS 5886 HAS SOPS 5886 HAS SOUS 5162 HAS SOUPS 5162 WITH SCORE 5167.886
AT ITER 970 NEW BEST:: SOT 22410 SOS 5886 HAS SOPS 5886 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5162.886
AT ITER 981 NEW BEST:: SOT 22410 SOS 5874 HAS SOPS 5874 HAS SOUS 5145 HAS SOUPS 5145 WITH SCORE 5150.874
AT ITER 1007 NEW BEST:: SOT 22410 SOS 5883 HAS SOPS 5883 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5137.883
AT ITER 1012 NEW BEST:: SOT 22396 SOS 5869 HAS SOPS 5869 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5123.869
AT ITER 1013 NEW BEST:: SOT 22396 SOS 5868 HAS SOPS 5868 HAS SOUS 5117 HAS SOUPS 5117 WITH SCORE 5122.868
AT ITER 1026 NEW BEST:: SOT 22403 SOS 5858 HAS SOPS 5858 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5119.858
AT ITER 1027 NEW BEST:: SOT 22395 SOS 5842 HAS SOPS 5842 HAS SOUS 5098 HAS SOUPS 5098 WITH SCORE 5103.842
AT ITER 1034 NEW BEST:: SOT 22407 SOS 5851 HAS SOPS 5851 HAS SOUS 5090 HAS SOUPS 5090 WITH SCORE 5095.851
AT ITER 1064 NEW BEST:: SOT 22380 SOS 5817 HAS SOPS 5817 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5040.817
AT ITER 1072 NEW BEST:: SOT 22389 SOS 5774 HAS SOPS 5774 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5037.774
AT ITER 1095 NEW BEST:: SOT 22379 SOS 5768 HAS SOPS 5768 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5017.768
AT ITER 1129 NEW BEST:: SOT 22371 SOS 5765 HAS SOPS 5765 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5014.765
AT ITER 1141 NEW BEST:: SOT 22371 SOS 5752 HAS SOPS 5752 HAS SOUS 4996 HAS SOUPS 4996 WITH SCORE 5001.752
AT ITER 1145 NEW BEST:: SOT 22371 SOS 5751 HAS SOPS 5751 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5000.751
AT ITER 1152 NEW BEST:: SOT 22363 SOS 5735 HAS SOPS 5735 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4984.735
AT ITER 1159 NEW BEST:: SOT 22365 SOS 5727 HAS SOPS 5727 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4984.727
AT ITER 1162 NEW BEST:: SOT 22372 SOS 5732 HAS SOPS 5732 HAS SOUS 4977 HAS SOUPS 4977 WITH SCORE 4982.732
AT ITER 1180 NEW BEST:: SOT 22372 SOS 5716 HAS SOPS 5716 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4966.716
AT ITER 1200 NEW BEST:: SOT 22368 SOS 5708 HAS SOPS 5708 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4958.708
AT ITER 1227 NEW BEST:: SOT 22356 SOS 5702 HAS SOPS 5702 HAS SOUS 4947 HAS SOUPS 4947 WITH SCORE 4952.702
AT ITER 1235 NEW BEST:: SOT 22351 SOS 5692 HAS SOPS 5692 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4942.692
AT ITER 1237 NEW BEST:: SOT 22351 SOS 5686 HAS SOPS 5686 HAS SOUS 4931 HAS SOUPS 4931 WITH SCORE 4936.686
AT ITER 1245 NEW BEST:: SOT 22332 SOS 5681 HAS SOPS 5681 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4917.681
AT ITER 1252 NEW BEST:: SOT 22331 SOS 5680 HAS SOPS 5680 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4917.68
AT ITER 1260 NEW BEST:: SOT 22326 SOS 5670 HAS SOPS 5670 HAS SOUS 4901 HAS SOUPS 4901 WITH SCORE 4906.67
AT ITER 1271 NEW BEST:: SOT 22325 SOS 5667 HAS SOPS 5667 HAS SOUS 4900 HAS SOUPS 4900 WITH SCORE 4905.667
AT ITER 1272 NEW BEST:: SOT 22309 SOS 5604 HAS SOPS 5604 HAS SOUS 4858 HAS SOUPS 4858 WITH SCORE 4863.604
AT ITER 1289 NEW BEST:: SOT 22295 SOS 5650 HAS SOPS 5650 HAS SOUS 4835 HAS SOUPS 4835 WITH SCORE 4840.65
AT ITER 1295 NEW BEST:: SOT 22279 SOS 5577 HAS SOPS 5577 HAS SOUS 4825 HAS SOUPS 4825 WITH SCORE 4830.577
AT ITER 1307 NEW BEST:: SOT 22279 SOS 5573 HAS SOPS 5573 HAS SOUS 4821 HAS SOUPS 4821 WITH SCORE 4826.573
AT ITER 1314 NEW BEST:: SOT 22276 SOS 5567 HAS SOPS 5567 HAS SOUS 4817 HAS SOUPS 4817 WITH SCORE 4822.567
AT ITER 1335 NEW BEST:: SOT 22297 SOS 5528 HAS SOPS 5528 HAS SOUS 4808 HAS SOUPS 4808 WITH SCORE 4813.528
AT ITER 1337 NEW BEST:: SOT 22292 SOS 5507 HAS SOPS 5507 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4801.507
AT ITER 1368 NEW BEST:: SOT 22292 SOS 5498 HAS SOPS 5498 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4792.498
AT ITER 1400 NEW BEST:: SOT 22295 SOS 5491 HAS SOPS 5491 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4772.491
AT ITER 1405 NEW BEST:: SOT 22295 SOS 5488 HAS SOPS 5488 HAS SOUS 4764 HAS SOUPS 4764 WITH SCORE 4769.488
AT ITER 1447 NEW BEST:: SOT 22278 SOS 5482 HAS SOPS 5482 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4766.482
AT ITER 1458 NEW BEST:: SOT 22262 SOS 5464 HAS SOPS 5464 HAS SOUS 4735 HAS SOUPS 4735 WITH SCORE 4740.464
AT ITER 1512 NEW BEST:: SOT 22254 SOS 5455 HAS SOPS 5455 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4731.455
AT ITER 1526 NEW BEST:: SOT 22248 SOS 5446 HAS SOPS 5446 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4722.446
AT ITER 1541 NEW BEST:: SOT 22236 SOS 5374 HAS SOPS 5374 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4710.374
AT ITER 1552 NEW BEST:: SOT 22223 SOS 5361 HAS SOPS 5361 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4710.361
AT ITER 1571 NEW BEST:: SOT 22223 SOS 5360 HAS SOPS 5360 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4709.36
AT ITER 1573 NEW BEST:: SOT 22223 SOS 5357 HAS SOPS 5357 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4703.357
AT ITER 1623 NEW BEST:: SOT 22222 SOS 5355 HAS SOPS 5355 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4701.355
AT ITER 1676 NEW BEST:: SOT 22224 SOS 5352 HAS SOPS 5352 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4699.352
AT ITER 1679 NEW BEST:: SOT 22209 SOS 5322 HAS SOPS 5322 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4681.322
AT ITER 1686 NEW BEST:: SOT 22200 SOS 5304 HAS SOPS 5304 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4663.304
AT ITER 1689 NEW BEST:: SOT 22200 SOS 5283 HAS SOPS 5283 HAS SOUS 4637 HAS SOUPS 4637 WITH SCORE 4642.283
AT ITER 1691 NEW BEST:: SOT 22190 SOS 5263 HAS SOPS 5263 HAS SOUS 4621 HAS SOUPS 4621 WITH SCORE 4626.263
AT ITER 1707 NEW BEST:: SOT 22186 SOS 5248 HAS SOPS 5248 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4617.248
AT ITER 1747 NEW BEST:: SOT 22173 SOS 5231 HAS SOPS 5231 HAS SOUS 4595 HAS SOUPS 4595 WITH SCORE 4600.231
AT ITER 1752 NEW BEST:: SOT 22175 SOS 5235 HAS SOPS 5235 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4582.235
AT ITER 1754 NEW BEST:: SOT 22091 SOS 5119 HAS SOPS 5119 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4555.119
AT ITER 1763 NEW BEST:: SOT 22088 SOS 5113 HAS SOPS 5113 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4549.113
AT ITER 1781 NEW BEST:: SOT 22083 SOS 5103 HAS SOPS 5103 HAS SOUS 4527 HAS SOUPS 4527 WITH SCORE 4532.103
AT ITER 1786 NEW BEST:: SOT 22115 SOS 5061 HAS SOPS 5061 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4531.061
AT ITER 1843 NEW BEST:: SOT 22113 SOS 5071 HAS SOPS 5071 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4527.071
AT ITER 1848 NEW BEST:: SOT 22113 SOS 5065 HAS SOPS 5065 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4521.065
AT ITER 1873 NEW BEST:: SOT 22112 SOS 5063 HAS SOPS 5063 HAS SOUS 4515 HAS SOUPS 4515 WITH SCORE 4520.063
AT ITER 1911 NEW BEST:: SOT 22110 SOS 5057 HAS SOPS 5057 HAS SOUS 4509 HAS SOUPS 4509 WITH SCORE 4514.057
AT ITER 1914 NEW BEST:: SOT 22106 SOS 5049 HAS SOPS 5049 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4510.049
AT ITER 1930 NEW BEST:: SOT 22106 SOS 5047 HAS SOPS 5047 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4508.047
AT ITER 1933 NEW BEST:: SOT 22100 SOS 5040 HAS SOPS 5040 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4501.04
AT ITER 1943 NEW BEST:: SOT 22086 SOS 4964 HAS SOPS 4964 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4436.964
AT ITER 1949 NEW BEST:: SOT 22086 SOS 4949 HAS SOPS 4949 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4436.949
AT ITER 1954 NEW BEST:: SOT 22085 SOS 4947 HAS SOPS 4947 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4434.947
AT ITER 1963 NEW BEST:: SOT 22085 SOS 4927 HAS SOPS 4927 HAS SOUS 4410 HAS SOUPS 4410 WITH SCORE 4414.927
AT ITER 2015 NEW BEST:: SOT 22085 SOS 4927 HAS SOPS 4927 HAS SOUS 4405 HAS SOUPS 4405 WITH SCORE 4409.927
AT ITER 2031 NEW BEST:: SOT 22080 SOS 4907 HAS SOPS 4907 HAS SOUS 4395 HAS SOUPS 4395 WITH SCORE 4399.907
AT ITER 2081 NEW BEST:: SOT 22076 SOS 4881 HAS SOPS 4881 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4378.881
AT ITER 2094 NEW BEST:: SOT 22070 SOS 4875 HAS SOPS 4875 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4378.875
AT ITER 2129 NEW BEST:: SOT 22030 SOS 4905 HAS SOPS 4905 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4373.905
AT ITER 2136 NEW BEST:: SOT 22030 SOS 4904 HAS SOPS 4904 HAS SOUS 4368 HAS SOUPS 4368 WITH SCORE 4372.904
AT ITER 2149 NEW BEST:: SOT 22000 SOS 4854 HAS SOPS 4854 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4322.854
AT ITER 2166 NEW BEST:: SOT 21998 SOS 4838 HAS SOPS 4838 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4314.838
AT ITER 2169 NEW BEST:: SOT 21952 SOS 4793 HAS SOPS 4793 HAS SOUS 4279 HAS SOUPS 4279 WITH SCORE 4283.793
AT ITER 2226 NEW BEST:: SOT 21957 SOS 4788 HAS SOPS 4788 HAS SOUS 4279 HAS SOUPS 4279 WITH SCORE 4283.788
AT ITER 2265 NEW BEST:: SOT 21957 SOS 4772 HAS SOPS 4772 HAS SOUS 4271 HAS SOUPS 4271 WITH SCORE 4275.772
AT ITER 2269 NEW BEST:: SOT 21958 SOS 4771 HAS SOPS 4771 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4274.771
AT ITER 2292 NEW BEST:: SOT 21938 SOS 4731 HAS SOPS 4731 HAS SOUS 4230 HAS SOUPS 4230 WITH SCORE 4234.731
AT ITER 2336 NEW BEST:: SOT 21935 SOS 4725 HAS SOPS 4725 HAS SOUS 4224 HAS SOUPS 4224 WITH SCORE 4228.725
AT ITER 2344 NEW BEST:: SOT 21934 SOS 4719 HAS SOPS 4719 HAS SOUS 4218 HAS SOUPS 4218 WITH SCORE 4222.719
AT ITER 2346 NEW BEST:: SOT 21927 SOS 4705 HAS SOPS 4705 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4208.705
AT ITER 2386 NEW BEST:: SOT 21927 SOS 4705 HAS SOPS 4705 HAS SOUS 4201 HAS SOUPS 4201 WITH SCORE 4205.705
AT ITER 2395 NEW BEST:: SOT 21924 SOS 4702 HAS SOPS 4702 HAS SOUS 4201 HAS SOUPS 4201 WITH SCORE 4205.702
AT ITER 2411 NEW BEST:: SOT 21941 SOS 4715 HAS SOPS 4715 HAS SOUS 4197 HAS SOUPS 4197 WITH SCORE 4201.715
AT ITER 2420 NEW BEST:: SOT 21928 SOS 4676 HAS SOPS 4676 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4175.676
AT ITER 2456 NEW BEST:: SOT 21914 SOS 4648 HAS SOPS 4648 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4161.648
AT ITER 2581 NEW BEST:: SOT 21914 SOS 4648 HAS SOPS 4648 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4143.648
AT ITER 2600 NEW BEST:: SOT 21902 SOS 4624 HAS SOPS 4624 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4128.624
AT ITER 2627 NEW BEST:: SOT 21899 SOS 4625 HAS SOPS 4625 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4126.625
AT ITER 2630 NEW BEST:: SOT 21902 SOS 4642 HAS SOPS 4642 HAS SOUS 4117 HAS SOUPS 4117 WITH SCORE 4121.642
AT ITER 2689 NEW BEST:: SOT 21900 SOS 4636 HAS SOPS 4636 HAS SOUS 4113 HAS SOUPS 4113 WITH SCORE 4117.636
AT ITER 2714 NEW BEST:: SOT 21892 SOS 4612 HAS SOPS 4612 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4101.612
AT ITER 2753 NEW BEST:: SOT 21892 SOS 4610 HAS SOPS 4610 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4101.61
AT ITER 2776 NEW BEST:: SOT 21888 SOS 4630 HAS SOPS 4630 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4080.63
AT ITER 2800 NEW BEST:: SOT 21888 SOS 4629 HAS SOPS 4629 HAS SOUS 4075 HAS SOUPS 4075 WITH SCORE 4079.629
AT ITER 2837 NEW BEST:: SOT 21888 SOS 4628 HAS SOPS 4628 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4078.628
AT ITER 2856 NEW BEST:: SOT 21872 SOS 4596 HAS SOPS 4596 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4052.596
AT ITER 2860 NEW BEST:: SOT 21870 SOS 4581 HAS SOPS 4581 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4050.581
AT ITER 2909 NEW BEST:: SOT 21868 SOS 4570 HAS SOPS 4570 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4039.57
AT ITER 3063 NEW BEST:: SOT 21868 SOS 4558 HAS SOPS 4558 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4036.558
AT ITER 3096 NEW BEST:: SOT 21867 SOS 4556 HAS SOPS 4556 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4035.556
AT ITER 3131 NEW BEST:: SOT 21865 SOS 4554 HAS SOPS 4554 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4035.554
AT ITER 3135 NEW BEST:: SOT 21862 SOS 4548 HAS SOPS 4548 HAS SOUS 4025 HAS SOUPS 4025 WITH SCORE 4029.548
AT ITER 3144 NEW BEST:: SOT 21850 SOS 4553 HAS SOPS 4553 HAS SOUS 4013 HAS SOUPS 4013 WITH SCORE 4017.553
AT ITER 3183 NEW BEST:: SOT 21852 SOS 4540 HAS SOPS 4540 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4004.54
AT ITER 3265 NEW BEST:: SOT 21839 SOS 4514 HAS SOPS 4514 HAS SOUS 3996 HAS SOUPS 3996 WITH SCORE 4000.514
AT ITER 3286 NEW BEST:: SOT 21823 SOS 4510 HAS SOPS 4510 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 3996.51
AT ITER 3302 NEW BEST:: SOT 21823 SOS 4503 HAS SOPS 4503 HAS SOUS 3985 HAS SOUPS 3985 WITH SCORE 3989.503
AT ITER 3358 NEW BEST:: SOT 21823 SOS 4494 HAS SOPS 4494 HAS SOUS 3985 HAS SOUPS 3985 WITH SCORE 3989.494
AT ITER 3367 NEW BEST:: SOT 21819 SOS 4492 HAS SOPS 4492 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3985.492
AT ITER 3395 NEW BEST:: SOT 21820 SOS 4444 HAS SOPS 4444 HAS SOUS 3958 HAS SOUPS 3958 WITH SCORE 3962.444
AT ITER 3399 NEW BEST:: SOT 21818 SOS 4440 HAS SOPS 4440 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3958.44
AT ITER 3435 NEW BEST:: SOT 21808 SOS 4420 HAS SOPS 4420 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3939.42
AT ITER 3460 NEW BEST:: SOT 21808 SOS 4406 HAS SOPS 4406 HAS SOUS 3929 HAS SOUPS 3929 WITH SCORE 3933.406
AT ITER 3486 NEW BEST:: SOT 21806 SOS 4400 HAS SOPS 4400 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3930.4
AT ITER 3493 NEW BEST:: SOT 21804 SOS 4364 HAS SOPS 4364 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3911.364
AT ITER 3522 NEW BEST:: SOT 21801 SOS 4362 HAS SOPS 4362 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3909.362
AT ITER 3549 NEW BEST:: SOT 21798 SOS 4360 HAS SOPS 4360 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3907.36
AT ITER 3568 NEW BEST:: SOT 21813 SOS 4390 HAS SOPS 4390 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3901.39
AT ITER 3667 NEW BEST:: SOT 21797 SOS 4337 HAS SOPS 4337 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3865.337
AT ITER 3714 NEW BEST:: SOT 21794 SOS 4334 HAS SOPS 4334 HAS SOUS 3859 HAS SOUPS 3859 WITH SCORE 3863.334
AT ITER 3728 NEW BEST:: SOT 21791 SOS 4328 HAS SOPS 4328 HAS SOUS 3859 HAS SOUPS 3859 WITH SCORE 3863.328
AT ITER 3750 NEW BEST:: SOT 21780 SOS 4305 HAS SOPS 4305 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3852.305
AT ITER 3757 NEW BEST:: SOT 21777 SOS 4275 HAS SOPS 4275 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3852.275
AT ITER 3810 NEW BEST:: SOT 21777 SOS 4274 HAS SOPS 4274 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3852.274
AT ITER 3840 NEW BEST:: SOT 21780 SOS 4272 HAS SOPS 4272 HAS SOUS 3846 HAS SOUPS 3846 WITH SCORE 3850.272
AT ITER 3841 NEW BEST:: SOT 21780 SOS 4266 HAS SOPS 4266 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3844.266
AT ITER 3863 NEW BEST:: SOT 21780 SOS 4263 HAS SOPS 4263 HAS SOUS 3835 HAS SOUPS 3835 WITH SCORE 3839.263
AT ITER 3895 NEW BEST:: SOT 21774 SOS 4251 HAS SOPS 4251 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3827.251
AT ITER 3915 NEW BEST:: SOT 21762 SOS 4239 HAS SOPS 4239 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3815.239
AT ITER 3920 NEW BEST:: SOT 21762 SOS 4236 HAS SOPS 4236 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3815.236
AT ITER 3927 NEW BEST:: SOT 21756 SOS 4224 HAS SOPS 4224 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3803.224
AT ITER 3929 NEW BEST:: SOT 21756 SOS 4224 HAS SOPS 4224 HAS SOUS 3798 HAS SOUPS 3798 WITH SCORE 3802.224
AT ITER 4001 NEW BEST:: SOT 21758 SOS 4221 HAS SOPS 4221 HAS SOUS 3793 HAS SOUPS 3793 WITH SCORE 3797.221
AT ITER 4039 NEW BEST:: SOT 21752 SOS 4215 HAS SOPS 4215 HAS SOUS 3787 HAS SOUPS 3787 WITH SCORE 3791.215
AT ITER 4065 NEW BEST:: SOT 21752 SOS 4199 HAS SOPS 4199 HAS SOUS 3771 HAS SOUPS 3771 WITH SCORE 3775.199
AT ITER 4090 NEW BEST:: SOT 21753 SOS 4193 HAS SOPS 4193 HAS SOUS 3762 HAS SOUPS 3762 WITH SCORE 3766.193
AT ITER 4137 NEW BEST:: SOT 21744 SOS 4175 HAS SOPS 4175 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3748.175
AT ITER 4181 NEW BEST:: SOT 21738 SOS 4167 HAS SOPS 4167 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3740.167
AT ITER 4213 NEW BEST:: SOT 21738 SOS 4167 HAS SOPS 4167 HAS SOUS 3732 HAS SOUPS 3732 WITH SCORE 3736.167
AT ITER 4291 NEW BEST:: SOT 21736 SOS 4163 HAS SOPS 4163 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3734.163
AT ITER 4315 NEW BEST:: SOT 21724 SOS 4145 HAS SOPS 4145 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3722.145
AT ITER 4375 NEW BEST:: SOT 21725 SOS 4147 HAS SOPS 4147 HAS SOUS 3717 HAS SOUPS 3717 WITH SCORE 3721.147
AT ITER 4553 NEW BEST:: SOT 21717 SOS 4135 HAS SOPS 4135 HAS SOUS 3705 HAS SOUPS 3705 WITH SCORE 3709.135
AT ITER 4714 NEW BEST:: SOT 21713 SOS 4112 HAS SOPS 4112 HAS SOUS 3703 HAS SOUPS 3703 WITH SCORE 3707.112
AT ITER 4715 NEW BEST:: SOT 21712 SOS 4112 HAS SOPS 4112 HAS SOUS 3702 HAS SOUPS 3702 WITH SCORE 3706.112
AT ITER 4753 NEW BEST:: SOT 21712 SOS 4110 HAS SOPS 4110 HAS SOUS 3702 HAS SOUPS 3702 WITH SCORE 3706.11
AT ITER 4869 NEW BEST:: SOT 21718 SOS 4106 HAS SOPS 4106 HAS SOUS 3698 HAS SOUPS 3698 WITH SCORE 3702.106
AT ITER 4959 NEW BEST:: SOT 21718 SOS 4104 HAS SOPS 4104 HAS SOUS 3684 HAS SOUPS 3684 WITH SCORE 3688.104
AT ITER 5000 NEW BEST:: SOT 21716 SOS 4100 HAS SOPS 4100 HAS SOUS 3680 HAS SOUPS 3680 WITH SCORE 3684.1
AT ITER 5009 NEW BEST:: SOT 21716 SOS 4093 HAS SOPS 4093 HAS SOUS 3680 HAS SOUPS 3680 WITH SCORE 3684.093
AT ITER 5010 NEW BEST:: SOT 21718 SOS 4097 HAS SOPS 4097 HAS SOUS 3669 HAS SOUPS 3669 WITH SCORE 3673.097
AT ITER 5020 NEW BEST:: SOT 21715 SOS 4091 HAS SOPS 4091 HAS SOUS 3659 HAS SOUPS 3659 WITH SCORE 3663.091
AT ITER 5026 NEW BEST:: SOT 21715 SOS 4088 HAS SOPS 4088 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3652.088
AT ITER 5143 NEW BEST:: SOT 21715 SOS 4088 HAS SOPS 4088 HAS SOUS 3647 HAS SOUPS 3647 WITH SCORE 3651.088
AT ITER 5153 NEW BEST:: SOT 21715 SOS 4087 HAS SOPS 4087 HAS SOUS 3646 HAS SOUPS 3646 WITH SCORE 3650.087
AT ITER 5157 NEW BEST:: SOT 21708 SOS 4047 HAS SOPS 4047 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3643.047
AT ITER 5160 NEW BEST:: SOT 21708 SOS 4047 HAS SOPS 4047 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3642.047
AT ITER 5176 NEW BEST:: SOT 21708 SOS 4044 HAS SOPS 4044 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3639.044
AT ITER 5187 NEW BEST:: SOT 21705 SOS 4054 HAS SOPS 4054 HAS SOUS 3631 HAS SOUPS 3631 WITH SCORE 3635.054
AT ITER 5203 NEW BEST:: SOT 21709 SOS 4055 HAS SOPS 4055 HAS SOUS 3625 HAS SOUPS 3625 WITH SCORE 3629.055
AT ITER 5242 NEW BEST:: SOT 21708 SOS 4048 HAS SOPS 4048 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3627.048
AT ITER 5243 NEW BEST:: SOT 21706 SOS 4046 HAS SOPS 4046 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3623.046
AT ITER 5309 NEW BEST:: SOT 21705 SOS 4044 HAS SOPS 4044 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3623.044
AT ITER 5312 NEW BEST:: SOT 21705 SOS 4043 HAS SOPS 4043 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3623.043
AT ITER 5320 NEW BEST:: SOT 21704 SOS 4044 HAS SOPS 4044 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3622.044
AT ITER 5340 NEW BEST:: SOT 21701 SOS 4040 HAS SOPS 4040 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3618.04
AT ITER 5455 NEW BEST:: SOT 21697 SOS 4037 HAS SOPS 4037 HAS SOUS 3606 HAS SOUPS 3606 WITH SCORE 3610.037
AT ITER 5465 NEW BEST:: SOT 21690 SOS 4031 HAS SOPS 4031 HAS SOUS 3600 HAS SOUPS 3600 WITH SCORE 3604.031
AT ITER 5471 NEW BEST:: SOT 21693 SOS 4016 HAS SOPS 4016 HAS SOUS 3599 HAS SOUPS 3599 WITH SCORE 3603.016
AT ITER 5529 NEW BEST:: SOT 21697 SOS 4002 HAS SOPS 4002 HAS SOUS 3592 HAS SOUPS 3592 WITH SCORE 3596.002
AT ITER 5553 NEW BEST:: SOT 21687 SOS 3982 HAS SOPS 3982 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3583.982
AT ITER 5590 NEW BEST:: SOT 21691 SOS 3990 HAS SOPS 3990 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3580.99
AT ITER 5603 NEW BEST:: SOT 21686 SOS 3990 HAS SOPS 3990 HAS SOUS 3572 HAS SOUPS 3572 WITH SCORE 3575.99
AT ITER 5644 NEW BEST:: SOT 21687 SOS 3988 HAS SOPS 3988 HAS SOUS 3572 HAS SOUPS 3572 WITH SCORE 3575.988
AT ITER 5650 NEW BEST:: SOT 21679 SOS 3972 HAS SOPS 3972 HAS SOUS 3564 HAS SOUPS 3564 WITH SCORE 3567.972
AT ITER 5662 NEW BEST:: SOT 21675 SOS 3964 HAS SOPS 3964 HAS SOUS 3560 HAS SOUPS 3560 WITH SCORE 3563.964
AT ITER 5726 NEW BEST:: SOT 21669 SOS 3935 HAS SOPS 3935 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3551.935
AT ITER 5763 NEW BEST:: SOT 21666 SOS 3924 HAS SOPS 3924 HAS SOUS 3539 HAS SOUPS 3539 WITH SCORE 3542.924
AT ITER 5968 NEW BEST:: SOT 21666 SOS 3920 HAS SOPS 3920 HAS SOUS 3535 HAS SOUPS 3535 WITH SCORE 3538.92
AT ITER 6042 NEW BEST:: SOT 21665 SOS 3913 HAS SOPS 3913 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3536.913
AT ITER 6162 NEW BEST:: SOT 21665 SOS 3908 HAS SOPS 3908 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3536.908
AT ITER 6204 NEW BEST:: SOT 21661 SOS 3910 HAS SOPS 3910 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3532.91
AT ITER 6366 NEW BEST:: SOT 21718 SOS 4012 HAS SOPS 4012 HAS SOUS 3523 HAS SOUPS 3523 WITH SCORE 3527.012
AT ITER 6373 NEW BEST:: SOT 21718 SOS 3996 HAS SOPS 3996 HAS SOUS 3523 HAS SOUPS 3523 WITH SCORE 3526.996
AT ITER 6426 NEW BEST:: SOT 21716 SOS 3994 HAS SOPS 3994 HAS SOUS 3521 HAS SOUPS 3521 WITH SCORE 3524.994
AT ITER 6587 NEW BEST:: SOT 21727 SOS 4004 HAS SOPS 4004 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3523.004
AT ITER 6590 NEW BEST:: SOT 21728 SOS 4003 HAS SOPS 4003 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3522.003
AT ITER 6695 NEW BEST:: SOT 21728 SOS 4000 HAS SOPS 4000 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3522.0
AT ITER 6766 NEW BEST:: SOT 21728 SOS 3946 HAS SOPS 3946 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3521.946
AT ITER 6801 NEW BEST:: SOT 21727 SOS 3944 HAS SOPS 3944 HAS SOUS 3516 HAS SOUPS 3516 WITH SCORE 3519.944
AT ITER 6825 NEW BEST:: SOT 21727 SOS 3944 HAS SOPS 3944 HAS SOUS 3515 HAS SOUPS 3515 WITH SCORE 3518.944
AT ITER 6920 NEW BEST:: SOT 21720 SOS 3936 HAS SOPS 3936 HAS SOUS 3507 HAS SOUPS 3507 WITH SCORE 3510.936
AT ITER 6925 NEW BEST:: SOT 21708 SOS 3912 HAS SOPS 3912 HAS SOUS 3505 HAS SOUPS 3505 WITH SCORE 3508.912
AT ITER 6932 NEW BEST:: SOT 21706 SOS 3908 HAS SOPS 3908 HAS SOUS 3501 HAS SOUPS 3501 WITH SCORE 3504.908
AT ITER 7000 NEW BEST:: SOT 21705 SOS 3906 HAS SOPS 3906 HAS SOUS 3499 HAS SOUPS 3499 WITH SCORE 3502.906
AT ITER 7189 NEW BEST:: SOT 21703 SOS 3902 HAS SOPS 3902 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3498.902
AT ITER 7209 NEW BEST:: SOT 21702 SOS 3901 HAS SOPS 3901 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3497.901
AT ITER 7255 NEW BEST:: SOT 21702 SOS 3900 HAS SOPS 3900 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3497.9
AT ITER 7296 NEW BEST:: SOT 21701 SOS 3899 HAS SOPS 3899 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3496.899
AT ITER 7315 NEW BEST:: SOT 21694 SOS 3898 HAS SOPS 3898 HAS SOUS 3476 HAS SOUPS 3476 WITH SCORE 3479.898
AT ITER 7445 NEW BEST:: SOT 21694 SOS 3898 HAS SOPS 3898 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3475.898
AT ITER 7450 NEW BEST:: SOT 21693 SOS 3896 HAS SOPS 3896 HAS SOUS 3469 HAS SOUPS 3469 WITH SCORE 3472.896
AT ITER 7457 NEW BEST:: SOT 21693 SOS 3896 HAS SOPS 3896 HAS SOUS 3468 HAS SOUPS 3468 WITH SCORE 3471.896
AT ITER 7477 NEW BEST:: SOT 21692 SOS 3896 HAS SOPS 3896 HAS SOUS 3467 HAS SOUPS 3467 WITH SCORE 3470.896
AT ITER 7484 NEW BEST:: SOT 21691 SOS 3896 HAS SOPS 3896 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3469.896
AT ITER 7485 NEW BEST:: SOT 21685 SOS 3892 HAS SOPS 3892 HAS SOUS 3462 HAS SOUPS 3462 WITH SCORE 3465.892
AT ITER 7502 NEW BEST:: SOT 21684 SOS 3890 HAS SOPS 3890 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3463.89
AT ITER 7526 NEW BEST:: SOT 21684 SOS 3889 HAS SOPS 3889 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3462.889
AT ITER 7698 NEW BEST:: SOT 21683 SOS 3869 HAS SOPS 3869 HAS SOUS 3456 HAS SOUPS 3456 WITH SCORE 3459.869
AT ITER 7700 NEW BEST:: SOT 21681 SOS 3865 HAS SOPS 3865 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3455.865
AT ITER 7703 NEW BEST:: SOT 21679 SOS 3847 HAS SOPS 3847 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3444.847
AT ITER 7737 NEW BEST:: SOT 21679 SOS 3845 HAS SOPS 3845 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3444.845
AT ITER 7769 NEW BEST:: SOT 21682 SOS 3843 HAS SOPS 3843 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3442.843
AT ITER 7825 NEW BEST:: SOT 21677 SOS 3838 HAS SOPS 3838 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3437.838
AT ITER 7956 NEW BEST:: SOT 21677 SOS 3819 HAS SOPS 3819 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3433.819
AT ITER 7960 NEW BEST:: SOT 21675 SOS 3815 HAS SOPS 3815 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3429.815
AT ITER 8355 NEW BEST:: SOT 21673 SOS 3811 HAS SOPS 3811 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3425.811
AT ITER 8412 NEW BEST:: SOT 21673 SOS 3811 HAS SOPS 3811 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3424.811
AT ITER 8527 NEW BEST:: SOT 21675 SOS 3808 HAS SOPS 3808 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3423.808
AT ITER 8758 NEW BEST:: SOT 21672 SOS 3802 HAS SOPS 3802 HAS SOUS 3414 HAS SOUPS 3414 WITH SCORE 3417.802
AT ITER 8915 NEW BEST:: SOT 21670 SOS 3803 HAS SOPS 3803 HAS SOUS 3413 HAS SOUPS 3413 WITH SCORE 3416.803
AT ITER 8928 NEW BEST:: SOT 21657 SOS 3803 HAS SOPS 3803 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3405.803
AT ITER 9042 NEW BEST:: SOT 21657 SOS 3799 HAS SOPS 3799 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3405.799
AT ITER 9118 NEW BEST:: SOT 21655 SOS 3792 HAS SOPS 3792 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3400.792
AT ITER 9176 NEW BEST:: SOT 21653 SOS 3788 HAS SOPS 3788 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3396.788
AT ITER 9194 NEW BEST:: SOT 21653 SOS 3788 HAS SOPS 3788 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3394.788
AT ITER 9203 NEW BEST:: SOT 21654 SOS 3799 HAS SOPS 3799 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3393.799
AT ITER 9328 NEW BEST:: SOT 21653 SOS 3797 HAS SOPS 3797 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3391.797
AT ITER 9396 NEW BEST:: SOT 21651 SOS 3793 HAS SOPS 3793 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3387.793
AT ITER 9425 NEW BEST:: SOT 21650 SOS 3791 HAS SOPS 3791 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3386.791
AT ITER 9455 NEW BEST:: SOT 21647 SOS 3785 HAS SOPS 3785 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3380.785
AT ITER 9458 NEW BEST:: SOT 21645 SOS 3783 HAS SOPS 3783 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3380.783
AT ITER 9532 NEW BEST:: SOT 21644 SOS 3782 HAS SOPS 3782 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3380.782
AT ITER 9537 NEW BEST:: SOT 21644 SOS 3778 HAS SOPS 3778 HAS SOUS 3375 HAS SOUPS 3375 WITH SCORE 3378.778
AT ITER 9544 NEW BEST:: SOT 21640 SOS 3773 HAS SOPS 3773 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3374.773
AT ITER 9637 NEW BEST:: SOT 21636 SOS 3775 HAS SOPS 3775 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3371.775
AT ITER 9650 NEW BEST:: SOT 21634 SOS 3769 HAS SOPS 3769 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3369.769
AT ITER 9897 NEW BEST:: SOT 21634 SOS 3769 HAS SOPS 3769 HAS SOUS 3363 HAS SOUPS 3363 WITH SCORE 3366.769
AT ITER 9921 NEW BEST:: SOT 21631 SOS 3763 HAS SOPS 3763 HAS SOUS 3360 HAS SOUPS 3360 WITH SCORE 3363.763
AT ITER 9942 NEW BEST:: SOT 21631 SOS 3763 HAS SOPS 3763 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3358.763
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 9734688 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16154952 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="ShieldRVt-PT-004B"
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 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 1"
echo " Run identifier is r419-tajo-167905973500240"
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 ;