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-158901926000355.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000355
=====================================================================

--------------------
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-CTLCardinality-00
FORMULA_NAME CloudDeployment-PT-7b-CTLCardinality-01
FORMULA_NAME CloudDeployment-PT-7b-CTLCardinality-02
FORMULA_NAME CloudDeployment-PT-7b-CTLCardinality-03
FORMULA_NAME CloudDeployment-PT-7b-CTLCardinality-04
FORMULA_NAME CloudDeployment-PT-7b-CTLCardinality-05
FORMULA_NAME CloudDeployment-PT-7b-CTLCardinality-06
FORMULA_NAME CloudDeployment-PT-7b-CTLCardinality-07
FORMULA_NAME CloudDeployment-PT-7b-CTLCardinality-08
FORMULA_NAME CloudDeployment-PT-7b-CTLCardinality-09
FORMULA_NAME CloudDeployment-PT-7b-CTLCardinality-10
FORMULA_NAME CloudDeployment-PT-7b-CTLCardinality-11
FORMULA_NAME CloudDeployment-PT-7b-CTLCardinality-12
FORMULA_NAME CloudDeployment-PT-7b-CTLCardinality-13
FORMULA_NAME CloudDeployment-PT-7b-CTLCardinality-14
FORMULA_NAME CloudDeployment-PT-7b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589168129159

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 7b
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.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 1 NEW BEST:: SOT 35948975 SOS 13091999 HAS SOPS 13091999 HAS SOUS 3939107 HAS SOUPS 3939107 WITH SCORE 3952198.999
AT ITER 10 NEW BEST:: SOT 35948975 SOS 13092320 HAS SOPS 13092320 HAS SOUS 3939077 HAS SOUPS 3939077 WITH SCORE 3952169.32
AT ITER 23 NEW BEST:: SOT 35948695 SOS 13097528 HAS SOPS 13097528 HAS SOUS 3938792 HAS SOUPS 3938792 WITH SCORE 3951889.528
AT ITER 29 NEW BEST:: SOT 35948498 SOS 13097134 HAS SOPS 13097134 HAS SOUS 3938398 HAS SOUPS 3938398 WITH SCORE 3951495.134
AT ITER 37 NEW BEST:: SOT 35948335 SOS 13096808 HAS SOPS 13096808 HAS SOUS 3938235 HAS SOUPS 3938235 WITH SCORE 3951331.808
AT ITER 39 NEW BEST:: SOT 35948335 SOS 13100583 HAS SOPS 13100583 HAS SOUS 3938214 HAS SOUPS 3938214 WITH SCORE 3951314.583
AT ITER 41 NEW BEST:: SOT 35948334 SOS 13100581 HAS SOPS 13100581 HAS SOUS 3938212 HAS SOUPS 3938212 WITH SCORE 3951312.581
AT ITER 51 NEW BEST:: SOT 35948370 SOS 13100653 HAS SOPS 13100653 HAS SOUS 3937873 HAS SOUPS 3937873 WITH SCORE 3950973.653
AT ITER 57 NEW BEST:: SOT 35948370 SOS 13100824 HAS SOPS 13100824 HAS SOUS 3937790 HAS SOUPS 3937790 WITH SCORE 3950890.824
AT ITER 79 NEW BEST:: SOT 35948357 SOS 13100798 HAS SOPS 13100798 HAS SOUS 3937764 HAS SOUPS 3937764 WITH SCORE 3950864.798
AT ITER 84 NEW BEST:: SOT 35947129 SOS 13099167 HAS SOPS 13099167 HAS SOUS 3936536 HAS SOUPS 3936536 WITH SCORE 3949635.167
AT ITER 102 NEW BEST:: SOT 35945423 SOS 13097479 HAS SOPS 13097479 HAS SOUS 3934538 HAS SOUPS 3934538 WITH SCORE 3947635.479
AT ITER 106 NEW BEST:: SOT 35945344 SOS 13097391 HAS SOPS 13097391 HAS SOUS 3934286 HAS SOUPS 3934286 WITH SCORE 3947383.391
AT ITER 138 NEW BEST:: SOT 35945232 SOS 13097308 HAS SOPS 13097308 HAS SOUS 3934175 HAS SOUPS 3934175 WITH SCORE 3947272.308
AT ITER 144 NEW BEST:: SOT 35945016 SOS 13096876 HAS SOPS 13096876 HAS SOUS 3933743 HAS SOUPS 3933743 WITH SCORE 3946839.876
AT ITER 149 NEW BEST:: SOT 35945016 SOS 13096750 HAS SOPS 13096750 HAS SOUS 3933680 HAS SOUPS 3933680 WITH SCORE 3946776.75
AT ITER 155 NEW BEST:: SOT 37321327 SOS 14477860 HAS SOPS 14477860 HAS SOUS 3819612 HAS SOUPS 3819612 WITH SCORE 3834089.86
AT ITER 167 NEW BEST:: SOT 37321002 SOS 14477210 HAS SOPS 14477210 HAS SOUS 3818962 HAS SOUPS 3818962 WITH SCORE 3833439.21
AT ITER 168 NEW BEST:: SOT 37321028 SOS 14477054 HAS SOPS 14477054 HAS SOUS 3818962 HAS SOUPS 3818962 WITH SCORE 3833439.054
AT ITER 170 NEW BEST:: SOT 37321028 SOS 14476672 HAS SOPS 14476672 HAS SOUS 3818962 HAS SOUPS 3818962 WITH SCORE 3833438.672
AT ITER 173 NEW BEST:: SOT 37320980 SOS 14476576 HAS SOPS 14476576 HAS SOUS 3818890 HAS SOUPS 3818890 WITH SCORE 3833366.576
AT ITER 182 NEW BEST:: SOT 37320830 SOS 14476750 HAS SOPS 14476750 HAS SOUS 3818797 HAS SOUPS 3818797 WITH SCORE 3833273.75
AT ITER 189 NEW BEST:: SOT 37320713 SOS 14476516 HAS SOPS 14476516 HAS SOUS 3818290 HAS SOUPS 3818290 WITH SCORE 3832766.516
AT ITER 214 NEW BEST:: SOT 37320518 SOS 14476126 HAS SOPS 14476126 HAS SOUS 3817900 HAS SOUPS 3817900 WITH SCORE 3832376.126
AT ITER 228 NEW BEST:: SOT 37318400 SOS 14475655 HAS SOPS 14475655 HAS SOUS 3816661 HAS SOUPS 3816661 WITH SCORE 3831136.655
AT ITER 236 NEW BEST:: SOT 37318320 SOS 14475495 HAS SOPS 14475495 HAS SOUS 3816581 HAS SOUPS 3816581 WITH SCORE 3831056.495
AT ITER 265 NEW BEST:: SOT 37317678 SOS 14475174 HAS SOPS 14475174 HAS SOUS 3815618 HAS SOUPS 3815618 WITH SCORE 3830093.174
AT ITER 267 NEW BEST:: SOT 37317596 SOS 14475010 HAS SOPS 14475010 HAS SOUS 3815536 HAS SOUPS 3815536 WITH SCORE 3830011.01
AT ITER 302 NEW BEST:: SOT 37317596 SOS 14475108 HAS SOPS 14475108 HAS SOUS 3815521 HAS SOUPS 3815521 WITH SCORE 3829996.108
AT ITER 308 NEW BEST:: SOT 37317553 SOS 14475065 HAS SOPS 14475065 HAS SOUS 3815472 HAS SOUPS 3815472 WITH SCORE 3829947.065
AT ITER 326 NEW BEST:: SOT 37315086 SOS 14472326 HAS SOPS 14472326 HAS SOUS 3813073 HAS SOUPS 3813073 WITH SCORE 3827545.326
AT ITER 339 NEW BEST:: SOT 37314554 SOS 14474195 HAS SOPS 14474195 HAS SOUS 3812244 HAS SOUPS 3812244 WITH SCORE 3826718.195
AT ITER 341 NEW BEST:: SOT 37313882 SOS 14476054 HAS SOPS 14476054 HAS SOUS 3811969 HAS SOUPS 3811969 WITH SCORE 3826445.054
AT ITER 346 NEW BEST:: SOT 37314056 SOS 14476960 HAS SOPS 14476960 HAS SOUS 3811771 HAS SOUPS 3811771 WITH SCORE 3826247.96
AT ITER 354 NEW BEST:: SOT 37314055 SOS 14476958 HAS SOPS 14476958 HAS SOUS 3811769 HAS SOUPS 3811769 WITH SCORE 3826245.958
AT ITER 371 NEW BEST:: SOT 37313987 SOS 14476822 HAS SOPS 14476822 HAS SOUS 3811633 HAS SOUPS 3811633 WITH SCORE 3826109.822
AT ITER 375 NEW BEST:: SOT 37313952 SOS 14476752 HAS SOPS 14476752 HAS SOUS 3811563 HAS SOUPS 3811563 WITH SCORE 3826039.752
AT ITER 382 NEW BEST:: SOT 37313908 SOS 14476664 HAS SOPS 14476664 HAS SOUS 3811475 HAS SOUPS 3811475 WITH SCORE 3825951.664
AT ITER 389 NEW BEST:: SOT 37314097 SOS 14477231 HAS SOPS 14477231 HAS SOUS 3810999 HAS SOUPS 3810999 WITH SCORE 3825476.231
AT ITER 405 NEW BEST:: SOT 37314097 SOS 14477413 HAS SOPS 14477413 HAS SOUS 3810809 HAS SOUPS 3810809 WITH SCORE 3825286.413
AT ITER 436 NEW BEST:: SOT 37313938 SOS 14477298 HAS SOPS 14477298 HAS SOUS 3636774 HAS SOUPS 3636774 WITH SCORE 3651251.298
AT ITER 450 NEW BEST:: SOT 37313869 SOS 14477234 HAS SOPS 14477234 HAS SOUS 3636705 HAS SOUPS 3636705 WITH SCORE 3651182.234
AT ITER 451 NEW BEST:: SOT 37313869 SOS 14481704 HAS SOPS 14481704 HAS SOUS 3636588 HAS SOUPS 3636588 WITH SCORE 3651069.704
AT ITER 456 NEW BEST:: SOT 37313422 SOS 14482997 HAS SOPS 14482997 HAS SOUS 3636184 HAS SOUPS 3636184 WITH SCORE 3650666.997
AT ITER 457 NEW BEST:: SOT 37312916 SOS 14482744 HAS SOPS 14482744 HAS SOUS 3635678 HAS SOUPS 3635678 WITH SCORE 3650160.744
AT ITER 460 NEW BEST:: SOT 37312816 SOS 14482544 HAS SOPS 14482544 HAS SOUS 3635180 HAS SOUPS 3635180 WITH SCORE 3649662.544
AT ITER 490 NEW BEST:: SOT 37312815 SOS 14482542 HAS SOPS 14482542 HAS SOUS 3635178 HAS SOUPS 3635178 WITH SCORE 3649660.542
AT ITER 524 NEW BEST:: SOT 37312654 SOS 14482542 HAS SOPS 14482542 HAS SOUS 3557159 HAS SOUPS 3557159 WITH SCORE 3571641.542
AT ITER 540 NEW BEST:: SOT 37312361 SOS 14482249 HAS SOPS 14482249 HAS SOUS 3556866 HAS SOUPS 3556866 WITH SCORE 3571348.249
AT ITER 543 NEW BEST:: SOT 37303819 SOS 14489465 HAS SOPS 14489465 HAS SOUS 3548657 HAS SOUPS 3548657 WITH SCORE 3563146.465
AT ITER 552 NEW BEST:: SOT 37303818 SOS 14489463 HAS SOPS 14489463 HAS SOUS 3548655 HAS SOUPS 3548655 WITH SCORE 3563144.463
AT ITER 554 NEW BEST:: SOT 37303376 SOS 14488579 HAS SOPS 14488579 HAS SOUS 3547709 HAS SOUPS 3547709 WITH SCORE 3562197.579
AT ITER 558 NEW BEST:: SOT 37303369 SOS 14488977 HAS SOPS 14488977 HAS SOUS 3547494 HAS SOUPS 3547494 WITH SCORE 3561982.977
AT ITER 574 NEW BEST:: SOT 37303369 SOS 14488653 HAS SOPS 14488653 HAS SOUS 3547494 HAS SOUPS 3547494 WITH SCORE 3561982.653
AT ITER 579 NEW BEST:: SOT 37302368 SOS 14497552 HAS SOPS 14497552 HAS SOUS 3546856 HAS SOUPS 3546856 WITH SCORE 3561353.552
AT ITER 591 NEW BEST:: SOT 37301586 SOS 14571727 HAS SOPS 14571727 HAS SOUS 3546540 HAS SOUPS 3546540 WITH SCORE 3561111.727
AT ITER 609 NEW BEST:: SOT 37301392 SOS 14571621 HAS SOPS 14571621 HAS SOUS 3546493 HAS SOUPS 3546493 WITH SCORE 3561064.621
AT ITER 619 NEW BEST:: SOT 37300340 SOS 14592822 HAS SOPS 14592822 HAS SOUS 3546192 HAS SOUPS 3546192 WITH SCORE 3560784.822
AT ITER 624 NEW BEST:: SOT 37300519 SOS 14593351 HAS SOPS 14593351 HAS SOUS 3546126 HAS SOUPS 3546126 WITH SCORE 3560719.351
AT ITER 632 NEW BEST:: SOT 37300444 SOS 14593201 HAS SOPS 14593201 HAS SOUS 3546093 HAS SOUPS 3546093 WITH SCORE 3560686.201
AT ITER 636 NEW BEST:: SOT 37300363 SOS 14593039 HAS SOPS 14593039 HAS SOUS 3545931 HAS SOUPS 3545931 WITH SCORE 3560524.039
AT ITER 645 NEW BEST:: SOT 37300128 SOS 14593063 HAS SOPS 14593063 HAS SOUS 3545696 HAS SOUPS 3545696 WITH SCORE 3560289.063
AT ITER 648 NEW BEST:: SOT 37300065 SOS 14593017 HAS SOPS 14593017 HAS SOUS 3545633 HAS SOUPS 3545633 WITH SCORE 3560226.017
AT ITER 661 NEW BEST:: SOT 37299791 SOS 14594472 HAS SOPS 14594472 HAS SOUS 3545451 HAS SOUPS 3545451 WITH SCORE 3560045.472
AT ITER 664 NEW BEST:: SOT 37299791 SOS 14594750 HAS SOPS 14594750 HAS SOUS 3544469 HAS SOUPS 3544469 WITH SCORE 3559063.75
AT ITER 667 NEW BEST:: SOT 37299791 SOS 14594750 HAS SOPS 14594750 HAS SOUS 3544465 HAS SOUPS 3544465 WITH SCORE 3559059.75
AT ITER 682 NEW BEST:: SOT 37299628 SOS 14594424 HAS SOPS 14594424 HAS SOUS 3543793 HAS SOUPS 3543793 WITH SCORE 3558387.424
AT ITER 689 NEW BEST:: SOT 37299538 SOS 14589222 HAS SOPS 14589222 HAS SOUS 3543667 HAS SOUPS 3543667 WITH SCORE 3558256.222
AT ITER 698 NEW BEST:: SOT 37487201 SOS 14782210 HAS SOPS 14782210 HAS SOUS 3096040 HAS SOUPS 3096040 WITH SCORE 3110822.21
AT ITER 700 NEW BEST:: SOT 37486723 SOS 14781732 HAS SOPS 14781732 HAS SOUS 3039198 HAS SOUPS 3039198 WITH SCORE 3053979.732
AT ITER 704 NEW BEST:: SOT 37486316 SOS 14781410 HAS SOPS 14781410 HAS SOUS 3038791 HAS SOUPS 3038791 WITH SCORE 3053572.41
AT ITER 718 NEW BEST:: SOT 37486316 SOS 14781410 HAS SOPS 14781410 HAS SOUS 3038790 HAS SOUPS 3038790 WITH SCORE 3053571.41
AT ITER 721 NEW BEST:: SOT 37486272 SOS 14781420 HAS SOPS 14781420 HAS SOUS 3038789 HAS SOUPS 3038789 WITH SCORE 3053570.42
AT ITER 737 NEW BEST:: SOT 37486272 SOS 14781420 HAS SOPS 14781420 HAS SOUS 3038466 HAS SOUPS 3038466 WITH SCORE 3053247.42
AT ITER 739 NEW BEST:: SOT 37486236 SOS 14781456 HAS SOPS 14781456 HAS SOUS 3038430 HAS SOUPS 3038430 WITH SCORE 3053211.456
AT ITER 756 NEW BEST:: SOT 37486224 SOS 14781833 HAS SOPS 14781833 HAS SOUS 3038283 HAS SOUPS 3038283 WITH SCORE 3053064.833
AT ITER 770 NEW BEST:: SOT 37486073 SOS 14781531 HAS SOPS 14781531 HAS SOUS 3037981 HAS SOUPS 3037981 WITH SCORE 3052762.531
AT ITER 773 NEW BEST:: SOT 37486133 SOS 14781651 HAS SOPS 14781651 HAS SOUS 3037743 HAS SOUPS 3037743 WITH SCORE 3052524.651
AT ITER 783 NEW BEST:: SOT 37486023 SOS 14781431 HAS SOPS 14781431 HAS SOUS 3037629 HAS SOUPS 3037629 WITH SCORE 3052410.431
AT ITER 784 NEW BEST:: SOT 37486023 SOS 14781581 HAS SOPS 14781581 HAS SOUS 3037420 HAS SOUPS 3037420 WITH SCORE 3052201.581
AT ITER 785 NEW BEST:: SOT 37485732 SOS 14781406 HAS SOPS 14781406 HAS SOUS 3036779 HAS SOUPS 3036779 WITH SCORE 3051560.406
AT ITER 788 NEW BEST:: SOT 37485732 SOS 14781406 HAS SOPS 14781406 HAS SOUS 3036377 HAS SOUPS 3036377 WITH SCORE 3051158.406
AT ITER 795 NEW BEST:: SOT 37485175 SOS 14781663 HAS SOPS 14781663 HAS SOUS 3036018 HAS SOUPS 3036018 WITH SCORE 3050799.663
AT ITER 797 NEW BEST:: SOT 37485206 SOS 14781602 HAS SOPS 14781602 HAS SOUS 3035957 HAS SOUPS 3035957 WITH SCORE 3050738.602
AT ITER 812 NEW BEST:: SOT 37485206 SOS 14781602 HAS SOPS 14781602 HAS SOUS 3035953 HAS SOUPS 3035953 WITH SCORE 3050734.602
AT ITER 820 NEW BEST:: SOT 37485206 SOS 14781690 HAS SOPS 14781690 HAS SOUS 3035952 HAS SOUPS 3035952 WITH SCORE 3050733.69
AT ITER 821 NEW BEST:: SOT 37485022 SOS 14781913 HAS SOPS 14781913 HAS SOUS 3035826 HAS SOUPS 3035826 WITH SCORE 3050607.913
AT ITER 844 NEW BEST:: SOT 37484971 SOS 14781811 HAS SOPS 14781811 HAS SOUS 3035724 HAS SOUPS 3035724 WITH SCORE 3050505.811
AT ITER 870 NEW BEST:: SOT 37481387 SOS 14778227 HAS SOPS 14778227 HAS SOUS 3032135 HAS SOUPS 3032135 WITH SCORE 3046913.227
AT ITER 872 NEW BEST:: SOT 37480968 SOS 14778559 HAS SOPS 14778559 HAS SOUS 3031448 HAS SOUPS 3031448 WITH SCORE 3046226.559
AT ITER 884 NEW BEST:: SOT 37479729 SOS 14789156 HAS SOPS 14789156 HAS SOUS 3030635 HAS SOUPS 3030635 WITH SCORE 3045424.156
AT ITER 904 NEW BEST:: SOT 37479642 SOS 14789546 HAS SOPS 14789546 HAS SOUS 3030441 HAS SOUPS 3030441 WITH SCORE 3045230.546
AT ITER 920 NEW BEST:: SOT 37479642 SOS 14789545 HAS SOPS 14789545 HAS SOUS 3030440 HAS SOUPS 3030440 WITH SCORE 3045229.545
AT ITER 921 NEW BEST:: SOT 37479642 SOS 14789779 HAS SOPS 14789779 HAS SOUS 3029036 HAS SOUPS 3029036 WITH SCORE 3043825.779
AT ITER 933 NEW BEST:: SOT 37479444 SOS 14789383 HAS SOPS 14789383 HAS SOUS 3028640 HAS SOUPS 3028640 WITH SCORE 3043429.383
AT ITER 942 NEW BEST:: SOT 37479444 SOS 14789574 HAS SOPS 14789574 HAS SOUS 3028610 HAS SOUPS 3028610 WITH SCORE 3043399.574
AT ITER 951 NEW BEST:: SOT 37479444 SOS 14788910 HAS SOPS 14788910 HAS SOUS 3028495 HAS SOUPS 3028495 WITH SCORE 3043283.91
AT ITER 960 NEW BEST:: SOT 37479378 SOS 14788910 HAS SOPS 14788910 HAS SOUS 3026962 HAS SOUPS 3026962 WITH SCORE 3041750.91
AT ITER 965 NEW BEST:: SOT 37479301 SOS 14788756 HAS SOPS 14788756 HAS SOUS 3026808 HAS SOUPS 3026808 WITH SCORE 3041596.756
AT ITER 969 NEW BEST:: SOT 37478684 SOS 14787578 HAS SOPS 14787578 HAS SOUS 2805326 HAS SOUPS 2805326 WITH SCORE 2820113.578
AT ITER 976 NEW BEST:: SOT 37478457 SOS 14787124 HAS SOPS 14787124 HAS SOUS 2804666 HAS SOUPS 2804666 WITH SCORE 2819453.124
AT ITER 988 NEW BEST:: SOT 37477766 SOS 14786738 HAS SOPS 14786738 HAS SOUS 2804141 HAS SOUPS 2804141 WITH SCORE 2818927.738
AT ITER 993 NEW BEST:: SOT 37477801 SOS 14788468 HAS SOPS 14788468 HAS SOUS 2803845 HAS SOUPS 2803845 WITH SCORE 2818633.468
AT ITER 1022 NEW BEST:: SOT 37477404 SOS 14789240 HAS SOPS 14789240 HAS SOUS 2803072 HAS SOUPS 2803072 WITH SCORE 2817861.24
AT ITER 1033 NEW BEST:: SOT 37477404 SOS 14790270 HAS SOPS 14790270 HAS SOUS 2803016 HAS SOUPS 2803016 WITH SCORE 2817806.27
AT ITER 1035 NEW BEST:: SOT 37477135 SOS 14790001 HAS SOPS 14790001 HAS SOUS 2802747 HAS SOUPS 2802747 WITH SCORE 2817537.001
AT ITER 1037 NEW BEST:: SOT 37476101 SOS 14818295 HAS SOPS 14818295 HAS SOUS 2802697 HAS SOUPS 2802697 WITH SCORE 2817515.295
AT ITER 1039 NEW BEST:: SOT 37476101 SOS 14818313 HAS SOPS 14818313 HAS SOUS 2802679 HAS SOUPS 2802679 WITH SCORE 2817497.313
AT ITER 1052 NEW BEST:: SOT 37476101 SOS 14818628 HAS SOPS 14818628 HAS SOUS 2802547 HAS SOUPS 2802547 WITH SCORE 2817365.628
AT ITER 1091 NEW BEST:: SOT 37476101 SOS 14818686 HAS SOPS 14818686 HAS SOUS 2802546 HAS SOUPS 2802546 WITH SCORE 2817364.686
AT ITER 1095 NEW BEST:: SOT 37476094 SOS 14818672 HAS SOPS 14818672 HAS SOUS 2802186 HAS SOUPS 2802186 WITH SCORE 2817004.672
AT ITER 1103 NEW BEST:: SOT 37475923 SOS 14818330 HAS SOPS 14818330 HAS SOUS 2801582 HAS SOUPS 2801582 WITH SCORE 2816400.33
AT ITER 1121 NEW BEST:: SOT 37472736 SOS 14829981 HAS SOPS 14829981 HAS SOUS 2799837 HAS SOUPS 2799837 WITH SCORE 2814666.981
AT ITER 1128 NEW BEST:: SOT 37472605 SOS 14830529 HAS SOPS 14830529 HAS SOUS 2799528 HAS SOUPS 2799528 WITH SCORE 2814358.529
AT ITER 1130 NEW BEST:: SOT 37472605 SOS 14830520 HAS SOPS 14830520 HAS SOUS 2799519 HAS SOUPS 2799519 WITH SCORE 2814349.52
AT ITER 1133 NEW BEST:: SOT 37469650 SOS 14852510 HAS SOPS 14852510 HAS SOUS 2798636 HAS SOUPS 2798636 WITH SCORE 2813488.51
AT ITER 1134 NEW BEST:: SOT 37469201 SOS 14852158 HAS SOPS 14852158 HAS SOUS 2797647 HAS SOUPS 2797647 WITH SCORE 2812499.158
AT ITER 1150 NEW BEST:: SOT 37469201 SOS 14852598 HAS SOPS 14852598 HAS SOUS 2791814 HAS SOUPS 2791814 WITH SCORE 2806666.598
AT ITER 1156 NEW BEST:: SOT 37469148 SOS 14852492 HAS SOPS 14852492 HAS SOUS 2791708 HAS SOUPS 2791708 WITH SCORE 2806560.492
AT ITER 1161 NEW BEST:: SOT 37469150 SOS 14852392 HAS SOPS 14852392 HAS SOUS 2791608 HAS SOUPS 2791608 WITH SCORE 2806460.392
AT ITER 1169 NEW BEST:: SOT 37469110 SOS 14852312 HAS SOPS 14852312 HAS SOUS 2791528 HAS SOUPS 2791528 WITH SCORE 2806380.312
AT ITER 1174 NEW BEST:: SOT 37468854 SOS 14852520 HAS SOPS 14852520 HAS SOUS 2791392 HAS SOUPS 2791392 WITH SCORE 2806244.52
AT ITER 1189 NEW BEST:: SOT 37468119 SOS 14851943 HAS SOPS 14851943 HAS SOUS 2790639 HAS SOUPS 2790639 WITH SCORE 2805490.943
AT ITER 1190 NEW BEST:: SOT 37468544 SOS 14852304 HAS SOPS 14852304 HAS SOUS 2790539 HAS SOUPS 2790539 WITH SCORE 2805391.304
AT ITER 1192 NEW BEST:: SOT 37468261 SOS 14852284 HAS SOPS 14852284 HAS SOUS 2700925 HAS SOUPS 2700925 WITH SCORE 2715777.284
AT ITER 1203 NEW BEST:: SOT 37468352 SOS 14852466 HAS SOPS 14852466 HAS SOUS 2700798 HAS SOUPS 2700798 WITH SCORE 2715650.466
AT ITER 1210 NEW BEST:: SOT 37468351 SOS 14852464 HAS SOPS 14852464 HAS SOUS 2700796 HAS SOUPS 2700796 WITH SCORE 2715648.464
AT ITER 1212 NEW BEST:: SOT 37465410 SOS 14956631 HAS SOPS 14956631 HAS SOUS 2699196 HAS SOUPS 2699196 WITH SCORE 2714152.631
AT ITER 1224 NEW BEST:: SOT 37465281 SOS 14956373 HAS SOPS 14956373 HAS SOUS 2698938 HAS SOUPS 2698938 WITH SCORE 2713894.373
AT ITER 1225 NEW BEST:: SOT 37465304 SOS 14956731 HAS SOPS 14956731 HAS SOUS 2697597 HAS SOUPS 2697597 WITH SCORE 2712553.731
AT ITER 1248 NEW BEST:: SOT 37466130 SOS 14957692 HAS SOPS 14957692 HAS SOUS 2697519 HAS SOUPS 2697519 WITH SCORE 2712476.692
AT ITER 1251 NEW BEST:: SOT 37466129 SOS 14957690 HAS SOPS 14957690 HAS SOUS 2697517 HAS SOUPS 2697517 WITH SCORE 2712474.69
AT ITER 1255 NEW BEST:: SOT 37466132 SOS 14957696 HAS SOPS 14957696 HAS SOUS 2696890 HAS SOUPS 2696890 WITH SCORE 2711847.696
AT ITER 1260 NEW BEST:: SOT 37466103 SOS 14957638 HAS SOPS 14957638 HAS SOUS 2696684 HAS SOUPS 2696684 WITH SCORE 2711641.638
AT ITER 1262 NEW BEST:: SOT 37466103 SOS 14957638 HAS SOPS 14957638 HAS SOUS 2696654 HAS SOUPS 2696654 WITH SCORE 2711611.638
AT ITER 1280 NEW BEST:: SOT 37466103 SOS 14957917 HAS SOPS 14957917 HAS SOUS 2627093 HAS SOUPS 2627093 WITH SCORE 2642050.917
AT ITER 1297 NEW BEST:: SOT 37465873 SOS 14957687 HAS SOPS 14957687 HAS SOUS 2626863 HAS SOUPS 2626863 WITH SCORE 2641820.687
AT ITER 1311 NEW BEST:: SOT 37465873 SOS 14957687 HAS SOPS 14957687 HAS SOUS 2626862 HAS SOUPS 2626862 WITH SCORE 2641819.687
AT ITER 1317 NEW BEST:: SOT 37465861 SOS 14957663 HAS SOPS 14957663 HAS SOUS 2626838 HAS SOUPS 2626838 WITH SCORE 2641795.663
AT ITER 1323 NEW BEST:: SOT 37465841 SOS 14957560 HAS SOPS 14957560 HAS SOUS 2626818 HAS SOUPS 2626818 WITH SCORE 2641775.56
AT ITER 1327 NEW BEST:: SOT 37465830 SOS 14957989 HAS SOPS 14957989 HAS SOUS 2626686 HAS SOUPS 2626686 WITH SCORE 2641643.989
AT ITER 1329 NEW BEST:: SOT 37465830 SOS 14957567 HAS SOPS 14957567 HAS SOUS 2626686 HAS SOUPS 2626686 WITH SCORE 2641643.567
AT ITER 1333 NEW BEST:: SOT 37465806 SOS 14957519 HAS SOPS 14957519 HAS SOUS 2626650 HAS SOUPS 2626650 WITH SCORE 2641607.519
AT ITER 1347 NEW BEST:: SOT 37465214 SOS 14957314 HAS SOPS 14957314 HAS SOUS 2626297 HAS SOUPS 2626297 WITH SCORE 2641254.314
AT ITER 1379 NEW BEST:: SOT 37465214 SOS 14957314 HAS SOPS 14957314 HAS SOUS 2626268 HAS SOUPS 2626268 WITH SCORE 2641225.314
AT ITER 1401 NEW BEST:: SOT 37464954 SOS 14957420 HAS SOPS 14957420 HAS SOUS 2626061 HAS SOUPS 2626061 WITH SCORE 2641018.42
AT ITER 1403 NEW BEST:: SOT 36274202 SOS 13766563 HAS SOPS 13766563 HAS SOUS 1547583 HAS SOUPS 1547583 WITH SCORE 1561349.563
AT ITER 1406 NEW BEST:: SOT 36274146 SOS 13766531 HAS SOPS 13766531 HAS SOUS 1547536 HAS SOUPS 1547536 WITH SCORE 1561302.531
AT ITER 1411 NEW BEST:: SOT 36273969 SOS 13766177 HAS SOPS 13766177 HAS SOUS 1547359 HAS SOUPS 1547359 WITH SCORE 1561125.177
AT ITER 1420 NEW BEST:: SOT 36269994 SOS 13775402 HAS SOPS 13775402 HAS SOUS 1544407 HAS SOUPS 1544407 WITH SCORE 1558182.402
AT ITER 1428 NEW BEST:: SOT 36269994 SOS 13775251 HAS SOPS 13775251 HAS SOUS 1544404 HAS SOUPS 1544404 WITH SCORE 1558179.251
AT ITER 1431 NEW BEST:: SOT 36269930 SOS 13774931 HAS SOPS 13774931 HAS SOUS 1544276 HAS SOUPS 1544276 WITH SCORE 1558050.931
AT ITER 1462 NEW BEST:: SOT 36269884 SOS 13774839 HAS SOPS 13774839 HAS SOUS 1544184 HAS SOUPS 1544184 WITH SCORE 1557958.839
AT ITER 1468 NEW BEST:: SOT 36269760 SOS 13774591 HAS SOPS 13774591 HAS SOUS 1544060 HAS SOUPS 1544060 WITH SCORE 1557834.591
AT ITER 1486 NEW BEST:: SOT 36269760 SOS 13774803 HAS SOPS 13774803 HAS SOUS 1543848 HAS SOUPS 1543848 WITH SCORE 1557622.803
AT ITER 1491 NEW BEST:: SOT 36269910 SOS 13775430 HAS SOPS 13775430 HAS SOUS 1543724 HAS SOUPS 1543724 WITH SCORE 1557499.43
AT ITER 1515 NEW BEST:: SOT 36269910 SOS 13775430 HAS SOPS 13775430 HAS SOUS 1543558 HAS SOUPS 1543558 WITH SCORE 1557333.43
AT ITER 1517 NEW BEST:: SOT 36269297 SOS 13802814 HAS SOPS 13802814 HAS SOUS 1542934 HAS SOUPS 1542934 WITH SCORE 1556736.814
AT ITER 1522 NEW BEST:: SOT 36269296 SOS 13802813 HAS SOPS 13802813 HAS SOUS 1542933 HAS SOUPS 1542933 WITH SCORE 1556735.813
AT ITER 1535 NEW BEST:: SOT 36263325 SOS 13796842 HAS SOPS 13796842 HAS SOUS 1536962 HAS SOUPS 1536962 WITH SCORE 1550758.842
AT ITER 1539 NEW BEST:: SOT 36263325 SOS 13796842 HAS SOPS 13796842 HAS SOUS 1536947 HAS SOUPS 1536947 WITH SCORE 1550743.842
AT ITER 1548 NEW BEST:: SOT 36263325 SOS 13796842 HAS SOPS 13796842 HAS SOUS 1536946 HAS SOUPS 1536946 WITH SCORE 1550742.842
AT ITER 1557 NEW BEST:: SOT 36263287 SOS 13796766 HAS SOPS 13796766 HAS SOUS 1536870 HAS SOUPS 1536870 WITH SCORE 1550666.766
AT ITER 1571 NEW BEST:: SOT 36263139 SOS 13796618 HAS SOPS 13796618 HAS SOUS 1536771 HAS SOUPS 1536771 WITH SCORE 1550567.618
AT ITER 1579 NEW BEST:: SOT 36263036 SOS 13798505 HAS SOPS 13798505 HAS SOUS 1536444 HAS SOUPS 1536444 WITH SCORE 1550242.505
AT ITER 1580 NEW BEST:: SOT 36262777 SOS 13798089 HAS SOPS 13798089 HAS SOUS 1536154 HAS SOUPS 1536154 WITH SCORE 1549952.089
AT ITER 1587 NEW BEST:: SOT 36262234 SOS 13797795 HAS SOPS 13797795 HAS SOUS 1535347 HAS SOUPS 1535347 WITH SCORE 1549144.795
AT ITER 1615 NEW BEST:: SOT 36262095 SOS 13797517 HAS SOPS 13797517 HAS SOUS 1535069 HAS SOUPS 1535069 WITH SCORE 1548866.517
AT ITER 1621 NEW BEST:: SOT 36261968 SOS 13797611 HAS SOPS 13797611 HAS SOUS 1534942 HAS SOUPS 1534942 WITH SCORE 1548739.611
AT ITER 1626 NEW BEST:: SOT 36261966 SOS 13797607 HAS SOPS 13797607 HAS SOUS 1534940 HAS SOUPS 1534940 WITH SCORE 1548737.607
AT ITER 1643 NEW BEST:: SOT 36261966 SOS 13797607 HAS SOPS 13797607 HAS SOUS 1534935 HAS SOUPS 1534935 WITH SCORE 1548732.607
AT ITER 1668 NEW BEST:: SOT 36262341 SOS 13799107 HAS SOPS 13799107 HAS SOUS 1533869 HAS SOUPS 1533869 WITH SCORE 1547668.107
AT ITER 1701 NEW BEST:: SOT 36262440 SOS 13799026 HAS SOPS 13799026 HAS SOUS 1533788 HAS SOUPS 1533788 WITH SCORE 1547587.026
AT ITER 1708 NEW BEST:: SOT 36262225 SOS 13798596 HAS SOPS 13798596 HAS SOUS 1533331 HAS SOUPS 1533331 WITH SCORE 1547129.596
AT ITER 1723 NEW BEST:: SOT 36262484 SOS 13798596 HAS SOPS 13798596 HAS SOUS 1533312 HAS SOUPS 1533312 WITH SCORE 1547110.596
AT ITER 1742 NEW BEST:: SOT 36262484 SOS 13798990 HAS SOPS 13798990 HAS SOUS 1532918 HAS SOUPS 1532918 WITH SCORE 1546716.99
AT ITER 1744 NEW BEST:: SOT 36262022 SOS 13798759 HAS SOPS 13798759 HAS SOUS 1532456 HAS SOUPS 1532456 WITH SCORE 1546254.759
AT ITER 1749 NEW BEST:: SOT 36261427 SOS 13798583 HAS SOPS 13798583 HAS SOUS 1531942 HAS SOUPS 1531942 WITH SCORE 1545740.583
AT ITER 1754 NEW BEST:: SOT 36261427 SOS 13798657 HAS SOPS 13798657 HAS SOUS 1531752 HAS SOUPS 1531752 WITH SCORE 1545550.657
AT ITER 1755 NEW BEST:: SOT 36261646 SOS 13799537 HAS SOPS 13799537 HAS SOUS 1531600 HAS SOUPS 1531600 WITH SCORE 1545399.537
AT ITER 1769 NEW BEST:: SOT 36261646 SOS 13797444 HAS SOPS 13797444 HAS SOUS 1531470 HAS SOUPS 1531470 WITH SCORE 1545267.444
AT ITER 1770 NEW BEST:: SOT 36261645 SOS 13797442 HAS SOPS 13797442 HAS SOUS 1531468 HAS SOUPS 1531468 WITH SCORE 1545265.442
AT ITER 1776 NEW BEST:: SOT 36261645 SOS 13797442 HAS SOPS 13797442 HAS SOUS 1531467 HAS SOUPS 1531467 WITH SCORE 1545264.442
AT ITER 1824 NEW BEST:: SOT 36261578 SOS 13797308 HAS SOPS 13797308 HAS SOUS 1531333 HAS SOUPS 1531333 WITH SCORE 1545130.308
AT ITER 1842 NEW BEST:: SOT 36261492 SOS 13798360 HAS SOPS 13798360 HAS SOUS 1531255 HAS SOUPS 1531255 WITH SCORE 1545053.36
AT ITER 1884 NEW BEST:: SOT 36261033 SOS 13798930 HAS SOPS 13798930 HAS SOUS 1531024 HAS SOUPS 1531024 WITH SCORE 1544822.93
AT ITER 1899 NEW BEST:: SOT 36260668 SOS 13798200 HAS SOPS 13798200 HAS SOUS 1531001 HAS SOUPS 1531001 WITH SCORE 1544799.2
AT ITER 1910 NEW BEST:: SOT 36260086 SOS 13825594 HAS SOPS 13825594 HAS SOUS 1530414 HAS SOUPS 1530414 WITH SCORE 1544239.594
AT ITER 1912 NEW BEST:: SOT 36260086 SOS 13825496 HAS SOPS 13825496 HAS SOUS 1530414 HAS SOUPS 1530414 WITH SCORE 1544239.496
AT ITER 1926 NEW BEST:: SOT 36259854 SOS 13825032 HAS SOPS 13825032 HAS SOUS 1530070 HAS SOUPS 1530070 WITH SCORE 1543895.032
AT ITER 1935 NEW BEST:: SOT 36259820 SOS 13824964 HAS SOPS 13824964 HAS SOUS 1530036 HAS SOUPS 1530036 WITH SCORE 1543860.964
AT ITER 1952 NEW BEST:: SOT 36259679 SOS 13826671 HAS SOPS 13826671 HAS SOUS 1529971 HAS SOUPS 1529971 WITH SCORE 1543797.671
AT ITER 1954 NEW BEST:: SOT 36259644 SOS 13826601 HAS SOPS 13826601 HAS SOUS 1529958 HAS SOUPS 1529958 WITH SCORE 1543784.601
AT ITER 1956 NEW BEST:: SOT 36259516 SOS 13826161 HAS SOPS 13826161 HAS SOUS 1529518 HAS SOUPS 1529518 WITH SCORE 1543344.161
AT ITER 1971 NEW BEST:: SOT 36258545 SOS 13826523 HAS SOPS 13826523 HAS SOUS 1528651 HAS SOUPS 1528651 WITH SCORE 1542477.523
AT ITER 1979 NEW BEST:: SOT 36258545 SOS 13826650 HAS SOPS 13826650 HAS SOUS 1528553 HAS SOUPS 1528553 WITH SCORE 1542379.65
AT ITER 1984 NEW BEST:: SOT 36258545 SOS 13826650 HAS SOPS 13826650 HAS SOUS 1528511 HAS SOUPS 1528511 WITH SCORE 1542337.65
AT ITER 1988 NEW BEST:: SOT 36258396 SOS 13826502 HAS SOPS 13826502 HAS SOUS 1528213 HAS SOUPS 1528213 WITH SCORE 1542039.502
AT ITER 1995 NEW BEST:: SOT 36258218 SOS 13826352 HAS SOPS 13826352 HAS SOUS 1528059 HAS SOUPS 1528059 WITH SCORE 1541885.352
AT ITER 1996 NEW BEST:: SOT 36258210 SOS 13826336 HAS SOPS 13826336 HAS SOUS 1528051 HAS SOUPS 1528051 WITH SCORE 1541877.336
AT ITER 2029 NEW BEST:: SOT 36258126 SOS 13826363 HAS SOPS 13826363 HAS SOUS 1527952 HAS SOUPS 1527952 WITH SCORE 1541778.363
AT ITER 2031 NEW BEST:: SOT 36258006 SOS 13826669 HAS SOPS 13826669 HAS SOUS 1527894 HAS SOUPS 1527894 WITH SCORE 1541720.669
AT ITER 2044 NEW BEST:: SOT 36257772 SOS 13826151 HAS SOPS 13826151 HAS SOUS 1527527 HAS SOUPS 1527527 WITH SCORE 1541353.151
AT ITER 2057 NEW BEST:: SOT 36257626 SOS 13825960 HAS SOPS 13825960 HAS SOUS 1527402 HAS SOUPS 1527402 WITH SCORE 1541227.96
AT ITER 2071 NEW BEST:: SOT 36257629 SOS 13826223 HAS SOPS 13826223 HAS SOUS 1527311 HAS SOUPS 1527311 WITH SCORE 1541137.223
AT ITER 2078 NEW BEST:: SOT 36257506 SOS 13825977 HAS SOPS 13825977 HAS SOUS 1527240 HAS SOUPS 1527240 WITH SCORE 1541065.977
AT ITER 2085 NEW BEST:: SOT 36257481 SOS 13825927 HAS SOPS 13825927 HAS SOUS 1527190 HAS SOUPS 1527190 WITH SCORE 1541015.927
AT ITER 2113 NEW BEST:: SOT 36257186 SOS 13825337 HAS SOPS 13825337 HAS SOUS 1526895 HAS SOUPS 1526895 WITH SCORE 1540720.337
AT ITER 2117 NEW BEST:: SOT 36257186 SOS 13825337 HAS SOPS 13825337 HAS SOUS 1526824 HAS SOUPS 1526824 WITH SCORE 1540649.337
AT ITER 2134 NEW BEST:: SOT 36257178 SOS 13825321 HAS SOPS 13825321 HAS SOUS 1526683 HAS SOUPS 1526683 WITH SCORE 1540508.321
AT ITER 2146 NEW BEST:: SOT 36257065 SOS 13825196 HAS SOPS 13825196 HAS SOUS 1526613 HAS SOUPS 1526613 WITH SCORE 1540438.196
AT ITER 2152 NEW BEST:: SOT 36256892 SOS 13825023 HAS SOPS 13825023 HAS SOUS 1526523 HAS SOUPS 1526523 WITH SCORE 1540348.023
AT ITER 2157 NEW BEST:: SOT 36256869 SOS 13824977 HAS SOPS 13824977 HAS SOUS 1526477 HAS SOUPS 1526477 WITH SCORE 1540301.977
AT ITER 2158 NEW BEST:: SOT 36256819 SOS 13825561 HAS SOPS 13825561 HAS SOUS 1526443 HAS SOUPS 1526443 WITH SCORE 1540268.561
AT ITER 2167 NEW BEST:: SOT 36256623 SOS 13825719 HAS SOPS 13825719 HAS SOUS 1526361 HAS SOUPS 1526361 WITH SCORE 1540186.719
AT ITER 2172 NEW BEST:: SOT 36255840 SOS 13824936 HAS SOPS 13824936 HAS SOUS 1525634 HAS SOUPS 1525634 WITH SCORE 1539458.936
AT ITER 2173 NEW BEST:: SOT 36255693 SOS 13824420 HAS SOPS 13824420 HAS SOUS 1525535 HAS SOUPS 1525535 WITH SCORE 1539359.42
AT ITER 2198 NEW BEST:: SOT 36255178 SOS 13822095 HAS SOPS 13822095 HAS SOUS 1525184 HAS SOUPS 1525184 WITH SCORE 1539006.095
AT ITER 2221 NEW BEST:: SOT 36255004 SOS 13821921 HAS SOPS 13821921 HAS SOUS 1525098 HAS SOUPS 1525098 WITH SCORE 1538919.921
AT ITER 2236 NEW BEST:: SOT 36254946 SOS 13821921 HAS SOPS 13821921 HAS SOUS 1525008 HAS SOUPS 1525008 WITH SCORE 1538829.921
AT ITER 2273 NEW BEST:: SOT 36254941 SOS 13821916 HAS SOPS 13821916 HAS SOUS 1525003 HAS SOUPS 1525003 WITH SCORE 1538824.916
AT ITER 2277 NEW BEST:: SOT 36254863 SOS 13821760 HAS SOPS 13821760 HAS SOUS 1524847 HAS SOUPS 1524847 WITH SCORE 1538668.76
AT ITER 2283 NEW BEST:: SOT 36252241 SOS 13846625 HAS SOPS 13846625 HAS SOUS 1524735 HAS SOUPS 1524735 WITH SCORE 1538581.625
AT ITER 2284 NEW BEST:: SOT 36252020 SOS 13846579 HAS SOPS 13846579 HAS SOUS 1524415 HAS SOUPS 1524415 WITH SCORE 1538261.579
AT ITER 2292 NEW BEST:: SOT 36252184 SOS 13846457 HAS SOPS 13846457 HAS SOUS 1524226 HAS SOUPS 1524226 WITH SCORE 1538072.457
AT ITER 2307 NEW BEST:: SOT 36252100 SOS 13846373 HAS SOPS 13846373 HAS SOUS 1524142 HAS SOUPS 1524142 WITH SCORE 1537988.373
AT ITER 2333 NEW BEST:: SOT 36251530 SOS 13845803 HAS SOPS 13845803 HAS SOUS 1523868 HAS SOUPS 1523868 WITH SCORE 1537713.803
AT ITER 2335 NEW BEST:: SOT 36250625 SOS 13845193 HAS SOPS 13845193 HAS SOUS 1522656 HAS SOUPS 1522656 WITH SCORE 1536501.193
AT ITER 2348 NEW BEST:: SOT 36250625 SOS 13845446 HAS SOPS 13845446 HAS SOUS 1520501 HAS SOUPS 1520501 WITH SCORE 1534346.446
AT ITER 2355 NEW BEST:: SOT 36250430 SOS 13841712 HAS SOPS 13841712 HAS SOUS 1520306 HAS SOUPS 1520306 WITH SCORE 1534147.712
AT ITER 2396 NEW BEST:: SOT 36249922 SOS 13840699 HAS SOPS 13840699 HAS SOUS 1519898 HAS SOUPS 1519898 WITH SCORE 1533738.699
AT ITER 2405 NEW BEST:: SOT 36249921 SOS 13840697 HAS SOPS 13840697 HAS SOUS 1519896 HAS SOUPS 1519896 WITH SCORE 1533736.697
AT ITER 2416 NEW BEST:: SOT 36249756 SOS 13840231 HAS SOPS 13840231 HAS SOUS 1519430 HAS SOUPS 1519430 WITH SCORE 1533270.231
AT ITER 2430 NEW BEST:: SOT 36249645 SOS 13840009 HAS SOPS 13840009 HAS SOUS 1519208 HAS SOUPS 1519208 WITH SCORE 1533048.009
AT ITER 2449 NEW BEST:: SOT 36249505 SOS 13840414 HAS SOPS 13840414 HAS SOUS 1519205 HAS SOUPS 1519205 WITH SCORE 1533045.414
AT ITER 2460 NEW BEST:: SOT 36249505 SOS 13840396 HAS SOPS 13840396 HAS SOUS 1519159 HAS SOUPS 1519159 WITH SCORE 1532999.396
AT ITER 2481 NEW BEST:: SOT 36249505 SOS 13840243 HAS SOPS 13840243 HAS SOUS 1519006 HAS SOUPS 1519006 WITH SCORE 1532846.243
AT ITER 2486 NEW BEST:: SOT 36248901 SOS 13840226 HAS SOPS 13840226 HAS SOUS 1518503 HAS SOUPS 1518503 WITH SCORE 1532343.226
AT ITER 2515 NEW BEST:: SOT 36248825 SOS 13840074 HAS SOPS 13840074 HAS SOUS 1518351 HAS SOUPS 1518351 WITH SCORE 1532191.074
AT ITER 2533 NEW BEST:: SOT 36248708 SOS 13839796 HAS SOPS 13839796 HAS SOUS 1518136 HAS SOUPS 1518136 WITH SCORE 1531975.796
AT ITER 2534 NEW BEST:: SOT 36248708 SOS 13839796 HAS SOPS 13839796 HAS SOUS 1518127 HAS SOUPS 1518127 WITH SCORE 1531966.796
AT ITER 2535 NEW BEST:: SOT 36247801 SOS 13839066 HAS SOPS 13839066 HAS SOUS 1517929 HAS SOUPS 1517929 WITH SCORE 1531768.066
AT ITER 2561 NEW BEST:: SOT 36247918 SOS 13839202 HAS SOPS 13839202 HAS SOUS 1517863 HAS SOUPS 1517863 WITH SCORE 1531702.202
AT ITER 2578 NEW BEST:: SOT 36247918 SOS 13839331 HAS SOPS 13839331 HAS SOUS 1517713 HAS SOUPS 1517713 WITH SCORE 1531552.331
AT ITER 2579 NEW BEST:: SOT 36248207 SOS 13839331 HAS SOPS 13839331 HAS SOUS 1517711 HAS SOUPS 1517711 WITH SCORE 1531550.331
AT ITER 2601 NEW BEST:: SOT 36247434 SOS 13838341 HAS SOPS 13838341 HAS SOUS 1516992 HAS SOUPS 1516992 WITH SCORE 1530830.341
AT ITER 2605 NEW BEST:: SOT 36248294 SOS 13839799 HAS SOPS 13839799 HAS SOUS 1516738 HAS SOUPS 1516738 WITH SCORE 1530577.799
AT ITER 2610 NEW BEST:: SOT 36248220 SOS 13839651 HAS SOPS 13839651 HAS SOUS 1516590 HAS SOUPS 1516590 WITH SCORE 1530429.651
AT ITER 2612 NEW BEST:: SOT 36248188 SOS 13839587 HAS SOPS 13839587 HAS SOUS 1516526 HAS SOUPS 1516526 WITH SCORE 1530365.587
AT ITER 2617 NEW BEST:: SOT 36248188 SOS 13839296 HAS SOPS 13839296 HAS SOUS 1516496 HAS SOUPS 1516496 WITH SCORE 1530335.296
AT ITER 2633 NEW BEST:: SOT 36248166 SOS 13839274 HAS SOPS 13839274 HAS SOUS 1516474 HAS SOUPS 1516474 WITH SCORE 1530313.274
AT ITER 2654 NEW BEST:: SOT 36248126 SOS 13839194 HAS SOPS 13839194 HAS SOUS 1516433 HAS SOUPS 1516433 WITH SCORE 1530272.194
AT ITER 2667 NEW BEST:: SOT 36247943 SOS 13838828 HAS SOPS 13838828 HAS SOUS 1516258 HAS SOUPS 1516258 WITH SCORE 1530096.828
AT ITER 2670 NEW BEST:: SOT 36247821 SOS 13838596 HAS SOPS 13838596 HAS SOUS 1516075 HAS SOUPS 1516075 WITH SCORE 1529913.596
AT ITER 2671 NEW BEST:: SOT 36246790 SOS 13838334 HAS SOPS 13838334 HAS SOUS 1515044 HAS SOUPS 1515044 WITH SCORE 1528882.334
AT ITER 2674 NEW BEST:: SOT 36246790 SOS 13838486 HAS SOPS 13838486 HAS SOUS 1515012 HAS SOUPS 1515012 WITH SCORE 1528850.486
AT ITER 2693 NEW BEST:: SOT 36246610 SOS 13838648 HAS SOPS 13838648 HAS SOUS 1514894 HAS SOUPS 1514894 WITH SCORE 1528732.648
AT ITER 2721 NEW BEST:: SOT 36246610 SOS 13839005 HAS SOPS 13839005 HAS SOUS 1514804 HAS SOUPS 1514804 WITH SCORE 1528643.005
AT ITER 2724 NEW BEST:: SOT 36246429 SOS 13838643 HAS SOPS 13838643 HAS SOUS 1514064 HAS SOUPS 1514064 WITH SCORE 1527902.643
AT ITER 2728 NEW BEST:: SOT 36244035 SOS 13845553 HAS SOPS 13845553 HAS SOUS 1512594 HAS SOUPS 1512594 WITH SCORE 1526439.553
AT ITER 2729 NEW BEST:: SOT 36243853 SOS 13845189 HAS SOPS 13845189 HAS SOUS 1512411 HAS SOUPS 1512411 WITH SCORE 1526256.189
AT ITER 2733 NEW BEST:: SOT 36240529 SOS 13842116 HAS SOPS 13842116 HAS SOUS 1509911 HAS SOUPS 1509911 WITH SCORE 1523753.116
AT ITER 2743 NEW BEST:: SOT 36240529 SOS 13842189 HAS SOPS 13842189 HAS SOUS 1509779 HAS SOUPS 1509779 WITH SCORE 1523621.189
AT ITER 2754 NEW BEST:: SOT 36240249 SOS 13840977 HAS SOPS 13840977 HAS SOUS 1509218 HAS SOUPS 1509218 WITH SCORE 1523058.977
AT ITER 2758 NEW BEST:: SOT 36240450 SOS 13841747 HAS SOPS 13841747 HAS SOUS 1509068 HAS SOUPS 1509068 WITH SCORE 1522909.747
AT ITER 2762 NEW BEST:: SOT 36240427 SOS 13841552 HAS SOPS 13841552 HAS SOUS 1508917 HAS SOUPS 1508917 WITH SCORE 1522758.552
AT ITER 2768 NEW BEST:: SOT 36240415 SOS 13841528 HAS SOPS 13841528 HAS SOUS 1508905 HAS SOUPS 1508905 WITH SCORE 1522746.528
AT ITER 2776 NEW BEST:: SOT 36240422 SOS 13840776 HAS SOPS 13840776 HAS SOUS 1508863 HAS SOUPS 1508863 WITH SCORE 1522703.776
AT ITER 2779 NEW BEST:: SOT 36240422 SOS 13841037 HAS SOPS 13841037 HAS SOUS 1508833 HAS SOUPS 1508833 WITH SCORE 1522674.037
AT ITER 2792 NEW BEST:: SOT 36240333 SOS 13840859 HAS SOPS 13840859 HAS SOUS 1508655 HAS SOUPS 1508655 WITH SCORE 1522495.859
AT ITER 2803 NEW BEST:: SOT 36240333 SOS 13841233 HAS SOPS 13841233 HAS SOUS 1508564 HAS SOUPS 1508564 WITH SCORE 1522405.233
AT ITER 2806 NEW BEST:: SOT 36240254 SOS 13841233 HAS SOPS 13841233 HAS SOUS 1508485 HAS SOUPS 1508485 WITH SCORE 1522326.233
AT ITER 2838 NEW BEST:: SOT 36240808 SOS 13841885 HAS SOPS 13841885 HAS SOUS 1508373 HAS SOUPS 1508373 WITH SCORE 1522214.885
AT ITER 2849 NEW BEST:: SOT 36240707 SOS 13841683 HAS SOPS 13841683 HAS SOUS 1508173 HAS SOUPS 1508173 WITH SCORE 1522014.683
AT ITER 2875 NEW BEST:: SOT 36240707 SOS 13841683 HAS SOPS 13841683 HAS SOUS 1508172 HAS SOUPS 1508172 WITH SCORE 1522013.683
AT ITER 2880 NEW BEST:: SOT 36240707 SOS 13841683 HAS SOPS 13841683 HAS SOUS 1508171 HAS SOUPS 1508171 WITH SCORE 1522012.683
AT ITER 2904 NEW BEST:: SOT 36240658 SOS 13841634 HAS SOPS 13841634 HAS SOUS 1508121 HAS SOUPS 1508121 WITH SCORE 1521962.634
AT ITER 2929 NEW BEST:: SOT 36240473 SOS 13841936 HAS SOPS 13841936 HAS SOUS 1507936 HAS SOUPS 1507936 WITH SCORE 1521777.936
AT ITER 2932 NEW BEST:: SOT 36240391 SOS 13841854 HAS SOPS 13841854 HAS SOUS 1507923 HAS SOUPS 1507923 WITH SCORE 1521764.854
AT ITER 2943 NEW BEST:: SOT 36240391 SOS 13841377 HAS SOPS 13841377 HAS SOUS 1507923 HAS SOUPS 1507923 WITH SCORE 1521764.377
AT ITER 2963 NEW BEST:: SOT 36240585 SOS 13841606 HAS SOPS 13841606 HAS SOUS 1507820 HAS SOUPS 1507820 WITH SCORE 1521661.606
AT ITER 2974 NEW BEST:: SOT 36240468 SOS 13840356 HAS SOPS 13840356 HAS SOUS 1507586 HAS SOUPS 1507586 WITH SCORE 1521426.356
AT ITER 2991 NEW BEST:: SOT 36240515 SOS 13840590 HAS SOPS 13840590 HAS SOUS 1507540 HAS SOUPS 1507540 WITH SCORE 1521380.59
AT ITER 2999 NEW BEST:: SOT 36240498 SOS 13840556 HAS SOPS 13840556 HAS SOUS 1506979 HAS SOUPS 1506979 WITH SCORE 1520819.556
AT ITER 3001 NEW BEST:: SOT 36240530 SOS 13840427 HAS SOPS 13840427 HAS SOUS 1506889 HAS SOUPS 1506889 WITH SCORE 1520729.427
AT ITER 3005 NEW BEST:: SOT 36240343 SOS 13840053 HAS SOPS 13840053 HAS SOUS 1506515 HAS SOUPS 1506515 WITH SCORE 1520355.053
AT ITER 3006 NEW BEST:: SOT 36240343 SOS 13839968 HAS SOPS 13839968 HAS SOUS 1506446 HAS SOUPS 1506446 WITH SCORE 1520285.968
AT ITER 3012 NEW BEST:: SOT 36240183 SOS 13839595 HAS SOPS 13839595 HAS SOUS 1506367 HAS SOUPS 1506367 WITH SCORE 1520206.595
AT ITER 3015 NEW BEST:: SOT 36240183 SOS 13839715 HAS SOPS 13839715 HAS SOUS 1505647 HAS SOUPS 1505647 WITH SCORE 1519486.715
AT ITER 3017 NEW BEST:: SOT 36240183 SOS 13839714 HAS SOPS 13839714 HAS SOUS 1505646 HAS SOUPS 1505646 WITH SCORE 1519485.714
AT ITER 3038 NEW BEST:: SOT 36240183 SOS 13837039 HAS SOPS 13837039 HAS SOUS 1505646 HAS SOUPS 1505646 WITH SCORE 1519483.039
AT ITER 3048 NEW BEST:: SOT 36239773 SOS 13837212 HAS SOPS 13837212 HAS SOUS 1505307 HAS SOUPS 1505307 WITH SCORE 1519144.212
AT ITER 3064 NEW BEST:: SOT 36239773 SOS 13837212 HAS SOPS 13837212 HAS SOUS 1505254 HAS SOUPS 1505254 WITH SCORE 1519091.212
AT ITER 3065 NEW BEST:: SOT 36239513 SOS 13837646 HAS SOPS 13837646 HAS SOUS 1505179 HAS SOUPS 1505179 WITH SCORE 1519016.646
AT ITER 3067 NEW BEST:: SOT 36239489 SOS 13837598 HAS SOPS 13837598 HAS SOUS 1505155 HAS SOUPS 1505155 WITH SCORE 1518992.598
AT ITER 3081 NEW BEST:: SOT 36239474 SOS 13837568 HAS SOPS 13837568 HAS SOUS 1505108 HAS SOUPS 1505108 WITH SCORE 1518945.568
AT ITER 3089 NEW BEST:: SOT 36239229 SOS 13837702 HAS SOPS 13837702 HAS SOUS 1504877 HAS SOUPS 1504877 WITH SCORE 1518714.702
AT ITER 3107 NEW BEST:: SOT 36240300 SOS 13843911 HAS SOPS 13843911 HAS SOUS 1504656 HAS SOUPS 1504656 WITH SCORE 1518499.911
AT ITER 3112 NEW BEST:: SOT 36240902 SOS 13844616 HAS SOPS 13844616 HAS SOUS 1504627 HAS SOUPS 1504627 WITH SCORE 1518471.616
AT ITER 3128 NEW BEST:: SOT 36240888 SOS 13844588 HAS SOPS 13844588 HAS SOUS 1504526 HAS SOUPS 1504526 WITH SCORE 1518370.588

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="CTLCardinality"
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 CTLCardinality"
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-158901926000355"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;