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-167912643800640.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-07a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643800640
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 5.1K Feb 26 16:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Feb 26 16:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 16:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 16:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 16:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 160K Feb 26 16:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 16:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 94K Feb 26 16:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:14 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 1.8M 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 1679326916047

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-07a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 07a
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: 100 places, 2618 transitions, 34799 arcs.
AT ITER 0 NEW BEST:: SOT 137607 SOS 46801 HAS SOPS 42845 HAS SOUS 6019 HAS SOUPS 5991 WITH SCORE 6037.801
AT ITER 4 NEW BEST:: SOT 137595 SOS 46788 HAS SOPS 42832 HAS SOUS 6014 HAS SOUPS 5986 WITH SCORE 6032.788
AT ITER 6 NEW BEST:: SOT 137631 SOS 46738 HAS SOPS 42782 HAS SOUS 5944 HAS SOUPS 5916 WITH SCORE 5962.738
AT ITER 8 NEW BEST:: SOT 137646 SOS 46723 HAS SOPS 42767 HAS SOUS 5929 HAS SOUPS 5901 WITH SCORE 5947.723
AT ITER 12 NEW BEST:: SOT 137646 SOS 46716 HAS SOPS 42760 HAS SOUS 5929 HAS SOUPS 5901 WITH SCORE 5947.716
AT ITER 16 NEW BEST:: SOT 137641 SOS 46695 HAS SOPS 42739 HAS SOUS 5924 HAS SOUPS 5896 WITH SCORE 5942.695
AT ITER 18 NEW BEST:: SOT 136908 SOS 47270 HAS SOPS 41860 HAS SOUS 5753 HAS SOUPS 5654 WITH SCORE 5701.27
AT ITER 24 NEW BEST:: SOT 136880 SOS 47202 HAS SOPS 41853 HAS SOUS 5734 HAS SOUPS 5635 WITH SCORE 5682.202
AT ITER 27 NEW BEST:: SOT 136849 SOS 47104 HAS SOPS 41791 HAS SOUS 5703 HAS SOUPS 5604 WITH SCORE 5651.104
AT ITER 31 NEW BEST:: SOT 136849 SOS 47097 HAS SOPS 41784 HAS SOUS 5703 HAS SOUPS 5604 WITH SCORE 5651.097
AT ITER 34 NEW BEST:: SOT 136849 SOS 47097 HAS SOPS 41787 HAS SOUS 5701 HAS SOUPS 5602 WITH SCORE 5649.097
AT ITER 37 NEW BEST:: SOT 136918 SOS 47084 HAS SOPS 41842 HAS SOUS 5699 HAS SOUPS 5600 WITH SCORE 5647.084
AT ITER 43 NEW BEST:: SOT 136916 SOS 47066 HAS SOPS 41838 HAS SOUS 5697 HAS SOUPS 5598 WITH SCORE 5645.066
AT ITER 53 NEW BEST:: SOT 136916 SOS 47065 HAS SOPS 41838 HAS SOUS 5697 HAS SOUPS 5598 WITH SCORE 5645.065
AT ITER 56 NEW BEST:: SOT 136908 SOS 47049 HAS SOPS 41822 HAS SOUS 5681 HAS SOUPS 5582 WITH SCORE 5629.049
AT ITER 60 NEW BEST:: SOT 136946 SOS 47007 HAS SOPS 41780 HAS SOUS 5672 HAS SOUPS 5573 WITH SCORE 5620.007
AT ITER 63 NEW BEST:: SOT 136922 SOS 46967 HAS SOPS 41796 HAS SOUS 5648 HAS SOUPS 5549 WITH SCORE 5595.967
AT ITER 65 NEW BEST:: SOT 136907 SOS 46899 HAS SOPS 41766 HAS SOUS 5633 HAS SOUPS 5534 WITH SCORE 5580.899
AT ITER 76 NEW BEST:: SOT 136914 SOS 46892 HAS SOPS 41766 HAS SOUS 5633 HAS SOUPS 5534 WITH SCORE 5580.892
AT ITER 81 NEW BEST:: SOT 136919 SOS 46899 HAS SOPS 41756 HAS SOUS 5614 HAS SOUPS 5512 WITH SCORE 5558.899
AT ITER 90 NEW BEST:: SOT 137049 SOS 46852 HAS SOPS 41764 HAS SOUS 5611 HAS SOUPS 5509 WITH SCORE 5555.852
AT ITER 101 NEW BEST:: SOT 137046 SOS 46817 HAS SOPS 41801 HAS SOUS 5587 HAS SOUPS 5485 WITH SCORE 5531.817
AT ITER 105 NEW BEST:: SOT 137058 SOS 46817 HAS SOPS 41801 HAS SOUS 5575 HAS SOUPS 5473 WITH SCORE 5519.817
AT ITER 107 NEW BEST:: SOT 137157 SOS 46816 HAS SOPS 41807 HAS SOUS 5537 HAS SOUPS 5435 WITH SCORE 5481.816
AT ITER 111 NEW BEST:: SOT 137293 SOS 46838 HAS SOPS 41829 HAS SOUS 5510 HAS SOUPS 5408 WITH SCORE 5454.838
AT ITER 139 NEW BEST:: SOT 137242 SOS 46787 HAS SOPS 41778 HAS SOUS 5477 HAS SOUPS 5375 WITH SCORE 5421.787
AT ITER 162 NEW BEST:: SOT 137223 SOS 46741 HAS SOPS 41768 HAS SOUS 5474 HAS SOUPS 5372 WITH SCORE 5418.741
AT ITER 165 NEW BEST:: SOT 137241 SOS 46738 HAS SOPS 41772 HAS SOUS 5470 HAS SOUPS 5368 WITH SCORE 5414.738
AT ITER 176 NEW BEST:: SOT 137240 SOS 46737 HAS SOPS 41771 HAS SOUS 5470 HAS SOUPS 5368 WITH SCORE 5414.737
AT ITER 189 NEW BEST:: SOT 137238 SOS 46735 HAS SOPS 41767 HAS SOUS 5466 HAS SOUPS 5364 WITH SCORE 5410.735
AT ITER 190 NEW BEST:: SOT 137416 SOS 46716 HAS SOPS 41748 HAS SOUS 5408 HAS SOUPS 5306 WITH SCORE 5352.716
AT ITER 194 NEW BEST:: SOT 137414 SOS 46717 HAS SOPS 41744 HAS SOUS 5404 HAS SOUPS 5302 WITH SCORE 5348.717
AT ITER 207 NEW BEST:: SOT 137426 SOS 46710 HAS SOPS 41749 HAS SOUS 5396 HAS SOUPS 5294 WITH SCORE 5340.71
AT ITER 210 NEW BEST:: SOT 138429 SOS 47681 HAS SOPS 42063 HAS SOUS 5301 HAS SOUPS 5193 WITH SCORE 5240.681
AT ITER 213 NEW BEST:: SOT 138420 SOS 47681 HAS SOPS 42063 HAS SOUS 5292 HAS SOUPS 5184 WITH SCORE 5231.681
AT ITER 218 NEW BEST:: SOT 151477 SOS 60743 HAS SOPS 52388 HAS SOUS 4976 HAS SOUPS 4858 WITH SCORE 4918.743
AT ITER 224 NEW BEST:: SOT 151475 SOS 60737 HAS SOPS 52382 HAS SOUS 4974 HAS SOUPS 4856 WITH SCORE 4916.737
AT ITER 242 NEW BEST:: SOT 151466 SOS 63181 HAS SOPS 54530 HAS SOUS 4968 HAS SOUPS 4849 WITH SCORE 4912.181
AT ITER 249 NEW BEST:: SOT 151462 SOS 63173 HAS SOPS 54522 HAS SOUS 4960 HAS SOUPS 4841 WITH SCORE 4904.173
AT ITER 252 NEW BEST:: SOT 151491 SOS 63161 HAS SOPS 54524 HAS SOUS 4948 HAS SOUPS 4829 WITH SCORE 4892.161
AT ITER 256 NEW BEST:: SOT 151496 SOS 63146 HAS SOPS 54225 HAS SOUS 4904 HAS SOUPS 4785 WITH SCORE 4848.146
AT ITER 271 NEW BEST:: SOT 151474 SOS 63146 HAS SOPS 54225 HAS SOUS 4893 HAS SOUPS 4774 WITH SCORE 4837.146
AT ITER 290 NEW BEST:: SOT 151464 SOS 63136 HAS SOPS 54215 HAS SOUS 4893 HAS SOUPS 4774 WITH SCORE 4837.136
AT ITER 295 NEW BEST:: SOT 151454 SOS 63118 HAS SOPS 54195 HAS SOUS 4889 HAS SOUPS 4770 WITH SCORE 4833.118
AT ITER 304 NEW BEST:: SOT 151456 SOS 63117 HAS SOPS 54195 HAS SOUS 4889 HAS SOUPS 4770 WITH SCORE 4833.117
AT ITER 309 NEW BEST:: SOT 151456 SOS 63106 HAS SOPS 54183 HAS SOUS 4889 HAS SOUPS 4770 WITH SCORE 4833.106
AT ITER 315 NEW BEST:: SOT 151452 SOS 67998 HAS SOPS 56095 HAS SOUS 4883 HAS SOUPS 4762 WITH SCORE 4829.998
AT ITER 316 NEW BEST:: SOT 151448 SOS 68004 HAS SOPS 56087 HAS SOUS 4879 HAS SOUPS 4758 WITH SCORE 4826.004
AT ITER 317 NEW BEST:: SOT 151451 SOS 68002 HAS SOPS 56085 HAS SOUS 4877 HAS SOUPS 4756 WITH SCORE 4824.002
AT ITER 319 NEW BEST:: SOT 151442 SOS 67984 HAS SOPS 56049 HAS SOUS 4859 HAS SOUPS 4738 WITH SCORE 4805.984
AT ITER 322 NEW BEST:: SOT 151446 SOS 67973 HAS SOPS 56038 HAS SOUS 4848 HAS SOUPS 4727 WITH SCORE 4794.973
AT ITER 341 NEW BEST:: SOT 151451 SOS 67969 HAS SOPS 56034 HAS SOUS 4844 HAS SOUPS 4723 WITH SCORE 4790.969
AT ITER 343 NEW BEST:: SOT 151541 SOS 62131 HAS SOPS 52120 HAS SOUS 4595 HAS SOUPS 4477 WITH SCORE 4539.131
AT ITER 368 NEW BEST:: SOT 151542 SOS 62133 HAS SOPS 52122 HAS SOUS 4594 HAS SOUPS 4476 WITH SCORE 4538.133
AT ITER 418 NEW BEST:: SOT 151479 SOS 62112 HAS SOPS 52101 HAS SOUS 4594 HAS SOUPS 4476 WITH SCORE 4538.112
AT ITER 439 NEW BEST:: SOT 151458 SOS 62003 HAS SOPS 52010 HAS SOUS 4579 HAS SOUPS 4461 WITH SCORE 4523.003
AT ITER 456 NEW BEST:: SOT 151609 SOS 62054 HAS SOPS 52061 HAS SOUS 4575 HAS SOUPS 4457 WITH SCORE 4519.054
AT ITER 469 NEW BEST:: SOT 151673 SOS 62084 HAS SOPS 52115 HAS SOUS 4573 HAS SOUPS 4455 WITH SCORE 4517.084
AT ITER 475 NEW BEST:: SOT 151673 SOS 62097 HAS SOPS 51992 HAS SOUS 4554 HAS SOUPS 4436 WITH SCORE 4498.097
AT ITER 477 NEW BEST:: SOT 151685 SOS 62141 HAS SOPS 52016 HAS SOUS 4551 HAS SOUPS 4433 WITH SCORE 4495.141
AT ITER 485 NEW BEST:: SOT 151600 SOS 62061 HAS SOPS 51908 HAS SOUS 4508 HAS SOUPS 4384 WITH SCORE 4446.061
AT ITER 487 NEW BEST:: SOT 151597 SOS 62058 HAS SOPS 51899 HAS SOUS 4505 HAS SOUPS 4381 WITH SCORE 4443.058
AT ITER 508 NEW BEST:: SOT 151615 SOS 62074 HAS SOPS 51915 HAS SOUS 4503 HAS SOUPS 4379 WITH SCORE 4441.074
AT ITER 509 NEW BEST:: SOT 151615 SOS 62074 HAS SOPS 51801 HAS SOUS 4482 HAS SOUPS 4358 WITH SCORE 4420.074
AT ITER 510 NEW BEST:: SOT 151597 SOS 62056 HAS SOPS 51417 HAS SOUS 4439 HAS SOUPS 4315 WITH SCORE 4377.056
AT ITER 511 NEW BEST:: SOT 151563 SOS 62026 HAS SOPS 51390 HAS SOUS 4419 HAS SOUPS 4295 WITH SCORE 4357.026
AT ITER 515 NEW BEST:: SOT 151551 SOS 61971 HAS SOPS 51337 HAS SOUS 4405 HAS SOUPS 4281 WITH SCORE 4342.971
AT ITER 530 NEW BEST:: SOT 151542 SOS 61978 HAS SOPS 51345 HAS SOUS 4401 HAS SOUPS 4277 WITH SCORE 4338.978
AT ITER 537 NEW BEST:: SOT 151565 SOS 61958 HAS SOPS 51325 HAS SOUS 4372 HAS SOUPS 4248 WITH SCORE 4309.958
AT ITER 542 NEW BEST:: SOT 151563 SOS 61956 HAS SOPS 51321 HAS SOUS 4370 HAS SOUPS 4246 WITH SCORE 4307.956
AT ITER 550 NEW BEST:: SOT 151552 SOS 61901 HAS SOPS 50877 HAS SOUS 4213 HAS SOUPS 4089 WITH SCORE 4150.901
AT ITER 562 NEW BEST:: SOT 151554 SOS 61891 HAS SOPS 50853 HAS SOUS 4201 HAS SOUPS 4077 WITH SCORE 4138.891
AT ITER 570 NEW BEST:: SOT 151527 SOS 61837 HAS SOPS 50799 HAS SOUS 4172 HAS SOUPS 4048 WITH SCORE 4109.837
AT ITER 577 NEW BEST:: SOT 151433 SOS 61749 HAS SOPS 50759 HAS SOUS 4121 HAS SOUPS 3997 WITH SCORE 4058.749
AT ITER 580 NEW BEST:: SOT 151365 SOS 61715 HAS SOPS 50697 HAS SOUS 4119 HAS SOUPS 3995 WITH SCORE 4056.715
AT ITER 596 NEW BEST:: SOT 151392 SOS 61739 HAS SOPS 50721 HAS SOUS 4116 HAS SOUPS 3992 WITH SCORE 4053.739
AT ITER 599 NEW BEST:: SOT 151367 SOS 65273 HAS SOPS 54255 HAS SOUS 4097 HAS SOUPS 3973 WITH SCORE 4038.273
AT ITER 602 NEW BEST:: SOT 151318 SOS 65224 HAS SOPS 54191 HAS SOUS 4067 HAS SOUPS 3943 WITH SCORE 4008.224
AT ITER 603 NEW BEST:: SOT 151317 SOS 65222 HAS SOPS 54189 HAS SOUS 4065 HAS SOUPS 3941 WITH SCORE 4006.222
AT ITER 618 NEW BEST:: SOT 151301 SOS 64678 HAS SOPS 53629 HAS SOUS 4052 HAS SOUPS 3928 WITH SCORE 3992.678
AT ITER 624 NEW BEST:: SOT 149329 SOS 62724 HAS SOPS 51761 HAS SOUS 3979 HAS SOUPS 3856 WITH SCORE 3918.724
AT ITER 631 NEW BEST:: SOT 149333 SOS 62718 HAS SOPS 51759 HAS SOUS 3977 HAS SOUPS 3854 WITH SCORE 3916.718
AT ITER 646 NEW BEST:: SOT 149325 SOS 62710 HAS SOPS 51751 HAS SOUS 3977 HAS SOUPS 3854 WITH SCORE 3916.71
AT ITER 647 NEW BEST:: SOT 149325 SOS 62702 HAS SOPS 51743 HAS SOUS 3969 HAS SOUPS 3846 WITH SCORE 3908.702
AT ITER 664 NEW BEST:: SOT 149327 SOS 62654 HAS SOPS 51711 HAS SOUS 3935 HAS SOUPS 3812 WITH SCORE 3874.654
AT ITER 680 NEW BEST:: SOT 149351 SOS 62650 HAS SOPS 51723 HAS SOUS 3923 HAS SOUPS 3800 WITH SCORE 3862.65
AT ITER 728 NEW BEST:: SOT 149349 SOS 62637 HAS SOPS 51729 HAS SOUS 3921 HAS SOUPS 3798 WITH SCORE 3860.637
AT ITER 737 NEW BEST:: SOT 149348 SOS 62637 HAS SOPS 51727 HAS SOUS 3921 HAS SOUPS 3796 WITH SCORE 3858.637
AT ITER 745 NEW BEST:: SOT 149346 SOS 62636 HAS SOPS 51726 HAS SOUS 3921 HAS SOUPS 3796 WITH SCORE 3858.636
AT ITER 754 NEW BEST:: SOT 149323 SOS 62626 HAS SOPS 51716 HAS SOUS 3920 HAS SOUPS 3795 WITH SCORE 3857.626
AT ITER 759 NEW BEST:: SOT 149310 SOS 68414 HAS SOPS 57488 HAS SOUS 3907 HAS SOUPS 3782 WITH SCORE 3850.414
AT ITER 769 NEW BEST:: SOT 149302 SOS 68406 HAS SOPS 57480 HAS SOUS 3903 HAS SOUPS 3778 WITH SCORE 3846.406
AT ITER 829 NEW BEST:: SOT 149304 SOS 68416 HAS SOPS 57470 HAS SOUS 3886 HAS SOUPS 3761 WITH SCORE 3829.416
AT ITER 830 NEW BEST:: SOT 149296 SOS 68713 HAS SOPS 57434 HAS SOUS 3877 HAS SOUPS 3743 WITH SCORE 3811.713
AT ITER 832 NEW BEST:: SOT 149296 SOS 68713 HAS SOPS 57162 HAS SOUS 3653 HAS SOUPS 3519 WITH SCORE 3587.713
AT ITER 840 NEW BEST:: SOT 149310 SOS 68718 HAS SOPS 57172 HAS SOUS 3645 HAS SOUPS 3511 WITH SCORE 3579.718
AT ITER 844 NEW BEST:: SOT 149317 SOS 68712 HAS SOPS 57176 HAS SOUS 3642 HAS SOUPS 3508 WITH SCORE 3576.712
AT ITER 846 NEW BEST:: SOT 149313 SOS 68710 HAS SOPS 57172 HAS SOUS 3642 HAS SOUPS 3508 WITH SCORE 3576.71
AT ITER 848 NEW BEST:: SOT 149303 SOS 68713 HAS SOPS 57174 HAS SOUS 3637 HAS SOUPS 3503 WITH SCORE 3571.713
AT ITER 869 NEW BEST:: SOT 149292 SOS 68691 HAS SOPS 57152 HAS SOUS 3615 HAS SOUPS 3481 WITH SCORE 3549.691
AT ITER 902 NEW BEST:: SOT 149290 SOS 68671 HAS SOPS 57148 HAS SOUS 3613 HAS SOUPS 3479 WITH SCORE 3547.671
AT ITER 906 NEW BEST:: SOT 149303 SOS 68661 HAS SOPS 57138 HAS SOUS 3612 HAS SOUPS 3478 WITH SCORE 3546.661
AT ITER 919 NEW BEST:: SOT 149283 SOS 82001 HAS SOPS 70496 HAS SOUS 3580 HAS SOUPS 3446 WITH SCORE 3528.001
AT ITER 922 NEW BEST:: SOT 149249 SOS 93509 HAS SOPS 70444 HAS SOUS 3546 HAS SOUPS 3404 WITH SCORE 3497.509
AT ITER 933 NEW BEST:: SOT 149237 SOS 85443 HAS SOPS 62392 HAS SOUS 3534 HAS SOUPS 3392 WITH SCORE 3477.443
AT ITER 938 NEW BEST:: SOT 149237 SOS 85437 HAS SOPS 62318 HAS SOUS 3470 HAS SOUPS 3328 WITH SCORE 3413.437
AT ITER 939 NEW BEST:: SOT 149237 SOS 85433 HAS SOPS 62314 HAS SOUS 3468 HAS SOUPS 3326 WITH SCORE 3411.433
AT ITER 942 NEW BEST:: SOT 149230 SOS 85426 HAS SOPS 62314 HAS SOUS 3468 HAS SOUPS 3326 WITH SCORE 3411.426
AT ITER 964 NEW BEST:: SOT 149238 SOS 85450 HAS SOPS 61498 HAS SOUS 3442 HAS SOUPS 3300 WITH SCORE 3385.45
AT ITER 1010 NEW BEST:: SOT 149242 SOS 85439 HAS SOPS 61489 HAS SOUS 3431 HAS SOUPS 3289 WITH SCORE 3374.439
AT ITER 1035 NEW BEST:: SOT 149456 SOS 85489 HAS SOPS 61539 HAS SOUS 3419 HAS SOUPS 3277 WITH SCORE 3362.489
AT ITER 1054 NEW BEST:: SOT 149432 SOS 85487 HAS SOPS 61535 HAS SOUS 3415 HAS SOUPS 3273 WITH SCORE 3358.487
AT ITER 1086 NEW BEST:: SOT 149432 SOS 84595 HAS SOPS 60643 HAS SOUS 3415 HAS SOUPS 3273 WITH SCORE 3357.595
AT ITER 1096 NEW BEST:: SOT 149423 SOS 84586 HAS SOPS 60634 HAS SOUS 3409 HAS SOUPS 3267 WITH SCORE 3351.586
AT ITER 1129 NEW BEST:: SOT 149423 SOS 84584 HAS SOPS 60632 HAS SOUS 3407 HAS SOUPS 3265 WITH SCORE 3349.584
AT ITER 1131 NEW BEST:: SOT 149399 SOS 84576 HAS SOPS 60616 HAS SOUS 3398 HAS SOUPS 3256 WITH SCORE 3340.576
AT ITER 1138 NEW BEST:: SOT 149394 SOS 84571 HAS SOPS 60611 HAS SOUS 3398 HAS SOUPS 3256 WITH SCORE 3340.571
AT ITER 1149 NEW BEST:: SOT 149389 SOS 84561 HAS SOPS 60597 HAS SOUS 3392 HAS SOUPS 3250 WITH SCORE 3334.561
AT ITER 1168 NEW BEST:: SOT 149388 SOS 84559 HAS SOPS 60595 HAS SOUS 3390 HAS SOUPS 3248 WITH SCORE 3332.559
AT ITER 1198 NEW BEST:: SOT 145793 SOS 80984 HAS SOPS 57394 HAS SOUS 3361 HAS SOUPS 3222 WITH SCORE 3302.984
AT ITER 1208 NEW BEST:: SOT 145810 SOS 80991 HAS SOPS 57401 HAS SOUS 3357 HAS SOUPS 3218 WITH SCORE 3298.991
AT ITER 1238 NEW BEST:: SOT 145808 SOS 80989 HAS SOPS 57399 HAS SOUS 3355 HAS SOUPS 3216 WITH SCORE 3296.989
AT ITER 1257 NEW BEST:: SOT 145805 SOS 80977 HAS SOPS 57393 HAS SOUS 3351 HAS SOUPS 3212 WITH SCORE 3292.977
AT ITER 1268 NEW BEST:: SOT 145816 SOS 80935 HAS SOPS 61065 HAS SOUS 3349 HAS SOUPS 3210 WITH SCORE 3290.935
AT ITER 1295 NEW BEST:: SOT 145819 SOS 80929 HAS SOPS 61062 HAS SOUS 3346 HAS SOUPS 3207 WITH SCORE 3287.929
AT ITER 1318 NEW BEST:: SOT 145821 SOS 81121 HAS SOPS 61051 HAS SOUS 3348 HAS SOUPS 3204 WITH SCORE 3285.121
AT ITER 1352 NEW BEST:: SOT 145820 SOS 81119 HAS SOPS 61049 HAS SOUS 3347 HAS SOUPS 3203 WITH SCORE 3284.119
AT ITER 1362 NEW BEST:: SOT 145820 SOS 81118 HAS SOPS 61048 HAS SOUS 3347 HAS SOUPS 3203 WITH SCORE 3284.118
AT ITER 1389 NEW BEST:: SOT 145814 SOS 81112 HAS SOPS 61030 HAS SOUS 3341 HAS SOUPS 3197 WITH SCORE 3278.112
AT ITER 1402 NEW BEST:: SOT 145814 SOS 81112 HAS SOPS 61030 HAS SOUS 3340 HAS SOUPS 3196 WITH SCORE 3277.112
AT ITER 1441 NEW BEST:: SOT 145821 SOS 81112 HAS SOPS 61030 HAS SOUS 3338 HAS SOUPS 3194 WITH SCORE 3275.112
AT ITER 1472 NEW BEST:: SOT 145821 SOS 81111 HAS SOPS 61028 HAS SOUS 3336 HAS SOUPS 3192 WITH SCORE 3273.111
AT ITER 1498 NEW BEST:: SOT 145819 SOS 81110 HAS SOPS 61026 HAS SOUS 3336 HAS SOUPS 3192 WITH SCORE 3273.11
AT ITER 1522 NEW BEST:: SOT 145840 SOS 81094 HAS SOPS 61028 HAS SOUS 3335 HAS SOUPS 3191 WITH SCORE 3272.094
AT ITER 1550 NEW BEST:: SOT 145848 SOS 81094 HAS SOPS 61028 HAS SOUS 3327 HAS SOUPS 3183 WITH SCORE 3264.094
AT ITER 1578 NEW BEST:: SOT 145847 SOS 81093 HAS SOPS 61027 HAS SOUS 3327 HAS SOUPS 3183 WITH SCORE 3264.093
AT ITER 1635 NEW BEST:: SOT 145855 SOS 81097 HAS SOPS 61031 HAS SOUS 3323 HAS SOUPS 3179 WITH SCORE 3260.097
AT ITER 1680 NEW BEST:: SOT 145835 SOS 81102 HAS SOPS 61018 HAS SOUS 3312 HAS SOUPS 3168 WITH SCORE 3249.102
AT ITER 1735 NEW BEST:: SOT 145803 SOS 81071 HAS SOPS 60987 HAS SOUS 3307 HAS SOUPS 3163 WITH SCORE 3244.071
AT ITER 1743 NEW BEST:: SOT 145802 SOS 81070 HAS SOPS 60986 HAS SOUS 3306 HAS SOUPS 3162 WITH SCORE 3243.07
AT ITER 1804 NEW BEST:: SOT 145781 SOS 81056 HAS SOPS 60972 HAS SOUS 3297 HAS SOUPS 3153 WITH SCORE 3234.056
AT ITER 1815 NEW BEST:: SOT 145784 SOS 81059 HAS SOPS 60786 HAS SOUS 3296 HAS SOUPS 3152 WITH SCORE 3233.059
AT ITER 1826 NEW BEST:: SOT 145781 SOS 80817 HAS SOPS 60786 HAS SOUS 3290 HAS SOUPS 3152 WITH SCORE 3232.817
AT ITER 1869 NEW BEST:: SOT 145769 SOS 80795 HAS SOPS 60762 HAS SOUS 3278 HAS SOUPS 3140 WITH SCORE 3220.795
AT ITER 1889 NEW BEST:: SOT 145763 SOS 80783 HAS SOPS 60750 HAS SOUS 3272 HAS SOUPS 3134 WITH SCORE 3214.783
AT ITER 1913 NEW BEST:: SOT 145760 SOS 80784 HAS SOPS 60748 HAS SOUS 3270 HAS SOUPS 3132 WITH SCORE 3212.784
AT ITER 1967 NEW BEST:: SOT 145759 SOS 80782 HAS SOPS 60746 HAS SOUS 3269 HAS SOUPS 3131 WITH SCORE 3211.782
AT ITER 1968 NEW BEST:: SOT 145742 SOS 80780 HAS SOPS 60736 HAS SOUS 3268 HAS SOUPS 3130 WITH SCORE 3210.78
AT ITER 2011 NEW BEST:: SOT 145744 SOS 80784 HAS SOPS 58928 HAS SOUS 3264 HAS SOUPS 3126 WITH SCORE 3206.784
AT ITER 2012 NEW BEST:: SOT 145743 SOS 80782 HAS SOPS 58926 HAS SOUS 3263 HAS SOUPS 3125 WITH SCORE 3205.782
AT ITER 2020 NEW BEST:: SOT 145743 SOS 80781 HAS SOPS 58925 HAS SOUS 3263 HAS SOUPS 3125 WITH SCORE 3205.781
AT ITER 2024 NEW BEST:: SOT 145729 SOS 80753 HAS SOPS 60413 HAS SOUS 3261 HAS SOUPS 3123 WITH SCORE 3203.753
AT ITER 2060 NEW BEST:: SOT 145727 SOS 80753 HAS SOPS 60414 HAS SOUS 3260 HAS SOUPS 3122 WITH SCORE 3202.753
AT ITER 2096 NEW BEST:: SOT 145733 SOS 80756 HAS SOPS 60349 HAS SOUS 3248 HAS SOUPS 3110 WITH SCORE 3190.756
AT ITER 2106 NEW BEST:: SOT 145724 SOS 80738 HAS SOPS 60331 HAS SOUS 3246 HAS SOUPS 3108 WITH SCORE 3188.738
AT ITER 2117 NEW BEST:: SOT 145725 SOS 80740 HAS SOPS 60333 HAS SOUS 3242 HAS SOUPS 3104 WITH SCORE 3184.74
AT ITER 2176 NEW BEST:: SOT 145725 SOS 80740 HAS SOPS 60333 HAS SOUS 3236 HAS SOUPS 3098 WITH SCORE 3178.74
AT ITER 2207 NEW BEST:: SOT 145725 SOS 80738 HAS SOPS 60331 HAS SOUS 3235 HAS SOUPS 3097 WITH SCORE 3177.738
AT ITER 2402 NEW BEST:: SOT 145720 SOS 88961 HAS SOPS 60769 HAS SOUS 3231 HAS SOUPS 3088 WITH SCORE 3176.961
AT ITER 2405 NEW BEST:: SOT 145719 SOS 88959 HAS SOPS 60767 HAS SOUS 3230 HAS SOUPS 3087 WITH SCORE 3175.959
AT ITER 2472 NEW BEST:: SOT 145728 SOS 88991 HAS SOPS 59269 HAS SOUS 3227 HAS SOUPS 3084 WITH SCORE 3172.991
AT ITER 2481 NEW BEST:: SOT 145682 SOS 88945 HAS SOPS 59221 HAS SOUS 3225 HAS SOUPS 3082 WITH SCORE 3170.945
AT ITER 2486 NEW BEST:: SOT 145682 SOS 88938 HAS SOPS 59214 HAS SOUS 3218 HAS SOUPS 3075 WITH SCORE 3163.938
AT ITER 2499 NEW BEST:: SOT 145681 SOS 86712 HAS SOPS 56982 HAS SOUS 3217 HAS SOUPS 3074 WITH SCORE 3160.712
AT ITER 2545 NEW BEST:: SOT 145676 SOS 86704 HAS SOPS 56974 HAS SOUS 3215 HAS SOUPS 3072 WITH SCORE 3158.704
AT ITER 2547 NEW BEST:: SOT 145682 SOS 86668 HAS SOPS 57844 HAS SOUS 3207 HAS SOUPS 3064 WITH SCORE 3150.668
AT ITER 2566 NEW BEST:: SOT 145681 SOS 86667 HAS SOPS 57843 HAS SOUS 3207 HAS SOUPS 3064 WITH SCORE 3150.667
AT ITER 2677 NEW BEST:: SOT 145680 SOS 86665 HAS SOPS 57839 HAS SOUS 3205 HAS SOUPS 3062 WITH SCORE 3148.665
AT ITER 2683 NEW BEST:: SOT 145669 SOS 86647 HAS SOPS 57817 HAS SOUS 3201 HAS SOUPS 3058 WITH SCORE 3144.647
AT ITER 2755 NEW BEST:: SOT 145668 SOS 86649 HAS SOPS 57819 HAS SOUS 3200 HAS SOUPS 3057 WITH SCORE 3143.649
AT ITER 2758 NEW BEST:: SOT 145668 SOS 86647 HAS SOPS 57819 HAS SOUS 3200 HAS SOUPS 3057 WITH SCORE 3143.647
AT ITER 2763 NEW BEST:: SOT 145659 SOS 86641 HAS SOPS 57807 HAS SOUS 3197 HAS SOUPS 3054 WITH SCORE 3140.641
AT ITER 2772 NEW BEST:: SOT 145660 SOS 86633 HAS SOPS 57799 HAS SOUS 3197 HAS SOUPS 3054 WITH SCORE 3140.633
AT ITER 2786 NEW BEST:: SOT 145611 SOS 86604 HAS SOPS 57763 HAS SOUS 3175 HAS SOUPS 3032 WITH SCORE 3118.604
AT ITER 2892 NEW BEST:: SOT 145609 SOS 86598 HAS SOPS 58381 HAS SOUS 3175 HAS SOUPS 3032 WITH SCORE 3118.598
AT ITER 2895 NEW BEST:: SOT 145606 SOS 86597 HAS SOPS 58380 HAS SOUS 3174 HAS SOUPS 3031 WITH SCORE 3117.597
AT ITER 3004 NEW BEST:: SOT 149252 SOS 90223 HAS SOPS 61575 HAS SOUS 3084 HAS SOUPS 2938 WITH SCORE 3028.223
AT ITER 3042 NEW BEST:: SOT 149256 SOS 91115 HAS SOPS 62467 HAS SOUS 3082 HAS SOUPS 2936 WITH SCORE 3027.115
AT ITER 3116 NEW BEST:: SOT 149244 SOS 91111 HAS SOPS 62463 HAS SOUS 3081 HAS SOUPS 2935 WITH SCORE 3026.111
AT ITER 3321 NEW BEST:: SOT 149243 SOS 91111 HAS SOPS 62461 HAS SOUS 3079 HAS SOUPS 2933 WITH SCORE 3024.111
AT ITER 3401 NEW BEST:: SOT 149235 SOS 91103 HAS SOPS 62453 HAS SOUS 3079 HAS SOUPS 2933 WITH SCORE 3024.103
AT ITER 3512 NEW BEST:: SOT 149231 SOS 91099 HAS SOPS 62445 HAS SOUS 3075 HAS SOUPS 2929 WITH SCORE 3020.099
AT ITER 3541 NEW BEST:: SOT 149228 SOS 91103 HAS SOPS 62449 HAS SOUS 3074 HAS SOUPS 2928 WITH SCORE 3019.103
AT ITER 3593 NEW BEST:: SOT 149228 SOS 91100 HAS SOPS 62449 HAS SOUS 3074 HAS SOUPS 2928 WITH SCORE 3019.1
AT ITER 3625 NEW BEST:: SOT 149228 SOS 89543 HAS SOPS 62449 HAS SOUS 3073 HAS SOUPS 2928 WITH SCORE 3017.543
AT ITER 3680 NEW BEST:: SOT 149228 SOS 89540 HAS SOPS 62446 HAS SOUS 3070 HAS SOUPS 2925 WITH SCORE 3014.54
AT ITER 3683 NEW BEST:: SOT 149226 SOS 89468 HAS SOPS 62448 HAS SOUS 3068 HAS SOUPS 2925 WITH SCORE 3014.468
AT ITER 3685 NEW BEST:: SOT 149222 SOS 89466 HAS SOPS 62446 HAS SOUS 3066 HAS SOUPS 2923 WITH SCORE 3012.466
AT ITER 3734 NEW BEST:: SOT 149219 SOS 89460 HAS SOPS 62440 HAS SOUS 3060 HAS SOUPS 2917 WITH SCORE 3006.46
AT ITER 3746 NEW BEST:: SOT 149218 SOS 89461 HAS SOPS 62441 HAS SOUS 3059 HAS SOUPS 2916 WITH SCORE 3005.461
AT ITER 3764 NEW BEST:: SOT 149212 SOS 89461 HAS SOPS 62439 HAS SOUS 3053 HAS SOUPS 2910 WITH SCORE 2999.461
AT ITER 3776 NEW BEST:: SOT 149204 SOS 89457 HAS SOPS 62429 HAS SOUS 3045 HAS SOUPS 2902 WITH SCORE 2991.457
AT ITER 3805 NEW BEST:: SOT 149202 SOS 89453 HAS SOPS 62429 HAS SOUS 3045 HAS SOUPS 2902 WITH SCORE 2991.453
AT ITER 3861 NEW BEST:: SOT 149199 SOS 89451 HAS SOPS 62427 HAS SOUS 3044 HAS SOUPS 2901 WITH SCORE 2990.451
AT ITER 3897 NEW BEST:: SOT 149200 SOS 89450 HAS SOPS 62312 HAS SOUS 3036 HAS SOUPS 2893 WITH SCORE 2982.45
AT ITER 3908 NEW BEST:: SOT 149197 SOS 89448 HAS SOPS 62308 HAS SOUS 3035 HAS SOUPS 2892 WITH SCORE 2981.448
AT ITER 3909 NEW BEST:: SOT 149220 SOS 89444 HAS SOPS 62313 HAS SOUS 3029 HAS SOUPS 2886 WITH SCORE 2975.444
AT ITER 3987 NEW BEST:: SOT 149218 SOS 89442 HAS SOPS 62311 HAS SOUS 3027 HAS SOUPS 2884 WITH SCORE 2973.442
AT ITER 3993 NEW BEST:: SOT 149217 SOS 89441 HAS SOPS 62310 HAS SOUS 3027 HAS SOUPS 2884 WITH SCORE 2973.441
AT ITER 4064 NEW BEST:: SOT 149217 SOS 89438 HAS SOPS 62305 HAS SOUS 3026 HAS SOUPS 2883 WITH SCORE 2972.438
AT ITER 4070 NEW BEST:: SOT 149206 SOS 89434 HAS SOPS 62313 HAS SOUS 3022 HAS SOUPS 2879 WITH SCORE 2968.434
AT ITER 4084 NEW BEST:: SOT 149202 SOS 89442 HAS SOPS 62209 HAS SOUS 3019 HAS SOUPS 2876 WITH SCORE 2965.442
AT ITER 4094 NEW BEST:: SOT 149204 SOS 89444 HAS SOPS 62208 HAS SOUS 3018 HAS SOUPS 2875 WITH SCORE 2964.444
AT ITER 4225 NEW BEST:: SOT 149204 SOS 89444 HAS SOPS 62171 HAS SOUS 2987 HAS SOUPS 2844 WITH SCORE 2933.444
AT ITER 4240 NEW BEST:: SOT 149204 SOS 89442 HAS SOPS 62170 HAS SOUS 2987 HAS SOUPS 2844 WITH SCORE 2933.442
AT ITER 4349 NEW BEST:: SOT 149204 SOS 89441 HAS SOPS 62169 HAS SOUS 2987 HAS SOUPS 2844 WITH SCORE 2933.441
AT ITER 4360 NEW BEST:: SOT 149204 SOS 89437 HAS SOPS 62165 HAS SOUS 2985 HAS SOUPS 2842 WITH SCORE 2931.437
AT ITER 4369 NEW BEST:: SOT 149202 SOS 89435 HAS SOPS 62163 HAS SOUS 2983 HAS SOUPS 2840 WITH SCORE 2929.435
AT ITER 4452 NEW BEST:: SOT 149203 SOS 89434 HAS SOPS 62162 HAS SOUS 2982 HAS SOUPS 2839 WITH SCORE 2928.434
AT ITER 4587 NEW BEST:: SOT 149203 SOS 89433 HAS SOPS 62161 HAS SOUS 2981 HAS SOUPS 2838 WITH SCORE 2927.433
AT ITER 4603 NEW BEST:: SOT 149197 SOS 89424 HAS SOPS 62152 HAS SOUS 2981 HAS SOUPS 2838 WITH SCORE 2927.424
AT ITER 4630 NEW BEST:: SOT 149189 SOS 89420 HAS SOPS 62144 HAS SOUS 2981 HAS SOUPS 2838 WITH SCORE 2927.42
AT ITER 4944 NEW BEST:: SOT 149187 SOS 89416 HAS SOPS 62140 HAS SOUS 2979 HAS SOUPS 2836 WITH SCORE 2925.416
AT ITER 5126 NEW BEST:: SOT 149180 SOS 89412 HAS SOPS 62132 HAS SOUS 2978 HAS SOUPS 2835 WITH SCORE 2924.412
AT ITER 5141 NEW BEST:: SOT 149182 SOS 89424 HAS SOPS 61206 HAS SOUS 2977 HAS SOUPS 2834 WITH SCORE 2923.424
AT ITER 5178 NEW BEST:: SOT 149184 SOS 89422 HAS SOPS 61012 HAS SOUS 2975 HAS SOUPS 2832 WITH SCORE 2921.422
AT ITER 5201 NEW BEST:: SOT 149184 SOS 88976 HAS SOPS 60566 HAS SOUS 2975 HAS SOUPS 2832 WITH SCORE 2920.976
AT ITER 5214 NEW BEST:: SOT 149181 SOS 88974 HAS SOPS 60562 HAS SOUS 2974 HAS SOUPS 2831 WITH SCORE 2919.974
AT ITER 5234 NEW BEST:: SOT 149184 SOS 88975 HAS SOPS 60564 HAS SOUS 2972 HAS SOUPS 2829 WITH SCORE 2917.975
AT ITER 5240 NEW BEST:: SOT 149182 SOS 88974 HAS SOPS 60562 HAS SOUS 2972 HAS SOUPS 2829 WITH SCORE 2917.974
AT ITER 5385 NEW BEST:: SOT 149182 SOS 88980 HAS SOPS 60378 HAS SOUS 2971 HAS SOUPS 2828 WITH SCORE 2916.98
AT ITER 5459 NEW BEST:: SOT 149181 SOS 88978 HAS SOPS 60376 HAS SOUS 2969 HAS SOUPS 2826 WITH SCORE 2914.978
AT ITER 5499 NEW BEST:: SOT 149181 SOS 88974 HAS SOPS 60376 HAS SOUS 2969 HAS SOUPS 2826 WITH SCORE 2914.974
AT ITER 5529 NEW BEST:: SOT 149176 SOS 88973 HAS SOPS 60374 HAS SOUS 2969 HAS SOUPS 2826 WITH SCORE 2914.973
AT ITER 5531 NEW BEST:: SOT 149172 SOS 88974 HAS SOPS 60366 HAS SOUS 2961 HAS SOUPS 2818 WITH SCORE 2906.974
AT ITER 5567 NEW BEST:: SOT 149172 SOS 88974 HAS SOPS 60366 HAS SOUS 2959 HAS SOUPS 2816 WITH SCORE 2904.974
AT ITER 5626 NEW BEST:: SOT 149173 SOS 88972 HAS SOPS 60364 HAS SOUS 2959 HAS SOUPS 2816 WITH SCORE 2904.972
AT ITER 5685 NEW BEST:: SOT 149173 SOS 88972 HAS SOPS 60364 HAS SOUS 2958 HAS SOUPS 2815 WITH SCORE 2903.972
AT ITER 5849 NEW BEST:: SOT 149172 SOS 88968 HAS SOPS 60360 HAS SOUS 2955 HAS SOUPS 2812 WITH SCORE 2900.968
AT ITER 5926 NEW BEST:: SOT 149198 SOS 88968 HAS SOPS 60360 HAS SOUS 2950 HAS SOUPS 2807 WITH SCORE 2895.968
AT ITER 6007 NEW BEST:: SOT 149197 SOS 88966 HAS SOPS 60358 HAS SOUS 2948 HAS SOUPS 2805 WITH SCORE 2893.966
AT ITER 6022 NEW BEST:: SOT 149331 SOS 89004 HAS SOPS 60396 HAS SOUS 2940 HAS SOUPS 2797 WITH SCORE 2886.004
AT ITER 6056 NEW BEST:: SOT 149335 SOS 90788 HAS SOPS 62180 HAS SOUS 2936 HAS SOUPS 2793 WITH SCORE 2883.788
AT ITER 6135 NEW BEST:: SOT 149338 SOS 90785 HAS SOPS 62059 HAS SOUS 2926 HAS SOUPS 2783 WITH SCORE 2873.785
AT ITER 6168 NEW BEST:: SOT 149338 SOS 90783 HAS SOPS 62059 HAS SOUS 2926 HAS SOUPS 2783 WITH SCORE 2873.783
AT ITER 6414 NEW BEST:: SOT 149338 SOS 90782 HAS SOPS 62058 HAS SOUS 2925 HAS SOUPS 2782 WITH SCORE 2872.782
AT ITER 6430 NEW BEST:: SOT 149314 SOS 90782 HAS SOPS 62040 HAS SOUS 2921 HAS SOUPS 2778 WITH SCORE 2868.782
AT ITER 6436 NEW BEST:: SOT 149291 SOS 90736 HAS SOPS 61994 HAS SOUS 2884 HAS SOUPS 2741 WITH SCORE 2831.736
AT ITER 6586 NEW BEST:: SOT 149288 SOS 90730 HAS SOPS 61988 HAS SOUS 2878 HAS SOUPS 2735 WITH SCORE 2825.73
AT ITER 6716 NEW BEST:: SOT 149283 SOS 90728 HAS SOPS 61986 HAS SOUS 2876 HAS SOUPS 2733 WITH SCORE 2823.728
AT ITER 6894 NEW BEST:: SOT 149283 SOS 90729 HAS SOPS 61673 HAS SOUS 2875 HAS SOUPS 2732 WITH SCORE 2822.729
AT ITER 7004 NEW BEST:: SOT 149283 SOS 90728 HAS SOPS 61672 HAS SOUS 2874 HAS SOUPS 2731 WITH SCORE 2821.728
AT ITER 7081 NEW BEST:: SOT 149290 SOS 90723 HAS SOPS 61670 HAS SOUS 2872 HAS SOUPS 2729 WITH SCORE 2819.723
AT ITER 7175 NEW BEST:: SOT 149289 SOS 90722 HAS SOPS 61669 HAS SOUS 2871 HAS SOUPS 2728 WITH SCORE 2818.722
AT ITER 7181 NEW BEST:: SOT 149294 SOS 90712 HAS SOPS 62283 HAS SOUS 2870 HAS SOUPS 2727 WITH SCORE 2817.712
AT ITER 7314 NEW BEST:: SOT 149291 SOS 90710 HAS SOPS 62279 HAS SOUS 2869 HAS SOUPS 2726 WITH SCORE 2816.71
AT ITER 7352 NEW BEST:: SOT 149295 SOS 90718 HAS SOPS 61911 HAS SOUS 2867 HAS SOUPS 2724 WITH SCORE 2814.718
AT ITER 7473 NEW BEST:: SOT 149300 SOS 90722 HAS SOPS 61915 HAS SOUS 2866 HAS SOUPS 2723 WITH SCORE 2813.722
AT ITER 7687 NEW BEST:: SOT 149299 SOS 90723 HAS SOPS 61533 HAS SOUS 2862 HAS SOUPS 2719 WITH SCORE 2809.723
AT ITER 7820 NEW BEST:: SOT 149299 SOS 90713 HAS SOPS 61533 HAS SOUS 2862 HAS SOUPS 2719 WITH SCORE 2809.713
AT ITER 7917 NEW BEST:: SOT 149300 SOS 90712 HAS SOPS 61533 HAS SOUS 2861 HAS SOUPS 2719 WITH SCORE 2809.712
AT ITER 8107 NEW BEST:: SOT 149297 SOS 90711 HAS SOPS 61531 HAS SOUS 2859 HAS SOUPS 2717 WITH SCORE 2807.711
AT ITER 8349 NEW BEST:: SOT 149296 SOS 90710 HAS SOPS 61530 HAS SOUS 2859 HAS SOUPS 2717 WITH SCORE 2807.71
AT ITER 8491 NEW BEST:: SOT 146403 SOS 87829 HAS SOPS 58896 HAS SOUS 2856 HAS SOUPS 2716 WITH SCORE 2803.829
AT ITER 8887 NEW BEST:: SOT 146403 SOS 87825 HAS SOPS 58894 HAS SOUS 2856 HAS SOUPS 2716 WITH SCORE 2803.825
AT ITER 8951 NEW BEST:: SOT 146404 SOS 87823 HAS SOPS 58892 HAS SOUS 2856 HAS SOUPS 2716 WITH SCORE 2803.823
AT ITER 9044 NEW BEST:: SOT 146405 SOS 87376 HAS SOPS 58446 HAS SOUS 2856 HAS SOUPS 2716 WITH SCORE 2803.376
AT ITER 9783 NEW BEST:: SOT 146402 SOS 87375 HAS SOPS 58444 HAS SOUS 2855 HAS SOUPS 2715 WITH SCORE 2802.375
AT ITER 9785 NEW BEST:: SOT 146392 SOS 87379 HAS SOPS 57192 HAS SOUS 2849 HAS SOUPS 2709 WITH SCORE 2796.379
AT ITER 9805 NEW BEST:: SOT 146392 SOS 87379 HAS SOPS 57192 HAS SOUS 2848 HAS SOUPS 2708 WITH SCORE 2795.379
AT ITER 9868 NEW BEST:: SOT 146392 SOS 87377 HAS SOPS 57188 HAS SOUS 2846 HAS SOUPS 2706 WITH SCORE 2793.377
STATE_SPACE STATES 96723 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1197777 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679327680665

--------------------
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-07a"
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-07a, 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-167912643800640"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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