About the Execution of smart for DiscoveryGPU-PT-06b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15766.840 | 3600000.00 | 3600040.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807700596.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DiscoveryGPU-PT-06b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807700596
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 3.5K Mar 31 06:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 31 06:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 23:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 23:05 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.4K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 14:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 27 07:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 27 07:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 46K 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 DiscoveryGPU-PT-06b-CTLFireability-00
FORMULA_NAME DiscoveryGPU-PT-06b-CTLFireability-01
FORMULA_NAME DiscoveryGPU-PT-06b-CTLFireability-02
FORMULA_NAME DiscoveryGPU-PT-06b-CTLFireability-03
FORMULA_NAME DiscoveryGPU-PT-06b-CTLFireability-04
FORMULA_NAME DiscoveryGPU-PT-06b-CTLFireability-05
FORMULA_NAME DiscoveryGPU-PT-06b-CTLFireability-06
FORMULA_NAME DiscoveryGPU-PT-06b-CTLFireability-07
FORMULA_NAME DiscoveryGPU-PT-06b-CTLFireability-08
FORMULA_NAME DiscoveryGPU-PT-06b-CTLFireability-09
FORMULA_NAME DiscoveryGPU-PT-06b-CTLFireability-10
FORMULA_NAME DiscoveryGPU-PT-06b-CTLFireability-11
FORMULA_NAME DiscoveryGPU-PT-06b-CTLFireability-12
FORMULA_NAME DiscoveryGPU-PT-06b-CTLFireability-13
FORMULA_NAME DiscoveryGPU-PT-06b-CTLFireability-14
FORMULA_NAME DiscoveryGPU-PT-06b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589363065967
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 06b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 184 places, 194 transitions, 503 arcs.
AT ITER 0 NEW BEST:: SOT 24109 SOS 10828 HAS SOPS 10828 HAS SOUS 9796 HAS SOUPS 9796 WITH SCORE 9806.828
AT ITER 18 NEW BEST:: SOT 23255 SOS 12147 HAS SOPS 12147 HAS SOUS 9109 HAS SOUPS 9109 WITH SCORE 9121.147
AT ITER 23 NEW BEST:: SOT 23255 SOS 12108 HAS SOPS 12108 HAS SOUS 9109 HAS SOUPS 9109 WITH SCORE 9121.108
AT ITER 27 NEW BEST:: SOT 23255 SOS 12098 HAS SOPS 12098 HAS SOUS 9104 HAS SOUPS 9104 WITH SCORE 9116.098
AT ITER 32 NEW BEST:: SOT 23254 SOS 12070 HAS SOPS 12070 HAS SOUS 9094 HAS SOUPS 9094 WITH SCORE 9106.07
AT ITER 33 NEW BEST:: SOT 23227 SOS 12043 HAS SOPS 12043 HAS SOUS 9067 HAS SOUPS 9067 WITH SCORE 9079.043
AT ITER 35 NEW BEST:: SOT 23163 SOS 11889 HAS SOPS 11889 HAS SOUS 8913 HAS SOUPS 8913 WITH SCORE 8924.889
AT ITER 45 NEW BEST:: SOT 23152 SOS 11763 HAS SOPS 11763 HAS SOUS 8829 HAS SOUPS 8829 WITH SCORE 8840.763
AT ITER 53 NEW BEST:: SOT 23045 SOS 11651 HAS SOPS 11651 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8765.651
AT ITER 54 NEW BEST:: SOT 23043 SOS 11647 HAS SOPS 11647 HAS SOUS 8750 HAS SOUPS 8750 WITH SCORE 8761.647
AT ITER 56 NEW BEST:: SOT 23042 SOS 11645 HAS SOPS 11645 HAS SOUS 8748 HAS SOUPS 8748 WITH SCORE 8759.645
AT ITER 65 NEW BEST:: SOT 23008 SOS 11594 HAS SOPS 11594 HAS SOUS 8697 HAS SOUPS 8697 WITH SCORE 8708.594
AT ITER 73 NEW BEST:: SOT 22994 SOS 11552 HAS SOPS 11552 HAS SOUS 8669 HAS SOUPS 8669 WITH SCORE 8680.552
AT ITER 77 NEW BEST:: SOT 23002 SOS 11481 HAS SOPS 11481 HAS SOUS 8642 HAS SOUPS 8642 WITH SCORE 8653.481
AT ITER 89 NEW BEST:: SOT 22989 SOS 11455 HAS SOPS 11455 HAS SOUS 8616 HAS SOUPS 8616 WITH SCORE 8627.455
AT ITER 94 NEW BEST:: SOT 22989 SOS 11455 HAS SOPS 11455 HAS SOUS 8578 HAS SOUPS 8578 WITH SCORE 8589.455
AT ITER 102 NEW BEST:: SOT 22989 SOS 11398 HAS SOPS 11398 HAS SOUS 8521 HAS SOUPS 8521 WITH SCORE 8532.398
AT ITER 114 NEW BEST:: SOT 22972 SOS 11407 HAS SOPS 11407 HAS SOUS 8453 HAS SOUPS 8453 WITH SCORE 8464.407
AT ITER 128 NEW BEST:: SOT 22934 SOS 11331 HAS SOPS 11331 HAS SOUS 8396 HAS SOUPS 8396 WITH SCORE 8407.331
AT ITER 129 NEW BEST:: SOT 22930 SOS 11323 HAS SOPS 11323 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8399.323
AT ITER 136 NEW BEST:: SOT 22930 SOS 11308 HAS SOPS 11308 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8399.308
AT ITER 137 NEW BEST:: SOT 22930 SOS 11283 HAS SOPS 11283 HAS SOUS 8362 HAS SOUPS 8362 WITH SCORE 8373.283
AT ITER 139 NEW BEST:: SOT 22930 SOS 11274 HAS SOPS 11274 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8356.274
AT ITER 145 NEW BEST:: SOT 22917 SOS 11248 HAS SOPS 11248 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8343.248
AT ITER 149 NEW BEST:: SOT 22917 SOS 11254 HAS SOPS 11254 HAS SOUS 8307 HAS SOUPS 8307 WITH SCORE 8318.254
AT ITER 150 NEW BEST:: SOT 22894 SOS 11226 HAS SOPS 11226 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8274.226
AT ITER 159 NEW BEST:: SOT 22817 SOS 11072 HAS SOPS 11072 HAS SOUS 8186 HAS SOUPS 8186 WITH SCORE 8197.072
AT ITER 163 NEW BEST:: SOT 22785 SOS 11008 HAS SOPS 11008 HAS SOUS 8138 HAS SOUPS 8138 WITH SCORE 8149.008
AT ITER 167 NEW BEST:: SOT 22804 SOS 11007 HAS SOPS 11007 HAS SOUS 8136 HAS SOUPS 8136 WITH SCORE 8147.007
AT ITER 176 NEW BEST:: SOT 22727 SOS 10859 HAS SOPS 10859 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8006.859
AT ITER 196 NEW BEST:: SOT 22752 SOS 10858 HAS SOPS 10858 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8006.858
AT ITER 203 NEW BEST:: SOT 22725 SOS 10809 HAS SOPS 10809 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8004.809
AT ITER 208 NEW BEST:: SOT 22724 SOS 10808 HAS SOPS 10808 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8003.808
AT ITER 209 NEW BEST:: SOT 22718 SOS 10796 HAS SOPS 10796 HAS SOUS 7981 HAS SOUPS 7981 WITH SCORE 7991.796
AT ITER 210 NEW BEST:: SOT 22700 SOS 10778 HAS SOPS 10778 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7973.778
AT ITER 213 NEW BEST:: SOT 22698 SOS 10776 HAS SOPS 10776 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7971.776
AT ITER 214 NEW BEST:: SOT 22669 SOS 10718 HAS SOPS 10718 HAS SOUS 7903 HAS SOUPS 7903 WITH SCORE 7913.718
AT ITER 217 NEW BEST:: SOT 22663 SOS 10706 HAS SOPS 10706 HAS SOUS 7891 HAS SOUPS 7891 WITH SCORE 7901.706
AT ITER 228 NEW BEST:: SOT 22657 SOS 10694 HAS SOPS 10694 HAS SOUS 7879 HAS SOUPS 7879 WITH SCORE 7889.694
AT ITER 231 NEW BEST:: SOT 22647 SOS 10684 HAS SOPS 10684 HAS SOUS 7879 HAS SOUPS 7879 WITH SCORE 7889.684
AT ITER 241 NEW BEST:: SOT 22636 SOS 10662 HAS SOPS 10662 HAS SOUS 7868 HAS SOUPS 7868 WITH SCORE 7878.662
AT ITER 243 NEW BEST:: SOT 22654 SOS 10636 HAS SOPS 10636 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7847.636
AT ITER 250 NEW BEST:: SOT 22604 SOS 10576 HAS SOPS 10576 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7822.576
AT ITER 263 NEW BEST:: SOT 22576 SOS 10520 HAS SOPS 10520 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7766.52
AT ITER 266 NEW BEST:: SOT 22573 SOS 10511 HAS SOPS 10511 HAS SOUS 7750 HAS SOUPS 7750 WITH SCORE 7760.511
AT ITER 273 NEW BEST:: SOT 22573 SOS 10504 HAS SOPS 10504 HAS SOUS 7750 HAS SOUPS 7750 WITH SCORE 7760.504
AT ITER 274 NEW BEST:: SOT 22560 SOS 10465 HAS SOPS 10465 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7741.465
AT ITER 275 NEW BEST:: SOT 22560 SOS 10455 HAS SOPS 10455 HAS SOUS 7711 HAS SOUPS 7711 WITH SCORE 7721.455
AT ITER 277 NEW BEST:: SOT 22531 SOS 10426 HAS SOPS 10426 HAS SOUS 7675 HAS SOUPS 7675 WITH SCORE 7685.426
AT ITER 278 NEW BEST:: SOT 22498 SOS 10360 HAS SOPS 10360 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7652.36
AT ITER 282 NEW BEST:: SOT 22497 SOS 10358 HAS SOPS 10358 HAS SOUS 7640 HAS SOUPS 7640 WITH SCORE 7650.358
AT ITER 286 NEW BEST:: SOT 22497 SOS 10339 HAS SOPS 10339 HAS SOUS 7630 HAS SOUPS 7630 WITH SCORE 7640.339
AT ITER 288 NEW BEST:: SOT 22471 SOS 10287 HAS SOPS 10287 HAS SOUS 7617 HAS SOUPS 7617 WITH SCORE 7627.287
AT ITER 289 NEW BEST:: SOT 22471 SOS 10285 HAS SOPS 10285 HAS SOUS 7617 HAS SOUPS 7617 WITH SCORE 7627.285
AT ITER 295 NEW BEST:: SOT 22453 SOS 10258 HAS SOPS 10258 HAS SOUS 7590 HAS SOUPS 7590 WITH SCORE 7600.258
AT ITER 298 NEW BEST:: SOT 22461 SOS 10247 HAS SOPS 10247 HAS SOUS 7586 HAS SOUPS 7586 WITH SCORE 7596.247
AT ITER 301 NEW BEST:: SOT 22424 SOS 10173 HAS SOPS 10173 HAS SOUS 7535 HAS SOUPS 7535 WITH SCORE 7545.173
AT ITER 311 NEW BEST:: SOT 22389 SOS 10138 HAS SOPS 10138 HAS SOUS 7524 HAS SOUPS 7524 WITH SCORE 7534.138
AT ITER 319 NEW BEST:: SOT 22390 SOS 9105 HAS SOPS 9105 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7526.105
AT ITER 320 NEW BEST:: SOT 22200 SOS 8927 HAS SOPS 8927 HAS SOUS 7344 HAS SOUPS 7344 WITH SCORE 7352.927
AT ITER 324 NEW BEST:: SOT 22171 SOS 8877 HAS SOPS 8877 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7323.877
AT ITER 332 NEW BEST:: SOT 22204 SOS 8861 HAS SOPS 8861 HAS SOUS 7310 HAS SOUPS 7310 WITH SCORE 7318.861
AT ITER 343 NEW BEST:: SOT 22204 SOS 8817 HAS SOPS 8817 HAS SOUS 7310 HAS SOUPS 7310 WITH SCORE 7318.817
AT ITER 344 NEW BEST:: SOT 22197 SOS 8829 HAS SOPS 8829 HAS SOUS 7296 HAS SOUPS 7296 WITH SCORE 7304.829
AT ITER 348 NEW BEST:: SOT 22123 SOS 8722 HAS SOPS 8722 HAS SOUS 7189 HAS SOUPS 7189 WITH SCORE 7197.722
AT ITER 359 NEW BEST:: SOT 22049 SOS 8609 HAS SOPS 8609 HAS SOUS 7073 HAS SOUPS 7073 WITH SCORE 7081.609
AT ITER 365 NEW BEST:: SOT 22009 SOS 8583 HAS SOPS 8583 HAS SOUS 7071 HAS SOUPS 7071 WITH SCORE 7079.583
AT ITER 367 NEW BEST:: SOT 22009 SOS 8579 HAS SOPS 8579 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7075.579
AT ITER 368 NEW BEST:: SOT 21981 SOS 8542 HAS SOPS 8542 HAS SOUS 7040 HAS SOUPS 7040 WITH SCORE 7048.542
AT ITER 372 NEW BEST:: SOT 21939 SOS 8485 HAS SOPS 8485 HAS SOUS 7003 HAS SOUPS 7003 WITH SCORE 7011.485
AT ITER 373 NEW BEST:: SOT 21921 SOS 8431 HAS SOPS 8431 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 6993.431
AT ITER 374 NEW BEST:: SOT 21919 SOS 8399 HAS SOPS 8399 HAS SOUS 6931 HAS SOUPS 6931 WITH SCORE 6939.399
AT ITER 379 NEW BEST:: SOT 21916 SOS 8396 HAS SOPS 8396 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6935.396
AT ITER 386 NEW BEST:: SOT 21902 SOS 8375 HAS SOPS 8375 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6914.375
AT ITER 391 NEW BEST:: SOT 21880 SOS 8353 HAS SOPS 8353 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6870.353
AT ITER 404 NEW BEST:: SOT 21875 SOS 8348 HAS SOPS 8348 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6864.348
AT ITER 410 NEW BEST:: SOT 21875 SOS 8345 HAS SOPS 8345 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6861.345
AT ITER 414 NEW BEST:: SOT 21871 SOS 8337 HAS SOPS 8337 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6857.337
AT ITER 415 NEW BEST:: SOT 21859 SOS 8353 HAS SOPS 8353 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6844.353
AT ITER 416 NEW BEST:: SOT 21824 SOS 8275 HAS SOPS 8275 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6710.275
AT ITER 431 NEW BEST:: SOT 21822 SOS 8269 HAS SOPS 8269 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6706.269
AT ITER 434 NEW BEST:: SOT 21810 SOS 8257 HAS SOPS 8257 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6694.257
AT ITER 435 NEW BEST:: SOT 21809 SOS 8256 HAS SOPS 8256 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6692.256
AT ITER 463 NEW BEST:: SOT 21795 SOS 8236 HAS SOPS 8236 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6692.236
AT ITER 464 NEW BEST:: SOT 21835 SOS 8237 HAS SOPS 8237 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6687.237
AT ITER 467 NEW BEST:: SOT 21835 SOS 8167 HAS SOPS 8167 HAS SOUS 6675 HAS SOUPS 6675 WITH SCORE 6683.167
AT ITER 484 NEW BEST:: SOT 21815 SOS 8127 HAS SOPS 8127 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6643.127
AT ITER 494 NEW BEST:: SOT 21801 SOS 8126 HAS SOPS 8126 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6642.126
AT ITER 513 NEW BEST:: SOT 21767 SOS 8003 HAS SOPS 8003 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6547.003
AT ITER 519 NEW BEST:: SOT 21769 SOS 7987 HAS SOPS 7987 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6546.987
AT ITER 530 NEW BEST:: SOT 21764 SOS 7977 HAS SOPS 7977 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6541.977
AT ITER 534 NEW BEST:: SOT 21757 SOS 7975 HAS SOPS 7975 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6539.975
AT ITER 543 NEW BEST:: SOT 21756 SOS 7965 HAS SOPS 7965 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6535.965
AT ITER 555 NEW BEST:: SOT 21729 SOS 7938 HAS SOPS 7938 HAS SOUS 6501 HAS SOUPS 6501 WITH SCORE 6508.938
AT ITER 587 NEW BEST:: SOT 21696 SOS 7872 HAS SOPS 7872 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6505.872
AT ITER 592 NEW BEST:: SOT 21696 SOS 7821 HAS SOPS 7821 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6502.821
AT ITER 593 NEW BEST:: SOT 21707 SOS 7784 HAS SOPS 7784 HAS SOUS 6471 HAS SOUPS 6471 WITH SCORE 6478.784
AT ITER 601 NEW BEST:: SOT 21707 SOS 7781 HAS SOPS 7781 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6475.781
AT ITER 603 NEW BEST:: SOT 21693 SOS 7767 HAS SOPS 7767 HAS SOUS 6454 HAS SOUPS 6454 WITH SCORE 6461.767
AT ITER 604 NEW BEST:: SOT 21689 SOS 7758 HAS SOPS 7758 HAS SOUS 6444 HAS SOUPS 6444 WITH SCORE 6451.758
AT ITER 609 NEW BEST:: SOT 21672 SOS 7735 HAS SOPS 7735 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6428.735
AT ITER 618 NEW BEST:: SOT 21661 SOS 7713 HAS SOPS 7713 HAS SOUS 6397 HAS SOUPS 6397 WITH SCORE 6404.713
AT ITER 635 NEW BEST:: SOT 21699 SOS 7741 HAS SOPS 7741 HAS SOUS 6377 HAS SOUPS 6377 WITH SCORE 6384.741
AT ITER 647 NEW BEST:: SOT 21699 SOS 7741 HAS SOPS 7741 HAS SOUS 6374 HAS SOUPS 6374 WITH SCORE 6381.741
AT ITER 649 NEW BEST:: SOT 21703 SOS 7727 HAS SOPS 7727 HAS SOUS 6357 HAS SOUPS 6357 WITH SCORE 6364.727
AT ITER 656 NEW BEST:: SOT 21703 SOS 7717 HAS SOPS 7717 HAS SOUS 6347 HAS SOUPS 6347 WITH SCORE 6354.717
AT ITER 669 NEW BEST:: SOT 21703 SOS 7696 HAS SOPS 7696 HAS SOUS 6326 HAS SOUPS 6326 WITH SCORE 6333.696
AT ITER 673 NEW BEST:: SOT 21694 SOS 7660 HAS SOPS 7660 HAS SOUS 6301 HAS SOUPS 6301 WITH SCORE 6308.66
AT ITER 692 NEW BEST:: SOT 21690 SOS 7656 HAS SOPS 7656 HAS SOUS 6293 HAS SOUPS 6293 WITH SCORE 6300.656
AT ITER 699 NEW BEST:: SOT 21671 SOS 7589 HAS SOPS 7589 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6281.589
AT ITER 700 NEW BEST:: SOT 21670 SOS 7587 HAS SOPS 7587 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6279.587
AT ITER 709 NEW BEST:: SOT 21670 SOS 7587 HAS SOPS 7587 HAS SOUS 6266 HAS SOUPS 6266 WITH SCORE 6273.587
AT ITER 713 NEW BEST:: SOT 21689 SOS 7586 HAS SOPS 7586 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6261.586
AT ITER 740 NEW BEST:: SOT 21672 SOS 7568 HAS SOPS 7568 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6254.568
AT ITER 761 NEW BEST:: SOT 21672 SOS 7565 HAS SOPS 7565 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6254.565
AT ITER 762 NEW BEST:: SOT 21672 SOS 7547 HAS SOPS 7547 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6232.547
AT ITER 772 NEW BEST:: SOT 21658 SOS 7492 HAS SOPS 7492 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6191.492
AT ITER 777 NEW BEST:: SOT 21650 SOS 7470 HAS SOPS 7470 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6182.47
AT ITER 781 NEW BEST:: SOT 21651 SOS 7469 HAS SOPS 7469 HAS SOUS 6174 HAS SOUPS 6174 WITH SCORE 6181.469
AT ITER 789 NEW BEST:: SOT 21644 SOS 7455 HAS SOPS 7455 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6169.455
AT ITER 811 NEW BEST:: SOT 21641 SOS 7444 HAS SOPS 7444 HAS SOUS 6151 HAS SOUPS 6151 WITH SCORE 6158.444
AT ITER 851 NEW BEST:: SOT 21567 SOS 7419 HAS SOPS 7419 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6099.419
AT ITER 882 NEW BEST:: SOT 21582 SOS 7449 HAS SOPS 7449 HAS SOUS 6089 HAS SOUPS 6089 WITH SCORE 6096.449
AT ITER 891 NEW BEST:: SOT 21567 SOS 7434 HAS SOPS 7434 HAS SOUS 6074 HAS SOUPS 6074 WITH SCORE 6081.434
AT ITER 893 NEW BEST:: SOT 21552 SOS 7393 HAS SOPS 7393 HAS SOUS 6068 HAS SOUPS 6068 WITH SCORE 6075.393
AT ITER 894 NEW BEST:: SOT 21530 SOS 7371 HAS SOPS 7371 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6056.371
AT ITER 900 NEW BEST:: SOT 21528 SOS 7363 HAS SOPS 7363 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6047.363
AT ITER 910 NEW BEST:: SOT 21523 SOS 7353 HAS SOPS 7353 HAS SOUS 6037 HAS SOUPS 6037 WITH SCORE 6044.353
AT ITER 915 NEW BEST:: SOT 21520 SOS 7314 HAS SOPS 7314 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6024.314
AT ITER 929 NEW BEST:: SOT 21501 SOS 7375 HAS SOPS 7375 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5986.375
AT ITER 956 NEW BEST:: SOT 21501 SOS 7361 HAS SOPS 7361 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5986.361
AT ITER 993 NEW BEST:: SOT 21501 SOS 7350 HAS SOPS 7350 HAS SOUS 5968 HAS SOUPS 5968 WITH SCORE 5975.35
AT ITER 994 NEW BEST:: SOT 21498 SOS 7344 HAS SOPS 7344 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5970.344
AT ITER 1035 NEW BEST:: SOT 21498 SOS 7344 HAS SOPS 7344 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5960.344
AT ITER 1043 NEW BEST:: SOT 21497 SOS 7340 HAS SOPS 7340 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5955.34
AT ITER 1049 NEW BEST:: SOT 21497 SOS 7330 HAS SOPS 7330 HAS SOUS 5938 HAS SOUPS 5938 WITH SCORE 5945.33
AT ITER 1082 NEW BEST:: SOT 21492 SOS 7364 HAS SOPS 7364 HAS SOUS 5934 HAS SOUPS 5934 WITH SCORE 5941.364
AT ITER 1104 NEW BEST:: SOT 21459 SOS 7331 HAS SOPS 7331 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5914.331
AT ITER 1122 NEW BEST:: SOT 21459 SOS 7285 HAS SOPS 7285 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5891.285
AT ITER 1126 NEW BEST:: SOT 21446 SOS 7463 HAS SOPS 7463 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5887.463
AT ITER 1140 NEW BEST:: SOT 21437 SOS 7445 HAS SOPS 7445 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5876.445
AT ITER 1145 NEW BEST:: SOT 21414 SOS 7399 HAS SOPS 7399 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5830.399
AT ITER 1168 NEW BEST:: SOT 21415 SOS 7387 HAS SOPS 7387 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5827.387
AT ITER 1174 NEW BEST:: SOT 21409 SOS 7370 HAS SOPS 7370 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5815.37
AT ITER 1177 NEW BEST:: SOT 21391 SOS 7414 HAS SOPS 7414 HAS SOUS 5800 HAS SOUPS 5800 WITH SCORE 5807.414
AT ITER 1204 NEW BEST:: SOT 21331 SOS 7449 HAS SOPS 7449 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5779.449
AT ITER 1212 NEW BEST:: SOT 21330 SOS 7447 HAS SOPS 7447 HAS SOUS 5770 HAS SOUPS 5770 WITH SCORE 5777.447
AT ITER 1214 NEW BEST:: SOT 21325 SOS 7437 HAS SOPS 7437 HAS SOUS 5760 HAS SOUPS 5760 WITH SCORE 5767.437
AT ITER 1231 NEW BEST:: SOT 21318 SOS 7431 HAS SOPS 7431 HAS SOUS 5754 HAS SOUPS 5754 WITH SCORE 5761.431
AT ITER 1236 NEW BEST:: SOT 21170 SOS 7534 HAS SOPS 7534 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5681.534
AT ITER 1259 NEW BEST:: SOT 21167 SOS 7534 HAS SOPS 7534 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5677.534
AT ITER 1272 NEW BEST:: SOT 21166 SOS 7532 HAS SOPS 7532 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5677.532
AT ITER 1274 NEW BEST:: SOT 21166 SOS 7532 HAS SOPS 7532 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5672.532
AT ITER 1278 NEW BEST:: SOT 21142 SOS 7407 HAS SOPS 7407 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5636.407
AT ITER 1297 NEW BEST:: SOT 21139 SOS 7405 HAS SOPS 7405 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5634.405
AT ITER 1300 NEW BEST:: SOT 21138 SOS 7403 HAS SOPS 7403 HAS SOUS 5625 HAS SOUPS 5625 WITH SCORE 5632.403
AT ITER 1312 NEW BEST:: SOT 21128 SOS 7383 HAS SOPS 7383 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5617.383
AT ITER 1331 NEW BEST:: SOT 21116 SOS 7382 HAS SOPS 7382 HAS SOUS 5609 HAS SOUPS 5609 WITH SCORE 5616.382
AT ITER 1341 NEW BEST:: SOT 21116 SOS 7358 HAS SOPS 7358 HAS SOUS 5609 HAS SOUPS 5609 WITH SCORE 5616.358
AT ITER 1344 NEW BEST:: SOT 21109 SOS 7343 HAS SOPS 7343 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5602.343
AT ITER 1368 NEW BEST:: SOT 21103 SOS 7325 HAS SOPS 7325 HAS SOUS 5577 HAS SOUPS 5577 WITH SCORE 5584.325
AT ITER 1376 NEW BEST:: SOT 21092 SOS 7252 HAS SOPS 7252 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5562.252
AT ITER 1381 NEW BEST:: SOT 21092 SOS 7251 HAS SOPS 7251 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5562.251
AT ITER 1415 NEW BEST:: SOT 21087 SOS 7251 HAS SOPS 7251 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5557.251
AT ITER 1431 NEW BEST:: SOT 21073 SOS 7237 HAS SOPS 7237 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5529.237
AT ITER 1467 NEW BEST:: SOT 21046 SOS 7204 HAS SOPS 7204 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5515.204
AT ITER 1468 NEW BEST:: SOT 21014 SOS 7376 HAS SOPS 7376 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5506.376
AT ITER 1479 NEW BEST:: SOT 21014 SOS 7362 HAS SOPS 7362 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5478.362
AT ITER 1484 NEW BEST:: SOT 20972 SOS 8068 HAS SOPS 8068 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5469.068
AT ITER 1486 NEW BEST:: SOT 20957 SOS 8020 HAS SOPS 8020 HAS SOUS 5431 HAS SOUPS 5431 WITH SCORE 5439.02
AT ITER 1489 NEW BEST:: SOT 20941 SOS 7989 HAS SOPS 7989 HAS SOUS 5421 HAS SOUPS 5421 WITH SCORE 5428.989
AT ITER 1505 NEW BEST:: SOT 20938 SOS 8009 HAS SOPS 8009 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5425.009
AT ITER 1506 NEW BEST:: SOT 20930 SOS 7993 HAS SOPS 7993 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5404.993
AT ITER 1532 NEW BEST:: SOT 20878 SOS 7903 HAS SOPS 7903 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5391.903
AT ITER 1545 NEW BEST:: SOT 20878 SOS 7895 HAS SOPS 7895 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5391.895
AT ITER 1553 NEW BEST:: SOT 20878 SOS 7884 HAS SOPS 7884 HAS SOUS 5373 HAS SOUPS 5373 WITH SCORE 5380.884
AT ITER 1556 NEW BEST:: SOT 20892 SOS 7891 HAS SOPS 7891 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5369.891
AT ITER 1559 NEW BEST:: SOT 20846 SOS 7820 HAS SOPS 7820 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5277.82
AT ITER 1562 NEW BEST:: SOT 20845 SOS 7818 HAS SOPS 7818 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5275.818
AT ITER 1578 NEW BEST:: SOT 20825 SOS 7798 HAS SOPS 7798 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5255.798
AT ITER 1596 NEW BEST:: SOT 20824 SOS 7796 HAS SOPS 7796 HAS SOUS 5246 HAS SOUPS 5246 WITH SCORE 5253.796
AT ITER 1598 NEW BEST:: SOT 20815 SOS 7760 HAS SOPS 7760 HAS SOUS 5228 HAS SOUPS 5228 WITH SCORE 5235.76
AT ITER 1601 NEW BEST:: SOT 20801 SOS 7740 HAS SOPS 7740 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5221.74
AT ITER 1609 NEW BEST:: SOT 20787 SOS 7660 HAS SOPS 7660 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5197.66
AT ITER 1639 NEW BEST:: SOT 20786 SOS 7658 HAS SOPS 7658 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5190.658
AT ITER 1647 NEW BEST:: SOT 20786 SOS 7653 HAS SOPS 7653 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5190.653
AT ITER 1666 NEW BEST:: SOT 20723 SOS 7589 HAS SOPS 7589 HAS SOUS 5115 HAS SOUPS 5115 WITH SCORE 5122.589
AT ITER 1668 NEW BEST:: SOT 20650 SOS 7475 HAS SOPS 7475 HAS SOUS 5005 HAS SOUPS 5005 WITH SCORE 5012.475
AT ITER 1672 NEW BEST:: SOT 20645 SOS 7492 HAS SOPS 7492 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5002.492
AT ITER 1677 NEW BEST:: SOT 20640 SOS 7487 HAS SOPS 7487 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4992.487
AT ITER 1684 NEW BEST:: SOT 20634 SOS 7491 HAS SOPS 7491 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4990.491
AT ITER 1721 NEW BEST:: SOT 20632 SOS 7487 HAS SOPS 7487 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4986.487
AT ITER 1738 NEW BEST:: SOT 20627 SOS 7482 HAS SOPS 7482 HAS SOUS 4974 HAS SOUPS 4974 WITH SCORE 4981.482
AT ITER 1740 NEW BEST:: SOT 20635 SOS 7456 HAS SOPS 7456 HAS SOUS 4965 HAS SOUPS 4965 WITH SCORE 4972.456
AT ITER 1747 NEW BEST:: SOT 20633 SOS 7454 HAS SOPS 7454 HAS SOUS 4965 HAS SOUPS 4965 WITH SCORE 4972.454
AT ITER 1764 NEW BEST:: SOT 20630 SOS 7448 HAS SOPS 7448 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4956.448
AT ITER 1789 NEW BEST:: SOT 20596 SOS 7380 HAS SOPS 7380 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4932.38
AT ITER 1805 NEW BEST:: SOT 20571 SOS 7353 HAS SOPS 7353 HAS SOUS 4900 HAS SOUPS 4900 WITH SCORE 4907.353
AT ITER 1806 NEW BEST:: SOT 20563 SOS 7345 HAS SOPS 7345 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4891.345
AT ITER 1810 NEW BEST:: SOT 20524 SOS 7299 HAS SOPS 7299 HAS SOUS 4806 HAS SOUPS 4806 WITH SCORE 4813.299
AT ITER 1829 NEW BEST:: SOT 20510 SOS 7285 HAS SOPS 7285 HAS SOUS 4781 HAS SOUPS 4781 WITH SCORE 4788.285
AT ITER 1840 NEW BEST:: SOT 20506 SOS 7273 HAS SOPS 7273 HAS SOUS 4769 HAS SOUPS 4769 WITH SCORE 4776.273
AT ITER 1867 NEW BEST:: SOT 20446 SOS 7153 HAS SOPS 7153 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4707.153
AT ITER 1873 NEW BEST:: SOT 20433 SOS 7140 HAS SOPS 7140 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4707.14
AT ITER 1880 NEW BEST:: SOT 20428 SOS 7130 HAS SOPS 7130 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4697.13
AT ITER 1885 NEW BEST:: SOT 20401 SOS 7048 HAS SOPS 7048 HAS SOUS 4633 HAS SOUPS 4633 WITH SCORE 4640.048
AT ITER 1914 NEW BEST:: SOT 20394 SOS 7034 HAS SOPS 7034 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4630.034
AT ITER 1932 NEW BEST:: SOT 20386 SOS 7047 HAS SOPS 7047 HAS SOUS 4619 HAS SOUPS 4619 WITH SCORE 4626.047
AT ITER 1935 NEW BEST:: SOT 20382 SOS 7047 HAS SOPS 7047 HAS SOUS 4611 HAS SOUPS 4611 WITH SCORE 4618.047
AT ITER 1984 NEW BEST:: SOT 20369 SOS 7057 HAS SOPS 7057 HAS SOUS 4608 HAS SOUPS 4608 WITH SCORE 4615.057
AT ITER 1988 NEW BEST:: SOT 20367 SOS 7055 HAS SOPS 7055 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4611.055
AT ITER 2041 NEW BEST:: SOT 20365 SOS 7051 HAS SOPS 7051 HAS SOUS 4602 HAS SOUPS 4602 WITH SCORE 4609.051
AT ITER 2070 NEW BEST:: SOT 20351 SOS 7068 HAS SOPS 7068 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4591.068
AT ITER 2074 NEW BEST:: SOT 20345 SOS 7047 HAS SOPS 7047 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4573.047
AT ITER 2114 NEW BEST:: SOT 20345 SOS 7035 HAS SOPS 7035 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4573.035
AT ITER 2121 NEW BEST:: SOT 20337 SOS 7016 HAS SOPS 7016 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4563.016
AT ITER 2151 NEW BEST:: SOT 20337 SOS 7015 HAS SOPS 7015 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4562.015
AT ITER 2161 NEW BEST:: SOT 20328 SOS 6997 HAS SOPS 6997 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4549.997
AT ITER 2163 NEW BEST:: SOT 20316 SOS 6973 HAS SOPS 6973 HAS SOUS 4519 HAS SOUPS 4519 WITH SCORE 4525.973
AT ITER 2179 NEW BEST:: SOT 20314 SOS 6971 HAS SOPS 6971 HAS SOUS 4517 HAS SOUPS 4517 WITH SCORE 4523.971
AT ITER 2185 NEW BEST:: SOT 20312 SOS 6985 HAS SOPS 6985 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4519.985
AT ITER 2201 NEW BEST:: SOT 20310 SOS 7007 HAS SOPS 7007 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4492.007
AT ITER 2204 NEW BEST:: SOT 20308 SOS 6998 HAS SOPS 6998 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4487.998
AT ITER 2227 NEW BEST:: SOT 20308 SOS 6992 HAS SOPS 6992 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4487.992
AT ITER 2263 NEW BEST:: SOT 20293 SOS 6977 HAS SOPS 6977 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4467.977
AT ITER 2296 NEW BEST:: SOT 20288 SOS 6967 HAS SOPS 6967 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4462.967
AT ITER 2317 NEW BEST:: SOT 20288 SOS 6955 HAS SOPS 6955 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4450.955
AT ITER 2349 NEW BEST:: SOT 20287 SOS 6953 HAS SOPS 6953 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4448.953
AT ITER 2354 NEW BEST:: SOT 20287 SOS 6951 HAS SOPS 6951 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4448.951
AT ITER 2400 NEW BEST:: SOT 20279 SOS 6935 HAS SOPS 6935 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4440.935
AT ITER 2458 NEW BEST:: SOT 20275 SOS 6923 HAS SOPS 6923 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4432.923
AT ITER 2484 NEW BEST:: SOT 20276 SOS 6922 HAS SOPS 6922 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4432.922
AT ITER 2580 NEW BEST:: SOT 20280 SOS 6921 HAS SOPS 6921 HAS SOUS 4421 HAS SOUPS 4421 WITH SCORE 4427.921
AT ITER 2601 NEW BEST:: SOT 20281 SOS 6919 HAS SOPS 6919 HAS SOUS 4419 HAS SOUPS 4419 WITH SCORE 4425.919
AT ITER 2605 NEW BEST:: SOT 20271 SOS 6885 HAS SOPS 6885 HAS SOUS 4395 HAS SOUPS 4395 WITH SCORE 4401.885
AT ITER 2657 NEW BEST:: SOT 20252 SOS 6847 HAS SOPS 6847 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4361.847
AT ITER 2694 NEW BEST:: SOT 20253 SOS 6845 HAS SOPS 6845 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4361.845
AT ITER 2715 NEW BEST:: SOT 20249 SOS 6841 HAS SOPS 6841 HAS SOUS 4347 HAS SOUPS 4347 WITH SCORE 4353.841
AT ITER 2719 NEW BEST:: SOT 20226 SOS 6797 HAS SOPS 6797 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4305.797
AT ITER 2721 NEW BEST:: SOT 20225 SOS 6795 HAS SOPS 6795 HAS SOUS 4297 HAS SOUPS 4297 WITH SCORE 4303.795
AT ITER 2754 NEW BEST:: SOT 20226 SOS 6795 HAS SOPS 6795 HAS SOUS 4296 HAS SOUPS 4296 WITH SCORE 4302.795
AT ITER 2756 NEW BEST:: SOT 20208 SOS 6759 HAS SOPS 6759 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4266.759
AT ITER 2770 NEW BEST:: SOT 20192 SOS 6727 HAS SOPS 6727 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4234.727
AT ITER 2802 NEW BEST:: SOT 20192 SOS 6723 HAS SOPS 6723 HAS SOUS 4224 HAS SOUPS 4224 WITH SCORE 4230.723
AT ITER 2816 NEW BEST:: SOT 20186 SOS 6725 HAS SOPS 6725 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4222.725
AT ITER 2863 NEW BEST:: SOT 20179 SOS 6712 HAS SOPS 6712 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4216.712
AT ITER 2900 NEW BEST:: SOT 20177 SOS 6708 HAS SOPS 6708 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4212.708
AT ITER 2902 NEW BEST:: SOT 20173 SOS 6700 HAS SOPS 6700 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4204.7
AT ITER 2962 NEW BEST:: SOT 20171 SOS 6696 HAS SOPS 6696 HAS SOUS 4196 HAS SOUPS 4196 WITH SCORE 4202.696
AT ITER 2966 NEW BEST:: SOT 20164 SOS 6685 HAS SOPS 6685 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4194.685
AT ITER 3081 NEW BEST:: SOT 20151 SOS 6694 HAS SOPS 6694 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4188.694
AT ITER 3194 NEW BEST:: SOT 20151 SOS 6648 HAS SOPS 6648 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4188.648
AT ITER 3204 NEW BEST:: SOT 20149 SOS 6647 HAS SOPS 6647 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4184.647
AT ITER 3209 NEW BEST:: SOT 20147 SOS 6644 HAS SOPS 6644 HAS SOUS 4174 HAS SOUPS 4174 WITH SCORE 4180.644
AT ITER 3214 NEW BEST:: SOT 20139 SOS 6643 HAS SOPS 6643 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4179.643
AT ITER 3220 NEW BEST:: SOT 20138 SOS 6641 HAS SOPS 6641 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4179.641
AT ITER 3231 NEW BEST:: SOT 20137 SOS 6639 HAS SOPS 6639 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4178.639
AT ITER 3250 NEW BEST:: SOT 20144 SOS 6641 HAS SOPS 6641 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4177.641
AT ITER 3257 NEW BEST:: SOT 20132 SOS 6625 HAS SOPS 6625 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4177.625
AT ITER 3258 NEW BEST:: SOT 20139 SOS 6628 HAS SOPS 6628 HAS SOUS 4170 HAS SOUPS 4170 WITH SCORE 4176.628
AT ITER 3263 NEW BEST:: SOT 20128 SOS 6617 HAS SOPS 6617 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4165.617
AT ITER 3283 NEW BEST:: SOT 20127 SOS 6614 HAS SOPS 6614 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4163.614
AT ITER 3286 NEW BEST:: SOT 20134 SOS 6628 HAS SOPS 6628 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4161.628
AT ITER 3342 NEW BEST:: SOT 20122 SOS 6616 HAS SOPS 6616 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4161.616
AT ITER 3364 NEW BEST:: SOT 20120 SOS 6662 HAS SOPS 6662 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4159.662
AT ITER 3374 NEW BEST:: SOT 20117 SOS 6658 HAS SOPS 6658 HAS SOUS 4152 HAS SOUPS 4152 WITH SCORE 4158.658
AT ITER 3414 NEW BEST:: SOT 20103 SOS 6623 HAS SOPS 6623 HAS SOUS 4111 HAS SOUPS 4111 WITH SCORE 4117.623
AT ITER 3460 NEW BEST:: SOT 20097 SOS 6608 HAS SOPS 6608 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4105.608
AT ITER 3477 NEW BEST:: SOT 20097 SOS 6608 HAS SOPS 6608 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4095.608
AT ITER 3497 NEW BEST:: SOT 20098 SOS 6588 HAS SOPS 6588 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4094.588
AT ITER 3535 NEW BEST:: SOT 20097 SOS 6586 HAS SOPS 6586 HAS SOUS 4086 HAS SOUPS 4086 WITH SCORE 4092.586
AT ITER 3599 NEW BEST:: SOT 20096 SOS 6584 HAS SOPS 6584 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4090.584
AT ITER 3620 NEW BEST:: SOT 20093 SOS 6578 HAS SOPS 6578 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4087.578
AT ITER 3630 NEW BEST:: SOT 20089 SOS 6570 HAS SOPS 6570 HAS SOUS 4073 HAS SOUPS 4073 WITH SCORE 4079.57
AT ITER 3665 NEW BEST:: SOT 20076 SOS 6553 HAS SOPS 6553 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4057.553
AT ITER 3683 NEW BEST:: SOT 20077 SOS 6549 HAS SOPS 6549 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4053.549
AT ITER 3703 NEW BEST:: SOT 20073 SOS 6548 HAS SOPS 6548 HAS SOUS 4039 HAS SOUPS 4039 WITH SCORE 4045.548
AT ITER 3717 NEW BEST:: SOT 20073 SOS 6523 HAS SOPS 6523 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4038.523
AT ITER 3799 NEW BEST:: SOT 20071 SOS 6537 HAS SOPS 6537 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4034.537
AT ITER 3842 NEW BEST:: SOT 20061 SOS 6527 HAS SOPS 6527 HAS SOUS 4018 HAS SOUPS 4018 WITH SCORE 4024.527
AT ITER 3893 NEW BEST:: SOT 20059 SOS 6561 HAS SOPS 6561 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4020.561
AT ITER 3898 NEW BEST:: SOT 20037 SOS 6517 HAS SOPS 6517 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4004.517
AT ITER 3908 NEW BEST:: SOT 20035 SOS 6527 HAS SOPS 6527 HAS SOUS 3995 HAS SOUPS 3995 WITH SCORE 4001.527
AT ITER 3910 NEW BEST:: SOT 20027 SOS 6508 HAS SOPS 6508 HAS SOUS 3979 HAS SOUPS 3979 WITH SCORE 3985.508
AT ITER 3935 NEW BEST:: SOT 20024 SOS 6500 HAS SOPS 6500 HAS SOUS 3978 HAS SOUPS 3978 WITH SCORE 3984.5
AT ITER 3936 NEW BEST:: SOT 20022 SOS 6817 HAS SOPS 6817 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3982.817
AT ITER 3937 NEW BEST:: SOT 20011 SOS 6806 HAS SOPS 6806 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3982.806
AT ITER 3957 NEW BEST:: SOT 20010 SOS 6804 HAS SOPS 6804 HAS SOUS 3974 HAS SOUPS 3974 WITH SCORE 3980.804
AT ITER 3967 NEW BEST:: SOT 20003 SOS 6790 HAS SOPS 6790 HAS SOUS 3961 HAS SOUPS 3961 WITH SCORE 3967.79
AT ITER 3986 NEW BEST:: SOT 19989 SOS 6773 HAS SOPS 6773 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3950.773
AT ITER 4010 NEW BEST:: SOT 19986 SOS 6770 HAS SOPS 6770 HAS SOUS 3938 HAS SOUPS 3938 WITH SCORE 3944.77
AT ITER 4013 NEW BEST:: SOT 19963 SOS 6770 HAS SOPS 6770 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3921.77
AT ITER 4018 NEW BEST:: SOT 19964 SOS 6763 HAS SOPS 6763 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3919.763
AT ITER 4078 NEW BEST:: SOT 19964 SOS 6763 HAS SOPS 6763 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3911.763
AT ITER 4079 NEW BEST:: SOT 19964 SOS 6763 HAS SOPS 6763 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3904.763
AT ITER 4082 NEW BEST:: SOT 19963 SOS 6782 HAS SOPS 6782 HAS SOUS 3896 HAS SOUPS 3896 WITH SCORE 3902.782
AT ITER 4093 NEW BEST:: SOT 19961 SOS 6778 HAS SOPS 6778 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3900.778
AT ITER 4111 NEW BEST:: SOT 19960 SOS 6776 HAS SOPS 6776 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3898.776
AT ITER 4122 NEW BEST:: SOT 19959 SOS 6774 HAS SOPS 6774 HAS SOUS 3891 HAS SOUPS 3891 WITH SCORE 3897.774
AT ITER 4192 NEW BEST:: SOT 19946 SOS 6748 HAS SOPS 6748 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3878.748
AT ITER 4220 NEW BEST:: SOT 19945 SOS 6732 HAS SOPS 6732 HAS SOUS 3855 HAS SOUPS 3855 WITH SCORE 3861.732
AT ITER 4244 NEW BEST:: SOT 19951 SOS 6718 HAS SOPS 6718 HAS SOUS 3850 HAS SOUPS 3850 WITH SCORE 3856.718
AT ITER 4246 NEW BEST:: SOT 19951 SOS 6670 HAS SOPS 6670 HAS SOUS 3850 HAS SOUPS 3850 WITH SCORE 3856.67
AT ITER 4389 NEW BEST:: SOT 19950 SOS 6668 HAS SOPS 6668 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3855.668
AT ITER 4392 NEW BEST:: SOT 19950 SOS 6666 HAS SOPS 6666 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3855.666
AT ITER 4403 NEW BEST:: SOT 19947 SOS 6660 HAS SOPS 6660 HAS SOUS 3843 HAS SOUPS 3843 WITH SCORE 3849.66
AT ITER 4406 NEW BEST:: SOT 19947 SOS 6666 HAS SOPS 6666 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3846.666
AT ITER 4409 NEW BEST:: SOT 19946 SOS 6665 HAS SOPS 6665 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3840.665
AT ITER 4415 NEW BEST:: SOT 19943 SOS 6668 HAS SOPS 6668 HAS SOUS 3828 HAS SOUPS 3828 WITH SCORE 3834.668
AT ITER 4422 NEW BEST:: SOT 19944 SOS 6670 HAS SOPS 6670 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3833.67
AT ITER 4518 NEW BEST:: SOT 19939 SOS 6657 HAS SOPS 6657 HAS SOUS 3809 HAS SOUPS 3809 WITH SCORE 3815.657
AT ITER 4536 NEW BEST:: SOT 19939 SOS 6657 HAS SOPS 6657 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3811.657
AT ITER 4559 NEW BEST:: SOT 19939 SOS 6651 HAS SOPS 6651 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3808.651
AT ITER 4651 NEW BEST:: SOT 19938 SOS 6651 HAS SOPS 6651 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3806.651
AT ITER 4677 NEW BEST:: SOT 19938 SOS 6624 HAS SOPS 6624 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3806.624
AT ITER 4704 NEW BEST:: SOT 19937 SOS 6623 HAS SOPS 6623 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3806.623
AT ITER 4755 NEW BEST:: SOT 19937 SOS 6621 HAS SOPS 6621 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3806.621
AT ITER 4765 NEW BEST:: SOT 19950 SOS 6619 HAS SOPS 6619 HAS SOUS 3798 HAS SOUPS 3798 WITH SCORE 3804.619
AT ITER 4814 NEW BEST:: SOT 19942 SOS 6608 HAS SOPS 6608 HAS SOUS 3787 HAS SOUPS 3787 WITH SCORE 3793.608
AT ITER 4838 NEW BEST:: SOT 19938 SOS 6600 HAS SOPS 6600 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3791.6
AT ITER 4959 NEW BEST:: SOT 19938 SOS 6597 HAS SOPS 6597 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3791.597
AT ITER 4961 NEW BEST:: SOT 19933 SOS 6590 HAS SOPS 6590 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3784.59
Bounds file is: CTLFireability.xml
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-00 (AG( (! ( (EF( ((potential((tk(P99)>=1)))))) & (AF( ((potential((tk(P117)>=1)))))) ))))
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-01 ( ((potential((tk(P161)>=1)))) | ( (EU( (! ((potential((tk(P81)>=1) & (tk(P176)>=1))))) , ( ((potential((tk(P90)>=1)))) | ((potential((tk(P19)>=1)))) ) )) | ( (AU( ((potential((tk(P70)>=1)))) , ((potential((tk(P112)>=1) & (tk(P176)>=1)))) )) | (EU( ((potential((tk(P97)>=1)))) , ((potential((tk(P125)>=1) & (tk(P183)>=1)))) )) ) ) )
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-02 (EF( (! (! (AF( ((potential((tk(P19)>=1))))))))))
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-03 (AF( ((potential((tk(P36)>=1))))))
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-04 (! (EF( ( (! (! ((potential((tk(P35)>=1)))))) & (AF( ((potential((tk(P83)>=1)))))) ))))
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-05 (AG( (EF( ( (! ((potential((tk(P163)>=1) & (tk(P183)>=1))))) | ((potential((tk(P95)>=1)))) )))))
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-06 (EX( (EF( ( ( ((potential((tk(P145)>=1)))) | ((potential((tk(P141)>=1) & (tk(P176)>=1)))) ) & ( ((potential((tk(P36)>=1)))) | ((potential((tk(P68)>=1)))) ) )))))
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-07 (AG( ( ((potential((tk(P36)>=1)))) | (AF( ( ((potential((tk(P134)>=1)))) | ((potential((tk(P153)>=1)))) ))) )))
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-08 (AX( (EF( ( ((potential((tk(P117)>=1)))) & ((potential((tk(P34)>=1)))) )))))
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-09 (AU( (! ( (! ((potential((tk(P69)>=1) & (tk(P183)>=1))))) & ( ((potential((tk(P16)>=1)))) & ((potential((tk(P70)>=1)))) ) )) , ( (EX( ((potential((tk(P58)>=1) & (tk(P176)>=1)))))) | ( ( ((potential((tk(P165)>=1)))) & ((potential((tk(P101)>=1) & (tk(P176)>=1)))) ) & ((potential((tk(P96)>=1) & (tk(P183)>=1)))) ) ) ))
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-10 (EG( (! ( (AG( ((potential((tk(P57)>=1)))))) | (AX( ((potential((tk(P139)>=1) & (tk(P176)>=1)))))) ))))
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-11 ( ( (EU( ( ((potential((tk(P164)>=1)))) | ((potential((tk(P32)>=1)))) ) , ( ((potential((tk(P102)>=1)))) & ((potential((tk(P42)>=1) & (tk(P183)>=1)))) ) )) & (! (! ( ( ((potential((tk(P86)>=1)))) & ((potential((tk(P161)>=1)))) ) | ( ((potential((tk(P162)>=1) & (tk(P176)>=1)))) & ((potential((tk(P8)>=1)))) ) ))) ) | (AU( (EF( ((potential((tk(P30)>=1)))))) , ( ( ((potential((tk(P145)>=1)))) | ((potential((tk(P82)>=1) & (tk(P183)>=1)))) ) & ( ((potential((tk(P91)>=1)))) & ((potential((tk(P58)>=1) & (tk(P176)>=1)))) ) ) )) )
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-12 ( ((potential((tk(P37)>=1)))) | (EG( (AX( (! ((potential((tk(P153)>=1))))))))) )
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-13 (AG( (! (! (! ( ((potential((tk(P31)>=1) & (tk(P176)>=1)))) & ((potential((tk(P27)>=1) & (tk(P176)>=1)))) ))))))
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-14 (AG( (! ( (EX( ((potential((tk(P26)>=1)))))) & ((potential((tk(P104)>=1)))) ))))
PROPERTY: DiscoveryGPU-PT-06b-CTLFireability-15 ( (! (AF( (AX( ((potential((tk(P32)>=1))))))))) | (EG( (EG( (! ((potential((tk(P155)>=1) & (tk(P176)>=1))))))))) )
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="DiscoveryGPU-PT-06b"
export BK_EXAMINATION="CTLFireability"
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 DiscoveryGPU-PT-06b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922807700596"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-06b.tgz
mv DiscoveryGPU-PT-06b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;