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-167903711800448.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldPPPs-PT-010B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711800448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 632K
-rw-r--r-- 1 mcc users 7.1K Feb 26 02:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 02:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 02:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 02:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 26 02:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 02:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 02:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 172K 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 1679064133238

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPs-PT-010B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (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: 683 places, 633 transitions, 1746 arcs.
AT ITER 0 NEW BEST:: SOT 230892 SOS 38199 HAS SOPS 38199 HAS SOUS 35193 HAS SOUPS 35193 WITH SCORE 35231.199
AT ITER 2 NEW BEST:: SOT 230856 SOS 38163 HAS SOPS 38163 HAS SOUS 35157 HAS SOUPS 35157 WITH SCORE 35195.163
AT ITER 8 NEW BEST:: SOT 230829 SOS 37917 HAS SOPS 37917 HAS SOUS 35066 HAS SOUPS 35066 WITH SCORE 35103.917
AT ITER 28 NEW BEST:: SOT 230819 SOS 37886 HAS SOPS 37886 HAS SOUS 35028 HAS SOUPS 35028 WITH SCORE 35065.886
AT ITER 41 NEW BEST:: SOT 230793 SOS 37625 HAS SOPS 37625 HAS SOUS 34916 HAS SOUPS 34916 WITH SCORE 34953.625
AT ITER 69 NEW BEST:: SOT 230790 SOS 37636 HAS SOPS 37636 HAS SOUS 34913 HAS SOUPS 34913 WITH SCORE 34950.636
AT ITER 79 NEW BEST:: SOT 230804 SOS 37616 HAS SOPS 37616 HAS SOUS 34891 HAS SOUPS 34891 WITH SCORE 34928.616
AT ITER 83 NEW BEST:: SOT 230788 SOS 37584 HAS SOPS 37584 HAS SOUS 34859 HAS SOUPS 34859 WITH SCORE 34896.584
AT ITER 100 NEW BEST:: SOT 230784 SOS 37570 HAS SOPS 37570 HAS SOUS 34846 HAS SOUPS 34846 WITH SCORE 34883.57
AT ITER 147 NEW BEST:: SOT 230783 SOS 37569 HAS SOPS 37569 HAS SOUS 34831 HAS SOUPS 34831 WITH SCORE 34868.569
AT ITER 159 NEW BEST:: SOT 230802 SOS 37411 HAS SOPS 37411 HAS SOUS 34801 HAS SOUPS 34801 WITH SCORE 34838.411
AT ITER 171 NEW BEST:: SOT 230802 SOS 37403 HAS SOPS 37403 HAS SOUS 34793 HAS SOUPS 34793 WITH SCORE 34830.403
AT ITER 204 NEW BEST:: SOT 230767 SOS 37344 HAS SOPS 37344 HAS SOUS 34735 HAS SOUPS 34735 WITH SCORE 34772.344
AT ITER 214 NEW BEST:: SOT 230767 SOS 37343 HAS SOPS 37343 HAS SOUS 34734 HAS SOUPS 34734 WITH SCORE 34771.343
AT ITER 238 NEW BEST:: SOT 230735 SOS 37303 HAS SOPS 37303 HAS SOUS 34734 HAS SOUPS 34734 WITH SCORE 34771.303
AT ITER 282 NEW BEST:: SOT 230721 SOS 37229 HAS SOPS 37229 HAS SOUS 34697 HAS SOUPS 34697 WITH SCORE 34734.229
AT ITER 317 NEW BEST:: SOT 230706 SOS 37177 HAS SOPS 37177 HAS SOUS 34660 HAS SOUPS 34660 WITH SCORE 34697.177
AT ITER 319 NEW BEST:: SOT 230635 SOS 37147 HAS SOPS 37147 HAS SOUS 34630 HAS SOUPS 34630 WITH SCORE 34667.147
AT ITER 449 NEW BEST:: SOT 230635 SOS 37142 HAS SOPS 37142 HAS SOUS 34630 HAS SOUPS 34630 WITH SCORE 34667.142
AT ITER 456 NEW BEST:: SOT 230623 SOS 37112 HAS SOPS 37112 HAS SOUS 34588 HAS SOUPS 34588 WITH SCORE 34625.112
AT ITER 473 NEW BEST:: SOT 230621 SOS 37110 HAS SOPS 37110 HAS SOUS 34586 HAS SOUPS 34586 WITH SCORE 34623.11
AT ITER 512 NEW BEST:: SOT 230615 SOS 37104 HAS SOPS 37104 HAS SOUS 34580 HAS SOUPS 34580 WITH SCORE 34617.104
AT ITER 521 NEW BEST:: SOT 230613 SOS 37067 HAS SOPS 37067 HAS SOUS 34577 HAS SOUPS 34577 WITH SCORE 34614.067
AT ITER 527 NEW BEST:: SOT 230642 SOS 37076 HAS SOPS 37076 HAS SOUS 34554 HAS SOUPS 34554 WITH SCORE 34591.076
AT ITER 549 NEW BEST:: SOT 230631 SOS 37076 HAS SOPS 37076 HAS SOUS 34549 HAS SOUPS 34549 WITH SCORE 34586.076
AT ITER 576 NEW BEST:: SOT 230581 SOS 37005 HAS SOPS 37005 HAS SOUS 34478 HAS SOUPS 34478 WITH SCORE 34515.005
AT ITER 579 NEW BEST:: SOT 230581 SOS 37003 HAS SOPS 37003 HAS SOUS 34476 HAS SOUPS 34476 WITH SCORE 34513.003
AT ITER 581 NEW BEST:: SOT 230584 SOS 37041 HAS SOPS 37041 HAS SOUS 34470 HAS SOUPS 34470 WITH SCORE 34507.041
AT ITER 589 NEW BEST:: SOT 230603 SOS 37118 HAS SOPS 37118 HAS SOUS 34466 HAS SOUPS 34466 WITH SCORE 34503.118
AT ITER 620 NEW BEST:: SOT 230602 SOS 37117 HAS SOPS 37117 HAS SOUS 34465 HAS SOUPS 34465 WITH SCORE 34502.117
AT ITER 662 NEW BEST:: SOT 230557 SOS 37095 HAS SOPS 37095 HAS SOUS 34431 HAS SOUPS 34431 WITH SCORE 34468.095
AT ITER 753 NEW BEST:: SOT 230567 SOS 37089 HAS SOPS 37089 HAS SOUS 34425 HAS SOUPS 34425 WITH SCORE 34462.089
AT ITER 770 NEW BEST:: SOT 230590 SOS 37088 HAS SOPS 37088 HAS SOUS 34409 HAS SOUPS 34409 WITH SCORE 34446.088
AT ITER 785 NEW BEST:: SOT 230590 SOS 37121 HAS SOPS 37121 HAS SOUS 34401 HAS SOUPS 34401 WITH SCORE 34438.121
AT ITER 791 NEW BEST:: SOT 230540 SOS 37070 HAS SOPS 37070 HAS SOUS 34350 HAS SOUPS 34350 WITH SCORE 34387.07
AT ITER 798 NEW BEST:: SOT 230553 SOS 37076 HAS SOPS 37076 HAS SOUS 34348 HAS SOUPS 34348 WITH SCORE 34385.076
AT ITER 865 NEW BEST:: SOT 230553 SOS 37075 HAS SOPS 37075 HAS SOUS 34347 HAS SOUPS 34347 WITH SCORE 34384.075
AT ITER 872 NEW BEST:: SOT 230556 SOS 36880 HAS SOPS 36880 HAS SOUS 34329 HAS SOUPS 34329 WITH SCORE 34365.88
AT ITER 885 NEW BEST:: SOT 230548 SOS 36862 HAS SOPS 36862 HAS SOUS 34311 HAS SOUPS 34311 WITH SCORE 34347.862
AT ITER 945 NEW BEST:: SOT 230502 SOS 36819 HAS SOPS 36819 HAS SOUS 34268 HAS SOUPS 34268 WITH SCORE 34304.819
AT ITER 1024 NEW BEST:: SOT 230502 SOS 36778 HAS SOPS 36778 HAS SOUS 34258 HAS SOUPS 34258 WITH SCORE 34294.778
AT ITER 1037 NEW BEST:: SOT 230502 SOS 36777 HAS SOPS 36777 HAS SOUS 34257 HAS SOUPS 34257 WITH SCORE 34293.777
AT ITER 1053 NEW BEST:: SOT 230495 SOS 36757 HAS SOPS 36757 HAS SOUS 34237 HAS SOUPS 34237 WITH SCORE 34273.757
AT ITER 1165 NEW BEST:: SOT 230491 SOS 36745 HAS SOPS 36745 HAS SOUS 34229 HAS SOUPS 34229 WITH SCORE 34265.745
AT ITER 1169 NEW BEST:: SOT 230491 SOS 36737 HAS SOPS 36737 HAS SOUS 34221 HAS SOUPS 34221 WITH SCORE 34257.737
AT ITER 1174 NEW BEST:: SOT 230454 SOS 36729 HAS SOPS 36729 HAS SOUS 34213 HAS SOUPS 34213 WITH SCORE 34249.729
AT ITER 1224 NEW BEST:: SOT 230450 SOS 36688 HAS SOPS 36688 HAS SOUS 34173 HAS SOUPS 34173 WITH SCORE 34209.688
AT ITER 1255 NEW BEST:: SOT 230384 SOS 36655 HAS SOPS 36655 HAS SOUS 34140 HAS SOUPS 34140 WITH SCORE 34176.655
AT ITER 1318 NEW BEST:: SOT 230348 SOS 36620 HAS SOPS 36620 HAS SOUS 34104 HAS SOUPS 34104 WITH SCORE 34140.62
AT ITER 1330 NEW BEST:: SOT 230356 SOS 36615 HAS SOPS 36615 HAS SOUS 34099 HAS SOUPS 34099 WITH SCORE 34135.615
AT ITER 1393 NEW BEST:: SOT 230352 SOS 36612 HAS SOPS 36612 HAS SOUS 34098 HAS SOUPS 34098 WITH SCORE 34134.612
AT ITER 1403 NEW BEST:: SOT 230352 SOS 36601 HAS SOPS 36601 HAS SOUS 34087 HAS SOUPS 34087 WITH SCORE 34123.601
AT ITER 1423 NEW BEST:: SOT 230310 SOS 36573 HAS SOPS 36573 HAS SOUS 34059 HAS SOUPS 34059 WITH SCORE 34095.573
AT ITER 1451 NEW BEST:: SOT 230310 SOS 36611 HAS SOPS 36611 HAS SOUS 34021 HAS SOUPS 34021 WITH SCORE 34057.611
AT ITER 1539 NEW BEST:: SOT 230308 SOS 36605 HAS SOPS 36605 HAS SOUS 34015 HAS SOUPS 34015 WITH SCORE 34051.605
AT ITER 1543 NEW BEST:: SOT 230308 SOS 36599 HAS SOPS 36599 HAS SOUS 34009 HAS SOUPS 34009 WITH SCORE 34045.599
AT ITER 1547 NEW BEST:: SOT 230291 SOS 36609 HAS SOPS 36609 HAS SOUS 33973 HAS SOUPS 33973 WITH SCORE 34009.609
AT ITER 1570 NEW BEST:: SOT 230295 SOS 36585 HAS SOPS 36585 HAS SOUS 33884 HAS SOUPS 33884 WITH SCORE 33920.585
AT ITER 1571 NEW BEST:: SOT 230240 SOS 36577 HAS SOPS 36577 HAS SOUS 33877 HAS SOUPS 33877 WITH SCORE 33913.577
AT ITER 1634 NEW BEST:: SOT 230210 SOS 36572 HAS SOPS 36572 HAS SOUS 33821 HAS SOUPS 33821 WITH SCORE 33857.572
AT ITER 1651 NEW BEST:: SOT 230203 SOS 36565 HAS SOPS 36565 HAS SOUS 33814 HAS SOUPS 33814 WITH SCORE 33850.565
AT ITER 1677 NEW BEST:: SOT 230201 SOS 36561 HAS SOPS 36561 HAS SOUS 33812 HAS SOUPS 33812 WITH SCORE 33848.561
AT ITER 1749 NEW BEST:: SOT 230201 SOS 36535 HAS SOPS 36535 HAS SOUS 33812 HAS SOUPS 33812 WITH SCORE 33848.535
AT ITER 1775 NEW BEST:: SOT 230214 SOS 36512 HAS SOPS 36512 HAS SOUS 33790 HAS SOUPS 33790 WITH SCORE 33826.512
AT ITER 1787 NEW BEST:: SOT 230160 SOS 36493 HAS SOPS 36493 HAS SOUS 33747 HAS SOUPS 33747 WITH SCORE 33783.493
AT ITER 1839 NEW BEST:: SOT 230173 SOS 36477 HAS SOPS 36477 HAS SOUS 33743 HAS SOUPS 33743 WITH SCORE 33779.477
AT ITER 1844 NEW BEST:: SOT 230113 SOS 36445 HAS SOPS 36445 HAS SOUS 33715 HAS SOUPS 33715 WITH SCORE 33751.445
AT ITER 1865 NEW BEST:: SOT 230108 SOS 36444 HAS SOPS 36444 HAS SOUS 33710 HAS SOUPS 33710 WITH SCORE 33746.444
AT ITER 1873 NEW BEST:: SOT 230080 SOS 36443 HAS SOPS 36443 HAS SOUS 33707 HAS SOUPS 33707 WITH SCORE 33743.443
AT ITER 1878 NEW BEST:: SOT 230015 SOS 36378 HAS SOPS 36378 HAS SOUS 33620 HAS SOUPS 33620 WITH SCORE 33656.378
AT ITER 1974 NEW BEST:: SOT 230015 SOS 36378 HAS SOPS 36378 HAS SOUS 33619 HAS SOUPS 33619 WITH SCORE 33655.378
AT ITER 1980 NEW BEST:: SOT 229981 SOS 36388 HAS SOPS 36388 HAS SOUS 33574 HAS SOUPS 33574 WITH SCORE 33610.388
AT ITER 1989 NEW BEST:: SOT 229982 SOS 36388 HAS SOPS 36388 HAS SOUS 33573 HAS SOUPS 33573 WITH SCORE 33609.388
AT ITER 2021 NEW BEST:: SOT 229946 SOS 36333 HAS SOPS 36333 HAS SOUS 33537 HAS SOUPS 33537 WITH SCORE 33573.333
AT ITER 2036 NEW BEST:: SOT 229954 SOS 36352 HAS SOPS 36352 HAS SOUS 33523 HAS SOUPS 33523 WITH SCORE 33559.352
AT ITER 2038 NEW BEST:: SOT 229954 SOS 36353 HAS SOPS 36353 HAS SOUS 33522 HAS SOUPS 33522 WITH SCORE 33558.353
AT ITER 2068 NEW BEST:: SOT 229940 SOS 36079 HAS SOPS 36079 HAS SOUS 33463 HAS SOUPS 33463 WITH SCORE 33499.079
AT ITER 2070 NEW BEST:: SOT 229889 SOS 36028 HAS SOPS 36028 HAS SOUS 33424 HAS SOUPS 33424 WITH SCORE 33460.028
AT ITER 2071 NEW BEST:: SOT 229883 SOS 36054 HAS SOPS 36054 HAS SOUS 33347 HAS SOUPS 33347 WITH SCORE 33383.054
AT ITER 2348 NEW BEST:: SOT 229869 SOS 36044 HAS SOPS 36044 HAS SOUS 33342 HAS SOUPS 33342 WITH SCORE 33378.044
AT ITER 2352 NEW BEST:: SOT 229869 SOS 36043 HAS SOPS 36043 HAS SOUS 33341 HAS SOUPS 33341 WITH SCORE 33377.043
AT ITER 2371 NEW BEST:: SOT 229809 SOS 36031 HAS SOPS 36031 HAS SOUS 33329 HAS SOUPS 33329 WITH SCORE 33365.031
AT ITER 2436 NEW BEST:: SOT 229837 SOS 36055 HAS SOPS 36055 HAS SOUS 33321 HAS SOUPS 33321 WITH SCORE 33357.055
AT ITER 2443 NEW BEST:: SOT 229827 SOS 36117 HAS SOPS 36117 HAS SOUS 33315 HAS SOUPS 33315 WITH SCORE 33351.117
AT ITER 2476 NEW BEST:: SOT 229815 SOS 36068 HAS SOPS 36068 HAS SOUS 33278 HAS SOUPS 33278 WITH SCORE 33314.068
AT ITER 2483 NEW BEST:: SOT 229751 SOS 35988 HAS SOPS 35988 HAS SOUS 33198 HAS SOUPS 33198 WITH SCORE 33233.988
AT ITER 2530 NEW BEST:: SOT 229748 SOS 35982 HAS SOPS 35982 HAS SOUS 33192 HAS SOUPS 33192 WITH SCORE 33227.982
AT ITER 2551 NEW BEST:: SOT 229748 SOS 35970 HAS SOPS 35970 HAS SOUS 33192 HAS SOUPS 33192 WITH SCORE 33227.97
AT ITER 2561 NEW BEST:: SOT 229746 SOS 35968 HAS SOPS 35968 HAS SOUS 33190 HAS SOUPS 33190 WITH SCORE 33225.968
AT ITER 2586 NEW BEST:: SOT 229754 SOS 35974 HAS SOPS 35974 HAS SOUS 33188 HAS SOUPS 33188 WITH SCORE 33223.974
AT ITER 2600 NEW BEST:: SOT 229754 SOS 35973 HAS SOPS 35973 HAS SOUS 33187 HAS SOUPS 33187 WITH SCORE 33222.973
AT ITER 2602 NEW BEST:: SOT 229721 SOS 35907 HAS SOPS 35907 HAS SOUS 33139 HAS SOUPS 33139 WITH SCORE 33174.907
AT ITER 2619 NEW BEST:: SOT 229634 SOS 35876 HAS SOPS 35876 HAS SOUS 33108 HAS SOUPS 33108 WITH SCORE 33143.876
AT ITER 2650 NEW BEST:: SOT 229636 SOS 35869 HAS SOPS 35869 HAS SOUS 33099 HAS SOUPS 33099 WITH SCORE 33134.869
AT ITER 2693 NEW BEST:: SOT 229608 SOS 35813 HAS SOPS 35813 HAS SOUS 33058 HAS SOUPS 33058 WITH SCORE 33093.813
AT ITER 2696 NEW BEST:: SOT 229603 SOS 35806 HAS SOPS 35806 HAS SOUS 33053 HAS SOUPS 33053 WITH SCORE 33088.806
AT ITER 2715 NEW BEST:: SOT 229571 SOS 35758 HAS SOPS 35758 HAS SOUS 33021 HAS SOUPS 33021 WITH SCORE 33056.758
AT ITER 2724 NEW BEST:: SOT 229534 SOS 35721 HAS SOPS 35721 HAS SOUS 32985 HAS SOUPS 32985 WITH SCORE 33020.721
AT ITER 2736 NEW BEST:: SOT 229534 SOS 35721 HAS SOPS 35721 HAS SOUS 32974 HAS SOUPS 32974 WITH SCORE 33009.721
AT ITER 2789 NEW BEST:: SOT 229507 SOS 35775 HAS SOPS 35775 HAS SOUS 32967 HAS SOUPS 32967 WITH SCORE 33002.775
AT ITER 2875 NEW BEST:: SOT 229499 SOS 35761 HAS SOPS 35761 HAS SOUS 32959 HAS SOUPS 32959 WITH SCORE 32994.761
AT ITER 2949 NEW BEST:: SOT 229498 SOS 35566 HAS SOPS 35566 HAS SOUS 32918 HAS SOUPS 32918 WITH SCORE 32953.566
AT ITER 3004 NEW BEST:: SOT 229454 SOS 35423 HAS SOPS 35423 HAS SOUS 32810 HAS SOUPS 32810 WITH SCORE 32845.423
AT ITER 3009 NEW BEST:: SOT 229404 SOS 35427 HAS SOPS 35427 HAS SOUS 32722 HAS SOUPS 32722 WITH SCORE 32757.427
AT ITER 3016 NEW BEST:: SOT 229404 SOS 35400 HAS SOPS 35400 HAS SOUS 32722 HAS SOUPS 32722 WITH SCORE 32757.4
AT ITER 3040 NEW BEST:: SOT 229404 SOS 35390 HAS SOPS 35390 HAS SOUS 32722 HAS SOUPS 32722 WITH SCORE 32757.39
AT ITER 3067 NEW BEST:: SOT 229390 SOS 35355 HAS SOPS 35355 HAS SOUS 32675 HAS SOUPS 32675 WITH SCORE 32710.355
AT ITER 3075 NEW BEST:: SOT 229315 SOS 35303 HAS SOPS 35303 HAS SOUS 32635 HAS SOUPS 32635 WITH SCORE 32670.303
AT ITER 3158 NEW BEST:: SOT 229308 SOS 35285 HAS SOPS 35285 HAS SOUS 32617 HAS SOUPS 32617 WITH SCORE 32652.285
AT ITER 3164 NEW BEST:: SOT 229264 SOS 35249 HAS SOPS 35249 HAS SOUS 32581 HAS SOUPS 32581 WITH SCORE 32616.249
AT ITER 3166 NEW BEST:: SOT 229220 SOS 35190 HAS SOPS 35190 HAS SOUS 32522 HAS SOUPS 32522 WITH SCORE 32557.19
AT ITER 3194 NEW BEST:: SOT 229203 SOS 35137 HAS SOPS 35137 HAS SOUS 32476 HAS SOUPS 32476 WITH SCORE 32511.137
AT ITER 3233 NEW BEST:: SOT 229203 SOS 35123 HAS SOPS 35123 HAS SOUS 32462 HAS SOUPS 32462 WITH SCORE 32497.123
AT ITER 3255 NEW BEST:: SOT 229186 SOS 35094 HAS SOPS 35094 HAS SOUS 32433 HAS SOUPS 32433 WITH SCORE 32468.094
AT ITER 3323 NEW BEST:: SOT 229192 SOS 35077 HAS SOPS 35077 HAS SOUS 32431 HAS SOUPS 32431 WITH SCORE 32466.077
AT ITER 3479 NEW BEST:: SOT 229150 SOS 35056 HAS SOPS 35056 HAS SOUS 32410 HAS SOUPS 32410 WITH SCORE 32445.056
AT ITER 3527 NEW BEST:: SOT 229104 SOS 35024 HAS SOPS 35024 HAS SOUS 32378 HAS SOUPS 32378 WITH SCORE 32413.024
AT ITER 3570 NEW BEST:: SOT 229103 SOS 35023 HAS SOPS 35023 HAS SOUS 32376 HAS SOUPS 32376 WITH SCORE 32411.023
AT ITER 3605 NEW BEST:: SOT 229093 SOS 35019 HAS SOPS 35019 HAS SOUS 32358 HAS SOUPS 32358 WITH SCORE 32393.019
AT ITER 3642 NEW BEST:: SOT 229096 SOS 35023 HAS SOPS 35023 HAS SOUS 32350 HAS SOUPS 32350 WITH SCORE 32385.023
AT ITER 3682 NEW BEST:: SOT 229092 SOS 35019 HAS SOPS 35019 HAS SOUS 32346 HAS SOUPS 32346 WITH SCORE 32381.019
AT ITER 3687 NEW BEST:: SOT 229089 SOS 35022 HAS SOPS 35022 HAS SOUS 32343 HAS SOUPS 32343 WITH SCORE 32378.022
AT ITER 3734 NEW BEST:: SOT 229056 SOS 34956 HAS SOPS 34956 HAS SOUS 32295 HAS SOUPS 32295 WITH SCORE 32329.956
AT ITER 3747 NEW BEST:: SOT 229032 SOS 34902 HAS SOPS 34902 HAS SOUS 32265 HAS SOUPS 32265 WITH SCORE 32299.902
AT ITER 3807 NEW BEST:: SOT 229034 SOS 34883 HAS SOPS 34883 HAS SOUS 32248 HAS SOUPS 32248 WITH SCORE 32282.883
AT ITER 3885 NEW BEST:: SOT 229021 SOS 34870 HAS SOPS 34870 HAS SOUS 32235 HAS SOUPS 32235 WITH SCORE 32269.87
AT ITER 3903 NEW BEST:: SOT 228994 SOS 34814 HAS SOPS 34814 HAS SOUS 32179 HAS SOUPS 32179 WITH SCORE 32213.814
AT ITER 3970 NEW BEST:: SOT 228976 SOS 34778 HAS SOPS 34778 HAS SOUS 32143 HAS SOUPS 32143 WITH SCORE 32177.778
AT ITER 4009 NEW BEST:: SOT 228976 SOS 34780 HAS SOPS 34780 HAS SOUS 32140 HAS SOUPS 32140 WITH SCORE 32174.78
AT ITER 4037 NEW BEST:: SOT 228976 SOS 34761 HAS SOPS 34761 HAS SOUS 32121 HAS SOUPS 32121 WITH SCORE 32155.761
AT ITER 4041 NEW BEST:: SOT 228965 SOS 34718 HAS SOPS 34718 HAS SOUS 32116 HAS SOUPS 32116 WITH SCORE 32150.718
AT ITER 4063 NEW BEST:: SOT 228937 SOS 34690 HAS SOPS 34690 HAS SOUS 32088 HAS SOUPS 32088 WITH SCORE 32122.69
AT ITER 4092 NEW BEST:: SOT 228947 SOS 34639 HAS SOPS 34639 HAS SOUS 32070 HAS SOUPS 32070 WITH SCORE 32104.639
AT ITER 4093 NEW BEST:: SOT 228947 SOS 34635 HAS SOPS 34635 HAS SOUS 32069 HAS SOUPS 32069 WITH SCORE 32103.635
AT ITER 4094 NEW BEST:: SOT 228938 SOS 34640 HAS SOPS 34640 HAS SOUS 32037 HAS SOUPS 32037 WITH SCORE 32071.64
AT ITER 4128 NEW BEST:: SOT 228943 SOS 34651 HAS SOPS 34651 HAS SOUS 32021 HAS SOUPS 32021 WITH SCORE 32055.651
AT ITER 4196 NEW BEST:: SOT 228937 SOS 34629 HAS SOPS 34629 HAS SOUS 32015 HAS SOUPS 32015 WITH SCORE 32049.629
AT ITER 4207 NEW BEST:: SOT 228917 SOS 34628 HAS SOPS 34628 HAS SOUS 32014 HAS SOUPS 32014 WITH SCORE 32048.628
AT ITER 4297 NEW BEST:: SOT 228891 SOS 34610 HAS SOPS 34610 HAS SOUS 31996 HAS SOUPS 31996 WITH SCORE 32030.61
AT ITER 4366 NEW BEST:: SOT 228891 SOS 34605 HAS SOPS 34605 HAS SOUS 31986 HAS SOUPS 31986 WITH SCORE 32020.605
AT ITER 4375 NEW BEST:: SOT 228888 SOS 34596 HAS SOPS 34596 HAS SOUS 31980 HAS SOUPS 31980 WITH SCORE 32014.596
AT ITER 4471 NEW BEST:: SOT 228854 SOS 34558 HAS SOPS 34558 HAS SOUS 31946 HAS SOUPS 31946 WITH SCORE 31980.558
AT ITER 4519 NEW BEST:: SOT 228881 SOS 34576 HAS SOPS 34576 HAS SOUS 31928 HAS SOUPS 31928 WITH SCORE 31962.576
AT ITER 4537 NEW BEST:: SOT 228879 SOS 34570 HAS SOPS 34570 HAS SOUS 31923 HAS SOUPS 31923 WITH SCORE 31957.57
AT ITER 4578 NEW BEST:: SOT 228872 SOS 34563 HAS SOPS 34563 HAS SOUS 31916 HAS SOUPS 31916 WITH SCORE 31950.563
AT ITER 4585 NEW BEST:: SOT 228869 SOS 34560 HAS SOPS 34560 HAS SOUS 31913 HAS SOUPS 31913 WITH SCORE 31947.56
AT ITER 4642 NEW BEST:: SOT 228862 SOS 34553 HAS SOPS 34553 HAS SOUS 31851 HAS SOUPS 31851 WITH SCORE 31885.553
AT ITER 4649 NEW BEST:: SOT 228862 SOS 34481 HAS SOPS 34481 HAS SOUS 31819 HAS SOUPS 31819 WITH SCORE 31853.481
AT ITER 4660 NEW BEST:: SOT 228778 SOS 34439 HAS SOPS 34439 HAS SOUS 31777 HAS SOUPS 31777 WITH SCORE 31811.439
AT ITER 4700 NEW BEST:: SOT 228698 SOS 34416 HAS SOPS 34416 HAS SOUS 31744 HAS SOUPS 31744 WITH SCORE 31778.416
AT ITER 4713 NEW BEST:: SOT 228659 SOS 34415 HAS SOPS 34415 HAS SOUS 31743 HAS SOUPS 31743 WITH SCORE 31777.415
AT ITER 4738 NEW BEST:: SOT 228642 SOS 34381 HAS SOPS 34381 HAS SOUS 31709 HAS SOUPS 31709 WITH SCORE 31743.381
AT ITER 4763 NEW BEST:: SOT 228657 SOS 34373 HAS SOPS 34373 HAS SOUS 31701 HAS SOUPS 31701 WITH SCORE 31735.373
AT ITER 4808 NEW BEST:: SOT 228632 SOS 34312 HAS SOPS 34312 HAS SOUS 31676 HAS SOUPS 31676 WITH SCORE 31710.312
AT ITER 4813 NEW BEST:: SOT 228632 SOS 34292 HAS SOPS 34292 HAS SOUS 31656 HAS SOUPS 31656 WITH SCORE 31690.292
AT ITER 4852 NEW BEST:: SOT 228610 SOS 34248 HAS SOPS 34248 HAS SOUS 31612 HAS SOUPS 31612 WITH SCORE 31646.248
AT ITER 4922 NEW BEST:: SOT 228593 SOS 34251 HAS SOPS 34251 HAS SOUS 31595 HAS SOUPS 31595 WITH SCORE 31629.251
AT ITER 4931 NEW BEST:: SOT 228581 SOS 34239 HAS SOPS 34239 HAS SOUS 31580 HAS SOUPS 31580 WITH SCORE 31614.239
AT ITER 4997 NEW BEST:: SOT 228574 SOS 34221 HAS SOPS 34221 HAS SOUS 31569 HAS SOUPS 31569 WITH SCORE 31603.221
AT ITER 5022 NEW BEST:: SOT 228592 SOS 34200 HAS SOPS 34200 HAS SOUS 31549 HAS SOUPS 31549 WITH SCORE 31583.2
AT ITER 5134 NEW BEST:: SOT 228575 SOS 34166 HAS SOPS 34166 HAS SOUS 31532 HAS SOUPS 31532 WITH SCORE 31566.166
AT ITER 5217 NEW BEST:: SOT 228589 SOS 34124 HAS SOPS 34124 HAS SOUS 31530 HAS SOUPS 31530 WITH SCORE 31564.124
AT ITER 5279 NEW BEST:: SOT 228561 SOS 34096 HAS SOPS 34096 HAS SOUS 31530 HAS SOUPS 31530 WITH SCORE 31564.096
AT ITER 5284 NEW BEST:: SOT 228521 SOS 34056 HAS SOPS 34056 HAS SOUS 31490 HAS SOUPS 31490 WITH SCORE 31524.056
AT ITER 5317 NEW BEST:: SOT 228517 SOS 34031 HAS SOPS 34031 HAS SOUS 31473 HAS SOUPS 31473 WITH SCORE 31507.031
AT ITER 5331 NEW BEST:: SOT 228490 SOS 34020 HAS SOPS 34020 HAS SOUS 31431 HAS SOUPS 31431 WITH SCORE 31465.02
AT ITER 5408 NEW BEST:: SOT 228420 SOS 33955 HAS SOPS 33955 HAS SOUS 31325 HAS SOUPS 31325 WITH SCORE 31358.955
AT ITER 5446 NEW BEST:: SOT 228420 SOS 33940 HAS SOPS 33940 HAS SOUS 31325 HAS SOUPS 31325 WITH SCORE 31358.94
AT ITER 5512 NEW BEST:: SOT 228427 SOS 33923 HAS SOPS 33923 HAS SOUS 31322 HAS SOUPS 31322 WITH SCORE 31355.923
AT ITER 5540 NEW BEST:: SOT 228422 SOS 33940 HAS SOPS 33940 HAS SOUS 31317 HAS SOUPS 31317 WITH SCORE 31350.94
AT ITER 5665 NEW BEST:: SOT 228448 SOS 33992 HAS SOPS 33992 HAS SOUS 31310 HAS SOUPS 31310 WITH SCORE 31343.992
AT ITER 5676 NEW BEST:: SOT 228448 SOS 33988 HAS SOPS 33988 HAS SOUS 31310 HAS SOUPS 31310 WITH SCORE 31343.988
AT ITER 5712 NEW BEST:: SOT 228436 SOS 33985 HAS SOPS 33985 HAS SOUS 31307 HAS SOUPS 31307 WITH SCORE 31340.985
AT ITER 5716 NEW BEST:: SOT 228429 SOS 33976 HAS SOPS 33976 HAS SOUS 31304 HAS SOUPS 31304 WITH SCORE 31337.976
AT ITER 5734 NEW BEST:: SOT 228425 SOS 33972 HAS SOPS 33972 HAS SOUS 31296 HAS SOUPS 31296 WITH SCORE 31329.972
AT ITER 5756 NEW BEST:: SOT 228353 SOS 33900 HAS SOPS 33900 HAS SOUS 31224 HAS SOUPS 31224 WITH SCORE 31257.9
AT ITER 5761 NEW BEST:: SOT 228324 SOS 33875 HAS SOPS 33875 HAS SOUS 31199 HAS SOUPS 31199 WITH SCORE 31232.875
AT ITER 5763 NEW BEST:: SOT 228315 SOS 33860 HAS SOPS 33860 HAS SOUS 31176 HAS SOUPS 31176 WITH SCORE 31209.86
AT ITER 5767 NEW BEST:: SOT 228314 SOS 33859 HAS SOPS 33859 HAS SOUS 31175 HAS SOUPS 31175 WITH SCORE 31208.859
AT ITER 5776 NEW BEST:: SOT 228310 SOS 33854 HAS SOPS 33854 HAS SOUS 31170 HAS SOUPS 31170 WITH SCORE 31203.854
AT ITER 5784 NEW BEST:: SOT 228305 SOS 33844 HAS SOPS 33844 HAS SOUS 31160 HAS SOUPS 31160 WITH SCORE 31193.844
AT ITER 5792 NEW BEST:: SOT 228277 SOS 33792 HAS SOPS 33792 HAS SOUS 31126 HAS SOUPS 31126 WITH SCORE 31159.792
AT ITER 5793 NEW BEST:: SOT 228264 SOS 33786 HAS SOPS 33786 HAS SOUS 31120 HAS SOUPS 31120 WITH SCORE 31153.786
AT ITER 5809 NEW BEST:: SOT 228243 SOS 33765 HAS SOPS 33765 HAS SOUS 31099 HAS SOUPS 31099 WITH SCORE 31132.765
AT ITER 5812 NEW BEST:: SOT 228238 SOS 33755 HAS SOPS 33755 HAS SOUS 31089 HAS SOUPS 31089 WITH SCORE 31122.755
AT ITER 5856 NEW BEST:: SOT 228265 SOS 33766 HAS SOPS 33766 HAS SOUS 31078 HAS SOUPS 31078 WITH SCORE 31111.766
AT ITER 5864 NEW BEST:: SOT 228245 SOS 33746 HAS SOPS 33746 HAS SOUS 31029 HAS SOUPS 31029 WITH SCORE 31062.746
AT ITER 5869 NEW BEST:: SOT 228248 SOS 33704 HAS SOPS 33704 HAS SOUS 31008 HAS SOUPS 31008 WITH SCORE 31041.704
AT ITER 5925 NEW BEST:: SOT 228255 SOS 33691 HAS SOPS 33691 HAS SOUS 30995 HAS SOUPS 30995 WITH SCORE 31028.691
AT ITER 5943 NEW BEST:: SOT 228255 SOS 33660 HAS SOPS 33660 HAS SOUS 30964 HAS SOUPS 30964 WITH SCORE 30997.66
AT ITER 5950 NEW BEST:: SOT 228236 SOS 33622 HAS SOPS 33622 HAS SOUS 30945 HAS SOUPS 30945 WITH SCORE 30978.622
AT ITER 5963 NEW BEST:: SOT 228226 SOS 33612 HAS SOPS 33612 HAS SOUS 30935 HAS SOUPS 30935 WITH SCORE 30968.612
AT ITER 6039 NEW BEST:: SOT 228230 SOS 33588 HAS SOPS 33588 HAS SOUS 30911 HAS SOUPS 30911 WITH SCORE 30944.588
AT ITER 6068 NEW BEST:: SOT 228233 SOS 33584 HAS SOPS 33584 HAS SOUS 30909 HAS SOUPS 30909 WITH SCORE 30942.584
AT ITER 6076 NEW BEST:: SOT 228238 SOS 33491 HAS SOPS 33491 HAS SOUS 30900 HAS SOUPS 30900 WITH SCORE 30933.491
AT ITER 6105 NEW BEST:: SOT 228227 SOS 33437 HAS SOPS 33437 HAS SOUS 30881 HAS SOUPS 30881 WITH SCORE 30914.437
AT ITER 6132 NEW BEST:: SOT 228214 SOS 33411 HAS SOPS 33411 HAS SOUS 30855 HAS SOUPS 30855 WITH SCORE 30888.411
AT ITER 6209 NEW BEST:: SOT 228168 SOS 33365 HAS SOPS 33365 HAS SOUS 30809 HAS SOUPS 30809 WITH SCORE 30842.365
AT ITER 6230 NEW BEST:: SOT 228163 SOS 33363 HAS SOPS 33363 HAS SOUS 30807 HAS SOUPS 30807 WITH SCORE 30840.363
AT ITER 6258 NEW BEST:: SOT 228163 SOS 33362 HAS SOPS 33362 HAS SOUS 30806 HAS SOUPS 30806 WITH SCORE 30839.362
AT ITER 6296 NEW BEST:: SOT 228163 SOS 33325 HAS SOPS 33325 HAS SOUS 30769 HAS SOUPS 30769 WITH SCORE 30802.325
AT ITER 6318 NEW BEST:: SOT 228142 SOS 33322 HAS SOPS 33322 HAS SOUS 30745 HAS SOUPS 30745 WITH SCORE 30778.322
AT ITER 6402 NEW BEST:: SOT 228140 SOS 33320 HAS SOPS 33320 HAS SOUS 30743 HAS SOUPS 30743 WITH SCORE 30776.32
AT ITER 6410 NEW BEST:: SOT 228119 SOS 33299 HAS SOPS 33299 HAS SOUS 30701 HAS SOUPS 30701 WITH SCORE 30734.299
AT ITER 6455 NEW BEST:: SOT 228115 SOS 33287 HAS SOPS 33287 HAS SOUS 30693 HAS SOUPS 30693 WITH SCORE 30726.287
AT ITER 6482 NEW BEST:: SOT 228109 SOS 33284 HAS SOPS 33284 HAS SOUS 30693 HAS SOUPS 30693 WITH SCORE 30726.284
AT ITER 6516 NEW BEST:: SOT 228101 SOS 33268 HAS SOPS 33268 HAS SOUS 30685 HAS SOUPS 30685 WITH SCORE 30718.268
AT ITER 6524 NEW BEST:: SOT 228101 SOS 33267 HAS SOPS 33267 HAS SOUS 30684 HAS SOUPS 30684 WITH SCORE 30717.267
AT ITER 6713 NEW BEST:: SOT 228087 SOS 33244 HAS SOPS 33244 HAS SOUS 30661 HAS SOUPS 30661 WITH SCORE 30694.244
AT ITER 6784 NEW BEST:: SOT 228055 SOS 33218 HAS SOPS 33218 HAS SOUS 30631 HAS SOUPS 30631 WITH SCORE 30664.218
AT ITER 6854 NEW BEST:: SOT 228055 SOS 33215 HAS SOPS 33215 HAS SOUS 30628 HAS SOUPS 30628 WITH SCORE 30661.215
AT ITER 6910 NEW BEST:: SOT 228040 SOS 33182 HAS SOPS 33182 HAS SOUS 30595 HAS SOUPS 30595 WITH SCORE 30628.182
AT ITER 6946 NEW BEST:: SOT 228040 SOS 33174 HAS SOPS 33174 HAS SOUS 30587 HAS SOUPS 30587 WITH SCORE 30620.174
AT ITER 6955 NEW BEST:: SOT 228036 SOS 33170 HAS SOPS 33170 HAS SOUS 30583 HAS SOUPS 30583 WITH SCORE 30616.17
AT ITER 6972 NEW BEST:: SOT 228031 SOS 33150 HAS SOPS 33150 HAS SOUS 30578 HAS SOUPS 30578 WITH SCORE 30611.15
AT ITER 7090 NEW BEST:: SOT 228031 SOS 33148 HAS SOPS 33148 HAS SOUS 30577 HAS SOUPS 30577 WITH SCORE 30610.148
AT ITER 7095 NEW BEST:: SOT 228023 SOS 33132 HAS SOPS 33132 HAS SOUS 30561 HAS SOUPS 30561 WITH SCORE 30594.132
AT ITER 7096 NEW BEST:: SOT 228015 SOS 33124 HAS SOPS 33124 HAS SOUS 30553 HAS SOUPS 30553 WITH SCORE 30586.124
AT ITER 7156 NEW BEST:: SOT 228014 SOS 33125 HAS SOPS 33125 HAS SOUS 30551 HAS SOUPS 30551 WITH SCORE 30584.125
AT ITER 7166 NEW BEST:: SOT 228014 SOS 33102 HAS SOPS 33102 HAS SOUS 30528 HAS SOUPS 30528 WITH SCORE 30561.102
AT ITER 7184 NEW BEST:: SOT 228011 SOS 33133 HAS SOPS 33133 HAS SOUS 30524 HAS SOUPS 30524 WITH SCORE 30557.133
AT ITER 7195 NEW BEST:: SOT 228011 SOS 33123 HAS SOPS 33123 HAS SOUS 30524 HAS SOUPS 30524 WITH SCORE 30557.123
AT ITER 7203 NEW BEST:: SOT 228006 SOS 32822 HAS SOPS 32822 HAS SOUS 30430 HAS SOUPS 30430 WITH SCORE 30462.822
AT ITER 7211 NEW BEST:: SOT 228062 SOS 32744 HAS SOPS 32744 HAS SOUS 30411 HAS SOUPS 30411 WITH SCORE 30443.744
AT ITER 7221 NEW BEST:: SOT 228062 SOS 32730 HAS SOPS 32730 HAS SOUS 30397 HAS SOUPS 30397 WITH SCORE 30429.73
AT ITER 7254 NEW BEST:: SOT 228053 SOS 32712 HAS SOPS 32712 HAS SOUS 30377 HAS SOUPS 30377 WITH SCORE 30409.712
AT ITER 7265 NEW BEST:: SOT 228049 SOS 32712 HAS SOPS 32712 HAS SOUS 30373 HAS SOUPS 30373 WITH SCORE 30405.712
AT ITER 7324 NEW BEST:: SOT 228072 SOS 32720 HAS SOPS 32720 HAS SOUS 30356 HAS SOUPS 30356 WITH SCORE 30388.72
AT ITER 7338 NEW BEST:: SOT 228014 SOS 32694 HAS SOPS 32694 HAS SOUS 30274 HAS SOUPS 30274 WITH SCORE 30306.694
AT ITER 7346 NEW BEST:: SOT 227979 SOS 32676 HAS SOPS 32676 HAS SOUS 30273 HAS SOUPS 30273 WITH SCORE 30305.676
AT ITER 7355 NEW BEST:: SOT 227967 SOS 32700 HAS SOPS 32700 HAS SOUS 30261 HAS SOUPS 30261 WITH SCORE 30293.7
AT ITER 7368 NEW BEST:: SOT 227966 SOS 32700 HAS SOPS 32700 HAS SOUS 30260 HAS SOUPS 30260 WITH SCORE 30292.7
AT ITER 7391 NEW BEST:: SOT 227950 SOS 32668 HAS SOPS 32668 HAS SOUS 30244 HAS SOUPS 30244 WITH SCORE 30276.668
AT ITER 7420 NEW BEST:: SOT 227947 SOS 32621 HAS SOPS 32621 HAS SOUS 30193 HAS SOUPS 30193 WITH SCORE 30225.621
AT ITER 7424 NEW BEST:: SOT 227932 SOS 32610 HAS SOPS 32610 HAS SOUS 30173 HAS SOUPS 30173 WITH SCORE 30205.61
AT ITER 7467 NEW BEST:: SOT 227932 SOS 32577 HAS SOPS 32577 HAS SOUS 30173 HAS SOUPS 30173 WITH SCORE 30205.577
AT ITER 7538 NEW BEST:: SOT 227926 SOS 32589 HAS SOPS 32589 HAS SOUS 30167 HAS SOUPS 30167 WITH SCORE 30199.589
AT ITER 7546 NEW BEST:: SOT 227926 SOS 32591 HAS SOPS 32591 HAS SOUS 30131 HAS SOUPS 30131 WITH SCORE 30163.591
AT ITER 7602 NEW BEST:: SOT 227914 SOS 32590 HAS SOPS 32590 HAS SOUS 30130 HAS SOUPS 30130 WITH SCORE 30162.59
AT ITER 7604 NEW BEST:: SOT 227898 SOS 32589 HAS SOPS 32589 HAS SOUS 30057 HAS SOUPS 30057 WITH SCORE 30089.589
AT ITER 7637 NEW BEST:: SOT 227870 SOS 32385 HAS SOPS 32385 HAS SOUS 29979 HAS SOUPS 29979 WITH SCORE 30011.385
AT ITER 7644 NEW BEST:: SOT 227870 SOS 32377 HAS SOPS 32377 HAS SOUS 29977 HAS SOUPS 29977 WITH SCORE 30009.377
AT ITER 7716 NEW BEST:: SOT 227870 SOS 32329 HAS SOPS 32329 HAS SOUS 29977 HAS SOUPS 29977 WITH SCORE 30009.329
AT ITER 7728 NEW BEST:: SOT 227855 SOS 32314 HAS SOPS 32314 HAS SOUS 29962 HAS SOUPS 29962 WITH SCORE 29994.314
AT ITER 7805 NEW BEST:: SOT 227837 SOS 32275 HAS SOPS 32275 HAS SOUS 29936 HAS SOUPS 29936 WITH SCORE 29968.275
AT ITER 7810 NEW BEST:: SOT 227823 SOS 32251 HAS SOPS 32251 HAS SOUS 29935 HAS SOUPS 29935 WITH SCORE 29967.251
AT ITER 7933 NEW BEST:: SOT 227860 SOS 32296 HAS SOPS 32296 HAS SOUS 29923 HAS SOUPS 29923 WITH SCORE 29955.296
AT ITER 7975 NEW BEST:: SOT 227840 SOS 32228 HAS SOPS 32228 HAS SOUS 29897 HAS SOUPS 29897 WITH SCORE 29929.228
AT ITER 8021 NEW BEST:: SOT 227840 SOS 32228 HAS SOPS 32228 HAS SOUS 29873 HAS SOUPS 29873 WITH SCORE 29905.228
AT ITER 8046 NEW BEST:: SOT 227828 SOS 32219 HAS SOPS 32219 HAS SOUS 29864 HAS SOUPS 29864 WITH SCORE 29896.219
AT ITER 8095 NEW BEST:: SOT 227824 SOS 32213 HAS SOPS 32213 HAS SOUS 29862 HAS SOUPS 29862 WITH SCORE 29894.213
AT ITER 8111 NEW BEST:: SOT 227824 SOS 32178 HAS SOPS 32178 HAS SOUS 29854 HAS SOUPS 29854 WITH SCORE 29886.178
AT ITER 8149 NEW BEST:: SOT 227789 SOS 32213 HAS SOPS 32213 HAS SOUS 29844 HAS SOUPS 29844 WITH SCORE 29876.213
AT ITER 8269 NEW BEST:: SOT 227789 SOS 32212 HAS SOPS 32212 HAS SOUS 29843 HAS SOUPS 29843 WITH SCORE 29875.212
AT ITER 8274 NEW BEST:: SOT 227793 SOS 32211 HAS SOPS 32211 HAS SOUS 29842 HAS SOUPS 29842 WITH SCORE 29874.211
AT ITER 8281 NEW BEST:: SOT 227793 SOS 32209 HAS SOPS 32209 HAS SOUS 29841 HAS SOUPS 29841 WITH SCORE 29873.209
AT ITER 8287 NEW BEST:: SOT 227793 SOS 32206 HAS SOPS 32206 HAS SOUS 29835 HAS SOUPS 29835 WITH SCORE 29867.206
AT ITER 8309 NEW BEST:: SOT 227793 SOS 32157 HAS SOPS 32157 HAS SOUS 29828 HAS SOUPS 29828 WITH SCORE 29860.157
AT ITER 8330 NEW BEST:: SOT 227788 SOS 32142 HAS SOPS 32142 HAS SOUS 29823 HAS SOUPS 29823 WITH SCORE 29855.142
AT ITER 8362 NEW BEST:: SOT 227788 SOS 32126 HAS SOPS 32126 HAS SOUS 29819 HAS SOUPS 29819 WITH SCORE 29851.126
AT ITER 8413 NEW BEST:: SOT 227780 SOS 32122 HAS SOPS 32122 HAS SOUS 29815 HAS SOUPS 29815 WITH SCORE 29847.122
AT ITER 8418 NEW BEST:: SOT 227798 SOS 32104 HAS SOPS 32104 HAS SOUS 29815 HAS SOUPS 29815 WITH SCORE 29847.104
AT ITER 8432 NEW BEST:: SOT 227756 SOS 32062 HAS SOPS 32062 HAS SOUS 29773 HAS SOUPS 29773 WITH SCORE 29805.062
AT ITER 8457 NEW BEST:: SOT 227754 SOS 32060 HAS SOPS 32060 HAS SOUS 29771 HAS SOUPS 29771 WITH SCORE 29803.06
AT ITER 8490 NEW BEST:: SOT 227743 SOS 32049 HAS SOPS 32049 HAS SOUS 29760 HAS SOUPS 29760 WITH SCORE 29792.049
AT ITER 8509 NEW BEST:: SOT 227713 SOS 32019 HAS SOPS 32019 HAS SOUS 29707 HAS SOUPS 29707 WITH SCORE 29739.019
AT ITER 8525 NEW BEST:: SOT 227702 SOS 32018 HAS SOPS 32018 HAS SOUS 29695 HAS SOUPS 29695 WITH SCORE 29727.018
AT ITER 8538 NEW BEST:: SOT 227701 SOS 32047 HAS SOPS 32047 HAS SOUS 29694 HAS SOUPS 29694 WITH SCORE 29726.047
AT ITER 8583 NEW BEST:: SOT 227670 SOS 32031 HAS SOPS 32031 HAS SOUS 29678 HAS SOUPS 29678 WITH SCORE 29710.031
AT ITER 8586 NEW BEST:: SOT 227609 SOS 31946 HAS SOPS 31946 HAS SOUS 29573 HAS SOUPS 29573 WITH SCORE 29604.946
AT ITER 8632 NEW BEST:: SOT 227609 SOS 31941 HAS SOPS 31941 HAS SOUS 29568 HAS SOUPS 29568 WITH SCORE 29599.941
AT ITER 8647 NEW BEST:: SOT 227591 SOS 31922 HAS SOPS 31922 HAS SOUS 29549 HAS SOUPS 29549 WITH SCORE 29580.922
AT ITER 8664 NEW BEST:: SOT 227591 SOS 31919 HAS SOPS 31919 HAS SOUS 29546 HAS SOUPS 29546 WITH SCORE 29577.919
AT ITER 8721 NEW BEST:: SOT 227587 SOS 31911 HAS SOPS 31911 HAS SOUS 29546 HAS SOUPS 29546 WITH SCORE 29577.911
AT ITER 8819 NEW BEST:: SOT 227575 SOS 31907 HAS SOPS 31907 HAS SOUS 29542 HAS SOUPS 29542 WITH SCORE 29573.907
AT ITER 8828 NEW BEST:: SOT 227581 SOS 31857 HAS SOPS 31857 HAS SOUS 29496 HAS SOUPS 29496 WITH SCORE 29527.857
AT ITER 8835 NEW BEST:: SOT 227573 SOS 31859 HAS SOPS 31859 HAS SOUS 29488 HAS SOUPS 29488 WITH SCORE 29519.859
AT ITER 8858 NEW BEST:: SOT 227573 SOS 31838 HAS SOPS 31838 HAS SOUS 29467 HAS SOUPS 29467 WITH SCORE 29498.838
AT ITER 8964 NEW BEST:: SOT 227600 SOS 31831 HAS SOPS 31831 HAS SOUS 29460 HAS SOUPS 29460 WITH SCORE 29491.831
AT ITER 9007 NEW BEST:: SOT 227570 SOS 31829 HAS SOPS 31829 HAS SOUS 29457 HAS SOUPS 29457 WITH SCORE 29488.829
AT ITER 9014 NEW BEST:: SOT 227504 SOS 31770 HAS SOPS 31770 HAS SOUS 29373 HAS SOUPS 29373 WITH SCORE 29404.77
AT ITER 9048 NEW BEST:: SOT 227504 SOS 31763 HAS SOPS 31763 HAS SOUS 29366 HAS SOUPS 29366 WITH SCORE 29397.763
AT ITER 9052 NEW BEST:: SOT 227490 SOS 31710 HAS SOPS 31710 HAS SOUS 29327 HAS SOUPS 29327 WITH SCORE 29358.71
AT ITER 9138 NEW BEST:: SOT 227473 SOS 31686 HAS SOPS 31686 HAS SOUS 29317 HAS SOUPS 29317 WITH SCORE 29348.686
AT ITER 9162 NEW BEST:: SOT 227473 SOS 31655 HAS SOPS 31655 HAS SOUS 29286 HAS SOUPS 29286 WITH SCORE 29317.655
AT ITER 9169 NEW BEST:: SOT 227433 SOS 31571 HAS SOPS 31571 HAS SOUS 29224 HAS SOUPS 29224 WITH SCORE 29255.571
AT ITER 9196 NEW BEST:: SOT 227457 SOS 31527 HAS SOPS 31527 HAS SOUS 29214 HAS SOUPS 29214 WITH SCORE 29245.527
AT ITER 9382 NEW BEST:: SOT 227457 SOS 31526 HAS SOPS 31526 HAS SOUS 29212 HAS SOUPS 29212 WITH SCORE 29243.526
AT ITER 9413 NEW BEST:: SOT 227441 SOS 31508 HAS SOPS 31508 HAS SOUS 29194 HAS SOUPS 29194 WITH SCORE 29225.508
AT ITER 9445 NEW BEST:: SOT 227446 SOS 31508 HAS SOPS 31508 HAS SOUS 29189 HAS SOUPS 29189 WITH SCORE 29220.508
AT ITER 9541 NEW BEST:: SOT 227474 SOS 31534 HAS SOPS 31534 HAS SOUS 29186 HAS SOUPS 29186 WITH SCORE 29217.534
AT ITER 9672 NEW BEST:: SOT 227473 SOS 31530 HAS SOPS 31530 HAS SOUS 29182 HAS SOUPS 29182 WITH SCORE 29213.53
AT ITER 9688 NEW BEST:: SOT 227447 SOS 31526 HAS SOPS 31526 HAS SOUS 29178 HAS SOUPS 29178 WITH SCORE 29209.526
AT ITER 9718 NEW BEST:: SOT 227445 SOS 31483 HAS SOPS 31483 HAS SOUS 29135 HAS SOUPS 29135 WITH SCORE 29166.483
AT ITER 9801 NEW BEST:: SOT 227401 SOS 31429 HAS SOPS 31429 HAS SOUS 29087 HAS SOUPS 29087 WITH SCORE 29118.429
AT ITER 9826 NEW BEST:: SOT 227388 SOS 31424 HAS SOPS 31424 HAS SOUS 29082 HAS SOUPS 29082 WITH SCORE 29113.424
AT ITER 9833 NEW BEST:: SOT 227386 SOS 31415 HAS SOPS 31415 HAS SOUS 29080 HAS SOUPS 29080 WITH SCORE 29111.415
AT ITER 9857 NEW BEST:: SOT 227386 SOS 31415 HAS SOPS 31415 HAS SOUS 29079 HAS SOUPS 29079 WITH SCORE 29110.415
AT ITER 9902 NEW BEST:: SOT 227386 SOS 31405 HAS SOPS 31405 HAS SOUS 29079 HAS SOUPS 29079 WITH SCORE 29110.405
AT ITER 9958 NEW BEST:: SOT 227367 SOS 31371 HAS SOPS 31371 HAS SOUS 29062 HAS SOUPS 29062 WITH SCORE 29093.371
AT ITER 9967 NEW BEST:: SOT 227366 SOS 31364 HAS SOPS 31364 HAS SOUS 29055 HAS SOUPS 29055 WITH SCORE 29086.364
AT ITER 9971 NEW BEST:: SOT 227355 SOS 31358 HAS SOPS 31358 HAS SOUS 29049 HAS SOUPS 29049 WITH SCORE 29080.358
AT ITER 9986 NEW BEST:: SOT 227353 SOS 31356 HAS SOPS 31356 HAS SOUS 29047 HAS SOUPS 29047 WITH SCORE 29078.356
AT ITER 9995 NEW BEST:: SOT 227343 SOS 31326 HAS SOPS 31326 HAS SOUS 29047 HAS SOUPS 29047 WITH SCORE 29078.326
AT ITER 9997 NEW BEST:: SOT 227342 SOS 31325 HAS SOPS 31325 HAS SOUS 29046 HAS SOUPS 29046 WITH SCORE 29077.325
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8636952 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152988 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPs-PT-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 ShieldPPPs-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-167903711800448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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