Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680100539.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-12, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100539
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 324K
-rw-r--r-- 1 mcc users 3.3K Mar 26 02:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 02:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 25 22:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 146K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-12-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589019851797

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 12
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 586 places, 525 transitions, 1560 arcs.
AT ITER 0 NEW BEST:: SOT 194501 SOS 75360 HAS SOPS 75360 HAS SOUS 73297 HAS SOUPS 73297 WITH SCORE 73372.36
AT ITER 8 NEW BEST:: SOT 194501 SOS 75271 HAS SOPS 75271 HAS SOUS 73297 HAS SOUPS 73297 WITH SCORE 73372.271
AT ITER 11 NEW BEST:: SOT 194501 SOS 75215 HAS SOPS 75215 HAS SOUS 73297 HAS SOUPS 73297 WITH SCORE 73372.215
AT ITER 14 NEW BEST:: SOT 194455 SOS 75169 HAS SOPS 75169 HAS SOUS 73251 HAS SOUPS 73251 WITH SCORE 73326.169
AT ITER 16 NEW BEST:: SOT 194420 SOS 75194 HAS SOPS 75194 HAS SOUS 73216 HAS SOUPS 73216 WITH SCORE 73291.194
AT ITER 20 NEW BEST:: SOT 194398 SOS 75166 HAS SOPS 75166 HAS SOUS 73210 HAS SOUPS 73210 WITH SCORE 73285.166
AT ITER 27 NEW BEST:: SOT 194398 SOS 75105 HAS SOPS 75105 HAS SOUS 73208 HAS SOUPS 73208 WITH SCORE 73283.105
AT ITER 28 NEW BEST:: SOT 194318 SOS 75024 HAS SOPS 75024 HAS SOUS 73127 HAS SOUPS 73127 WITH SCORE 73202.024
AT ITER 49 NEW BEST:: SOT 194061 SOS 75427 HAS SOPS 75427 HAS SOUS 72905 HAS SOUPS 72905 WITH SCORE 72980.427
AT ITER 53 NEW BEST:: SOT 194061 SOS 75303 HAS SOPS 75303 HAS SOUS 72810 HAS SOUPS 72810 WITH SCORE 72885.303
AT ITER 63 NEW BEST:: SOT 193931 SOS 75147 HAS SOPS 75147 HAS SOUS 72654 HAS SOUPS 72654 WITH SCORE 72729.147
AT ITER 66 NEW BEST:: SOT 193931 SOS 74946 HAS SOPS 74946 HAS SOUS 72453 HAS SOUPS 72453 WITH SCORE 72527.946
AT ITER 71 NEW BEST:: SOT 193931 SOS 74938 HAS SOPS 74938 HAS SOUS 72453 HAS SOUPS 72453 WITH SCORE 72527.938
AT ITER 97 NEW BEST:: SOT 193896 SOS 74926 HAS SOPS 74926 HAS SOUS 72441 HAS SOUPS 72441 WITH SCORE 72515.926
AT ITER 99 NEW BEST:: SOT 193865 SOS 74888 HAS SOPS 74888 HAS SOUS 72403 HAS SOUPS 72403 WITH SCORE 72477.888
AT ITER 101 NEW BEST:: SOT 193865 SOS 74887 HAS SOPS 74887 HAS SOUS 72402 HAS SOUPS 72402 WITH SCORE 72476.887
AT ITER 114 NEW BEST:: SOT 193682 SOS 74560 HAS SOPS 74560 HAS SOUS 72075 HAS SOUPS 72075 WITH SCORE 72149.56
AT ITER 115 NEW BEST:: SOT 193761 SOS 74232 HAS SOPS 74232 HAS SOUS 71754 HAS SOUPS 71754 WITH SCORE 71828.232
AT ITER 119 NEW BEST:: SOT 193760 SOS 74157 HAS SOPS 74157 HAS SOUS 71679 HAS SOUPS 71679 WITH SCORE 71753.157
AT ITER 121 NEW BEST:: SOT 193760 SOS 74097 HAS SOPS 74097 HAS SOUS 71619 HAS SOUPS 71619 WITH SCORE 71693.097
AT ITER 126 NEW BEST:: SOT 193760 SOS 74006 HAS SOPS 74006 HAS SOUS 71528 HAS SOUPS 71528 WITH SCORE 71602.006
AT ITER 138 NEW BEST:: SOT 193658 SOS 73918 HAS SOPS 73918 HAS SOUS 71426 HAS SOUPS 71426 WITH SCORE 71499.918
AT ITER 150 NEW BEST:: SOT 193521 SOS 73781 HAS SOPS 73781 HAS SOUS 71289 HAS SOUPS 71289 WITH SCORE 71362.781
AT ITER 166 NEW BEST:: SOT 192606 SOS 72866 HAS SOPS 72866 HAS SOUS 70435 HAS SOUPS 70435 WITH SCORE 70507.866
AT ITER 168 NEW BEST:: SOT 192624 SOS 72729 HAS SOPS 72729 HAS SOUS 70298 HAS SOUPS 70298 WITH SCORE 70370.729
AT ITER 183 NEW BEST:: SOT 192508 SOS 72586 HAS SOPS 72586 HAS SOUS 70155 HAS SOUPS 70155 WITH SCORE 70227.586
AT ITER 185 NEW BEST:: SOT 192508 SOS 72452 HAS SOPS 72452 HAS SOUS 70085 HAS SOUPS 70085 WITH SCORE 70157.452
AT ITER 198 NEW BEST:: SOT 192532 SOS 72427 HAS SOPS 72427 HAS SOUS 70060 HAS SOUPS 70060 WITH SCORE 70132.427
AT ITER 202 NEW BEST:: SOT 192502 SOS 72396 HAS SOPS 72396 HAS SOUS 70029 HAS SOUPS 70029 WITH SCORE 70101.396
AT ITER 205 NEW BEST:: SOT 192512 SOS 72290 HAS SOPS 72290 HAS SOUS 69923 HAS SOUPS 69923 WITH SCORE 69995.29
AT ITER 206 NEW BEST:: SOT 192350 SOS 71825 HAS SOPS 71825 HAS SOUS 69458 HAS SOUPS 69458 WITH SCORE 69529.825
AT ITER 212 NEW BEST:: SOT 192261 SOS 71796 HAS SOPS 71796 HAS SOUS 69400 HAS SOUPS 69400 WITH SCORE 69471.796
AT ITER 214 NEW BEST:: SOT 192206 SOS 71739 HAS SOPS 71739 HAS SOUS 69343 HAS SOUPS 69343 WITH SCORE 69414.739
AT ITER 225 NEW BEST:: SOT 192074 SOS 71449 HAS SOPS 71449 HAS SOUS 69053 HAS SOUPS 69053 WITH SCORE 69124.449
AT ITER 229 NEW BEST:: SOT 192092 SOS 71361 HAS SOPS 71361 HAS SOUS 68965 HAS SOUPS 68965 WITH SCORE 69036.361
AT ITER 234 NEW BEST:: SOT 192043 SOS 71325 HAS SOPS 71325 HAS SOUS 68929 HAS SOUPS 68929 WITH SCORE 69000.325
AT ITER 238 NEW BEST:: SOT 192043 SOS 71294 HAS SOPS 71294 HAS SOUS 68898 HAS SOUPS 68898 WITH SCORE 68969.294
AT ITER 241 NEW BEST:: SOT 192024 SOS 71293 HAS SOPS 71293 HAS SOUS 68897 HAS SOUPS 68897 WITH SCORE 68968.293
AT ITER 264 NEW BEST:: SOT 192024 SOS 71265 HAS SOPS 71265 HAS SOUS 68895 HAS SOUPS 68895 WITH SCORE 68966.265
AT ITER 265 NEW BEST:: SOT 192024 SOS 71049 HAS SOPS 71049 HAS SOUS 68679 HAS SOUPS 68679 WITH SCORE 68750.049
AT ITER 267 NEW BEST:: SOT 192024 SOS 71046 HAS SOPS 71046 HAS SOUS 68676 HAS SOUPS 68676 WITH SCORE 68747.046
AT ITER 269 NEW BEST:: SOT 192024 SOS 70978 HAS SOPS 70978 HAS SOUS 68676 HAS SOUPS 68676 WITH SCORE 68746.978
AT ITER 270 NEW BEST:: SOT 191891 SOS 70838 HAS SOPS 70838 HAS SOUS 68536 HAS SOUPS 68536 WITH SCORE 68606.838
AT ITER 277 NEW BEST:: SOT 191550 SOS 70450 HAS SOPS 70450 HAS SOUS 68148 HAS SOUPS 68148 WITH SCORE 68218.45
AT ITER 292 NEW BEST:: SOT 191536 SOS 70422 HAS SOPS 70422 HAS SOUS 68133 HAS SOUPS 68133 WITH SCORE 68203.422
AT ITER 296 NEW BEST:: SOT 191536 SOS 70373 HAS SOPS 70373 HAS SOUS 68084 HAS SOUPS 68084 WITH SCORE 68154.373
AT ITER 307 NEW BEST:: SOT 191536 SOS 70316 HAS SOPS 70316 HAS SOUS 68027 HAS SOUPS 68027 WITH SCORE 68097.316
AT ITER 319 NEW BEST:: SOT 191553 SOS 70116 HAS SOPS 70116 HAS SOUS 68022 HAS SOUPS 68022 WITH SCORE 68092.116
AT ITER 324 NEW BEST:: SOT 186847 SOS 92487 HAS SOPS 92487 HAS SOUS 64460 HAS SOUPS 64460 WITH SCORE 64552.487
AT ITER 325 NEW BEST:: SOT 186751 SOS 92365 HAS SOPS 92365 HAS SOUS 64338 HAS SOUPS 64338 WITH SCORE 64430.365
AT ITER 329 NEW BEST:: SOT 186720 SOS 92334 HAS SOPS 92334 HAS SOUS 64307 HAS SOUPS 64307 WITH SCORE 64399.334
AT ITER 337 NEW BEST:: SOT 186775 SOS 92263 HAS SOPS 92263 HAS SOUS 64149 HAS SOUPS 64149 WITH SCORE 64241.263
AT ITER 340 NEW BEST:: SOT 186791 SOS 92295 HAS SOPS 92295 HAS SOUS 64076 HAS SOUPS 64076 WITH SCORE 64168.295
AT ITER 345 NEW BEST:: SOT 186623 SOS 91894 HAS SOPS 91894 HAS SOUS 63907 HAS SOUPS 63907 WITH SCORE 63998.894
AT ITER 352 NEW BEST:: SOT 186467 SOS 91570 HAS SOPS 91570 HAS SOUS 63583 HAS SOUPS 63583 WITH SCORE 63674.57
AT ITER 359 NEW BEST:: SOT 186420 SOS 91523 HAS SOPS 91523 HAS SOUS 63536 HAS SOUPS 63536 WITH SCORE 63627.523
AT ITER 360 NEW BEST:: SOT 186191 SOS 91065 HAS SOPS 91065 HAS SOUS 63466 HAS SOUPS 63466 WITH SCORE 63557.065
AT ITER 361 NEW BEST:: SOT 186059 SOS 90801 HAS SOPS 90801 HAS SOUS 63397 HAS SOUPS 63397 WITH SCORE 63487.801
AT ITER 364 NEW BEST:: SOT 185613 SOS 90329 HAS SOPS 90329 HAS SOUS 62925 HAS SOUPS 62925 WITH SCORE 63015.329
AT ITER 365 NEW BEST:: SOT 185104 SOS 90978 HAS SOPS 90978 HAS SOUS 62670 HAS SOUPS 62670 WITH SCORE 62760.978
AT ITER 369 NEW BEST:: SOT 185104 SOS 90969 HAS SOPS 90969 HAS SOUS 62661 HAS SOUPS 62661 WITH SCORE 62751.969
AT ITER 376 NEW BEST:: SOT 185127 SOS 90795 HAS SOPS 90795 HAS SOUS 62549 HAS SOUPS 62549 WITH SCORE 62639.795
AT ITER 385 NEW BEST:: SOT 184926 SOS 90535 HAS SOPS 90535 HAS SOUS 62431 HAS SOUPS 62431 WITH SCORE 62521.535
AT ITER 404 NEW BEST:: SOT 184812 SOS 90307 HAS SOPS 90307 HAS SOUS 62317 HAS SOUPS 62317 WITH SCORE 62407.307
AT ITER 419 NEW BEST:: SOT 184812 SOS 90307 HAS SOPS 90307 HAS SOUS 62177 HAS SOUPS 62177 WITH SCORE 62267.307
AT ITER 423 NEW BEST:: SOT 184739 SOS 89841 HAS SOPS 89841 HAS SOUS 62079 HAS SOUPS 62079 WITH SCORE 62168.841
AT ITER 426 NEW BEST:: SOT 184739 SOS 89840 HAS SOPS 89840 HAS SOUS 62078 HAS SOUPS 62078 WITH SCORE 62167.84
AT ITER 431 NEW BEST:: SOT 184802 SOS 89903 HAS SOPS 89903 HAS SOUS 62075 HAS SOUPS 62075 WITH SCORE 62164.903
AT ITER 435 NEW BEST:: SOT 184802 SOS 89738 HAS SOPS 89738 HAS SOUS 61983 HAS SOUPS 61983 WITH SCORE 62072.738
AT ITER 454 NEW BEST:: SOT 184782 SOS 89718 HAS SOPS 89718 HAS SOUS 61963 HAS SOUPS 61963 WITH SCORE 62052.718
AT ITER 456 NEW BEST:: SOT 184734 SOS 89529 HAS SOPS 89529 HAS SOUS 61774 HAS SOUPS 61774 WITH SCORE 61863.529
AT ITER 470 NEW BEST:: SOT 184509 SOS 89079 HAS SOPS 89079 HAS SOUS 61323 HAS SOUPS 61323 WITH SCORE 61412.079
AT ITER 477 NEW BEST:: SOT 184358 SOS 88758 HAS SOPS 88758 HAS SOUS 61146 HAS SOUPS 61146 WITH SCORE 61234.758
AT ITER 485 NEW BEST:: SOT 184327 SOS 88665 HAS SOPS 88665 HAS SOUS 61053 HAS SOUPS 61053 WITH SCORE 61141.665
AT ITER 486 NEW BEST:: SOT 184326 SOS 88649 HAS SOPS 88649 HAS SOUS 61038 HAS SOUPS 61038 WITH SCORE 61126.649
AT ITER 496 NEW BEST:: SOT 182698 SOS 86919 HAS SOPS 86919 HAS SOUS 59308 HAS SOUPS 59308 WITH SCORE 59394.919
AT ITER 500 NEW BEST:: SOT 182573 SOS 86668 HAS SOPS 86668 HAS SOUS 59183 HAS SOUPS 59183 WITH SCORE 59269.668
AT ITER 505 NEW BEST:: SOT 182399 SOS 86438 HAS SOPS 86438 HAS SOUS 59071 HAS SOUPS 59071 WITH SCORE 59157.438
AT ITER 509 NEW BEST:: SOT 182271 SOS 86182 HAS SOPS 86182 HAS SOUS 59050 HAS SOUPS 59050 WITH SCORE 59136.182
AT ITER 517 NEW BEST:: SOT 182297 SOS 86137 HAS SOPS 86137 HAS SOUS 59039 HAS SOUPS 59039 WITH SCORE 59125.137
AT ITER 518 NEW BEST:: SOT 182297 SOS 86132 HAS SOPS 86132 HAS SOUS 59034 HAS SOUPS 59034 WITH SCORE 59120.132
AT ITER 519 NEW BEST:: SOT 182294 SOS 86174 HAS SOPS 86174 HAS SOUS 59031 HAS SOUPS 59031 WITH SCORE 59117.174
AT ITER 525 NEW BEST:: SOT 182217 SOS 86097 HAS SOPS 86097 HAS SOUS 59031 HAS SOUPS 59031 WITH SCORE 59117.097
AT ITER 529 NEW BEST:: SOT 182217 SOS 86096 HAS SOPS 86096 HAS SOUS 59030 HAS SOUPS 59030 WITH SCORE 59116.096
AT ITER 538 NEW BEST:: SOT 182205 SOS 86071 HAS SOPS 86071 HAS SOUS 59005 HAS SOUPS 59005 WITH SCORE 59091.071
AT ITER 541 NEW BEST:: SOT 182169 SOS 85944 HAS SOPS 85944 HAS SOUS 58910 HAS SOUPS 58910 WITH SCORE 58995.944
AT ITER 543 NEW BEST:: SOT 182137 SOS 85817 HAS SOPS 85817 HAS SOUS 58783 HAS SOUPS 58783 WITH SCORE 58868.817
AT ITER 547 NEW BEST:: SOT 182115 SOS 85774 HAS SOPS 85774 HAS SOUS 58740 HAS SOUPS 58740 WITH SCORE 58825.774
AT ITER 550 NEW BEST:: SOT 182125 SOS 85747 HAS SOPS 85747 HAS SOUS 58726 HAS SOUPS 58726 WITH SCORE 58811.747
AT ITER 570 NEW BEST:: SOT 182125 SOS 85520 HAS SOPS 85520 HAS SOUS 58675 HAS SOUPS 58675 WITH SCORE 58760.52
AT ITER 573 NEW BEST:: SOT 182091 SOS 85452 HAS SOPS 85452 HAS SOUS 58607 HAS SOUPS 58607 WITH SCORE 58692.452
AT ITER 579 NEW BEST:: SOT 182091 SOS 85470 HAS SOPS 85470 HAS SOUS 58605 HAS SOUPS 58605 WITH SCORE 58690.47
AT ITER 586 NEW BEST:: SOT 182091 SOS 85475 HAS SOPS 85475 HAS SOUS 58604 HAS SOUPS 58604 WITH SCORE 58689.475
AT ITER 597 NEW BEST:: SOT 182003 SOS 85296 HAS SOPS 85296 HAS SOUS 58493 HAS SOUPS 58493 WITH SCORE 58578.296
AT ITER 606 NEW BEST:: SOT 181981 SOS 85274 HAS SOPS 85274 HAS SOUS 58485 HAS SOUPS 58485 WITH SCORE 58570.274
AT ITER 611 NEW BEST:: SOT 181963 SOS 85282 HAS SOPS 85282 HAS SOUS 58467 HAS SOUPS 58467 WITH SCORE 58552.282
AT ITER 620 NEW BEST:: SOT 181898 SOS 85217 HAS SOPS 85217 HAS SOUS 58466 HAS SOUPS 58466 WITH SCORE 58551.217
AT ITER 626 NEW BEST:: SOT 181898 SOS 85216 HAS SOPS 85216 HAS SOUS 58465 HAS SOUPS 58465 WITH SCORE 58550.216
AT ITER 629 NEW BEST:: SOT 181898 SOS 85141 HAS SOPS 85141 HAS SOUS 58390 HAS SOUPS 58390 WITH SCORE 58475.141
AT ITER 637 NEW BEST:: SOT 181761 SOS 84966 HAS SOPS 84966 HAS SOUS 58352 HAS SOUPS 58352 WITH SCORE 58436.966
AT ITER 645 NEW BEST:: SOT 181685 SOS 84862 HAS SOPS 84862 HAS SOUS 58248 HAS SOUPS 58248 WITH SCORE 58332.862
AT ITER 649 NEW BEST:: SOT 181675 SOS 84889 HAS SOPS 84889 HAS SOUS 58228 HAS SOUPS 58228 WITH SCORE 58312.889
AT ITER 661 NEW BEST:: SOT 181605 SOS 84784 HAS SOPS 84784 HAS SOUS 58158 HAS SOUPS 58158 WITH SCORE 58242.784
AT ITER 667 NEW BEST:: SOT 181553 SOS 84732 HAS SOPS 84732 HAS SOUS 58158 HAS SOUPS 58158 WITH SCORE 58242.732
AT ITER 669 NEW BEST:: SOT 181377 SOS 84380 HAS SOPS 84380 HAS SOUS 57982 HAS SOUPS 57982 WITH SCORE 58066.38
AT ITER 675 NEW BEST:: SOT 181323 SOS 84162 HAS SOPS 84162 HAS SOUS 57764 HAS SOUPS 57764 WITH SCORE 57848.162
AT ITER 681 NEW BEST:: SOT 181368 SOS 83981 HAS SOPS 83981 HAS SOUS 57594 HAS SOUPS 57594 WITH SCORE 57677.981
AT ITER 683 NEW BEST:: SOT 181459 SOS 83926 HAS SOPS 83926 HAS SOUS 57539 HAS SOUPS 57539 WITH SCORE 57622.926
AT ITER 684 NEW BEST:: SOT 181444 SOS 83877 HAS SOPS 83877 HAS SOUS 57388 HAS SOUPS 57388 WITH SCORE 57471.877
AT ITER 686 NEW BEST:: SOT 181449 SOS 84011 HAS SOPS 84011 HAS SOUS 57375 HAS SOUPS 57375 WITH SCORE 57459.011
AT ITER 697 NEW BEST:: SOT 181411 SOS 83954 HAS SOPS 83954 HAS SOUS 57318 HAS SOUPS 57318 WITH SCORE 57401.954
AT ITER 713 NEW BEST:: SOT 181475 SOS 83921 HAS SOPS 83921 HAS SOUS 57313 HAS SOUPS 57313 WITH SCORE 57396.921
AT ITER 724 NEW BEST:: SOT 181270 SOS 83511 HAS SOPS 83511 HAS SOUS 57192 HAS SOUPS 57192 WITH SCORE 57275.511
AT ITER 729 NEW BEST:: SOT 181274 SOS 83363 HAS SOPS 83363 HAS SOUS 57044 HAS SOUPS 57044 WITH SCORE 57127.363
AT ITER 730 NEW BEST:: SOT 181245 SOS 83305 HAS SOPS 83305 HAS SOUS 56986 HAS SOUPS 56986 WITH SCORE 57069.305
AT ITER 737 NEW BEST:: SOT 181245 SOS 83303 HAS SOPS 83303 HAS SOUS 56984 HAS SOUPS 56984 WITH SCORE 57067.303
AT ITER 781 NEW BEST:: SOT 181236 SOS 83294 HAS SOPS 83294 HAS SOUS 56966 HAS SOUPS 56966 WITH SCORE 57049.294
AT ITER 784 NEW BEST:: SOT 181154 SOS 83211 HAS SOPS 83211 HAS SOUS 56965 HAS SOUPS 56965 WITH SCORE 57048.211
AT ITER 785 NEW BEST:: SOT 181092 SOS 83087 HAS SOPS 83087 HAS SOUS 56841 HAS SOUPS 56841 WITH SCORE 56924.087
AT ITER 808 NEW BEST:: SOT 181018 SOS 83013 HAS SOPS 83013 HAS SOUS 56767 HAS SOUPS 56767 WITH SCORE 56850.013
AT ITER 810 NEW BEST:: SOT 180874 SOS 82914 HAS SOPS 82914 HAS SOUS 56668 HAS SOUPS 56668 WITH SCORE 56750.914
AT ITER 812 NEW BEST:: SOT 180874 SOS 82696 HAS SOPS 82696 HAS SOUS 56381 HAS SOUPS 56381 WITH SCORE 56463.696
AT ITER 813 NEW BEST:: SOT 180760 SOS 82575 HAS SOPS 82575 HAS SOUS 56260 HAS SOUPS 56260 WITH SCORE 56342.575
AT ITER 821 NEW BEST:: SOT 181003 SOS 82744 HAS SOPS 82744 HAS SOUS 56254 HAS SOUPS 56254 WITH SCORE 56336.744
AT ITER 822 NEW BEST:: SOT 180880 SOS 82561 HAS SOPS 82561 HAS SOUS 56224 HAS SOUPS 56224 WITH SCORE 56306.561
AT ITER 834 NEW BEST:: SOT 180857 SOS 82370 HAS SOPS 82370 HAS SOUS 56214 HAS SOUPS 56214 WITH SCORE 56296.37
AT ITER 841 NEW BEST:: SOT 180824 SOS 82134 HAS SOPS 82134 HAS SOUS 56052 HAS SOUPS 56052 WITH SCORE 56134.134
AT ITER 842 NEW BEST:: SOT 180780 SOS 82090 HAS SOPS 82090 HAS SOUS 56052 HAS SOUPS 56052 WITH SCORE 56134.09
AT ITER 857 NEW BEST:: SOT 180774 SOS 82078 HAS SOPS 82078 HAS SOUS 56040 HAS SOUPS 56040 WITH SCORE 56122.078
AT ITER 858 NEW BEST:: SOT 180737 SOS 82041 HAS SOPS 82041 HAS SOUS 56040 HAS SOUPS 56040 WITH SCORE 56122.041
AT ITER 875 NEW BEST:: SOT 180728 SOS 82032 HAS SOPS 82032 HAS SOUS 56031 HAS SOUPS 56031 WITH SCORE 56113.032
AT ITER 880 NEW BEST:: SOT 180631 SOS 81980 HAS SOPS 81980 HAS SOUS 55979 HAS SOUPS 55979 WITH SCORE 56060.98
AT ITER 884 NEW BEST:: SOT 180373 SOS 81593 HAS SOPS 81593 HAS SOUS 55721 HAS SOUPS 55721 WITH SCORE 55802.593
AT ITER 889 NEW BEST:: SOT 180180 SOS 81184 HAS SOPS 81184 HAS SOUS 55312 HAS SOUPS 55312 WITH SCORE 55393.184
AT ITER 906 NEW BEST:: SOT 180180 SOS 81034 HAS SOPS 81034 HAS SOUS 55208 HAS SOUPS 55208 WITH SCORE 55289.034
AT ITER 911 NEW BEST:: SOT 180180 SOS 81034 HAS SOPS 81034 HAS SOUS 55206 HAS SOUPS 55206 WITH SCORE 55287.034
AT ITER 935 NEW BEST:: SOT 180007 SOS 80860 HAS SOPS 80860 HAS SOUS 55204 HAS SOUPS 55204 WITH SCORE 55284.86
AT ITER 953 NEW BEST:: SOT 180019 SOS 80845 HAS SOPS 80845 HAS SOUS 55189 HAS SOUPS 55189 WITH SCORE 55269.845
AT ITER 975 NEW BEST:: SOT 180087 SOS 80835 HAS SOPS 80835 HAS SOUS 55179 HAS SOUPS 55179 WITH SCORE 55259.835
AT ITER 985 NEW BEST:: SOT 180087 SOS 80834 HAS SOPS 80834 HAS SOUS 55178 HAS SOUPS 55178 WITH SCORE 55258.834
AT ITER 990 NEW BEST:: SOT 180087 SOS 80825 HAS SOPS 80825 HAS SOUS 55169 HAS SOUPS 55169 WITH SCORE 55249.825
AT ITER 992 NEW BEST:: SOT 180139 SOS 80824 HAS SOPS 80824 HAS SOUS 55168 HAS SOUPS 55168 WITH SCORE 55248.824
AT ITER 1004 NEW BEST:: SOT 180114 SOS 80799 HAS SOPS 80799 HAS SOUS 55143 HAS SOUPS 55143 WITH SCORE 55223.799
AT ITER 1005 NEW BEST:: SOT 180114 SOS 80799 HAS SOPS 80799 HAS SOUS 55119 HAS SOUPS 55119 WITH SCORE 55199.799
AT ITER 1008 NEW BEST:: SOT 179926 SOS 80406 HAS SOPS 80406 HAS SOUS 54840 HAS SOUPS 54840 WITH SCORE 54920.406
AT ITER 1012 NEW BEST:: SOT 179926 SOS 80448 HAS SOPS 80448 HAS SOUS 54835 HAS SOUPS 54835 WITH SCORE 54915.448
AT ITER 1021 NEW BEST:: SOT 179873 SOS 80395 HAS SOPS 80395 HAS SOUS 54835 HAS SOUPS 54835 WITH SCORE 54915.395
AT ITER 1028 NEW BEST:: SOT 179811 SOS 80300 HAS SOPS 80300 HAS SOUS 54740 HAS SOUPS 54740 WITH SCORE 54820.3
AT ITER 1039 NEW BEST:: SOT 179749 SOS 80051 HAS SOPS 80051 HAS SOUS 54576 HAS SOUPS 54576 WITH SCORE 54656.051
AT ITER 1045 NEW BEST:: SOT 179765 SOS 80028 HAS SOPS 80028 HAS SOUS 54570 HAS SOUPS 54570 WITH SCORE 54650.028
AT ITER 1046 NEW BEST:: SOT 179847 SOS 79890 HAS SOPS 79890 HAS SOUS 54533 HAS SOUPS 54533 WITH SCORE 54612.89
AT ITER 1048 NEW BEST:: SOT 179772 SOS 79654 HAS SOPS 79654 HAS SOUS 54297 HAS SOUPS 54297 WITH SCORE 54376.654
AT ITER 1059 NEW BEST:: SOT 179772 SOS 79653 HAS SOPS 79653 HAS SOUS 54296 HAS SOUPS 54296 WITH SCORE 54375.653
AT ITER 1066 NEW BEST:: SOT 179772 SOS 79607 HAS SOPS 79607 HAS SOUS 54296 HAS SOUPS 54296 WITH SCORE 54375.607
AT ITER 1085 NEW BEST:: SOT 179797 SOS 79605 HAS SOPS 79605 HAS SOUS 54294 HAS SOUPS 54294 WITH SCORE 54373.605
AT ITER 1090 NEW BEST:: SOT 179797 SOS 79541 HAS SOPS 79541 HAS SOUS 54230 HAS SOUPS 54230 WITH SCORE 54309.541
AT ITER 1105 NEW BEST:: SOT 179796 SOS 79539 HAS SOPS 79539 HAS SOUS 54228 HAS SOUPS 54228 WITH SCORE 54307.539
AT ITER 1116 NEW BEST:: SOT 179652 SOS 79383 HAS SOPS 79383 HAS SOUS 54072 HAS SOUPS 54072 WITH SCORE 54151.383
AT ITER 1117 NEW BEST:: SOT 179630 SOS 79339 HAS SOPS 79339 HAS SOUS 54028 HAS SOUPS 54028 WITH SCORE 54107.339
AT ITER 1125 NEW BEST:: SOT 179635 SOS 79505 HAS SOPS 79505 HAS SOUS 54015 HAS SOUPS 54015 WITH SCORE 54094.505
AT ITER 1133 NEW BEST:: SOT 179625 SOS 79504 HAS SOPS 79504 HAS SOUS 54014 HAS SOUPS 54014 WITH SCORE 54093.504
AT ITER 1134 NEW BEST:: SOT 179636 SOS 79390 HAS SOPS 79390 HAS SOUS 53900 HAS SOUPS 53900 WITH SCORE 53979.39
AT ITER 1137 NEW BEST:: SOT 179488 SOS 79342 HAS SOPS 79342 HAS SOUS 53852 HAS SOUPS 53852 WITH SCORE 53931.342
AT ITER 1158 NEW BEST:: SOT 179404 SOS 79235 HAS SOPS 79235 HAS SOUS 53691 HAS SOUPS 53691 WITH SCORE 53770.235
AT ITER 1160 NEW BEST:: SOT 179386 SOS 79199 HAS SOPS 79199 HAS SOUS 53673 HAS SOUPS 53673 WITH SCORE 53752.199
AT ITER 1172 NEW BEST:: SOT 179385 SOS 79197 HAS SOPS 79197 HAS SOUS 53671 HAS SOUPS 53671 WITH SCORE 53750.197
AT ITER 1176 NEW BEST:: SOT 179385 SOS 79166 HAS SOPS 79166 HAS SOUS 53640 HAS SOUPS 53640 WITH SCORE 53719.166
AT ITER 1178 NEW BEST:: SOT 179356 SOS 75963 HAS SOPS 75963 HAS SOUS 53582 HAS SOUPS 53582 WITH SCORE 53657.963
AT ITER 1189 NEW BEST:: SOT 179354 SOS 75960 HAS SOPS 75960 HAS SOUS 53580 HAS SOUPS 53580 WITH SCORE 53655.96
AT ITER 1199 NEW BEST:: SOT 179387 SOS 75968 HAS SOPS 75968 HAS SOUS 53559 HAS SOUPS 53559 WITH SCORE 53634.968
AT ITER 1217 NEW BEST:: SOT 179376 SOS 75957 HAS SOPS 75957 HAS SOUS 53548 HAS SOUPS 53548 WITH SCORE 53623.957
AT ITER 1226 NEW BEST:: SOT 179383 SOS 75950 HAS SOPS 75950 HAS SOUS 53541 HAS SOUPS 53541 WITH SCORE 53616.95
AT ITER 1229 NEW BEST:: SOT 179331 SOS 75872 HAS SOPS 75872 HAS SOUS 53463 HAS SOUPS 53463 WITH SCORE 53538.872
AT ITER 1240 NEW BEST:: SOT 179316 SOS 75902 HAS SOPS 75902 HAS SOUS 53448 HAS SOUPS 53448 WITH SCORE 53523.902
AT ITER 1254 NEW BEST:: SOT 179273 SOS 75753 HAS SOPS 75753 HAS SOUS 53310 HAS SOUPS 53310 WITH SCORE 53385.753
AT ITER 1257 NEW BEST:: SOT 179429 SOS 75893 HAS SOPS 75893 HAS SOUS 53247 HAS SOUPS 53247 WITH SCORE 53322.893
AT ITER 1260 NEW BEST:: SOT 179413 SOS 75877 HAS SOPS 75877 HAS SOUS 53243 HAS SOUPS 53243 WITH SCORE 53318.877
AT ITER 1280 NEW BEST:: SOT 179375 SOS 75827 HAS SOPS 75827 HAS SOUS 53193 HAS SOUPS 53193 WITH SCORE 53268.827
AT ITER 1310 NEW BEST:: SOT 179375 SOS 75806 HAS SOPS 75806 HAS SOUS 53172 HAS SOUPS 53172 WITH SCORE 53247.806
AT ITER 1313 NEW BEST:: SOT 179355 SOS 75786 HAS SOPS 75786 HAS SOUS 53152 HAS SOUPS 53152 WITH SCORE 53227.786
AT ITER 1322 NEW BEST:: SOT 179355 SOS 75781 HAS SOPS 75781 HAS SOUS 53147 HAS SOUPS 53147 WITH SCORE 53222.781
AT ITER 1347 NEW BEST:: SOT 179291 SOS 75744 HAS SOPS 75744 HAS SOUS 53110 HAS SOUPS 53110 WITH SCORE 53185.744
AT ITER 1359 NEW BEST:: SOT 179290 SOS 75742 HAS SOPS 75742 HAS SOUS 53108 HAS SOUPS 53108 WITH SCORE 53183.742
AT ITER 1390 NEW BEST:: SOT 179289 SOS 75738 HAS SOPS 75738 HAS SOUS 53104 HAS SOUPS 53104 WITH SCORE 53179.738
AT ITER 1394 NEW BEST:: SOT 179289 SOS 75718 HAS SOPS 75718 HAS SOUS 53084 HAS SOUPS 53084 WITH SCORE 53159.718
AT ITER 1396 NEW BEST:: SOT 179276 SOS 75707 HAS SOPS 75707 HAS SOUS 53073 HAS SOUPS 53073 WITH SCORE 53148.707
AT ITER 1411 NEW BEST:: SOT 179174 SOS 75605 HAS SOPS 75605 HAS SOUS 52936 HAS SOUPS 52936 WITH SCORE 53011.605
AT ITER 1431 NEW BEST:: SOT 179174 SOS 75604 HAS SOPS 75604 HAS SOUS 52935 HAS SOUPS 52935 WITH SCORE 53010.604
AT ITER 1449 NEW BEST:: SOT 179154 SOS 75564 HAS SOPS 75564 HAS SOUS 52895 HAS SOUPS 52895 WITH SCORE 52970.564
AT ITER 1452 NEW BEST:: SOT 179161 SOS 75546 HAS SOPS 75546 HAS SOUS 52877 HAS SOUPS 52877 WITH SCORE 52952.546
AT ITER 1458 NEW BEST:: SOT 179122 SOS 75520 HAS SOPS 75520 HAS SOUS 52851 HAS SOUPS 52851 WITH SCORE 52926.52
AT ITER 1462 NEW BEST:: SOT 179083 SOS 75519 HAS SOPS 75519 HAS SOUS 52850 HAS SOUPS 52850 WITH SCORE 52925.519
AT ITER 1468 NEW BEST:: SOT 178968 SOS 75404 HAS SOPS 75404 HAS SOUS 52850 HAS SOUPS 52850 WITH SCORE 52925.404
AT ITER 1475 NEW BEST:: SOT 178963 SOS 75394 HAS SOPS 75394 HAS SOUS 52840 HAS SOUPS 52840 WITH SCORE 52915.394
AT ITER 1481 NEW BEST:: SOT 178956 SOS 75433 HAS SOPS 75433 HAS SOUS 52820 HAS SOUPS 52820 WITH SCORE 52895.433
AT ITER 1482 NEW BEST:: SOT 178955 SOS 75431 HAS SOPS 75431 HAS SOUS 52818 HAS SOUPS 52818 WITH SCORE 52893.431
AT ITER 1509 NEW BEST:: SOT 178907 SOS 75363 HAS SOPS 75363 HAS SOUS 52804 HAS SOUPS 52804 WITH SCORE 52879.363
AT ITER 1515 NEW BEST:: SOT 178870 SOS 75226 HAS SOPS 75226 HAS SOUS 52667 HAS SOUPS 52667 WITH SCORE 52742.226
AT ITER 1525 NEW BEST:: SOT 178844 SOS 75174 HAS SOPS 75174 HAS SOUS 52615 HAS SOUPS 52615 WITH SCORE 52690.174
AT ITER 1540 NEW BEST:: SOT 178846 SOS 75178 HAS SOPS 75178 HAS SOUS 52594 HAS SOUPS 52594 WITH SCORE 52669.178
AT ITER 1543 NEW BEST:: SOT 178764 SOS 75096 HAS SOPS 75096 HAS SOUS 52587 HAS SOUPS 52587 WITH SCORE 52662.096
AT ITER 1554 NEW BEST:: SOT 177972 SOS 74166 HAS SOPS 74166 HAS SOUS 51657 HAS SOUPS 51657 WITH SCORE 51731.166
AT ITER 1566 NEW BEST:: SOT 177948 SOS 74142 HAS SOPS 74142 HAS SOUS 51645 HAS SOUPS 51645 WITH SCORE 51719.142
AT ITER 1573 NEW BEST:: SOT 177924 SOS 74128 HAS SOPS 74128 HAS SOUS 51613 HAS SOUPS 51613 WITH SCORE 51687.128
AT ITER 1579 NEW BEST:: SOT 177903 SOS 74086 HAS SOPS 74086 HAS SOUS 51571 HAS SOUPS 51571 WITH SCORE 51645.086
AT ITER 1580 NEW BEST:: SOT 177901 SOS 74082 HAS SOPS 74082 HAS SOUS 51567 HAS SOUPS 51567 WITH SCORE 51641.082
AT ITER 1582 NEW BEST:: SOT 177876 SOS 74095 HAS SOPS 74095 HAS SOUS 51562 HAS SOUPS 51562 WITH SCORE 51636.095
AT ITER 1586 NEW BEST:: SOT 177862 SOS 74079 HAS SOPS 74079 HAS SOUS 51546 HAS SOUPS 51546 WITH SCORE 51620.079
AT ITER 1596 NEW BEST:: SOT 177822 SOS 74037 HAS SOPS 74037 HAS SOUS 51339 HAS SOUPS 51339 WITH SCORE 51413.037
AT ITER 1597 NEW BEST:: SOT 177674 SOS 73826 HAS SOPS 73826 HAS SOUS 51213 HAS SOUPS 51213 WITH SCORE 51286.826
AT ITER 1601 NEW BEST:: SOT 177619 SOS 73734 HAS SOPS 73734 HAS SOUS 51121 HAS SOUPS 51121 WITH SCORE 51194.734
AT ITER 1605 NEW BEST:: SOT 177610 SOS 73725 HAS SOPS 73725 HAS SOUS 51112 HAS SOUPS 51112 WITH SCORE 51185.725
AT ITER 1616 NEW BEST:: SOT 177601 SOS 73705 HAS SOPS 73705 HAS SOUS 51104 HAS SOUPS 51104 WITH SCORE 51177.705
AT ITER 1628 NEW BEST:: SOT 177588 SOS 73692 HAS SOPS 73692 HAS SOUS 51091 HAS SOUPS 51091 WITH SCORE 51164.692
AT ITER 1630 NEW BEST:: SOT 177610 SOS 73736 HAS SOPS 73736 HAS SOUS 51079 HAS SOUPS 51079 WITH SCORE 51152.736
AT ITER 1635 NEW BEST:: SOT 177594 SOS 73720 HAS SOPS 73720 HAS SOUS 51079 HAS SOUPS 51079 WITH SCORE 51152.72
AT ITER 1668 NEW BEST:: SOT 177437 SOS 73563 HAS SOPS 73563 HAS SOUS 51079 HAS SOUPS 51079 WITH SCORE 51152.563
AT ITER 1672 NEW BEST:: SOT 177111 SOS 65455 HAS SOPS 65455 HAS SOUS 50731 HAS SOUPS 50731 WITH SCORE 50796.455
AT ITER 1682 NEW BEST:: SOT 177067 SOS 65447 HAS SOPS 65447 HAS SOUS 50723 HAS SOUPS 50723 WITH SCORE 50788.447
AT ITER 1685 NEW BEST:: SOT 177003 SOS 65383 HAS SOPS 65383 HAS SOUS 50721 HAS SOUPS 50721 WITH SCORE 50786.383
AT ITER 1689 NEW BEST:: SOT 177173 SOS 65309 HAS SOPS 65309 HAS SOUS 50692 HAS SOUPS 50692 WITH SCORE 50757.309
AT ITER 1690 NEW BEST:: SOT 177137 SOS 65273 HAS SOPS 65273 HAS SOUS 50692 HAS SOUPS 50692 WITH SCORE 50757.273
AT ITER 1696 NEW BEST:: SOT 177118 SOS 65235 HAS SOPS 65235 HAS SOUS 50654 HAS SOUPS 50654 WITH SCORE 50719.235
AT ITER 1716 NEW BEST:: SOT 177157 SOS 65077 HAS SOPS 65077 HAS SOUS 50496 HAS SOUPS 50496 WITH SCORE 50561.077
AT ITER 1725 NEW BEST:: SOT 177147 SOS 65057 HAS SOPS 65057 HAS SOUS 50486 HAS SOUPS 50486 WITH SCORE 50551.057
AT ITER 1746 NEW BEST:: SOT 177141 SOS 65051 HAS SOPS 65051 HAS SOUS 50480 HAS SOUPS 50480 WITH SCORE 50545.051
AT ITER 1751 NEW BEST:: SOT 177026 SOS 64967 HAS SOPS 64967 HAS SOUS 50396 HAS SOUPS 50396 WITH SCORE 50460.967
AT ITER 1773 NEW BEST:: SOT 177026 SOS 64956 HAS SOPS 64956 HAS SOUS 50385 HAS SOUPS 50385 WITH SCORE 50449.956
AT ITER 1776 NEW BEST:: SOT 177026 SOS 64948 HAS SOPS 64948 HAS SOUS 50385 HAS SOUPS 50385 WITH SCORE 50449.948
AT ITER 1778 NEW BEST:: SOT 176962 SOS 64884 HAS SOPS 64884 HAS SOUS 50374 HAS SOUPS 50374 WITH SCORE 50438.884
AT ITER 1779 NEW BEST:: SOT 176955 SOS 64877 HAS SOPS 64877 HAS SOUS 50367 HAS SOUPS 50367 WITH SCORE 50431.877
AT ITER 1786 NEW BEST:: SOT 176876 SOS 64719 HAS SOPS 64719 HAS SOUS 50329 HAS SOUPS 50329 WITH SCORE 50393.719
AT ITER 1799 NEW BEST:: SOT 176902 SOS 64555 HAS SOPS 64555 HAS SOUS 50211 HAS SOUPS 50211 WITH SCORE 50275.555
AT ITER 1804 NEW BEST:: SOT 176853 SOS 64379 HAS SOPS 64379 HAS SOUS 50094 HAS SOUPS 50094 WITH SCORE 50158.379
AT ITER 1818 NEW BEST:: SOT 176825 SOS 64351 HAS SOPS 64351 HAS SOUS 50066 HAS SOUPS 50066 WITH SCORE 50130.351
AT ITER 1822 NEW BEST:: SOT 176847 SOS 64284 HAS SOPS 64284 HAS SOUS 49999 HAS SOUPS 49999 WITH SCORE 50063.284
AT ITER 1839 NEW BEST:: SOT 176847 SOS 64283 HAS SOPS 64283 HAS SOUS 49998 HAS SOUPS 49998 WITH SCORE 50062.283
AT ITER 1840 NEW BEST:: SOT 176836 SOS 64261 HAS SOPS 64261 HAS SOUS 49976 HAS SOUPS 49976 WITH SCORE 50040.261
AT ITER 1844 NEW BEST:: SOT 176103 SOS 63465 HAS SOPS 63465 HAS SOUS 49180 HAS SOUPS 49180 WITH SCORE 49243.465
AT ITER 1863 NEW BEST:: SOT 176091 SOS 63306 HAS SOPS 63306 HAS SOUS 49030 HAS SOUPS 49030 WITH SCORE 49093.306
AT ITER 1865 NEW BEST:: SOT 176060 SOS 63244 HAS SOPS 63244 HAS SOUS 49014 HAS SOUPS 49014 WITH SCORE 49077.244
AT ITER 1885 NEW BEST:: SOT 176027 SOS 63200 HAS SOPS 63200 HAS SOUS 48970 HAS SOUPS 48970 WITH SCORE 49033.2
AT ITER 1904 NEW BEST:: SOT 176026 SOS 63199 HAS SOPS 63199 HAS SOUS 48969 HAS SOUPS 48969 WITH SCORE 49032.199
AT ITER 1911 NEW BEST:: SOT 175350 SOS 63703 HAS SOPS 63703 HAS SOUS 48489 HAS SOUPS 48489 WITH SCORE 48552.703
AT ITER 1920 NEW BEST:: SOT 175064 SOS 63431 HAS SOPS 63431 HAS SOUS 48217 HAS SOUPS 48217 WITH SCORE 48280.431
AT ITER 1921 NEW BEST:: SOT 175015 SOS 63379 HAS SOPS 63379 HAS SOUS 48162 HAS SOUPS 48162 WITH SCORE 48225.379
AT ITER 1932 NEW BEST:: SOT 174898 SOS 63301 HAS SOPS 63301 HAS SOUS 48084 HAS SOUPS 48084 WITH SCORE 48147.301
AT ITER 1942 NEW BEST:: SOT 174890 SOS 63307 HAS SOPS 63307 HAS SOUS 48080 HAS SOUPS 48080 WITH SCORE 48143.307
AT ITER 1955 NEW BEST:: SOT 174889 SOS 63305 HAS SOPS 63305 HAS SOUS 48078 HAS SOUPS 48078 WITH SCORE 48141.305
AT ITER 1962 NEW BEST:: SOT 174774 SOS 63262 HAS SOPS 63262 HAS SOUS 48035 HAS SOUPS 48035 WITH SCORE 48098.262
AT ITER 1996 NEW BEST:: SOT 174844 SOS 63329 HAS SOPS 63329 HAS SOUS 48032 HAS SOUPS 48032 WITH SCORE 48095.329
AT ITER 2008 NEW BEST:: SOT 174752 SOS 63257 HAS SOPS 63257 HAS SOUS 47885 HAS SOUPS 47885 WITH SCORE 47948.257
AT ITER 2024 NEW BEST:: SOT 174676 SOS 63105 HAS SOPS 63105 HAS SOUS 47809 HAS SOUPS 47809 WITH SCORE 47872.105
AT ITER 2064 NEW BEST:: SOT 174595 SOS 62970 HAS SOPS 62970 HAS SOUS 47674 HAS SOUPS 47674 WITH SCORE 47736.97
AT ITER 2065 NEW BEST:: SOT 174587 SOS 62954 HAS SOPS 62954 HAS SOUS 47658 HAS SOUPS 47658 WITH SCORE 47720.954
AT ITER 2078 NEW BEST:: SOT 174568 SOS 62878 HAS SOPS 62878 HAS SOUS 47582 HAS SOUPS 47582 WITH SCORE 47644.878
AT ITER 2081 NEW BEST:: SOT 174568 SOS 62871 HAS SOPS 62871 HAS SOUS 47575 HAS SOUPS 47575 WITH SCORE 47637.871
AT ITER 2084 NEW BEST:: SOT 174468 SOS 62703 HAS SOPS 62703 HAS SOUS 47507 HAS SOUPS 47507 WITH SCORE 47569.703
AT ITER 2092 NEW BEST:: SOT 174418 SOS 62603 HAS SOPS 62603 HAS SOUS 47496 HAS SOUPS 47496 WITH SCORE 47558.603
AT ITER 2115 NEW BEST:: SOT 174432 SOS 62567 HAS SOPS 62567 HAS SOUS 47460 HAS SOUPS 47460 WITH SCORE 47522.567
AT ITER 2130 NEW BEST:: SOT 174388 SOS 62501 HAS SOPS 62501 HAS SOUS 47394 HAS SOUPS 47394 WITH SCORE 47456.501
AT ITER 2139 NEW BEST:: SOT 174351 SOS 62421 HAS SOPS 62421 HAS SOUS 47384 HAS SOUPS 47384 WITH SCORE 47446.421
AT ITER 2149 NEW BEST:: SOT 174321 SOS 62373 HAS SOPS 62373 HAS SOUS 47339 HAS SOUPS 47339 WITH SCORE 47401.373
AT ITER 2150 NEW BEST:: SOT 174309 SOS 62318 HAS SOPS 62318 HAS SOUS 47294 HAS SOUPS 47294 WITH SCORE 47356.318
AT ITER 2159 NEW BEST:: SOT 174223 SOS 62221 HAS SOPS 62221 HAS SOUS 47277 HAS SOUPS 47277 WITH SCORE 47339.221
AT ITER 2179 NEW BEST:: SOT 174204 SOS 62227 HAS SOPS 62227 HAS SOUS 47260 HAS SOUPS 47260 WITH SCORE 47322.227
AT ITER 2193 NEW BEST:: SOT 174204 SOS 62221 HAS SOPS 62221 HAS SOUS 47248 HAS SOUPS 47248 WITH SCORE 47310.221
AT ITER 2216 NEW BEST:: SOT 174149 SOS 62207 HAS SOPS 62207 HAS SOUS 47218 HAS SOUPS 47218 WITH SCORE 47280.207
AT ITER 2219 NEW BEST:: SOT 174149 SOS 62193 HAS SOPS 62193 HAS SOUS 47218 HAS SOUPS 47218 WITH SCORE 47280.193
AT ITER 2223 NEW BEST:: SOT 174142 SOS 62179 HAS SOPS 62179 HAS SOUS 47204 HAS SOUPS 47204 WITH SCORE 47266.179
AT ITER 2226 NEW BEST:: SOT 174139 SOS 62165 HAS SOPS 62165 HAS SOUS 47179 HAS SOUPS 47179 WITH SCORE 47241.165
AT ITER 2263 NEW BEST:: SOT 174137 SOS 62162 HAS SOPS 62162 HAS SOUS 47176 HAS SOUPS 47176 WITH SCORE 47238.162
AT ITER 2295 NEW BEST:: SOT 174065 SOS 62018 HAS SOPS 62018 HAS SOUS 47032 HAS SOUPS 47032 WITH SCORE 47094.018
AT ITER 2321 NEW BEST:: SOT 173845 SOS 61797 HAS SOPS 61797 HAS SOUS 47031 HAS SOUPS 47031 WITH SCORE 47092.797
AT ITER 2352 NEW BEST:: SOT 173581 SOS 61517 HAS SOPS 61517 HAS SOUS 47005 HAS SOUPS 47005 WITH SCORE 47066.517
AT ITER 2364 NEW BEST:: SOT 173580 SOS 61515 HAS SOPS 61515 HAS SOUS 47003 HAS SOUPS 47003 WITH SCORE 47064.515
AT ITER 2371 NEW BEST:: SOT 173580 SOS 61515 HAS SOPS 61515 HAS SOUS 47000 HAS SOUPS 47000 WITH SCORE 47061.515
AT ITER 2375 NEW BEST:: SOT 173569 SOS 61482 HAS SOPS 61482 HAS SOUS 46978 HAS SOUPS 46978 WITH SCORE 47039.482
AT ITER 2392 NEW BEST:: SOT 173546 SOS 61436 HAS SOPS 61436 HAS SOUS 46919 HAS SOUPS 46919 WITH SCORE 46980.436
AT ITER 2402 NEW BEST:: SOT 173550 SOS 61418 HAS SOPS 61418 HAS SOUS 46901 HAS SOUPS 46901 WITH SCORE 46962.418
AT ITER 2411 NEW BEST:: SOT 173602 SOS 61428 HAS SOPS 61428 HAS SOUS 46882 HAS SOUPS 46882 WITH SCORE 46943.428
AT ITER 2414 NEW BEST:: SOT 173564 SOS 61393 HAS SOPS 61393 HAS SOUS 46847 HAS SOUPS 46847 WITH SCORE 46908.393
AT ITER 2415 NEW BEST:: SOT 173412 SOS 61199 HAS SOPS 61199 HAS SOUS 46654 HAS SOUPS 46654 WITH SCORE 46715.199
AT ITER 2454 NEW BEST:: SOT 173412 SOS 61198 HAS SOPS 61198 HAS SOUS 46654 HAS SOUPS 46654 WITH SCORE 46715.198
AT ITER 2455 NEW BEST:: SOT 173383 SOS 61169 HAS SOPS 61169 HAS SOUS 46649 HAS SOUPS 46649 WITH SCORE 46710.169
AT ITER 2490 NEW BEST:: SOT 173380 SOS 61109 HAS SOPS 61109 HAS SOUS 46589 HAS SOUPS 46589 WITH SCORE 46650.109
AT ITER 2508 NEW BEST:: SOT 173380 SOS 60954 HAS SOPS 60954 HAS SOUS 46434 HAS SOUPS 46434 WITH SCORE 46494.954
AT ITER 2510 NEW BEST:: SOT 173380 SOS 60939 HAS SOPS 60939 HAS SOUS 46419 HAS SOUPS 46419 WITH SCORE 46479.939
AT ITER 2539 NEW BEST:: SOT 173247 SOS 60806 HAS SOPS 60806 HAS SOUS 46419 HAS SOUPS 46419 WITH SCORE 46479.806
AT ITER 2559 NEW BEST:: SOT 173243 SOS 60802 HAS SOPS 60802 HAS SOUS 46415 HAS SOUPS 46415 WITH SCORE 46475.802
AT ITER 2562 NEW BEST:: SOT 173238 SOS 60797 HAS SOPS 60797 HAS SOUS 46410 HAS SOUPS 46410 WITH SCORE 46470.797
AT ITER 2565 NEW BEST:: SOT 173200 SOS 60741 HAS SOPS 60741 HAS SOUS 46354 HAS SOUPS 46354 WITH SCORE 46414.741
AT ITER 2574 NEW BEST:: SOT 173200 SOS 60729 HAS SOPS 60729 HAS SOUS 46342 HAS SOUPS 46342 WITH SCORE 46402.729
AT ITER 2576 NEW BEST:: SOT 173209 SOS 60738 HAS SOPS 60738 HAS SOUS 46315 HAS SOUPS 46315 WITH SCORE 46375.738
AT ITER 2584 NEW BEST:: SOT 173133 SOS 60398 HAS SOPS 60398 HAS SOUS 45975 HAS SOUPS 45975 WITH SCORE 46035.398
AT ITER 2590 NEW BEST:: SOT 173104 SOS 60340 HAS SOPS 60340 HAS SOUS 45946 HAS SOUPS 45946 WITH SCORE 46006.34
AT ITER 2604 NEW BEST:: SOT 173032 SOS 60268 HAS SOPS 60268 HAS SOUS 45874 HAS SOUPS 45874 WITH SCORE 45934.268
AT ITER 2607 NEW BEST:: SOT 173030 SOS 60266 HAS SOPS 60266 HAS SOUS 45872 HAS SOUPS 45872 WITH SCORE 45932.266
AT ITER 2621 NEW BEST:: SOT 173004 SOS 60214 HAS SOPS 60214 HAS SOUS 45820 HAS SOUPS 45820 WITH SCORE 45880.214
AT ITER 2639 NEW BEST:: SOT 173003 SOS 60212 HAS SOPS 60212 HAS SOUS 45818 HAS SOUPS 45818 WITH SCORE 45878.212
AT ITER 2649 NEW BEST:: SOT 172971 SOS 60179 HAS SOPS 60179 HAS SOUS 45785 HAS SOUPS 45785 WITH SCORE 45845.179
AT ITER 2651 NEW BEST:: SOT 172951 SOS 60139 HAS SOPS 60139 HAS SOUS 45745 HAS SOUPS 45745 WITH SCORE 45805.139
AT ITER 2677 NEW BEST:: SOT 172947 SOS 60138 HAS SOPS 60138 HAS SOUS 45744 HAS SOUPS 45744 WITH SCORE 45804.138
AT ITER 2681 NEW BEST:: SOT 172947 SOS 60133 HAS SOPS 60133 HAS SOUS 45739 HAS SOUPS 45739 WITH SCORE 45799.133
AT ITER 2682 NEW BEST:: SOT 172947 SOS 60020 HAS SOPS 60020 HAS SOUS 45661 HAS SOUPS 45661 WITH SCORE 45721.02
AT ITER 2696 NEW BEST:: SOT 172947 SOS 59979 HAS SOPS 59979 HAS SOUS 45633 HAS SOUPS 45633 WITH SCORE 45692.979
AT ITER 2697 NEW BEST:: SOT 172941 SOS 59967 HAS SOPS 59967 HAS SOUS 45596 HAS SOUPS 45596 WITH SCORE 45655.967
AT ITER 2705 NEW BEST:: SOT 172931 SOS 59947 HAS SOPS 59947 HAS SOUS 45586 HAS SOUPS 45586 WITH SCORE 45645.947
AT ITER 2725 NEW BEST:: SOT 172956 SOS 59911 HAS SOPS 59911 HAS SOUS 45580 HAS SOUPS 45580 WITH SCORE 45639.911
AT ITER 2735 NEW BEST:: SOT 172893 SOS 59878 HAS SOPS 59878 HAS SOUS 45547 HAS SOUPS 45547 WITH SCORE 45606.878
AT ITER 2739 NEW BEST:: SOT 172881 SOS 59842 HAS SOPS 59842 HAS SOUS 45523 HAS SOUPS 45523 WITH SCORE 45582.842
AT ITER 2745 NEW BEST:: SOT 172895 SOS 59816 HAS SOPS 59816 HAS SOUS 45427 HAS SOUPS 45427 WITH SCORE 45486.816
AT ITER 2755 NEW BEST:: SOT 172722 SOS 59643 HAS SOPS 59643 HAS SOUS 45337 HAS SOUPS 45337 WITH SCORE 45396.643
AT ITER 2782 NEW BEST:: SOT 172470 SOS 59496 HAS SOPS 59496 HAS SOUS 45190 HAS SOUPS 45190 WITH SCORE 45249.496
AT ITER 2796 NEW BEST:: SOT 172380 SOS 59406 HAS SOPS 59406 HAS SOUS 45190 HAS SOUPS 45190 WITH SCORE 45249.406
AT ITER 2801 NEW BEST:: SOT 172326 SOS 59337 HAS SOPS 59337 HAS SOUS 45160 HAS SOUPS 45160 WITH SCORE 45219.337
AT ITER 2817 NEW BEST:: SOT 172313 SOS 59324 HAS SOPS 59324 HAS SOUS 45147 HAS SOUPS 45147 WITH SCORE 45206.324
AT ITER 2841 NEW BEST:: SOT 172308 SOS 59314 HAS SOPS 59314 HAS SOUS 45142 HAS SOUPS 45142 WITH SCORE 45201.314
AT ITER 2844 NEW BEST:: SOT 172296 SOS 59290 HAS SOPS 59290 HAS SOUS 45033 HAS SOUPS 45033 WITH SCORE 45092.29
AT ITER 2847 NEW BEST:: SOT 172221 SOS 59258 HAS SOPS 59258 HAS SOUS 44955 HAS SOUPS 44955 WITH SCORE 45014.258
AT ITER 2863 NEW BEST:: SOT 172221 SOS 59245 HAS SOPS 59245 HAS SOUS 44942 HAS SOUPS 44942 WITH SCORE 45001.245
AT ITER 2865 NEW BEST:: SOT 172091 SOS 58943 HAS SOPS 58943 HAS SOUS 44677 HAS SOUPS 44677 WITH SCORE 44735.943
AT ITER 2872 NEW BEST:: SOT 172069 SOS 58921 HAS SOPS 58921 HAS SOUS 44655 HAS SOUPS 44655 WITH SCORE 44713.921
AT ITER 2890 NEW BEST:: SOT 172069 SOS 58915 HAS SOPS 58915 HAS SOUS 44649 HAS SOUPS 44649 WITH SCORE 44707.915
AT ITER 2897 NEW BEST:: SOT 172136 SOS 58878 HAS SOPS 58878 HAS SOUS 44627 HAS SOUPS 44627 WITH SCORE 44685.878
AT ITER 2936 NEW BEST:: SOT 172126 SOS 58848 HAS SOPS 58848 HAS SOUS 44597 HAS SOUPS 44597 WITH SCORE 44655.848
AT ITER 2955 NEW BEST:: SOT 172120 SOS 58842 HAS SOPS 58842 HAS SOUS 44590 HAS SOUPS 44590 WITH SCORE 44648.842
AT ITER 2957 NEW BEST:: SOT 172111 SOS 58819 HAS SOPS 58819 HAS SOUS 44567 HAS SOUPS 44567 WITH SCORE 44625.819
AT ITER 2962 NEW BEST:: SOT 172094 SOS 58802 HAS SOPS 58802 HAS SOUS 44567 HAS SOUPS 44567 WITH SCORE 44625.802
AT ITER 2994 NEW BEST:: SOT 172214 SOS 58916 HAS SOPS 58916 HAS SOUS 44539 HAS SOUPS 44539 WITH SCORE 44597.916
AT ITER 3005 NEW BEST:: SOT 172207 SOS 58875 HAS SOPS 58875 HAS SOUS 44514 HAS SOUPS 44514 WITH SCORE 44572.875
AT ITER 3006 NEW BEST:: SOT 172191 SOS 58878 HAS SOPS 58878 HAS SOUS 44503 HAS SOUPS 44503 WITH SCORE 44561.878
AT ITER 3008 NEW BEST:: SOT 172177 SOS 58859 HAS SOPS 58859 HAS SOUS 44484 HAS SOUPS 44484 WITH SCORE 44542.859
AT ITER 3011 NEW BEST:: SOT 172175 SOS 58855 HAS SOPS 58855 HAS SOUS 44480 HAS SOUPS 44480 WITH SCORE 44538.855
AT ITER 3014 NEW BEST:: SOT 172147 SOS 58783 HAS SOPS 58783 HAS SOUS 44421 HAS SOUPS 44421 WITH SCORE 44479.783
AT ITER 3018 NEW BEST:: SOT 172192 SOS 58761 HAS SOPS 58761 HAS SOUS 44354 HAS SOUPS 44354 WITH SCORE 44412.761
AT ITER 3023 NEW BEST:: SOT 172162 SOS 58701 HAS SOPS 58701 HAS SOUS 44294 HAS SOUPS 44294 WITH SCORE 44352.701
AT ITER 3033 NEW BEST:: SOT 172162 SOS 58701 HAS SOPS 58701 HAS SOUS 44257 HAS SOUPS 44257 WITH SCORE 44315.701
AT ITER 3081 NEW BEST:: SOT 171956 SOS 58289 HAS SOPS 58289 HAS SOUS 43982 HAS SOUPS 43982 WITH SCORE 44040.289
AT ITER 3113 NEW BEST:: SOT 171956 SOS 58271 HAS SOPS 58271 HAS SOUS 43964 HAS SOUPS 43964 WITH SCORE 44022.271
AT ITER 3134 NEW BEST:: SOT 171890 SOS 58233 HAS SOPS 58233 HAS SOUS 43926 HAS SOUPS 43926 WITH SCORE 43984.233
AT ITER 3137 NEW BEST:: SOT 171892 SOS 58202 HAS SOPS 58202 HAS SOUS 43895 HAS SOUPS 43895 WITH SCORE 43953.202
AT ITER 3140 NEW BEST:: SOT 171888 SOS 58113 HAS SOPS 58113 HAS SOUS 43806 HAS SOUPS 43806 WITH SCORE 43864.113
AT ITER 3176 NEW BEST:: SOT 171876 SOS 58053 HAS SOPS 58053 HAS SOUS 43746 HAS SOUPS 43746 WITH SCORE 43804.053
AT ITER 3218 NEW BEST:: SOT 171858 SOS 58035 HAS SOPS 58035 HAS SOUS 43710 HAS SOUPS 43710 WITH SCORE 43768.035
AT ITER 3239 NEW BEST:: SOT 171756 SOS 57831 HAS SOPS 57831 HAS SOUS 43687 HAS SOUPS 43687 WITH SCORE 43744.831
AT ITER 3240 NEW BEST:: SOT 171756 SOS 57831 HAS SOPS 57831 HAS SOUS 43685 HAS SOUPS 43685 WITH SCORE 43742.831
AT ITER 3242 NEW BEST:: SOT 171683 SOS 57738 HAS SOPS 57738 HAS SOUS 43681 HAS SOUPS 43681 WITH SCORE 43738.738
AT ITER 3256 NEW BEST:: SOT 171674 SOS 57729 HAS SOPS 57729 HAS SOUS 43681 HAS SOUPS 43681 WITH SCORE 43738.729
AT ITER 3291 NEW BEST:: SOT 171596 SOS 57649 HAS SOPS 57649 HAS SOUS 43614 HAS SOUPS 43614 WITH SCORE 43671.649
AT ITER 3301 NEW BEST:: SOT 171588 SOS 57633 HAS SOPS 57633 HAS SOUS 43586 HAS SOUPS 43586 WITH SCORE 43643.633
AT ITER 3312 NEW BEST:: SOT 171619 SOS 57632 HAS SOPS 57632 HAS SOUS 43585 HAS SOUPS 43585 WITH SCORE 43642.632
AT ITER 3326 NEW BEST:: SOT 171614 SOS 57627 HAS SOPS 57627 HAS SOUS 43580 HAS SOUPS 43580 WITH SCORE 43637.627
AT ITER 3334 NEW BEST:: SOT 171609 SOS 57544 HAS SOPS 57544 HAS SOUS 43567 HAS SOUPS 43567 WITH SCORE 43624.544
AT ITER 3346 NEW BEST:: SOT 171218 SOS 57152 HAS SOPS 57152 HAS SOUS 43175 HAS SOUPS 43175 WITH SCORE 43232.152
AT ITER 3375 NEW BEST:: SOT 171183 SOS 57072 HAS SOPS 57072 HAS SOUS 43095 HAS SOUPS 43095 WITH SCORE 43152.072
AT ITER 3384 NEW BEST:: SOT 171159 SOS 57049 HAS SOPS 57049 HAS SOUS 43016 HAS SOUPS 43016 WITH SCORE 43073.049
AT ITER 3387 NEW BEST:: SOT 171159 SOS 56994 HAS SOPS 56994 HAS SOUS 43014 HAS SOUPS 43014 WITH SCORE 43070.994
AT ITER 3407 NEW BEST:: SOT 171172 SOS 57025 HAS SOPS 57025 HAS SOUS 43008 HAS SOUPS 43008 WITH SCORE 43065.025
AT ITER 3436 NEW BEST:: SOT 171183 SOS 56969 HAS SOPS 56969 HAS SOUS 42958 HAS SOUPS 42958 WITH SCORE 43014.969
AT ITER 3440 NEW BEST:: SOT 171176 SOS 56955 HAS SOPS 56955 HAS SOUS 42942 HAS SOUPS 42942 WITH SCORE 42998.955
AT ITER 3441 NEW BEST:: SOT 171175 SOS 56951 HAS SOPS 56951 HAS SOUS 42938 HAS SOUPS 42938 WITH SCORE 42994.951
AT ITER 3451 NEW BEST:: SOT 171126 SOS 57011 HAS SOPS 57011 HAS SOUS 42924 HAS SOUPS 42924 WITH SCORE 42981.011
AT ITER 3468 NEW BEST:: SOT 171028 SOS 56947 HAS SOPS 56947 HAS SOUS 42860 HAS SOUPS 42860 WITH SCORE 42916.947
AT ITER 3499 NEW BEST:: SOT 170848 SOS 56648 HAS SOPS 56648 HAS SOUS 42803 HAS SOUPS 42803 WITH SCORE 42859.648
AT ITER 3530 NEW BEST:: SOT 170848 SOS 56648 HAS SOPS 56648 HAS SOUS 42794 HAS SOUPS 42794 WITH SCORE 42850.648
AT ITER 3532 NEW BEST:: SOT 170820 SOS 56620 HAS SOPS 56620 HAS SOUS 42766 HAS SOUPS 42766 WITH SCORE 42822.62
AT ITER 3536 NEW BEST:: SOT 170801 SOS 56602 HAS SOPS 56602 HAS SOUS 42721 HAS SOUPS 42721 WITH SCORE 42777.602
AT ITER 3547 NEW BEST:: SOT 170743 SOS 56518 HAS SOPS 56518 HAS SOUS 42702 HAS SOUPS 42702 WITH SCORE 42758.518
AT ITER 3553 NEW BEST:: SOT 170740 SOS 56515 HAS SOPS 56515 HAS SOUS 42699 HAS SOUPS 42699 WITH SCORE 42755.515
AT ITER 3558 NEW BEST:: SOT 170740 SOS 56498 HAS SOPS 56498 HAS SOUS 42682 HAS SOUPS 42682 WITH SCORE 42738.498
AT ITER 3620 NEW BEST:: SOT 170737 SOS 56495 HAS SOPS 56495 HAS SOUS 42679 HAS SOUPS 42679 WITH SCORE 42735.495
AT ITER 3656 NEW BEST:: SOT 170706 SOS 56588 HAS SOPS 56588 HAS SOUS 42648 HAS SOUPS 42648 WITH SCORE 42704.588
AT ITER 3687 NEW BEST:: SOT 170706 SOS 56588 HAS SOPS 56588 HAS SOUS 42575 HAS SOUPS 42575 WITH SCORE 42631.588
AT ITER 3691 NEW BEST:: SOT 170763 SOS 54392 HAS SOPS 54392 HAS SOUS 42558 HAS SOUPS 42558 WITH SCORE 42612.392
AT ITER 3737 NEW BEST:: SOT 170771 SOS 54384 HAS SOPS 54384 HAS SOUS 42550 HAS SOUPS 42550 WITH SCORE 42604.384
AT ITER 3742 NEW BEST:: SOT 170761 SOS 54364 HAS SOPS 54364 HAS SOUS 42530 HAS SOUPS 42530 WITH SCORE 42584.364
AT ITER 3759 NEW BEST:: SOT 170760 SOS 54306 HAS SOPS 54306 HAS SOUS 42529 HAS SOUPS 42529 WITH SCORE 42583.306
AT ITER 3776 NEW BEST:: SOT 170755 SOS 54291 HAS SOPS 54291 HAS SOUS 42514 HAS SOUPS 42514 WITH SCORE 42568.291
AT ITER 3779 NEW BEST:: SOT 170753 SOS 54287 HAS SOPS 54287 HAS SOUS 42510 HAS SOUPS 42510 WITH SCORE 42564.287
AT ITER 3780 NEW BEST:: SOT 170753 SOS 54277 HAS SOPS 54277 HAS SOUS 42500 HAS SOUPS 42500 WITH SCORE 42554.277
AT ITER 3798 NEW BEST:: SOT 170753 SOS 54277 HAS SOPS 54277 HAS SOUS 42449 HAS SOUPS 42449 WITH SCORE 42503.277
AT ITER 3809 NEW BEST:: SOT 170735 SOS 54259 HAS SOPS 54259 HAS SOUS 42431 HAS SOUPS 42431 WITH SCORE 42485.259
AT ITER 3826 NEW BEST:: SOT 170733 SOS 54255 HAS SOPS 54255 HAS SOUS 42427 HAS SOUPS 42427 WITH SCORE 42481.255
AT ITER 3847 NEW BEST:: SOT 170633 SOS 53345 HAS SOPS 53345 HAS SOUS 42194 HAS SOUPS 42194 WITH SCORE 42247.345
AT ITER 3855 NEW BEST:: SOT 170627 SOS 53339 HAS SOPS 53339 HAS SOUS 42194 HAS SOUPS 42194 WITH SCORE 42247.339
AT ITER 3862 NEW BEST:: SOT 169897 SOS 52605 HAS SOPS 52605 HAS SOUS 41526 HAS SOUPS 41526 WITH SCORE 41578.605
AT ITER 3883 NEW BEST:: SOT 169897 SOS 52579 HAS SOPS 52579 HAS SOUS 41500 HAS SOUPS 41500 WITH SCORE 41552.579
AT ITER 3889 NEW BEST:: SOT 169896 SOS 52578 HAS SOPS 52578 HAS SOUS 41499 HAS SOUPS 41499 WITH SCORE 41551.578
AT ITER 3903 NEW BEST:: SOT 169911 SOS 52593 HAS SOPS 52593 HAS SOUS 41494 HAS SOUPS 41494 WITH SCORE 41546.593
AT ITER 3930 NEW BEST:: SOT 169893 SOS 52557 HAS SOPS 52557 HAS SOUS 41458 HAS SOUPS 41458 WITH SCORE 41510.557
AT ITER 3939 NEW BEST:: SOT 169971 SOS 52517 HAS SOPS 52517 HAS SOUS 41418 HAS SOUPS 41418 WITH SCORE 41470.517
AT ITER 3952 NEW BEST:: SOT 169968 SOS 52506 HAS SOPS 52506 HAS SOUS 41407 HAS SOUPS 41407 WITH SCORE 41459.506
AT ITER 3970 NEW BEST:: SOT 169993 SOS 52477 HAS SOPS 52477 HAS SOUS 41378 HAS SOUPS 41378 WITH SCORE 41430.477
AT ITER 3980 NEW BEST:: SOT 169987 SOS 52473 HAS SOPS 52473 HAS SOUS 41374 HAS SOUPS 41374 WITH SCORE 41426.473
AT ITER 3994 NEW BEST:: SOT 169985 SOS 52452 HAS SOPS 52452 HAS SOUS 41353 HAS SOUPS 41353 WITH SCORE 41405.452
AT ITER 4036 NEW BEST:: SOT 169814 SOS 52263 HAS SOPS 52263 HAS SOUS 41166 HAS SOUPS 41166 WITH SCORE 41218.263
AT ITER 4042 NEW BEST:: SOT 169783 SOS 52223 HAS SOPS 52223 HAS SOUS 41126 HAS SOUPS 41126 WITH SCORE 41178.223
AT ITER 4046 NEW BEST:: SOT 169792 SOS 52218 HAS SOPS 52218 HAS SOUS 41121 HAS SOUPS 41121 WITH SCORE 41173.218
AT ITER 4053 NEW BEST:: SOT 169787 SOS 52203 HAS SOPS 52203 HAS SOUS 41106 HAS SOUPS 41106 WITH SCORE 41158.203
AT ITER 4091 NEW BEST:: SOT 169783 SOS 52195 HAS SOPS 52195 HAS SOUS 41098 HAS SOUPS 41098 WITH SCORE 41150.195
AT ITER 4100 NEW BEST:: SOT 169472 SOS 52185 HAS SOPS 52185 HAS SOUS 41088 HAS SOUPS 41088 WITH SCORE 41140.185
AT ITER 4154 NEW BEST:: SOT 169437 SOS 52170 HAS SOPS 52170 HAS SOUS 41073 HAS SOUPS 41073 WITH SCORE 41125.17
AT ITER 4164 NEW BEST:: SOT 169437 SOS 52142 HAS SOPS 52142 HAS SOUS 41059 HAS SOUPS 41059 WITH SCORE 41111.142
AT ITER 4169 NEW BEST:: SOT 169385 SOS 52043 HAS SOPS 52043 HAS SOUS 41051 HAS SOUPS 41051 WITH SCORE 41103.043
AT ITER 4174 NEW BEST:: SOT 169345 SOS 51963 HAS SOPS 51963 HAS SOUS 40971 HAS SOUPS 40971 WITH SCORE 41022.963
AT ITER 4175 NEW BEST:: SOT 169325 SOS 51903 HAS SOPS 51903 HAS SOUS 40911 HAS SOUPS 40911 WITH SCORE 40962.903
AT ITER 4199 NEW BEST:: SOT 169323 SOS 51899 HAS SOPS 51899 HAS SOUS 40907 HAS SOUPS 40907 WITH SCORE 40958.899
AT ITER 4213 NEW BEST:: SOT 169322 SOS 51872 HAS SOPS 51872 HAS SOUS 40880 HAS SOUPS 40880 WITH SCORE 40931.872
AT ITER 4262 NEW BEST:: SOT 169322 SOS 51856 HAS SOPS 51856 HAS SOUS 40848 HAS SOUPS 40848 WITH SCORE 40899.856
AT ITER 4317 NEW BEST:: SOT 169314 SOS 51804 HAS SOPS 51804 HAS SOUS 40840 HAS SOUPS 40840 WITH SCORE 40891.804
AT ITER 4318 NEW BEST:: SOT 169327 SOS 51520 HAS SOPS 51520 HAS SOUS 40835 HAS SOUPS 40835 WITH SCORE 40886.52
AT ITER 4321 NEW BEST:: SOT 169293 SOS 51494 HAS SOPS 51494 HAS SOUS 40809 HAS SOUPS 40809 WITH SCORE 40860.494
AT ITER 4322 NEW BEST:: SOT 169216 SOS 51444 HAS SOPS 51444 HAS SOUS 40745 HAS SOUPS 40745 WITH SCORE 40796.444
AT ITER 4339 NEW BEST:: SOT 169227 SOS 51405 HAS SOPS 51405 HAS SOUS 40718 HAS SOUPS 40718 WITH SCORE 40769.405
AT ITER 4365 NEW BEST:: SOT 169252 SOS 51373 HAS SOPS 51373 HAS SOUS 40717 HAS SOUPS 40717 WITH SCORE 40768.373
AT ITER 4401 NEW BEST:: SOT 169214 SOS 51338 HAS SOPS 51338 HAS SOUS 40646 HAS SOUPS 40646 WITH SCORE 40697.338
AT ITER 4432 NEW BEST:: SOT 169163 SOS 51253 HAS SOPS 51253 HAS SOUS 40578 HAS SOUPS 40578 WITH SCORE 40629.253
AT ITER 4433 NEW BEST:: SOT 169182 SOS 51244 HAS SOPS 51244 HAS SOUS 40569 HAS SOUPS 40569 WITH SCORE 40620.244
AT ITER 4442 NEW BEST:: SOT 169177 SOS 51240 HAS SOPS 51240 HAS SOUS 40565 HAS SOUPS 40565 WITH SCORE 40616.24
AT ITER 4472 NEW BEST:: SOT 169177 SOS 51233 HAS SOPS 51233 HAS SOUS 40551 HAS SOUPS 40551 WITH SCORE 40602.233
AT ITER 4480 NEW BEST:: SOT 169208 SOS 51199 HAS SOPS 51199 HAS SOUS 40517 HAS SOUPS 40517 WITH SCORE 40568.199
AT ITER 4491 NEW BEST:: SOT 169190 SOS 51145 HAS SOPS 51145 HAS SOUS 40481 HAS SOUPS 40481 WITH SCORE 40532.145
AT ITER 4493 NEW BEST:: SOT 169167 SOS 51121 HAS SOPS 51121 HAS SOUS 40457 HAS SOUPS 40457 WITH SCORE 40508.121
AT ITER 4500 NEW BEST:: SOT 169131 SOS 51085 HAS SOPS 51085 HAS SOUS 40337 HAS SOUPS 40337 WITH SCORE 40388.085
AT ITER 4506 NEW BEST:: SOT 169131 SOS 51079 HAS SOPS 51079 HAS SOUS 40337 HAS SOUPS 40337 WITH SCORE 40388.079
AT ITER 4509 NEW BEST:: SOT 169131 SOS 51066 HAS SOPS 51066 HAS SOUS 40324 HAS SOUPS 40324 WITH SCORE 40375.066
AT ITER 4517 NEW BEST:: SOT 169074 SOS 50997 HAS SOPS 50997 HAS SOUS 40267 HAS SOUPS 40267 WITH SCORE 40317.997
AT ITER 4529 NEW BEST:: SOT 169073 SOS 50996 HAS SOPS 50996 HAS SOUS 40264 HAS SOUPS 40264 WITH SCORE 40314.996
AT ITER 4550 NEW BEST:: SOT 169057 SOS 50964 HAS SOPS 50964 HAS SOUS 40232 HAS SOUPS 40232 WITH SCORE 40282.964
AT ITER 4551 NEW BEST:: SOT 169009 SOS 50868 HAS SOPS 50868 HAS SOUS 40136 HAS SOUPS 40136 WITH SCORE 40186.868
AT ITER 4576 NEW BEST:: SOT 169028 SOS 50876 HAS SOPS 50876 HAS SOUS 40124 HAS SOUPS 40124 WITH SCORE 40174.876
AT ITER 4610 NEW BEST:: SOT 169004 SOS 50828 HAS SOPS 50828 HAS SOUS 40081 HAS SOUPS 40081 WITH SCORE 40131.828
AT ITER 4651 NEW BEST:: SOT 168935 SOS 50759 HAS SOPS 50759 HAS SOUS 40012 HAS SOUPS 40012 WITH SCORE 40062.759
AT ITER 4655 NEW BEST:: SOT 168917 SOS 50753 HAS SOPS 50753 HAS SOUS 40006 HAS SOUPS 40006 WITH SCORE 40056.753
AT ITER 4686 NEW BEST:: SOT 168916 SOS 50751 HAS SOPS 50751 HAS SOUS 40004 HAS SOUPS 40004 WITH SCORE 40054.751
AT ITER 4702 NEW BEST:: SOT 168906 SOS 50741 HAS SOPS 50741 HAS SOUS 39994 HAS SOUPS 39994 WITH SCORE 40044.741
AT ITER 4710 NEW BEST:: SOT 168939 SOS 50760 HAS SOPS 50760 HAS SOUS 39943 HAS SOUPS 39943 WITH SCORE 39993.76
AT ITER 4711 NEW BEST:: SOT 168933 SOS 50754 HAS SOPS 50754 HAS SOUS 39937 HAS SOUPS 39937 WITH SCORE 39987.754
AT ITER 4720 NEW BEST:: SOT 168931 SOS 50482 HAS SOPS 50482 HAS SOUS 39655 HAS SOUPS 39655 WITH SCORE 39705.482
AT ITER 4725 NEW BEST:: SOT 168931 SOS 50481 HAS SOPS 50481 HAS SOUS 39651 HAS SOUPS 39651 WITH SCORE 39701.481
AT ITER 4734 NEW BEST:: SOT 168893 SOS 50405 HAS SOPS 50405 HAS SOUS 39575 HAS SOUPS 39575 WITH SCORE 39625.405
AT ITER 4743 NEW BEST:: SOT 168889 SOS 50401 HAS SOPS 50401 HAS SOUS 39571 HAS SOUPS 39571 WITH SCORE 39621.401
AT ITER 4745 NEW BEST:: SOT 168851 SOS 50287 HAS SOPS 50287 HAS SOUS 39504 HAS SOUPS 39504 WITH SCORE 39554.287
AT ITER 4746 NEW BEST:: SOT 168817 SOS 50259 HAS SOPS 50259 HAS SOUS 39476 HAS SOUPS 39476 WITH SCORE 39526.259
AT ITER 4754 NEW BEST:: SOT 168817 SOS 50214 HAS SOPS 50214 HAS SOUS 39476 HAS SOUPS 39476 WITH SCORE 39526.214
AT ITER 4761 NEW BEST:: SOT 168812 SOS 50204 HAS SOPS 50204 HAS SOUS 39466 HAS SOUPS 39466 WITH SCORE 39516.204
AT ITER 4762 NEW BEST:: SOT 168788 SOS 50188 HAS SOPS 50188 HAS SOUS 39431 HAS SOUPS 39431 WITH SCORE 39481.188
AT ITER 4771 NEW BEST:: SOT 168620 SOS 49990 HAS SOPS 49990 HAS SOUS 39263 HAS SOUPS 39263 WITH SCORE 39312.99
AT ITER 4778 NEW BEST:: SOT 168703 SOS 49984 HAS SOPS 49984 HAS SOUS 39257 HAS SOUPS 39257 WITH SCORE 39306.984
AT ITER 4786 NEW BEST:: SOT 168708 SOS 49918 HAS SOPS 49918 HAS SOUS 39191 HAS SOUPS 39191 WITH SCORE 39240.918
AT ITER 4824 NEW BEST:: SOT 168657 SOS 50900 HAS SOPS 50900 HAS SOUS 39162 HAS SOUPS 39162 WITH SCORE 39212.9
AT ITER 4825 NEW BEST:: SOT 168638 SOS 50881 HAS SOPS 50881 HAS SOUS 39143 HAS SOUPS 39143 WITH SCORE 39193.881
AT ITER 4841 NEW BEST:: SOT 168595 SOS 50785 HAS SOPS 50785 HAS SOUS 39047 HAS SOUPS 39047 WITH SCORE 39097.785
AT ITER 4926 NEW BEST:: SOT 168590 SOS 50780 HAS SOPS 50780 HAS SOUS 39042 HAS SOUPS 39042 WITH SCORE 39092.78
AT ITER 4935 NEW BEST:: SOT 168589 SOS 50778 HAS SOPS 50778 HAS SOUS 38997 HAS SOUPS 38997 WITH SCORE 39047.778
AT ITER 4941 NEW BEST:: SOT 168589 SOS 50844 HAS SOPS 50844 HAS SOUS 38975 HAS SOUPS 38975 WITH SCORE 39025.844
AT ITER 4993 NEW BEST:: SOT 168522 SOS 50777 HAS SOPS 50777 HAS SOUS 38942 HAS SOUPS 38942 WITH SCORE 38992.777
AT ITER 4997 NEW BEST:: SOT 168515 SOS 50727 HAS SOPS 50727 HAS SOUS 38928 HAS SOUPS 38928 WITH SCORE 38978.727
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-00 (EF((EG( potential( ( 3 ) <= (tk(P454)) )))))
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-01 ( (! ( (EF(potential( (tk(P528)) <= (tk(P315)) ))) & (EX( potential( (tk(P502)) <= (tk(P65)) ))) )) | (! (! (AG( potential( (tk(P87)) <= (tk(P144)) ))))) )
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-02 (EF((! (EX( potential( (tk(P217)) <= (tk(P330)) ))))))
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-03 (EF(( (AF(potential( ( 3 ) <= (tk(P445)) ))) & potential( ( 2 ) <= (tk(P404)) ) )))
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-04 (AG( (AU( potential( ( 1 ) <= (tk(P503)) ),potential( (tk(P483)) <= (tk(P95)) ) ))))
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-05 ( (AG( (AG( potential( (tk(P98)) <= (tk(P219)) ))))) & (! (AG( ( potential( (tk(P438)) <= (tk(P31)) ) | potential( ( 1 ) <= (tk(P410)) ) )))) )
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-06 (EU( (AG( potential( (tk(P215)) <= (tk(P356)) ))),( ( potential( (tk(P204)) <= (tk(P213)) ) & potential( ( 3 ) <= (tk(P90)) ) ) | ( potential( (tk(P308)) <= (tk(P166)) ) & potential( ( 3 ) <= (tk(P55)) ) ) ) ))
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-07 (EF((AF(( potential( (tk(P313)) <= (tk(P193)) ) & potential( ( 2 ) <= (tk(P453)) ) )))))
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-08 (EF((! (AG( potential( (tk(P344)) <= (tk(P364)) ))))))
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-09 (AG( ( ( potential( ( 2 ) <= (tk(P432)) ) & ( potential( (tk(P20)) <= (tk(P360)) ) | potential( ( 1 ) <= (tk(P586)) ) ) ) | ( ( potential( ( 3 ) <= (tk(P337)) ) & potential( ( 2 ) <= (tk(P104)) ) ) | ( potential( (tk(P342)) <= (tk(P175)) ) & potential( (tk(P179)) <= (tk(P520)) ) ) ) )))
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-10 ( (AU( ( potential( ( 3 ) <= (tk(P122)) ) | potential( ( 3 ) <= (tk(P385)) ) ),(! potential( (tk(P117)) <= (tk(P302)) )) )) | (! ( (! (! potential( ( 2 ) <= (tk(P516)) ))) | (AG( potential( (tk(P164)) <= (tk(P416)) ))) )) )
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-11 (AG( (EX( ( potential( (tk(P499)) <= (tk(P163)) ) | potential( ( 3 ) <= (tk(P92)) ) )))))
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-12 (EF(( (EF(potential( ( 3 ) <= (tk(P506)) ))) & potential( ( 3 ) <= (tk(P563)) ) )))
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-13 (AG( ( ( (! potential( ( 1 ) <= (tk(P377)) )) | (! potential( ( 3 ) <= (tk(P279)) )) ) | potential( (tk(P51)) <= (tk(P55)) ) )))
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-14 (EF(( potential( ( 1 ) <= (tk(P220)) ) | (AG( potential( ( 1 ) <= (tk(P393)) ))) )))
PROPERTY: BusinessProcesses-PT-12-CTLCardinality-15 ( (! (! (AF(potential( (tk(P337)) <= (tk(P137)) ))))) & (EF((! (! potential( ( 2 ) <= (tk(P476)) ))))) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-12"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-12, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897680100539"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-12.tgz
mv BusinessProcesses-PT-12 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;