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-167903711400096.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 ShieldIIPs-PT-010B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711400096
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 596K
-rw-r--r-- 1 mcc users 8.8K Feb 25 16:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 16:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 16:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 16:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:55 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 25 16:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 16:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 16:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:55 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 164K 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 1679060203070

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=ShieldIIPs-PT-010B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 010B
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: 603 places, 593 transitions, 1786 arcs.
AT ITER 0 NEW BEST:: SOT 190826 SOS 32357 HAS SOPS 32357 HAS SOUS 26899 HAS SOUPS 26899 WITH SCORE 26931.357
AT ITER 5 NEW BEST:: SOT 190797 SOS 32328 HAS SOPS 32328 HAS SOUS 26869 HAS SOUPS 26869 WITH SCORE 26901.328
AT ITER 47 NEW BEST:: SOT 190691 SOS 32236 HAS SOPS 32236 HAS SOUS 26777 HAS SOUPS 26777 WITH SCORE 26809.236
AT ITER 60 NEW BEST:: SOT 190691 SOS 32218 HAS SOPS 32218 HAS SOUS 26759 HAS SOUPS 26759 WITH SCORE 26791.218
AT ITER 90 NEW BEST:: SOT 190658 SOS 32164 HAS SOPS 32164 HAS SOUS 26725 HAS SOUPS 26725 WITH SCORE 26757.164
AT ITER 195 NEW BEST:: SOT 190656 SOS 32170 HAS SOPS 32170 HAS SOUS 26722 HAS SOUPS 26722 WITH SCORE 26754.17
AT ITER 305 NEW BEST:: SOT 190640 SOS 32128 HAS SOPS 32128 HAS SOUS 26685 HAS SOUPS 26685 WITH SCORE 26717.128
AT ITER 360 NEW BEST:: SOT 190640 SOS 32157 HAS SOPS 32157 HAS SOUS 26652 HAS SOUPS 26652 WITH SCORE 26684.157
AT ITER 405 NEW BEST:: SOT 190603 SOS 32177 HAS SOPS 32177 HAS SOUS 26651 HAS SOUPS 26651 WITH SCORE 26683.177
AT ITER 406 NEW BEST:: SOT 190603 SOS 32157 HAS SOPS 32157 HAS SOUS 26631 HAS SOUPS 26631 WITH SCORE 26663.157
AT ITER 419 NEW BEST:: SOT 190587 SOS 32147 HAS SOPS 32147 HAS SOUS 26621 HAS SOUPS 26621 WITH SCORE 26653.147
AT ITER 441 NEW BEST:: SOT 190587 SOS 32143 HAS SOPS 32143 HAS SOUS 26620 HAS SOUPS 26620 WITH SCORE 26652.143
AT ITER 514 NEW BEST:: SOT 190578 SOS 32116 HAS SOPS 32116 HAS SOUS 26593 HAS SOUPS 26593 WITH SCORE 26625.116
AT ITER 520 NEW BEST:: SOT 190578 SOS 32082 HAS SOPS 32082 HAS SOUS 26559 HAS SOUPS 26559 WITH SCORE 26591.082
AT ITER 551 NEW BEST:: SOT 190535 SOS 32073 HAS SOPS 32073 HAS SOUS 26543 HAS SOUPS 26543 WITH SCORE 26575.073
AT ITER 553 NEW BEST:: SOT 190516 SOS 32131 HAS SOPS 32131 HAS SOUS 26535 HAS SOUPS 26535 WITH SCORE 26567.131
AT ITER 605 NEW BEST:: SOT 190550 SOS 32099 HAS SOPS 32099 HAS SOUS 26535 HAS SOUPS 26535 WITH SCORE 26567.099
AT ITER 623 NEW BEST:: SOT 190550 SOS 32075 HAS SOPS 32075 HAS SOUS 26511 HAS SOUPS 26511 WITH SCORE 26543.075
AT ITER 654 NEW BEST:: SOT 190555 SOS 32086 HAS SOPS 32086 HAS SOUS 26510 HAS SOUPS 26510 WITH SCORE 26542.086
AT ITER 708 NEW BEST:: SOT 190488 SOS 31981 HAS SOPS 31981 HAS SOUS 26492 HAS SOUPS 26492 WITH SCORE 26523.981
AT ITER 749 NEW BEST:: SOT 190485 SOS 31978 HAS SOPS 31978 HAS SOUS 26489 HAS SOUPS 26489 WITH SCORE 26520.978
AT ITER 768 NEW BEST:: SOT 190474 SOS 31890 HAS SOPS 31890 HAS SOUS 26478 HAS SOUPS 26478 WITH SCORE 26509.89
AT ITER 836 NEW BEST:: SOT 190474 SOS 31851 HAS SOPS 31851 HAS SOUS 26439 HAS SOUPS 26439 WITH SCORE 26470.851
AT ITER 842 NEW BEST:: SOT 190471 SOS 31845 HAS SOPS 31845 HAS SOUS 26436 HAS SOUPS 26436 WITH SCORE 26467.845
AT ITER 856 NEW BEST:: SOT 190484 SOS 31871 HAS SOPS 31871 HAS SOUS 26336 HAS SOUPS 26336 WITH SCORE 26367.871
AT ITER 861 NEW BEST:: SOT 190371 SOS 31819 HAS SOPS 31819 HAS SOUS 26250 HAS SOUPS 26250 WITH SCORE 26281.819
AT ITER 886 NEW BEST:: SOT 190354 SOS 31800 HAS SOPS 31800 HAS SOUS 26233 HAS SOUPS 26233 WITH SCORE 26264.8
AT ITER 911 NEW BEST:: SOT 190232 SOS 31750 HAS SOPS 31750 HAS SOUS 26123 HAS SOUPS 26123 WITH SCORE 26154.75
AT ITER 1029 NEW BEST:: SOT 190216 SOS 31718 HAS SOPS 31718 HAS SOUS 26091 HAS SOUPS 26091 WITH SCORE 26122.718
AT ITER 1048 NEW BEST:: SOT 190194 SOS 31652 HAS SOPS 31652 HAS SOUS 26025 HAS SOUPS 26025 WITH SCORE 26056.652
AT ITER 1066 NEW BEST:: SOT 190194 SOS 31672 HAS SOPS 31672 HAS SOUS 26005 HAS SOUPS 26005 WITH SCORE 26036.672
AT ITER 1128 NEW BEST:: SOT 190194 SOS 31667 HAS SOPS 31667 HAS SOUS 26000 HAS SOUPS 26000 WITH SCORE 26031.667
AT ITER 1147 NEW BEST:: SOT 190196 SOS 31673 HAS SOPS 31673 HAS SOUS 25994 HAS SOUPS 25994 WITH SCORE 26025.673
AT ITER 1162 NEW BEST:: SOT 190163 SOS 31505 HAS SOPS 31505 HAS SOUS 25955 HAS SOUPS 25955 WITH SCORE 25986.505
AT ITER 1163 NEW BEST:: SOT 190187 SOS 31529 HAS SOPS 31529 HAS SOUS 25925 HAS SOUPS 25925 WITH SCORE 25956.529
AT ITER 1198 NEW BEST:: SOT 190224 SOS 31411 HAS SOPS 31411 HAS SOUS 25914 HAS SOUPS 25914 WITH SCORE 25945.411
AT ITER 1225 NEW BEST:: SOT 190162 SOS 31408 HAS SOPS 31408 HAS SOUS 25911 HAS SOUPS 25911 WITH SCORE 25942.408
AT ITER 1269 NEW BEST:: SOT 190135 SOS 31446 HAS SOPS 31446 HAS SOUS 25903 HAS SOUPS 25903 WITH SCORE 25934.446
AT ITER 1283 NEW BEST:: SOT 190135 SOS 31445 HAS SOPS 31445 HAS SOUS 25902 HAS SOUPS 25902 WITH SCORE 25933.445
AT ITER 1342 NEW BEST:: SOT 190118 SOS 31406 HAS SOPS 31406 HAS SOUS 25872 HAS SOUPS 25872 WITH SCORE 25903.406
AT ITER 1345 NEW BEST:: SOT 190091 SOS 31321 HAS SOPS 31321 HAS SOUS 25868 HAS SOUPS 25868 WITH SCORE 25899.321
AT ITER 1349 NEW BEST:: SOT 190083 SOS 31313 HAS SOPS 31313 HAS SOUS 25860 HAS SOUPS 25860 WITH SCORE 25891.313
AT ITER 1356 NEW BEST:: SOT 190046 SOS 31288 HAS SOPS 31288 HAS SOUS 25835 HAS SOUPS 25835 WITH SCORE 25866.288
AT ITER 1365 NEW BEST:: SOT 190060 SOS 31277 HAS SOPS 31277 HAS SOUS 25808 HAS SOUPS 25808 WITH SCORE 25839.277
AT ITER 1383 NEW BEST:: SOT 190060 SOS 31273 HAS SOPS 31273 HAS SOUS 25794 HAS SOUPS 25794 WITH SCORE 25825.273
AT ITER 1389 NEW BEST:: SOT 190057 SOS 31270 HAS SOPS 31270 HAS SOUS 25788 HAS SOUPS 25788 WITH SCORE 25819.27
AT ITER 1429 NEW BEST:: SOT 190030 SOS 31108 HAS SOPS 31108 HAS SOUS 25733 HAS SOUPS 25733 WITH SCORE 25764.108
AT ITER 1436 NEW BEST:: SOT 190004 SOS 31003 HAS SOPS 31003 HAS SOUS 25654 HAS SOUPS 25654 WITH SCORE 25685.003
AT ITER 1449 NEW BEST:: SOT 189914 SOS 30796 HAS SOPS 30796 HAS SOUS 25635 HAS SOUPS 25635 WITH SCORE 25665.796
AT ITER 1454 NEW BEST:: SOT 189871 SOS 30768 HAS SOPS 30768 HAS SOUS 25592 HAS SOUPS 25592 WITH SCORE 25622.768
AT ITER 1464 NEW BEST:: SOT 189870 SOS 30768 HAS SOPS 30768 HAS SOUS 25591 HAS SOUPS 25591 WITH SCORE 25621.768
AT ITER 1500 NEW BEST:: SOT 189835 SOS 30767 HAS SOPS 30767 HAS SOUS 25590 HAS SOUPS 25590 WITH SCORE 25620.767
AT ITER 1582 NEW BEST:: SOT 189826 SOS 30766 HAS SOPS 30766 HAS SOUS 25589 HAS SOUPS 25589 WITH SCORE 25619.766
AT ITER 1625 NEW BEST:: SOT 189827 SOS 30755 HAS SOPS 30755 HAS SOUS 25578 HAS SOUPS 25578 WITH SCORE 25608.755
AT ITER 1640 NEW BEST:: SOT 189741 SOS 30643 HAS SOPS 30643 HAS SOUS 25445 HAS SOUPS 25445 WITH SCORE 25475.643
AT ITER 1650 NEW BEST:: SOT 189770 SOS 30596 HAS SOPS 30596 HAS SOUS 25427 HAS SOUPS 25427 WITH SCORE 25457.596
AT ITER 1711 NEW BEST:: SOT 189757 SOS 30512 HAS SOPS 30512 HAS SOUS 25425 HAS SOUPS 25425 WITH SCORE 25455.512
AT ITER 1717 NEW BEST:: SOT 189757 SOS 30498 HAS SOPS 30498 HAS SOUS 25411 HAS SOUPS 25411 WITH SCORE 25441.498
AT ITER 1727 NEW BEST:: SOT 189741 SOS 30435 HAS SOPS 30435 HAS SOUS 25379 HAS SOUPS 25379 WITH SCORE 25409.435
AT ITER 1772 NEW BEST:: SOT 189706 SOS 30279 HAS SOPS 30279 HAS SOUS 25301 HAS SOUPS 25301 WITH SCORE 25331.279
AT ITER 1817 NEW BEST:: SOT 189745 SOS 30291 HAS SOPS 30291 HAS SOUS 25298 HAS SOUPS 25298 WITH SCORE 25328.291
AT ITER 1827 NEW BEST:: SOT 189700 SOS 30287 HAS SOPS 30287 HAS SOUS 25264 HAS SOUPS 25264 WITH SCORE 25294.287
AT ITER 1831 NEW BEST:: SOT 189649 SOS 30253 HAS SOPS 30253 HAS SOUS 25230 HAS SOUPS 25230 WITH SCORE 25260.253
AT ITER 1899 NEW BEST:: SOT 189643 SOS 30247 HAS SOPS 30247 HAS SOUS 25224 HAS SOUPS 25224 WITH SCORE 25254.247
AT ITER 1941 NEW BEST:: SOT 189640 SOS 30243 HAS SOPS 30243 HAS SOUS 25220 HAS SOUPS 25220 WITH SCORE 25250.243
AT ITER 1948 NEW BEST:: SOT 189632 SOS 30230 HAS SOPS 30230 HAS SOUS 25203 HAS SOUPS 25203 WITH SCORE 25233.23
AT ITER 1997 NEW BEST:: SOT 189622 SOS 30034 HAS SOPS 30034 HAS SOUS 25147 HAS SOUPS 25147 WITH SCORE 25177.034
AT ITER 2020 NEW BEST:: SOT 189579 SOS 30053 HAS SOPS 30053 HAS SOUS 25135 HAS SOUPS 25135 WITH SCORE 25165.053
AT ITER 2027 NEW BEST:: SOT 189588 SOS 30057 HAS SOPS 30057 HAS SOUS 25133 HAS SOUPS 25133 WITH SCORE 25163.057
AT ITER 2031 NEW BEST:: SOT 189588 SOS 30007 HAS SOPS 30007 HAS SOUS 25107 HAS SOUPS 25107 WITH SCORE 25137.007
AT ITER 2037 NEW BEST:: SOT 189604 SOS 30002 HAS SOPS 30002 HAS SOUS 25102 HAS SOUPS 25102 WITH SCORE 25132.002
AT ITER 2062 NEW BEST:: SOT 189614 SOS 29984 HAS SOPS 29984 HAS SOUS 25074 HAS SOUPS 25074 WITH SCORE 25103.984
AT ITER 2101 NEW BEST:: SOT 189609 SOS 29979 HAS SOPS 29979 HAS SOUS 25069 HAS SOUPS 25069 WITH SCORE 25098.979
AT ITER 2114 NEW BEST:: SOT 189590 SOS 29960 HAS SOPS 29960 HAS SOUS 25050 HAS SOUPS 25050 WITH SCORE 25079.96
AT ITER 2154 NEW BEST:: SOT 189583 SOS 29946 HAS SOPS 29946 HAS SOUS 25043 HAS SOUPS 25043 WITH SCORE 25072.946
AT ITER 2197 NEW BEST:: SOT 189583 SOS 29941 HAS SOPS 29941 HAS SOUS 25038 HAS SOUPS 25038 WITH SCORE 25067.941
AT ITER 2216 NEW BEST:: SOT 189537 SOS 29895 HAS SOPS 29895 HAS SOUS 24992 HAS SOUPS 24992 WITH SCORE 25021.895
AT ITER 2225 NEW BEST:: SOT 189538 SOS 29890 HAS SOPS 29890 HAS SOUS 24987 HAS SOUPS 24987 WITH SCORE 25016.89
AT ITER 2330 NEW BEST:: SOT 189545 SOS 29947 HAS SOPS 29947 HAS SOUS 24952 HAS SOUPS 24952 WITH SCORE 24981.947
AT ITER 2351 NEW BEST:: SOT 189499 SOS 29859 HAS SOPS 29859 HAS SOUS 24901 HAS SOUPS 24901 WITH SCORE 24930.859
AT ITER 2421 NEW BEST:: SOT 189467 SOS 29843 HAS SOPS 29843 HAS SOUS 24893 HAS SOUPS 24893 WITH SCORE 24922.843
AT ITER 2440 NEW BEST:: SOT 189465 SOS 29839 HAS SOPS 29839 HAS SOUS 24889 HAS SOUPS 24889 WITH SCORE 24918.839
AT ITER 2454 NEW BEST:: SOT 189465 SOS 29834 HAS SOPS 29834 HAS SOUS 24884 HAS SOUPS 24884 WITH SCORE 24913.834
AT ITER 2497 NEW BEST:: SOT 189465 SOS 29833 HAS SOPS 29833 HAS SOUS 24883 HAS SOUPS 24883 WITH SCORE 24912.833
AT ITER 2513 NEW BEST:: SOT 189468 SOS 29816 HAS SOPS 29816 HAS SOUS 24866 HAS SOUPS 24866 WITH SCORE 24895.816
AT ITER 2530 NEW BEST:: SOT 189441 SOS 29735 HAS SOPS 29735 HAS SOUS 24812 HAS SOUPS 24812 WITH SCORE 24841.735
AT ITER 2554 NEW BEST:: SOT 189441 SOS 29732 HAS SOPS 29732 HAS SOUS 24811 HAS SOUPS 24811 WITH SCORE 24840.732
AT ITER 2589 NEW BEST:: SOT 189425 SOS 29722 HAS SOPS 29722 HAS SOUS 24802 HAS SOUPS 24802 WITH SCORE 24831.722
AT ITER 2592 NEW BEST:: SOT 189385 SOS 29646 HAS SOPS 29646 HAS SOUS 24770 HAS SOUPS 24770 WITH SCORE 24799.646
AT ITER 2677 NEW BEST:: SOT 189403 SOS 29502 HAS SOPS 29502 HAS SOUS 24738 HAS SOUPS 24738 WITH SCORE 24767.502
AT ITER 2706 NEW BEST:: SOT 189347 SOS 29446 HAS SOPS 29446 HAS SOUS 24682 HAS SOUPS 24682 WITH SCORE 24711.446
AT ITER 2712 NEW BEST:: SOT 189359 SOS 29433 HAS SOPS 29433 HAS SOUS 24669 HAS SOUPS 24669 WITH SCORE 24698.433
AT ITER 2728 NEW BEST:: SOT 189357 SOS 29429 HAS SOPS 29429 HAS SOUS 24665 HAS SOUPS 24665 WITH SCORE 24694.429
AT ITER 2735 NEW BEST:: SOT 189357 SOS 29387 HAS SOPS 29387 HAS SOUS 24665 HAS SOUPS 24665 WITH SCORE 24694.387
AT ITER 2762 NEW BEST:: SOT 189347 SOS 29367 HAS SOPS 29367 HAS SOUS 24645 HAS SOUPS 24645 WITH SCORE 24674.367
AT ITER 2770 NEW BEST:: SOT 189323 SOS 29307 HAS SOPS 29307 HAS SOUS 24597 HAS SOUPS 24597 WITH SCORE 24626.307
AT ITER 2776 NEW BEST:: SOT 189323 SOS 29300 HAS SOPS 29300 HAS SOUS 24590 HAS SOUPS 24590 WITH SCORE 24619.3
AT ITER 2814 NEW BEST:: SOT 189262 SOS 29289 HAS SOPS 29289 HAS SOUS 24579 HAS SOUPS 24579 WITH SCORE 24608.289
AT ITER 2823 NEW BEST:: SOT 189262 SOS 29288 HAS SOPS 29288 HAS SOUS 24578 HAS SOUPS 24578 WITH SCORE 24607.288
AT ITER 2826 NEW BEST:: SOT 189257 SOS 29283 HAS SOPS 29283 HAS SOUS 24573 HAS SOUPS 24573 WITH SCORE 24602.283
AT ITER 2874 NEW BEST:: SOT 189264 SOS 29115 HAS SOPS 29115 HAS SOUS 24494 HAS SOUPS 24494 WITH SCORE 24523.115
AT ITER 2901 NEW BEST:: SOT 189270 SOS 29128 HAS SOPS 29128 HAS SOUS 24493 HAS SOUPS 24493 WITH SCORE 24522.128
AT ITER 2948 NEW BEST:: SOT 189234 SOS 29092 HAS SOPS 29092 HAS SOUS 24457 HAS SOUPS 24457 WITH SCORE 24486.092
AT ITER 2956 NEW BEST:: SOT 189228 SOS 29077 HAS SOPS 29077 HAS SOUS 24442 HAS SOUPS 24442 WITH SCORE 24471.077
AT ITER 3061 NEW BEST:: SOT 189212 SOS 29059 HAS SOPS 29059 HAS SOUS 24431 HAS SOUPS 24431 WITH SCORE 24460.059
AT ITER 3076 NEW BEST:: SOT 189212 SOS 29053 HAS SOPS 29053 HAS SOUS 24425 HAS SOUPS 24425 WITH SCORE 24454.053
AT ITER 3116 NEW BEST:: SOT 189198 SOS 29040 HAS SOPS 29040 HAS SOUS 24392 HAS SOUPS 24392 WITH SCORE 24421.04
AT ITER 3120 NEW BEST:: SOT 189198 SOS 29037 HAS SOPS 29037 HAS SOUS 24388 HAS SOUPS 24388 WITH SCORE 24417.037
AT ITER 3126 NEW BEST:: SOT 189198 SOS 29037 HAS SOPS 29037 HAS SOUS 24368 HAS SOUPS 24368 WITH SCORE 24397.037
AT ITER 3129 NEW BEST:: SOT 189197 SOS 29035 HAS SOPS 29035 HAS SOUS 24366 HAS SOUPS 24366 WITH SCORE 24395.035
AT ITER 3139 NEW BEST:: SOT 189189 SOS 29027 HAS SOPS 29027 HAS SOUS 24355 HAS SOUPS 24355 WITH SCORE 24384.027
AT ITER 3148 NEW BEST:: SOT 189139 SOS 28996 HAS SOPS 28996 HAS SOUS 24324 HAS SOUPS 24324 WITH SCORE 24352.996
AT ITER 3197 NEW BEST:: SOT 189139 SOS 28995 HAS SOPS 28995 HAS SOUS 24320 HAS SOUPS 24320 WITH SCORE 24348.995
AT ITER 3224 NEW BEST:: SOT 189114 SOS 28969 HAS SOPS 28969 HAS SOUS 24294 HAS SOUPS 24294 WITH SCORE 24322.969
AT ITER 3244 NEW BEST:: SOT 189078 SOS 28967 HAS SOPS 28967 HAS SOUS 24292 HAS SOUPS 24292 WITH SCORE 24320.967
AT ITER 3272 NEW BEST:: SOT 189052 SOS 28901 HAS SOPS 28901 HAS SOUS 24287 HAS SOUPS 24287 WITH SCORE 24315.901
AT ITER 3375 NEW BEST:: SOT 189054 SOS 28896 HAS SOPS 28896 HAS SOUS 24284 HAS SOUPS 24284 WITH SCORE 24312.896
AT ITER 3397 NEW BEST:: SOT 189047 SOS 28868 HAS SOPS 28868 HAS SOUS 24263 HAS SOUPS 24263 WITH SCORE 24291.868
AT ITER 3447 NEW BEST:: SOT 189046 SOS 28857 HAS SOPS 28857 HAS SOUS 24261 HAS SOUPS 24261 WITH SCORE 24289.857
AT ITER 3449 NEW BEST:: SOT 189032 SOS 28829 HAS SOPS 28829 HAS SOUS 24240 HAS SOUPS 24240 WITH SCORE 24268.829
AT ITER 3475 NEW BEST:: SOT 189016 SOS 28805 HAS SOPS 28805 HAS SOUS 24224 HAS SOUPS 24224 WITH SCORE 24252.805
AT ITER 3509 NEW BEST:: SOT 188989 SOS 28776 HAS SOPS 28776 HAS SOUS 24194 HAS SOUPS 24194 WITH SCORE 24222.776
AT ITER 3528 NEW BEST:: SOT 188979 SOS 28756 HAS SOPS 28756 HAS SOUS 24184 HAS SOUPS 24184 WITH SCORE 24212.756
AT ITER 3549 NEW BEST:: SOT 188978 SOS 28751 HAS SOPS 28751 HAS SOUS 24183 HAS SOUPS 24183 WITH SCORE 24211.751
AT ITER 3666 NEW BEST:: SOT 188996 SOS 28750 HAS SOPS 28750 HAS SOUS 24182 HAS SOUPS 24182 WITH SCORE 24210.75
AT ITER 3671 NEW BEST:: SOT 188993 SOS 28763 HAS SOPS 28763 HAS SOUS 24179 HAS SOUPS 24179 WITH SCORE 24207.763
AT ITER 3694 NEW BEST:: SOT 189023 SOS 28807 HAS SOPS 28807 HAS SOUS 24175 HAS SOUPS 24175 WITH SCORE 24203.807
AT ITER 3696 NEW BEST:: SOT 189022 SOS 28805 HAS SOPS 28805 HAS SOUS 24173 HAS SOUPS 24173 WITH SCORE 24201.805
AT ITER 3701 NEW BEST:: SOT 189000 SOS 28803 HAS SOPS 28803 HAS SOUS 24172 HAS SOUPS 24172 WITH SCORE 24200.803
AT ITER 3703 NEW BEST:: SOT 188990 SOS 28783 HAS SOPS 28783 HAS SOUS 24162 HAS SOUPS 24162 WITH SCORE 24190.783
AT ITER 3715 NEW BEST:: SOT 188988 SOS 28781 HAS SOPS 28781 HAS SOUS 24160 HAS SOUPS 24160 WITH SCORE 24188.781
AT ITER 3767 NEW BEST:: SOT 188988 SOS 28792 HAS SOPS 28792 HAS SOUS 24142 HAS SOUPS 24142 WITH SCORE 24170.792
AT ITER 3779 NEW BEST:: SOT 188976 SOS 28778 HAS SOPS 28778 HAS SOUS 24135 HAS SOUPS 24135 WITH SCORE 24163.778
AT ITER 3811 NEW BEST:: SOT 188963 SOS 28752 HAS SOPS 28752 HAS SOUS 24120 HAS SOUPS 24120 WITH SCORE 24148.752
AT ITER 3852 NEW BEST:: SOT 188948 SOS 28745 HAS SOPS 28745 HAS SOUS 24120 HAS SOUPS 24120 WITH SCORE 24148.745
AT ITER 3865 NEW BEST:: SOT 188904 SOS 28749 HAS SOPS 28749 HAS SOUS 24077 HAS SOUPS 24077 WITH SCORE 24105.749
AT ITER 3869 NEW BEST:: SOT 188857 SOS 28675 HAS SOPS 28675 HAS SOUS 24022 HAS SOUPS 24022 WITH SCORE 24050.675
AT ITER 3945 NEW BEST:: SOT 188855 SOS 28672 HAS SOPS 28672 HAS SOUS 24008 HAS SOUPS 24008 WITH SCORE 24036.672
AT ITER 3969 NEW BEST:: SOT 188818 SOS 28638 HAS SOPS 28638 HAS SOUS 23974 HAS SOUPS 23974 WITH SCORE 24002.638
AT ITER 3970 NEW BEST:: SOT 188802 SOS 28619 HAS SOPS 28619 HAS SOUS 23963 HAS SOUPS 23963 WITH SCORE 23991.619
AT ITER 3976 NEW BEST:: SOT 188767 SOS 28521 HAS SOPS 28521 HAS SOUS 23904 HAS SOUPS 23904 WITH SCORE 23932.521
AT ITER 4052 NEW BEST:: SOT 188764 SOS 28515 HAS SOPS 28515 HAS SOUS 23901 HAS SOUPS 23901 WITH SCORE 23929.515
AT ITER 4087 NEW BEST:: SOT 188766 SOS 28558 HAS SOPS 28558 HAS SOUS 23891 HAS SOUPS 23891 WITH SCORE 23919.558
AT ITER 4114 NEW BEST:: SOT 188733 SOS 28536 HAS SOPS 28536 HAS SOUS 23869 HAS SOUPS 23869 WITH SCORE 23897.536
AT ITER 4214 NEW BEST:: SOT 188733 SOS 28518 HAS SOPS 28518 HAS SOUS 23869 HAS SOUPS 23869 WITH SCORE 23897.518
AT ITER 4219 NEW BEST:: SOT 188733 SOS 28517 HAS SOPS 28517 HAS SOUS 23867 HAS SOUPS 23867 WITH SCORE 23895.517
AT ITER 4248 NEW BEST:: SOT 188733 SOS 28514 HAS SOPS 28514 HAS SOUS 23860 HAS SOUPS 23860 WITH SCORE 23888.514
AT ITER 4260 NEW BEST:: SOT 188733 SOS 28510 HAS SOPS 28510 HAS SOUS 23856 HAS SOUPS 23856 WITH SCORE 23884.51
AT ITER 4269 NEW BEST:: SOT 188728 SOS 28496 HAS SOPS 28496 HAS SOUS 23844 HAS SOUPS 23844 WITH SCORE 23872.496
AT ITER 4289 NEW BEST:: SOT 188724 SOS 28499 HAS SOPS 28499 HAS SOUS 23841 HAS SOUPS 23841 WITH SCORE 23869.499
AT ITER 4299 NEW BEST:: SOT 188724 SOS 28504 HAS SOPS 28504 HAS SOUS 23836 HAS SOUPS 23836 WITH SCORE 23864.504
AT ITER 4326 NEW BEST:: SOT 188714 SOS 28494 HAS SOPS 28494 HAS SOUS 23826 HAS SOUPS 23826 WITH SCORE 23854.494
AT ITER 4351 NEW BEST:: SOT 188713 SOS 28493 HAS SOPS 28493 HAS SOUS 23825 HAS SOUPS 23825 WITH SCORE 23853.493
AT ITER 4395 NEW BEST:: SOT 188713 SOS 28481 HAS SOPS 28481 HAS SOUS 23813 HAS SOUPS 23813 WITH SCORE 23841.481
AT ITER 4400 NEW BEST:: SOT 188707 SOS 28463 HAS SOPS 28463 HAS SOUS 23795 HAS SOUPS 23795 WITH SCORE 23823.463
AT ITER 4415 NEW BEST:: SOT 188703 SOS 28462 HAS SOPS 28462 HAS SOUS 23794 HAS SOUPS 23794 WITH SCORE 23822.462
AT ITER 4449 NEW BEST:: SOT 188721 SOS 28478 HAS SOPS 28478 HAS SOUS 23792 HAS SOUPS 23792 WITH SCORE 23820.478
AT ITER 4519 NEW BEST:: SOT 188718 SOS 28474 HAS SOPS 28474 HAS SOUS 23788 HAS SOUPS 23788 WITH SCORE 23816.474
AT ITER 4535 NEW BEST:: SOT 188711 SOS 28453 HAS SOPS 28453 HAS SOUS 23774 HAS SOUPS 23774 WITH SCORE 23802.453
AT ITER 4581 NEW BEST:: SOT 188675 SOS 28429 HAS SOPS 28429 HAS SOUS 23714 HAS SOUPS 23714 WITH SCORE 23742.429
AT ITER 4598 NEW BEST:: SOT 188643 SOS 28407 HAS SOPS 28407 HAS SOUS 23692 HAS SOUPS 23692 WITH SCORE 23720.407
AT ITER 4604 NEW BEST:: SOT 188629 SOS 28403 HAS SOPS 28403 HAS SOUS 23691 HAS SOUPS 23691 WITH SCORE 23719.403
AT ITER 4655 NEW BEST:: SOT 188627 SOS 28393 HAS SOPS 28393 HAS SOUS 23687 HAS SOUPS 23687 WITH SCORE 23715.393
AT ITER 4681 NEW BEST:: SOT 188619 SOS 28357 HAS SOPS 28357 HAS SOUS 23681 HAS SOUPS 23681 WITH SCORE 23709.357
AT ITER 4919 NEW BEST:: SOT 188580 SOS 28198 HAS SOPS 28198 HAS SOUS 23639 HAS SOUPS 23639 WITH SCORE 23667.198
AT ITER 4963 NEW BEST:: SOT 188572 SOS 28190 HAS SOPS 28190 HAS SOUS 23631 HAS SOUPS 23631 WITH SCORE 23659.19
AT ITER 4977 NEW BEST:: SOT 188574 SOS 28182 HAS SOPS 28182 HAS SOUS 23621 HAS SOUPS 23621 WITH SCORE 23649.182
AT ITER 5005 NEW BEST:: SOT 188557 SOS 28161 HAS SOPS 28161 HAS SOUS 23602 HAS SOUPS 23602 WITH SCORE 23630.161
AT ITER 5006 NEW BEST:: SOT 188591 SOS 28190 HAS SOPS 28190 HAS SOUS 23597 HAS SOUPS 23597 WITH SCORE 23625.19
AT ITER 5015 NEW BEST:: SOT 188597 SOS 28164 HAS SOPS 28164 HAS SOUS 23595 HAS SOUPS 23595 WITH SCORE 23623.164
AT ITER 5028 NEW BEST:: SOT 188583 SOS 28133 HAS SOPS 28133 HAS SOUS 23578 HAS SOUPS 23578 WITH SCORE 23606.133
AT ITER 5038 NEW BEST:: SOT 188582 SOS 28131 HAS SOPS 28131 HAS SOUS 23576 HAS SOUPS 23576 WITH SCORE 23604.131
AT ITER 5082 NEW BEST:: SOT 188582 SOS 28123 HAS SOPS 28123 HAS SOUS 23576 HAS SOUPS 23576 WITH SCORE 23604.123
AT ITER 5120 NEW BEST:: SOT 188581 SOS 28067 HAS SOPS 28067 HAS SOUS 23522 HAS SOUPS 23522 WITH SCORE 23550.067
AT ITER 5133 NEW BEST:: SOT 188574 SOS 28053 HAS SOPS 28053 HAS SOUS 23508 HAS SOUPS 23508 WITH SCORE 23536.053
AT ITER 5153 NEW BEST:: SOT 188599 SOS 28204 HAS SOPS 28204 HAS SOUS 23502 HAS SOUPS 23502 WITH SCORE 23530.204
AT ITER 5166 NEW BEST:: SOT 188582 SOS 28187 HAS SOPS 28187 HAS SOUS 23485 HAS SOUPS 23485 WITH SCORE 23513.187
AT ITER 5268 NEW BEST:: SOT 188579 SOS 28131 HAS SOPS 28131 HAS SOUS 23432 HAS SOUPS 23432 WITH SCORE 23460.131
AT ITER 5294 NEW BEST:: SOT 188525 SOS 28090 HAS SOPS 28090 HAS SOUS 23378 HAS SOUPS 23378 WITH SCORE 23406.09
AT ITER 5338 NEW BEST:: SOT 188521 SOS 28090 HAS SOPS 28090 HAS SOUS 23370 HAS SOUPS 23370 WITH SCORE 23398.09
AT ITER 5355 NEW BEST:: SOT 188520 SOS 28088 HAS SOPS 28088 HAS SOUS 23369 HAS SOUPS 23369 WITH SCORE 23397.088
AT ITER 5364 NEW BEST:: SOT 188520 SOS 28075 HAS SOPS 28075 HAS SOUS 23369 HAS SOUPS 23369 WITH SCORE 23397.075
AT ITER 5432 NEW BEST:: SOT 188505 SOS 28070 HAS SOPS 28070 HAS SOUS 23364 HAS SOUPS 23364 WITH SCORE 23392.07
AT ITER 5441 NEW BEST:: SOT 188490 SOS 28078 HAS SOPS 28078 HAS SOUS 23315 HAS SOUPS 23315 WITH SCORE 23343.078
AT ITER 5491 NEW BEST:: SOT 188486 SOS 28067 HAS SOPS 28067 HAS SOUS 23309 HAS SOUPS 23309 WITH SCORE 23337.067
AT ITER 5519 NEW BEST:: SOT 188486 SOS 28111 HAS SOPS 28111 HAS SOUS 23298 HAS SOUPS 23298 WITH SCORE 23326.111
AT ITER 5520 NEW BEST:: SOT 188484 SOS 28109 HAS SOPS 28109 HAS SOUS 23296 HAS SOUPS 23296 WITH SCORE 23324.109
AT ITER 5599 NEW BEST:: SOT 188472 SOS 28046 HAS SOPS 28046 HAS SOUS 23271 HAS SOUPS 23271 WITH SCORE 23299.046
AT ITER 5601 NEW BEST:: SOT 188472 SOS 28044 HAS SOPS 28044 HAS SOUS 23270 HAS SOUPS 23270 WITH SCORE 23298.044
AT ITER 5629 NEW BEST:: SOT 188481 SOS 28059 HAS SOPS 28059 HAS SOUS 23264 HAS SOUPS 23264 WITH SCORE 23292.059
AT ITER 5723 NEW BEST:: SOT 188393 SOS 28049 HAS SOPS 28049 HAS SOUS 23223 HAS SOUPS 23223 WITH SCORE 23251.049
AT ITER 5784 NEW BEST:: SOT 188393 SOS 28041 HAS SOPS 28041 HAS SOUS 23223 HAS SOUPS 23223 WITH SCORE 23251.041
AT ITER 5856 NEW BEST:: SOT 188392 SOS 28024 HAS SOPS 28024 HAS SOUS 23214 HAS SOUPS 23214 WITH SCORE 23242.024
AT ITER 5904 NEW BEST:: SOT 188337 SOS 27997 HAS SOPS 27997 HAS SOUS 23182 HAS SOUPS 23182 WITH SCORE 23209.997
AT ITER 5918 NEW BEST:: SOT 188310 SOS 27889 HAS SOPS 27889 HAS SOUS 23155 HAS SOUPS 23155 WITH SCORE 23182.889
AT ITER 5993 NEW BEST:: SOT 188312 SOS 27885 HAS SOPS 27885 HAS SOUS 23151 HAS SOUPS 23151 WITH SCORE 23178.885
AT ITER 6004 NEW BEST:: SOT 188317 SOS 27852 HAS SOPS 27852 HAS SOUS 23151 HAS SOUPS 23151 WITH SCORE 23178.852
AT ITER 6020 NEW BEST:: SOT 188310 SOS 27827 HAS SOPS 27827 HAS SOUS 23101 HAS SOUPS 23101 WITH SCORE 23128.827
AT ITER 6023 NEW BEST:: SOT 188257 SOS 27818 HAS SOPS 27818 HAS SOUS 23092 HAS SOUPS 23092 WITH SCORE 23119.818
AT ITER 6076 NEW BEST:: SOT 188243 SOS 27786 HAS SOPS 27786 HAS SOUS 23091 HAS SOUPS 23091 WITH SCORE 23118.786
AT ITER 6082 NEW BEST:: SOT 188236 SOS 27831 HAS SOPS 27831 HAS SOUS 23084 HAS SOUPS 23084 WITH SCORE 23111.831
AT ITER 6117 NEW BEST:: SOT 188236 SOS 27806 HAS SOPS 27806 HAS SOUS 23059 HAS SOUPS 23059 WITH SCORE 23086.806
AT ITER 6152 NEW BEST:: SOT 188235 SOS 27803 HAS SOPS 27803 HAS SOUS 23058 HAS SOUPS 23058 WITH SCORE 23085.803
AT ITER 6193 NEW BEST:: SOT 188228 SOS 27781 HAS SOPS 27781 HAS SOUS 23043 HAS SOUPS 23043 WITH SCORE 23070.781
AT ITER 6203 NEW BEST:: SOT 188217 SOS 27765 HAS SOPS 27765 HAS SOUS 23027 HAS SOUPS 23027 WITH SCORE 23054.765
AT ITER 6239 NEW BEST:: SOT 188231 SOS 27736 HAS SOPS 27736 HAS SOUS 23018 HAS SOUPS 23018 WITH SCORE 23045.736
AT ITER 6265 NEW BEST:: SOT 188240 SOS 27528 HAS SOPS 27528 HAS SOUS 23002 HAS SOUPS 23002 WITH SCORE 23029.528
AT ITER 6276 NEW BEST:: SOT 188230 SOS 27523 HAS SOPS 27523 HAS SOUS 22997 HAS SOUPS 22997 WITH SCORE 23024.523
AT ITER 6334 NEW BEST:: SOT 188219 SOS 27501 HAS SOPS 27501 HAS SOUS 22997 HAS SOUPS 22997 WITH SCORE 23024.501
AT ITER 6349 NEW BEST:: SOT 188204 SOS 27478 HAS SOPS 27478 HAS SOUS 22978 HAS SOUPS 22978 WITH SCORE 23005.478
AT ITER 6353 NEW BEST:: SOT 188202 SOS 27472 HAS SOPS 27472 HAS SOUS 22974 HAS SOUPS 22974 WITH SCORE 23001.472
AT ITER 6363 NEW BEST:: SOT 188175 SOS 27510 HAS SOPS 27510 HAS SOUS 22973 HAS SOUPS 22973 WITH SCORE 23000.51
AT ITER 6417 NEW BEST:: SOT 188175 SOS 27504 HAS SOPS 27504 HAS SOUS 22967 HAS SOUPS 22967 WITH SCORE 22994.504
AT ITER 6435 NEW BEST:: SOT 188123 SOS 27338 HAS SOPS 27338 HAS SOUS 22884 HAS SOUPS 22884 WITH SCORE 22911.338
AT ITER 6448 NEW BEST:: SOT 188127 SOS 27282 HAS SOPS 27282 HAS SOUS 22879 HAS SOUPS 22879 WITH SCORE 22906.282
AT ITER 6449 NEW BEST:: SOT 188076 SOS 27218 HAS SOPS 27218 HAS SOUS 22813 HAS SOUPS 22813 WITH SCORE 22840.218
AT ITER 6492 NEW BEST:: SOT 188069 SOS 27204 HAS SOPS 27204 HAS SOUS 22806 HAS SOUPS 22806 WITH SCORE 22833.204
AT ITER 6509 NEW BEST:: SOT 188055 SOS 27194 HAS SOPS 27194 HAS SOUS 22796 HAS SOUPS 22796 WITH SCORE 22823.194
AT ITER 6544 NEW BEST:: SOT 188032 SOS 27116 HAS SOPS 27116 HAS SOUS 22780 HAS SOUPS 22780 WITH SCORE 22807.116
AT ITER 6560 NEW BEST:: SOT 188030 SOS 27114 HAS SOPS 27114 HAS SOUS 22776 HAS SOUPS 22776 WITH SCORE 22803.114
AT ITER 6585 NEW BEST:: SOT 188026 SOS 27184 HAS SOPS 27184 HAS SOUS 22772 HAS SOUPS 22772 WITH SCORE 22799.184
AT ITER 6592 NEW BEST:: SOT 188026 SOS 27181 HAS SOPS 27181 HAS SOUS 22769 HAS SOUPS 22769 WITH SCORE 22796.181
AT ITER 6634 NEW BEST:: SOT 188026 SOS 27174 HAS SOPS 27174 HAS SOUS 22762 HAS SOUPS 22762 WITH SCORE 22789.174
AT ITER 6637 NEW BEST:: SOT 188012 SOS 27139 HAS SOPS 27139 HAS SOUS 22727 HAS SOUPS 22727 WITH SCORE 22754.139
AT ITER 6670 NEW BEST:: SOT 188004 SOS 27123 HAS SOPS 27123 HAS SOUS 22711 HAS SOUPS 22711 WITH SCORE 22738.123
AT ITER 6702 NEW BEST:: SOT 187973 SOS 27062 HAS SOPS 27062 HAS SOUS 22675 HAS SOUPS 22675 WITH SCORE 22702.062
AT ITER 6724 NEW BEST:: SOT 187973 SOS 27057 HAS SOPS 27057 HAS SOUS 22670 HAS SOUPS 22670 WITH SCORE 22697.057
AT ITER 6795 NEW BEST:: SOT 187973 SOS 27037 HAS SOPS 27037 HAS SOUS 22650 HAS SOUPS 22650 WITH SCORE 22677.037
AT ITER 6925 NEW BEST:: SOT 187971 SOS 27049 HAS SOPS 27049 HAS SOUS 22648 HAS SOUPS 22648 WITH SCORE 22675.049
AT ITER 6953 NEW BEST:: SOT 187971 SOS 27033 HAS SOPS 27033 HAS SOUS 22648 HAS SOUPS 22648 WITH SCORE 22675.033
AT ITER 7043 NEW BEST:: SOT 187969 SOS 27033 HAS SOPS 27033 HAS SOUS 22646 HAS SOUPS 22646 WITH SCORE 22673.033
AT ITER 7127 NEW BEST:: SOT 187958 SOS 27000 HAS SOPS 27000 HAS SOUS 22624 HAS SOUPS 22624 WITH SCORE 22651.0
AT ITER 7144 NEW BEST:: SOT 187958 SOS 26988 HAS SOPS 26988 HAS SOUS 22624 HAS SOUPS 22624 WITH SCORE 22650.988
AT ITER 7152 NEW BEST:: SOT 187988 SOS 26982 HAS SOPS 26982 HAS SOUS 22585 HAS SOUPS 22585 WITH SCORE 22611.982
AT ITER 7160 NEW BEST:: SOT 188001 SOS 26986 HAS SOPS 26986 HAS SOUS 22576 HAS SOUPS 22576 WITH SCORE 22602.986
AT ITER 7291 NEW BEST:: SOT 188001 SOS 26986 HAS SOPS 26986 HAS SOUS 22571 HAS SOUPS 22571 WITH SCORE 22597.986
AT ITER 7301 NEW BEST:: SOT 187987 SOS 26958 HAS SOPS 26958 HAS SOUS 22543 HAS SOUPS 22543 WITH SCORE 22569.958
AT ITER 7358 NEW BEST:: SOT 187991 SOS 26950 HAS SOPS 26950 HAS SOUS 22543 HAS SOUPS 22543 WITH SCORE 22569.95
AT ITER 7371 NEW BEST:: SOT 187985 SOS 26971 HAS SOPS 26971 HAS SOUS 22531 HAS SOUPS 22531 WITH SCORE 22557.971
AT ITER 7377 NEW BEST:: SOT 187978 SOS 26963 HAS SOPS 26963 HAS SOUS 22523 HAS SOUPS 22523 WITH SCORE 22549.963
AT ITER 7396 NEW BEST:: SOT 187974 SOS 26959 HAS SOPS 26959 HAS SOUS 22519 HAS SOUPS 22519 WITH SCORE 22545.959
AT ITER 7434 NEW BEST:: SOT 187974 SOS 26945 HAS SOPS 26945 HAS SOUS 22516 HAS SOUPS 22516 WITH SCORE 22542.945
AT ITER 7445 NEW BEST:: SOT 187957 SOS 26907 HAS SOPS 26907 HAS SOUS 22495 HAS SOUPS 22495 WITH SCORE 22521.907
AT ITER 7461 NEW BEST:: SOT 187956 SOS 26904 HAS SOPS 26904 HAS SOUS 22492 HAS SOUPS 22492 WITH SCORE 22518.904
AT ITER 7480 NEW BEST:: SOT 187954 SOS 26900 HAS SOPS 26900 HAS SOUS 22488 HAS SOUPS 22488 WITH SCORE 22514.9
AT ITER 7493 NEW BEST:: SOT 187953 SOS 26885 HAS SOPS 26885 HAS SOUS 22473 HAS SOUPS 22473 WITH SCORE 22499.885
AT ITER 7501 NEW BEST:: SOT 187897 SOS 26814 HAS SOPS 26814 HAS SOUS 22402 HAS SOUPS 22402 WITH SCORE 22428.814
AT ITER 7555 NEW BEST:: SOT 187901 SOS 26804 HAS SOPS 26804 HAS SOUS 22397 HAS SOUPS 22397 WITH SCORE 22423.804
AT ITER 7661 NEW BEST:: SOT 187898 SOS 26798 HAS SOPS 26798 HAS SOUS 22391 HAS SOUPS 22391 WITH SCORE 22417.798
AT ITER 7707 NEW BEST:: SOT 187897 SOS 26792 HAS SOPS 26792 HAS SOUS 22388 HAS SOUPS 22388 WITH SCORE 22414.792
AT ITER 7768 NEW BEST:: SOT 187876 SOS 26785 HAS SOPS 26785 HAS SOUS 22369 HAS SOUPS 22369 WITH SCORE 22395.785
AT ITER 7800 NEW BEST:: SOT 187840 SOS 26767 HAS SOPS 26767 HAS SOUS 22333 HAS SOUPS 22333 WITH SCORE 22359.767
AT ITER 7909 NEW BEST:: SOT 187771 SOS 26750 HAS SOPS 26750 HAS SOUS 22311 HAS SOUPS 22311 WITH SCORE 22337.75
AT ITER 7952 NEW BEST:: SOT 187758 SOS 26724 HAS SOPS 26724 HAS SOUS 22287 HAS SOUPS 22287 WITH SCORE 22313.724
AT ITER 7956 NEW BEST:: SOT 187751 SOS 26703 HAS SOPS 26703 HAS SOUS 22273 HAS SOUPS 22273 WITH SCORE 22299.703
AT ITER 7957 NEW BEST:: SOT 187743 SOS 26697 HAS SOPS 26697 HAS SOUS 22267 HAS SOUPS 22267 WITH SCORE 22293.697
AT ITER 7991 NEW BEST:: SOT 187713 SOS 26667 HAS SOPS 26667 HAS SOUS 22237 HAS SOUPS 22237 WITH SCORE 22263.667
AT ITER 8069 NEW BEST:: SOT 187723 SOS 26710 HAS SOPS 26710 HAS SOUS 22217 HAS SOUPS 22217 WITH SCORE 22243.71
AT ITER 8110 NEW BEST:: SOT 187721 SOS 26718 HAS SOPS 26718 HAS SOUS 22209 HAS SOUPS 22209 WITH SCORE 22235.718
AT ITER 8113 NEW BEST:: SOT 187721 SOS 26694 HAS SOPS 26694 HAS SOUS 22185 HAS SOUPS 22185 WITH SCORE 22211.694
AT ITER 8198 NEW BEST:: SOT 187648 SOS 26655 HAS SOPS 26655 HAS SOUS 22123 HAS SOUPS 22123 WITH SCORE 22149.655
AT ITER 8206 NEW BEST:: SOT 187648 SOS 26654 HAS SOPS 26654 HAS SOUS 22122 HAS SOUPS 22122 WITH SCORE 22148.654
AT ITER 8210 NEW BEST:: SOT 187633 SOS 26624 HAS SOPS 26624 HAS SOUS 22092 HAS SOUPS 22092 WITH SCORE 22118.624
AT ITER 8236 NEW BEST:: SOT 187629 SOS 26620 HAS SOPS 26620 HAS SOUS 22088 HAS SOUPS 22088 WITH SCORE 22114.62
AT ITER 8254 NEW BEST:: SOT 187604 SOS 26595 HAS SOPS 26595 HAS SOUS 22063 HAS SOUPS 22063 WITH SCORE 22089.595
AT ITER 8369 NEW BEST:: SOT 187604 SOS 26589 HAS SOPS 26589 HAS SOUS 22020 HAS SOUPS 22020 WITH SCORE 22046.589
AT ITER 8390 NEW BEST:: SOT 187603 SOS 26552 HAS SOPS 26552 HAS SOUS 22018 HAS SOUPS 22018 WITH SCORE 22044.552
AT ITER 8400 NEW BEST:: SOT 187579 SOS 26370 HAS SOPS 26370 HAS SOUS 21962 HAS SOUPS 21962 WITH SCORE 21988.37
AT ITER 8470 NEW BEST:: SOT 187578 SOS 26365 HAS SOPS 26365 HAS SOUS 21957 HAS SOUPS 21957 WITH SCORE 21983.365
AT ITER 8473 NEW BEST:: SOT 187552 SOS 26311 HAS SOPS 26311 HAS SOUS 21888 HAS SOUPS 21888 WITH SCORE 21914.311
AT ITER 8474 NEW BEST:: SOT 187545 SOS 26307 HAS SOPS 26307 HAS SOUS 21881 HAS SOUPS 21881 WITH SCORE 21907.307
AT ITER 8575 NEW BEST:: SOT 187545 SOS 26306 HAS SOPS 26306 HAS SOUS 21881 HAS SOUPS 21881 WITH SCORE 21907.306
AT ITER 8578 NEW BEST:: SOT 187509 SOS 26294 HAS SOPS 26294 HAS SOUS 21865 HAS SOUPS 21865 WITH SCORE 21891.294
AT ITER 8583 NEW BEST:: SOT 187509 SOS 26262 HAS SOPS 26262 HAS SOUS 21833 HAS SOUPS 21833 WITH SCORE 21859.262
AT ITER 8599 NEW BEST:: SOT 187504 SOS 26364 HAS SOPS 26364 HAS SOUS 21828 HAS SOUPS 21828 WITH SCORE 21854.364
AT ITER 8626 NEW BEST:: SOT 187485 SOS 26311 HAS SOPS 26311 HAS SOUS 21787 HAS SOUPS 21787 WITH SCORE 21813.311
AT ITER 8695 NEW BEST:: SOT 187485 SOS 26291 HAS SOPS 26291 HAS SOUS 21775 HAS SOUPS 21775 WITH SCORE 21801.291
AT ITER 8765 NEW BEST:: SOT 187485 SOS 26291 HAS SOPS 26291 HAS SOUS 21764 HAS SOUPS 21764 WITH SCORE 21790.291
AT ITER 8806 NEW BEST:: SOT 187485 SOS 26249 HAS SOPS 26249 HAS SOUS 21722 HAS SOUPS 21722 WITH SCORE 21748.249
AT ITER 8850 NEW BEST:: SOT 187475 SOS 26199 HAS SOPS 26199 HAS SOUS 21702 HAS SOUPS 21702 WITH SCORE 21728.199
AT ITER 8857 NEW BEST:: SOT 187459 SOS 26191 HAS SOPS 26191 HAS SOUS 21684 HAS SOUPS 21684 WITH SCORE 21710.191
AT ITER 8859 NEW BEST:: SOT 187454 SOS 26171 HAS SOPS 26171 HAS SOUS 21674 HAS SOUPS 21674 WITH SCORE 21700.171
AT ITER 8881 NEW BEST:: SOT 187451 SOS 26160 HAS SOPS 26160 HAS SOUS 21669 HAS SOUPS 21669 WITH SCORE 21695.16
AT ITER 8925 NEW BEST:: SOT 187451 SOS 26156 HAS SOPS 26156 HAS SOUS 21665 HAS SOUPS 21665 WITH SCORE 21691.156
AT ITER 8999 NEW BEST:: SOT 187461 SOS 26149 HAS SOPS 26149 HAS SOUS 21601 HAS SOUPS 21601 WITH SCORE 21627.149
AT ITER 9019 NEW BEST:: SOT 187419 SOS 25985 HAS SOPS 25985 HAS SOUS 21557 HAS SOUPS 21557 WITH SCORE 21582.985
AT ITER 9048 NEW BEST:: SOT 187415 SOS 25977 HAS SOPS 25977 HAS SOUS 21549 HAS SOUPS 21549 WITH SCORE 21574.977
AT ITER 9090 NEW BEST:: SOT 187418 SOS 25906 HAS SOPS 25906 HAS SOUS 21538 HAS SOUPS 21538 WITH SCORE 21563.906
AT ITER 9095 NEW BEST:: SOT 187390 SOS 25838 HAS SOPS 25838 HAS SOUS 21482 HAS SOUPS 21482 WITH SCORE 21507.838
AT ITER 9130 NEW BEST:: SOT 187394 SOS 25822 HAS SOPS 25822 HAS SOUS 21479 HAS SOUPS 21479 WITH SCORE 21504.822
AT ITER 9152 NEW BEST:: SOT 187386 SOS 25794 HAS SOPS 25794 HAS SOUS 21467 HAS SOUPS 21467 WITH SCORE 21492.794
AT ITER 9193 NEW BEST:: SOT 187410 SOS 25749 HAS SOPS 25749 HAS SOUS 21456 HAS SOUPS 21456 WITH SCORE 21481.749
AT ITER 9200 NEW BEST:: SOT 187379 SOS 25652 HAS SOPS 25652 HAS SOUS 21415 HAS SOUPS 21415 WITH SCORE 21440.652
AT ITER 9232 NEW BEST:: SOT 187374 SOS 25612 HAS SOPS 25612 HAS SOUS 21415 HAS SOUPS 21415 WITH SCORE 21440.612
AT ITER 9241 NEW BEST:: SOT 187372 SOS 25595 HAS SOPS 25595 HAS SOUS 21407 HAS SOUPS 21407 WITH SCORE 21432.595
AT ITER 9246 NEW BEST:: SOT 187372 SOS 25580 HAS SOPS 25580 HAS SOUS 21392 HAS SOUPS 21392 WITH SCORE 21417.58
AT ITER 9325 NEW BEST:: SOT 187376 SOS 25568 HAS SOPS 25568 HAS SOUS 21390 HAS SOUPS 21390 WITH SCORE 21415.568
AT ITER 9373 NEW BEST:: SOT 187365 SOS 25557 HAS SOPS 25557 HAS SOUS 21368 HAS SOUPS 21368 WITH SCORE 21393.557
AT ITER 9405 NEW BEST:: SOT 187379 SOS 25549 HAS SOPS 25549 HAS SOUS 21360 HAS SOUPS 21360 WITH SCORE 21385.549
AT ITER 9416 NEW BEST:: SOT 187346 SOS 25541 HAS SOPS 25541 HAS SOUS 21356 HAS SOUPS 21356 WITH SCORE 21381.541
AT ITER 9525 NEW BEST:: SOT 187316 SOS 25572 HAS SOPS 25572 HAS SOUS 21352 HAS SOUPS 21352 WITH SCORE 21377.572
AT ITER 9544 NEW BEST:: SOT 187313 SOS 25568 HAS SOPS 25568 HAS SOUS 21348 HAS SOUPS 21348 WITH SCORE 21373.568
AT ITER 9554 NEW BEST:: SOT 187306 SOS 25541 HAS SOPS 25541 HAS SOUS 21347 HAS SOUPS 21347 WITH SCORE 21372.541
AT ITER 9583 NEW BEST:: SOT 187281 SOS 25451 HAS SOPS 25451 HAS SOUS 21322 HAS SOUPS 21322 WITH SCORE 21347.451
AT ITER 9602 NEW BEST:: SOT 187281 SOS 25450 HAS SOPS 25450 HAS SOUS 21292 HAS SOUPS 21292 WITH SCORE 21317.45
AT ITER 9669 NEW BEST:: SOT 187281 SOS 25431 HAS SOPS 25431 HAS SOUS 21273 HAS SOUPS 21273 WITH SCORE 21298.431
AT ITER 9677 NEW BEST:: SOT 187262 SOS 25425 HAS SOPS 25425 HAS SOUS 21238 HAS SOUPS 21238 WITH SCORE 21263.425
AT ITER 9757 NEW BEST:: SOT 187223 SOS 25381 HAS SOPS 25381 HAS SOUS 21229 HAS SOUPS 21229 WITH SCORE 21254.381
AT ITER 9758 NEW BEST:: SOT 187221 SOS 25369 HAS SOPS 25369 HAS SOUS 21225 HAS SOUPS 21225 WITH SCORE 21250.369
AT ITER 9797 NEW BEST:: SOT 187211 SOS 25354 HAS SOPS 25354 HAS SOUS 21215 HAS SOUPS 21215 WITH SCORE 21240.354
AT ITER 9868 NEW BEST:: SOT 187211 SOS 25336 HAS SOPS 25336 HAS SOUS 21215 HAS SOUPS 21215 WITH SCORE 21240.336
AT ITER 9883 NEW BEST:: SOT 187206 SOS 25324 HAS SOPS 25324 HAS SOUS 21205 HAS SOUPS 21205 WITH SCORE 21230.324
AT ITER 9946 NEW BEST:: SOT 187199 SOS 25317 HAS SOPS 25317 HAS SOUS 21198 HAS SOUPS 21198 WITH SCORE 21223.317
AT ITER 9975 NEW BEST:: SOT 187196 SOS 25314 HAS SOPS 25314 HAS SOUS 21195 HAS SOUPS 21195 WITH SCORE 21220.314
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 3699820 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152200 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="ShieldIIPs-PT-010B"
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 ShieldIIPs-PT-010B, 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-167903711400096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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