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.r299-tall-167873953600904.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is QuasiCertifProtocol-PT-28, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953600904
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.8M
-rw-r--r-- 1 mcc users 80K Feb 26 01:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 452K Feb 26 01:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 26 01:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 124K Feb 26 01:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 46K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 182K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 106K Feb 26 01:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 644K Feb 26 01:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 35K Feb 26 01:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 218K Feb 26 01:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 9.4K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 749K 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 1679564365894

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=QuasiCertifProtocol-PT-28
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 09:39:27] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 09:39:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 09:39:27] [INFO ] Load time of PNML (sax parser for PT used): 105 ms
[2023-03-23 09:39:27] [INFO ] Transformed 2998 places.
[2023-03-23 09:39:27] [INFO ] Transformed 446 transitions.
[2023-03-23 09:39:27] [INFO ] Parsed PT model containing 2998 places and 446 transitions and 6489 arcs in 175 ms.
[2023-03-23 09:39:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2998 places, 446 transitions and 6489 arcs took 22 ms.
Total runtime 224 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (PT), instance 28
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 2998 places, 446 transitions, 6489 arcs.
AT ITER 0 NEW BEST:: SOT 821157 SOS 678314 HAS SOPS 678314 HAS SOUS 564551 HAS SOUPS 564551 WITH SCORE 565229.314
AT ITER 70 NEW BEST:: SOT 821157 SOS 678040 HAS SOPS 678040 HAS SOUS 563356 HAS SOUPS 563356 WITH SCORE 564034.04
AT ITER 85 NEW BEST:: SOT 821157 SOS 678039 HAS SOPS 678039 HAS SOUS 563355 HAS SOUPS 563355 WITH SCORE 564033.039
AT ITER 95 NEW BEST:: SOT 821157 SOS 677885 HAS SOPS 677885 HAS SOUS 562102 HAS SOUPS 562102 WITH SCORE 562779.885
AT ITER 110 NEW BEST:: SOT 821157 SOS 677640 HAS SOPS 677640 HAS SOUS 560432 HAS SOUPS 560432 WITH SCORE 561109.64
AT ITER 121 NEW BEST:: SOT 821140 SOS 677627 HAS SOPS 677627 HAS SOUS 560419 HAS SOUPS 560419 WITH SCORE 561096.627
AT ITER 140 NEW BEST:: SOT 821140 SOS 676689 HAS SOPS 676689 HAS SOUS 559950 HAS SOUPS 559950 WITH SCORE 560626.689
AT ITER 192 NEW BEST:: SOT 821140 SOS 674579 HAS SOPS 674579 HAS SOUS 558895 HAS SOUPS 558895 WITH SCORE 559569.579
AT ITER 201 NEW BEST:: SOT 821160 SOS 674572 HAS SOPS 674572 HAS SOUS 558888 HAS SOUPS 558888 WITH SCORE 559562.572
AT ITER 203 NEW BEST:: SOT 822600 SOS 675999 HAS SOPS 675999 HAS SOUS 558768 HAS SOUPS 558768 WITH SCORE 559443.999
AT ITER 207 NEW BEST:: SOT 823376 SOS 676775 HAS SOPS 676775 HAS SOUS 558646 HAS SOUPS 558646 WITH SCORE 559322.775
AT ITER 220 NEW BEST:: SOT 823839 SOS 674334 HAS SOPS 674334 HAS SOUS 557657 HAS SOUPS 557657 WITH SCORE 558331.334
AT ITER 255 NEW BEST:: SOT 823839 SOS 673880 HAS SOPS 673880 HAS SOUS 557430 HAS SOUPS 557430 WITH SCORE 558103.88
AT ITER 269 NEW BEST:: SOT 823839 SOS 673846 HAS SOPS 673846 HAS SOUS 556639 HAS SOUPS 556639 WITH SCORE 557312.846
AT ITER 280 NEW BEST:: SOT 823839 SOS 673591 HAS SOPS 673591 HAS SOUS 555580 HAS SOUPS 555580 WITH SCORE 556253.591
AT ITER 290 NEW BEST:: SOT 823839 SOS 673213 HAS SOPS 673213 HAS SOUS 555202 HAS SOUPS 555202 WITH SCORE 555875.213
AT ITER 300 NEW BEST:: SOT 823859 SOS 673210 HAS SOPS 673210 HAS SOUS 555199 HAS SOUPS 555199 WITH SCORE 555872.21
AT ITER 311 NEW BEST:: SOT 823859 SOS 673139 HAS SOPS 673139 HAS SOUS 555128 HAS SOUPS 555128 WITH SCORE 555801.139
AT ITER 351 NEW BEST:: SOT 823859 SOS 673125 HAS SOPS 673125 HAS SOUS 555114 HAS SOUPS 555114 WITH SCORE 555787.125
AT ITER 381 NEW BEST:: SOT 823960 SOS 673125 HAS SOPS 673125 HAS SOUS 555013 HAS SOUPS 555013 WITH SCORE 555686.125
AT ITER 411 NEW BEST:: SOT 823960 SOS 672981 HAS SOPS 672981 HAS SOUS 553600 HAS SOUPS 553600 WITH SCORE 554272.981
AT ITER 429 NEW BEST:: SOT 825508 SOS 674511 HAS SOPS 674511 HAS SOUS 553460 HAS SOUPS 553460 WITH SCORE 554134.511
AT ITER 450 NEW BEST:: SOT 825508 SOS 674358 HAS SOPS 674358 HAS SOUS 551583 HAS SOUPS 551583 WITH SCORE 552257.358
AT ITER 459 NEW BEST:: SOT 825955 SOS 674358 HAS SOPS 674358 HAS SOUS 551136 HAS SOUPS 551136 WITH SCORE 551810.358
AT ITER 461 NEW BEST:: SOT 825954 SOS 674357 HAS SOPS 674357 HAS SOUS 551135 HAS SOUPS 551135 WITH SCORE 551809.357
AT ITER 547 NEW BEST:: SOT 825954 SOS 670997 HAS SOPS 670997 HAS SOUS 549455 HAS SOUPS 549455 WITH SCORE 550125.997
AT ITER 551 NEW BEST:: SOT 825954 SOS 670937 HAS SOPS 670937 HAS SOUS 549395 HAS SOUPS 549395 WITH SCORE 550065.937
AT ITER 575 NEW BEST:: SOT 825954 SOS 668515 HAS SOPS 668515 HAS SOUS 548184 HAS SOUPS 548184 WITH SCORE 548852.515
AT ITER 577 NEW BEST:: SOT 825954 SOS 668515 HAS SOPS 668515 HAS SOUS 548150 HAS SOUPS 548150 WITH SCORE 548818.515
AT ITER 579 NEW BEST:: SOT 825954 SOS 668429 HAS SOPS 668429 HAS SOUS 546770 HAS SOUPS 546770 WITH SCORE 547438.429
AT ITER 615 NEW BEST:: SOT 826492 SOS 668429 HAS SOPS 668429 HAS SOUS 546232 HAS SOUPS 546232 WITH SCORE 546900.429
AT ITER 627 NEW BEST:: SOT 826492 SOS 667296 HAS SOPS 667296 HAS SOUS 545692 HAS SOUPS 545692 WITH SCORE 546359.296
AT ITER 634 NEW BEST:: SOT 826491 SOS 667295 HAS SOPS 667295 HAS SOUS 545691 HAS SOUPS 545691 WITH SCORE 546358.295
AT ITER 635 NEW BEST:: SOT 826491 SOS 666401 HAS SOPS 666401 HAS SOUS 545288 HAS SOUPS 545288 WITH SCORE 545954.401
AT ITER 636 NEW BEST:: SOT 826491 SOS 666384 HAS SOPS 666384 HAS SOUS 544462 HAS SOUPS 544462 WITH SCORE 545128.384
AT ITER 670 NEW BEST:: SOT 826490 SOS 666383 HAS SOPS 666383 HAS SOUS 544461 HAS SOUPS 544461 WITH SCORE 545127.383
AT ITER 673 NEW BEST:: SOT 826470 SOS 666363 HAS SOPS 666363 HAS SOUS 544441 HAS SOUPS 544441 WITH SCORE 545107.363
AT ITER 693 NEW BEST:: SOT 826470 SOS 667501 HAS SOPS 667501 HAS SOUS 544263 HAS SOUPS 544263 WITH SCORE 544930.501
AT ITER 698 NEW BEST:: SOT 826226 SOS 667257 HAS SOPS 667257 HAS SOUS 544263 HAS SOUPS 544263 WITH SCORE 544930.257
AT ITER 700 NEW BEST:: SOT 826226 SOS 666391 HAS SOPS 666391 HAS SOUS 543830 HAS SOUPS 543830 WITH SCORE 544496.391
AT ITER 710 NEW BEST:: SOT 826226 SOS 666541 HAS SOPS 666541 HAS SOUS 543392 HAS SOUPS 543392 WITH SCORE 544058.541
AT ITER 749 NEW BEST:: SOT 826226 SOS 666195 HAS SOPS 666195 HAS SOUS 543219 HAS SOUPS 543219 WITH SCORE 543885.195
AT ITER 760 NEW BEST:: SOT 826226 SOS 665723 HAS SOPS 665723 HAS SOUS 542747 HAS SOUPS 542747 WITH SCORE 543412.723
AT ITER 861 NEW BEST:: SOT 826226 SOS 665709 HAS SOPS 665709 HAS SOUS 542733 HAS SOUPS 542733 WITH SCORE 543398.709
AT ITER 967 NEW BEST:: SOT 825488 SOS 665698 HAS SOPS 665698 HAS SOUS 542722 HAS SOUPS 542722 WITH SCORE 543387.698
AT ITER 984 NEW BEST:: SOT 825848 SOS 663192 HAS SOPS 663192 HAS SOUS 541649 HAS SOUPS 541649 WITH SCORE 542312.192
AT ITER 986 NEW BEST:: SOT 825818 SOS 663162 HAS SOPS 663162 HAS SOUS 541619 HAS SOUPS 541619 WITH SCORE 542282.162
AT ITER 1036 NEW BEST:: SOT 825807 SOS 663151 HAS SOPS 663151 HAS SOUS 541608 HAS SOUPS 541608 WITH SCORE 542271.151
AT ITER 1066 NEW BEST:: SOT 825719 SOS 663063 HAS SOPS 663063 HAS SOUS 541520 HAS SOUPS 541520 WITH SCORE 542183.063
AT ITER 1096 NEW BEST:: SOT 825719 SOS 653666 HAS SOPS 653666 HAS SOUS 540829 HAS SOUPS 540829 WITH SCORE 541482.666
AT ITER 1129 NEW BEST:: SOT 825719 SOS 651748 HAS SOPS 651748 HAS SOUS 539870 HAS SOUPS 539870 WITH SCORE 540521.748
AT ITER 1146 NEW BEST:: SOT 825719 SOS 651637 HAS SOPS 651637 HAS SOUS 539471 HAS SOUPS 539471 WITH SCORE 540122.637
AT ITER 1148 NEW BEST:: SOT 825710 SOS 651628 HAS SOPS 651628 HAS SOUS 539462 HAS SOUPS 539462 WITH SCORE 540113.628
AT ITER 1152 NEW BEST:: SOT 825710 SOS 649236 HAS SOPS 649236 HAS SOUS 538288 HAS SOUPS 538288 WITH SCORE 538937.236
AT ITER 1153 NEW BEST:: SOT 825710 SOS 649211 HAS SOPS 649211 HAS SOUS 538263 HAS SOUPS 538263 WITH SCORE 538912.211
AT ITER 1165 NEW BEST:: SOT 825710 SOS 648999 HAS SOPS 648999 HAS SOUS 537896 HAS SOUPS 537896 WITH SCORE 538544.999
AT ITER 1177 NEW BEST:: SOT 825791 SOS 648990 HAS SOPS 648990 HAS SOUS 537887 HAS SOUPS 537887 WITH SCORE 538535.99
AT ITER 1186 NEW BEST:: SOT 825791 SOS 648927 HAS SOPS 648927 HAS SOUS 537824 HAS SOUPS 537824 WITH SCORE 538472.927
AT ITER 1202 NEW BEST:: SOT 825791 SOS 648630 HAS SOPS 648630 HAS SOUS 536506 HAS SOUPS 536506 WITH SCORE 537154.63
AT ITER 1205 NEW BEST:: SOT 825791 SOS 648480 HAS SOPS 648480 HAS SOUS 536360 HAS SOUPS 536360 WITH SCORE 537008.48
AT ITER 1206 NEW BEST:: SOT 825759 SOS 648448 HAS SOPS 648448 HAS SOUS 536328 HAS SOUPS 536328 WITH SCORE 536976.448
AT ITER 1258 NEW BEST:: SOT 825759 SOS 648230 HAS SOPS 648230 HAS SOUS 534597 HAS SOUPS 534597 WITH SCORE 535245.23
AT ITER 1263 NEW BEST:: SOT 825759 SOS 648177 HAS SOPS 648177 HAS SOUS 534544 HAS SOUPS 534544 WITH SCORE 535192.177
AT ITER 1299 NEW BEST:: SOT 825745 SOS 648163 HAS SOPS 648163 HAS SOUS 534530 HAS SOUPS 534530 WITH SCORE 535178.163
AT ITER 1332 NEW BEST:: SOT 825740 SOS 648158 HAS SOPS 648158 HAS SOUS 534525 HAS SOUPS 534525 WITH SCORE 535173.158
AT ITER 1390 NEW BEST:: SOT 825714 SOS 648132 HAS SOPS 648132 HAS SOUS 534499 HAS SOUPS 534499 WITH SCORE 535147.132
AT ITER 1404 NEW BEST:: SOT 825714 SOS 648085 HAS SOPS 648085 HAS SOUS 533251 HAS SOUPS 533251 WITH SCORE 533899.085
AT ITER 1443 NEW BEST:: SOT 825714 SOS 647906 HAS SOPS 647906 HAS SOUS 532466 HAS SOUPS 532466 WITH SCORE 533113.906
AT ITER 1446 NEW BEST:: SOT 825713 SOS 647905 HAS SOPS 647905 HAS SOUS 532465 HAS SOUPS 532465 WITH SCORE 533112.905
AT ITER 1447 NEW BEST:: SOT 826093 SOS 648238 HAS SOPS 648238 HAS SOUS 532428 HAS SOUPS 532428 WITH SCORE 533076.238
AT ITER 1471 NEW BEST:: SOT 825311 SOS 647464 HAS SOPS 647464 HAS SOUS 531654 HAS SOUPS 531654 WITH SCORE 532301.464
AT ITER 1525 NEW BEST:: SOT 824483 SOS 646692 HAS SOPS 646692 HAS SOUS 530872 HAS SOUPS 530872 WITH SCORE 531518.692
AT ITER 1532 NEW BEST:: SOT 824483 SOS 646260 HAS SOPS 646260 HAS SOUS 530656 HAS SOUPS 530656 WITH SCORE 531302.26
AT ITER 1535 NEW BEST:: SOT 824862 SOS 646275 HAS SOPS 646275 HAS SOUS 530277 HAS SOUPS 530277 WITH SCORE 530923.275
AT ITER 1542 NEW BEST:: SOT 824835 SOS 646248 HAS SOPS 646248 HAS SOUS 530250 HAS SOUPS 530250 WITH SCORE 530896.248
AT ITER 1558 NEW BEST:: SOT 824835 SOS 646222 HAS SOPS 646222 HAS SOUS 530247 HAS SOUPS 530247 WITH SCORE 530893.222
AT ITER 1627 NEW BEST:: SOT 824045 SOS 645442 HAS SOPS 645442 HAS SOUS 529447 HAS SOUPS 529447 WITH SCORE 530092.442
AT ITER 1653 NEW BEST:: SOT 825553 SOS 646950 HAS SOPS 646950 HAS SOUS 529420 HAS SOUPS 529420 WITH SCORE 530066.95
AT ITER 1664 NEW BEST:: SOT 825553 SOS 646827 HAS SOPS 646827 HAS SOUS 529304 HAS SOUPS 529304 WITH SCORE 529950.827
AT ITER 1694 NEW BEST:: SOT 825557 SOS 646783 HAS SOPS 646783 HAS SOUS 529260 HAS SOUPS 529260 WITH SCORE 529906.783
AT ITER 1712 NEW BEST:: SOT 825557 SOS 646750 HAS SOPS 646750 HAS SOUS 529240 HAS SOUPS 529240 WITH SCORE 529886.75
AT ITER 1743 NEW BEST:: SOT 825557 SOS 645733 HAS SOPS 645733 HAS SOUS 528780 HAS SOUPS 528780 WITH SCORE 529425.733
AT ITER 1766 NEW BEST:: SOT 825556 SOS 645732 HAS SOPS 645732 HAS SOUS 528779 HAS SOUPS 528779 WITH SCORE 529424.732
AT ITER 1773 NEW BEST:: SOT 825461 SOS 645637 HAS SOPS 645637 HAS SOUS 528684 HAS SOUPS 528684 WITH SCORE 529329.637
AT ITER 1789 NEW BEST:: SOT 825497 SOS 643216 HAS SOPS 643216 HAS SOUS 527687 HAS SOUPS 527687 WITH SCORE 528330.216
AT ITER 1846 NEW BEST:: SOT 825497 SOS 643179 HAS SOPS 643179 HAS SOUS 527650 HAS SOUPS 527650 WITH SCORE 528293.179
AT ITER 1961 NEW BEST:: SOT 825515 SOS 640807 HAS SOPS 640807 HAS SOUS 526473 HAS SOUPS 526473 WITH SCORE 527113.807
AT ITER 1971 NEW BEST:: SOT 826460 SOS 641117 HAS SOPS 641117 HAS SOUS 525838 HAS SOUPS 525838 WITH SCORE 526479.117
AT ITER 1973 NEW BEST:: SOT 710250 SOS 528960 HAS SOPS 528960 HAS SOUS 430309 HAS SOUPS 430309 WITH SCORE 430837.96
AT ITER 2004 NEW BEST:: SOT 710205 SOS 528915 HAS SOPS 528915 HAS SOUS 430264 HAS SOUPS 430264 WITH SCORE 430792.915
AT ITER 2010 NEW BEST:: SOT 710370 SOS 528915 HAS SOPS 528915 HAS SOUS 430099 HAS SOUPS 430099 WITH SCORE 430627.915
AT ITER 2036 NEW BEST:: SOT 711448 SOS 529627 HAS SOPS 529627 HAS SOUS 430064 HAS SOUPS 430064 WITH SCORE 430593.627
AT ITER 2093 NEW BEST:: SOT 712155 SOS 530334 HAS SOPS 530334 HAS SOUS 429757 HAS SOUPS 429757 WITH SCORE 430287.334
AT ITER 2141 NEW BEST:: SOT 712089 SOS 530268 HAS SOPS 530268 HAS SOUS 429691 HAS SOUPS 429691 WITH SCORE 430221.268
AT ITER 2159 NEW BEST:: SOT 712089 SOS 530148 HAS SOPS 530148 HAS SOUS 429571 HAS SOUPS 429571 WITH SCORE 430101.148
AT ITER 2191 NEW BEST:: SOT 712089 SOS 530128 HAS SOPS 530128 HAS SOUS 428654 HAS SOUPS 428654 WITH SCORE 429184.128
AT ITER 2213 NEW BEST:: SOT 712089 SOS 530127 HAS SOPS 530127 HAS SOUS 428653 HAS SOUPS 428653 WITH SCORE 429183.127
AT ITER 2248 NEW BEST:: SOT 712089 SOS 529753 HAS SOPS 529753 HAS SOUS 428279 HAS SOUPS 428279 WITH SCORE 428808.753
AT ITER 2262 NEW BEST:: SOT 712088 SOS 529752 HAS SOPS 529752 HAS SOUS 428278 HAS SOUPS 428278 WITH SCORE 428807.752
AT ITER 2288 NEW BEST:: SOT 712088 SOS 529721 HAS SOPS 529721 HAS SOUS 428247 HAS SOUPS 428247 WITH SCORE 428776.721
AT ITER 2293 NEW BEST:: SOT 712050 SOS 529683 HAS SOPS 529683 HAS SOUS 428209 HAS SOUPS 428209 WITH SCORE 428738.683
AT ITER 2320 NEW BEST:: SOT 712861 SOS 530201 HAS SOPS 530201 HAS SOUS 427961 HAS SOUPS 427961 WITH SCORE 428491.201
AT ITER 2391 NEW BEST:: SOT 712843 SOS 530183 HAS SOPS 530183 HAS SOUS 427943 HAS SOUPS 427943 WITH SCORE 428473.183
AT ITER 2434 NEW BEST:: SOT 712843 SOS 530188 HAS SOPS 530188 HAS SOUS 427905 HAS SOUPS 427905 WITH SCORE 428435.188
AT ITER 2472 NEW BEST:: SOT 713194 SOS 530539 HAS SOPS 530539 HAS SOUS 427846 HAS SOUPS 427846 WITH SCORE 428376.539
AT ITER 2479 NEW BEST:: SOT 713193 SOS 530538 HAS SOPS 530538 HAS SOUS 427845 HAS SOUPS 427845 WITH SCORE 428375.538
AT ITER 2560 NEW BEST:: SOT 713135 SOS 530480 HAS SOPS 530480 HAS SOUS 427787 HAS SOUPS 427787 WITH SCORE 428317.48
AT ITER 2577 NEW BEST:: SOT 713135 SOS 529173 HAS SOPS 529173 HAS SOUS 427195 HAS SOUPS 427195 WITH SCORE 427724.173
AT ITER 2599 NEW BEST:: SOT 713407 SOS 529173 HAS SOPS 529173 HAS SOUS 426923 HAS SOUPS 426923 WITH SCORE 427452.173
AT ITER 2603 NEW BEST:: SOT 713405 SOS 529171 HAS SOPS 529171 HAS SOUS 426921 HAS SOUPS 426921 WITH SCORE 427450.171
AT ITER 2619 NEW BEST:: SOT 713405 SOS 529147 HAS SOPS 529147 HAS SOUS 426550 HAS SOUPS 426550 WITH SCORE 427079.147
AT ITER 2650 NEW BEST:: SOT 713405 SOS 528847 HAS SOPS 528847 HAS SOUS 426250 HAS SOUPS 426250 WITH SCORE 426778.847
AT ITER 2702 NEW BEST:: SOT 713392 SOS 528838 HAS SOPS 528838 HAS SOUS 426241 HAS SOUPS 426241 WITH SCORE 426769.838
AT ITER 2716 NEW BEST:: SOT 713391 SOS 528837 HAS SOPS 528837 HAS SOUS 426240 HAS SOUPS 426240 WITH SCORE 426768.837
AT ITER 2734 NEW BEST:: SOT 713390 SOS 528836 HAS SOPS 528836 HAS SOUS 426239 HAS SOUPS 426239 WITH SCORE 426767.836
AT ITER 2739 NEW BEST:: SOT 713390 SOS 528745 HAS SOPS 528745 HAS SOUS 426148 HAS SOUPS 426148 WITH SCORE 426676.745
AT ITER 2741 NEW BEST:: SOT 713390 SOS 527815 HAS SOPS 527815 HAS SOUS 425528 HAS SOUPS 425528 WITH SCORE 426055.815
AT ITER 2748 NEW BEST:: SOT 712977 SOS 527402 HAS SOPS 527402 HAS SOUS 425115 HAS SOUPS 425115 WITH SCORE 425642.402
AT ITER 2766 NEW BEST:: SOT 712939 SOS 527364 HAS SOPS 527364 HAS SOUS 425077 HAS SOUPS 425077 WITH SCORE 425604.364
AT ITER 2819 NEW BEST:: SOT 712939 SOS 526665 HAS SOPS 526665 HAS SOUS 423679 HAS SOUPS 423679 WITH SCORE 424205.665
AT ITER 2868 NEW BEST:: SOT 713526 SOS 527298 HAS SOPS 527298 HAS SOUS 423143 HAS SOUPS 423143 WITH SCORE 423670.298
AT ITER 2900 NEW BEST:: SOT 713446 SOS 527218 HAS SOPS 527218 HAS SOUS 423063 HAS SOUPS 423063 WITH SCORE 423590.218
AT ITER 2951 NEW BEST:: SOT 713446 SOS 526816 HAS SOPS 526816 HAS SOUS 422862 HAS SOUPS 422862 WITH SCORE 423388.816
AT ITER 2968 NEW BEST:: SOT 713446 SOS 525796 HAS SOPS 525796 HAS SOUS 422352 HAS SOUPS 422352 WITH SCORE 422877.796
AT ITER 2991 NEW BEST:: SOT 713139 SOS 525489 HAS SOPS 525489 HAS SOUS 422045 HAS SOUPS 422045 WITH SCORE 422570.489
AT ITER 3048 NEW BEST:: SOT 713139 SOS 525424 HAS SOPS 525424 HAS SOUS 421980 HAS SOUPS 421980 WITH SCORE 422505.424
AT ITER 3088 NEW BEST:: SOT 712889 SOS 525174 HAS SOPS 525174 HAS SOUS 421980 HAS SOUPS 421980 WITH SCORE 422505.174
AT ITER 3159 NEW BEST:: SOT 712875 SOS 525160 HAS SOPS 525160 HAS SOUS 421966 HAS SOUPS 421966 WITH SCORE 422491.16
AT ITER 3173 NEW BEST:: SOT 713238 SOS 525379 HAS SOPS 525379 HAS SOUS 420932 HAS SOUPS 420932 WITH SCORE 421457.379
AT ITER 3196 NEW BEST:: SOT 713134 SOS 525275 HAS SOPS 525275 HAS SOUS 420828 HAS SOUPS 420828 WITH SCORE 421353.275
AT ITER 3205 NEW BEST:: SOT 713134 SOS 524665 HAS SOPS 524665 HAS SOUS 420523 HAS SOUPS 420523 WITH SCORE 421047.665
AT ITER 3263 NEW BEST:: SOT 713136 SOS 524616 HAS SOPS 524616 HAS SOUS 420474 HAS SOUPS 420474 WITH SCORE 420998.616
AT ITER 3265 NEW BEST:: SOT 713136 SOS 524499 HAS SOPS 524499 HAS SOUS 420398 HAS SOUPS 420398 WITH SCORE 420922.499
AT ITER 3268 NEW BEST:: SOT 711110 SOS 522473 HAS SOPS 522473 HAS SOUS 418372 HAS SOUPS 418372 WITH SCORE 418894.473
AT ITER 3311 NEW BEST:: SOT 711719 SOS 522816 HAS SOPS 522816 HAS SOUS 418293 HAS SOUPS 418293 WITH SCORE 418815.816
AT ITER 3318 NEW BEST:: SOT 711718 SOS 522369 HAS SOPS 522369 HAS SOUS 417400 HAS SOUPS 417400 WITH SCORE 417922.369
AT ITER 3383 NEW BEST:: SOT 711511 SOS 522162 HAS SOPS 522162 HAS SOUS 417309 HAS SOUPS 417309 WITH SCORE 417831.162
AT ITER 3391 NEW BEST:: SOT 712106 SOS 520622 HAS SOPS 520622 HAS SOUS 415773 HAS SOUPS 415773 WITH SCORE 416293.622
AT ITER 3414 NEW BEST:: SOT 711839 SOS 520355 HAS SOPS 520355 HAS SOUS 415506 HAS SOUPS 415506 WITH SCORE 416026.355
AT ITER 3435 NEW BEST:: SOT 712621 SOS 521137 HAS SOPS 521137 HAS SOUS 415484 HAS SOUPS 415484 WITH SCORE 416005.137
AT ITER 3437 NEW BEST:: SOT 712610 SOS 521126 HAS SOPS 521126 HAS SOUS 415473 HAS SOUPS 415473 WITH SCORE 415994.126
AT ITER 3466 NEW BEST:: SOT 712452 SOS 520968 HAS SOPS 520968 HAS SOUS 415394 HAS SOUPS 415394 WITH SCORE 415914.968
AT ITER 3476 NEW BEST:: SOT 712535 SOS 520897 HAS SOPS 520897 HAS SOUS 415323 HAS SOUPS 415323 WITH SCORE 415843.897
AT ITER 3493 NEW BEST:: SOT 712534 SOS 520896 HAS SOPS 520896 HAS SOUS 415322 HAS SOUPS 415322 WITH SCORE 415842.896
AT ITER 3496 NEW BEST:: SOT 712213 SOS 520575 HAS SOPS 520575 HAS SOUS 415001 HAS SOUPS 415001 WITH SCORE 415521.575
AT ITER 3506 NEW BEST:: SOT 712212 SOS 520574 HAS SOPS 520574 HAS SOUS 415000 HAS SOUPS 415000 WITH SCORE 415520.574
AT ITER 3516 NEW BEST:: SOT 712212 SOS 520574 HAS SOPS 520574 HAS SOUS 414990 HAS SOUPS 414990 WITH SCORE 415510.574
AT ITER 3519 NEW BEST:: SOT 712211 SOS 520573 HAS SOPS 520573 HAS SOUS 414989 HAS SOUPS 414989 WITH SCORE 415509.573
AT ITER 3530 NEW BEST:: SOT 712260 SOS 520575 HAS SOPS 520575 HAS SOUS 414978 HAS SOUPS 414978 WITH SCORE 415498.575
AT ITER 3547 NEW BEST:: SOT 712314 SOS 520597 HAS SOPS 520597 HAS SOUS 414959 HAS SOUPS 414959 WITH SCORE 415479.597
AT ITER 3562 NEW BEST:: SOT 712296 SOS 520579 HAS SOPS 520579 HAS SOUS 414941 HAS SOUPS 414941 WITH SCORE 415461.579
AT ITER 3631 NEW BEST:: SOT 712385 SOS 520668 HAS SOPS 520668 HAS SOUS 414939 HAS SOUPS 414939 WITH SCORE 415459.668
AT ITER 3660 NEW BEST:: SOT 712385 SOS 520667 HAS SOPS 520667 HAS SOUS 414938 HAS SOUPS 414938 WITH SCORE 415458.667
AT ITER 3680 NEW BEST:: SOT 712385 SOS 518764 HAS SOPS 518764 HAS SOUS 413958 HAS SOUPS 413958 WITH SCORE 414476.764
AT ITER 3770 NEW BEST:: SOT 712038 SOS 518417 HAS SOPS 518417 HAS SOUS 413802 HAS SOUPS 413802 WITH SCORE 414320.417
AT ITER 3825 NEW BEST:: SOT 712038 SOS 518410 HAS SOPS 518410 HAS SOUS 413743 HAS SOUPS 413743 WITH SCORE 414261.41
AT ITER 3858 NEW BEST:: SOT 712790 SOS 519102 HAS SOPS 519102 HAS SOUS 412796 HAS SOUPS 412796 WITH SCORE 413315.102
AT ITER 3867 NEW BEST:: SOT 713281 SOS 518836 HAS SOPS 518836 HAS SOUS 411936 HAS SOUPS 411936 WITH SCORE 412454.836
AT ITER 3918 NEW BEST:: SOT 713280 SOS 518835 HAS SOPS 518835 HAS SOUS 411935 HAS SOUPS 411935 WITH SCORE 412453.835
AT ITER 3929 NEW BEST:: SOT 713280 SOS 518725 HAS SOPS 518725 HAS SOUS 411825 HAS SOUPS 411825 WITH SCORE 412343.725
AT ITER 3954 NEW BEST:: SOT 713427 SOS 518778 HAS SOPS 518778 HAS SOUS 411727 HAS SOUPS 411727 WITH SCORE 412245.778
AT ITER 3963 NEW BEST:: SOT 714316 SOS 518053 HAS SOPS 518053 HAS SOUS 410186 HAS SOUPS 410186 WITH SCORE 410704.053
AT ITER 4046 NEW BEST:: SOT 714316 SOS 518046 HAS SOPS 518046 HAS SOUS 410179 HAS SOUPS 410179 WITH SCORE 410697.046
AT ITER 4059 NEW BEST:: SOT 714316 SOS 517428 HAS SOPS 517428 HAS SOUS 409531 HAS SOUPS 409531 WITH SCORE 410048.428
AT ITER 4186 NEW BEST:: SOT 714316 SOS 517619 HAS SOPS 517619 HAS SOUS 408785 HAS SOUPS 408785 WITH SCORE 409302.619
AT ITER 4195 NEW BEST:: SOT 713888 SOS 517191 HAS SOPS 517191 HAS SOUS 408357 HAS SOUPS 408357 WITH SCORE 408874.191
AT ITER 4231 NEW BEST:: SOT 713072 SOS 516375 HAS SOPS 516375 HAS SOUS 407541 HAS SOUPS 407541 WITH SCORE 408057.375
AT ITER 4243 NEW BEST:: SOT 713864 SOS 516395 HAS SOPS 516395 HAS SOUS 406769 HAS SOUPS 406769 WITH SCORE 407285.395
AT ITER 4286 NEW BEST:: SOT 713867 SOS 516372 HAS SOPS 516372 HAS SOUS 406691 HAS SOUPS 406691 WITH SCORE 407207.372
AT ITER 4291 NEW BEST:: SOT 713730 SOS 516235 HAS SOPS 516235 HAS SOUS 406691 HAS SOUPS 406691 WITH SCORE 407207.235
AT ITER 4297 NEW BEST:: SOT 714124 SOS 514106 HAS SOPS 514106 HAS SOUS 404851 HAS SOUPS 404851 WITH SCORE 405365.106
AT ITER 4298 NEW BEST:: SOT 713557 SOS 513539 HAS SOPS 513539 HAS SOUS 404284 HAS SOUPS 404284 WITH SCORE 404797.539
AT ITER 4322 NEW BEST:: SOT 713776 SOS 513904 HAS SOPS 513904 HAS SOUS 404068 HAS SOUPS 404068 WITH SCORE 404581.904
AT ITER 4415 NEW BEST:: SOT 713776 SOS 513439 HAS SOPS 513439 HAS SOUS 403839 HAS SOUPS 403839 WITH SCORE 404352.439
AT ITER 4484 NEW BEST:: SOT 713776 SOS 513426 HAS SOPS 513426 HAS SOUS 403826 HAS SOUPS 403826 WITH SCORE 404339.426
AT ITER 4505 NEW BEST:: SOT 713776 SOS 513426 HAS SOPS 513426 HAS SOUS 403599 HAS SOUPS 403599 WITH SCORE 404112.426
AT ITER 4543 NEW BEST:: SOT 713776 SOS 513245 HAS SOPS 513245 HAS SOUS 403242 HAS SOUPS 403242 WITH SCORE 403755.245
AT ITER 4620 NEW BEST:: SOT 713341 SOS 512810 HAS SOPS 512810 HAS SOUS 402807 HAS SOUPS 402807 WITH SCORE 403319.81
AT ITER 4652 NEW BEST:: SOT 714194 SOS 513542 HAS SOPS 513542 HAS SOUS 402669 HAS SOUPS 402669 WITH SCORE 403182.542
AT ITER 4655 NEW BEST:: SOT 714194 SOS 513040 HAS SOPS 513040 HAS SOUS 402167 HAS SOUPS 402167 WITH SCORE 402680.04
AT ITER 4669 NEW BEST:: SOT 714577 SOS 512648 HAS SOPS 512648 HAS SOUS 400639 HAS SOUPS 400639 WITH SCORE 401151.648
AT ITER 4698 NEW BEST:: SOT 714577 SOS 512068 HAS SOPS 512068 HAS SOUS 400059 HAS SOUPS 400059 WITH SCORE 400571.068
AT ITER 4702 NEW BEST:: SOT 714577 SOS 511727 HAS SOPS 511727 HAS SOUS 399974 HAS SOUPS 399974 WITH SCORE 400485.727
AT ITER 4709 NEW BEST:: SOT 714577 SOS 510017 HAS SOPS 510017 HAS SOUS 398801 HAS SOUPS 398801 WITH SCORE 399311.017
AT ITER 4715 NEW BEST:: SOT 714577 SOS 508883 HAS SOPS 508883 HAS SOUS 398458 HAS SOUPS 398458 WITH SCORE 398966.883
AT ITER 4718 NEW BEST:: SOT 714577 SOS 507467 HAS SOPS 507467 HAS SOUS 396787 HAS SOUPS 396787 WITH SCORE 397294.467
AT ITER 4728 NEW BEST:: SOT 714577 SOS 507465 HAS SOPS 507465 HAS SOUS 396207 HAS SOUPS 396207 WITH SCORE 396714.465
AT ITER 4735 NEW BEST:: SOT 714549 SOS 507437 HAS SOPS 507437 HAS SOUS 396179 HAS SOUPS 396179 WITH SCORE 396686.437
AT ITER 4745 NEW BEST:: SOT 714549 SOS 507413 HAS SOPS 507413 HAS SOUS 396155 HAS SOUPS 396155 WITH SCORE 396662.413
AT ITER 4748 NEW BEST:: SOT 714549 SOS 507397 HAS SOPS 507397 HAS SOUS 396155 HAS SOUPS 396155 WITH SCORE 396662.397
AT ITER 4750 NEW BEST:: SOT 714593 SOS 507127 HAS SOPS 507127 HAS SOUS 395571 HAS SOUPS 395571 WITH SCORE 396078.127
AT ITER 4752 NEW BEST:: SOT 714592 SOS 507126 HAS SOPS 507126 HAS SOUS 395570 HAS SOUPS 395570 WITH SCORE 396077.126
AT ITER 4781 NEW BEST:: SOT 714780 SOS 507291 HAS SOPS 507291 HAS SOUS 395547 HAS SOUPS 395547 WITH SCORE 396054.291
AT ITER 4786 NEW BEST:: SOT 714780 SOS 507287 HAS SOPS 507287 HAS SOUS 395543 HAS SOUPS 395543 WITH SCORE 396050.287
AT ITER 4796 NEW BEST:: SOT 714780 SOS 507215 HAS SOPS 507215 HAS SOUS 395471 HAS SOUPS 395471 WITH SCORE 395978.215
AT ITER 4803 NEW BEST:: SOT 714780 SOS 506509 HAS SOPS 506509 HAS SOUS 394765 HAS SOUPS 394765 WITH SCORE 395271.509
AT ITER 4824 NEW BEST:: SOT 714303 SOS 506032 HAS SOPS 506032 HAS SOUS 394288 HAS SOUPS 394288 WITH SCORE 394794.032
AT ITER 4834 NEW BEST:: SOT 714302 SOS 506031 HAS SOPS 506031 HAS SOUS 394287 HAS SOUPS 394287 WITH SCORE 394793.031
AT ITER 4872 NEW BEST:: SOT 714192 SOS 505921 HAS SOPS 505921 HAS SOUS 394177 HAS SOUPS 394177 WITH SCORE 394682.921
AT ITER 4927 NEW BEST:: SOT 713856 SOS 505585 HAS SOPS 505585 HAS SOUS 393841 HAS SOUPS 393841 WITH SCORE 394346.585
AT ITER 4931 NEW BEST:: SOT 713856 SOS 505573 HAS SOPS 505573 HAS SOUS 393732 HAS SOUPS 393732 WITH SCORE 394237.573
AT ITER 4940 NEW BEST:: SOT 713856 SOS 505492 HAS SOPS 505492 HAS SOUS 393651 HAS SOUPS 393651 WITH SCORE 394156.492
AT ITER 4997 NEW BEST:: SOT 713856 SOS 505492 HAS SOPS 505492 HAS SOUS 393629 HAS SOUPS 393629 WITH SCORE 394134.492
AT ITER 5164 NEW BEST:: SOT 713856 SOS 505582 HAS SOPS 505582 HAS SOUS 393455 HAS SOUPS 393455 WITH SCORE 393960.582
AT ITER 5197 NEW BEST:: SOT 713914 SOS 505582 HAS SOPS 505582 HAS SOUS 393397 HAS SOUPS 393397 WITH SCORE 393902.582
AT ITER 5223 NEW BEST:: SOT 714151 SOS 505128 HAS SOPS 505128 HAS SOUS 392492 HAS SOUPS 392492 WITH SCORE 392997.128
AT ITER 5253 NEW BEST:: SOT 714881 SOS 505858 HAS SOPS 505858 HAS SOUS 391876 HAS SOUPS 391876 WITH SCORE 392381.858
AT ITER 5260 NEW BEST:: SOT 714841 SOS 505818 HAS SOPS 505818 HAS SOUS 391836 HAS SOUPS 391836 WITH SCORE 392341.818
AT ITER 5286 NEW BEST:: SOT 714841 SOS 504261 HAS SOPS 504261 HAS SOUS 390301 HAS SOUPS 390301 WITH SCORE 390805.261
AT ITER 5287 NEW BEST:: SOT 714841 SOS 503791 HAS SOPS 503791 HAS SOUS 390066 HAS SOUPS 390066 WITH SCORE 390569.791
AT ITER 5337 NEW BEST:: SOT 714811 SOS 503761 HAS SOPS 503761 HAS SOUS 390036 HAS SOUPS 390036 WITH SCORE 390539.761
AT ITER 5381 NEW BEST:: SOT 714830 SOS 503656 HAS SOPS 503656 HAS SOUS 389807 HAS SOUPS 389807 WITH SCORE 390310.656
AT ITER 5418 NEW BEST:: SOT 715283 SOS 504109 HAS SOPS 504109 HAS SOUS 389652 HAS SOUPS 389652 WITH SCORE 390156.109
AT ITER 5433 NEW BEST:: SOT 715283 SOS 503769 HAS SOPS 503769 HAS SOUS 389482 HAS SOUPS 389482 WITH SCORE 389985.769
AT ITER 5434 NEW BEST:: SOT 715368 SOS 503483 HAS SOPS 503483 HAS SOUS 388825 HAS SOUPS 388825 WITH SCORE 389328.483
AT ITER 5452 NEW BEST:: SOT 715368 SOS 503456 HAS SOPS 503456 HAS SOUS 388275 HAS SOUPS 388275 WITH SCORE 388778.456
AT ITER 5497 NEW BEST:: SOT 716029 SOS 503674 HAS SOPS 503674 HAS SOUS 387832 HAS SOUPS 387832 WITH SCORE 388335.674
AT ITER 5507 NEW BEST:: SOT 716029 SOS 502763 HAS SOPS 502763 HAS SOUS 386553 HAS SOUPS 386553 WITH SCORE 387055.763
AT ITER 5568 NEW BEST:: SOT 716498 SOS 503223 HAS SOPS 503223 HAS SOUS 386544 HAS SOUPS 386544 WITH SCORE 387047.223
AT ITER 5572 NEW BEST:: SOT 716498 SOS 503219 HAS SOPS 503219 HAS SOUS 386540 HAS SOUPS 386540 WITH SCORE 387043.219
AT ITER 5587 NEW BEST:: SOT 714273 SOS 501047 HAS SOPS 501047 HAS SOUS 385957 HAS SOUPS 385957 WITH SCORE 386458.047
AT ITER 5592 NEW BEST:: SOT 714273 SOS 500890 HAS SOPS 500890 HAS SOUS 385800 HAS SOUPS 385800 WITH SCORE 386300.89
AT ITER 5597 NEW BEST:: SOT 714273 SOS 500852 HAS SOPS 500852 HAS SOUS 385762 HAS SOUPS 385762 WITH SCORE 386262.852
AT ITER 5599 NEW BEST:: SOT 714218 SOS 500797 HAS SOPS 500797 HAS SOUS 385707 HAS SOUPS 385707 WITH SCORE 386207.797
AT ITER 5621 NEW BEST:: SOT 714422 SOS 500808 HAS SOPS 500808 HAS SOUS 385525 HAS SOUPS 385525 WITH SCORE 386025.808
AT ITER 5632 NEW BEST:: SOT 714497 SOS 499864 HAS SOPS 499864 HAS SOUS 384954 HAS SOUPS 384954 WITH SCORE 385453.864
AT ITER 5642 NEW BEST:: SOT 713799 SOS 499166 HAS SOPS 499166 HAS SOUS 384256 HAS SOUPS 384256 WITH SCORE 384755.166
AT ITER 5643 NEW BEST:: SOT 713762 SOS 499129 HAS SOPS 499129 HAS SOUS 384219 HAS SOUPS 384219 WITH SCORE 384718.129
AT ITER 5705 NEW BEST:: SOT 714129 SOS 499523 HAS SOPS 499523 HAS SOUS 383466 HAS SOUPS 383466 WITH SCORE 383965.523
AT ITER 5708 NEW BEST:: SOT 714128 SOS 499522 HAS SOPS 499522 HAS SOUS 383465 HAS SOUPS 383465 WITH SCORE 383964.522
AT ITER 5720 NEW BEST:: SOT 714772 SOS 500076 HAS SOPS 500076 HAS SOUS 383278 HAS SOUPS 383278 WITH SCORE 383778.076
AT ITER 5774 NEW BEST:: SOT 714721 SOS 500025 HAS SOPS 500025 HAS SOUS 383227 HAS SOUPS 383227 WITH SCORE 383727.025
AT ITER 5783 NEW BEST:: SOT 714659 SOS 499963 HAS SOPS 499963 HAS SOUS 383209 HAS SOUPS 383209 WITH SCORE 383708.963
AT ITER 5808 NEW BEST:: SOT 714658 SOS 499962 HAS SOPS 499962 HAS SOUS 383208 HAS SOUPS 383208 WITH SCORE 383707.962
AT ITER 5881 NEW BEST:: SOT 714658 SOS 499851 HAS SOPS 499851 HAS SOUS 383120 HAS SOUPS 383120 WITH SCORE 383619.851
AT ITER 5963 NEW BEST:: SOT 714658 SOS 499848 HAS SOPS 499848 HAS SOUS 383117 HAS SOUPS 383117 WITH SCORE 383616.848
AT ITER 5975 NEW BEST:: SOT 714656 SOS 499846 HAS SOPS 499846 HAS SOUS 383115 HAS SOUPS 383115 WITH SCORE 383614.846
AT ITER 5984 NEW BEST:: SOT 714651 SOS 499841 HAS SOPS 499841 HAS SOUS 383110 HAS SOUPS 383110 WITH SCORE 383609.841
AT ITER 5992 NEW BEST:: SOT 716022 SOS 500744 HAS SOPS 500744 HAS SOUS 382900 HAS SOUPS 382900 WITH SCORE 383400.744
AT ITER 6023 NEW BEST:: SOT 715960 SOS 500682 HAS SOPS 500682 HAS SOUS 382869 HAS SOUPS 382869 WITH SCORE 383369.682
AT ITER 6024 NEW BEST:: SOT 715808 SOS 500530 HAS SOPS 500530 HAS SOUS 382717 HAS SOUPS 382717 WITH SCORE 383217.53
AT ITER 6039 NEW BEST:: SOT 715808 SOS 500521 HAS SOPS 500521 HAS SOUS 382708 HAS SOUPS 382708 WITH SCORE 383208.521
AT ITER 6044 NEW BEST:: SOT 715761 SOS 500474 HAS SOPS 500474 HAS SOUS 382661 HAS SOUPS 382661 WITH SCORE 383161.474
AT ITER 6115 NEW BEST:: SOT 715761 SOS 499008 HAS SOPS 499008 HAS SOUS 381889 HAS SOUPS 381889 WITH SCORE 382388.008
AT ITER 6134 NEW BEST:: SOT 715730 SOS 498977 HAS SOPS 498977 HAS SOUS 381858 HAS SOUPS 381858 WITH SCORE 382356.977
AT ITER 6171 NEW BEST:: SOT 713090 SOS 496337 HAS SOPS 496337 HAS SOUS 379218 HAS SOUPS 379218 WITH SCORE 379714.337
AT ITER 6217 NEW BEST:: SOT 713531 SOS 496778 HAS SOPS 496778 HAS SOUS 378820 HAS SOUPS 378820 WITH SCORE 379316.778
AT ITER 6258 NEW BEST:: SOT 713505 SOS 496752 HAS SOPS 496752 HAS SOUS 378794 HAS SOUPS 378794 WITH SCORE 379290.752
AT ITER 6291 NEW BEST:: SOT 713071 SOS 496318 HAS SOPS 496318 HAS SOUS 378360 HAS SOUPS 378360 WITH SCORE 378856.318
AT ITER 6331 NEW BEST:: SOT 713154 SOS 496318 HAS SOPS 496318 HAS SOUS 378277 HAS SOUPS 378277 WITH SCORE 378773.318
AT ITER 6363 NEW BEST:: SOT 713154 SOS 496350 HAS SOPS 496350 HAS SOUS 377933 HAS SOUPS 377933 WITH SCORE 378429.35
AT ITER 6381 NEW BEST:: SOT 713144 SOS 496340 HAS SOPS 496340 HAS SOUS 377923 HAS SOUPS 377923 WITH SCORE 378419.34
AT ITER 6397 NEW BEST:: SOT 713039 SOS 496117 HAS SOPS 496117 HAS SOUS 377755 HAS SOUPS 377755 WITH SCORE 378251.117
AT ITER 6398 NEW BEST:: SOT 713100 SOS 496178 HAS SOPS 496178 HAS SOUS 377749 HAS SOUPS 377749 WITH SCORE 378245.178
AT ITER 6424 NEW BEST:: SOT 713100 SOS 496120 HAS SOPS 496120 HAS SOUS 377691 HAS SOUPS 377691 WITH SCORE 378187.12
AT ITER 6489 NEW BEST:: SOT 713100 SOS 495052 HAS SOPS 495052 HAS SOUS 377157 HAS SOUPS 377157 WITH SCORE 377652.052
AT ITER 6506 NEW BEST:: SOT 713100 SOS 495021 HAS SOPS 495021 HAS SOUS 377126 HAS SOUPS 377126 WITH SCORE 377621.021
AT ITER 6528 NEW BEST:: SOT 713100 SOS 494892 HAS SOPS 494892 HAS SOUS 376244 HAS SOUPS 376244 WITH SCORE 376738.892
AT ITER 6542 NEW BEST:: SOT 713100 SOS 494852 HAS SOPS 494852 HAS SOUS 376204 HAS SOUPS 376204 WITH SCORE 376698.852
AT ITER 6547 NEW BEST:: SOT 713020 SOS 494772 HAS SOPS 494772 HAS SOUS 376124 HAS SOUPS 376124 WITH SCORE 376618.772
AT ITER 6572 NEW BEST:: SOT 712746 SOS 494498 HAS SOPS 494498 HAS SOUS 375850 HAS SOUPS 375850 WITH SCORE 376344.498
AT ITER 6578 NEW BEST:: SOT 712746 SOS 494491 HAS SOPS 494491 HAS SOUS 375843 HAS SOUPS 375843 WITH SCORE 376337.491
AT ITER 6596 NEW BEST:: SOT 712737 SOS 494482 HAS SOPS 494482 HAS SOUS 375843 HAS SOUPS 375843 WITH SCORE 376337.482
AT ITER 6604 NEW BEST:: SOT 712663 SOS 494408 HAS SOPS 494408 HAS SOUS 375769 HAS SOUPS 375769 WITH SCORE 376263.408
AT ITER 6606 NEW BEST:: SOT 712662 SOS 494407 HAS SOPS 494407 HAS SOUS 375768 HAS SOUPS 375768 WITH SCORE 376262.407
AT ITER 6654 NEW BEST:: SOT 713173 SOS 495348 HAS SOPS 495348 HAS SOUS 375269 HAS SOUPS 375269 WITH SCORE 375764.348
AT ITER 6661 NEW BEST:: SOT 712813 SOS 494988 HAS SOPS 494988 HAS SOUS 374909 HAS SOUPS 374909 WITH SCORE 375403.988
AT ITER 6705 NEW BEST:: SOT 712777 SOS 494952 HAS SOPS 494952 HAS SOUS 374873 HAS SOUPS 374873 WITH SCORE 375367.952
AT ITER 6710 NEW BEST:: SOT 712777 SOS 494904 HAS SOPS 494904 HAS SOUS 374825 HAS SOUPS 374825 WITH SCORE 375319.904
AT ITER 6766 NEW BEST:: SOT 712777 SOS 494782 HAS SOPS 494782 HAS SOUS 374703 HAS SOUPS 374703 WITH SCORE 375197.782
AT ITER 6843 NEW BEST:: SOT 711965 SOS 494070 HAS SOPS 494070 HAS SOUS 374472 HAS SOUPS 374472 WITH SCORE 374966.07
AT ITER 6854 NEW BEST:: SOT 712566 SOS 494671 HAS SOPS 494671 HAS SOUS 374461 HAS SOUPS 374461 WITH SCORE 374955.671
AT ITER 6876 NEW BEST:: SOT 712400 SOS 494505 HAS SOPS 494505 HAS SOUS 374461 HAS SOUPS 374461 WITH SCORE 374955.505
AT ITER 6912 NEW BEST:: SOT 712400 SOS 494455 HAS SOPS 494455 HAS SOUS 374411 HAS SOUPS 374411 WITH SCORE 374905.455
AT ITER 6929 NEW BEST:: SOT 712400 SOS 494434 HAS SOPS 494434 HAS SOUS 374390 HAS SOUPS 374390 WITH SCORE 374884.434
AT ITER 6932 NEW BEST:: SOT 712882 SOS 494916 HAS SOPS 494916 HAS SOUS 374265 HAS SOUPS 374265 WITH SCORE 374759.916
AT ITER 6940 NEW BEST:: SOT 712882 SOS 494909 HAS SOPS 494909 HAS SOUS 374258 HAS SOUPS 374258 WITH SCORE 374752.909
AT ITER 6979 NEW BEST:: SOT 712882 SOS 494763 HAS SOPS 494763 HAS SOUS 374112 HAS SOUPS 374112 WITH SCORE 374606.763
AT ITER 6995 NEW BEST:: SOT 712881 SOS 494762 HAS SOPS 494762 HAS SOUS 374111 HAS SOUPS 374111 WITH SCORE 374605.762
AT ITER 7059 NEW BEST:: SOT 712881 SOS 494746 HAS SOPS 494746 HAS SOUS 374095 HAS SOUPS 374095 WITH SCORE 374589.746
AT ITER 7093 NEW BEST:: SOT 712343 SOS 494208 HAS SOPS 494208 HAS SOUS 373557 HAS SOUPS 373557 WITH SCORE 374051.208
AT ITER 7097 NEW BEST:: SOT 711639 SOS 493504 HAS SOPS 493504 HAS SOUS 372853 HAS SOUPS 372853 WITH SCORE 373346.504
AT ITER 7115 NEW BEST:: SOT 711457 SOS 493322 HAS SOPS 493322 HAS SOUS 372671 HAS SOUPS 372671 WITH SCORE 373164.322
AT ITER 7138 NEW BEST:: SOT 711586 SOS 493188 HAS SOPS 493188 HAS SOUS 372274 HAS SOUPS 372274 WITH SCORE 372767.188
AT ITER 7174 NEW BEST:: SOT 711562 SOS 493164 HAS SOPS 493164 HAS SOUS 372250 HAS SOUPS 372250 WITH SCORE 372743.164
AT ITER 7180 NEW BEST:: SOT 711483 SOS 493094 HAS SOPS 493094 HAS SOUS 372180 HAS SOUPS 372180 WITH SCORE 372673.094
AT ITER 7192 NEW BEST:: SOT 711447 SOS 493058 HAS SOPS 493058 HAS SOUS 372144 HAS SOUPS 372144 WITH SCORE 372637.058
AT ITER 7220 NEW BEST:: SOT 711447 SOS 493053 HAS SOPS 493053 HAS SOUS 372139 HAS SOUPS 372139 WITH SCORE 372632.053
AT ITER 7249 NEW BEST:: SOT 711447 SOS 493046 HAS SOPS 493046 HAS SOUS 372132 HAS SOUPS 372132 WITH SCORE 372625.046
AT ITER 7254 NEW BEST:: SOT 711469 SOS 492996 HAS SOPS 492996 HAS SOUS 372082 HAS SOUPS 372082 WITH SCORE 372574.996
AT ITER 7263 NEW BEST:: SOT 711411 SOS 492938 HAS SOPS 492938 HAS SOUS 372024 HAS SOUPS 372024 WITH SCORE 372516.938
AT ITER 7322 NEW BEST:: SOT 707193 SOS 488720 HAS SOPS 488720 HAS SOUS 367806 HAS SOUPS 367806 WITH SCORE 368294.72
AT ITER 7328 NEW BEST:: SOT 707158 SOS 488685 HAS SOPS 488685 HAS SOUS 367806 HAS SOUPS 367806 WITH SCORE 368294.685
AT ITER 7339 NEW BEST:: SOT 707768 SOS 489257 HAS SOPS 489257 HAS SOUS 367768 HAS SOUPS 367768 WITH SCORE 368257.257
AT ITER 7351 NEW BEST:: SOT 707766 SOS 489255 HAS SOPS 489255 HAS SOUS 367766 HAS SOUPS 367766 WITH SCORE 368255.255
AT ITER 7364 NEW BEST:: SOT 707765 SOS 489254 HAS SOPS 489254 HAS SOUS 367765 HAS SOUPS 367765 WITH SCORE 368254.254
AT ITER 7370 NEW BEST:: SOT 707765 SOS 489239 HAS SOPS 489239 HAS SOUS 367750 HAS SOUPS 367750 WITH SCORE 368239.239
AT ITER 7401 NEW BEST:: SOT 707947 SOS 488136 HAS SOPS 488136 HAS SOUS 366733 HAS SOUPS 366733 WITH SCORE 367221.136
AT ITER 7405 NEW BEST:: SOT 707947 SOS 488134 HAS SOPS 488134 HAS SOUS 366731 HAS SOUPS 366731 WITH SCORE 367219.134
AT ITER 7426 NEW BEST:: SOT 707946 SOS 488133 HAS SOPS 488133 HAS SOUS 366730 HAS SOUPS 366730 WITH SCORE 367218.133
AT ITER 7437 NEW BEST:: SOT 708363 SOS 488536 HAS SOPS 488536 HAS SOUS 366716 HAS SOUPS 366716 WITH SCORE 367204.536
AT ITER 7455 NEW BEST:: SOT 708363 SOS 488517 HAS SOPS 488517 HAS SOUS 366697 HAS SOUPS 366697 WITH SCORE 367185.517
AT ITER 7468 NEW BEST:: SOT 708363 SOS 488441 HAS SOPS 488441 HAS SOUS 366621 HAS SOUPS 366621 WITH SCORE 367109.441
AT ITER 7509 NEW BEST:: SOT 708362 SOS 488440 HAS SOPS 488440 HAS SOUS 366620 HAS SOUPS 366620 WITH SCORE 367108.44
AT ITER 7514 NEW BEST:: SOT 709124 SOS 488793 HAS SOPS 488793 HAS SOUS 366211 HAS SOUPS 366211 WITH SCORE 366699.793
AT ITER 7528 NEW BEST:: SOT 709124 SOS 488760 HAS SOPS 488760 HAS SOUS 366178 HAS SOUPS 366178 WITH SCORE 366666.76
AT ITER 7594 NEW BEST:: SOT 709124 SOS 488747 HAS SOPS 488747 HAS SOUS 366165 HAS SOUPS 366165 WITH SCORE 366653.747
AT ITER 7595 NEW BEST:: SOT 709124 SOS 488729 HAS SOPS 488729 HAS SOUS 366147 HAS SOUPS 366147 WITH SCORE 366635.729
AT ITER 7672 NEW BEST:: SOT 709124 SOS 488610 HAS SOPS 488610 HAS SOUS 366028 HAS SOUPS 366028 WITH SCORE 366516.61
AT ITER 7680 NEW BEST:: SOT 709032 SOS 488518 HAS SOPS 488518 HAS SOUS 365936 HAS SOUPS 365936 WITH SCORE 366424.518
AT ITER 7685 NEW BEST:: SOT 709026 SOS 488512 HAS SOPS 488512 HAS SOUS 365936 HAS SOUPS 365936 WITH SCORE 366424.512
AT ITER 7729 NEW BEST:: SOT 709026 SOS 488446 HAS SOPS 488446 HAS SOUS 365870 HAS SOUPS 365870 WITH SCORE 366358.446
AT ITER 7733 NEW BEST:: SOT 709026 SOS 488421 HAS SOPS 488421 HAS SOUS 365845 HAS SOUPS 365845 WITH SCORE 366333.421
AT ITER 7742 NEW BEST:: SOT 709026 SOS 488371 HAS SOPS 488371 HAS SOUS 365795 HAS SOUPS 365795 WITH SCORE 366283.371
AT ITER 7756 NEW BEST:: SOT 709026 SOS 488352 HAS SOPS 488352 HAS SOUS 365776 HAS SOUPS 365776 WITH SCORE 366264.352
AT ITER 7815 NEW BEST:: SOT 709026 SOS 488337 HAS SOPS 488337 HAS SOUS 365761 HAS SOUPS 365761 WITH SCORE 366249.337
AT ITER 7817 NEW BEST:: SOT 708987 SOS 488298 HAS SOPS 488298 HAS SOUS 365722 HAS SOUPS 365722 WITH SCORE 366210.298
AT ITER 7828 NEW BEST:: SOT 708960 SOS 488271 HAS SOPS 488271 HAS SOUS 365695 HAS SOUPS 365695 WITH SCORE 366183.271
AT ITER 7880 NEW BEST:: SOT 708960 SOS 488097 HAS SOPS 488097 HAS SOUS 365521 HAS SOUPS 365521 WITH SCORE 366009.097
AT ITER 7894 NEW BEST:: SOT 709407 SOS 488544 HAS SOPS 488544 HAS SOUS 365318 HAS SOUPS 365318 WITH SCORE 365806.544
AT ITER 7918 NEW BEST:: SOT 712307 SOS 489834 HAS SOPS 489834 HAS SOUS 364978 HAS SOUPS 364978 WITH SCORE 365467.834
AT ITER 7933 NEW BEST:: SOT 712307 SOS 489728 HAS SOPS 489728 HAS SOUS 364872 HAS SOUPS 364872 WITH SCORE 365361.728
AT ITER 7942 NEW BEST:: SOT 711669 SOS 489090 HAS SOPS 489090 HAS SOUS 364234 HAS SOUPS 364234 WITH SCORE 364723.09
AT ITER 7981 NEW BEST:: SOT 711017 SOS 488438 HAS SOPS 488438 HAS SOUS 363582 HAS SOUPS 363582 WITH SCORE 364070.438
AT ITER 8003 NEW BEST:: SOT 711016 SOS 488437 HAS SOPS 488437 HAS SOUS 363581 HAS SOUPS 363581 WITH SCORE 364069.437
AT ITER 8006 NEW BEST:: SOT 711187 SOS 488582 HAS SOPS 488582 HAS SOUS 363554 HAS SOUPS 363554 WITH SCORE 364042.582
AT ITER 8129 NEW BEST:: SOT 711167 SOS 488562 HAS SOPS 488562 HAS SOUS 363534 HAS SOUPS 363534 WITH SCORE 364022.562
AT ITER 8196 NEW BEST:: SOT 710854 SOS 488249 HAS SOPS 488249 HAS SOUS 363221 HAS SOUPS 363221 WITH SCORE 363709.249
AT ITER 8210 NEW BEST:: SOT 710834 SOS 488229 HAS SOPS 488229 HAS SOUS 363201 HAS SOUPS 363201 WITH SCORE 363689.229
AT ITER 8230 NEW BEST:: SOT 710907 SOS 488302 HAS SOPS 488302 HAS SOUS 362802 HAS SOUPS 362802 WITH SCORE 363290.302
AT ITER 8252 NEW BEST:: SOT 710846 SOS 488241 HAS SOPS 488241 HAS SOUS 362741 HAS SOUPS 362741 WITH SCORE 363229.241
AT ITER 8275 NEW BEST:: SOT 710515 SOS 487910 HAS SOPS 487910 HAS SOUS 362410 HAS SOUPS 362410 WITH SCORE 362897.91
AT ITER 8307 NEW BEST:: SOT 710277 SOS 487672 HAS SOPS 487672 HAS SOUS 362172 HAS SOUPS 362172 WITH SCORE 362659.672
AT ITER 8317 NEW BEST:: SOT 710277 SOS 487658 HAS SOPS 487658 HAS SOUS 362158 HAS SOUPS 362158 WITH SCORE 362645.658
AT ITER 8351 NEW BEST:: SOT 710276 SOS 487657 HAS SOPS 487657 HAS SOUS 362157 HAS SOUPS 362157 WITH SCORE 362644.657
AT ITER 8355 NEW BEST:: SOT 710187 SOS 487568 HAS SOPS 487568 HAS SOUS 362068 HAS SOUPS 362068 WITH SCORE 362555.568
AT ITER 8376 NEW BEST:: SOT 710187 SOS 487466 HAS SOPS 487466 HAS SOUS 361966 HAS SOUPS 361966 WITH SCORE 362453.466
AT ITER 8388 NEW BEST:: SOT 710136 SOS 487415 HAS SOPS 487415 HAS SOUS 361915 HAS SOUPS 361915 WITH SCORE 362402.415
AT ITER 8439 NEW BEST:: SOT 710128 SOS 487407 HAS SOPS 487407 HAS SOUS 361907 HAS SOUPS 361907 WITH SCORE 362394.407
AT ITER 8448 NEW BEST:: SOT 709896 SOS 487175 HAS SOPS 487175 HAS SOUS 361675 HAS SOUPS 361675 WITH SCORE 362162.175
AT ITER 8476 NEW BEST:: SOT 709872 SOS 487151 HAS SOPS 487151 HAS SOUS 361651 HAS SOUPS 361651 WITH SCORE 362138.151
AT ITER 8484 NEW BEST:: SOT 709872 SOS 487042 HAS SOPS 487042 HAS SOUS 361542 HAS SOUPS 361542 WITH SCORE 362029.042
AT ITER 8547 NEW BEST:: SOT 709872 SOS 487020 HAS SOPS 487020 HAS SOUS 361520 HAS SOUPS 361520 WITH SCORE 362007.02
AT ITER 8559 NEW BEST:: SOT 709872 SOS 486909 HAS SOPS 486909 HAS SOUS 361409 HAS SOUPS 361409 WITH SCORE 361895.909
AT ITER 8612 NEW BEST:: SOT 709872 SOS 486352 HAS SOPS 486352 HAS SOUS 360852 HAS SOUPS 360852 WITH SCORE 361338.352
AT ITER 8622 NEW BEST:: SOT 709872 SOS 485740 HAS SOPS 485740 HAS SOUS 360546 HAS SOUPS 360546 WITH SCORE 361031.74
AT ITER 8642 NEW BEST:: SOT 709872 SOS 485714 HAS SOPS 485714 HAS SOUS 360520 HAS SOUPS 360520 WITH SCORE 361005.714
AT ITER 8672 NEW BEST:: SOT 709297 SOS 485139 HAS SOPS 485139 HAS SOUS 360029 HAS SOUPS 360029 WITH SCORE 360514.139
AT ITER 8680 NEW BEST:: SOT 709297 SOS 485137 HAS SOPS 485137 HAS SOUS 360027 HAS SOUPS 360027 WITH SCORE 360512.137
AT ITER 8686 NEW BEST:: SOT 709707 SOS 485500 HAS SOPS 485500 HAS SOUS 359980 HAS SOUPS 359980 WITH SCORE 360465.5
AT ITER 8727 NEW BEST:: SOT 709309 SOS 485102 HAS SOPS 485102 HAS SOUS 359582 HAS SOUPS 359582 WITH SCORE 360067.102
AT ITER 8731 NEW BEST:: SOT 709209 SOS 485002 HAS SOPS 485002 HAS SOUS 359482 HAS SOUPS 359482 WITH SCORE 359967.002
AT ITER 8749 NEW BEST:: SOT 709327 SOS 485022 HAS SOPS 485022 HAS SOUS 359404 HAS SOUPS 359404 WITH SCORE 359889.022
AT ITER 8793 NEW BEST:: SOT 709300 SOS 484995 HAS SOPS 484995 HAS SOUS 359404 HAS SOUPS 359404 WITH SCORE 359888.995
AT ITER 8851 NEW BEST:: SOT 709300 SOS 459355 HAS SOPS 459355 HAS SOUS 358916 HAS SOUPS 358916 WITH SCORE 359375.355
AT ITER 8915 NEW BEST:: SOT 709153 SOS 459538 HAS SOPS 459538 HAS SOUS 358735 HAS SOUPS 358735 WITH SCORE 359194.538
AT ITER 8924 NEW BEST:: SOT 709152 SOS 459537 HAS SOPS 459537 HAS SOUS 358734 HAS SOUPS 358734 WITH SCORE 359193.537
AT ITER 8940 NEW BEST:: SOT 708735 SOS 459120 HAS SOPS 459120 HAS SOUS 358734 HAS SOUPS 358734 WITH SCORE 359193.12
AT ITER 8962 NEW BEST:: SOT 708888 SOS 459594 HAS SOPS 459594 HAS SOUS 358518 HAS SOUPS 358518 WITH SCORE 358977.594
AT ITER 8988 NEW BEST:: SOT 709495 SOS 459614 HAS SOPS 459614 HAS SOUS 358446 HAS SOUPS 358446 WITH SCORE 358905.614
AT ITER 9023 NEW BEST:: SOT 709331 SOS 459450 HAS SOPS 459450 HAS SOUS 358446 HAS SOUPS 358446 WITH SCORE 358905.45
AT ITER 9027 NEW BEST:: SOT 709795 SOS 459883 HAS SOPS 459883 HAS SOUS 358415 HAS SOUPS 358415 WITH SCORE 358874.883
AT ITER 9053 NEW BEST:: SOT 709755 SOS 459863 HAS SOPS 459863 HAS SOUS 358415 HAS SOUPS 358415 WITH SCORE 358874.863
AT ITER 9076 NEW BEST:: SOT 709755 SOS 459833 HAS SOPS 459833 HAS SOUS 358385 HAS SOUPS 358385 WITH SCORE 358844.833
AT ITER 9094 NEW BEST:: SOT 709834 SOS 459833 HAS SOPS 459833 HAS SOUS 358306 HAS SOUPS 358306 WITH SCORE 358765.833
AT ITER 9116 NEW BEST:: SOT 709562 SOS 459561 HAS SOPS 459561 HAS SOUS 358034 HAS SOUPS 358034 WITH SCORE 358493.561
AT ITER 9131 NEW BEST:: SOT 709562 SOS 459546 HAS SOPS 459546 HAS SOUS 358019 HAS SOUPS 358019 WITH SCORE 358478.546
AT ITER 9135 NEW BEST:: SOT 709104 SOS 459115 HAS SOPS 459115 HAS SOUS 358019 HAS SOUPS 358019 WITH SCORE 358478.115
AT ITER 9143 NEW BEST:: SOT 709104 SOS 459109 HAS SOPS 459109 HAS SOUS 358013 HAS SOUPS 358013 WITH SCORE 358472.109
AT ITER 9149 NEW BEST:: SOT 709062 SOS 459067 HAS SOPS 459067 HAS SOUS 357971 HAS SOUPS 357971 WITH SCORE 358430.067
AT ITER 9222 NEW BEST:: SOT 708307 SOS 458312 HAS SOPS 458312 HAS SOUS 357216 HAS SOUPS 357216 WITH SCORE 357674.312
AT ITER 9242 NEW BEST:: SOT 708307 SOS 458231 HAS SOPS 458231 HAS SOUS 356935 HAS SOUPS 356935 WITH SCORE 357393.231
AT ITER 9265 NEW BEST:: SOT 708280 SOS 458204 HAS SOPS 458204 HAS SOUS 356908 HAS SOUPS 356908 WITH SCORE 357366.204
AT ITER 9333 NEW BEST:: SOT 708307 SOS 458198 HAS SOPS 458198 HAS SOUS 356902 HAS SOUPS 356902 WITH SCORE 357360.198
AT ITER 9338 NEW BEST:: SOT 708205 SOS 458096 HAS SOPS 458096 HAS SOUS 356800 HAS SOUPS 356800 WITH SCORE 357258.096
AT ITER 9343 NEW BEST:: SOT 708133 SOS 458024 HAS SOPS 458024 HAS SOUS 356728 HAS SOUPS 356728 WITH SCORE 357186.024
AT ITER 9480 NEW BEST:: SOT 708133 SOS 458023 HAS SOPS 458023 HAS SOUS 356727 HAS SOUPS 356727 WITH SCORE 357185.023
AT ITER 9497 NEW BEST:: SOT 708944 SOS 458834 HAS SOPS 458834 HAS SOUS 356573 HAS SOUPS 356573 WITH SCORE 357031.834
AT ITER 9528 NEW BEST:: SOT 708944 SOS 458816 HAS SOPS 458816 HAS SOUS 356555 HAS SOUPS 356555 WITH SCORE 357013.816
AT ITER 9549 NEW BEST:: SOT 709637 SOS 459509 HAS SOPS 459509 HAS SOUS 356385 HAS SOUPS 356385 WITH SCORE 356844.509
AT ITER 9600 NEW BEST:: SOT 709637 SOS 459492 HAS SOPS 459492 HAS SOUS 356368 HAS SOUPS 356368 WITH SCORE 356827.492
AT ITER 9604 NEW BEST:: SOT 709408 SOS 459263 HAS SOPS 459263 HAS SOUS 356139 HAS SOUPS 356139 WITH SCORE 356598.263
AT ITER 9658 NEW BEST:: SOT 709408 SOS 459241 HAS SOPS 459241 HAS SOUS 356117 HAS SOUPS 356117 WITH SCORE 356576.241
AT ITER 9699 NEW BEST:: SOT 709408 SOS 458511 HAS SOPS 458511 HAS SOUS 355752 HAS SOUPS 355752 WITH SCORE 356210.511
AT ITER 9738 NEW BEST:: SOT 709408 SOS 458411 HAS SOPS 458411 HAS SOUS 355652 HAS SOUPS 355652 WITH SCORE 356110.411
AT ITER 9762 NEW BEST:: SOT 709681 SOS 458684 HAS SOPS 458684 HAS SOUS 355602 HAS SOUPS 355602 WITH SCORE 356060.684
AT ITER 9799 NEW BEST:: SOT 709680 SOS 458683 HAS SOPS 458683 HAS SOUS 355601 HAS SOUPS 355601 WITH SCORE 356059.683
AT ITER 9808 NEW BEST:: SOT 709101 SOS 458104 HAS SOPS 458104 HAS SOUS 355601 HAS SOUPS 355601 WITH SCORE 356059.104
AT ITER 9825 NEW BEST:: SOT 709101 SOS 458094 HAS SOPS 458094 HAS SOUS 355280 HAS SOUPS 355280 WITH SCORE 355738.094
AT ITER 9863 NEW BEST:: SOT 709805 SOS 458584 HAS SOPS 458584 HAS SOUS 355104 HAS SOUPS 355104 WITH SCORE 355562.584
AT ITER 9865 NEW BEST:: SOT 709556 SOS 458335 HAS SOPS 458335 HAS SOUS 354855 HAS SOUPS 354855 WITH SCORE 355313.335
AT ITER 9876 NEW BEST:: SOT 709550 SOS 458329 HAS SOPS 458329 HAS SOUS 354849 HAS SOUPS 354849 WITH SCORE 355307.329
AT ITER 9900 NEW BEST:: SOT 709798 SOS 458577 HAS SOPS 458577 HAS SOUS 354813 HAS SOUPS 354813 WITH SCORE 355271.577
AT ITER 9905 NEW BEST:: SOT 709654 SOS 458433 HAS SOPS 458433 HAS SOUS 354669 HAS SOUPS 354669 WITH SCORE 355127.433
AT ITER 9914 NEW BEST:: SOT 710245 SOS 456656 HAS SOPS 456656 HAS SOUS 353329 HAS SOUPS 353329 WITH SCORE 353785.656
AT ITER 9969 NEW BEST:: SOT 710245 SOS 456656 HAS SOPS 456656 HAS SOUS 353276 HAS SOUPS 353276 WITH SCORE 353732.656
AT ITER 9974 NEW BEST:: SOT 710073 SOS 456484 HAS SOPS 456484 HAS SOUS 353276 HAS SOUPS 353276 WITH SCORE 353732.484
AT ITER 9980 NEW BEST:: SOT 710073 SOS 456470 HAS SOPS 456470 HAS SOUS 353262 HAS SOUPS 353262 WITH SCORE 353718.47
AT ITER 9986 NEW BEST:: SOT 710073 SOS 456593 HAS SOPS 456593 HAS SOUS 353169 HAS SOUPS 353169 WITH SCORE 353625.593
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 9698012 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120656 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="QuasiCertifProtocol-PT-28"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is QuasiCertifProtocol-PT-28, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r299-tall-167873953600904"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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