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-158922808401043.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 Eratosthenes-PT-200, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922808401043
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 14 12:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 14 12:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 14 12:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 15:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 15:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 14 12:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 14 12:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 14 12:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 14 12:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:24 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 327K 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 Eratosthenes-PT-200-CTLCardinality-00
FORMULA_NAME Eratosthenes-PT-200-CTLCardinality-01
FORMULA_NAME Eratosthenes-PT-200-CTLCardinality-02
FORMULA_NAME Eratosthenes-PT-200-CTLCardinality-03
FORMULA_NAME Eratosthenes-PT-200-CTLCardinality-04
FORMULA_NAME Eratosthenes-PT-200-CTLCardinality-05
FORMULA_NAME Eratosthenes-PT-200-CTLCardinality-06
FORMULA_NAME Eratosthenes-PT-200-CTLCardinality-07
FORMULA_NAME Eratosthenes-PT-200-CTLCardinality-08
FORMULA_NAME Eratosthenes-PT-200-CTLCardinality-09
FORMULA_NAME Eratosthenes-PT-200-CTLCardinality-10
FORMULA_NAME Eratosthenes-PT-200-CTLCardinality-11
FORMULA_NAME Eratosthenes-PT-200-CTLCardinality-12
FORMULA_NAME Eratosthenes-PT-200-CTLCardinality-13
FORMULA_NAME Eratosthenes-PT-200-CTLCardinality-14
FORMULA_NAME Eratosthenes-PT-200-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589369559108

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Eratosthenes (PT), instance 200
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: 199 places, 699 transitions, 2097 arcs.
AT ITER 0 NEW BEST:: SOT 91841 SOS 45024 HAS SOPS 35448 HAS SOUS 13646 HAS SOUPS 9747 WITH SCORE 9792.024
AT ITER 4 NEW BEST:: SOT 92023 SOS 44569 HAS SOPS 34902 HAS SOUS 13796 HAS SOUPS 9747 WITH SCORE 9791.569
AT ITER 7 NEW BEST:: SOT 91135 SOS 43783 HAS SOPS 34014 HAS SOUS 13851 HAS SOUPS 9728 WITH SCORE 9771.783
AT ITER 8 NEW BEST:: SOT 91131 SOS 43775 HAS SOPS 34283 HAS SOUS 13804 HAS SOUPS 9728 WITH SCORE 9771.775
AT ITER 11 NEW BEST:: SOT 91140 SOS 43593 HAS SOPS 34092 HAS SOUS 13868 HAS SOUPS 9728 WITH SCORE 9771.593
AT ITER 12 NEW BEST:: SOT 89082 SOS 42163 HAS SOPS 31718 HAS SOUS 13668 HAS SOUPS 9416 WITH SCORE 9458.163
AT ITER 13 NEW BEST:: SOT 89037 SOS 42073 HAS SOPS 31825 HAS SOUS 13625 HAS SOUPS 9416 WITH SCORE 9458.073
AT ITER 15 NEW BEST:: SOT 89220 SOS 41928 HAS SOPS 31570 HAS SOUS 13662 HAS SOUPS 9416 WITH SCORE 9457.928
AT ITER 16 NEW BEST:: SOT 89561 SOS 41755 HAS SOPS 31721 HAS SOUS 13563 HAS SOUPS 9416 WITH SCORE 9457.755
AT ITER 17 NEW BEST:: SOT 89578 SOS 41753 HAS SOPS 31702 HAS SOUS 13568 HAS SOUPS 9416 WITH SCORE 9457.753
AT ITER 18 NEW BEST:: SOT 89396 SOS 41589 HAS SOPS 31470 HAS SOUS 13487 HAS SOUPS 9285 WITH SCORE 9326.589
AT ITER 22 NEW BEST:: SOT 89840 SOS 41867 HAS SOPS 31426 HAS SOUS 13622 HAS SOUPS 9251 WITH SCORE 9292.867
AT ITER 23 NEW BEST:: SOT 89846 SOS 41843 HAS SOPS 31396 HAS SOUS 13632 HAS SOUPS 9251 WITH SCORE 9292.843
AT ITER 25 NEW BEST:: SOT 89885 SOS 41753 HAS SOPS 31267 HAS SOUS 13637 HAS SOUPS 9251 WITH SCORE 9292.753
AT ITER 26 NEW BEST:: SOT 89885 SOS 41537 HAS SOPS 31105 HAS SOUS 13576 HAS SOUPS 9251 WITH SCORE 9292.537
AT ITER 28 NEW BEST:: SOT 89805 SOS 41517 HAS SOPS 31025 HAS SOUS 13636 HAS SOUPS 9251 WITH SCORE 9292.517
AT ITER 30 NEW BEST:: SOT 89787 SOS 41456 HAS SOPS 31007 HAS SOUS 13636 HAS SOUPS 9251 WITH SCORE 9292.456
AT ITER 31 NEW BEST:: SOT 89788 SOS 41446 HAS SOPS 30984 HAS SOUS 13637 HAS SOUPS 9251 WITH SCORE 9292.446
AT ITER 32 NEW BEST:: SOT 88885 SOS 40816 HAS SOPS 29983 HAS SOUS 13438 HAS SOUPS 9003 WITH SCORE 9043.816
AT ITER 33 NEW BEST:: SOT 88897 SOS 40790 HAS SOPS 29995 HAS SOUS 13427 HAS SOUPS 9003 WITH SCORE 9043.79
AT ITER 34 NEW BEST:: SOT 88889 SOS 40736 HAS SOPS 29949 HAS SOUS 13442 HAS SOUPS 8995 WITH SCORE 9035.736
AT ITER 38 NEW BEST:: SOT 88918 SOS 40671 HAS SOPS 29896 HAS SOUS 13424 HAS SOUPS 8995 WITH SCORE 9035.671
AT ITER 42 NEW BEST:: SOT 88659 SOS 40393 HAS SOPS 29573 HAS SOUS 13456 HAS SOUPS 8995 WITH SCORE 9035.393
AT ITER 44 NEW BEST:: SOT 89276 SOS 40437 HAS SOPS 29000 HAS SOUS 13668 HAS SOUPS 8898 WITH SCORE 8938.437
AT ITER 45 NEW BEST:: SOT 89358 SOS 39891 HAS SOPS 28301 HAS SOUS 13804 HAS SOUPS 8898 WITH SCORE 8937.891
AT ITER 46 NEW BEST:: SOT 88925 SOS 39535 HAS SOPS 27868 HAS SOUS 13804 HAS SOUPS 8898 WITH SCORE 8937.535
AT ITER 47 NEW BEST:: SOT 88893 SOS 39519 HAS SOPS 27900 HAS SOUS 13784 HAS SOUPS 8898 WITH SCORE 8937.519
AT ITER 49 NEW BEST:: SOT 89580 SOS 39498 HAS SOPS 27657 HAS SOUS 13694 HAS SOUPS 8877 WITH SCORE 8916.498
AT ITER 52 NEW BEST:: SOT 89659 SOS 39068 HAS SOPS 27400 HAS SOUS 13609 HAS SOUPS 8877 WITH SCORE 8916.068
AT ITER 53 NEW BEST:: SOT 90484 SOS 39468 HAS SOPS 26975 HAS SOUS 13921 HAS SOUPS 8774 WITH SCORE 8813.468
AT ITER 56 NEW BEST:: SOT 90481 SOS 39290 HAS SOPS 26972 HAS SOUS 13878 HAS SOUPS 8774 WITH SCORE 8813.29
AT ITER 62 NEW BEST:: SOT 90953 SOS 39652 HAS SOPS 26862 HAS SOUS 14019 HAS SOUPS 8715 WITH SCORE 8754.652
AT ITER 64 NEW BEST:: SOT 90266 SOS 40436 HAS SOPS 26175 HAS SOUS 13942 HAS SOUPS 8638 WITH SCORE 8678.436
AT ITER 66 NEW BEST:: SOT 90405 SOS 40405 HAS SOPS 26314 HAS SOUS 13909 HAS SOUPS 8638 WITH SCORE 8678.405
AT ITER 68 NEW BEST:: SOT 90430 SOS 40400 HAS SOPS 26284 HAS SOUS 13909 HAS SOUPS 8638 WITH SCORE 8678.4
AT ITER 71 NEW BEST:: SOT 90409 SOS 40316 HAS SOPS 26221 HAS SOUS 13909 HAS SOUPS 8617 WITH SCORE 8657.316
AT ITER 72 NEW BEST:: SOT 90419 SOS 40228 HAS SOPS 25799 HAS SOUS 14041 HAS SOUPS 8617 WITH SCORE 8657.228
AT ITER 73 NEW BEST:: SOT 90343 SOS 39966 HAS SOPS 25613 HAS SOUS 13994 HAS SOUPS 8526 WITH SCORE 8565.966
AT ITER 78 NEW BEST:: SOT 90620 SOS 39848 HAS SOPS 25698 HAS SOUS 13932 HAS SOUPS 8526 WITH SCORE 8565.848
AT ITER 79 NEW BEST:: SOT 90979 SOS 40038 HAS SOPS 25529 HAS SOUS 14029 HAS SOUPS 8445 WITH SCORE 8485.038
AT ITER 81 NEW BEST:: SOT 91011 SOS 39913 HAS SOPS 25435 HAS SOUS 13972 HAS SOUPS 8445 WITH SCORE 8484.913
AT ITER 86 NEW BEST:: SOT 91041 SOS 39717 HAS SOPS 25305 HAS SOUS 13970 HAS SOUPS 8445 WITH SCORE 8484.717
AT ITER 90 NEW BEST:: SOT 91200 SOS 39591 HAS SOPS 24946 HAS SOUS 14082 HAS SOUPS 8445 WITH SCORE 8484.591
AT ITER 93 NEW BEST:: SOT 91180 SOS 39551 HAS SOPS 24886 HAS SOUS 14102 HAS SOUPS 8445 WITH SCORE 8484.551
AT ITER 94 NEW BEST:: SOT 91094 SOS 39526 HAS SOPS 24996 HAS SOUS 14016 HAS SOUPS 8445 WITH SCORE 8484.526
AT ITER 100 NEW BEST:: SOT 91082 SOS 39502 HAS SOPS 24984 HAS SOUS 14004 HAS SOUPS 8433 WITH SCORE 8472.502
AT ITER 101 NEW BEST:: SOT 91563 SOS 39512 HAS SOPS 24785 HAS SOUS 14062 HAS SOUPS 8405 WITH SCORE 8444.512
AT ITER 102 NEW BEST:: SOT 91712 SOS 39650 HAS SOPS 24774 HAS SOUS 14121 HAS SOUPS 8394 WITH SCORE 8433.65
AT ITER 104 NEW BEST:: SOT 89543 SOS 39147 HAS SOPS 22215 HAS SOUS 13601 HAS SOUPS 7809 WITH SCORE 7848.147
AT ITER 105 NEW BEST:: SOT 89493 SOS 38881 HAS SOPS 21999 HAS SOUS 13619 HAS SOUPS 7809 WITH SCORE 7847.881
AT ITER 115 NEW BEST:: SOT 90393 SOS 39091 HAS SOPS 21309 HAS SOUS 13857 HAS SOUPS 7678 WITH SCORE 7717.091
AT ITER 120 NEW BEST:: SOT 90331 SOS 38843 HAS SOPS 21123 HAS SOUS 13826 HAS SOUPS 7647 WITH SCORE 7685.843
AT ITER 123 NEW BEST:: SOT 90698 SOS 38747 HAS SOPS 21324 HAS SOUS 13788 HAS SOUPS 7626 WITH SCORE 7664.747
AT ITER 128 NEW BEST:: SOT 90854 SOS 38827 HAS SOPS 21248 HAS SOUS 13841 HAS SOUPS 7587 WITH SCORE 7625.827
AT ITER 129 NEW BEST:: SOT 90990 SOS 39002 HAS SOPS 21287 HAS SOUS 13877 HAS SOUPS 7554 WITH SCORE 7593.002
AT ITER 130 NEW BEST:: SOT 87224 SOS 39658 HAS SOPS 16601 HAS SOUS 13047 HAS SOUPS 6602 WITH SCORE 6641.658
AT ITER 133 NEW BEST:: SOT 87333 SOS 39708 HAS SOPS 16542 HAS SOUS 13087 HAS SOUPS 6591 WITH SCORE 6630.708
AT ITER 135 NEW BEST:: SOT 87337 SOS 39700 HAS SOPS 16562 HAS SOUS 13083 HAS SOUPS 6591 WITH SCORE 6630.7
AT ITER 137 NEW BEST:: SOT 87376 SOS 39570 HAS SOPS 16393 HAS SOUS 13059 HAS SOUPS 6532 WITH SCORE 6571.57
AT ITER 146 NEW BEST:: SOT 87564 SOS 39616 HAS SOPS 16361 HAS SOUS 13030 HAS SOUPS 6477 WITH SCORE 6516.616
AT ITER 147 NEW BEST:: SOT 87605 SOS 39626 HAS SOPS 16330 HAS SOUS 12999 HAS SOUPS 6446 WITH SCORE 6485.626
AT ITER 150 NEW BEST:: SOT 87571 SOS 39592 HAS SOPS 16330 HAS SOUS 12999 HAS SOUPS 6446 WITH SCORE 6485.592
AT ITER 151 NEW BEST:: SOT 87602 SOS 39530 HAS SOPS 16237 HAS SOUS 12951 HAS SOUPS 6415 WITH SCORE 6454.53
AT ITER 152 NEW BEST:: SOT 87902 SOS 39266 HAS SOPS 15769 HAS SOUS 12778 HAS SOUPS 6335 WITH SCORE 6374.266
AT ITER 153 NEW BEST:: SOT 87880 SOS 39222 HAS SOPS 15747 HAS SOUS 12756 HAS SOUPS 6335 WITH SCORE 6374.222
AT ITER 154 NEW BEST:: SOT 87511 SOS 38887 HAS SOPS 15316 HAS SOUS 12810 HAS SOUPS 6327 WITH SCORE 6365.887
AT ITER 158 NEW BEST:: SOT 87330 SOS 39045 HAS SOPS 14940 HAS SOUS 12861 HAS SOUPS 6283 WITH SCORE 6322.045
AT ITER 160 NEW BEST:: SOT 86293 SOS 38489 HAS SOPS 13804 HAS SOUS 12693 HAS SOUPS 6044 WITH SCORE 6082.489
AT ITER 162 NEW BEST:: SOT 86308 SOS 38449 HAS SOPS 13721 HAS SOUS 12693 HAS SOUPS 6030 WITH SCORE 6068.449
AT ITER 163 NEW BEST:: SOT 87171 SOS 39070 HAS SOPS 13479 HAS SOUS 12936 HAS SOUPS 5977 WITH SCORE 6016.07
AT ITER 167 NEW BEST:: SOT 87206 SOS 39028 HAS SOPS 13458 HAS SOUS 12880 HAS SOUPS 5949 WITH SCORE 5988.028
AT ITER 168 NEW BEST:: SOT 88470 SOS 39844 HAS SOPS 13010 HAS SOUS 13095 HAS SOUPS 5872 WITH SCORE 5911.844
AT ITER 169 NEW BEST:: SOT 88811 SOS 39630 HAS SOPS 12455 HAS SOUS 13095 HAS SOUPS 5872 WITH SCORE 5911.63
AT ITER 170 NEW BEST:: SOT 87993 SOS 39674 HAS SOPS 11397 HAS SOUS 12947 HAS SOUPS 5604 WITH SCORE 5643.674
AT ITER 171 NEW BEST:: SOT 87887 SOS 39568 HAS SOPS 11397 HAS SOUS 12894 HAS SOUPS 5604 WITH SCORE 5643.568
AT ITER 173 NEW BEST:: SOT 87891 SOS 39556 HAS SOPS 11369 HAS SOUS 12902 HAS SOUPS 5604 WITH SCORE 5643.556
AT ITER 174 NEW BEST:: SOT 87714 SOS 39625 HAS SOPS 11183 HAS SOUS 12880 HAS SOUPS 5573 WITH SCORE 5612.625
AT ITER 175 NEW BEST:: SOT 87564 SOS 39475 HAS SOPS 11183 HAS SOUS 12805 HAS SOUPS 5573 WITH SCORE 5612.475
AT ITER 176 NEW BEST:: SOT 87566 SOS 39475 HAS SOPS 11181 HAS SOUS 12804 HAS SOUPS 5572 WITH SCORE 5611.475
AT ITER 179 NEW BEST:: SOT 87772 SOS 39510 HAS SOPS 11213 HAS SOUS 12746 HAS SOUPS 5543 WITH SCORE 5582.51
AT ITER 181 NEW BEST:: SOT 87779 SOS 39508 HAS SOPS 11204 HAS SOUS 12746 HAS SOUPS 5535 WITH SCORE 5574.508
AT ITER 184 NEW BEST:: SOT 87447 SOS 40160 HAS SOPS 10590 HAS SOUS 12554 HAS SOUPS 5343 WITH SCORE 5383.16
AT ITER 187 NEW BEST:: SOT 86913 SOS 40136 HAS SOPS 10056 HAS SOUS 12454 HAS SOUPS 5186 WITH SCORE 5226.136
AT ITER 188 NEW BEST:: SOT 86971 SOS 40036 HAS SOPS 10114 HAS SOUS 12387 HAS SOUPS 5186 WITH SCORE 5226.036
AT ITER 192 NEW BEST:: SOT 86971 SOS 39990 HAS SOPS 10068 HAS SOUS 12341 HAS SOUPS 5163 WITH SCORE 5202.99
AT ITER 193 NEW BEST:: SOT 86980 SOS 39974 HAS SOPS 10043 HAS SOUS 12333 HAS SOUPS 5147 WITH SCORE 5186.974
AT ITER 197 NEW BEST:: SOT 86978 SOS 39964 HAS SOPS 10041 HAS SOUS 12333 HAS SOUPS 5147 WITH SCORE 5186.964
AT ITER 202 NEW BEST:: SOT 86978 SOS 39927 HAS SOPS 10041 HAS SOUS 12296 HAS SOUPS 5147 WITH SCORE 5186.927
AT ITER 203 NEW BEST:: SOT 86835 SOS 39641 HAS SOPS 10114 HAS SOUS 12242 HAS SOUPS 5147 WITH SCORE 5186.641
AT ITER 207 NEW BEST:: SOT 86363 SOS 39363 HAS SOPS 10382 HAS SOUS 12168 HAS SOUPS 5147 WITH SCORE 5186.363
AT ITER 208 NEW BEST:: SOT 86589 SOS 39015 HAS SOPS 9808 HAS SOUS 12176 HAS SOUPS 5064 WITH SCORE 5103.015
AT ITER 210 NEW BEST:: SOT 85980 SOS 38665 HAS SOPS 9323 HAS SOUS 12052 HAS SOUPS 4878 WITH SCORE 4916.665
AT ITER 211 NEW BEST:: SOT 85696 SOS 38412 HAS SOPS 9249 HAS SOUS 12017 HAS SOUPS 4843 WITH SCORE 4881.412
AT ITER 213 NEW BEST:: SOT 85618 SOS 38334 HAS SOPS 9249 HAS SOUS 11983 HAS SOUPS 4843 WITH SCORE 4881.334
AT ITER 221 NEW BEST:: SOT 85700 SOS 38186 HAS SOPS 9019 HAS SOUS 11981 HAS SOUPS 4789 WITH SCORE 4827.186
AT ITER 223 NEW BEST:: SOT 84884 SOS 39374 HAS SOPS 8344 HAS SOUS 11803 HAS SOUPS 4602 WITH SCORE 4641.374
AT ITER 229 NEW BEST:: SOT 85107 SOS 39588 HAS SOPS 8335 HAS SOUS 11877 HAS SOUPS 4593 WITH SCORE 4632.588
AT ITER 234 NEW BEST:: SOT 85091 SOS 39556 HAS SOPS 8303 HAS SOUS 11873 HAS SOUPS 4581 WITH SCORE 4620.556
AT ITER 235 NEW BEST:: SOT 85130 SOS 39594 HAS SOPS 8302 HAS SOUS 11892 HAS SOUPS 4580 WITH SCORE 4619.594
AT ITER 238 NEW BEST:: SOT 85401 SOS 39486 HAS SOPS 8053 HAS SOUS 11732 HAS SOUPS 4516 WITH SCORE 4555.486
AT ITER 240 NEW BEST:: SOT 85568 SOS 39558 HAS SOPS 7958 HAS SOUS 11624 HAS SOUPS 4465 WITH SCORE 4504.558
AT ITER 242 NEW BEST:: SOT 85903 SOS 39804 HAS SOPS 7869 HAS SOUS 11696 HAS SOUPS 4395 WITH SCORE 4434.804
AT ITER 243 NEW BEST:: SOT 85865 SOS 39766 HAS SOPS 7850 HAS SOUS 11696 HAS SOUPS 4395 WITH SCORE 4434.766
AT ITER 246 NEW BEST:: SOT 86176 SOS 40060 HAS SOPS 7833 HAS SOUS 11702 HAS SOUPS 4381 WITH SCORE 4421.06
AT ITER 248 NEW BEST:: SOT 86050 SOS 40048 HAS SOPS 8187 HAS SOUS 11702 HAS SOUPS 4381 WITH SCORE 4421.048
AT ITER 250 NEW BEST:: SOT 86042 SOS 40032 HAS SOPS 8179 HAS SOUS 11702 HAS SOUPS 4381 WITH SCORE 4421.032
AT ITER 257 NEW BEST:: SOT 86037 SOS 39982 HAS SOPS 8214 HAS SOUS 11692 HAS SOUPS 4381 WITH SCORE 4420.982
AT ITER 265 NEW BEST:: SOT 85947 SOS 40450 HAS SOPS 7962 HAS SOUS 11641 HAS SOUPS 4168 WITH SCORE 4208.45
AT ITER 270 NEW BEST:: SOT 85947 SOS 40415 HAS SOPS 7962 HAS SOUS 11571 HAS SOUPS 4168 WITH SCORE 4208.415
AT ITER 276 NEW BEST:: SOT 85937 SOS 40235 HAS SOPS 8002 HAS SOUS 11561 HAS SOUPS 4168 WITH SCORE 4208.235
AT ITER 280 NEW BEST:: SOT 86663 SOS 40607 HAS SOPS 7768 HAS SOUS 11350 HAS SOUPS 4077 WITH SCORE 4117.607
AT ITER 288 NEW BEST:: SOT 86680 SOS 40624 HAS SOPS 7751 HAS SOUS 11350 HAS SOUPS 4060 WITH SCORE 4100.624
AT ITER 291 NEW BEST:: SOT 86769 SOS 40532 HAS SOPS 7720 HAS SOUS 11294 HAS SOUPS 4034 WITH SCORE 4074.532
AT ITER 295 NEW BEST:: SOT 86804 SOS 40567 HAS SOPS 7685 HAS SOUS 11294 HAS SOUPS 3999 WITH SCORE 4039.567
AT ITER 300 NEW BEST:: SOT 87347 SOS 40997 HAS SOPS 7572 HAS SOUS 11269 HAS SOUPS 3938 WITH SCORE 3978.997
AT ITER 302 NEW BEST:: SOT 87273 SOS 41077 HAS SOPS 6586 HAS SOUS 11126 HAS SOUPS 3653 WITH SCORE 3694.077
AT ITER 314 NEW BEST:: SOT 87387 SOS 41129 HAS SOPS 6656 HAS SOUS 11104 HAS SOUPS 3631 WITH SCORE 3672.129
AT ITER 317 NEW BEST:: SOT 87086 SOS 40527 HAS SOPS 6513 HAS SOUS 11094 HAS SOUPS 3621 WITH SCORE 3661.527
AT ITER 320 NEW BEST:: SOT 87008 SOS 40442 HAS SOPS 6506 HAS SOUS 11037 HAS SOUPS 3614 WITH SCORE 3654.442
AT ITER 325 NEW BEST:: SOT 87506 SOS 40754 HAS SOPS 6320 HAS SOUS 11055 HAS SOUPS 3550 WITH SCORE 3590.754
AT ITER 326 NEW BEST:: SOT 87084 SOS 42556 HAS SOPS 5408 HAS SOUS 10711 HAS SOUPS 3206 WITH SCORE 3248.556
AT ITER 334 NEW BEST:: SOT 87079 SOS 42738 HAS SOPS 5355 HAS SOUS 10703 HAS SOUPS 3198 WITH SCORE 3240.738
AT ITER 338 NEW BEST:: SOT 87017 SOS 42676 HAS SOPS 5355 HAS SOUS 10703 HAS SOUPS 3198 WITH SCORE 3240.676
AT ITER 344 NEW BEST:: SOT 86962 SOS 43422 HAS SOPS 5086 HAS SOUS 10446 HAS SOUPS 2941 WITH SCORE 2984.422
AT ITER 346 NEW BEST:: SOT 87315 SOS 43717 HAS SOPS 5165 HAS SOUS 10224 HAS SOUPS 2932 WITH SCORE 2975.717
AT ITER 353 NEW BEST:: SOT 86495 SOS 45552 HAS SOPS 4623 HAS SOUS 10103 HAS SOUPS 2779 WITH SCORE 2824.552
AT ITER 360 NEW BEST:: SOT 86597 SOS 45683 HAS SOPS 4579 HAS SOUS 10278 HAS SOUPS 2735 WITH SCORE 2780.683
AT ITER 361 NEW BEST:: SOT 86247 SOS 45368 HAS SOPS 4537 HAS SOUS 10288 HAS SOUPS 2728 WITH SCORE 2773.368
AT ITER 364 NEW BEST:: SOT 86239 SOS 45360 HAS SOPS 4537 HAS SOUS 10284 HAS SOUPS 2728 WITH SCORE 2773.36
AT ITER 365 NEW BEST:: SOT 86247 SOS 45361 HAS SOPS 4515 HAS SOUS 10298 HAS SOUPS 2716 WITH SCORE 2761.361
AT ITER 369 NEW BEST:: SOT 86659 SOS 45673 HAS SOPS 4415 HAS SOUS 10249 HAS SOUPS 2699 WITH SCORE 2744.673
AT ITER 372 NEW BEST:: SOT 86218 SOS 45302 HAS SOPS 4266 HAS SOUS 10286 HAS SOUPS 2622 WITH SCORE 2667.302
AT ITER 375 NEW BEST:: SOT 86006 SOS 45090 HAS SOPS 4266 HAS SOUS 10217 HAS SOUPS 2622 WITH SCORE 2667.09
AT ITER 376 NEW BEST:: SOT 85976 SOS 45122 HAS SOPS 4234 HAS SOUS 10197 HAS SOUPS 2602 WITH SCORE 2647.122
AT ITER 380 NEW BEST:: SOT 85982 SOS 45116 HAS SOPS 4216 HAS SOUS 10197 HAS SOUPS 2596 WITH SCORE 2641.116
AT ITER 384 NEW BEST:: SOT 85982 SOS 45109 HAS SOPS 4216 HAS SOUS 10190 HAS SOUPS 2596 WITH SCORE 2641.109
AT ITER 386 NEW BEST:: SOT 85929 SOS 45003 HAS SOPS 4128 HAS SOUS 10194 HAS SOUPS 2565 WITH SCORE 2610.003
AT ITER 387 NEW BEST:: SOT 86049 SOS 45172 HAS SOPS 4106 HAS SOUS 10307 HAS SOUPS 2551 WITH SCORE 2596.172
AT ITER 392 NEW BEST:: SOT 86201 SOS 45272 HAS SOPS 3986 HAS SOUS 10334 HAS SOUPS 2510 WITH SCORE 2555.272
AT ITER 395 NEW BEST:: SOT 86340 SOS 45390 HAS SOPS 3965 HAS SOUS 10273 HAS SOUPS 2489 WITH SCORE 2534.39
AT ITER 397 NEW BEST:: SOT 86332 SOS 43718 HAS SOPS 3957 HAS SOUS 10242 HAS SOUPS 2458 WITH SCORE 2501.718
AT ITER 399 NEW BEST:: SOT 86224 SOS 43610 HAS SOPS 3957 HAS SOUS 10209 HAS SOUPS 2458 WITH SCORE 2501.61
AT ITER 400 NEW BEST:: SOT 85980 SOS 43366 HAS SOPS 3957 HAS SOUS 10145 HAS SOUPS 2458 WITH SCORE 2501.366
AT ITER 403 NEW BEST:: SOT 86559 SOS 43756 HAS SOPS 3864 HAS SOUS 10005 HAS SOUPS 2414 WITH SCORE 2457.756
AT ITER 405 NEW BEST:: SOT 87018 SOS 44266 HAS SOPS 3711 HAS SOUS 10086 HAS SOUPS 2264 WITH SCORE 2308.266
AT ITER 407 NEW BEST:: SOT 86819 SOS 43942 HAS SOPS 3660 HAS SOUS 9990 HAS SOUPS 2236 WITH SCORE 2279.942
AT ITER 408 NEW BEST:: SOT 86579 SOS 43702 HAS SOPS 3660 HAS SOUS 9972 HAS SOUPS 2236 WITH SCORE 2279.702
AT ITER 412 NEW BEST:: SOT 86614 SOS 44179 HAS SOPS 3621 HAS SOUS 9933 HAS SOUPS 2197 WITH SCORE 2241.179
AT ITER 415 NEW BEST:: SOT 86800 SOS 44363 HAS SOPS 3619 HAS SOUS 9965 HAS SOUPS 2195 WITH SCORE 2239.363
AT ITER 416 NEW BEST:: SOT 86887 SOS 44197 HAS SOPS 3638 HAS SOUS 9924 HAS SOUPS 2188 WITH SCORE 2232.197
AT ITER 421 NEW BEST:: SOT 86770 SOS 44269 HAS SOPS 3623 HAS SOUS 9965 HAS SOUPS 2178 WITH SCORE 2222.269
AT ITER 423 NEW BEST:: SOT 86741 SOS 44245 HAS SOPS 3594 HAS SOUS 9970 HAS SOUPS 2149 WITH SCORE 2193.245
AT ITER 425 NEW BEST:: SOT 86577 SOS 44081 HAS SOPS 3512 HAS SOUS 9888 HAS SOUPS 2067 WITH SCORE 2111.081
AT ITER 429 NEW BEST:: SOT 86564 SOS 44003 HAS SOPS 3473 HAS SOUS 9862 HAS SOUPS 2041 WITH SCORE 2085.003
AT ITER 437 NEW BEST:: SOT 86564 SOS 43996 HAS SOPS 3459 HAS SOUS 9848 HAS SOUPS 2027 WITH SCORE 2070.996
AT ITER 438 NEW BEST:: SOT 86637 SOS 44013 HAS SOPS 3446 HAS SOUS 9806 HAS SOUPS 2014 WITH SCORE 2058.013
AT ITER 452 NEW BEST:: SOT 86220 SOS 46347 HAS SOPS 3095 HAS SOUS 9743 HAS SOUPS 1951 WITH SCORE 1997.347
AT ITER 455 NEW BEST:: SOT 86358 SOS 46508 HAS SOPS 3049 HAS SOUS 9703 HAS SOUPS 1885 WITH SCORE 1931.508
AT ITER 460 NEW BEST:: SOT 86017 SOS 46162 HAS SOPS 2900 HAS SOUS 9626 HAS SOUPS 1808 WITH SCORE 1854.162
AT ITER 464 NEW BEST:: SOT 86320 SOS 47208 HAS SOPS 2873 HAS SOUS 9595 HAS SOUPS 1777 WITH SCORE 1824.208
AT ITER 469 NEW BEST:: SOT 86272 SOS 47163 HAS SOPS 2876 HAS SOUS 9583 HAS SOUPS 1771 WITH SCORE 1818.163
AT ITER 488 NEW BEST:: SOT 86282 SOS 47039 HAS SOPS 2694 HAS SOUS 9631 HAS SOUPS 1771 WITH SCORE 1818.039
AT ITER 492 NEW BEST:: SOT 86282 SOS 47056 HAS SOPS 2693 HAS SOUS 9630 HAS SOUPS 1770 WITH SCORE 1817.056
AT ITER 493 NEW BEST:: SOT 86248 SOS 47022 HAS SOPS 2693 HAS SOUS 9647 HAS SOUPS 1770 WITH SCORE 1817.022
AT ITER 501 NEW BEST:: SOT 86523 SOS 47260 HAS SOPS 2656 HAS SOUS 9611 HAS SOUPS 1733 WITH SCORE 1780.26
AT ITER 516 NEW BEST:: SOT 86562 SOS 47512 HAS SOPS 2637 HAS SOUS 9650 HAS SOUPS 1714 WITH SCORE 1761.512
AT ITER 518 NEW BEST:: SOT 87004 SOS 47712 HAS SOPS 2395 HAS SOUS 9590 HAS SOUPS 1663 WITH SCORE 1710.712
AT ITER 536 NEW BEST:: SOT 87200 SOS 47914 HAS SOPS 2363 HAS SOUS 9603 HAS SOUPS 1631 WITH SCORE 1678.914
AT ITER 537 NEW BEST:: SOT 87049 SOS 47694 HAS SOPS 2376 HAS SOUS 9562 HAS SOUPS 1629 WITH SCORE 1676.694
AT ITER 539 NEW BEST:: SOT 86903 SOS 47570 HAS SOPS 2342 HAS SOUS 9550 HAS SOUPS 1595 WITH SCORE 1642.57
AT ITER 551 NEW BEST:: SOT 87156 SOS 47612 HAS SOPS 2131 HAS SOUS 9446 HAS SOUPS 1543 WITH SCORE 1590.612
AT ITER 554 NEW BEST:: SOT 87156 SOS 47550 HAS SOPS 2131 HAS SOUS 9384 HAS SOUPS 1543 WITH SCORE 1590.55
AT ITER 563 NEW BEST:: SOT 86540 SOS 46934 HAS SOPS 2131 HAS SOUS 9312 HAS SOUPS 1543 WITH SCORE 1589.934
AT ITER 567 NEW BEST:: SOT 86426 SOS 46820 HAS SOPS 2131 HAS SOUS 9263 HAS SOUPS 1543 WITH SCORE 1589.82
AT ITER 569 NEW BEST:: SOT 86393 SOS 46839 HAS SOPS 2132 HAS SOUS 9278 HAS SOUPS 1541 WITH SCORE 1587.839
AT ITER 570 NEW BEST:: SOT 86341 SOS 46787 HAS SOPS 2132 HAS SOUS 9303 HAS SOUPS 1541 WITH SCORE 1587.787
AT ITER 571 NEW BEST:: SOT 86456 SOS 47079 HAS SOPS 2123 HAS SOUS 9353 HAS SOUPS 1535 WITH SCORE 1582.079
AT ITER 573 NEW BEST:: SOT 86436 SOS 46939 HAS SOPS 2103 HAS SOUS 9284 HAS SOUPS 1516 WITH SCORE 1562.939
AT ITER 574 NEW BEST:: SOT 86276 SOS 46779 HAS SOPS 2103 HAS SOUS 9247 HAS SOUPS 1516 WITH SCORE 1562.779
AT ITER 578 NEW BEST:: SOT 86224 SOS 49062 HAS SOPS 2020 HAS SOUS 9202 HAS SOUPS 1471 WITH SCORE 1520.062
AT ITER 580 NEW BEST:: SOT 85948 SOS 48717 HAS SOPS 2020 HAS SOUS 8995 HAS SOUPS 1471 WITH SCORE 1519.717
AT ITER 585 NEW BEST:: SOT 85948 SOS 48687 HAS SOPS 2020 HAS SOUS 8980 HAS SOUPS 1471 WITH SCORE 1519.687
AT ITER 586 NEW BEST:: SOT 85940 SOS 48679 HAS SOPS 2020 HAS SOUS 8974 HAS SOUPS 1471 WITH SCORE 1519.679
AT ITER 587 NEW BEST:: SOT 86100 SOS 48837 HAS SOPS 2018 HAS SOUS 9013 HAS SOUPS 1469 WITH SCORE 1517.837
AT ITER 593 NEW BEST:: SOT 86031 SOS 48609 HAS SOPS 2039 HAS SOUS 9011 HAS SOUPS 1467 WITH SCORE 1515.609
AT ITER 611 NEW BEST:: SOT 85977 SOS 48741 HAS SOPS 2015 HAS SOUS 9024 HAS SOUPS 1450 WITH SCORE 1498.741
AT ITER 615 NEW BEST:: SOT 85961 SOS 48725 HAS SOPS 2015 HAS SOUS 9012 HAS SOUPS 1450 WITH SCORE 1498.725
AT ITER 617 NEW BEST:: SOT 85853 SOS 48617 HAS SOPS 2015 HAS SOUS 8985 HAS SOUPS 1450 WITH SCORE 1498.617
AT ITER 618 NEW BEST:: SOT 85719 SOS 49129 HAS SOPS 1881 HAS SOUS 8980 HAS SOUPS 1380 WITH SCORE 1429.129
AT ITER 619 NEW BEST:: SOT 85712 SOS 49451 HAS SOPS 1874 HAS SOUS 9122 HAS SOUPS 1374 WITH SCORE 1423.451
AT ITER 621 NEW BEST:: SOT 85686 SOS 49425 HAS SOPS 1848 HAS SOUS 9105 HAS SOUPS 1357 WITH SCORE 1406.425
AT ITER 626 NEW BEST:: SOT 85592 SOS 49809 HAS SOPS 1806 HAS SOUS 9094 HAS SOUPS 1346 WITH SCORE 1395.809
AT ITER 628 NEW BEST:: SOT 85619 SOS 49818 HAS SOPS 1788 HAS SOUS 9085 HAS SOUPS 1337 WITH SCORE 1386.818
AT ITER 633 NEW BEST:: SOT 84830 SOS 49020 HAS SOPS 1779 HAS SOUS 8811 HAS SOUPS 1328 WITH SCORE 1377.02
AT ITER 636 NEW BEST:: SOT 84900 SOS 49160 HAS SOPS 1750 HAS SOUS 8825 HAS SOUPS 1309 WITH SCORE 1358.16
AT ITER 638 NEW BEST:: SOT 84882 SOS 49484 HAS SOPS 1642 HAS SOUS 8762 HAS SOUPS 1246 WITH SCORE 1295.484
AT ITER 647 NEW BEST:: SOT 84882 SOS 49427 HAS SOPS 1623 HAS SOUS 8705 HAS SOUPS 1227 WITH SCORE 1276.427
AT ITER 655 NEW BEST:: SOT 84687 SOS 49362 HAS SOPS 1558 HAS SOUS 8827 HAS SOUPS 1219 WITH SCORE 1268.362
AT ITER 668 NEW BEST:: SOT 84624 SOS 49320 HAS SOPS 1558 HAS SOUS 8854 HAS SOUPS 1219 WITH SCORE 1268.32
AT ITER 670 NEW BEST:: SOT 84332 SOS 49028 HAS SOPS 1558 HAS SOUS 8825 HAS SOUPS 1219 WITH SCORE 1268.028
AT ITER 672 NEW BEST:: SOT 84179 SOS 50024 HAS SOPS 1405 HAS SOUS 8746 HAS SOUPS 1140 WITH SCORE 1190.024
AT ITER 675 NEW BEST:: SOT 84186 SOS 50038 HAS SOPS 1398 HAS SOUS 8753 HAS SOUPS 1133 WITH SCORE 1183.038
AT ITER 682 NEW BEST:: SOT 84186 SOS 50008 HAS SOPS 1398 HAS SOUS 8743 HAS SOUPS 1133 WITH SCORE 1183.008
AT ITER 691 NEW BEST:: SOT 84101 SOS 49889 HAS SOPS 1389 HAS SOUS 8709 HAS SOUPS 1124 WITH SCORE 1173.889
AT ITER 697 NEW BEST:: SOT 84000 SOS 49621 HAS SOPS 1354 HAS SOUS 8674 HAS SOUPS 1089 WITH SCORE 1138.621
AT ITER 700 NEW BEST:: SOT 83995 SOS 49673 HAS SOPS 1349 HAS SOUS 8899 HAS SOUPS 1084 WITH SCORE 1133.673
AT ITER 719 NEW BEST:: SOT 83995 SOS 49637 HAS SOPS 1349 HAS SOUS 8827 HAS SOUPS 1084 WITH SCORE 1133.637
AT ITER 728 NEW BEST:: SOT 84075 SOS 49582 HAS SOPS 1343 HAS SOUS 8689 HAS SOUPS 1082 WITH SCORE 1131.582
AT ITER 729 NEW BEST:: SOT 84066 SOS 49899 HAS SOPS 1334 HAS SOUS 8681 HAS SOUPS 1073 WITH SCORE 1122.899
AT ITER 730 NEW BEST:: SOT 84056 SOS 49889 HAS SOPS 1334 HAS SOUS 8676 HAS SOUPS 1073 WITH SCORE 1122.889
AT ITER 737 NEW BEST:: SOT 84055 SOS 49879 HAS SOPS 1337 HAS SOUS 8674 HAS SOUPS 1073 WITH SCORE 1122.879
AT ITER 758 NEW BEST:: SOT 84284 SOS 50008 HAS SOPS 1284 HAS SOUS 8592 HAS SOUPS 1060 WITH SCORE 1110.008
AT ITER 781 NEW BEST:: SOT 84256 SOS 49980 HAS SOPS 1284 HAS SOUS 8583 HAS SOUPS 1060 WITH SCORE 1109.98
AT ITER 784 NEW BEST:: SOT 84474 SOS 50120 HAS SOPS 1058 HAS SOUS 8577 HAS SOUPS 976 WITH SCORE 1026.12
AT ITER 795 NEW BEST:: SOT 84358 SOS 50004 HAS SOPS 1058 HAS SOUS 8577 HAS SOUPS 976 WITH SCORE 1026.004
AT ITER 801 NEW BEST:: SOT 84280 SOS 49926 HAS SOPS 1058 HAS SOUS 8577 HAS SOUPS 976 WITH SCORE 1025.926
AT ITER 806 NEW BEST:: SOT 84272 SOS 49984 HAS SOPS 1050 HAS SOUS 8569 HAS SOUPS 968 WITH SCORE 1017.984
AT ITER 808 NEW BEST:: SOT 84262 SOS 49974 HAS SOPS 1050 HAS SOUS 8564 HAS SOUPS 968 WITH SCORE 1017.974
AT ITER 819 NEW BEST:: SOT 84234 SOS 49946 HAS SOPS 1050 HAS SOUS 8550 HAS SOUPS 968 WITH SCORE 1017.946
AT ITER 821 NEW BEST:: SOT 84234 SOS 49894 HAS SOPS 1050 HAS SOUS 8550 HAS SOUPS 968 WITH SCORE 1017.894
AT ITER 824 NEW BEST:: SOT 84210 SOS 49858 HAS SOPS 1050 HAS SOUS 8526 HAS SOUPS 968 WITH SCORE 1017.858
AT ITER 835 NEW BEST:: SOT 84210 SOS 49857 HAS SOPS 1050 HAS SOUS 8525 HAS SOUPS 968 WITH SCORE 1017.857
AT ITER 837 NEW BEST:: SOT 84177 SOS 50271 HAS SOPS 1017 HAS SOUS 8561 HAS SOUPS 967 WITH SCORE 1017.271
AT ITER 847 NEW BEST:: SOT 84245 SOS 50727 HAS SOPS 1005 HAS SOUS 8590 HAS SOUPS 956 WITH SCORE 1006.727
AT ITER 857 NEW BEST:: SOT 84249 SOS 50897 HAS SOPS 997 HAS SOUS 8582 HAS SOUPS 948 WITH SCORE 998.897
AT ITER 869 NEW BEST:: SOT 84261 SOS 50937 HAS SOPS 977 HAS SOUS 8583 HAS SOUPS 929 WITH SCORE 979.937
AT ITER 874 NEW BEST:: SOT 84249 SOS 50787 HAS SOPS 977 HAS SOUS 8583 HAS SOUPS 929 WITH SCORE 979.787
AT ITER 878 NEW BEST:: SOT 84610 SOS 51281 HAS SOPS 958 HAS SOUS 8765 HAS SOUPS 910 WITH SCORE 961.281
AT ITER 896 NEW BEST:: SOT 84610 SOS 51266 HAS SOPS 958 HAS SOUS 8745 HAS SOUPS 910 WITH SCORE 961.266
AT ITER 921 NEW BEST:: SOT 84532 SOS 51149 HAS SOPS 958 HAS SOUS 8706 HAS SOUPS 910 WITH SCORE 961.149
AT ITER 938 NEW BEST:: SOT 84532 SOS 51086 HAS SOPS 958 HAS SOUS 8706 HAS SOUPS 910 WITH SCORE 961.086
AT ITER 949 NEW BEST:: SOT 84502 SOS 51056 HAS SOPS 958 HAS SOUS 8676 HAS SOUPS 910 WITH SCORE 961.056
AT ITER 950 NEW BEST:: SOT 84370 SOS 50924 HAS SOPS 958 HAS SOUS 8659 HAS SOUPS 910 WITH SCORE 960.924
AT ITER 953 NEW BEST:: SOT 84358 SOS 50909 HAS SOPS 958 HAS SOUS 8653 HAS SOUPS 910 WITH SCORE 960.909
AT ITER 958 NEW BEST:: SOT 84134 SOS 50685 HAS SOPS 958 HAS SOUS 8597 HAS SOUPS 910 WITH SCORE 960.685
AT ITER 960 NEW BEST:: SOT 84330 SOS 50873 HAS SOPS 950 HAS SOUS 8632 HAS SOUPS 902 WITH SCORE 952.873
AT ITER 972 NEW BEST:: SOT 84691 SOS 51403 HAS SOPS 927 HAS SOUS 8840 HAS SOUPS 892 WITH SCORE 943.403
AT ITER 973 NEW BEST:: SOT 84737 SOS 51720 HAS SOPS 883 HAS SOUS 8807 HAS SOUPS 859 WITH SCORE 910.72
AT ITER 983 NEW BEST:: SOT 84767 SOS 51768 HAS SOPS 877 HAS SOUS 8807 HAS SOUPS 856 WITH SCORE 907.768
AT ITER 996 NEW BEST:: SOT 84767 SOS 51747 HAS SOPS 877 HAS SOUS 8786 HAS SOUPS 856 WITH SCORE 907.747
AT ITER 1005 NEW BEST:: SOT 84679 SOS 51659 HAS SOPS 877 HAS SOUS 8732 HAS SOUPS 856 WITH SCORE 907.659
AT ITER 1024 NEW BEST:: SOT 84979 SOS 51979 HAS SOPS 841 HAS SOUS 8787 HAS SOUPS 834 WITH SCORE 885.979
AT ITER 1025 NEW BEST:: SOT 85005 SOS 51927 HAS SOPS 841 HAS SOUS 8761 HAS SOUPS 834 WITH SCORE 885.927
AT ITER 1050 NEW BEST:: SOT 84890 SOS 51885 HAS SOPS 820 HAS SOUS 8740 HAS SOUPS 813 WITH SCORE 864.885
AT ITER 1056 NEW BEST:: SOT 84882 SOS 52555 HAS SOPS 812 HAS SOUS 8732 HAS SOUPS 805 WITH SCORE 857.555
AT ITER 1074 NEW BEST:: SOT 84883 SOS 52551 HAS SOPS 812 HAS SOUS 8732 HAS SOUPS 805 WITH SCORE 857.551
AT ITER 1084 NEW BEST:: SOT 84877 SOS 52545 HAS SOPS 812 HAS SOUS 8732 HAS SOUPS 805 WITH SCORE 857.545
AT ITER 1088 NEW BEST:: SOT 84897 SOS 52550 HAS SOPS 807 HAS SOUS 8727 HAS SOUPS 800 WITH SCORE 852.55
AT ITER 1089 NEW BEST:: SOT 84896 SOS 52548 HAS SOPS 806 HAS SOUS 8855 HAS SOUPS 799 WITH SCORE 851.548
AT ITER 1090 NEW BEST:: SOT 84834 SOS 52486 HAS SOPS 806 HAS SOUS 8793 HAS SOUPS 799 WITH SCORE 851.486
AT ITER 1106 NEW BEST:: SOT 85085 SOS 52778 HAS SOPS 777 HAS SOUS 8883 HAS SOUPS 774 WITH SCORE 826.778
AT ITER 1115 NEW BEST:: SOT 85059 SOS 52752 HAS SOPS 777 HAS SOUS 8857 HAS SOUPS 774 WITH SCORE 826.752
AT ITER 1119 NEW BEST:: SOT 85059 SOS 52732 HAS SOPS 777 HAS SOUS 8857 HAS SOUPS 774 WITH SCORE 826.732
AT ITER 1130 NEW BEST:: SOT 85049 SOS 52722 HAS SOPS 777 HAS SOUS 8847 HAS SOUPS 774 WITH SCORE 826.722
AT ITER 1131 NEW BEST:: SOT 85049 SOS 52719 HAS SOPS 777 HAS SOUS 8847 HAS SOUPS 774 WITH SCORE 826.719
AT ITER 1134 NEW BEST:: SOT 85003 SOS 52673 HAS SOPS 777 HAS SOUS 8822 HAS SOUPS 774 WITH SCORE 826.673
AT ITER 1139 NEW BEST:: SOT 84983 SOS 52653 HAS SOPS 777 HAS SOUS 8812 HAS SOUPS 774 WITH SCORE 826.653
AT ITER 1142 NEW BEST:: SOT 84915 SOS 52585 HAS SOPS 777 HAS SOUS 8798 HAS SOUPS 774 WITH SCORE 826.585
AT ITER 1151 NEW BEST:: SOT 84915 SOS 52551 HAS SOPS 775 HAS SOUS 8796 HAS SOUPS 772 WITH SCORE 824.551
AT ITER 1156 NEW BEST:: SOT 85550 SOS 53184 HAS SOPS 773 HAS SOUS 8957 HAS SOUPS 770 WITH SCORE 823.184
AT ITER 1161 NEW BEST:: SOT 85545 SOS 53179 HAS SOPS 768 HAS SOUS 8962 HAS SOUPS 765 WITH SCORE 818.179
AT ITER 1165 NEW BEST:: SOT 85529 SOS 53155 HAS SOPS 768 HAS SOUS 8962 HAS SOUPS 765 WITH SCORE 818.155
AT ITER 1170 NEW BEST:: SOT 85354 SOS 52980 HAS SOPS 768 HAS SOUS 8927 HAS SOUPS 765 WITH SCORE 817.98
AT ITER 1185 NEW BEST:: SOT 85354 SOS 52923 HAS SOPS 768 HAS SOUS 8757 HAS SOUPS 765 WITH SCORE 817.923
AT ITER 1200 NEW BEST:: SOT 85354 SOS 52905 HAS SOPS 768 HAS SOUS 8739 HAS SOUPS 765 WITH SCORE 817.905
AT ITER 1205 NEW BEST:: SOT 85350 SOS 52899 HAS SOPS 768 HAS SOUS 8737 HAS SOUPS 765 WITH SCORE 817.899
AT ITER 1206 NEW BEST:: SOT 85322 SOS 52878 HAS SOPS 768 HAS SOUS 8751 HAS SOUPS 765 WITH SCORE 817.878
AT ITER 1208 NEW BEST:: SOT 85297 SOS 52924 HAS SOPS 767 HAS SOUS 8822 HAS SOUPS 764 WITH SCORE 816.924
AT ITER 1226 NEW BEST:: SOT 85297 SOS 52920 HAS SOPS 767 HAS SOUS 8816 HAS SOUPS 764 WITH SCORE 816.92
AT ITER 1227 NEW BEST:: SOT 85269 SOS 52836 HAS SOPS 767 HAS SOUS 8816 HAS SOUPS 764 WITH SCORE 816.836
AT ITER 1240 NEW BEST:: SOT 85283 SOS 52780 HAS SOPS 767 HAS SOUS 8809 HAS SOUPS 764 WITH SCORE 816.78
AT ITER 1260 NEW BEST:: SOT 85267 SOS 52772 HAS SOPS 767 HAS SOUS 8817 HAS SOUPS 764 WITH SCORE 816.772
AT ITER 1261 NEW BEST:: SOT 85263 SOS 52794 HAS SOPS 763 HAS SOUS 8813 HAS SOUPS 760 WITH SCORE 812.794
AT ITER 1270 NEW BEST:: SOT 85189 SOS 52720 HAS SOPS 763 HAS SOUS 8813 HAS SOUPS 760 WITH SCORE 812.72
AT ITER 1278 NEW BEST:: SOT 85189 SOS 52630 HAS SOPS 763 HAS SOUS 8723 HAS SOUPS 760 WITH SCORE 812.63
AT ITER 1279 NEW BEST:: SOT 85129 SOS 52570 HAS SOPS 763 HAS SOUS 8708 HAS SOUPS 760 WITH SCORE 812.57
AT ITER 1294 NEW BEST:: SOT 85043 SOS 52484 HAS SOPS 763 HAS SOUS 8665 HAS SOUPS 760 WITH SCORE 812.484
AT ITER 1296 NEW BEST:: SOT 84803 SOS 52244 HAS SOPS 763 HAS SOUS 8621 HAS SOUPS 760 WITH SCORE 812.244
AT ITER 1298 NEW BEST:: SOT 84801 SOS 52238 HAS SOPS 763 HAS SOUS 8621 HAS SOUPS 760 WITH SCORE 812.238
AT ITER 1326 NEW BEST:: SOT 84783 SOS 52211 HAS SOPS 763 HAS SOUS 8612 HAS SOUPS 760 WITH SCORE 812.211
AT ITER 1334 NEW BEST:: SOT 84777 SOS 52181 HAS SOPS 763 HAS SOUS 8610 HAS SOUPS 760 WITH SCORE 812.181
AT ITER 1345 NEW BEST:: SOT 84777 SOS 52175 HAS SOPS 763 HAS SOUS 8604 HAS SOUPS 760 WITH SCORE 812.175
AT ITER 1350 NEW BEST:: SOT 84894 SOS 52271 HAS SOPS 765 HAS SOUS 8594 HAS SOUPS 759 WITH SCORE 811.271
AT ITER 1364 NEW BEST:: SOT 84864 SOS 52241 HAS SOPS 765 HAS SOUS 8624 HAS SOUPS 759 WITH SCORE 811.241
AT ITER 1381 NEW BEST:: SOT 84894 SOS 52361 HAS SOPS 755 HAS SOUS 8649 HAS SOUPS 749 WITH SCORE 801.361
AT ITER 1384 NEW BEST:: SOT 84894 SOS 52299 HAS SOPS 755 HAS SOUS 8525 HAS SOUPS 749 WITH SCORE 801.299
AT ITER 1401 NEW BEST:: SOT 84744 SOS 52164 HAS SOPS 755 HAS SOUS 8540 HAS SOUPS 749 WITH SCORE 801.164
AT ITER 1415 NEW BEST:: SOT 84752 SOS 52152 HAS SOPS 755 HAS SOUS 8540 HAS SOUPS 749 WITH SCORE 801.152
AT ITER 1419 NEW BEST:: SOT 84752 SOS 52075 HAS SOPS 755 HAS SOUS 8540 HAS SOUPS 749 WITH SCORE 801.075
AT ITER 1430 NEW BEST:: SOT 84708 SOS 52020 HAS SOPS 755 HAS SOUS 8540 HAS SOUPS 749 WITH SCORE 801.02
AT ITER 1461 NEW BEST:: SOT 84708 SOS 51970 HAS SOPS 755 HAS SOUS 8515 HAS SOUPS 749 WITH SCORE 800.97
AT ITER 1494 NEW BEST:: SOT 84761 SOS 51812 HAS SOPS 742 HAS SOUS 8436 HAS SOUPS 736 WITH SCORE 787.812
AT ITER 1499 NEW BEST:: SOT 84760 SOS 51811 HAS SOPS 741 HAS SOUS 8435 HAS SOUPS 735 WITH SCORE 786.811
AT ITER 1528 NEW BEST:: SOT 84750 SOS 51801 HAS SOPS 741 HAS SOUS 8435 HAS SOUPS 735 WITH SCORE 786.801
AT ITER 1582 NEW BEST:: SOT 84724 SOS 51788 HAS SOPS 741 HAS SOUS 8448 HAS SOUPS 735 WITH SCORE 786.788
AT ITER 1590 NEW BEST:: SOT 84720 SOS 51784 HAS SOPS 741 HAS SOUS 8446 HAS SOUPS 735 WITH SCORE 786.784
AT ITER 1601 NEW BEST:: SOT 84668 SOS 51758 HAS SOPS 741 HAS SOUS 8472 HAS SOUPS 735 WITH SCORE 786.758
AT ITER 1612 NEW BEST:: SOT 84608 SOS 51528 HAS SOPS 741 HAS SOUS 8452 HAS SOUPS 735 WITH SCORE 786.528
AT ITER 1624 NEW BEST:: SOT 84602 SOS 51498 HAS SOPS 741 HAS SOUS 8446 HAS SOUPS 735 WITH SCORE 786.498
AT ITER 1634 NEW BEST:: SOT 84602 SOS 51496 HAS SOPS 741 HAS SOUS 8444 HAS SOUPS 735 WITH SCORE 786.496
AT ITER 1635 NEW BEST:: SOT 84603 SOS 51512 HAS SOPS 740 HAS SOUS 8443 HAS SOUPS 734 WITH SCORE 785.512
AT ITER 1647 NEW BEST:: SOT 84587 SOS 51496 HAS SOPS 740 HAS SOUS 8443 HAS SOUPS 734 WITH SCORE 785.496
AT ITER 1669 NEW BEST:: SOT 84417 SOS 51326 HAS SOPS 740 HAS SOUS 8399 HAS SOUPS 734 WITH SCORE 785.326
AT ITER 1674 NEW BEST:: SOT 84418 SOS 51248 HAS SOPS 737 HAS SOUS 8395 HAS SOUPS 730 WITH SCORE 781.248
AT ITER 1677 NEW BEST:: SOT 84404 SOS 51234 HAS SOPS 737 HAS SOUS 8388 HAS SOUPS 730 WITH SCORE 781.234
AT ITER 1683 NEW BEST:: SOT 84388 SOS 51218 HAS SOPS 737 HAS SOUS 8384 HAS SOUPS 730 WITH SCORE 781.218
AT ITER 1686 NEW BEST:: SOT 84304 SOS 51106 HAS SOPS 737 HAS SOUS 8356 HAS SOUPS 730 WITH SCORE 781.106
AT ITER 1711 NEW BEST:: SOT 84254 SOS 51056 HAS SOPS 737 HAS SOUS 8326 HAS SOUPS 730 WITH SCORE 781.056
AT ITER 1725 NEW BEST:: SOT 84214 SOS 51016 HAS SOPS 737 HAS SOUS 8306 HAS SOUPS 730 WITH SCORE 781.016
AT ITER 1726 NEW BEST:: SOT 84210 SOS 51010 HAS SOPS 737 HAS SOUS 8300 HAS SOUPS 730 WITH SCORE 781.01
AT ITER 1750 NEW BEST:: SOT 84198 SOS 50998 HAS SOPS 737 HAS SOUS 8297 HAS SOUPS 730 WITH SCORE 780.998
AT ITER 1753 NEW BEST:: SOT 84198 SOS 50982 HAS SOPS 737 HAS SOUS 8265 HAS SOUPS 730 WITH SCORE 780.982
AT ITER 1764 NEW BEST:: SOT 84186 SOS 50970 HAS SOPS 737 HAS SOUS 8259 HAS SOUPS 730 WITH SCORE 780.97
AT ITER 1766 NEW BEST:: SOT 84181 SOS 50962 HAS SOPS 736 HAS SOUS 8258 HAS SOUPS 729 WITH SCORE 779.962
AT ITER 1787 NEW BEST:: SOT 84187 SOS 50956 HAS SOPS 736 HAS SOUS 8252 HAS SOUPS 729 WITH SCORE 779.956
AT ITER 1788 NEW BEST:: SOT 84107 SOS 50916 HAS SOPS 736 HAS SOUS 8348 HAS SOUPS 729 WITH SCORE 779.916
AT ITER 1795 NEW BEST:: SOT 84095 SOS 50860 HAS SOPS 736 HAS SOUS 8336 HAS SOUPS 729 WITH SCORE 779.86
AT ITER 1808 NEW BEST:: SOT 84089 SOS 51058 HAS SOPS 730 HAS SOUS 8494 HAS SOUPS 723 WITH SCORE 774.058
AT ITER 1836 NEW BEST:: SOT 84025 SOS 50994 HAS SOPS 730 HAS SOUS 8479 HAS SOUPS 723 WITH SCORE 773.994
AT ITER 1839 NEW BEST:: SOT 84025 SOS 50970 HAS SOPS 730 HAS SOUS 8467 HAS SOUPS 723 WITH SCORE 773.97
AT ITER 1851 NEW BEST:: SOT 83647 SOS 50529 HAS SOPS 730 HAS SOUS 8281 HAS SOUPS 723 WITH SCORE 773.529
AT ITER 1872 NEW BEST:: SOT 83603 SOS 50485 HAS SOPS 730 HAS SOUS 8259 HAS SOUPS 723 WITH SCORE 773.485
AT ITER 1878 NEW BEST:: SOT 83393 SOS 50275 HAS SOPS 730 HAS SOUS 8259 HAS SOUPS 723 WITH SCORE 773.275
AT ITER 1882 NEW BEST:: SOT 83379 SOS 50254 HAS SOPS 730 HAS SOUS 8245 HAS SOUPS 723 WITH SCORE 773.254
AT ITER 1889 NEW BEST:: SOT 83379 SOS 50165 HAS SOPS 730 HAS SOUS 8245 HAS SOUPS 723 WITH SCORE 773.165
AT ITER 1897 NEW BEST:: SOT 83379 SOS 50158 HAS SOPS 730 HAS SOUS 8231 HAS SOUPS 723 WITH SCORE 773.158
AT ITER 1900 NEW BEST:: SOT 83369 SOS 51785 HAS SOPS 720 HAS SOUS 8224 HAS SOUPS 716 WITH SCORE 767.785
AT ITER 1904 NEW BEST:: SOT 83355 SOS 51771 HAS SOPS 720 HAS SOUS 8216 HAS SOUPS 716 WITH SCORE 767.771
AT ITER 1910 NEW BEST:: SOT 83355 SOS 51757 HAS SOPS 720 HAS SOUS 8216 HAS SOUPS 716 WITH SCORE 767.757
AT ITER 1916 NEW BEST:: SOT 83179 SOS 51581 HAS SOPS 720 HAS SOUS 8192 HAS SOUPS 716 WITH SCORE 767.581
AT ITER 1931 NEW BEST:: SOT 83179 SOS 51560 HAS SOPS 720 HAS SOUS 8161 HAS SOUPS 716 WITH SCORE 767.56
AT ITER 1937 NEW BEST:: SOT 82707 SOS 51088 HAS SOPS 720 HAS SOUS 8117 HAS SOUPS 716 WITH SCORE 767.088
AT ITER 1995 NEW BEST:: SOT 82811 SOS 51188 HAS SOPS 716 HAS SOUS 8114 HAS SOUPS 713 WITH SCORE 764.188
AT ITER 2009 NEW BEST:: SOT 82787 SOS 51074 HAS SOPS 716 HAS SOUS 8102 HAS SOUPS 713 WITH SCORE 764.074
AT ITER 2016 NEW BEST:: SOT 83340 SOS 51610 HAS SOPS 699 HAS SOUS 8187 HAS SOUPS 699 WITH SCORE 750.61
AT ITER 2026 NEW BEST:: SOT 83292 SOS 51562 HAS SOPS 699 HAS SOUS 8175 HAS SOUPS 699 WITH SCORE 750.562
AT ITER 2044 NEW BEST:: SOT 83212 SOS 51492 HAS SOPS 699 HAS SOUS 8195 HAS SOUPS 699 WITH SCORE 750.492
AT ITER 2047 NEW BEST:: SOT 82972 SOS 51372 HAS SOPS 699 HAS SOUS 8435 HAS SOUPS 699 WITH SCORE 750.372
AT ITER 2072 NEW BEST:: SOT 82964 SOS 51364 HAS SOPS 699 HAS SOUS 8431 HAS SOUPS 699 WITH SCORE 750.364
AT ITER 2145 NEW BEST:: SOT 82924 SOS 51260 HAS SOPS 699 HAS SOUS 8431 HAS SOUPS 699 WITH SCORE 750.26
AT ITER 2188 NEW BEST:: SOT 82924 SOS 51255 HAS SOPS 699 HAS SOUS 8426 HAS SOUPS 699 WITH SCORE 750.255
AT ITER 2193 NEW BEST:: SOT 82918 SOS 51249 HAS SOPS 699 HAS SOUS 8423 HAS SOUPS 699 WITH SCORE 750.249
AT ITER 2215 NEW BEST:: SOT 82911 SOS 51242 HAS SOPS 699 HAS SOUS 8423 HAS SOUPS 699 WITH SCORE 750.242
AT ITER 2252 NEW BEST:: SOT 82957 SOS 51219 HAS SOPS 699 HAS SOUS 8400 HAS SOUPS 699 WITH SCORE 750.219
AT ITER 2263 NEW BEST:: SOT 82775 SOS 51037 HAS SOPS 699 HAS SOUS 8383 HAS SOUPS 699 WITH SCORE 750.037
AT ITER 2283 NEW BEST:: SOT 82511 SOS 50773 HAS SOPS 699 HAS SOUS 8342 HAS SOUPS 699 WITH SCORE 749.773
AT ITER 2292 NEW BEST:: SOT 82205 SOS 50467 HAS SOPS 699 HAS SOUS 8384 HAS SOUPS 699 WITH SCORE 749.467
AT ITER 2302 NEW BEST:: SOT 81827 SOS 50143 HAS SOPS 699 HAS SOUS 8438 HAS SOUPS 699 WITH SCORE 749.143
AT ITER 2308 NEW BEST:: SOT 81715 SOS 50031 HAS SOPS 699 HAS SOUS 8382 HAS SOUPS 699 WITH SCORE 749.031
AT ITER 2356 NEW BEST:: SOT 81559 SOS 49875 HAS SOPS 699 HAS SOUS 8387 HAS SOUPS 699 WITH SCORE 748.875
AT ITER 2360 NEW BEST:: SOT 81559 SOS 49819 HAS SOPS 699 HAS SOUS 8379 HAS SOUPS 699 WITH SCORE 748.819
AT ITER 2453 NEW BEST:: SOT 81559 SOS 49702 HAS SOPS 699 HAS SOUS 8340 HAS SOUPS 699 WITH SCORE 748.702
AT ITER 2493 NEW BEST:: SOT 81532 SOS 49669 HAS SOPS 699 HAS SOUS 8340 HAS SOUPS 699 WITH SCORE 748.669
AT ITER 2514 NEW BEST:: SOT 81422 SOS 49504 HAS SOPS 699 HAS SOUS 8340 HAS SOUPS 699 WITH SCORE 748.504
AT ITER 2523 NEW BEST:: SOT 81422 SOS 49474 HAS SOPS 699 HAS SOUS 8340 HAS SOUPS 699 WITH SCORE 748.474
AT ITER 2538 NEW BEST:: SOT 81309 SOS 49361 HAS SOPS 699 HAS SOUS 8340 HAS SOUPS 699 WITH SCORE 748.361
AT ITER 2552 NEW BEST:: SOT 81289 SOS 49041 HAS SOPS 699 HAS SOUS 8340 HAS SOUPS 699 WITH SCORE 748.041
AT ITER 2599 NEW BEST:: SOT 81287 SOS 49035 HAS SOPS 699 HAS SOUS 8340 HAS SOUPS 699 WITH SCORE 748.035
AT ITER 2601 NEW BEST:: SOT 81271 SOS 48987 HAS SOPS 699 HAS SOUS 8332 HAS SOUPS 699 WITH SCORE 747.987
AT ITER 2607 NEW BEST:: SOT 81271 SOS 48957 HAS SOPS 699 HAS SOUS 8272 HAS SOUPS 699 WITH SCORE 747.957
AT ITER 2634 NEW BEST:: SOT 81281 SOS 48952 HAS SOPS 699 HAS SOUS 8262 HAS SOUPS 699 WITH SCORE 747.952
AT ITER 2638 NEW BEST:: SOT 81281 SOS 48898 HAS SOPS 699 HAS SOUS 8154 HAS SOUPS 699 WITH SCORE 747.898
AT ITER 2687 NEW BEST:: SOT 81177 SOS 48794 HAS SOPS 699 HAS SOUS 8154 HAS SOUPS 699 WITH SCORE 747.794
AT ITER 2698 NEW BEST:: SOT 81073 SOS 48690 HAS SOPS 699 HAS SOUS 8110 HAS SOUPS 699 WITH SCORE 747.69
AT ITER 2702 NEW BEST:: SOT 81061 SOS 48675 HAS SOPS 699 HAS SOUS 8098 HAS SOUPS 699 WITH SCORE 747.675
AT ITER 2737 NEW BEST:: SOT 81047 SOS 48661 HAS SOPS 699 HAS SOUS 8091 HAS SOUPS 699 WITH SCORE 747.6610000000001
AT ITER 2744 NEW BEST:: SOT 80967 SOS 48581 HAS SOPS 699 HAS SOUS 8051 HAS SOUPS 699 WITH SCORE 747.581
AT ITER 2768 NEW BEST:: SOT 80755 SOS 48422 HAS SOPS 699 HAS SOUS 8210 HAS SOUPS 699 WITH SCORE 747.422
AT ITER 2799 NEW BEST:: SOT 80735 SOS 48412 HAS SOPS 699 HAS SOUS 8220 HAS SOUPS 699 WITH SCORE 747.412
AT ITER 2831 NEW BEST:: SOT 80639 SOS 48316 HAS SOPS 699 HAS SOUS 8172 HAS SOUPS 699 WITH SCORE 747.316
AT ITER 2865 NEW BEST:: SOT 80629 SOS 48266 HAS SOPS 699 HAS SOUS 8167 HAS SOUPS 699 WITH SCORE 747.266
AT ITER 2877 NEW BEST:: SOT 80629 SOS 48264 HAS SOPS 699 HAS SOUS 8163 HAS SOUPS 699 WITH SCORE 747.264
AT ITER 2918 NEW BEST:: SOT 80629 SOS 48168 HAS SOPS 699 HAS SOUS 8139 HAS SOUPS 699 WITH SCORE 747.168
AT ITER 2953 NEW BEST:: SOT 80629 SOS 48161 HAS SOPS 699 HAS SOUS 8139 HAS SOUPS 699 WITH SCORE 747.1610000000001
AT ITER 2997 NEW BEST:: SOT 80319 SOS 47882 HAS SOPS 699 HAS SOUS 8139 HAS SOUPS 699 WITH SCORE 746.882
AT ITER 3019 NEW BEST:: SOT 80301 SOS 47873 HAS SOPS 699 HAS SOUS 8148 HAS SOUPS 699 WITH SCORE 746.873
AT ITER 3043 NEW BEST:: SOT 80127 SOS 47670 HAS SOPS 699 HAS SOUS 8061 HAS SOUPS 699 WITH SCORE 746.67
AT ITER 3048 NEW BEST:: SOT 80127 SOS 47654 HAS SOPS 699 HAS SOUS 8061 HAS SOUPS 699 WITH SCORE 746.654
AT ITER 3054 NEW BEST:: SOT 79945 SOS 47472 HAS SOPS 699 HAS SOUS 7955 HAS SOUPS 699 WITH SCORE 746.472
AT ITER 3073 NEW BEST:: SOT 79920 SOS 47467 HAS SOPS 699 HAS SOUS 7965 HAS SOUPS 699 WITH SCORE 746.467
AT ITER 3093 NEW BEST:: SOT 79812 SOS 47359 HAS SOPS 699 HAS SOUS 7956 HAS SOUPS 699 WITH SCORE 746.359
AT ITER 3111 NEW BEST:: SOT 79468 SOS 47015 HAS SOPS 699 HAS SOUS 7833 HAS SOUPS 699 WITH SCORE 746.015
AT ITER 3135 NEW BEST:: SOT 79366 SOS 46913 HAS SOPS 699 HAS SOUS 7833 HAS SOUPS 699 WITH SCORE 745.913
AT ITER 3136 NEW BEST:: SOT 79350 SOS 46897 HAS SOPS 699 HAS SOUS 7833 HAS SOUPS 699 WITH SCORE 745.897
AT ITER 3143 NEW BEST:: SOT 79344 SOS 46888 HAS SOPS 699 HAS SOUS 7828 HAS SOUPS 699 WITH SCORE 745.888
AT ITER 3144 NEW BEST:: SOT 79266 SOS 46849 HAS SOPS 699 HAS SOUS 7854 HAS SOUPS 699 WITH SCORE 745.849
AT ITER 3154 NEW BEST:: SOT 79230 SOS 46813 HAS SOPS 699 HAS SOUS 7854 HAS SOUPS 699 WITH SCORE 745.813
AT ITER 3177 NEW BEST:: SOT 79010 SOS 46593 HAS SOPS 699 HAS SOUS 7849 HAS SOUPS 699 WITH SCORE 745.593
AT ITER 3206 NEW BEST:: SOT 78962 SOS 46545 HAS SOPS 699 HAS SOUS 7843 HAS SOUPS 699 WITH SCORE 745.545
AT ITER 3215 NEW BEST:: SOT 78960 SOS 46543 HAS SOPS 699 HAS SOUS 7843 HAS SOUPS 699 WITH SCORE 745.543
AT ITER 3220 NEW BEST:: SOT 78954 SOS 46538 HAS SOPS 699 HAS SOUS 7845 HAS SOUPS 699 WITH SCORE 745.538
AT ITER 3228 NEW BEST:: SOT 78906 SOS 46466 HAS SOPS 699 HAS SOUS 7811 HAS SOUPS 699 WITH SCORE 745.466
AT ITER 3234 NEW BEST:: SOT 78906 SOS 46449 HAS SOPS 699 HAS SOUS 7794 HAS SOUPS 699 WITH SCORE 745.449
AT ITER 3243 NEW BEST:: SOT 78758 SOS 46301 HAS SOPS 699 HAS SOUS 7749 HAS SOUPS 699 WITH SCORE 745.301
AT ITER 3264 NEW BEST:: SOT 78660 SOS 46203 HAS SOPS 699 HAS SOUS 7741 HAS SOUPS 699 WITH SCORE 745.203
AT ITER 3277 NEW BEST:: SOT 78660 SOS 46165 HAS SOPS 699 HAS SOUS 7703 HAS SOUPS 699 WITH SCORE 745.165
AT ITER 3321 NEW BEST:: SOT 78660 SOS 46143 HAS SOPS 699 HAS SOUS 7703 HAS SOUPS 699 WITH SCORE 745.143
AT ITER 3340 NEW BEST:: SOT 78660 SOS 45888 HAS SOPS 699 HAS SOUS 7688 HAS SOUPS 699 WITH SCORE 744.888
AT ITER 3348 NEW BEST:: SOT 78625 SOS 45853 HAS SOPS 699 HAS SOUS 7667 HAS SOUPS 699 WITH SCORE 744.853
AT ITER 3364 NEW BEST:: SOT 78625 SOS 45755 HAS SOPS 699 HAS SOUS 7667 HAS SOUPS 699 WITH SCORE 744.755
AT ITER 3401 NEW BEST:: SOT 78305 SOS 45435 HAS SOPS 699 HAS SOUS 7533 HAS SOUPS 699 WITH SCORE 744.435
AT ITER 3425 NEW BEST:: SOT 78291 SOS 45372 HAS SOPS 699 HAS SOUS 7526 HAS SOUPS 699 WITH SCORE 744.372
AT ITER 3428 NEW BEST:: SOT 78275 SOS 45356 HAS SOPS 699 HAS SOUS 7518 HAS SOUPS 699 WITH SCORE 744.356
AT ITER 3475 NEW BEST:: SOT 78291 SOS 45268 HAS SOPS 699 HAS SOUS 7518 HAS SOUPS 699 WITH SCORE 744.268
AT ITER 3485 NEW BEST:: SOT 78255 SOS 45232 HAS SOPS 699 HAS SOUS 7527 HAS SOUPS 699 WITH SCORE 744.232
AT ITER 3490 NEW BEST:: SOT 78170 SOS 45113 HAS SOPS 699 HAS SOUS 7476 HAS SOUPS 699 WITH SCORE 744.113
AT ITER 3514 NEW BEST:: SOT 78068 SOS 45011 HAS SOPS 699 HAS SOUS 7423 HAS SOUPS 699 WITH SCORE 744.011
AT ITER 3591 NEW BEST:: SOT 78050 SOS 44993 HAS SOPS 699 HAS SOUS 7420 HAS SOUPS 699 WITH SCORE 743.993
AT ITER 3606 NEW BEST:: SOT 78018 SOS 44961 HAS SOPS 699 HAS SOUS 7436 HAS SOUPS 699 WITH SCORE 743.961
AT ITER 3646 NEW BEST:: SOT 77936 SOS 44879 HAS SOPS 699 HAS SOUS 7395 HAS SOUPS 699 WITH SCORE 743.879
AT ITER 3649 NEW BEST:: SOT 77936 SOS 44869 HAS SOPS 699 HAS SOUS 7395 HAS SOUPS 699 WITH SCORE 743.869
AT ITER 3656 NEW BEST:: SOT 77915 SOS 44820 HAS SOPS 699 HAS SOUS 7395 HAS SOUPS 699 WITH SCORE 743.82
AT ITER 3717 NEW BEST:: SOT 77912 SOS 44817 HAS SOPS 699 HAS SOUS 7398 HAS SOUPS 699 WITH SCORE 743.817
AT ITER 3722 NEW BEST:: SOT 77882 SOS 44802 HAS SOPS 699 HAS SOUS 7413 HAS SOUPS 699 WITH SCORE 743.802
AT ITER 3756 NEW BEST:: SOT 77658 SOS 44578 HAS SOPS 699 HAS SOUS 7399 HAS SOUPS 699 WITH SCORE 743.578
AT ITER 3758 NEW BEST:: SOT 77622 SOS 44542 HAS SOPS 699 HAS SOUS 7394 HAS SOUPS 699 WITH SCORE 743.542
AT ITER 3760 NEW BEST:: SOT 77616 SOS 44536 HAS SOPS 699 HAS SOUS 7391 HAS SOUPS 699 WITH SCORE 743.5360000000001
AT ITER 3801 NEW BEST:: SOT 77596 SOS 44516 HAS SOPS 699 HAS SOUS 7386 HAS SOUPS 699 WITH SCORE 743.516
AT ITER 3837 NEW BEST:: SOT 77515 SOS 44408 HAS SOPS 699 HAS SOUS 7305 HAS SOUPS 699 WITH SCORE 743.408
AT ITER 3856 NEW BEST:: SOT 77509 SOS 44405 HAS SOPS 699 HAS SOUS 7305 HAS SOUPS 699 WITH SCORE 743.405
AT ITER 3876 NEW BEST:: SOT 77381 SOS 44277 HAS SOPS 699 HAS SOUS 7305 HAS SOUPS 699 WITH SCORE 743.277
AT ITER 3909 NEW BEST:: SOT 77325 SOS 44221 HAS SOPS 699 HAS SOUS 7256 HAS SOUPS 699 WITH SCORE 743.221
AT ITER 3930 NEW BEST:: SOT 77325 SOS 44085 HAS SOPS 699 HAS SOUS 7120 HAS SOUPS 699 WITH SCORE 743.085
AT ITER 3931 NEW BEST:: SOT 77291 SOS 44068 HAS SOPS 699 HAS SOUS 7154 HAS SOUPS 699 WITH SCORE 743.068
AT ITER 3979 NEW BEST:: SOT 77227 SOS 44004 HAS SOPS 699 HAS SOUS 7138 HAS SOUPS 699 WITH SCORE 743.004
AT ITER 3993 NEW BEST:: SOT 77159 SOS 43936 HAS SOPS 699 HAS SOUS 7172 HAS SOUPS 699 WITH SCORE 742.936
AT ITER 4028 NEW BEST:: SOT 77151 SOS 43928 HAS SOPS 699 HAS SOUS 7172 HAS SOUPS 699 WITH SCORE 742.928
AT ITER 4041 NEW BEST:: SOT 77148 SOS 43925 HAS SOPS 699 HAS SOUS 7169 HAS SOUPS 699 WITH SCORE 742.925
AT ITER 4064 NEW BEST:: SOT 77148 SOS 43920 HAS SOPS 699 HAS SOUS 7169 HAS SOUPS 699 WITH SCORE 742.92
AT ITER 4221 NEW BEST:: SOT 77072 SOS 43844 HAS SOPS 699 HAS SOUS 7131 HAS SOUPS 699 WITH SCORE 742.844
AT ITER 4227 NEW BEST:: SOT 77072 SOS 43842 HAS SOPS 699 HAS SOUS 7129 HAS SOUPS 699 WITH SCORE 742.842
AT ITER 4247 NEW BEST:: SOT 77072 SOS 43807 HAS SOPS 699 HAS SOUS 7119 HAS SOUPS 699 WITH SCORE 742.807
AT ITER 4294 NEW BEST:: SOT 77064 SOS 43799 HAS SOPS 699 HAS SOUS 7114 HAS SOUPS 699 WITH SCORE 742.799
AT ITER 4302 NEW BEST:: SOT 77048 SOS 43783 HAS SOPS 699 HAS SOUS 7114 HAS SOUPS 699 WITH SCORE 742.783
AT ITER 4375 NEW BEST:: SOT 77038 SOS 43773 HAS SOPS 699 HAS SOUS 7111 HAS SOUPS 699 WITH SCORE 742.773
AT ITER 4403 NEW BEST:: SOT 77034 SOS 43769 HAS SOPS 699 HAS SOUS 7109 HAS SOUPS 699 WITH SCORE 742.769
AT ITER 4417 NEW BEST:: SOT 77006 SOS 43734 HAS SOPS 699 HAS SOUS 7102 HAS SOUPS 699 WITH SCORE 742.734
AT ITER 4427 NEW BEST:: SOT 77000 SOS 43729 HAS SOPS 699 HAS SOUS 7104 HAS SOUPS 699 WITH SCORE 742.729
AT ITER 4453 NEW BEST:: SOT 76994 SOS 43723 HAS SOPS 699 HAS SOUS 7104 HAS SOUPS 699 WITH SCORE 742.723
AT ITER 4506 NEW BEST:: SOT 76950 SOS 43657 HAS SOPS 699 HAS SOUS 7060 HAS SOUPS 699 WITH SCORE 742.657
AT ITER 4623 NEW BEST:: SOT 76908 SOS 43615 HAS SOPS 699 HAS SOUS 7042 HAS SOUPS 699 WITH SCORE 742.615
AT ITER 4648 NEW BEST:: SOT 76908 SOS 43588 HAS SOPS 699 HAS SOUS 6988 HAS SOUPS 699 WITH SCORE 742.588
AT ITER 4651 NEW BEST:: SOT 76908 SOS 43560 HAS SOPS 699 HAS SOUS 6988 HAS SOUPS 699 WITH SCORE 742.56
AT ITER 4653 NEW BEST:: SOT 76872 SOS 43524 HAS SOPS 699 HAS SOUS 6988 HAS SOUPS 699 WITH SCORE 742.524
AT ITER 4680 NEW BEST:: SOT 76812 SOS 43434 HAS SOPS 699 HAS SOUS 6898 HAS SOUPS 699 WITH SCORE 742.434
AT ITER 4754 NEW BEST:: SOT 76800 SOS 43422 HAS SOPS 699 HAS SOUS 6898 HAS SOUPS 699 WITH SCORE 742.422
AT ITER 4790 NEW BEST:: SOT 76799 SOS 43421 HAS SOPS 699 HAS SOUS 6898 HAS SOUPS 699 WITH SCORE 742.421
AT ITER 4843 NEW BEST:: SOT 76795 SOS 43417 HAS SOPS 699 HAS SOUS 6899 HAS SOUPS 699 WITH SCORE 742.417
AT ITER 4853 NEW BEST:: SOT 76755 SOS 43382 HAS SOPS 699 HAS SOUS 6904 HAS SOUPS 699 WITH SCORE 742.382
AT ITER 4955 NEW BEST:: SOT 76755 SOS 43378 HAS SOPS 699 HAS SOUS 6904 HAS SOUPS 699 WITH SCORE 742.378
AT ITER 4961 NEW BEST:: SOT 76627 SOS 43250 HAS SOPS 699 HAS SOUS 6886 HAS SOUPS 699 WITH SCORE 742.25
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Eratosthenes-PT-200-CTLCardinality-00 ( (AX( (! ( potential( ( 1 ) <= (tk(P121)) ) | potential( ( 3 ) <= (tk(P3)) ) )))) | (AF((! potential( (tk(P15)) <= (tk(P175)) )))) )
PROPERTY: Eratosthenes-PT-200-CTLCardinality-01 ( (EG( ( (! potential( (tk(P96)) <= (tk(P115)) )) | ( potential( ( 1 ) <= (tk(P39)) ) | potential( (tk(P16)) <= (tk(P38)) ) ) ))) & ( (EU( potential( ( 1 ) <= (tk(P15)) ),potential( (tk(P77)) <= (tk(P178)) ) )) | ( potential( ( 3 ) <= (tk(P35)) ) | ( ( potential( (tk(P176)) <= (tk(P83)) ) | potential( (tk(P26)) <= (tk(P130)) ) ) & (! potential( ( 1 ) <= (tk(P184)) )) ) ) ) )
PROPERTY: Eratosthenes-PT-200-CTLCardinality-02 (AU( ( potential( (tk(P50)) <= (tk(P38)) ) | ( potential( ( 1 ) <= (tk(P162)) ) | potential( ( 3 ) <= (tk(P47)) ) ) ),(EG( potential( ( 3 ) <= (tk(P180)) ))) ))
PROPERTY: Eratosthenes-PT-200-CTLCardinality-03 ( (EF(( (! potential( ( 1 ) <= (tk(P118)) )) | ( potential( ( 2 ) <= (tk(P44)) ) & potential( ( 2 ) <= (tk(P48)) ) ) ))) | (AF(( potential( ( 3 ) <= (tk(P49)) ) & potential( ( 3 ) <= (tk(P83)) ) ))) )
PROPERTY: Eratosthenes-PT-200-CTLCardinality-04 (AX( ( (AF(potential( ( 3 ) <= (tk(P112)) ))) & ( potential( (tk(P99)) <= (tk(P150)) ) | ( potential( (tk(P30)) <= (tk(P123)) ) | potential( ( 1 ) <= (tk(P92)) ) ) ) )))
PROPERTY: Eratosthenes-PT-200-CTLCardinality-05 ( (! (EX( ( potential( (tk(P76)) <= (tk(P34)) ) & potential( (tk(P115)) <= (tk(P27)) ) )))) | (AF((AF(potential( ( 2 ) <= (tk(P95)) ))))) )
PROPERTY: Eratosthenes-PT-200-CTLCardinality-06 (AU( (EF(potential( ( 3 ) <= (tk(P124)) ))),( ( potential( (tk(P90)) <= (tk(P175)) ) & potential( (tk(P137)) <= (tk(P123)) ) ) & (! potential( (tk(P146)) <= (tk(P78)) )) ) ))
PROPERTY: Eratosthenes-PT-200-CTLCardinality-07 ( (! (! (EG( potential( (tk(P65)) <= (tk(P149)) ))))) | (AG( (EG( potential( (tk(P147)) <= (tk(P145)) ))))) )
PROPERTY: Eratosthenes-PT-200-CTLCardinality-08 (EG( ( ( potential( ( 3 ) <= (tk(P63)) ) & (! potential( ( 1 ) <= (tk(P195)) )) ) | (EG( potential( (tk(P186)) <= (tk(P31)) ))) )))
PROPERTY: Eratosthenes-PT-200-CTLCardinality-09 (AF(( (AX( potential( ( 1 ) <= (tk(P54)) ))) & (EF(potential( (tk(P53)) <= (tk(P176)) ))) )))
PROPERTY: Eratosthenes-PT-200-CTLCardinality-10 (EG( (EX( (! potential( (tk(P106)) <= (tk(P59)) ))))))
PROPERTY: Eratosthenes-PT-200-CTLCardinality-11 (AF((EG( potential( ( 2 ) <= (tk(P103)) )))))
PROPERTY: Eratosthenes-PT-200-CTLCardinality-12 ( (EU( ( potential( (tk(P40)) <= (tk(P89)) ) & potential( ( 3 ) <= (tk(P174)) ) ),(! potential( (tk(P109)) <= (tk(P47)) )) )) | (AG( (AF(potential( ( 3 ) <= (tk(P61)) ))))) )
PROPERTY: Eratosthenes-PT-200-CTLCardinality-13 (EG( (EU( potential( ( 2 ) <= (tk(P186)) ),potential( (tk(P167)) <= (tk(P33)) ) ))))
PROPERTY: Eratosthenes-PT-200-CTLCardinality-14 ( ( (! ( potential( ( 3 ) <= (tk(P93)) ) | potential( (tk(P124)) <= (tk(P197)) ) )) & (EX( ( potential( ( 2 ) <= (tk(P68)) ) & potential( ( 2 ) <= (tk(P50)) ) ))) ) | (EU( ( potential( (tk(P158)) <= (tk(P5)) ) & potential( ( 1 ) <= (tk(P3)) ) ),( potential( ( 3 ) <= (tk(P13)) ) & potential( ( 3 ) <= (tk(P162)) ) ) )) )
PROPERTY: Eratosthenes-PT-200-CTLCardinality-15 (EF((AX( potential( ( 3 ) <= (tk(P178)) )))))
FORMULA Eratosthenes-PT-200-CTLCardinality-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLCardinality-01 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLCardinality-02 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLCardinality-03 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLCardinality-04 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLCardinality-05 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLCardinality-06 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLCardinality-07 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLCardinality-08 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLCardinality-09 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLCardinality-10 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLCardinality-11 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLCardinality-12 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLCardinality-13 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLCardinality-14 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLCardinality-15 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

BK_STOP 1589369578655

--------------------
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="Eratosthenes-PT-200"
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 Eratosthenes-PT-200, 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-158922808401043"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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