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.r451-smll-167912643800680.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 StigmergyElection-PT-09b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643800680
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 38M
-rw-r--r-- 1 mcc users 6.9K Feb 26 16:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 16:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 16:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 26 16:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 17:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 16:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 16:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 16:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 16:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 37M Mar 5 18:23 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 1679346379982

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=StigmergyElection-PT-09b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 09b
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: 1243 places, 41210 transitions, 720585 arcs.
AT ITER 0 NEW BEST:: SOT 45438643 SOS 7390399 HAS SOPS 7390399 HAS SOUS 4646101 HAS SOUPS 4646101 WITH SCORE 4653491.399
AT ITER 2 NEW BEST:: SOT 45439396 SOS 7391653 HAS SOPS 7391653 HAS SOUS 4644330 HAS SOUPS 4644330 WITH SCORE 4651721.653
AT ITER 6 NEW BEST:: SOT 45439395 SOS 7391651 HAS SOPS 7391651 HAS SOUS 4644328 HAS SOUPS 4644328 WITH SCORE 4651719.651
AT ITER 11 NEW BEST:: SOT 45439395 SOS 7391625 HAS SOPS 7391625 HAS SOUS 4644328 HAS SOUPS 4644328 WITH SCORE 4651719.625
AT ITER 12 NEW BEST:: SOT 45403436 SOS 7688322 HAS SOPS 7688322 HAS SOUS 4619997 HAS SOUPS 4619997 WITH SCORE 4627685.322
AT ITER 44 NEW BEST:: SOT 45403346 SOS 7710638 HAS SOPS 7710638 HAS SOUS 4619918 HAS SOUPS 4619918 WITH SCORE 4627628.638
AT ITER 45 NEW BEST:: SOT 45403346 SOS 7710638 HAS SOPS 7710638 HAS SOUS 4619783 HAS SOUPS 4619783 WITH SCORE 4627493.638
AT ITER 46 NEW BEST:: SOT 45403465 SOS 7710702 HAS SOPS 7710702 HAS SOUS 4619489 HAS SOUPS 4619489 WITH SCORE 4627199.702
AT ITER 51 NEW BEST:: SOT 45373289 SOS 13367153 HAS SOPS 13367153 HAS SOUS 4595666 HAS SOUPS 4595666 WITH SCORE 4609033.153
AT ITER 79 NEW BEST:: SOT 45373289 SOS 13367140 HAS SOPS 13367140 HAS SOUS 4595666 HAS SOUPS 4595666 WITH SCORE 4609033.14
AT ITER 92 NEW BEST:: SOT 45373641 SOS 13367816 HAS SOPS 13367816 HAS SOUS 4594594 HAS SOUPS 4594594 WITH SCORE 4607961.816
AT ITER 135 NEW BEST:: SOT 45373524 SOS 13367582 HAS SOPS 13367582 HAS SOUS 4594360 HAS SOUPS 4594360 WITH SCORE 4607727.582
AT ITER 139 NEW BEST:: SOT 45325054 SOS 17655961 HAS SOPS 17655961 HAS SOUS 4551609 HAS SOUPS 4551609 WITH SCORE 4569264.961
AT ITER 143 NEW BEST:: SOT 45324991 SOS 17655835 HAS SOPS 17655835 HAS SOUS 4551483 HAS SOUPS 4551483 WITH SCORE 4569138.835
AT ITER 152 NEW BEST:: SOT 45324990 SOS 17655833 HAS SOPS 17655833 HAS SOUS 4551481 HAS SOUPS 4551481 WITH SCORE 4569136.833
AT ITER 167 NEW BEST:: SOT 45324989 SOS 17655831 HAS SOPS 17655831 HAS SOUS 4551479 HAS SOUPS 4551479 WITH SCORE 4569134.831
AT ITER 185 NEW BEST:: SOT 45324933 SOS 17655719 HAS SOPS 17655719 HAS SOUS 4551367 HAS SOUPS 4551367 WITH SCORE 4569022.719
AT ITER 193 NEW BEST:: SOT 45321762 SOS 17734944 HAS SOPS 17734944 HAS SOUS 4549541 HAS SOUPS 4549541 WITH SCORE 4567275.944
AT ITER 197 NEW BEST:: SOT 45321759 SOS 17734938 HAS SOPS 17734938 HAS SOUS 4549535 HAS SOUPS 4549535 WITH SCORE 4567269.938
AT ITER 206 NEW BEST:: SOT 45321517 SOS 17734454 HAS SOPS 17734454 HAS SOUS 4549051 HAS SOUPS 4549051 WITH SCORE 4566785.454
AT ITER 223 NEW BEST:: SOT 45319014 SOS 17783526 HAS SOPS 17783526 HAS SOUS 4547940 HAS SOUPS 4547940 WITH SCORE 4565723.526
AT ITER 224 NEW BEST:: SOT 45319014 SOS 17783460 HAS SOPS 17783460 HAS SOUS 4547874 HAS SOUPS 4547874 WITH SCORE 4565657.46
AT ITER 238 NEW BEST:: SOT 45319013 SOS 17783458 HAS SOPS 17783458 HAS SOUS 4547872 HAS SOUPS 4547872 WITH SCORE 4565655.458
AT ITER 245 NEW BEST:: SOT 45319012 SOS 17783456 HAS SOPS 17783456 HAS SOUS 4547870 HAS SOUPS 4547870 WITH SCORE 4565653.456
AT ITER 249 NEW BEST:: SOT 45232569 SOS 21113787 HAS SOPS 21113787 HAS SOUS 4515085 HAS SOUPS 4515085 WITH SCORE 4536198.787
AT ITER 252 NEW BEST:: SOT 45228877 SOS 21113975 HAS SOPS 21113975 HAS SOUS 4512176 HAS SOUPS 4512176 WITH SCORE 4533289.975
AT ITER 263 NEW BEST:: SOT 45228768 SOS 21113757 HAS SOPS 21113757 HAS SOUS 4512067 HAS SOUPS 4512067 WITH SCORE 4533180.757
AT ITER 268 NEW BEST:: SOT 45228694 SOS 21113609 HAS SOPS 21113609 HAS SOUS 4511919 HAS SOUPS 4511919 WITH SCORE 4533032.609
AT ITER 270 NEW BEST:: SOT 45228693 SOS 21113607 HAS SOPS 21113607 HAS SOUS 4511917 HAS SOUPS 4511917 WITH SCORE 4533030.607
AT ITER 272 NEW BEST:: SOT 45228492 SOS 21113205 HAS SOPS 21113205 HAS SOUS 4511766 HAS SOUPS 4511766 WITH SCORE 4532879.205
AT ITER 300 NEW BEST:: SOT 45228492 SOS 21113120 HAS SOPS 21113120 HAS SOUS 4511766 HAS SOUPS 4511766 WITH SCORE 4532879.12
AT ITER 306 NEW BEST:: SOT 45129704 SOS 21442934 HAS SOPS 21442934 HAS SOUS 4428420 HAS SOUPS 4428420 WITH SCORE 4449862.934
AT ITER 310 NEW BEST:: SOT 45129694 SOS 21442914 HAS SOPS 21442914 HAS SOUS 4428400 HAS SOUPS 4428400 WITH SCORE 4449842.914
AT ITER 316 NEW BEST:: SOT 45129685 SOS 21442896 HAS SOPS 21442896 HAS SOUS 4428382 HAS SOUPS 4428382 WITH SCORE 4449824.896
AT ITER 318 NEW BEST:: SOT 45129684 SOS 21442894 HAS SOPS 21442894 HAS SOUS 4428380 HAS SOUPS 4428380 WITH SCORE 4449822.894
AT ITER 329 NEW BEST:: SOT 45009969 SOS 24492477 HAS SOPS 24492477 HAS SOUS 4313810 HAS SOUPS 4313810 WITH SCORE 4338302.477
AT ITER 344 NEW BEST:: SOT 44947403 SOS 28497269 HAS SOPS 28497269 HAS SOUS 4294863 HAS SOUPS 4294863 WITH SCORE 4323360.269
AT ITER 363 NEW BEST:: SOT 44891488 SOS 30666392 HAS SOPS 30666392 HAS SOUS 4244469 HAS SOUPS 4244469 WITH SCORE 4275135.392
AT ITER 366 NEW BEST:: SOT 44891426 SOS 30666268 HAS SOPS 30666268 HAS SOUS 4244345 HAS SOUPS 4244345 WITH SCORE 4275011.268
AT ITER 409 NEW BEST:: SOT 44779221 SOS 32477140 HAS SOPS 32477140 HAS SOUS 4176262 HAS SOUPS 4176262 WITH SCORE 4208739.14
AT ITER 450 NEW BEST:: SOT 44778956 SOS 32476610 HAS SOPS 32476610 HAS SOUS 4175732 HAS SOUPS 4175732 WITH SCORE 4208208.61
AT ITER 451 NEW BEST:: SOT 44778837 SOS 32476372 HAS SOPS 32476372 HAS SOUS 4175494 HAS SOUPS 4175494 WITH SCORE 4207970.372
AT ITER 460 NEW BEST:: SOT 44778690 SOS 32476078 HAS SOPS 32476078 HAS SOUS 4175137 HAS SOUPS 4175137 WITH SCORE 4207613.078
AT ITER 462 NEW BEST:: SOT 44778671 SOS 32476058 HAS SOPS 32476058 HAS SOUS 4175117 HAS SOUPS 4175117 WITH SCORE 4207593.058
AT ITER 465 NEW BEST:: SOT 44778512 SOS 32475740 HAS SOPS 32475740 HAS SOUS 4174958 HAS SOUPS 4174958 WITH SCORE 4207433.74
AT ITER 466 NEW BEST:: SOT 44778457 SOS 32475685 HAS SOPS 32475685 HAS SOUS 4174903 HAS SOUPS 4174903 WITH SCORE 4207378.685
AT ITER 470 NEW BEST:: SOT 44778448 SOS 32475667 HAS SOPS 32475667 HAS SOUS 4174885 HAS SOUPS 4174885 WITH SCORE 4207360.667
AT ITER 481 NEW BEST:: SOT 44778448 SOS 32475667 HAS SOPS 32475667 HAS SOUS 4174453 HAS SOUPS 4174453 WITH SCORE 4206928.667
AT ITER 484 NEW BEST:: SOT 44778445 SOS 32475661 HAS SOPS 32475661 HAS SOUS 4174447 HAS SOUPS 4174447 WITH SCORE 4206922.661
AT ITER 499 NEW BEST:: SOT 44778307 SOS 32475385 HAS SOPS 32475385 HAS SOUS 4174309 HAS SOUPS 4174309 WITH SCORE 4206784.385
AT ITER 513 NEW BEST:: SOT 44778119 SOS 32475009 HAS SOPS 32475009 HAS SOUS 4173933 HAS SOUPS 4173933 WITH SCORE 4206408.009
AT ITER 518 NEW BEST:: SOT 44775399 SOS 32494075 HAS SOPS 32494075 HAS SOUS 4173380 HAS SOUPS 4173380 WITH SCORE 4205874.075
AT ITER 519 NEW BEST:: SOT 44775226 SOS 32493902 HAS SOPS 32493902 HAS SOUS 4173207 HAS SOUPS 4173207 WITH SCORE 4205700.902
AT ITER 531 NEW BEST:: SOT 44597115 SOS 33343317 HAS SOPS 33343317 HAS SOUS 4003084 HAS SOUPS 4003084 WITH SCORE 4036427.317
AT ITER 532 NEW BEST:: SOT 44596933 SOS 30744959 HAS SOPS 30744959 HAS SOUS 3998064 HAS SOUPS 3998064 WITH SCORE 4028808.959
AT ITER 539 NEW BEST:: SOT 44596478 SOS 30744323 HAS SOPS 30744323 HAS SOUS 3997428 HAS SOUPS 3997428 WITH SCORE 4028172.323
AT ITER 552 NEW BEST:: SOT 44596478 SOS 30744323 HAS SOPS 30744323 HAS SOUS 3997410 HAS SOUPS 3997410 WITH SCORE 4028154.323
AT ITER 553 NEW BEST:: SOT 44596307 SOS 30743981 HAS SOPS 30743981 HAS SOUS 3997237 HAS SOUPS 3997237 WITH SCORE 4027980.981
AT ITER 561 NEW BEST:: SOT 44596103 SOS 30242841 HAS SOPS 30242841 HAS SOUS 3996466 HAS SOUPS 3996466 WITH SCORE 4026708.841
AT ITER 570 NEW BEST:: SOT 44596027 SOS 30242689 HAS SOPS 30242689 HAS SOUS 3996314 HAS SOUPS 3996314 WITH SCORE 4026556.689
AT ITER 584 NEW BEST:: SOT 44595869 SOS 28843179 HAS SOPS 28843179 HAS SOUS 3993726 HAS SOUPS 3993726 WITH SCORE 4022569.179
AT ITER 594 NEW BEST:: SOT 44595719 SOS 28870587 HAS SOPS 28870587 HAS SOUS 3992586 HAS SOUPS 3992586 WITH SCORE 4021456.587
AT ITER 606 NEW BEST:: SOT 44595718 SOS 28870585 HAS SOPS 28870585 HAS SOUS 3992584 HAS SOUPS 3992584 WITH SCORE 4021454.585
AT ITER 610 NEW BEST:: SOT 44595666 SOS 28870481 HAS SOPS 28870481 HAS SOUS 3992480 HAS SOUPS 3992480 WITH SCORE 4021350.481
AT ITER 613 NEW BEST:: SOT 44590486 SOS 28865301 HAS SOPS 28865301 HAS SOUS 3987304 HAS SOUPS 3987304 WITH SCORE 4016169.301
AT ITER 618 NEW BEST:: SOT 44505792 SOS 29620879 HAS SOPS 29620879 HAS SOUS 3908759 HAS SOUPS 3908759 WITH SCORE 3938379.879
AT ITER 622 NEW BEST:: SOT 44505769 SOS 29620856 HAS SOPS 29620856 HAS SOUS 3908736 HAS SOUPS 3908736 WITH SCORE 3938356.856
AT ITER 632 NEW BEST:: SOT 44505614 SOS 29620546 HAS SOPS 29620546 HAS SOUS 3908580 HAS SOUPS 3908580 WITH SCORE 3938200.546
AT ITER 641 NEW BEST:: SOT 44505614 SOS 29620374 HAS SOPS 29620374 HAS SOUS 3908408 HAS SOUPS 3908408 WITH SCORE 3938028.374
AT ITER 652 NEW BEST:: SOT 44505207 SOS 28993592 HAS SOPS 28993592 HAS SOUS 3903112 HAS SOUPS 3903112 WITH SCORE 3932105.592
AT ITER 666 NEW BEST:: SOT 44505147 SOS 28993412 HAS SOPS 28993412 HAS SOUS 3903041 HAS SOUPS 3903041 WITH SCORE 3932034.412
AT ITER 677 NEW BEST:: SOT 44505146 SOS 28993410 HAS SOPS 28993410 HAS SOUS 3903039 HAS SOUPS 3903039 WITH SCORE 3932032.41
AT ITER 704 NEW BEST:: SOT 44505136 SOS 28993390 HAS SOPS 28993390 HAS SOUS 3902713 HAS SOUPS 3902713 WITH SCORE 3931706.39
AT ITER 716 NEW BEST:: SOT 44505110 SOS 28993338 HAS SOPS 28993338 HAS SOUS 3902661 HAS SOUPS 3902661 WITH SCORE 3931654.338
AT ITER 729 NEW BEST:: SOT 44505010 SOS 28993238 HAS SOPS 28993238 HAS SOUS 3902561 HAS SOUPS 3902561 WITH SCORE 3931554.238
AT ITER 750 NEW BEST:: SOT 44504944 SOS 28993106 HAS SOPS 28993106 HAS SOUS 3902495 HAS SOUPS 3902495 WITH SCORE 3931488.106
AT ITER 771 NEW BEST:: SOT 44504878 SOS 28992974 HAS SOPS 28992974 HAS SOUS 3902328 HAS SOUPS 3902328 WITH SCORE 3931320.974
AT ITER 772 NEW BEST:: SOT 44219998 SOS 30506085 HAS SOPS 30506085 HAS SOUS 3634380 HAS SOUPS 3634380 WITH SCORE 3664886.085
AT ITER 798 NEW BEST:: SOT 44219937 SOS 30505963 HAS SOPS 30505963 HAS SOUS 3634319 HAS SOUPS 3634319 WITH SCORE 3664824.963
AT ITER 800 NEW BEST:: SOT 44219936 SOS 30505961 HAS SOPS 30505961 HAS SOUS 3634317 HAS SOUPS 3634317 WITH SCORE 3664822.961
AT ITER 801 NEW BEST:: SOT 44219643 SOS 29504215 HAS SOPS 29504215 HAS SOUS 3632346 HAS SOUPS 3632346 WITH SCORE 3661850.215
AT ITER 808 NEW BEST:: SOT 44219577 SOS 29504149 HAS SOPS 29504149 HAS SOUS 3632218 HAS SOUPS 3632218 WITH SCORE 3661722.149
AT ITER 816 NEW BEST:: SOT 44219594 SOS 29504183 HAS SOPS 29504183 HAS SOUS 3631984 HAS SOUPS 3631984 WITH SCORE 3661488.183
AT ITER 818 NEW BEST:: SOT 44219571 SOS 29504137 HAS SOPS 29504137 HAS SOUS 3631938 HAS SOUPS 3631938 WITH SCORE 3661442.137
AT ITER 831 NEW BEST:: SOT 44219456 SOS 29503907 HAS SOPS 29503907 HAS SOUS 3631708 HAS SOUPS 3631708 WITH SCORE 3661211.907
AT ITER 843 NEW BEST:: SOT 44219456 SOS 29503900 HAS SOPS 29503900 HAS SOUS 3631701 HAS SOUPS 3631701 WITH SCORE 3661204.9
AT ITER 855 NEW BEST:: SOT 44219402 SOS 29503792 HAS SOPS 29503792 HAS SOUS 3631593 HAS SOUPS 3631593 WITH SCORE 3661096.792
AT ITER 859 NEW BEST:: SOT 44219218 SOS 29503424 HAS SOPS 29503424 HAS SOUS 3631409 HAS SOUPS 3631409 WITH SCORE 3660912.424
AT ITER 875 NEW BEST:: SOT 44219218 SOS 29503310 HAS SOPS 29503310 HAS SOUS 3631295 HAS SOUPS 3631295 WITH SCORE 3660798.31
AT ITER 901 NEW BEST:: SOT 44215330 SOS 29526525 HAS SOPS 29526525 HAS SOUS 3628830 HAS SOUPS 3628830 WITH SCORE 3658356.525
AT ITER 902 NEW BEST:: SOT 44215330 SOS 29526525 HAS SOPS 29526525 HAS SOUS 3628635 HAS SOUPS 3628635 WITH SCORE 3658161.525
AT ITER 958 NEW BEST:: SOT 44212345 SOS 29540083 HAS SOPS 29540083 HAS SOUS 3627919 HAS SOUPS 3627919 WITH SCORE 3657459.083
AT ITER 960 NEW BEST:: SOT 43963477 SOS 30604522 HAS SOPS 30604522 HAS SOUS 3587861 HAS SOUPS 3587861 WITH SCORE 3618465.522
AT ITER 963 NEW BEST:: SOT 43963238 SOS 30604283 HAS SOPS 30604283 HAS SOUS 3587622 HAS SOUPS 3587622 WITH SCORE 3618226.283
AT ITER 984 NEW BEST:: SOT 43962980 SOS 30248663 HAS SOPS 30248663 HAS SOUS 3580161 HAS SOUPS 3580161 WITH SCORE 3610409.663
AT ITER 1003 NEW BEST:: SOT 43962581 SOS 30248131 HAS SOPS 30248131 HAS SOUS 3579629 HAS SOUPS 3579629 WITH SCORE 3609877.131
AT ITER 1025 NEW BEST:: SOT 43962531 SOS 30248081 HAS SOPS 30248081 HAS SOUS 3579579 HAS SOUPS 3579579 WITH SCORE 3609827.081
AT ITER 1039 NEW BEST:: SOT 43938754 SOS 30292623 HAS SOPS 30292623 HAS SOUS 3560249 HAS SOUPS 3560249 WITH SCORE 3590541.623
AT ITER 1041 NEW BEST:: SOT 43938657 SOS 30284669 HAS SOPS 30284669 HAS SOUS 3559764 HAS SOUPS 3559764 WITH SCORE 3590048.669
AT ITER 1064 NEW BEST:: SOT 43938651 SOS 30284657 HAS SOPS 30284657 HAS SOUS 3559752 HAS SOUPS 3559752 WITH SCORE 3590036.657
AT ITER 1075 NEW BEST:: SOT 43938451 SOS 30284257 HAS SOPS 30284257 HAS SOUS 3559078 HAS SOUPS 3559078 WITH SCORE 3589362.257
AT ITER 1087 NEW BEST:: SOT 43938450 SOS 30284255 HAS SOPS 30284255 HAS SOUS 3559076 HAS SOUPS 3559076 WITH SCORE 3589360.255
AT ITER 1105 NEW BEST:: SOT 43932976 SOS 30283467 HAS SOPS 30283467 HAS SOUS 3557897 HAS SOUPS 3557897 WITH SCORE 3588180.467
AT ITER 1112 NEW BEST:: SOT 43932916 SOS 30205587 HAS SOPS 30205587 HAS SOUS 3556877 HAS SOUPS 3556877 WITH SCORE 3587082.587
AT ITER 1115 NEW BEST:: SOT 43451218 SOS 30546253 HAS SOPS 30546253 HAS SOUS 3286662 HAS SOUPS 3286662 WITH SCORE 3317208.253
AT ITER 1126 NEW BEST:: SOT 43451116 SOS 30546117 HAS SOPS 30546117 HAS SOUS 3286526 HAS SOUPS 3286526 WITH SCORE 3317072.117
AT ITER 1179 NEW BEST:: SOT 43450978 SOS 30545841 HAS SOPS 30545841 HAS SOUS 3286250 HAS SOUPS 3286250 WITH SCORE 3316795.841
AT ITER 1181 NEW BEST:: SOT 43450722 SOS 29732953 HAS SOPS 29732953 HAS SOUS 3275535 HAS SOUPS 3275535 WITH SCORE 3305267.953
AT ITER 1191 NEW BEST:: SOT 43450602 SOS 29732713 HAS SOPS 29732713 HAS SOUS 3275295 HAS SOUPS 3275295 WITH SCORE 3305027.713
AT ITER 1194 NEW BEST:: SOT 43450475 SOS 29732459 HAS SOPS 29732459 HAS SOUS 3275041 HAS SOUPS 3275041 WITH SCORE 3304773.459
AT ITER 1218 NEW BEST:: SOT 43450452 SOS 29732413 HAS SOPS 29732413 HAS SOUS 3274995 HAS SOUPS 3274995 WITH SCORE 3304727.413
AT ITER 1219 NEW BEST:: SOT 43450330 SOS 29732169 HAS SOPS 29732169 HAS SOUS 3274751 HAS SOUPS 3274751 WITH SCORE 3304483.169
AT ITER 1224 NEW BEST:: SOT 43450121 SOS 29731751 HAS SOPS 29731751 HAS SOUS 3274333 HAS SOUPS 3274333 WITH SCORE 3304064.751
AT ITER 1242 NEW BEST:: SOT 43449909 SOS 29731327 HAS SOPS 29731327 HAS SOUS 3274121 HAS SOUPS 3274121 WITH SCORE 3303852.327
AT ITER 1257 NEW BEST:: SOT 43449909 SOS 29731327 HAS SOPS 29731327 HAS SOUS 3274075 HAS SOUPS 3274075 WITH SCORE 3303806.327
AT ITER 1267 NEW BEST:: SOT 43449820 SOS 29731238 HAS SOPS 29731238 HAS SOUS 3273986 HAS SOUPS 3273986 WITH SCORE 3303717.238
AT ITER 1273 NEW BEST:: SOT 43449819 SOS 29731236 HAS SOPS 29731236 HAS SOUS 3273984 HAS SOUPS 3273984 WITH SCORE 3303715.236
AT ITER 1279 NEW BEST:: SOT 43449763 SOS 29731124 HAS SOPS 29731124 HAS SOUS 3273872 HAS SOUPS 3273872 WITH SCORE 3303603.124
AT ITER 1297 NEW BEST:: SOT 43449849 SOS 29731296 HAS SOPS 29731296 HAS SOUS 3273709 HAS SOUPS 3273709 WITH SCORE 3303440.296
AT ITER 1304 NEW BEST:: SOT 43449625 SOS 29730848 HAS SOPS 29730848 HAS SOUS 3273587 HAS SOUPS 3273587 WITH SCORE 3303317.848
AT ITER 1309 NEW BEST:: SOT 43449541 SOS 29730680 HAS SOPS 29730680 HAS SOUS 3273280 HAS SOUPS 3273280 WITH SCORE 3303010.68
AT ITER 1317 NEW BEST:: SOT 43449539 SOS 29730676 HAS SOPS 29730676 HAS SOUS 3273278 HAS SOUPS 3273278 WITH SCORE 3303008.676
AT ITER 1330 NEW BEST:: SOT 43449538 SOS 29730674 HAS SOPS 29730674 HAS SOUS 3273276 HAS SOUPS 3273276 WITH SCORE 3303006.674
AT ITER 1331 NEW BEST:: SOT 43449290 SOS 28600390 HAS SOPS 28600390 HAS SOUS 3268844 HAS SOUPS 3268844 WITH SCORE 3297444.39
AT ITER 1365 NEW BEST:: SOT 43449289 SOS 28600472 HAS SOPS 28600472 HAS SOUS 3268842 HAS SOUPS 3268842 WITH SCORE 3297442.472
AT ITER 1374 NEW BEST:: SOT 43449000 SOS 28599894 HAS SOPS 28599894 HAS SOUS 3268482 HAS SOUPS 3268482 WITH SCORE 3297081.894
AT ITER 1384 NEW BEST:: SOT 43448953 SOS 28599847 HAS SOPS 28599847 HAS SOUS 3268457 HAS SOUPS 3268457 WITH SCORE 3297056.847
AT ITER 1397 NEW BEST:: SOT 43448109 SOS 28598807 HAS SOPS 28598807 HAS SOUS 3267417 HAS SOUPS 3267417 WITH SCORE 3296015.807
AT ITER 1417 NEW BEST:: SOT 43447511 SOS 28598683 HAS SOPS 28598683 HAS SOUS 3266568 HAS SOUPS 3266568 WITH SCORE 3295166.683
AT ITER 1487 NEW BEST:: SOT 43447485 SOS 28598631 HAS SOPS 28598631 HAS SOUS 3266516 HAS SOUPS 3266516 WITH SCORE 3295114.631
AT ITER 1509 NEW BEST:: SOT 43447469 SOS 28598599 HAS SOPS 28598599 HAS SOUS 3266484 HAS SOUPS 3266484 WITH SCORE 3295082.599
AT ITER 1512 NEW BEST:: SOT 43447340 SOS 28598341 HAS SOPS 28598341 HAS SOUS 3266355 HAS SOUPS 3266355 WITH SCORE 3294953.341
AT ITER 1542 NEW BEST:: SOT 43447315 SOS 28598291 HAS SOPS 28598291 HAS SOUS 3266330 HAS SOUPS 3266330 WITH SCORE 3294928.291
AT ITER 1583 NEW BEST:: SOT 43447174 SOS 27094811 HAS SOPS 27094811 HAS SOUS 3265403 HAS SOUPS 3265403 WITH SCORE 3292497.811
AT ITER 1593 NEW BEST:: SOT 43446983 SOS 27094429 HAS SOPS 27094429 HAS SOUS 3265212 HAS SOUPS 3265212 WITH SCORE 3292306.429
AT ITER 1595 NEW BEST:: SOT 43446983 SOS 27094364 HAS SOPS 27094364 HAS SOUS 3265147 HAS SOUPS 3265147 WITH SCORE 3292241.364
AT ITER 1604 NEW BEST:: SOT 43446963 SOS 27094421 HAS SOPS 27094421 HAS SOUS 3265136 HAS SOUPS 3265136 WITH SCORE 3292230.421
AT ITER 1607 NEW BEST:: SOT 43446915 SOS 27094325 HAS SOPS 27094325 HAS SOUS 3265067 HAS SOUPS 3265067 WITH SCORE 3292161.325
AT ITER 1609 NEW BEST:: SOT 43446835 SOS 27089966 HAS SOPS 27089966 HAS SOUS 3262572 HAS SOUPS 3262572 WITH SCORE 3289661.966
AT ITER 1614 NEW BEST:: SOT 43448105 SOS 27067674 HAS SOPS 27067674 HAS SOUS 3260783 HAS SOUPS 3260783 WITH SCORE 3287850.674
AT ITER 1628 NEW BEST:: SOT 43516293 SOS 27107339 HAS SOPS 27107339 HAS SOUS 3253264 HAS SOUPS 3253264 WITH SCORE 3280371.339
AT ITER 1644 NEW BEST:: SOT 43516192 SOS 27107137 HAS SOPS 27107137 HAS SOUS 3253062 HAS SOUPS 3253062 WITH SCORE 3280169.137
AT ITER 1658 NEW BEST:: SOT 43516191 SOS 27107135 HAS SOPS 27107135 HAS SOUS 3253060 HAS SOUPS 3253060 WITH SCORE 3280167.135
AT ITER 1667 NEW BEST:: SOT 43516191 SOS 27107085 HAS SOPS 27107085 HAS SOUS 3253010 HAS SOUPS 3253010 WITH SCORE 3280117.085
AT ITER 1681 NEW BEST:: SOT 43516172 SOS 27107028 HAS SOPS 27107028 HAS SOUS 3252991 HAS SOUPS 3252991 WITH SCORE 3280098.028
AT ITER 1686 NEW BEST:: SOT 43516172 SOS 27106930 HAS SOPS 27106930 HAS SOUS 3252991 HAS SOUPS 3252991 WITH SCORE 3280097.93
AT ITER 1698 NEW BEST:: SOT 43516163 SOS 27106912 HAS SOPS 27106912 HAS SOUS 3252973 HAS SOUPS 3252973 WITH SCORE 3280079.912
AT ITER 1727 NEW BEST:: SOT 43515526 SOS 27106144 HAS SOPS 27106144 HAS SOUS 3252205 HAS SOUPS 3252205 WITH SCORE 3279311.144
AT ITER 1736 NEW BEST:: SOT 43533759 SOS 26159513 HAS SOPS 26159513 HAS SOUS 3250166 HAS SOUPS 3250166 WITH SCORE 3276325.513
AT ITER 1765 NEW BEST:: SOT 43533549 SOS 26159093 HAS SOPS 26159093 HAS SOUS 3249746 HAS SOUPS 3249746 WITH SCORE 3275905.093
AT ITER 1772 NEW BEST:: SOT 43533447 SOS 26159014 HAS SOPS 26159014 HAS SOUS 3249655 HAS SOUPS 3249655 WITH SCORE 3275814.014
AT ITER 1784 NEW BEST:: SOT 43533458 SOS 26159036 HAS SOPS 26159036 HAS SOUS 3249524 HAS SOUPS 3249524 WITH SCORE 3275683.036
AT ITER 1790 NEW BEST:: SOT 43533455 SOS 26159030 HAS SOPS 26159030 HAS SOUS 3249518 HAS SOUPS 3249518 WITH SCORE 3275677.03
AT ITER 1810 NEW BEST:: SOT 43533455 SOS 26159030 HAS SOPS 26159030 HAS SOUS 3249513 HAS SOUPS 3249513 WITH SCORE 3275672.03
AT ITER 1836 NEW BEST:: SOT 43533454 SOS 26159028 HAS SOPS 26159028 HAS SOUS 3249511 HAS SOUPS 3249511 WITH SCORE 3275670.028
AT ITER 1837 NEW BEST:: SOT 42911587 SOS 26033067 HAS SOPS 26033067 HAS SOUS 2653663 HAS SOUPS 2653663 WITH SCORE 2679696.067
AT ITER 1841 NEW BEST:: SOT 42911587 SOS 26032677 HAS SOPS 26032677 HAS SOUS 2653567 HAS SOUPS 2653567 WITH SCORE 2679599.677
AT ITER 1873 NEW BEST:: SOT 42911521 SOS 26032545 HAS SOPS 26032545 HAS SOUS 2653435 HAS SOUPS 2653435 WITH SCORE 2679467.545
AT ITER 1874 NEW BEST:: SOT 42911296 SOS 26032095 HAS SOPS 26032095 HAS SOUS 2653168 HAS SOUPS 2653168 WITH SCORE 2679200.095
AT ITER 1889 NEW BEST:: SOT 42911223 SOS 26031905 HAS SOPS 26031905 HAS SOUS 2653059 HAS SOUPS 2653059 WITH SCORE 2679090.905
AT ITER 1894 NEW BEST:: SOT 42911125 SOS 26031709 HAS SOPS 26031709 HAS SOUS 2652863 HAS SOUPS 2652863 WITH SCORE 2678894.709
AT ITER 1912 NEW BEST:: SOT 42911208 SOS 26031875 HAS SOPS 26031875 HAS SOUS 2652738 HAS SOUPS 2652738 WITH SCORE 2678769.875
AT ITER 1937 NEW BEST:: SOT 42911208 SOS 26031828 HAS SOPS 26031828 HAS SOUS 2652691 HAS SOUPS 2652691 WITH SCORE 2678722.828
AT ITER 1942 NEW BEST:: SOT 42911112 SOS 26031762 HAS SOPS 26031762 HAS SOUS 2652625 HAS SOUPS 2652625 WITH SCORE 2678656.762
AT ITER 1947 NEW BEST:: SOT 42911112 SOS 26138450 HAS SOPS 26138450 HAS SOUS 2635536 HAS SOUPS 2635536 WITH SCORE 2661674.45
AT ITER 1960 NEW BEST:: SOT 42911112 SOS 26138372 HAS SOPS 26138372 HAS SOUS 2635458 HAS SOUPS 2635458 WITH SCORE 2661596.372
AT ITER 1969 NEW BEST:: SOT 42911089 SOS 26138326 HAS SOPS 26138326 HAS SOUS 2635412 HAS SOUPS 2635412 WITH SCORE 2661550.326
AT ITER 1974 NEW BEST:: SOT 42911050 SOS 26138248 HAS SOPS 26138248 HAS SOUS 2635334 HAS SOUPS 2635334 WITH SCORE 2661472.248
AT ITER 1978 NEW BEST:: SOT 42911050 SOS 26138173 HAS SOPS 26138173 HAS SOUS 2635259 HAS SOUPS 2635259 WITH SCORE 2661397.173
AT ITER 1979 NEW BEST:: SOT 42911050 SOS 26138091 HAS SOPS 26138091 HAS SOUS 2635259 HAS SOUPS 2635259 WITH SCORE 2661397.091
AT ITER 1993 NEW BEST:: SOT 42910602 SOS 26137195 HAS SOPS 26137195 HAS SOUS 2634625 HAS SOUPS 2634625 WITH SCORE 2660762.195
AT ITER 2004 NEW BEST:: SOT 42911324 SOS 26135535 HAS SOPS 26135535 HAS SOUS 2634449 HAS SOUPS 2634449 WITH SCORE 2660584.535
AT ITER 2013 NEW BEST:: SOT 42911099 SOS 26135085 HAS SOPS 26135085 HAS SOUS 2633999 HAS SOUPS 2633999 WITH SCORE 2660134.085
AT ITER 2017 NEW BEST:: SOT 42911096 SOS 26135079 HAS SOPS 26135079 HAS SOUS 2633993 HAS SOUPS 2633993 WITH SCORE 2660128.079
AT ITER 2024 NEW BEST:: SOT 42910934 SOS 24437095 HAS SOPS 24437095 HAS SOUS 2632528 HAS SOUPS 2632528 WITH SCORE 2656965.095
AT ITER 2026 NEW BEST:: SOT 42910961 SOS 24437149 HAS SOPS 24437149 HAS SOUS 2632514 HAS SOUPS 2632514 WITH SCORE 2656951.149
AT ITER 2027 NEW BEST:: SOT 42896983 SOS 24434865 HAS SOPS 24434865 HAS SOUS 2624400 HAS SOUPS 2624400 WITH SCORE 2648834.865
AT ITER 2040 NEW BEST:: SOT 42896982 SOS 24434863 HAS SOPS 24434863 HAS SOUS 2624392 HAS SOUPS 2624392 WITH SCORE 2648826.863
AT ITER 2046 NEW BEST:: SOT 42895821 SOS 24433702 HAS SOPS 24433702 HAS SOUS 2622259 HAS SOUPS 2622259 WITH SCORE 2646692.702
AT ITER 2053 NEW BEST:: SOT 42895728 SOS 24433516 HAS SOPS 24433516 HAS SOUS 2622073 HAS SOUPS 2622073 WITH SCORE 2646506.516
AT ITER 2054 NEW BEST:: SOT 42895664 SOS 24433388 HAS SOPS 24433388 HAS SOUS 2621927 HAS SOUPS 2621927 WITH SCORE 2646360.388
AT ITER 2066 NEW BEST:: SOT 42895505 SOS 24433070 HAS SOPS 24433070 HAS SOUS 2621768 HAS SOUPS 2621768 WITH SCORE 2646201.07
AT ITER 2067 NEW BEST:: SOT 42895518 SOS 24433096 HAS SOPS 24433096 HAS SOUS 2621654 HAS SOUPS 2621654 WITH SCORE 2646087.096
AT ITER 2074 NEW BEST:: SOT 42895506 SOS 24433072 HAS SOPS 24433072 HAS SOUS 2621630 HAS SOUPS 2621630 WITH SCORE 2646063.072
AT ITER 2079 NEW BEST:: SOT 42895317 SOS 24432694 HAS SOPS 24432694 HAS SOUS 2621245 HAS SOUPS 2621245 WITH SCORE 2645677.694
AT ITER 2084 NEW BEST:: SOT 42892134 SOS 24429624 HAS SOPS 24429624 HAS SOUS 2618175 HAS SOUPS 2618175 WITH SCORE 2642604.624
AT ITER 2089 NEW BEST:: SOT 42892076 SOS 24429508 HAS SOPS 24429508 HAS SOUS 2618059 HAS SOUPS 2618059 WITH SCORE 2642488.508
AT ITER 2119 NEW BEST:: SOT 42892063 SOS 24429482 HAS SOPS 24429482 HAS SOUS 2618033 HAS SOUPS 2618033 WITH SCORE 2642462.482
AT ITER 2127 NEW BEST:: SOT 42891875 SOS 24429106 HAS SOPS 24429106 HAS SOUS 2617657 HAS SOUPS 2617657 WITH SCORE 2642086.106
AT ITER 2143 NEW BEST:: SOT 42673072 SOS 24954913 HAS SOPS 24954913 HAS SOUS 2408420 HAS SOUPS 2408420 WITH SCORE 2433374.913
AT ITER 2155 NEW BEST:: SOT 42672989 SOS 24950577 HAS SOPS 24950577 HAS SOUS 2407025 HAS SOUPS 2407025 WITH SCORE 2431975.577
AT ITER 2158 NEW BEST:: SOT 42673023 SOS 24950645 HAS SOPS 24950645 HAS SOUS 2406951 HAS SOUPS 2406951 WITH SCORE 2431901.645
AT ITER 2160 NEW BEST:: SOT 42342026 SOS 26929372 HAS SOPS 26929372 HAS SOUS 2089534 HAS SOUPS 2089534 WITH SCORE 2116463.372
AT ITER 2162 NEW BEST:: SOT 42341991 SOS 26929302 HAS SOPS 26929302 HAS SOUS 2089464 HAS SOUPS 2089464 WITH SCORE 2116393.302
AT ITER 2171 NEW BEST:: SOT 42341951 SOS 26929222 HAS SOPS 26929222 HAS SOUS 2089445 HAS SOUPS 2089445 WITH SCORE 2116374.222
AT ITER 2173 NEW BEST:: SOT 42341779 SOS 26929158 HAS SOPS 26929158 HAS SOUS 2089255 HAS SOUPS 2089255 WITH SCORE 2116184.158
AT ITER 2195 NEW BEST:: SOT 42341779 SOS 26929158 HAS SOPS 26929158 HAS SOUS 2086624 HAS SOUPS 2086624 WITH SCORE 2113553.158
AT ITER 2197 NEW BEST:: SOT 42341637 SOS 26928874 HAS SOPS 26928874 HAS SOUS 2086525 HAS SOUPS 2086525 WITH SCORE 2113453.874
AT ITER 2205 NEW BEST:: SOT 42341579 SOS 26928857 HAS SOPS 26928857 HAS SOUS 2086483 HAS SOUPS 2086483 WITH SCORE 2113411.857
AT ITER 2218 NEW BEST:: SOT 42341443 SOS 26928585 HAS SOPS 26928585 HAS SOUS 2086211 HAS SOUPS 2086211 WITH SCORE 2113139.585
AT ITER 2226 NEW BEST:: SOT 42341443 SOS 26928504 HAS SOPS 26928504 HAS SOUS 2086049 HAS SOUPS 2086049 WITH SCORE 2112977.504
AT ITER 2227 NEW BEST:: SOT 42341314 SOS 26928246 HAS SOPS 26928246 HAS SOUS 2085791 HAS SOUPS 2085791 WITH SCORE 2112719.246
AT ITER 2233 NEW BEST:: SOT 42290790 SOS 27037244 HAS SOPS 27037244 HAS SOUS 2084027 HAS SOUPS 2084027 WITH SCORE 2111064.244
AT ITER 2238 NEW BEST:: SOT 42290665 SOS 27036777 HAS SOPS 27036777 HAS SOUS 2083685 HAS SOUPS 2083685 WITH SCORE 2110721.777
AT ITER 2254 NEW BEST:: SOT 42270711 SOS 27043853 HAS SOPS 27043853 HAS SOUS 2066813 HAS SOUPS 2066813 WITH SCORE 2093856.853
AT ITER 2262 NEW BEST:: SOT 42270627 SOS 27043685 HAS SOPS 27043685 HAS SOUS 2066729 HAS SOUPS 2066729 WITH SCORE 2093772.685
AT ITER 2277 NEW BEST:: SOT 42270608 SOS 27043647 HAS SOPS 27043647 HAS SOUS 2066710 HAS SOUPS 2066710 WITH SCORE 2093753.647
AT ITER 2278 NEW BEST:: SOT 42270566 SOS 27043563 HAS SOPS 27043563 HAS SOUS 2066626 HAS SOUPS 2066626 WITH SCORE 2093669.563
AT ITER 2284 NEW BEST:: SOT 42270543 SOS 27043540 HAS SOPS 27043540 HAS SOUS 2066603 HAS SOUPS 2066603 WITH SCORE 2093646.54
AT ITER 2293 NEW BEST:: SOT 42270488 SOS 27043485 HAS SOPS 27043485 HAS SOUS 2066548 HAS SOUPS 2066548 WITH SCORE 2093591.485
AT ITER 2317 NEW BEST:: SOT 42222008 SOS 28199077 HAS SOPS 28199077 HAS SOUS 2021612 HAS SOUPS 2021612 WITH SCORE 2049811.077
AT ITER 2321 NEW BEST:: SOT 42222000 SOS 28199061 HAS SOPS 28199061 HAS SOUS 2021596 HAS SOUPS 2021596 WITH SCORE 2049795.061
AT ITER 2324 NEW BEST:: SOT 42064633 SOS 28108970 HAS SOPS 28108970 HAS SOUS 1983540 HAS SOUPS 1983540 WITH SCORE 2011648.97
AT ITER 2326 NEW BEST:: SOT 42064589 SOS 28108882 HAS SOPS 28108882 HAS SOUS 1983452 HAS SOUPS 1983452 WITH SCORE 2011560.882
AT ITER 2354 NEW BEST:: SOT 42064695 SOS 28109094 HAS SOPS 28109094 HAS SOUS 1983447 HAS SOUPS 1983447 WITH SCORE 2011556.094
AT ITER 2356 NEW BEST:: SOT 42063102 SOS 28108466 HAS SOPS 28108466 HAS SOUS 1982214 HAS SOUPS 1982214 WITH SCORE 2010322.466
AT ITER 2364 NEW BEST:: SOT 42056107 SOS 28101328 HAS SOPS 28101328 HAS SOUS 1975076 HAS SOUPS 1975076 WITH SCORE 2003177.328
AT ITER 2369 NEW BEST:: SOT 42056157 SOS 28101295 HAS SOPS 28101295 HAS SOUS 1975043 HAS SOUPS 1975043 WITH SCORE 2003144.295
AT ITER 2372 NEW BEST:: SOT 42056133 SOS 28101293 HAS SOPS 28101293 HAS SOUS 1975041 HAS SOUPS 1975041 WITH SCORE 2003142.293
AT ITER 2374 NEW BEST:: SOT 42056213 SOS 28101252 HAS SOPS 28101252 HAS SOUS 1975000 HAS SOUPS 1975000 WITH SCORE 2003101.252
AT ITER 2383 NEW BEST:: SOT 42051050 SOS 28098889 HAS SOPS 28098889 HAS SOUS 1970138 HAS SOUPS 1970138 WITH SCORE 1998236.889
AT ITER 2388 NEW BEST:: SOT 42050777 SOS 27941044 HAS SOPS 27941044 HAS SOUS 1957234 HAS SOUPS 1957234 WITH SCORE 1985175.044
AT ITER 2406 NEW BEST:: SOT 42050753 SOS 27941020 HAS SOPS 27941020 HAS SOUS 1957210 HAS SOUPS 1957210 WITH SCORE 1985151.02
AT ITER 2423 NEW BEST:: SOT 42050611 SOS 27146200 HAS SOPS 27146200 HAS SOUS 1954826 HAS SOUPS 1954826 WITH SCORE 1981972.2
AT ITER 2424 NEW BEST:: SOT 42050346 SOS 27127718 HAS SOPS 27127718 HAS SOUS 1953362 HAS SOUPS 1953362 WITH SCORE 1980489.718
AT ITER 2426 NEW BEST:: SOT 42050152 SOS 27127330 HAS SOPS 27127330 HAS SOUS 1952861 HAS SOUPS 1952861 WITH SCORE 1979988.33
AT ITER 2446 NEW BEST:: SOT 42050070 SOS 27127166 HAS SOPS 27127166 HAS SOUS 1952697 HAS SOUPS 1952697 WITH SCORE 1979824.166
AT ITER 2498 NEW BEST:: SOT 42049950 SOS 27125006 HAS SOPS 27125006 HAS SOUS 1939649 HAS SOUPS 1939649 WITH SCORE 1966774.006
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15509644 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16114588 kB

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="StigmergyElection-PT-09b"
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 StigmergyElection-PT-09b, 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 r451-smll-167912643800680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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