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.r459-smll-167912651500640.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 smartxred
Input is StigmergyElection-PT-07a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651500640
=====================================================================

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

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=StigmergyElection-PT-07a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 01:21:52] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 01:21:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 01:21:53] [INFO ] Load time of PNML (sax parser for PT used): 528 ms
[2023-03-22 01:21:53] [INFO ] Transformed 100 places.
[2023-03-22 01:21:53] [INFO ] Transformed 2618 transitions.
[2023-03-22 01:21:53] [INFO ] Found NUPN structural information;
[2023-03-22 01:21:53] [INFO ] Parsed PT model containing 100 places and 2618 transitions and 34799 arcs in 793 ms.
[2023-03-22 01:21:53] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 100 places, 2618 transitions and 34799 arcs took 77 ms.
Total runtime 930 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 07a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/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 7 NEW BEST:: SOT 137607 SOS 46793 HAS SOPS 42837 HAS SOUS 6019 HAS SOUPS 5991 WITH SCORE 6037.793
AT ITER 10 NEW BEST:: SOT 137634 SOS 46790 HAS SOPS 42834 HAS SOUS 6008 HAS SOUPS 5980 WITH SCORE 6026.79
AT ITER 11 NEW BEST:: SOT 137656 SOS 46768 HAS SOPS 42812 HAS SOUS 5986 HAS SOUPS 5958 WITH SCORE 6004.768
AT ITER 19 NEW BEST:: SOT 136960 SOS 47628 HAS SOPS 41961 HAS SOUS 5845 HAS SOUPS 5741 WITH SCORE 5788.628
AT ITER 22 NEW BEST:: SOT 136978 SOS 47638 HAS SOPS 41971 HAS SOUS 5837 HAS SOUPS 5733 WITH SCORE 5780.638
AT ITER 25 NEW BEST:: SOT 136978 SOS 47638 HAS SOPS 41971 HAS SOUS 5826 HAS SOUPS 5722 WITH SCORE 5769.638
AT ITER 28 NEW BEST:: SOT 136961 SOS 47544 HAS SOPS 41937 HAS SOUS 5809 HAS SOUPS 5705 WITH SCORE 5752.544
AT ITER 44 NEW BEST:: SOT 136967 SOS 47667 HAS SOPS 41934 HAS SOUS 5809 HAS SOUPS 5702 WITH SCORE 5749.667
AT ITER 53 NEW BEST:: SOT 137469 SOS 46405 HAS SOPS 42440 HAS SOUS 5706 HAS SOUPS 5672 WITH SCORE 5718.405
AT ITER 54 NEW BEST:: SOT 135273 SOS 44636 HAS SOPS 40954 HAS SOUS 5701 HAS SOUPS 5667 WITH SCORE 5711.636
AT ITER 56 NEW BEST:: SOT 149117 SOS 56470 HAS SOPS 51228 HAS SOUS 5507 HAS SOUPS 5459 WITH SCORE 5515.47
AT ITER 69 NEW BEST:: SOT 149124 SOS 56436 HAS SOPS 51194 HAS SOUS 5490 HAS SOUPS 5442 WITH SCORE 5498.436
AT ITER 84 NEW BEST:: SOT 149220 SOS 56436 HAS SOPS 51194 HAS SOUS 5454 HAS SOUPS 5406 WITH SCORE 5462.436
AT ITER 89 NEW BEST:: SOT 149290 SOS 56436 HAS SOPS 51194 HAS SOUS 5405 HAS SOUPS 5357 WITH SCORE 5413.436
AT ITER 92 NEW BEST:: SOT 149314 SOS 56460 HAS SOPS 50924 HAS SOUS 5261 HAS SOUPS 5213 WITH SCORE 5269.46
AT ITER 126 NEW BEST:: SOT 149304 SOS 56436 HAS SOPS 50900 HAS SOUS 5249 HAS SOUPS 5201 WITH SCORE 5257.436
AT ITER 138 NEW BEST:: SOT 149299 SOS 56424 HAS SOPS 50894 HAS SOUS 5240 HAS SOUPS 5195 WITH SCORE 5251.424
AT ITER 140 NEW BEST:: SOT 149299 SOS 56422 HAS SOPS 50892 HAS SOUS 5239 HAS SOUPS 5194 WITH SCORE 5250.422
AT ITER 159 NEW BEST:: SOT 148756 SOS 56676 HAS SOPS 50332 HAS SOUS 5275 HAS SOUPS 5175 WITH SCORE 5231.676
AT ITER 165 NEW BEST:: SOT 148723 SOS 56654 HAS SOPS 50310 HAS SOUS 5263 HAS SOUPS 5163 WITH SCORE 5219.654
AT ITER 167 NEW BEST:: SOT 148787 SOS 56656 HAS SOPS 50312 HAS SOUS 5262 HAS SOUPS 5162 WITH SCORE 5218.656
AT ITER 170 NEW BEST:: SOT 148781 SOS 56610 HAS SOPS 50246 HAS SOUS 5232 HAS SOUPS 5132 WITH SCORE 5188.61
AT ITER 173 NEW BEST:: SOT 148764 SOS 56625 HAS SOPS 50259 HAS SOUS 5225 HAS SOUPS 5125 WITH SCORE 5181.625
AT ITER 178 NEW BEST:: SOT 148771 SOS 56610 HAS SOPS 50245 HAS SOUS 5211 HAS SOUPS 5111 WITH SCORE 5167.61
AT ITER 179 NEW BEST:: SOT 148793 SOS 56632 HAS SOPS 50163 HAS SOUS 5137 HAS SOUPS 5037 WITH SCORE 5093.632
AT ITER 192 NEW BEST:: SOT 148855 SOS 56606 HAS SOPS 50183 HAS SOUS 5117 HAS SOUPS 5017 WITH SCORE 5073.606
AT ITER 195 NEW BEST:: SOT 148886 SOS 56643 HAS SOPS 50196 HAS SOUS 5109 HAS SOUPS 5009 WITH SCORE 5065.643
AT ITER 197 NEW BEST:: SOT 148883 SOS 56628 HAS SOPS 50167 HAS SOUS 5106 HAS SOUPS 5006 WITH SCORE 5062.628
AT ITER 204 NEW BEST:: SOT 149035 SOS 56652 HAS SOPS 50203 HAS SOUS 5097 HAS SOUPS 4997 WITH SCORE 5053.652
AT ITER 206 NEW BEST:: SOT 149029 SOS 56650 HAS SOPS 50199 HAS SOUS 5095 HAS SOUPS 4995 WITH SCORE 5051.65
AT ITER 208 NEW BEST:: SOT 149077 SOS 56633 HAS SOPS 50227 HAS SOUS 5082 HAS SOUPS 4982 WITH SCORE 5038.633
AT ITER 213 NEW BEST:: SOT 149239 SOS 56662 HAS SOPS 50267 HAS SOUS 5075 HAS SOUPS 4975 WITH SCORE 5031.662
AT ITER 215 NEW BEST:: SOT 149371 SOS 56669 HAS SOPS 50283 HAS SOUS 5046 HAS SOUPS 4946 WITH SCORE 5002.669
AT ITER 226 NEW BEST:: SOT 149375 SOS 56673 HAS SOPS 50277 HAS SOUS 5046 HAS SOUPS 4940 WITH SCORE 4996.673
AT ITER 227 NEW BEST:: SOT 149384 SOS 56673 HAS SOPS 50277 HAS SOUS 5029 HAS SOUPS 4923 WITH SCORE 4979.673
AT ITER 229 NEW BEST:: SOT 149358 SOS 56572 HAS SOPS 50176 HAS SOUS 4984 HAS SOUPS 4878 WITH SCORE 4934.572
AT ITER 230 NEW BEST:: SOT 149411 SOS 56592 HAS SOPS 50226 HAS SOUS 4982 HAS SOUPS 4876 WITH SCORE 4932.592
AT ITER 233 NEW BEST:: SOT 149397 SOS 56508 HAS SOPS 49271 HAS SOUS 4843 HAS SOUPS 4737 WITH SCORE 4793.508
AT ITER 234 NEW BEST:: SOT 149373 SOS 56476 HAS SOPS 49239 HAS SOUS 4822 HAS SOUPS 4716 WITH SCORE 4772.476
AT ITER 235 NEW BEST:: SOT 149373 SOS 56472 HAS SOPS 49239 HAS SOUS 4818 HAS SOUPS 4716 WITH SCORE 4772.472
AT ITER 236 NEW BEST:: SOT 149416 SOS 56454 HAS SOPS 49268 HAS SOUS 4798 HAS SOUPS 4696 WITH SCORE 4752.454
AT ITER 243 NEW BEST:: SOT 149416 SOS 56454 HAS SOPS 49268 HAS SOUS 4795 HAS SOUPS 4693 WITH SCORE 4749.454
AT ITER 253 NEW BEST:: SOT 141502 SOS 91863 HAS SOPS 59288 HAS SOUS 4507 HAS SOUPS 4391 WITH SCORE 4482.863
AT ITER 255 NEW BEST:: SOT 141373 SOS 91704 HAS SOPS 59124 HAS SOUS 4391 HAS SOUPS 4275 WITH SCORE 4366.704
AT ITER 260 NEW BEST:: SOT 141419 SOS 91750 HAS SOPS 59138 HAS SOUS 4383 HAS SOUPS 4267 WITH SCORE 4358.75
AT ITER 265 NEW BEST:: SOT 141403 SOS 91718 HAS SOPS 59106 HAS SOUS 4351 HAS SOUPS 4235 WITH SCORE 4326.718
AT ITER 269 NEW BEST:: SOT 141392 SOS 91690 HAS SOPS 62189 HAS SOUS 4351 HAS SOUPS 4235 WITH SCORE 4326.69
AT ITER 273 NEW BEST:: SOT 140906 SOS 91607 HAS SOPS 62095 HAS SOUS 4242 HAS SOUPS 4126 WITH SCORE 4217.607
AT ITER 277 NEW BEST:: SOT 140894 SOS 91595 HAS SOPS 62071 HAS SOUS 4218 HAS SOUPS 4102 WITH SCORE 4193.595
AT ITER 279 NEW BEST:: SOT 142862 SOS 93551 HAS SOPS 63748 HAS SOUS 4126 HAS SOUPS 4009 WITH SCORE 4102.551
AT ITER 281 NEW BEST:: SOT 142965 SOS 93550 HAS SOPS 63747 HAS SOUS 4091 HAS SOUPS 3974 WITH SCORE 4067.55
AT ITER 282 NEW BEST:: SOT 142970 SOS 93540 HAS SOPS 63737 HAS SOUS 4081 HAS SOUPS 3964 WITH SCORE 4057.54
AT ITER 294 NEW BEST:: SOT 142962 SOS 93524 HAS SOPS 63721 HAS SOUS 4073 HAS SOUPS 3956 WITH SCORE 4049.524
AT ITER 297 NEW BEST:: SOT 142944 SOS 93498 HAS SOPS 63695 HAS SOUS 4055 HAS SOUPS 3938 WITH SCORE 4031.498
AT ITER 304 NEW BEST:: SOT 142948 SOS 93498 HAS SOPS 63695 HAS SOUS 4051 HAS SOUPS 3934 WITH SCORE 4027.498
AT ITER 308 NEW BEST:: SOT 142945 SOS 93498 HAS SOPS 63695 HAS SOUS 4048 HAS SOUPS 3931 WITH SCORE 4024.498
AT ITER 310 NEW BEST:: SOT 142945 SOS 93484 HAS SOPS 63695 HAS SOUS 4048 HAS SOUPS 3931 WITH SCORE 4024.484
AT ITER 318 NEW BEST:: SOT 142942 SOS 93484 HAS SOPS 63692 HAS SOUS 4040 HAS SOUPS 3923 WITH SCORE 4016.484
AT ITER 320 NEW BEST:: SOT 143433 SOS 94010 HAS SOPS 63914 HAS SOUS 3809 HAS SOUPS 3692 WITH SCORE 3786.01
AT ITER 321 NEW BEST:: SOT 143428 SOS 93923 HAS SOPS 63820 HAS SOUS 3752 HAS SOUPS 3635 WITH SCORE 3728.923
AT ITER 327 NEW BEST:: SOT 143423 SOS 93913 HAS SOPS 63810 HAS SOUS 3747 HAS SOUPS 3630 WITH SCORE 3723.913
AT ITER 336 NEW BEST:: SOT 143424 SOS 93880 HAS SOPS 63811 HAS SOUS 3739 HAS SOUPS 3622 WITH SCORE 3715.88
AT ITER 369 NEW BEST:: SOT 143346 SOS 93864 HAS SOPS 63795 HAS SOUS 3729 HAS SOUPS 3612 WITH SCORE 3705.864
AT ITER 376 NEW BEST:: SOT 143390 SOS 93802 HAS SOPS 63779 HAS SOUS 3704 HAS SOUPS 3587 WITH SCORE 3680.802
AT ITER 391 NEW BEST:: SOT 143394 SOS 93805 HAS SOPS 63782 HAS SOUS 3703 HAS SOUPS 3586 WITH SCORE 3679.805
AT ITER 396 NEW BEST:: SOT 143391 SOS 93799 HAS SOPS 63776 HAS SOUS 3697 HAS SOUPS 3580 WITH SCORE 3673.799
AT ITER 398 NEW BEST:: SOT 143390 SOS 93798 HAS SOPS 63775 HAS SOUS 3696 HAS SOUPS 3579 WITH SCORE 3672.798
AT ITER 406 NEW BEST:: SOT 143422 SOS 93798 HAS SOPS 63775 HAS SOUS 3688 HAS SOUPS 3571 WITH SCORE 3664.798
AT ITER 418 NEW BEST:: SOT 143426 SOS 93798 HAS SOPS 63775 HAS SOUS 3684 HAS SOUPS 3567 WITH SCORE 3660.798
AT ITER 420 NEW BEST:: SOT 143495 SOS 93817 HAS SOPS 63794 HAS SOUS 3657 HAS SOUPS 3540 WITH SCORE 3633.817
AT ITER 423 NEW BEST:: SOT 143489 SOS 93803 HAS SOPS 63790 HAS SOUS 3651 HAS SOUPS 3534 WITH SCORE 3627.803
AT ITER 443 NEW BEST:: SOT 143481 SOS 93799 HAS SOPS 63786 HAS SOUS 3644 HAS SOUPS 3527 WITH SCORE 3620.799
AT ITER 445 NEW BEST:: SOT 143481 SOS 93769 HAS SOPS 63732 HAS SOUS 3626 HAS SOUPS 3509 WITH SCORE 3602.7690000000002
AT ITER 474 NEW BEST:: SOT 143513 SOS 93781 HAS SOPS 63752 HAS SOUS 3623 HAS SOUPS 3506 WITH SCORE 3599.781
AT ITER 477 NEW BEST:: SOT 143510 SOS 93775 HAS SOPS 63746 HAS SOUS 3617 HAS SOUPS 3500 WITH SCORE 3593.775
AT ITER 488 NEW BEST:: SOT 143514 SOS 93763 HAS SOPS 63722 HAS SOUS 3591 HAS SOUPS 3474 WITH SCORE 3567.763
AT ITER 501 NEW BEST:: SOT 143511 SOS 93761 HAS SOPS 63720 HAS SOUS 3590 HAS SOUPS 3473 WITH SCORE 3566.761
AT ITER 507 NEW BEST:: SOT 143513 SOS 93759 HAS SOPS 63718 HAS SOUS 3589 HAS SOUPS 3472 WITH SCORE 3565.759
AT ITER 524 NEW BEST:: SOT 143513 SOS 93759 HAS SOPS 63718 HAS SOUS 3587 HAS SOUPS 3470 WITH SCORE 3563.759
AT ITER 533 NEW BEST:: SOT 143540 SOS 93768 HAS SOPS 62784 HAS SOUS 3454 HAS SOUPS 3337 WITH SCORE 3430.768
AT ITER 543 NEW BEST:: SOT 143536 SOS 93760 HAS SOPS 62776 HAS SOUS 3446 HAS SOUPS 3329 WITH SCORE 3422.76
AT ITER 546 NEW BEST:: SOT 143528 SOS 93748 HAS SOPS 62764 HAS SOUS 3442 HAS SOUPS 3325 WITH SCORE 3418.748
AT ITER 564 NEW BEST:: SOT 143529 SOS 93738 HAS SOPS 62754 HAS SOUS 3442 HAS SOUPS 3325 WITH SCORE 3418.738
AT ITER 565 NEW BEST:: SOT 143522 SOS 93738 HAS SOPS 62747 HAS SOUS 3442 HAS SOUPS 3318 WITH SCORE 3411.738
AT ITER 580 NEW BEST:: SOT 143527 SOS 87724 HAS SOPS 61401 HAS SOUS 3439 HAS SOUPS 3318 WITH SCORE 3405.724
AT ITER 588 NEW BEST:: SOT 143527 SOS 87696 HAS SOPS 61373 HAS SOUS 3438 HAS SOUPS 3317 WITH SCORE 3404.696
AT ITER 591 NEW BEST:: SOT 143524 SOS 87691 HAS SOPS 61368 HAS SOUS 3436 HAS SOUPS 3315 WITH SCORE 3402.691
AT ITER 612 NEW BEST:: SOT 143544 SOS 87683 HAS SOPS 61340 HAS SOUS 3414 HAS SOUPS 3293 WITH SCORE 3380.683
AT ITER 650 NEW BEST:: SOT 143581 SOS 87650 HAS SOPS 61318 HAS SOUS 3369 HAS SOUPS 3248 WITH SCORE 3335.65
AT ITER 658 NEW BEST:: SOT 143545 SOS 87599 HAS SOPS 61262 HAS SOUS 3337 HAS SOUPS 3216 WITH SCORE 3303.599
AT ITER 682 NEW BEST:: SOT 143544 SOS 87597 HAS SOPS 61260 HAS SOUS 3337 HAS SOUPS 3216 WITH SCORE 3303.597
AT ITER 693 NEW BEST:: SOT 143537 SOS 87597 HAS SOPS 61260 HAS SOUS 3330 HAS SOUPS 3209 WITH SCORE 3296.597
AT ITER 697 NEW BEST:: SOT 143536 SOS 87595 HAS SOPS 61258 HAS SOUS 3326 HAS SOUPS 3205 WITH SCORE 3292.595
AT ITER 705 NEW BEST:: SOT 143571 SOS 87638 HAS SOPS 61301 HAS SOUS 3325 HAS SOUPS 3204 WITH SCORE 3291.638
AT ITER 708 NEW BEST:: SOT 143551 SOS 87618 HAS SOPS 61261 HAS SOUS 3305 HAS SOUPS 3184 WITH SCORE 3271.618
AT ITER 709 NEW BEST:: SOT 143521 SOS 87616 HAS SOPS 58401 HAS SOUS 3285 HAS SOUPS 3164 WITH SCORE 3251.616
AT ITER 712 NEW BEST:: SOT 143513 SOS 87608 HAS SOPS 59817 HAS SOUS 3282 HAS SOUPS 3161 WITH SCORE 3248.608
AT ITER 716 NEW BEST:: SOT 143513 SOS 87605 HAS SOPS 59814 HAS SOUS 3281 HAS SOUPS 3160 WITH SCORE 3247.605
AT ITER 721 NEW BEST:: SOT 143547 SOS 87593 HAS SOPS 59802 HAS SOUS 3269 HAS SOUPS 3148 WITH SCORE 3235.593
AT ITER 730 NEW BEST:: SOT 143543 SOS 85813 HAS SOPS 58022 HAS SOUS 3270 HAS SOUPS 3149 WITH SCORE 3234.813
AT ITER 743 NEW BEST:: SOT 143537 SOS 85811 HAS SOPS 58018 HAS SOUS 3266 HAS SOUPS 3145 WITH SCORE 3230.811
AT ITER 760 NEW BEST:: SOT 143537 SOS 85811 HAS SOPS 58022 HAS SOUS 3265 HAS SOUPS 3144 WITH SCORE 3229.811
AT ITER 776 NEW BEST:: SOT 143492 SOS 85785 HAS SOPS 57996 HAS SOUS 3242 HAS SOUPS 3121 WITH SCORE 3206.785
AT ITER 804 NEW BEST:: SOT 143482 SOS 85775 HAS SOPS 57986 HAS SOUS 3237 HAS SOUPS 3116 WITH SCORE 3201.775
AT ITER 858 NEW BEST:: SOT 143491 SOS 73291 HAS SOPS 54844 HAS SOUS 3230 HAS SOUPS 3115 WITH SCORE 3188.291
AT ITER 873 NEW BEST:: SOT 143504 SOS 73256 HAS SOPS 54809 HAS SOUS 3202 HAS SOUPS 3087 WITH SCORE 3160.256
AT ITER 897 NEW BEST:: SOT 143592 SOS 73278 HAS SOPS 54831 HAS SOUS 3198 HAS SOUPS 3083 WITH SCORE 3156.278
AT ITER 913 NEW BEST:: SOT 143604 SOS 73271 HAS SOPS 54827 HAS SOUS 3194 HAS SOUPS 3079 WITH SCORE 3152.271
AT ITER 934 NEW BEST:: SOT 143602 SOS 73269 HAS SOPS 54825 HAS SOUS 3192 HAS SOUPS 3077 WITH SCORE 3150.2690000000002
AT ITER 943 NEW BEST:: SOT 143587 SOS 73255 HAS SOPS 54811 HAS SOUS 3181 HAS SOUPS 3066 WITH SCORE 3139.255
AT ITER 949 NEW BEST:: SOT 143557 SOS 73228 HAS SOPS 54784 HAS SOUS 3176 HAS SOUPS 3061 WITH SCORE 3134.228
AT ITER 962 NEW BEST:: SOT 143560 SOS 73229 HAS SOPS 54714 HAS SOUS 3161 HAS SOUPS 3046 WITH SCORE 3119.229
AT ITER 1010 NEW BEST:: SOT 143552 SOS 73225 HAS SOPS 54706 HAS SOUS 3160 HAS SOUPS 3045 WITH SCORE 3118.225
AT ITER 1032 NEW BEST:: SOT 143547 SOS 73224 HAS SOPS 54705 HAS SOUS 3159 HAS SOUPS 3044 WITH SCORE 3117.224
AT ITER 1057 NEW BEST:: SOT 143547 SOS 73224 HAS SOPS 54699 HAS SOUS 3156 HAS SOUPS 3041 WITH SCORE 3114.224
AT ITER 1108 NEW BEST:: SOT 143533 SOS 73223 HAS SOPS 54698 HAS SOUS 3150 HAS SOUPS 3035 WITH SCORE 3108.223
AT ITER 1114 NEW BEST:: SOT 143527 SOS 73211 HAS SOPS 54686 HAS SOUS 3141 HAS SOUPS 3026 WITH SCORE 3099.211
AT ITER 1122 NEW BEST:: SOT 143534 SOS 73208 HAS SOPS 54683 HAS SOUS 3135 HAS SOUPS 3020 WITH SCORE 3093.208
AT ITER 1176 NEW BEST:: SOT 143552 SOS 73190 HAS SOPS 53739 HAS SOUS 3085 HAS SOUPS 2970 WITH SCORE 3043.19
AT ITER 1209 NEW BEST:: SOT 143543 SOS 73495 HAS SOPS 53720 HAS SOUS 3080 HAS SOUPS 2955 WITH SCORE 3028.495
AT ITER 1215 NEW BEST:: SOT 143556 SOS 73770 HAS SOPS 53719 HAS SOUS 3086 HAS SOUPS 2954 WITH SCORE 3027.77
AT ITER 1249 NEW BEST:: SOT 143556 SOS 73748 HAS SOPS 53707 HAS SOUS 3074 HAS SOUPS 2942 WITH SCORE 3015.748
AT ITER 1260 NEW BEST:: SOT 143556 SOS 73745 HAS SOPS 53707 HAS SOUS 3074 HAS SOUPS 2942 WITH SCORE 3015.745
AT ITER 1277 NEW BEST:: SOT 143555 SOS 73744 HAS SOPS 53706 HAS SOUS 3073 HAS SOUPS 2941 WITH SCORE 3014.744
AT ITER 1352 NEW BEST:: SOT 143467 SOS 73732 HAS SOPS 53694 HAS SOUS 3067 HAS SOUPS 2935 WITH SCORE 3008.732
AT ITER 1363 NEW BEST:: SOT 143467 SOS 73767 HAS SOPS 53690 HAS SOUS 3066 HAS SOUPS 2933 WITH SCORE 3006.767
AT ITER 1377 NEW BEST:: SOT 143467 SOS 73767 HAS SOPS 53690 HAS SOUS 3060 HAS SOUPS 2927 WITH SCORE 3000.767
AT ITER 1421 NEW BEST:: SOT 143462 SOS 73752 HAS SOPS 53675 HAS SOUS 3053 HAS SOUPS 2920 WITH SCORE 2993.752
AT ITER 1426 NEW BEST:: SOT 143462 SOS 73752 HAS SOPS 53675 HAS SOUS 3052 HAS SOUPS 2919 WITH SCORE 2992.752
AT ITER 1501 NEW BEST:: SOT 143467 SOS 73742 HAS SOPS 53675 HAS SOUS 3047 HAS SOUPS 2914 WITH SCORE 2987.742
AT ITER 1521 NEW BEST:: SOT 143467 SOS 73734 HAS SOPS 53675 HAS SOUS 3047 HAS SOUPS 2914 WITH SCORE 2987.734
AT ITER 1542 NEW BEST:: SOT 143469 SOS 73730 HAS SOPS 53101 HAS SOUS 3047 HAS SOUPS 2914 WITH SCORE 2987.73
AT ITER 1588 NEW BEST:: SOT 143470 SOS 74012 HAS SOPS 53096 HAS SOUS 3049 HAS SOUPS 2909 WITH SCORE 2983.012
AT ITER 1601 NEW BEST:: SOT 143467 SOS 74006 HAS SOPS 53090 HAS SOUS 3048 HAS SOUPS 2908 WITH SCORE 2982.006
AT ITER 1679 NEW BEST:: SOT 143461 SOS 76234 HAS SOPS 55308 HAS SOUS 3042 HAS SOUPS 2902 WITH SCORE 2978.234
AT ITER 1745 NEW BEST:: SOT 143447 SOS 76206 HAS SOPS 55280 HAS SOUS 3042 HAS SOUPS 2902 WITH SCORE 2978.206
AT ITER 1793 NEW BEST:: SOT 143454 SOS 76215 HAS SOPS 55279 HAS SOUS 3041 HAS SOUPS 2901 WITH SCORE 2977.215
AT ITER 1802 NEW BEST:: SOT 143448 SOS 76211 HAS SOPS 55275 HAS SOUS 3035 HAS SOUPS 2895 WITH SCORE 2971.211
AT ITER 1836 NEW BEST:: SOT 143441 SOS 76206 HAS SOPS 55270 HAS SOUS 3035 HAS SOUPS 2895 WITH SCORE 2971.206
AT ITER 1866 NEW BEST:: SOT 143444 SOS 76200 HAS SOPS 55264 HAS SOUS 3035 HAS SOUPS 2895 WITH SCORE 2971.2
AT ITER 1869 NEW BEST:: SOT 143436 SOS 76196 HAS SOPS 55260 HAS SOUS 3029 HAS SOUPS 2889 WITH SCORE 2965.196
AT ITER 1885 NEW BEST:: SOT 143433 SOS 76232 HAS SOPS 55296 HAS SOUS 3028 HAS SOUPS 2888 WITH SCORE 2964.232
AT ITER 1887 NEW BEST:: SOT 143426 SOS 76221 HAS SOPS 55285 HAS SOUS 3025 HAS SOUPS 2885 WITH SCORE 2961.221
AT ITER 1889 NEW BEST:: SOT 143426 SOS 76191 HAS SOPS 55261 HAS SOUS 3011 HAS SOUPS 2871 WITH SCORE 2947.191
AT ITER 1904 NEW BEST:: SOT 143421 SOS 76184 HAS SOPS 55254 HAS SOUS 3007 HAS SOUPS 2867 WITH SCORE 2943.184
AT ITER 1945 NEW BEST:: SOT 143430 SOS 72170 HAS SOPS 51240 HAS SOUS 3007 HAS SOUPS 2867 WITH SCORE 2939.17
AT ITER 1961 NEW BEST:: SOT 143461 SOS 72164 HAS SOPS 51242 HAS SOUS 2995 HAS SOUPS 2855 WITH SCORE 2927.164
AT ITER 1974 NEW BEST:: SOT 143463 SOS 72156 HAS SOPS 50476 HAS SOUS 2985 HAS SOUPS 2845 WITH SCORE 2917.156
AT ITER 2027 NEW BEST:: SOT 143461 SOS 72153 HAS SOPS 50475 HAS SOUS 2984 HAS SOUPS 2844 WITH SCORE 2916.153
AT ITER 2029 NEW BEST:: SOT 143461 SOS 72151 HAS SOPS 50473 HAS SOUS 2983 HAS SOUPS 2843 WITH SCORE 2915.151
AT ITER 2030 NEW BEST:: SOT 143457 SOS 72143 HAS SOPS 50465 HAS SOUS 2975 HAS SOUPS 2835 WITH SCORE 2907.143
AT ITER 2044 NEW BEST:: SOT 143458 SOS 72140 HAS SOPS 50462 HAS SOUS 2972 HAS SOUPS 2832 WITH SCORE 2904.14
AT ITER 2055 NEW BEST:: SOT 143455 SOS 72134 HAS SOPS 50450 HAS SOUS 2966 HAS SOUPS 2826 WITH SCORE 2898.134
AT ITER 2057 NEW BEST:: SOT 143423 SOS 72118 HAS SOPS 50428 HAS SOUS 2952 HAS SOUPS 2812 WITH SCORE 2884.118
AT ITER 2068 NEW BEST:: SOT 143437 SOS 72118 HAS SOPS 50428 HAS SOUS 2938 HAS SOUPS 2798 WITH SCORE 2870.118
AT ITER 2072 NEW BEST:: SOT 143437 SOS 72116 HAS SOPS 50426 HAS SOUS 2937 HAS SOUPS 2797 WITH SCORE 2869.116
AT ITER 2075 NEW BEST:: SOT 143436 SOS 72115 HAS SOPS 50425 HAS SOUS 2936 HAS SOUPS 2796 WITH SCORE 2868.115
AT ITER 2113 NEW BEST:: SOT 143418 SOS 76111 HAS SOPS 54403 HAS SOUS 2918 HAS SOUPS 2778 WITH SCORE 2854.111
AT ITER 2132 NEW BEST:: SOT 143387 SOS 76088 HAS SOPS 54373 HAS SOUS 2911 HAS SOUPS 2771 WITH SCORE 2847.088
AT ITER 2161 NEW BEST:: SOT 143384 SOS 76082 HAS SOPS 54367 HAS SOUS 2907 HAS SOUPS 2767 WITH SCORE 2843.082
AT ITER 2169 NEW BEST:: SOT 143384 SOS 76080 HAS SOPS 54365 HAS SOUS 2907 HAS SOUPS 2767 WITH SCORE 2843.08
AT ITER 2193 NEW BEST:: SOT 143384 SOS 76081 HAS SOPS 54365 HAS SOUS 2906 HAS SOUPS 2766 WITH SCORE 2842.081
AT ITER 2201 NEW BEST:: SOT 143380 SOS 76073 HAS SOPS 54357 HAS SOUS 2906 HAS SOUPS 2766 WITH SCORE 2842.073
AT ITER 2203 NEW BEST:: SOT 143380 SOS 76071 HAS SOPS 54355 HAS SOUS 2905 HAS SOUPS 2765 WITH SCORE 2841.071
AT ITER 2220 NEW BEST:: SOT 143370 SOS 76057 HAS SOPS 54341 HAS SOUS 2897 HAS SOUPS 2757 WITH SCORE 2833.057
AT ITER 2233 NEW BEST:: SOT 143370 SOS 76055 HAS SOPS 54341 HAS SOUS 2897 HAS SOUPS 2757 WITH SCORE 2833.055
AT ITER 2253 NEW BEST:: SOT 143363 SOS 76052 HAS SOPS 54335 HAS SOUS 2897 HAS SOUPS 2757 WITH SCORE 2833.052
AT ITER 2274 NEW BEST:: SOT 143363 SOS 76051 HAS SOPS 54335 HAS SOUS 2897 HAS SOUPS 2757 WITH SCORE 2833.051
AT ITER 2319 NEW BEST:: SOT 143362 SOS 76049 HAS SOPS 54333 HAS SOUS 2895 HAS SOUPS 2755 WITH SCORE 2831.049
AT ITER 2331 NEW BEST:: SOT 143466 SOS 76080 HAS SOPS 54364 HAS SOUS 2872 HAS SOUPS 2732 WITH SCORE 2808.08
AT ITER 2335 NEW BEST:: SOT 143458 SOS 76064 HAS SOPS 54348 HAS SOUS 2864 HAS SOUPS 2724 WITH SCORE 2800.064
AT ITER 2340 NEW BEST:: SOT 143409 SOS 76034 HAS SOPS 54250 HAS SOUS 2842 HAS SOUPS 2702 WITH SCORE 2778.034
AT ITER 2387 NEW BEST:: SOT 143409 SOS 76030 HAS SOPS 54250 HAS SOUS 2842 HAS SOUPS 2702 WITH SCORE 2778.03
AT ITER 2444 NEW BEST:: SOT 143399 SOS 76030 HAS SOPS 54246 HAS SOUS 2838 HAS SOUPS 2698 WITH SCORE 2774.03
AT ITER 2458 NEW BEST:: SOT 143376 SOS 76006 HAS SOPS 54222 HAS SOUS 2829 HAS SOUPS 2689 WITH SCORE 2765.006
AT ITER 2537 NEW BEST:: SOT 143374 SOS 76002 HAS SOPS 54218 HAS SOUS 2827 HAS SOUPS 2687 WITH SCORE 2763.002
AT ITER 2549 NEW BEST:: SOT 143371 SOS 75999 HAS SOPS 54215 HAS SOUS 2827 HAS SOUPS 2687 WITH SCORE 2762.999
AT ITER 2637 NEW BEST:: SOT 143371 SOS 76005 HAS SOPS 54218 HAS SOUS 2826 HAS SOUPS 2686 WITH SCORE 2762.005
AT ITER 2661 NEW BEST:: SOT 143361 SOS 75990 HAS SOPS 54203 HAS SOUS 2819 HAS SOUPS 2679 WITH SCORE 2754.99
AT ITER 2671 NEW BEST:: SOT 143360 SOS 75996 HAS SOPS 54201 HAS SOUS 2817 HAS SOUPS 2677 WITH SCORE 2752.996
AT ITER 2721 NEW BEST:: SOT 143350 SOS 75991 HAS SOPS 54196 HAS SOUS 2817 HAS SOUPS 2677 WITH SCORE 2752.991
AT ITER 2722 NEW BEST:: SOT 143344 SOS 75997 HAS SOPS 54196 HAS SOUS 2811 HAS SOUPS 2671 WITH SCORE 2746.997
AT ITER 2738 NEW BEST:: SOT 143342 SOS 75996 HAS SOPS 54195 HAS SOUS 2810 HAS SOUPS 2670 WITH SCORE 2745.996
AT ITER 2761 NEW BEST:: SOT 143339 SOS 75787 HAS SOPS 54194 HAS SOUS 2804 HAS SOUPS 2669 WITH SCORE 2744.787
AT ITER 2771 NEW BEST:: SOT 143345 SOS 75775 HAS SOPS 53327 HAS SOUS 2798 HAS SOUPS 2663 WITH SCORE 2738.775
AT ITER 2794 NEW BEST:: SOT 143344 SOS 75773 HAS SOPS 53327 HAS SOUS 2798 HAS SOUPS 2663 WITH SCORE 2738.773
AT ITER 3105 NEW BEST:: SOT 143336 SOS 75769 HAS SOPS 53323 HAS SOUS 2798 HAS SOUPS 2663 WITH SCORE 2738.7690000000002
AT ITER 3201 NEW BEST:: SOT 143336 SOS 75763 HAS SOPS 53317 HAS SOUS 2796 HAS SOUPS 2661 WITH SCORE 2736.763
AT ITER 3202 NEW BEST:: SOT 143338 SOS 75767 HAS SOPS 52753 HAS SOUS 2794 HAS SOUPS 2659 WITH SCORE 2734.767
AT ITER 3224 NEW BEST:: SOT 143338 SOS 75765 HAS SOPS 52751 HAS SOUS 2791 HAS SOUPS 2656 WITH SCORE 2731.765
AT ITER 3244 NEW BEST:: SOT 143363 SOS 75770 HAS SOPS 52756 HAS SOUS 2787 HAS SOUPS 2652 WITH SCORE 2727.77
AT ITER 3274 NEW BEST:: SOT 143363 SOS 75760 HAS SOPS 52751 HAS SOUS 2785 HAS SOUPS 2652 WITH SCORE 2727.76
AT ITER 3285 NEW BEST:: SOT 143363 SOS 75750 HAS SOPS 52746 HAS SOUS 2780 HAS SOUPS 2647 WITH SCORE 2722.75
AT ITER 3290 NEW BEST:: SOT 143366 SOS 75744 HAS SOPS 52740 HAS SOUS 2779 HAS SOUPS 2646 WITH SCORE 2721.744
AT ITER 3352 NEW BEST:: SOT 143365 SOS 75741 HAS SOPS 52736 HAS SOUS 2777 HAS SOUPS 2644 WITH SCORE 2719.741
AT ITER 3372 NEW BEST:: SOT 143344 SOS 85734 HAS SOPS 54944 HAS SOUS 2760 HAS SOUPS 2622 WITH SCORE 2707.734
AT ITER 3477 NEW BEST:: SOT 143326 SOS 85730 HAS SOPS 55500 HAS SOUS 2752 HAS SOUPS 2614 WITH SCORE 2699.73
AT ITER 3505 NEW BEST:: SOT 143295 SOS 85708 HAS SOPS 55478 HAS SOUS 2750 HAS SOUPS 2612 WITH SCORE 2697.708
AT ITER 3509 NEW BEST:: SOT 143296 SOS 85261 HAS SOPS 55032 HAS SOUS 2750 HAS SOUPS 2612 WITH SCORE 2697.261
AT ITER 3584 NEW BEST:: SOT 143302 SOS 85261 HAS SOPS 55032 HAS SOUS 2748 HAS SOUPS 2610 WITH SCORE 2695.261
AT ITER 3836 NEW BEST:: SOT 143284 SOS 85231 HAS SOPS 55002 HAS SOUS 2736 HAS SOUPS 2598 WITH SCORE 2683.231
AT ITER 3919 NEW BEST:: SOT 143285 SOS 85229 HAS SOPS 55000 HAS SOUS 2734 HAS SOUPS 2596 WITH SCORE 2681.229
AT ITER 3925 NEW BEST:: SOT 143277 SOS 85213 HAS SOPS 54984 HAS SOUS 2731 HAS SOUPS 2593 WITH SCORE 2678.213
AT ITER 3999 NEW BEST:: SOT 143267 SOS 85212 HAS SOPS 54983 HAS SOUS 2730 HAS SOUPS 2592 WITH SCORE 2677.212
AT ITER 4009 NEW BEST:: SOT 143266 SOS 85210 HAS SOPS 54981 HAS SOUS 2728 HAS SOUPS 2590 WITH SCORE 2675.21
AT ITER 4062 NEW BEST:: SOT 143276 SOS 85220 HAS SOPS 54923 HAS SOUS 2722 HAS SOUPS 2584 WITH SCORE 2669.22
AT ITER 4190 NEW BEST:: SOT 143273 SOS 85214 HAS SOPS 54917 HAS SOUS 2722 HAS SOUPS 2584 WITH SCORE 2669.214
AT ITER 4257 NEW BEST:: SOT 143271 SOS 85217 HAS SOPS 54913 HAS SOUS 2720 HAS SOUPS 2582 WITH SCORE 2667.217
AT ITER 4281 NEW BEST:: SOT 143270 SOS 85213 HAS SOPS 54909 HAS SOUS 2719 HAS SOUPS 2581 WITH SCORE 2666.213
AT ITER 4283 NEW BEST:: SOT 143277 SOS 85217 HAS SOPS 54913 HAS SOUS 2718 HAS SOUPS 2580 WITH SCORE 2665.217
AT ITER 4285 NEW BEST:: SOT 143276 SOS 85215 HAS SOPS 54913 HAS SOUS 2718 HAS SOUPS 2580 WITH SCORE 2665.215
AT ITER 4301 NEW BEST:: SOT 143275 SOS 85211 HAS SOPS 54911 HAS SOUS 2714 HAS SOUPS 2578 WITH SCORE 2663.211
AT ITER 4319 NEW BEST:: SOT 143275 SOS 85211 HAS SOPS 54910 HAS SOUS 2714 HAS SOUPS 2577 WITH SCORE 2662.211
AT ITER 4338 NEW BEST:: SOT 143274 SOS 85210 HAS SOPS 54908 HAS SOUS 2713 HAS SOUPS 2576 WITH SCORE 2661.21
AT ITER 4387 NEW BEST:: SOT 143270 SOS 85206 HAS SOPS 54904 HAS SOUS 2709 HAS SOUPS 2572 WITH SCORE 2657.206
AT ITER 4428 NEW BEST:: SOT 143268 SOS 85204 HAS SOPS 54902 HAS SOUS 2707 HAS SOUPS 2570 WITH SCORE 2655.204
AT ITER 4439 NEW BEST:: SOT 143260 SOS 85188 HAS SOPS 56878 HAS SOUS 2702 HAS SOUPS 2565 WITH SCORE 2650.188
AT ITER 4455 NEW BEST:: SOT 143257 SOS 85160 HAS SOPS 56617 HAS SOUS 2700 HAS SOUPS 2563 WITH SCORE 2648.16
AT ITER 4509 NEW BEST:: SOT 143231 SOS 85135 HAS SOPS 56592 HAS SOUS 2692 HAS SOUPS 2555 WITH SCORE 2640.135
AT ITER 4598 NEW BEST:: SOT 143231 SOS 85123 HAS SOPS 56586 HAS SOUS 2692 HAS SOUPS 2555 WITH SCORE 2640.123
AT ITER 4622 NEW BEST:: SOT 143230 SOS 85122 HAS SOPS 56584 HAS SOUS 2691 HAS SOUPS 2554 WITH SCORE 2639.122
AT ITER 4775 NEW BEST:: SOT 143233 SOS 85125 HAS SOPS 56581 HAS SOUS 2690 HAS SOUPS 2553 WITH SCORE 2638.125
AT ITER 4844 NEW BEST:: SOT 143236 SOS 85126 HAS SOPS 56583 HAS SOUS 2688 HAS SOUPS 2551 WITH SCORE 2636.126
AT ITER 4870 NEW BEST:: SOT 143220 SOS 85094 HAS SOPS 56551 HAS SOUS 2673 HAS SOUPS 2536 WITH SCORE 2621.094
AT ITER 4887 NEW BEST:: SOT 143208 SOS 85082 HAS SOPS 56539 HAS SOUS 2665 HAS SOUPS 2528 WITH SCORE 2613.082
AT ITER 4938 NEW BEST:: SOT 143207 SOS 85086 HAS SOPS 56543 HAS SOUS 2663 HAS SOUPS 2526 WITH SCORE 2611.086
AT ITER 4959 NEW BEST:: SOT 143201 SOS 85074 HAS SOPS 56531 HAS SOUS 2659 HAS SOUPS 2522 WITH SCORE 2607.074
AT ITER 4994 NEW BEST:: SOT 143197 SOS 85074 HAS SOPS 56113 HAS SOUS 2638 HAS SOUPS 2501 WITH SCORE 2586.074
AT ITER 5018 NEW BEST:: SOT 143197 SOS 85072 HAS SOPS 56111 HAS SOUS 2637 HAS SOUPS 2500 WITH SCORE 2585.072
AT ITER 5110 NEW BEST:: SOT 143189 SOS 86852 HAS SOPS 57891 HAS SOUS 2633 HAS SOUPS 2496 WITH SCORE 2582.852
AT ITER 5176 NEW BEST:: SOT 143187 SOS 86850 HAS SOPS 57693 HAS SOUS 2628 HAS SOUPS 2491 WITH SCORE 2577.85
AT ITER 5209 NEW BEST:: SOT 143184 SOS 86848 HAS SOPS 57691 HAS SOUS 2627 HAS SOUPS 2490 WITH SCORE 2576.848
AT ITER 5231 NEW BEST:: SOT 143183 SOS 86847 HAS SOPS 57690 HAS SOUS 2626 HAS SOUPS 2489 WITH SCORE 2575.847
AT ITER 5364 NEW BEST:: SOT 143182 SOS 86845 HAS SOPS 57688 HAS SOUS 2624 HAS SOUPS 2487 WITH SCORE 2573.845
AT ITER 5387 NEW BEST:: SOT 143182 SOS 86843 HAS SOPS 57686 HAS SOUS 2623 HAS SOUPS 2486 WITH SCORE 2572.843
AT ITER 5469 NEW BEST:: SOT 143186 SOS 86843 HAS SOPS 56552 HAS SOUS 2621 HAS SOUPS 2484 WITH SCORE 2570.843
AT ITER 5476 NEW BEST:: SOT 143186 SOS 86843 HAS SOPS 56552 HAS SOUS 2620 HAS SOUPS 2483 WITH SCORE 2569.843
AT ITER 5555 NEW BEST:: SOT 143185 SOS 86842 HAS SOPS 56550 HAS SOUS 2619 HAS SOUPS 2481 WITH SCORE 2567.842
AT ITER 5727 NEW BEST:: SOT 143185 SOS 86838 HAS SOPS 56550 HAS SOUS 2619 HAS SOUPS 2481 WITH SCORE 2567.838
AT ITER 5891 NEW BEST:: SOT 143188 SOS 86837 HAS SOPS 56552 HAS SOUS 2618 HAS SOUPS 2480 WITH SCORE 2566.837
AT ITER 5950 NEW BEST:: SOT 143171 SOS 86833 HAS SOPS 56548 HAS SOUS 2617 HAS SOUPS 2479 WITH SCORE 2565.833
AT ITER 5999 NEW BEST:: SOT 143171 SOS 86831 HAS SOPS 56546 HAS SOUS 2617 HAS SOUPS 2479 WITH SCORE 2565.831
AT ITER 6302 NEW BEST:: SOT 143170 SOS 86829 HAS SOPS 56536 HAS SOUS 2612 HAS SOUPS 2474 WITH SCORE 2560.829
AT ITER 6591 NEW BEST:: SOT 143169 SOS 86827 HAS SOPS 56534 HAS SOUS 2612 HAS SOUPS 2474 WITH SCORE 2560.827
AT ITER 6784 NEW BEST:: SOT 143167 SOS 86826 HAS SOPS 56534 HAS SOUS 2612 HAS SOUPS 2474 WITH SCORE 2560.826
AT ITER 6797 NEW BEST:: SOT 143163 SOS 86822 HAS SOPS 56530 HAS SOUS 2608 HAS SOUPS 2470 WITH SCORE 2556.822
AT ITER 6864 NEW BEST:: SOT 143163 SOS 86822 HAS SOPS 56362 HAS SOUS 2601 HAS SOUPS 2463 WITH SCORE 2549.822
AT ITER 6899 NEW BEST:: SOT 143159 SOS 86816 HAS SOPS 56356 HAS SOUS 2601 HAS SOUPS 2463 WITH SCORE 2549.816
AT ITER 6925 NEW BEST:: SOT 143157 SOS 86814 HAS SOPS 56354 HAS SOUS 2600 HAS SOUPS 2462 WITH SCORE 2548.814
AT ITER 6931 NEW BEST:: SOT 143157 SOS 86812 HAS SOPS 56352 HAS SOUS 2600 HAS SOUPS 2462 WITH SCORE 2548.812
AT ITER 6961 NEW BEST:: SOT 143154 SOS 86810 HAS SOPS 56350 HAS SOUS 2599 HAS SOUPS 2461 WITH SCORE 2547.81
AT ITER 7005 NEW BEST:: SOT 143154 SOS 86810 HAS SOPS 56349 HAS SOUS 2598 HAS SOUPS 2460 WITH SCORE 2546.81
AT ITER 7029 NEW BEST:: SOT 143150 SOS 86806 HAS SOPS 56345 HAS SOUS 2598 HAS SOUPS 2460 WITH SCORE 2546.806
AT ITER 7319 NEW BEST:: SOT 143149 SOS 86805 HAS SOPS 56345 HAS SOUS 2598 HAS SOUPS 2460 WITH SCORE 2546.805
AT ITER 7334 NEW BEST:: SOT 143159 SOS 86800 HAS SOPS 56345 HAS SOUS 2597 HAS SOUPS 2459 WITH SCORE 2545.8
AT ITER 7459 NEW BEST:: SOT 143160 SOS 86802 HAS SOPS 56153 HAS SOUS 2595 HAS SOUPS 2457 WITH SCORE 2543.802
AT ITER 7586 NEW BEST:: SOT 143157 SOS 86800 HAS SOPS 56151 HAS SOUS 2594 HAS SOUPS 2456 WITH SCORE 2542.8
AT ITER 7737 NEW BEST:: SOT 143157 SOS 86760 HAS SOPS 56151 HAS SOUS 2593 HAS SOUPS 2456 WITH SCORE 2542.76
AT ITER 7945 NEW BEST:: SOT 143156 SOS 86759 HAS SOPS 56151 HAS SOUS 2593 HAS SOUPS 2456 WITH SCORE 2542.759
AT ITER 7959 NEW BEST:: SOT 143157 SOS 86757 HAS SOPS 56149 HAS SOUS 2593 HAS SOUPS 2456 WITH SCORE 2542.757
AT ITER 8025 NEW BEST:: SOT 143144 SOS 86756 HAS SOPS 56143 HAS SOUS 2589 HAS SOUPS 2452 WITH SCORE 2538.756
AT ITER 8055 NEW BEST:: SOT 143144 SOS 86754 HAS SOPS 56141 HAS SOUS 2589 HAS SOUPS 2452 WITH SCORE 2538.754
AT ITER 8065 NEW BEST:: SOT 143144 SOS 86751 HAS SOPS 56141 HAS SOUS 2589 HAS SOUPS 2452 WITH SCORE 2538.751
AT ITER 8102 NEW BEST:: SOT 143144 SOS 86750 HAS SOPS 56140 HAS SOUS 2588 HAS SOUPS 2451 WITH SCORE 2537.75
AT ITER 8239 NEW BEST:: SOT 143144 SOS 86749 HAS SOPS 56140 HAS SOUS 2588 HAS SOUPS 2451 WITH SCORE 2537.749
AT ITER 8288 NEW BEST:: SOT 143156 SOS 86761 HAS SOPS 56136 HAS SOUS 2584 HAS SOUPS 2447 WITH SCORE 2533.761
AT ITER 8354 NEW BEST:: SOT 143158 SOS 85869 HAS SOPS 55244 HAS SOUS 2584 HAS SOUPS 2447 WITH SCORE 2532.869
AT ITER 8634 NEW BEST:: SOT 143158 SOS 85869 HAS SOPS 55244 HAS SOUS 2583 HAS SOUPS 2446 WITH SCORE 2531.869
AT ITER 8704 NEW BEST:: SOT 143157 SOS 85867 HAS SOPS 55242 HAS SOUS 2583 HAS SOUPS 2446 WITH SCORE 2531.867
AT ITER 8760 NEW BEST:: SOT 143156 SOS 85866 HAS SOPS 55241 HAS SOUS 2582 HAS SOUPS 2445 WITH SCORE 2530.866
AT ITER 9264 NEW BEST:: SOT 143155 SOS 85867 HAS SOPS 55242 HAS SOUS 2581 HAS SOUPS 2444 WITH SCORE 2529.867
AT ITER 9317 NEW BEST:: SOT 143155 SOS 85863 HAS SOPS 55238 HAS SOUS 2579 HAS SOUPS 2442 WITH SCORE 2527.863
AT ITER 9334 NEW BEST:: SOT 143156 SOS 85860 HAS SOPS 55236 HAS SOUS 2577 HAS SOUPS 2440 WITH SCORE 2525.86
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 1679448893329

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
free(): double free detected in tcache 2
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 488 Aborted ${SMART}/smart ${INPUT_SM}

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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r459-smll-167912651500640"
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 ;