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.r355-smll-167891803400376.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 SemanticWebServices-PT-S064P18, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803400376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 584K
-rw-r--r-- 1 mcc users 6.2K Feb 26 10:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 10:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 10:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 10:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 10:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 10:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 173K 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 1679921587197

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=SemanticWebServices-PT-S064P18
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S064P18
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: 154 places, 236 transitions, 1265 arcs.
AT ITER 0 NEW BEST:: SOT 30193 SOS 20291 HAS SOPS 13235 HAS SOUS 8581 HAS SOUPS 6563 WITH SCORE 6583.291
AT ITER 1 NEW BEST:: SOT 30193 SOS 20287 HAS SOPS 13235 HAS SOUS 8579 HAS SOUPS 6563 WITH SCORE 6583.287
AT ITER 6 NEW BEST:: SOT 30193 SOS 20283 HAS SOPS 13235 HAS SOUS 8577 HAS SOUPS 6563 WITH SCORE 6583.283
AT ITER 7 NEW BEST:: SOT 30193 SOS 20161 HAS SOPS 13235 HAS SOUS 8552 HAS SOUPS 6563 WITH SCORE 6583.161
AT ITER 11 NEW BEST:: SOT 30193 SOS 20127 HAS SOPS 13181 HAS SOUS 8535 HAS SOUPS 6536 WITH SCORE 6556.127
AT ITER 12 NEW BEST:: SOT 30193 SOS 20081 HAS SOPS 13135 HAS SOUS 8512 HAS SOUPS 6513 WITH SCORE 6533.081
AT ITER 16 NEW BEST:: SOT 30193 SOS 20081 HAS SOPS 13087 HAS SOUS 8512 HAS SOUPS 6489 WITH SCORE 6509.081
AT ITER 20 NEW BEST:: SOT 30193 SOS 20049 HAS SOPS 13087 HAS SOUS 8496 HAS SOUPS 6489 WITH SCORE 6509.049
AT ITER 25 NEW BEST:: SOT 30193 SOS 19767 HAS SOPS 13003 HAS SOUS 8416 HAS SOUPS 6447 WITH SCORE 6466.767
AT ITER 26 NEW BEST:: SOT 30193 SOS 19697 HAS SOPS 12981 HAS SOUS 8381 HAS SOUPS 6436 WITH SCORE 6455.697
AT ITER 27 NEW BEST:: SOT 30193 SOS 19675 HAS SOPS 12981 HAS SOUS 8370 HAS SOUPS 6436 WITH SCORE 6455.675
AT ITER 29 NEW BEST:: SOT 30193 SOS 19393 HAS SOPS 12977 HAS SOUS 8296 HAS SOUPS 6434 WITH SCORE 6453.393
AT ITER 30 NEW BEST:: SOT 30193 SOS 19351 HAS SOPS 12963 HAS SOUS 8282 HAS SOUPS 6427 WITH SCORE 6446.351
AT ITER 35 NEW BEST:: SOT 30193 SOS 19259 HAS SOPS 12905 HAS SOUS 8236 HAS SOUPS 6398 WITH SCORE 6417.259
AT ITER 47 NEW BEST:: SOT 30193 SOS 19149 HAS SOPS 12889 HAS SOUS 8181 HAS SOUPS 6390 WITH SCORE 6409.149
AT ITER 52 NEW BEST:: SOT 28321 SOS 17649 HAS SOPS 12153 HAS SOUS 7261 HAS SOUPS 5650 WITH SCORE 5667.649
AT ITER 55 NEW BEST:: SOT 28321 SOS 17647 HAS SOPS 12153 HAS SOUS 7260 HAS SOUPS 5650 WITH SCORE 5667.647
AT ITER 71 NEW BEST:: SOT 28321 SOS 17517 HAS SOPS 12093 HAS SOUS 7195 HAS SOUPS 5620 WITH SCORE 5637.517
AT ITER 76 NEW BEST:: SOT 28321 SOS 17405 HAS SOPS 12041 HAS SOUS 7165 HAS SOUPS 5594 WITH SCORE 5611.405
AT ITER 79 NEW BEST:: SOT 28321 SOS 17353 HAS SOPS 12003 HAS SOUS 7139 HAS SOUPS 5575 WITH SCORE 5592.353
AT ITER 80 NEW BEST:: SOT 28321 SOS 17353 HAS SOPS 11975 HAS SOUS 7139 HAS SOUPS 5561 WITH SCORE 5578.353
AT ITER 81 NEW BEST:: SOT 28321 SOS 17427 HAS SOPS 11943 HAS SOUS 7176 HAS SOUPS 5545 WITH SCORE 5562.427
AT ITER 82 NEW BEST:: SOT 28321 SOS 17427 HAS SOPS 11883 HAS SOUS 7176 HAS SOUPS 5515 WITH SCORE 5532.427
AT ITER 83 NEW BEST:: SOT 28321 SOS 17113 HAS SOPS 11851 HAS SOUS 7097 HAS SOUPS 5499 WITH SCORE 5516.113
AT ITER 85 NEW BEST:: SOT 28321 SOS 17015 HAS SOPS 11851 HAS SOUS 7048 HAS SOUPS 5499 WITH SCORE 5516.015
AT ITER 87 NEW BEST:: SOT 28319 SOS 17013 HAS SOPS 11849 HAS SOUS 7047 HAS SOUPS 5498 WITH SCORE 5515.013
AT ITER 88 NEW BEST:: SOT 28318 SOS 17012 HAS SOPS 11848 HAS SOUS 7045 HAS SOUPS 5496 WITH SCORE 5513.012
AT ITER 93 NEW BEST:: SOT 28318 SOS 16996 HAS SOPS 11848 HAS SOUS 7037 HAS SOUPS 5496 WITH SCORE 5512.996
AT ITER 96 NEW BEST:: SOT 28320 SOS 16926 HAS SOPS 11754 HAS SOUS 7002 HAS SOUPS 5449 WITH SCORE 5465.926
AT ITER 97 NEW BEST:: SOT 28320 SOS 16922 HAS SOPS 11754 HAS SOUS 7000 HAS SOUPS 5449 WITH SCORE 5465.922
AT ITER 107 NEW BEST:: SOT 28316 SOS 16918 HAS SOPS 11750 HAS SOUS 6998 HAS SOUPS 5447 WITH SCORE 5463.918
AT ITER 110 NEW BEST:: SOT 28316 SOS 16916 HAS SOPS 11692 HAS SOUS 6997 HAS SOUPS 5418 WITH SCORE 5434.916
AT ITER 114 NEW BEST:: SOT 28300 SOS 16900 HAS SOPS 11650 HAS SOUS 6989 HAS SOUPS 5397 WITH SCORE 5413.9
AT ITER 115 NEW BEST:: SOT 28299 SOS 16904 HAS SOPS 11654 HAS SOUS 6988 HAS SOUPS 5396 WITH SCORE 5412.904
AT ITER 117 NEW BEST:: SOT 28299 SOS 16942 HAS SOPS 11652 HAS SOUS 7007 HAS SOUPS 5395 WITH SCORE 5411.942
AT ITER 124 NEW BEST:: SOT 28299 SOS 16898 HAS SOPS 11600 HAS SOUS 6985 HAS SOUPS 5369 WITH SCORE 5385.898
AT ITER 125 NEW BEST:: SOT 28299 SOS 16864 HAS SOPS 11566 HAS SOUS 6968 HAS SOUPS 5352 WITH SCORE 5368.864
AT ITER 139 NEW BEST:: SOT 28295 SOS 16742 HAS SOPS 11454 HAS SOUS 6905 HAS SOUPS 5294 WITH SCORE 5310.742
AT ITER 146 NEW BEST:: SOT 28295 SOS 16568 HAS SOPS 11404 HAS SOUS 6818 HAS SOUPS 5269 WITH SCORE 5285.568
AT ITER 147 NEW BEST:: SOT 28295 SOS 16482 HAS SOPS 11380 HAS SOUS 6775 HAS SOUPS 5257 WITH SCORE 5273.482
AT ITER 148 NEW BEST:: SOT 28295 SOS 16394 HAS SOPS 11308 HAS SOUS 6731 HAS SOUPS 5221 WITH SCORE 5237.394
AT ITER 150 NEW BEST:: SOT 28295 SOS 16380 HAS SOPS 11296 HAS SOUS 6724 HAS SOUPS 5215 WITH SCORE 5231.38
AT ITER 156 NEW BEST:: SOT 28295 SOS 16368 HAS SOPS 11292 HAS SOUS 6720 HAS SOUPS 5213 WITH SCORE 5229.368
AT ITER 159 NEW BEST:: SOT 28299 SOS 16372 HAS SOPS 11296 HAS SOUS 6715 HAS SOUPS 5208 WITH SCORE 5224.372
AT ITER 160 NEW BEST:: SOT 25127 SOS 17998 HAS SOPS 16798 HAS SOUS 5057 HAS SOUPS 4741 WITH SCORE 4758.998
AT ITER 165 NEW BEST:: SOT 25113 SOS 17984 HAS SOPS 16784 HAS SOUS 5043 HAS SOUPS 4727 WITH SCORE 4744.984
AT ITER 171 NEW BEST:: SOT 25109 SOS 17980 HAS SOPS 16780 HAS SOUS 5040 HAS SOUPS 4724 WITH SCORE 4741.98
AT ITER 173 NEW BEST:: SOT 25065 SOS 17936 HAS SOPS 16736 HAS SOUS 5018 HAS SOUPS 4702 WITH SCORE 4719.936
AT ITER 178 NEW BEST:: SOT 25065 SOS 17930 HAS SOPS 16734 HAS SOUS 5016 HAS SOUPS 4701 WITH SCORE 4718.93
AT ITER 181 NEW BEST:: SOT 25041 SOS 17902 HAS SOPS 16710 HAS SOUS 4990 HAS SOUPS 4677 WITH SCORE 4694.902
AT ITER 183 NEW BEST:: SOT 25005 SOS 17866 HAS SOPS 16674 HAS SOUS 4954 HAS SOUPS 4641 WITH SCORE 4658.866
AT ITER 200 NEW BEST:: SOT 25027 SOS 17888 HAS SOPS 16696 HAS SOUS 4943 HAS SOUPS 4630 WITH SCORE 4647.888
AT ITER 208 NEW BEST:: SOT 24965 SOS 17826 HAS SOPS 16634 HAS SOUS 4931 HAS SOUPS 4618 WITH SCORE 4635.826
AT ITER 224 NEW BEST:: SOT 24953 SOS 17738 HAS SOPS 16622 HAS SOUS 4905 HAS SOUPS 4611 WITH SCORE 4628.738
AT ITER 235 NEW BEST:: SOT 24067 SOS 16875 HAS SOPS 15759 HAS SOUS 4703 HAS SOUPS 4409 WITH SCORE 4425.875
AT ITER 236 NEW BEST:: SOT 24067 SOS 16875 HAS SOPS 15759 HAS SOUS 4675 HAS SOUPS 4381 WITH SCORE 4397.875
AT ITER 243 NEW BEST:: SOT 24005 SOS 16855 HAS SOPS 15737 HAS SOUS 4668 HAS SOUPS 4373 WITH SCORE 4389.855
AT ITER 249 NEW BEST:: SOT 23939 SOS 16771 HAS SOPS 15671 HAS SOUS 4585 HAS SOUPS 4299 WITH SCORE 4315.771
AT ITER 256 NEW BEST:: SOT 23889 SOS 16739 HAS SOPS 15621 HAS SOUS 4578 HAS SOUPS 4283 WITH SCORE 4299.739
AT ITER 269 NEW BEST:: SOT 23867 SOS 16717 HAS SOPS 15599 HAS SOUS 4559 HAS SOUPS 4264 WITH SCORE 4280.717
AT ITER 270 NEW BEST:: SOT 23867 SOS 16717 HAS SOPS 15599 HAS SOUS 4545 HAS SOUPS 4250 WITH SCORE 4266.717
AT ITER 277 NEW BEST:: SOT 23811 SOS 16643 HAS SOPS 15521 HAS SOUS 4492 HAS SOUPS 4195 WITH SCORE 4211.643
AT ITER 298 NEW BEST:: SOT 23811 SOS 16643 HAS SOPS 15521 HAS SOUS 4478 HAS SOUPS 4181 WITH SCORE 4197.643
AT ITER 303 NEW BEST:: SOT 23811 SOS 16611 HAS SOPS 15521 HAS SOUS 4483 HAS SOUPS 4181 WITH SCORE 4197.611
AT ITER 317 NEW BEST:: SOT 23765 SOS 16565 HAS SOPS 15475 HAS SOUS 4440 HAS SOUPS 4138 WITH SCORE 4154.565
AT ITER 331 NEW BEST:: SOT 23715 SOS 16473 HAS SOPS 15385 HAS SOUS 4391 HAS SOUPS 4090 WITH SCORE 4106.473
AT ITER 335 NEW BEST:: SOT 24061 SOS 15043 HAS SOPS 13185 HAS SOUS 4580 HAS SOUPS 4048 WITH SCORE 4063.043
AT ITER 339 NEW BEST:: SOT 24049 SOS 15047 HAS SOPS 13173 HAS SOUS 4560 HAS SOUPS 4020 WITH SCORE 4035.047
AT ITER 354 NEW BEST:: SOT 24049 SOS 15005 HAS SOPS 13173 HAS SOUS 4560 HAS SOUPS 4020 WITH SCORE 4035.005
AT ITER 359 NEW BEST:: SOT 24049 SOS 14985 HAS SOPS 13173 HAS SOUS 4556 HAS SOUPS 4020 WITH SCORE 4034.985
AT ITER 363 NEW BEST:: SOT 24047 SOS 14984 HAS SOPS 13172 HAS SOUS 4555 HAS SOUPS 4019 WITH SCORE 4033.984
AT ITER 366 NEW BEST:: SOT 23999 SOS 14936 HAS SOPS 13124 HAS SOUS 4501 HAS SOUPS 3965 WITH SCORE 3979.936
AT ITER 367 NEW BEST:: SOT 24047 SOS 14942 HAS SOPS 13160 HAS SOUS 4466 HAS SOUPS 3919 WITH SCORE 3933.942
AT ITER 368 NEW BEST:: SOT 23975 SOS 14868 HAS SOPS 13088 HAS SOUS 4440 HAS SOUPS 3862 WITH SCORE 3876.868
AT ITER 373 NEW BEST:: SOT 23973 SOS 14818 HAS SOPS 13050 HAS SOUS 4414 HAS SOUPS 3842 WITH SCORE 3856.818
AT ITER 376 NEW BEST:: SOT 23035 SOS 14165 HAS SOPS 12591 HAS SOUS 4336 HAS SOUPS 3807 WITH SCORE 3821.165
AT ITER 391 NEW BEST:: SOT 23035 SOS 14133 HAS SOPS 12575 HAS SOUS 4320 HAS SOUPS 3799 WITH SCORE 3813.133
AT ITER 399 NEW BEST:: SOT 23029 SOS 14127 HAS SOPS 12569 HAS SOUS 4310 HAS SOUPS 3789 WITH SCORE 3803.127
AT ITER 414 NEW BEST:: SOT 23017 SOS 14115 HAS SOPS 12557 HAS SOUS 4298 HAS SOUPS 3777 WITH SCORE 3791.115
AT ITER 431 NEW BEST:: SOT 23005 SOS 14103 HAS SOPS 12545 HAS SOUS 4292 HAS SOUPS 3771 WITH SCORE 3785.103
AT ITER 444 NEW BEST:: SOT 22975 SOS 14029 HAS SOPS 12515 HAS SOUS 4249 HAS SOUPS 3755 WITH SCORE 3769.029
AT ITER 458 NEW BEST:: SOT 22953 SOS 14011 HAS SOPS 12493 HAS SOUS 4251 HAS SOUPS 3755 WITH SCORE 3769.011
AT ITER 466 NEW BEST:: SOT 23049 SOS 13910 HAS SOPS 12154 HAS SOUS 4241 HAS SOUPS 3691 WITH SCORE 3704.91
AT ITER 477 NEW BEST:: SOT 23029 SOS 13890 HAS SOPS 12134 HAS SOUS 4221 HAS SOUPS 3671 WITH SCORE 3684.89
AT ITER 481 NEW BEST:: SOT 23029 SOS 13888 HAS SOPS 12134 HAS SOUS 4220 HAS SOUPS 3671 WITH SCORE 3684.888
AT ITER 486 NEW BEST:: SOT 23029 SOS 13852 HAS SOPS 12116 HAS SOUS 4202 HAS SOUPS 3662 WITH SCORE 3675.852
AT ITER 488 NEW BEST:: SOT 23027 SOS 13850 HAS SOPS 12114 HAS SOUS 4200 HAS SOUPS 3660 WITH SCORE 3673.85
AT ITER 492 NEW BEST:: SOT 23027 SOS 13838 HAS SOPS 12112 HAS SOUS 4195 HAS SOUPS 3659 WITH SCORE 3672.838
AT ITER 494 NEW BEST:: SOT 23021 SOS 13832 HAS SOPS 12106 HAS SOUS 4182 HAS SOUPS 3646 WITH SCORE 3659.832
AT ITER 529 NEW BEST:: SOT 22895 SOS 13654 HAS SOPS 11958 HAS SOUS 4051 HAS SOUPS 3530 WITH SCORE 3543.654
AT ITER 542 NEW BEST:: SOT 22897 SOS 13652 HAS SOPS 11936 HAS SOUS 4045 HAS SOUPS 3514 WITH SCORE 3527.652
AT ITER 550 NEW BEST:: SOT 22823 SOS 13564 HAS SOPS 11848 HAS SOUS 3997 HAS SOUPS 3466 WITH SCORE 3479.564
AT ITER 571 NEW BEST:: SOT 22807 SOS 13548 HAS SOPS 11832 HAS SOUS 3981 HAS SOUPS 3450 WITH SCORE 3463.548
AT ITER 585 NEW BEST:: SOT 22687 SOS 13428 HAS SOPS 11712 HAS SOUS 3947 HAS SOUPS 3416 WITH SCORE 3429.428
AT ITER 607 NEW BEST:: SOT 22687 SOS 13428 HAS SOPS 11712 HAS SOUS 3941 HAS SOUPS 3410 WITH SCORE 3423.428
AT ITER 626 NEW BEST:: SOT 22667 SOS 13372 HAS SOPS 11656 HAS SOUS 3903 HAS SOUPS 3372 WITH SCORE 3385.372
AT ITER 629 NEW BEST:: SOT 22667 SOS 13292 HAS SOPS 11656 HAS SOUS 3863 HAS SOUPS 3372 WITH SCORE 3385.292
AT ITER 630 NEW BEST:: SOT 22653 SOS 13278 HAS SOPS 11642 HAS SOUS 3862 HAS SOUPS 3371 WITH SCORE 3384.278
AT ITER 632 NEW BEST:: SOT 22641 SOS 13266 HAS SOPS 11630 HAS SOUS 3852 HAS SOUPS 3361 WITH SCORE 3374.266
AT ITER 647 NEW BEST:: SOT 22621 SOS 13212 HAS SOPS 11610 HAS SOUS 3835 HAS SOUPS 3361 WITH SCORE 3374.212
AT ITER 651 NEW BEST:: SOT 22625 SOS 13210 HAS SOPS 11588 HAS SOUS 3832 HAS SOUPS 3348 WITH SCORE 3361.21
AT ITER 662 NEW BEST:: SOT 22625 SOS 13230 HAS SOPS 11582 HAS SOUS 3842 HAS SOUPS 3345 WITH SCORE 3358.23
AT ITER 675 NEW BEST:: SOT 22581 SOS 13186 HAS SOPS 11538 HAS SOUS 3810 HAS SOUPS 3313 WITH SCORE 3326.186
AT ITER 690 NEW BEST:: SOT 22605 SOS 13210 HAS SOPS 11562 HAS SOUS 3803 HAS SOUPS 3306 WITH SCORE 3319.21
AT ITER 698 NEW BEST:: SOT 22605 SOS 13210 HAS SOPS 11562 HAS SOUS 3801 HAS SOUPS 3304 WITH SCORE 3317.21
AT ITER 714 NEW BEST:: SOT 22607 SOS 13229 HAS SOPS 11581 HAS SOUS 3795 HAS SOUPS 3298 WITH SCORE 3311.229
AT ITER 715 NEW BEST:: SOT 22607 SOS 13205 HAS SOPS 11563 HAS SOUS 3783 HAS SOUPS 3289 WITH SCORE 3302.205
AT ITER 721 NEW BEST:: SOT 22607 SOS 13205 HAS SOPS 11563 HAS SOUS 3774 HAS SOUPS 3280 WITH SCORE 3293.205
AT ITER 743 NEW BEST:: SOT 22587 SOS 13186 HAS SOPS 11544 HAS SOUS 3765 HAS SOUPS 3271 WITH SCORE 3284.186
AT ITER 747 NEW BEST:: SOT 22579 SOS 13178 HAS SOPS 11536 HAS SOUS 3748 HAS SOUPS 3254 WITH SCORE 3267.178
AT ITER 749 NEW BEST:: SOT 22579 SOS 13162 HAS SOPS 11532 HAS SOUS 3740 HAS SOUPS 3252 WITH SCORE 3265.162
AT ITER 788 NEW BEST:: SOT 22569 SOS 13152 HAS SOPS 11522 HAS SOUS 3734 HAS SOUPS 3246 WITH SCORE 3259.152
AT ITER 789 NEW BEST:: SOT 22571 SOS 13166 HAS SOPS 11536 HAS SOUS 3733 HAS SOUPS 3245 WITH SCORE 3258.166
AT ITER 869 NEW BEST:: SOT 22559 SOS 13154 HAS SOPS 11524 HAS SOUS 3721 HAS SOUPS 3233 WITH SCORE 3246.154
AT ITER 870 NEW BEST:: SOT 22537 SOS 13132 HAS SOPS 11502 HAS SOUS 3699 HAS SOUPS 3211 WITH SCORE 3224.132
AT ITER 886 NEW BEST:: SOT 22537 SOS 13132 HAS SOPS 11502 HAS SOUS 3678 HAS SOUPS 3190 WITH SCORE 3203.132
AT ITER 888 NEW BEST:: SOT 22537 SOS 13146 HAS SOPS 11496 HAS SOUS 3685 HAS SOUPS 3187 WITH SCORE 3200.146
AT ITER 906 NEW BEST:: SOT 22537 SOS 13158 HAS SOPS 11474 HAS SOUS 3691 HAS SOUPS 3176 WITH SCORE 3189.158
AT ITER 925 NEW BEST:: SOT 22545 SOS 13166 HAS SOPS 11482 HAS SOUS 3683 HAS SOUPS 3168 WITH SCORE 3181.166
AT ITER 955 NEW BEST:: SOT 22541 SOS 13142 HAS SOPS 11478 HAS SOUS 3681 HAS SOUPS 3166 WITH SCORE 3179.142
AT ITER 1002 NEW BEST:: SOT 22549 SOS 13150 HAS SOPS 11486 HAS SOUS 3677 HAS SOUPS 3162 WITH SCORE 3175.15
AT ITER 1028 NEW BEST:: SOT 22549 SOS 13148 HAS SOPS 11486 HAS SOUS 3648 HAS SOUPS 3134 WITH SCORE 3147.148
AT ITER 1057 NEW BEST:: SOT 22549 SOS 13148 HAS SOPS 11486 HAS SOUS 3643 HAS SOUPS 3129 WITH SCORE 3142.148
AT ITER 1093 NEW BEST:: SOT 22548 SOS 13146 HAS SOPS 11484 HAS SOUS 3642 HAS SOUPS 3128 WITH SCORE 3141.146
AT ITER 1097 NEW BEST:: SOT 22544 SOS 13142 HAS SOPS 11480 HAS SOUS 3638 HAS SOUPS 3124 WITH SCORE 3137.142
AT ITER 1105 NEW BEST:: SOT 22540 SOS 13138 HAS SOPS 11476 HAS SOUS 3637 HAS SOUPS 3123 WITH SCORE 3136.138
AT ITER 1138 NEW BEST:: SOT 22540 SOS 13136 HAS SOPS 11476 HAS SOUS 3636 HAS SOUPS 3123 WITH SCORE 3136.136
AT ITER 1151 NEW BEST:: SOT 22538 SOS 13134 HAS SOPS 11474 HAS SOUS 3634 HAS SOUPS 3121 WITH SCORE 3134.134
AT ITER 1152 NEW BEST:: SOT 22544 SOS 13050 HAS SOPS 11480 HAS SOUS 3614 HAS SOUPS 3121 WITH SCORE 3134.05
AT ITER 1170 NEW BEST:: SOT 22552 SOS 13058 HAS SOPS 11488 HAS SOUS 3604 HAS SOUPS 3111 WITH SCORE 3124.058
AT ITER 1171 NEW BEST:: SOT 22514 SOS 13020 HAS SOPS 11450 HAS SOUS 3590 HAS SOUPS 3097 WITH SCORE 3110.02
AT ITER 1182 NEW BEST:: SOT 22514 SOS 12968 HAS SOPS 11450 HAS SOUS 3580 HAS SOUPS 3097 WITH SCORE 3109.968
AT ITER 1192 NEW BEST:: SOT 22508 SOS 12962 HAS SOPS 11444 HAS SOUS 3577 HAS SOUPS 3094 WITH SCORE 3106.962
AT ITER 1198 NEW BEST:: SOT 22492 SOS 12926 HAS SOPS 11408 HAS SOUS 3551 HAS SOUPS 3068 WITH SCORE 3080.926
AT ITER 1222 NEW BEST:: SOT 22450 SOS 12884 HAS SOPS 11366 HAS SOUS 3516 HAS SOUPS 3033 WITH SCORE 3045.884
AT ITER 1229 NEW BEST:: SOT 22446 SOS 12880 HAS SOPS 11362 HAS SOUS 3504 HAS SOUPS 3021 WITH SCORE 3033.88
AT ITER 1271 NEW BEST:: SOT 22436 SOS 12870 HAS SOPS 11352 HAS SOUS 3497 HAS SOUPS 3014 WITH SCORE 3026.87
AT ITER 1279 NEW BEST:: SOT 22430 SOS 12864 HAS SOPS 11346 HAS SOUS 3477 HAS SOUPS 2994 WITH SCORE 3006.864
AT ITER 1287 NEW BEST:: SOT 22428 SOS 12862 HAS SOPS 11344 HAS SOUS 3477 HAS SOUPS 2994 WITH SCORE 3006.862
AT ITER 1289 NEW BEST:: SOT 22427 SOS 12861 HAS SOPS 11343 HAS SOUS 3476 HAS SOUPS 2993 WITH SCORE 3005.861
AT ITER 1292 NEW BEST:: SOT 22341 SOS 12789 HAS SOPS 11271 HAS SOUS 3447 HAS SOUPS 2964 WITH SCORE 2976.789
AT ITER 1297 NEW BEST:: SOT 22341 SOS 12789 HAS SOPS 11271 HAS SOUS 3444 HAS SOUPS 2961 WITH SCORE 2973.789
AT ITER 1298 NEW BEST:: SOT 22333 SOS 12781 HAS SOPS 11263 HAS SOUS 3436 HAS SOUPS 2953 WITH SCORE 2965.781
AT ITER 1303 NEW BEST:: SOT 22328 SOS 12776 HAS SOPS 11258 HAS SOUS 3432 HAS SOUPS 2949 WITH SCORE 2961.776
AT ITER 1339 NEW BEST:: SOT 22328 SOS 12776 HAS SOPS 11258 HAS SOUS 3431 HAS SOUPS 2948 WITH SCORE 2960.776
AT ITER 1419 NEW BEST:: SOT 22322 SOS 12770 HAS SOPS 11252 HAS SOUS 3428 HAS SOUPS 2945 WITH SCORE 2957.77
AT ITER 1438 NEW BEST:: SOT 22314 SOS 12762 HAS SOPS 11244 HAS SOUS 3419 HAS SOUPS 2936 WITH SCORE 2948.762
AT ITER 1443 NEW BEST:: SOT 22310 SOS 12758 HAS SOPS 11240 HAS SOUS 3417 HAS SOUPS 2934 WITH SCORE 2946.758
AT ITER 1470 NEW BEST:: SOT 22308 SOS 12756 HAS SOPS 11238 HAS SOUS 3416 HAS SOUPS 2933 WITH SCORE 2945.756
AT ITER 1488 NEW BEST:: SOT 22302 SOS 12750 HAS SOPS 11232 HAS SOUS 3408 HAS SOUPS 2925 WITH SCORE 2937.75
AT ITER 1505 NEW BEST:: SOT 22295 SOS 12738 HAS SOPS 11220 HAS SOUS 3407 HAS SOUPS 2924 WITH SCORE 2936.738
AT ITER 1518 NEW BEST:: SOT 22279 SOS 12722 HAS SOPS 11204 HAS SOUS 3402 HAS SOUPS 2919 WITH SCORE 2931.722
AT ITER 1526 NEW BEST:: SOT 22279 SOS 12722 HAS SOPS 11204 HAS SOUS 3401 HAS SOUPS 2918 WITH SCORE 2930.722
AT ITER 1533 NEW BEST:: SOT 22279 SOS 12718 HAS SOPS 11190 HAS SOUS 3399 HAS SOUPS 2911 WITH SCORE 2923.718
AT ITER 1547 NEW BEST:: SOT 22279 SOS 12688 HAS SOPS 11190 HAS SOUS 3384 HAS SOUPS 2911 WITH SCORE 2923.688
AT ITER 1548 NEW BEST:: SOT 22279 SOS 12656 HAS SOPS 11174 HAS SOUS 3368 HAS SOUPS 2903 WITH SCORE 2915.656
AT ITER 1563 NEW BEST:: SOT 22279 SOS 12646 HAS SOPS 11162 HAS SOUS 3363 HAS SOUPS 2897 WITH SCORE 2909.646
AT ITER 1595 NEW BEST:: SOT 22277 SOS 12644 HAS SOPS 11160 HAS SOUS 3362 HAS SOUPS 2896 WITH SCORE 2908.644
AT ITER 1610 NEW BEST:: SOT 22273 SOS 12640 HAS SOPS 11156 HAS SOUS 3360 HAS SOUPS 2894 WITH SCORE 2906.64
AT ITER 1627 NEW BEST:: SOT 22303 SOS 12672 HAS SOPS 11188 HAS SOUS 3351 HAS SOUPS 2885 WITH SCORE 2897.672
AT ITER 1634 NEW BEST:: SOT 22303 SOS 12672 HAS SOPS 11166 HAS SOUS 3351 HAS SOUPS 2874 WITH SCORE 2886.672
AT ITER 1647 NEW BEST:: SOT 22303 SOS 12668 HAS SOPS 11166 HAS SOUS 3349 HAS SOUPS 2874 WITH SCORE 2886.668
AT ITER 1651 NEW BEST:: SOT 22303 SOS 12668 HAS SOPS 11166 HAS SOUS 3347 HAS SOUPS 2872 WITH SCORE 2884.668
AT ITER 1665 NEW BEST:: SOT 22261 SOS 12626 HAS SOPS 11124 HAS SOUS 3345 HAS SOUPS 2870 WITH SCORE 2882.626
AT ITER 1686 NEW BEST:: SOT 22249 SOS 12616 HAS SOPS 11114 HAS SOUS 3341 HAS SOUPS 2866 WITH SCORE 2878.616
AT ITER 1701 NEW BEST:: SOT 22249 SOS 12616 HAS SOPS 11114 HAS SOUS 3337 HAS SOUPS 2862 WITH SCORE 2874.616
AT ITER 1718 NEW BEST:: SOT 22249 SOS 12608 HAS SOPS 11106 HAS SOUS 3333 HAS SOUPS 2858 WITH SCORE 2870.608
AT ITER 1734 NEW BEST:: SOT 22193 SOS 12572 HAS SOPS 11070 HAS SOUS 3330 HAS SOUPS 2855 WITH SCORE 2867.572
AT ITER 1765 NEW BEST:: SOT 22171 SOS 12550 HAS SOPS 11048 HAS SOUS 3308 HAS SOUPS 2833 WITH SCORE 2845.55
AT ITER 1797 NEW BEST:: SOT 22147 SOS 12526 HAS SOPS 11024 HAS SOUS 3296 HAS SOUPS 2821 WITH SCORE 2833.526
AT ITER 1808 NEW BEST:: SOT 22147 SOS 12526 HAS SOPS 11024 HAS SOUS 3295 HAS SOUPS 2820 WITH SCORE 2832.526
AT ITER 1830 NEW BEST:: SOT 22091 SOS 12470 HAS SOPS 10968 HAS SOUS 3295 HAS SOUPS 2820 WITH SCORE 2832.47
AT ITER 1865 NEW BEST:: SOT 22089 SOS 12468 HAS SOPS 10966 HAS SOUS 3294 HAS SOUPS 2819 WITH SCORE 2831.468
AT ITER 1868 NEW BEST:: SOT 22087 SOS 12466 HAS SOPS 10964 HAS SOUS 3286 HAS SOUPS 2811 WITH SCORE 2823.466
AT ITER 1970 NEW BEST:: SOT 22087 SOS 12458 HAS SOPS 10964 HAS SOUS 3282 HAS SOUPS 2811 WITH SCORE 2823.458
AT ITER 1997 NEW BEST:: SOT 22079 SOS 12450 HAS SOPS 10956 HAS SOUS 3277 HAS SOUPS 2806 WITH SCORE 2818.45
AT ITER 2003 NEW BEST:: SOT 22075 SOS 12446 HAS SOPS 10952 HAS SOUS 3270 HAS SOUPS 2799 WITH SCORE 2811.446
AT ITER 2047 NEW BEST:: SOT 22069 SOS 12440 HAS SOPS 10946 HAS SOUS 3267 HAS SOUPS 2796 WITH SCORE 2808.44
AT ITER 2051 NEW BEST:: SOT 22067 SOS 12438 HAS SOPS 10944 HAS SOUS 3265 HAS SOUPS 2794 WITH SCORE 2806.438
AT ITER 2054 NEW BEST:: SOT 22055 SOS 12426 HAS SOPS 10932 HAS SOUS 3265 HAS SOUPS 2794 WITH SCORE 2806.426
AT ITER 2071 NEW BEST:: SOT 22041 SOS 12402 HAS SOPS 10908 HAS SOUS 3257 HAS SOUPS 2786 WITH SCORE 2798.402
AT ITER 2097 NEW BEST:: SOT 22039 SOS 12400 HAS SOPS 10906 HAS SOUS 3255 HAS SOUPS 2784 WITH SCORE 2796.4
AT ITER 2112 NEW BEST:: SOT 22043 SOS 12404 HAS SOPS 10910 HAS SOUS 3247 HAS SOUPS 2776 WITH SCORE 2788.404
AT ITER 2130 NEW BEST:: SOT 22043 SOS 12410 HAS SOPS 10906 HAS SOUS 3243 HAS SOUPS 2774 WITH SCORE 2786.41
AT ITER 2149 NEW BEST:: SOT 22059 SOS 12426 HAS SOPS 10922 HAS SOUS 3231 HAS SOUPS 2762 WITH SCORE 2774.426
AT ITER 2163 NEW BEST:: SOT 22050 SOS 12414 HAS SOPS 10910 HAS SOUS 3225 HAS SOUPS 2756 WITH SCORE 2768.414
AT ITER 2170 NEW BEST:: SOT 22038 SOS 12402 HAS SOPS 10898 HAS SOUS 3217 HAS SOUPS 2748 WITH SCORE 2760.402
AT ITER 2191 NEW BEST:: SOT 22038 SOS 12402 HAS SOPS 10880 HAS SOUS 3217 HAS SOUPS 2739 WITH SCORE 2751.402
AT ITER 2215 NEW BEST:: SOT 22038 SOS 12378 HAS SOPS 10872 HAS SOUS 3209 HAS SOUPS 2735 WITH SCORE 2747.378
AT ITER 2319 NEW BEST:: SOT 22041 SOS 12381 HAS SOPS 10875 HAS SOUS 3205 HAS SOUPS 2731 WITH SCORE 2743.381
AT ITER 2321 NEW BEST:: SOT 22041 SOS 12383 HAS SOPS 10873 HAS SOUS 3206 HAS SOUPS 2730 WITH SCORE 2742.383
AT ITER 2337 NEW BEST:: SOT 22041 SOS 12381 HAS SOPS 10871 HAS SOUS 3204 HAS SOUPS 2728 WITH SCORE 2740.381
AT ITER 2354 NEW BEST:: SOT 22037 SOS 12377 HAS SOPS 10867 HAS SOUS 3202 HAS SOUPS 2726 WITH SCORE 2738.377
AT ITER 2377 NEW BEST:: SOT 22037 SOS 12373 HAS SOPS 10863 HAS SOUS 3200 HAS SOUPS 2724 WITH SCORE 2736.373
AT ITER 2408 NEW BEST:: SOT 22009 SOS 12345 HAS SOPS 10835 HAS SOUS 3179 HAS SOUPS 2703 WITH SCORE 2715.345
AT ITER 2425 NEW BEST:: SOT 22007 SOS 12373 HAS SOPS 10833 HAS SOUS 3192 HAS SOUPS 2701 WITH SCORE 2713.373
AT ITER 2444 NEW BEST:: SOT 22007 SOS 12365 HAS SOPS 10833 HAS SOUS 3188 HAS SOUPS 2701 WITH SCORE 2713.365
AT ITER 2462 NEW BEST:: SOT 22001 SOS 12359 HAS SOPS 10827 HAS SOUS 3176 HAS SOUPS 2689 WITH SCORE 2701.359
AT ITER 2530 NEW BEST:: SOT 22001 SOS 12359 HAS SOPS 10827 HAS SOUS 3174 HAS SOUPS 2687 WITH SCORE 2699.359
AT ITER 2550 NEW BEST:: SOT 22001 SOS 12359 HAS SOPS 10827 HAS SOUS 3173 HAS SOUPS 2686 WITH SCORE 2698.359
AT ITER 2564 NEW BEST:: SOT 21991 SOS 12349 HAS SOPS 10817 HAS SOUS 3172 HAS SOUPS 2685 WITH SCORE 2697.349
AT ITER 2567 NEW BEST:: SOT 21991 SOS 12373 HAS SOPS 10807 HAS SOUS 3184 HAS SOUPS 2680 WITH SCORE 2692.373
AT ITER 2662 NEW BEST:: SOT 21987 SOS 12369 HAS SOPS 10803 HAS SOUS 3181 HAS SOUPS 2677 WITH SCORE 2689.369
AT ITER 2666 NEW BEST:: SOT 21987 SOS 12367 HAS SOPS 10803 HAS SOUS 3180 HAS SOUPS 2677 WITH SCORE 2689.367
AT ITER 2667 NEW BEST:: SOT 21986 SOS 12366 HAS SOPS 10802 HAS SOUS 3180 HAS SOUPS 2677 WITH SCORE 2689.366
AT ITER 2687 NEW BEST:: SOT 21988 SOS 12368 HAS SOPS 10804 HAS SOUS 3179 HAS SOUPS 2676 WITH SCORE 2688.368
AT ITER 2729 NEW BEST:: SOT 21988 SOS 12364 HAS SOPS 10802 HAS SOUS 3177 HAS SOUPS 2675 WITH SCORE 2687.364
AT ITER 2755 NEW BEST:: SOT 21772 SOS 13210 HAS SOPS 11936 HAS SOUS 3077 HAS SOUPS 2671 WITH SCORE 2684.21
AT ITER 2769 NEW BEST:: SOT 21772 SOS 13210 HAS SOPS 11936 HAS SOUS 3072 HAS SOUPS 2666 WITH SCORE 2679.21
AT ITER 2801 NEW BEST:: SOT 21766 SOS 13204 HAS SOPS 11930 HAS SOUS 3068 HAS SOUPS 2662 WITH SCORE 2675.204
AT ITER 2817 NEW BEST:: SOT 21763 SOS 13197 HAS SOPS 11923 HAS SOUS 3068 HAS SOUPS 2662 WITH SCORE 2675.197
AT ITER 2893 NEW BEST:: SOT 21761 SOS 13195 HAS SOPS 11921 HAS SOUS 3067 HAS SOUPS 2661 WITH SCORE 2674.195
AT ITER 2954 NEW BEST:: SOT 21757 SOS 13191 HAS SOPS 11917 HAS SOUS 3063 HAS SOUPS 2657 WITH SCORE 2670.191
AT ITER 2977 NEW BEST:: SOT 21753 SOS 13183 HAS SOPS 11909 HAS SOUS 3060 HAS SOUPS 2654 WITH SCORE 2667.183
AT ITER 3026 NEW BEST:: SOT 21747 SOS 13177 HAS SOPS 11903 HAS SOUS 3057 HAS SOUPS 2651 WITH SCORE 2664.177
AT ITER 3031 NEW BEST:: SOT 21747 SOS 13169 HAS SOPS 11899 HAS SOUS 3053 HAS SOUPS 2649 WITH SCORE 2662.169
AT ITER 3067 NEW BEST:: SOT 21731 SOS 13153 HAS SOPS 11883 HAS SOUS 3045 HAS SOUPS 2641 WITH SCORE 2654.153
AT ITER 3075 NEW BEST:: SOT 21731 SOS 13149 HAS SOPS 11881 HAS SOUS 3043 HAS SOUPS 2640 WITH SCORE 2653.149
AT ITER 3102 NEW BEST:: SOT 21691 SOS 13113 HAS SOPS 11845 HAS SOUS 3039 HAS SOUPS 2636 WITH SCORE 2649.113
AT ITER 3172 NEW BEST:: SOT 21691 SOS 13103 HAS SOPS 11827 HAS SOUS 3034 HAS SOUPS 2627 WITH SCORE 2640.103
AT ITER 3215 NEW BEST:: SOT 21691 SOS 13101 HAS SOPS 11825 HAS SOUS 3033 HAS SOUPS 2626 WITH SCORE 2639.101
AT ITER 3220 NEW BEST:: SOT 21573 SOS 13143 HAS SOPS 11951 HAS SOUS 3008 HAS SOUPS 2625 WITH SCORE 2638.143
AT ITER 3236 NEW BEST:: SOT 21565 SOS 13135 HAS SOPS 11943 HAS SOUS 3004 HAS SOUPS 2621 WITH SCORE 2634.135
AT ITER 3245 NEW BEST:: SOT 21565 SOS 13135 HAS SOPS 11943 HAS SOUS 3001 HAS SOUPS 2618 WITH SCORE 2631.135
AT ITER 3277 NEW BEST:: SOT 21565 SOS 13127 HAS SOPS 11939 HAS SOUS 2997 HAS SOUPS 2616 WITH SCORE 2629.127
AT ITER 3319 NEW BEST:: SOT 21565 SOS 13123 HAS SOPS 11937 HAS SOUS 2995 HAS SOUPS 2615 WITH SCORE 2628.123
AT ITER 3326 NEW BEST:: SOT 21565 SOS 13107 HAS SOPS 11929 HAS SOUS 2987 HAS SOUPS 2611 WITH SCORE 2624.107
AT ITER 3461 NEW BEST:: SOT 21547 SOS 13089 HAS SOPS 11911 HAS SOUS 2981 HAS SOUPS 2605 WITH SCORE 2618.089
AT ITER 3492 NEW BEST:: SOT 21563 SOS 13105 HAS SOPS 11927 HAS SOUS 2978 HAS SOUPS 2602 WITH SCORE 2615.105
AT ITER 3511 NEW BEST:: SOT 21561 SOS 13103 HAS SOPS 11925 HAS SOUS 2977 HAS SOUPS 2601 WITH SCORE 2614.103
AT ITER 3530 NEW BEST:: SOT 21557 SOS 13099 HAS SOPS 11921 HAS SOUS 2974 HAS SOUPS 2598 WITH SCORE 2611.099
AT ITER 3533 NEW BEST:: SOT 21447 SOS 13445 HAS SOPS 12361 HAS SOUS 2935 HAS SOUPS 2594 WITH SCORE 2607.445
AT ITER 3562 NEW BEST:: SOT 21447 SOS 13447 HAS SOPS 12359 HAS SOUS 2936 HAS SOUPS 2593 WITH SCORE 2606.447
AT ITER 3580 NEW BEST:: SOT 21447 SOS 13447 HAS SOPS 12359 HAS SOUS 2934 HAS SOUPS 2591 WITH SCORE 2604.447
AT ITER 3585 NEW BEST:: SOT 21447 SOS 13441 HAS SOPS 12353 HAS SOUS 2928 HAS SOUPS 2585 WITH SCORE 2598.441
AT ITER 3586 NEW BEST:: SOT 21447 SOS 13441 HAS SOPS 12353 HAS SOUS 2927 HAS SOUPS 2584 WITH SCORE 2597.441
AT ITER 3773 NEW BEST:: SOT 21445 SOS 13439 HAS SOPS 12351 HAS SOUS 2926 HAS SOUPS 2583 WITH SCORE 2596.439
AT ITER 3897 NEW BEST:: SOT 21445 SOS 13437 HAS SOPS 12349 HAS SOUS 2925 HAS SOUPS 2582 WITH SCORE 2595.437
AT ITER 3921 NEW BEST:: SOT 21441 SOS 13433 HAS SOPS 12345 HAS SOUS 2924 HAS SOUPS 2581 WITH SCORE 2594.433
AT ITER 3948 NEW BEST:: SOT 21441 SOS 13431 HAS SOPS 12343 HAS SOUS 2923 HAS SOUPS 2580 WITH SCORE 2593.431
AT ITER 3976 NEW BEST:: SOT 21441 SOS 13427 HAS SOPS 12341 HAS SOUS 2921 HAS SOUPS 2579 WITH SCORE 2592.427
AT ITER 3982 NEW BEST:: SOT 21431 SOS 13417 HAS SOPS 12331 HAS SOUS 2911 HAS SOUPS 2569 WITH SCORE 2582.417
AT ITER 4061 NEW BEST:: SOT 21501 SOS 13426 HAS SOPS 12316 HAS SOUS 2916 HAS SOUPS 2568 WITH SCORE 2581.426
AT ITER 4196 NEW BEST:: SOT 21502 SOS 13427 HAS SOPS 12317 HAS SOUS 2915 HAS SOUPS 2567 WITH SCORE 2580.427
AT ITER 4272 NEW BEST:: SOT 21502 SOS 13415 HAS SOPS 12313 HAS SOUS 2911 HAS SOUPS 2565 WITH SCORE 2578.415
AT ITER 4318 NEW BEST:: SOT 21502 SOS 13411 HAS SOPS 12311 HAS SOUS 2909 HAS SOUPS 2564 WITH SCORE 2577.411
AT ITER 4327 NEW BEST:: SOT 21500 SOS 13409 HAS SOPS 12309 HAS SOUS 2909 HAS SOUPS 2564 WITH SCORE 2577.409
AT ITER 4361 NEW BEST:: SOT 21496 SOS 13405 HAS SOPS 12305 HAS SOUS 2907 HAS SOUPS 2562 WITH SCORE 2575.405
AT ITER 4392 NEW BEST:: SOT 21536 SOS 13445 HAS SOPS 12345 HAS SOUS 2905 HAS SOUPS 2560 WITH SCORE 2573.445
AT ITER 4403 NEW BEST:: SOT 21534 SOS 13443 HAS SOPS 12343 HAS SOUS 2905 HAS SOUPS 2560 WITH SCORE 2573.443
AT ITER 4408 NEW BEST:: SOT 21534 SOS 13443 HAS SOPS 12343 HAS SOUS 2899 HAS SOUPS 2554 WITH SCORE 2567.443
AT ITER 4413 NEW BEST:: SOT 21530 SOS 13439 HAS SOPS 12339 HAS SOUS 2896 HAS SOUPS 2551 WITH SCORE 2564.439
AT ITER 4440 NEW BEST:: SOT 21532 SOS 13441 HAS SOPS 12341 HAS SOUS 2890 HAS SOUPS 2545 WITH SCORE 2558.441
AT ITER 4482 NEW BEST:: SOT 21532 SOS 13433 HAS SOPS 12341 HAS SOUS 2886 HAS SOUPS 2545 WITH SCORE 2558.433
AT ITER 4498 NEW BEST:: SOT 21564 SOS 13181 HAS SOPS 12015 HAS SOUS 2900 HAS SOUPS 2534 WITH SCORE 2547.181
AT ITER 4556 NEW BEST:: SOT 21564 SOS 13177 HAS SOPS 12013 HAS SOUS 2898 HAS SOUPS 2533 WITH SCORE 2546.177
AT ITER 4575 NEW BEST:: SOT 21558 SOS 13163 HAS SOPS 12003 HAS SOUS 2888 HAS SOUPS 2525 WITH SCORE 2538.163
AT ITER 4616 NEW BEST:: SOT 21556 SOS 13161 HAS SOPS 12001 HAS SOUS 2888 HAS SOUPS 2525 WITH SCORE 2538.161
AT ITER 4726 NEW BEST:: SOT 21556 SOS 13161 HAS SOPS 12001 HAS SOUS 2887 HAS SOUPS 2524 WITH SCORE 2537.161
AT ITER 4884 NEW BEST:: SOT 21512 SOS 13123 HAS SOPS 11957 HAS SOUS 2876 HAS SOUPS 2513 WITH SCORE 2526.123
AT ITER 4934 NEW BEST:: SOT 21512 SOS 13117 HAS SOPS 11955 HAS SOUS 2874 HAS SOUPS 2512 WITH SCORE 2525.117
AT ITER 5086 NEW BEST:: SOT 21512 SOS 13101 HAS SOPS 11955 HAS SOUS 2866 HAS SOUPS 2512 WITH SCORE 2525.101
AT ITER 5251 NEW BEST:: SOT 21510 SOS 13099 HAS SOPS 11953 HAS SOUS 2865 HAS SOUPS 2511 WITH SCORE 2524.099
AT ITER 5459 NEW BEST:: SOT 21508 SOS 13097 HAS SOPS 11951 HAS SOUS 2863 HAS SOUPS 2509 WITH SCORE 2522.097
AT ITER 5491 NEW BEST:: SOT 21432 SOS 13047 HAS SOPS 11919 HAS SOUS 2847 HAS SOUPS 2498 WITH SCORE 2511.047
AT ITER 5497 NEW BEST:: SOT 21432 SOS 13043 HAS SOPS 11917 HAS SOUS 2846 HAS SOUPS 2497 WITH SCORE 2510.043
AT ITER 5562 NEW BEST:: SOT 21412 SOS 13023 HAS SOPS 11897 HAS SOUS 2846 HAS SOUPS 2497 WITH SCORE 2510.023
AT ITER 5604 NEW BEST:: SOT 21400 SOS 13011 HAS SOPS 11885 HAS SOUS 2844 HAS SOUPS 2495 WITH SCORE 2508.011
AT ITER 5697 NEW BEST:: SOT 21396 SOS 13007 HAS SOPS 11881 HAS SOUS 2842 HAS SOUPS 2493 WITH SCORE 2506.007
AT ITER 5852 NEW BEST:: SOT 21422 SOS 13008 HAS SOPS 11866 HAS SOUS 2843 HAS SOUPS 2490 WITH SCORE 2503.008
AT ITER 5909 NEW BEST:: SOT 21420 SOS 13006 HAS SOPS 11864 HAS SOUS 2843 HAS SOUPS 2490 WITH SCORE 2503.006
AT ITER 5991 NEW BEST:: SOT 21416 SOS 13002 HAS SOPS 11860 HAS SOUS 2840 HAS SOUPS 2487 WITH SCORE 2500.002
AT ITER 6146 NEW BEST:: SOT 21404 SOS 12990 HAS SOPS 11848 HAS SOUS 2837 HAS SOUPS 2484 WITH SCORE 2496.99
AT ITER 6259 NEW BEST:: SOT 21400 SOS 12986 HAS SOPS 11844 HAS SOUS 2833 HAS SOUPS 2480 WITH SCORE 2492.986
AT ITER 6262 NEW BEST:: SOT 21400 SOS 12986 HAS SOPS 11842 HAS SOUS 2833 HAS SOUPS 2479 WITH SCORE 2491.986
AT ITER 6307 NEW BEST:: SOT 21400 SOS 12982 HAS SOPS 11840 HAS SOUS 2831 HAS SOUPS 2478 WITH SCORE 2490.982
AT ITER 6331 NEW BEST:: SOT 21402 SOS 12984 HAS SOPS 11842 HAS SOUS 2830 HAS SOUPS 2477 WITH SCORE 2489.984
AT ITER 6426 NEW BEST:: SOT 21402 SOS 12984 HAS SOPS 11842 HAS SOUS 2826 HAS SOUPS 2473 WITH SCORE 2485.984
AT ITER 6439 NEW BEST:: SOT 21398 SOS 12980 HAS SOPS 11838 HAS SOUS 2825 HAS SOUPS 2472 WITH SCORE 2484.98
AT ITER 6479 NEW BEST:: SOT 21392 SOS 12974 HAS SOPS 11832 HAS SOUS 2823 HAS SOUPS 2470 WITH SCORE 2482.974
AT ITER 6486 NEW BEST:: SOT 21362 SOS 12944 HAS SOPS 11802 HAS SOUS 2783 HAS SOUPS 2430 WITH SCORE 2442.944
AT ITER 6588 NEW BEST:: SOT 21330 SOS 12912 HAS SOPS 11770 HAS SOUS 2782 HAS SOUPS 2429 WITH SCORE 2441.912
AT ITER 6626 NEW BEST:: SOT 21327 SOS 12907 HAS SOPS 11765 HAS SOUS 2779 HAS SOUPS 2426 WITH SCORE 2438.907
AT ITER 6648 NEW BEST:: SOT 21297 SOS 12889 HAS SOPS 11747 HAS SOUS 2775 HAS SOUPS 2422 WITH SCORE 2434.889
AT ITER 6721 NEW BEST:: SOT 21285 SOS 12877 HAS SOPS 11735 HAS SOUS 2772 HAS SOUPS 2419 WITH SCORE 2431.877
AT ITER 6778 NEW BEST:: SOT 21275 SOS 12867 HAS SOPS 11725 HAS SOUS 2772 HAS SOUPS 2419 WITH SCORE 2431.867
AT ITER 6913 NEW BEST:: SOT 21255 SOS 12847 HAS SOPS 11705 HAS SOUS 2768 HAS SOUPS 2415 WITH SCORE 2427.847
AT ITER 6935 NEW BEST:: SOT 21243 SOS 12835 HAS SOPS 11693 HAS SOUS 2763 HAS SOUPS 2410 WITH SCORE 2422.835
AT ITER 6974 NEW BEST:: SOT 21241 SOS 12833 HAS SOPS 11691 HAS SOUS 2762 HAS SOUPS 2409 WITH SCORE 2421.833
AT ITER 7012 NEW BEST:: SOT 21243 SOS 12835 HAS SOPS 11693 HAS SOUS 2760 HAS SOUPS 2407 WITH SCORE 2419.835
AT ITER 7040 NEW BEST:: SOT 21237 SOS 12829 HAS SOPS 11687 HAS SOUS 2760 HAS SOUPS 2407 WITH SCORE 2419.829
AT ITER 7067 NEW BEST:: SOT 21237 SOS 12829 HAS SOPS 11687 HAS SOUS 2759 HAS SOUPS 2406 WITH SCORE 2418.829
AT ITER 7074 NEW BEST:: SOT 21237 SOS 12825 HAS SOPS 11685 HAS SOUS 2757 HAS SOUPS 2405 WITH SCORE 2417.825
AT ITER 7109 NEW BEST:: SOT 21233 SOS 12821 HAS SOPS 11681 HAS SOUS 2754 HAS SOUPS 2402 WITH SCORE 2414.821
AT ITER 7123 NEW BEST:: SOT 21237 SOS 12825 HAS SOPS 11685 HAS SOUS 2753 HAS SOUPS 2401 WITH SCORE 2413.825
AT ITER 7544 NEW BEST:: SOT 21237 SOS 12825 HAS SOPS 11685 HAS SOUS 2750 HAS SOUPS 2398 WITH SCORE 2410.825
AT ITER 7618 NEW BEST:: SOT 21238 SOS 12826 HAS SOPS 11686 HAS SOUS 2749 HAS SOUPS 2397 WITH SCORE 2409.826
AT ITER 7658 NEW BEST:: SOT 21236 SOS 12819 HAS SOPS 11679 HAS SOUS 2748 HAS SOUPS 2396 WITH SCORE 2408.819
AT ITER 7666 NEW BEST:: SOT 21234 SOS 12817 HAS SOPS 11677 HAS SOUS 2746 HAS SOUPS 2394 WITH SCORE 2406.817
AT ITER 7748 NEW BEST:: SOT 21246 SOS 12831 HAS SOPS 11691 HAS SOUS 2740 HAS SOUPS 2388 WITH SCORE 2400.831
AT ITER 7785 NEW BEST:: SOT 21242 SOS 12827 HAS SOPS 11687 HAS SOUS 2740 HAS SOUPS 2388 WITH SCORE 2400.827
AT ITER 7873 NEW BEST:: SOT 21240 SOS 12825 HAS SOPS 11685 HAS SOUS 2738 HAS SOUPS 2386 WITH SCORE 2398.825
AT ITER 7931 NEW BEST:: SOT 21236 SOS 12821 HAS SOPS 11681 HAS SOUS 2735 HAS SOUPS 2383 WITH SCORE 2395.821
AT ITER 7935 NEW BEST:: SOT 21236 SOS 12821 HAS SOPS 11681 HAS SOUS 2734 HAS SOUPS 2382 WITH SCORE 2394.821
AT ITER 7947 NEW BEST:: SOT 21230 SOS 12815 HAS SOPS 11675 HAS SOUS 2729 HAS SOUPS 2377 WITH SCORE 2389.815
AT ITER 7972 NEW BEST:: SOT 21228 SOS 12813 HAS SOPS 11673 HAS SOUS 2729 HAS SOUPS 2377 WITH SCORE 2389.813
AT ITER 7982 NEW BEST:: SOT 21216 SOS 12801 HAS SOPS 11661 HAS SOUS 2719 HAS SOUPS 2367 WITH SCORE 2379.801
AT ITER 8281 NEW BEST:: SOT 21208 SOS 12793 HAS SOPS 11653 HAS SOUS 2715 HAS SOUPS 2363 WITH SCORE 2375.793
AT ITER 8284 NEW BEST:: SOT 21204 SOS 12789 HAS SOPS 11649 HAS SOUS 2711 HAS SOUPS 2359 WITH SCORE 2371.789
AT ITER 8289 NEW BEST:: SOT 21200 SOS 12785 HAS SOPS 11645 HAS SOUS 2710 HAS SOUPS 2358 WITH SCORE 2370.785
AT ITER 8306 NEW BEST:: SOT 21198 SOS 12783 HAS SOPS 11643 HAS SOUS 2709 HAS SOUPS 2357 WITH SCORE 2369.783
AT ITER 8316 NEW BEST:: SOT 21196 SOS 12781 HAS SOPS 11641 HAS SOUS 2707 HAS SOUPS 2355 WITH SCORE 2367.781
AT ITER 8357 NEW BEST:: SOT 21192 SOS 12777 HAS SOPS 11637 HAS SOUS 2704 HAS SOUPS 2352 WITH SCORE 2364.777
AT ITER 8610 NEW BEST:: SOT 21158 SOS 12753 HAS SOPS 11613 HAS SOUS 2701 HAS SOUPS 2349 WITH SCORE 2361.753
AT ITER 8706 NEW BEST:: SOT 21161 SOS 12756 HAS SOPS 11616 HAS SOUS 2698 HAS SOUPS 2346 WITH SCORE 2358.756
AT ITER 9372 NEW BEST:: SOT 21159 SOS 12754 HAS SOPS 11614 HAS SOUS 2696 HAS SOUPS 2344 WITH SCORE 2356.754
AT ITER 9506 NEW BEST:: SOT 21143 SOS 12744 HAS SOPS 11604 HAS SOUS 2696 HAS SOUPS 2344 WITH SCORE 2356.744
AT ITER 9720 NEW BEST:: SOT 21143 SOS 12744 HAS SOPS 11604 HAS SOUS 2695 HAS SOUPS 2343 WITH SCORE 2355.744
AT ITER 9747 NEW BEST:: SOT 21140 SOS 12741 HAS SOPS 11601 HAS SOUS 2690 HAS SOUPS 2338 WITH SCORE 2350.741
AT ITER 9754 NEW BEST:: SOT 21128 SOS 12730 HAS SOPS 11590 HAS SOUS 2690 HAS SOUPS 2338 WITH SCORE 2350.73
AT ITER 9783 NEW BEST:: SOT 21126 SOS 12728 HAS SOPS 11588 HAS SOUS 2690 HAS SOUPS 2338 WITH SCORE 2350.728
AT ITER 9932 NEW BEST:: SOT 21122 SOS 12724 HAS SOPS 11584 HAS SOUS 2687 HAS SOUPS 2335 WITH SCORE 2347.724

BK_STOP 1679922895363

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

ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 1672
/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 370 Segmentation fault ${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="SemanticWebServices-PT-S064P18"
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 SemanticWebServices-PT-S064P18, 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 r355-smll-167891803400376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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