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-158922807700595.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807700595
=====================================================================

--------------------
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-CTLCardinality-00
FORMULA_NAME DiscoveryGPU-PT-06b-CTLCardinality-01
FORMULA_NAME DiscoveryGPU-PT-06b-CTLCardinality-02
FORMULA_NAME DiscoveryGPU-PT-06b-CTLCardinality-03
FORMULA_NAME DiscoveryGPU-PT-06b-CTLCardinality-04
FORMULA_NAME DiscoveryGPU-PT-06b-CTLCardinality-05
FORMULA_NAME DiscoveryGPU-PT-06b-CTLCardinality-06
FORMULA_NAME DiscoveryGPU-PT-06b-CTLCardinality-07
FORMULA_NAME DiscoveryGPU-PT-06b-CTLCardinality-08
FORMULA_NAME DiscoveryGPU-PT-06b-CTLCardinality-09
FORMULA_NAME DiscoveryGPU-PT-06b-CTLCardinality-10
FORMULA_NAME DiscoveryGPU-PT-06b-CTLCardinality-11
FORMULA_NAME DiscoveryGPU-PT-06b-CTLCardinality-12
FORMULA_NAME DiscoveryGPU-PT-06b-CTLCardinality-13
FORMULA_NAME DiscoveryGPU-PT-06b-CTLCardinality-14
FORMULA_NAME DiscoveryGPU-PT-06b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589363060910

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 06b
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: 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 1 NEW BEST:: SOT 24080 SOS 10828 HAS SOPS 10828 HAS SOUS 9767 HAS SOUPS 9767 WITH SCORE 9777.828
AT ITER 3 NEW BEST:: SOT 23987 SOS 10701 HAS SOPS 10701 HAS SOUS 9632 HAS SOUPS 9632 WITH SCORE 9642.701
AT ITER 4 NEW BEST:: SOT 23883 SOS 10549 HAS SOPS 10549 HAS SOUS 9509 HAS SOUPS 9509 WITH SCORE 9519.549
AT ITER 5 NEW BEST:: SOT 23850 SOS 10423 HAS SOPS 10423 HAS SOUS 9383 HAS SOUPS 9383 WITH SCORE 9393.423
AT ITER 6 NEW BEST:: SOT 23809 SOS 10341 HAS SOPS 10341 HAS SOUS 9301 HAS SOUPS 9301 WITH SCORE 9311.341
AT ITER 7 NEW BEST:: SOT 23820 SOS 10367 HAS SOPS 10367 HAS SOUS 9292 HAS SOUPS 9292 WITH SCORE 9302.367
AT ITER 9 NEW BEST:: SOT 23792 SOS 10312 HAS SOPS 10312 HAS SOUS 9291 HAS SOUPS 9291 WITH SCORE 9301.312
AT ITER 13 NEW BEST:: SOT 23741 SOS 10275 HAS SOPS 10275 HAS SOUS 9265 HAS SOUPS 9265 WITH SCORE 9275.275
AT ITER 17 NEW BEST:: SOT 23692 SOS 10177 HAS SOPS 10177 HAS SOUS 9167 HAS SOUPS 9167 WITH SCORE 9177.177
AT ITER 25 NEW BEST:: SOT 23664 SOS 10076 HAS SOPS 10076 HAS SOUS 9096 HAS SOUPS 9096 WITH SCORE 9106.076
AT ITER 28 NEW BEST:: SOT 23628 SOS 10035 HAS SOPS 10035 HAS SOUS 9058 HAS SOUPS 9058 WITH SCORE 9068.035
AT ITER 31 NEW BEST:: SOT 23646 SOS 10015 HAS SOPS 10015 HAS SOUS 9028 HAS SOUPS 9028 WITH SCORE 9038.015
AT ITER 40 NEW BEST:: SOT 23639 SOS 10259 HAS SOPS 10259 HAS SOUS 9021 HAS SOUPS 9021 WITH SCORE 9031.259
AT ITER 43 NEW BEST:: SOT 23615 SOS 9996 HAS SOPS 9996 HAS SOUS 8997 HAS SOUPS 8997 WITH SCORE 9006.996
AT ITER 55 NEW BEST:: SOT 23583 SOS 9980 HAS SOPS 9980 HAS SOUS 8975 HAS SOUPS 8975 WITH SCORE 8984.98
AT ITER 58 NEW BEST:: SOT 23580 SOS 9974 HAS SOPS 9974 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8977.974
AT ITER 62 NEW BEST:: SOT 23579 SOS 9961 HAS SOPS 9961 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8977.961
AT ITER 63 NEW BEST:: SOT 22679 SOS 10214 HAS SOPS 10214 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8186.214
AT ITER 71 NEW BEST:: SOT 22671 SOS 10202 HAS SOPS 10202 HAS SOUS 8168 HAS SOUPS 8168 WITH SCORE 8178.202
AT ITER 78 NEW BEST:: SOT 22622 SOS 10126 HAS SOPS 10126 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8102.126
AT ITER 81 NEW BEST:: SOT 22542 SOS 10018 HAS SOPS 10018 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 7997.018
AT ITER 92 NEW BEST:: SOT 22541 SOS 10009 HAS SOPS 10009 HAS SOUS 7977 HAS SOUPS 7977 WITH SCORE 7987.009
AT ITER 99 NEW BEST:: SOT 22487 SOS 9925 HAS SOPS 9925 HAS SOUS 7923 HAS SOUPS 7923 WITH SCORE 7932.925
AT ITER 100 NEW BEST:: SOT 22487 SOS 9921 HAS SOPS 9921 HAS SOUS 7919 HAS SOUPS 7919 WITH SCORE 7928.921
AT ITER 102 NEW BEST:: SOT 22483 SOS 9917 HAS SOPS 9917 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7920.917
AT ITER 110 NEW BEST:: SOT 22482 SOS 9915 HAS SOPS 9915 HAS SOUS 7909 HAS SOUPS 7909 WITH SCORE 7918.915
AT ITER 114 NEW BEST:: SOT 22479 SOS 9912 HAS SOPS 9912 HAS SOUS 7906 HAS SOUPS 7906 WITH SCORE 7915.912
AT ITER 118 NEW BEST:: SOT 22478 SOS 9905 HAS SOPS 9905 HAS SOUS 7904 HAS SOUPS 7904 WITH SCORE 7913.905
AT ITER 125 NEW BEST:: SOT 22522 SOS 9890 HAS SOPS 9890 HAS SOUS 7862 HAS SOUPS 7862 WITH SCORE 7871.89
AT ITER 130 NEW BEST:: SOT 22511 SOS 9868 HAS SOPS 9868 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7857.868
AT ITER 132 NEW BEST:: SOT 22488 SOS 9824 HAS SOPS 9824 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7833.824
AT ITER 133 NEW BEST:: SOT 22404 SOS 9738 HAS SOPS 9738 HAS SOUS 7735 HAS SOUPS 7735 WITH SCORE 7744.738
AT ITER 136 NEW BEST:: SOT 22394 SOS 9718 HAS SOPS 9718 HAS SOUS 7723 HAS SOUPS 7723 WITH SCORE 7732.718
AT ITER 142 NEW BEST:: SOT 22378 SOS 9686 HAS SOPS 9686 HAS SOUS 7681 HAS SOUPS 7681 WITH SCORE 7690.686
AT ITER 158 NEW BEST:: SOT 22371 SOS 9672 HAS SOPS 9672 HAS SOUS 7673 HAS SOUPS 7673 WITH SCORE 7682.672
AT ITER 160 NEW BEST:: SOT 22368 SOS 9666 HAS SOPS 9666 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7676.666
AT ITER 167 NEW BEST:: SOT 22356 SOS 9654 HAS SOPS 9654 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7663.654
AT ITER 171 NEW BEST:: SOT 22356 SOS 9640 HAS SOPS 9640 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7663.64
AT ITER 176 NEW BEST:: SOT 22334 SOS 9601 HAS SOPS 9601 HAS SOUS 7645 HAS SOUPS 7645 WITH SCORE 7654.601
AT ITER 178 NEW BEST:: SOT 22330 SOS 9593 HAS SOPS 9593 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7646.593
AT ITER 187 NEW BEST:: SOT 22298 SOS 9561 HAS SOPS 9561 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7614.561
AT ITER 192 NEW BEST:: SOT 22262 SOS 9525 HAS SOPS 9525 HAS SOUS 7576 HAS SOUPS 7576 WITH SCORE 7585.525
AT ITER 193 NEW BEST:: SOT 22227 SOS 9477 HAS SOPS 9477 HAS SOUS 7541 HAS SOUPS 7541 WITH SCORE 7550.477
AT ITER 197 NEW BEST:: SOT 22221 SOS 9465 HAS SOPS 9465 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7538.465
AT ITER 199 NEW BEST:: SOT 22186 SOS 9395 HAS SOPS 9395 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7468.395
AT ITER 201 NEW BEST:: SOT 22179 SOS 9388 HAS SOPS 9388 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7461.388
AT ITER 219 NEW BEST:: SOT 22178 SOS 9373 HAS SOPS 9373 HAS SOUS 7436 HAS SOUPS 7436 WITH SCORE 7445.373
AT ITER 226 NEW BEST:: SOT 22178 SOS 9355 HAS SOPS 9355 HAS SOUS 7426 HAS SOUPS 7426 WITH SCORE 7435.355
AT ITER 229 NEW BEST:: SOT 22124 SOS 9282 HAS SOPS 9282 HAS SOUS 7344 HAS SOUPS 7344 WITH SCORE 7353.282
AT ITER 230 NEW BEST:: SOT 22109 SOS 8758 HAS SOPS 8758 HAS SOUS 7329 HAS SOUPS 7329 WITH SCORE 7337.758
AT ITER 231 NEW BEST:: SOT 22097 SOS 8740 HAS SOPS 8740 HAS SOUS 7311 HAS SOUPS 7311 WITH SCORE 7319.74
AT ITER 240 NEW BEST:: SOT 22089 SOS 8724 HAS SOPS 8724 HAS SOUS 7303 HAS SOUPS 7303 WITH SCORE 7311.724
AT ITER 245 NEW BEST:: SOT 22061 SOS 8668 HAS SOPS 8668 HAS SOUS 7256 HAS SOUPS 7256 WITH SCORE 7264.668
AT ITER 253 NEW BEST:: SOT 22060 SOS 8666 HAS SOPS 8666 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7262.666
AT ITER 255 NEW BEST:: SOT 22060 SOS 8648 HAS SOPS 8648 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7262.648
AT ITER 256 NEW BEST:: SOT 21962 SOS 8594 HAS SOPS 8594 HAS SOUS 7199 HAS SOUPS 7199 WITH SCORE 7207.594
AT ITER 259 NEW BEST:: SOT 21962 SOS 8594 HAS SOPS 8594 HAS SOUS 7197 HAS SOUPS 7197 WITH SCORE 7205.594
AT ITER 270 NEW BEST:: SOT 21957 SOS 8584 HAS SOPS 8584 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7192.584
AT ITER 285 NEW BEST:: SOT 21952 SOS 8580 HAS SOPS 8580 HAS SOUS 7180 HAS SOUPS 7180 WITH SCORE 7188.58
AT ITER 287 NEW BEST:: SOT 21937 SOS 8565 HAS SOPS 8565 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7158.565
AT ITER 295 NEW BEST:: SOT 21943 SOS 8556 HAS SOPS 8556 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7158.556
AT ITER 301 NEW BEST:: SOT 21938 SOS 8547 HAS SOPS 8547 HAS SOUS 7141 HAS SOUPS 7141 WITH SCORE 7149.547
AT ITER 302 NEW BEST:: SOT 21932 SOS 8518 HAS SOPS 8518 HAS SOUS 7118 HAS SOUPS 7118 WITH SCORE 7126.518
AT ITER 311 NEW BEST:: SOT 21908 SOS 8503 HAS SOPS 8503 HAS SOUS 7110 HAS SOUPS 7110 WITH SCORE 7118.503
AT ITER 312 NEW BEST:: SOT 21889 SOS 8491 HAS SOPS 8491 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7106.491
AT ITER 321 NEW BEST:: SOT 21889 SOS 8491 HAS SOPS 8491 HAS SOUS 7093 HAS SOUPS 7093 WITH SCORE 7101.491
AT ITER 337 NEW BEST:: SOT 21887 SOS 8489 HAS SOPS 8489 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7099.489
AT ITER 346 NEW BEST:: SOT 21887 SOS 8449 HAS SOPS 8449 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7073.449
AT ITER 348 NEW BEST:: SOT 21676 SOS 8274 HAS SOPS 8274 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6882.274
AT ITER 362 NEW BEST:: SOT 21676 SOS 8274 HAS SOPS 8274 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6877.274
AT ITER 372 NEW BEST:: SOT 21674 SOS 8248 HAS SOPS 8248 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6861.248
AT ITER 380 NEW BEST:: SOT 21666 SOS 8232 HAS SOPS 8232 HAS SOUS 6845 HAS SOUPS 6845 WITH SCORE 6853.232
AT ITER 384 NEW BEST:: SOT 21658 SOS 8216 HAS SOPS 8216 HAS SOUS 6829 HAS SOUPS 6829 WITH SCORE 6837.216
AT ITER 410 NEW BEST:: SOT 21657 SOS 8206 HAS SOPS 8206 HAS SOUS 6819 HAS SOUPS 6819 WITH SCORE 6827.206
AT ITER 421 NEW BEST:: SOT 21632 SOS 8156 HAS SOPS 8156 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6777.156
AT ITER 422 NEW BEST:: SOT 21599 SOS 8130 HAS SOPS 8130 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6731.13
AT ITER 431 NEW BEST:: SOT 21586 SOS 8142 HAS SOPS 8142 HAS SOUS 6717 HAS SOUPS 6717 WITH SCORE 6725.142
AT ITER 436 NEW BEST:: SOT 21637 SOS 8178 HAS SOPS 8178 HAS SOUS 6691 HAS SOUPS 6691 WITH SCORE 6699.178
AT ITER 440 NEW BEST:: SOT 21635 SOS 8176 HAS SOPS 8176 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6694.176
AT ITER 447 NEW BEST:: SOT 21631 SOS 8172 HAS SOPS 8172 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6690.172
AT ITER 454 NEW BEST:: SOT 21624 SOS 8183 HAS SOPS 8183 HAS SOUS 6675 HAS SOUPS 6675 WITH SCORE 6683.183
AT ITER 455 NEW BEST:: SOT 21594 SOS 8138 HAS SOPS 8138 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6653.138
AT ITER 456 NEW BEST:: SOT 21522 SOS 8036 HAS SOPS 8036 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6600.036
AT ITER 458 NEW BEST:: SOT 21522 SOS 8036 HAS SOPS 8036 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6595.036
AT ITER 483 NEW BEST:: SOT 21522 SOS 8021 HAS SOPS 8021 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6595.021
AT ITER 495 NEW BEST:: SOT 21477 SOS 7982 HAS SOPS 7982 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6555.982
AT ITER 506 NEW BEST:: SOT 21469 SOS 7966 HAS SOPS 7966 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6539.966
AT ITER 522 NEW BEST:: SOT 21457 SOS 7959 HAS SOPS 7959 HAS SOUS 6520 HAS SOUPS 6520 WITH SCORE 6527.959
AT ITER 527 NEW BEST:: SOT 21427 SOS 7869 HAS SOPS 7869 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6467.869
AT ITER 530 NEW BEST:: SOT 21442 SOS 7940 HAS SOPS 7940 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6446.94
AT ITER 534 NEW BEST:: SOT 21422 SOS 7900 HAS SOPS 7900 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6406.9
AT ITER 535 NEW BEST:: SOT 21421 SOS 7865 HAS SOPS 7865 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6379.865
AT ITER 561 NEW BEST:: SOT 21411 SOS 7855 HAS SOPS 7855 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6369.855
AT ITER 564 NEW BEST:: SOT 21406 SOS 7850 HAS SOPS 7850 HAS SOUS 6357 HAS SOUPS 6357 WITH SCORE 6364.85
AT ITER 570 NEW BEST:: SOT 21413 SOS 7809 HAS SOPS 7809 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6336.809
AT ITER 575 NEW BEST:: SOT 21384 SOS 7755 HAS SOPS 7755 HAS SOUS 6302 HAS SOUPS 6302 WITH SCORE 6309.755
AT ITER 600 NEW BEST:: SOT 21362 SOS 7733 HAS SOPS 7733 HAS SOUS 6280 HAS SOUPS 6280 WITH SCORE 6287.733
AT ITER 605 NEW BEST:: SOT 21362 SOS 7733 HAS SOPS 7733 HAS SOUS 6278 HAS SOUPS 6278 WITH SCORE 6285.733
AT ITER 616 NEW BEST:: SOT 21269 SOS 7575 HAS SOPS 7575 HAS SOUS 6186 HAS SOUPS 6186 WITH SCORE 6193.575
AT ITER 629 NEW BEST:: SOT 21256 SOS 7549 HAS SOPS 7549 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6167.549
AT ITER 630 NEW BEST:: SOT 21254 SOS 7505 HAS SOPS 7505 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6163.505
AT ITER 642 NEW BEST:: SOT 21232 SOS 7464 HAS SOPS 7464 HAS SOUS 6126 HAS SOUPS 6126 WITH SCORE 6133.464
AT ITER 643 NEW BEST:: SOT 21202 SOS 7436 HAS SOPS 7436 HAS SOUS 6077 HAS SOUPS 6077 WITH SCORE 6084.436
AT ITER 676 NEW BEST:: SOT 21198 SOS 7428 HAS SOPS 7428 HAS SOUS 6074 HAS SOUPS 6074 WITH SCORE 6081.428
AT ITER 690 NEW BEST:: SOT 21140 SOS 7312 HAS SOPS 7312 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6023.312
AT ITER 725 NEW BEST:: SOT 21140 SOS 7272 HAS SOPS 7272 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6023.272
AT ITER 730 NEW BEST:: SOT 21130 SOS 7258 HAS SOPS 7258 HAS SOUS 6003 HAS SOUPS 6003 WITH SCORE 6010.258
AT ITER 731 NEW BEST:: SOT 21133 SOS 7255 HAS SOPS 7255 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6003.255
AT ITER 734 NEW BEST:: SOT 21124 SOS 7245 HAS SOPS 7245 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5994.245
AT ITER 770 NEW BEST:: SOT 21114 SOS 7235 HAS SOPS 7235 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5994.235
AT ITER 796 NEW BEST:: SOT 21107 SOS 7228 HAS SOPS 7228 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5994.228
AT ITER 798 NEW BEST:: SOT 21108 SOS 7230 HAS SOPS 7230 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5993.23
AT ITER 808 NEW BEST:: SOT 21102 SOS 7224 HAS SOPS 7224 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5981.224
AT ITER 817 NEW BEST:: SOT 21070 SOS 7194 HAS SOPS 7194 HAS SOUS 5944 HAS SOUPS 5944 WITH SCORE 5951.194
AT ITER 831 NEW BEST:: SOT 21068 SOS 7190 HAS SOPS 7190 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5947.19
AT ITER 884 NEW BEST:: SOT 21053 SOS 7178 HAS SOPS 7178 HAS SOUS 5927 HAS SOUPS 5927 WITH SCORE 5934.178
AT ITER 886 NEW BEST:: SOT 21054 SOS 7159 HAS SOPS 7159 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5932.159
AT ITER 895 NEW BEST:: SOT 21047 SOS 7152 HAS SOPS 7152 HAS SOUS 5910 HAS SOUPS 5910 WITH SCORE 5917.152
AT ITER 915 NEW BEST:: SOT 21020 SOS 7125 HAS SOPS 7125 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5887.125
AT ITER 935 NEW BEST:: SOT 20973 SOS 7078 HAS SOPS 7078 HAS SOUS 5816 HAS SOUPS 5816 WITH SCORE 5823.078
AT ITER 943 NEW BEST:: SOT 20949 SOS 7081 HAS SOPS 7081 HAS SOUS 5809 HAS SOUPS 5809 WITH SCORE 5816.081
AT ITER 969 NEW BEST:: SOT 20943 SOS 7075 HAS SOPS 7075 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5810.075
AT ITER 978 NEW BEST:: SOT 20889 SOS 7061 HAS SOPS 7061 HAS SOUS 5748 HAS SOUPS 5748 WITH SCORE 5755.061
AT ITER 981 NEW BEST:: SOT 20887 SOS 7059 HAS SOPS 7059 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5753.059
AT ITER 999 NEW BEST:: SOT 20888 SOS 7050 HAS SOPS 7050 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5747.05
AT ITER 1000 NEW BEST:: SOT 20887 SOS 7048 HAS SOPS 7048 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5745.048
AT ITER 1004 NEW BEST:: SOT 20870 SOS 7053 HAS SOPS 7053 HAS SOUS 5726 HAS SOUPS 5726 WITH SCORE 5733.053
AT ITER 1005 NEW BEST:: SOT 20846 SOS 7017 HAS SOPS 7017 HAS SOUS 5690 HAS SOUPS 5690 WITH SCORE 5697.017
AT ITER 1013 NEW BEST:: SOT 20810 SOS 6981 HAS SOPS 6981 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5682.981
AT ITER 1035 NEW BEST:: SOT 20811 SOS 6966 HAS SOPS 6966 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5667.966
AT ITER 1044 NEW BEST:: SOT 20809 SOS 6962 HAS SOPS 6962 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5663.962
AT ITER 1052 NEW BEST:: SOT 20806 SOS 6932 HAS SOPS 6932 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5633.932
AT ITER 1079 NEW BEST:: SOT 20801 SOS 6914 HAS SOPS 6914 HAS SOUS 5617 HAS SOUPS 5617 WITH SCORE 5623.914
AT ITER 1098 NEW BEST:: SOT 20799 SOS 6914 HAS SOPS 6914 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5621.914
AT ITER 1100 NEW BEST:: SOT 20801 SOS 6916 HAS SOPS 6916 HAS SOUS 5614 HAS SOUPS 5614 WITH SCORE 5620.916
AT ITER 1109 NEW BEST:: SOT 20799 SOS 6912 HAS SOPS 6912 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5616.912
AT ITER 1117 NEW BEST:: SOT 20796 SOS 6932 HAS SOPS 6932 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5611.932
AT ITER 1136 NEW BEST:: SOT 20792 SOS 6924 HAS SOPS 6924 HAS SOUS 5601 HAS SOUPS 5601 WITH SCORE 5607.924
AT ITER 1147 NEW BEST:: SOT 20777 SOS 6914 HAS SOPS 6914 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5581.914
AT ITER 1161 NEW BEST:: SOT 20771 SOS 6902 HAS SOPS 6902 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5564.902
AT ITER 1203 NEW BEST:: SOT 20771 SOS 6900 HAS SOPS 6900 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5564.9
AT ITER 1211 NEW BEST:: SOT 20751 SOS 6898 HAS SOPS 6898 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5562.898
AT ITER 1233 NEW BEST:: SOT 20750 SOS 6896 HAS SOPS 6896 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5561.896
AT ITER 1254 NEW BEST:: SOT 20749 SOS 6891 HAS SOPS 6891 HAS SOUS 5553 HAS SOUPS 5553 WITH SCORE 5559.891
AT ITER 1294 NEW BEST:: SOT 20749 SOS 6839 HAS SOPS 6839 HAS SOUS 5553 HAS SOUPS 5553 WITH SCORE 5559.839
AT ITER 1311 NEW BEST:: SOT 20749 SOS 6835 HAS SOPS 6835 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5556.835
AT ITER 1323 NEW BEST:: SOT 20749 SOS 6873 HAS SOPS 6873 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5548.873
AT ITER 1346 NEW BEST:: SOT 20748 SOS 6872 HAS SOPS 6872 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5546.872
AT ITER 1365 NEW BEST:: SOT 20724 SOS 6824 HAS SOPS 6824 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5546.824
AT ITER 1376 NEW BEST:: SOT 20717 SOS 6817 HAS SOPS 6817 HAS SOUS 5533 HAS SOUPS 5533 WITH SCORE 5539.817
AT ITER 1395 NEW BEST:: SOT 20706 SOS 6968 HAS SOPS 6968 HAS SOUS 5525 HAS SOUPS 5525 WITH SCORE 5531.968
AT ITER 1404 NEW BEST:: SOT 20706 SOS 6956 HAS SOPS 6956 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5519.956
AT ITER 1447 NEW BEST:: SOT 20713 SOS 6950 HAS SOPS 6950 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5519.95
AT ITER 1461 NEW BEST:: SOT 20698 SOS 6928 HAS SOPS 6928 HAS SOUS 5507 HAS SOUPS 5507 WITH SCORE 5513.928
AT ITER 1471 NEW BEST:: SOT 20696 SOS 6914 HAS SOPS 6914 HAS SOUS 5503 HAS SOUPS 5503 WITH SCORE 5509.914
AT ITER 1473 NEW BEST:: SOT 20695 SOS 6912 HAS SOPS 6912 HAS SOUS 5501 HAS SOUPS 5501 WITH SCORE 5507.912
AT ITER 1474 NEW BEST:: SOT 20694 SOS 6910 HAS SOPS 6910 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5506.91
AT ITER 1512 NEW BEST:: SOT 20700 SOS 6905 HAS SOPS 6905 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5501.905
AT ITER 1516 NEW BEST:: SOT 20699 SOS 6902 HAS SOPS 6902 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5500.902
AT ITER 1535 NEW BEST:: SOT 20682 SOS 6891 HAS SOPS 6891 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5489.891
AT ITER 1562 NEW BEST:: SOT 20661 SOS 6876 HAS SOPS 6876 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5447.876
AT ITER 1590 NEW BEST:: SOT 20656 SOS 6859 HAS SOPS 6859 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5435.859
AT ITER 1594 NEW BEST:: SOT 20651 SOS 6858 HAS SOPS 6858 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5434.858
AT ITER 1599 NEW BEST:: SOT 20651 SOS 6845 HAS SOPS 6845 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5421.845
AT ITER 1623 NEW BEST:: SOT 20634 SOS 6846 HAS SOPS 6846 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5405.846
AT ITER 1628 NEW BEST:: SOT 20624 SOS 6846 HAS SOPS 6846 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5397.846
AT ITER 1648 NEW BEST:: SOT 20623 SOS 6844 HAS SOPS 6844 HAS SOUS 5389 HAS SOUPS 5389 WITH SCORE 5395.844
AT ITER 1659 NEW BEST:: SOT 20616 SOS 6835 HAS SOPS 6835 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5383.835
AT ITER 1665 NEW BEST:: SOT 20616 SOS 6834 HAS SOPS 6834 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5383.834
AT ITER 1688 NEW BEST:: SOT 20617 SOS 6815 HAS SOPS 6815 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5374.815
AT ITER 1699 NEW BEST:: SOT 20615 SOS 6811 HAS SOPS 6811 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5374.811
AT ITER 1712 NEW BEST:: SOT 20612 SOS 6805 HAS SOPS 6805 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5368.805
AT ITER 1718 NEW BEST:: SOT 20612 SOS 6803 HAS SOPS 6803 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5366.803
AT ITER 1724 NEW BEST:: SOT 20612 SOS 6798 HAS SOPS 6798 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5363.798
AT ITER 1725 NEW BEST:: SOT 20677 SOS 6832 HAS SOPS 6832 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5362.832
AT ITER 1734 NEW BEST:: SOT 20669 SOS 6830 HAS SOPS 6830 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5360.83
AT ITER 1808 NEW BEST:: SOT 20660 SOS 6812 HAS SOPS 6812 HAS SOUS 5345 HAS SOUPS 5345 WITH SCORE 5351.812
AT ITER 1813 NEW BEST:: SOT 20660 SOS 6799 HAS SOPS 6799 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5338.799
AT ITER 1828 NEW BEST:: SOT 20658 SOS 6793 HAS SOPS 6793 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5334.793
AT ITER 1834 NEW BEST:: SOT 20658 SOS 6786 HAS SOPS 6786 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5331.786
AT ITER 1855 NEW BEST:: SOT 20653 SOS 6776 HAS SOPS 6776 HAS SOUS 5315 HAS SOUPS 5315 WITH SCORE 5321.776
AT ITER 1865 NEW BEST:: SOT 20624 SOS 6802 HAS SOPS 6802 HAS SOUS 5310 HAS SOUPS 5310 WITH SCORE 5316.802
AT ITER 1876 NEW BEST:: SOT 20624 SOS 6802 HAS SOPS 6802 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5312.802
AT ITER 1893 NEW BEST:: SOT 20612 SOS 6778 HAS SOPS 6778 HAS SOUS 5282 HAS SOUPS 5282 WITH SCORE 5288.778
AT ITER 1894 NEW BEST:: SOT 20611 SOS 6767 HAS SOPS 6767 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5276.767
AT ITER 1898 NEW BEST:: SOT 20595 SOS 6747 HAS SOPS 6747 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5256.747
AT ITER 1900 NEW BEST:: SOT 20590 SOS 6742 HAS SOPS 6742 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5251.742
AT ITER 1912 NEW BEST:: SOT 20591 SOS 6738 HAS SOPS 6738 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5245.738
AT ITER 1928 NEW BEST:: SOT 20582 SOS 6730 HAS SOPS 6730 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5237.73
AT ITER 1947 NEW BEST:: SOT 20578 SOS 6714 HAS SOPS 6714 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5221.714
AT ITER 1965 NEW BEST:: SOT 20578 SOS 6704 HAS SOPS 6704 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5216.704
AT ITER 1971 NEW BEST:: SOT 20579 SOS 6694 HAS SOPS 6694 HAS SOUS 5209 HAS SOUPS 5209 WITH SCORE 5215.694
AT ITER 1979 NEW BEST:: SOT 20579 SOS 6690 HAS SOPS 6690 HAS SOUS 5209 HAS SOUPS 5209 WITH SCORE 5215.69
AT ITER 1986 NEW BEST:: SOT 20579 SOS 6690 HAS SOPS 6690 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5212.69
AT ITER 1997 NEW BEST:: SOT 20540 SOS 6878 HAS SOPS 6878 HAS SOUS 5180 HAS SOUPS 5180 WITH SCORE 5186.878
AT ITER 2005 NEW BEST:: SOT 20540 SOS 6877 HAS SOPS 6877 HAS SOUS 5179 HAS SOUPS 5179 WITH SCORE 5185.877
AT ITER 2023 NEW BEST:: SOT 20527 SOS 6870 HAS SOPS 6870 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5172.87
AT ITER 2076 NEW BEST:: SOT 20526 SOS 6868 HAS SOPS 6868 HAS SOUS 5164 HAS SOUPS 5164 WITH SCORE 5170.868
AT ITER 2079 NEW BEST:: SOT 20526 SOS 6815 HAS SOPS 6815 HAS SOUS 5164 HAS SOUPS 5164 WITH SCORE 5170.815
AT ITER 2111 NEW BEST:: SOT 20519 SOS 6789 HAS SOPS 6789 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5156.789
AT ITER 2174 NEW BEST:: SOT 20519 SOS 6765 HAS SOPS 6765 HAS SOUS 5144 HAS SOUPS 5144 WITH SCORE 5150.765
AT ITER 2200 NEW BEST:: SOT 20515 SOS 6753 HAS SOPS 6753 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5142.753
AT ITER 2210 NEW BEST:: SOT 20514 SOS 6753 HAS SOPS 6753 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5141.753
AT ITER 2222 NEW BEST:: SOT 20511 SOS 6747 HAS SOPS 6747 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5136.747
AT ITER 2236 NEW BEST:: SOT 20508 SOS 6738 HAS SOPS 6738 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5130.738
AT ITER 2246 NEW BEST:: SOT 20512 SOS 6746 HAS SOPS 6746 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5112.746
AT ITER 2282 NEW BEST:: SOT 20505 SOS 6739 HAS SOPS 6739 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5105.739
AT ITER 2286 NEW BEST:: SOT 20491 SOS 6718 HAS SOPS 6718 HAS SOUS 5078 HAS SOUPS 5078 WITH SCORE 5084.718
AT ITER 2297 NEW BEST:: SOT 20482 SOS 6649 HAS SOPS 6649 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5066.649
AT ITER 2349 NEW BEST:: SOT 20481 SOS 6642 HAS SOPS 6642 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5066.642
AT ITER 2365 NEW BEST:: SOT 20478 SOS 6631 HAS SOPS 6631 HAS SOUS 5054 HAS SOUPS 5054 WITH SCORE 5060.631
AT ITER 2385 NEW BEST:: SOT 20475 SOS 6633 HAS SOPS 6633 HAS SOUS 5046 HAS SOUPS 5046 WITH SCORE 5052.633
AT ITER 2392 NEW BEST:: SOT 20471 SOS 6629 HAS SOPS 6629 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5048.629
AT ITER 2451 NEW BEST:: SOT 20473 SOS 6625 HAS SOPS 6625 HAS SOUS 5034 HAS SOUPS 5034 WITH SCORE 5040.625
AT ITER 2465 NEW BEST:: SOT 20474 SOS 6602 HAS SOPS 6602 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5018.602
AT ITER 2485 NEW BEST:: SOT 20478 SOS 6610 HAS SOPS 6610 HAS SOUS 5010 HAS SOUPS 5010 WITH SCORE 5016.61
AT ITER 2486 NEW BEST:: SOT 20450 SOS 6554 HAS SOPS 6554 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4974.554
AT ITER 2518 NEW BEST:: SOT 20448 SOS 6550 HAS SOPS 6550 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4972.55
AT ITER 2520 NEW BEST:: SOT 20444 SOS 6542 HAS SOPS 6542 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4956.542
AT ITER 2529 NEW BEST:: SOT 20444 SOS 6542 HAS SOPS 6542 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4955.542
AT ITER 2561 NEW BEST:: SOT 20444 SOS 6542 HAS SOPS 6542 HAS SOUS 4931 HAS SOUPS 4931 WITH SCORE 4937.542
AT ITER 2579 NEW BEST:: SOT 20417 SOS 6488 HAS SOPS 6488 HAS SOUS 4905 HAS SOUPS 4905 WITH SCORE 4911.488
AT ITER 2600 NEW BEST:: SOT 20399 SOS 6496 HAS SOPS 6496 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4910.496
AT ITER 2614 NEW BEST:: SOT 20389 SOS 6486 HAS SOPS 6486 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4900.486
AT ITER 2623 NEW BEST:: SOT 20389 SOS 6480 HAS SOPS 6480 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4900.48
AT ITER 2631 NEW BEST:: SOT 20388 SOS 6478 HAS SOPS 6478 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4899.478
AT ITER 2675 NEW BEST:: SOT 20384 SOS 6472 HAS SOPS 6472 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4892.472
AT ITER 2676 NEW BEST:: SOT 20383 SOS 6491 HAS SOPS 6491 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4890.491
AT ITER 2677 NEW BEST:: SOT 20363 SOS 6486 HAS SOPS 6486 HAS SOUS 4871 HAS SOUPS 4871 WITH SCORE 4877.486
AT ITER 2681 NEW BEST:: SOT 20361 SOS 6482 HAS SOPS 6482 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4874.482
AT ITER 2697 NEW BEST:: SOT 20361 SOS 6475 HAS SOPS 6475 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4874.475
AT ITER 2698 NEW BEST:: SOT 20350 SOS 6466 HAS SOPS 6466 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4868.466
AT ITER 2712 NEW BEST:: SOT 20318 SOS 6436 HAS SOPS 6436 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4868.436
AT ITER 2715 NEW BEST:: SOT 20320 SOS 6432 HAS SOPS 6432 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4866.432
AT ITER 2731 NEW BEST:: SOT 20320 SOS 6416 HAS SOPS 6416 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4866.416
AT ITER 2783 NEW BEST:: SOT 20321 SOS 6410 HAS SOPS 6410 HAS SOUS 4853 HAS SOUPS 4853 WITH SCORE 4859.41
AT ITER 2794 NEW BEST:: SOT 20309 SOS 6404 HAS SOPS 6404 HAS SOUS 4849 HAS SOUPS 4849 WITH SCORE 4855.404
AT ITER 2816 NEW BEST:: SOT 20303 SOS 6401 HAS SOPS 6401 HAS SOUS 4846 HAS SOUPS 4846 WITH SCORE 4852.401
AT ITER 2837 NEW BEST:: SOT 20297 SOS 6397 HAS SOPS 6397 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4848.397
AT ITER 2861 NEW BEST:: SOT 20295 SOS 6393 HAS SOPS 6393 HAS SOUS 4840 HAS SOUPS 4840 WITH SCORE 4846.393
AT ITER 2920 NEW BEST:: SOT 20292 SOS 6384 HAS SOPS 6384 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4843.384
AT ITER 2924 NEW BEST:: SOT 20287 SOS 6374 HAS SOPS 6374 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4842.374
AT ITER 2935 NEW BEST:: SOT 20283 SOS 6370 HAS SOPS 6370 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4838.37
AT ITER 2974 NEW BEST:: SOT 20279 SOS 6362 HAS SOPS 6362 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4834.362
AT ITER 2989 NEW BEST:: SOT 20264 SOS 6355 HAS SOPS 6355 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4834.355
AT ITER 3026 NEW BEST:: SOT 20264 SOS 6354 HAS SOPS 6354 HAS SOUS 4827 HAS SOUPS 4827 WITH SCORE 4833.354
AT ITER 3048 NEW BEST:: SOT 20263 SOS 6344 HAS SOPS 6344 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4825.344
AT ITER 3063 NEW BEST:: SOT 20261 SOS 6338 HAS SOPS 6338 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4821.338
AT ITER 3077 NEW BEST:: SOT 20261 SOS 6324 HAS SOPS 6324 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4821.324
AT ITER 3087 NEW BEST:: SOT 20255 SOS 6317 HAS SOPS 6317 HAS SOUS 4812 HAS SOUPS 4812 WITH SCORE 4818.317
AT ITER 3182 NEW BEST:: SOT 20254 SOS 6282 HAS SOPS 6282 HAS SOUS 4809 HAS SOUPS 4809 WITH SCORE 4815.282
AT ITER 3183 NEW BEST:: SOT 20260 SOS 6288 HAS SOPS 6288 HAS SOUS 4804 HAS SOUPS 4804 WITH SCORE 4810.288
AT ITER 3202 NEW BEST:: SOT 20213 SOS 6241 HAS SOPS 6241 HAS SOUS 4757 HAS SOUPS 4757 WITH SCORE 4763.241
AT ITER 3221 NEW BEST:: SOT 20204 SOS 6232 HAS SOPS 6232 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4754.232
AT ITER 3231 NEW BEST:: SOT 20204 SOS 6226 HAS SOPS 6226 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4754.226
AT ITER 3233 NEW BEST:: SOT 20202 SOS 6224 HAS SOPS 6224 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4750.224
AT ITER 3239 NEW BEST:: SOT 20200 SOS 6221 HAS SOPS 6221 HAS SOUS 4741 HAS SOUPS 4741 WITH SCORE 4747.221
AT ITER 3244 NEW BEST:: SOT 20195 SOS 6219 HAS SOPS 6219 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4745.219
AT ITER 3246 NEW BEST:: SOT 20196 SOS 6221 HAS SOPS 6221 HAS SOUS 4734 HAS SOUPS 4734 WITH SCORE 4740.221
AT ITER 3256 NEW BEST:: SOT 20196 SOS 6221 HAS SOPS 6221 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4736.221
AT ITER 3275 NEW BEST:: SOT 20195 SOS 6219 HAS SOPS 6219 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4734.219
AT ITER 3283 NEW BEST:: SOT 20193 SOS 6223 HAS SOPS 6223 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4732.223
AT ITER 3293 NEW BEST:: SOT 20192 SOS 6221 HAS SOPS 6221 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4730.221
AT ITER 3296 NEW BEST:: SOT 20176 SOS 6187 HAS SOPS 6187 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4700.187
AT ITER 3345 NEW BEST:: SOT 20177 SOS 6188 HAS SOPS 6188 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4696.188
AT ITER 3372 NEW BEST:: SOT 20171 SOS 6182 HAS SOPS 6182 HAS SOUS 4680 HAS SOUPS 4680 WITH SCORE 4686.182
AT ITER 3396 NEW BEST:: SOT 20169 SOS 6179 HAS SOPS 6179 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4682.179
AT ITER 3401 NEW BEST:: SOT 20168 SOS 6179 HAS SOPS 6179 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4681.179
AT ITER 3407 NEW BEST:: SOT 20168 SOS 6177 HAS SOPS 6177 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4679.177
AT ITER 3475 NEW BEST:: SOT 20161 SOS 6163 HAS SOPS 6163 HAS SOUS 4668 HAS SOUPS 4668 WITH SCORE 4674.163
AT ITER 3505 NEW BEST:: SOT 20159 SOS 6159 HAS SOPS 6159 HAS SOUS 4666 HAS SOUPS 4666 WITH SCORE 4672.159
AT ITER 3531 NEW BEST:: SOT 20154 SOS 6150 HAS SOPS 6150 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4668.15
AT ITER 3555 NEW BEST:: SOT 20145 SOS 6147 HAS SOPS 6147 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4665.147
AT ITER 3574 NEW BEST:: SOT 20137 SOS 6131 HAS SOPS 6131 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4649.131
AT ITER 3585 NEW BEST:: SOT 20127 SOS 6111 HAS SOPS 6111 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4629.111
AT ITER 3594 NEW BEST:: SOT 20127 SOS 6107 HAS SOPS 6107 HAS SOUS 4619 HAS SOUPS 4619 WITH SCORE 4625.107
AT ITER 3647 NEW BEST:: SOT 20119 SOS 6101 HAS SOPS 6101 HAS SOUS 4599 HAS SOUPS 4599 WITH SCORE 4605.101
AT ITER 3694 NEW BEST:: SOT 20104 SOS 6071 HAS SOPS 6071 HAS SOUS 4576 HAS SOUPS 4576 WITH SCORE 4582.071
AT ITER 3726 NEW BEST:: SOT 20104 SOS 6071 HAS SOPS 6071 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4577.071
AT ITER 3758 NEW BEST:: SOT 20097 SOS 6064 HAS SOPS 6064 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4577.064
AT ITER 3765 NEW BEST:: SOT 20091 SOS 6059 HAS SOPS 6059 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4572.059
AT ITER 3774 NEW BEST:: SOT 20092 SOS 6055 HAS SOPS 6055 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4565.055
AT ITER 3862 NEW BEST:: SOT 20091 SOS 6046 HAS SOPS 6046 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4557.046
AT ITER 3873 NEW BEST:: SOT 20069 SOS 6011 HAS SOPS 6011 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4535.011
AT ITER 3902 NEW BEST:: SOT 20068 SOS 6009 HAS SOPS 6009 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4534.009
AT ITER 4058 NEW BEST:: SOT 20066 SOS 5987 HAS SOPS 5987 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4525.987
AT ITER 4078 NEW BEST:: SOT 20066 SOS 5998 HAS SOPS 5998 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4521.998
AT ITER 4119 NEW BEST:: SOT 20066 SOS 5998 HAS SOPS 5998 HAS SOUS 4515 HAS SOUPS 4515 WITH SCORE 4520.998
AT ITER 4144 NEW BEST:: SOT 20066 SOS 5985 HAS SOPS 5985 HAS SOUS 4515 HAS SOUPS 4515 WITH SCORE 4520.985
AT ITER 4146 NEW BEST:: SOT 20066 SOS 5982 HAS SOPS 5982 HAS SOUS 4515 HAS SOUPS 4515 WITH SCORE 4520.982
AT ITER 4157 NEW BEST:: SOT 20058 SOS 5970 HAS SOPS 5970 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4508.97
AT ITER 4194 NEW BEST:: SOT 20059 SOS 5972 HAS SOPS 5972 HAS SOUS 4498 HAS SOUPS 4498 WITH SCORE 4503.972
AT ITER 4204 NEW BEST:: SOT 20072 SOS 5959 HAS SOPS 5959 HAS SOUS 4498 HAS SOUPS 4498 WITH SCORE 4503.959
AT ITER 4222 NEW BEST:: SOT 20072 SOS 5965 HAS SOPS 5965 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4497.965
AT ITER 4305 NEW BEST:: SOT 20072 SOS 5963 HAS SOPS 5963 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4497.963
AT ITER 4315 NEW BEST:: SOT 20065 SOS 5957 HAS SOPS 5957 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4491.957
AT ITER 4370 NEW BEST:: SOT 20063 SOS 5957 HAS SOPS 5957 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4487.957
AT ITER 4416 NEW BEST:: SOT 20063 SOS 6067 HAS SOPS 6067 HAS SOUS 4475 HAS SOUPS 4475 WITH SCORE 4481.067
AT ITER 4437 NEW BEST:: SOT 20061 SOS 6049 HAS SOPS 6049 HAS SOUS 4471 HAS SOUPS 4471 WITH SCORE 4477.049
AT ITER 4469 NEW BEST:: SOT 20061 SOS 6046 HAS SOPS 6046 HAS SOUS 4471 HAS SOUPS 4471 WITH SCORE 4477.046
AT ITER 4484 NEW BEST:: SOT 20060 SOS 6044 HAS SOPS 6044 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4475.044
AT ITER 4488 NEW BEST:: SOT 20058 SOS 6043 HAS SOPS 6043 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4472.043
AT ITER 4511 NEW BEST:: SOT 20051 SOS 6035 HAS SOPS 6035 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4470.035
AT ITER 4549 NEW BEST:: SOT 20051 SOS 6035 HAS SOPS 6035 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4469.035
AT ITER 4620 NEW BEST:: SOT 20041 SOS 6015 HAS SOPS 6015 HAS SOUS 4443 HAS SOUPS 4443 WITH SCORE 4449.015
AT ITER 4641 NEW BEST:: SOT 20040 SOS 6007 HAS SOPS 6007 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4445.007
AT ITER 4675 NEW BEST:: SOT 20038 SOS 6003 HAS SOPS 6003 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4443.003
AT ITER 4699 NEW BEST:: SOT 20035 SOS 6000 HAS SOPS 6000 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4440.0
AT ITER 4711 NEW BEST:: SOT 20034 SOS 5998 HAS SOPS 5998 HAS SOUS 4433 HAS SOUPS 4433 WITH SCORE 4438.998
AT ITER 4713 NEW BEST:: SOT 20016 SOS 5962 HAS SOPS 5962 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4428.962
AT ITER 4721 NEW BEST:: SOT 20014 SOS 5959 HAS SOPS 5959 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4425.959
AT ITER 4724 NEW BEST:: SOT 20000 SOS 5937 HAS SOPS 5937 HAS SOUS 4396 HAS SOUPS 4396 WITH SCORE 4401.937
AT ITER 4726 NEW BEST:: SOT 19986 SOS 6117 HAS SOPS 6117 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4396.117
AT ITER 4729 NEW BEST:: SOT 19982 SOS 6120 HAS SOPS 6120 HAS SOUS 4382 HAS SOUPS 4382 WITH SCORE 4388.12
AT ITER 4755 NEW BEST:: SOT 19980 SOS 6116 HAS SOPS 6116 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4382.116
AT ITER 4771 NEW BEST:: SOT 19971 SOS 6116 HAS SOPS 6116 HAS SOUS 4367 HAS SOUPS 4367 WITH SCORE 4373.116
AT ITER 4826 NEW BEST:: SOT 19968 SOS 6112 HAS SOPS 6112 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4371.112
AT ITER 4829 NEW BEST:: SOT 19963 SOS 6108 HAS SOPS 6108 HAS SOUS 4358 HAS SOUPS 4358 WITH SCORE 4364.108
AT ITER 4868 NEW BEST:: SOT 19956 SOS 6110 HAS SOPS 6110 HAS SOUS 4333 HAS SOUPS 4333 WITH SCORE 4339.11
AT ITER 4906 NEW BEST:: SOT 19959 SOS 6113 HAS SOPS 6113 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4320.113
AT ITER 4921 NEW BEST:: SOT 19961 SOS 6114 HAS SOPS 6114 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4318.114
AT ITER 4968 NEW BEST:: SOT 19961 SOS 6110 HAS SOPS 6110 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4314.11
AT ITER 4995 NEW BEST:: SOT 19956 SOS 6110 HAS SOPS 6110 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4304.11
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-00 ( (AG( potential( (tk(P177)) <= (tk(P81)) ))) | ( (AU( potential( (tk(P67)) <= (tk(P79)) ),potential( (tk(P34)) <= (tk(P43)) ) )) & (AF(( potential( ( 1 ) <= (tk(P80)) ) & potential( ( 3 ) <= (tk(P157)) ) ))) ) )
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-01 (! (AF((AG( potential( (tk(P60)) <= (tk(P79)) ))))))
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-02 ( ( (EF(( potential( (tk(P32)) <= (tk(P80)) ) & potential( ( 2 ) <= (tk(P39)) ) ))) | ( ( ( potential( ( 3 ) <= (tk(P114)) ) & potential( ( 1 ) <= (tk(P69)) ) ) | (! potential( (tk(P49)) <= (tk(P98)) )) ) & ( potential( (tk(P155)) <= (tk(P118)) ) | (! potential( ( 2 ) <= (tk(P155)) )) ) ) ) | potential( ( 1 ) <= (tk(P94)) ) )
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-03 (EF((! potential( (tk(P126)) <= (tk(P65)) ))))
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-04 ( (AF(( ( potential( ( 2 ) <= (tk(P15)) ) & potential( ( 3 ) <= (tk(P122)) ) ) & potential( (tk(P20)) <= (tk(P145)) ) ))) | potential( ( 1 ) <= (tk(P146)) ) )
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-05 (! (AX( (EF(potential( ( 3 ) <= (tk(P121)) ))))))
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-06 ( (EG( (AX( potential( (tk(P54)) <= (tk(P130)) ))))) | ( potential( ( 1 ) <= (tk(P162)) ) & ( ( potential( (tk(P159)) <= (tk(P79)) ) | ( potential( ( 1 ) <= (tk(P13)) ) | potential( ( 1 ) <= (tk(P131)) ) ) ) & ( (! potential( ( 1 ) <= (tk(P98)) )) | ( potential( ( 1 ) <= (tk(P109)) ) & potential( (tk(P159)) <= (tk(P80)) ) ) ) ) ) )
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-07 ( (AF((EG( potential( ( 1 ) <= (tk(P31)) ))))) & potential( (tk(P32)) <= (tk(P10)) ) )
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-08 ( (! (EX( (! potential( ( 2 ) <= (tk(P150)) ))))) | (EG( ( potential( (tk(P154)) <= (tk(P114)) ) | ( potential( (tk(P134)) <= (tk(P82)) ) | potential( ( 3 ) <= (tk(P77)) ) ) ))) )
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-09 (! ( (AF(( potential( ( 3 ) <= (tk(P180)) ) | potential( ( 3 ) <= (tk(P17)) ) ))) & (EU( potential( ( 3 ) <= (tk(P172)) ),potential( (tk(P77)) <= (tk(P145)) ) )) ))
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-10 (AG( (! (AG( potential( ( 1 ) <= (tk(P91)) ))))))
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-11 (AF((! (EF(potential( (tk(P182)) <= (tk(P104)) ))))))
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-12 (AU( (EG( potential( (tk(P55)) <= (tk(P68)) ))),( ( potential( ( 3 ) <= (tk(P54)) ) & potential( (tk(P171)) <= (tk(P148)) ) ) | ( potential( ( 2 ) <= (tk(P36)) ) & potential( ( 1 ) <= (tk(P32)) ) ) ) ))
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-13 (EF((AF(( potential( ( 1 ) <= (tk(P67)) ) & potential( (tk(P55)) <= (tk(P100)) ) )))))
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-14 (EF((AX( ( potential( ( 2 ) <= (tk(P2)) ) & potential( ( 3 ) <= (tk(P137)) ) )))))
PROPERTY: DiscoveryGPU-PT-06b-CTLCardinality-15 (AG( ( (AF(potential( (tk(P19)) <= (tk(P148)) ))) | (! ( potential( ( 1 ) <= (tk(P140)) ) | potential( ( 1 ) <= (tk(P152)) ) )) )))

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="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 DiscoveryGPU-PT-06b, 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 r063-tajo-158922807700595"
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 [ "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 ;