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.r227-tall-167856410500504.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 LeafsetExtension-PT-S32C2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410500504
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.8M
-rw-r--r-- 1 mcc users 14K Feb 25 16:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 25 16:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 16:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 16:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 16:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 25 16:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 25 16:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.4M Mar 5 18:22 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 1678614698280

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=LeafsetExtension-PT-S32C2
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S32C2
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: 5622 places, 5449 transitions, 17500 arcs.
AT ITER 0 NEW BEST:: SOT 17307217 SOS 4229194 HAS SOPS 4215071 HAS SOUS 3534471 HAS SOUPS 3533318 WITH SCORE 3537547.194
AT ITER 5 NEW BEST:: SOT 17307217 SOS 4228844 HAS SOPS 4214721 HAS SOUS 3534121 HAS SOUPS 3532968 WITH SCORE 3537196.844
AT ITER 64 NEW BEST:: SOT 17306833 SOS 4228468 HAS SOPS 4214345 HAS SOUS 3533737 HAS SOUPS 3532584 WITH SCORE 3536812.468
AT ITER 73 NEW BEST:: SOT 17306390 SOS 4228028 HAS SOPS 4213905 HAS SOUS 3533294 HAS SOUPS 3532141 WITH SCORE 3536369.028
AT ITER 97 NEW BEST:: SOT 17306217 SOS 4228173 HAS SOPS 4214050 HAS SOUS 3533266 HAS SOUPS 3532113 WITH SCORE 3536341.173
AT ITER 101 NEW BEST:: SOT 17305804 SOS 4227777 HAS SOPS 4213654 HAS SOUS 3532991 HAS SOUPS 3531838 WITH SCORE 3536065.777
AT ITER 106 NEW BEST:: SOT 17294824 SOS 4217513 HAS SOPS 4203390 HAS SOUS 3522727 HAS SOUPS 3521574 WITH SCORE 3525791.513
AT ITER 117 NEW BEST:: SOT 17294521 SOS 4217178 HAS SOPS 4203055 HAS SOUS 3522392 HAS SOUPS 3521239 WITH SCORE 3525456.178
AT ITER 209 NEW BEST:: SOT 17285788 SOS 4262894 HAS SOPS 4248771 HAS SOUS 3520161 HAS SOUPS 3519008 WITH SCORE 3523270.894
AT ITER 263 NEW BEST:: SOT 17279758 SOS 4294316 HAS SOPS 4280193 HAS SOUS 3518658 HAS SOUPS 3517505 WITH SCORE 3521799.316
AT ITER 306 NEW BEST:: SOT 17279758 SOS 4294089 HAS SOPS 4279966 HAS SOUS 3518658 HAS SOUPS 3517505 WITH SCORE 3521799.089
AT ITER 337 NEW BEST:: SOT 17279758 SOS 4293837 HAS SOPS 4279714 HAS SOUS 3518658 HAS SOUPS 3517505 WITH SCORE 3521798.837
AT ITER 338 NEW BEST:: SOT 17279596 SOS 4292771 HAS SOPS 4278648 HAS SOUS 3518432 HAS SOUPS 3517279 WITH SCORE 3521571.771
AT ITER 361 NEW BEST:: SOT 17278261 SOS 4291461 HAS SOPS 4277338 HAS SOUS 3517097 HAS SOUPS 3515944 WITH SCORE 3520235.461
AT ITER 370 NEW BEST:: SOT 17277639 SOS 4291267 HAS SOPS 4277144 HAS SOUS 3516972 HAS SOUPS 3515819 WITH SCORE 3520110.267
AT ITER 428 NEW BEST:: SOT 17277639 SOS 4291267 HAS SOPS 4277144 HAS SOUS 3516960 HAS SOUPS 3515807 WITH SCORE 3520098.267
AT ITER 460 NEW BEST:: SOT 17277639 SOS 4290817 HAS SOPS 4276694 HAS SOUS 3516510 HAS SOUPS 3515357 WITH SCORE 3519647.817
AT ITER 472 NEW BEST:: SOT 17277639 SOS 4290817 HAS SOPS 4276694 HAS SOUS 3516505 HAS SOUPS 3515352 WITH SCORE 3519642.817
AT ITER 519 NEW BEST:: SOT 17271977 SOS 4342284 HAS SOPS 4273049 HAS SOUS 3516685 HAS SOUPS 3513515 WITH SCORE 3517857.284
AT ITER 560 NEW BEST:: SOT 17271601 SOS 4342347 HAS SOPS 4273112 HAS SOUS 3516372 HAS SOUPS 3513202 WITH SCORE 3517544.347
AT ITER 588 NEW BEST:: SOT 17265674 SOS 4356705 HAS SOPS 4268086 HAS SOUS 3514311 HAS SOUPS 3510240 WITH SCORE 3514596.705
AT ITER 615 NEW BEST:: SOT 17265490 SOS 4356505 HAS SOPS 4267886 HAS SOUS 3514111 HAS SOUPS 3510040 WITH SCORE 3514396.505
AT ITER 616 NEW BEST:: SOT 17264944 SOS 4356008 HAS SOPS 4267389 HAS SOUS 3514075 HAS SOUPS 3510004 WITH SCORE 3514360.008
AT ITER 635 NEW BEST:: SOT 17264928 SOS 4355976 HAS SOPS 4267357 HAS SOUS 3514043 HAS SOUPS 3509972 WITH SCORE 3514327.976
AT ITER 707 NEW BEST:: SOT 17260685 SOS 4431588 HAS SOPS 4265329 HAS SOUS 3516024 HAS SOUPS 3509233 WITH SCORE 3513664.588
AT ITER 713 NEW BEST:: SOT 17257085 SOS 4428228 HAS SOPS 4261969 HAS SOUS 3512664 HAS SOUPS 3505873 WITH SCORE 3510301.228
AT ITER 753 NEW BEST:: SOT 17251790 SOS 4454765 HAS SOPS 4288506 HAS SOUS 3511691 HAS SOUPS 3504900 WITH SCORE 3509354.765
AT ITER 758 NEW BEST:: SOT 17256281 SOS 4459324 HAS SOPS 4282617 HAS SOUS 3516364 HAS SOUPS 3499412 WITH SCORE 3503871.324
AT ITER 790 NEW BEST:: SOT 17256128 SOS 4459002 HAS SOPS 4282295 HAS SOUS 3516042 HAS SOUPS 3499090 WITH SCORE 3503549.002
AT ITER 791 NEW BEST:: SOT 17256128 SOS 4458850 HAS SOPS 4282143 HAS SOUS 3516042 HAS SOUPS 3499090 WITH SCORE 3503548.85
AT ITER 834 NEW BEST:: SOT 17255646 SOS 4458370 HAS SOPS 4281663 HAS SOUS 3515560 HAS SOUPS 3498608 WITH SCORE 3503066.37
AT ITER 844 NEW BEST:: SOT 17255078 SOS 4457816 HAS SOPS 4281109 HAS SOUS 3515254 HAS SOUPS 3498302 WITH SCORE 3502759.816
AT ITER 872 NEW BEST:: SOT 17254561 SOS 4457431 HAS SOPS 4280724 HAS SOUS 3514865 HAS SOUPS 3497913 WITH SCORE 3502370.431
AT ITER 879 NEW BEST:: SOT 17248594 SOS 4479206 HAS SOPS 4275323 HAS SOUS 3512929 HAS SOUPS 3494832 WITH SCORE 3499311.206
AT ITER 898 NEW BEST:: SOT 17248359 SOS 4479240 HAS SOPS 4275357 HAS SOUS 3512728 HAS SOUPS 3494631 WITH SCORE 3499110.24
AT ITER 901 NEW BEST:: SOT 17248969 SOS 4479919 HAS SOPS 4269867 HAS SOUS 3507582 HAS SOUPS 3489286 WITH SCORE 3493765.919
AT ITER 907 NEW BEST:: SOT 17248787 SOS 4479739 HAS SOPS 4269687 HAS SOUS 3507399 HAS SOUPS 3489103 WITH SCORE 3493582.739
AT ITER 910 NEW BEST:: SOT 17243056 SOS 4494133 HAS SOPS 4284106 HAS SOUS 3503693 HAS SOUPS 3485397 WITH SCORE 3489891.133
AT ITER 919 NEW BEST:: SOT 17234534 SOS 4530161 HAS SOPS 4320134 HAS SOUS 3500742 HAS SOUPS 3482446 WITH SCORE 3486976.161
AT ITER 938 NEW BEST:: SOT 17234534 SOS 4526321 HAS SOPS 4316294 HAS SOUS 3500726 HAS SOUPS 3482430 WITH SCORE 3486956.321
AT ITER 990 NEW BEST:: SOT 17234340 SOS 4526128 HAS SOPS 4316101 HAS SOUS 3500532 HAS SOUPS 3482236 WITH SCORE 3486762.128
AT ITER 998 NEW BEST:: SOT 17224492 SOS 4555729 HAS SOPS 4345702 HAS SOUS 3496202 HAS SOUPS 3477906 WITH SCORE 3482461.729
AT ITER 1001 NEW BEST:: SOT 17224095 SOS 4555729 HAS SOPS 4345702 HAS SOUS 3496199 HAS SOUPS 3477903 WITH SCORE 3482458.729
AT ITER 1012 NEW BEST:: SOT 17224785 SOS 4556496 HAS SOPS 4340668 HAS SOUS 3491293 HAS SOUPS 3472997 WITH SCORE 3477553.496
AT ITER 1025 NEW BEST:: SOT 17224785 SOS 4556361 HAS SOPS 4340533 HAS SOUS 3491292 HAS SOUPS 3472996 WITH SCORE 3477552.361
AT ITER 1083 NEW BEST:: SOT 17224785 SOS 4556342 HAS SOPS 4340514 HAS SOUS 3491273 HAS SOUPS 3472977 WITH SCORE 3477533.342
AT ITER 1140 NEW BEST:: SOT 17224785 SOS 4556342 HAS SOPS 4340514 HAS SOUS 3491270 HAS SOUPS 3472974 WITH SCORE 3477530.342
AT ITER 1158 NEW BEST:: SOT 17224262 SOS 4555803 HAS SOPS 4339975 HAS SOUS 3490731 HAS SOUPS 3472435 WITH SCORE 3476990.803
AT ITER 1171 NEW BEST:: SOT 17224071 SOS 4555803 HAS SOPS 4339975 HAS SOUS 3490725 HAS SOUPS 3472429 WITH SCORE 3476984.803
AT ITER 1190 NEW BEST:: SOT 17224055 SOS 4555787 HAS SOPS 4339959 HAS SOUS 3490693 HAS SOUPS 3472397 WITH SCORE 3476952.787
AT ITER 1193 NEW BEST:: SOT 17223864 SOS 4555599 HAS SOPS 4339771 HAS SOUS 3490502 HAS SOUPS 3472206 WITH SCORE 3476761.599
AT ITER 1233 NEW BEST:: SOT 17223864 SOS 4555267 HAS SOPS 4339439 HAS SOUS 3490170 HAS SOUPS 3471874 WITH SCORE 3476429.267
AT ITER 1234 NEW BEST:: SOT 17223574 SOS 4555332 HAS SOPS 4339504 HAS SOUS 3489945 HAS SOUPS 3471649 WITH SCORE 3476204.332
AT ITER 1256 NEW BEST:: SOT 17223574 SOS 4542864 HAS SOPS 4327036 HAS SOUS 3489929 HAS SOUPS 3471633 WITH SCORE 3476175.864
AT ITER 1261 NEW BEST:: SOT 17223123 SOS 4542397 HAS SOPS 4326569 HAS SOUS 3489462 HAS SOUPS 3471166 WITH SCORE 3475708.397
AT ITER 1270 NEW BEST:: SOT 17223123 SOS 4542313 HAS SOPS 4326485 HAS SOUS 3489376 HAS SOUPS 3471080 WITH SCORE 3475622.313
AT ITER 1301 NEW BEST:: SOT 17223123 SOS 4542157 HAS SOPS 4326329 HAS SOUS 3489376 HAS SOUPS 3471080 WITH SCORE 3475622.157
AT ITER 1355 NEW BEST:: SOT 17212610 SOS 4581689 HAS SOPS 4365861 HAS SOUS 3485294 HAS SOUPS 3466998 WITH SCORE 3471579.689
AT ITER 1360 NEW BEST:: SOT 17212114 SOS 4581177 HAS SOPS 4365349 HAS SOUS 3484782 HAS SOUPS 3466486 WITH SCORE 3471067.177
AT ITER 1372 NEW BEST:: SOT 17212104 SOS 4581177 HAS SOPS 4365349 HAS SOUS 3484777 HAS SOUPS 3466481 WITH SCORE 3471062.177
AT ITER 1374 NEW BEST:: SOT 17212104 SOS 4580943 HAS SOPS 4365115 HAS SOUS 3484543 HAS SOUPS 3466247 WITH SCORE 3470827.943
AT ITER 1384 NEW BEST:: SOT 17211380 SOS 4568635 HAS SOPS 4352807 HAS SOUS 3483095 HAS SOUPS 3464799 WITH SCORE 3469367.635
AT ITER 1395 NEW BEST:: SOT 17211380 SOS 4568351 HAS SOPS 4352523 HAS SOUS 3482802 HAS SOUPS 3464506 WITH SCORE 3469074.351
AT ITER 1398 NEW BEST:: SOT 17211034 SOS 4568005 HAS SOPS 4352177 HAS SOUS 3482456 HAS SOUPS 3464160 WITH SCORE 3468728.005
AT ITER 1410 NEW BEST:: SOT 17211034 SOS 4567510 HAS SOPS 4351682 HAS SOUS 3481960 HAS SOUPS 3463664 WITH SCORE 3468231.51
AT ITER 1420 NEW BEST:: SOT 17210900 SOS 4567076 HAS SOPS 4351520 HAS SOUS 3481798 HAS SOUPS 3463502 WITH SCORE 3468069.076
AT ITER 1438 NEW BEST:: SOT 17210321 SOS 4566577 HAS SOPS 4351021 HAS SOUS 3481717 HAS SOUPS 3463421 WITH SCORE 3467987.577
AT ITER 1440 NEW BEST:: SOT 17209848 SOS 4564864 HAS SOPS 4349308 HAS SOUS 3481159 HAS SOUPS 3462863 WITH SCORE 3467427.864
AT ITER 1453 NEW BEST:: SOT 17209732 SOS 4562776 HAS SOPS 4347220 HAS SOUS 3480927 HAS SOUPS 3462631 WITH SCORE 3467193.776
AT ITER 1456 NEW BEST:: SOT 17209732 SOS 4562651 HAS SOPS 4347095 HAS SOUS 3480927 HAS SOUPS 3462631 WITH SCORE 3467193.651
AT ITER 1484 NEW BEST:: SOT 17209743 SOS 4562506 HAS SOPS 4346950 HAS SOUS 3480793 HAS SOUPS 3462497 WITH SCORE 3467059.506
AT ITER 1508 NEW BEST:: SOT 17209743 SOS 4562506 HAS SOPS 4346950 HAS SOUS 3480788 HAS SOUPS 3462492 WITH SCORE 3467054.506
AT ITER 1528 NEW BEST:: SOT 17208759 SOS 4561522 HAS SOPS 4345966 HAS SOUS 3479792 HAS SOUPS 3461496 WITH SCORE 3466057.522
AT ITER 1552 NEW BEST:: SOT 17208349 SOS 4561126 HAS SOPS 4345570 HAS SOUS 3479615 HAS SOUPS 3461319 WITH SCORE 3465880.126
AT ITER 1560 NEW BEST:: SOT 17208349 SOS 4561050 HAS SOPS 4345494 HAS SOUS 3479443 HAS SOUPS 3461147 WITH SCORE 3465708.05
AT ITER 1569 NEW BEST:: SOT 17208393 SOS 4561641 HAS SOPS 4346085 HAS SOUS 3479110 HAS SOUPS 3460814 WITH SCORE 3465375.641
AT ITER 1590 NEW BEST:: SOT 17208093 SOS 4561356 HAS SOPS 4345800 HAS SOUS 3478810 HAS SOUPS 3460514 WITH SCORE 3465075.356
AT ITER 1593 NEW BEST:: SOT 17207821 SOS 4533759 HAS SOPS 4318203 HAS SOUS 3477826 HAS SOUPS 3459530 WITH SCORE 3464063.759
AT ITER 1623 NEW BEST:: SOT 17207513 SOS 4531878 HAS SOPS 4316322 HAS SOUS 3477685 HAS SOUPS 3459389 WITH SCORE 3463920.878
AT ITER 1689 NEW BEST:: SOT 17207513 SOS 4531890 HAS SOPS 4316334 HAS SOUS 3477412 HAS SOUPS 3459116 WITH SCORE 3463647.89
AT ITER 1735 NEW BEST:: SOT 17207407 SOS 4531768 HAS SOPS 4316212 HAS SOUS 3477290 HAS SOUPS 3458994 WITH SCORE 3463525.768
AT ITER 1748 NEW BEST:: SOT 17207163 SOS 4531524 HAS SOPS 4315968 HAS SOUS 3476838 HAS SOUPS 3458542 WITH SCORE 3463073.524
AT ITER 1772 NEW BEST:: SOT 17206822 SOS 4531777 HAS SOPS 4316221 HAS SOUS 3476750 HAS SOUPS 3458454 WITH SCORE 3462985.777
AT ITER 1784 NEW BEST:: SOT 17206560 SOS 4531515 HAS SOPS 4315959 HAS SOUS 3476745 HAS SOUPS 3458449 WITH SCORE 3462980.515
AT ITER 1785 NEW BEST:: SOT 17206145 SOS 4531107 HAS SOPS 4315551 HAS SOUS 3476330 HAS SOUPS 3458034 WITH SCORE 3462565.107
AT ITER 1813 NEW BEST:: SOT 17206140 SOS 4531107 HAS SOPS 4315551 HAS SOUS 3476325 HAS SOUPS 3458029 WITH SCORE 3462560.107
AT ITER 1826 NEW BEST:: SOT 17206140 SOS 4531004 HAS SOPS 4315448 HAS SOUS 3476208 HAS SOUPS 3457912 WITH SCORE 3462443.004
AT ITER 1830 NEW BEST:: SOT 17202486 SOS 4527355 HAS SOPS 4311799 HAS SOUS 3472559 HAS SOUPS 3454263 WITH SCORE 3458790.355
AT ITER 1883 NEW BEST:: SOT 17198446 SOS 4524260 HAS SOPS 4308704 HAS SOUS 3468863 HAS SOUPS 3450567 WITH SCORE 3455091.26
AT ITER 1886 NEW BEST:: SOT 17198106 SOS 4524260 HAS SOPS 4308704 HAS SOUS 3468523 HAS SOUPS 3450227 WITH SCORE 3454751.26
AT ITER 1936 NEW BEST:: SOT 17197424 SOS 4523890 HAS SOPS 4308334 HAS SOUS 3468188 HAS SOUPS 3449892 WITH SCORE 3454415.89
AT ITER 1941 NEW BEST:: SOT 17197424 SOS 4523480 HAS SOPS 4307924 HAS SOUS 3467778 HAS SOUPS 3449482 WITH SCORE 3454005.48
AT ITER 1942 NEW BEST:: SOT 17192834 SOS 4518584 HAS SOPS 4298132 HAS SOUS 3463188 HAS SOUPS 3444586 WITH SCORE 3449104.584
AT ITER 1960 NEW BEST:: SOT 17192834 SOS 4518584 HAS SOPS 4298132 HAS SOUS 3463079 HAS SOUPS 3444477 WITH SCORE 3448995.584
AT ITER 1973 NEW BEST:: SOT 17192834 SOS 4518182 HAS SOPS 4297730 HAS SOUS 3462671 HAS SOUPS 3444069 WITH SCORE 3448587.182
AT ITER 2004 NEW BEST:: SOT 17192084 SOS 4517879 HAS SOPS 4297427 HAS SOUS 3462103 HAS SOUPS 3443501 WITH SCORE 3448018.879
AT ITER 2015 NEW BEST:: SOT 17192084 SOS 4518377 HAS SOPS 4297925 HAS SOUS 3462092 HAS SOUPS 3443490 WITH SCORE 3448008.377
AT ITER 2020 NEW BEST:: SOT 17191972 SOS 4518233 HAS SOPS 4297781 HAS SOUS 3461948 HAS SOUPS 3443346 WITH SCORE 3447864.233
AT ITER 2024 NEW BEST:: SOT 17191972 SOS 4518138 HAS SOPS 4297686 HAS SOUS 3461853 HAS SOUPS 3443251 WITH SCORE 3447769.138
AT ITER 2031 NEW BEST:: SOT 17182736 SOS 4540562 HAS SOPS 4320110 HAS SOUS 3457184 HAS SOUPS 3438582 WITH SCORE 3443122.562
AT ITER 2053 NEW BEST:: SOT 17182461 SOS 4540562 HAS SOPS 4320110 HAS SOUS 3457170 HAS SOUPS 3438568 WITH SCORE 3443108.562
AT ITER 2056 NEW BEST:: SOT 17182461 SOS 4540394 HAS SOPS 4319942 HAS SOUS 3456801 HAS SOUPS 3438199 WITH SCORE 3442739.394
AT ITER 2057 NEW BEST:: SOT 17182461 SOS 4540394 HAS SOPS 4319942 HAS SOUS 3456785 HAS SOUPS 3438183 WITH SCORE 3442723.394
AT ITER 2060 NEW BEST:: SOT 17182063 SOS 4540009 HAS SOPS 4319557 HAS SOUS 3456371 HAS SOUPS 3437769 WITH SCORE 3442309.009
AT ITER 2079 NEW BEST:: SOT 17182047 SOS 4539993 HAS SOPS 4319541 HAS SOUS 3456339 HAS SOUPS 3437737 WITH SCORE 3442276.993
AT ITER 2114 NEW BEST:: SOT 17178906 SOS 4547311 HAS SOPS 4326880 HAS SOUS 3453872 HAS SOUPS 3435270 WITH SCORE 3439817.311
AT ITER 2132 NEW BEST:: SOT 17178350 SOS 4546766 HAS SOPS 4326335 HAS SOUS 3453580 HAS SOUPS 3434978 WITH SCORE 3439524.766
AT ITER 2143 NEW BEST:: SOT 17178107 SOS 4546517 HAS SOPS 4326086 HAS SOUS 3453331 HAS SOUPS 3434729 WITH SCORE 3439275.517
AT ITER 2160 NEW BEST:: SOT 17178107 SOS 4546134 HAS SOPS 4325703 HAS SOUS 3452567 HAS SOUPS 3433965 WITH SCORE 3438511.134
AT ITER 2252 NEW BEST:: SOT 17178107 SOS 4545733 HAS SOPS 4325302 HAS SOUS 3452166 HAS SOUPS 3433564 WITH SCORE 3438109.733
AT ITER 2264 NEW BEST:: SOT 17178107 SOS 4545486 HAS SOPS 4325055 HAS SOUS 3451473 HAS SOUPS 3432871 WITH SCORE 3437416.486
AT ITER 2290 NEW BEST:: SOT 17178107 SOS 4545242 HAS SOPS 4324811 HAS SOUS 3451473 HAS SOUPS 3432871 WITH SCORE 3437416.242
AT ITER 2306 NEW BEST:: SOT 17177806 SOS 4545242 HAS SOPS 4324811 HAS SOUS 3451466 HAS SOUPS 3432864 WITH SCORE 3437409.242
AT ITER 2311 NEW BEST:: SOT 17177806 SOS 4545039 HAS SOPS 4324608 HAS SOUS 3451263 HAS SOUPS 3432661 WITH SCORE 3437206.039
AT ITER 2314 NEW BEST:: SOT 17177804 SOS 4545005 HAS SOPS 4324574 HAS SOUS 3451229 HAS SOUPS 3432627 WITH SCORE 3437172.005
AT ITER 2329 NEW BEST:: SOT 17177804 SOS 4544870 HAS SOPS 4324439 HAS SOUS 3451094 HAS SOUPS 3432492 WITH SCORE 3437036.87
AT ITER 2336 NEW BEST:: SOT 17177255 SOS 4544870 HAS SOPS 4324439 HAS SOUS 3451093 HAS SOUPS 3432491 WITH SCORE 3437035.87
AT ITER 2365 NEW BEST:: SOT 17177192 SOS 4544727 HAS SOPS 4324362 HAS SOUS 3450988 HAS SOUPS 3432386 WITH SCORE 3436930.727
AT ITER 2375 NEW BEST:: SOT 17176584 SOS 4544617 HAS SOPS 4324252 HAS SOUS 3450782 HAS SOUPS 3432180 WITH SCORE 3436724.617
AT ITER 2453 NEW BEST:: SOT 17176556 SOS 4544859 HAS SOPS 4324196 HAS SOUS 3451021 HAS SOUPS 3432124 WITH SCORE 3436668.859
AT ITER 2472 NEW BEST:: SOT 17176556 SOS 4544760 HAS SOPS 4324097 HAS SOUS 3451021 HAS SOUPS 3432124 WITH SCORE 3436668.76
AT ITER 2484 NEW BEST:: SOT 17176265 SOS 4544463 HAS SOPS 4323800 HAS SOUS 3451004 HAS SOUPS 3432107 WITH SCORE 3436651.463
AT ITER 2509 NEW BEST:: SOT 17176265 SOS 4544434 HAS SOPS 4323771 HAS SOUS 3450946 HAS SOUPS 3432049 WITH SCORE 3436593.434
AT ITER 2512 NEW BEST:: SOT 17176265 SOS 4544124 HAS SOPS 4323461 HAS SOUS 3450636 HAS SOUPS 3431739 WITH SCORE 3436283.124
AT ITER 2517 NEW BEST:: SOT 17175914 SOS 4544378 HAS SOPS 4323715 HAS SOUS 3450539 HAS SOUPS 3431642 WITH SCORE 3436186.378
AT ITER 2518 NEW BEST:: SOT 17172895 SOS 4553049 HAS SOPS 4332416 HAS SOUS 3447816 HAS SOUPS 3428919 WITH SCORE 3433472.049
AT ITER 2591 NEW BEST:: SOT 17172249 SOS 4552470 HAS SOPS 4331837 HAS SOUS 3446947 HAS SOUPS 3428050 WITH SCORE 3432602.47
AT ITER 2644 NEW BEST:: SOT 17171718 SOS 4551923 HAS SOPS 4331290 HAS SOUS 3446400 HAS SOUPS 3427503 WITH SCORE 3432054.923
AT ITER 2655 NEW BEST:: SOT 17164658 SOS 4549113 HAS SOPS 4328480 HAS SOUS 3440334 HAS SOUPS 3421437 WITH SCORE 3425986.113
AT ITER 2658 NEW BEST:: SOT 17165176 SOS 4549700 HAS SOPS 4322837 HAS SOUS 3434869 HAS SOUPS 3415938 WITH SCORE 3420487.7
AT ITER 2678 NEW BEST:: SOT 17164711 SOS 4549703 HAS SOPS 4322840 HAS SOUS 3434407 HAS SOUPS 3415476 WITH SCORE 3420025.703
AT ITER 2722 NEW BEST:: SOT 17162609 SOS 4549175 HAS SOPS 4322312 HAS SOUS 3433501 HAS SOUPS 3414570 WITH SCORE 3419119.175
AT ITER 2724 NEW BEST:: SOT 17162609 SOS 4549175 HAS SOPS 4322312 HAS SOUS 3433014 HAS SOUPS 3414083 WITH SCORE 3418632.175
AT ITER 2736 NEW BEST:: SOT 17162273 SOS 4549175 HAS SOPS 4322312 HAS SOUS 3432745 HAS SOUPS 3413814 WITH SCORE 3418363.175
AT ITER 2771 NEW BEST:: SOT 17162214 SOS 4549116 HAS SOPS 4322194 HAS SOUS 3432627 HAS SOUPS 3413696 WITH SCORE 3418245.116
AT ITER 2781 NEW BEST:: SOT 17162214 SOS 4548901 HAS SOPS 4321979 HAS SOUS 3431902 HAS SOUPS 3412971 WITH SCORE 3417519.901
AT ITER 2801 NEW BEST:: SOT 17162181 SOS 4541523 HAS SOPS 4314601 HAS SOUS 3431413 HAS SOUPS 3412482 WITH SCORE 3417023.523
AT ITER 2809 NEW BEST:: SOT 17158379 SOS 4564706 HAS SOPS 4337784 HAS SOUS 3430969 HAS SOUPS 3412038 WITH SCORE 3416602.706
AT ITER 2815 NEW BEST:: SOT 17158357 SOS 4564343 HAS SOPS 4337421 HAS SOUS 3430914 HAS SOUPS 3411983 WITH SCORE 3416547.343
AT ITER 2828 NEW BEST:: SOT 17147800 SOS 4559751 HAS SOPS 4332829 HAS SOUS 3421372 HAS SOUPS 3402441 WITH SCORE 3407000.751
AT ITER 2829 NEW BEST:: SOT 17147800 SOS 4559751 HAS SOPS 4332829 HAS SOUS 3421364 HAS SOUPS 3402433 WITH SCORE 3406992.751
AT ITER 2854 NEW BEST:: SOT 17147598 SOS 4559797 HAS SOPS 4332875 HAS SOUS 3421208 HAS SOUPS 3402277 WITH SCORE 3406836.797
AT ITER 2863 NEW BEST:: SOT 17147598 SOS 4559784 HAS SOPS 4332862 HAS SOUS 3421195 HAS SOUPS 3402264 WITH SCORE 3406823.784
AT ITER 2869 NEW BEST:: SOT 17147335 SOS 4559523 HAS SOPS 4332601 HAS SOUS 3420932 HAS SOUPS 3402001 WITH SCORE 3406560.523
AT ITER 2883 NEW BEST:: SOT 17147335 SOS 4559440 HAS SOPS 4332518 HAS SOUS 3420849 HAS SOUPS 3401918 WITH SCORE 3406477.44
AT ITER 2896 NEW BEST:: SOT 17147335 SOS 4559294 HAS SOPS 4332372 HAS SOUS 3420849 HAS SOUPS 3401918 WITH SCORE 3406477.294
AT ITER 2924 NEW BEST:: SOT 17147138 SOS 4559097 HAS SOPS 4332175 HAS SOUS 3420652 HAS SOUPS 3401721 WITH SCORE 3406280.097
AT ITER 2944 NEW BEST:: SOT 17146956 SOS 4559230 HAS SOPS 4332308 HAS SOUS 3420603 HAS SOUPS 3401672 WITH SCORE 3406231.23
AT ITER 2964 NEW BEST:: SOT 17144333 SOS 4569195 HAS SOPS 4342273 HAS SOUS 3418761 HAS SOUPS 3399830 WITH SCORE 3404399.195
AT ITER 2965 NEW BEST:: SOT 17132339 SOS 4564394 HAS SOPS 4337472 HAS SOUS 3408262 HAS SOUPS 3389331 WITH SCORE 3393895.394
AT ITER 2974 NEW BEST:: SOT 17132339 SOS 4564366 HAS SOPS 4337458 HAS SOUS 3408248 HAS SOUPS 3389317 WITH SCORE 3393881.366
AT ITER 2987 NEW BEST:: SOT 17129373 SOS 4562057 HAS SOPS 4335149 HAS SOUS 3406098 HAS SOUPS 3387167 WITH SCORE 3391729.057
AT ITER 2989 NEW BEST:: SOT 17129315 SOS 4561999 HAS SOPS 4335091 HAS SOUS 3406087 HAS SOUPS 3387156 WITH SCORE 3391717.999
AT ITER 2994 NEW BEST:: SOT 17129285 SOS 4561969 HAS SOPS 4335061 HAS SOUS 3406045 HAS SOUPS 3387114 WITH SCORE 3391675.969
AT ITER 2995 NEW BEST:: SOT 17129285 SOS 4561772 HAS SOPS 4334864 HAS SOUS 3405643 HAS SOUPS 3386712 WITH SCORE 3391273.772
AT ITER 3003 NEW BEST:: SOT 17129270 SOS 4561532 HAS SOPS 4334624 HAS SOUS 3405403 HAS SOUPS 3386472 WITH SCORE 3391033.532
AT ITER 3011 NEW BEST:: SOT 17129255 SOS 4561532 HAS SOPS 4334624 HAS SOUS 3405391 HAS SOUPS 3386460 WITH SCORE 3391021.532
AT ITER 3055 NEW BEST:: SOT 17128814 SOS 4560830 HAS SOPS 4333922 HAS SOUS 3404827 HAS SOUPS 3385896 WITH SCORE 3390456.83
AT ITER 3069 NEW BEST:: SOT 17128814 SOS 4560297 HAS SOPS 4333389 HAS SOUS 3403909 HAS SOUPS 3384978 WITH SCORE 3389538.297
AT ITER 3078 NEW BEST:: SOT 17128334 SOS 4559817 HAS SOPS 4332909 HAS SOUS 3403456 HAS SOUPS 3384525 WITH SCORE 3389084.817
AT ITER 3095 NEW BEST:: SOT 17128114 SOS 4555857 HAS SOPS 4328949 HAS SOUS 3403016 HAS SOUPS 3384085 WITH SCORE 3388640.857
AT ITER 3106 NEW BEST:: SOT 17127953 SOS 4555664 HAS SOPS 4328756 HAS SOUS 3402823 HAS SOUPS 3383892 WITH SCORE 3388447.664
AT ITER 3115 NEW BEST:: SOT 17127953 SOS 4555850 HAS SOPS 4328942 HAS SOUS 3402512 HAS SOUPS 3383581 WITH SCORE 3388136.85
AT ITER 3140 NEW BEST:: SOT 17125307 SOS 4577261 HAS SOPS 4350373 HAS SOUS 3402134 HAS SOUPS 3383203 WITH SCORE 3387780.261
AT ITER 3194 NEW BEST:: SOT 17125068 SOS 4577024 HAS SOPS 4350136 HAS SOUS 3401895 HAS SOUPS 3382964 WITH SCORE 3387541.024
AT ITER 3252 NEW BEST:: SOT 17125068 SOS 4577024 HAS SOPS 4350136 HAS SOUS 3401879 HAS SOUPS 3382948 WITH SCORE 3387525.024
AT ITER 3324 NEW BEST:: SOT 17124481 SOS 4576773 HAS SOPS 4349885 HAS SOUS 3401031 HAS SOUPS 3382100 WITH SCORE 3386676.773
AT ITER 3342 NEW BEST:: SOT 17124465 SOS 4576757 HAS SOPS 4349869 HAS SOUS 3400999 HAS SOUPS 3382068 WITH SCORE 3386644.757
AT ITER 3345 NEW BEST:: SOT 17124465 SOS 4576395 HAS SOPS 4349507 HAS SOUS 3400637 HAS SOUPS 3381706 WITH SCORE 3386282.395
AT ITER 3355 NEW BEST:: SOT 17118688 SOS 4616143 HAS SOPS 4389255 HAS SOUS 3400295 HAS SOUPS 3381364 WITH SCORE 3385980.143
AT ITER 3367 NEW BEST:: SOT 17117924 SOS 4606027 HAS SOPS 4379139 HAS SOUS 3398939 HAS SOUPS 3380008 WITH SCORE 3384614.027
AT ITER 3369 NEW BEST:: SOT 17117558 SOS 4605687 HAS SOPS 4378799 HAS SOUS 3398573 HAS SOUPS 3379642 WITH SCORE 3384247.687
AT ITER 3397 NEW BEST:: SOT 17117124 SOS 4599277 HAS SOPS 4372389 HAS SOUS 3398139 HAS SOUPS 3379208 WITH SCORE 3383807.277
AT ITER 3447 NEW BEST:: SOT 17117124 SOS 4598998 HAS SOPS 4372110 HAS SOUS 3397860 HAS SOUPS 3378929 WITH SCORE 3383527.998
AT ITER 3454 NEW BEST:: SOT 17114148 SOS 4595831 HAS SOPS 4368943 HAS SOUS 3394693 HAS SOUPS 3375762 WITH SCORE 3380357.831
AT ITER 3456 NEW BEST:: SOT 17114095 SOS 4595778 HAS SOPS 4368890 HAS SOUS 3394587 HAS SOUPS 3375656 WITH SCORE 3380251.778
AT ITER 3457 NEW BEST:: SOT 17113736 SOS 4595433 HAS SOPS 4368545 HAS SOUS 3394254 HAS SOUPS 3375323 WITH SCORE 3379918.433
AT ITER 3472 NEW BEST:: SOT 17113576 SOS 4594786 HAS SOPS 4368352 HAS SOUS 3394061 HAS SOUPS 3375130 WITH SCORE 3379724.786
AT ITER 3507 NEW BEST:: SOT 17112648 SOS 4590474 HAS SOPS 4364040 HAS SOUS 3392914 HAS SOUPS 3373983 WITH SCORE 3378573.474
AT ITER 3510 NEW BEST:: SOT 17112648 SOS 4590232 HAS SOPS 4363798 HAS SOUS 3392303 HAS SOUPS 3373372 WITH SCORE 3377962.232
AT ITER 3516 NEW BEST:: SOT 17112648 SOS 4590230 HAS SOPS 4363796 HAS SOUS 3392303 HAS SOUPS 3373372 WITH SCORE 3377962.23
AT ITER 3521 NEW BEST:: SOT 17101509 SOS 4693387 HAS SOPS 4357636 HAS SOUS 3389881 HAS SOUPS 3366704 WITH SCORE 3371397.387
AT ITER 3522 NEW BEST:: SOT 17101509 SOS 4693134 HAS SOPS 4357383 HAS SOUS 3389628 HAS SOUPS 3366451 WITH SCORE 3371144.134
AT ITER 3551 NEW BEST:: SOT 17101291 SOS 4692921 HAS SOPS 4357170 HAS SOUS 3389410 HAS SOUPS 3366233 WITH SCORE 3370925.921
AT ITER 3552 NEW BEST:: SOT 17101191 SOS 4692821 HAS SOPS 4357070 HAS SOUS 3389310 HAS SOUPS 3366133 WITH SCORE 3370825.821
AT ITER 3554 NEW BEST:: SOT 17100447 SOS 4692086 HAS SOPS 4356335 HAS SOUS 3388590 HAS SOUPS 3365413 WITH SCORE 3370105.086
AT ITER 3566 NEW BEST:: SOT 17100447 SOS 4692000 HAS SOPS 4356249 HAS SOUS 3388365 HAS SOUPS 3365188 WITH SCORE 3369880.0
AT ITER 3653 NEW BEST:: SOT 17099553 SOS 4686714 HAS SOPS 4350963 HAS SOUS 3387189 HAS SOUPS 3364012 WITH SCORE 3368698.714
AT ITER 3655 NEW BEST:: SOT 17099064 SOS 4686227 HAS SOPS 4350476 HAS SOUS 3386700 HAS SOUPS 3363523 WITH SCORE 3368209.227
AT ITER 3657 NEW BEST:: SOT 17099048 SOS 4684995 HAS SOPS 4349168 HAS SOUS 3386668 HAS SOUPS 3363491 WITH SCORE 3368175.995
AT ITER 3692 NEW BEST:: SOT 17098445 SOS 4680196 HAS SOPS 4344369 HAS SOUS 3385818 HAS SOUPS 3362641 WITH SCORE 3367321.196
AT ITER 3739 NEW BEST:: SOT 17098268 SOS 4679842 HAS SOPS 4344015 HAS SOUS 3385609 HAS SOUPS 3362432 WITH SCORE 3367111.842
AT ITER 3760 NEW BEST:: SOT 17098129 SOS 4679564 HAS SOPS 4343737 HAS SOUS 3385331 HAS SOUPS 3362154 WITH SCORE 3366833.564
AT ITER 3767 NEW BEST:: SOT 17098108 SOS 4679511 HAS SOPS 4343684 HAS SOUS 3385278 HAS SOUPS 3362101 WITH SCORE 3366780.511
AT ITER 3813 NEW BEST:: SOT 17098092 SOS 4679495 HAS SOPS 4343668 HAS SOUS 3385246 HAS SOUPS 3362069 WITH SCORE 3366748.495
AT ITER 3821 NEW BEST:: SOT 17098072 SOS 4679463 HAS SOPS 4343636 HAS SOUS 3385226 HAS SOUPS 3362049 WITH SCORE 3366728.463
AT ITER 3828 NEW BEST:: SOT 17098063 SOS 4679326 HAS SOPS 4343619 HAS SOUS 3385209 HAS SOUPS 3362032 WITH SCORE 3366711.326
AT ITER 3872 NEW BEST:: SOT 17098025 SOS 4679288 HAS SOPS 4343581 HAS SOUS 3385133 HAS SOUPS 3361956 WITH SCORE 3366635.288
AT ITER 3874 NEW BEST:: SOT 17097505 SOS 4679031 HAS SOPS 4343324 HAS SOUS 3384434 HAS SOUPS 3361257 WITH SCORE 3365936.031
AT ITER 3902 NEW BEST:: SOT 17097361 SOS 4677143 HAS SOPS 4341436 HAS SOUS 3384274 HAS SOUPS 3361097 WITH SCORE 3365774.143
AT ITER 3930 NEW BEST:: SOT 17096691 SOS 4676473 HAS SOPS 4341024 HAS SOUS 3383857 HAS SOUPS 3360680 WITH SCORE 3365356.473
AT ITER 3958 NEW BEST:: SOT 17089916 SOS 4693847 HAS SOPS 4360662 HAS SOUS 3380374 HAS SOUPS 3357197 WITH SCORE 3361890.847
AT ITER 3962 NEW BEST:: SOT 17083588 SOS 4695203 HAS SOPS 4354786 HAS SOUS 3374950 HAS SOUPS 3351321 WITH SCORE 3356016.203
AT ITER 3983 NEW BEST:: SOT 17083428 SOS 4695284 HAS SOPS 4354867 HAS SOUS 3374871 HAS SOUPS 3351242 WITH SCORE 3355937.284
AT ITER 3991 NEW BEST:: SOT 17083181 SOS 4694790 HAS SOPS 4354373 HAS SOUS 3374377 HAS SOUPS 3350748 WITH SCORE 3355442.79
AT ITER 3994 NEW BEST:: SOT 17082921 SOS 4694790 HAS SOPS 4354373 HAS SOUS 3374374 HAS SOUPS 3350745 WITH SCORE 3355439.79
AT ITER 4024 NEW BEST:: SOT 17082195 SOS 4694064 HAS SOPS 4353647 HAS SOUS 3373646 HAS SOUPS 3350017 WITH SCORE 3354711.064
AT ITER 4052 NEW BEST:: SOT 17081551 SOS 4694202 HAS SOPS 4353049 HAS SOUS 3373124 HAS SOUPS 3349449 WITH SCORE 3354143.202
AT ITER 4055 NEW BEST:: SOT 17080957 SOS 4693608 HAS SOPS 4352455 HAS SOUS 3372048 HAS SOUPS 3348373 WITH SCORE 3353066.608
AT ITER 4104 NEW BEST:: SOT 17080941 SOS 4693129 HAS SOPS 4351976 HAS SOUS 3372016 HAS SOUPS 3348341 WITH SCORE 3353034.129
AT ITER 4106 NEW BEST:: SOT 17080246 SOS 4685066 HAS SOPS 4343913 HAS SOUS 3370853 HAS SOUPS 3347178 WITH SCORE 3351863.066
AT ITER 4131 NEW BEST:: SOT 17079648 SOS 4685239 HAS SOPS 4344086 HAS SOUS 3370762 HAS SOUPS 3347087 WITH SCORE 3351772.239
AT ITER 4136 NEW BEST:: SOT 17079632 SOS 4681804 HAS SOPS 4340651 HAS SOUS 3370730 HAS SOUPS 3347055 WITH SCORE 3351736.804
AT ITER 4176 NEW BEST:: SOT 17079570 SOS 4681742 HAS SOPS 4340589 HAS SOUS 3370668 HAS SOUPS 3346993 WITH SCORE 3351674.742
AT ITER 4177 NEW BEST:: SOT 17078549 SOS 4680705 HAS SOPS 4339624 HAS SOUS 3369703 HAS SOUPS 3346028 WITH SCORE 3350708.705
AT ITER 4179 NEW BEST:: SOT 17078935 SOS 4678147 HAS SOPS 4337066 HAS SOUS 3369224 HAS SOUPS 3345549 WITH SCORE 3350227.147
AT ITER 4191 NEW BEST:: SOT 17078104 SOS 4677316 HAS SOPS 4336235 HAS SOUS 3368391 HAS SOUPS 3344716 WITH SCORE 3349393.316
AT ITER 4234 NEW BEST:: SOT 17078041 SOS 4677253 HAS SOPS 4336109 HAS SOUS 3368325 HAS SOUPS 3344590 WITH SCORE 3349267.253
AT ITER 4295 NEW BEST:: SOT 17077624 SOS 4676618 HAS SOPS 4335474 HAS SOUS 3367596 HAS SOUPS 3343861 WITH SCORE 3348537.618
AT ITER 4311 NEW BEST:: SOT 17077589 SOS 4676831 HAS SOPS 4335687 HAS SOUS 3367561 HAS SOUPS 3343826 WITH SCORE 3348502.831
AT ITER 4314 NEW BEST:: SOT 17077416 SOS 4676642 HAS SOPS 4335498 HAS SOUS 3367372 HAS SOUPS 3343637 WITH SCORE 3348313.642
AT ITER 4320 NEW BEST:: SOT 17076525 SOS 4675534 HAS SOPS 4334390 HAS SOUS 3366217 HAS SOUPS 3342482 WITH SCORE 3347157.534
AT ITER 4332 NEW BEST:: SOT 17076525 SOS 4675356 HAS SOPS 4334212 HAS SOUS 3366039 HAS SOUPS 3342304 WITH SCORE 3346979.356
AT ITER 4348 NEW BEST:: SOT 17076268 SOS 4675470 HAS SOPS 4334326 HAS SOUS 3365896 HAS SOUPS 3342161 WITH SCORE 3346836.47
AT ITER 4353 NEW BEST:: SOT 17076268 SOS 4675305 HAS SOPS 4334161 HAS SOUS 3365566 HAS SOUPS 3341831 WITH SCORE 3346506.305
AT ITER 4356 NEW BEST:: SOT 17076267 SOS 4675304 HAS SOPS 4334159 HAS SOUS 3365564 HAS SOUPS 3341829 WITH SCORE 3346504.304
AT ITER 4373 NEW BEST:: SOT 17076267 SOS 4675215 HAS SOPS 4334070 HAS SOUS 3365564 HAS SOUPS 3341829 WITH SCORE 3346504.215
AT ITER 4377 NEW BEST:: SOT 17076124 SOS 4675072 HAS SOPS 4333927 HAS SOUS 3365421 HAS SOUPS 3341686 WITH SCORE 3346361.072
AT ITER 4408 NEW BEST:: SOT 17065160 SOS 4705540 HAS SOPS 4368002 HAS SOUS 3360507 HAS SOUPS 3336772 WITH SCORE 3341477.54
AT ITER 4417 NEW BEST:: SOT 17064815 SOS 4689175 HAS SOPS 4350569 HAS SOUS 3359817 HAS SOUPS 3336082 WITH SCORE 3340771.175
AT ITER 4426 NEW BEST:: SOT 17062679 SOS 4688282 HAS SOPS 4349938 HAS SOUS 3357539 HAS SOUPS 3333804 WITH SCORE 3338492.282
AT ITER 4447 NEW BEST:: SOT 17062679 SOS 4687919 HAS SOPS 4349575 HAS SOUS 3356813 HAS SOUPS 3333078 WITH SCORE 3337765.919
AT ITER 4467 NEW BEST:: SOT 17062679 SOS 4687678 HAS SOPS 4349334 HAS SOUS 3356572 HAS SOUPS 3332837 WITH SCORE 3337524.678
AT ITER 4471 NEW BEST:: SOT 17062679 SOS 4687678 HAS SOPS 4349334 HAS SOUS 3356509 HAS SOUPS 3332774 WITH SCORE 3337461.678
AT ITER 4487 NEW BEST:: SOT 17062396 SOS 4687395 HAS SOPS 4349051 HAS SOUS 3356226 HAS SOUPS 3332491 WITH SCORE 3337178.395
AT ITER 4519 NEW BEST:: SOT 17062250 SOS 4686846 HAS SOPS 4348502 HAS SOUS 3356160 HAS SOUPS 3332425 WITH SCORE 3337111.846
AT ITER 4521 NEW BEST:: SOT 17061668 SOS 4686516 HAS SOPS 4348172 HAS SOUS 3355588 HAS SOUPS 3331853 WITH SCORE 3336539.516
AT ITER 4533 NEW BEST:: SOT 17061668 SOS 4686516 HAS SOPS 4348172 HAS SOUS 3355353 HAS SOUPS 3331618 WITH SCORE 3336304.516
AT ITER 4550 NEW BEST:: SOT 17061668 SOS 4686332 HAS SOPS 4347988 HAS SOUS 3354978 HAS SOUPS 3331243 WITH SCORE 3335929.332
AT ITER 4572 NEW BEST:: SOT 17057967 SOS 4691959 HAS SOPS 4354562 HAS SOUS 3351906 HAS SOUPS 3328171 WITH SCORE 3332862.959
AT ITER 4573 NEW BEST:: SOT 17057967 SOS 4677153 HAS SOPS 4339756 HAS SOUS 3351890 HAS SOUPS 3328155 WITH SCORE 3332832.153
AT ITER 4615 NEW BEST:: SOT 17057940 SOS 4677089 HAS SOPS 4339692 HAS SOUS 3351847 HAS SOUPS 3328112 WITH SCORE 3332789.089
AT ITER 4650 NEW BEST:: SOT 17057924 SOS 4677350 HAS SOPS 4339981 HAS SOUS 3351815 HAS SOUPS 3328080 WITH SCORE 3332757.35
AT ITER 4657 NEW BEST:: SOT 17057924 SOS 4677465 HAS SOPS 4340096 HAS SOUS 3351338 HAS SOUPS 3327603 WITH SCORE 3332280.465
AT ITER 4719 NEW BEST:: SOT 17057829 SOS 4677370 HAS SOPS 4340001 HAS SOUS 3351148 HAS SOUPS 3327413 WITH SCORE 3332090.37
AT ITER 4727 NEW BEST:: SOT 17057829 SOS 4677197 HAS SOPS 4339828 HAS SOUS 3350975 HAS SOUPS 3327240 WITH SCORE 3331917.197
AT ITER 4739 NEW BEST:: SOT 17057147 SOS 4676525 HAS SOPS 4339156 HAS SOUS 3350542 HAS SOUPS 3326807 WITH SCORE 3331483.525
AT ITER 4754 NEW BEST:: SOT 17057147 SOS 4676294 HAS SOPS 4338925 HAS SOUS 3350530 HAS SOUPS 3326795 WITH SCORE 3331471.294
AT ITER 4756 NEW BEST:: SOT 17056883 SOS 4676326 HAS SOPS 4338957 HAS SOUS 3350298 HAS SOUPS 3326563 WITH SCORE 3331239.326
AT ITER 4758 NEW BEST:: SOT 17056687 SOS 4676309 HAS SOPS 4338940 HAS SOUS 3349708 HAS SOUPS 3325973 WITH SCORE 3330649.309
AT ITER 4761 NEW BEST:: SOT 17056434 SOS 4676040 HAS SOPS 4338671 HAS SOUS 3349439 HAS SOUPS 3325704 WITH SCORE 3330380.04
AT ITER 4794 NEW BEST:: SOT 17056274 SOS 4673320 HAS SOPS 4335951 HAS SOUS 3349119 HAS SOUPS 3325384 WITH SCORE 3330057.32
AT ITER 4807 NEW BEST:: SOT 17056274 SOS 4673148 HAS SOPS 4335779 HAS SOUS 3349119 HAS SOUPS 3325384 WITH SCORE 3330057.148
AT ITER 4810 NEW BEST:: SOT 17056208 SOS 4673016 HAS SOPS 4335647 HAS SOUS 3348987 HAS SOUPS 3325252 WITH SCORE 3329925.016
AT ITER 4822 NEW BEST:: SOT 17056208 SOS 4672795 HAS SOPS 4335426 HAS SOUS 3348987 HAS SOUPS 3325252 WITH SCORE 3329924.795
AT ITER 4828 NEW BEST:: SOT 17056177 SOS 4672553 HAS SOPS 4335184 HAS SOUS 3348925 HAS SOUPS 3325190 WITH SCORE 3329862.553
AT ITER 4838 NEW BEST:: SOT 17056092 SOS 4672468 HAS SOPS 4335099 HAS SOUS 3348840 HAS SOUPS 3325105 WITH SCORE 3329777.468
AT ITER 4850 NEW BEST:: SOT 17055511 SOS 4672047 HAS SOPS 4334678 HAS SOUS 3347812 HAS SOUPS 3324077 WITH SCORE 3328749.047
AT ITER 4854 NEW BEST:: SOT 17054621 SOS 4671340 HAS SOPS 4333971 HAS SOUS 3347105 HAS SOUPS 3323370 WITH SCORE 3328041.34
AT ITER 4916 NEW BEST:: SOT 17054397 SOS 4671340 HAS SOPS 4333971 HAS SOUS 3346881 HAS SOUPS 3323146 WITH SCORE 3327817.34
AT ITER 5009 NEW BEST:: SOT 17053856 SOS 4671198 HAS SOPS 4333829 HAS SOUS 3346349 HAS SOUPS 3322614 WITH SCORE 3327285.198
AT ITER 5021 NEW BEST:: SOT 17053856 SOS 4670873 HAS SOPS 4333504 HAS SOUS 3346024 HAS SOUPS 3322289 WITH SCORE 3326959.873
AT ITER 5023 NEW BEST:: SOT 17048382 SOS 4677661 HAS SOPS 4328013 HAS SOUS 3344213 HAS SOUPS 3319799 WITH SCORE 3324476.661
AT ITER 5040 NEW BEST:: SOT 17048366 SOS 4677645 HAS SOPS 4327997 HAS SOUS 3344181 HAS SOUPS 3319767 WITH SCORE 3324444.645
AT ITER 5049 NEW BEST:: SOT 17033346 SOS 4665417 HAS SOPS 4316992 HAS SOUS 3330436 HAS SOUPS 3306022 WITH SCORE 3310687.417
AT ITER 5059 NEW BEST:: SOT 17033311 SOS 4637515 HAS SOPS 4287144 HAS SOUS 3330345 HAS SOUPS 3305931 WITH SCORE 3310568.515
AT ITER 5060 NEW BEST:: SOT 17032715 SOS 4636936 HAS SOPS 4286565 HAS SOUS 3329987 HAS SOUPS 3305573 WITH SCORE 3310209.936
AT ITER 5071 NEW BEST:: SOT 17032715 SOS 4636918 HAS SOPS 4286547 HAS SOUS 3329987 HAS SOUPS 3305573 WITH SCORE 3310209.918
AT ITER 5080 NEW BEST:: SOT 17032715 SOS 4636902 HAS SOPS 4286531 HAS SOUS 3329971 HAS SOUPS 3305557 WITH SCORE 3310193.902
AT ITER 5085 NEW BEST:: SOT 17032195 SOS 4636901 HAS SOPS 4286530 HAS SOUS 3329769 HAS SOUPS 3305355 WITH SCORE 3309991.901
AT ITER 5093 NEW BEST:: SOT 16900471 SOS 6380369 HAS SOPS 6029998 HAS SOUS 3201073 HAS SOUPS 3176659 WITH SCORE 3183039.369
AT ITER 5100 NEW BEST:: SOT 16900455 SOS 6379604 HAS SOPS 6029233 HAS SOUS 3201041 HAS SOUPS 3176627 WITH SCORE 3183006.604
AT ITER 5101 NEW BEST:: SOT 16900231 SOS 6379609 HAS SOPS 6029238 HAS SOUS 3200931 HAS SOUPS 3176517 WITH SCORE 3182896.609
AT ITER 5134 NEW BEST:: SOT 16900323 SOS 6379701 HAS SOPS 6029330 HAS SOUS 3200901 HAS SOUPS 3176487 WITH SCORE 3182866.701
AT ITER 5139 NEW BEST:: SOT 16900930 SOS 6376367 HAS SOPS 6025996 HAS SOUS 3200205 HAS SOUPS 3175791 WITH SCORE 3182167.367
AT ITER 5141 NEW BEST:: SOT 16900930 SOS 6376501 HAS SOPS 6026130 HAS SOUS 3199592 HAS SOUPS 3175178 WITH SCORE 3181554.501
AT ITER 5155 NEW BEST:: SOT 16900634 SOS 6376205 HAS SOPS 6025834 HAS SOUS 3199294 HAS SOUPS 3174880 WITH SCORE 3181256.205
AT ITER 5173 NEW BEST:: SOT 16900634 SOS 6376205 HAS SOPS 6025834 HAS SOUS 3199083 HAS SOUPS 3174669 WITH SCORE 3181045.205
AT ITER 5182 NEW BEST:: SOT 16900634 SOS 6375833 HAS SOPS 6025462 HAS SOUS 3198339 HAS SOUPS 3173925 WITH SCORE 3180300.833
AT ITER 5204 NEW BEST:: SOT 16900634 SOS 6375833 HAS SOPS 6025462 HAS SOUS 3197874 HAS SOUPS 3173460 WITH SCORE 3179835.833
AT ITER 5205 NEW BEST:: SOT 16900542 SOS 6375741 HAS SOPS 6025370 HAS SOUS 3197690 HAS SOUPS 3173276 WITH SCORE 3179651.741
AT ITER 5217 NEW BEST:: SOT 16900509 SOS 6375871 HAS SOPS 6025500 HAS SOUS 3197617 HAS SOUPS 3173203 WITH SCORE 3179578.871
AT ITER 5224 NEW BEST:: SOT 16899883 SOS 6375261 HAS SOPS 6024890 HAS SOUS 3197220 HAS SOUPS 3172806 WITH SCORE 3179181.261
AT ITER 5230 NEW BEST:: SOT 16899453 SOS 6374831 HAS SOPS 6024460 HAS SOUS 3196360 HAS SOUPS 3171946 WITH SCORE 3178320.831
AT ITER 5241 NEW BEST:: SOT 16899453 SOS 6374831 HAS SOPS 6024460 HAS SOUS 3195901 HAS SOUPS 3171487 WITH SCORE 3177861.831
AT ITER 5252 NEW BEST:: SOT 16899453 SOS 6374567 HAS SOPS 6024196 HAS SOUS 3195901 HAS SOUPS 3171487 WITH SCORE 3177861.567
AT ITER 5259 NEW BEST:: SOT 16899360 SOS 6374474 HAS SOPS 6024103 HAS SOUS 3195715 HAS SOUPS 3171301 WITH SCORE 3177675.474
AT ITER 5266 NEW BEST:: SOT 16899344 SOS 6374426 HAS SOPS 6024055 HAS SOUS 3195667 HAS SOUPS 3171253 WITH SCORE 3177627.426
AT ITER 5270 NEW BEST:: SOT 16899328 SOS 6374410 HAS SOPS 6024039 HAS SOUS 3195635 HAS SOUPS 3171221 WITH SCORE 3177595.41
AT ITER 5292 NEW BEST:: SOT 16899328 SOS 6372767 HAS SOPS 6022396 HAS SOUS 3195635 HAS SOUPS 3171221 WITH SCORE 3177593.767
AT ITER 5293 NEW BEST:: SOT 16899300 SOS 6372767 HAS SOPS 6022396 HAS SOUS 3195607 HAS SOUPS 3171193 WITH SCORE 3177565.767
AT ITER 5295 NEW BEST:: SOT 16899300 SOS 6372767 HAS SOPS 6022396 HAS SOUS 3195338 HAS SOUPS 3170924 WITH SCORE 3177296.767
AT ITER 5317 NEW BEST:: SOT 16898516 SOS 6372525 HAS SOPS 6022154 HAS SOUS 3194282 HAS SOUPS 3169868 WITH SCORE 3176240.525
AT ITER 5330 NEW BEST:: SOT 16898314 SOS 6372323 HAS SOPS 6021952 HAS SOUS 3194080 HAS SOUPS 3169666 WITH SCORE 3176038.323
AT ITER 5340 NEW BEST:: SOT 16897080 SOS 6370046 HAS SOPS 6019675 HAS SOUS 3191803 HAS SOUPS 3167389 WITH SCORE 3173759.046
AT ITER 5344 NEW BEST:: SOT 16897120 SOS 6369985 HAS SOPS 6019694 HAS SOUS 3191651 HAS SOUPS 3167237 WITH SCORE 3173606.985
AT ITER 5349 NEW BEST:: SOT 16891685 SOS 6374944 HAS SOPS 6024676 HAS SOUS 3187443 HAS SOUPS 3163029 WITH SCORE 3169403.944
AT ITER 5358 NEW BEST:: SOT 16891497 SOS 6374756 HAS SOPS 6024488 HAS SOUS 3187255 HAS SOUPS 3162841 WITH SCORE 3169215.756
AT ITER 5360 NEW BEST:: SOT 16891251 SOS 6374510 HAS SOPS 6023996 HAS SOUS 3187007 HAS SOUPS 3162349 WITH SCORE 3168723.51
AT ITER 5378 NEW BEST:: SOT 16891055 SOS 6374118 HAS SOPS 6023604 HAS SOUS 3186615 HAS SOUPS 3161957 WITH SCORE 3168331.118
AT ITER 5393 NEW BEST:: SOT 16890932 SOS 6373934 HAS SOPS 6023420 HAS SOUS 3186554 HAS SOUPS 3161896 WITH SCORE 3168269.934
AT ITER 5406 NEW BEST:: SOT 16890298 SOS 6373058 HAS SOPS 6022544 HAS SOUS 3185678 HAS SOUPS 3161020 WITH SCORE 3167393.058
AT ITER 5434 NEW BEST:: SOT 16889862 SOS 6373042 HAS SOPS 6022528 HAS SOUS 3185662 HAS SOUPS 3161004 WITH SCORE 3167377.042
AT ITER 5449 NEW BEST:: SOT 16889625 SOS 6373327 HAS SOPS 6022813 HAS SOUS 3185660 HAS SOUPS 3161002 WITH SCORE 3167375.327
AT ITER 5453 NEW BEST:: SOT 16889058 SOS 6353026 HAS SOPS 6001186 HAS SOUS 3184526 HAS SOUPS 3159868 WITH SCORE 3166221.026
AT ITER 5526 NEW BEST:: SOT 16889223 SOS 6353191 HAS SOPS 6001351 HAS SOUS 3184405 HAS SOUPS 3159747 WITH SCORE 3166100.191
AT ITER 5533 NEW BEST:: SOT 16889203 SOS 6353042 HAS SOPS 6001202 HAS SOUS 3184360 HAS SOUPS 3159702 WITH SCORE 3166055.042
AT ITER 5535 NEW BEST:: SOT 16889310 SOS 6353149 HAS SOPS 6001309 HAS SOUS 3183975 HAS SOUPS 3159317 WITH SCORE 3165670.149
AT ITER 5578 NEW BEST:: SOT 16889310 SOS 6352862 HAS SOPS 6001022 HAS SOUS 3183688 HAS SOUPS 3159030 WITH SCORE 3165382.862
AT ITER 5584 NEW BEST:: SOT 16888952 SOS 6346518 HAS SOPS 5994317 HAS SOUS 3182972 HAS SOUPS 3158314 WITH SCORE 3164660.518
AT ITER 5585 NEW BEST:: SOT 16888952 SOS 6346502 HAS SOPS 5994301 HAS SOUS 3182956 HAS SOUPS 3158298 WITH SCORE 3164644.502
AT ITER 5587 NEW BEST:: SOT 16887879 SOS 6345322 HAS SOPS 5993121 HAS SOUS 3181776 HAS SOUPS 3157118 WITH SCORE 3163463.322
AT ITER 5589 NEW BEST:: SOT 16887850 SOS 6345277 HAS SOPS 5993076 HAS SOUS 3181731 HAS SOUPS 3157073 WITH SCORE 3163418.277
AT ITER 5651 NEW BEST:: SOT 16887097 SOS 6344527 HAS SOPS 5992326 HAS SOUS 3180991 HAS SOUPS 3156333 WITH SCORE 3162677.527
AT ITER 5661 NEW BEST:: SOT 16887097 SOS 6345113 HAS SOPS 5992912 HAS SOUS 3180843 HAS SOUPS 3156185 WITH SCORE 3162530.113
AT ITER 5665 NEW BEST:: SOT 16887657 SOS 6343151 HAS SOPS 5990950 HAS SOUS 3180788 HAS SOUPS 3156130 WITH SCORE 3162473.151
AT ITER 5693 NEW BEST:: SOT 16887729 SOS 6343223 HAS SOPS 5991022 HAS SOUS 3180376 HAS SOUPS 3155718 WITH SCORE 3162061.223
AT ITER 5707 NEW BEST:: SOT 16887797 SOS 6343291 HAS SOPS 5991090 HAS SOUS 3179811 HAS SOUPS 3155153 WITH SCORE 3161496.291
AT ITER 5715 NEW BEST:: SOT 16887797 SOS 6343289 HAS SOPS 5991088 HAS SOUS 3179326 HAS SOUPS 3154668 WITH SCORE 3161011.289
AT ITER 5725 NEW BEST:: SOT 16882390 SOS 6362059 HAS SOPS 6009882 HAS SOUS 3176873 HAS SOUPS 3152215 WITH SCORE 3158577.059
AT ITER 5738 NEW BEST:: SOT 16882374 SOS 6358379 HAS SOPS 6006202 HAS SOUS 3176841 HAS SOUPS 3152183 WITH SCORE 3158541.379
AT ITER 5748 NEW BEST:: SOT 16881717 SOS 6340894 HAS SOPS 5988717 HAS SOUS 3176087 HAS SOUPS 3151429 WITH SCORE 3157769.894
AT ITER 5767 NEW BEST:: SOT 16881706 SOS 6340787 HAS SOPS 5988696 HAS SOUS 3176066 HAS SOUPS 3151408 WITH SCORE 3157748.787
AT ITER 5782 NEW BEST:: SOT 16875726 SOS 6337069 HAS SOPS 5985598 HAS SOUS 3170291 HAS SOUPS 3145633 WITH SCORE 3151970.069
AT ITER 5796 NEW BEST:: SOT 16875710 SOS 6336815 HAS SOPS 5985344 HAS SOUS 3170259 HAS SOUPS 3145601 WITH SCORE 3151937.815
AT ITER 5808 NEW BEST:: SOT 16875916 SOS 6337021 HAS SOPS 5985550 HAS SOUS 3170172 HAS SOUPS 3145514 WITH SCORE 3151851.021
AT ITER 5822 NEW BEST:: SOT 16874971 SOS 6336076 HAS SOPS 5984605 HAS SOUS 3168679 HAS SOUPS 3144021 WITH SCORE 3150357.076
AT ITER 5827 NEW BEST:: SOT 16874955 SOS 6333204 HAS SOPS 5981733 HAS SOUS 3168647 HAS SOUPS 3143989 WITH SCORE 3150322.204
AT ITER 5829 NEW BEST:: SOT 16874939 SOS 6318711 HAS SOPS 5967240 HAS SOUS 3168615 HAS SOUPS 3143957 WITH SCORE 3150275.711
AT ITER 5876 NEW BEST:: SOT 16874939 SOS 6318710 HAS SOPS 5967239 HAS SOUS 3168615 HAS SOUPS 3143957 WITH SCORE 3150275.71
AT ITER 5901 NEW BEST:: SOT 16874676 SOS 6318180 HAS SOPS 5966709 HAS SOUS 3168352 HAS SOUPS 3143694 WITH SCORE 3150012.18
AT ITER 5909 NEW BEST:: SOT 16874661 SOS 6318165 HAS SOPS 5966694 HAS SOUS 3168337 HAS SOUPS 3143679 WITH SCORE 3149997.165
AT ITER 5910 NEW BEST:: SOT 16874344 SOS 6317547 HAS SOPS 5966076 HAS SOUS 3167703 HAS SOUPS 3143045 WITH SCORE 3149362.547
AT ITER 5921 NEW BEST:: SOT 16874161 SOS 6317239 HAS SOPS 5965860 HAS SOUS 3167482 HAS SOUPS 3142824 WITH SCORE 3149141.239
AT ITER 5945 NEW BEST:: SOT 16873290 SOS 6316264 HAS SOPS 5964885 HAS SOUS 3165740 HAS SOUPS 3141082 WITH SCORE 3147398.264
AT ITER 5948 NEW BEST:: SOT 16872702 SOS 6315660 HAS SOPS 5964281 HAS SOUS 3165136 HAS SOUPS 3140478 WITH SCORE 3146793.66
AT ITER 5959 NEW BEST:: SOT 16872784 SOS 6315742 HAS SOPS 5964363 HAS SOUS 3164668 HAS SOUPS 3140010 WITH SCORE 3146325.742
AT ITER 5982 NEW BEST:: SOT 16872451 SOS 6315740 HAS SOPS 5964361 HAS SOUS 3164319 HAS SOUPS 3139661 WITH SCORE 3145976.74
AT ITER 6007 NEW BEST:: SOT 16872522 SOS 6315811 HAS SOPS 5964432 HAS SOUS 3164080 HAS SOUPS 3139422 WITH SCORE 3145737.811
AT ITER 6009 NEW BEST:: SOT 16872506 SOS 6315795 HAS SOPS 5964416 HAS SOUS 3164059 HAS SOUPS 3139401 WITH SCORE 3145716.795
AT ITER 6031 NEW BEST:: SOT 16872506 SOS 6315528 HAS SOPS 5964149 HAS SOUS 3164059 HAS SOUPS 3139401 WITH SCORE 3145716.528
AT ITER 6078 NEW BEST:: SOT 16872506 SOS 6315121 HAS SOPS 5963742 HAS SOUS 3164059 HAS SOUPS 3139401 WITH SCORE 3145716.121
AT ITER 6142 NEW BEST:: SOT 16872490 SOS 6315105 HAS SOPS 5963726 HAS SOUS 3164027 HAS SOUPS 3139369 WITH SCORE 3145684.105
AT ITER 6190 NEW BEST:: SOT 16872413 SOS 6313874 HAS SOPS 5962495 HAS SOUS 3163933 HAS SOUPS 3139275 WITH SCORE 3145588.874
AT ITER 6211 NEW BEST:: SOT 16872413 SOS 6313728 HAS SOPS 5962349 HAS SOUS 3163787 HAS SOUPS 3139129 WITH SCORE 3145442.728
AT ITER 6253 NEW BEST:: SOT 16871595 SOS 5848096 HAS SOPS 5496717 HAS SOUS 3163033 HAS SOUPS 3138375 WITH SCORE 3144223.096
AT ITER 6255 NEW BEST:: SOT 16871595 SOS 5848096 HAS SOPS 5496717 HAS SOUS 3162834 HAS SOUPS 3138176 WITH SCORE 3144024.096
AT ITER 6259 NEW BEST:: SOT 16871483 SOS 5847968 HAS SOPS 5496589 HAS SOUS 3162706 HAS SOUPS 3138048 WITH SCORE 3143895.968
AT ITER 6262 NEW BEST:: SOT 16871483 SOS 5847968 HAS SOPS 5496589 HAS SOUS 3162447 HAS SOUPS 3137789 WITH SCORE 3143636.968
AT ITER 6269 NEW BEST:: SOT 16871187 SOS 5848076 HAS SOPS 5496697 HAS SOUS 3162259 HAS SOUPS 3137601 WITH SCORE 3143449.076
AT ITER 6272 NEW BEST:: SOT 16871343 SOS 5848232 HAS SOPS 5496853 HAS SOUS 3161914 HAS SOUPS 3137256 WITH SCORE 3143104.232
AT ITER 6288 NEW BEST:: SOT 16871569 SOS 5848141 HAS SOPS 5496762 HAS SOUS 3161860 HAS SOUPS 3137202 WITH SCORE 3143050.141
AT ITER 6289 NEW BEST:: SOT 16871645 SOS 5848217 HAS SOPS 5496838 HAS SOUS 3161479 HAS SOUPS 3136821 WITH SCORE 3142669.217
AT ITER 6295 NEW BEST:: SOT 16871497 SOS 5848195 HAS SOPS 5496816 HAS SOUS 3161331 HAS SOUPS 3136673 WITH SCORE 3142521.195
AT ITER 6341 NEW BEST:: SOT 16871497 SOS 5848195 HAS SOPS 5496816 HAS SOUS 3160772 HAS SOUPS 3136114 WITH SCORE 3141962.195
AT ITER 6343 NEW BEST:: SOT 16870928 SOS 5847631 HAS SOPS 5496252 HAS SOUS 3160203 HAS SOUPS 3135545 WITH SCORE 3141392.631
AT ITER 6357 NEW BEST:: SOT 16870928 SOS 5847631 HAS SOPS 5496252 HAS SOUS 3160061 HAS SOUPS 3135403 WITH SCORE 3141250.631
AT ITER 6382 NEW BEST:: SOT 16870412 SOS 5847228 HAS SOPS 5495849 HAS SOUS 3159658 HAS SOUPS 3135000 WITH SCORE 3140847.228
AT ITER 6385 NEW BEST:: SOT 16870412 SOS 5846664 HAS SOPS 5495285 HAS SOUS 3159094 HAS SOUPS 3134436 WITH SCORE 3140282.664
AT ITER 6391 NEW BEST:: SOT 16870124 SOS 5846376 HAS SOPS 5494709 HAS SOUS 3158803 HAS SOUPS 3133860 WITH SCORE 3139706.376
AT ITER 6415 NEW BEST:: SOT 16870108 SOS 5846360 HAS SOPS 5494693 HAS SOUS 3158771 HAS SOUPS 3133828 WITH SCORE 3139674.36
AT ITER 6423 NEW BEST:: SOT 16869929 SOS 5843574 HAS SOPS 5491728 HAS SOUS 3158413 HAS SOUPS 3133470 WITH SCORE 3139313.574
AT ITER 6431 NEW BEST:: SOT 16869753 SOS 5843656 HAS SOPS 5491810 HAS SOUS 3158319 HAS SOUPS 3133376 WITH SCORE 3139219.656
AT ITER 6435 NEW BEST:: SOT 16863202 SOS 5874933 HAS SOPS 5486707 HAS SOUS 3155399 HAS SOUPS 3129008 WITH SCORE 3134882.933
AT ITER 6440 NEW BEST:: SOT 16862965 SOS 5875547 HAS SOPS 5487321 HAS SOUS 3155354 HAS SOUPS 3128963 WITH SCORE 3134838.547
AT ITER 6467 NEW BEST:: SOT 16863086 SOS 5875668 HAS SOPS 5487442 HAS SOUS 3155080 HAS SOUPS 3128689 WITH SCORE 3134564.668
AT ITER 6475 NEW BEST:: SOT 16858077 SOS 5910356 HAS SOPS 5483898 HAS SOUS 3153710 HAS SOUPS 3125854 WITH SCORE 3131764.356
AT ITER 6476 NEW BEST:: SOT 16858077 SOS 5910407 HAS SOPS 5483949 HAS SOUS 3153247 HAS SOUPS 3125391 WITH SCORE 3131301.407
AT ITER 6479 NEW BEST:: SOT 16858061 SOS 5907287 HAS SOPS 5480829 HAS SOUS 3153215 HAS SOUPS 3125359 WITH SCORE 3131266.287
AT ITER 6485 NEW BEST:: SOT 16858049 SOS 5907251 HAS SOPS 5480793 HAS SOUS 3153179 HAS SOUPS 3125323 WITH SCORE 3131230.251
AT ITER 6490 NEW BEST:: SOT 16858000 SOS 5907202 HAS SOPS 5480744 HAS SOUS 3153130 HAS SOUPS 3125274 WITH SCORE 3131181.202
AT ITER 6516 NEW BEST:: SOT 16857512 SOS 5906470 HAS SOPS 5480012 HAS SOUS 3152398 HAS SOUPS 3124542 WITH SCORE 3130448.47
AT ITER 6527 NEW BEST:: SOT 16857431 SOS 5906389 HAS SOPS 5479931 HAS SOUS 3152236 HAS SOUPS 3124380 WITH SCORE 3130286.389
AT ITER 6592 NEW BEST:: SOT 16857582 SOS 5906540 HAS SOPS 5480082 HAS SOUS 3152097 HAS SOUPS 3124241 WITH SCORE 3130147.54
AT ITER 6638 NEW BEST:: SOT 16857582 SOS 5906540 HAS SOPS 5480082 HAS SOUS 3151934 HAS SOUPS 3124078 WITH SCORE 3129984.54
AT ITER 6647 NEW BEST:: SOT 16857434 SOS 5906556 HAS SOPS 5480098 HAS SOUS 3151802 HAS SOUPS 3123946 WITH SCORE 3129852.556
AT ITER 6663 NEW BEST:: SOT 16857046 SOS 5906568 HAS SOPS 5480110 HAS SOUS 3151426 HAS SOUPS 3123570 WITH SCORE 3129476.568
AT ITER 6669 NEW BEST:: SOT 16856858 SOS 5906568 HAS SOPS 5480110 HAS SOUS 3151238 HAS SOUPS 3123382 WITH SCORE 3129288.568
AT ITER 6689 NEW BEST:: SOT 16856441 SOS 5906325 HAS SOPS 5480206 HAS SOUS 3150404 HAS SOUPS 3122548 WITH SCORE 3128454.325
AT ITER 6728 NEW BEST:: SOT 16856235 SOS 5906119 HAS SOPS 5480000 HAS SOUS 3150342 HAS SOUPS 3122486 WITH SCORE 3128392.119
AT ITER 6749 NEW BEST:: SOT 16856151 SOS 5906043 HAS SOPS 5479840 HAS SOUS 3150174 HAS SOUPS 3122318 WITH SCORE 3128224.043
AT ITER 6752 NEW BEST:: SOT 16856160 SOS 5905666 HAS SOPS 5479463 HAS SOUS 3149265 HAS SOUPS 3121409 WITH SCORE 3127314.666
AT ITER 6756 NEW BEST:: SOT 16856160 SOS 5905249 HAS SOPS 5479046 HAS SOUS 3148337 HAS SOUPS 3120481 WITH SCORE 3126386.249
AT ITER 6770 NEW BEST:: SOT 16856160 SOS 5905143 HAS SOPS 5478940 HAS SOUS 3148125 HAS SOUPS 3120269 WITH SCORE 3126174.143
AT ITER 6793 NEW BEST:: SOT 16856316 SOS 5905299 HAS SOPS 5479096 HAS SOUS 3147724 HAS SOUPS 3119868 WITH SCORE 3125773.299
AT ITER 6845 NEW BEST:: SOT 16856316 SOS 5905299 HAS SOPS 5479096 HAS SOUS 3147412 HAS SOUPS 3119556 WITH SCORE 3125461.299
AT ITER 6886 NEW BEST:: SOT 16794551 SOS 5889018 HAS SOPS 5462815 HAS SOUS 3085979 HAS SOUPS 3058123 WITH SCORE 3064012.018
AT ITER 6892 NEW BEST:: SOT 16794551 SOS 5888458 HAS SOPS 5462255 HAS SOUS 3085419 HAS SOUPS 3057563 WITH SCORE 3063451.458
AT ITER 6907 NEW BEST:: SOT 16794745 SOS 5888652 HAS SOPS 5462449 HAS SOUS 3085231 HAS SOUPS 3057375 WITH SCORE 3063263.652
AT ITER 6938 NEW BEST:: SOT 16794561 SOS 5888652 HAS SOPS 5462449 HAS SOUS 3085047 HAS SOUPS 3057191 WITH SCORE 3063079.652
AT ITER 6952 NEW BEST:: SOT 16794425 SOS 5888516 HAS SOPS 5462313 HAS SOUS 3084801 HAS SOUPS 3056945 WITH SCORE 3062833.516
AT ITER 7012 NEW BEST:: SOT 16794409 SOS 5888500 HAS SOPS 5462297 HAS SOUS 3084769 HAS SOUPS 3056913 WITH SCORE 3062801.5
AT ITER 7017 NEW BEST:: SOT 16794393 SOS 5888204 HAS SOPS 5462001 HAS SOUS 3084737 HAS SOUPS 3056881 WITH SCORE 3062769.204
AT ITER 7069 NEW BEST:: SOT 16794393 SOS 5887976 HAS SOPS 5461773 HAS SOUS 3084709 HAS SOUPS 3056853 WITH SCORE 3062740.976
AT ITER 7070 NEW BEST:: SOT 16794550 SOS 5888133 HAS SOPS 5461930 HAS SOUS 3084348 HAS SOUPS 3056492 WITH SCORE 3062380.133
AT ITER 7093 NEW BEST:: SOT 16794255 SOS 5888187 HAS SOPS 5461984 HAS SOUS 3083741 HAS SOUPS 3055885 WITH SCORE 3061773.187
AT ITER 7096 NEW BEST:: SOT 16793885 SOS 5888211 HAS SOPS 5462008 HAS SOUS 3083395 HAS SOUPS 3055539 WITH SCORE 3061427.211
AT ITER 7099 NEW BEST:: SOT 16790133 SOS 5888763 HAS SOPS 5458256 HAS SOUS 3079926 HAS SOUPS 3051801 WITH SCORE 3057689.763
AT ITER 7103 NEW BEST:: SOT 16790117 SOS 5888747 HAS SOPS 5458240 HAS SOUS 3079894 HAS SOUPS 3051769 WITH SCORE 3057657.747
AT ITER 7126 NEW BEST:: SOT 16789539 SOS 5868186 HAS SOPS 5436341 HAS SOUS 3078738 HAS SOUPS 3050613 WITH SCORE 3056481.186
AT ITER 7133 NEW BEST:: SOT 16789444 SOS 5868059 HAS SOPS 5436232 HAS SOUS 3078514 HAS SOUPS 3050389 WITH SCORE 3056257.059
AT ITER 7136 NEW BEST:: SOT 16789428 SOS 5868043 HAS SOPS 5436216 HAS SOUS 3078495 HAS SOUPS 3050370 WITH SCORE 3056238.043
AT ITER 7140 NEW BEST:: SOT 16789222 SOS 5867837 HAS SOPS 5436010 HAS SOUS 3078486 HAS SOUPS 3050361 WITH SCORE 3056228.837
AT ITER 7148 NEW BEST:: SOT 16789222 SOS 5857938 HAS SOPS 5425448 HAS SOUS 3078486 HAS SOUPS 3050361 WITH SCORE 3056218.938
AT ITER 7158 NEW BEST:: SOT 16788862 SOS 5857578 HAS SOPS 5425088 HAS SOUS 3077859 HAS SOUPS 3049734 WITH SCORE 3055591.578
AT ITER 7166 NEW BEST:: SOT 16788862 SOS 5857578 HAS SOPS 5425088 HAS SOUS 3077684 HAS SOUPS 3049559 WITH SCORE 3055416.578
AT ITER 7191 NEW BEST:: SOT 16789179 SOS 5857895 HAS SOPS 5425405 HAS SOUS 3077524 HAS SOUPS 3049399 WITH SCORE 3055256.895
AT ITER 7213 NEW BEST:: SOT 16789403 SOS 5858119 HAS SOPS 5425629 HAS SOUS 3077342 HAS SOUPS 3049217 WITH SCORE 3055075.119
AT ITER 7216 NEW BEST:: SOT 16789761 SOS 5853593 HAS SOPS 5421103 HAS SOUS 3076908 HAS SOUPS 3048783 WITH SCORE 3054636.593
AT ITER 7261 NEW BEST:: SOT 16789536 SOS 5853566 HAS SOPS 5421076 HAS SOUS 3076257 HAS SOUPS 3048132 WITH SCORE 3053985.566
AT ITER 7267 NEW BEST:: SOT 16789663 SOS 5853693 HAS SOPS 5421203 HAS SOUS 3076184 HAS SOUPS 3048059 WITH SCORE 3053912.693
AT ITER 7277 NEW BEST:: SOT 16789180 SOS 5853658 HAS SOPS 5421168 HAS SOUS 3075701 HAS SOUPS 3047576 WITH SCORE 3053429.658
AT ITER 7287 NEW BEST:: SOT 16789380 SOS 5853858 HAS SOPS 5421368 HAS SOUS 3075676 HAS SOUPS 3047551 WITH SCORE 3053404.858
AT ITER 7319 NEW BEST:: SOT 16788811 SOS 5853289 HAS SOPS 5420799 HAS SOUS 3075448 HAS SOUPS 3047323 WITH SCORE 3053176.289
AT ITER 7351 NEW BEST:: SOT 16788811 SOS 5843932 HAS SOPS 5420748 HAS SOUS 3075151 HAS SOUPS 3047323 WITH SCORE 3053166.932
AT ITER 7354 NEW BEST:: SOT 16788866 SOS 5843987 HAS SOPS 5420803 HAS SOUS 3075021 HAS SOUPS 3047193 WITH SCORE 3053036.987
AT ITER 7386 NEW BEST:: SOT 16788862 SOS 5843855 HAS SOPS 5420780 HAS SOUS 3074998 HAS SOUPS 3047170 WITH SCORE 3053013.855
AT ITER 7393 NEW BEST:: SOT 16788740 SOS 5843127 HAS SOPS 5420052 HAS SOUS 3074836 HAS SOUPS 3047008 WITH SCORE 3052851.127
AT ITER 7399 NEW BEST:: SOT 16788327 SOS 5842714 HAS SOPS 5419639 HAS SOUS 3074010 HAS SOUPS 3046182 WITH SCORE 3052024.714
AT ITER 7405 NEW BEST:: SOT 16788327 SOS 5842714 HAS SOPS 5419639 HAS SOUS 3073954 HAS SOUPS 3046126 WITH SCORE 3051968.714
AT ITER 7411 NEW BEST:: SOT 16788232 SOS 5843411 HAS SOPS 5420336 HAS SOUS 3073594 HAS SOUPS 3045766 WITH SCORE 3051609.411
AT ITER 7468 NEW BEST:: SOT 16788232 SOS 5844066 HAS SOPS 5420991 HAS SOUS 3073586 HAS SOUPS 3045758 WITH SCORE 3051602.066
AT ITER 7501 NEW BEST:: SOT 16788217 SOS 5835441 HAS SOPS 5411792 HAS SOUS 3073524 HAS SOUPS 3045696 WITH SCORE 3051531.441
AT ITER 7506 NEW BEST:: SOT 16788217 SOS 5835441 HAS SOPS 5411792 HAS SOUS 3073508 HAS SOUPS 3045680 WITH SCORE 3051515.441
AT ITER 7517 NEW BEST:: SOT 16788114 SOS 5835338 HAS SOPS 5411689 HAS SOUS 3073302 HAS SOUPS 3045474 WITH SCORE 3051309.338
AT ITER 7527 NEW BEST:: SOT 16788279 SOS 5835503 HAS SOPS 5411854 HAS SOUS 3073203 HAS SOUPS 3045375 WITH SCORE 3051210.503
AT ITER 7535 NEW BEST:: SOT 16788492 SOS 5835716 HAS SOPS 5412067 HAS SOUS 3073169 HAS SOUPS 3045341 WITH SCORE 3051176.716
AT ITER 7555 NEW BEST:: SOT 16788181 SOS 5812220 HAS SOPS 5387024 HAS SOUS 3072547 HAS SOUPS 3044719 WITH SCORE 3050531.22
AT ITER 7564 NEW BEST:: SOT 16788181 SOS 5812220 HAS SOPS 5387024 HAS SOUS 3072290 HAS SOUPS 3044462 WITH SCORE 3050274.22
AT ITER 7575 NEW BEST:: SOT 16788030 SOS 5809653 HAS SOPS 5384306 HAS SOUS 3071988 HAS SOUPS 3044160 WITH SCORE 3049969.653
AT ITER 7577 NEW BEST:: SOT 16788173 SOS 5809796 HAS SOPS 5384449 HAS SOUS 3071573 HAS SOUPS 3043745 WITH SCORE 3049554.796
AT ITER 7589 NEW BEST:: SOT 16788376 SOS 5809999 HAS SOPS 5384652 HAS SOUS 3071198 HAS SOUPS 3043370 WITH SCORE 3049179.999
AT ITER 7605 NEW BEST:: SOT 16788376 SOS 5809995 HAS SOPS 5384648 HAS SOUS 3071197 HAS SOUPS 3043369 WITH SCORE 3049178.995
AT ITER 7610 NEW BEST:: SOT 16788376 SOS 5809675 HAS SOPS 5384328 HAS SOUS 3071197 HAS SOUPS 3043369 WITH SCORE 3049178.675
AT ITER 7627 NEW BEST:: SOT 16788333 SOS 5809632 HAS SOPS 5384285 HAS SOUS 3071111 HAS SOUPS 3043283 WITH SCORE 3049092.632
AT ITER 7686 NEW BEST:: SOT 16783175 SOS 5804846 HAS SOPS 5379499 HAS SOUS 3066325 HAS SOUPS 3038497 WITH SCORE 3044301.846
AT ITER 7700 NEW BEST:: SOT 16783175 SOS 5804830 HAS SOPS 5379483 HAS SOUS 3066309 HAS SOUPS 3038481 WITH SCORE 3044285.83
AT ITER 7707 NEW BEST:: SOT 16784196 SOS 5798870 HAS SOPS 5372765 HAS SOUS 3066245 HAS SOUPS 3038417 WITH SCORE 3044215.87
AT ITER 7721 NEW BEST:: SOT 16784157 SOS 5798831 HAS SOPS 5372726 HAS SOUS 3066190 HAS SOUPS 3038362 WITH SCORE 3044160.831
AT ITER 7792 NEW BEST:: SOT 16784157 SOS 5798831 HAS SOPS 5372726 HAS SOUS 3065551 HAS SOUPS 3037723 WITH SCORE 3043521.831
AT ITER 7798 NEW BEST:: SOT 16784061 SOS 5798719 HAS SOPS 5372614 HAS SOUS 3065439 HAS SOUPS 3037611 WITH SCORE 3043409.719
AT ITER 7810 NEW BEST:: SOT 16783695 SOS 5798461 HAS SOPS 5372356 HAS SOUS 3064815 HAS SOUPS 3036987 WITH SCORE 3042785.461
AT ITER 7818 NEW BEST:: SOT 16783316 SOS 5797905 HAS SOPS 5371800 HAS SOUS 3064742 HAS SOUPS 3036914 WITH SCORE 3042711.905
AT ITER 7832 NEW BEST:: SOT 16783028 SOS 5797222 HAS SOPS 5371117 HAS SOUS 3064713 HAS SOUPS 3036885 WITH SCORE 3042682.222
AT ITER 7836 NEW BEST:: SOT 16783119 SOS 5797313 HAS SOPS 5371208 HAS SOUS 3064540 HAS SOUPS 3036712 WITH SCORE 3042509.313
AT ITER 7838 NEW BEST:: SOT 16783015 SOS 5797642 HAS SOPS 5371537 HAS SOUS 3064436 HAS SOUPS 3036608 WITH SCORE 3042405.642
AT ITER 7847 NEW BEST:: SOT 16783015 SOS 5797514 HAS SOPS 5371409 HAS SOUS 3064308 HAS SOUPS 3036480 WITH SCORE 3042277.514
AT ITER 7849 NEW BEST:: SOT 16782943 SOS 5797442 HAS SOPS 5371337 HAS SOUS 3064164 HAS SOUPS 3036336 WITH SCORE 3042133.442
AT ITER 7858 NEW BEST:: SOT 16782943 SOS 5797365 HAS SOPS 5371260 HAS SOUS 3064164 HAS SOUPS 3036336 WITH SCORE 3042133.365
AT ITER 7862 NEW BEST:: SOT 16782943 SOS 5797365 HAS SOPS 5371260 HAS SOUS 3063705 HAS SOUPS 3035877 WITH SCORE 3041674.365
AT ITER 7880 NEW BEST:: SOT 16782895 SOS 5797317 HAS SOPS 5371212 HAS SOUS 3063657 HAS SOUPS 3035829 WITH SCORE 3041626.317
AT ITER 7898 NEW BEST:: SOT 16782774 SOS 5797762 HAS SOPS 5371528 HAS SOUS 3063599 HAS SOUPS 3035651 WITH SCORE 3041448.762
AT ITER 7899 NEW BEST:: SOT 16782844 SOS 5798175 HAS SOPS 5371941 HAS SOUS 3063258 HAS SOUPS 3035310 WITH SCORE 3041108.175
AT ITER 7951 NEW BEST:: SOT 16782844 SOS 5798175 HAS SOPS 5371941 HAS SOUS 3063257 HAS SOUPS 3035309 WITH SCORE 3041107.175
AT ITER 7982 NEW BEST:: SOT 16782745 SOS 5798076 HAS SOPS 5371743 HAS SOUS 3063059 HAS SOUPS 3035111 WITH SCORE 3040909.076
AT ITER 7983 NEW BEST:: SOT 16783025 SOS 5798356 HAS SOPS 5372023 HAS SOUS 3062828 HAS SOUPS 3034880 WITH SCORE 3040678.356
AT ITER 7995 NEW BEST:: SOT 16782775 SOS 5798090 HAS SOPS 5371757 HAS SOUS 3062562 HAS SOUPS 3034614 WITH SCORE 3040412.09
AT ITER 7999 NEW BEST:: SOT 16782775 SOS 5798090 HAS SOPS 5371757 HAS SOUS 3062025 HAS SOUPS 3034077 WITH SCORE 3039875.09
AT ITER 8011 NEW BEST:: SOT 16782759 SOS 5797702 HAS SOPS 5371369 HAS SOUS 3061993 HAS SOUPS 3034045 WITH SCORE 3039842.702
AT ITER 8019 NEW BEST:: SOT 16782364 SOS 5798162 HAS SOPS 5371829 HAS SOUS 3061821 HAS SOUPS 3033873 WITH SCORE 3039671.162
AT ITER 8031 NEW BEST:: SOT 16782364 SOS 5797987 HAS SOPS 5371654 HAS SOUS 3061821 HAS SOUPS 3033873 WITH SCORE 3039670.987
AT ITER 8059 NEW BEST:: SOT 16782613 SOS 5798236 HAS SOPS 5371903 HAS SOUS 3061587 HAS SOUPS 3033639 WITH SCORE 3039437.236
AT ITER 8075 NEW BEST:: SOT 16782613 SOS 5798220 HAS SOPS 5371887 HAS SOUS 3061571 HAS SOUPS 3033623 WITH SCORE 3039421.22
AT ITER 8076 NEW BEST:: SOT 16782107 SOS 5798008 HAS SOPS 5371675 HAS SOUS 3061373 HAS SOUPS 3033425 WITH SCORE 3039223.008
AT ITER 8109 NEW BEST:: SOT 16781900 SOS 5797815 HAS SOPS 5371275 HAS SOUS 3060959 HAS SOUPS 3033011 WITH SCORE 3038808.815
AT ITER 8146 NEW BEST:: SOT 16781900 SOS 5797815 HAS SOPS 5371275 HAS SOUS 3060396 HAS SOUPS 3032448 WITH SCORE 3038245.815
AT ITER 8160 NEW BEST:: SOT 16781900 SOS 5797815 HAS SOPS 5371275 HAS SOUS 3059811 HAS SOUPS 3031863 WITH SCORE 3037660.815
AT ITER 8167 NEW BEST:: SOT 16781928 SOS 5797843 HAS SOPS 5371303 HAS SOUS 3059336 HAS SOUPS 3031388 WITH SCORE 3037185.843
AT ITER 8174 NEW BEST:: SOT 16781526 SOS 5797018 HAS SOPS 5370478 HAS SOUS 3058928 HAS SOUPS 3030980 WITH SCORE 3036777.018
AT ITER 8196 NEW BEST:: SOT 16781168 SOS 5796660 HAS SOPS 5370120 HAS SOUS 3058682 HAS SOUPS 3030734 WITH SCORE 3036530.66
AT ITER 8211 NEW BEST:: SOT 16780154 SOS 5795987 HAS SOPS 5369447 HAS SOUS 3057775 HAS SOUPS 3029827 WITH SCORE 3035622.987
AT ITER 8239 NEW BEST:: SOT 16779717 SOS 5795550 HAS SOPS 5369010 HAS SOUS 3057742 HAS SOUPS 3029794 WITH SCORE 3035589.55
AT ITER 8243 NEW BEST:: SOT 16779659 SOS 5795492 HAS SOPS 5368952 HAS SOUS 3057684 HAS SOUPS 3029736 WITH SCORE 3035531.492
AT ITER 8247 NEW BEST:: SOT 16779659 SOS 5795492 HAS SOPS 5368952 HAS SOUS 3057680 HAS SOUPS 3029732 WITH SCORE 3035527.492
AT ITER 8269 NEW BEST:: SOT 16779790 SOS 5795623 HAS SOPS 5369083 HAS SOUS 3057486 HAS SOUPS 3029538 WITH SCORE 3035333.623
AT ITER 8279 NEW BEST:: SOT 16779700 SOS 5795408 HAS SOPS 5368868 HAS SOUS 3057395 HAS SOUPS 3029447 WITH SCORE 3035242.408
AT ITER 8326 NEW BEST:: SOT 16779680 SOS 5795388 HAS SOPS 5368848 HAS SOUS 3057375 HAS SOUPS 3029427 WITH SCORE 3035222.388
AT ITER 8330 NEW BEST:: SOT 16779424 SOS 5795132 HAS SOPS 5368592 HAS SOUS 3057335 HAS SOUPS 3029387 WITH SCORE 3035182.132
AT ITER 8339 NEW BEST:: SOT 16778952 SOS 5794888 HAS SOPS 5368348 HAS SOUS 3057134 HAS SOUPS 3029186 WITH SCORE 3034980.888
AT ITER 8385 NEW BEST:: SOT 16778936 SOS 5794699 HAS SOPS 5368159 HAS SOUS 3057102 HAS SOUPS 3029154 WITH SCORE 3034948.699
AT ITER 8395 NEW BEST:: SOT 16777782 SOS 5793545 HAS SOPS 5367086 HAS SOUS 3056029 HAS SOUPS 3028081 WITH SCORE 3033874.545
AT ITER 8422 NEW BEST:: SOT 16777782 SOS 5793529 HAS SOPS 5367070 HAS SOUS 3056013 HAS SOUPS 3028065 WITH SCORE 3033858.529
AT ITER 8423 NEW BEST:: SOT 16777782 SOS 5793358 HAS SOPS 5366899 HAS SOUS 3055625 HAS SOUPS 3027677 WITH SCORE 3033470.358
AT ITER 8458 NEW BEST:: SOT 16777651 SOS 5793227 HAS SOPS 5366768 HAS SOUS 3055609 HAS SOUPS 3027661 WITH SCORE 3033454.227
AT ITER 8470 NEW BEST:: SOT 16777651 SOS 5793227 HAS SOPS 5366768 HAS SOUS 3055461 HAS SOUPS 3027513 WITH SCORE 3033306.227
AT ITER 8471 NEW BEST:: SOT 16777613 SOS 5792935 HAS SOPS 5366476 HAS SOUS 3054783 HAS SOUPS 3026835 WITH SCORE 3032627.935
AT ITER 8480 NEW BEST:: SOT 16777028 SOS 5792935 HAS SOPS 5366476 HAS SOUS 3054198 HAS SOUPS 3026250 WITH SCORE 3032042.935
AT ITER 8551 NEW BEST:: SOT 16776878 SOS 5792833 HAS SOPS 5366374 HAS SOUS 3054048 HAS SOUPS 3026100 WITH SCORE 3031892.833
AT ITER 8563 NEW BEST:: SOT 16776862 SOS 5792814 HAS SOPS 5366355 HAS SOUS 3053940 HAS SOUPS 3025992 WITH SCORE 3031784.814
AT ITER 8572 NEW BEST:: SOT 16776862 SOS 5792556 HAS SOPS 5366097 HAS SOUS 3053682 HAS SOUPS 3025734 WITH SCORE 3031526.556
AT ITER 8573 NEW BEST:: SOT 16776641 SOS 5792840 HAS SOPS 5366381 HAS SOUS 3053461 HAS SOUPS 3025513 WITH SCORE 3031305.84
AT ITER 8583 NEW BEST:: SOT 16776652 SOS 5792851 HAS SOPS 5366392 HAS SOUS 3053449 HAS SOUPS 3025501 WITH SCORE 3031293.851
AT ITER 8587 NEW BEST:: SOT 16776627 SOS 5792786 HAS SOPS 5366327 HAS SOUS 3053408 HAS SOUPS 3025460 WITH SCORE 3031252.786
AT ITER 8593 NEW BEST:: SOT 16776335 SOS 5792123 HAS SOPS 5365664 HAS SOUS 3053116 HAS SOUPS 3025168 WITH SCORE 3030960.123
AT ITER 8605 NEW BEST:: SOT 16776367 SOS 5792155 HAS SOPS 5365696 HAS SOUS 3052522 HAS SOUPS 3024574 WITH SCORE 3030366.155
AT ITER 8636 NEW BEST:: SOT 16775985 SOS 5783965 HAS SOPS 5357018 HAS SOUS 3051636 HAS SOUPS 3023688 WITH SCORE 3029471.965
AT ITER 8650 NEW BEST:: SOT 16775890 SOS 5783870 HAS SOPS 5356923 HAS SOUS 3051539 HAS SOUPS 3023591 WITH SCORE 3029374.87
AT ITER 8675 NEW BEST:: SOT 16775890 SOS 5783876 HAS SOPS 5356929 HAS SOUS 3051109 HAS SOUPS 3023161 WITH SCORE 3028944.876
AT ITER 8686 NEW BEST:: SOT 16773514 SOS 5808349 HAS SOPS 5381433 HAS SOUS 3049965 HAS SOUPS 3022017 WITH SCORE 3027825.349
AT ITER 8691 NEW BEST:: SOT 16773514 SOS 5808063 HAS SOPS 5381147 HAS SOUS 3049965 HAS SOUPS 3022017 WITH SCORE 3027825.063
AT ITER 8714 NEW BEST:: SOT 16773514 SOS 5807884 HAS SOPS 5380968 HAS SOUS 3049607 HAS SOUPS 3021659 WITH SCORE 3027466.884
AT ITER 8717 NEW BEST:: SOT 16773514 SOS 5807508 HAS SOPS 5380592 HAS SOUS 3049607 HAS SOUPS 3021659 WITH SCORE 3027466.508
AT ITER 8737 NEW BEST:: SOT 16773037 SOS 5807504 HAS SOPS 5380588 HAS SOUS 3049114 HAS SOUPS 3021166 WITH SCORE 3026973.504
AT ITER 8739 NEW BEST:: SOT 16772961 SOS 5807504 HAS SOPS 5380588 HAS SOUS 3049038 HAS SOUPS 3021090 WITH SCORE 3026897.504
AT ITER 8743 NEW BEST:: SOT 16772984 SOS 5807323 HAS SOPS 5380407 HAS SOUS 3048838 HAS SOUPS 3020890 WITH SCORE 3026697.323
AT ITER 8745 NEW BEST:: SOT 16772640 SOS 5806979 HAS SOPS 5380063 HAS SOUS 3048708 HAS SOUPS 3020760 WITH SCORE 3026566.979
AT ITER 8773 NEW BEST:: SOT 16772589 SOS 5806163 HAS SOPS 5379196 HAS SOUS 3048606 HAS SOUPS 3020658 WITH SCORE 3026464.163
AT ITER 8777 NEW BEST:: SOT 16772589 SOS 5805775 HAS SOPS 5378808 HAS SOUS 3048218 HAS SOUPS 3020270 WITH SCORE 3026075.775
AT ITER 8779 NEW BEST:: SOT 16771904 SOS 5805077 HAS SOPS 5378110 HAS SOUS 3047554 HAS SOUPS 3019606 WITH SCORE 3025411.077
AT ITER 8781 NEW BEST:: SOT 16771821 SOS 5804994 HAS SOPS 5378027 HAS SOUS 3047471 HAS SOUPS 3019523 WITH SCORE 3025327.994
AT ITER 8813 NEW BEST:: SOT 16771821 SOS 5787206 HAS SOPS 5377903 HAS SOUS 3046919 HAS SOUPS 3019523 WITH SCORE 3025310.206
AT ITER 8861 NEW BEST:: SOT 16771322 SOS 5786661 HAS SOPS 5377358 HAS SOUS 3045920 HAS SOUPS 3018524 WITH SCORE 3024310.661
AT ITER 8902 NEW BEST:: SOT 16771487 SOS 5786826 HAS SOPS 5377523 HAS SOUS 3045830 HAS SOUPS 3018434 WITH SCORE 3024220.826
AT ITER 8908 NEW BEST:: SOT 16771228 SOS 5786567 HAS SOPS 5377264 HAS SOUS 3045654 HAS SOUPS 3018258 WITH SCORE 3024044.567
AT ITER 8919 NEW BEST:: SOT 16771292 SOS 5786631 HAS SOPS 5377328 HAS SOUS 3045328 HAS SOUPS 3017932 WITH SCORE 3023718.631
AT ITER 8946 NEW BEST:: SOT 16771123 SOS 5786446 HAS SOPS 5377143 HAS SOUS 3045143 HAS SOUPS 3017747 WITH SCORE 3023533.446
AT ITER 8960 NEW BEST:: SOT 16770824 SOS 5786162 HAS SOPS 5376859 HAS SOUS 3044202 HAS SOUPS 3016806 WITH SCORE 3022592.162
AT ITER 8986 NEW BEST:: SOT 16770694 SOS 5780591 HAS SOPS 5371288 HAS SOUS 3043813 HAS SOUPS 3016417 WITH SCORE 3022197.591
AT ITER 9007 NEW BEST:: SOT 16769991 SOS 5780591 HAS SOPS 5371288 HAS SOUS 3043271 HAS SOUPS 3015875 WITH SCORE 3021655.591
AT ITER 9016 NEW BEST:: SOT 16770186 SOS 5780786 HAS SOPS 5371483 HAS SOUS 3043142 HAS SOUPS 3015746 WITH SCORE 3021526.786
AT ITER 9044 NEW BEST:: SOT 16769883 SOS 5780900 HAS SOPS 5371597 HAS SOUS 3042839 HAS SOUPS 3015443 WITH SCORE 3021223.9
AT ITER 9057 NEW BEST:: SOT 16769343 SOS 5781145 HAS SOPS 5371842 HAS SOUS 3042544 HAS SOUPS 3015148 WITH SCORE 3020929.145
AT ITER 9068 NEW BEST:: SOT 16769343 SOS 5780932 HAS SOPS 5371629 HAS SOUS 3042544 HAS SOUPS 3015148 WITH SCORE 3020928.932
AT ITER 9085 NEW BEST:: SOT 16769090 SOS 5780422 HAS SOPS 5371119 HAS SOUS 3042291 HAS SOUPS 3014895 WITH SCORE 3020675.422
AT ITER 9106 NEW BEST:: SOT 16769074 SOS 5780406 HAS SOPS 5371103 HAS SOUS 3042259 HAS SOUPS 3014863 WITH SCORE 3020643.406
AT ITER 9129 NEW BEST:: SOT 16769221 SOS 5780553 HAS SOPS 5371250 HAS SOUS 3041931 HAS SOUPS 3014535 WITH SCORE 3020315.553
AT ITER 9134 NEW BEST:: SOT 16769571 SOS 5780588 HAS SOPS 5371285 HAS SOUS 3041736 HAS SOUPS 3014340 WITH SCORE 3020120.588
AT ITER 9135 NEW BEST:: SOT 16769571 SOS 5780469 HAS SOPS 5371166 HAS SOUS 3041736 HAS SOUPS 3014340 WITH SCORE 3020120.469
AT ITER 9170 NEW BEST:: SOT 16769571 SOS 5780469 HAS SOPS 5371166 HAS SOUS 3041656 HAS SOUPS 3014260 WITH SCORE 3020040.469
AT ITER 9175 NEW BEST:: SOT 16769583 SOS 5780433 HAS SOPS 5371168 HAS SOUS 3041626 HAS SOUPS 3014230 WITH SCORE 3020010.433
AT ITER 9182 NEW BEST:: SOT 16769552 SOS 5780402 HAS SOPS 5371137 HAS SOUS 3041595 HAS SOUPS 3014199 WITH SCORE 3019979.402
AT ITER 9183 NEW BEST:: SOT 16769536 SOS 5780393 HAS SOPS 5371128 HAS SOUS 3041435 HAS SOUPS 3014039 WITH SCORE 3019819.393
AT ITER 9201 NEW BEST:: SOT 16769429 SOS 5780254 HAS SOPS 5370995 HAS SOUS 3041199 HAS SOUPS 3013803 WITH SCORE 3019583.254
AT ITER 9230 NEW BEST:: SOT 16760767 SOS 5771580 HAS SOPS 5362321 HAS SOUS 3032521 HAS SOUPS 3005125 WITH SCORE 3010896.58
AT ITER 9235 NEW BEST:: SOT 16760753 SOS 5771662 HAS SOPS 5362403 HAS SOUS 3032507 HAS SOUPS 3005111 WITH SCORE 3010882.662
AT ITER 9279 NEW BEST:: SOT 16760753 SOS 5771662 HAS SOPS 5362403 HAS SOUS 3032375 HAS SOUPS 3004979 WITH SCORE 3010750.662
AT ITER 9320 NEW BEST:: SOT 16760753 SOS 5771662 HAS SOPS 5362403 HAS SOUS 3032070 HAS SOUPS 3004674 WITH SCORE 3010445.662
AT ITER 9327 NEW BEST:: SOT 16759871 SOS 5770780 HAS SOPS 5361521 HAS SOUS 3030995 HAS SOUPS 3003599 WITH SCORE 3009369.78
AT ITER 9328 NEW BEST:: SOT 16756210 SOS 5769762 HAS SOPS 5360503 HAS SOUS 3027318 HAS SOUPS 2999922 WITH SCORE 3005691.762
AT ITER 9337 NEW BEST:: SOT 16756101 SOS 5717749 HAS SOPS 5361161 HAS SOUS 3025307 HAS SOUPS 2999560 WITH SCORE 3005277.749
AT ITER 9349 NEW BEST:: SOT 16756101 SOS 5717749 HAS SOPS 5361055 HAS SOUS 3025201 HAS SOUPS 2999454 WITH SCORE 3005171.749
AT ITER 9355 NEW BEST:: SOT 16756101 SOS 5717649 HAS SOPS 5360955 HAS SOUS 3025101 HAS SOUPS 2999354 WITH SCORE 3005071.649
AT ITER 9386 NEW BEST:: SOT 16755840 SOS 5717727 HAS SOPS 5361033 HAS SOUS 3024918 HAS SOUPS 2999171 WITH SCORE 3004888.727
AT ITER 9393 NEW BEST:: SOT 16755613 SOS 5717951 HAS SOPS 5361257 HAS SOUS 3024675 HAS SOUPS 2998928 WITH SCORE 3004645.951
AT ITER 9397 NEW BEST:: SOT 16755248 SOS 5717474 HAS SOPS 5360878 HAS SOUS 3024296 HAS SOUPS 2998549 WITH SCORE 3004266.474
AT ITER 9410 NEW BEST:: SOT 16755232 SOS 5717432 HAS SOPS 5360836 HAS SOUS 3024290 HAS SOUPS 2998543 WITH SCORE 3004260.432
AT ITER 9433 NEW BEST:: SOT 16755057 SOS 5717042 HAS SOPS 5360446 HAS SOUS 3023068 HAS SOUPS 2997321 WITH SCORE 3003038.042
AT ITER 9439 NEW BEST:: SOT 16754691 SOS 5716712 HAS SOPS 5360116 HAS SOUS 3022723 HAS SOUPS 2996976 WITH SCORE 3002692.712
AT ITER 9449 NEW BEST:: SOT 16754197 SOS 5716218 HAS SOPS 5359622 HAS SOUS 3021735 HAS SOUPS 2995988 WITH SCORE 3001704.218
AT ITER 9452 NEW BEST:: SOT 16754197 SOS 5716210 HAS SOPS 5359614 HAS SOUS 3021735 HAS SOUPS 2995988 WITH SCORE 3001704.21
AT ITER 9457 NEW BEST:: SOT 16752139 SOS 5716504 HAS SOPS 5357556 HAS SOUS 3019712 HAS SOUPS 2993818 WITH SCORE 2999534.504
AT ITER 9505 NEW BEST:: SOT 16752123 SOS 5716422 HAS SOPS 5357474 HAS SOUS 3019680 HAS SOUPS 2993786 WITH SCORE 2999502.422
AT ITER 9506 NEW BEST:: SOT 16752123 SOS 5716290 HAS SOPS 5357342 HAS SOUS 3019680 HAS SOUPS 2993786 WITH SCORE 2999502.29
AT ITER 9522 NEW BEST:: SOT 16752123 SOS 5716239 HAS SOPS 5357291 HAS SOUS 3019680 HAS SOUPS 2993786 WITH SCORE 2999502.239
AT ITER 9524 NEW BEST:: SOT 16752123 SOS 5716239 HAS SOPS 5357291 HAS SOUS 3019207 HAS SOUPS 2993313 WITH SCORE 2999029.239
AT ITER 9530 NEW BEST:: SOT 16752197 SOS 5716313 HAS SOPS 5357365 HAS SOUS 3019147 HAS SOUPS 2993253 WITH SCORE 2998969.313
AT ITER 9550 NEW BEST:: SOT 16752197 SOS 5716313 HAS SOPS 5357365 HAS SOUS 3018847 HAS SOUPS 2992953 WITH SCORE 2998669.313
AT ITER 9569 NEW BEST:: SOT 16751920 SOS 5716556 HAS SOPS 5357608 HAS SOUS 3018813 HAS SOUPS 2992919 WITH SCORE 2998635.556
AT ITER 9607 NEW BEST:: SOT 16751920 SOS 5716169 HAS SOPS 5357221 HAS SOUS 3018426 HAS SOUPS 2992532 WITH SCORE 2998248.169
AT ITER 9614 NEW BEST:: SOT 16746701 SOS 5719953 HAS SOPS 5352002 HAS SOUS 3016039 HAS SOUPS 2989590 WITH SCORE 2995309.953
AT ITER 9634 NEW BEST:: SOT 16746673 SOS 5719925 HAS SOPS 5351974 HAS SOUS 3015983 HAS SOUPS 2989534 WITH SCORE 2995253.925
AT ITER 9686 NEW BEST:: SOT 16746673 SOS 5719307 HAS SOPS 5351356 HAS SOUS 3015679 HAS SOUPS 2989230 WITH SCORE 2994949.307
AT ITER 9687 NEW BEST:: SOT 16746605 SOS 5719307 HAS SOPS 5351356 HAS SOUS 3015611 HAS SOUPS 2989162 WITH SCORE 2994881.307
AT ITER 9708 NEW BEST:: SOT 16746573 SOS 5719142 HAS SOPS 5351191 HAS SOUS 3015547 HAS SOUPS 2989098 WITH SCORE 2994817.142
AT ITER 9711 NEW BEST:: SOT 16746429 SOS 5718854 HAS SOPS 5350903 HAS SOUS 3015259 HAS SOUPS 2988810 WITH SCORE 2994528.854
AT ITER 9721 NEW BEST:: SOT 16746429 SOS 5718833 HAS SOPS 5350882 HAS SOUS 3015259 HAS SOUPS 2988810 WITH SCORE 2994528.833
AT ITER 9725 NEW BEST:: SOT 16745760 SOS 5718164 HAS SOPS 5350213 HAS SOUS 3014590 HAS SOUPS 2988141 WITH SCORE 2993859.164
AT ITER 9730 NEW BEST:: SOT 16745310 SOS 5717714 HAS SOPS 5349763 HAS SOUS 3014289 HAS SOUPS 2987840 WITH SCORE 2993557.714
AT ITER 9743 NEW BEST:: SOT 16745310 SOS 5717698 HAS SOPS 5349747 HAS SOUS 3014273 HAS SOUPS 2987824 WITH SCORE 2993541.698
AT ITER 9767 NEW BEST:: SOT 16745169 SOS 5712610 HAS SOPS 5344659 HAS SOUS 3013841 HAS SOUPS 2987392 WITH SCORE 2993104.61
AT ITER 9779 NEW BEST:: SOT 16744399 SOS 5711071 HAS SOPS 5343120 HAS SOUS 3012302 HAS SOUPS 2985853 WITH SCORE 2991564.071
AT ITER 9789 NEW BEST:: SOT 16744399 SOS 5711055 HAS SOPS 5343104 HAS SOUS 3012286 HAS SOUPS 2985837 WITH SCORE 2991548.055
AT ITER 9790 NEW BEST:: SOT 16744399 SOS 5711495 HAS SOPS 5343544 HAS SOUS 3012225 HAS SOUPS 2985776 WITH SCORE 2991487.495
AT ITER 9820 NEW BEST:: SOT 16744399 SOS 5711269 HAS SOPS 5343318 HAS SOUS 3012225 HAS SOUPS 2985776 WITH SCORE 2991487.269
AT ITER 9821 NEW BEST:: SOT 16744779 SOS 5711649 HAS SOPS 5343698 HAS SOUS 3012219 HAS SOUPS 2985770 WITH SCORE 2991481.649
AT ITER 9869 NEW BEST:: SOT 16745069 SOS 5711939 HAS SOPS 5343988 HAS SOUS 3012190 HAS SOUPS 2985741 WITH SCORE 2991452.939
AT ITER 9878 NEW BEST:: SOT 16745025 SOS 5712272 HAS SOPS 5344321 HAS SOUS 3012102 HAS SOUPS 2985653 WITH SCORE 2991365.272
AT ITER 9879 NEW BEST:: SOT 16745025 SOS 5711992 HAS SOPS 5344041 HAS SOUS 3012102 HAS SOUPS 2985653 WITH SCORE 2991364.992
AT ITER 9889 NEW BEST:: SOT 16745197 SOS 5712019 HAS SOPS 5344068 HAS SOUS 3011878 HAS SOUPS 2985429 WITH SCORE 2991141.019
AT ITER 9905 NEW BEST:: SOT 16738365 SOS 5712012 HAS SOPS 5345083 HAS SOUS 3006070 HAS SOUPS 2979621 WITH SCORE 2985333.012
AT ITER 9939 NEW BEST:: SOT 16738349 SOS 5712158 HAS SOPS 5345229 HAS SOUS 3006038 HAS SOUPS 2979589 WITH SCORE 2985301.158
AT ITER 9966 NEW BEST:: SOT 16738379 SOS 5712188 HAS SOPS 5345259 HAS SOUS 3005823 HAS SOUPS 2979374 WITH SCORE 2985086.188
AT ITER 9969 NEW BEST:: SOT 16738349 SOS 5712158 HAS SOPS 5345229 HAS SOUS 3005763 HAS SOUPS 2979314 WITH SCORE 2985026.158
AT ITER 9981 NEW BEST:: SOT 16737947 SOS 5712158 HAS SOPS 5345229 HAS SOUS 3005361 HAS SOUPS 2978912 WITH SCORE 2984624.158
AT ITER 9985 NEW BEST:: SOT 16738098 SOS 5712309 HAS SOPS 5345380 HAS SOUS 3005324 HAS SOUPS 2978875 WITH SCORE 2984587.309
AT ITER 9988 NEW BEST:: SOT 16738144 SOS 5712355 HAS SOPS 5345426 HAS SOUS 3005251 HAS SOUPS 2978802 WITH SCORE 2984514.355
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12747372 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16147020 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="LeafsetExtension-PT-S32C2"
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 LeafsetExtension-PT-S32C2, 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 r227-tall-167856410500504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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