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-167903711600224.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 ShieldIIPt-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-167903711600224
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 5.8K Feb 25 16:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 25 16:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 16:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 17:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 25 17:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 17:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 25 17:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:56 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 50K 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 1679060323180

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=ShieldIIPt-PT-003B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (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: 213 places, 198 transitions, 492 arcs.
AT ITER 0 NEW BEST:: SOT 23789 SOS 7836 HAS SOPS 7836 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7062.836
AT ITER 15 NEW BEST:: SOT 23789 SOS 7835 HAS SOPS 7835 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7061.835
AT ITER 24 NEW BEST:: SOT 23789 SOS 7828 HAS SOPS 7828 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7054.828
AT ITER 33 NEW BEST:: SOT 23789 SOS 7816 HAS SOPS 7816 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7054.816
AT ITER 55 NEW BEST:: SOT 23761 SOS 7784 HAS SOPS 7784 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7022.784
AT ITER 56 NEW BEST:: SOT 23704 SOS 7746 HAS SOPS 7746 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 6984.746
AT ITER 57 NEW BEST:: SOT 23704 SOS 7710 HAS SOPS 7710 HAS SOUS 6941 HAS SOUPS 6941 WITH SCORE 6948.71
AT ITER 73 NEW BEST:: SOT 23704 SOS 7694 HAS SOPS 7694 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6932.694
AT ITER 76 NEW BEST:: SOT 23704 SOS 7670 HAS SOPS 7670 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6932.67
AT ITER 77 NEW BEST:: SOT 23685 SOS 7613 HAS SOPS 7613 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6894.613
AT ITER 116 NEW BEST:: SOT 23710 SOS 7622 HAS SOPS 7622 HAS SOUS 6871 HAS SOUPS 6871 WITH SCORE 6878.622
AT ITER 118 NEW BEST:: SOT 23709 SOS 7582 HAS SOPS 7582 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6857.582
AT ITER 128 NEW BEST:: SOT 23688 SOS 7577 HAS SOPS 7577 HAS SOUS 6837 HAS SOUPS 6837 WITH SCORE 6844.577
AT ITER 130 NEW BEST:: SOT 23679 SOS 7571 HAS SOPS 7571 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6838.571
AT ITER 132 NEW BEST:: SOT 23679 SOS 7517 HAS SOPS 7517 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6798.517
AT ITER 152 NEW BEST:: SOT 23695 SOS 7533 HAS SOPS 7533 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6795.533
AT ITER 162 NEW BEST:: SOT 23686 SOS 7529 HAS SOPS 7529 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6786.529
AT ITER 177 NEW BEST:: SOT 23665 SOS 7512 HAS SOPS 7512 HAS SOUS 6765 HAS SOUPS 6765 WITH SCORE 6772.512
AT ITER 179 NEW BEST:: SOT 23665 SOS 7506 HAS SOPS 7506 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6766.506
AT ITER 184 NEW BEST:: SOT 23623 SOS 7540 HAS SOPS 7540 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6739.54
AT ITER 213 NEW BEST:: SOT 23623 SOS 7512 HAS SOPS 7512 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6725.512
AT ITER 214 NEW BEST:: SOT 23616 SOS 7496 HAS SOPS 7496 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6709.496
AT ITER 215 NEW BEST:: SOT 23616 SOS 7494 HAS SOPS 7494 HAS SOUS 6700 HAS SOUPS 6700 WITH SCORE 6707.494
AT ITER 228 NEW BEST:: SOT 23537 SOS 7473 HAS SOPS 7473 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6643.473
AT ITER 237 NEW BEST:: SOT 23524 SOS 7462 HAS SOPS 7462 HAS SOUS 6618 HAS SOUPS 6618 WITH SCORE 6625.462
AT ITER 238 NEW BEST:: SOT 23518 SOS 7462 HAS SOPS 7462 HAS SOUS 6612 HAS SOUPS 6612 WITH SCORE 6619.462
AT ITER 257 NEW BEST:: SOT 23518 SOS 7462 HAS SOPS 7462 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6618.462
AT ITER 261 NEW BEST:: SOT 23510 SOS 7458 HAS SOPS 7458 HAS SOUS 6607 HAS SOUPS 6607 WITH SCORE 6614.458
AT ITER 301 NEW BEST:: SOT 23510 SOS 7427 HAS SOPS 7427 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6611.427
AT ITER 311 NEW BEST:: SOT 23510 SOS 7427 HAS SOPS 7427 HAS SOUS 6602 HAS SOUPS 6602 WITH SCORE 6609.427
AT ITER 324 NEW BEST:: SOT 23460 SOS 7322 HAS SOPS 7322 HAS SOUS 6497 HAS SOUPS 6497 WITH SCORE 6504.322
AT ITER 388 NEW BEST:: SOT 23453 SOS 7310 HAS SOPS 7310 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6493.31
AT ITER 390 NEW BEST:: SOT 23453 SOS 7304 HAS SOPS 7304 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6487.304
AT ITER 395 NEW BEST:: SOT 23449 SOS 7214 HAS SOPS 7214 HAS SOUS 6429 HAS SOUPS 6429 WITH SCORE 6436.214
AT ITER 400 NEW BEST:: SOT 23450 SOS 7210 HAS SOPS 7210 HAS SOUS 6427 HAS SOUPS 6427 WITH SCORE 6434.21
AT ITER 402 NEW BEST:: SOT 23450 SOS 7201 HAS SOPS 7201 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6422.201
AT ITER 403 NEW BEST:: SOT 23450 SOS 7201 HAS SOPS 7201 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6419.201
AT ITER 404 NEW BEST:: SOT 23447 SOS 7210 HAS SOPS 7210 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6402.21
AT ITER 413 NEW BEST:: SOT 23447 SOS 7156 HAS SOPS 7156 HAS SOUS 6368 HAS SOUPS 6368 WITH SCORE 6375.156
AT ITER 418 NEW BEST:: SOT 23431 SOS 7092 HAS SOPS 7092 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6327.092
AT ITER 438 NEW BEST:: SOT 23406 SOS 7042 HAS SOPS 7042 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6277.042
AT ITER 439 NEW BEST:: SOT 23406 SOS 7023 HAS SOPS 7023 HAS SOUS 6251 HAS SOUPS 6251 WITH SCORE 6258.023
AT ITER 442 NEW BEST:: SOT 23373 SOS 6959 HAS SOPS 6959 HAS SOUS 6187 HAS SOUPS 6187 WITH SCORE 6193.959
AT ITER 457 NEW BEST:: SOT 23373 SOS 6954 HAS SOPS 6954 HAS SOUS 6186 HAS SOUPS 6186 WITH SCORE 6192.954
AT ITER 473 NEW BEST:: SOT 23370 SOS 6951 HAS SOPS 6951 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6189.951
AT ITER 487 NEW BEST:: SOT 23367 SOS 6948 HAS SOPS 6948 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6186.948
AT ITER 488 NEW BEST:: SOT 23367 SOS 6920 HAS SOPS 6920 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6186.92
AT ITER 502 NEW BEST:: SOT 23367 SOS 6919 HAS SOPS 6919 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6186.919
AT ITER 527 NEW BEST:: SOT 23366 SOS 6918 HAS SOPS 6918 HAS SOUS 6179 HAS SOUPS 6179 WITH SCORE 6185.918
AT ITER 534 NEW BEST:: SOT 23363 SOS 6915 HAS SOPS 6915 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6182.915
AT ITER 537 NEW BEST:: SOT 23363 SOS 6922 HAS SOPS 6922 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6165.922
AT ITER 542 NEW BEST:: SOT 23363 SOS 6921 HAS SOPS 6921 HAS SOUS 6158 HAS SOUPS 6158 WITH SCORE 6164.921
AT ITER 556 NEW BEST:: SOT 23363 SOS 6917 HAS SOPS 6917 HAS SOUS 6154 HAS SOUPS 6154 WITH SCORE 6160.917
AT ITER 563 NEW BEST:: SOT 23364 SOS 6914 HAS SOPS 6914 HAS SOUS 6151 HAS SOUPS 6151 WITH SCORE 6157.914
AT ITER 565 NEW BEST:: SOT 23364 SOS 6914 HAS SOPS 6914 HAS SOUS 6124 HAS SOUPS 6124 WITH SCORE 6130.914
AT ITER 567 NEW BEST:: SOT 23363 SOS 6898 HAS SOPS 6898 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6114.898
AT ITER 582 NEW BEST:: SOT 23364 SOS 6872 HAS SOPS 6872 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6102.872
AT ITER 586 NEW BEST:: SOT 23330 SOS 6804 HAS SOPS 6804 HAS SOUS 6061 HAS SOUPS 6061 WITH SCORE 6067.804
AT ITER 596 NEW BEST:: SOT 23334 SOS 6788 HAS SOPS 6788 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6056.788
AT ITER 597 NEW BEST:: SOT 23370 SOS 6829 HAS SOPS 6829 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6050.829
AT ITER 616 NEW BEST:: SOT 23345 SOS 6707 HAS SOPS 6707 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6022.707
AT ITER 621 NEW BEST:: SOT 23345 SOS 6698 HAS SOPS 6698 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6022.698
AT ITER 641 NEW BEST:: SOT 23338 SOS 6672 HAS SOPS 6672 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5987.672
AT ITER 653 NEW BEST:: SOT 23324 SOS 6631 HAS SOPS 6631 HAS SOUS 5944 HAS SOUPS 5944 WITH SCORE 5950.631
AT ITER 670 NEW BEST:: SOT 23324 SOS 6618 HAS SOPS 6618 HAS SOUS 5931 HAS SOUPS 5931 WITH SCORE 5937.618
AT ITER 683 NEW BEST:: SOT 23325 SOS 6618 HAS SOPS 6618 HAS SOUS 5930 HAS SOUPS 5930 WITH SCORE 5936.618
AT ITER 690 NEW BEST:: SOT 23323 SOS 6618 HAS SOPS 6618 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5934.618
AT ITER 703 NEW BEST:: SOT 23299 SOS 6545 HAS SOPS 6545 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 5889.545
AT ITER 712 NEW BEST:: SOT 23296 SOS 6536 HAS SOPS 6536 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5883.536
AT ITER 714 NEW BEST:: SOT 23296 SOS 6522 HAS SOPS 6522 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5849.522
AT ITER 718 NEW BEST:: SOT 23309 SOS 6489 HAS SOPS 6489 HAS SOUS 5832 HAS SOUPS 5832 WITH SCORE 5838.489
AT ITER 737 NEW BEST:: SOT 23308 SOS 6487 HAS SOPS 6487 HAS SOUS 5830 HAS SOUPS 5830 WITH SCORE 5836.487
AT ITER 750 NEW BEST:: SOT 23299 SOS 6469 HAS SOPS 6469 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5818.469
AT ITER 785 NEW BEST:: SOT 23297 SOS 6468 HAS SOPS 6468 HAS SOUS 5809 HAS SOUPS 5809 WITH SCORE 5815.468
AT ITER 793 NEW BEST:: SOT 23295 SOS 6444 HAS SOPS 6444 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5811.444
AT ITER 794 NEW BEST:: SOT 23293 SOS 6413 HAS SOPS 6413 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5788.413
AT ITER 797 NEW BEST:: SOT 23293 SOS 6408 HAS SOPS 6408 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5783.408
AT ITER 798 NEW BEST:: SOT 23301 SOS 6367 HAS SOPS 6367 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5770.367
AT ITER 821 NEW BEST:: SOT 23253 SOS 6319 HAS SOPS 6319 HAS SOUS 5729 HAS SOUPS 5729 WITH SCORE 5735.319
AT ITER 829 NEW BEST:: SOT 23252 SOS 6316 HAS SOPS 6316 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5733.316
AT ITER 834 NEW BEST:: SOT 23221 SOS 6300 HAS SOPS 6300 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5714.3
AT ITER 835 NEW BEST:: SOT 23221 SOS 6287 HAS SOPS 6287 HAS SOUS 5694 HAS SOUPS 5694 WITH SCORE 5700.287
AT ITER 861 NEW BEST:: SOT 23218 SOS 6281 HAS SOPS 6281 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5697.281
AT ITER 868 NEW BEST:: SOT 23214 SOS 6260 HAS SOPS 6260 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5688.26
AT ITER 881 NEW BEST:: SOT 23214 SOS 6258 HAS SOPS 6258 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5688.258
AT ITER 886 NEW BEST:: SOT 23213 SOS 6248 HAS SOPS 6248 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5682.248
AT ITER 892 NEW BEST:: SOT 23195 SOS 6236 HAS SOPS 6236 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5670.236
AT ITER 898 NEW BEST:: SOT 23183 SOS 6212 HAS SOPS 6212 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5646.212
AT ITER 900 NEW BEST:: SOT 23178 SOS 6202 HAS SOPS 6202 HAS SOUS 5632 HAS SOUPS 5632 WITH SCORE 5638.202
AT ITER 914 NEW BEST:: SOT 23177 SOS 6199 HAS SOPS 6199 HAS SOUS 5631 HAS SOUPS 5631 WITH SCORE 5637.199
AT ITER 957 NEW BEST:: SOT 23207 SOS 6205 HAS SOPS 6205 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5621.205
AT ITER 995 NEW BEST:: SOT 23205 SOS 6203 HAS SOPS 6203 HAS SOUS 5613 HAS SOUPS 5613 WITH SCORE 5619.203
AT ITER 997 NEW BEST:: SOT 23205 SOS 6169 HAS SOPS 6169 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5586.169
AT ITER 1007 NEW BEST:: SOT 23205 SOS 6164 HAS SOPS 6164 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5581.164
AT ITER 1025 NEW BEST:: SOT 23200 SOS 6143 HAS SOPS 6143 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5576.143
AT ITER 1030 NEW BEST:: SOT 23198 SOS 6132 HAS SOPS 6132 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5560.132
AT ITER 1035 NEW BEST:: SOT 23180 SOS 6103 HAS SOPS 6103 HAS SOUS 5525 HAS SOUPS 5525 WITH SCORE 5531.103
AT ITER 1039 NEW BEST:: SOT 23173 SOS 6101 HAS SOPS 6101 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5524.101
AT ITER 1056 NEW BEST:: SOT 23169 SOS 6075 HAS SOPS 6075 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5484.075
AT ITER 1057 NEW BEST:: SOT 23170 SOS 6076 HAS SOPS 6076 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5477.076
AT ITER 1061 NEW BEST:: SOT 23170 SOS 6042 HAS SOPS 6042 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5477.042
AT ITER 1103 NEW BEST:: SOT 23166 SOS 6034 HAS SOPS 6034 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5438.034
AT ITER 1111 NEW BEST:: SOT 23166 SOS 6015 HAS SOPS 6015 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5419.015
AT ITER 1124 NEW BEST:: SOT 23159 SOS 6001 HAS SOPS 6001 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5412.001
AT ITER 1137 NEW BEST:: SOT 23159 SOS 5982 HAS SOPS 5982 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5391.982
AT ITER 1153 NEW BEST:: SOT 23159 SOS 5981 HAS SOPS 5981 HAS SOUS 5385 HAS SOUPS 5385 WITH SCORE 5390.981
AT ITER 1198 NEW BEST:: SOT 23184 SOS 5969 HAS SOPS 5969 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5353.969
AT ITER 1203 NEW BEST:: SOT 23181 SOS 5963 HAS SOPS 5963 HAS SOUS 5339 HAS SOUPS 5339 WITH SCORE 5344.963
AT ITER 1205 NEW BEST:: SOT 23164 SOS 5931 HAS SOPS 5931 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5326.931
AT ITER 1210 NEW BEST:: SOT 23164 SOS 5914 HAS SOPS 5914 HAS SOUS 5285 HAS SOUPS 5285 WITH SCORE 5290.914
AT ITER 1224 NEW BEST:: SOT 23181 SOS 5894 HAS SOPS 5894 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5286.894
AT ITER 1235 NEW BEST:: SOT 23181 SOS 5886 HAS SOPS 5886 HAS SOUS 5273 HAS SOUPS 5273 WITH SCORE 5278.886
AT ITER 1258 NEW BEST:: SOT 23181 SOS 5878 HAS SOPS 5878 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5272.878
AT ITER 1264 NEW BEST:: SOT 23174 SOS 5871 HAS SOPS 5871 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5264.871
AT ITER 1275 NEW BEST:: SOT 23171 SOS 5865 HAS SOPS 5865 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5258.865
AT ITER 1292 NEW BEST:: SOT 23158 SOS 5857 HAS SOPS 5857 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5250.857
AT ITER 1295 NEW BEST:: SOT 23155 SOS 5844 HAS SOPS 5844 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5247.844
AT ITER 1342 NEW BEST:: SOT 23150 SOS 5843 HAS SOPS 5843 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5246.843
AT ITER 1380 NEW BEST:: SOT 23150 SOS 5813 HAS SOPS 5813 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5231.813
AT ITER 1399 NEW BEST:: SOT 23151 SOS 5800 HAS SOPS 5800 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5231.8
AT ITER 1459 NEW BEST:: SOT 23151 SOS 5782 HAS SOPS 5782 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5219.782
AT ITER 1475 NEW BEST:: SOT 23149 SOS 5780 HAS SOPS 5780 HAS SOUS 5212 HAS SOUPS 5212 WITH SCORE 5217.78
AT ITER 1484 NEW BEST:: SOT 23149 SOS 5773 HAS SOPS 5773 HAS SOUS 5205 HAS SOUPS 5205 WITH SCORE 5210.773
AT ITER 1511 NEW BEST:: SOT 23149 SOS 5773 HAS SOPS 5773 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5195.773
AT ITER 1516 NEW BEST:: SOT 23148 SOS 5772 HAS SOPS 5772 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5194.772
AT ITER 1576 NEW BEST:: SOT 23143 SOS 5767 HAS SOPS 5767 HAS SOUS 5184 HAS SOUPS 5184 WITH SCORE 5189.767
AT ITER 1578 NEW BEST:: SOT 23142 SOS 5766 HAS SOPS 5766 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5188.766
AT ITER 1616 NEW BEST:: SOT 23133 SOS 5742 HAS SOPS 5742 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5164.742
AT ITER 1680 NEW BEST:: SOT 23132 SOS 5740 HAS SOPS 5740 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5162.74
AT ITER 1696 NEW BEST:: SOT 23132 SOS 5734 HAS SOPS 5734 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5156.734
AT ITER 1736 NEW BEST:: SOT 23132 SOS 5732 HAS SOPS 5732 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5156.732
AT ITER 1738 NEW BEST:: SOT 23129 SOS 5738 HAS SOPS 5738 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5153.738
AT ITER 1743 NEW BEST:: SOT 23129 SOS 5733 HAS SOPS 5733 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5153.733
AT ITER 1780 NEW BEST:: SOT 23120 SOS 5700 HAS SOPS 5700 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5132.7
AT ITER 1823 NEW BEST:: SOT 23085 SOS 5665 HAS SOPS 5665 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5132.665
AT ITER 1852 NEW BEST:: SOT 23075 SOS 5668 HAS SOPS 5668 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5123.668
AT ITER 1855 NEW BEST:: SOT 23070 SOS 5658 HAS SOPS 5658 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5113.658
AT ITER 1864 NEW BEST:: SOT 23095 SOS 5643 HAS SOPS 5643 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5098.643
AT ITER 1874 NEW BEST:: SOT 23090 SOS 5638 HAS SOPS 5638 HAS SOUS 5083 HAS SOUPS 5083 WITH SCORE 5088.638
AT ITER 1882 NEW BEST:: SOT 23078 SOS 5614 HAS SOPS 5614 HAS SOUS 5059 HAS SOUPS 5059 WITH SCORE 5064.614
AT ITER 1883 NEW BEST:: SOT 23077 SOS 5613 HAS SOPS 5613 HAS SOUS 5058 HAS SOUPS 5058 WITH SCORE 5063.613
AT ITER 1904 NEW BEST:: SOT 23066 SOS 5588 HAS SOPS 5588 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5038.588
AT ITER 1927 NEW BEST:: SOT 23068 SOS 5578 HAS SOPS 5578 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5037.578
AT ITER 1956 NEW BEST:: SOT 23068 SOS 5575 HAS SOPS 5575 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5037.575
AT ITER 1971 NEW BEST:: SOT 23083 SOS 5529 HAS SOPS 5529 HAS SOUS 4986 HAS SOUPS 4986 WITH SCORE 4991.529
AT ITER 1983 NEW BEST:: SOT 23084 SOS 5536 HAS SOPS 5536 HAS SOUS 4984 HAS SOUPS 4984 WITH SCORE 4989.536
AT ITER 1995 NEW BEST:: SOT 23084 SOS 5512 HAS SOPS 5512 HAS SOUS 4984 HAS SOUPS 4984 WITH SCORE 4989.512
AT ITER 1996 NEW BEST:: SOT 23084 SOS 5511 HAS SOPS 5511 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4988.511
AT ITER 2003 NEW BEST:: SOT 23080 SOS 5539 HAS SOPS 5539 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4985.539
AT ITER 2109 NEW BEST:: SOT 23081 SOS 5531 HAS SOPS 5531 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4984.531
AT ITER 2142 NEW BEST:: SOT 23067 SOS 5517 HAS SOPS 5517 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4956.517
AT ITER 2167 NEW BEST:: SOT 23056 SOS 5516 HAS SOPS 5516 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4955.516
AT ITER 2182 NEW BEST:: SOT 23055 SOS 5514 HAS SOPS 5514 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4953.514
AT ITER 2184 NEW BEST:: SOT 23050 SOS 5504 HAS SOPS 5504 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4948.504
AT ITER 2214 NEW BEST:: SOT 23020 SOS 5479 HAS SOPS 5479 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4948.479
AT ITER 2268 NEW BEST:: SOT 23020 SOS 5479 HAS SOPS 5479 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4938.479
AT ITER 2276 NEW BEST:: SOT 23015 SOS 5469 HAS SOPS 5469 HAS SOUS 4923 HAS SOUPS 4923 WITH SCORE 4928.469
AT ITER 2285 NEW BEST:: SOT 23013 SOS 5465 HAS SOPS 5465 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4919.465
AT ITER 2327 NEW BEST:: SOT 23015 SOS 5463 HAS SOPS 5463 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4917.463
AT ITER 2336 NEW BEST:: SOT 23012 SOS 5457 HAS SOPS 5457 HAS SOUS 4909 HAS SOUPS 4909 WITH SCORE 4914.457
AT ITER 2358 NEW BEST:: SOT 23008 SOS 5453 HAS SOPS 5453 HAS SOUS 4909 HAS SOUPS 4909 WITH SCORE 4914.453
AT ITER 2369 NEW BEST:: SOT 23001 SOS 5441 HAS SOPS 5441 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4902.441
AT ITER 2392 NEW BEST:: SOT 23001 SOS 5440 HAS SOPS 5440 HAS SOUS 4896 HAS SOUPS 4896 WITH SCORE 4901.44
AT ITER 2462 NEW BEST:: SOT 23001 SOS 5437 HAS SOPS 5437 HAS SOUS 4895 HAS SOUPS 4895 WITH SCORE 4900.437
AT ITER 2484 NEW BEST:: SOT 23001 SOS 5433 HAS SOPS 5433 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4898.433
AT ITER 2496 NEW BEST:: SOT 22996 SOS 5429 HAS SOPS 5429 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4888.429
AT ITER 2498 NEW BEST:: SOT 22994 SOS 5427 HAS SOPS 5427 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4886.427
AT ITER 2521 NEW BEST:: SOT 22994 SOS 5427 HAS SOPS 5427 HAS SOUS 4880 HAS SOUPS 4880 WITH SCORE 4885.427
AT ITER 2522 NEW BEST:: SOT 22992 SOS 5425 HAS SOPS 5425 HAS SOUS 4878 HAS SOUPS 4878 WITH SCORE 4883.425
AT ITER 2579 NEW BEST:: SOT 22992 SOS 5415 HAS SOPS 5415 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4873.415
AT ITER 2708 NEW BEST:: SOT 22988 SOS 5407 HAS SOPS 5407 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4865.407
AT ITER 2730 NEW BEST:: SOT 22988 SOS 5402 HAS SOPS 5402 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4862.402
AT ITER 2745 NEW BEST:: SOT 22988 SOS 5384 HAS SOPS 5384 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4862.384
AT ITER 2773 NEW BEST:: SOT 22987 SOS 5388 HAS SOPS 5388 HAS SOUS 4855 HAS SOUPS 4855 WITH SCORE 4860.388
AT ITER 2786 NEW BEST:: SOT 22978 SOS 5384 HAS SOPS 5384 HAS SOUS 4851 HAS SOUPS 4851 WITH SCORE 4856.384
AT ITER 2801 NEW BEST:: SOT 22979 SOS 5385 HAS SOPS 5385 HAS SOUS 4849 HAS SOUPS 4849 WITH SCORE 4854.385
AT ITER 2820 NEW BEST:: SOT 22979 SOS 5383 HAS SOPS 5383 HAS SOUS 4848 HAS SOUPS 4848 WITH SCORE 4853.383
AT ITER 2909 NEW BEST:: SOT 22974 SOS 5478 HAS SOPS 5478 HAS SOUS 4843 HAS SOUPS 4843 WITH SCORE 4848.478
AT ITER 2945 NEW BEST:: SOT 22975 SOS 5470 HAS SOPS 5470 HAS SOUS 4835 HAS SOUPS 4835 WITH SCORE 4840.47
AT ITER 2951 NEW BEST:: SOT 22942 SOS 5423 HAS SOPS 5423 HAS SOUS 4804 HAS SOUPS 4804 WITH SCORE 4809.423
AT ITER 2954 NEW BEST:: SOT 22942 SOS 5417 HAS SOPS 5417 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4803.417
AT ITER 2972 NEW BEST:: SOT 22929 SOS 5356 HAS SOPS 5356 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4788.356
AT ITER 2974 NEW BEST:: SOT 22927 SOS 5354 HAS SOPS 5354 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4788.354
AT ITER 2976 NEW BEST:: SOT 22886 SOS 5313 HAS SOPS 5313 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4788.313
AT ITER 2983 NEW BEST:: SOT 22890 SOS 5309 HAS SOPS 5309 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4784.309
AT ITER 3029 NEW BEST:: SOT 22883 SOS 5295 HAS SOPS 5295 HAS SOUS 4769 HAS SOUPS 4769 WITH SCORE 4774.295
AT ITER 3033 NEW BEST:: SOT 22874 SOS 5291 HAS SOPS 5291 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4770.291
AT ITER 3061 NEW BEST:: SOT 22874 SOS 5284 HAS SOPS 5284 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4770.284
AT ITER 3108 NEW BEST:: SOT 22869 SOS 5283 HAS SOPS 5283 HAS SOUS 4764 HAS SOUPS 4764 WITH SCORE 4769.283
AT ITER 3138 NEW BEST:: SOT 22869 SOS 5233 HAS SOPS 5233 HAS SOUS 4759 HAS SOUPS 4759 WITH SCORE 4764.233
AT ITER 3160 NEW BEST:: SOT 22867 SOS 5229 HAS SOPS 5229 HAS SOUS 4755 HAS SOUPS 4755 WITH SCORE 4760.229
AT ITER 3256 NEW BEST:: SOT 22867 SOS 5217 HAS SOPS 5217 HAS SOUS 4743 HAS SOUPS 4743 WITH SCORE 4748.217
AT ITER 3267 NEW BEST:: SOT 22866 SOS 5215 HAS SOPS 5215 HAS SOUS 4741 HAS SOUPS 4741 WITH SCORE 4746.215
AT ITER 3305 NEW BEST:: SOT 22866 SOS 5191 HAS SOPS 5191 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4722.191
AT ITER 3360 NEW BEST:: SOT 22857 SOS 5184 HAS SOPS 5184 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4713.184
AT ITER 3361 NEW BEST:: SOT 22856 SOS 5183 HAS SOPS 5183 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4712.183
AT ITER 3372 NEW BEST:: SOT 22870 SOS 5170 HAS SOPS 5170 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4711.17
AT ITER 3400 NEW BEST:: SOT 22868 SOS 5188 HAS SOPS 5188 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4704.188
AT ITER 3443 NEW BEST:: SOT 22867 SOS 5179 HAS SOPS 5179 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4681.179
AT ITER 3446 NEW BEST:: SOT 22859 SOS 5203 HAS SOPS 5203 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4678.203
AT ITER 3456 NEW BEST:: SOT 22859 SOS 5192 HAS SOPS 5192 HAS SOUS 4671 HAS SOUPS 4671 WITH SCORE 4676.192
AT ITER 3512 NEW BEST:: SOT 22847 SOS 5155 HAS SOPS 5155 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4658.155
AT ITER 3515 NEW BEST:: SOT 22847 SOS 5154 HAS SOPS 5154 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4658.154
AT ITER 3521 NEW BEST:: SOT 22845 SOS 5142 HAS SOPS 5142 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4645.142
AT ITER 3528 NEW BEST:: SOT 22839 SOS 5130 HAS SOPS 5130 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4633.13
AT ITER 3531 NEW BEST:: SOT 22839 SOS 5122 HAS SOPS 5122 HAS SOUS 4627 HAS SOUPS 4627 WITH SCORE 4632.122
AT ITER 3533 NEW BEST:: SOT 22838 SOS 5116 HAS SOPS 5116 HAS SOUS 4621 HAS SOUPS 4621 WITH SCORE 4626.116
AT ITER 3578 NEW BEST:: SOT 22812 SOS 5073 HAS SOPS 5073 HAS SOUS 4613 HAS SOUPS 4613 WITH SCORE 4618.073
AT ITER 3599 NEW BEST:: SOT 22812 SOS 5058 HAS SOPS 5058 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4611.058
AT ITER 3646 NEW BEST:: SOT 22807 SOS 5031 HAS SOPS 5031 HAS SOUS 4601 HAS SOUPS 4601 WITH SCORE 4606.031
AT ITER 3711 NEW BEST:: SOT 22791 SOS 5008 HAS SOPS 5008 HAS SOUS 4590 HAS SOUPS 4590 WITH SCORE 4595.008
AT ITER 3722 NEW BEST:: SOT 22791 SOS 5008 HAS SOPS 5008 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4589.008
AT ITER 3732 NEW BEST:: SOT 22804 SOS 5034 HAS SOPS 5034 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4587.034
AT ITER 3743 NEW BEST:: SOT 22800 SOS 5030 HAS SOPS 5030 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4583.03
AT ITER 3768 NEW BEST:: SOT 22793 SOS 5006 HAS SOPS 5006 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4559.006
AT ITER 3771 NEW BEST:: SOT 22790 SOS 5001 HAS SOPS 5001 HAS SOUS 4549 HAS SOUPS 4549 WITH SCORE 4554.001
AT ITER 3797 NEW BEST:: SOT 22790 SOS 5001 HAS SOPS 5001 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4548.001
AT ITER 3837 NEW BEST:: SOT 22790 SOS 4999 HAS SOPS 4999 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4547.999
AT ITER 3862 NEW BEST:: SOT 22787 SOS 4991 HAS SOPS 4991 HAS SOUS 4538 HAS SOUPS 4538 WITH SCORE 4542.991
AT ITER 3902 NEW BEST:: SOT 22795 SOS 4990 HAS SOPS 4990 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4541.99
AT ITER 3940 NEW BEST:: SOT 22795 SOS 4967 HAS SOPS 4967 HAS SOUS 4527 HAS SOUPS 4527 WITH SCORE 4531.967
AT ITER 3979 NEW BEST:: SOT 22769 SOS 4935 HAS SOPS 4935 HAS SOUS 4501 HAS SOUPS 4501 WITH SCORE 4505.935
AT ITER 4030 NEW BEST:: SOT 22754 SOS 4916 HAS SOPS 4916 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4496.916
AT ITER 4037 NEW BEST:: SOT 22754 SOS 4915 HAS SOPS 4915 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4495.915
AT ITER 4064 NEW BEST:: SOT 22755 SOS 4915 HAS SOPS 4915 HAS SOUS 4490 HAS SOUPS 4490 WITH SCORE 4494.915
AT ITER 4067 NEW BEST:: SOT 22753 SOS 4911 HAS SOPS 4911 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4490.911
AT ITER 4097 NEW BEST:: SOT 22741 SOS 4900 HAS SOPS 4900 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4478.9
AT ITER 4117 NEW BEST:: SOT 22740 SOS 4898 HAS SOPS 4898 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4476.898
AT ITER 4132 NEW BEST:: SOT 22731 SOS 4889 HAS SOPS 4889 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4476.889
AT ITER 4157 NEW BEST:: SOT 22731 SOS 4885 HAS SOPS 4885 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4474.885
AT ITER 4163 NEW BEST:: SOT 22731 SOS 4884 HAS SOPS 4884 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4473.884
AT ITER 4214 NEW BEST:: SOT 22731 SOS 4885 HAS SOPS 4885 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4467.885
AT ITER 4222 NEW BEST:: SOT 22731 SOS 4884 HAS SOPS 4884 HAS SOUS 4462 HAS SOUPS 4462 WITH SCORE 4466.884
AT ITER 4229 NEW BEST:: SOT 22730 SOS 4880 HAS SOPS 4880 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4462.88
AT ITER 4239 NEW BEST:: SOT 22730 SOS 4879 HAS SOPS 4879 HAS SOUS 4457 HAS SOUPS 4457 WITH SCORE 4461.879
AT ITER 4240 NEW BEST:: SOT 22728 SOS 4877 HAS SOPS 4877 HAS SOUS 4455 HAS SOUPS 4455 WITH SCORE 4459.877
AT ITER 4346 NEW BEST:: SOT 22728 SOS 4876 HAS SOPS 4876 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4458.876
AT ITER 4373 NEW BEST:: SOT 22718 SOS 4874 HAS SOPS 4874 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4438.874
AT ITER 4405 NEW BEST:: SOT 22726 SOS 4868 HAS SOPS 4868 HAS SOUS 4431 HAS SOUPS 4431 WITH SCORE 4435.868
AT ITER 4518 NEW BEST:: SOT 22725 SOS 4872 HAS SOPS 4872 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4434.872
AT ITER 4544 NEW BEST:: SOT 22718 SOS 4844 HAS SOPS 4844 HAS SOUS 4409 HAS SOUPS 4409 WITH SCORE 4413.844
AT ITER 4616 NEW BEST:: SOT 22717 SOS 4808 HAS SOPS 4808 HAS SOUS 4404 HAS SOUPS 4404 WITH SCORE 4408.808
AT ITER 4625 NEW BEST:: SOT 22713 SOS 4808 HAS SOPS 4808 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4405.808
AT ITER 4629 NEW BEST:: SOT 22713 SOS 4804 HAS SOPS 4804 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4401.804
AT ITER 4640 NEW BEST:: SOT 22713 SOS 4802 HAS SOPS 4802 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4401.802
AT ITER 4666 NEW BEST:: SOT 22712 SOS 4795 HAS SOPS 4795 HAS SOUS 4395 HAS SOUPS 4395 WITH SCORE 4399.795
AT ITER 4680 NEW BEST:: SOT 22709 SOS 4792 HAS SOPS 4792 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4396.792
AT ITER 4690 NEW BEST:: SOT 22708 SOS 4791 HAS SOPS 4791 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4396.791
AT ITER 4725 NEW BEST:: SOT 22689 SOS 4815 HAS SOPS 4815 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4377.815
AT ITER 4737 NEW BEST:: SOT 22689 SOS 4814 HAS SOPS 4814 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4376.814
AT ITER 4742 NEW BEST:: SOT 22702 SOS 4811 HAS SOPS 4811 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4373.811
AT ITER 4762 NEW BEST:: SOT 22691 SOS 4787 HAS SOPS 4787 HAS SOUS 4345 HAS SOUPS 4345 WITH SCORE 4349.787
AT ITER 4765 NEW BEST:: SOT 22677 SOS 4723 HAS SOPS 4723 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4310.723
AT ITER 4839 NEW BEST:: SOT 22677 SOS 4719 HAS SOPS 4719 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4310.719
AT ITER 4846 NEW BEST:: SOT 22688 SOS 4733 HAS SOPS 4733 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4308.733
AT ITER 4892 NEW BEST:: SOT 22679 SOS 4733 HAS SOPS 4733 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4290.733
AT ITER 4919 NEW BEST:: SOT 22679 SOS 4728 HAS SOPS 4728 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4279.728
AT ITER 4924 NEW BEST:: SOT 22679 SOS 4728 HAS SOPS 4728 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4274.728
AT ITER 4934 NEW BEST:: SOT 22679 SOS 4727 HAS SOPS 4727 HAS SOUS 4269 HAS SOUPS 4269 WITH SCORE 4273.727
AT ITER 4963 NEW BEST:: SOT 22679 SOS 4727 HAS SOPS 4727 HAS SOUS 4266 HAS SOUPS 4266 WITH SCORE 4270.727
AT ITER 5006 NEW BEST:: SOT 22677 SOS 4725 HAS SOPS 4725 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4268.725
AT ITER 5039 NEW BEST:: SOT 22677 SOS 4745 HAS SOPS 4745 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4267.745
AT ITER 5058 NEW BEST:: SOT 22676 SOS 4744 HAS SOPS 4744 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4267.744
AT ITER 5117 NEW BEST:: SOT 22673 SOS 4712 HAS SOPS 4712 HAS SOUS 4244 HAS SOUPS 4244 WITH SCORE 4248.712
AT ITER 5125 NEW BEST:: SOT 22670 SOS 4706 HAS SOPS 4706 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4242.706
AT ITER 5136 NEW BEST:: SOT 22667 SOS 4702 HAS SOPS 4702 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4238.702
AT ITER 5150 NEW BEST:: SOT 22673 SOS 4685 HAS SOPS 4685 HAS SOUS 4230 HAS SOUPS 4230 WITH SCORE 4234.685
AT ITER 5164 NEW BEST:: SOT 22675 SOS 4681 HAS SOPS 4681 HAS SOUS 4230 HAS SOUPS 4230 WITH SCORE 4234.681
AT ITER 5170 NEW BEST:: SOT 22675 SOS 4677 HAS SOPS 4677 HAS SOUS 4230 HAS SOUPS 4230 WITH SCORE 4234.677
AT ITER 5177 NEW BEST:: SOT 22675 SOS 4680 HAS SOPS 4680 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4232.68
AT ITER 5183 NEW BEST:: SOT 22659 SOS 4648 HAS SOPS 4648 HAS SOUS 4212 HAS SOUPS 4212 WITH SCORE 4216.648
AT ITER 5204 NEW BEST:: SOT 22658 SOS 4646 HAS SOPS 4646 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4214.646
AT ITER 5246 NEW BEST:: SOT 22658 SOS 4640 HAS SOPS 4640 HAS SOUS 4207 HAS SOUPS 4207 WITH SCORE 4211.64
AT ITER 5277 NEW BEST:: SOT 22642 SOS 4608 HAS SOPS 4608 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4203.608
AT ITER 5299 NEW BEST:: SOT 22650 SOS 4616 HAS SOPS 4616 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4202.616
AT ITER 5539 NEW BEST:: SOT 22649 SOS 4609 HAS SOPS 4609 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4195.609
AT ITER 5591 NEW BEST:: SOT 22669 SOS 4595 HAS SOPS 4595 HAS SOUS 4179 HAS SOUPS 4179 WITH SCORE 4183.595
AT ITER 5655 NEW BEST:: SOT 22657 SOS 4571 HAS SOPS 4571 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4159.571
AT ITER 5656 NEW BEST:: SOT 22653 SOS 4563 HAS SOPS 4563 HAS SOUS 4147 HAS SOUPS 4147 WITH SCORE 4151.563
AT ITER 5676 NEW BEST:: SOT 22650 SOS 4569 HAS SOPS 4569 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4150.569
AT ITER 5720 NEW BEST:: SOT 22650 SOS 4569 HAS SOPS 4569 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4138.569
AT ITER 5775 NEW BEST:: SOT 22650 SOS 4564 HAS SOPS 4564 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4133.564
AT ITER 5798 NEW BEST:: SOT 22654 SOS 4571 HAS SOPS 4571 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4132.571
AT ITER 5812 NEW BEST:: SOT 22654 SOS 4558 HAS SOPS 4558 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4132.558
AT ITER 5830 NEW BEST:: SOT 22654 SOS 4554 HAS SOPS 4554 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4128.554
AT ITER 5834 NEW BEST:: SOT 22650 SOS 4550 HAS SOPS 4550 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4126.55
AT ITER 5865 NEW BEST:: SOT 22652 SOS 4546 HAS SOPS 4546 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4126.546
AT ITER 5875 NEW BEST:: SOT 22647 SOS 4548 HAS SOPS 4548 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4124.548
AT ITER 5877 NEW BEST:: SOT 22647 SOS 4540 HAS SOPS 4540 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4116.54
AT ITER 5910 NEW BEST:: SOT 22637 SOS 4530 HAS SOPS 4530 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4106.53
AT ITER 5976 NEW BEST:: SOT 22637 SOS 4500 HAS SOPS 4500 HAS SOUS 4072 HAS SOUPS 4072 WITH SCORE 4076.5
AT ITER 6028 NEW BEST:: SOT 22637 SOS 4499 HAS SOPS 4499 HAS SOUS 4071 HAS SOUPS 4071 WITH SCORE 4075.499
AT ITER 6091 NEW BEST:: SOT 22634 SOS 4498 HAS SOPS 4498 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4074.498
AT ITER 6177 NEW BEST:: SOT 22640 SOS 4483 HAS SOPS 4483 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4074.483
AT ITER 6183 NEW BEST:: SOT 22640 SOS 4478 HAS SOPS 4478 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4069.478
AT ITER 6202 NEW BEST:: SOT 22630 SOS 4457 HAS SOPS 4457 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4048.457
AT ITER 6205 NEW BEST:: SOT 22630 SOS 4445 HAS SOPS 4445 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4046.445
AT ITER 6212 NEW BEST:: SOT 22624 SOS 4419 HAS SOPS 4419 HAS SOUS 4016 HAS SOUPS 4016 WITH SCORE 4020.419
AT ITER 6239 NEW BEST:: SOT 22613 SOS 4429 HAS SOPS 4429 HAS SOUS 4012 HAS SOUPS 4012 WITH SCORE 4016.429
AT ITER 6319 NEW BEST:: SOT 22601 SOS 4415 HAS SOPS 4415 HAS SOUS 4004 HAS SOUPS 4004 WITH SCORE 4008.415
AT ITER 6326 NEW BEST:: SOT 22593 SOS 4386 HAS SOPS 4386 HAS SOUS 4001 HAS SOUPS 4001 WITH SCORE 4005.386
AT ITER 6359 NEW BEST:: SOT 22590 SOS 4381 HAS SOPS 4381 HAS SOUS 3996 HAS SOUPS 3996 WITH SCORE 4000.381
AT ITER 6373 NEW BEST:: SOT 22590 SOS 4380 HAS SOPS 4380 HAS SOUS 3995 HAS SOUPS 3995 WITH SCORE 3999.38
AT ITER 6422 NEW BEST:: SOT 22592 SOS 4382 HAS SOPS 4382 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 3998.382
AT ITER 6517 NEW BEST:: SOT 22596 SOS 4380 HAS SOPS 4380 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 3996.38
AT ITER 6522 NEW BEST:: SOT 22583 SOS 4367 HAS SOPS 4367 HAS SOUS 3979 HAS SOUPS 3979 WITH SCORE 3983.367
AT ITER 6537 NEW BEST:: SOT 22581 SOS 4369 HAS SOPS 4369 HAS SOUS 3977 HAS SOUPS 3977 WITH SCORE 3981.369
AT ITER 6639 NEW BEST:: SOT 22581 SOS 4369 HAS SOPS 4369 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3970.369
AT ITER 6641 NEW BEST:: SOT 22571 SOS 4359 HAS SOPS 4359 HAS SOUS 3956 HAS SOUPS 3956 WITH SCORE 3960.359
AT ITER 6683 NEW BEST:: SOT 22571 SOS 4358 HAS SOPS 4358 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3959.358
AT ITER 6738 NEW BEST:: SOT 22568 SOS 4355 HAS SOPS 4355 HAS SOUS 3952 HAS SOUPS 3952 WITH SCORE 3956.355
AT ITER 6746 NEW BEST:: SOT 22568 SOS 4343 HAS SOPS 4343 HAS SOUS 3940 HAS SOUPS 3940 WITH SCORE 3944.343
AT ITER 6810 NEW BEST:: SOT 22564 SOS 4339 HAS SOPS 4339 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3940.339
AT ITER 6863 NEW BEST:: SOT 22564 SOS 4338 HAS SOPS 4338 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3939.338
AT ITER 6921 NEW BEST:: SOT 22562 SOS 4338 HAS SOPS 4338 HAS SOUS 3933 HAS SOUPS 3933 WITH SCORE 3937.338
AT ITER 6922 NEW BEST:: SOT 22562 SOS 4338 HAS SOPS 4338 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3931.338
AT ITER 6966 NEW BEST:: SOT 22562 SOS 4332 HAS SOPS 4332 HAS SOUS 3922 HAS SOUPS 3922 WITH SCORE 3926.332
AT ITER 7004 NEW BEST:: SOT 22562 SOS 4330 HAS SOPS 4330 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3924.33
AT ITER 7106 NEW BEST:: SOT 22562 SOS 4319 HAS SOPS 4319 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3923.319
AT ITER 7142 NEW BEST:: SOT 22569 SOS 4329 HAS SOPS 4329 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3918.329
AT ITER 7177 NEW BEST:: SOT 22572 SOS 4319 HAS SOPS 4319 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3908.319
AT ITER 7226 NEW BEST:: SOT 22571 SOS 4318 HAS SOPS 4318 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3907.318
AT ITER 7234 NEW BEST:: SOT 22564 SOS 4310 HAS SOPS 4310 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3899.31
AT ITER 7239 NEW BEST:: SOT 22563 SOS 4309 HAS SOPS 4309 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3898.309
AT ITER 7251 NEW BEST:: SOT 22557 SOS 4308 HAS SOPS 4308 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3892.308
AT ITER 7291 NEW BEST:: SOT 22558 SOS 4307 HAS SOPS 4307 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3886.307
AT ITER 7294 NEW BEST:: SOT 22555 SOS 4279 HAS SOPS 4279 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3880.279
AT ITER 7339 NEW BEST:: SOT 22555 SOS 4271 HAS SOPS 4271 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3870.271
AT ITER 7439 NEW BEST:: SOT 22556 SOS 4269 HAS SOPS 4269 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3865.269
AT ITER 7561 NEW BEST:: SOT 22546 SOS 4249 HAS SOPS 4249 HAS SOUS 3856 HAS SOUPS 3856 WITH SCORE 3860.249
AT ITER 7568 NEW BEST:: SOT 22545 SOS 4248 HAS SOPS 4248 HAS SOUS 3846 HAS SOUPS 3846 WITH SCORE 3850.248
AT ITER 7597 NEW BEST:: SOT 22545 SOS 4247 HAS SOPS 4247 HAS SOUS 3846 HAS SOUPS 3846 WITH SCORE 3850.247
AT ITER 7675 NEW BEST:: SOT 22551 SOS 4243 HAS SOPS 4243 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3849.243
AT ITER 7717 NEW BEST:: SOT 22551 SOS 4239 HAS SOPS 4239 HAS SOUS 3841 HAS SOUPS 3841 WITH SCORE 3845.239
AT ITER 7736 NEW BEST:: SOT 22570 SOS 4238 HAS SOPS 4238 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3844.238
AT ITER 7744 NEW BEST:: SOT 22569 SOS 4232 HAS SOPS 4232 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3838.232
AT ITER 7763 NEW BEST:: SOT 22569 SOS 4235 HAS SOPS 4235 HAS SOUS 3833 HAS SOUPS 3833 WITH SCORE 3837.235
AT ITER 7789 NEW BEST:: SOT 22564 SOS 4225 HAS SOPS 4225 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3827.225
AT ITER 7805 NEW BEST:: SOT 22570 SOS 4218 HAS SOPS 4218 HAS SOUS 3816 HAS SOUPS 3816 WITH SCORE 3820.218
AT ITER 7855 NEW BEST:: SOT 22570 SOS 4217 HAS SOPS 4217 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3819.217
AT ITER 7872 NEW BEST:: SOT 22567 SOS 4212 HAS SOPS 4212 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3816.212
AT ITER 7882 NEW BEST:: SOT 22567 SOS 4208 HAS SOPS 4208 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3816.208
AT ITER 7903 NEW BEST:: SOT 22566 SOS 4209 HAS SOPS 4209 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3815.209
AT ITER 8084 NEW BEST:: SOT 22564 SOS 4203 HAS SOPS 4203 HAS SOUS 3809 HAS SOUPS 3809 WITH SCORE 3813.203
AT ITER 8090 NEW BEST:: SOT 22568 SOS 4211 HAS SOPS 4211 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3812.211
AT ITER 8153 NEW BEST:: SOT 22568 SOS 4205 HAS SOPS 4205 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3808.205
AT ITER 8245 NEW BEST:: SOT 22564 SOS 4203 HAS SOPS 4203 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3807.203
AT ITER 8290 NEW BEST:: SOT 22560 SOS 4205 HAS SOPS 4205 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3804.205
AT ITER 8548 NEW BEST:: SOT 22560 SOS 4204 HAS SOPS 4204 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3803.204
AT ITER 8559 NEW BEST:: SOT 22556 SOS 4196 HAS SOPS 4196 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3800.196
AT ITER 8828 NEW BEST:: SOT 22533 SOS 4164 HAS SOPS 4164 HAS SOUS 3768 HAS SOUPS 3768 WITH SCORE 3772.164
AT ITER 8886 NEW BEST:: SOT 22535 SOS 4160 HAS SOPS 4160 HAS SOUS 3768 HAS SOUPS 3768 WITH SCORE 3772.16
AT ITER 8916 NEW BEST:: SOT 22535 SOS 4149 HAS SOPS 4149 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3761.149
AT ITER 8963 NEW BEST:: SOT 22528 SOS 4142 HAS SOPS 4142 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3754.142
AT ITER 9002 NEW BEST:: SOT 22534 SOS 4123 HAS SOPS 4123 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3745.123
AT ITER 9098 NEW BEST:: SOT 22534 SOS 4122 HAS SOPS 4122 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3744.122
AT ITER 9313 NEW BEST:: SOT 22535 SOS 4123 HAS SOPS 4123 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3743.123
AT ITER 9490 NEW BEST:: SOT 22534 SOS 4121 HAS SOPS 4121 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3743.121
AT ITER 9498 NEW BEST:: SOT 22530 SOS 4115 HAS SOPS 4115 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3737.115
AT ITER 9529 NEW BEST:: SOT 22528 SOS 4110 HAS SOPS 4110 HAS SOUS 3731 HAS SOUPS 3731 WITH SCORE 3735.11
AT ITER 9555 NEW BEST:: SOT 22524 SOS 4110 HAS SOPS 4110 HAS SOUS 3727 HAS SOUPS 3727 WITH SCORE 3731.11
AT ITER 9558 NEW BEST:: SOT 22523 SOS 4111 HAS SOPS 4111 HAS SOUS 3726 HAS SOUPS 3726 WITH SCORE 3730.111
AT ITER 9589 NEW BEST:: SOT 22522 SOS 4110 HAS SOPS 4110 HAS SOUS 3725 HAS SOUPS 3725 WITH SCORE 3729.11
AT ITER 9664 NEW BEST:: SOT 22519 SOS 4108 HAS SOPS 4108 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3726.108
AT ITER 9736 NEW BEST:: SOT 22519 SOS 4105 HAS SOPS 4105 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3723.105
AT ITER 9816 NEW BEST:: SOT 22521 SOS 4106 HAS SOPS 4106 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3722.106
AT ITER 9848 NEW BEST:: SOT 22518 SOS 4103 HAS SOPS 4103 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3719.103
AT ITER 9871 NEW BEST:: SOT 22510 SOS 4087 HAS SOPS 4087 HAS SOUS 3707 HAS SOUPS 3707 WITH SCORE 3711.087
AT ITER 9908 NEW BEST:: SOT 22509 SOS 4085 HAS SOPS 4085 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3710.085
AT ITER 9916 NEW BEST:: SOT 22504 SOS 4075 HAS SOPS 4075 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3710.075
AT ITER 9980 NEW BEST:: SOT 22500 SOS 4067 HAS SOPS 4067 HAS SOUS 3700 HAS SOUPS 3700 WITH SCORE 3704.067
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 9443152 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154296 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="ShieldIIPt-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 ShieldIIPt-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-167903711600224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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