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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 716K
-rw-r--r-- 1 mcc users 7.9K Feb 25 17:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 17:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 17:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 17:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:57 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:57 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 17:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 25 17:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 17:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 17:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:57 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:57 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 338K 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 1679063912250

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-020B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 020B
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: 1403 places, 1303 transitions, 3246 arcs.
AT ITER 0 NEW BEST:: SOT 944271 SOS 87785 HAS SOPS 87785 HAS SOUS 81625 HAS SOUPS 81625 WITH SCORE 81712.785
AT ITER 16 NEW BEST:: SOT 944271 SOS 87797 HAS SOPS 87797 HAS SOUS 81618 HAS SOUPS 81618 WITH SCORE 81705.797
AT ITER 63 NEW BEST:: SOT 944271 SOS 87772 HAS SOPS 87772 HAS SOUS 81593 HAS SOUPS 81593 WITH SCORE 81680.772
AT ITER 95 NEW BEST:: SOT 944295 SOS 87820 HAS SOPS 87820 HAS SOUS 81582 HAS SOUPS 81582 WITH SCORE 81669.82
AT ITER 158 NEW BEST:: SOT 944347 SOS 87772 HAS SOPS 87772 HAS SOUS 81574 HAS SOUPS 81574 WITH SCORE 81661.772
AT ITER 226 NEW BEST:: SOT 944330 SOS 87738 HAS SOPS 87738 HAS SOUS 81483 HAS SOUPS 81483 WITH SCORE 81570.738
AT ITER 227 NEW BEST:: SOT 944302 SOS 87682 HAS SOPS 87682 HAS SOUS 81452 HAS SOUPS 81452 WITH SCORE 81539.682
AT ITER 242 NEW BEST:: SOT 944302 SOS 87676 HAS SOPS 87676 HAS SOUS 81446 HAS SOUPS 81446 WITH SCORE 81533.676
AT ITER 268 NEW BEST:: SOT 944288 SOS 87631 HAS SOPS 87631 HAS SOUS 81419 HAS SOUPS 81419 WITH SCORE 81506.631
AT ITER 281 NEW BEST:: SOT 944337 SOS 87644 HAS SOPS 87644 HAS SOUS 81399 HAS SOUPS 81399 WITH SCORE 81486.644
AT ITER 291 NEW BEST:: SOT 944337 SOS 87614 HAS SOPS 87614 HAS SOUS 81369 HAS SOUPS 81369 WITH SCORE 81456.614
AT ITER 307 NEW BEST:: SOT 944335 SOS 87612 HAS SOPS 87612 HAS SOUS 81334 HAS SOUPS 81334 WITH SCORE 81421.612
AT ITER 372 NEW BEST:: SOT 944347 SOS 87594 HAS SOPS 87594 HAS SOUS 81333 HAS SOUPS 81333 WITH SCORE 81420.594
AT ITER 390 NEW BEST:: SOT 944339 SOS 87570 HAS SOPS 87570 HAS SOUS 81309 HAS SOUPS 81309 WITH SCORE 81396.57
AT ITER 403 NEW BEST:: SOT 944339 SOS 87569 HAS SOPS 87569 HAS SOUS 81308 HAS SOUPS 81308 WITH SCORE 81395.569
AT ITER 409 NEW BEST:: SOT 944339 SOS 87509 HAS SOPS 87509 HAS SOUS 81248 HAS SOUPS 81248 WITH SCORE 81335.509
AT ITER 422 NEW BEST:: SOT 944295 SOS 87333 HAS SOPS 87333 HAS SOUS 81116 HAS SOUPS 81116 WITH SCORE 81203.333
AT ITER 471 NEW BEST:: SOT 944289 SOS 87332 HAS SOPS 87332 HAS SOUS 81115 HAS SOUPS 81115 WITH SCORE 81202.332
AT ITER 502 NEW BEST:: SOT 944247 SOS 87290 HAS SOPS 87290 HAS SOUS 81073 HAS SOUPS 81073 WITH SCORE 81160.29
AT ITER 516 NEW BEST:: SOT 944221 SOS 87236 HAS SOPS 87236 HAS SOUS 81019 HAS SOUPS 81019 WITH SCORE 81106.236
AT ITER 522 NEW BEST:: SOT 944221 SOS 87229 HAS SOPS 87229 HAS SOUS 81012 HAS SOUPS 81012 WITH SCORE 81099.229
AT ITER 659 NEW BEST:: SOT 944221 SOS 87224 HAS SOPS 87224 HAS SOUS 81005 HAS SOUPS 81005 WITH SCORE 81092.224
AT ITER 664 NEW BEST:: SOT 944171 SOS 87135 HAS SOPS 87135 HAS SOUS 80946 HAS SOUPS 80946 WITH SCORE 81033.135
AT ITER 670 NEW BEST:: SOT 944109 SOS 87106 HAS SOPS 87106 HAS SOUS 80917 HAS SOUPS 80917 WITH SCORE 81004.106
AT ITER 685 NEW BEST:: SOT 943995 SOS 86937 HAS SOPS 86937 HAS SOUS 80747 HAS SOUPS 80747 WITH SCORE 80833.937
AT ITER 698 NEW BEST:: SOT 943964 SOS 86875 HAS SOPS 86875 HAS SOUS 80716 HAS SOUPS 80716 WITH SCORE 80802.875
AT ITER 725 NEW BEST:: SOT 943964 SOS 86856 HAS SOPS 86856 HAS SOUS 80697 HAS SOUPS 80697 WITH SCORE 80783.856
AT ITER 828 NEW BEST:: SOT 943947 SOS 86839 HAS SOPS 86839 HAS SOUS 80680 HAS SOUPS 80680 WITH SCORE 80766.839
AT ITER 844 NEW BEST:: SOT 943947 SOS 86846 HAS SOPS 86846 HAS SOUS 80673 HAS SOUPS 80673 WITH SCORE 80759.846
AT ITER 955 NEW BEST:: SOT 943947 SOS 86777 HAS SOPS 86777 HAS SOUS 80604 HAS SOUPS 80604 WITH SCORE 80690.777
AT ITER 1012 NEW BEST:: SOT 943919 SOS 86763 HAS SOPS 86763 HAS SOUS 80590 HAS SOUPS 80590 WITH SCORE 80676.763
AT ITER 1028 NEW BEST:: SOT 943919 SOS 86754 HAS SOPS 86754 HAS SOUS 80581 HAS SOUPS 80581 WITH SCORE 80667.754
AT ITER 1098 NEW BEST:: SOT 943919 SOS 86726 HAS SOPS 86726 HAS SOUS 80553 HAS SOUPS 80553 WITH SCORE 80639.726
AT ITER 1173 NEW BEST:: SOT 943887 SOS 86630 HAS SOPS 86630 HAS SOUS 80457 HAS SOUPS 80457 WITH SCORE 80543.63
AT ITER 1182 NEW BEST:: SOT 943917 SOS 86679 HAS SOPS 86679 HAS SOUS 80456 HAS SOUPS 80456 WITH SCORE 80542.679
AT ITER 1187 NEW BEST:: SOT 943797 SOS 86567 HAS SOPS 86567 HAS SOUS 80336 HAS SOUPS 80336 WITH SCORE 80422.567
AT ITER 1198 NEW BEST:: SOT 943797 SOS 86562 HAS SOPS 86562 HAS SOUS 80331 HAS SOUPS 80331 WITH SCORE 80417.562
AT ITER 1269 NEW BEST:: SOT 943797 SOS 86562 HAS SOPS 86562 HAS SOUS 80327 HAS SOUPS 80327 WITH SCORE 80413.562
AT ITER 1279 NEW BEST:: SOT 943807 SOS 86547 HAS SOPS 86547 HAS SOUS 80312 HAS SOUPS 80312 WITH SCORE 80398.547
AT ITER 1282 NEW BEST:: SOT 943784 SOS 86524 HAS SOPS 86524 HAS SOUS 80266 HAS SOUPS 80266 WITH SCORE 80352.524
AT ITER 1382 NEW BEST:: SOT 943783 SOS 86510 HAS SOPS 86510 HAS SOUS 80252 HAS SOUPS 80252 WITH SCORE 80338.51
AT ITER 1479 NEW BEST:: SOT 943779 SOS 86505 HAS SOPS 86505 HAS SOUS 80247 HAS SOUPS 80247 WITH SCORE 80333.505
AT ITER 1480 NEW BEST:: SOT 943761 SOS 86469 HAS SOPS 86469 HAS SOUS 80160 HAS SOUPS 80160 WITH SCORE 80246.469
AT ITER 1486 NEW BEST:: SOT 943761 SOS 86467 HAS SOPS 86467 HAS SOUS 80158 HAS SOUPS 80158 WITH SCORE 80244.467
AT ITER 1568 NEW BEST:: SOT 943761 SOS 86461 HAS SOPS 86461 HAS SOUS 80156 HAS SOUPS 80156 WITH SCORE 80242.461
AT ITER 1583 NEW BEST:: SOT 943761 SOS 86435 HAS SOPS 86435 HAS SOUS 80130 HAS SOUPS 80130 WITH SCORE 80216.435
AT ITER 1589 NEW BEST:: SOT 943761 SOS 86360 HAS SOPS 86360 HAS SOUS 80093 HAS SOUPS 80093 WITH SCORE 80179.36
AT ITER 1605 NEW BEST:: SOT 943782 SOS 86328 HAS SOPS 86328 HAS SOUS 80077 HAS SOUPS 80077 WITH SCORE 80163.328
AT ITER 1631 NEW BEST:: SOT 943766 SOS 86320 HAS SOPS 86320 HAS SOUS 80025 HAS SOUPS 80025 WITH SCORE 80111.32
AT ITER 1679 NEW BEST:: SOT 943701 SOS 86171 HAS SOPS 86171 HAS SOUS 79967 HAS SOUPS 79967 WITH SCORE 80053.171
AT ITER 1737 NEW BEST:: SOT 943701 SOS 86156 HAS SOPS 86156 HAS SOUS 79952 HAS SOUPS 79952 WITH SCORE 80038.156
AT ITER 1751 NEW BEST:: SOT 943680 SOS 86135 HAS SOPS 86135 HAS SOUS 79931 HAS SOUPS 79931 WITH SCORE 80017.135
AT ITER 1768 NEW BEST:: SOT 943680 SOS 86116 HAS SOPS 86116 HAS SOUS 79912 HAS SOUPS 79912 WITH SCORE 79998.116
AT ITER 1845 NEW BEST:: SOT 943647 SOS 86017 HAS SOPS 86017 HAS SOUS 79813 HAS SOUPS 79813 WITH SCORE 79899.017
AT ITER 1848 NEW BEST:: SOT 943617 SOS 85976 HAS SOPS 85976 HAS SOUS 79772 HAS SOUPS 79772 WITH SCORE 79857.976
AT ITER 1863 NEW BEST:: SOT 943617 SOS 85958 HAS SOPS 85958 HAS SOUS 79753 HAS SOUPS 79753 WITH SCORE 79838.958
AT ITER 1963 NEW BEST:: SOT 943467 SOS 85853 HAS SOPS 85853 HAS SOUS 79560 HAS SOUPS 79560 WITH SCORE 79645.853
AT ITER 2013 NEW BEST:: SOT 943451 SOS 85837 HAS SOPS 85837 HAS SOUS 79544 HAS SOUPS 79544 WITH SCORE 79629.837
AT ITER 2043 NEW BEST:: SOT 943451 SOS 85795 HAS SOPS 85795 HAS SOUS 79501 HAS SOUPS 79501 WITH SCORE 79586.795
AT ITER 2080 NEW BEST:: SOT 943450 SOS 85793 HAS SOPS 85793 HAS SOUS 79499 HAS SOUPS 79499 WITH SCORE 79584.793
AT ITER 2154 NEW BEST:: SOT 943429 SOS 85751 HAS SOPS 85751 HAS SOUS 79478 HAS SOUPS 79478 WITH SCORE 79563.751
AT ITER 2165 NEW BEST:: SOT 943429 SOS 85595 HAS SOPS 85595 HAS SOUS 79478 HAS SOUPS 79478 WITH SCORE 79563.595
AT ITER 2179 NEW BEST:: SOT 943429 SOS 85572 HAS SOPS 85572 HAS SOUS 79455 HAS SOUPS 79455 WITH SCORE 79540.572
AT ITER 2195 NEW BEST:: SOT 943429 SOS 85562 HAS SOPS 85562 HAS SOUS 79445 HAS SOUPS 79445 WITH SCORE 79530.562
AT ITER 2218 NEW BEST:: SOT 943372 SOS 85508 HAS SOPS 85508 HAS SOUS 79387 HAS SOUPS 79387 WITH SCORE 79472.508
AT ITER 2288 NEW BEST:: SOT 943384 SOS 85424 HAS SOPS 85424 HAS SOUS 79370 HAS SOUPS 79370 WITH SCORE 79455.424
AT ITER 2296 NEW BEST:: SOT 943383 SOS 85374 HAS SOPS 85374 HAS SOUS 79368 HAS SOUPS 79368 WITH SCORE 79453.374
AT ITER 2305 NEW BEST:: SOT 943355 SOS 85290 HAS SOPS 85290 HAS SOUS 79312 HAS SOUPS 79312 WITH SCORE 79397.29
AT ITER 2313 NEW BEST:: SOT 943372 SOS 85288 HAS SOPS 85288 HAS SOUS 79310 HAS SOUPS 79310 WITH SCORE 79395.288
AT ITER 2356 NEW BEST:: SOT 943355 SOS 85237 HAS SOPS 85237 HAS SOUS 79259 HAS SOUPS 79259 WITH SCORE 79344.237
AT ITER 2367 NEW BEST:: SOT 943403 SOS 85187 HAS SOPS 85187 HAS SOUS 79232 HAS SOUPS 79232 WITH SCORE 79317.187
AT ITER 2393 NEW BEST:: SOT 943402 SOS 85102 HAS SOPS 85102 HAS SOUS 79155 HAS SOUPS 79155 WITH SCORE 79240.102
AT ITER 2402 NEW BEST:: SOT 943385 SOS 85058 HAS SOPS 85058 HAS SOUS 79111 HAS SOUPS 79111 WITH SCORE 79196.058
AT ITER 2412 NEW BEST:: SOT 943428 SOS 85036 HAS SOPS 85036 HAS SOUS 79103 HAS SOUPS 79103 WITH SCORE 79188.036
AT ITER 2472 NEW BEST:: SOT 943428 SOS 85024 HAS SOPS 85024 HAS SOUS 79091 HAS SOUPS 79091 WITH SCORE 79176.024
AT ITER 2491 NEW BEST:: SOT 943415 SOS 85011 HAS SOPS 85011 HAS SOUS 79059 HAS SOUPS 79059 WITH SCORE 79144.011
AT ITER 2521 NEW BEST:: SOT 943384 SOS 84948 HAS SOPS 84948 HAS SOUS 78979 HAS SOUPS 78979 WITH SCORE 79063.948
AT ITER 2558 NEW BEST:: SOT 943378 SOS 84936 HAS SOPS 84936 HAS SOUS 78967 HAS SOUPS 78967 WITH SCORE 79051.936
AT ITER 2597 NEW BEST:: SOT 943387 SOS 84898 HAS SOPS 84898 HAS SOUS 78877 HAS SOUPS 78877 WITH SCORE 78961.898
AT ITER 2620 NEW BEST:: SOT 943387 SOS 84856 HAS SOPS 84856 HAS SOUS 78835 HAS SOUPS 78835 WITH SCORE 78919.856
AT ITER 2638 NEW BEST:: SOT 943383 SOS 84848 HAS SOPS 84848 HAS SOUS 78831 HAS SOUPS 78831 WITH SCORE 78915.848
AT ITER 2650 NEW BEST:: SOT 943399 SOS 84784 HAS SOPS 84784 HAS SOUS 78776 HAS SOUPS 78776 WITH SCORE 78860.784
AT ITER 2691 NEW BEST:: SOT 943392 SOS 84770 HAS SOPS 84770 HAS SOUS 78762 HAS SOUPS 78762 WITH SCORE 78846.77
AT ITER 2745 NEW BEST:: SOT 943386 SOS 84758 HAS SOPS 84758 HAS SOUS 78750 HAS SOUPS 78750 WITH SCORE 78834.758
AT ITER 2777 NEW BEST:: SOT 943386 SOS 84758 HAS SOPS 84758 HAS SOUS 78725 HAS SOUPS 78725 WITH SCORE 78809.758
AT ITER 2789 NEW BEST:: SOT 943380 SOS 84746 HAS SOPS 84746 HAS SOUS 78706 HAS SOUPS 78706 WITH SCORE 78790.746
AT ITER 2813 NEW BEST:: SOT 943428 SOS 84732 HAS SOPS 84732 HAS SOUS 78692 HAS SOUPS 78692 WITH SCORE 78776.732
AT ITER 2871 NEW BEST:: SOT 943474 SOS 84740 HAS SOPS 84740 HAS SOUS 78665 HAS SOUPS 78665 WITH SCORE 78749.74
AT ITER 2896 NEW BEST:: SOT 943474 SOS 84733 HAS SOPS 84733 HAS SOUS 78658 HAS SOUPS 78658 WITH SCORE 78742.733
AT ITER 2920 NEW BEST:: SOT 943458 SOS 84666 HAS SOPS 84666 HAS SOUS 78565 HAS SOUPS 78565 WITH SCORE 78649.666
AT ITER 2926 NEW BEST:: SOT 943447 SOS 84655 HAS SOPS 84655 HAS SOUS 78554 HAS SOUPS 78554 WITH SCORE 78638.655
AT ITER 2976 NEW BEST:: SOT 943423 SOS 84583 HAS SOPS 84583 HAS SOUS 78506 HAS SOUPS 78506 WITH SCORE 78590.583
AT ITER 3055 NEW BEST:: SOT 943399 SOS 84559 HAS SOPS 84559 HAS SOUS 78482 HAS SOUPS 78482 WITH SCORE 78566.559
AT ITER 3061 NEW BEST:: SOT 943399 SOS 84552 HAS SOPS 84552 HAS SOUS 78475 HAS SOUPS 78475 WITH SCORE 78559.552
AT ITER 3064 NEW BEST:: SOT 943399 SOS 84545 HAS SOPS 84545 HAS SOUS 78475 HAS SOUPS 78475 WITH SCORE 78559.545
AT ITER 3111 NEW BEST:: SOT 943347 SOS 84521 HAS SOPS 84521 HAS SOUS 78450 HAS SOUPS 78450 WITH SCORE 78534.521
AT ITER 3136 NEW BEST:: SOT 943347 SOS 84516 HAS SOPS 84516 HAS SOUS 78445 HAS SOUPS 78445 WITH SCORE 78529.516
AT ITER 3156 NEW BEST:: SOT 943341 SOS 84495 HAS SOPS 84495 HAS SOUS 78433 HAS SOUPS 78433 WITH SCORE 78517.495
AT ITER 3175 NEW BEST:: SOT 943323 SOS 84459 HAS SOPS 84459 HAS SOUS 78415 HAS SOUPS 78415 WITH SCORE 78499.459
AT ITER 3194 NEW BEST:: SOT 943376 SOS 84440 HAS SOPS 84440 HAS SOUS 78396 HAS SOUPS 78396 WITH SCORE 78480.44
AT ITER 3198 NEW BEST:: SOT 943318 SOS 84428 HAS SOPS 84428 HAS SOUS 78384 HAS SOUPS 78384 WITH SCORE 78468.428
AT ITER 3228 NEW BEST:: SOT 943318 SOS 84399 HAS SOPS 84399 HAS SOUS 78355 HAS SOUPS 78355 WITH SCORE 78439.399
AT ITER 3232 NEW BEST:: SOT 943311 SOS 84233 HAS SOPS 84233 HAS SOUS 78286 HAS SOUPS 78286 WITH SCORE 78370.233
AT ITER 3243 NEW BEST:: SOT 943311 SOS 84232 HAS SOPS 84232 HAS SOUS 78285 HAS SOUPS 78285 WITH SCORE 78369.232
AT ITER 3255 NEW BEST:: SOT 943266 SOS 84187 HAS SOPS 84187 HAS SOUS 78240 HAS SOUPS 78240 WITH SCORE 78324.187
AT ITER 3270 NEW BEST:: SOT 943290 SOS 84123 HAS SOPS 84123 HAS SOUS 78237 HAS SOUPS 78237 WITH SCORE 78321.123
AT ITER 3326 NEW BEST:: SOT 943237 SOS 84073 HAS SOPS 84073 HAS SOUS 78184 HAS SOUPS 78184 WITH SCORE 78268.073
AT ITER 3389 NEW BEST:: SOT 943212 SOS 83956 HAS SOPS 83956 HAS SOUS 78023 HAS SOUPS 78023 WITH SCORE 78106.956
AT ITER 3409 NEW BEST:: SOT 943177 SOS 83877 HAS SOPS 83877 HAS SOUS 77944 HAS SOUPS 77944 WITH SCORE 78027.877
AT ITER 3522 NEW BEST:: SOT 943209 SOS 83909 HAS SOPS 83909 HAS SOUS 77943 HAS SOUPS 77943 WITH SCORE 78026.909
AT ITER 3578 NEW BEST:: SOT 943209 SOS 83908 HAS SOPS 83908 HAS SOUS 77943 HAS SOUPS 77943 WITH SCORE 78026.908
AT ITER 3623 NEW BEST:: SOT 943162 SOS 83906 HAS SOPS 83906 HAS SOUS 77941 HAS SOUPS 77941 WITH SCORE 78024.906
AT ITER 3632 NEW BEST:: SOT 943165 SOS 83868 HAS SOPS 83868 HAS SOUS 77903 HAS SOUPS 77903 WITH SCORE 77986.868
AT ITER 3638 NEW BEST:: SOT 943163 SOS 83866 HAS SOPS 83866 HAS SOUS 77903 HAS SOUPS 77903 WITH SCORE 77986.866
AT ITER 3737 NEW BEST:: SOT 943160 SOS 83860 HAS SOPS 83860 HAS SOUS 77885 HAS SOUPS 77885 WITH SCORE 77968.86
AT ITER 3755 NEW BEST:: SOT 943138 SOS 83838 HAS SOPS 83838 HAS SOUS 77863 HAS SOUPS 77863 WITH SCORE 77946.838
AT ITER 3765 NEW BEST:: SOT 943148 SOS 83809 HAS SOPS 83809 HAS SOUS 77834 HAS SOUPS 77834 WITH SCORE 77917.809
AT ITER 3767 NEW BEST:: SOT 943148 SOS 83798 HAS SOPS 83798 HAS SOUS 77823 HAS SOUPS 77823 WITH SCORE 77906.798
AT ITER 3783 NEW BEST:: SOT 943135 SOS 83772 HAS SOPS 83772 HAS SOUS 77797 HAS SOUPS 77797 WITH SCORE 77880.772
AT ITER 3785 NEW BEST:: SOT 943134 SOS 83745 HAS SOPS 83745 HAS SOUS 77770 HAS SOUPS 77770 WITH SCORE 77853.745
AT ITER 3793 NEW BEST:: SOT 943134 SOS 83710 HAS SOPS 83710 HAS SOUS 77735 HAS SOUPS 77735 WITH SCORE 77818.71
AT ITER 3921 NEW BEST:: SOT 943098 SOS 83601 HAS SOPS 83601 HAS SOUS 77662 HAS SOUPS 77662 WITH SCORE 77745.601
AT ITER 3930 NEW BEST:: SOT 943116 SOS 83519 HAS SOPS 83519 HAS SOUS 77621 HAS SOUPS 77621 WITH SCORE 77704.519
AT ITER 3955 NEW BEST:: SOT 943116 SOS 83519 HAS SOPS 83519 HAS SOUS 77584 HAS SOUPS 77584 WITH SCORE 77667.519
AT ITER 3981 NEW BEST:: SOT 943115 SOS 83467 HAS SOPS 83467 HAS SOUS 77582 HAS SOUPS 77582 WITH SCORE 77665.467
AT ITER 4005 NEW BEST:: SOT 943106 SOS 83458 HAS SOPS 83458 HAS SOUS 77581 HAS SOUPS 77581 WITH SCORE 77664.458
AT ITER 4037 NEW BEST:: SOT 943010 SOS 83323 HAS SOPS 83323 HAS SOUS 77462 HAS SOUPS 77462 WITH SCORE 77545.323
AT ITER 4057 NEW BEST:: SOT 942998 SOS 83193 HAS SOPS 83193 HAS SOUS 77344 HAS SOUPS 77344 WITH SCORE 77427.193
AT ITER 4063 NEW BEST:: SOT 942998 SOS 83180 HAS SOPS 83180 HAS SOUS 77331 HAS SOUPS 77331 WITH SCORE 77414.18
AT ITER 4097 NEW BEST:: SOT 942977 SOS 83158 HAS SOPS 83158 HAS SOUS 77309 HAS SOUPS 77309 WITH SCORE 77392.158
AT ITER 4163 NEW BEST:: SOT 942916 SOS 83071 HAS SOPS 83071 HAS SOUS 77258 HAS SOUPS 77258 WITH SCORE 77341.071
AT ITER 4188 NEW BEST:: SOT 942916 SOS 83052 HAS SOPS 83052 HAS SOUS 77239 HAS SOUPS 77239 WITH SCORE 77322.052
AT ITER 4294 NEW BEST:: SOT 942899 SOS 83018 HAS SOPS 83018 HAS SOUS 77205 HAS SOUPS 77205 WITH SCORE 77288.018
AT ITER 4322 NEW BEST:: SOT 942849 SOS 82924 HAS SOPS 82924 HAS SOUS 77175 HAS SOUPS 77175 WITH SCORE 77257.924
AT ITER 4374 NEW BEST:: SOT 942819 SOS 82923 HAS SOPS 82923 HAS SOUS 77174 HAS SOUPS 77174 WITH SCORE 77256.923
AT ITER 4378 NEW BEST:: SOT 942819 SOS 82889 HAS SOPS 82889 HAS SOUS 77140 HAS SOUPS 77140 WITH SCORE 77222.889
AT ITER 4519 NEW BEST:: SOT 942819 SOS 82865 HAS SOPS 82865 HAS SOUS 77116 HAS SOUPS 77116 WITH SCORE 77198.865
AT ITER 4535 NEW BEST:: SOT 942819 SOS 82865 HAS SOPS 82865 HAS SOUS 77115 HAS SOUPS 77115 WITH SCORE 77197.865
AT ITER 4586 NEW BEST:: SOT 942774 SOS 82778 HAS SOPS 82778 HAS SOUS 77051 HAS SOUPS 77051 WITH SCORE 77133.778
AT ITER 4666 NEW BEST:: SOT 942789 SOS 82719 HAS SOPS 82719 HAS SOUS 77009 HAS SOUPS 77009 WITH SCORE 77091.719
AT ITER 4756 NEW BEST:: SOT 942789 SOS 82719 HAS SOPS 82719 HAS SOUS 77005 HAS SOUPS 77005 WITH SCORE 77087.719
AT ITER 4774 NEW BEST:: SOT 942798 SOS 82705 HAS SOPS 82705 HAS SOUS 77003 HAS SOUPS 77003 WITH SCORE 77085.705
AT ITER 4818 NEW BEST:: SOT 942788 SOS 82695 HAS SOPS 82695 HAS SOUS 77002 HAS SOUPS 77002 WITH SCORE 77084.695
AT ITER 4822 NEW BEST:: SOT 942756 SOS 82626 HAS SOPS 82626 HAS SOUS 76962 HAS SOUPS 76962 WITH SCORE 77044.626
AT ITER 4895 NEW BEST:: SOT 942688 SOS 82560 HAS SOPS 82560 HAS SOUS 76927 HAS SOUPS 76927 WITH SCORE 77009.56
AT ITER 4911 NEW BEST:: SOT 942532 SOS 82461 HAS SOPS 82461 HAS SOUS 76826 HAS SOUPS 76826 WITH SCORE 76908.461
AT ITER 4944 NEW BEST:: SOT 942505 SOS 82390 HAS SOPS 82390 HAS SOUS 76782 HAS SOUPS 76782 WITH SCORE 76864.39
AT ITER 4975 NEW BEST:: SOT 942479 SOS 82376 HAS SOPS 82376 HAS SOUS 76756 HAS SOUPS 76756 WITH SCORE 76838.376
AT ITER 4982 NEW BEST:: SOT 942359 SOS 82227 HAS SOPS 82227 HAS SOUS 76579 HAS SOUPS 76579 WITH SCORE 76661.227
AT ITER 5001 NEW BEST:: SOT 942357 SOS 82225 HAS SOPS 82225 HAS SOUS 76577 HAS SOUPS 76577 WITH SCORE 76659.225
AT ITER 5005 NEW BEST:: SOT 942348 SOS 82202 HAS SOPS 82202 HAS SOUS 76554 HAS SOUPS 76554 WITH SCORE 76636.202
AT ITER 5020 NEW BEST:: SOT 942348 SOS 82172 HAS SOPS 82172 HAS SOUS 76554 HAS SOUPS 76554 WITH SCORE 76636.172
AT ITER 5033 NEW BEST:: SOT 942345 SOS 82158 HAS SOPS 82158 HAS SOUS 76547 HAS SOUPS 76547 WITH SCORE 76629.158
AT ITER 5043 NEW BEST:: SOT 942393 SOS 82151 HAS SOPS 82151 HAS SOUS 76538 HAS SOUPS 76538 WITH SCORE 76620.151
AT ITER 5095 NEW BEST:: SOT 942393 SOS 82150 HAS SOPS 82150 HAS SOUS 76537 HAS SOUPS 76537 WITH SCORE 76619.15
AT ITER 5108 NEW BEST:: SOT 942470 SOS 82111 HAS SOPS 82111 HAS SOUS 76498 HAS SOUPS 76498 WITH SCORE 76580.111
AT ITER 5127 NEW BEST:: SOT 942435 SOS 82117 HAS SOPS 82117 HAS SOUS 76491 HAS SOUPS 76491 WITH SCORE 76573.117
AT ITER 5188 NEW BEST:: SOT 942435 SOS 82116 HAS SOPS 82116 HAS SOUS 76490 HAS SOUPS 76490 WITH SCORE 76572.116
AT ITER 5237 NEW BEST:: SOT 942389 SOS 82024 HAS SOPS 82024 HAS SOUS 76398 HAS SOUPS 76398 WITH SCORE 76480.024
AT ITER 5282 NEW BEST:: SOT 942389 SOS 82006 HAS SOPS 82006 HAS SOUS 76380 HAS SOUPS 76380 WITH SCORE 76462.006
AT ITER 5297 NEW BEST:: SOT 942367 SOS 81973 HAS SOPS 81973 HAS SOUS 76358 HAS SOUPS 76358 WITH SCORE 76439.973
AT ITER 5310 NEW BEST:: SOT 942367 SOS 81971 HAS SOPS 81971 HAS SOUS 76343 HAS SOUPS 76343 WITH SCORE 76424.971
AT ITER 5311 NEW BEST:: SOT 942354 SOS 81945 HAS SOPS 81945 HAS SOUS 76317 HAS SOUPS 76317 WITH SCORE 76398.945
AT ITER 5314 NEW BEST:: SOT 942354 SOS 81945 HAS SOPS 81945 HAS SOUS 76311 HAS SOUPS 76311 WITH SCORE 76392.945
AT ITER 5336 NEW BEST:: SOT 942305 SOS 81847 HAS SOPS 81847 HAS SOUS 76213 HAS SOUPS 76213 WITH SCORE 76294.847
AT ITER 5359 NEW BEST:: SOT 942305 SOS 81815 HAS SOPS 81815 HAS SOUS 76181 HAS SOUPS 76181 WITH SCORE 76262.815
AT ITER 5496 NEW BEST:: SOT 942305 SOS 81806 HAS SOPS 81806 HAS SOUS 76181 HAS SOUPS 76181 WITH SCORE 76262.806
AT ITER 5549 NEW BEST:: SOT 942305 SOS 81778 HAS SOPS 81778 HAS SOUS 76178 HAS SOUPS 76178 WITH SCORE 76259.778
AT ITER 5597 NEW BEST:: SOT 942283 SOS 81686 HAS SOPS 81686 HAS SOUS 76146 HAS SOUPS 76146 WITH SCORE 76227.686
AT ITER 5675 NEW BEST:: SOT 942261 SOS 81666 HAS SOPS 81666 HAS SOUS 76084 HAS SOUPS 76084 WITH SCORE 76165.666
AT ITER 5700 NEW BEST:: SOT 942209 SOS 81597 HAS SOPS 81597 HAS SOUS 76073 HAS SOUPS 76073 WITH SCORE 76154.597
AT ITER 5879 NEW BEST:: SOT 942157 SOS 81532 HAS SOPS 81532 HAS SOUS 75984 HAS SOUPS 75984 WITH SCORE 76065.532
AT ITER 5919 NEW BEST:: SOT 942128 SOS 81474 HAS SOPS 81474 HAS SOUS 75919 HAS SOUPS 75919 WITH SCORE 76000.474
AT ITER 5934 NEW BEST:: SOT 942126 SOS 81470 HAS SOPS 81470 HAS SOUS 75915 HAS SOUPS 75915 WITH SCORE 75996.47
AT ITER 5946 NEW BEST:: SOT 942126 SOS 81460 HAS SOPS 81460 HAS SOUS 75915 HAS SOUPS 75915 WITH SCORE 75996.46
AT ITER 5954 NEW BEST:: SOT 942105 SOS 81458 HAS SOPS 81458 HAS SOUS 75900 HAS SOUPS 75900 WITH SCORE 75981.458
AT ITER 5964 NEW BEST:: SOT 942076 SOS 81426 HAS SOPS 81426 HAS SOUS 75833 HAS SOUPS 75833 WITH SCORE 75914.426
AT ITER 5978 NEW BEST:: SOT 942057 SOS 81407 HAS SOPS 81407 HAS SOUS 75795 HAS SOUPS 75795 WITH SCORE 75876.407
AT ITER 5998 NEW BEST:: SOT 942037 SOS 81406 HAS SOPS 81406 HAS SOUS 75794 HAS SOUPS 75794 WITH SCORE 75875.406
AT ITER 6054 NEW BEST:: SOT 941967 SOS 81234 HAS SOPS 81234 HAS SOUS 75634 HAS SOUPS 75634 WITH SCORE 75715.234
AT ITER 6086 NEW BEST:: SOT 941920 SOS 81140 HAS SOPS 81140 HAS SOUS 75560 HAS SOUPS 75560 WITH SCORE 75641.14
AT ITER 6119 NEW BEST:: SOT 941911 SOS 81113 HAS SOPS 81113 HAS SOUS 75539 HAS SOUPS 75539 WITH SCORE 75620.113
AT ITER 6125 NEW BEST:: SOT 941910 SOS 81095 HAS SOPS 81095 HAS SOUS 75532 HAS SOUPS 75532 WITH SCORE 75613.095
AT ITER 6152 NEW BEST:: SOT 941875 SOS 81025 HAS SOPS 81025 HAS SOUS 75532 HAS SOUPS 75532 WITH SCORE 75613.025
AT ITER 6265 NEW BEST:: SOT 941816 SOS 80972 HAS SOPS 80972 HAS SOUS 75408 HAS SOUPS 75408 WITH SCORE 75488.972
AT ITER 6293 NEW BEST:: SOT 941785 SOS 80879 HAS SOPS 80879 HAS SOUS 75315 HAS SOUPS 75315 WITH SCORE 75395.879
AT ITER 6345 NEW BEST:: SOT 941785 SOS 80824 HAS SOPS 80824 HAS SOUS 75240 HAS SOUPS 75240 WITH SCORE 75320.824
AT ITER 6354 NEW BEST:: SOT 941784 SOS 80822 HAS SOPS 80822 HAS SOUS 75238 HAS SOUPS 75238 WITH SCORE 75318.822
AT ITER 6520 NEW BEST:: SOT 941778 SOS 80810 HAS SOPS 80810 HAS SOUS 75221 HAS SOUPS 75221 WITH SCORE 75301.81
AT ITER 6532 NEW BEST:: SOT 941778 SOS 80809 HAS SOPS 80809 HAS SOUS 75220 HAS SOUPS 75220 WITH SCORE 75300.809
AT ITER 6570 NEW BEST:: SOT 941707 SOS 80738 HAS SOPS 80738 HAS SOUS 75078 HAS SOUPS 75078 WITH SCORE 75158.738
AT ITER 6571 NEW BEST:: SOT 941714 SOS 80721 HAS SOPS 80721 HAS SOUS 75061 HAS SOUPS 75061 WITH SCORE 75141.721
AT ITER 6581 NEW BEST:: SOT 941700 SOS 80717 HAS SOPS 80717 HAS SOUS 75047 HAS SOUPS 75047 WITH SCORE 75127.717
AT ITER 6644 NEW BEST:: SOT 941665 SOS 80684 HAS SOPS 80684 HAS SOUS 75014 HAS SOUPS 75014 WITH SCORE 75094.684
AT ITER 6678 NEW BEST:: SOT 941611 SOS 80668 HAS SOPS 80668 HAS SOUS 74992 HAS SOUPS 74992 WITH SCORE 75072.668
AT ITER 6721 NEW BEST:: SOT 941608 SOS 80662 HAS SOPS 80662 HAS SOUS 74986 HAS SOUPS 74986 WITH SCORE 75066.662
AT ITER 6757 NEW BEST:: SOT 941608 SOS 80639 HAS SOPS 80639 HAS SOUS 74963 HAS SOUPS 74963 WITH SCORE 75043.639
AT ITER 6803 NEW BEST:: SOT 941608 SOS 80635 HAS SOPS 80635 HAS SOUS 74963 HAS SOUPS 74963 WITH SCORE 75043.635
AT ITER 6847 NEW BEST:: SOT 941633 SOS 80584 HAS SOPS 80584 HAS SOUS 74953 HAS SOUPS 74953 WITH SCORE 75033.584
AT ITER 6853 NEW BEST:: SOT 941630 SOS 80574 HAS SOPS 80574 HAS SOUS 74943 HAS SOUPS 74943 WITH SCORE 75023.574
AT ITER 6960 NEW BEST:: SOT 941623 SOS 80567 HAS SOPS 80567 HAS SOUS 74936 HAS SOUPS 74936 WITH SCORE 75016.567
AT ITER 6998 NEW BEST:: SOT 941623 SOS 80538 HAS SOPS 80538 HAS SOUS 74936 HAS SOUPS 74936 WITH SCORE 75016.538
AT ITER 7049 NEW BEST:: SOT 941589 SOS 80434 HAS SOPS 80434 HAS SOUS 74901 HAS SOUPS 74901 WITH SCORE 74981.434
AT ITER 7067 NEW BEST:: SOT 941589 SOS 80409 HAS SOPS 80409 HAS SOUS 74901 HAS SOUPS 74901 WITH SCORE 74981.409
AT ITER 7108 NEW BEST:: SOT 941608 SOS 80399 HAS SOPS 80399 HAS SOUS 74862 HAS SOUPS 74862 WITH SCORE 74942.399
AT ITER 7124 NEW BEST:: SOT 941605 SOS 80396 HAS SOPS 80396 HAS SOUS 74859 HAS SOUPS 74859 WITH SCORE 74939.396
AT ITER 7162 NEW BEST:: SOT 941605 SOS 80393 HAS SOPS 80393 HAS SOUS 74859 HAS SOUPS 74859 WITH SCORE 74939.393
AT ITER 7186 NEW BEST:: SOT 941566 SOS 80353 HAS SOPS 80353 HAS SOUS 74819 HAS SOUPS 74819 WITH SCORE 74899.353
AT ITER 7272 NEW BEST:: SOT 941565 SOS 80339 HAS SOPS 80339 HAS SOUS 74817 HAS SOUPS 74817 WITH SCORE 74897.339
AT ITER 7370 NEW BEST:: SOT 941547 SOS 80303 HAS SOPS 80303 HAS SOUS 74799 HAS SOUPS 74799 WITH SCORE 74879.303
AT ITER 7373 NEW BEST:: SOT 941533 SOS 80275 HAS SOPS 80275 HAS SOUS 74771 HAS SOUPS 74771 WITH SCORE 74851.275
AT ITER 7392 NEW BEST:: SOT 941594 SOS 80269 HAS SOPS 80269 HAS SOUS 74765 HAS SOUPS 74765 WITH SCORE 74845.269
AT ITER 7448 NEW BEST:: SOT 941592 SOS 80240 HAS SOPS 80240 HAS SOUS 74761 HAS SOUPS 74761 WITH SCORE 74841.24
AT ITER 7463 NEW BEST:: SOT 941595 SOS 80238 HAS SOPS 80238 HAS SOUS 74759 HAS SOUPS 74759 WITH SCORE 74839.238
AT ITER 7591 NEW BEST:: SOT 941621 SOS 80259 HAS SOPS 80259 HAS SOUS 74758 HAS SOUPS 74758 WITH SCORE 74838.259
AT ITER 7607 NEW BEST:: SOT 941648 SOS 80256 HAS SOPS 80256 HAS SOUS 74755 HAS SOUPS 74755 WITH SCORE 74835.256
AT ITER 7608 NEW BEST:: SOT 941629 SOS 80236 HAS SOPS 80236 HAS SOUS 74754 HAS SOUPS 74754 WITH SCORE 74834.236
AT ITER 7697 NEW BEST:: SOT 941629 SOS 80214 HAS SOPS 80214 HAS SOUS 74732 HAS SOUPS 74732 WITH SCORE 74812.214
AT ITER 7700 NEW BEST:: SOT 941627 SOS 80208 HAS SOPS 80208 HAS SOUS 74726 HAS SOUPS 74726 WITH SCORE 74806.208
AT ITER 7747 NEW BEST:: SOT 941528 SOS 80083 HAS SOPS 80083 HAS SOUS 74601 HAS SOUPS 74601 WITH SCORE 74681.083
AT ITER 7748 NEW BEST:: SOT 941527 SOS 80024 HAS SOPS 80024 HAS SOUS 74599 HAS SOUPS 74599 WITH SCORE 74679.024
AT ITER 7782 NEW BEST:: SOT 941496 SOS 79988 HAS SOPS 79988 HAS SOUS 74563 HAS SOUPS 74563 WITH SCORE 74642.988
AT ITER 7862 NEW BEST:: SOT 941464 SOS 79956 HAS SOPS 79956 HAS SOUS 74531 HAS SOUPS 74531 WITH SCORE 74610.956
AT ITER 7888 NEW BEST:: SOT 941464 SOS 79955 HAS SOPS 79955 HAS SOUS 74530 HAS SOUPS 74530 WITH SCORE 74609.955
AT ITER 7943 NEW BEST:: SOT 941464 SOS 79953 HAS SOPS 79953 HAS SOUS 74528 HAS SOUPS 74528 WITH SCORE 74607.953
AT ITER 7971 NEW BEST:: SOT 941430 SOS 79919 HAS SOPS 79919 HAS SOUS 74494 HAS SOUPS 74494 WITH SCORE 74573.919
AT ITER 7998 NEW BEST:: SOT 941439 SOS 79894 HAS SOPS 79894 HAS SOUS 74435 HAS SOUPS 74435 WITH SCORE 74514.894
AT ITER 8015 NEW BEST:: SOT 941439 SOS 79873 HAS SOPS 79873 HAS SOUS 74366 HAS SOUPS 74366 WITH SCORE 74445.873
AT ITER 8022 NEW BEST:: SOT 941424 SOS 79828 HAS SOPS 79828 HAS SOUS 74321 HAS SOUPS 74321 WITH SCORE 74400.828
AT ITER 8091 NEW BEST:: SOT 941377 SOS 79781 HAS SOPS 79781 HAS SOUS 74274 HAS SOUPS 74274 WITH SCORE 74353.781
AT ITER 8110 NEW BEST:: SOT 941377 SOS 79776 HAS SOPS 79776 HAS SOUS 74269 HAS SOUPS 74269 WITH SCORE 74348.776
AT ITER 8142 NEW BEST:: SOT 941360 SOS 79808 HAS SOPS 79808 HAS SOUS 74252 HAS SOUPS 74252 WITH SCORE 74331.808
AT ITER 8198 NEW BEST:: SOT 941360 SOS 79768 HAS SOPS 79768 HAS SOUS 74212 HAS SOUPS 74212 WITH SCORE 74291.768
AT ITER 8217 NEW BEST:: SOT 941360 SOS 79768 HAS SOPS 79768 HAS SOUS 74211 HAS SOUPS 74211 WITH SCORE 74290.768
AT ITER 8265 NEW BEST:: SOT 941329 SOS 79625 HAS SOPS 79625 HAS SOUS 74124 HAS SOUPS 74124 WITH SCORE 74203.625
AT ITER 8307 NEW BEST:: SOT 941329 SOS 79616 HAS SOPS 79616 HAS SOUS 74124 HAS SOUPS 74124 WITH SCORE 74203.616
AT ITER 8328 NEW BEST:: SOT 941315 SOS 79597 HAS SOPS 79597 HAS SOUS 74104 HAS SOUPS 74104 WITH SCORE 74183.597
AT ITER 8329 NEW BEST:: SOT 941309 SOS 79541 HAS SOPS 79541 HAS SOUS 74048 HAS SOUPS 74048 WITH SCORE 74127.541
AT ITER 8373 NEW BEST:: SOT 941309 SOS 79537 HAS SOPS 79537 HAS SOUS 74044 HAS SOUPS 74044 WITH SCORE 74123.537
AT ITER 8386 NEW BEST:: SOT 941309 SOS 79532 HAS SOPS 79532 HAS SOUS 74044 HAS SOUPS 74044 WITH SCORE 74123.532
AT ITER 8485 NEW BEST:: SOT 941304 SOS 79526 HAS SOPS 79526 HAS SOUS 74038 HAS SOUPS 74038 WITH SCORE 74117.526
AT ITER 8510 NEW BEST:: SOT 941278 SOS 79500 HAS SOPS 79500 HAS SOUS 74012 HAS SOUPS 74012 WITH SCORE 74091.5
AT ITER 8547 NEW BEST:: SOT 941235 SOS 79435 HAS SOPS 79435 HAS SOUS 73947 HAS SOUPS 73947 WITH SCORE 74026.435
AT ITER 8591 NEW BEST:: SOT 941230 SOS 79480 HAS SOPS 79480 HAS SOUS 73941 HAS SOUPS 73941 WITH SCORE 74020.48
AT ITER 8650 NEW BEST:: SOT 941230 SOS 79480 HAS SOPS 79480 HAS SOUS 73940 HAS SOUPS 73940 WITH SCORE 74019.48
AT ITER 8688 NEW BEST:: SOT 941175 SOS 79331 HAS SOPS 79331 HAS SOUS 73846 HAS SOUPS 73846 WITH SCORE 73925.331
AT ITER 8728 NEW BEST:: SOT 941137 SOS 79255 HAS SOPS 79255 HAS SOUS 73770 HAS SOUPS 73770 WITH SCORE 73849.255
AT ITER 8736 NEW BEST:: SOT 941120 SOS 79221 HAS SOPS 79221 HAS SOUS 73757 HAS SOUPS 73757 WITH SCORE 73836.221
AT ITER 8802 NEW BEST:: SOT 941120 SOS 79199 HAS SOPS 79199 HAS SOUS 73735 HAS SOUPS 73735 WITH SCORE 73814.199
AT ITER 8809 NEW BEST:: SOT 941120 SOS 79193 HAS SOPS 79193 HAS SOUS 73729 HAS SOUPS 73729 WITH SCORE 73808.193
AT ITER 8819 NEW BEST:: SOT 941120 SOS 79173 HAS SOPS 79173 HAS SOUS 73709 HAS SOUPS 73709 WITH SCORE 73788.173
AT ITER 8895 NEW BEST:: SOT 941081 SOS 79074 HAS SOPS 79074 HAS SOUS 73631 HAS SOUPS 73631 WITH SCORE 73710.074
AT ITER 8911 NEW BEST:: SOT 941075 SOS 79026 HAS SOPS 79026 HAS SOUS 73619 HAS SOUPS 73619 WITH SCORE 73698.026
AT ITER 8972 NEW BEST:: SOT 940978 SOS 78991 HAS SOPS 78991 HAS SOUS 73590 HAS SOUPS 73590 WITH SCORE 73668.991
AT ITER 8974 NEW BEST:: SOT 940974 SOS 78980 HAS SOPS 78980 HAS SOUS 73579 HAS SOUPS 73579 WITH SCORE 73657.98
AT ITER 8994 NEW BEST:: SOT 940937 SOS 78861 HAS SOPS 78861 HAS SOUS 73527 HAS SOUPS 73527 WITH SCORE 73605.861
AT ITER 9043 NEW BEST:: SOT 940940 SOS 78867 HAS SOPS 78867 HAS SOUS 73489 HAS SOUPS 73489 WITH SCORE 73567.867
AT ITER 9049 NEW BEST:: SOT 940922 SOS 78877 HAS SOPS 78877 HAS SOUS 73481 HAS SOUPS 73481 WITH SCORE 73559.877
AT ITER 9053 NEW BEST:: SOT 940922 SOS 78876 HAS SOPS 78876 HAS SOUS 73480 HAS SOUPS 73480 WITH SCORE 73558.876
AT ITER 9056 NEW BEST:: SOT 940879 SOS 78825 HAS SOPS 78825 HAS SOUS 73429 HAS SOUPS 73429 WITH SCORE 73507.825
AT ITER 9101 NEW BEST:: SOT 940879 SOS 78809 HAS SOPS 78809 HAS SOUS 73413 HAS SOUPS 73413 WITH SCORE 73491.809
AT ITER 9119 NEW BEST:: SOT 940873 SOS 78799 HAS SOPS 78799 HAS SOUS 73407 HAS SOUPS 73407 WITH SCORE 73485.799
AT ITER 9134 NEW BEST:: SOT 940873 SOS 78791 HAS SOPS 78791 HAS SOUS 73407 HAS SOUPS 73407 WITH SCORE 73485.791
AT ITER 9140 NEW BEST:: SOT 940873 SOS 78791 HAS SOPS 78791 HAS SOUS 73401 HAS SOUPS 73401 WITH SCORE 73479.791
AT ITER 9219 NEW BEST:: SOT 940873 SOS 78822 HAS SOPS 78822 HAS SOUS 73400 HAS SOUPS 73400 WITH SCORE 73478.822
AT ITER 9250 NEW BEST:: SOT 940865 SOS 78716 HAS SOPS 78716 HAS SOUS 73333 HAS SOUPS 73333 WITH SCORE 73411.716
AT ITER 9289 NEW BEST:: SOT 940865 SOS 78661 HAS SOPS 78661 HAS SOUS 73278 HAS SOUPS 73278 WITH SCORE 73356.661
AT ITER 9319 NEW BEST:: SOT 940851 SOS 78659 HAS SOPS 78659 HAS SOUS 73258 HAS SOUPS 73258 WITH SCORE 73336.659
AT ITER 9339 NEW BEST:: SOT 940849 SOS 78655 HAS SOPS 78655 HAS SOUS 73251 HAS SOUPS 73251 WITH SCORE 73329.655
AT ITER 9368 NEW BEST:: SOT 940861 SOS 78636 HAS SOPS 78636 HAS SOUS 73232 HAS SOUPS 73232 WITH SCORE 73310.636
AT ITER 9387 NEW BEST:: SOT 940881 SOS 78677 HAS SOPS 78677 HAS SOUS 73219 HAS SOUPS 73219 WITH SCORE 73297.677
AT ITER 9401 NEW BEST:: SOT 940858 SOS 78654 HAS SOPS 78654 HAS SOUS 73219 HAS SOUPS 73219 WITH SCORE 73297.654
AT ITER 9440 NEW BEST:: SOT 940806 SOS 78463 HAS SOPS 78463 HAS SOUS 73116 HAS SOUPS 73116 WITH SCORE 73194.463
AT ITER 9444 NEW BEST:: SOT 940806 SOS 78457 HAS SOPS 78457 HAS SOUS 73110 HAS SOUPS 73110 WITH SCORE 73188.457
AT ITER 9453 NEW BEST:: SOT 940806 SOS 78421 HAS SOPS 78421 HAS SOUS 73074 HAS SOUPS 73074 WITH SCORE 73152.421
AT ITER 9552 NEW BEST:: SOT 940782 SOS 78397 HAS SOPS 78397 HAS SOUS 73050 HAS SOUPS 73050 WITH SCORE 73128.397
AT ITER 9591 NEW BEST:: SOT 940825 SOS 78440 HAS SOPS 78440 HAS SOUS 73046 HAS SOUPS 73046 WITH SCORE 73124.44
AT ITER 9630 NEW BEST:: SOT 940825 SOS 78408 HAS SOPS 78408 HAS SOUS 73014 HAS SOUPS 73014 WITH SCORE 73092.408
AT ITER 9675 NEW BEST:: SOT 940831 SOS 78375 HAS SOPS 78375 HAS SOUS 72957 HAS SOUPS 72957 WITH SCORE 73035.375
AT ITER 9711 NEW BEST:: SOT 940838 SOS 78360 HAS SOPS 78360 HAS SOUS 72942 HAS SOUPS 72942 WITH SCORE 73020.36
AT ITER 9756 NEW BEST:: SOT 940838 SOS 78360 HAS SOPS 78360 HAS SOUS 72927 HAS SOUPS 72927 WITH SCORE 73005.36
AT ITER 9768 NEW BEST:: SOT 940838 SOS 78359 HAS SOPS 78359 HAS SOUS 72926 HAS SOUPS 72926 WITH SCORE 73004.359
AT ITER 9925 NEW BEST:: SOT 940821 SOS 78325 HAS SOPS 78325 HAS SOUS 72909 HAS SOUPS 72909 WITH SCORE 72987.325
AT ITER 9938 NEW BEST:: SOT 940797 SOS 78253 HAS SOPS 78253 HAS SOUS 72837 HAS SOUPS 72837 WITH SCORE 72915.253
AT ITER 9956 NEW BEST:: SOT 940779 SOS 78140 HAS SOPS 78140 HAS SOUS 72758 HAS SOUPS 72758 WITH SCORE 72836.14
AT ITER 9968 NEW BEST:: SOT 940779 SOS 78137 HAS SOPS 78137 HAS SOUS 72755 HAS SOUPS 72755 WITH SCORE 72833.137
AT ITER 9998 NEW BEST:: SOT 940762 SOS 78136 HAS SOPS 78136 HAS SOUS 72754 HAS SOUPS 72754 WITH SCORE 72832.136
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 7942160 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16152164 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-020B"
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-020B, 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-167903711600288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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