Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r033-smll-158901925900276.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudDeployment-PT-2b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901925900276
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 340K
-rw-r--r-- 1 mcc users 3.8K Mar 30 01:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 15:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 15:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 07:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 26 07:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 166K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-00
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-01
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-02
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-03
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-04
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-05
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-06
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-07
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-08
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-09
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-10
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-11
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-12
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-13
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-14
FORMULA_NAME CloudDeployment-PT-2b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589131956111

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 2b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 556 places, 684 transitions, 1987 arcs.
AT ITER 0 NEW BEST:: SOT 220806 SOS 58153 HAS SOPS 58153 HAS SOUS 46115 HAS SOUPS 46115 WITH SCORE 46173.153
AT ITER 8 NEW BEST:: SOT 220706 SOS 57957 HAS SOPS 57957 HAS SOUS 46047 HAS SOUPS 46047 WITH SCORE 46104.957
AT ITER 30 NEW BEST:: SOT 220705 SOS 57955 HAS SOPS 57955 HAS SOUS 46045 HAS SOUPS 46045 WITH SCORE 46102.955
AT ITER 46 NEW BEST:: SOT 220697 SOS 57943 HAS SOPS 57943 HAS SOUS 46030 HAS SOUPS 46030 WITH SCORE 46087.943
AT ITER 59 NEW BEST:: SOT 220667 SOS 57853 HAS SOPS 57853 HAS SOUS 45970 HAS SOUPS 45970 WITH SCORE 46027.853
AT ITER 92 NEW BEST:: SOT 220642 SOS 57703 HAS SOPS 57703 HAS SOUS 45920 HAS SOUPS 45920 WITH SCORE 45977.703
AT ITER 121 NEW BEST:: SOT 220667 SOS 57753 HAS SOPS 57753 HAS SOUS 45842 HAS SOUPS 45842 WITH SCORE 45899.753
AT ITER 125 NEW BEST:: SOT 220667 SOS 57685 HAS SOPS 57685 HAS SOUS 45770 HAS SOUPS 45770 WITH SCORE 45827.685
AT ITER 158 NEW BEST:: SOT 220254 SOS 60013 HAS SOPS 60013 HAS SOUS 45317 HAS SOUPS 45317 WITH SCORE 45377.013
AT ITER 182 NEW BEST:: SOT 220250 SOS 60003 HAS SOPS 60003 HAS SOUS 45315 HAS SOUPS 45315 WITH SCORE 45375.003
AT ITER 196 NEW BEST:: SOT 220263 SOS 60029 HAS SOPS 60029 HAS SOUS 45295 HAS SOUPS 45295 WITH SCORE 45355.029
AT ITER 201 NEW BEST:: SOT 220224 SOS 60382 HAS SOPS 60382 HAS SOUS 45257 HAS SOUPS 45257 WITH SCORE 45317.382
AT ITER 206 NEW BEST:: SOT 220300 SOS 60534 HAS SOPS 60534 HAS SOUS 45252 HAS SOUPS 45252 WITH SCORE 45312.534
AT ITER 215 NEW BEST:: SOT 220224 SOS 60546 HAS SOPS 60546 HAS SOUS 45160 HAS SOUPS 45160 WITH SCORE 45220.546
AT ITER 221 NEW BEST:: SOT 220208 SOS 60457 HAS SOPS 60457 HAS SOUS 45144 HAS SOUPS 45144 WITH SCORE 45204.457
AT ITER 247 NEW BEST:: SOT 220208 SOS 60457 HAS SOPS 60457 HAS SOUS 45137 HAS SOUPS 45137 WITH SCORE 45197.457
AT ITER 257 NEW BEST:: SOT 220204 SOS 60457 HAS SOPS 60457 HAS SOUS 45133 HAS SOUPS 45133 WITH SCORE 45193.457
AT ITER 260 NEW BEST:: SOT 220204 SOS 60457 HAS SOPS 60457 HAS SOUS 45092 HAS SOUPS 45092 WITH SCORE 45152.457
AT ITER 273 NEW BEST:: SOT 220204 SOS 60506 HAS SOPS 60506 HAS SOUS 45085 HAS SOUPS 45085 WITH SCORE 45145.506
AT ITER 284 NEW BEST:: SOT 220204 SOS 60504 HAS SOPS 60504 HAS SOUS 45062 HAS SOUPS 45062 WITH SCORE 45122.504
AT ITER 287 NEW BEST:: SOT 220204 SOS 60502 HAS SOPS 60502 HAS SOUS 45060 HAS SOUPS 45060 WITH SCORE 45120.502
AT ITER 297 NEW BEST:: SOT 220149 SOS 60392 HAS SOPS 60392 HAS SOUS 44960 HAS SOUPS 44960 WITH SCORE 45020.392
AT ITER 302 NEW BEST:: SOT 220149 SOS 60338 HAS SOPS 60338 HAS SOUS 44960 HAS SOUPS 44960 WITH SCORE 45020.338
AT ITER 315 NEW BEST:: SOT 219960 SOS 60359 HAS SOPS 60359 HAS SOUS 44935 HAS SOUPS 44935 WITH SCORE 44995.359
AT ITER 325 NEW BEST:: SOT 219843 SOS 60125 HAS SOPS 60125 HAS SOUS 44753 HAS SOUPS 44753 WITH SCORE 44813.125
AT ITER 331 NEW BEST:: SOT 219749 SOS 60111 HAS SOPS 60111 HAS SOUS 44659 HAS SOUPS 44659 WITH SCORE 44719.111
AT ITER 335 NEW BEST:: SOT 219749 SOS 60101 HAS SOPS 60101 HAS SOUS 44649 HAS SOUPS 44649 WITH SCORE 44709.101
AT ITER 352 NEW BEST:: SOT 219749 SOS 60101 HAS SOPS 60101 HAS SOUS 44648 HAS SOUPS 44648 WITH SCORE 44708.101
AT ITER 387 NEW BEST:: SOT 219726 SOS 60055 HAS SOPS 60055 HAS SOUS 44602 HAS SOUPS 44602 WITH SCORE 44662.055
AT ITER 402 NEW BEST:: SOT 219726 SOS 60055 HAS SOPS 60055 HAS SOUS 44598 HAS SOUPS 44598 WITH SCORE 44658.055
AT ITER 432 NEW BEST:: SOT 219726 SOS 60043 HAS SOPS 60043 HAS SOUS 44598 HAS SOUPS 44598 WITH SCORE 44658.043
AT ITER 445 NEW BEST:: SOT 219422 SOS 60527 HAS SOPS 60527 HAS SOUS 44590 HAS SOUPS 44590 WITH SCORE 44650.527
AT ITER 453 NEW BEST:: SOT 219453 SOS 60553 HAS SOPS 60553 HAS SOUS 44585 HAS SOUPS 44585 WITH SCORE 44645.553
AT ITER 462 NEW BEST:: SOT 219425 SOS 60539 HAS SOPS 60539 HAS SOUS 44543 HAS SOUPS 44543 WITH SCORE 44603.539
AT ITER 466 NEW BEST:: SOT 219407 SOS 60460 HAS SOPS 60460 HAS SOUS 44507 HAS SOUPS 44507 WITH SCORE 44567.46
AT ITER 477 NEW BEST:: SOT 219370 SOS 60349 HAS SOPS 60349 HAS SOUS 44433 HAS SOUPS 44433 WITH SCORE 44493.349
AT ITER 502 NEW BEST:: SOT 219320 SOS 60348 HAS SOPS 60348 HAS SOUS 44418 HAS SOUPS 44418 WITH SCORE 44478.348
AT ITER 506 NEW BEST:: SOT 219228 SOS 60398 HAS SOPS 60398 HAS SOUS 44369 HAS SOUPS 44369 WITH SCORE 44429.398
AT ITER 525 NEW BEST:: SOT 219205 SOS 60352 HAS SOPS 60352 HAS SOUS 44323 HAS SOUPS 44323 WITH SCORE 44383.352
AT ITER 526 NEW BEST:: SOT 219186 SOS 60368 HAS SOPS 60368 HAS SOUS 44321 HAS SOUPS 44321 WITH SCORE 44381.368
AT ITER 534 NEW BEST:: SOT 219193 SOS 60347 HAS SOPS 60347 HAS SOUS 44300 HAS SOUPS 44300 WITH SCORE 44360.347
AT ITER 541 NEW BEST:: SOT 219192 SOS 60345 HAS SOPS 60345 HAS SOUS 44298 HAS SOUPS 44298 WITH SCORE 44358.345
AT ITER 548 NEW BEST:: SOT 219177 SOS 60329 HAS SOPS 60329 HAS SOUS 44282 HAS SOUPS 44282 WITH SCORE 44342.329
AT ITER 556 NEW BEST:: SOT 219164 SOS 60303 HAS SOPS 60303 HAS SOUS 44171 HAS SOUPS 44171 WITH SCORE 44231.303
AT ITER 572 NEW BEST:: SOT 219127 SOS 60259 HAS SOPS 60259 HAS SOUS 44112 HAS SOUPS 44112 WITH SCORE 44172.259
AT ITER 594 NEW BEST:: SOT 218979 SOS 61645 HAS SOPS 61645 HAS SOUS 44085 HAS SOUPS 44085 WITH SCORE 44146.645
AT ITER 613 NEW BEST:: SOT 218960 SOS 61607 HAS SOPS 61607 HAS SOUS 44047 HAS SOUPS 44047 WITH SCORE 44108.607
AT ITER 623 NEW BEST:: SOT 218902 SOS 61549 HAS SOPS 61549 HAS SOUS 43931 HAS SOUPS 43931 WITH SCORE 43992.549
AT ITER 638 NEW BEST:: SOT 218902 SOS 61549 HAS SOPS 61549 HAS SOUS 43883 HAS SOUPS 43883 WITH SCORE 43944.549
AT ITER 653 NEW BEST:: SOT 218920 SOS 61585 HAS SOPS 61585 HAS SOUS 43878 HAS SOUPS 43878 WITH SCORE 43939.585
AT ITER 654 NEW BEST:: SOT 218861 SOS 61471 HAS SOPS 61471 HAS SOUS 43856 HAS SOUPS 43856 WITH SCORE 43917.471
AT ITER 660 NEW BEST:: SOT 218847 SOS 61443 HAS SOPS 61443 HAS SOUS 43828 HAS SOUPS 43828 WITH SCORE 43889.443
AT ITER 685 NEW BEST:: SOT 218835 SOS 61386 HAS SOPS 61386 HAS SOUS 43783 HAS SOUPS 43783 WITH SCORE 43844.386
AT ITER 688 NEW BEST:: SOT 218834 SOS 61384 HAS SOPS 61384 HAS SOUS 43781 HAS SOUPS 43781 WITH SCORE 43842.384
AT ITER 695 NEW BEST:: SOT 218828 SOS 61372 HAS SOPS 61372 HAS SOUS 43689 HAS SOUPS 43689 WITH SCORE 43750.372
AT ITER 699 NEW BEST:: SOT 218888 SOS 61365 HAS SOPS 61365 HAS SOUS 43632 HAS SOUPS 43632 WITH SCORE 43693.365
AT ITER 735 NEW BEST:: SOT 218902 SOS 61172 HAS SOPS 61172 HAS SOUS 43562 HAS SOUPS 43562 WITH SCORE 43623.172
AT ITER 736 NEW BEST:: SOT 218835 SOS 61062 HAS SOPS 61062 HAS SOUS 43409 HAS SOUPS 43409 WITH SCORE 43470.062
AT ITER 748 NEW BEST:: SOT 218829 SOS 61059 HAS SOPS 61059 HAS SOUS 43403 HAS SOUPS 43403 WITH SCORE 43464.059
AT ITER 777 NEW BEST:: SOT 218517 SOS 61461 HAS SOPS 61461 HAS SOUS 43152 HAS SOUPS 43152 WITH SCORE 43213.461
AT ITER 801 NEW BEST:: SOT 218516 SOS 61459 HAS SOPS 61459 HAS SOUS 43150 HAS SOUPS 43150 WITH SCORE 43211.459
AT ITER 808 NEW BEST:: SOT 218516 SOS 61414 HAS SOPS 61414 HAS SOUS 43135 HAS SOUPS 43135 WITH SCORE 43196.414
AT ITER 813 NEW BEST:: SOT 218476 SOS 61364 HAS SOPS 61364 HAS SOUS 43073 HAS SOUPS 43073 WITH SCORE 43134.364
AT ITER 827 NEW BEST:: SOT 218458 SOS 61348 HAS SOPS 61348 HAS SOUS 43057 HAS SOUPS 43057 WITH SCORE 43118.348
AT ITER 849 NEW BEST:: SOT 218431 SOS 61294 HAS SOPS 61294 HAS SOUS 43030 HAS SOUPS 43030 WITH SCORE 43091.294
AT ITER 865 NEW BEST:: SOT 218383 SOS 61198 HAS SOPS 61198 HAS SOUS 43001 HAS SOUPS 43001 WITH SCORE 43062.198
AT ITER 879 NEW BEST:: SOT 218368 SOS 61168 HAS SOPS 61168 HAS SOUS 42971 HAS SOUPS 42971 WITH SCORE 43032.168
AT ITER 883 NEW BEST:: SOT 218352 SOS 61136 HAS SOPS 61136 HAS SOUS 42955 HAS SOUPS 42955 WITH SCORE 43016.136
AT ITER 889 NEW BEST:: SOT 218351 SOS 61134 HAS SOPS 61134 HAS SOUS 42953 HAS SOUPS 42953 WITH SCORE 43014.134
AT ITER 913 NEW BEST:: SOT 218351 SOS 61134 HAS SOPS 61134 HAS SOUS 42952 HAS SOUPS 42952 WITH SCORE 43013.134
AT ITER 920 NEW BEST:: SOT 218286 SOS 61126 HAS SOPS 61126 HAS SOUS 42878 HAS SOUPS 42878 WITH SCORE 42939.126
AT ITER 931 NEW BEST:: SOT 218249 SOS 61052 HAS SOPS 61052 HAS SOUS 42804 HAS SOUPS 42804 WITH SCORE 42865.052
AT ITER 955 NEW BEST:: SOT 218209 SOS 61032 HAS SOPS 61032 HAS SOUS 42764 HAS SOUPS 42764 WITH SCORE 42825.032
AT ITER 979 NEW BEST:: SOT 218089 SOS 60893 HAS SOPS 60893 HAS SOUS 42689 HAS SOUPS 42689 WITH SCORE 42749.893
AT ITER 985 NEW BEST:: SOT 218167 SOS 61049 HAS SOPS 61049 HAS SOUS 42663 HAS SOUPS 42663 WITH SCORE 42724.049
AT ITER 991 NEW BEST:: SOT 218167 SOS 61011 HAS SOPS 61011 HAS SOUS 42644 HAS SOUPS 42644 WITH SCORE 42705.011
AT ITER 1012 NEW BEST:: SOT 218114 SOS 61105 HAS SOPS 61105 HAS SOUS 42620 HAS SOUPS 42620 WITH SCORE 42681.105
AT ITER 1035 NEW BEST:: SOT 218135 SOS 61077 HAS SOPS 61077 HAS SOUS 42592 HAS SOUPS 42592 WITH SCORE 42653.077
AT ITER 1090 NEW BEST:: SOT 218135 SOS 61070 HAS SOPS 61070 HAS SOUS 42570 HAS SOUPS 42570 WITH SCORE 42631.07
AT ITER 1119 NEW BEST:: SOT 218085 SOS 60970 HAS SOPS 60970 HAS SOUS 42470 HAS SOUPS 42470 WITH SCORE 42530.97
AT ITER 1129 NEW BEST:: SOT 218066 SOS 60951 HAS SOPS 60951 HAS SOUS 42451 HAS SOUPS 42451 WITH SCORE 42511.951
AT ITER 1142 NEW BEST:: SOT 218033 SOS 60885 HAS SOPS 60885 HAS SOUS 42419 HAS SOUPS 42419 WITH SCORE 42479.885
AT ITER 1159 NEW BEST:: SOT 218032 SOS 60894 HAS SOPS 60894 HAS SOUS 42417 HAS SOUPS 42417 WITH SCORE 42477.894
AT ITER 1165 NEW BEST:: SOT 218004 SOS 60866 HAS SOPS 60866 HAS SOUS 42375 HAS SOUPS 42375 WITH SCORE 42435.866
AT ITER 1168 NEW BEST:: SOT 217999 SOS 60856 HAS SOPS 60856 HAS SOUS 42365 HAS SOUPS 42365 WITH SCORE 42425.856
AT ITER 1181 NEW BEST:: SOT 217998 SOS 60854 HAS SOPS 60854 HAS SOUS 42363 HAS SOUPS 42363 WITH SCORE 42423.854
AT ITER 1183 NEW BEST:: SOT 217970 SOS 60798 HAS SOPS 60798 HAS SOUS 42335 HAS SOUPS 42335 WITH SCORE 42395.798
AT ITER 1185 NEW BEST:: SOT 217956 SOS 60784 HAS SOPS 60784 HAS SOUS 42335 HAS SOUPS 42335 WITH SCORE 42395.784
AT ITER 1200 NEW BEST:: SOT 217908 SOS 60688 HAS SOPS 60688 HAS SOUS 42259 HAS SOUPS 42259 WITH SCORE 42319.688
AT ITER 1209 NEW BEST:: SOT 217908 SOS 60682 HAS SOPS 60682 HAS SOUS 42247 HAS SOUPS 42247 WITH SCORE 42307.682
AT ITER 1211 NEW BEST:: SOT 217845 SOS 60556 HAS SOPS 60556 HAS SOUS 42121 HAS SOUPS 42121 WITH SCORE 42181.556
AT ITER 1217 NEW BEST:: SOT 217832 SOS 60530 HAS SOPS 60530 HAS SOUS 42086 HAS SOUPS 42086 WITH SCORE 42146.53
AT ITER 1226 NEW BEST:: SOT 217832 SOS 60530 HAS SOPS 60530 HAS SOUS 42039 HAS SOUPS 42039 WITH SCORE 42099.53
AT ITER 1229 NEW BEST:: SOT 217847 SOS 60485 HAS SOPS 60485 HAS SOUS 42039 HAS SOUPS 42039 WITH SCORE 42099.485
AT ITER 1230 NEW BEST:: SOT 217897 SOS 60228 HAS SOPS 60228 HAS SOUS 42038 HAS SOUPS 42038 WITH SCORE 42098.228
AT ITER 1233 NEW BEST:: SOT 217897 SOS 60228 HAS SOPS 60228 HAS SOUS 42022 HAS SOUPS 42022 WITH SCORE 42082.228
AT ITER 1239 NEW BEST:: SOT 217878 SOS 60190 HAS SOPS 60190 HAS SOUS 42002 HAS SOUPS 42002 WITH SCORE 42062.19
AT ITER 1241 NEW BEST:: SOT 217833 SOS 60100 HAS SOPS 60100 HAS SOUS 41912 HAS SOUPS 41912 WITH SCORE 41972.1
AT ITER 1252 NEW BEST:: SOT 217827 SOS 60088 HAS SOPS 60088 HAS SOUS 41906 HAS SOUPS 41906 WITH SCORE 41966.088
AT ITER 1282 NEW BEST:: SOT 217827 SOS 60088 HAS SOPS 60088 HAS SOUS 41882 HAS SOUPS 41882 WITH SCORE 41942.088
AT ITER 1311 NEW BEST:: SOT 217827 SOS 60088 HAS SOPS 60088 HAS SOUS 41881 HAS SOUPS 41881 WITH SCORE 41941.088
AT ITER 1341 NEW BEST:: SOT 217827 SOS 60088 HAS SOPS 60088 HAS SOUS 41878 HAS SOUPS 41878 WITH SCORE 41938.088
AT ITER 1349 NEW BEST:: SOT 217898 SOS 59331 HAS SOPS 59331 HAS SOUS 41770 HAS SOUPS 41770 WITH SCORE 41829.331
AT ITER 1368 NEW BEST:: SOT 217906 SOS 59197 HAS SOPS 59197 HAS SOUS 41716 HAS SOUPS 41716 WITH SCORE 41775.197
AT ITER 1378 NEW BEST:: SOT 217906 SOS 60136 HAS SOPS 60136 HAS SOUS 41713 HAS SOUPS 41713 WITH SCORE 41773.136
AT ITER 1401 NEW BEST:: SOT 217855 SOS 60109 HAS SOPS 60109 HAS SOUS 41661 HAS SOUPS 41661 WITH SCORE 41721.109
AT ITER 1411 NEW BEST:: SOT 217833 SOS 60065 HAS SOPS 60065 HAS SOUS 41639 HAS SOUPS 41639 WITH SCORE 41699.065
AT ITER 1440 NEW BEST:: SOT 217815 SOS 60029 HAS SOPS 60029 HAS SOUS 41612 HAS SOUPS 41612 WITH SCORE 41672.029
AT ITER 1448 NEW BEST:: SOT 217709 SOS 59920 HAS SOPS 59920 HAS SOUS 41609 HAS SOUPS 41609 WITH SCORE 41668.92
AT ITER 1484 NEW BEST:: SOT 217709 SOS 59920 HAS SOPS 59920 HAS SOUS 41557 HAS SOUPS 41557 WITH SCORE 41616.92
AT ITER 1486 NEW BEST:: SOT 217710 SOS 59921 HAS SOPS 59921 HAS SOUS 41556 HAS SOUPS 41556 WITH SCORE 41615.921
AT ITER 1500 NEW BEST:: SOT 217725 SOS 59951 HAS SOPS 59951 HAS SOUS 41461 HAS SOUPS 41461 WITH SCORE 41520.951
AT ITER 1529 NEW BEST:: SOT 217683 SOS 60178 HAS SOPS 60178 HAS SOUS 41366 HAS SOUPS 41366 WITH SCORE 41426.178
AT ITER 1545 NEW BEST:: SOT 217368 SOS 60255 HAS SOPS 60255 HAS SOUS 41234 HAS SOUPS 41234 WITH SCORE 41294.255
AT ITER 1566 NEW BEST:: SOT 217303 SOS 60086 HAS SOPS 60086 HAS SOUS 41104 HAS SOUPS 41104 WITH SCORE 41164.086
AT ITER 1569 NEW BEST:: SOT 217297 SOS 60062 HAS SOPS 60062 HAS SOUS 41104 HAS SOUPS 41104 WITH SCORE 41164.062
AT ITER 1628 NEW BEST:: SOT 217297 SOS 60122 HAS SOPS 60122 HAS SOUS 41043 HAS SOUPS 41043 WITH SCORE 41103.122
AT ITER 1689 NEW BEST:: SOT 217174 SOS 60080 HAS SOPS 60080 HAS SOUS 40920 HAS SOUPS 40920 WITH SCORE 40980.08
AT ITER 1707 NEW BEST:: SOT 217181 SOS 60076 HAS SOPS 60076 HAS SOUS 40916 HAS SOUPS 40916 WITH SCORE 40976.076
AT ITER 1735 NEW BEST:: SOT 217174 SOS 60062 HAS SOPS 60062 HAS SOUS 40909 HAS SOUPS 40909 WITH SCORE 40969.062
AT ITER 1746 NEW BEST:: SOT 217196 SOS 59993 HAS SOPS 59993 HAS SOUS 40760 HAS SOUPS 40760 WITH SCORE 40819.993
AT ITER 1758 NEW BEST:: SOT 217196 SOS 59945 HAS SOPS 59945 HAS SOUS 40712 HAS SOUPS 40712 WITH SCORE 40771.945
AT ITER 1763 NEW BEST:: SOT 217196 SOS 59945 HAS SOPS 59945 HAS SOUS 40710 HAS SOUPS 40710 WITH SCORE 40769.945
AT ITER 1773 NEW BEST:: SOT 217196 SOS 59945 HAS SOPS 59945 HAS SOUS 40666 HAS SOUPS 40666 WITH SCORE 40725.945
AT ITER 1788 NEW BEST:: SOT 217252 SOS 59945 HAS SOPS 59945 HAS SOUS 40644 HAS SOUPS 40644 WITH SCORE 40703.945
AT ITER 1816 NEW BEST:: SOT 217249 SOS 59942 HAS SOPS 59942 HAS SOUS 40641 HAS SOUPS 40641 WITH SCORE 40700.942
AT ITER 1826 NEW BEST:: SOT 217242 SOS 59928 HAS SOPS 59928 HAS SOUS 40627 HAS SOUPS 40627 WITH SCORE 40686.928
AT ITER 1844 NEW BEST:: SOT 217205 SOS 59891 HAS SOPS 59891 HAS SOUS 40581 HAS SOUPS 40581 WITH SCORE 40640.891
AT ITER 1853 NEW BEST:: SOT 217187 SOS 59873 HAS SOPS 59873 HAS SOUS 40563 HAS SOUPS 40563 WITH SCORE 40622.873
AT ITER 1856 NEW BEST:: SOT 217102 SOS 60021 HAS SOPS 60021 HAS SOUS 40544 HAS SOUPS 40544 WITH SCORE 40604.021
AT ITER 1857 NEW BEST:: SOT 217078 SOS 59973 HAS SOPS 59973 HAS SOUS 40496 HAS SOUPS 40496 WITH SCORE 40555.973
AT ITER 1858 NEW BEST:: SOT 217078 SOS 59973 HAS SOPS 59973 HAS SOUS 40486 HAS SOUPS 40486 WITH SCORE 40545.973
AT ITER 1873 NEW BEST:: SOT 217052 SOS 59921 HAS SOPS 59921 HAS SOUS 40434 HAS SOUPS 40434 WITH SCORE 40493.921
AT ITER 1897 NEW BEST:: SOT 217039 SOS 59856 HAS SOPS 59856 HAS SOUS 40408 HAS SOUPS 40408 WITH SCORE 40467.856
AT ITER 1902 NEW BEST:: SOT 217060 SOS 59898 HAS SOPS 59898 HAS SOUS 40400 HAS SOUPS 40400 WITH SCORE 40459.898
AT ITER 1918 NEW BEST:: SOT 217058 SOS 59933 HAS SOPS 59933 HAS SOUS 40396 HAS SOUPS 40396 WITH SCORE 40455.933
AT ITER 1927 NEW BEST:: SOT 217058 SOS 59928 HAS SOPS 59928 HAS SOUS 40370 HAS SOUPS 40370 WITH SCORE 40429.928
AT ITER 1929 NEW BEST:: SOT 217048 SOS 59908 HAS SOPS 59908 HAS SOUS 40360 HAS SOUPS 40360 WITH SCORE 40419.908
AT ITER 1962 NEW BEST:: SOT 217108 SOS 59848 HAS SOPS 59848 HAS SOUS 40360 HAS SOUPS 40360 WITH SCORE 40419.848
AT ITER 1964 NEW BEST:: SOT 217108 SOS 59828 HAS SOPS 59828 HAS SOUS 40360 HAS SOUPS 40360 WITH SCORE 40419.828
AT ITER 1981 NEW BEST:: SOT 217117 SOS 59823 HAS SOPS 59823 HAS SOUS 40355 HAS SOUPS 40355 WITH SCORE 40414.823
AT ITER 2011 NEW BEST:: SOT 217045 SOS 59693 HAS SOPS 59693 HAS SOUS 40286 HAS SOUPS 40286 WITH SCORE 40345.693
AT ITER 2040 NEW BEST:: SOT 217041 SOS 59693 HAS SOPS 59693 HAS SOUS 40282 HAS SOUPS 40282 WITH SCORE 40341.693
AT ITER 2050 NEW BEST:: SOT 217041 SOS 59693 HAS SOPS 59693 HAS SOUS 40246 HAS SOUPS 40246 WITH SCORE 40305.693
AT ITER 2060 NEW BEST:: SOT 217039 SOS 59689 HAS SOPS 59689 HAS SOUS 40242 HAS SOUPS 40242 WITH SCORE 40301.689
AT ITER 2061 NEW BEST:: SOT 217037 SOS 59685 HAS SOPS 59685 HAS SOUS 40240 HAS SOUPS 40240 WITH SCORE 40299.685
AT ITER 2107 NEW BEST:: SOT 217035 SOS 59681 HAS SOPS 59681 HAS SOUS 40238 HAS SOUPS 40238 WITH SCORE 40297.681
AT ITER 2113 NEW BEST:: SOT 217051 SOS 59637 HAS SOPS 59637 HAS SOUS 40208 HAS SOUPS 40208 WITH SCORE 40267.637
AT ITER 2131 NEW BEST:: SOT 217015 SOS 59640 HAS SOPS 59640 HAS SOUS 40187 HAS SOUPS 40187 WITH SCORE 40246.64
AT ITER 2136 NEW BEST:: SOT 217002 SOS 59627 HAS SOPS 59627 HAS SOUS 40156 HAS SOUPS 40156 WITH SCORE 40215.627
AT ITER 2149 NEW BEST:: SOT 217002 SOS 59611 HAS SOPS 59611 HAS SOUS 40019 HAS SOUPS 40019 WITH SCORE 40078.611
AT ITER 2159 NEW BEST:: SOT 216947 SOS 59501 HAS SOPS 59501 HAS SOUS 39854 HAS SOUPS 39854 WITH SCORE 39913.501
AT ITER 2199 NEW BEST:: SOT 216939 SOS 59499 HAS SOPS 59499 HAS SOUS 39852 HAS SOUPS 39852 WITH SCORE 39911.499
AT ITER 2205 NEW BEST:: SOT 216939 SOS 59416 HAS SOPS 59416 HAS SOUS 39799 HAS SOUPS 39799 WITH SCORE 39858.416
AT ITER 2225 NEW BEST:: SOT 216936 SOS 59413 HAS SOPS 59413 HAS SOUS 39799 HAS SOUPS 39799 WITH SCORE 39858.413
AT ITER 2231 NEW BEST:: SOT 216930 SOS 59407 HAS SOPS 59407 HAS SOUS 39793 HAS SOUPS 39793 WITH SCORE 39852.407
AT ITER 2244 NEW BEST:: SOT 216930 SOS 59405 HAS SOPS 59405 HAS SOUS 39791 HAS SOUPS 39791 WITH SCORE 39850.405
AT ITER 2245 NEW BEST:: SOT 216976 SOS 59625 HAS SOPS 59625 HAS SOUS 39762 HAS SOUPS 39762 WITH SCORE 39821.625
AT ITER 2251 NEW BEST:: SOT 216976 SOS 59574 HAS SOPS 59574 HAS SOUS 39707 HAS SOUPS 39707 WITH SCORE 39766.574
AT ITER 2255 NEW BEST:: SOT 216955 SOS 59511 HAS SOPS 59511 HAS SOUS 39665 HAS SOUPS 39665 WITH SCORE 39724.511
AT ITER 2258 NEW BEST:: SOT 216952 SOS 59505 HAS SOPS 59505 HAS SOUS 39659 HAS SOUPS 39659 WITH SCORE 39718.505
AT ITER 2267 NEW BEST:: SOT 216950 SOS 59501 HAS SOPS 59501 HAS SOUS 39655 HAS SOUPS 39655 WITH SCORE 39714.501
AT ITER 2305 NEW BEST:: SOT 216935 SOS 59486 HAS SOPS 59486 HAS SOUS 39655 HAS SOUPS 39655 WITH SCORE 39714.486
AT ITER 2335 NEW BEST:: SOT 216935 SOS 59478 HAS SOPS 59478 HAS SOUS 39655 HAS SOUPS 39655 WITH SCORE 39714.478
AT ITER 2347 NEW BEST:: SOT 216930 SOS 59468 HAS SOPS 59468 HAS SOUS 39650 HAS SOUPS 39650 WITH SCORE 39709.468
AT ITER 2349 NEW BEST:: SOT 216930 SOS 59393 HAS SOPS 59393 HAS SOUS 39575 HAS SOUPS 39575 WITH SCORE 39634.393
AT ITER 2350 NEW BEST:: SOT 216884 SOS 59370 HAS SOPS 59370 HAS SOUS 39552 HAS SOUPS 39552 WITH SCORE 39611.37
AT ITER 2353 NEW BEST:: SOT 216870 SOS 59366 HAS SOPS 59366 HAS SOUS 39548 HAS SOUPS 39548 WITH SCORE 39607.366
AT ITER 2355 NEW BEST:: SOT 216870 SOS 59366 HAS SOPS 59366 HAS SOUS 39523 HAS SOUPS 39523 WITH SCORE 39582.366
AT ITER 2360 NEW BEST:: SOT 216852 SOS 59330 HAS SOPS 59330 HAS SOUS 39447 HAS SOUPS 39447 WITH SCORE 39506.33
AT ITER 2413 NEW BEST:: SOT 216882 SOS 59365 HAS SOPS 59365 HAS SOUS 39405 HAS SOUPS 39405 WITH SCORE 39464.365
AT ITER 2422 NEW BEST:: SOT 216882 SOS 59365 HAS SOPS 59365 HAS SOUS 39362 HAS SOUPS 39362 WITH SCORE 39421.365
AT ITER 2439 NEW BEST:: SOT 216815 SOS 59533 HAS SOPS 59533 HAS SOUS 39357 HAS SOUPS 39357 WITH SCORE 39416.533
AT ITER 2455 NEW BEST:: SOT 216822 SOS 59547 HAS SOPS 59547 HAS SOUS 39350 HAS SOUPS 39350 WITH SCORE 39409.547
AT ITER 2477 NEW BEST:: SOT 216747 SOS 59215 HAS SOPS 59215 HAS SOUS 39182 HAS SOUPS 39182 WITH SCORE 39241.215
AT ITER 2482 NEW BEST:: SOT 216736 SOS 59202 HAS SOPS 59202 HAS SOUS 39180 HAS SOUPS 39180 WITH SCORE 39239.202
AT ITER 2487 NEW BEST:: SOT 216736 SOS 59202 HAS SOPS 59202 HAS SOUS 39175 HAS SOUPS 39175 WITH SCORE 39234.202
AT ITER 2516 NEW BEST:: SOT 216697 SOS 59167 HAS SOPS 59167 HAS SOUS 39140 HAS SOUPS 39140 WITH SCORE 39199.167
AT ITER 2524 NEW BEST:: SOT 216711 SOS 59195 HAS SOPS 59195 HAS SOUS 39093 HAS SOUPS 39093 WITH SCORE 39152.195
AT ITER 2531 NEW BEST:: SOT 216690 SOS 59174 HAS SOPS 59174 HAS SOUS 39073 HAS SOUPS 39073 WITH SCORE 39132.174
AT ITER 2541 NEW BEST:: SOT 216672 SOS 59069 HAS SOPS 59069 HAS SOUS 39032 HAS SOUPS 39032 WITH SCORE 39091.069
AT ITER 2563 NEW BEST:: SOT 216639 SOS 59036 HAS SOPS 59036 HAS SOUS 38999 HAS SOUPS 38999 WITH SCORE 39058.036
AT ITER 2583 NEW BEST:: SOT 216552 SOS 58862 HAS SOPS 58862 HAS SOUS 38777 HAS SOUPS 38777 WITH SCORE 38835.862
AT ITER 2586 NEW BEST:: SOT 216574 SOS 58840 HAS SOPS 58840 HAS SOUS 38777 HAS SOUPS 38777 WITH SCORE 38835.84
AT ITER 2605 NEW BEST:: SOT 216573 SOS 58839 HAS SOPS 58839 HAS SOUS 38776 HAS SOUPS 38776 WITH SCORE 38834.839
AT ITER 2693 NEW BEST:: SOT 216573 SOS 58015 HAS SOPS 58015 HAS SOUS 38776 HAS SOUPS 38776 WITH SCORE 38834.015
AT ITER 2699 NEW BEST:: SOT 216572 SOS 58012 HAS SOPS 58012 HAS SOUS 38773 HAS SOUPS 38773 WITH SCORE 38831.012
AT ITER 2701 NEW BEST:: SOT 216551 SOS 57997 HAS SOPS 57997 HAS SOUS 38704 HAS SOUPS 38704 WITH SCORE 38761.997
AT ITER 2705 NEW BEST:: SOT 216550 SOS 57390 HAS SOPS 57390 HAS SOUS 38702 HAS SOUPS 38702 WITH SCORE 38759.39
AT ITER 2738 NEW BEST:: SOT 216527 SOS 57371 HAS SOPS 57371 HAS SOUS 38697 HAS SOUPS 38697 WITH SCORE 38754.371
AT ITER 2740 NEW BEST:: SOT 216538 SOS 57394 HAS SOPS 57394 HAS SOUS 38696 HAS SOUPS 38696 WITH SCORE 38753.394
AT ITER 2766 NEW BEST:: SOT 216461 SOS 57330 HAS SOPS 57330 HAS SOUS 38601 HAS SOUPS 38601 WITH SCORE 38658.33
AT ITER 2789 NEW BEST:: SOT 216435 SOS 57278 HAS SOPS 57278 HAS SOUS 38516 HAS SOUPS 38516 WITH SCORE 38573.278
AT ITER 2811 NEW BEST:: SOT 216417 SOS 57272 HAS SOPS 57272 HAS SOUS 38504 HAS SOUPS 38504 WITH SCORE 38561.272
AT ITER 2827 NEW BEST:: SOT 216418 SOS 57263 HAS SOPS 57263 HAS SOUS 38504 HAS SOUPS 38504 WITH SCORE 38561.263
AT ITER 2850 NEW BEST:: SOT 216355 SOS 57137 HAS SOPS 57137 HAS SOUS 38378 HAS SOUPS 38378 WITH SCORE 38435.137
AT ITER 2865 NEW BEST:: SOT 216352 SOS 57134 HAS SOPS 57134 HAS SOUS 38378 HAS SOUPS 38378 WITH SCORE 38435.134
AT ITER 2872 NEW BEST:: SOT 216352 SOS 57110 HAS SOPS 57110 HAS SOUS 38366 HAS SOUPS 38366 WITH SCORE 38423.11
AT ITER 2912 NEW BEST:: SOT 216360 SOS 57126 HAS SOPS 57126 HAS SOUS 38364 HAS SOUPS 38364 WITH SCORE 38421.126
AT ITER 2921 NEW BEST:: SOT 216353 SOS 57135 HAS SOPS 57135 HAS SOUS 38301 HAS SOUPS 38301 WITH SCORE 38358.135
AT ITER 2923 NEW BEST:: SOT 216353 SOS 57211 HAS SOPS 57211 HAS SOUS 38263 HAS SOUPS 38263 WITH SCORE 38320.211
AT ITER 2948 NEW BEST:: SOT 216353 SOS 57204 HAS SOPS 57204 HAS SOUS 38249 HAS SOUPS 38249 WITH SCORE 38306.204
AT ITER 2984 NEW BEST:: SOT 216361 SOS 57196 HAS SOPS 57196 HAS SOUS 38249 HAS SOUPS 38249 WITH SCORE 38306.196
AT ITER 2987 NEW BEST:: SOT 216359 SOS 57192 HAS SOPS 57192 HAS SOUS 38247 HAS SOUPS 38247 WITH SCORE 38304.192
AT ITER 3004 NEW BEST:: SOT 216352 SOS 57185 HAS SOPS 57185 HAS SOUS 38240 HAS SOUPS 38240 WITH SCORE 38297.185
AT ITER 3011 NEW BEST:: SOT 216350 SOS 57183 HAS SOPS 57183 HAS SOUS 38239 HAS SOUPS 38239 WITH SCORE 38296.183
AT ITER 3025 NEW BEST:: SOT 216302 SOS 57231 HAS SOPS 57231 HAS SOUS 38232 HAS SOUPS 38232 WITH SCORE 38289.231
AT ITER 3046 NEW BEST:: SOT 216302 SOS 57231 HAS SOPS 57231 HAS SOUS 38222 HAS SOUPS 38222 WITH SCORE 38279.231
AT ITER 3053 NEW BEST:: SOT 216294 SOS 57223 HAS SOPS 57223 HAS SOUS 38214 HAS SOUPS 38214 WITH SCORE 38271.223
AT ITER 3111 NEW BEST:: SOT 216291 SOS 57217 HAS SOPS 57217 HAS SOUS 38208 HAS SOUPS 38208 WITH SCORE 38265.217
AT ITER 3149 NEW BEST:: SOT 216251 SOS 57359 HAS SOPS 57359 HAS SOUS 38194 HAS SOUPS 38194 WITH SCORE 38251.359
AT ITER 3156 NEW BEST:: SOT 216156 SOS 57443 HAS SOPS 57443 HAS SOUS 38104 HAS SOUPS 38104 WITH SCORE 38161.443
AT ITER 3177 NEW BEST:: SOT 216109 SOS 57389 HAS SOPS 57389 HAS SOUS 38050 HAS SOUPS 38050 WITH SCORE 38107.389
AT ITER 3180 NEW BEST:: SOT 216096 SOS 57423 HAS SOPS 57423 HAS SOUS 38024 HAS SOUPS 38024 WITH SCORE 38081.423
AT ITER 3197 NEW BEST:: SOT 216090 SOS 57411 HAS SOPS 57411 HAS SOUS 38012 HAS SOUPS 38012 WITH SCORE 38069.411
AT ITER 3199 NEW BEST:: SOT 216090 SOS 57351 HAS SOPS 57351 HAS SOUS 37915 HAS SOUPS 37915 WITH SCORE 37972.351
AT ITER 3202 NEW BEST:: SOT 216142 SOS 57269 HAS SOPS 57269 HAS SOUS 37905 HAS SOUPS 37905 WITH SCORE 37962.269
AT ITER 3209 NEW BEST:: SOT 216142 SOS 57229 HAS SOPS 57229 HAS SOUS 37885 HAS SOUPS 37885 WITH SCORE 37942.229
AT ITER 3222 NEW BEST:: SOT 216113 SOS 57285 HAS SOPS 57285 HAS SOUS 37864 HAS SOUPS 37864 WITH SCORE 37921.285
AT ITER 3242 NEW BEST:: SOT 216087 SOS 57257 HAS SOPS 57257 HAS SOUS 37824 HAS SOUPS 37824 WITH SCORE 37881.257
AT ITER 3247 NEW BEST:: SOT 216069 SOS 57221 HAS SOPS 57221 HAS SOUS 37806 HAS SOUPS 37806 WITH SCORE 37863.221
AT ITER 3254 NEW BEST:: SOT 216099 SOS 57155 HAS SOPS 57155 HAS SOUS 37802 HAS SOUPS 37802 WITH SCORE 37859.155
AT ITER 3258 NEW BEST:: SOT 216050 SOS 57049 HAS SOPS 57049 HAS SOUS 37718 HAS SOUPS 37718 WITH SCORE 37775.049
AT ITER 3282 NEW BEST:: SOT 216043 SOS 55208 HAS SOPS 55208 HAS SOUS 37696 HAS SOUPS 37696 WITH SCORE 37751.208
AT ITER 3283 NEW BEST:: SOT 216043 SOS 55290 HAS SOPS 55290 HAS SOUS 37616 HAS SOUPS 37616 WITH SCORE 37671.29
AT ITER 3301 NEW BEST:: SOT 216043 SOS 55344 HAS SOPS 55344 HAS SOUS 37598 HAS SOUPS 37598 WITH SCORE 37653.344
AT ITER 3318 NEW BEST:: SOT 216057 SOS 55330 HAS SOPS 55330 HAS SOUS 37598 HAS SOUPS 37598 WITH SCORE 37653.33
AT ITER 3331 NEW BEST:: SOT 216052 SOS 55285 HAS SOPS 55285 HAS SOUS 37593 HAS SOUPS 37593 WITH SCORE 37648.285
AT ITER 3333 NEW BEST:: SOT 216062 SOS 55266 HAS SOPS 55266 HAS SOUS 37574 HAS SOUPS 37574 WITH SCORE 37629.266
AT ITER 3355 NEW BEST:: SOT 216058 SOS 55118 HAS SOPS 55118 HAS SOUS 37535 HAS SOUPS 37535 WITH SCORE 37590.118
AT ITER 3358 NEW BEST:: SOT 216057 SOS 55116 HAS SOPS 55116 HAS SOUS 37535 HAS SOUPS 37535 WITH SCORE 37590.116
AT ITER 3397 NEW BEST:: SOT 216052 SOS 55106 HAS SOPS 55106 HAS SOUS 37530 HAS SOUPS 37530 WITH SCORE 37585.106
AT ITER 3414 NEW BEST:: SOT 216050 SOS 55102 HAS SOPS 55102 HAS SOUS 37524 HAS SOUPS 37524 WITH SCORE 37579.102
AT ITER 3432 NEW BEST:: SOT 216013 SOS 55065 HAS SOPS 55065 HAS SOUS 37524 HAS SOUPS 37524 WITH SCORE 37579.065
AT ITER 3448 NEW BEST:: SOT 216003 SOS 55198 HAS SOPS 55198 HAS SOUS 37504 HAS SOUPS 37504 WITH SCORE 37559.198
AT ITER 3450 NEW BEST:: SOT 216049 SOS 55214 HAS SOPS 55214 HAS SOUS 37487 HAS SOUPS 37487 WITH SCORE 37542.214
AT ITER 3454 NEW BEST:: SOT 216043 SOS 55202 HAS SOPS 55202 HAS SOUS 37475 HAS SOUPS 37475 WITH SCORE 37530.202
AT ITER 3470 NEW BEST:: SOT 216025 SOS 55166 HAS SOPS 55166 HAS SOUS 37439 HAS SOUPS 37439 WITH SCORE 37494.166
AT ITER 3504 NEW BEST:: SOT 216012 SOS 55092 HAS SOPS 55092 HAS SOUS 37392 HAS SOUPS 37392 WITH SCORE 37447.092
AT ITER 3534 NEW BEST:: SOT 216012 SOS 55092 HAS SOPS 55092 HAS SOUS 37391 HAS SOUPS 37391 WITH SCORE 37446.092
AT ITER 3546 NEW BEST:: SOT 216090 SOS 55002 HAS SOPS 55002 HAS SOUS 37383 HAS SOUPS 37383 WITH SCORE 37438.002
AT ITER 3569 NEW BEST:: SOT 216084 SOS 54990 HAS SOPS 54990 HAS SOUS 37371 HAS SOUPS 37371 WITH SCORE 37425.99
AT ITER 3594 NEW BEST:: SOT 216093 SOS 54964 HAS SOPS 54964 HAS SOUS 37367 HAS SOUPS 37367 WITH SCORE 37421.964
AT ITER 3595 NEW BEST:: SOT 216086 SOS 54989 HAS SOPS 54989 HAS SOUS 37353 HAS SOUPS 37353 WITH SCORE 37407.989
AT ITER 3602 NEW BEST:: SOT 216090 SOS 54992 HAS SOPS 54992 HAS SOUS 37351 HAS SOUPS 37351 WITH SCORE 37405.992
AT ITER 3614 NEW BEST:: SOT 216086 SOS 54984 HAS SOPS 54984 HAS SOUS 37343 HAS SOUPS 37343 WITH SCORE 37397.984
AT ITER 3618 NEW BEST:: SOT 216067 SOS 54935 HAS SOPS 54935 HAS SOUS 37294 HAS SOUPS 37294 WITH SCORE 37348.935
AT ITER 3622 NEW BEST:: SOT 216046 SOS 54893 HAS SOPS 54893 HAS SOUS 37273 HAS SOUPS 37273 WITH SCORE 37327.893
AT ITER 3637 NEW BEST:: SOT 216065 SOS 54931 HAS SOPS 54931 HAS SOUS 37265 HAS SOUPS 37265 WITH SCORE 37319.931
AT ITER 3644 NEW BEST:: SOT 216050 SOS 54901 HAS SOPS 54901 HAS SOUS 37235 HAS SOUPS 37235 WITH SCORE 37289.901
AT ITER 3670 NEW BEST:: SOT 216025 SOS 54851 HAS SOPS 54851 HAS SOUS 37204 HAS SOUPS 37204 WITH SCORE 37258.851
AT ITER 3671 NEW BEST:: SOT 215984 SOS 54769 HAS SOPS 54769 HAS SOUS 37136 HAS SOUPS 37136 WITH SCORE 37190.769
AT ITER 3751 NEW BEST:: SOT 215974 SOS 54754 HAS SOPS 54754 HAS SOUS 37126 HAS SOUPS 37126 WITH SCORE 37180.754
AT ITER 3758 NEW BEST:: SOT 215937 SOS 54680 HAS SOPS 54680 HAS SOUS 37052 HAS SOUPS 37052 WITH SCORE 37106.68
AT ITER 3766 NEW BEST:: SOT 215909 SOS 54649 HAS SOPS 54649 HAS SOUS 36971 HAS SOUPS 36971 WITH SCORE 37025.649
AT ITER 3835 NEW BEST:: SOT 215905 SOS 54641 HAS SOPS 54641 HAS SOUS 36965 HAS SOUPS 36965 WITH SCORE 37019.641
AT ITER 3868 NEW BEST:: SOT 215903 SOS 54637 HAS SOPS 54637 HAS SOUS 36965 HAS SOUPS 36965 WITH SCORE 37019.637
AT ITER 3919 NEW BEST:: SOT 215900 SOS 54631 HAS SOPS 54631 HAS SOUS 36959 HAS SOUPS 36959 WITH SCORE 37013.631
AT ITER 4001 NEW BEST:: SOT 215898 SOS 54627 HAS SOPS 54627 HAS SOUS 36957 HAS SOUPS 36957 WITH SCORE 37011.627
AT ITER 4003 NEW BEST:: SOT 215846 SOS 54334 HAS SOPS 54334 HAS SOUS 36905 HAS SOUPS 36905 WITH SCORE 36959.334
AT ITER 4066 NEW BEST:: SOT 215859 SOS 54306 HAS SOPS 54306 HAS SOUS 36877 HAS SOUPS 36877 WITH SCORE 36931.306
AT ITER 4096 NEW BEST:: SOT 215851 SOS 54310 HAS SOPS 54310 HAS SOUS 36873 HAS SOUPS 36873 WITH SCORE 36927.31
AT ITER 4129 NEW BEST:: SOT 215841 SOS 54254 HAS SOPS 54254 HAS SOUS 36853 HAS SOUPS 36853 WITH SCORE 36907.254
AT ITER 4132 NEW BEST:: SOT 215841 SOS 54254 HAS SOPS 54254 HAS SOUS 36842 HAS SOUPS 36842 WITH SCORE 36896.254
AT ITER 4139 NEW BEST:: SOT 215893 SOS 54358 HAS SOPS 54358 HAS SOUS 36824 HAS SOUPS 36824 WITH SCORE 36878.358
AT ITER 4161 NEW BEST:: SOT 215868 SOS 54308 HAS SOPS 54308 HAS SOUS 36782 HAS SOUPS 36782 WITH SCORE 36836.308
AT ITER 4164 NEW BEST:: SOT 215829 SOS 54191 HAS SOPS 54191 HAS SOUS 36782 HAS SOUPS 36782 WITH SCORE 36836.191
AT ITER 4165 NEW BEST:: SOT 215821 SOS 54175 HAS SOPS 54175 HAS SOUS 36774 HAS SOUPS 36774 WITH SCORE 36828.175
AT ITER 4172 NEW BEST:: SOT 215821 SOS 54170 HAS SOPS 54170 HAS SOUS 36769 HAS SOUPS 36769 WITH SCORE 36823.17
AT ITER 4226 NEW BEST:: SOT 215818 SOS 54164 HAS SOPS 54164 HAS SOUS 36760 HAS SOUPS 36760 WITH SCORE 36814.164
AT ITER 4255 NEW BEST:: SOT 215804 SOS 54136 HAS SOPS 54136 HAS SOUS 36732 HAS SOUPS 36732 WITH SCORE 36786.136
AT ITER 4297 NEW BEST:: SOT 215815 SOS 53630 HAS SOPS 53630 HAS SOUS 36623 HAS SOUPS 36623 WITH SCORE 36676.63
AT ITER 4311 NEW BEST:: SOT 215810 SOS 53620 HAS SOPS 53620 HAS SOUS 36613 HAS SOUPS 36613 WITH SCORE 36666.62
AT ITER 4317 NEW BEST:: SOT 215766 SOS 54774 HAS SOPS 54774 HAS SOUS 36525 HAS SOUPS 36525 WITH SCORE 36579.774
AT ITER 4321 NEW BEST:: SOT 215766 SOS 54773 HAS SOPS 54773 HAS SOUS 36524 HAS SOUPS 36524 WITH SCORE 36578.773
AT ITER 4375 NEW BEST:: SOT 215741 SOS 54723 HAS SOPS 54723 HAS SOUS 36514 HAS SOUPS 36514 WITH SCORE 36568.723
AT ITER 4386 NEW BEST:: SOT 215733 SOS 54699 HAS SOPS 54699 HAS SOUS 36490 HAS SOUPS 36490 WITH SCORE 36544.699
AT ITER 4471 NEW BEST:: SOT 215708 SOS 54773 HAS SOPS 54773 HAS SOUS 36486 HAS SOUPS 36486 WITH SCORE 36540.773
AT ITER 4474 NEW BEST:: SOT 215688 SOS 54733 HAS SOPS 54733 HAS SOUS 36446 HAS SOUPS 36446 WITH SCORE 36500.733
AT ITER 4495 NEW BEST:: SOT 215689 SOS 54794 HAS SOPS 54794 HAS SOUS 36428 HAS SOUPS 36428 WITH SCORE 36482.794
AT ITER 4513 NEW BEST:: SOT 215686 SOS 54788 HAS SOPS 54788 HAS SOUS 36425 HAS SOUPS 36425 WITH SCORE 36479.788
AT ITER 4515 NEW BEST:: SOT 215682 SOS 54780 HAS SOPS 54780 HAS SOUS 36417 HAS SOUPS 36417 WITH SCORE 36471.78
AT ITER 4593 NEW BEST:: SOT 215682 SOS 54768 HAS SOPS 54768 HAS SOUS 36417 HAS SOUPS 36417 WITH SCORE 36471.768
AT ITER 4614 NEW BEST:: SOT 215682 SOS 54763 HAS SOPS 54763 HAS SOUS 36417 HAS SOUPS 36417 WITH SCORE 36471.763
AT ITER 4624 NEW BEST:: SOT 215670 SOS 54739 HAS SOPS 54739 HAS SOUS 36382 HAS SOUPS 36382 WITH SCORE 36436.739
AT ITER 4639 NEW BEST:: SOT 215571 SOS 54724 HAS SOPS 54724 HAS SOUS 36283 HAS SOUPS 36283 WITH SCORE 36337.724
AT ITER 4704 NEW BEST:: SOT 215538 SOS 54691 HAS SOPS 54691 HAS SOUS 36250 HAS SOUPS 36250 WITH SCORE 36304.691
AT ITER 4755 NEW BEST:: SOT 215535 SOS 54643 HAS SOPS 54643 HAS SOUS 36226 HAS SOUPS 36226 WITH SCORE 36280.643
AT ITER 4767 NEW BEST:: SOT 215535 SOS 54585 HAS SOPS 54585 HAS SOUS 36185 HAS SOUPS 36185 WITH SCORE 36239.585
AT ITER 4773 NEW BEST:: SOT 215530 SOS 54575 HAS SOPS 54575 HAS SOUS 36175 HAS SOUPS 36175 WITH SCORE 36229.575
AT ITER 4775 NEW BEST:: SOT 215485 SOS 54484 HAS SOPS 54484 HAS SOUS 36080 HAS SOUPS 36080 WITH SCORE 36134.484
AT ITER 4894 NEW BEST:: SOT 215485 SOS 54478 HAS SOPS 54478 HAS SOUS 36080 HAS SOUPS 36080 WITH SCORE 36134.478
AT ITER 4949 NEW BEST:: SOT 215474 SOS 54467 HAS SOPS 54467 HAS SOUS 36080 HAS SOUPS 36080 WITH SCORE 36134.467
AT ITER 4951 NEW BEST:: SOT 215457 SOS 54450 HAS SOPS 54450 HAS SOUS 36063 HAS SOUPS 36063 WITH SCORE 36117.45
AT ITER 4954 NEW BEST:: SOT 215456 SOS 54448 HAS SOPS 54448 HAS SOUS 36062 HAS SOUPS 36062 WITH SCORE 36116.448
AT ITER 4955 NEW BEST:: SOT 215386 SOS 54378 HAS SOPS 54378 HAS SOUS 35985 HAS SOUPS 35985 WITH SCORE 36039.378
AT ITER 4967 NEW BEST:: SOT 215386 SOS 54370 HAS SOPS 54370 HAS SOUS 35985 HAS SOUPS 35985 WITH SCORE 36039.37
AT ITER 4977 NEW BEST:: SOT 215381 SOS 54368 HAS SOPS 54368 HAS SOUS 35969 HAS SOUPS 35969 WITH SCORE 36023.368
AT ITER 4995 NEW BEST:: SOT 215425 SOS 54407 HAS SOPS 54407 HAS SOUS 35964 HAS SOUPS 35964 WITH SCORE 36018.407
AT ITER 4998 NEW BEST:: SOT 215425 SOS 54395 HAS SOPS 54395 HAS SOUS 35940 HAS SOUPS 35940 WITH SCORE 35994.395
Bounds file is: CTLFireability.xml
PROPERTY: CloudDeployment-PT-2b-CTLFireability-00 (EF( ( ( (! (! ((potential((tk(P469)>=1)))))) & ( ( ((potential((tk(P155)>=1)))) | ((potential((tk(P243)>=1)))) ) | ( ((potential((tk(P305)>=1)))) & ((potential((tk(P321)>=1) & (tk(P479)>=1)))) ) ) ) & ( ((potential((tk(P544)>=1) & (tk(P58)>=1) & (tk(P29)>=1) & (tk(P101)>=1) & (tk(P553)>=1)))) | (! ((potential((tk(P105)>=1))))) ) )))
PROPERTY: CloudDeployment-PT-2b-CTLFireability-01 (EU( ( ( ( ((potential((tk(P196)>=1)))) | ((potential((tk(P429)>=1)))) ) | ((potential((tk(P145)>=1)))) ) & (! (! ((potential((tk(P544)>=1) & (tk(P321)>=1) & (tk(P292)>=1) & (tk(P493)>=1) & (tk(P553)>=1)))))) ) , (AF( ( ((potential((tk(P426)>=1)))) | ((potential((tk(P399)>=1)))) ))) ))
PROPERTY: CloudDeployment-PT-2b-CTLFireability-02 (! ( (EG( (! ((potential((tk(P179)>=1))))))) | (AG( (AG( ((potential((tk(P236)>=1)))))))) ))
PROPERTY: CloudDeployment-PT-2b-CTLFireability-03 (EF( (EG( ( ( ((potential((tk(P483)>=1)))) | ((potential((tk(P210)>=1)))) ) | ( ((potential((tk(P323)>=1)))) | ((potential((tk(P410)>=1)))) ) )))))
PROPERTY: CloudDeployment-PT-2b-CTLFireability-04 (EU( (AF( (! ((potential((tk(P426)>=1))))))) , (AU( ((potential((tk(P260)>=1)))) , ((potential((tk(P73)>=1)))) )) ))
PROPERTY: CloudDeployment-PT-2b-CTLFireability-05 (EF( ( (AF( ((potential((tk(P201)>=1)))))) | (AU( ((potential((tk(P391)>=1)))) , ((potential((tk(P213)>=1)))) )) )))
PROPERTY: CloudDeployment-PT-2b-CTLFireability-06 ( (AG( (AG( (! ((potential((tk(P323)>=1))))))))) | (! (EF( (EF( ((potential((tk(P196)>=1))))))))) )
PROPERTY: CloudDeployment-PT-2b-CTLFireability-07 (AF( ( ( (EF( ((potential((tk(P342)>=1)))))) & ((potential((tk(P255)>=1)))) ) & ( ( (! ((potential((tk(P94)>=1))))) & (! ((potential((tk(P324)>=1))))) ) & ((potential((tk(P544)>=1) & (tk(P58)>=1) & (tk(P29)>=1) & (tk(P101)>=1) & (tk(P553)>=1)))) ) )))
PROPERTY: CloudDeployment-PT-2b-CTLFireability-08 (AF( ( ((potential((tk(P266)>=1)))) | (EG( ((potential((tk(P302)>=1)))))) )))
PROPERTY: CloudDeployment-PT-2b-CTLFireability-09 (EF( (! ( (EF( ((potential((tk(P145)>=1)))))) | ( ( ((potential((tk(P67)>=1)))) | ((potential((tk(P233)>=1)))) ) | (! ((potential((tk(P73)>=1))))) ) ))))
PROPERTY: CloudDeployment-PT-2b-CTLFireability-10 (AF( (! (AF( (! ((potential((tk(P544)>=1) & (tk(P58)>=1) & (tk(P29)>=1) & (tk(P101)>=1) & (tk(P553)>=1))))))))))
PROPERTY: CloudDeployment-PT-2b-CTLFireability-11 (EF( ((potential((tk(P337)>=1))))))
PROPERTY: CloudDeployment-PT-2b-CTLFireability-12 (EX( ( (EF( ((potential((tk(P458)>=1)))))) | (AF( ( ((potential((tk(P238)>=1)))) | ((potential((tk(P457)>=1)))) ))) )))
PROPERTY: CloudDeployment-PT-2b-CTLFireability-13 (EF( (AF( (AX( ((potential((tk(P284)>=1) & (tk(P430)>=1))))))))))
PROPERTY: CloudDeployment-PT-2b-CTLFireability-14 (EF( ((potential((tk(P544)>=1) & (tk(P321)>=1) & (tk(P292)>=1) & (tk(P346)>=1) & (tk(P553)>=1))))))
PROPERTY: CloudDeployment-PT-2b-CTLFireability-15 ( (EG( ( ((potential((tk(P93)>=1)))) | (! ((potential((tk(P523)>=1))))) ))) | ( ( (AX( ( ((potential((tk(P29)>=1) & (tk(P309)>=1)))) & ((potential((tk(P544)>=1) & (tk(P321)>=1) & (tk(P292)>=1) & (tk(P517)>=1) & (tk(P553)>=1)))) ))) | ( ((potential((tk(P413)>=1)))) & (AG( ((potential((tk(P275)>=1)))))) ) ) | (EX( ((potential((tk(P493)>=1)))))) ) )

BK_TIME_CONFINEMENT_REACHED

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

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="CloudDeployment-PT-2b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is CloudDeployment-PT-2b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r033-smll-158901925900276"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-2b.tgz
mv CloudDeployment-PT-2b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;