fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r033-smll-158901926000356
Last Updated
Jun 28, 2020

About the Execution of smart for CloudDeployment-PT-7b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.150 3600000.00 3600040.00 0.00 [undef] Time out reached

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-158901926000356.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-7b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000356
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users 4.0K Mar 30 01:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 30 01:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:02 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 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 27 08:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 27 08:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 26 08:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:09 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 20M 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-7b-CTLFireability-00
FORMULA_NAME CloudDeployment-PT-7b-CTLFireability-01
FORMULA_NAME CloudDeployment-PT-7b-CTLFireability-02
FORMULA_NAME CloudDeployment-PT-7b-CTLFireability-03
FORMULA_NAME CloudDeployment-PT-7b-CTLFireability-04
FORMULA_NAME CloudDeployment-PT-7b-CTLFireability-05
FORMULA_NAME CloudDeployment-PT-7b-CTLFireability-06
FORMULA_NAME CloudDeployment-PT-7b-CTLFireability-07
FORMULA_NAME CloudDeployment-PT-7b-CTLFireability-08
FORMULA_NAME CloudDeployment-PT-7b-CTLFireability-09
FORMULA_NAME CloudDeployment-PT-7b-CTLFireability-10
FORMULA_NAME CloudDeployment-PT-7b-CTLFireability-11
FORMULA_NAME CloudDeployment-PT-7b-CTLFireability-12
FORMULA_NAME CloudDeployment-PT-7b-CTLFireability-13
FORMULA_NAME CloudDeployment-PT-7b-CTLFireability-14
FORMULA_NAME CloudDeployment-PT-7b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589168330872

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 7b
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: 2271 places, 19752 transitions, 389666 arcs.
AT ITER 0 NEW BEST:: SOT 35950159 SOS 13093579 HAS SOPS 13093579 HAS SOUS 3940296 HAS SOUPS 3940296 WITH SCORE 3953389.579
AT ITER 5 NEW BEST:: SOT 35950159 SOS 13093553 HAS SOPS 13093553 HAS SOUS 3940270 HAS SOUPS 3940270 WITH SCORE 3953363.553
AT ITER 13 NEW BEST:: SOT 35950159 SOS 13093553 HAS SOPS 13093553 HAS SOUS 3940246 HAS SOUPS 3940246 WITH SCORE 3953339.553
AT ITER 26 NEW BEST:: SOT 35950120 SOS 13093514 HAS SOPS 13093514 HAS SOUS 3940246 HAS SOUPS 3940246 WITH SCORE 3953339.514
AT ITER 27 NEW BEST:: SOT 35950120 SOS 13093514 HAS SOPS 13093514 HAS SOUS 3940245 HAS SOUPS 3940245 WITH SCORE 3953338.514
AT ITER 51 NEW BEST:: SOT 35947325 SOS 13093252 HAS SOPS 13093252 HAS SOUS 3938113 HAS SOUPS 3938113 WITH SCORE 3951206.252
AT ITER 54 NEW BEST:: SOT 35947324 SOS 13093250 HAS SOPS 13093250 HAS SOUS 3938111 HAS SOUPS 3938111 WITH SCORE 3951204.25
AT ITER 59 NEW BEST:: SOT 35946541 SOS 13138742 HAS SOPS 13138742 HAS SOUS 3937278 HAS SOUPS 3937278 WITH SCORE 3950416.742
AT ITER 60 NEW BEST:: SOT 35946540 SOS 13138740 HAS SOPS 13138740 HAS SOUS 3937277 HAS SOUPS 3937277 WITH SCORE 3950415.74
AT ITER 78 NEW BEST:: SOT 35946284 SOS 13139488 HAS SOPS 13139488 HAS SOUS 3937209 HAS SOUPS 3937209 WITH SCORE 3950348.488
AT ITER 80 NEW BEST:: SOT 35946168 SOS 13139570 HAS SOPS 13139570 HAS SOUS 3936809 HAS SOUPS 3936809 WITH SCORE 3949948.57
AT ITER 81 NEW BEST:: SOT 35945962 SOS 13140278 HAS SOPS 13140278 HAS SOUS 3936519 HAS SOUPS 3936519 WITH SCORE 3949659.278
AT ITER 92 NEW BEST:: SOT 35945827 SOS 13140820 HAS SOPS 13140820 HAS SOUS 3936427 HAS SOUPS 3936427 WITH SCORE 3949567.82
AT ITER 100 NEW BEST:: SOT 35945827 SOS 13140820 HAS SOPS 13140820 HAS SOUS 3936424 HAS SOUPS 3936424 WITH SCORE 3949564.82
AT ITER 104 NEW BEST:: SOT 35945762 SOS 13140690 HAS SOPS 13140690 HAS SOUS 3936248 HAS SOUPS 3936248 WITH SCORE 3949388.69
AT ITER 118 NEW BEST:: SOT 35945742 SOS 13140670 HAS SOPS 13140670 HAS SOUS 3936228 HAS SOUPS 3936228 WITH SCORE 3949368.67
AT ITER 123 NEW BEST:: SOT 35945700 SOS 13140586 HAS SOPS 13140586 HAS SOUS 3936144 HAS SOUPS 3936144 WITH SCORE 3949284.586
AT ITER 145 NEW BEST:: SOT 35945570 SOS 13140456 HAS SOPS 13140456 HAS SOUS 3936014 HAS SOUPS 3936014 WITH SCORE 3949154.456
AT ITER 154 NEW BEST:: SOT 35931495 SOS 17190171 HAS SOPS 17190171 HAS SOUS 3927606 HAS SOUPS 3927606 WITH SCORE 3944796.171
AT ITER 178 NEW BEST:: SOT 35931408 SOS 17189997 HAS SOPS 17189997 HAS SOUS 3927519 HAS SOUPS 3927519 WITH SCORE 3944708.997
AT ITER 180 NEW BEST:: SOT 35931698 SOS 17189969 HAS SOPS 17189969 HAS SOUS 3927491 HAS SOUPS 3927491 WITH SCORE 3944680.969
AT ITER 181 NEW BEST:: SOT 35931713 SOS 17189877 HAS SOPS 17189877 HAS SOUS 3927445 HAS SOUPS 3927445 WITH SCORE 3944634.877
AT ITER 189 NEW BEST:: SOT 35931596 SOS 17189838 HAS SOPS 17189838 HAS SOUS 3927367 HAS SOUPS 3927367 WITH SCORE 3944556.838
AT ITER 201 NEW BEST:: SOT 35931431 SOS 17189684 HAS SOPS 17189684 HAS SOUS 3927271 HAS SOUPS 3927271 WITH SCORE 3944460.684
AT ITER 209 NEW BEST:: SOT 35931431 SOS 17189753 HAS SOPS 17189753 HAS SOUS 3927258 HAS SOUPS 3927258 WITH SCORE 3944447.753
AT ITER 216 NEW BEST:: SOT 35929294 SOS 17226439 HAS SOPS 17226439 HAS SOUS 3926925 HAS SOUPS 3926925 WITH SCORE 3944151.439
AT ITER 229 NEW BEST:: SOT 35929292 SOS 17226435 HAS SOPS 17226435 HAS SOUS 3926882 HAS SOUPS 3926882 WITH SCORE 3944108.435
AT ITER 233 NEW BEST:: SOT 35928839 SOS 17228427 HAS SOPS 17228427 HAS SOUS 3926167 HAS SOUPS 3926167 WITH SCORE 3943395.427
AT ITER 257 NEW BEST:: SOT 35928828 SOS 17228405 HAS SOPS 17228405 HAS SOUS 3926056 HAS SOUPS 3926056 WITH SCORE 3943284.405
AT ITER 258 NEW BEST:: SOT 35928828 SOS 17228360 HAS SOPS 17228360 HAS SOUS 3926011 HAS SOUPS 3926011 WITH SCORE 3943239.36
AT ITER 261 NEW BEST:: SOT 35928705 SOS 17228114 HAS SOPS 17228114 HAS SOUS 3925765 HAS SOUPS 3925765 WITH SCORE 3942993.114
AT ITER 270 NEW BEST:: SOT 35928591 SOS 17228616 HAS SOPS 17228616 HAS SOUS 3925727 HAS SOUPS 3925727 WITH SCORE 3942955.616
AT ITER 297 NEW BEST:: SOT 35924823 SOS 17238755 HAS SOPS 17238755 HAS SOUS 3922666 HAS SOUPS 3922666 WITH SCORE 3939904.755
AT ITER 302 NEW BEST:: SOT 35924661 SOS 17239426 HAS SOPS 17239426 HAS SOUS 3922305 HAS SOUPS 3922305 WITH SCORE 3939544.426
AT ITER 339 NEW BEST:: SOT 35923845 SOS 17238478 HAS SOPS 17238478 HAS SOUS 3921355 HAS SOUPS 3921355 WITH SCORE 3938593.478
AT ITER 364 NEW BEST:: SOT 35923774 SOS 17238336 HAS SOPS 17238336 HAS SOUS 3921213 HAS SOUPS 3921213 WITH SCORE 3938451.336
AT ITER 371 NEW BEST:: SOT 35923697 SOS 17238182 HAS SOPS 17238182 HAS SOUS 3921059 HAS SOUPS 3921059 WITH SCORE 3938297.182
AT ITER 378 NEW BEST:: SOT 35923628 SOS 17238215 HAS SOPS 17238215 HAS SOUS 3920819 HAS SOUPS 3920819 WITH SCORE 3938057.215
AT ITER 392 NEW BEST:: SOT 35923628 SOS 17238726 HAS SOPS 17238726 HAS SOUS 3920787 HAS SOUPS 3920787 WITH SCORE 3938025.726
AT ITER 403 NEW BEST:: SOT 35923617 SOS 17238704 HAS SOPS 17238704 HAS SOUS 3920765 HAS SOUPS 3920765 WITH SCORE 3938003.704
AT ITER 412 NEW BEST:: SOT 35923484 SOS 17239758 HAS SOPS 17239758 HAS SOUS 3920454 HAS SOUPS 3920454 WITH SCORE 3937693.758
AT ITER 413 NEW BEST:: SOT 35921779 SOS 17239693 HAS SOPS 17239693 HAS SOUS 3919482 HAS SOUPS 3919482 WITH SCORE 3936721.693
AT ITER 434 NEW BEST:: SOT 35921776 SOS 17239687 HAS SOPS 17239687 HAS SOUS 3919476 HAS SOUPS 3919476 WITH SCORE 3936715.687
AT ITER 461 NEW BEST:: SOT 35921745 SOS 17240260 HAS SOPS 17240260 HAS SOUS 3919368 HAS SOUPS 3919368 WITH SCORE 3936608.26
AT ITER 462 NEW BEST:: SOT 35921682 SOS 17240214 HAS SOPS 17240214 HAS SOUS 3919305 HAS SOUPS 3919305 WITH SCORE 3936545.214
AT ITER 480 NEW BEST:: SOT 35921544 SOS 17240231 HAS SOPS 17240231 HAS SOUS 3918955 HAS SOUPS 3918955 WITH SCORE 3936195.231
AT ITER 485 NEW BEST:: SOT 35921544 SOS 17240231 HAS SOPS 17240231 HAS SOUS 3918556 HAS SOUPS 3918556 WITH SCORE 3935796.231
AT ITER 507 NEW BEST:: SOT 35921369 SOS 17239881 HAS SOPS 17239881 HAS SOUS 3918381 HAS SOUPS 3918381 WITH SCORE 3935620.881
AT ITER 521 NEW BEST:: SOT 35921059 SOS 17239765 HAS SOPS 17239765 HAS SOUS 3918242 HAS SOUPS 3918242 WITH SCORE 3935481.765
AT ITER 542 NEW BEST:: SOT 35921148 SOS 17239943 HAS SOPS 17239943 HAS SOUS 3918002 HAS SOUPS 3918002 WITH SCORE 3935241.943
AT ITER 545 NEW BEST:: SOT 35920652 SOS 17240025 HAS SOPS 17240025 HAS SOUS 3917581 HAS SOUPS 3917581 WITH SCORE 3934821.025
AT ITER 550 NEW BEST:: SOT 35920501 SOS 17239723 HAS SOPS 17239723 HAS SOUS 3917430 HAS SOUPS 3917430 WITH SCORE 3934669.723
AT ITER 552 NEW BEST:: SOT 35920500 SOS 17239721 HAS SOPS 17239721 HAS SOUS 3917428 HAS SOUPS 3917428 WITH SCORE 3934667.721
AT ITER 562 NEW BEST:: SOT 35920500 SOS 17238569 HAS SOPS 17238569 HAS SOUS 3917428 HAS SOUPS 3917428 WITH SCORE 3934666.569
AT ITER 563 NEW BEST:: SOT 35920450 SOS 17238601 HAS SOPS 17238601 HAS SOUS 3917378 HAS SOUPS 3917378 WITH SCORE 3934616.601
AT ITER 564 NEW BEST:: SOT 35920213 SOS 17245308 HAS SOPS 17245308 HAS SOUS 3917232 HAS SOUPS 3917232 WITH SCORE 3934477.308
AT ITER 573 NEW BEST:: SOT 35920251 SOS 17244879 HAS SOPS 17244879 HAS SOUS 3917231 HAS SOUPS 3917231 WITH SCORE 3934475.879
AT ITER 584 NEW BEST:: SOT 35920256 SOS 17244889 HAS SOPS 17244889 HAS SOUS 3917034 HAS SOUPS 3917034 WITH SCORE 3934278.889
AT ITER 585 NEW BEST:: SOT 35919748 SOS 17245953 HAS SOPS 17245953 HAS SOUS 3916770 HAS SOUPS 3916770 WITH SCORE 3934015.953
AT ITER 609 NEW BEST:: SOT 35919521 SOS 17243910 HAS SOPS 17243910 HAS SOUS 3916543 HAS SOUPS 3916543 WITH SCORE 3933786.91
AT ITER 615 NEW BEST:: SOT 35919369 SOS 17243150 HAS SOPS 17243150 HAS SOUS 3916239 HAS SOUPS 3916239 WITH SCORE 3933482.15
AT ITER 620 NEW BEST:: SOT 36542008 SOS 17870374 HAS SOPS 17870374 HAS SOUS 3070978 HAS SOUPS 3070978 WITH SCORE 3088848.374
AT ITER 635 NEW BEST:: SOT 36541872 SOS 17870371 HAS SOPS 17870371 HAS SOUS 3070671 HAS SOUPS 3070671 WITH SCORE 3088541.371
AT ITER 640 NEW BEST:: SOT 36541844 SOS 17870315 HAS SOPS 17870315 HAS SOUS 3070615 HAS SOUPS 3070615 WITH SCORE 3088485.315
AT ITER 645 NEW BEST:: SOT 36541504 SOS 17870715 HAS SOPS 17870715 HAS SOUS 3070414 HAS SOUPS 3070414 WITH SCORE 3088284.715
AT ITER 675 NEW BEST:: SOT 36541444 SOS 17870587 HAS SOPS 17870587 HAS SOUS 3070286 HAS SOUPS 3070286 WITH SCORE 3088156.587
AT ITER 677 NEW BEST:: SOT 36541444 SOS 17870581 HAS SOPS 17870581 HAS SOUS 3070280 HAS SOUPS 3070280 WITH SCORE 3088150.581
AT ITER 698 NEW BEST:: SOT 36541252 SOS 17869822 HAS SOPS 17869822 HAS SOUS 3070088 HAS SOUPS 3070088 WITH SCORE 3087957.822
AT ITER 701 NEW BEST:: SOT 36541252 SOS 17869762 HAS SOPS 17869762 HAS SOUS 3070028 HAS SOUPS 3070028 WITH SCORE 3087897.762
AT ITER 707 NEW BEST:: SOT 36541141 SOS 17869662 HAS SOPS 17869662 HAS SOUS 3069859 HAS SOUPS 3069859 WITH SCORE 3087728.662
AT ITER 712 NEW BEST:: SOT 36540748 SOS 17869269 HAS SOPS 17869269 HAS SOUS 3069335 HAS SOUPS 3069335 WITH SCORE 3087204.269
AT ITER 732 NEW BEST:: SOT 36540747 SOS 17869268 HAS SOPS 17869268 HAS SOUS 3069334 HAS SOUPS 3069334 WITH SCORE 3087203.268
AT ITER 738 NEW BEST:: SOT 36540964 SOS 17869702 HAS SOPS 17869702 HAS SOUS 3069211 HAS SOUPS 3069211 WITH SCORE 3087080.702
AT ITER 763 NEW BEST:: SOT 36539566 SOS 17867608 HAS SOPS 17867608 HAS SOUS 3067465 HAS SOUPS 3067465 WITH SCORE 3085332.608
AT ITER 771 NEW BEST:: SOT 36539677 SOS 17867830 HAS SOPS 17867830 HAS SOUS 3067325 HAS SOUPS 3067325 WITH SCORE 3085192.83
AT ITER 778 NEW BEST:: SOT 36539417 SOS 17881122 HAS SOPS 17881122 HAS SOUS 3067280 HAS SOUPS 3067280 WITH SCORE 3085161.122
AT ITER 804 NEW BEST:: SOT 36539374 SOS 17881481 HAS SOPS 17881481 HAS SOUS 3067148 HAS SOUPS 3067148 WITH SCORE 3085029.481
AT ITER 834 NEW BEST:: SOT 36539067 SOS 17880867 HAS SOPS 17880867 HAS SOUS 3066534 HAS SOUPS 3066534 WITH SCORE 3084414.867
AT ITER 846 NEW BEST:: SOT 36537919 SOS 17879342 HAS SOPS 17879342 HAS SOUS 3065386 HAS SOUPS 3065386 WITH SCORE 3083265.342
AT ITER 848 NEW BEST:: SOT 36535080 SOS 17878647 HAS SOPS 17878647 HAS SOUS 3064145 HAS SOUPS 3064145 WITH SCORE 3082023.647
AT ITER 873 NEW BEST:: SOT 36535021 SOS 17878529 HAS SOPS 17878529 HAS SOUS 3064086 HAS SOUPS 3064086 WITH SCORE 3081964.529
AT ITER 881 NEW BEST:: SOT 36530682 SOS 17873921 HAS SOPS 17873921 HAS SOUS 3059478 HAS SOUPS 3059478 WITH SCORE 3077351.921
AT ITER 882 NEW BEST:: SOT 36527208 SOS 17873748 HAS SOPS 17873748 HAS SOUS 3056004 HAS SOUPS 3056004 WITH SCORE 3073877.748
AT ITER 899 NEW BEST:: SOT 36526886 SOS 17874596 HAS SOPS 17874596 HAS SOUS 3055526 HAS SOUPS 3055526 WITH SCORE 3073400.596
AT ITER 909 NEW BEST:: SOT 36526760 SOS 17874579 HAS SOPS 17874579 HAS SOUS 3055400 HAS SOUPS 3055400 WITH SCORE 3073274.579
AT ITER 911 NEW BEST:: SOT 36526643 SOS 17874345 HAS SOPS 17874345 HAS SOUS 3055166 HAS SOUPS 3055166 WITH SCORE 3073040.345
AT ITER 928 NEW BEST:: SOT 36525123 SOS 17873750 HAS SOPS 17873750 HAS SOUS 3053404 HAS SOUPS 3053404 WITH SCORE 3071277.75
AT ITER 943 NEW BEST:: SOT 36525113 SOS 17873730 HAS SOPS 17873730 HAS SOUS 3053394 HAS SOUPS 3053394 WITH SCORE 3071267.73
AT ITER 950 NEW BEST:: SOT 36524866 SOS 17873483 HAS SOPS 17873483 HAS SOUS 3020379 HAS SOUPS 3020379 WITH SCORE 3038252.483
AT ITER 956 NEW BEST:: SOT 36524259 SOS 17873281 HAS SOPS 17873281 HAS SOUS 3019771 HAS SOUPS 3019771 WITH SCORE 3037644.281
AT ITER 973 NEW BEST:: SOT 36524258 SOS 17873279 HAS SOPS 17873279 HAS SOUS 3019769 HAS SOUPS 3019769 WITH SCORE 3037642.279
AT ITER 1016 NEW BEST:: SOT 36524257 SOS 17873277 HAS SOPS 17873277 HAS SOUS 3019767 HAS SOUPS 3019767 WITH SCORE 3037640.277
AT ITER 1017 NEW BEST:: SOT 36524045 SOS 17872205 HAS SOPS 17872205 HAS SOUS 3019505 HAS SOUPS 3019505 WITH SCORE 3037377.205
AT ITER 1028 NEW BEST:: SOT 36523780 SOS 17872249 HAS SOPS 17872249 HAS SOUS 2453280 HAS SOUPS 2453280 WITH SCORE 2471152.249
AT ITER 1052 NEW BEST:: SOT 36523656 SOS 17872001 HAS SOPS 17872001 HAS SOUS 2453032 HAS SOUPS 2453032 WITH SCORE 2470904.001
AT ITER 1057 NEW BEST:: SOT 36523655 SOS 17871999 HAS SOPS 17871999 HAS SOUS 2453030 HAS SOUPS 2453030 WITH SCORE 2470901.999
AT ITER 1070 NEW BEST:: SOT 36523655 SOS 17871929 HAS SOPS 17871929 HAS SOUS 2452928 HAS SOUPS 2452928 WITH SCORE 2470799.929
AT ITER 1073 NEW BEST:: SOT 36523620 SOS 17871894 HAS SOPS 17871894 HAS SOUS 2452907 HAS SOUPS 2452907 WITH SCORE 2470778.894
AT ITER 1076 NEW BEST:: SOT 36523567 SOS 17871788 HAS SOPS 17871788 HAS SOUS 2452801 HAS SOUPS 2452801 WITH SCORE 2470672.788
AT ITER 1092 NEW BEST:: SOT 36523775 SOS 17872204 HAS SOPS 17872204 HAS SOUS 2452684 HAS SOUPS 2452684 WITH SCORE 2470556.204
AT ITER 1094 NEW BEST:: SOT 36523775 SOS 17872336 HAS SOPS 17872336 HAS SOUS 2452532 HAS SOUPS 2452532 WITH SCORE 2470404.336
AT ITER 1104 NEW BEST:: SOT 36523683 SOS 17872244 HAS SOPS 17872244 HAS SOUS 2452516 HAS SOUPS 2452516 WITH SCORE 2470388.244
AT ITER 1107 NEW BEST:: SOT 36523560 SOS 17872091 HAS SOPS 17872091 HAS SOUS 2452363 HAS SOUPS 2452363 WITH SCORE 2470235.091
AT ITER 1110 NEW BEST:: SOT 36523309 SOS 17871868 HAS SOPS 17871868 HAS SOUS 2452019 HAS SOUPS 2452019 WITH SCORE 2469890.868
AT ITER 1122 NEW BEST:: SOT 36523097 SOS 17871762 HAS SOPS 17871762 HAS SOUS 2451860 HAS SOUPS 2451860 WITH SCORE 2469731.762
AT ITER 1131 NEW BEST:: SOT 36521895 SOS 17871783 HAS SOPS 17871783 HAS SOUS 2450755 HAS SOUPS 2450755 WITH SCORE 2468626.783
AT ITER 1146 NEW BEST:: SOT 36521894 SOS 17871781 HAS SOPS 17871781 HAS SOUS 2450753 HAS SOUPS 2450753 WITH SCORE 2468624.781
AT ITER 1160 NEW BEST:: SOT 36517998 SOS 17971503 HAS SOPS 17971503 HAS SOUS 2449647 HAS SOUPS 2449647 WITH SCORE 2467618.503
AT ITER 1167 NEW BEST:: SOT 36517970 SOS 17971447 HAS SOPS 17971447 HAS SOUS 2449591 HAS SOUPS 2449591 WITH SCORE 2467562.447
AT ITER 1169 NEW BEST:: SOT 36516903 SOS 17970913 HAS SOPS 17970913 HAS SOUS 2448767 HAS SOUPS 2448767 WITH SCORE 2466737.913
AT ITER 1172 NEW BEST:: SOT 36516902 SOS 17970911 HAS SOPS 17970911 HAS SOUS 2448765 HAS SOUPS 2448765 WITH SCORE 2466735.911
AT ITER 1183 NEW BEST:: SOT 36516797 SOS 17970701 HAS SOPS 17970701 HAS SOUS 2448555 HAS SOUPS 2448555 WITH SCORE 2466525.701
AT ITER 1191 NEW BEST:: SOT 36516538 SOS 17970409 HAS SOPS 17970409 HAS SOUS 2448543 HAS SOUPS 2448543 WITH SCORE 2466513.409
AT ITER 1200 NEW BEST:: SOT 36516497 SOS 17970286 HAS SOPS 17970286 HAS SOUS 2448461 HAS SOUPS 2448461 WITH SCORE 2466431.286
AT ITER 1209 NEW BEST:: SOT 36516370 SOS 17969974 HAS SOPS 17969974 HAS SOUS 2448304 HAS SOUPS 2448304 WITH SCORE 2466273.974
AT ITER 1210 NEW BEST:: SOT 36517092 SOS 17971418 HAS SOPS 17971418 HAS SOUS 2448284 HAS SOUPS 2448284 WITH SCORE 2466255.418
AT ITER 1222 NEW BEST:: SOT 36516707 SOS 17971033 HAS SOPS 17971033 HAS SOUS 2447953 HAS SOUPS 2447953 WITH SCORE 2465924.033
AT ITER 1223 NEW BEST:: SOT 36516707 SOS 17971033 HAS SOPS 17971033 HAS SOUS 2447948 HAS SOUPS 2447948 WITH SCORE 2465919.033
AT ITER 1241 NEW BEST:: SOT 36516473 SOS 17971306 HAS SOPS 17971306 HAS SOUS 2447810 HAS SOUPS 2447810 WITH SCORE 2465781.306
AT ITER 1244 NEW BEST:: SOT 36516177 SOS 17970714 HAS SOPS 17970714 HAS SOUS 2447514 HAS SOUPS 2447514 WITH SCORE 2465484.714
AT ITER 1256 NEW BEST:: SOT 36516063 SOS 17970486 HAS SOPS 17970486 HAS SOUS 2447485 HAS SOUPS 2447485 WITH SCORE 2465455.486
AT ITER 1275 NEW BEST:: SOT 36515856 SOS 17970072 HAS SOPS 17970072 HAS SOUS 2447376 HAS SOUPS 2447376 WITH SCORE 2465346.072
AT ITER 1279 NEW BEST:: SOT 36515855 SOS 17970070 HAS SOPS 17970070 HAS SOUS 2447374 HAS SOUPS 2447374 WITH SCORE 2465344.07
AT ITER 1288 NEW BEST:: SOT 36515855 SOS 17970302 HAS SOPS 17970302 HAS SOUS 2447142 HAS SOUPS 2447142 WITH SCORE 2465112.302
AT ITER 1290 NEW BEST:: SOT 36514533 SOS 17968717 HAS SOPS 17968717 HAS SOUS 2445557 HAS SOUPS 2445557 WITH SCORE 2463525.717
AT ITER 1304 NEW BEST:: SOT 36514533 SOS 17968062 HAS SOPS 17968062 HAS SOUS 2445369 HAS SOUPS 2445369 WITH SCORE 2463337.062
AT ITER 1324 NEW BEST:: SOT 36514498 SOS 17967992 HAS SOPS 17967992 HAS SOUS 2445334 HAS SOUPS 2445334 WITH SCORE 2463301.992
AT ITER 1330 NEW BEST:: SOT 36514435 SOS 17967866 HAS SOPS 17967866 HAS SOUS 2444609 HAS SOUPS 2444609 WITH SCORE 2462576.866
AT ITER 1341 NEW BEST:: SOT 36514344 SOS 17968141 HAS SOPS 17968141 HAS SOUS 2444516 HAS SOUPS 2444516 WITH SCORE 2462484.141
AT ITER 1346 NEW BEST:: SOT 36514091 SOS 17967570 HAS SOPS 17967570 HAS SOUS 2444269 HAS SOUPS 2444269 WITH SCORE 2462236.57
AT ITER 1354 NEW BEST:: SOT 36513983 SOS 17967354 HAS SOPS 17967354 HAS SOUS 2444199 HAS SOUPS 2444199 WITH SCORE 2462166.354
AT ITER 1386 NEW BEST:: SOT 36514126 SOS 17966833 HAS SOPS 17966833 HAS SOUS 2444129 HAS SOUPS 2444129 WITH SCORE 2462095.833
AT ITER 1409 NEW BEST:: SOT 36513944 SOS 17966691 HAS SOPS 17966691 HAS SOUS 2443992 HAS SOUPS 2443992 WITH SCORE 2461958.691
AT ITER 1411 NEW BEST:: SOT 36513944 SOS 17966817 HAS SOPS 17966817 HAS SOUS 2443962 HAS SOUPS 2443962 WITH SCORE 2461928.817
AT ITER 1412 NEW BEST:: SOT 36513767 SOS 17966179 HAS SOPS 17966179 HAS SOUS 2443520 HAS SOUPS 2443520 WITH SCORE 2461486.179
AT ITER 1430 NEW BEST:: SOT 36513767 SOS 17966527 HAS SOPS 17966527 HAS SOUS 2277460 HAS SOUPS 2277460 WITH SCORE 2295426.527
AT ITER 1437 NEW BEST:: SOT 36513766 SOS 17966525 HAS SOPS 17966525 HAS SOUS 2277459 HAS SOUPS 2277459 WITH SCORE 2295425.525
AT ITER 1451 NEW BEST:: SOT 36513713 SOS 17966075 HAS SOPS 17966075 HAS SOUS 2277406 HAS SOUPS 2277406 WITH SCORE 2295372.075
AT ITER 1456 NEW BEST:: SOT 36513289 SOS 17966412 HAS SOPS 17966412 HAS SOUS 2277109 HAS SOUPS 2277109 WITH SCORE 2295075.412
AT ITER 1473 NEW BEST:: SOT 36513228 SOS 17966473 HAS SOPS 17966473 HAS SOUS 2277048 HAS SOUPS 2277048 WITH SCORE 2295014.473
AT ITER 1484 NEW BEST:: SOT 36512783 SOS 17965583 HAS SOPS 17965583 HAS SOUS 2276308 HAS SOUPS 2276308 WITH SCORE 2294273.583
AT ITER 1495 NEW BEST:: SOT 36512430 SOS 17964877 HAS SOPS 17964877 HAS SOUS 2275955 HAS SOUPS 2275955 WITH SCORE 2293919.877
AT ITER 1498 NEW BEST:: SOT 36512430 SOS 17964780 HAS SOPS 17964780 HAS SOUS 2275858 HAS SOUPS 2275858 WITH SCORE 2293822.78
AT ITER 1500 NEW BEST:: SOT 36918848 SOS 18371253 HAS SOPS 18371253 HAS SOUS 2231826 HAS SOUPS 2231826 WITH SCORE 2250197.253
AT ITER 1510 NEW BEST:: SOT 36918790 SOS 18370849 HAS SOPS 18370849 HAS SOUS 2231749 HAS SOUPS 2231749 WITH SCORE 2250119.849
AT ITER 1517 NEW BEST:: SOT 36918111 SOS 18370319 HAS SOPS 18370319 HAS SOUS 2231495 HAS SOUPS 2231495 WITH SCORE 2249865.319
AT ITER 1528 NEW BEST:: SOT 36917973 SOS 18370273 HAS SOPS 18370273 HAS SOUS 2231403 HAS SOUPS 2231403 WITH SCORE 2249773.273
AT ITER 1531 NEW BEST:: SOT 36917973 SOS 18370129 HAS SOPS 18370129 HAS SOUS 2231393 HAS SOUPS 2231393 WITH SCORE 2249763.129
AT ITER 1545 NEW BEST:: SOT 36917973 SOS 18370129 HAS SOPS 18370129 HAS SOUS 2231352 HAS SOUPS 2231352 WITH SCORE 2249722.129
AT ITER 1553 NEW BEST:: SOT 36917912 SOS 18370007 HAS SOPS 18370007 HAS SOUS 2231052 HAS SOUPS 2231052 WITH SCORE 2249422.007
AT ITER 1561 NEW BEST:: SOT 36917960 SOS 18369965 HAS SOPS 18369965 HAS SOUS 2230752 HAS SOUPS 2230752 WITH SCORE 2249121.965
AT ITER 1568 NEW BEST:: SOT 36917666 SOS 18370553 HAS SOPS 18370553 HAS SOUS 2230458 HAS SOUPS 2230458 WITH SCORE 2248828.553
AT ITER 1569 NEW BEST:: SOT 36917666 SOS 18370553 HAS SOPS 18370553 HAS SOUS 2230457 HAS SOUPS 2230457 WITH SCORE 2248827.553
AT ITER 1570 NEW BEST:: SOT 36917590 SOS 18370230 HAS SOPS 18370230 HAS SOUS 2230134 HAS SOUPS 2230134 WITH SCORE 2248504.23
AT ITER 1572 NEW BEST:: SOT 36917611 SOS 18369909 HAS SOPS 18369909 HAS SOUS 2230079 HAS SOUPS 2230079 WITH SCORE 2248448.909
AT ITER 1580 NEW BEST:: SOT 36916528 SOS 18415636 HAS SOPS 18415636 HAS SOUS 2228922 HAS SOUPS 2228922 WITH SCORE 2247337.636
AT ITER 1581 NEW BEST:: SOT 36916512 SOS 18415684 HAS SOPS 18415684 HAS SOUS 2228864 HAS SOUPS 2228864 WITH SCORE 2247279.684
AT ITER 1587 NEW BEST:: SOT 36916512 SOS 18426248 HAS SOPS 18426248 HAS SOUS 2228841 HAS SOUPS 2228841 WITH SCORE 2247267.248
AT ITER 1590 NEW BEST:: SOT 36911774 SOS 18460108 HAS SOPS 18460108 HAS SOUS 2225797 HAS SOUPS 2225797 WITH SCORE 2244257.108
AT ITER 1594 NEW BEST:: SOT 36911774 SOS 18460108 HAS SOPS 18460108 HAS SOUS 2225686 HAS SOUPS 2225686 WITH SCORE 2244146.108
AT ITER 1599 NEW BEST:: SOT 36911185 SOS 18458930 HAS SOPS 18458930 HAS SOUS 2224048 HAS SOUPS 2224048 WITH SCORE 2242506.93
AT ITER 1606 NEW BEST:: SOT 36911108 SOS 18458776 HAS SOPS 18458776 HAS SOUS 2223971 HAS SOUPS 2223971 WITH SCORE 2242429.776
AT ITER 1651 NEW BEST:: SOT 36911072 SOS 18458704 HAS SOPS 18458704 HAS SOUS 2223935 HAS SOUPS 2223935 WITH SCORE 2242393.704
AT ITER 1657 NEW BEST:: SOT 36911028 SOS 18458616 HAS SOPS 18458616 HAS SOUS 2223847 HAS SOUPS 2223847 WITH SCORE 2242305.616
AT ITER 1659 NEW BEST:: SOT 36911064 SOS 18458617 HAS SOPS 18458617 HAS SOUS 2223760 HAS SOUPS 2223760 WITH SCORE 2242218.617
AT ITER 1661 NEW BEST:: SOT 36910985 SOS 18458380 HAS SOPS 18458380 HAS SOUS 2223654 HAS SOUPS 2223654 WITH SCORE 2242112.38
AT ITER 1670 NEW BEST:: SOT 36910843 SOS 18458096 HAS SOPS 18458096 HAS SOUS 2223247 HAS SOUPS 2223247 WITH SCORE 2241705.096
AT ITER 1676 NEW BEST:: SOT 36910795 SOS 18457760 HAS SOPS 18457760 HAS SOUS 2223199 HAS SOUPS 2223199 WITH SCORE 2241656.76
AT ITER 1717 NEW BEST:: SOT 36910777 SOS 18457724 HAS SOPS 18457724 HAS SOUS 2223172 HAS SOUPS 2223172 WITH SCORE 2241629.724
AT ITER 1770 NEW BEST:: SOT 36910777 SOS 18457605 HAS SOPS 18457605 HAS SOUS 2223081 HAS SOUPS 2223081 WITH SCORE 2241538.605
AT ITER 1783 NEW BEST:: SOT 36910492 SOS 18457890 HAS SOPS 18457890 HAS SOUS 2222796 HAS SOUPS 2222796 WITH SCORE 2241253.89
AT ITER 1796 NEW BEST:: SOT 36910566 SOS 18458038 HAS SOPS 18458038 HAS SOUS 2222747 HAS SOUPS 2222747 WITH SCORE 2241205.038
AT ITER 1799 NEW BEST:: SOT 36910192 SOS 18457677 HAS SOPS 18457677 HAS SOUS 2222244 HAS SOUPS 2222244 WITH SCORE 2240701.677
AT ITER 1810 NEW BEST:: SOT 36909810 SOS 18457728 HAS SOPS 18457728 HAS SOUS 2221862 HAS SOUPS 2221862 WITH SCORE 2240319.728
AT ITER 1814 NEW BEST:: SOT 36909300 SOS 18459907 HAS SOPS 18459907 HAS SOUS 2221468 HAS SOUPS 2221468 WITH SCORE 2239927.907
AT ITER 1822 NEW BEST:: SOT 36909324 SOS 18459907 HAS SOPS 18459907 HAS SOUS 2221420 HAS SOUPS 2221420 WITH SCORE 2239879.907
AT ITER 1846 NEW BEST:: SOT 36909324 SOS 18459820 HAS SOPS 18459820 HAS SOUS 2221325 HAS SOUPS 2221325 WITH SCORE 2239784.82
AT ITER 1852 NEW BEST:: SOT 36908775 SOS 18459271 HAS SOPS 18459271 HAS SOUS 2221274 HAS SOUPS 2221274 WITH SCORE 2239733.271
AT ITER 1868 NEW BEST:: SOT 36908745 SOS 18459211 HAS SOPS 18459211 HAS SOUS 2221214 HAS SOUPS 2221214 WITH SCORE 2239673.211
AT ITER 1883 NEW BEST:: SOT 36908826 SOS 18459130 HAS SOPS 18459130 HAS SOUS 2221214 HAS SOUPS 2221214 WITH SCORE 2239673.13
AT ITER 1900 NEW BEST:: SOT 36908681 SOS 18458840 HAS SOPS 18458840 HAS SOUS 2221097 HAS SOUPS 2221097 WITH SCORE 2239555.84
AT ITER 1914 NEW BEST:: SOT 36908510 SOS 18458498 HAS SOPS 18458498 HAS SOUS 2220926 HAS SOUPS 2220926 WITH SCORE 2239384.498
AT ITER 1915 NEW BEST:: SOT 36908205 SOS 18458253 HAS SOPS 18458253 HAS SOUS 2220821 HAS SOUPS 2220821 WITH SCORE 2239279.253
AT ITER 1920 NEW BEST:: SOT 36908205 SOS 18458253 HAS SOPS 18458253 HAS SOUS 2220801 HAS SOUPS 2220801 WITH SCORE 2239259.253
AT ITER 1926 NEW BEST:: SOT 36907916 SOS 18458375 HAS SOPS 18458375 HAS SOUS 2220573 HAS SOUPS 2220573 WITH SCORE 2239031.375
AT ITER 1950 NEW BEST:: SOT 36907930 SOS 18457887 HAS SOPS 18457887 HAS SOUS 2220526 HAS SOUPS 2220526 WITH SCORE 2238983.887
AT ITER 1963 NEW BEST:: SOT 36907571 SOS 18457887 HAS SOPS 18457887 HAS SOUS 2220167 HAS SOUPS 2220167 WITH SCORE 2238624.887
AT ITER 1965 NEW BEST:: SOT 36906347 SOS 18459220 HAS SOPS 18459220 HAS SOUS 2219852 HAS SOUPS 2219852 WITH SCORE 2238311.22
AT ITER 1975 NEW BEST:: SOT 36906339 SOS 18459204 HAS SOPS 18459204 HAS SOUS 2219836 HAS SOUPS 2219836 WITH SCORE 2238295.204
AT ITER 1980 NEW BEST:: SOT 36906339 SOS 18459019 HAS SOPS 18459019 HAS SOUS 2219836 HAS SOUPS 2219836 WITH SCORE 2238295.019
AT ITER 1981 NEW BEST:: SOT 36906339 SOS 18458601 HAS SOPS 18458601 HAS SOUS 2219435 HAS SOUPS 2219435 WITH SCORE 2237893.601
AT ITER 1983 NEW BEST:: SOT 36906339 SOS 18458601 HAS SOPS 18458601 HAS SOUS 2219285 HAS SOUPS 2219285 WITH SCORE 2237743.601
AT ITER 1989 NEW BEST:: SOT 36906235 SOS 18457561 HAS SOPS 18457561 HAS SOUS 2218973 HAS SOUPS 2218973 WITH SCORE 2237430.561
AT ITER 2021 NEW BEST:: SOT 36906278 SOS 18457073 HAS SOPS 18457073 HAS SOUS 2218839 HAS SOUPS 2218839 WITH SCORE 2237296.073
AT ITER 2033 NEW BEST:: SOT 36901484 SOS 18456335 HAS SOPS 18456335 HAS SOUS 2214454 HAS SOUPS 2214454 WITH SCORE 2232910.335
AT ITER 2048 NEW BEST:: SOT 36902237 SOS 18457003 HAS SOPS 18457003 HAS SOUS 2214431 HAS SOUPS 2214431 WITH SCORE 2232888.003
AT ITER 2057 NEW BEST:: SOT 36902075 SOS 18457367 HAS SOPS 18457367 HAS SOUS 2214365 HAS SOUPS 2214365 WITH SCORE 2232822.367
AT ITER 2062 NEW BEST:: SOT 36902011 SOS 18457303 HAS SOPS 18457303 HAS SOUS 2214365 HAS SOUPS 2214365 WITH SCORE 2232822.303
AT ITER 2068 NEW BEST:: SOT 36901975 SOS 18457231 HAS SOPS 18457231 HAS SOUS 2214327 HAS SOUPS 2214327 WITH SCORE 2232784.231
AT ITER 2085 NEW BEST:: SOT 36901975 SOS 18457231 HAS SOPS 18457231 HAS SOUS 2214249 HAS SOUPS 2214249 WITH SCORE 2232706.231
AT ITER 2099 NEW BEST:: SOT 36901795 SOS 18457096 HAS SOPS 18457096 HAS SOUS 2214069 HAS SOUPS 2214069 WITH SCORE 2232526.096
AT ITER 2103 NEW BEST:: SOT 36901573 SOS 18456652 HAS SOPS 18456652 HAS SOUS 2213846 HAS SOUPS 2213846 WITH SCORE 2232302.652
AT ITER 2121 NEW BEST:: SOT 36901531 SOS 18456568 HAS SOPS 18456568 HAS SOUS 2213762 HAS SOUPS 2213762 WITH SCORE 2232218.568
AT ITER 2142 NEW BEST:: SOT 36901411 SOS 18456328 HAS SOPS 18456328 HAS SOUS 2213338 HAS SOUPS 2213338 WITH SCORE 2231794.328
AT ITER 2145 NEW BEST:: SOT 36901411 SOS 18456073 HAS SOPS 18456073 HAS SOUS 2213083 HAS SOUPS 2213083 WITH SCORE 2231539.073
AT ITER 2163 NEW BEST:: SOT 36901397 SOS 18456045 HAS SOPS 18456045 HAS SOUS 2213055 HAS SOUPS 2213055 WITH SCORE 2231511.045
AT ITER 2165 NEW BEST:: SOT 36901363 SOS 18455977 HAS SOPS 18455977 HAS SOUS 2212987 HAS SOUPS 2212987 WITH SCORE 2231442.977
AT ITER 2191 NEW BEST:: SOT 36901363 SOS 18455975 HAS SOPS 18455975 HAS SOUS 2212725 HAS SOUPS 2212725 WITH SCORE 2231180.975
AT ITER 2194 NEW BEST:: SOT 36900373 SOS 18455180 HAS SOPS 18455180 HAS SOUS 2211543 HAS SOUPS 2211543 WITH SCORE 2229998.18
AT ITER 2200 NEW BEST:: SOT 36900371 SOS 18455176 HAS SOPS 18455176 HAS SOUS 2211477 HAS SOUPS 2211477 WITH SCORE 2229932.176
AT ITER 2214 NEW BEST:: SOT 36900371 SOS 18454917 HAS SOPS 18454917 HAS SOUS 2211477 HAS SOUPS 2211477 WITH SCORE 2229931.917
AT ITER 2224 NEW BEST:: SOT 36899870 SOS 18454665 HAS SOPS 18454665 HAS SOUS 2210975 HAS SOUPS 2210975 WITH SCORE 2229429.665
AT ITER 2244 NEW BEST:: SOT 36899599 SOS 18454503 HAS SOPS 18454503 HAS SOUS 2210774 HAS SOUPS 2210774 WITH SCORE 2229228.503
AT ITER 2254 NEW BEST:: SOT 36899426 SOS 18454022 HAS SOPS 18454022 HAS SOUS 2210719 HAS SOUPS 2210719 WITH SCORE 2229173.022
AT ITER 2278 NEW BEST:: SOT 36899479 SOS 18453716 HAS SOPS 18453716 HAS SOUS 2210304 HAS SOUPS 2210304 WITH SCORE 2228757.716
AT ITER 2286 NEW BEST:: SOT 36899464 SOS 18453686 HAS SOPS 18453686 HAS SOUS 2210182 HAS SOUPS 2210182 WITH SCORE 2228635.686
AT ITER 2294 NEW BEST:: SOT 36898461 SOS 18452773 HAS SOPS 18452773 HAS SOUS 2209935 HAS SOUPS 2209935 WITH SCORE 2228387.773
AT ITER 2305 NEW BEST:: SOT 36898417 SOS 18453102 HAS SOPS 18453102 HAS SOUS 2209788 HAS SOUPS 2209788 WITH SCORE 2228241.102
AT ITER 2312 NEW BEST:: SOT 36898335 SOS 18452938 HAS SOPS 18452938 HAS SOUS 2209333 HAS SOUPS 2209333 WITH SCORE 2227785.938
AT ITER 2330 NEW BEST:: SOT 37000360 SOS 18556509 HAS SOPS 18556509 HAS SOUS 1932147 HAS SOUPS 1932147 WITH SCORE 1950703.509
AT ITER 2363 NEW BEST:: SOT 36999579 SOS 18555355 HAS SOPS 18555355 HAS SOUS 1930997 HAS SOUPS 1930997 WITH SCORE 1949552.355
AT ITER 2381 NEW BEST:: SOT 36999579 SOS 18555175 HAS SOPS 18555175 HAS SOUS 1930919 HAS SOUPS 1930919 WITH SCORE 1949474.175
AT ITER 2410 NEW BEST:: SOT 36999495 SOS 18555007 HAS SOPS 18555007 HAS SOUS 1930751 HAS SOUPS 1930751 WITH SCORE 1949306.007
AT ITER 2413 NEW BEST:: SOT 36999412 SOS 18554924 HAS SOPS 18554924 HAS SOUS 1930704 HAS SOUPS 1930704 WITH SCORE 1949258.924
AT ITER 2424 NEW BEST:: SOT 36999412 SOS 18554702 HAS SOPS 18554702 HAS SOUS 1930482 HAS SOUPS 1930482 WITH SCORE 1949036.702
AT ITER 2431 NEW BEST:: SOT 36999401 SOS 18554680 HAS SOPS 18554680 HAS SOUS 1930471 HAS SOUPS 1930471 WITH SCORE 1949025.68
AT ITER 2455 NEW BEST:: SOT 36999725 SOS 18554622 HAS SOPS 18554622 HAS SOUS 1929824 HAS SOUPS 1929824 WITH SCORE 1948378.622
AT ITER 2467 NEW BEST:: SOT 36999700 SOS 18554439 HAS SOPS 18554439 HAS SOUS 1929775 HAS SOUPS 1929775 WITH SCORE 1948329.439
AT ITER 2476 NEW BEST:: SOT 36999695 SOS 18554551 HAS SOPS 18554551 HAS SOUS 1929770 HAS SOUPS 1929770 WITH SCORE 1948324.551
AT ITER 2492 NEW BEST:: SOT 36999695 SOS 18554615 HAS SOPS 18554615 HAS SOUS 1929690 HAS SOUPS 1929690 WITH SCORE 1948244.615
AT ITER 2504 NEW BEST:: SOT 36999695 SOS 18554712 HAS SOPS 18554712 HAS SOUS 1929564 HAS SOUPS 1929564 WITH SCORE 1948118.712
AT ITER 2505 NEW BEST:: SOT 36999795 SOS 18554912 HAS SOPS 18554912 HAS SOUS 1929269 HAS SOUPS 1929269 WITH SCORE 1947823.912
AT ITER 2511 NEW BEST:: SOT 36999795 SOS 18554912 HAS SOPS 18554912 HAS SOUS 1929170 HAS SOUPS 1929170 WITH SCORE 1947724.912
AT ITER 2512 NEW BEST:: SOT 36999728 SOS 18554913 HAS SOPS 18554913 HAS SOUS 1928884 HAS SOUPS 1928884 WITH SCORE 1947438.913
AT ITER 2514 NEW BEST:: SOT 36999908 SOS 18555012 HAS SOPS 18555012 HAS SOUS 1928602 HAS SOUPS 1928602 WITH SCORE 1947157.012
AT ITER 2519 NEW BEST:: SOT 36999690 SOS 18554903 HAS SOPS 18554903 HAS SOUS 1928384 HAS SOUPS 1928384 WITH SCORE 1946938.903
AT ITER 2522 NEW BEST:: SOT 36999677 SOS 18554877 HAS SOPS 18554877 HAS SOUS 1928371 HAS SOUPS 1928371 WITH SCORE 1946925.877
AT ITER 2523 NEW BEST:: SOT 36998956 SOS 18554875 HAS SOPS 18554875 HAS SOUS 1927890 HAS SOUPS 1927890 WITH SCORE 1946444.875
AT ITER 2554 NEW BEST:: SOT 36998807 SOS 18554577 HAS SOPS 18554577 HAS SOUS 1927741 HAS SOUPS 1927741 WITH SCORE 1946295.577
AT ITER 2560 NEW BEST:: SOT 36998846 SOS 18555017 HAS SOPS 18555017 HAS SOUS 1927586 HAS SOUPS 1927586 WITH SCORE 1946141.017
AT ITER 2564 NEW BEST:: SOT 36998818 SOS 18555866 HAS SOPS 18555866 HAS SOUS 1927530 HAS SOUPS 1927530 WITH SCORE 1946085.866
AT ITER 2577 NEW BEST:: SOT 36998818 SOS 18555595 HAS SOPS 18555595 HAS SOUS 1927530 HAS SOUPS 1927530 WITH SCORE 1946085.595
AT ITER 2581 NEW BEST:: SOT 36998923 SOS 18555805 HAS SOPS 18555805 HAS SOUS 1927525 HAS SOUPS 1927525 WITH SCORE 1946080.805
AT ITER 2596 NEW BEST:: SOT 36998637 SOS 18555519 HAS SOPS 18555519 HAS SOUS 1927381 HAS SOUPS 1927381 WITH SCORE 1945936.519
AT ITER 2612 NEW BEST:: SOT 36998057 SOS 18555142 HAS SOPS 18555142 HAS SOUS 1926859 HAS SOUPS 1926859 WITH SCORE 1945414.142
AT ITER 2622 NEW BEST:: SOT 36997924 SOS 18554876 HAS SOPS 18554876 HAS SOUS 1926726 HAS SOUPS 1926726 WITH SCORE 1945280.876
AT ITER 2673 NEW BEST:: SOT 36998004 SOS 18554876 HAS SOPS 18554876 HAS SOUS 1926725 HAS SOUPS 1926725 WITH SCORE 1945279.876
AT ITER 2676 NEW BEST:: SOT 36997577 SOS 18555012 HAS SOPS 18555012 HAS SOUS 1926531 HAS SOUPS 1926531 WITH SCORE 1945086.012
AT ITER 2688 NEW BEST:: SOT 36997530 SOS 18554918 HAS SOPS 18554918 HAS SOUS 1926337 HAS SOUPS 1926337 WITH SCORE 1944891.918
AT ITER 2709 NEW BEST:: SOT 36997382 SOS 18556344 HAS SOPS 18556344 HAS SOUS 1926298 HAS SOUPS 1926298 WITH SCORE 1944854.344
AT ITER 2719 NEW BEST:: SOT 36997312 SOS 18556204 HAS SOPS 18556204 HAS SOUS 1926158 HAS SOUPS 1926158 WITH SCORE 1944714.204
AT ITER 2728 NEW BEST:: SOT 36996339 SOS 18554258 HAS SOPS 18554258 HAS SOUS 1924600 HAS SOUPS 1924600 WITH SCORE 1943154.258
AT ITER 2741 NEW BEST:: SOT 36996336 SOS 18553711 HAS SOPS 18553711 HAS SOUS 1924060 HAS SOUPS 1924060 WITH SCORE 1942613.711
AT ITER 2750 NEW BEST:: SOT 36996336 SOS 18553638 HAS SOPS 18553638 HAS SOUS 1923995 HAS SOUPS 1923995 WITH SCORE 1942548.638
AT ITER 2751 NEW BEST:: SOT 36996280 SOS 18553526 HAS SOPS 18553526 HAS SOUS 1923953 HAS SOUPS 1923953 WITH SCORE 1942506.526
AT ITER 2760 NEW BEST:: SOT 36996344 SOS 18553462 HAS SOPS 18553462 HAS SOUS 1923953 HAS SOUPS 1923953 WITH SCORE 1942506.462
AT ITER 2764 NEW BEST:: SOT 36996344 SOS 18553271 HAS SOPS 18553271 HAS SOUS 1923925 HAS SOUPS 1923925 WITH SCORE 1942478.271
AT ITER 2766 NEW BEST:: SOT 36996225 SOS 18551843 HAS SOPS 18551843 HAS SOUS 1923568 HAS SOUPS 1923568 WITH SCORE 1942119.843
AT ITER 2783 NEW BEST:: SOT 36995768 SOS 18555679 HAS SOPS 18555679 HAS SOUS 1923361 HAS SOUPS 1923361 WITH SCORE 1941916.679
AT ITER 2791 NEW BEST:: SOT 36995644 SOS 18555431 HAS SOPS 18555431 HAS SOUS 1923237 HAS SOUPS 1923237 WITH SCORE 1941792.431
AT ITER 2794 NEW BEST:: SOT 36995644 SOS 18555394 HAS SOPS 18555394 HAS SOUS 1923200 HAS SOUPS 1923200 WITH SCORE 1941755.394
AT ITER 2796 NEW BEST:: SOT 36995550 SOS 18555206 HAS SOPS 18555206 HAS SOUS 1923008 HAS SOUPS 1923008 WITH SCORE 1941563.206
AT ITER 2812 NEW BEST:: SOT 36995550 SOS 18554960 HAS SOPS 18554960 HAS SOUS 1923008 HAS SOUPS 1923008 WITH SCORE 1941562.96
AT ITER 2820 NEW BEST:: SOT 36995808 SOS 18585864 HAS SOPS 18585864 HAS SOUS 1922714 HAS SOUPS 1922714 WITH SCORE 1941299.864
AT ITER 2835 NEW BEST:: SOT 36995647 SOS 18585568 HAS SOPS 18585568 HAS SOUS 1922568 HAS SOUPS 1922568 WITH SCORE 1941153.568
AT ITER 2850 NEW BEST:: SOT 36995056 SOS 18584386 HAS SOPS 18584386 HAS SOUS 1921780 HAS SOUPS 1921780 WITH SCORE 1940364.386
AT ITER 2851 NEW BEST:: SOT 36993752 SOS 18583348 HAS SOPS 18583348 HAS SOUS 1920742 HAS SOUPS 1920742 WITH SCORE 1939325.348
AT ITER 2857 NEW BEST:: SOT 36993677 SOS 18583778 HAS SOPS 18583778 HAS SOUS 1920737 HAS SOUPS 1920737 WITH SCORE 1939320.778
AT ITER 2891 NEW BEST:: SOT 36993664 SOS 18583752 HAS SOPS 18583752 HAS SOUS 1920711 HAS SOUPS 1920711 WITH SCORE 1939294.752
AT ITER 2912 NEW BEST:: SOT 36992976 SOS 18583408 HAS SOPS 18583408 HAS SOUS 1920023 HAS SOUPS 1920023 WITH SCORE 1938606.408
AT ITER 2920 NEW BEST:: SOT 36992736 SOS 18584332 HAS SOPS 18584332 HAS SOUS 1920019 HAS SOUPS 1920019 WITH SCORE 1938603.332
AT ITER 2922 NEW BEST:: SOT 36992695 SOS 18584291 HAS SOPS 18584291 HAS SOUS 1920018 HAS SOUPS 1920018 WITH SCORE 1938602.291
AT ITER 2993 NEW BEST:: SOT 36992710 SOS 18584710 HAS SOPS 18584710 HAS SOUS 1919659 HAS SOUPS 1919659 WITH SCORE 1938243.71
AT ITER 3003 NEW BEST:: SOT 36992710 SOS 18584433 HAS SOPS 18584433 HAS SOUS 1919581 HAS SOUPS 1919581 WITH SCORE 1938165.433
AT ITER 3006 NEW BEST:: SOT 36992564 SOS 18584695 HAS SOPS 18584695 HAS SOUS 1919435 HAS SOUPS 1919435 WITH SCORE 1938019.695
AT ITER 3019 NEW BEST:: SOT 36991451 SOS 18583862 HAS SOPS 18583862 HAS SOUS 1918124 HAS SOUPS 1918124 WITH SCORE 1936707.862
AT ITER 3037 NEW BEST:: SOT 36991448 SOS 18583856 HAS SOPS 18583856 HAS SOUS 1918118 HAS SOUPS 1918118 WITH SCORE 1936701.856
AT ITER 3041 NEW BEST:: SOT 36991422 SOS 18583804 HAS SOPS 18583804 HAS SOUS 1918066 HAS SOUPS 1918066 WITH SCORE 1936649.804
AT ITER 3057 NEW BEST:: SOT 36991174 SOS 18583308 HAS SOPS 18583308 HAS SOUS 1917775 HAS SOUPS 1917775 WITH SCORE 1936358.308
AT ITER 3067 NEW BEST:: SOT 36990932 SOS 18582824 HAS SOPS 18582824 HAS SOUS 1917533 HAS SOUPS 1917533 WITH SCORE 1936115.824
AT ITER 3068 NEW BEST:: SOT 36990922 SOS 18582747 HAS SOPS 18582747 HAS SOUS 1917495 HAS SOUPS 1917495 WITH SCORE 1936077.747
AT ITER 3074 NEW BEST:: SOT 36990922 SOS 18582747 HAS SOPS 18582747 HAS SOUS 1917472 HAS SOUPS 1917472 WITH SCORE 1936054.747
AT ITER 3079 NEW BEST:: SOT 36990669 SOS 18582494 HAS SOPS 18582494 HAS SOUS 1916966 HAS SOUPS 1916966 WITH SCORE 1935548.494
AT ITER 3104 NEW BEST:: SOT 36990669 SOS 18582437 HAS SOPS 18582437 HAS SOUS 1916909 HAS SOUPS 1916909 WITH SCORE 1935491.437
AT ITER 3106 NEW BEST:: SOT 36989633 SOS 18581478 HAS SOPS 18581478 HAS SOUS 1916095 HAS SOUPS 1916095 WITH SCORE 1934676.478
AT ITER 3109 NEW BEST:: SOT 36989593 SOS 18581398 HAS SOPS 18581398 HAS SOUS 1916024 HAS SOUPS 1916024 WITH SCORE 1934605.398
AT ITER 3121 NEW BEST:: SOT 36989345 SOS 18581330 HAS SOPS 18581330 HAS SOUS 1915883 HAS SOUPS 1915883 WITH SCORE 1934464.33
AT ITER 3124 NEW BEST:: SOT 36989131 SOS 18581658 HAS SOPS 18581658 HAS SOUS 1915703 HAS SOUPS 1915703 WITH SCORE 1934284.658
AT ITER 3137 NEW BEST:: SOT 36989203 SOS 18582148 HAS SOPS 18582148 HAS SOUS 1915501 HAS SOUPS 1915501 WITH SCORE 1934083.148
AT ITER 3143 NEW BEST:: SOT 36989251 SOS 18581920 HAS SOPS 18581920 HAS SOUS 1915427 HAS SOUPS 1915427 WITH SCORE 1934008.92
AT ITER 3162 NEW BEST:: SOT 36989251 SOS 18581920 HAS SOPS 18581920 HAS SOUS 1915202 HAS SOUPS 1915202 WITH SCORE 1933783.92
AT ITER 3165 NEW BEST:: SOT 36989325 SOS 18581994 HAS SOPS 18581994 HAS SOUS 1915174 HAS SOUPS 1915174 WITH SCORE 1933755.994
AT ITER 3169 NEW BEST:: SOT 36988615 SOS 18581158 HAS SOPS 18581158 HAS SOUS 1915039 HAS SOUPS 1915039 WITH SCORE 1933620.158
AT ITER 3179 NEW BEST:: SOT 36986945 SOS 18579725 HAS SOPS 18579725 HAS SOUS 1913445 HAS SOUPS 1913445 WITH SCORE 1932024.725
AT ITER 3191 NEW BEST:: SOT 36986945 SOS 18579427 HAS SOPS 18579427 HAS SOUS 1913445 HAS SOUPS 1913445 WITH SCORE 1932024.427
AT ITER 3194 NEW BEST:: SOT 36986945 SOS 18579287 HAS SOPS 18579287 HAS SOUS 1913445 HAS SOUPS 1913445 WITH SCORE 1932024.287
AT ITER 3196 NEW BEST:: SOT 36986776 SOS 18578949 HAS SOPS 18578949 HAS SOUS 1913253 HAS SOUPS 1913253 WITH SCORE 1931831.949
AT ITER 3225 NEW BEST:: SOT 36986327 SOS 18576595 HAS SOPS 18576595 HAS SOUS 1912402 HAS SOUPS 1912402 WITH SCORE 1930978.595
AT ITER 3234 NEW BEST:: SOT 36986367 SOS 18576476 HAS SOPS 18576476 HAS SOUS 1912342 HAS SOUPS 1912342 WITH SCORE 1930918.476
AT ITER 3237 NEW BEST:: SOT 36986310 SOS 18576419 HAS SOPS 18576419 HAS SOUS 1912342 HAS SOUPS 1912342 WITH SCORE 1930918.419
AT ITER 3252 NEW BEST:: SOT 36986231 SOS 18576261 HAS SOPS 18576261 HAS SOUS 1912268 HAS SOUPS 1912268 WITH SCORE 1930844.261
AT ITER 3258 NEW BEST:: SOT 36986251 SOS 18576199 HAS SOPS 18576199 HAS SOUS 1912206 HAS SOUPS 1912206 WITH SCORE 1930782.199
AT ITER 3270 NEW BEST:: SOT 36986096 SOS 18576044 HAS SOPS 18576044 HAS SOUS 1912200 HAS SOUPS 1912200 WITH SCORE 1930776.044
AT ITER 3286 NEW BEST:: SOT 36986056 SOS 18576084 HAS SOPS 18576084 HAS SOUS 1912160 HAS SOUPS 1912160 WITH SCORE 1930736.084
AT ITER 3296 NEW BEST:: SOT 36986056 SOS 18576181 HAS SOPS 18576181 HAS SOUS 1912063 HAS SOUPS 1912063 WITH SCORE 1930639.181
AT ITER 3310 NEW BEST:: SOT 36985635 SOS 18574976 HAS SOPS 18574976 HAS SOUS 1911250 HAS SOUPS 1911250 WITH SCORE 1929824.976
AT ITER 3330 NEW BEST:: SOT 36985518 SOS 18574742 HAS SOPS 18574742 HAS SOUS 1911132 HAS SOUPS 1911132 WITH SCORE 1929706.742

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-7b"
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-7b, 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-158901926000356"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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