Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542100364.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 DLCflexbar-PT-3b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100364
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.7M
-rw-r--r-- 1 mcc users 2.9K Mar 30 02:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 02:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 17:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 17:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 09:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 09:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K 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 2.5M 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 DLCflexbar-PT-3b-CTLFireability-00
FORMULA_NAME DLCflexbar-PT-3b-CTLFireability-01
FORMULA_NAME DLCflexbar-PT-3b-CTLFireability-02
FORMULA_NAME DLCflexbar-PT-3b-CTLFireability-03
FORMULA_NAME DLCflexbar-PT-3b-CTLFireability-04
FORMULA_NAME DLCflexbar-PT-3b-CTLFireability-05
FORMULA_NAME DLCflexbar-PT-3b-CTLFireability-06
FORMULA_NAME DLCflexbar-PT-3b-CTLFireability-07
FORMULA_NAME DLCflexbar-PT-3b-CTLFireability-08
FORMULA_NAME DLCflexbar-PT-3b-CTLFireability-09
FORMULA_NAME DLCflexbar-PT-3b-CTLFireability-10
FORMULA_NAME DLCflexbar-PT-3b-CTLFireability-11
FORMULA_NAME DLCflexbar-PT-3b-CTLFireability-12
FORMULA_NAME DLCflexbar-PT-3b-CTLFireability-13
FORMULA_NAME DLCflexbar-PT-3b-CTLFireability-14
FORMULA_NAME DLCflexbar-PT-3b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589114068225

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 3b
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: 7245 places, 10555 transitions, 28284 arcs.
AT ITER 0 NEW BEST:: SOT 48851062 SOS 10451936 HAS SOPS 10451936 HAS SOUS 7259579 HAS SOUPS 7259579 WITH SCORE 7270030.936
AT ITER 33 NEW BEST:: SOT 48850918 SOS 10452080 HAS SOPS 10452080 HAS SOUS 7259435 HAS SOUPS 7259435 WITH SCORE 7269887.08
AT ITER 45 NEW BEST:: SOT 48850784 SOS 10451812 HAS SOPS 10451812 HAS SOUS 7259167 HAS SOUPS 7259167 WITH SCORE 7269618.812
AT ITER 50 NEW BEST:: SOT 48850308 SOS 10451336 HAS SOPS 10451336 HAS SOUS 7258691 HAS SOUPS 7258691 WITH SCORE 7269142.336
AT ITER 78 NEW BEST:: SOT 48850307 SOS 10451334 HAS SOPS 10451334 HAS SOUS 7258689 HAS SOUPS 7258689 WITH SCORE 7269140.334
AT ITER 96 NEW BEST:: SOT 48849319 SOS 10449358 HAS SOPS 10449358 HAS SOUS 7256096 HAS SOUPS 7256096 WITH SCORE 7266545.358
AT ITER 101 NEW BEST:: SOT 48848605 SOS 10448644 HAS SOPS 10448644 HAS SOUS 7255382 HAS SOUPS 7255382 WITH SCORE 7265830.644
AT ITER 129 NEW BEST:: SOT 48848226 SOS 10447886 HAS SOPS 10447886 HAS SOUS 7254624 HAS SOUPS 7254624 WITH SCORE 7265071.886
AT ITER 145 NEW BEST:: SOT 48847678 SOS 10446790 HAS SOPS 10446790 HAS SOUS 7252865 HAS SOUPS 7252865 WITH SCORE 7263311.79
AT ITER 152 NEW BEST:: SOT 48846989 SOS 10448938 HAS SOPS 10448938 HAS SOUS 7252636 HAS SOUPS 7252636 WITH SCORE 7263084.938
AT ITER 161 NEW BEST:: SOT 48844355 SOS 10447621 HAS SOPS 10447621 HAS SOUS 7251319 HAS SOUPS 7251319 WITH SCORE 7261766.621
AT ITER 165 NEW BEST:: SOT 48843123 SOS 10446389 HAS SOPS 10446389 HAS SOUS 7250087 HAS SOUPS 7250087 WITH SCORE 7260533.389
AT ITER 169 NEW BEST:: SOT 48842946 SOS 10446212 HAS SOPS 10446212 HAS SOUS 7249910 HAS SOUPS 7249910 WITH SCORE 7260356.212
AT ITER 178 NEW BEST:: SOT 48842627 SOS 10445574 HAS SOPS 10445574 HAS SOUS 7249272 HAS SOUPS 7249272 WITH SCORE 7259717.574
AT ITER 191 NEW BEST:: SOT 48842492 SOS 10445305 HAS SOPS 10445305 HAS SOUS 7249003 HAS SOUPS 7249003 WITH SCORE 7259448.305
AT ITER 218 NEW BEST:: SOT 48841682 SOS 10443685 HAS SOPS 10443685 HAS SOUS 7247383 HAS SOUPS 7247383 WITH SCORE 7257826.685
AT ITER 254 NEW BEST:: SOT 48841682 SOS 10444016 HAS SOPS 10444016 HAS SOUS 7247382 HAS SOUPS 7247382 WITH SCORE 7257826.016
AT ITER 255 NEW BEST:: SOT 48841107 SOS 10443437 HAS SOPS 10443437 HAS SOUS 7246806 HAS SOUPS 7246806 WITH SCORE 7257249.437
AT ITER 259 NEW BEST:: SOT 48839348 SOS 10439919 HAS SOPS 10439919 HAS SOUS 7243288 HAS SOUPS 7243288 WITH SCORE 7253727.919
AT ITER 272 NEW BEST:: SOT 48839049 SOS 10439321 HAS SOPS 10439321 HAS SOUS 7242690 HAS SOUPS 7242690 WITH SCORE 7253129.321
AT ITER 291 NEW BEST:: SOT 48839048 SOS 10439319 HAS SOPS 10439319 HAS SOUS 7242688 HAS SOUPS 7242688 WITH SCORE 7253127.319
AT ITER 307 NEW BEST:: SOT 48839047 SOS 10439317 HAS SOPS 10439317 HAS SOUS 7242686 HAS SOUPS 7242686 WITH SCORE 7253125.317
AT ITER 319 NEW BEST:: SOT 48839550 SOS 10440323 HAS SOPS 10440323 HAS SOUS 7242352 HAS SOUPS 7242352 WITH SCORE 7252792.323
AT ITER 339 NEW BEST:: SOT 48838762 SOS 10439531 HAS SOPS 10439531 HAS SOUS 7241957 HAS SOUPS 7241957 WITH SCORE 7252396.531
AT ITER 344 NEW BEST:: SOT 48839017 SOS 10438599 HAS SOPS 10438599 HAS SOUS 7241618 HAS SOUPS 7241618 WITH SCORE 7252056.599
AT ITER 352 NEW BEST:: SOT 48837532 SOS 10437251 HAS SOPS 10437251 HAS SOUS 7240133 HAS SOUPS 7240133 WITH SCORE 7250570.251
AT ITER 355 NEW BEST:: SOT 48838091 SOS 10438369 HAS SOPS 10438369 HAS SOUS 7239840 HAS SOUPS 7239840 WITH SCORE 7250278.369
AT ITER 371 NEW BEST:: SOT 48837948 SOS 10438083 HAS SOPS 10438083 HAS SOUS 7239554 HAS SOUPS 7239554 WITH SCORE 7249992.083
AT ITER 375 NEW BEST:: SOT 48835240 SOS 10436729 HAS SOPS 10436729 HAS SOUS 7238200 HAS SOUPS 7238200 WITH SCORE 7248636.729
AT ITER 378 NEW BEST:: SOT 48835049 SOS 10436347 HAS SOPS 10436347 HAS SOUS 7237818 HAS SOUPS 7237818 WITH SCORE 7248254.347
AT ITER 405 NEW BEST:: SOT 48832511 SOS 10437940 HAS SOPS 10437940 HAS SOUS 7237503 HAS SOUPS 7237503 WITH SCORE 7247940.94
AT ITER 429 NEW BEST:: SOT 48832001 SOS 10436920 HAS SOPS 10436920 HAS SOUS 7236483 HAS SOUPS 7236483 WITH SCORE 7246919.92
AT ITER 461 NEW BEST:: SOT 48832001 SOS 10436040 HAS SOPS 10436040 HAS SOUS 7236482 HAS SOUPS 7236482 WITH SCORE 7246918.04
AT ITER 462 NEW BEST:: SOT 48830365 SOS 10434404 HAS SOPS 10434404 HAS SOUS 7234176 HAS SOUPS 7234176 WITH SCORE 7244610.404
AT ITER 479 NEW BEST:: SOT 48829851 SOS 10433650 HAS SOPS 10433650 HAS SOUS 7233662 HAS SOUPS 7233662 WITH SCORE 7244095.65
AT ITER 481 NEW BEST:: SOT 48829667 SOS 10433466 HAS SOPS 10433466 HAS SOUS 7233478 HAS SOUPS 7233478 WITH SCORE 7243911.466
AT ITER 538 NEW BEST:: SOT 48829667 SOS 10433466 HAS SOPS 10433466 HAS SOUS 7233086 HAS SOUPS 7233086 WITH SCORE 7243519.466
AT ITER 547 NEW BEST:: SOT 48829578 SOS 10433288 HAS SOPS 10433288 HAS SOUS 7232522 HAS SOUPS 7232522 WITH SCORE 7242955.288
AT ITER 603 NEW BEST:: SOT 48828518 SOS 10425013 HAS SOPS 10425013 HAS SOUS 7229087 HAS SOUPS 7229087 WITH SCORE 7239512.013
AT ITER 622 NEW BEST:: SOT 48828517 SOS 10425011 HAS SOPS 10425011 HAS SOUS 7229085 HAS SOUPS 7229085 WITH SCORE 7239510.011
AT ITER 637 NEW BEST:: SOT 48821453 SOS 10562833 HAS SOPS 10562833 HAS SOUS 7225570 HAS SOUPS 7225570 WITH SCORE 7236132.833
AT ITER 639 NEW BEST:: SOT 48820398 SOS 10561498 HAS SOPS 10561498 HAS SOUS 7224515 HAS SOUPS 7224515 WITH SCORE 7235076.498
AT ITER 659 NEW BEST:: SOT 48820223 SOS 10561147 HAS SOPS 10561147 HAS SOUS 7224164 HAS SOUPS 7224164 WITH SCORE 7234725.147
AT ITER 665 NEW BEST:: SOT 48820096 SOS 10560893 HAS SOPS 10560893 HAS SOUS 7223910 HAS SOUPS 7223910 WITH SCORE 7234470.893
AT ITER 672 NEW BEST:: SOT 48820076 SOS 10560853 HAS SOPS 10560853 HAS SOUS 7223870 HAS SOUPS 7223870 WITH SCORE 7234430.853
AT ITER 677 NEW BEST:: SOT 48820076 SOS 10559984 HAS SOPS 10559984 HAS SOUS 7223870 HAS SOUPS 7223870 WITH SCORE 7234429.984
AT ITER 678 NEW BEST:: SOT 48820028 SOS 10559888 HAS SOPS 10559888 HAS SOUS 7223774 HAS SOUPS 7223774 WITH SCORE 7234333.888
AT ITER 693 NEW BEST:: SOT 48818942 SOS 10558802 HAS SOPS 10558802 HAS SOUS 7222688 HAS SOUPS 7222688 WITH SCORE 7233246.802
AT ITER 711 NEW BEST:: SOT 48818470 SOS 10557858 HAS SOPS 10557858 HAS SOUS 7221744 HAS SOUPS 7221744 WITH SCORE 7232301.858
AT ITER 721 NEW BEST:: SOT 48817732 SOS 10556382 HAS SOPS 10556382 HAS SOUS 7220268 HAS SOUPS 7220268 WITH SCORE 7230824.382
AT ITER 735 NEW BEST:: SOT 48817549 SOS 10556016 HAS SOPS 10556016 HAS SOUS 7219187 HAS SOUPS 7219187 WITH SCORE 7229743.016
AT ITER 785 NEW BEST:: SOT 48816521 SOS 10554988 HAS SOPS 10554988 HAS SOUS 7218159 HAS SOUPS 7218159 WITH SCORE 7228713.988
AT ITER 810 NEW BEST:: SOT 48815865 SOS 10553676 HAS SOPS 10553676 HAS SOUS 7216847 HAS SOUPS 7216847 WITH SCORE 7227400.676
AT ITER 820 NEW BEST:: SOT 48815105 SOS 10552978 HAS SOPS 10552978 HAS SOUS 7216152 HAS SOUPS 7216152 WITH SCORE 7226704.978
AT ITER 858 NEW BEST:: SOT 48813367 SOS 10553165 HAS SOPS 10553165 HAS SOUS 7216125 HAS SOUPS 7216125 WITH SCORE 7226678.165
AT ITER 870 NEW BEST:: SOT 48813367 SOS 10552345 HAS SOPS 10552345 HAS SOUS 7216125 HAS SOUPS 7216125 WITH SCORE 7226677.345
AT ITER 905 NEW BEST:: SOT 48813586 SOS 10552783 HAS SOPS 10552783 HAS SOUS 7215715 HAS SOUPS 7215715 WITH SCORE 7226267.783
AT ITER 909 NEW BEST:: SOT 48813129 SOS 10551869 HAS SOPS 10551869 HAS SOUS 7215258 HAS SOUPS 7215258 WITH SCORE 7225809.869
AT ITER 917 NEW BEST:: SOT 48811313 SOS 10549145 HAS SOPS 10549145 HAS SOUS 7212534 HAS SOUPS 7212534 WITH SCORE 7223083.145
AT ITER 923 NEW BEST:: SOT 48808619 SOS 10547798 HAS SOPS 10547798 HAS SOUS 7211187 HAS SOUPS 7211187 WITH SCORE 7221734.798
AT ITER 926 NEW BEST:: SOT 48807427 SOS 10546602 HAS SOPS 10546602 HAS SOUS 7209994 HAS SOUPS 7209994 WITH SCORE 7220540.602
AT ITER 948 NEW BEST:: SOT 48806983 SOS 10545715 HAS SOPS 10545715 HAS SOUS 7209107 HAS SOUPS 7209107 WITH SCORE 7219652.715
AT ITER 957 NEW BEST:: SOT 48806982 SOS 10545713 HAS SOPS 10545713 HAS SOUS 7209105 HAS SOUPS 7209105 WITH SCORE 7219650.713
AT ITER 988 NEW BEST:: SOT 48807398 SOS 10548189 HAS SOPS 10548189 HAS SOUS 7208209 HAS SOUPS 7208209 WITH SCORE 7218757.189
AT ITER 1004 NEW BEST:: SOT 48807102 SOS 10548185 HAS SOPS 10548185 HAS SOUS 7208208 HAS SOUPS 7208208 WITH SCORE 7218756.185
AT ITER 1008 NEW BEST:: SOT 48807102 SOS 10548185 HAS SOPS 10548185 HAS SOUS 7206989 HAS SOUPS 7206989 WITH SCORE 7217537.185
AT ITER 1014 NEW BEST:: SOT 48806870 SOS 10547862 HAS SOPS 10547862 HAS SOUS 7206666 HAS SOUPS 7206666 WITH SCORE 7217213.862
AT ITER 1037 NEW BEST:: SOT 48806033 SOS 10547025 HAS SOPS 10547025 HAS SOUS 7205829 HAS SOUPS 7205829 WITH SCORE 7216376.025
AT ITER 1042 NEW BEST:: SOT 48806033 SOS 10547025 HAS SOPS 10547025 HAS SOUS 7205828 HAS SOUPS 7205828 WITH SCORE 7216375.025
AT ITER 1049 NEW BEST:: SOT 48804947 SOS 10600473 HAS SOPS 10600473 HAS SOUS 7205291 HAS SOUPS 7205291 WITH SCORE 7215891.473
AT ITER 1085 NEW BEST:: SOT 48804133 SOS 10606161 HAS SOPS 10606161 HAS SOUS 7203662 HAS SOUPS 7203662 WITH SCORE 7214268.161
AT ITER 1104 NEW BEST:: SOT 48802700 SOS 10603295 HAS SOPS 10603295 HAS SOUS 7200796 HAS SOUPS 7200796 WITH SCORE 7211399.295
AT ITER 1124 NEW BEST:: SOT 48802700 SOS 10602247 HAS SOPS 10602247 HAS SOUS 7200796 HAS SOUPS 7200796 WITH SCORE 7211398.247
AT ITER 1129 NEW BEST:: SOT 48803194 SOS 10603235 HAS SOPS 10603235 HAS SOUS 7200619 HAS SOUPS 7200619 WITH SCORE 7211222.235
AT ITER 1141 NEW BEST:: SOT 48802228 SOS 10602269 HAS SOPS 10602269 HAS SOUS 7199653 HAS SOUPS 7199653 WITH SCORE 7210255.269
AT ITER 1143 NEW BEST:: SOT 48793621 SOS 10602546 HAS SOPS 10602546 HAS SOUS 7192154 HAS SOUPS 7192154 WITH SCORE 7202756.546
AT ITER 1192 NEW BEST:: SOT 48792806 SOS 10602413 HAS SOPS 10602413 HAS SOUS 7192021 HAS SOUPS 7192021 WITH SCORE 7202623.413
AT ITER 1205 NEW BEST:: SOT 48792210 SOS 10601817 HAS SOPS 10601817 HAS SOUS 7191425 HAS SOUPS 7191425 WITH SCORE 7202026.817
AT ITER 1223 NEW BEST:: SOT 48792037 SOS 10601816 HAS SOPS 10601816 HAS SOUS 7191424 HAS SOUPS 7191424 WITH SCORE 7202025.816
AT ITER 1246 NEW BEST:: SOT 48791563 SOS 10602760 HAS SOPS 10602760 HAS SOUS 7190949 HAS SOUPS 7190949 WITH SCORE 7201551.76
AT ITER 1252 NEW BEST:: SOT 48790190 SOS 10603390 HAS SOPS 10603390 HAS SOUS 7189958 HAS SOUPS 7189958 WITH SCORE 7200561.39
AT ITER 1258 NEW BEST:: SOT 48790765 SOS 10602642 HAS SOPS 10602642 HAS SOUS 7189910 HAS SOUPS 7189910 WITH SCORE 7200512.642
AT ITER 1259 NEW BEST:: SOT 48790924 SOS 10604082 HAS SOPS 10604082 HAS SOUS 7188996 HAS SOUPS 7188996 WITH SCORE 7199600.082
AT ITER 1266 NEW BEST:: SOT 48790245 SOS 10603399 HAS SOPS 10603399 HAS SOUS 7188316 HAS SOUPS 7188316 WITH SCORE 7198919.399
AT ITER 1283 NEW BEST:: SOT 48789764 SOS 10601475 HAS SOPS 10601475 HAS SOUS 7187354 HAS SOUPS 7187354 WITH SCORE 7197955.475
AT ITER 1284 NEW BEST:: SOT 48789764 SOS 10601836 HAS SOPS 10601836 HAS SOUS 7187353 HAS SOUPS 7187353 WITH SCORE 7197954.836
AT ITER 1299 NEW BEST:: SOT 48789384 SOS 10601646 HAS SOPS 10601646 HAS SOUS 7187163 HAS SOUPS 7187163 WITH SCORE 7197764.646
AT ITER 1317 NEW BEST:: SOT 48789383 SOS 10601644 HAS SOPS 10601644 HAS SOUS 7187161 HAS SOUPS 7187161 WITH SCORE 7197762.644
AT ITER 1367 NEW BEST:: SOT 48789280 SOS 10601541 HAS SOPS 10601541 HAS SOUS 7187058 HAS SOUPS 7187058 WITH SCORE 7197659.541
AT ITER 1373 NEW BEST:: SOT 48788894 SOS 10599489 HAS SOPS 10599489 HAS SOUS 7186032 HAS SOUPS 7186032 WITH SCORE 7196631.489
AT ITER 1382 NEW BEST:: SOT 48788894 SOS 10600771 HAS SOPS 10600771 HAS SOUS 7186030 HAS SOUPS 7186030 WITH SCORE 7196630.771
AT ITER 1389 NEW BEST:: SOT 48787928 SOS 10599804 HAS SOPS 10599804 HAS SOUS 7185063 HAS SOUPS 7185063 WITH SCORE 7195662.804
AT ITER 1428 NEW BEST:: SOT 48787734 SOS 10599610 HAS SOPS 10599610 HAS SOUS 7184869 HAS SOUPS 7184869 WITH SCORE 7195468.61
AT ITER 1442 NEW BEST:: SOT 48787882 SOS 10599445 HAS SOPS 10599445 HAS SOUS 7184704 HAS SOUPS 7184704 WITH SCORE 7195303.445
AT ITER 1443 NEW BEST:: SOT 48787630 SOS 10599025 HAS SOPS 10599025 HAS SOUS 7184452 HAS SOUPS 7184452 WITH SCORE 7195051.025
AT ITER 1453 NEW BEST:: SOT 48785390 SOS 10597905 HAS SOPS 10597905 HAS SOUS 7182212 HAS SOUPS 7182212 WITH SCORE 7192809.905
AT ITER 1490 NEW BEST:: SOT 48784331 SOS 10595787 HAS SOPS 10595787 HAS SOUS 7180094 HAS SOUPS 7180094 WITH SCORE 7190689.787
AT ITER 1495 NEW BEST:: SOT 48783826 SOS 10595282 HAS SOPS 10595282 HAS SOUS 7179589 HAS SOUPS 7179589 WITH SCORE 7190184.282
AT ITER 1501 NEW BEST:: SOT 48784430 SOS 10595885 HAS SOPS 10595885 HAS SOUS 7179588 HAS SOUPS 7179588 WITH SCORE 7190183.885
AT ITER 1507 NEW BEST:: SOT 48781517 SOS 10594577 HAS SOPS 10594577 HAS SOUS 7178181 HAS SOUPS 7178181 WITH SCORE 7188775.577
AT ITER 1510 NEW BEST:: SOT 48780161 SOS 10593221 HAS SOPS 10593221 HAS SOUS 7177660 HAS SOUPS 7177660 WITH SCORE 7188253.221
AT ITER 1531 NEW BEST:: SOT 48780161 SOS 10593221 HAS SOPS 10593221 HAS SOUS 7175996 HAS SOUPS 7175996 WITH SCORE 7186589.221
AT ITER 1533 NEW BEST:: SOT 48780161 SOS 10593221 HAS SOPS 10593221 HAS SOUS 7174787 HAS SOUPS 7174787 WITH SCORE 7185380.221
AT ITER 1549 NEW BEST:: SOT 48779383 SOS 10593211 HAS SOPS 10593211 HAS SOUS 7174418 HAS SOUPS 7174418 WITH SCORE 7185011.211
AT ITER 1550 NEW BEST:: SOT 48779630 SOS 10593705 HAS SOPS 10593705 HAS SOUS 7173897 HAS SOUPS 7173897 WITH SCORE 7184490.705
AT ITER 1581 NEW BEST:: SOT 48779368 SOS 10593443 HAS SOPS 10593443 HAS SOUS 7173635 HAS SOUPS 7173635 WITH SCORE 7184228.443
AT ITER 1601 NEW BEST:: SOT 48778511 SOS 10593270 HAS SOPS 10593270 HAS SOUS 7173462 HAS SOUPS 7173462 WITH SCORE 7184055.27
AT ITER 1615 NEW BEST:: SOT 48778481 SOS 10593070 HAS SOPS 10593070 HAS SOUS 7173262 HAS SOUPS 7173262 WITH SCORE 7183855.07
AT ITER 1626 NEW BEST:: SOT 48778078 SOS 10592264 HAS SOPS 10592264 HAS SOUS 7172859 HAS SOUPS 7172859 WITH SCORE 7183451.264
AT ITER 1641 NEW BEST:: SOT 48778078 SOS 10592264 HAS SOPS 10592264 HAS SOUS 7172594 HAS SOUPS 7172594 WITH SCORE 7183186.264
AT ITER 1644 NEW BEST:: SOT 48777469 SOS 10596527 HAS SOPS 10596527 HAS SOUS 7171985 HAS SOUPS 7171985 WITH SCORE 7182581.527
AT ITER 1651 NEW BEST:: SOT 48776622 SOS 10595721 HAS SOPS 10595721 HAS SOUS 7171137 HAS SOUPS 7171137 WITH SCORE 7181732.721
AT ITER 1673 NEW BEST:: SOT 48775213 SOS 10594308 HAS SOPS 10594308 HAS SOUS 7169727 HAS SOUPS 7169727 WITH SCORE 7180321.308
AT ITER 1696 NEW BEST:: SOT 48774943 SOS 10594844 HAS SOPS 10594844 HAS SOUS 7169456 HAS SOUPS 7169456 WITH SCORE 7180050.844
AT ITER 1705 NEW BEST:: SOT 48774943 SOS 10593928 HAS SOPS 10593928 HAS SOUS 7168540 HAS SOUPS 7168540 WITH SCORE 7179133.928
AT ITER 1711 NEW BEST:: SOT 48774197 SOS 10593182 HAS SOPS 10593182 HAS SOUS 7167794 HAS SOUPS 7167794 WITH SCORE 7178387.182
AT ITER 1712 NEW BEST:: SOT 48774184 SOS 10593208 HAS SOPS 10593208 HAS SOUS 7167781 HAS SOUPS 7167781 WITH SCORE 7178374.208
AT ITER 1730 NEW BEST:: SOT 48774031 SOS 10592902 HAS SOPS 10592902 HAS SOUS 7166939 HAS SOUPS 7166939 WITH SCORE 7177531.902
AT ITER 1737 NEW BEST:: SOT 48774030 SOS 10594522 HAS SOPS 10594522 HAS SOUS 7166936 HAS SOUPS 7166936 WITH SCORE 7177530.522
AT ITER 1741 NEW BEST:: SOT 48772854 SOS 10593342 HAS SOPS 10593342 HAS SOUS 7165759 HAS SOUPS 7165759 WITH SCORE 7176352.342
AT ITER 1766 NEW BEST:: SOT 48772785 SOS 10593204 HAS SOPS 10593204 HAS SOUS 7165690 HAS SOUPS 7165690 WITH SCORE 7176283.204
AT ITER 1778 NEW BEST:: SOT 48772729 SOS 10593257 HAS SOPS 10593257 HAS SOUS 7165633 HAS SOUPS 7165633 WITH SCORE 7176226.257
AT ITER 1780 NEW BEST:: SOT 48771727 SOS 10592756 HAS SOPS 10592756 HAS SOUS 7165132 HAS SOUPS 7165132 WITH SCORE 7175724.756
AT ITER 1812 NEW BEST:: SOT 48772036 SOS 10593374 HAS SOPS 10593374 HAS SOUS 7165049 HAS SOUPS 7165049 WITH SCORE 7175642.374
AT ITER 1847 NEW BEST:: SOT 48770569 SOS 10591903 HAS SOPS 10591903 HAS SOUS 7163581 HAS SOUPS 7163581 WITH SCORE 7174172.903
AT ITER 1890 NEW BEST:: SOT 48769785 SOS 10590335 HAS SOPS 10590335 HAS SOUS 7162013 HAS SOUPS 7162013 WITH SCORE 7172603.335
AT ITER 1943 NEW BEST:: SOT 48768710 SOS 10587952 HAS SOPS 10587952 HAS SOUS 7160632 HAS SOUPS 7160632 WITH SCORE 7171219.952
AT ITER 2026 NEW BEST:: SOT 48755236 SOS 10574199 HAS SOPS 10574199 HAS SOUS 7146879 HAS SOUPS 7146879 WITH SCORE 7157453.199
AT ITER 2048 NEW BEST:: SOT 48754579 SOS 10572885 HAS SOPS 10572885 HAS SOUS 7145565 HAS SOUPS 7145565 WITH SCORE 7156137.885
AT ITER 2054 NEW BEST:: SOT 48754986 SOS 10573234 HAS SOPS 10573234 HAS SOUS 7144580 HAS SOUPS 7144580 WITH SCORE 7155153.234
AT ITER 2095 NEW BEST:: SOT 48754362 SOS 10573360 HAS SOPS 10573360 HAS SOUS 7144305 HAS SOUPS 7144305 WITH SCORE 7154878.36
AT ITER 2115 NEW BEST:: SOT 48754315 SOS 10573267 HAS SOPS 10573267 HAS SOUS 7144212 HAS SOUPS 7144212 WITH SCORE 7154785.267
AT ITER 2119 NEW BEST:: SOT 48754046 SOS 10572729 HAS SOPS 10572729 HAS SOUS 7144115 HAS SOUPS 7144115 WITH SCORE 7154687.729
AT ITER 2132 NEW BEST:: SOT 48753146 SOS 10570929 HAS SOPS 10570929 HAS SOUS 7142315 HAS SOUPS 7142315 WITH SCORE 7152885.929
AT ITER 2139 NEW BEST:: SOT 48752650 SOS 10571788 HAS SOPS 10571788 HAS SOUS 7141819 HAS SOUPS 7141819 WITH SCORE 7152390.788
AT ITER 2143 NEW BEST:: SOT 48751817 SOS 10571026 HAS SOPS 10571026 HAS SOUS 7140986 HAS SOUPS 7140986 WITH SCORE 7151557.026
AT ITER 2205 NEW BEST:: SOT 48751816 SOS 10571024 HAS SOPS 10571024 HAS SOUS 7140984 HAS SOUPS 7140984 WITH SCORE 7151555.024
AT ITER 2221 NEW BEST:: SOT 48751748 SOS 10570888 HAS SOPS 10570888 HAS SOUS 7140916 HAS SOUPS 7140916 WITH SCORE 7151486.888
AT ITER 2227 NEW BEST:: SOT 48751748 SOS 10570086 HAS SOPS 10570086 HAS SOUS 7140916 HAS SOUPS 7140916 WITH SCORE 7151486.086
AT ITER 2253 NEW BEST:: SOT 48751632 SOS 10569854 HAS SOPS 10569854 HAS SOUS 7140684 HAS SOUPS 7140684 WITH SCORE 7151253.854
AT ITER 2260 NEW BEST:: SOT 48751072 SOS 10569154 HAS SOPS 10569154 HAS SOUS 7139984 HAS SOUPS 7139984 WITH SCORE 7150553.154
AT ITER 2273 NEW BEST:: SOT 48751072 SOS 10568602 HAS SOPS 10568602 HAS SOUS 7139819 HAS SOUPS 7139819 WITH SCORE 7150387.602
AT ITER 2284 NEW BEST:: SOT 48751072 SOS 10568071 HAS SOPS 10568071 HAS SOUS 7139819 HAS SOUPS 7139819 WITH SCORE 7150387.071
AT ITER 2311 NEW BEST:: SOT 48750922 SOS 10567771 HAS SOPS 10567771 HAS SOUS 7139519 HAS SOUPS 7139519 WITH SCORE 7150086.771
AT ITER 2320 NEW BEST:: SOT 48749714 SOS 10566559 HAS SOPS 10566559 HAS SOUS 7138310 HAS SOUPS 7138310 WITH SCORE 7148876.559
AT ITER 2321 NEW BEST:: SOT 48749786 SOS 10566703 HAS SOPS 10566703 HAS SOUS 7137774 HAS SOUPS 7137774 WITH SCORE 7148340.703
AT ITER 2325 NEW BEST:: SOT 48749501 SOS 10566133 HAS SOPS 10566133 HAS SOUS 7137642 HAS SOUPS 7137642 WITH SCORE 7148208.133
AT ITER 2328 NEW BEST:: SOT 48749500 SOS 10566131 HAS SOPS 10566131 HAS SOUS 7137640 HAS SOUPS 7137640 WITH SCORE 7148206.131
AT ITER 2361 NEW BEST:: SOT 48748453 SOS 10565080 HAS SOPS 10565080 HAS SOUS 7136592 HAS SOUPS 7136592 WITH SCORE 7147157.08
AT ITER 2372 NEW BEST:: SOT 48748405 SOS 10564984 HAS SOPS 10564984 HAS SOUS 7136496 HAS SOUPS 7136496 WITH SCORE 7147060.984
AT ITER 2382 NEW BEST:: SOT 48746703 SOS 10561580 HAS SOPS 10561580 HAS SOUS 7133092 HAS SOUPS 7133092 WITH SCORE 7143653.58
AT ITER 2418 NEW BEST:: SOT 48718172 SOS 10616590 HAS SOPS 10616590 HAS SOUS 7109199 HAS SOUPS 7109199 WITH SCORE 7119815.59
AT ITER 2432 NEW BEST:: SOT 48718399 SOS 10617044 HAS SOPS 10617044 HAS SOUS 7107607 HAS SOUPS 7107607 WITH SCORE 7118224.044
AT ITER 2451 NEW BEST:: SOT 48718875 SOS 10617043 HAS SOPS 10617043 HAS SOUS 7107606 HAS SOUPS 7107606 WITH SCORE 7118223.043
AT ITER 2455 NEW BEST:: SOT 48719288 SOS 10617195 HAS SOPS 10617195 HAS SOUS 7107345 HAS SOUPS 7107345 WITH SCORE 7117962.195
AT ITER 2509 NEW BEST:: SOT 48718490 SOS 10616397 HAS SOPS 10616397 HAS SOUS 7106547 HAS SOUPS 7106547 WITH SCORE 7117163.397
AT ITER 2538 NEW BEST:: SOT 48718397 SOS 10616335 HAS SOPS 10616335 HAS SOUS 7106485 HAS SOUPS 7106485 WITH SCORE 7117101.335
AT ITER 2542 NEW BEST:: SOT 48717952 SOS 10615445 HAS SOPS 10615445 HAS SOUS 7105595 HAS SOUPS 7105595 WITH SCORE 7116210.445
AT ITER 2546 NEW BEST:: SOT 48717895 SOS 10615331 HAS SOPS 10615331 HAS SOUS 7105537 HAS SOUPS 7105537 WITH SCORE 7116152.331
AT ITER 2586 NEW BEST:: SOT 48717817 SOS 10615176 HAS SOPS 10615176 HAS SOUS 7105382 HAS SOUPS 7105382 WITH SCORE 7115997.176
AT ITER 2610 NEW BEST:: SOT 48717330 SOS 10615176 HAS SOPS 10615176 HAS SOUS 7104895 HAS SOUPS 7104895 WITH SCORE 7115510.176
AT ITER 2659 NEW BEST:: SOT 48715297 SOS 10614824 HAS SOPS 10614824 HAS SOUS 7103638 HAS SOUPS 7103638 WITH SCORE 7114252.824
AT ITER 2660 NEW BEST:: SOT 48715285 SOS 10614800 HAS SOPS 10614800 HAS SOUS 7103626 HAS SOUPS 7103626 WITH SCORE 7114240.8
AT ITER 2663 NEW BEST:: SOT 48714300 SOS 10613900 HAS SOPS 10613900 HAS SOUS 7102641 HAS SOUPS 7102641 WITH SCORE 7113254.9
AT ITER 2720 NEW BEST:: SOT 48714010 SOS 10613755 HAS SOPS 10613755 HAS SOUS 7102496 HAS SOUPS 7102496 WITH SCORE 7113109.755
AT ITER 2734 NEW BEST:: SOT 48713476 SOS 10613484 HAS SOPS 10613484 HAS SOUS 7102228 HAS SOUPS 7102228 WITH SCORE 7112841.484
AT ITER 2744 NEW BEST:: SOT 48713476 SOS 10613484 HAS SOPS 10613484 HAS SOUS 7101979 HAS SOUPS 7101979 WITH SCORE 7112592.484
AT ITER 2746 NEW BEST:: SOT 48713897 SOS 10612658 HAS SOPS 10612658 HAS SOUS 7101787 HAS SOUPS 7101787 WITH SCORE 7112399.658
AT ITER 2782 NEW BEST:: SOT 48713715 SOS 10612294 HAS SOPS 10612294 HAS SOUS 7101423 HAS SOUPS 7101423 WITH SCORE 7112035.294
AT ITER 2795 NEW BEST:: SOT 48714541 SOS 10615806 HAS SOPS 10615806 HAS SOUS 7100911 HAS SOUPS 7100911 WITH SCORE 7111526.806
AT ITER 2814 NEW BEST:: SOT 48713786 SOS 10615047 HAS SOPS 10615047 HAS SOUS 7100155 HAS SOUPS 7100155 WITH SCORE 7110770.047
AT ITER 2817 NEW BEST:: SOT 48713786 SOS 10615667 HAS SOPS 10615667 HAS SOUS 7100154 HAS SOUPS 7100154 WITH SCORE 7110769.667
AT ITER 2843 NEW BEST:: SOT 48713012 SOS 10615213 HAS SOPS 10615213 HAS SOUS 7099700 HAS SOUPS 7099700 WITH SCORE 7110315.213
AT ITER 2859 NEW BEST:: SOT 48712691 SOS 10614571 HAS SOPS 10614571 HAS SOUS 7099058 HAS SOUPS 7099058 WITH SCORE 7109672.571
AT ITER 2881 NEW BEST:: SOT 48712688 SOS 10614569 HAS SOPS 10614569 HAS SOUS 7099053 HAS SOUPS 7099053 WITH SCORE 7109667.569
AT ITER 2911 NEW BEST:: SOT 48711599 SOS 10612391 HAS SOPS 10612391 HAS SOUS 7096875 HAS SOUPS 7096875 WITH SCORE 7107487.391
AT ITER 2914 NEW BEST:: SOT 48710777 SOS 10606701 HAS SOPS 10606701 HAS SOUS 7095409 HAS SOUPS 7095409 WITH SCORE 7106015.701
AT ITER 2916 NEW BEST:: SOT 48710776 SOS 10606699 HAS SOPS 10606699 HAS SOUS 7095408 HAS SOUPS 7095408 WITH SCORE 7106014.699
AT ITER 2932 NEW BEST:: SOT 48709724 SOS 10606173 HAS SOPS 10606173 HAS SOUS 7094882 HAS SOUPS 7094882 WITH SCORE 7105488.173
AT ITER 3001 NEW BEST:: SOT 48709579 SOS 10604578 HAS SOPS 10604578 HAS SOUS 7094592 HAS SOUPS 7094592 WITH SCORE 7105196.578
AT ITER 3011 NEW BEST:: SOT 48709578 SOS 10604576 HAS SOPS 10604576 HAS SOUS 7094590 HAS SOUPS 7094590 WITH SCORE 7105194.576
AT ITER 3012 NEW BEST:: SOT 48704505 SOS 10608769 HAS SOPS 10608769 HAS SOUS 7094447 HAS SOUPS 7094447 WITH SCORE 7105055.769
AT ITER 3040 NEW BEST:: SOT 48702879 SOS 10605271 HAS SOPS 10605271 HAS SOUS 7092353 HAS SOUPS 7092353 WITH SCORE 7102958.271
AT ITER 3062 NEW BEST:: SOT 48701409 SOS 10603837 HAS SOPS 10603837 HAS SOUS 7090883 HAS SOUPS 7090883 WITH SCORE 7101486.837
AT ITER 3132 NEW BEST:: SOT 48698656 SOS 10601475 HAS SOPS 10601475 HAS SOUS 7090478 HAS SOUPS 7090478 WITH SCORE 7101079.475
AT ITER 3133 NEW BEST:: SOT 48698642 SOS 10601440 HAS SOPS 10601440 HAS SOUS 7090464 HAS SOUPS 7090464 WITH SCORE 7101065.44
AT ITER 3144 NEW BEST:: SOT 48698203 SOS 10601001 HAS SOPS 10601001 HAS SOUS 7090025 HAS SOUPS 7090025 WITH SCORE 7100626.001
AT ITER 3166 NEW BEST:: SOT 48698119 SOS 10600749 HAS SOPS 10600749 HAS SOUS 7089857 HAS SOUPS 7089857 WITH SCORE 7100457.749
AT ITER 3169 NEW BEST:: SOT 48697897 SOS 10600306 HAS SOPS 10600306 HAS SOUS 7089414 HAS SOUPS 7089414 WITH SCORE 7100014.306
AT ITER 3172 NEW BEST:: SOT 48697897 SOS 10600015 HAS SOPS 10600015 HAS SOUS 7089123 HAS SOUPS 7089123 WITH SCORE 7099723.015
AT ITER 3194 NEW BEST:: SOT 48697897 SOS 10600897 HAS SOPS 10600897 HAS SOUS 7089121 HAS SOUPS 7089121 WITH SCORE 7099721.897
AT ITER 3238 NEW BEST:: SOT 48697897 SOS 10600582 HAS SOPS 10600582 HAS SOUS 7088806 HAS SOUPS 7088806 WITH SCORE 7099406.582
AT ITER 3248 NEW BEST:: SOT 48697922 SOS 10600632 HAS SOPS 10600632 HAS SOUS 7088585 HAS SOUPS 7088585 WITH SCORE 7099185.632
AT ITER 3262 NEW BEST:: SOT 48695993 SOS 10599312 HAS SOPS 10599312 HAS SOUS 7087298 HAS SOUPS 7087298 WITH SCORE 7097897.312
AT ITER 3263 NEW BEST:: SOT 48695803 SOS 10598932 HAS SOPS 10598932 HAS SOUS 7086918 HAS SOUPS 7086918 WITH SCORE 7097516.932
AT ITER 3298 NEW BEST:: SOT 48694355 SOS 10603611 HAS SOPS 10603611 HAS SOUS 7086877 HAS SOUPS 7086877 WITH SCORE 7097480.611
AT ITER 3319 NEW BEST:: SOT 48694355 SOS 10603551 HAS SOPS 10603551 HAS SOUS 7086817 HAS SOUPS 7086817 WITH SCORE 7097420.551
AT ITER 3321 NEW BEST:: SOT 48694355 SOS 10603301 HAS SOPS 10603301 HAS SOUS 7086692 HAS SOUPS 7086692 WITH SCORE 7097295.301
AT ITER 3337 NEW BEST:: SOT 48694355 SOS 10603301 HAS SOPS 10603301 HAS SOUS 7086691 HAS SOUPS 7086691 WITH SCORE 7097294.301
AT ITER 3421 NEW BEST:: SOT 48693295 SOS 10598001 HAS SOPS 10598001 HAS SOUS 7084571 HAS SOUPS 7084571 WITH SCORE 7095169.001
AT ITER 3436 NEW BEST:: SOT 48693295 SOS 10597964 HAS SOPS 10597964 HAS SOUS 7084534 HAS SOUPS 7084534 WITH SCORE 7095131.964
AT ITER 3440 NEW BEST:: SOT 48693612 SOS 10597298 HAS SOPS 10597298 HAS SOUS 7084374 HAS SOUPS 7084374 WITH SCORE 7094971.298
AT ITER 3441 NEW BEST:: SOT 48694411 SOS 10595074 HAS SOPS 10595074 HAS SOUS 7083899 HAS SOUPS 7083899 WITH SCORE 7094494.074
AT ITER 3442 NEW BEST:: SOT 48694438 SOS 10593460 HAS SOPS 10593460 HAS SOUS 7083383 HAS SOUPS 7083383 WITH SCORE 7093976.46
AT ITER 3473 NEW BEST:: SOT 48694437 SOS 10593458 HAS SOPS 10593458 HAS SOUS 7083381 HAS SOUPS 7083381 WITH SCORE 7093974.458
AT ITER 3551 NEW BEST:: SOT 48693928 SOS 10594938 HAS SOPS 10594938 HAS SOUS 7082363 HAS SOUPS 7082363 WITH SCORE 7092957.938
AT ITER 3562 NEW BEST:: SOT 48693590 SOS 10594262 HAS SOPS 10594262 HAS SOUS 7081687 HAS SOUPS 7081687 WITH SCORE 7092281.262
AT ITER 3568 NEW BEST:: SOT 48693349 SOS 10593780 HAS SOPS 10593780 HAS SOUS 7081446 HAS SOUPS 7081446 WITH SCORE 7092039.78
AT ITER 3569 NEW BEST:: SOT 48693410 SOS 10593458 HAS SOPS 10593458 HAS SOUS 7081134 HAS SOUPS 7081134 WITH SCORE 7091727.458
AT ITER 3605 NEW BEST:: SOT 48692855 SOS 10592348 HAS SOPS 10592348 HAS SOUS 7080024 HAS SOUPS 7080024 WITH SCORE 7090616.348
AT ITER 3612 NEW BEST:: SOT 48692553 SOS 10592252 HAS SOPS 10592252 HAS SOUS 7079722 HAS SOUPS 7079722 WITH SCORE 7090314.252
AT ITER 3628 NEW BEST:: SOT 48691874 SOS 10597005 HAS SOPS 10597005 HAS SOUS 7079043 HAS SOUPS 7079043 WITH SCORE 7089640.005
AT ITER 3644 NEW BEST:: SOT 48692007 SOS 10596841 HAS SOPS 10596841 HAS SOUS 7078879 HAS SOUPS 7078879 WITH SCORE 7089475.841
AT ITER 3646 NEW BEST:: SOT 48691921 SOS 10596669 HAS SOPS 10596669 HAS SOUS 7078707 HAS SOUPS 7078707 WITH SCORE 7089303.669
AT ITER 3699 NEW BEST:: SOT 48691253 SOS 10593329 HAS SOPS 10593329 HAS SOUS 7077371 HAS SOUPS 7077371 WITH SCORE 7087964.329
AT ITER 3700 NEW BEST:: SOT 48691253 SOS 10593329 HAS SOPS 10593329 HAS SOUS 7077319 HAS SOUPS 7077319 WITH SCORE 7087912.329
AT ITER 3715 NEW BEST:: SOT 48691253 SOS 10593854 HAS SOPS 10593854 HAS SOUS 7077318 HAS SOUPS 7077318 WITH SCORE 7087911.854
AT ITER 3730 NEW BEST:: SOT 48691253 SOS 10593459 HAS SOPS 10593459 HAS SOUS 7077318 HAS SOUPS 7077318 WITH SCORE 7087911.459
AT ITER 3754 NEW BEST:: SOT 48687964 SOS 10591067 HAS SOPS 10591067 HAS SOUS 7075225 HAS SOUPS 7075225 WITH SCORE 7085816.067
AT ITER 3806 NEW BEST:: SOT 48687461 SOS 10590061 HAS SOPS 10590061 HAS SOUS 7074722 HAS SOUPS 7074722 WITH SCORE 7085312.061
AT ITER 3840 NEW BEST:: SOT 48686958 SOS 10591776 HAS SOPS 10591776 HAS SOUS 7074126 HAS SOUPS 7074126 WITH SCORE 7084717.776
AT ITER 3846 NEW BEST:: SOT 48686781 SOS 10591422 HAS SOPS 10591422 HAS SOUS 7073772 HAS SOUPS 7073772 WITH SCORE 7084363.422
AT ITER 3847 NEW BEST:: SOT 48685629 SOS 10590270 HAS SOPS 10590270 HAS SOUS 7072620 HAS SOUPS 7072620 WITH SCORE 7083210.27
AT ITER 3872 NEW BEST:: SOT 48685075 SOS 10589162 HAS SOPS 10589162 HAS SOUS 7071512 HAS SOUPS 7071512 WITH SCORE 7082101.162
AT ITER 3874 NEW BEST:: SOT 48684170 SOS 10587352 HAS SOPS 10587352 HAS SOUS 7069702 HAS SOUPS 7069702 WITH SCORE 7080289.352
AT ITER 3931 NEW BEST:: SOT 48684002 SOS 10587015 HAS SOPS 10587015 HAS SOUS 7069338 HAS SOUPS 7069338 WITH SCORE 7079925.015
AT ITER 3994 NEW BEST:: SOT 48683776 SOS 10586564 HAS SOPS 10586564 HAS SOUS 7068887 HAS SOUPS 7068887 WITH SCORE 7079473.564
AT ITER 3995 NEW BEST:: SOT 48683235 SOS 10585482 HAS SOPS 10585482 HAS SOUS 7067805 HAS SOUPS 7067805 WITH SCORE 7078390.482
AT ITER 3996 NEW BEST:: SOT 48682584 SOS 10584831 HAS SOPS 10584831 HAS SOUS 7067154 HAS SOUPS 7067154 WITH SCORE 7077738.831
AT ITER 3997 NEW BEST:: SOT 48682533 SOS 10584729 HAS SOPS 10584729 HAS SOUS 7067052 HAS SOUPS 7067052 WITH SCORE 7077636.729
AT ITER 4020 NEW BEST:: SOT 48681335 SOS 10583604 HAS SOPS 10583604 HAS SOUS 7065256 HAS SOUPS 7065256 WITH SCORE 7075839.604
AT ITER 4058 NEW BEST:: SOT 48681334 SOS 10583602 HAS SOPS 10583602 HAS SOUS 7065254 HAS SOUPS 7065254 WITH SCORE 7075837.602
AT ITER 4081 NEW BEST:: SOT 48680517 SOS 10583294 HAS SOPS 10583294 HAS SOUS 7064436 HAS SOUPS 7064436 WITH SCORE 7075019.294
AT ITER 4105 NEW BEST:: SOT 48680599 SOS 10583458 HAS SOPS 10583458 HAS SOUS 7062718 HAS SOUPS 7062718 WITH SCORE 7073301.458
AT ITER 4121 NEW BEST:: SOT 48679760 SOS 10582739 HAS SOPS 10582739 HAS SOUS 7062002 HAS SOUPS 7062002 WITH SCORE 7072584.739
AT ITER 4123 NEW BEST:: SOT 48678964 SOS 10581147 HAS SOPS 10581147 HAS SOUS 7060410 HAS SOUPS 7060410 WITH SCORE 7070991.147
AT ITER 4131 NEW BEST:: SOT 48678156 SOS 10578088 HAS SOPS 10578088 HAS SOUS 7059385 HAS SOUPS 7059385 WITH SCORE 7069963.088
AT ITER 4135 NEW BEST:: SOT 48678156 SOS 10573855 HAS SOPS 10573855 HAS SOUS 7059385 HAS SOUPS 7059385 WITH SCORE 7069958.855
AT ITER 4152 NEW BEST:: SOT 48678156 SOS 10573548 HAS SOPS 10573548 HAS SOUS 7059385 HAS SOUPS 7059385 WITH SCORE 7069958.548
AT ITER 4164 NEW BEST:: SOT 48678156 SOS 10573060 HAS SOPS 10573060 HAS SOUS 7059141 HAS SOUPS 7059141 WITH SCORE 7069714.06
AT ITER 4185 NEW BEST:: SOT 48677234 SOS 10572595 HAS SOPS 10572595 HAS SOUS 7058679 HAS SOUPS 7058679 WITH SCORE 7069251.595
AT ITER 4187 NEW BEST:: SOT 48675921 SOS 10569969 HAS SOPS 10569969 HAS SOUS 7055634 HAS SOUPS 7055634 WITH SCORE 7066203.969
AT ITER 4211 NEW BEST:: SOT 48675255 SOS 10567761 HAS SOPS 10567761 HAS SOUS 7054932 HAS SOUPS 7054932 WITH SCORE 7065499.761
AT ITER 4221 NEW BEST:: SOT 48675000 SOS 10567757 HAS SOPS 10567757 HAS SOUS 7054931 HAS SOUPS 7054931 WITH SCORE 7065498.757
AT ITER 4257 NEW BEST:: SOT 48673364 SOS 10569054 HAS SOPS 10569054 HAS SOUS 7054352 HAS SOUPS 7054352 WITH SCORE 7064921.054
AT ITER 4264 NEW BEST:: SOT 48672272 SOS 10568508 HAS SOPS 10568508 HAS SOUS 7053806 HAS SOUPS 7053806 WITH SCORE 7064374.508
AT ITER 4311 NEW BEST:: SOT 48669401 SOS 10567374 HAS SOPS 10567374 HAS SOUS 7052471 HAS SOUPS 7052471 WITH SCORE 7063038.374
AT ITER 4323 NEW BEST:: SOT 48669389 SOS 10567371 HAS SOPS 10567371 HAS SOUS 7052470 HAS SOUPS 7052470 WITH SCORE 7063037.371
AT ITER 4324 NEW BEST:: SOT 48668653 SOS 10565899 HAS SOPS 10565899 HAS SOUS 7050998 HAS SOUPS 7050998 WITH SCORE 7061563.899
AT ITER 4343 NEW BEST:: SOT 48667963 SOS 10564519 HAS SOPS 10564519 HAS SOUS 7049618 HAS SOUPS 7049618 WITH SCORE 7060182.519
AT ITER 4363 NEW BEST:: SOT 48665613 SOS 10564478 HAS SOPS 10564478 HAS SOUS 7048821 HAS SOUPS 7048821 WITH SCORE 7059385.478
AT ITER 4390 NEW BEST:: SOT 48665304 SOS 10565096 HAS SOPS 10565096 HAS SOUS 7048512 HAS SOUPS 7048512 WITH SCORE 7059077.096
AT ITER 4428 NEW BEST:: SOT 48664858 SOS 10565182 HAS SOPS 10565182 HAS SOUS 7048489 HAS SOUPS 7048489 WITH SCORE 7059054.182
AT ITER 4445 NEW BEST:: SOT 48664858 SOS 10565182 HAS SOPS 10565182 HAS SOUS 7048247 HAS SOUPS 7048247 WITH SCORE 7058812.182
AT ITER 4465 NEW BEST:: SOT 48664858 SOS 10565182 HAS SOPS 10565182 HAS SOUS 7048246 HAS SOUPS 7048246 WITH SCORE 7058811.182
AT ITER 4527 NEW BEST:: SOT 48664566 SOS 10564599 HAS SOPS 10564599 HAS SOUS 7047663 HAS SOUPS 7047663 WITH SCORE 7058227.599
AT ITER 4539 NEW BEST:: SOT 48663307 SOS 10558304 HAS SOPS 10558304 HAS SOUS 7045145 HAS SOUPS 7045145 WITH SCORE 7055703.304
AT ITER 4550 NEW BEST:: SOT 48663307 SOS 10558830 HAS SOPS 10558830 HAS SOUS 7045144 HAS SOUPS 7045144 WITH SCORE 7055702.83
AT ITER 4559 NEW BEST:: SOT 48663209 SOS 10558634 HAS SOPS 10558634 HAS SOUS 7043992 HAS SOUPS 7043992 WITH SCORE 7054550.634
AT ITER 4600 NEW BEST:: SOT 48662102 SOS 10557527 HAS SOPS 10557527 HAS SOUS 7042885 HAS SOUPS 7042885 WITH SCORE 7053442.527
AT ITER 4601 NEW BEST:: SOT 48662070 SOS 10557464 HAS SOPS 10557464 HAS SOUS 7042822 HAS SOUPS 7042822 WITH SCORE 7053379.464
AT ITER 4620 NEW BEST:: SOT 48662114 SOS 10557552 HAS SOPS 10557552 HAS SOUS 7042088 HAS SOUPS 7042088 WITH SCORE 7052645.552
AT ITER 4634 NEW BEST:: SOT 48662086 SOS 10557496 HAS SOPS 10557496 HAS SOUS 7042032 HAS SOUPS 7042032 WITH SCORE 7052589.496
AT ITER 4647 NEW BEST:: SOT 48661814 SOS 10556952 HAS SOPS 10556952 HAS SOUS 7041442 HAS SOUPS 7041442 WITH SCORE 7051998.952
AT ITER 4676 NEW BEST:: SOT 48662176 SOS 10557676 HAS SOPS 10557676 HAS SOUS 7040498 HAS SOUPS 7040498 WITH SCORE 7051055.676
AT ITER 4684 NEW BEST:: SOT 48661391 SOS 10556105 HAS SOPS 10556105 HAS SOUS 7038571 HAS SOUPS 7038571 WITH SCORE 7049127.105
AT ITER 4701 NEW BEST:: SOT 48661033 SOS 10555389 HAS SOPS 10555389 HAS SOUS 7037836 HAS SOUPS 7037836 WITH SCORE 7048391.389
AT ITER 4704 NEW BEST:: SOT 48660358 SOS 10554039 HAS SOPS 10554039 HAS SOUS 7036486 HAS SOUPS 7036486 WITH SCORE 7047040.039
AT ITER 4723 NEW BEST:: SOT 48658100 SOS 10554185 HAS SOPS 10554185 HAS SOUS 7035782 HAS SOUPS 7035782 WITH SCORE 7046336.185
AT ITER 4735 NEW BEST:: SOT 48658016 SOS 10554018 HAS SOPS 10554018 HAS SOUS 7035615 HAS SOUPS 7035615 WITH SCORE 7046169.018
AT ITER 4740 NEW BEST:: SOT 48656467 SOS 10536979 HAS SOPS 10536979 HAS SOUS 7032517 HAS SOUPS 7032517 WITH SCORE 7043053.979
AT ITER 4759 NEW BEST:: SOT 48655672 SOS 10536869 HAS SOPS 10536869 HAS SOUS 7032407 HAS SOUPS 7032407 WITH SCORE 7042943.869
AT ITER 4761 NEW BEST:: SOT 48655672 SOS 10536869 HAS SOPS 10536869 HAS SOUS 7032163 HAS SOUPS 7032163 WITH SCORE 7042699.869
AT ITER 4799 NEW BEST:: SOT 48655325 SOS 10536175 HAS SOPS 10536175 HAS SOUS 7031469 HAS SOUPS 7031469 WITH SCORE 7042005.175
AT ITER 4813 NEW BEST:: SOT 48655325 SOS 10536618 HAS SOPS 10536618 HAS SOUS 7031468 HAS SOUPS 7031468 WITH SCORE 7042004.618
AT ITER 4831 NEW BEST:: SOT 48648857 SOS 10529611 HAS SOPS 10529611 HAS SOUS 7026617 HAS SOUPS 7026617 WITH SCORE 7037146.611
AT ITER 4843 NEW BEST:: SOT 48648800 SOS 10528734 HAS SOPS 10528734 HAS SOUS 7025797 HAS SOUPS 7025797 WITH SCORE 7036325.734
AT ITER 4848 NEW BEST:: SOT 48648800 SOS 10527924 HAS SOPS 10527924 HAS SOUS 7025797 HAS SOUPS 7025797 WITH SCORE 7036324.924
AT ITER 4854 NEW BEST:: SOT 48647875 SOS 10526074 HAS SOPS 10526074 HAS SOUS 7023947 HAS SOUPS 7023947 WITH SCORE 7034473.074
AT ITER 4881 NEW BEST:: SOT 48647875 SOS 10525691 HAS SOPS 10525691 HAS SOUS 7023564 HAS SOUPS 7023564 WITH SCORE 7034089.691
AT ITER 4918 NEW BEST:: SOT 48646796 SOS 10524603 HAS SOPS 10524603 HAS SOUS 7022459 HAS SOUPS 7022459 WITH SCORE 7032983.603
AT ITER 4919 NEW BEST:: SOT 48646795 SOS 10524303 HAS SOPS 10524303 HAS SOUS 7022159 HAS SOUPS 7022159 WITH SCORE 7032683.303
AT ITER 4932 NEW BEST:: SOT 48646931 SOS 10527984 HAS SOPS 10527984 HAS SOUS 7021609 HAS SOUPS 7021609 WITH SCORE 7032136.984
AT ITER 4966 NEW BEST:: SOT 48646656 SOS 10527434 HAS SOPS 10527434 HAS SOUS 7021059 HAS SOUPS 7021059 WITH SCORE 7031586.434
AT ITER 4976 NEW BEST:: SOT 48645791 SOS 10526701 HAS SOPS 10526701 HAS SOUS 7020326 HAS SOUPS 7020326 WITH SCORE 7030852.701
AT ITER 4982 NEW BEST:: SOT 48644971 SOS 10527517 HAS SOPS 10527517 HAS SOUS 7018685 HAS SOUPS 7018685 WITH SCORE 7029212.517
AT ITER 4994 NEW BEST:: SOT 48644381 SOS 10526337 HAS SOPS 10526337 HAS SOUS 7018095 HAS SOUPS 7018095 WITH SCORE 7028621.337
AT ITER 4998 NEW BEST:: SOT 48643504 SOS 10525918 HAS SOPS 10525918 HAS SOUS 7017676 HAS SOUPS 7017676 WITH SCORE 7028201.918
Bounds file is: CTLFireability.xml
PROPERTY: DLCflexbar-PT-3b-CTLFireability-00 (AF( (AX( ((potential((tk(P6568)>=1))))))))
PROPERTY: DLCflexbar-PT-3b-CTLFireability-01 (! (AU( ( (! ((potential((tk(P3011)>=1))))) | ( ((potential((tk(P6313)>=1)))) & ((potential((tk(P2911)>=1)))) ) ) , (EF( ((potential((tk(P290)>=1)))))) )))
PROPERTY: DLCflexbar-PT-3b-CTLFireability-02 (EU( (! ((potential((tk(P1490)>=1) & (tk(P5532)>=1))))) , (AG( (! ((potential((tk(P3579)>=1) & (tk(P5929)>=1))))))) ))
PROPERTY: DLCflexbar-PT-3b-CTLFireability-03 (AU( (! (AF( ((potential((tk(P3130)>=1) & (tk(P4142)>=1))))))) , ( ( ( ((potential((tk(P5193)>=1)))) & ((potential((tk(P3283)>=1) & (tk(P5062)>=1)))) ) | ( ((potential((tk(P2815)>=1)))) & ((potential((tk(P3271)>=1) & (tk(P4749)>=1)))) ) ) | (EG( ((potential((tk(P1319)>=1)))))) ) ))
PROPERTY: DLCflexbar-PT-3b-CTLFireability-04 (! (AF( (EG( ((potential((tk(P3939)>=1)))))))))
PROPERTY: DLCflexbar-PT-3b-CTLFireability-05 (AU( ((potential((tk(P1284)>=1) & (tk(P6092)>=1)))) , (AF( ( ((potential((tk(P6545)>=1)))) | ((potential((tk(P900)>=1) & (tk(P4219)>=1)))) ))) ))
PROPERTY: DLCflexbar-PT-3b-CTLFireability-06 (! (EF( ( (EF( ((potential((tk(P3704)>=1) & (tk(P6482)>=1)))))) & (AG( ((potential((tk(P5880)>=1)))))) ))))
PROPERTY: DLCflexbar-PT-3b-CTLFireability-07 (AG( ( (AU( ((potential((tk(P3333)>=1)))) , ((potential((tk(P2087)>=1)))) )) | ( (! ((potential((tk(P2147)>=1) & (tk(P4459)>=1))))) & (AF( ((potential((tk(P3089)>=1)))))) ) )))
PROPERTY: DLCflexbar-PT-3b-CTLFireability-08 ( (! ( (AF( ( ((potential((tk(P1044)>=1)))) & ((potential((tk(P3314)>=1) & (tk(P4922)>=1)))) ))) | (! (AF( ((potential((tk(P2778)>=1))))))) )) | (EF( ( ( (! ((potential((tk(P5854)>=1))))) & (! ((potential((tk(P2736)>=1))))) ) & ((potential((tk(P178)>=1)))) ))) )
PROPERTY: DLCflexbar-PT-3b-CTLFireability-09 ( (EU( (! ( ((potential((tk(P3394)>=1)))) & ((potential((tk(P1088)>=1)))) )) , ((potential((tk(P6491)>=1)))) )) & (! (! (AF( (! ((potential((tk(P1383)>=1))))))))) )
PROPERTY: DLCflexbar-PT-3b-CTLFireability-10 (EG( (! (AF( ( ((potential((tk(P6383)>=1)))) | ((potential((tk(P3325)>=1) & (tk(P4702)>=1)))) ))))))
PROPERTY: DLCflexbar-PT-3b-CTLFireability-11 ( (EG( (! ( (! ((potential((tk(P4986)>=1))))) & ( ((potential((tk(P76)>=1) & (tk(P6459)>=1)))) | ((potential((tk(P5494)>=1)))) ) )))) | ( (AF( ((potential((tk(P5317)>=1)))))) | ((potential((tk(P4611)>=1)))) ) )
PROPERTY: DLCflexbar-PT-3b-CTLFireability-12 (AU( ((potential((tk(P3788)>=1)))) , ( (EF( ((potential((tk(P1921)>=1) & (tk(P6819)>=1)))))) | (! (! ((potential((tk(P3403)>=1) & (tk(P5802)>=1)))))) ) ))
PROPERTY: DLCflexbar-PT-3b-CTLFireability-13 ( (! (AF( (EG( ((potential((tk(P3511)>=1) & (tk(P6169)>=1))))))))) | (EU( (! (! ((potential((tk(P652)>=1)))))) , ( ((potential((tk(P5618)>=1)))) & (! ((potential((tk(P3637)>=1) & (tk(P7212)>=1))))) ) )) )
PROPERTY: DLCflexbar-PT-3b-CTLFireability-14 (AU( ( (AX( ((potential((tk(P6364)>=1)))))) | (! ( ((potential((tk(P3699)>=1) & (tk(P7029)>=1)))) | ((potential((tk(P2128)>=1)))) )) ) , (EG( ( ((potential((tk(P3391)>=1) & (tk(P5749)>=1)))) | ((potential((tk(P3167)>=1) & (tk(P4162)>=1)))) ))) ))
PROPERTY: DLCflexbar-PT-3b-CTLFireability-15 (AG( (! ( ( ((potential((tk(P3490)>=1) & (tk(P5882)>=1)))) & ((potential((tk(P3567)>=1)))) ) | ( ( ((potential((tk(P1019)>=1) & (tk(P5432)>=1)))) | ((potential((tk(P3436)>=1)))) ) & ( ((potential((tk(P396)>=1) & (tk(P6519)>=1)))) & ((potential((tk(P481)>=1)))) ) ) ))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-3b"
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 DLCflexbar-PT-3b, 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 r048-ebro-158902542100364"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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