Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r163-tall-167838847300120.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Echo-PT-d05r03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838847300120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.8M
-rw-r--r-- 1 mcc users 6.0K Feb 25 14:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 25 14:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 14:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 14:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 14:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 173K Feb 25 14:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 25 14:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 14:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:03 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:03 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 2.3M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678437798932

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Echo-PT-d05r03
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Echo (PT), instance d05r03
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 3717 places, 3222 transitions, 28404 arcs.
AT ITER 0 NEW BEST:: SOT 7794838 SOS 3473579 HAS SOPS 3473579 HAS SOUS 2752412 HAS SOUPS 2752412 WITH SCORE 2755885.579
AT ITER 3 NEW BEST:: SOT 7793086 SOS 3474697 HAS SOPS 3474697 HAS SOUS 2751591 HAS SOUPS 2751591 WITH SCORE 2755065.697
AT ITER 46 NEW BEST:: SOT 7793086 SOS 3476289 HAS SOPS 3476289 HAS SOUS 2751446 HAS SOUPS 2751446 WITH SCORE 2754922.289
AT ITER 67 NEW BEST:: SOT 7793086 SOS 3476289 HAS SOPS 3476289 HAS SOUS 2751354 HAS SOUPS 2751354 WITH SCORE 2754830.289
AT ITER 92 NEW BEST:: SOT 7793185 SOS 3478088 HAS SOPS 3478088 HAS SOUS 2751295 HAS SOUPS 2751295 WITH SCORE 2754773.088
AT ITER 213 NEW BEST:: SOT 7793185 SOS 3478088 HAS SOPS 3478088 HAS SOUS 2751289 HAS SOUPS 2751289 WITH SCORE 2754767.088
AT ITER 235 NEW BEST:: SOT 7793132 SOS 3478120 HAS SOPS 3478120 HAS SOUS 2751229 HAS SOUPS 2751229 WITH SCORE 2754707.12
AT ITER 244 NEW BEST:: SOT 7792490 SOS 3478834 HAS SOPS 3478834 HAS SOUS 2750907 HAS SOUPS 2750907 WITH SCORE 2754385.834
AT ITER 273 NEW BEST:: SOT 7792490 SOS 3478834 HAS SOPS 3478834 HAS SOUS 2750901 HAS SOUPS 2750901 WITH SCORE 2754379.834
AT ITER 414 NEW BEST:: SOT 7792490 SOS 3478834 HAS SOPS 3478834 HAS SOUS 2750893 HAS SOUPS 2750893 WITH SCORE 2754371.834
AT ITER 447 NEW BEST:: SOT 7792490 SOS 3478858 HAS SOPS 3478858 HAS SOUS 2750432 HAS SOUPS 2750432 WITH SCORE 2753910.858
AT ITER 449 NEW BEST:: SOT 7792305 SOS 3478828 HAS SOPS 3478828 HAS SOUS 2750237 HAS SOUPS 2750237 WITH SCORE 2753715.828
AT ITER 519 NEW BEST:: SOT 7791472 SOS 3480420 HAS SOPS 3480420 HAS SOUS 2749858 HAS SOUPS 2749858 WITH SCORE 2753338.42
AT ITER 527 NEW BEST:: SOT 7791472 SOS 3480669 HAS SOPS 3480669 HAS SOUS 2749735 HAS SOUPS 2749735 WITH SCORE 2753215.669
AT ITER 530 NEW BEST:: SOT 7791472 SOS 3480669 HAS SOPS 3480669 HAS SOUS 2749731 HAS SOUPS 2749731 WITH SCORE 2753211.669
AT ITER 603 NEW BEST:: SOT 7788928 SOS 3482916 HAS SOPS 3482916 HAS SOUS 2748550 HAS SOUPS 2748550 WITH SCORE 2752032.916
AT ITER 607 NEW BEST:: SOT 7787996 SOS 3484195 HAS SOPS 3484195 HAS SOUS 2748083 HAS SOUPS 2748083 WITH SCORE 2751567.195
AT ITER 620 NEW BEST:: SOT 7788030 SOS 3485150 HAS SOPS 3485150 HAS SOUS 2747914 HAS SOUPS 2747914 WITH SCORE 2751399.15
AT ITER 629 NEW BEST:: SOT 7788016 SOS 3485463 HAS SOPS 3485463 HAS SOUS 2747339 HAS SOUPS 2747339 WITH SCORE 2750824.463
AT ITER 681 NEW BEST:: SOT 7788016 SOS 3485463 HAS SOPS 3485463 HAS SOUS 2747335 HAS SOUPS 2747335 WITH SCORE 2750820.463
AT ITER 839 NEW BEST:: SOT 7787773 SOS 3486686 HAS SOPS 3486686 HAS SOUS 2746903 HAS SOUPS 2746903 WITH SCORE 2750389.686
AT ITER 930 NEW BEST:: SOT 7785481 SOS 3487767 HAS SOPS 3487767 HAS SOUS 2745300 HAS SOUPS 2745300 WITH SCORE 2748787.767
AT ITER 935 NEW BEST:: SOT 7784109 SOS 3490174 HAS SOPS 3490174 HAS SOUS 2744439 HAS SOUPS 2744439 WITH SCORE 2747929.174
AT ITER 939 NEW BEST:: SOT 7784019 SOS 3491419 HAS SOPS 3491419 HAS SOUS 2743587 HAS SOUPS 2743587 WITH SCORE 2747078.419
AT ITER 960 NEW BEST:: SOT 7783347 SOS 3492104 HAS SOPS 3492104 HAS SOUS 2743288 HAS SOUPS 2743288 WITH SCORE 2746780.104
AT ITER 978 NEW BEST:: SOT 7783342 SOS 3492118 HAS SOPS 3492118 HAS SOUS 2743277 HAS SOUPS 2743277 WITH SCORE 2746769.118
AT ITER 1045 NEW BEST:: SOT 7783342 SOS 3497439 HAS SOPS 3497439 HAS SOUS 2742558 HAS SOUPS 2742558 WITH SCORE 2746055.439
AT ITER 1120 NEW BEST:: SOT 7781059 SOS 3501702 HAS SOPS 3501702 HAS SOUS 2741811 HAS SOUPS 2741811 WITH SCORE 2745312.702
AT ITER 1215 NEW BEST:: SOT 7781059 SOS 3501702 HAS SOPS 3501702 HAS SOUS 2741805 HAS SOUPS 2741805 WITH SCORE 2745306.702
AT ITER 1225 NEW BEST:: SOT 7781059 SOS 3501702 HAS SOPS 3501702 HAS SOUS 2741725 HAS SOUPS 2741725 WITH SCORE 2745226.702
AT ITER 1230 NEW BEST:: SOT 7781059 SOS 3501702 HAS SOPS 3501702 HAS SOUS 2741723 HAS SOUPS 2741723 WITH SCORE 2745224.702
AT ITER 1266 NEW BEST:: SOT 7780172 SOS 3503044 HAS SOPS 3503044 HAS SOUS 2740933 HAS SOUPS 2740933 WITH SCORE 2744436.044
AT ITER 1284 NEW BEST:: SOT 7778660 SOS 3504169 HAS SOPS 3504169 HAS SOUS 2739978 HAS SOUPS 2739978 WITH SCORE 2743482.169
AT ITER 1294 NEW BEST:: SOT 7778660 SOS 3504169 HAS SOPS 3504169 HAS SOUS 2739976 HAS SOUPS 2739976 WITH SCORE 2743480.169
AT ITER 1307 NEW BEST:: SOT 7779042 SOS 3508340 HAS SOPS 3508340 HAS SOUS 2739347 HAS SOUPS 2739347 WITH SCORE 2742855.34
AT ITER 1348 NEW BEST:: SOT 7776646 SOS 3513746 HAS SOPS 3513746 HAS SOUS 2738930 HAS SOUPS 2738930 WITH SCORE 2742443.746
AT ITER 1364 NEW BEST:: SOT 7774740 SOS 3516886 HAS SOPS 3516886 HAS SOUS 2737914 HAS SOUPS 2737914 WITH SCORE 2741430.886
AT ITER 1420 NEW BEST:: SOT 7774740 SOS 3516886 HAS SOPS 3516886 HAS SOUS 2737910 HAS SOUPS 2737910 WITH SCORE 2741426.886
AT ITER 1476 NEW BEST:: SOT 7772090 SOS 3517080 HAS SOPS 3517080 HAS SOUS 2735633 HAS SOUPS 2735633 WITH SCORE 2739150.08
AT ITER 1486 NEW BEST:: SOT 7772090 SOS 3517556 HAS SOPS 3517556 HAS SOUS 2735452 HAS SOUPS 2735452 WITH SCORE 2738969.556
AT ITER 1549 NEW BEST:: SOT 7772090 SOS 3517556 HAS SOPS 3517556 HAS SOUS 2735442 HAS SOUPS 2735442 WITH SCORE 2738959.556
AT ITER 1573 NEW BEST:: SOT 7772090 SOS 3517556 HAS SOPS 3517556 HAS SOUS 2735438 HAS SOUPS 2735438 WITH SCORE 2738955.556
AT ITER 1576 NEW BEST:: SOT 7772088 SOS 3517554 HAS SOPS 3517554 HAS SOUS 2735436 HAS SOUPS 2735436 WITH SCORE 2738953.554
AT ITER 1589 NEW BEST:: SOT 7772088 SOS 3517554 HAS SOPS 3517554 HAS SOUS 2735426 HAS SOUPS 2735426 WITH SCORE 2738943.554
AT ITER 1657 NEW BEST:: SOT 7772088 SOS 3517554 HAS SOPS 3517554 HAS SOUS 2735418 HAS SOUPS 2735418 WITH SCORE 2738935.554
AT ITER 1723 NEW BEST:: SOT 7772088 SOS 3517818 HAS SOPS 3517818 HAS SOUS 2735384 HAS SOUPS 2735384 WITH SCORE 2738901.818
AT ITER 1778 NEW BEST:: SOT 7769704 SOS 3520520 HAS SOPS 3520520 HAS SOUS 2735152 HAS SOUPS 2735152 WITH SCORE 2738672.52
AT ITER 1796 NEW BEST:: SOT 7769704 SOS 3519872 HAS SOPS 3519872 HAS SOUS 2735041 HAS SOUPS 2735041 WITH SCORE 2738560.872
AT ITER 1906 NEW BEST:: SOT 7769704 SOS 3519872 HAS SOPS 3519872 HAS SOUS 2734813 HAS SOUPS 2734813 WITH SCORE 2738332.872
AT ITER 1917 NEW BEST:: SOT 7769539 SOS 3519707 HAS SOPS 3519707 HAS SOUS 2734648 HAS SOUPS 2734648 WITH SCORE 2738167.707
AT ITER 1936 NEW BEST:: SOT 7769539 SOS 3519707 HAS SOPS 3519707 HAS SOUS 2734574 HAS SOUPS 2734574 WITH SCORE 2738093.707
AT ITER 1945 NEW BEST:: SOT 7769539 SOS 3519707 HAS SOPS 3519707 HAS SOUS 2734572 HAS SOUPS 2734572 WITH SCORE 2738091.707
AT ITER 2112 NEW BEST:: SOT 7769417 SOS 3519275 HAS SOPS 3519275 HAS SOUS 2734129 HAS SOUPS 2734129 WITH SCORE 2737648.275
AT ITER 2119 NEW BEST:: SOT 7769417 SOS 3519275 HAS SOPS 3519275 HAS SOUS 2734121 HAS SOUPS 2734121 WITH SCORE 2737640.275
AT ITER 2263 NEW BEST:: SOT 7768696 SOS 3522377 HAS SOPS 3522377 HAS SOUS 2733918 HAS SOUPS 2733918 WITH SCORE 2737440.377
AT ITER 2299 NEW BEST:: SOT 7767941 SOS 3523546 HAS SOPS 3523546 HAS SOUS 2733513 HAS SOUPS 2733513 WITH SCORE 2737036.546
AT ITER 2332 NEW BEST:: SOT 7767933 SOS 3523534 HAS SOPS 3523534 HAS SOUS 2733510 HAS SOUPS 2733510 WITH SCORE 2737033.534
AT ITER 2360 NEW BEST:: SOT 7767811 SOS 3523672 HAS SOPS 3523672 HAS SOUS 2733440 HAS SOUPS 2733440 WITH SCORE 2736963.672
AT ITER 2374 NEW BEST:: SOT 7767811 SOS 3523672 HAS SOPS 3523672 HAS SOUS 2733436 HAS SOUPS 2733436 WITH SCORE 2736959.672
AT ITER 2429 NEW BEST:: SOT 7765971 SOS 3524782 HAS SOPS 3524782 HAS SOUS 2732368 HAS SOUPS 2732368 WITH SCORE 2735892.782
AT ITER 2486 NEW BEST:: SOT 7765971 SOS 3524782 HAS SOPS 3524782 HAS SOUS 2732364 HAS SOUPS 2732364 WITH SCORE 2735888.782
AT ITER 2535 NEW BEST:: SOT 7765971 SOS 3524782 HAS SOPS 3524782 HAS SOUS 2732352 HAS SOUPS 2732352 WITH SCORE 2735876.782
AT ITER 2607 NEW BEST:: SOT 7763940 SOS 3528363 HAS SOPS 3528363 HAS SOUS 2732024 HAS SOUPS 2732024 WITH SCORE 2735552.363
AT ITER 2647 NEW BEST:: SOT 7763899 SOS 3528714 HAS SOPS 3528714 HAS SOUS 2731883 HAS SOUPS 2731883 WITH SCORE 2735411.714
AT ITER 2655 NEW BEST:: SOT 7763273 SOS 3528088 HAS SOPS 3528088 HAS SOUS 2731503 HAS SOUPS 2731503 WITH SCORE 2735031.088
AT ITER 2754 NEW BEST:: SOT 7763273 SOS 3528088 HAS SOPS 3528088 HAS SOUS 2731453 HAS SOUPS 2731453 WITH SCORE 2734981.088
AT ITER 2776 NEW BEST:: SOT 7761608 SOS 3530161 HAS SOPS 3530161 HAS SOUS 2730612 HAS SOUPS 2730612 WITH SCORE 2734142.161
AT ITER 2824 NEW BEST:: SOT 7761608 SOS 3530161 HAS SOPS 3530161 HAS SOUS 2730554 HAS SOUPS 2730554 WITH SCORE 2734084.161
AT ITER 2829 NEW BEST:: SOT 7761608 SOS 3530161 HAS SOPS 3530161 HAS SOUS 2730518 HAS SOUPS 2730518 WITH SCORE 2734048.161
AT ITER 2872 NEW BEST:: SOT 7761608 SOS 3530161 HAS SOPS 3530161 HAS SOUS 2730514 HAS SOUPS 2730514 WITH SCORE 2734044.161
AT ITER 2962 NEW BEST:: SOT 7761608 SOS 3530161 HAS SOPS 3530161 HAS SOUS 2730508 HAS SOUPS 2730508 WITH SCORE 2734038.161
AT ITER 3027 NEW BEST:: SOT 7761530 SOS 3530924 HAS SOPS 3530924 HAS SOUS 2730275 HAS SOUPS 2730275 WITH SCORE 2733805.924
AT ITER 3028 NEW BEST:: SOT 7761530 SOS 3530924 HAS SOPS 3530924 HAS SOUS 2730269 HAS SOUPS 2730269 WITH SCORE 2733799.924
AT ITER 3034 NEW BEST:: SOT 7761413 SOS 3530996 HAS SOPS 3530996 HAS SOUS 2730200 HAS SOUPS 2730200 WITH SCORE 2733730.996
AT ITER 3065 NEW BEST:: SOT 7761401 SOS 3531328 HAS SOPS 3531328 HAS SOUS 2730056 HAS SOUPS 2730056 WITH SCORE 2733587.328
AT ITER 3127 NEW BEST:: SOT 7761306 SOS 3531233 HAS SOPS 3531233 HAS SOUS 2729961 HAS SOUPS 2729961 WITH SCORE 2733492.233
AT ITER 3130 NEW BEST:: SOT 7761171 SOS 3531098 HAS SOPS 3531098 HAS SOUS 2729818 HAS SOUPS 2729818 WITH SCORE 2733349.098
AT ITER 3172 NEW BEST:: SOT 7761026 SOS 3531600 HAS SOPS 3531600 HAS SOUS 2729388 HAS SOUPS 2729388 WITH SCORE 2732919.6
AT ITER 3191 NEW BEST:: SOT 7761026 SOS 3531040 HAS SOPS 3531040 HAS SOUS 2729308 HAS SOUPS 2729308 WITH SCORE 2732839.04
AT ITER 3218 NEW BEST:: SOT 7761026 SOS 3531040 HAS SOPS 3531040 HAS SOUS 2729302 HAS SOUPS 2729302 WITH SCORE 2732833.04
AT ITER 3336 NEW BEST:: SOT 7760847 SOS 3532182 HAS SOPS 3532182 HAS SOUS 2728651 HAS SOUPS 2728651 WITH SCORE 2732183.182
AT ITER 3337 NEW BEST:: SOT 7760427 SOS 3533700 HAS SOPS 3533700 HAS SOUS 2728477 HAS SOUPS 2728477 WITH SCORE 2732010.7
AT ITER 3340 NEW BEST:: SOT 7760402 SOS 3537682 HAS SOPS 3537682 HAS SOUS 2728413 HAS SOUPS 2728413 WITH SCORE 2731950.682
AT ITER 3370 NEW BEST:: SOT 7760402 SOS 3537682 HAS SOPS 3537682 HAS SOUS 2728401 HAS SOUPS 2728401 WITH SCORE 2731938.682
AT ITER 3400 NEW BEST:: SOT 7760402 SOS 3537682 HAS SOPS 3537682 HAS SOUS 2728397 HAS SOUPS 2728397 WITH SCORE 2731934.682
AT ITER 3419 NEW BEST:: SOT 7760391 SOS 3537671 HAS SOPS 3537671 HAS SOUS 2728386 HAS SOUPS 2728386 WITH SCORE 2731923.671
AT ITER 3425 NEW BEST:: SOT 7760391 SOS 3537671 HAS SOPS 3537671 HAS SOUS 2728378 HAS SOUPS 2728378 WITH SCORE 2731915.671
AT ITER 3428 NEW BEST:: SOT 7760391 SOS 3537671 HAS SOPS 3537671 HAS SOUS 2728376 HAS SOUPS 2728376 WITH SCORE 2731913.671
AT ITER 3506 NEW BEST:: SOT 7760386 SOS 3537660 HAS SOPS 3537660 HAS SOUS 2728329 HAS SOUPS 2728329 WITH SCORE 2731866.66
AT ITER 3555 NEW BEST:: SOT 7760246 SOS 3537575 HAS SOPS 3537575 HAS SOUS 2728244 HAS SOUPS 2728244 WITH SCORE 2731781.575
AT ITER 3658 NEW BEST:: SOT 7760246 SOS 3537575 HAS SOPS 3537575 HAS SOUS 2728236 HAS SOUPS 2728236 WITH SCORE 2731773.575
AT ITER 3789 NEW BEST:: SOT 7760246 SOS 3537575 HAS SOPS 3537575 HAS SOUS 2728162 HAS SOUPS 2728162 WITH SCORE 2731699.575
AT ITER 3827 NEW BEST:: SOT 7760246 SOS 3537575 HAS SOPS 3537575 HAS SOUS 2728154 HAS SOUPS 2728154 WITH SCORE 2731691.575
AT ITER 3862 NEW BEST:: SOT 7760520 SOS 3540070 HAS SOPS 3540070 HAS SOUS 2727699 HAS SOUPS 2727699 WITH SCORE 2731239.07
AT ITER 3864 NEW BEST:: SOT 7760520 SOS 3540070 HAS SOPS 3540070 HAS SOUS 2727691 HAS SOUPS 2727691 WITH SCORE 2731231.07
AT ITER 3938 NEW BEST:: SOT 7760517 SOS 3540067 HAS SOPS 3540067 HAS SOUS 2727688 HAS SOUPS 2727688 WITH SCORE 2731228.067
AT ITER 3978 NEW BEST:: SOT 7760517 SOS 3540067 HAS SOPS 3540067 HAS SOUS 2727682 HAS SOUPS 2727682 WITH SCORE 2731222.067
AT ITER 4002 NEW BEST:: SOT 7758653 SOS 3540116 HAS SOPS 3540116 HAS SOUS 2726227 HAS SOUPS 2726227 WITH SCORE 2729767.116
AT ITER 4006 NEW BEST:: SOT 7759074 SOS 3541157 HAS SOPS 3541157 HAS SOUS 2726168 HAS SOUPS 2726168 WITH SCORE 2729709.157
AT ITER 4027 NEW BEST:: SOT 7759074 SOS 3541157 HAS SOPS 3541157 HAS SOUS 2726156 HAS SOUPS 2726156 WITH SCORE 2729697.157
AT ITER 4065 NEW BEST:: SOT 7758429 SOS 3540512 HAS SOPS 3540512 HAS SOUS 2725511 HAS SOUPS 2725511 WITH SCORE 2729051.512
AT ITER 4156 NEW BEST:: SOT 7758429 SOS 3540512 HAS SOPS 3540512 HAS SOUS 2725439 HAS SOUPS 2725439 WITH SCORE 2728979.512
AT ITER 4172 NEW BEST:: SOT 7758412 SOS 3540495 HAS SOPS 3540495 HAS SOUS 2725422 HAS SOUPS 2725422 WITH SCORE 2728962.495
AT ITER 4191 NEW BEST:: SOT 7758412 SOS 3540495 HAS SOPS 3540495 HAS SOUS 2725122 HAS SOUPS 2725122 WITH SCORE 2728662.495
AT ITER 4206 NEW BEST:: SOT 7758412 SOS 3540495 HAS SOPS 3540495 HAS SOUS 2725112 HAS SOUPS 2725112 WITH SCORE 2728652.495
AT ITER 4211 NEW BEST:: SOT 7758412 SOS 3540495 HAS SOPS 3540495 HAS SOUS 2725104 HAS SOUPS 2725104 WITH SCORE 2728644.495
AT ITER 4226 NEW BEST:: SOT 7758412 SOS 3540495 HAS SOPS 3540495 HAS SOUS 2724660 HAS SOUPS 2724660 WITH SCORE 2728200.495
AT ITER 4246 NEW BEST:: SOT 7758412 SOS 3540495 HAS SOPS 3540495 HAS SOUS 2724656 HAS SOUPS 2724656 WITH SCORE 2728196.495
AT ITER 4338 NEW BEST:: SOT 7758387 SOS 3540448 HAS SOPS 3540448 HAS SOUS 2724631 HAS SOUPS 2724631 WITH SCORE 2728171.448
AT ITER 4339 NEW BEST:: SOT 7758387 SOS 3540448 HAS SOPS 3540448 HAS SOUS 2724629 HAS SOUPS 2724629 WITH SCORE 2728169.448
AT ITER 4491 NEW BEST:: SOT 7758387 SOS 3540448 HAS SOPS 3540448 HAS SOUS 2724623 HAS SOUPS 2724623 WITH SCORE 2728163.448
AT ITER 4583 NEW BEST:: SOT 7758382 SOS 3540438 HAS SOPS 3540438 HAS SOUS 2724617 HAS SOUPS 2724617 WITH SCORE 2728157.438
AT ITER 4589 NEW BEST:: SOT 7758382 SOS 3540438 HAS SOPS 3540438 HAS SOUS 2724411 HAS SOUPS 2724411 WITH SCORE 2727951.438
AT ITER 4600 NEW BEST:: SOT 7758382 SOS 3540866 HAS SOPS 3540866 HAS SOUS 2724304 HAS SOUPS 2724304 WITH SCORE 2727844.866
AT ITER 4726 NEW BEST:: SOT 7757730 SOS 3541162 HAS SOPS 3541162 HAS SOUS 2723812 HAS SOUPS 2723812 WITH SCORE 2727353.162
AT ITER 4851 NEW BEST:: SOT 7757711 SOS 3541983 HAS SOPS 3541983 HAS SOUS 2723612 HAS SOUPS 2723612 WITH SCORE 2727153.983
AT ITER 4857 NEW BEST:: SOT 7757662 SOS 3543973 HAS SOPS 3543973 HAS SOUS 2723349 HAS SOUPS 2723349 WITH SCORE 2726892.973
AT ITER 4935 NEW BEST:: SOT 7757662 SOS 3544779 HAS SOPS 3544779 HAS SOUS 2723176 HAS SOUPS 2723176 WITH SCORE 2726720.779
AT ITER 4961 NEW BEST:: SOT 7757186 SOS 3545023 HAS SOPS 3545023 HAS SOUS 2722851 HAS SOUPS 2722851 WITH SCORE 2726396.023
AT ITER 4963 NEW BEST:: SOT 7757186 SOS 3545023 HAS SOPS 3545023 HAS SOUS 2722841 HAS SOUPS 2722841 WITH SCORE 2726386.023
AT ITER 4973 NEW BEST:: SOT 7757186 SOS 3545059 HAS SOPS 3545059 HAS SOUS 2722835 HAS SOUPS 2722835 WITH SCORE 2726380.059
AT ITER 4996 NEW BEST:: SOT 7757186 SOS 3545059 HAS SOPS 3545059 HAS SOUS 2722829 HAS SOUPS 2722829 WITH SCORE 2726374.059
AT ITER 5088 NEW BEST:: SOT 7757186 SOS 3545059 HAS SOPS 3545059 HAS SOUS 2722683 HAS SOUPS 2722683 WITH SCORE 2726228.059
AT ITER 5162 NEW BEST:: SOT 7757258 SOS 3545131 HAS SOPS 3545131 HAS SOUS 2722631 HAS SOUPS 2722631 WITH SCORE 2726176.131
AT ITER 5213 NEW BEST:: SOT 7757258 SOS 3545131 HAS SOPS 3545131 HAS SOUS 2721957 HAS SOUPS 2721957 WITH SCORE 2725502.131
AT ITER 5251 NEW BEST:: SOT 7757084 SOS 3546148 HAS SOPS 3546148 HAS SOUS 2721550 HAS SOUPS 2721550 WITH SCORE 2725096.148
AT ITER 5344 NEW BEST:: SOT 7756537 SOS 3545601 HAS SOPS 3545601 HAS SOUS 2721053 HAS SOUPS 2721053 WITH SCORE 2724598.601
AT ITER 5355 NEW BEST:: SOT 7756537 SOS 3545601 HAS SOPS 3545601 HAS SOUS 2721051 HAS SOUPS 2721051 WITH SCORE 2724596.601
AT ITER 5374 NEW BEST:: SOT 7756537 SOS 3545601 HAS SOPS 3545601 HAS SOUS 2720935 HAS SOUPS 2720935 WITH SCORE 2724480.601
AT ITER 5382 NEW BEST:: SOT 7756537 SOS 3545601 HAS SOPS 3545601 HAS SOUS 2720933 HAS SOUPS 2720933 WITH SCORE 2724478.601
AT ITER 5383 NEW BEST:: SOT 7756537 SOS 3545601 HAS SOPS 3545601 HAS SOUS 2720931 HAS SOUPS 2720931 WITH SCORE 2724476.601
AT ITER 5411 NEW BEST:: SOT 7756393 SOS 3545457 HAS SOPS 3545457 HAS SOUS 2720787 HAS SOUPS 2720787 WITH SCORE 2724332.457
AT ITER 5455 NEW BEST:: SOT 7756372 SOS 3545466 HAS SOPS 3545466 HAS SOUS 2720772 HAS SOUPS 2720772 WITH SCORE 2724317.466
AT ITER 5534 NEW BEST:: SOT 7755381 SOS 3546533 HAS SOPS 3546533 HAS SOUS 2720528 HAS SOUPS 2720528 WITH SCORE 2724074.533
AT ITER 5544 NEW BEST:: SOT 7755381 SOS 3546533 HAS SOPS 3546533 HAS SOUS 2720332 HAS SOUPS 2720332 WITH SCORE 2723878.533
AT ITER 5726 NEW BEST:: SOT 7754963 SOS 3548220 HAS SOPS 3548220 HAS SOUS 2720223 HAS SOUPS 2720223 WITH SCORE 2723771.22
AT ITER 5735 NEW BEST:: SOT 7754963 SOS 3548384 HAS SOPS 3548384 HAS SOUS 2720151 HAS SOUPS 2720151 WITH SCORE 2723699.384
AT ITER 5771 NEW BEST:: SOT 7754963 SOS 3548384 HAS SOPS 3548384 HAS SOUS 2720141 HAS SOUPS 2720141 WITH SCORE 2723689.384
AT ITER 5820 NEW BEST:: SOT 7754958 SOS 3549652 HAS SOPS 3549652 HAS SOUS 2719966 HAS SOUPS 2719966 WITH SCORE 2723515.652
AT ITER 5836 NEW BEST:: SOT 7754958 SOS 3550110 HAS SOPS 3550110 HAS SOUS 2719917 HAS SOUPS 2719917 WITH SCORE 2723467.11
AT ITER 5877 NEW BEST:: SOT 7754958 SOS 3550110 HAS SOPS 3550110 HAS SOUS 2719913 HAS SOUPS 2719913 WITH SCORE 2723463.11
AT ITER 6028 NEW BEST:: SOT 7754544 SOS 3551577 HAS SOPS 3551577 HAS SOUS 2719904 HAS SOUPS 2719904 WITH SCORE 2723455.577
AT ITER 6076 NEW BEST:: SOT 7752922 SOS 3555300 HAS SOPS 3555300 HAS SOUS 2719315 HAS SOUPS 2719315 WITH SCORE 2722870.3
AT ITER 6114 NEW BEST:: SOT 7752922 SOS 3555300 HAS SOPS 3555300 HAS SOUS 2719303 HAS SOUPS 2719303 WITH SCORE 2722858.3
AT ITER 6197 NEW BEST:: SOT 7752360 SOS 3554793 HAS SOPS 3554793 HAS SOUS 2718752 HAS SOUPS 2718752 WITH SCORE 2722306.793
AT ITER 6248 NEW BEST:: SOT 7752360 SOS 3554793 HAS SOPS 3554793 HAS SOUS 2718744 HAS SOUPS 2718744 WITH SCORE 2722298.793
AT ITER 6254 NEW BEST:: SOT 7752360 SOS 3554793 HAS SOPS 3554793 HAS SOUS 2718732 HAS SOUPS 2718732 WITH SCORE 2722286.793
AT ITER 6310 NEW BEST:: SOT 7752360 SOS 3554793 HAS SOPS 3554793 HAS SOUS 2718722 HAS SOUPS 2718722 WITH SCORE 2722276.793
AT ITER 6324 NEW BEST:: SOT 7752360 SOS 3554793 HAS SOPS 3554793 HAS SOUS 2718718 HAS SOUPS 2718718 WITH SCORE 2722272.793
AT ITER 6360 NEW BEST:: SOT 7752232 SOS 3555095 HAS SOPS 3555095 HAS SOUS 2718651 HAS SOUPS 2718651 WITH SCORE 2722206.095
AT ITER 6459 NEW BEST:: SOT 7752232 SOS 3555095 HAS SOPS 3555095 HAS SOUS 2718639 HAS SOUPS 2718639 WITH SCORE 2722194.095
AT ITER 6481 NEW BEST:: SOT 7752232 SOS 3555095 HAS SOPS 3555095 HAS SOUS 2718635 HAS SOUPS 2718635 WITH SCORE 2722190.095
AT ITER 6497 NEW BEST:: SOT 7752203 SOS 3555171 HAS SOPS 3555171 HAS SOUS 2718613 HAS SOUPS 2718613 WITH SCORE 2722168.171
AT ITER 6503 NEW BEST:: SOT 7750971 SOS 3554579 HAS SOPS 3554579 HAS SOUS 2718001 HAS SOUPS 2718001 WITH SCORE 2721555.579
AT ITER 6511 NEW BEST:: SOT 7750837 SOS 3559147 HAS SOPS 3559147 HAS SOUS 2717819 HAS SOUPS 2717819 WITH SCORE 2721378.147
AT ITER 6562 NEW BEST:: SOT 7750837 SOS 3559147 HAS SOPS 3559147 HAS SOUS 2717531 HAS SOUPS 2717531 WITH SCORE 2721090.147
AT ITER 6595 NEW BEST:: SOT 7750091 SOS 3559714 HAS SOPS 3559714 HAS SOUS 2716997 HAS SOUPS 2716997 WITH SCORE 2720556.714
AT ITER 6629 NEW BEST:: SOT 7749489 SOS 3559322 HAS SOPS 3559322 HAS SOUS 2716873 HAS SOUPS 2716873 WITH SCORE 2720432.322
AT ITER 6630 NEW BEST:: SOT 7749489 SOS 3561542 HAS SOPS 3561542 HAS SOUS 2716545 HAS SOUPS 2716545 WITH SCORE 2720106.542
AT ITER 6703 NEW BEST:: SOT 7749452 SOS 3561505 HAS SOPS 3561505 HAS SOUS 2716508 HAS SOUPS 2716508 WITH SCORE 2720069.505
AT ITER 6832 NEW BEST:: SOT 7749452 SOS 3561505 HAS SOPS 3561505 HAS SOUS 2716504 HAS SOUPS 2716504 WITH SCORE 2720065.505
AT ITER 6864 NEW BEST:: SOT 7749452 SOS 3561505 HAS SOPS 3561505 HAS SOUS 2716502 HAS SOUPS 2716502 WITH SCORE 2720063.505
AT ITER 6955 NEW BEST:: SOT 7749452 SOS 3560315 HAS SOPS 3560315 HAS SOUS 2716332 HAS SOUPS 2716332 WITH SCORE 2719892.315
AT ITER 7030 NEW BEST:: SOT 7749550 SOS 3560413 HAS SOPS 3560413 HAS SOUS 2716320 HAS SOUPS 2716320 WITH SCORE 2719880.413
AT ITER 7048 NEW BEST:: SOT 7749529 SOS 3560392 HAS SOPS 3560392 HAS SOUS 2716175 HAS SOUPS 2716175 WITH SCORE 2719735.392
AT ITER 7052 NEW BEST:: SOT 7749529 SOS 3560392 HAS SOPS 3560392 HAS SOUS 2716169 HAS SOUPS 2716169 WITH SCORE 2719729.392
AT ITER 7066 NEW BEST:: SOT 7748259 SOS 3560593 HAS SOPS 3560593 HAS SOUS 2716086 HAS SOUPS 2716086 WITH SCORE 2719646.593
AT ITER 7126 NEW BEST:: SOT 7748259 SOS 3559913 HAS SOPS 3559913 HAS SOUS 2716001 HAS SOUPS 2716001 WITH SCORE 2719560.913
AT ITER 7159 NEW BEST:: SOT 7748259 SOS 3559913 HAS SOPS 3559913 HAS SOUS 2715999 HAS SOUPS 2715999 WITH SCORE 2719558.913
AT ITER 7178 NEW BEST:: SOT 7746832 SOS 3562441 HAS SOPS 3562441 HAS SOUS 2715526 HAS SOUPS 2715526 WITH SCORE 2719088.441
AT ITER 7201 NEW BEST:: SOT 7746828 SOS 3564699 HAS SOPS 3564699 HAS SOUS 2715421 HAS SOUPS 2715421 WITH SCORE 2718985.699
AT ITER 7203 NEW BEST:: SOT 7746828 SOS 3564699 HAS SOPS 3564699 HAS SOUS 2715391 HAS SOUPS 2715391 WITH SCORE 2718955.699
AT ITER 7210 NEW BEST:: SOT 7746828 SOS 3564699 HAS SOPS 3564699 HAS SOUS 2715037 HAS SOUPS 2715037 WITH SCORE 2718601.699
AT ITER 7279 NEW BEST:: SOT 7746571 SOS 3564442 HAS SOPS 3564442 HAS SOUS 2714700 HAS SOUPS 2714700 WITH SCORE 2718264.442
AT ITER 7287 NEW BEST:: SOT 7746274 SOS 3564145 HAS SOPS 3564145 HAS SOUS 2714403 HAS SOUPS 2714403 WITH SCORE 2717967.145
AT ITER 7310 NEW BEST:: SOT 7745785 SOS 3563656 HAS SOPS 3563656 HAS SOUS 2714082 HAS SOUPS 2714082 WITH SCORE 2717645.656
AT ITER 7323 NEW BEST:: SOT 7745785 SOS 3566084 HAS SOPS 3566084 HAS SOUS 2714060 HAS SOUPS 2714060 WITH SCORE 2717626.084
AT ITER 7339 NEW BEST:: SOT 7745782 SOS 3568056 HAS SOPS 3568056 HAS SOUS 2713936 HAS SOUPS 2713936 WITH SCORE 2717504.056
AT ITER 7378 NEW BEST:: SOT 7745782 SOS 3568056 HAS SOPS 3568056 HAS SOUS 2713764 HAS SOUPS 2713764 WITH SCORE 2717332.056
AT ITER 7399 NEW BEST:: SOT 7745490 SOS 3567764 HAS SOPS 3567764 HAS SOUS 2713352 HAS SOUPS 2713352 WITH SCORE 2716919.764
AT ITER 7414 NEW BEST:: SOT 7745490 SOS 3567764 HAS SOPS 3567764 HAS SOUS 2713312 HAS SOUPS 2713312 WITH SCORE 2716879.764
AT ITER 7459 NEW BEST:: SOT 7745490 SOS 3567764 HAS SOPS 3567764 HAS SOUS 2713300 HAS SOUPS 2713300 WITH SCORE 2716867.764
AT ITER 7497 NEW BEST:: SOT 7745552 SOS 3569741 HAS SOPS 3569741 HAS SOUS 2712775 HAS SOUPS 2712775 WITH SCORE 2716344.741
AT ITER 7565 NEW BEST:: SOT 7745714 SOS 3576097 HAS SOPS 3576097 HAS SOUS 2712455 HAS SOUPS 2712455 WITH SCORE 2716031.097
AT ITER 7569 NEW BEST:: SOT 7745501 SOS 3576758 HAS SOPS 3576758 HAS SOUS 2712392 HAS SOUPS 2712392 WITH SCORE 2715968.758
AT ITER 7581 NEW BEST:: SOT 7745501 SOS 3576758 HAS SOPS 3576758 HAS SOUS 2712388 HAS SOUPS 2712388 WITH SCORE 2715964.758
AT ITER 7608 NEW BEST:: SOT 7745011 SOS 3576346 HAS SOPS 3576346 HAS SOUS 2711937 HAS SOUPS 2711937 WITH SCORE 2715513.346
AT ITER 7806 NEW BEST:: SOT 7745093 SOS 3576428 HAS SOPS 3576428 HAS SOUS 2711881 HAS SOUPS 2711881 WITH SCORE 2715457.428
AT ITER 7858 NEW BEST:: SOT 7743696 SOS 3578079 HAS SOPS 3578079 HAS SOUS 2711064 HAS SOUPS 2711064 WITH SCORE 2714642.079
AT ITER 7920 NEW BEST:: SOT 7743696 SOS 3578079 HAS SOPS 3578079 HAS SOUS 2711060 HAS SOUPS 2711060 WITH SCORE 2714638.079
AT ITER 7925 NEW BEST:: SOT 7743649 SOS 3578204 HAS SOPS 3578204 HAS SOUS 2711059 HAS SOUPS 2711059 WITH SCORE 2714637.204
AT ITER 7940 NEW BEST:: SOT 7741367 SOS 3579695 HAS SOPS 3579695 HAS SOUS 2709907 HAS SOUPS 2709907 WITH SCORE 2713486.695
AT ITER 7993 NEW BEST:: SOT 7741367 SOS 3579695 HAS SOPS 3579695 HAS SOUS 2709761 HAS SOUPS 2709761 WITH SCORE 2713340.695
AT ITER 8036 NEW BEST:: SOT 7741352 SOS 3579680 HAS SOPS 3579680 HAS SOUS 2709746 HAS SOUPS 2709746 WITH SCORE 2713325.68
AT ITER 8061 NEW BEST:: SOT 7741347 SOS 3580141 HAS SOPS 3580141 HAS SOUS 2709673 HAS SOUPS 2709673 WITH SCORE 2713253.141
AT ITER 8070 NEW BEST:: SOT 7741344 SOS 3580138 HAS SOPS 3580138 HAS SOUS 2709648 HAS SOUPS 2709648 WITH SCORE 2713228.138
AT ITER 8100 NEW BEST:: SOT 7741344 SOS 3580138 HAS SOPS 3580138 HAS SOUS 2709644 HAS SOUPS 2709644 WITH SCORE 2713224.138
AT ITER 8151 NEW BEST:: SOT 7741344 SOS 3580130 HAS SOPS 3580130 HAS SOUS 2709642 HAS SOUPS 2709642 WITH SCORE 2713222.13
AT ITER 8212 NEW BEST:: SOT 7741344 SOS 3580130 HAS SOPS 3580130 HAS SOUS 2709640 HAS SOUPS 2709640 WITH SCORE 2713220.13
AT ITER 8237 NEW BEST:: SOT 7741360 SOS 3581336 HAS SOPS 3581336 HAS SOUS 2709567 HAS SOUPS 2709567 WITH SCORE 2713148.336
AT ITER 8383 NEW BEST:: SOT 7741360 SOS 3581336 HAS SOPS 3581336 HAS SOUS 2709513 HAS SOUPS 2709513 WITH SCORE 2713094.336
AT ITER 8385 NEW BEST:: SOT 7741360 SOS 3581336 HAS SOPS 3581336 HAS SOUS 2709507 HAS SOUPS 2709507 WITH SCORE 2713088.336
AT ITER 8402 NEW BEST:: SOT 7741358 SOS 3581726 HAS SOPS 3581726 HAS SOUS 2709337 HAS SOUPS 2709337 WITH SCORE 2712918.726
AT ITER 8449 NEW BEST:: SOT 7741303 SOS 3581495 HAS SOPS 3581495 HAS SOUS 2709260 HAS SOUPS 2709260 WITH SCORE 2712841.495
AT ITER 8487 NEW BEST:: SOT 7741303 SOS 3582665 HAS SOPS 3582665 HAS SOUS 2709029 HAS SOUPS 2709029 WITH SCORE 2712611.665
AT ITER 8497 NEW BEST:: SOT 7741303 SOS 3582665 HAS SOPS 3582665 HAS SOUS 2709027 HAS SOUPS 2709027 WITH SCORE 2712609.665
AT ITER 8546 NEW BEST:: SOT 7741303 SOS 3582665 HAS SOPS 3582665 HAS SOUS 2709025 HAS SOUPS 2709025 WITH SCORE 2712607.665
AT ITER 8556 NEW BEST:: SOT 7739830 SOS 3581542 HAS SOPS 3581542 HAS SOUS 2707774 HAS SOUPS 2707774 WITH SCORE 2711355.542
AT ITER 8563 NEW BEST:: SOT 7739830 SOS 3581496 HAS SOPS 3581496 HAS SOUS 2707728 HAS SOUPS 2707728 WITH SCORE 2711309.496
AT ITER 8631 NEW BEST:: SOT 7739830 SOS 3581496 HAS SOPS 3581496 HAS SOUS 2707726 HAS SOUPS 2707726 WITH SCORE 2711307.496
AT ITER 8648 NEW BEST:: SOT 7739794 SOS 3581010 HAS SOPS 3581010 HAS SOUS 2707640 HAS SOUPS 2707640 WITH SCORE 2711221.01
AT ITER 8671 NEW BEST:: SOT 7739794 SOS 3581114 HAS SOPS 3581114 HAS SOUS 2707613 HAS SOUPS 2707613 WITH SCORE 2711194.114
AT ITER 8706 NEW BEST:: SOT 7739308 SOS 3580628 HAS SOPS 3580628 HAS SOUS 2707127 HAS SOUPS 2707127 WITH SCORE 2710707.628
AT ITER 8755 NEW BEST:: SOT 7739305 SOS 3580625 HAS SOPS 3580625 HAS SOUS 2707068 HAS SOUPS 2707068 WITH SCORE 2710648.625
AT ITER 8799 NEW BEST:: SOT 7739305 SOS 3580625 HAS SOPS 3580625 HAS SOUS 2707058 HAS SOUPS 2707058 WITH SCORE 2710638.625
AT ITER 8833 NEW BEST:: SOT 7739305 SOS 3584356 HAS SOPS 3584356 HAS SOUS 2706801 HAS SOUPS 2706801 WITH SCORE 2710385.356
AT ITER 8867 NEW BEST:: SOT 7739305 SOS 3584356 HAS SOPS 3584356 HAS SOUS 2706791 HAS SOUPS 2706791 WITH SCORE 2710375.356
AT ITER 8971 NEW BEST:: SOT 7739179 SOS 3584230 HAS SOPS 3584230 HAS SOUS 2706665 HAS SOUPS 2706665 WITH SCORE 2710249.23
AT ITER 8986 NEW BEST:: SOT 7739179 SOS 3584230 HAS SOPS 3584230 HAS SOUS 2706657 HAS SOUPS 2706657 WITH SCORE 2710241.23
AT ITER 9074 NEW BEST:: SOT 7739179 SOS 3584230 HAS SOPS 3584230 HAS SOUS 2706645 HAS SOUPS 2706645 WITH SCORE 2710229.23
AT ITER 9134 NEW BEST:: SOT 7739179 SOS 3584230 HAS SOPS 3584230 HAS SOUS 2706643 HAS SOUPS 2706643 WITH SCORE 2710227.23
AT ITER 9139 NEW BEST:: SOT 7739179 SOS 3585902 HAS SOPS 3585902 HAS SOUS 2706434 HAS SOUPS 2706434 WITH SCORE 2710019.902
AT ITER 9157 NEW BEST:: SOT 7739179 SOS 3585902 HAS SOPS 3585902 HAS SOUS 2706432 HAS SOUPS 2706432 WITH SCORE 2710017.902
AT ITER 9294 NEW BEST:: SOT 7739179 SOS 3587125 HAS SOPS 3587125 HAS SOUS 2705890 HAS SOUPS 2705890 WITH SCORE 2709477.125
AT ITER 9365 NEW BEST:: SOT 7738332 SOS 3588008 HAS SOPS 3588008 HAS SOUS 2705378 HAS SOUPS 2705378 WITH SCORE 2708966.008
AT ITER 9448 NEW BEST:: SOT 7738241 SOS 3587917 HAS SOPS 3587917 HAS SOUS 2705277 HAS SOUPS 2705277 WITH SCORE 2708864.917
AT ITER 9487 NEW BEST:: SOT 7738289 SOS 3588545 HAS SOPS 3588545 HAS SOUS 2705189 HAS SOUPS 2705189 WITH SCORE 2708777.545
AT ITER 9503 NEW BEST:: SOT 7738289 SOS 3588545 HAS SOPS 3588545 HAS SOUS 2705187 HAS SOUPS 2705187 WITH SCORE 2708775.545
AT ITER 9557 NEW BEST:: SOT 7738289 SOS 3588545 HAS SOPS 3588545 HAS SOUS 2704989 HAS SOUPS 2704989 WITH SCORE 2708577.545
AT ITER 9642 NEW BEST:: SOT 7738251 SOS 3588507 HAS SOPS 3588507 HAS SOUS 2704951 HAS SOUPS 2704951 WITH SCORE 2708539.507
AT ITER 9720 NEW BEST:: SOT 7738251 SOS 3589219 HAS SOPS 3589219 HAS SOUS 2704950 HAS SOUPS 2704950 WITH SCORE 2708539.219
AT ITER 9755 NEW BEST:: SOT 7738234 SOS 3589202 HAS SOPS 3589202 HAS SOUS 2704923 HAS SOUPS 2704923 WITH SCORE 2708512.202
AT ITER 9780 NEW BEST:: SOT 7738234 SOS 3589202 HAS SOPS 3589202 HAS SOUS 2704915 HAS SOUPS 2704915 WITH SCORE 2708504.202
AT ITER 9824 NEW BEST:: SOT 7738234 SOS 3589202 HAS SOPS 3589202 HAS SOUS 2704913 HAS SOUPS 2704913 WITH SCORE 2708502.202
AT ITER 9827 NEW BEST:: SOT 7737981 SOS 3588949 HAS SOPS 3588949 HAS SOUS 2704660 HAS SOUPS 2704660 WITH SCORE 2708248.949
AT ITER 9873 NEW BEST:: SOT 7738028 SOS 3590687 HAS SOPS 3590687 HAS SOUS 2704509 HAS SOUPS 2704509 WITH SCORE 2708099.687
AT ITER 9890 NEW BEST:: SOT 7737631 SOS 3590290 HAS SOPS 3590290 HAS SOUS 2704112 HAS SOUPS 2704112 WITH SCORE 2707702.29
AT ITER 9910 NEW BEST:: SOT 7735763 SOS 3590236 HAS SOPS 3590236 HAS SOUS 2702677 HAS SOUPS 2702677 WITH SCORE 2706267.236
AT ITER 9938 NEW BEST:: SOT 7735763 SOS 3590236 HAS SOPS 3590236 HAS SOUS 2702667 HAS SOUPS 2702667 WITH SCORE 2706257.236
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11330232 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151004 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Echo-PT-d05r03"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is Echo-PT-d05r03, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r163-tall-167838847300120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Echo-PT-d05r03.tgz
mv Echo-PT-d05r03 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;