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

--------------------
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 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)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589171980175

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 7b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
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 19 NEW BEST:: SOT 35950102 SOS 13093465 HAS SOPS 13093465 HAS SOUS 3940182 HAS SOUPS 3940182 WITH SCORE 3953275.465
AT ITER 23 NEW BEST:: SOT 35950102 SOS 13093865 HAS SOPS 13093865 HAS SOUS 3940112 HAS SOUPS 3940112 WITH SCORE 3953205.865
AT ITER 32 NEW BEST:: SOT 35950093 SOS 13093847 HAS SOPS 13093847 HAS SOUS 3940094 HAS SOUPS 3940094 WITH SCORE 3953187.847
AT ITER 33 NEW BEST:: SOT 35950072 SOS 13093826 HAS SOPS 13093826 HAS SOUS 3940067 HAS SOUPS 3940067 WITH SCORE 3953160.826
AT ITER 36 NEW BEST:: SOT 35949960 SOS 13094923 HAS SOPS 13094923 HAS SOUS 3939797 HAS SOUPS 3939797 WITH SCORE 3952891.923
AT ITER 40 NEW BEST:: SOT 35949960 SOS 13095212 HAS SOPS 13095212 HAS SOUS 3939705 HAS SOUPS 3939705 WITH SCORE 3952800.212
AT ITER 41 NEW BEST:: SOT 35949775 SOS 13098049 HAS SOPS 13098049 HAS SOUS 3939590 HAS SOUPS 3939590 WITH SCORE 3952688.049
AT ITER 42 NEW BEST:: SOT 35949387 SOS 13097273 HAS SOPS 13097273 HAS SOUS 3938814 HAS SOUPS 3938814 WITH SCORE 3951911.273
AT ITER 63 NEW BEST:: SOT 35949552 SOS 13097294 HAS SOPS 13097294 HAS SOUS 3938525 HAS SOUPS 3938525 WITH SCORE 3951622.294
AT ITER 68 NEW BEST:: SOT 35949165 SOS 13096520 HAS SOPS 13096520 HAS SOUS 3938138 HAS SOUPS 3938138 WITH SCORE 3951234.52
AT ITER 76 NEW BEST:: SOT 35949147 SOS 13096466 HAS SOPS 13096466 HAS SOUS 3938120 HAS SOUPS 3938120 WITH SCORE 3951216.466
AT ITER 89 NEW BEST:: SOT 35948458 SOS 13095844 HAS SOPS 13095844 HAS SOUS 3937235 HAS SOUPS 3937235 WITH SCORE 3950330.844
AT ITER 99 NEW BEST:: SOT 35948328 SOS 13095714 HAS SOPS 13095714 HAS SOUS 3937105 HAS SOUPS 3937105 WITH SCORE 3950200.714
AT ITER 118 NEW BEST:: SOT 35948176 SOS 13095410 HAS SOPS 13095410 HAS SOUS 3936801 HAS SOUPS 3936801 WITH SCORE 3949896.41
AT ITER 124 NEW BEST:: SOT 35948176 SOS 13095713 HAS SOPS 13095713 HAS SOUS 3936438 HAS SOUPS 3936438 WITH SCORE 3949533.713
AT ITER 138 NEW BEST:: SOT 35948176 SOS 13095713 HAS SOPS 13095713 HAS SOUS 3936437 HAS SOUPS 3936437 WITH SCORE 3949532.713
AT ITER 140 NEW BEST:: SOT 35948077 SOS 13095614 HAS SOPS 13095614 HAS SOUS 3936436 HAS SOUPS 3936436 WITH SCORE 3949531.614
AT ITER 145 NEW BEST:: SOT 35948015 SOS 13096751 HAS SOPS 13096751 HAS SOUS 3936374 HAS SOUPS 3936374 WITH SCORE 3949470.751
AT ITER 154 NEW BEST:: SOT 35946377 SOS 13095111 HAS SOPS 13095111 HAS SOUS 3934734 HAS SOUPS 3934734 WITH SCORE 3947829.111
AT ITER 192 NEW BEST:: SOT 35945908 SOS 13094917 HAS SOPS 13094917 HAS SOUS 3934354 HAS SOUPS 3934354 WITH SCORE 3947448.917
AT ITER 200 NEW BEST:: SOT 35945565 SOS 13099438 HAS SOPS 13099438 HAS SOUS 3934334 HAS SOUPS 3934334 WITH SCORE 3947433.438
AT ITER 201 NEW BEST:: SOT 35945564 SOS 13099436 HAS SOPS 13099436 HAS SOUS 3934332 HAS SOUPS 3934332 WITH SCORE 3947431.436
AT ITER 222 NEW BEST:: SOT 35945564 SOS 13099436 HAS SOPS 13099436 HAS SOUS 3934299 HAS SOUPS 3934299 WITH SCORE 3947398.436
AT ITER 227 NEW BEST:: SOT 35945564 SOS 13099509 HAS SOPS 13099509 HAS SOUS 3934190 HAS SOUPS 3934190 WITH SCORE 3947289.509
AT ITER 252 NEW BEST:: SOT 35945359 SOS 13099960 HAS SOPS 13099960 HAS SOUS 3933978 HAS SOUPS 3933978 WITH SCORE 3947077.96
AT ITER 258 NEW BEST:: SOT 35945359 SOS 13099960 HAS SOPS 13099960 HAS SOUS 3933958 HAS SOUPS 3933958 WITH SCORE 3947057.96
AT ITER 278 NEW BEST:: SOT 35945359 SOS 13100433 HAS SOPS 13100433 HAS SOUS 3933928 HAS SOUPS 3933928 WITH SCORE 3947028.433
AT ITER 288 NEW BEST:: SOT 35942749 SOS 13097823 HAS SOPS 13097823 HAS SOUS 3931318 HAS SOUPS 3931318 WITH SCORE 3944415.823
AT ITER 293 NEW BEST:: SOT 35942749 SOS 13098170 HAS SOPS 13098170 HAS SOUS 3930921 HAS SOUPS 3930921 WITH SCORE 3944019.17
AT ITER 306 NEW BEST:: SOT 35942303 SOS 13097947 HAS SOPS 13097947 HAS SOUS 3930475 HAS SOUPS 3930475 WITH SCORE 3943572.947
AT ITER 342 NEW BEST:: SOT 35942226 SOS 13098101 HAS SOPS 13098101 HAS SOUS 3930398 HAS SOUPS 3930398 WITH SCORE 3943496.101
AT ITER 350 NEW BEST:: SOT 35942202 SOS 13100638 HAS SOPS 13100638 HAS SOUS 3930334 HAS SOUPS 3930334 WITH SCORE 3943434.638
AT ITER 359 NEW BEST:: SOT 35942202 SOS 13099218 HAS SOPS 13099218 HAS SOUS 3930334 HAS SOUPS 3930334 WITH SCORE 3943433.218
AT ITER 413 NEW BEST:: SOT 35941851 SOS 13099696 HAS SOPS 13099696 HAS SOUS 3929842 HAS SOUPS 3929842 WITH SCORE 3942941.696
AT ITER 423 NEW BEST:: SOT 35941851 SOS 13099696 HAS SOPS 13099696 HAS SOUS 3929810 HAS SOUPS 3929810 WITH SCORE 3942909.696
AT ITER 424 NEW BEST:: SOT 35941827 SOS 13099672 HAS SOPS 13099672 HAS SOUS 3929786 HAS SOUPS 3929786 WITH SCORE 3942885.672
AT ITER 454 NEW BEST:: SOT 35939642 SOS 13098177 HAS SOPS 13098177 HAS SOUS 3927601 HAS SOUPS 3927601 WITH SCORE 3940699.177
AT ITER 473 NEW BEST:: SOT 35939503 SOS 13098389 HAS SOPS 13098389 HAS SOUS 3927275 HAS SOUPS 3927275 WITH SCORE 3940373.389
AT ITER 481 NEW BEST:: SOT 36823664 SOS 13987160 HAS SOPS 13987160 HAS SOUS 3362346 HAS SOUPS 3362346 WITH SCORE 3376333.16
AT ITER 483 NEW BEST:: SOT 36823522 SOS 13986876 HAS SOPS 13986876 HAS SOUS 3362062 HAS SOUPS 3362062 WITH SCORE 3376048.876
AT ITER 489 NEW BEST:: SOT 36823197 SOS 13986226 HAS SOPS 13986226 HAS SOUS 3361412 HAS SOUPS 3361412 WITH SCORE 3375398.226
AT ITER 495 NEW BEST:: SOT 36823197 SOS 13986226 HAS SOPS 13986226 HAS SOUS 3361397 HAS SOUPS 3361397 WITH SCORE 3375383.226
AT ITER 498 NEW BEST:: SOT 36823197 SOS 13986226 HAS SOPS 13986226 HAS SOUS 3361280 HAS SOUPS 3361280 WITH SCORE 3375266.226
AT ITER 511 NEW BEST:: SOT 36823166 SOS 13988316 HAS SOPS 13988316 HAS SOUS 3361248 HAS SOUPS 3361248 WITH SCORE 3375236.316
AT ITER 514 NEW BEST:: SOT 36823343 SOS 13988670 HAS SOPS 13988670 HAS SOUS 3361115 HAS SOUPS 3361115 WITH SCORE 3375103.67
AT ITER 525 NEW BEST:: SOT 36822659 SOS 13987986 HAS SOPS 13987986 HAS SOUS 3360431 HAS SOUPS 3360431 WITH SCORE 3374418.986
AT ITER 556 NEW BEST:: SOT 36822659 SOS 13987986 HAS SOPS 13987986 HAS SOUS 3360263 HAS SOUPS 3360263 WITH SCORE 3374250.986
AT ITER 559 NEW BEST:: SOT 36822658 SOS 13987984 HAS SOPS 13987984 HAS SOUS 3360261 HAS SOUPS 3360261 WITH SCORE 3374248.984
AT ITER 579 NEW BEST:: SOT 36822680 SOS 13987852 HAS SOPS 13987852 HAS SOUS 3360261 HAS SOUPS 3360261 WITH SCORE 3374248.852
AT ITER 583 NEW BEST:: SOT 36822412 SOS 13987316 HAS SOPS 13987316 HAS SOUS 3359725 HAS SOUPS 3359725 WITH SCORE 3373712.316
AT ITER 595 NEW BEST:: SOT 36822531 SOS 13987196 HAS SOPS 13987196 HAS SOUS 3359604 HAS SOUPS 3359604 WITH SCORE 3373591.196
AT ITER 608 NEW BEST:: SOT 36822446 SOS 13987604 HAS SOPS 13987604 HAS SOUS 3359434 HAS SOUPS 3359434 WITH SCORE 3373421.604
AT ITER 643 NEW BEST:: SOT 36822446 SOS 13987587 HAS SOPS 13987587 HAS SOUS 3359358 HAS SOUPS 3359358 WITH SCORE 3373345.587
AT ITER 646 NEW BEST:: SOT 36820332 SOS 13992759 HAS SOPS 13992759 HAS SOUS 3357620 HAS SOUPS 3357620 WITH SCORE 3371612.759
AT ITER 663 NEW BEST:: SOT 36820332 SOS 13992815 HAS SOPS 13992815 HAS SOUS 3357408 HAS SOUPS 3357408 WITH SCORE 3371400.815
AT ITER 667 NEW BEST:: SOT 36820331 SOS 13992813 HAS SOPS 13992813 HAS SOUS 3357406 HAS SOUPS 3357406 WITH SCORE 3371398.813
AT ITER 718 NEW BEST:: SOT 36820240 SOS 13992631 HAS SOPS 13992631 HAS SOUS 3357314 HAS SOUPS 3357314 WITH SCORE 3371306.631
AT ITER 727 NEW BEST:: SOT 36820029 SOS 13992420 HAS SOPS 13992420 HAS SOUS 3357174 HAS SOUPS 3357174 WITH SCORE 3371166.42
AT ITER 736 NEW BEST:: SOT 36820029 SOS 13995449 HAS SOPS 13995449 HAS SOUS 3357161 HAS SOUPS 3357161 WITH SCORE 3371156.449
AT ITER 739 NEW BEST:: SOT 36819640 SOS 13997037 HAS SOPS 13997037 HAS SOUS 3356772 HAS SOUPS 3356772 WITH SCORE 3370769.037
AT ITER 749 NEW BEST:: SOT 36818814 SOS 13996211 HAS SOPS 13996211 HAS SOUS 3355946 HAS SOUPS 3355946 WITH SCORE 3369942.211
AT ITER 751 NEW BEST:: SOT 36818623 SOS 13996020 HAS SOPS 13996020 HAS SOUS 3355833 HAS SOUPS 3355833 WITH SCORE 3369829.02
AT ITER 757 NEW BEST:: SOT 36817530 SOS 14038283 HAS SOPS 14038283 HAS SOUS 3354740 HAS SOUPS 3354740 WITH SCORE 3368778.283
AT ITER 762 NEW BEST:: SOT 36817530 SOS 14038283 HAS SOPS 14038283 HAS SOUS 3354420 HAS SOUPS 3354420 WITH SCORE 3368458.283
AT ITER 774 NEW BEST:: SOT 36817530 SOS 14037705 HAS SOPS 14037705 HAS SOUS 3354419 HAS SOUPS 3354419 WITH SCORE 3368456.705
AT ITER 798 NEW BEST:: SOT 36817497 SOS 14037639 HAS SOPS 14037639 HAS SOUS 3354385 HAS SOUPS 3354385 WITH SCORE 3368422.639
AT ITER 807 NEW BEST:: SOT 36816149 SOS 14055937 HAS SOPS 14055937 HAS SOUS 3353240 HAS SOUPS 3353240 WITH SCORE 3367295.937
AT ITER 820 NEW BEST:: SOT 36815781 SOS 14055569 HAS SOPS 14055569 HAS SOUS 3352867 HAS SOUPS 3352867 WITH SCORE 3366922.569
AT ITER 833 NEW BEST:: SOT 36812523 SOS 14052951 HAS SOPS 14052951 HAS SOUS 3349694 HAS SOUPS 3349694 WITH SCORE 3363746.951
AT ITER 850 NEW BEST:: SOT 36812523 SOS 14055352 HAS SOPS 14055352 HAS SOUS 3349664 HAS SOUPS 3349664 WITH SCORE 3363719.352
AT ITER 869 NEW BEST:: SOT 36812301 SOS 14054908 HAS SOPS 14054908 HAS SOUS 3349220 HAS SOUPS 3349220 WITH SCORE 3363274.908
AT ITER 879 NEW BEST:: SOT 36812189 SOS 14054796 HAS SOPS 14054796 HAS SOUS 3349199 HAS SOUPS 3349199 WITH SCORE 3363253.796
AT ITER 893 NEW BEST:: SOT 36812124 SOS 14054632 HAS SOPS 14054632 HAS SOUS 3349100 HAS SOUPS 3349100 WITH SCORE 3363154.632
AT ITER 894 NEW BEST:: SOT 36811868 SOS 14054376 HAS SOPS 14054376 HAS SOUS 3348844 HAS SOUPS 3348844 WITH SCORE 3362898.376
AT ITER 905 NEW BEST:: SOT 36811868 SOS 14054355 HAS SOPS 14054355 HAS SOUS 3348822 HAS SOUPS 3348822 WITH SCORE 3362876.355
AT ITER 911 NEW BEST:: SOT 36811667 SOS 14054355 HAS SOPS 14054355 HAS SOUS 3348817 HAS SOUPS 3348817 WITH SCORE 3362871.355
AT ITER 917 NEW BEST:: SOT 36811268 SOS 14054706 HAS SOPS 14054706 HAS SOUS 3348542 HAS SOUPS 3348542 WITH SCORE 3362596.706
AT ITER 927 NEW BEST:: SOT 36810988 SOS 14054146 HAS SOPS 14054146 HAS SOUS 3347941 HAS SOUPS 3347941 WITH SCORE 3361995.146
AT ITER 959 NEW BEST:: SOT 36811029 SOS 14053893 HAS SOPS 14053893 HAS SOUS 3347684 HAS SOUPS 3347684 WITH SCORE 3361737.893
AT ITER 967 NEW BEST:: SOT 36810845 SOS 14053709 HAS SOPS 14053709 HAS SOUS 3347592 HAS SOUPS 3347592 WITH SCORE 3361645.709
AT ITER 968 NEW BEST:: SOT 36810707 SOS 14053433 HAS SOPS 14053433 HAS SOUS 3347196 HAS SOUPS 3347196 WITH SCORE 3361249.433
AT ITER 975 NEW BEST:: SOT 36810427 SOS 14053384 HAS SOPS 14053384 HAS SOUS 3346722 HAS SOUPS 3346722 WITH SCORE 3360775.384
AT ITER 978 NEW BEST:: SOT 36809947 SOS 14053144 HAS SOPS 14053144 HAS SOUS 3346242 HAS SOUPS 3346242 WITH SCORE 3360295.144
AT ITER 979 NEW BEST:: SOT 36809862 SOS 14052974 HAS SOPS 14052974 HAS SOUS 3346072 HAS SOUPS 3346072 WITH SCORE 3360124.974
AT ITER 989 NEW BEST:: SOT 36809862 SOS 14051581 HAS SOPS 14051581 HAS SOUS 3346071 HAS SOUPS 3346071 WITH SCORE 3360122.581
AT ITER 1015 NEW BEST:: SOT 36809885 SOS 14051637 HAS SOPS 14051637 HAS SOUS 3346062 HAS SOUPS 3346062 WITH SCORE 3360113.637
AT ITER 1021 NEW BEST:: SOT 36810132 SOS 14052114 HAS SOPS 14052114 HAS SOUS 3346018 HAS SOUPS 3346018 WITH SCORE 3360070.114
AT ITER 1026 NEW BEST:: SOT 36810393 SOS 14052636 HAS SOPS 14052636 HAS SOUS 3345839 HAS SOUPS 3345839 WITH SCORE 3359891.636
AT ITER 1030 NEW BEST:: SOT 36810307 SOS 14052666 HAS SOPS 14052666 HAS SOUS 3345795 HAS SOUPS 3345795 WITH SCORE 3359847.666
AT ITER 1055 NEW BEST:: SOT 36810284 SOS 14052666 HAS SOPS 14052666 HAS SOUS 3345793 HAS SOUPS 3345793 WITH SCORE 3359845.666
AT ITER 1056 NEW BEST:: SOT 36809956 SOS 14052262 HAS SOPS 14052262 HAS SOUS 3345213 HAS SOUPS 3345213 WITH SCORE 3359265.262
AT ITER 1069 NEW BEST:: SOT 36809382 SOS 14051294 HAS SOPS 14051294 HAS SOUS 3344639 HAS SOUPS 3344639 WITH SCORE 3358690.294
AT ITER 1081 NEW BEST:: SOT 36809321 SOS 14051111 HAS SOPS 14051111 HAS SOUS 3344578 HAS SOUPS 3344578 WITH SCORE 3358629.111
AT ITER 1084 NEW BEST:: SOT 37398990 SOS 14647329 HAS SOPS 14647329 HAS SOUS 3193325 HAS SOUPS 3193325 WITH SCORE 3207972.329
AT ITER 1086 NEW BEST:: SOT 37398990 SOS 14647215 HAS SOPS 14647215 HAS SOUS 3193324 HAS SOUPS 3193324 WITH SCORE 3207971.215
AT ITER 1088 NEW BEST:: SOT 37399131 SOS 14647497 HAS SOPS 14647497 HAS SOUS 3193262 HAS SOUPS 3193262 WITH SCORE 3207909.497
AT ITER 1098 NEW BEST:: SOT 37399124 SOS 14647483 HAS SOPS 14647483 HAS SOUS 3193248 HAS SOUPS 3193248 WITH SCORE 3207895.483
AT ITER 1110 NEW BEST:: SOT 37399124 SOS 14647491 HAS SOPS 14647491 HAS SOUS 3193244 HAS SOUPS 3193244 WITH SCORE 3207891.491
AT ITER 1122 NEW BEST:: SOT 37398788 SOS 14647089 HAS SOPS 14647089 HAS SOUS 3192842 HAS SOUPS 3192842 WITH SCORE 3207489.089
AT ITER 1133 NEW BEST:: SOT 37398952 SOS 14647067 HAS SOPS 14647067 HAS SOUS 3192824 HAS SOUPS 3192824 WITH SCORE 3207471.067
AT ITER 1135 NEW BEST:: SOT 37398767 SOS 14646697 HAS SOPS 14646697 HAS SOUS 3192722 HAS SOUPS 3192722 WITH SCORE 3207368.697
AT ITER 1140 NEW BEST:: SOT 37398767 SOS 14646613 HAS SOPS 14646613 HAS SOUS 3192655 HAS SOUPS 3192655 WITH SCORE 3207301.613
AT ITER 1154 NEW BEST:: SOT 37397227 SOS 14645997 HAS SOPS 14645997 HAS SOUS 3191423 HAS SOUPS 3191423 WITH SCORE 3206068.997
AT ITER 1156 NEW BEST:: SOT 37397227 SOS 14646181 HAS SOPS 14646181 HAS SOUS 3191418 HAS SOUPS 3191418 WITH SCORE 3206064.181
AT ITER 1163 NEW BEST:: SOT 37397227 SOS 14646176 HAS SOPS 14646176 HAS SOUS 3191418 HAS SOUPS 3191418 WITH SCORE 3206064.176
AT ITER 1190 NEW BEST:: SOT 37397227 SOS 14646176 HAS SOPS 14646176 HAS SOUS 3191237 HAS SOUPS 3191237 WITH SCORE 3205883.176
AT ITER 1202 NEW BEST:: SOT 37397064 SOS 14646832 HAS SOPS 14646832 HAS SOUS 3191079 HAS SOUPS 3191079 WITH SCORE 3205725.832
AT ITER 1205 NEW BEST:: SOT 37397225 SOS 14647154 HAS SOPS 14647154 HAS SOUS 3190925 HAS SOUPS 3190925 WITH SCORE 3205572.154
AT ITER 1207 NEW BEST:: SOT 37396994 SOS 14647128 HAS SOPS 14647128 HAS SOUS 3190475 HAS SOUPS 3190475 WITH SCORE 3205122.128
AT ITER 1209 NEW BEST:: SOT 37396794 SOS 14646728 HAS SOPS 14646728 HAS SOUS 3190075 HAS SOUPS 3190075 WITH SCORE 3204721.728
AT ITER 1214 NEW BEST:: SOT 36806962 SOS 14056723 HAS SOPS 14056723 HAS SOUS 2666681 HAS SOUPS 2666681 WITH SCORE 2680737.723
AT ITER 1231 NEW BEST:: SOT 36806132 SOS 14055893 HAS SOPS 14055893 HAS SOUS 2665685 HAS SOUPS 2665685 WITH SCORE 2679740.893
AT ITER 1240 NEW BEST:: SOT 36805964 SOS 14055557 HAS SOPS 14055557 HAS SOUS 2665517 HAS SOUPS 2665517 WITH SCORE 2679572.557
AT ITER 1241 NEW BEST:: SOT 36805882 SOS 14056009 HAS SOPS 14056009 HAS SOUS 2665441 HAS SOUPS 2665441 WITH SCORE 2679497.009
AT ITER 1249 NEW BEST:: SOT 36805881 SOS 14056007 HAS SOPS 14056007 HAS SOUS 2665439 HAS SOUPS 2665439 WITH SCORE 2679495.007
AT ITER 1250 NEW BEST:: SOT 36805732 SOS 14055709 HAS SOPS 14055709 HAS SOUS 2665141 HAS SOUPS 2665141 WITH SCORE 2679196.709
AT ITER 1269 NEW BEST:: SOT 36805574 SOS 14055571 HAS SOPS 14055571 HAS SOUS 2665003 HAS SOUPS 2665003 WITH SCORE 2679058.571
AT ITER 1293 NEW BEST:: SOT 36805282 SOS 14054695 HAS SOPS 14054695 HAS SOUS 2664419 HAS SOUPS 2664419 WITH SCORE 2678473.695
AT ITER 1296 NEW BEST:: SOT 36805006 SOS 14058985 HAS SOPS 14058985 HAS SOUS 2664367 HAS SOUPS 2664367 WITH SCORE 2678425.985
AT ITER 1321 NEW BEST:: SOT 36805006 SOS 14058835 HAS SOPS 14058835 HAS SOUS 2663834 HAS SOUPS 2663834 WITH SCORE 2677892.835
AT ITER 1326 NEW BEST:: SOT 36805006 SOS 14058835 HAS SOPS 14058835 HAS SOUS 2663599 HAS SOUPS 2663599 WITH SCORE 2677657.835
AT ITER 1352 NEW BEST:: SOT 36804940 SOS 14061285 HAS SOPS 14061285 HAS SOUS 2660773 HAS SOUPS 2660773 WITH SCORE 2674834.285
AT ITER 1353 NEW BEST:: SOT 36804916 SOS 14061237 HAS SOPS 14061237 HAS SOUS 2660725 HAS SOUPS 2660725 WITH SCORE 2674786.237
AT ITER 1371 NEW BEST:: SOT 36804925 SOS 14061758 HAS SOPS 14061758 HAS SOUS 2660516 HAS SOUPS 2660516 WITH SCORE 2674577.758
AT ITER 1376 NEW BEST:: SOT 36804713 SOS 14061758 HAS SOPS 14061758 HAS SOUS 2660503 HAS SOUPS 2660503 WITH SCORE 2674564.758
AT ITER 1377 NEW BEST:: SOT 36804700 SOS 14061732 HAS SOPS 14061732 HAS SOUS 2660477 HAS SOUPS 2660477 WITH SCORE 2674538.732
AT ITER 1383 NEW BEST:: SOT 36804520 SOS 14061732 HAS SOPS 14061732 HAS SOUS 2660297 HAS SOUPS 2660297 WITH SCORE 2674358.732
AT ITER 1403 NEW BEST:: SOT 36804457 SOS 14061606 HAS SOPS 14061606 HAS SOUS 2660136 HAS SOUPS 2660136 WITH SCORE 2674197.606
AT ITER 1420 NEW BEST:: SOT 36804377 SOS 14061535 HAS SOPS 14061535 HAS SOUS 2660013 HAS SOUPS 2660013 WITH SCORE 2674074.535
AT ITER 1451 NEW BEST:: SOT 36801132 SOS 14081670 HAS SOPS 14081670 HAS SOUS 2658731 HAS SOUPS 2658731 WITH SCORE 2672812.67
AT ITER 1463 NEW BEST:: SOT 36801132 SOS 14088343 HAS SOPS 14088343 HAS SOUS 2658721 HAS SOUPS 2658721 WITH SCORE 2672809.343
AT ITER 1464 NEW BEST:: SOT 36801147 SOS 14088373 HAS SOPS 14088373 HAS SOUS 2658660 HAS SOUPS 2658660 WITH SCORE 2672748.373
AT ITER 1468 NEW BEST:: SOT 36800442 SOS 14090812 HAS SOPS 14090812 HAS SOUS 2657885 HAS SOUPS 2657885 WITH SCORE 2671975.812
AT ITER 1469 NEW BEST:: SOT 36800189 SOS 14088878 HAS SOPS 14088878 HAS SOUS 2657240 HAS SOUPS 2657240 WITH SCORE 2671328.878
AT ITER 1497 NEW BEST:: SOT 36800183 SOS 14090949 HAS SOPS 14090949 HAS SOUS 2656982 HAS SOUPS 2656982 WITH SCORE 2671072.949
AT ITER 1505 NEW BEST:: SOT 36799874 SOS 14090640 HAS SOPS 14090640 HAS SOUS 2656416 HAS SOUPS 2656416 WITH SCORE 2670506.64
AT ITER 1542 NEW BEST:: SOT 36799893 SOS 14090359 HAS SOPS 14090359 HAS SOUS 2656135 HAS SOUPS 2656135 WITH SCORE 2670225.359
AT ITER 1546 NEW BEST:: SOT 36800071 SOS 14091818 HAS SOPS 14091818 HAS SOUS 2655735 HAS SOUPS 2655735 WITH SCORE 2669826.818
AT ITER 1564 NEW BEST:: SOT 36799994 SOS 14091664 HAS SOPS 14091664 HAS SOUS 2655581 HAS SOUPS 2655581 WITH SCORE 2669672.664
AT ITER 1572 NEW BEST:: SOT 35918535 SOS 20944961 HAS SOPS 20944961 HAS SOUS 2551752 HAS SOUPS 2551752 WITH SCORE 2572696.961
AT ITER 1611 NEW BEST:: SOT 35920670 SOS 20947336 HAS SOPS 20947336 HAS SOUS 2551509 HAS SOUPS 2551509 WITH SCORE 2572456.336
AT ITER 1624 NEW BEST:: SOT 35920799 SOS 20947306 HAS SOPS 20947306 HAS SOUS 2551479 HAS SOUPS 2551479 WITH SCORE 2572426.306
AT ITER 1635 NEW BEST:: SOT 35920799 SOS 20946890 HAS SOPS 20946890 HAS SOUS 2551271 HAS SOUPS 2551271 WITH SCORE 2572217.89
AT ITER 1653 NEW BEST:: SOT 35907560 SOS 24768480 HAS SOPS 24768480 HAS SOUS 2543169 HAS SOUPS 2543169 WITH SCORE 2567937.48
AT ITER 1662 NEW BEST:: SOT 35907365 SOS 24768090 HAS SOPS 24768090 HAS SOUS 2542779 HAS SOUPS 2542779 WITH SCORE 2567547.09
AT ITER 1670 NEW BEST:: SOT 35907365 SOS 24768090 HAS SOPS 24768090 HAS SOUS 2542717 HAS SOUPS 2542717 WITH SCORE 2567485.09
AT ITER 1674 NEW BEST:: SOT 35907877 SOS 24767578 HAS SOPS 24767578 HAS SOUS 2542717 HAS SOUPS 2542717 WITH SCORE 2567484.578
AT ITER 1678 NEW BEST:: SOT 35907762 SOS 24767348 HAS SOPS 24767348 HAS SOUS 2542601 HAS SOUPS 2542601 WITH SCORE 2567368.348
AT ITER 1692 NEW BEST:: SOT 35907476 SOS 24767062 HAS SOPS 24767062 HAS SOUS 2542172 HAS SOUPS 2542172 WITH SCORE 2566939.062
AT ITER 1696 NEW BEST:: SOT 35906290 SOS 24765641 HAS SOPS 24765641 HAS SOUS 2540751 HAS SOUPS 2540751 WITH SCORE 2565516.641
AT ITER 1704 NEW BEST:: SOT 35906350 SOS 24765197 HAS SOPS 24765197 HAS SOUS 2540056 HAS SOUPS 2540056 WITH SCORE 2564821.197
AT ITER 1732 NEW BEST:: SOT 35906249 SOS 24764995 HAS SOPS 24764995 HAS SOUS 2539854 HAS SOUPS 2539854 WITH SCORE 2564618.995
AT ITER 1745 NEW BEST:: SOT 35906218 SOS 24764933 HAS SOPS 24764933 HAS SOUS 2539744 HAS SOUPS 2539744 WITH SCORE 2564508.933
AT ITER 1763 NEW BEST:: SOT 35906032 SOS 24765062 HAS SOPS 24765062 HAS SOUS 2539743 HAS SOUPS 2539743 WITH SCORE 2564508.062
AT ITER 1781 NEW BEST:: SOT 35905994 SOS 24765024 HAS SOPS 24765024 HAS SOUS 2539705 HAS SOUPS 2539705 WITH SCORE 2564470.024
AT ITER 1785 NEW BEST:: SOT 35905994 SOS 24765254 HAS SOPS 24765254 HAS SOUS 2539620 HAS SOUPS 2539620 WITH SCORE 2564385.254
AT ITER 1786 NEW BEST:: SOT 35905979 SOS 24765239 HAS SOPS 24765239 HAS SOUS 2539605 HAS SOUPS 2539605 WITH SCORE 2564370.239
AT ITER 1819 NEW BEST:: SOT 35905873 SOS 24765027 HAS SOPS 24765027 HAS SOUS 2539255 HAS SOUPS 2539255 WITH SCORE 2564020.027
AT ITER 1820 NEW BEST:: SOT 35905371 SOS 24765850 HAS SOPS 24765850 HAS SOUS 2538448 HAS SOUPS 2538448 WITH SCORE 2563213.85
AT ITER 1828 NEW BEST:: SOT 35905212 SOS 24767845 HAS SOPS 24767845 HAS SOUS 2537893 HAS SOUPS 2537893 WITH SCORE 2562660.845
AT ITER 1852 NEW BEST:: SOT 35905212 SOS 24767845 HAS SOPS 24767845 HAS SOUS 2537736 HAS SOUPS 2537736 WITH SCORE 2562503.845
AT ITER 1861 NEW BEST:: SOT 35905212 SOS 24767890 HAS SOPS 24767890 HAS SOUS 2537716 HAS SOUPS 2537716 WITH SCORE 2562483.89
AT ITER 1868 NEW BEST:: SOT 35905217 SOS 24767900 HAS SOPS 24767900 HAS SOUS 2537224 HAS SOUPS 2537224 WITH SCORE 2561991.9
AT ITER 1872 NEW BEST:: SOT 35904964 SOS 24768218 HAS SOPS 24768218 HAS SOUS 2536641 HAS SOUPS 2536641 WITH SCORE 2561409.218
AT ITER 1875 NEW BEST:: SOT 35903627 SOS 24765987 HAS SOPS 24765987 HAS SOUS 2535304 HAS SOUPS 2535304 WITH SCORE 2560069.987
AT ITER 1899 NEW BEST:: SOT 35903315 SOS 24765632 HAS SOPS 24765632 HAS SOUS 2535211 HAS SOUPS 2535211 WITH SCORE 2559976.632
AT ITER 1907 NEW BEST:: SOT 35900034 SOS 24774745 HAS SOPS 24774745 HAS SOUS 2532117 HAS SOUPS 2532117 WITH SCORE 2556891.745
AT ITER 1935 NEW BEST:: SOT 35900033 SOS 24774743 HAS SOPS 24774743 HAS SOUS 2532115 HAS SOUPS 2532115 WITH SCORE 2556889.743
AT ITER 1944 NEW BEST:: SOT 35899966 SOS 24775084 HAS SOPS 24775084 HAS SOUS 2532048 HAS SOUPS 2532048 WITH SCORE 2556823.084
AT ITER 1945 NEW BEST:: SOT 35899927 SOS 24775006 HAS SOPS 24775006 HAS SOUS 2531486 HAS SOUPS 2531486 WITH SCORE 2556261.006
AT ITER 1963 NEW BEST:: SOT 35899493 SOS 24774138 HAS SOPS 24774138 HAS SOUS 2530878 HAS SOUPS 2530878 WITH SCORE 2555652.138
AT ITER 1979 NEW BEST:: SOT 35899405 SOS 24774050 HAS SOPS 24774050 HAS SOUS 2530790 HAS SOUPS 2530790 WITH SCORE 2555564.05
AT ITER 1982 NEW BEST:: SOT 35899405 SOS 24774050 HAS SOPS 24774050 HAS SOUS 2530768 HAS SOUPS 2530768 WITH SCORE 2555542.05
AT ITER 1985 NEW BEST:: SOT 35899232 SOS 24773877 HAS SOPS 24773877 HAS SOUS 2530696 HAS SOUPS 2530696 WITH SCORE 2555469.877
AT ITER 2004 NEW BEST:: SOT 35898966 SOS 24773757 HAS SOPS 24773757 HAS SOUS 2530090 HAS SOUPS 2530090 WITH SCORE 2554863.757
AT ITER 2039 NEW BEST:: SOT 35882786 SOS 24757317 HAS SOPS 24757317 HAS SOUS 2513650 HAS SOUPS 2513650 WITH SCORE 2538407.317
AT ITER 2070 NEW BEST:: SOT 35882753 SOS 24757251 HAS SOPS 24757251 HAS SOUS 2513584 HAS SOUPS 2513584 WITH SCORE 2538341.251
AT ITER 2077 NEW BEST:: SOT 35882753 SOS 24757251 HAS SOPS 24757251 HAS SOUS 2513520 HAS SOUPS 2513520 WITH SCORE 2538277.251
AT ITER 2084 NEW BEST:: SOT 35882418 SOS 24756919 HAS SOPS 24756919 HAS SOUS 2513019 HAS SOUPS 2513019 WITH SCORE 2537775.919
AT ITER 2094 NEW BEST:: SOT 35882236 SOS 24756562 HAS SOPS 24756562 HAS SOUS 2512973 HAS SOUPS 2512973 WITH SCORE 2537729.562
AT ITER 2104 NEW BEST:: SOT 35882066 SOS 24757104 HAS SOPS 24757104 HAS SOUS 2512825 HAS SOUPS 2512825 WITH SCORE 2537582.104
AT ITER 2108 NEW BEST:: SOT 35881903 SOS 24756941 HAS SOPS 24756941 HAS SOUS 2512662 HAS SOUPS 2512662 WITH SCORE 2537418.941
AT ITER 2113 NEW BEST:: SOT 35881789 SOS 24757145 HAS SOPS 24757145 HAS SOUS 2512312 HAS SOUPS 2512312 WITH SCORE 2537069.145
AT ITER 2119 NEW BEST:: SOT 35881748 SOS 24757063 HAS SOPS 24757063 HAS SOUS 2512270 HAS SOUPS 2512270 WITH SCORE 2537027.063
AT ITER 2139 NEW BEST:: SOT 35881747 SOS 24757061 HAS SOPS 24757061 HAS SOUS 2512268 HAS SOUPS 2512268 WITH SCORE 2537025.061
AT ITER 2161 NEW BEST:: SOT 35881743 SOS 24757059 HAS SOPS 24757059 HAS SOUS 2512264 HAS SOUPS 2512264 WITH SCORE 2537021.059
AT ITER 2176 NEW BEST:: SOT 35881803 SOS 24746679 HAS SOPS 24746679 HAS SOUS 2511904 HAS SOUPS 2511904 WITH SCORE 2536650.679
AT ITER 2180 NEW BEST:: SOT 35881725 SOS 24746707 HAS SOPS 24746707 HAS SOUS 2511642 HAS SOUPS 2511642 WITH SCORE 2536388.707
AT ITER 2184 NEW BEST:: SOT 35881561 SOS 24746379 HAS SOPS 24746379 HAS SOUS 2511478 HAS SOUPS 2511478 WITH SCORE 2536224.379
AT ITER 2187 NEW BEST:: SOT 35881435 SOS 24746127 HAS SOPS 24746127 HAS SOUS 2511226 HAS SOUPS 2511226 WITH SCORE 2535972.127
AT ITER 2195 NEW BEST:: SOT 35881269 SOS 24745795 HAS SOPS 24745795 HAS SOUS 2510894 HAS SOUPS 2510894 WITH SCORE 2535639.795
AT ITER 2199 NEW BEST:: SOT 35881146 SOS 24745758 HAS SOPS 24745758 HAS SOUS 2510844 HAS SOUPS 2510844 WITH SCORE 2535589.758
AT ITER 2208 NEW BEST:: SOT 35881145 SOS 24745756 HAS SOPS 24745756 HAS SOUS 2510842 HAS SOUPS 2510842 WITH SCORE 2535587.756
AT ITER 2212 NEW BEST:: SOT 35880726 SOS 24744918 HAS SOPS 24744918 HAS SOUS 2509994 HAS SOUPS 2509994 WITH SCORE 2534738.918
AT ITER 2214 NEW BEST:: SOT 35880425 SOS 24744637 HAS SOPS 24744637 HAS SOUS 2509713 HAS SOUPS 2509713 WITH SCORE 2534457.637
AT ITER 2223 NEW BEST:: SOT 35879291 SOS 24744794 HAS SOPS 24744794 HAS SOUS 2508676 HAS SOUPS 2508676 WITH SCORE 2533420.794
AT ITER 2238 NEW BEST:: SOT 35879099 SOS 20912905 HAS SOPS 20912905 HAS SOUS 2505701 HAS SOUPS 2505701 WITH SCORE 2526613.905
AT ITER 2247 NEW BEST:: SOT 35879099 SOS 20913163 HAS SOPS 20913163 HAS SOUS 2505428 HAS SOUPS 2505428 WITH SCORE 2526341.163
AT ITER 2268 NEW BEST:: SOT 35879116 SOS 20913197 HAS SOPS 20913197 HAS SOUS 2505140 HAS SOUPS 2505140 WITH SCORE 2526053.197
AT ITER 2274 NEW BEST:: SOT 35879116 SOS 20907653 HAS SOPS 20907653 HAS SOUS 2504959 HAS SOUPS 2504959 WITH SCORE 2525866.653
AT ITER 2278 NEW BEST:: SOT 35878689 SOS 20906799 HAS SOPS 20906799 HAS SOUS 2504142 HAS SOUPS 2504142 WITH SCORE 2525048.799
AT ITER 2283 NEW BEST:: SOT 35877285 SOS 20922516 HAS SOPS 20922516 HAS SOUS 2502789 HAS SOUPS 2502789 WITH SCORE 2523711.516
AT ITER 2287 NEW BEST:: SOT 35877131 SOS 20922208 HAS SOPS 20922208 HAS SOUS 2502787 HAS SOUPS 2502787 WITH SCORE 2523709.208
AT ITER 2301 NEW BEST:: SOT 35877389 SOS 20922724 HAS SOPS 20922724 HAS SOUS 2502708 HAS SOUPS 2502708 WITH SCORE 2523630.724
AT ITER 2335 NEW BEST:: SOT 35877389 SOS 20922724 HAS SOPS 20922724 HAS SOUS 2502704 HAS SOUPS 2502704 WITH SCORE 2523626.724
AT ITER 2344 NEW BEST:: SOT 35877568 SOS 20929515 HAS SOPS 20929515 HAS SOUS 2502174 HAS SOUPS 2502174 WITH SCORE 2523103.515
AT ITER 2345 NEW BEST:: SOT 35877568 SOS 20929842 HAS SOPS 20929842 HAS SOUS 2502085 HAS SOUPS 2502085 WITH SCORE 2523014.842
AT ITER 2350 NEW BEST:: SOT 35877557 SOS 20929820 HAS SOPS 20929820 HAS SOUS 2502074 HAS SOUPS 2502074 WITH SCORE 2523003.82
AT ITER 2354 NEW BEST:: SOT 35877352 SOS 20930340 HAS SOPS 20930340 HAS SOUS 2501983 HAS SOUPS 2501983 WITH SCORE 2522913.34
AT ITER 2369 NEW BEST:: SOT 35877183 SOS 20930118 HAS SOPS 20930118 HAS SOUS 2501645 HAS SOUPS 2501645 WITH SCORE 2522575.118
AT ITER 2375 NEW BEST:: SOT 35877224 SOS 20929875 HAS SOPS 20929875 HAS SOUS 2501402 HAS SOUPS 2501402 WITH SCORE 2522331.875
AT ITER 2388 NEW BEST:: SOT 35877079 SOS 20929585 HAS SOPS 20929585 HAS SOUS 2501112 HAS SOUPS 2501112 WITH SCORE 2522041.585
AT ITER 2466 NEW BEST:: SOT 35877079 SOS 20929585 HAS SOPS 20929585 HAS SOUS 2501027 HAS SOUPS 2501027 WITH SCORE 2521956.585
AT ITER 2481 NEW BEST:: SOT 35877079 SOS 20928981 HAS SOPS 20928981 HAS SOUS 2501027 HAS SOUPS 2501027 WITH SCORE 2521955.981
AT ITER 2482 NEW BEST:: SOT 35877079 SOS 20928876 HAS SOPS 20928876 HAS SOUS 2500962 HAS SOUPS 2500962 WITH SCORE 2521890.876
AT ITER 2501 NEW BEST:: SOT 35876920 SOS 20928558 HAS SOPS 20928558 HAS SOUS 2500803 HAS SOUPS 2500803 WITH SCORE 2521731.558
AT ITER 2519 NEW BEST:: SOT 35876525 SOS 20928185 HAS SOPS 20928185 HAS SOUS 2500430 HAS SOUPS 2500430 WITH SCORE 2521358.185
AT ITER 2531 NEW BEST:: SOT 35876358 SOS 20928754 HAS SOPS 20928754 HAS SOUS 2500300 HAS SOUPS 2500300 WITH SCORE 2521228.754
AT ITER 2538 NEW BEST:: SOT 35876368 SOS 20928667 HAS SOPS 20928667 HAS SOUS 2500182 HAS SOUPS 2500182 WITH SCORE 2521110.667
AT ITER 2544 NEW BEST:: SOT 35876368 SOS 20928949 HAS SOPS 20928949 HAS SOUS 2500178 HAS SOUPS 2500178 WITH SCORE 2521106.949
AT ITER 2549 NEW BEST:: SOT 35876368 SOS 20928921 HAS SOPS 20928921 HAS SOUS 2500164 HAS SOUPS 2500164 WITH SCORE 2521092.921
AT ITER 2563 NEW BEST:: SOT 35876348 SOS 20928881 HAS SOPS 20928881 HAS SOUS 2500144 HAS SOUPS 2500144 WITH SCORE 2521072.881
AT ITER 2564 NEW BEST:: SOT 35876181 SOS 20928714 HAS SOPS 20928714 HAS SOUS 2338183 HAS SOUPS 2338183 WITH SCORE 2359111.714
AT ITER 2584 NEW BEST:: SOT 35875612 SOS 20928093 HAS SOPS 20928093 HAS SOUS 2336978 HAS SOUPS 2336978 WITH SCORE 2357906.093
AT ITER 2618 NEW BEST:: SOT 35875312 SOS 20928267 HAS SOPS 20928267 HAS SOUS 2336837 HAS SOUPS 2336837 WITH SCORE 2357765.267
AT ITER 2631 NEW BEST:: SOT 35875312 SOS 20927610 HAS SOPS 20927610 HAS SOUS 2336837 HAS SOUPS 2336837 WITH SCORE 2357764.61
AT ITER 2638 NEW BEST:: SOT 35875134 SOS 20927254 HAS SOPS 20927254 HAS SOUS 2336481 HAS SOUPS 2336481 WITH SCORE 2357408.254
AT ITER 2655 NEW BEST:: SOT 35874708 SOS 20926613 HAS SOPS 20926613 HAS SOUS 2335448 HAS SOUPS 2335448 WITH SCORE 2356374.613
AT ITER 2675 NEW BEST:: SOT 35874708 SOS 20926441 HAS SOPS 20926441 HAS SOUS 2335448 HAS SOUPS 2335448 WITH SCORE 2356374.441
AT ITER 2693 NEW BEST:: SOT 35874549 SOS 20926316 HAS SOPS 20926316 HAS SOUS 2242424 HAS SOUPS 2242424 WITH SCORE 2263350.316
AT ITER 2696 NEW BEST:: SOT 35874314 SOS 20918421 HAS SOPS 20918421 HAS SOUS 2241954 HAS SOUPS 2241954 WITH SCORE 2262872.421
AT ITER 2710 NEW BEST:: SOT 35874183 SOS 20918159 HAS SOPS 20918159 HAS SOUS 2241260 HAS SOUPS 2241260 WITH SCORE 2262178.159
AT ITER 2717 NEW BEST:: SOT 35868174 SOS 23054872 HAS SOPS 23054872 HAS SOUS 2236107 HAS SOUPS 2236107 WITH SCORE 2259161.872
AT ITER 2719 NEW BEST:: SOT 35868127 SOS 23054982 HAS SOPS 23054982 HAS SOUS 2236026 HAS SOUPS 2236026 WITH SCORE 2259080.982
AT ITER 2731 NEW BEST:: SOT 35867903 SOS 23054964 HAS SOPS 23054964 HAS SOUS 2235888 HAS SOUPS 2235888 WITH SCORE 2258942.964
AT ITER 2733 NEW BEST:: SOT 35867859 SOS 23054876 HAS SOPS 23054876 HAS SOUS 2235800 HAS SOUPS 2235800 WITH SCORE 2258854.876
AT ITER 2736 NEW BEST:: SOT 35867735 SOS 23054628 HAS SOPS 23054628 HAS SOUS 2235552 HAS SOUPS 2235552 WITH SCORE 2258606.628
AT ITER 2762 NEW BEST:: SOT 35867698 SOS 23054554 HAS SOPS 23054554 HAS SOUS 2235478 HAS SOUPS 2235478 WITH SCORE 2258532.554
AT ITER 2763 NEW BEST:: SOT 35867698 SOS 23054913 HAS SOPS 23054913 HAS SOUS 2235477 HAS SOUPS 2235477 WITH SCORE 2258531.913
AT ITER 2770 NEW BEST:: SOT 35867698 SOS 23054864 HAS SOPS 23054864 HAS SOUS 2235428 HAS SOUPS 2235428 WITH SCORE 2258482.864
AT ITER 2773 NEW BEST:: SOT 35867831 SOS 23054545 HAS SOPS 23054545 HAS SOUS 2235106 HAS SOUPS 2235106 WITH SCORE 2258160.545
AT ITER 2777 NEW BEST:: SOT 35867722 SOS 23054697 HAS SOPS 23054697 HAS SOUS 2234738 HAS SOUPS 2234738 WITH SCORE 2257792.697
AT ITER 2801 NEW BEST:: SOT 35867543 SOS 23054339 HAS SOPS 23054339 HAS SOUS 2234380 HAS SOUPS 2234380 WITH SCORE 2257434.339
AT ITER 2805 NEW BEST:: SOT 35867225 SOS 23053875 HAS SOPS 23053875 HAS SOUS 2234000 HAS SOUPS 2234000 WITH SCORE 2257053.875
AT ITER 2808 NEW BEST:: SOT 35867225 SOS 23053695 HAS SOPS 23053695 HAS SOUS 2234000 HAS SOUPS 2234000 WITH SCORE 2257053.695
AT ITER 2818 NEW BEST:: SOT 35867055 SOS 23057609 HAS SOPS 23057609 HAS SOUS 2233798 HAS SOUPS 2233798 WITH SCORE 2256855.609
AT ITER 2819 NEW BEST:: SOT 35867055 SOS 23056938 HAS SOPS 23056938 HAS SOUS 2233743 HAS SOUPS 2233743 WITH SCORE 2256799.938
AT ITER 2820 NEW BEST:: SOT 35866998 SOS 23056824 HAS SOPS 23056824 HAS SOUS 2233700 HAS SOUPS 2233700 WITH SCORE 2256756.824
AT ITER 2825 NEW BEST:: SOT 35866820 SOS 23056924 HAS SOPS 23056924 HAS SOUS 2233586 HAS SOUPS 2233586 WITH SCORE 2256642.924
AT ITER 2827 NEW BEST:: SOT 35866819 SOS 23056922 HAS SOPS 23056922 HAS SOUS 2233584 HAS SOUPS 2233584 WITH SCORE 2256640.922
AT ITER 2835 NEW BEST:: SOT 35866819 SOS 23057229 HAS SOPS 23057229 HAS SOUS 2055075 HAS SOUPS 2055075 WITH SCORE 2078132.229
AT ITER 2836 NEW BEST:: SOT 35858800 SOS 23048813 HAS SOPS 23048813 HAS SOUS 2046659 HAS SOUPS 2046659 WITH SCORE 2069707.813
AT ITER 2842 NEW BEST:: SOT 35858689 SOS 23049155 HAS SOPS 23049155 HAS SOUS 2046473 HAS SOUPS 2046473 WITH SCORE 2069522.155
AT ITER 2853 NEW BEST:: SOT 35858613 SOS 23049079 HAS SOPS 23049079 HAS SOUS 2046472 HAS SOUPS 2046472 WITH SCORE 2069521.079
AT ITER 2857 NEW BEST:: SOT 35854641 SOS 23045107 HAS SOPS 23045107 HAS SOUS 2042500 HAS SOUPS 2042500 WITH SCORE 2065545.107
AT ITER 2876 NEW BEST:: SOT 35854641 SOS 23045107 HAS SOPS 23045107 HAS SOUS 2042484 HAS SOUPS 2042484 WITH SCORE 2065529.107
AT ITER 2892 NEW BEST:: SOT 35854562 SOS 23044949 HAS SOPS 23044949 HAS SOUS 2042484 HAS SOUPS 2042484 WITH SCORE 2065528.949
AT ITER 2922 NEW BEST:: SOT 35854540 SOS 23044905 HAS SOPS 23044905 HAS SOUS 2042359 HAS SOUPS 2042359 WITH SCORE 2065403.905
AT ITER 2923 NEW BEST:: SOT 35854540 SOS 23045012 HAS SOPS 23045012 HAS SOUS 2042329 HAS SOUPS 2042329 WITH SCORE 2065374.012
AT ITER 2936 NEW BEST:: SOT 35854299 SOS 23045012 HAS SOPS 23045012 HAS SOUS 2042088 HAS SOUPS 2042088 WITH SCORE 2065133.012
AT ITER 2966 NEW BEST:: SOT 35854243 SOS 23044716 HAS SOPS 23044716 HAS SOUS 2042032 HAS SOUPS 2042032 WITH SCORE 2065076.716
AT ITER 2972 NEW BEST:: SOT 35853950 SOS 23044130 HAS SOPS 23044130 HAS SOUS 2041446 HAS SOUPS 2041446 WITH SCORE 2064490.13
AT ITER 2978 NEW BEST:: SOT 35853950 SOS 23043950 HAS SOPS 23043950 HAS SOUS 2041270 HAS SOUPS 2041270 WITH SCORE 2064313.95
AT ITER 2999 NEW BEST:: SOT 35853713 SOS 23043783 HAS SOPS 23043783 HAS SOUS 1977091 HAS SOUPS 1977091 WITH SCORE 2000134.783
AT ITER 3000 NEW BEST:: SOT 35853713 SOS 22888173 HAS SOPS 22888173 HAS SOUS 1977053 HAS SOUPS 1977053 WITH SCORE 1999941.173
AT ITER 3040 NEW BEST:: SOT 35853444 SOS 22887635 HAS SOPS 22887635 HAS SOUS 1976515 HAS SOUPS 1976515 WITH SCORE 1999402.635
AT ITER 3050 NEW BEST:: SOT 35850728 SOS 17141442 HAS SOPS 17141442 HAS SOUS 1795445 HAS SOUPS 1795445 WITH SCORE 1812586.442
AT ITER 3061 NEW BEST:: SOT 35850588 SOS 17141442 HAS SOPS 17141442 HAS SOUS 1795165 HAS SOUPS 1795165 WITH SCORE 1812306.442
AT ITER 3063 NEW BEST:: SOT 35850588 SOS 17141950 HAS SOPS 17141950 HAS SOUS 1795135 HAS SOUPS 1795135 WITH SCORE 1812276.95
AT ITER 3077 NEW BEST:: SOT 35815351 SOS 20707009 HAS SOPS 20707009 HAS SOUS 1759884 HAS SOUPS 1759884 WITH SCORE 1780591.009
AT ITER 3105 NEW BEST:: SOT 35815351 SOS 20707448 HAS SOPS 20707448 HAS SOUS 1759804 HAS SOUPS 1759804 WITH SCORE 1780511.448
AT ITER 3106 NEW BEST:: SOT 35815351 SOS 20707503 HAS SOPS 20707503 HAS SOUS 1759722 HAS SOUPS 1759722 WITH SCORE 1780429.503
AT ITER 3133 NEW BEST:: SOT 35812686 SOS 20710511 HAS SOPS 20710511 HAS SOUS 1757365 HAS SOUPS 1757365 WITH SCORE 1778075.511
AT ITER 3139 NEW BEST:: SOT 35812550 SOS 20709967 HAS SOPS 20709967 HAS SOUS 1757229 HAS SOUPS 1757229 WITH SCORE 1777938.967
AT ITER 3181 NEW BEST:: SOT 35812338 SOS 20710880 HAS SOPS 20710880 HAS SOUS 1756692 HAS SOUPS 1756692 WITH SCORE 1777402.88
AT ITER 3182 NEW BEST:: SOT 35812338 SOS 20710880 HAS SOPS 20710880 HAS SOUS 1756691 HAS SOUPS 1756691 WITH SCORE 1777401.88
AT ITER 3184 NEW BEST:: SOT 35812338 SOS 20710843 HAS SOPS 20710843 HAS SOUS 1756667 HAS SOUPS 1756667 WITH SCORE 1777377.843
AT ITER 3193 NEW BEST:: SOT 35812338 SOS 20711581 HAS SOPS 20711581 HAS SOUS 1756589 HAS SOUPS 1756589 WITH SCORE 1777300.581
AT ITER 3212 NEW BEST:: SOT 35812397 SOS 20712366 HAS SOPS 20712366 HAS SOUS 1756464 HAS SOUPS 1756464 WITH SCORE 1777176.366
AT ITER 3253 NEW BEST:: SOT 35811973 SOS 20711518 HAS SOPS 20711518 HAS SOUS 1755618 HAS SOUPS 1755618 WITH SCORE 1776329.518
AT ITER 3288 NEW BEST:: SOT 35811782 SOS 18726637 HAS SOPS 18726637 HAS SOUS 1755798 HAS SOUPS 1755798 WITH SCORE 1774524.637
AT ITER 3319 NEW BEST:: SOT 35811781 SOS 18726635 HAS SOPS 18726635 HAS SOUS 1755796 HAS SOUPS 1755796 WITH SCORE 1774522.635
AT ITER 3332 NEW BEST:: SOT 35811448 SOS 18726974 HAS SOPS 18726974 HAS SOUS 1755577 HAS SOUPS 1755577 WITH SCORE 1774303.974
AT ITER 3334 NEW BEST:: SOT 35811580 SOS 18726692 HAS SOPS 18726692 HAS SOUS 1755568 HAS SOUPS 1755568 WITH SCORE 1774294.692
AT ITER 3340 NEW BEST:: SOT 35811458 SOS 18726691 HAS SOPS 18726691 HAS SOUS 1755567 HAS SOUPS 1755567 WITH SCORE 1774293.691
AT ITER 3368 NEW BEST:: SOT 35810927 SOS 18726075 HAS SOPS 18726075 HAS SOUS 1754886 HAS SOUPS 1754886 WITH SCORE 1773612.075
AT ITER 3371 NEW BEST:: SOT 35810953 SOS 18725730 HAS SOPS 18725730 HAS SOUS 1754449 HAS SOUPS 1754449 WITH SCORE 1773174.73
AT ITER 3372 NEW BEST:: SOT 35810874 SOS 18725665 HAS SOPS 18725665 HAS SOUS 1754384 HAS SOUPS 1754384 WITH SCORE 1773109.665
AT ITER 3373 NEW BEST:: SOT 35810874 SOS 18726039 HAS SOPS 18726039 HAS SOUS 1754354 HAS SOUPS 1754354 WITH SCORE 1773080.039
AT ITER 3386 NEW BEST:: SOT 35810776 SOS 18726039 HAS SOPS 18726039 HAS SOUS 1753668 HAS SOUPS 1753668 WITH SCORE 1772394.039
AT ITER 3389 NEW BEST:: SOT 35810831 SOS 18725709 HAS SOPS 18725709 HAS SOUS 1753668 HAS SOUPS 1753668 WITH SCORE 1772393.709
AT ITER 3398 NEW BEST:: SOT 35809065 SOS 18748987 HAS SOPS 18748987 HAS SOUS 1753479 HAS SOUPS 1753479 WITH SCORE 1772227.987
AT ITER 3403 NEW BEST:: SOT 35809021 SOS 18748943 HAS SOPS 18748943 HAS SOUS 1753435 HAS SOUPS 1753435 WITH SCORE 1772183.943
AT ITER 3408 NEW BEST:: SOT 35808797 SOS 18749269 HAS SOPS 18749269 HAS SOUS 1753100 HAS SOUPS 1753100 WITH SCORE 1771849.269
AT ITER 3409 NEW BEST:: SOT 35808797 SOS 18749205 HAS SOPS 18749205 HAS SOUS 1753093 HAS SOUPS 1753093 WITH SCORE 1771842.205
AT ITER 3411 NEW BEST:: SOT 35808797 SOS 18749205 HAS SOPS 18749205 HAS SOUS 1753077 HAS SOUPS 1753077 WITH SCORE 1771826.205
AT ITER 3420 NEW BEST:: SOT 35808687 SOS 18749095 HAS SOPS 18749095 HAS SOUS 1753018 HAS SOUPS 1753018 WITH SCORE 1771767.095
AT ITER 3423 NEW BEST:: SOT 35808326 SOS 18748734 HAS SOPS 18748734 HAS SOUS 1568849 HAS SOUPS 1568849 WITH SCORE 1587597.734
AT ITER 3424 NEW BEST:: SOT 35808253 SOS 18748716 HAS SOPS 18748716 HAS SOUS 1568764 HAS SOUPS 1568764 WITH SCORE 1587512.716
AT ITER 3427 NEW BEST:: SOT 35808253 SOS 18748716 HAS SOPS 18748716 HAS SOUS 1568763 HAS SOUPS 1568763 WITH SCORE 1587511.716

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="StateSpace"
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 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 r033-smll-158901926000360"
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 [ "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 ;