About the Execution of smart for UtahNoC-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.780 | 3600000.00 | 3599990.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r190-csrt-159033382900596.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is UtahNoC-PT-none, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r190-csrt-159033382900596
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 384K
-rw-r--r-- 1 mcc users 3.2K Apr 12 20:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 12 20:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 11 23:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 23:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 15 10:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 15 10:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 10 22:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 10 07:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 10 07:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 205K Mar 24 05:38 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 UtahNoC-PT-none-CTLFireability-00
FORMULA_NAME UtahNoC-PT-none-CTLFireability-01
FORMULA_NAME UtahNoC-PT-none-CTLFireability-02
FORMULA_NAME UtahNoC-PT-none-CTLFireability-03
FORMULA_NAME UtahNoC-PT-none-CTLFireability-04
FORMULA_NAME UtahNoC-PT-none-CTLFireability-05
FORMULA_NAME UtahNoC-PT-none-CTLFireability-06
FORMULA_NAME UtahNoC-PT-none-CTLFireability-07
FORMULA_NAME UtahNoC-PT-none-CTLFireability-08
FORMULA_NAME UtahNoC-PT-none-CTLFireability-09
FORMULA_NAME UtahNoC-PT-none-CTLFireability-10
FORMULA_NAME UtahNoC-PT-none-CTLFireability-11
FORMULA_NAME UtahNoC-PT-none-CTLFireability-12
FORMULA_NAME UtahNoC-PT-none-CTLFireability-13
FORMULA_NAME UtahNoC-PT-none-CTLFireability-14
FORMULA_NAME UtahNoC-PT-none-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590409001469
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtahNoC (PT), instance none
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 216 places, 977 transitions, 2905 arcs.
AT ITER 0 NEW BEST:: SOT 124401 SOS 61732 HAS SOPS 61156 HAS SOUS 30959 HAS SOUPS 30744 WITH SCORE 30805.732
AT ITER 2 NEW BEST:: SOT 124630 SOS 61683 HAS SOPS 61128 HAS SOUS 30624 HAS SOUPS 30416 WITH SCORE 30477.683
AT ITER 3 NEW BEST:: SOT 124909 SOS 63040 HAS SOPS 62494 HAS SOUS 30351 HAS SOUPS 30146 WITH SCORE 30209.04
AT ITER 11 NEW BEST:: SOT 124863 SOS 62879 HAS SOPS 62333 HAS SOUS 30296 HAS SOUPS 30091 WITH SCORE 30153.879
AT ITER 12 NEW BEST:: SOT 124469 SOS 62591 HAS SOPS 62037 HAS SOUS 29949 HAS SOUPS 29744 WITH SCORE 29806.591
AT ITER 13 NEW BEST:: SOT 124199 SOS 62428 HAS SOPS 61874 HAS SOUS 29948 HAS SOUPS 29743 WITH SCORE 29805.428
AT ITER 15 NEW BEST:: SOT 123777 SOS 62080 HAS SOPS 61526 HAS SOUS 29499 HAS SOUPS 29294 WITH SCORE 29356.08
AT ITER 19 NEW BEST:: SOT 124181 SOS 62421 HAS SOPS 61867 HAS SOUS 29490 HAS SOUPS 29285 WITH SCORE 29347.421
AT ITER 23 NEW BEST:: SOT 123850 SOS 62173 HAS SOPS 61619 HAS SOUS 29348 HAS SOUPS 29143 WITH SCORE 29205.173
AT ITER 26 NEW BEST:: SOT 123942 SOS 62235 HAS SOPS 61681 HAS SOUS 29256 HAS SOUPS 29051 WITH SCORE 29113.235
AT ITER 27 NEW BEST:: SOT 124170 SOS 62262 HAS SOPS 61708 HAS SOUS 29217 HAS SOUPS 29012 WITH SCORE 29074.262
AT ITER 28 NEW BEST:: SOT 124106 SOS 62111 HAS SOPS 61557 HAS SOUS 29124 HAS SOUPS 28919 WITH SCORE 28981.111
AT ITER 30 NEW BEST:: SOT 124106 SOS 62088 HAS SOPS 61534 HAS SOUS 29101 HAS SOUPS 28896 WITH SCORE 28958.088
AT ITER 31 NEW BEST:: SOT 123837 SOS 61732 HAS SOPS 61231 HAS SOUS 28903 HAS SOUPS 28726 WITH SCORE 28787.732
AT ITER 32 NEW BEST:: SOT 123836 SOS 61806 HAS SOPS 61305 HAS SOUS 28626 HAS SOUPS 28449 WITH SCORE 28510.806
AT ITER 34 NEW BEST:: SOT 124316 SOS 62079 HAS SOPS 61578 HAS SOUS 28594 HAS SOUPS 28417 WITH SCORE 28479.079
AT ITER 43 NEW BEST:: SOT 123968 SOS 61731 HAS SOPS 61230 HAS SOUS 28217 HAS SOUPS 28040 WITH SCORE 28101.731
AT ITER 47 NEW BEST:: SOT 124293 SOS 62202 HAS SOPS 61492 HAS SOUS 27986 HAS SOUPS 27699 WITH SCORE 27761.202
AT ITER 49 NEW BEST:: SOT 124063 SOS 61974 HAS SOPS 61234 HAS SOUS 27979 HAS SOUPS 27692 WITH SCORE 27753.974
AT ITER 51 NEW BEST:: SOT 124221 SOS 62089 HAS SOPS 61355 HAS SOUS 27956 HAS SOUPS 27671 WITH SCORE 27733.089
AT ITER 53 NEW BEST:: SOT 124443 SOS 62089 HAS SOPS 61355 HAS SOUS 27882 HAS SOUPS 27597 WITH SCORE 27659.089
AT ITER 58 NEW BEST:: SOT 124241 SOS 61945 HAS SOPS 61211 HAS SOUS 27651 HAS SOUPS 27366 WITH SCORE 27427.945
AT ITER 61 NEW BEST:: SOT 124172 SOS 61896 HAS SOPS 61162 HAS SOUS 27582 HAS SOUPS 27297 WITH SCORE 27358.896
AT ITER 62 NEW BEST:: SOT 124148 SOS 61786 HAS SOPS 61052 HAS SOUS 27503 HAS SOUPS 27218 WITH SCORE 27279.786
AT ITER 70 NEW BEST:: SOT 124136 SOS 61770 HAS SOPS 61036 HAS SOUS 27471 HAS SOUPS 27186 WITH SCORE 27247.77
AT ITER 71 NEW BEST:: SOT 123872 SOS 61465 HAS SOPS 60731 HAS SOUS 27369 HAS SOUPS 27084 WITH SCORE 27145.465
AT ITER 77 NEW BEST:: SOT 123661 SOS 61848 HAS SOPS 60446 HAS SOUS 27338 HAS SOUPS 26937 WITH SCORE 26998.848
AT ITER 78 NEW BEST:: SOT 123613 SOS 61812 HAS SOPS 60410 HAS SOUS 27206 HAS SOUPS 26805 WITH SCORE 26866.812
AT ITER 80 NEW BEST:: SOT 123613 SOS 61776 HAS SOPS 60374 HAS SOUS 27201 HAS SOUPS 26800 WITH SCORE 26861.776
AT ITER 85 NEW BEST:: SOT 123712 SOS 61704 HAS SOPS 60302 HAS SOUS 27002 HAS SOUPS 26601 WITH SCORE 26662.704
AT ITER 88 NEW BEST:: SOT 123801 SOS 61376 HAS SOPS 59974 HAS SOUS 26796 HAS SOUPS 26395 WITH SCORE 26456.376
AT ITER 91 NEW BEST:: SOT 123738 SOS 61418 HAS SOPS 60016 HAS SOUS 26773 HAS SOUPS 26372 WITH SCORE 26433.418
AT ITER 93 NEW BEST:: SOT 123744 SOS 61396 HAS SOPS 59994 HAS SOUS 26751 HAS SOUPS 26350 WITH SCORE 26411.396
AT ITER 99 NEW BEST:: SOT 124195 SOS 61901 HAS SOPS 60499 HAS SOUS 26738 HAS SOUPS 26337 WITH SCORE 26398.901
AT ITER 101 NEW BEST:: SOT 124224 SOS 62122 HAS SOPS 60720 HAS SOUS 26614 HAS SOUPS 26213 WITH SCORE 26275.122
AT ITER 103 NEW BEST:: SOT 124224 SOS 62150 HAS SOPS 60748 HAS SOUS 26511 HAS SOUPS 26110 WITH SCORE 26172.15
AT ITER 106 NEW BEST:: SOT 124190 SOS 62099 HAS SOPS 60697 HAS SOUS 26392 HAS SOUPS 25991 WITH SCORE 26053.099
AT ITER 109 NEW BEST:: SOT 124153 SOS 62062 HAS SOPS 60660 HAS SOUS 26355 HAS SOUPS 25954 WITH SCORE 26016.062
AT ITER 118 NEW BEST:: SOT 123897 SOS 61698 HAS SOPS 60296 HAS SOUS 25763 HAS SOUPS 25362 WITH SCORE 25423.698
AT ITER 119 NEW BEST:: SOT 124221 SOS 62590 HAS SOPS 61188 HAS SOUS 25659 HAS SOUPS 25258 WITH SCORE 25320.59
AT ITER 120 NEW BEST:: SOT 124182 SOS 62710 HAS SOPS 61308 HAS SOUS 25634 HAS SOUPS 25233 WITH SCORE 25295.71
AT ITER 121 NEW BEST:: SOT 124170 SOS 62686 HAS SOPS 61284 HAS SOUS 25629 HAS SOUPS 25228 WITH SCORE 25290.686
AT ITER 124 NEW BEST:: SOT 124134 SOS 62630 HAS SOPS 61228 HAS SOUS 25602 HAS SOUPS 25201 WITH SCORE 25263.63
AT ITER 128 NEW BEST:: SOT 124366 SOS 62418 HAS SOPS 61016 HAS SOUS 25522 HAS SOUPS 25121 WITH SCORE 25183.418
AT ITER 129 NEW BEST:: SOT 124366 SOS 62433 HAS SOPS 61031 HAS SOUS 25486 HAS SOUPS 25085 WITH SCORE 25147.433
AT ITER 130 NEW BEST:: SOT 123926 SOS 62230 HAS SOPS 60828 HAS SOUS 25124 HAS SOUPS 24723 WITH SCORE 24785.23
AT ITER 132 NEW BEST:: SOT 123513 SOS 61844 HAS SOPS 60442 HAS SOUS 24643 HAS SOUPS 24242 WITH SCORE 24303.844
AT ITER 141 NEW BEST:: SOT 123620 SOS 61860 HAS SOPS 60458 HAS SOUS 24560 HAS SOUPS 24159 WITH SCORE 24220.86
AT ITER 143 NEW BEST:: SOT 123717 SOS 62054 HAS SOPS 60652 HAS SOUS 24472 HAS SOUPS 24071 WITH SCORE 24133.054
AT ITER 148 NEW BEST:: SOT 123534 SOS 61888 HAS SOPS 60486 HAS SOUS 24351 HAS SOUPS 23950 WITH SCORE 24011.888
AT ITER 158 NEW BEST:: SOT 123095 SOS 61573 HAS SOPS 60171 HAS SOUS 23952 HAS SOUPS 23551 WITH SCORE 23612.573
AT ITER 159 NEW BEST:: SOT 123246 SOS 61705 HAS SOPS 60303 HAS SOUS 23947 HAS SOUPS 23546 WITH SCORE 23607.705
AT ITER 166 NEW BEST:: SOT 123526 SOS 61906 HAS SOPS 60522 HAS SOUS 23843 HAS SOUPS 23448 WITH SCORE 23509.906
AT ITER 169 NEW BEST:: SOT 123066 SOS 61460 HAS SOPS 60076 HAS SOUS 23343 HAS SOUPS 22948 WITH SCORE 23009.46
AT ITER 170 NEW BEST:: SOT 123003 SOS 61496 HAS SOPS 60112 HAS SOUS 23304 HAS SOUPS 22909 WITH SCORE 22970.496
AT ITER 172 NEW BEST:: SOT 122700 SOS 61406 HAS SOPS 60022 HAS SOUS 23066 HAS SOUPS 22671 WITH SCORE 22732.406
AT ITER 176 NEW BEST:: SOT 122424 SOS 61026 HAS SOPS 59678 HAS SOUS 22946 HAS SOUPS 22551 WITH SCORE 22612.026
AT ITER 177 NEW BEST:: SOT 122488 SOS 61114 HAS SOPS 59766 HAS SOUS 22335 HAS SOUPS 21940 WITH SCORE 22001.114
AT ITER 182 NEW BEST:: SOT 122698 SOS 61549 HAS SOPS 60216 HAS SOUS 22120 HAS SOUPS 21730 WITH SCORE 21791.549
AT ITER 186 NEW BEST:: SOT 122749 SOS 61651 HAS SOPS 60318 HAS SOUS 22086 HAS SOUPS 21696 WITH SCORE 21757.651
AT ITER 191 NEW BEST:: SOT 122745 SOS 61611 HAS SOPS 60278 HAS SOUS 22066 HAS SOUPS 21676 WITH SCORE 21737.611
AT ITER 192 NEW BEST:: SOT 122737 SOS 61582 HAS SOPS 60249 HAS SOUS 22050 HAS SOUPS 21660 WITH SCORE 21721.582
AT ITER 198 NEW BEST:: SOT 122384 SOS 61328 HAS SOPS 59995 HAS SOUS 21748 HAS SOUPS 21358 WITH SCORE 21419.328
AT ITER 199 NEW BEST:: SOT 122258 SOS 61816 HAS SOPS 60483 HAS SOUS 21695 HAS SOUPS 21305 WITH SCORE 21366.816
AT ITER 205 NEW BEST:: SOT 122229 SOS 61749 HAS SOPS 60428 HAS SOUS 21688 HAS SOUPS 21304 WITH SCORE 21365.749
AT ITER 216 NEW BEST:: SOT 122032 SOS 61624 HAS SOPS 60159 HAS SOUS 21397 HAS SOUPS 20977 WITH SCORE 21038.624
AT ITER 219 NEW BEST:: SOT 121975 SOS 61510 HAS SOPS 60045 HAS SOUS 21346 HAS SOUPS 20926 WITH SCORE 20987.51
AT ITER 221 NEW BEST:: SOT 121853 SOS 61368 HAS SOPS 59903 HAS SOUS 21173 HAS SOUPS 20753 WITH SCORE 20814.368
AT ITER 223 NEW BEST:: SOT 121774 SOS 61243 HAS SOPS 59778 HAS SOUS 21096 HAS SOUPS 20676 WITH SCORE 20737.243
AT ITER 227 NEW BEST:: SOT 121794 SOS 61243 HAS SOPS 59782 HAS SOUS 21068 HAS SOUPS 20648 WITH SCORE 20709.243
AT ITER 230 NEW BEST:: SOT 121794 SOS 61243 HAS SOPS 59782 HAS SOUS 20987 HAS SOUPS 20567 WITH SCORE 20628.243
AT ITER 232 NEW BEST:: SOT 121794 SOS 61242 HAS SOPS 59781 HAS SOUS 20986 HAS SOUPS 20566 WITH SCORE 20627.242
AT ITER 234 NEW BEST:: SOT 121766 SOS 61179 HAS SOPS 59718 HAS SOUS 20978 HAS SOUPS 20558 WITH SCORE 20619.179
AT ITER 235 NEW BEST:: SOT 121720 SOS 61179 HAS SOPS 59718 HAS SOUS 20931 HAS SOUPS 20511 WITH SCORE 20572.179
AT ITER 237 NEW BEST:: SOT 121672 SOS 61155 HAS SOPS 59694 HAS SOUS 20931 HAS SOUPS 20511 WITH SCORE 20572.155
AT ITER 238 NEW BEST:: SOT 122107 SOS 62173 HAS SOPS 60712 HAS SOUS 20809 HAS SOUPS 20389 WITH SCORE 20451.173
AT ITER 248 NEW BEST:: SOT 121551 SOS 61735 HAS SOPS 60274 HAS SOUS 20805 HAS SOUPS 20385 WITH SCORE 20446.735
AT ITER 258 NEW BEST:: SOT 121371 SOS 61591 HAS SOPS 60130 HAS SOUS 20700 HAS SOUPS 20280 WITH SCORE 20341.591
AT ITER 263 NEW BEST:: SOT 121271 SOS 60818 HAS SOPS 59357 HAS SOUS 20653 HAS SOUPS 20233 WITH SCORE 20293.818
AT ITER 264 NEW BEST:: SOT 121217 SOS 60683 HAS SOPS 59222 HAS SOUS 20563 HAS SOUPS 20143 WITH SCORE 20203.683
AT ITER 268 NEW BEST:: SOT 121168 SOS 60614 HAS SOPS 59153 HAS SOUS 20554 HAS SOUPS 20134 WITH SCORE 20194.614
AT ITER 269 NEW BEST:: SOT 120978 SOS 60348 HAS SOPS 58887 HAS SOUS 20554 HAS SOUPS 20134 WITH SCORE 20194.348
AT ITER 270 NEW BEST:: SOT 120927 SOS 60297 HAS SOPS 58817 HAS SOUS 20535 HAS SOUPS 20115 WITH SCORE 20175.297
AT ITER 278 NEW BEST:: SOT 120774 SOS 60055 HAS SOPS 58575 HAS SOUS 20332 HAS SOUPS 19912 WITH SCORE 19972.055
AT ITER 281 NEW BEST:: SOT 120730 SOS 60001 HAS SOPS 58521 HAS SOUS 20264 HAS SOUPS 19844 WITH SCORE 19904.001
AT ITER 283 NEW BEST:: SOT 120716 SOS 59989 HAS SOPS 58509 HAS SOUS 20254 HAS SOUPS 19834 WITH SCORE 19893.989
AT ITER 286 NEW BEST:: SOT 121013 SOS 60208 HAS SOPS 58728 HAS SOUS 20183 HAS SOUPS 19763 WITH SCORE 19823.208
AT ITER 287 NEW BEST:: SOT 121019 SOS 60204 HAS SOPS 58725 HAS SOUS 20105 HAS SOUPS 19677 WITH SCORE 19737.204
AT ITER 291 NEW BEST:: SOT 120823 SOS 59970 HAS SOPS 58491 HAS SOUS 19852 HAS SOUPS 19424 WITH SCORE 19483.97
AT ITER 292 NEW BEST:: SOT 120717 SOS 59994 HAS SOPS 58515 HAS SOUS 19782 HAS SOUPS 19354 WITH SCORE 19413.994
AT ITER 300 NEW BEST:: SOT 120629 SOS 59938 HAS SOPS 58459 HAS SOUS 19758 HAS SOUPS 19330 WITH SCORE 19389.938
AT ITER 313 NEW BEST:: SOT 120485 SOS 59794 HAS SOPS 58315 HAS SOUS 19710 HAS SOUPS 19282 WITH SCORE 19341.794
AT ITER 316 NEW BEST:: SOT 120178 SOS 59559 HAS SOPS 58094 HAS SOUS 19678 HAS SOUPS 19250 WITH SCORE 19309.559
AT ITER 324 NEW BEST:: SOT 120093 SOS 59565 HAS SOPS 58064 HAS SOUS 19624 HAS SOUPS 19196 WITH SCORE 19255.565
AT ITER 330 NEW BEST:: SOT 119696 SOS 59507 HAS SOPS 58044 HAS SOUS 19614 HAS SOUPS 19175 WITH SCORE 19234.507
AT ITER 349 NEW BEST:: SOT 119857 SOS 59556 HAS SOPS 58093 HAS SOUS 19601 HAS SOUPS 19162 WITH SCORE 19221.556
AT ITER 354 NEW BEST:: SOT 119837 SOS 59531 HAS SOPS 58068 HAS SOUS 19561 HAS SOUPS 19122 WITH SCORE 19181.531
AT ITER 355 NEW BEST:: SOT 119799 SOS 59509 HAS SOPS 58046 HAS SOUS 19544 HAS SOUPS 19105 WITH SCORE 19164.509
AT ITER 361 NEW BEST:: SOT 119764 SOS 59529 HAS SOPS 58066 HAS SOUS 19511 HAS SOUPS 19072 WITH SCORE 19131.529
AT ITER 370 NEW BEST:: SOT 119773 SOS 59526 HAS SOPS 58055 HAS SOUS 19505 HAS SOUPS 19060 WITH SCORE 19119.526
AT ITER 375 NEW BEST:: SOT 119773 SOS 59437 HAS SOPS 57966 HAS SOUS 19505 HAS SOUPS 19060 WITH SCORE 19119.437
AT ITER 385 NEW BEST:: SOT 119768 SOS 59432 HAS SOPS 57961 HAS SOUS 19502 HAS SOUPS 19057 WITH SCORE 19116.432
AT ITER 389 NEW BEST:: SOT 119757 SOS 59562 HAS SOPS 58091 HAS SOUS 19334 HAS SOUPS 18889 WITH SCORE 18948.562
AT ITER 392 NEW BEST:: SOT 119719 SOS 59557 HAS SOPS 58086 HAS SOUS 19296 HAS SOUPS 18851 WITH SCORE 18910.557
AT ITER 394 NEW BEST:: SOT 119770 SOS 59717 HAS SOPS 58246 HAS SOUS 19206 HAS SOUPS 18761 WITH SCORE 18820.717
AT ITER 395 NEW BEST:: SOT 119796 SOS 59444 HAS SOPS 57973 HAS SOUS 19175 HAS SOUPS 18730 WITH SCORE 18789.444
AT ITER 409 NEW BEST:: SOT 119720 SOS 59340 HAS SOPS 57869 HAS SOUS 19135 HAS SOUPS 18690 WITH SCORE 18749.34
AT ITER 411 NEW BEST:: SOT 119707 SOS 59302 HAS SOPS 57831 HAS SOUS 19121 HAS SOUPS 18676 WITH SCORE 18735.302
AT ITER 412 NEW BEST:: SOT 119432 SOS 59018 HAS SOPS 57538 HAS SOUS 19012 HAS SOUPS 18567 WITH SCORE 18626.018
AT ITER 419 NEW BEST:: SOT 119361 SOS 59081 HAS SOPS 57601 HAS SOUS 18924 HAS SOUPS 18479 WITH SCORE 18538.081
AT ITER 425 NEW BEST:: SOT 119523 SOS 58988 HAS SOPS 57508 HAS SOUS 18781 HAS SOUPS 18336 WITH SCORE 18394.988
AT ITER 443 NEW BEST:: SOT 119493 SOS 58970 HAS SOPS 57490 HAS SOUS 18775 HAS SOUPS 18330 WITH SCORE 18388.97
AT ITER 447 NEW BEST:: SOT 119493 SOS 58901 HAS SOPS 57421 HAS SOUS 18772 HAS SOUPS 18327 WITH SCORE 18385.901
AT ITER 454 NEW BEST:: SOT 119495 SOS 58831 HAS SOPS 57243 HAS SOUS 18773 HAS SOUPS 18310 WITH SCORE 18368.831
AT ITER 458 NEW BEST:: SOT 119651 SOS 58789 HAS SOPS 57201 HAS SOUS 18617 HAS SOUPS 18154 WITH SCORE 18212.789
AT ITER 459 NEW BEST:: SOT 119537 SOS 58751 HAS SOPS 57163 HAS SOUS 18579 HAS SOUPS 18116 WITH SCORE 18174.751
AT ITER 471 NEW BEST:: SOT 119531 SOS 58739 HAS SOPS 57151 HAS SOUS 18566 HAS SOUPS 18103 WITH SCORE 18161.739
AT ITER 474 NEW BEST:: SOT 119424 SOS 58836 HAS SOPS 57248 HAS SOUS 18470 HAS SOUPS 18007 WITH SCORE 18065.836
AT ITER 481 NEW BEST:: SOT 119288 SOS 58711 HAS SOPS 57123 HAS SOUS 18430 HAS SOUPS 17967 WITH SCORE 18025.711
AT ITER 482 NEW BEST:: SOT 119280 SOS 58695 HAS SOPS 57107 HAS SOUS 18417 HAS SOUPS 17954 WITH SCORE 18012.695
AT ITER 483 NEW BEST:: SOT 119372 SOS 58585 HAS SOPS 57039 HAS SOUS 18390 HAS SOUPS 17948 WITH SCORE 18006.585
AT ITER 485 NEW BEST:: SOT 119142 SOS 58374 HAS SOPS 56822 HAS SOUS 18345 HAS SOUPS 17901 WITH SCORE 17959.374
AT ITER 490 NEW BEST:: SOT 119130 SOS 58374 HAS SOPS 56822 HAS SOUS 18337 HAS SOUPS 17893 WITH SCORE 17951.374
AT ITER 493 NEW BEST:: SOT 119051 SOS 58269 HAS SOPS 56717 HAS SOUS 18239 HAS SOUPS 17795 WITH SCORE 17853.269
AT ITER 498 NEW BEST:: SOT 119076 SOS 58295 HAS SOPS 56743 HAS SOUS 18219 HAS SOUPS 17775 WITH SCORE 17833.295
AT ITER 500 NEW BEST:: SOT 119227 SOS 58720 HAS SOPS 57168 HAS SOUS 18155 HAS SOUPS 17711 WITH SCORE 17769.72
AT ITER 510 NEW BEST:: SOT 119226 SOS 58719 HAS SOPS 57167 HAS SOUS 18148 HAS SOUPS 17704 WITH SCORE 17762.719
AT ITER 511 NEW BEST:: SOT 119211 SOS 58678 HAS SOPS 57126 HAS SOUS 18137 HAS SOUPS 17693 WITH SCORE 17751.678
AT ITER 523 NEW BEST:: SOT 119420 SOS 59111 HAS SOPS 57565 HAS SOUS 18121 HAS SOUPS 17679 WITH SCORE 17738.111
AT ITER 525 NEW BEST:: SOT 119517 SOS 59300 HAS SOPS 57728 HAS SOUS 18068 HAS SOUPS 17603 WITH SCORE 17662.3
AT ITER 535 NEW BEST:: SOT 119437 SOS 59290 HAS SOPS 57718 HAS SOUS 17948 HAS SOUPS 17483 WITH SCORE 17542.29
AT ITER 537 NEW BEST:: SOT 119348 SOS 59230 HAS SOPS 57658 HAS SOUS 17921 HAS SOUPS 17456 WITH SCORE 17515.23
AT ITER 540 NEW BEST:: SOT 119510 SOS 59066 HAS SOPS 57494 HAS SOUS 17755 HAS SOUPS 17290 WITH SCORE 17349.066
AT ITER 554 NEW BEST:: SOT 119510 SOS 59076 HAS SOPS 57494 HAS SOUS 17745 HAS SOUPS 17280 WITH SCORE 17339.076
AT ITER 563 NEW BEST:: SOT 119496 SOS 59038 HAS SOPS 57456 HAS SOUS 17722 HAS SOUPS 17257 WITH SCORE 17316.038
AT ITER 564 NEW BEST:: SOT 119451 SOS 58993 HAS SOPS 57411 HAS SOUS 17722 HAS SOUPS 17257 WITH SCORE 17315.993
AT ITER 571 NEW BEST:: SOT 119451 SOS 58789 HAS SOPS 57207 HAS SOUS 17722 HAS SOUPS 17257 WITH SCORE 17315.789
AT ITER 575 NEW BEST:: SOT 119026 SOS 58534 HAS SOPS 56952 HAS SOUS 17615 HAS SOUPS 17150 WITH SCORE 17208.534
AT ITER 581 NEW BEST:: SOT 118816 SOS 58374 HAS SOPS 56792 HAS SOUS 17484 HAS SOUPS 17019 WITH SCORE 17077.374
AT ITER 589 NEW BEST:: SOT 118959 SOS 58660 HAS SOPS 57078 HAS SOUS 17434 HAS SOUPS 16969 WITH SCORE 17027.66
AT ITER 590 NEW BEST:: SOT 118997 SOS 58528 HAS SOPS 56946 HAS SOUS 17421 HAS SOUPS 16956 WITH SCORE 17014.528
AT ITER 597 NEW BEST:: SOT 118783 SOS 58368 HAS SOPS 56786 HAS SOUS 17407 HAS SOUPS 16942 WITH SCORE 17000.368
AT ITER 600 NEW BEST:: SOT 118903 SOS 58428 HAS SOPS 56846 HAS SOUS 17353 HAS SOUPS 16888 WITH SCORE 16946.428
AT ITER 605 NEW BEST:: SOT 118907 SOS 58422 HAS SOPS 56840 HAS SOUS 17353 HAS SOUPS 16888 WITH SCORE 16946.422
AT ITER 609 NEW BEST:: SOT 118851 SOS 58310 HAS SOPS 56728 HAS SOUS 17287 HAS SOUPS 16822 WITH SCORE 16880.31
AT ITER 610 NEW BEST:: SOT 118837 SOS 58296 HAS SOPS 56714 HAS SOUS 17283 HAS SOUPS 16818 WITH SCORE 16876.296
AT ITER 611 NEW BEST:: SOT 118749 SOS 58252 HAS SOPS 56670 HAS SOUS 17261 HAS SOUPS 16796 WITH SCORE 16854.252
AT ITER 613 NEW BEST:: SOT 118749 SOS 58252 HAS SOPS 56670 HAS SOUS 17196 HAS SOUPS 16731 WITH SCORE 16789.252
AT ITER 614 NEW BEST:: SOT 118801 SOS 58388 HAS SOPS 56806 HAS SOUS 17190 HAS SOUPS 16725 WITH SCORE 16783.388
AT ITER 633 NEW BEST:: SOT 118949 SOS 58692 HAS SOPS 57110 HAS SOUS 17188 HAS SOUPS 16723 WITH SCORE 16781.692
AT ITER 644 NEW BEST:: SOT 119042 SOS 58723 HAS SOPS 57141 HAS SOUS 17157 HAS SOUPS 16692 WITH SCORE 16750.723
AT ITER 645 NEW BEST:: SOT 119042 SOS 58721 HAS SOPS 57139 HAS SOUS 17152 HAS SOUPS 16687 WITH SCORE 16745.721
AT ITER 649 NEW BEST:: SOT 118972 SOS 58679 HAS SOPS 57097 HAS SOUS 17152 HAS SOUPS 16687 WITH SCORE 16745.679
AT ITER 658 NEW BEST:: SOT 118930 SOS 58637 HAS SOPS 57055 HAS SOUS 17106 HAS SOUPS 16641 WITH SCORE 16699.637
AT ITER 669 NEW BEST:: SOT 118804 SOS 58781 HAS SOPS 57199 HAS SOUS 17081 HAS SOUPS 16616 WITH SCORE 16674.781
AT ITER 674 NEW BEST:: SOT 118783 SOS 58795 HAS SOPS 57213 HAS SOUS 17074 HAS SOUPS 16609 WITH SCORE 16667.795
AT ITER 680 NEW BEST:: SOT 118911 SOS 59158 HAS SOPS 57576 HAS SOUS 16979 HAS SOUPS 16514 WITH SCORE 16573.158
AT ITER 684 NEW BEST:: SOT 118944 SOS 59224 HAS SOPS 57642 HAS SOUS 16952 HAS SOUPS 16487 WITH SCORE 16546.224
AT ITER 699 NEW BEST:: SOT 118926 SOS 58991 HAS SOPS 57409 HAS SOUS 16914 HAS SOUPS 16449 WITH SCORE 16507.991
AT ITER 701 NEW BEST:: SOT 118753 SOS 58886 HAS SOPS 57304 HAS SOUS 16772 HAS SOUPS 16307 WITH SCORE 16365.886
AT ITER 705 NEW BEST:: SOT 118477 SOS 58694 HAS SOPS 57085 HAS SOUS 16703 HAS SOUPS 16238 WITH SCORE 16296.694
AT ITER 724 NEW BEST:: SOT 118423 SOS 58662 HAS SOPS 57053 HAS SOUS 16660 HAS SOUPS 16195 WITH SCORE 16253.662
AT ITER 728 NEW BEST:: SOT 118422 SOS 58667 HAS SOPS 57058 HAS SOUS 16659 HAS SOUPS 16194 WITH SCORE 16252.667
AT ITER 729 NEW BEST:: SOT 118341 SOS 58647 HAS SOPS 57033 HAS SOUS 16633 HAS SOUPS 16168 WITH SCORE 16226.647
AT ITER 737 NEW BEST:: SOT 118213 SOS 58099 HAS SOPS 56485 HAS SOUS 16581 HAS SOUPS 16116 WITH SCORE 16174.099
AT ITER 758 NEW BEST:: SOT 118192 SOS 58050 HAS SOPS 56436 HAS SOUS 16581 HAS SOUPS 16116 WITH SCORE 16174.05
AT ITER 769 NEW BEST:: SOT 117641 SOS 57703 HAS SOPS 56089 HAS SOUS 16345 HAS SOUPS 15880 WITH SCORE 15937.703
AT ITER 771 NEW BEST:: SOT 117604 SOS 57922 HAS SOPS 56308 HAS SOUS 16308 HAS SOUPS 15843 WITH SCORE 15900.922
AT ITER 787 NEW BEST:: SOT 117566 SOS 57884 HAS SOPS 56270 HAS SOUS 16285 HAS SOUPS 15820 WITH SCORE 15877.884
AT ITER 803 NEW BEST:: SOT 117571 SOS 57892 HAS SOPS 56276 HAS SOUS 16285 HAS SOUPS 15819 WITH SCORE 15876.892
AT ITER 805 NEW BEST:: SOT 117564 SOS 57577 HAS SOPS 55957 HAS SOUS 16280 HAS SOUPS 15811 WITH SCORE 15868.577
AT ITER 808 NEW BEST:: SOT 117550 SOS 57554 HAS SOPS 55934 HAS SOUS 16265 HAS SOUPS 15796 WITH SCORE 15853.554
AT ITER 817 NEW BEST:: SOT 117547 SOS 57590 HAS SOPS 55970 HAS SOUS 16263 HAS SOUPS 15794 WITH SCORE 15851.59
AT ITER 818 NEW BEST:: SOT 117515 SOS 57615 HAS SOPS 55995 HAS SOUS 16242 HAS SOUPS 15773 WITH SCORE 15830.615
AT ITER 822 NEW BEST:: SOT 117490 SOS 57558 HAS SOPS 55938 HAS SOUS 16219 HAS SOUPS 15750 WITH SCORE 15807.558
AT ITER 823 NEW BEST:: SOT 117494 SOS 57461 HAS SOPS 55841 HAS SOUS 16178 HAS SOUPS 15709 WITH SCORE 15766.461
AT ITER 842 NEW BEST:: SOT 117204 SOS 57325 HAS SOPS 55705 HAS SOUS 16172 HAS SOUPS 15703 WITH SCORE 15760.325
AT ITER 844 NEW BEST:: SOT 117220 SOS 57208 HAS SOPS 55588 HAS SOUS 16166 HAS SOUPS 15697 WITH SCORE 15754.208
AT ITER 868 NEW BEST:: SOT 117220 SOS 57199 HAS SOPS 55579 HAS SOUS 16166 HAS SOUPS 15697 WITH SCORE 15754.199
AT ITER 869 NEW BEST:: SOT 117149 SOS 56972 HAS SOPS 55352 HAS SOUS 16158 HAS SOUPS 15689 WITH SCORE 15745.972
AT ITER 870 NEW BEST:: SOT 117582 SOS 57230 HAS SOPS 55571 HAS SOUS 16154 HAS SOUPS 15683 WITH SCORE 15740.23
AT ITER 877 NEW BEST:: SOT 117620 SOS 57268 HAS SOPS 55609 HAS SOUS 16135 HAS SOUPS 15664 WITH SCORE 15721.268
AT ITER 882 NEW BEST:: SOT 117534 SOS 57096 HAS SOPS 55437 HAS SOUS 15993 HAS SOUPS 15522 WITH SCORE 15579.096
AT ITER 905 NEW BEST:: SOT 116946 SOS 56496 HAS SOPS 54819 HAS SOUS 15986 HAS SOUPS 15507 WITH SCORE 15563.496
AT ITER 912 NEW BEST:: SOT 116698 SOS 56032 HAS SOPS 54355 HAS SOUS 15887 HAS SOUPS 15408 WITH SCORE 15464.032
AT ITER 916 NEW BEST:: SOT 116597 SOS 55827 HAS SOPS 54150 HAS SOUS 15784 HAS SOUPS 15305 WITH SCORE 15360.827
AT ITER 917 NEW BEST:: SOT 116573 SOS 55803 HAS SOPS 54126 HAS SOUS 15784 HAS SOUPS 15305 WITH SCORE 15360.803
AT ITER 919 NEW BEST:: SOT 116318 SOS 55951 HAS SOPS 54274 HAS SOUS 15746 HAS SOUPS 15267 WITH SCORE 15322.951
AT ITER 923 NEW BEST:: SOT 116825 SOS 56174 HAS SOPS 54497 HAS SOUS 15701 HAS SOUPS 15222 WITH SCORE 15278.174
AT ITER 936 NEW BEST:: SOT 116817 SOS 56198 HAS SOPS 54521 HAS SOUS 15685 HAS SOUPS 15206 WITH SCORE 15262.198
AT ITER 938 NEW BEST:: SOT 116879 SOS 56216 HAS SOPS 54505 HAS SOUS 15634 HAS SOUPS 15155 WITH SCORE 15211.216
AT ITER 947 NEW BEST:: SOT 116824 SOS 56172 HAS SOPS 54461 HAS SOUS 15623 HAS SOUPS 15144 WITH SCORE 15200.172
AT ITER 963 NEW BEST:: SOT 116833 SOS 56172 HAS SOPS 54461 HAS SOUS 15614 HAS SOUPS 15135 WITH SCORE 15191.172
AT ITER 983 NEW BEST:: SOT 116699 SOS 56339 HAS SOPS 54628 HAS SOUS 15595 HAS SOUPS 15116 WITH SCORE 15172.339
AT ITER 985 NEW BEST:: SOT 116693 SOS 56348 HAS SOPS 54637 HAS SOUS 15592 HAS SOUPS 15113 WITH SCORE 15169.348
AT ITER 992 NEW BEST:: SOT 116758 SOS 56265 HAS SOPS 54554 HAS SOUS 15431 HAS SOUPS 14952 WITH SCORE 15008.265
AT ITER 993 NEW BEST:: SOT 116769 SOS 56308 HAS SOPS 54597 HAS SOUS 15419 HAS SOUPS 14940 WITH SCORE 14996.308
AT ITER 1019 NEW BEST:: SOT 116787 SOS 56272 HAS SOPS 54561 HAS SOUS 15401 HAS SOUPS 14922 WITH SCORE 14978.272
AT ITER 1020 NEW BEST:: SOT 116739 SOS 56160 HAS SOPS 54449 HAS SOUS 15385 HAS SOUPS 14906 WITH SCORE 14962.16
AT ITER 1023 NEW BEST:: SOT 116597 SOS 55861 HAS SOPS 54306 HAS SOUS 15321 HAS SOUPS 14864 WITH SCORE 14919.861
AT ITER 1026 NEW BEST:: SOT 116655 SOS 55803 HAS SOPS 54248 HAS SOUS 15256 HAS SOUPS 14799 WITH SCORE 14854.803
AT ITER 1027 NEW BEST:: SOT 116639 SOS 55799 HAS SOPS 54244 HAS SOUS 15236 HAS SOUPS 14779 WITH SCORE 14834.799
AT ITER 1033 NEW BEST:: SOT 116631 SOS 55774 HAS SOPS 54243 HAS SOUS 15207 HAS SOUPS 14751 WITH SCORE 14806.774
AT ITER 1059 NEW BEST:: SOT 116625 SOS 55768 HAS SOPS 54237 HAS SOUS 15173 HAS SOUPS 14717 WITH SCORE 14772.768
AT ITER 1062 NEW BEST:: SOT 116678 SOS 56005 HAS SOPS 54474 HAS SOUS 15119 HAS SOUPS 14663 WITH SCORE 14719.005
AT ITER 1080 NEW BEST:: SOT 116168 SOS 55699 HAS SOPS 54168 HAS SOUS 14780 HAS SOUPS 14324 WITH SCORE 14379.699
AT ITER 1086 NEW BEST:: SOT 116196 SOS 55699 HAS SOPS 54168 HAS SOUS 14751 HAS SOUPS 14295 WITH SCORE 14350.699
AT ITER 1092 NEW BEST:: SOT 116178 SOS 55680 HAS SOPS 54149 HAS SOUS 14722 HAS SOUPS 14266 WITH SCORE 14321.68
AT ITER 1093 NEW BEST:: SOT 116116 SOS 55474 HAS SOPS 53927 HAS SOUS 14610 HAS SOUPS 14154 WITH SCORE 14209.474
AT ITER 1097 NEW BEST:: SOT 116158 SOS 55604 HAS SOPS 54057 HAS SOUS 14597 HAS SOUPS 14141 WITH SCORE 14196.604
AT ITER 1100 NEW BEST:: SOT 116158 SOS 55518 HAS SOPS 53971 HAS SOUS 14578 HAS SOUPS 14122 WITH SCORE 14177.518
AT ITER 1108 NEW BEST:: SOT 116344 SOS 55500 HAS SOPS 53953 HAS SOUS 14547 HAS SOUPS 14091 WITH SCORE 14146.5
AT ITER 1118 NEW BEST:: SOT 116346 SOS 55498 HAS SOPS 53945 HAS SOUS 14535 HAS SOUPS 14079 WITH SCORE 14134.498
AT ITER 1121 NEW BEST:: SOT 116330 SOS 55488 HAS SOPS 53935 HAS SOUS 14526 HAS SOUPS 14070 WITH SCORE 14125.488
AT ITER 1124 NEW BEST:: SOT 116320 SOS 55508 HAS SOPS 53955 HAS SOUS 14511 HAS SOUPS 14055 WITH SCORE 14110.508
AT ITER 1125 NEW BEST:: SOT 116386 SOS 55508 HAS SOPS 53955 HAS SOUS 14489 HAS SOUPS 14033 WITH SCORE 14088.508
AT ITER 1127 NEW BEST:: SOT 116386 SOS 55388 HAS SOPS 53835 HAS SOUS 14306 HAS SOUPS 13850 WITH SCORE 13905.388
AT ITER 1134 NEW BEST:: SOT 116364 SOS 55404 HAS SOPS 53851 HAS SOUS 14302 HAS SOUPS 13846 WITH SCORE 13901.404
AT ITER 1137 NEW BEST:: SOT 116345 SOS 55282 HAS SOPS 53699 HAS SOUS 14278 HAS SOUPS 13822 WITH SCORE 13877.282
AT ITER 1141 NEW BEST:: SOT 116789 SOS 55504 HAS SOPS 53921 HAS SOUS 14224 HAS SOUPS 13768 WITH SCORE 13823.504
AT ITER 1142 NEW BEST:: SOT 117093 SOS 55522 HAS SOPS 53939 HAS SOUS 14204 HAS SOUPS 13748 WITH SCORE 13803.522
AT ITER 1145 NEW BEST:: SOT 117068 SOS 55517 HAS SOPS 53934 HAS SOUS 14204 HAS SOUPS 13748 WITH SCORE 13803.517
AT ITER 1153 NEW BEST:: SOT 117207 SOS 55571 HAS SOPS 53988 HAS SOUS 14186 HAS SOUPS 13730 WITH SCORE 13785.571
AT ITER 1159 NEW BEST:: SOT 117091 SOS 55512 HAS SOPS 53929 HAS SOUS 14173 HAS SOUPS 13717 WITH SCORE 13772.512
AT ITER 1160 NEW BEST:: SOT 117058 SOS 55547 HAS SOPS 53964 HAS SOUS 14140 HAS SOUPS 13684 WITH SCORE 13739.547
AT ITER 1163 NEW BEST:: SOT 116970 SOS 55327 HAS SOPS 53744 HAS SOUS 14116 HAS SOUPS 13660 WITH SCORE 13715.327
AT ITER 1180 NEW BEST:: SOT 116745 SOS 55200 HAS SOPS 53617 HAS SOUS 14029 HAS SOUPS 13573 WITH SCORE 13628.2
AT ITER 1181 NEW BEST:: SOT 116650 SOS 55010 HAS SOPS 53427 HAS SOUS 13970 HAS SOUPS 13514 WITH SCORE 13569.01
AT ITER 1196 NEW BEST:: SOT 116598 SOS 54942 HAS SOPS 53367 HAS SOUS 13928 HAS SOUPS 13472 WITH SCORE 13526.942
AT ITER 1199 NEW BEST:: SOT 116578 SOS 54902 HAS SOPS 53327 HAS SOUS 13880 HAS SOUPS 13424 WITH SCORE 13478.902
AT ITER 1207 NEW BEST:: SOT 116545 SOS 54847 HAS SOPS 53272 HAS SOUS 13835 HAS SOUPS 13379 WITH SCORE 13433.847
AT ITER 1218 NEW BEST:: SOT 116145 SOS 54247 HAS SOPS 53272 HAS SOUS 13691 HAS SOUPS 13335 WITH SCORE 13389.247
AT ITER 1224 NEW BEST:: SOT 116084 SOS 54177 HAS SOPS 53198 HAS SOUS 13633 HAS SOUPS 13277 WITH SCORE 13331.177
AT ITER 1226 NEW BEST:: SOT 115945 SOS 54095 HAS SOPS 53116 HAS SOUS 13621 HAS SOUPS 13265 WITH SCORE 13319.095
AT ITER 1230 NEW BEST:: SOT 115921 SOS 54083 HAS SOPS 53104 HAS SOUS 13621 HAS SOUPS 13265 WITH SCORE 13319.083
AT ITER 1235 NEW BEST:: SOT 115921 SOS 54083 HAS SOPS 53104 HAS SOUS 13616 HAS SOUPS 13260 WITH SCORE 13314.083
AT ITER 1261 NEW BEST:: SOT 115848 SOS 54935 HAS SOPS 53956 HAS SOUS 13543 HAS SOUPS 13187 WITH SCORE 13241.935
AT ITER 1295 NEW BEST:: SOT 115853 SOS 54901 HAS SOPS 53922 HAS SOUS 13540 HAS SOUPS 13184 WITH SCORE 13238.901
AT ITER 1299 NEW BEST:: SOT 115847 SOS 54888 HAS SOPS 53909 HAS SOUS 13537 HAS SOUPS 13181 WITH SCORE 13235.888
AT ITER 1302 NEW BEST:: SOT 115550 SOS 54646 HAS SOPS 53667 HAS SOUS 13488 HAS SOUPS 13132 WITH SCORE 13186.646
AT ITER 1303 NEW BEST:: SOT 115621 SOS 54660 HAS SOPS 53681 HAS SOUS 13456 HAS SOUPS 13100 WITH SCORE 13154.66
AT ITER 1304 NEW BEST:: SOT 115561 SOS 54620 HAS SOPS 53641 HAS SOUS 13436 HAS SOUPS 13080 WITH SCORE 13134.62
AT ITER 1306 NEW BEST:: SOT 115547 SOS 54606 HAS SOPS 53627 HAS SOUS 13402 HAS SOUPS 13046 WITH SCORE 13100.606
AT ITER 1327 NEW BEST:: SOT 115686 SOS 54555 HAS SOPS 53576 HAS SOUS 13202 HAS SOUPS 12846 WITH SCORE 12900.555
AT ITER 1344 NEW BEST:: SOT 115951 SOS 54602 HAS SOPS 53623 HAS SOUS 13201 HAS SOUPS 12845 WITH SCORE 12899.602
AT ITER 1350 NEW BEST:: SOT 115875 SOS 54526 HAS SOPS 53547 HAS SOUS 13092 HAS SOUPS 12736 WITH SCORE 12790.526
AT ITER 1363 NEW BEST:: SOT 116054 SOS 54613 HAS SOPS 53634 HAS SOUS 13053 HAS SOUPS 12697 WITH SCORE 12751.613
AT ITER 1372 NEW BEST:: SOT 115994 SOS 54643 HAS SOPS 53664 HAS SOUS 12860 HAS SOUPS 12504 WITH SCORE 12558.643
AT ITER 1378 NEW BEST:: SOT 115936 SOS 54155 HAS SOPS 53176 HAS SOUS 12827 HAS SOUPS 12471 WITH SCORE 12525.155
AT ITER 1389 NEW BEST:: SOT 115896 SOS 54246 HAS SOPS 53267 HAS SOUS 12806 HAS SOUPS 12450 WITH SCORE 12504.246
AT ITER 1391 NEW BEST:: SOT 115893 SOS 54244 HAS SOPS 53265 HAS SOUS 12806 HAS SOUPS 12450 WITH SCORE 12504.244
AT ITER 1408 NEW BEST:: SOT 115646 SOS 53872 HAS SOPS 52893 HAS SOUS 12615 HAS SOUPS 12259 WITH SCORE 12312.872
AT ITER 1456 NEW BEST:: SOT 115672 SOS 53921 HAS SOPS 52945 HAS SOUS 12593 HAS SOUPS 12237 WITH SCORE 12290.921
AT ITER 1469 NEW BEST:: SOT 115652 SOS 54412 HAS SOPS 52925 HAS SOUS 12612 HAS SOUPS 12228 WITH SCORE 12282.412
AT ITER 1470 NEW BEST:: SOT 115712 SOS 54577 HAS SOPS 53090 HAS SOUS 12605 HAS SOUPS 12221 WITH SCORE 12275.577
AT ITER 1473 NEW BEST:: SOT 115712 SOS 54566 HAS SOPS 53079 HAS SOUS 12583 HAS SOUPS 12199 WITH SCORE 12253.566
AT ITER 1488 NEW BEST:: SOT 115712 SOS 54605 HAS SOPS 53118 HAS SOUS 12575 HAS SOUPS 12191 WITH SCORE 12245.605
AT ITER 1525 NEW BEST:: SOT 115700 SOS 54635 HAS SOPS 53148 HAS SOUS 12569 HAS SOUPS 12185 WITH SCORE 12239.635
AT ITER 1551 NEW BEST:: SOT 115706 SOS 54587 HAS SOPS 53100 HAS SOUS 12569 HAS SOUPS 12185 WITH SCORE 12239.587
AT ITER 1565 NEW BEST:: SOT 115706 SOS 54587 HAS SOPS 53100 HAS SOUS 12567 HAS SOUPS 12183 WITH SCORE 12237.587
AT ITER 1573 NEW BEST:: SOT 115591 SOS 53873 HAS SOPS 52998 HAS SOUS 12510 HAS SOUPS 12162 WITH SCORE 12215.873
AT ITER 1580 NEW BEST:: SOT 115499 SOS 53689 HAS SOPS 52814 HAS SOUS 12389 HAS SOUPS 12041 WITH SCORE 12094.689
AT ITER 1584 NEW BEST:: SOT 115351 SOS 52912 HAS SOPS 52037 HAS SOUS 12389 HAS SOUPS 12041 WITH SCORE 12093.912
AT ITER 1598 NEW BEST:: SOT 115351 SOS 52912 HAS SOPS 52037 HAS SOUS 12388 HAS SOUPS 12040 WITH SCORE 12092.912
AT ITER 1612 NEW BEST:: SOT 115353 SOS 53216 HAS SOPS 52341 HAS SOUS 12387 HAS SOUPS 12039 WITH SCORE 12092.216
AT ITER 1613 NEW BEST:: SOT 115339 SOS 53206 HAS SOPS 52331 HAS SOUS 12381 HAS SOUPS 12033 WITH SCORE 12086.206
AT ITER 1620 NEW BEST:: SOT 115333 SOS 53200 HAS SOPS 52325 HAS SOUS 12381 HAS SOUPS 12033 WITH SCORE 12086.2
AT ITER 1645 NEW BEST:: SOT 115310 SOS 53129 HAS SOPS 52254 HAS SOUS 12372 HAS SOUPS 12024 WITH SCORE 12077.129
AT ITER 1646 NEW BEST:: SOT 115241 SOS 52920 HAS SOPS 52045 HAS SOUS 12360 HAS SOUPS 12012 WITH SCORE 12064.92
AT ITER 1651 NEW BEST:: SOT 115238 SOS 52905 HAS SOPS 52030 HAS SOUS 12356 HAS SOUPS 12008 WITH SCORE 12060.905
AT ITER 1653 NEW BEST:: SOT 115228 SOS 52875 HAS SOPS 52000 HAS SOUS 12354 HAS SOUPS 12006 WITH SCORE 12058.875
AT ITER 1666 NEW BEST:: SOT 115159 SOS 52767 HAS SOPS 51892 HAS SOUS 12333 HAS SOUPS 11985 WITH SCORE 12037.767
AT ITER 1675 NEW BEST:: SOT 115166 SOS 52739 HAS SOPS 51864 HAS SOUS 12330 HAS SOUPS 11982 WITH SCORE 12034.739
AT ITER 1678 NEW BEST:: SOT 115042 SOS 52657 HAS SOPS 51782 HAS SOUS 12306 HAS SOUPS 11958 WITH SCORE 12010.657
AT ITER 1680 NEW BEST:: SOT 114768 SOS 52757 HAS SOPS 51882 HAS SOUS 12279 HAS SOUPS 11931 WITH SCORE 11983.757
AT ITER 1686 NEW BEST:: SOT 114850 SOS 52729 HAS SOPS 51854 HAS SOUS 12227 HAS SOUPS 11879 WITH SCORE 11931.729
AT ITER 1689 NEW BEST:: SOT 114681 SOS 52658 HAS SOPS 51783 HAS SOUS 12196 HAS SOUPS 11848 WITH SCORE 11900.658
AT ITER 1694 NEW BEST:: SOT 114664 SOS 52691 HAS SOPS 51824 HAS SOUS 12187 HAS SOUPS 11839 WITH SCORE 11891.691
AT ITER 1696 NEW BEST:: SOT 114657 SOS 52684 HAS SOPS 51817 HAS SOUS 12176 HAS SOUPS 11828 WITH SCORE 11880.684
AT ITER 1720 NEW BEST:: SOT 114587 SOS 52614 HAS SOPS 51747 HAS SOUS 12155 HAS SOUPS 11807 WITH SCORE 11859.614
AT ITER 1722 NEW BEST:: SOT 114644 SOS 52592 HAS SOPS 51725 HAS SOUS 12144 HAS SOUPS 11796 WITH SCORE 11848.592
AT ITER 1729 NEW BEST:: SOT 114635 SOS 52573 HAS SOPS 51713 HAS SOUS 12129 HAS SOUPS 11786 WITH SCORE 11838.573
AT ITER 1732 NEW BEST:: SOT 114438 SOS 52446 HAS SOPS 51586 HAS SOUS 12118 HAS SOUPS 11775 WITH SCORE 11827.446
AT ITER 1737 NEW BEST:: SOT 114316 SOS 52309 HAS SOPS 51449 HAS SOUS 12047 HAS SOUPS 11704 WITH SCORE 11756.309
AT ITER 1763 NEW BEST:: SOT 114215 SOS 52059 HAS SOPS 51199 HAS SOUS 12017 HAS SOUPS 11674 WITH SCORE 11726.059
AT ITER 1816 NEW BEST:: SOT 114217 SOS 52061 HAS SOPS 51201 HAS SOUS 12016 HAS SOUPS 11673 WITH SCORE 11725.061
AT ITER 1824 NEW BEST:: SOT 114209 SOS 52053 HAS SOPS 51193 HAS SOUS 12008 HAS SOUPS 11665 WITH SCORE 11717.053
AT ITER 1831 NEW BEST:: SOT 114144 SOS 52040 HAS SOPS 51180 HAS SOUS 12008 HAS SOUPS 11665 WITH SCORE 11717.04
AT ITER 1844 NEW BEST:: SOT 114160 SOS 52054 HAS SOPS 51194 HAS SOUS 12006 HAS SOUPS 11663 WITH SCORE 11715.054
AT ITER 1847 NEW BEST:: SOT 114160 SOS 52054 HAS SOPS 51194 HAS SOUS 12003 HAS SOUPS 11660 WITH SCORE 11712.054
AT ITER 1852 NEW BEST:: SOT 114156 SOS 52046 HAS SOPS 51186 HAS SOUS 11999 HAS SOUPS 11656 WITH SCORE 11708.046
AT ITER 1858 NEW BEST:: SOT 114138 SOS 51968 HAS SOPS 51108 HAS SOUS 11960 HAS SOUPS 11617 WITH SCORE 11668.968
AT ITER 1866 NEW BEST:: SOT 114142 SOS 51996 HAS SOPS 51136 HAS SOUS 11936 HAS SOUPS 11593 WITH SCORE 11644.996
AT ITER 1883 NEW BEST:: SOT 114384 SOS 52203 HAS SOPS 51244 HAS SOUS 11890 HAS SOUPS 11534 WITH SCORE 11586.203
AT ITER 1897 NEW BEST:: SOT 114355 SOS 52155 HAS SOPS 51186 HAS SOUS 11775 HAS SOUPS 11419 WITH SCORE 11471.155
AT ITER 1907 NEW BEST:: SOT 114335 SOS 52203 HAS SOPS 51234 HAS SOUS 11769 HAS SOUPS 11413 WITH SCORE 11465.203
AT ITER 1916 NEW BEST:: SOT 114300 SOS 52168 HAS SOPS 51199 HAS SOUS 11769 HAS SOUPS 11413 WITH SCORE 11465.168
AT ITER 1918 NEW BEST:: SOT 114323 SOS 52346 HAS SOPS 51377 HAS SOUS 11766 HAS SOUPS 11410 WITH SCORE 11462.346
AT ITER 1919 NEW BEST:: SOT 114291 SOS 52314 HAS SOPS 51339 HAS SOUS 11758 HAS SOUPS 11402 WITH SCORE 11454.314
AT ITER 1922 NEW BEST:: SOT 114289 SOS 52312 HAS SOPS 51337 HAS SOUS 11731 HAS SOUPS 11375 WITH SCORE 11427.312
AT ITER 1935 NEW BEST:: SOT 114187 SOS 52244 HAS SOPS 51269 HAS SOUS 11663 HAS SOUPS 11307 WITH SCORE 11359.244
AT ITER 1949 NEW BEST:: SOT 114153 SOS 51870 HAS SOPS 50895 HAS SOUS 11600 HAS SOUPS 11244 WITH SCORE 11295.87
AT ITER 1956 NEW BEST:: SOT 114151 SOS 51866 HAS SOPS 50891 HAS SOUS 11578 HAS SOUPS 11222 WITH SCORE 11273.866
AT ITER 1960 NEW BEST:: SOT 114106 SOS 51811 HAS SOPS 50851 HAS SOUS 11548 HAS SOUPS 11197 WITH SCORE 11248.811
AT ITER 1961 NEW BEST:: SOT 113816 SOS 51669 HAS SOPS 50709 HAS SOUS 11467 HAS SOUPS 11116 WITH SCORE 11167.669
AT ITER 1967 NEW BEST:: SOT 113964 SOS 51633 HAS SOPS 50673 HAS SOUS 11454 HAS SOUPS 11103 WITH SCORE 11154.633
AT ITER 1979 NEW BEST:: SOT 113952 SOS 51549 HAS SOPS 50589 HAS SOUS 11424 HAS SOUPS 11073 WITH SCORE 11124.549
AT ITER 1989 NEW BEST:: SOT 113937 SOS 51521 HAS SOPS 50561 HAS SOUS 11379 HAS SOUPS 11028 WITH SCORE 11079.521
AT ITER 1996 NEW BEST:: SOT 113907 SOS 51363 HAS SOPS 50433 HAS SOUS 11349 HAS SOUPS 11013 WITH SCORE 11064.363
AT ITER 2002 NEW BEST:: SOT 113907 SOS 51343 HAS SOPS 50413 HAS SOUS 11337 HAS SOUPS 11001 WITH SCORE 11052.343
AT ITER 2028 NEW BEST:: SOT 113921 SOS 51341 HAS SOPS 50411 HAS SOUS 11323 HAS SOUPS 10987 WITH SCORE 11038.341
AT ITER 2031 NEW BEST:: SOT 113849 SOS 51335 HAS SOPS 50405 HAS SOUS 11292 HAS SOUPS 10956 WITH SCORE 11007.335
AT ITER 2043 NEW BEST:: SOT 113827 SOS 51315 HAS SOPS 50385 HAS SOUS 11284 HAS SOUPS 10948 WITH SCORE 10999.315
AT ITER 2063 NEW BEST:: SOT 113843 SOS 51297 HAS SOPS 50367 HAS SOUS 11275 HAS SOUPS 10939 WITH SCORE 10990.297
AT ITER 2072 NEW BEST:: SOT 114057 SOS 51994 HAS SOPS 50429 HAS SOUS 11306 HAS SOUPS 10932 WITH SCORE 10983.994
AT ITER 2087 NEW BEST:: SOT 114043 SOS 51943 HAS SOPS 50378 HAS SOUS 11304 HAS SOUPS 10930 WITH SCORE 10981.943
AT ITER 2090 NEW BEST:: SOT 113871 SOS 51843 HAS SOPS 50278 HAS SOUS 11201 HAS SOUPS 10827 WITH SCORE 10878.843
AT ITER 2140 NEW BEST:: SOT 113745 SOS 51783 HAS SOPS 50218 HAS SOUS 11023 HAS SOUPS 10649 WITH SCORE 10700.783
AT ITER 2141 NEW BEST:: SOT 113743 SOS 51779 HAS SOPS 50217 HAS SOUS 11019 HAS SOUPS 10646 WITH SCORE 10697.779
AT ITER 2146 NEW BEST:: SOT 113581 SOS 51705 HAS SOPS 50143 HAS SOUS 11007 HAS SOUPS 10634 WITH SCORE 10685.705
AT ITER 2150 NEW BEST:: SOT 113439 SOS 51634 HAS SOPS 50072 HAS SOUS 10940 HAS SOUPS 10567 WITH SCORE 10618.634
AT ITER 2156 NEW BEST:: SOT 113459 SOS 51639 HAS SOPS 50077 HAS SOUS 10935 HAS SOUPS 10562 WITH SCORE 10613.639
AT ITER 2175 NEW BEST:: SOT 113395 SOS 51569 HAS SOPS 50007 HAS SOUS 10918 HAS SOUPS 10545 WITH SCORE 10596.569
AT ITER 2229 NEW BEST:: SOT 113311 SOS 51492 HAS SOPS 49930 HAS SOUS 10880 HAS SOUPS 10507 WITH SCORE 10558.492
AT ITER 2319 NEW BEST:: SOT 113296 SOS 51471 HAS SOPS 49909 HAS SOUS 10871 HAS SOUPS 10498 WITH SCORE 10549.471
AT ITER 2338 NEW BEST:: SOT 113304 SOS 51463 HAS SOPS 49901 HAS SOUS 10851 HAS SOUPS 10478 WITH SCORE 10529.463
AT ITER 2362 NEW BEST:: SOT 113278 SOS 51450 HAS SOPS 49888 HAS SOUS 10851 HAS SOUPS 10478 WITH SCORE 10529.45
AT ITER 2406 NEW BEST:: SOT 113288 SOS 51470 HAS SOPS 49908 HAS SOUS 10842 HAS SOUPS 10469 WITH SCORE 10520.47
AT ITER 2428 NEW BEST:: SOT 113270 SOS 51470 HAS SOPS 49908 HAS SOUS 10833 HAS SOUPS 10460 WITH SCORE 10511.47
AT ITER 2432 NEW BEST:: SOT 113250 SOS 51450 HAS SOPS 49888 HAS SOUS 10818 HAS SOUPS 10445 WITH SCORE 10496.45
AT ITER 2448 NEW BEST:: SOT 113241 SOS 51457 HAS SOPS 49895 HAS SOUS 10809 HAS SOUPS 10436 WITH SCORE 10487.457
AT ITER 2470 NEW BEST:: SOT 113260 SOS 51153 HAS SOPS 49591 HAS SOUS 10809 HAS SOUPS 10436 WITH SCORE 10487.153
AT ITER 2472 NEW BEST:: SOT 113230 SOS 50966 HAS SOPS 49404 HAS SOUS 10779 HAS SOUPS 10406 WITH SCORE 10456.966
AT ITER 2474 NEW BEST:: SOT 113237 SOS 50938 HAS SOPS 49376 HAS SOUS 10779 HAS SOUPS 10406 WITH SCORE 10456.938
AT ITER 2480 NEW BEST:: SOT 113213 SOS 50938 HAS SOPS 49376 HAS SOUS 10761 HAS SOUPS 10388 WITH SCORE 10438.938
AT ITER 2491 NEW BEST:: SOT 113097 SOS 50822 HAS SOPS 49277 HAS SOUS 10717 HAS SOUPS 10346 WITH SCORE 10396.822
AT ITER 2505 NEW BEST:: SOT 113117 SOS 50832 HAS SOPS 49287 HAS SOUS 10712 HAS SOUPS 10341 WITH SCORE 10391.832
AT ITER 2521 NEW BEST:: SOT 113116 SOS 50830 HAS SOPS 49285 HAS SOUS 10702 HAS SOUPS 10331 WITH SCORE 10381.83
AT ITER 2538 NEW BEST:: SOT 113110 SOS 50836 HAS SOPS 49291 HAS SOUS 10698 HAS SOUPS 10327 WITH SCORE 10377.836
AT ITER 2547 NEW BEST:: SOT 113255 SOS 50700 HAS SOPS 49155 HAS SOUS 10667 HAS SOUPS 10296 WITH SCORE 10346.7
AT ITER 2552 NEW BEST:: SOT 113267 SOS 50700 HAS SOPS 49155 HAS SOUS 10655 HAS SOUPS 10284 WITH SCORE 10334.7
AT ITER 2555 NEW BEST:: SOT 113195 SOS 50610 HAS SOPS 49065 HAS SOUS 10580 HAS SOUPS 10209 WITH SCORE 10259.61
AT ITER 2568 NEW BEST:: SOT 113191 SOS 50606 HAS SOPS 49061 HAS SOUS 10577 HAS SOUPS 10206 WITH SCORE 10256.606
AT ITER 2612 NEW BEST:: SOT 113150 SOS 50511 HAS SOPS 48982 HAS SOUS 10559 HAS SOUPS 10196 WITH SCORE 10246.511
AT ITER 2708 NEW BEST:: SOT 113154 SOS 50375 HAS SOPS 48846 HAS SOUS 10543 HAS SOUPS 10180 WITH SCORE 10230.375
AT ITER 2729 NEW BEST:: SOT 113207 SOS 50406 HAS SOPS 48877 HAS SOUS 10519 HAS SOUPS 10156 WITH SCORE 10206.406
AT ITER 2734 NEW BEST:: SOT 113225 SOS 50442 HAS SOPS 48913 HAS SOUS 10511 HAS SOUPS 10148 WITH SCORE 10198.442
AT ITER 2763 NEW BEST:: SOT 113067 SOS 50398 HAS SOPS 48869 HAS SOUS 10509 HAS SOUPS 10146 WITH SCORE 10196.398
AT ITER 2764 NEW BEST:: SOT 112742 SOS 50036 HAS SOPS 48507 HAS SOUS 10388 HAS SOUPS 10025 WITH SCORE 10075.036
AT ITER 2765 NEW BEST:: SOT 112717 SOS 50011 HAS SOPS 48482 HAS SOUS 10376 HAS SOUPS 10013 WITH SCORE 10063.011
AT ITER 2770 NEW BEST:: SOT 112701 SOS 50023 HAS SOPS 48494 HAS SOUS 10364 HAS SOUPS 10001 WITH SCORE 10051.023
AT ITER 2785 NEW BEST:: SOT 112488 SOS 49940 HAS SOPS 48411 HAS SOUS 10362 HAS SOUPS 9999 WITH SCORE 10048.94
AT ITER 2790 NEW BEST:: SOT 112456 SOS 49870 HAS SOPS 48341 HAS SOUS 10346 HAS SOUPS 9983 WITH SCORE 10032.87
AT ITER 2798 NEW BEST:: SOT 112412 SOS 49635 HAS SOPS 48106 HAS SOUS 10311 HAS SOUPS 9948 WITH SCORE 9997.635
AT ITER 2839 NEW BEST:: SOT 112394 SOS 49599 HAS SOPS 48070 HAS SOUS 10275 HAS SOUPS 9912 WITH SCORE 9961.599
AT ITER 2840 NEW BEST:: SOT 112391 SOS 49587 HAS SOPS 48049 HAS SOUS 10266 HAS SOUPS 9903 WITH SCORE 9952.587
AT ITER 2868 NEW BEST:: SOT 112352 SOS 49486 HAS SOPS 47948 HAS SOUS 10205 HAS SOUPS 9842 WITH SCORE 9891.486
AT ITER 2879 NEW BEST:: SOT 112390 SOS 49472 HAS SOPS 47934 HAS SOUS 10179 HAS SOUPS 9816 WITH SCORE 9865.472
AT ITER 2912 NEW BEST:: SOT 112280 SOS 49310 HAS SOPS 47714 HAS SOUS 10114 HAS SOUPS 9751 WITH SCORE 9800.31
AT ITER 2940 NEW BEST:: SOT 112161 SOS 49287 HAS SOPS 47691 HAS SOUS 10064 HAS SOUPS 9701 WITH SCORE 9750.287
AT ITER 2942 NEW BEST:: SOT 112159 SOS 49291 HAS SOPS 47695 HAS SOUS 10058 HAS SOUPS 9695 WITH SCORE 9744.291
AT ITER 2971 NEW BEST:: SOT 112121 SOS 49261 HAS SOPS 47665 HAS SOUS 10049 HAS SOUPS 9686 WITH SCORE 9735.261
AT ITER 2976 NEW BEST:: SOT 112125 SOS 49269 HAS SOPS 47673 HAS SOUS 10047 HAS SOUPS 9684 WITH SCORE 9733.269
AT ITER 2989 NEW BEST:: SOT 112112 SOS 49256 HAS SOPS 47660 HAS SOUS 10034 HAS SOUPS 9671 WITH SCORE 9720.256
AT ITER 3005 NEW BEST:: SOT 112162 SOS 49261 HAS SOPS 47665 HAS SOUS 10033 HAS SOUPS 9670 WITH SCORE 9719.261
AT ITER 3018 NEW BEST:: SOT 112142 SOS 49261 HAS SOPS 47665 HAS SOUS 9998 HAS SOUPS 9635 WITH SCORE 9684.261
AT ITER 3049 NEW BEST:: SOT 112143 SOS 49262 HAS SOPS 47666 HAS SOUS 9967 HAS SOUPS 9604 WITH SCORE 9653.262
AT ITER 3102 NEW BEST:: SOT 112178 SOS 49157 HAS SOPS 47503 HAS SOUS 9951 HAS SOUPS 9591 WITH SCORE 9640.157
AT ITER 3108 NEW BEST:: SOT 112130 SOS 49080 HAS SOPS 47426 HAS SOUS 9890 HAS SOUPS 9530 WITH SCORE 9579.08
AT ITER 3122 NEW BEST:: SOT 112118 SOS 49038 HAS SOPS 47384 HAS SOUS 9884 HAS SOUPS 9524 WITH SCORE 9573.038
AT ITER 3126 NEW BEST:: SOT 112122 SOS 49006 HAS SOPS 47352 HAS SOUS 9879 HAS SOUPS 9519 WITH SCORE 9568.006
AT ITER 3127 NEW BEST:: SOT 112094 SOS 48950 HAS SOPS 47296 HAS SOUS 9828 HAS SOUPS 9468 WITH SCORE 9516.95
AT ITER 3128 NEW BEST:: SOT 112153 SOS 48981 HAS SOPS 47327 HAS SOUS 9818 HAS SOUPS 9458 WITH SCORE 9506.981
AT ITER 3173 NEW BEST:: SOT 112175 SOS 49080 HAS SOPS 47426 HAS SOUS 9807 HAS SOUPS 9447 WITH SCORE 9496.08
AT ITER 3217 NEW BEST:: SOT 112178 SOS 49082 HAS SOPS 47428 HAS SOUS 9803 HAS SOUPS 9443 WITH SCORE 9492.082
AT ITER 3218 NEW BEST:: SOT 112180 SOS 49080 HAS SOPS 47426 HAS SOUS 9803 HAS SOUPS 9443 WITH SCORE 9492.08
AT ITER 3268 NEW BEST:: SOT 112154 SOS 49028 HAS SOPS 47374 HAS SOUS 9793 HAS SOUPS 9433 WITH SCORE 9482.028
AT ITER 3289 NEW BEST:: SOT 112150 SOS 49026 HAS SOPS 47372 HAS SOUS 9791 HAS SOUPS 9431 WITH SCORE 9480.026
AT ITER 3295 NEW BEST:: SOT 112111 SOS 48948 HAS SOPS 47294 HAS SOUS 9786 HAS SOUPS 9426 WITH SCORE 9474.948
AT ITER 3299 NEW BEST:: SOT 112101 SOS 48812 HAS SOPS 47158 HAS SOUS 9786 HAS SOUPS 9426 WITH SCORE 9474.812
AT ITER 3311 NEW BEST:: SOT 112122 SOS 48819 HAS SOPS 47158 HAS SOUS 9774 HAS SOUPS 9414 WITH SCORE 9462.819
AT ITER 3332 NEW BEST:: SOT 112069 SOS 48766 HAS SOPS 47105 HAS SOUS 9676 HAS SOUPS 9316 WITH SCORE 9364.766
AT ITER 3340 NEW BEST:: SOT 112142 SOS 48744 HAS SOPS 47083 HAS SOUS 9639 HAS SOUPS 9279 WITH SCORE 9327.744
AT ITER 3348 NEW BEST:: SOT 112132 SOS 48634 HAS SOPS 46973 HAS SOUS 9629 HAS SOUPS 9269 WITH SCORE 9317.634
AT ITER 3382 NEW BEST:: SOT 112128 SOS 48630 HAS SOPS 46969 HAS SOUS 9626 HAS SOUPS 9266 WITH SCORE 9314.63
AT ITER 3409 NEW BEST:: SOT 111726 SOS 48414 HAS SOPS 46753 HAS SOUS 9530 HAS SOUPS 9170 WITH SCORE 9218.414
AT ITER 3443 NEW BEST:: SOT 111704 SOS 48370 HAS SOPS 46709 HAS SOUS 9508 HAS SOUPS 9148 WITH SCORE 9196.37
AT ITER 3456 NEW BEST:: SOT 111743 SOS 48421 HAS SOPS 46760 HAS SOUS 9503 HAS SOUPS 9143 WITH SCORE 9191.421
AT ITER 3466 NEW BEST:: SOT 111791 SOS 48446 HAS SOPS 46785 HAS SOUS 9479 HAS SOUPS 9119 WITH SCORE 9167.446
AT ITER 3467 NEW BEST:: SOT 111756 SOS 48395 HAS SOPS 46735 HAS SOUS 9452 HAS SOUPS 9092 WITH SCORE 9140.395
AT ITER 3479 NEW BEST:: SOT 111672 SOS 48311 HAS SOPS 46651 HAS SOUS 9452 HAS SOUPS 9092 WITH SCORE 9140.311
AT ITER 3498 NEW BEST:: SOT 111564 SOS 48096 HAS SOPS 46436 HAS SOUS 9423 HAS SOUPS 9063 WITH SCORE 9111.096
AT ITER 3508 NEW BEST:: SOT 111560 SOS 48092 HAS SOPS 46432 HAS SOUS 9419 HAS SOUPS 9059 WITH SCORE 9107.092
AT ITER 3601 NEW BEST:: SOT 111551 SOS 48074 HAS SOPS 46414 HAS SOUS 9411 HAS SOUPS 9051 WITH SCORE 9099.074
AT ITER 3608 NEW BEST:: SOT 111573 SOS 48074 HAS SOPS 46414 HAS SOUS 9397 HAS SOUPS 9037 WITH SCORE 9085.074
AT ITER 3617 NEW BEST:: SOT 111573 SOS 48071 HAS SOPS 46411 HAS SOUS 9397 HAS SOUPS 9037 WITH SCORE 9085.071
AT ITER 3622 NEW BEST:: SOT 111573 SOS 48047 HAS SOPS 46387 HAS SOUS 9365 HAS SOUPS 9005 WITH SCORE 9053.047
AT ITER 3638 NEW BEST:: SOT 111533 SOS 48007 HAS SOPS 46289 HAS SOUS 9298 HAS SOUPS 8938 WITH SCORE 8986.007
AT ITER 3645 NEW BEST:: SOT 111505 SOS 47730 HAS SOPS 46012 HAS SOUS 9274 HAS SOUPS 8914 WITH SCORE 8961.73
AT ITER 3651 NEW BEST:: SOT 111502 SOS 47727 HAS SOPS 46009 HAS SOUS 9271 HAS SOUPS 8911 WITH SCORE 8958.727
AT ITER 3661 NEW BEST:: SOT 111413 SOS 47314 HAS SOPS 45596 HAS SOUS 9246 HAS SOUPS 8886 WITH SCORE 8933.314
AT ITER 3665 NEW BEST:: SOT 111397 SOS 47290 HAS SOPS 45570 HAS SOUS 9200 HAS SOUPS 8840 WITH SCORE 8887.29
AT ITER 3697 NEW BEST:: SOT 111410 SOS 47217 HAS SOPS 45497 HAS SOUS 9186 HAS SOUPS 8826 WITH SCORE 8873.217
AT ITER 3735 NEW BEST:: SOT 111414 SOS 47233 HAS SOPS 45513 HAS SOUS 9184 HAS SOUPS 8824 WITH SCORE 8871.233
AT ITER 3768 NEW BEST:: SOT 111361 SOS 47158 HAS SOPS 45438 HAS SOUS 9164 HAS SOUPS 8804 WITH SCORE 8851.158
AT ITER 3795 NEW BEST:: SOT 111365 SOS 47152 HAS SOPS 45432 HAS SOUS 9158 HAS SOUPS 8798 WITH SCORE 8845.152
AT ITER 3800 NEW BEST:: SOT 111365 SOS 47010 HAS SOPS 45290 HAS SOUS 9158 HAS SOUPS 8798 WITH SCORE 8845.01
AT ITER 3835 NEW BEST:: SOT 111260 SOS 46892 HAS SOPS 45172 HAS SOUS 9143 HAS SOUPS 8783 WITH SCORE 8829.892
AT ITER 3851 NEW BEST:: SOT 111265 SOS 46955 HAS SOPS 45235 HAS SOUS 9110 HAS SOUPS 8750 WITH SCORE 8796.955
AT ITER 3907 NEW BEST:: SOT 111287 SOS 47009 HAS SOPS 45289 HAS SOUS 9109 HAS SOUPS 8749 WITH SCORE 8796.009
AT ITER 3910 NEW BEST:: SOT 111305 SOS 46919 HAS SOPS 45199 HAS SOUS 9109 HAS SOUPS 8749 WITH SCORE 8795.919
AT ITER 3949 NEW BEST:: SOT 111290 SOS 46896 HAS SOPS 45169 HAS SOUS 9105 HAS SOUPS 8745 WITH SCORE 8791.896
AT ITER 3984 NEW BEST:: SOT 111290 SOS 46905 HAS SOPS 45178 HAS SOUS 9104 HAS SOUPS 8744 WITH SCORE 8790.905
AT ITER 4005 NEW BEST:: SOT 111238 SOS 46872 HAS SOPS 45145 HAS SOUS 9100 HAS SOUPS 8740 WITH SCORE 8786.872
AT ITER 4056 NEW BEST:: SOT 111225 SOS 46846 HAS SOPS 45128 HAS SOUS 9080 HAS SOUPS 8720 WITH SCORE 8766.846
AT ITER 4069 NEW BEST:: SOT 111168 SOS 46684 HAS SOPS 44966 HAS SOUS 9078 HAS SOUPS 8718 WITH SCORE 8764.684
AT ITER 4073 NEW BEST:: SOT 111095 SOS 46079 HAS SOPS 44361 HAS SOUS 8909 HAS SOUPS 8549 WITH SCORE 8595.079
AT ITER 4095 NEW BEST:: SOT 111093 SOS 46075 HAS SOPS 44357 HAS SOUS 8905 HAS SOUPS 8545 WITH SCORE 8591.075
AT ITER 4102 NEW BEST:: SOT 111101 SOS 46106 HAS SOPS 44383 HAS SOUS 8906 HAS SOUPS 8541 WITH SCORE 8587.106
AT ITER 4111 NEW BEST:: SOT 111101 SOS 46126 HAS SOPS 44393 HAS SOUS 8892 HAS SOUPS 8527 WITH SCORE 8573.126
AT ITER 4118 NEW BEST:: SOT 111119 SOS 46155 HAS SOPS 44422 HAS SOUS 8888 HAS SOUPS 8523 WITH SCORE 8569.155
AT ITER 4127 NEW BEST:: SOT 111378 SOS 46253 HAS SOPS 44520 HAS SOUS 8867 HAS SOUPS 8502 WITH SCORE 8548.253
AT ITER 4176 NEW BEST:: SOT 111377 SOS 46251 HAS SOPS 44518 HAS SOUS 8866 HAS SOUPS 8501 WITH SCORE 8547.251
AT ITER 4207 NEW BEST:: SOT 111368 SOS 46242 HAS SOPS 44509 HAS SOUS 8866 HAS SOUPS 8501 WITH SCORE 8547.242
AT ITER 4215 NEW BEST:: SOT 111343 SOS 46194 HAS SOPS 44461 HAS SOUS 8827 HAS SOUPS 8462 WITH SCORE 8508.194
AT ITER 4216 NEW BEST:: SOT 111368 SOS 46209 HAS SOPS 44469 HAS SOUS 8810 HAS SOUPS 8445 WITH SCORE 8491.209
AT ITER 4237 NEW BEST:: SOT 111364 SOS 46201 HAS SOPS 44461 HAS SOUS 8806 HAS SOUPS 8441 WITH SCORE 8487.201
AT ITER 4248 NEW BEST:: SOT 111373 SOS 46183 HAS SOPS 44443 HAS SOUS 8806 HAS SOUPS 8441 WITH SCORE 8487.183
AT ITER 4258 NEW BEST:: SOT 111441 SOS 46205 HAS SOPS 44465 HAS SOUS 8781 HAS SOUPS 8416 WITH SCORE 8462.205
AT ITER 4319 NEW BEST:: SOT 111521 SOS 46215 HAS SOPS 44452 HAS SOUS 8697 HAS SOUPS 8332 WITH SCORE 8378.215
AT ITER 4325 NEW BEST:: SOT 111527 SOS 46217 HAS SOPS 44452 HAS SOUS 8683 HAS SOUPS 8318 WITH SCORE 8364.217
AT ITER 4331 NEW BEST:: SOT 111527 SOS 46213 HAS SOPS 44448 HAS SOUS 8683 HAS SOUPS 8318 WITH SCORE 8364.213
AT ITER 4332 NEW BEST:: SOT 111515 SOS 46197 HAS SOPS 44432 HAS SOUS 8681 HAS SOUPS 8316 WITH SCORE 8362.197
AT ITER 4348 NEW BEST:: SOT 111515 SOS 46212 HAS SOPS 44447 HAS SOUS 8678 HAS SOUPS 8313 WITH SCORE 8359.212
AT ITER 4385 NEW BEST:: SOT 111511 SOS 46208 HAS SOPS 44440 HAS SOUS 8666 HAS SOUPS 8301 WITH SCORE 8347.208
AT ITER 4402 NEW BEST:: SOT 111538 SOS 46207 HAS SOPS 44438 HAS SOUS 8664 HAS SOUPS 8299 WITH SCORE 8345.207
AT ITER 4426 NEW BEST:: SOT 111472 SOS 46141 HAS SOPS 44372 HAS SOUS 8652 HAS SOUPS 8287 WITH SCORE 8333.141
AT ITER 4431 NEW BEST:: SOT 111225 SOS 45941 HAS SOPS 44172 HAS SOUS 8541 HAS SOUPS 8176 WITH SCORE 8221.941
AT ITER 4464 NEW BEST:: SOT 111187 SOS 45882 HAS SOPS 44113 HAS SOUS 8485 HAS SOUPS 8120 WITH SCORE 8165.882
AT ITER 4488 NEW BEST:: SOT 111184 SOS 45869 HAS SOPS 44100 HAS SOUS 8484 HAS SOUPS 8119 WITH SCORE 8164.869
AT ITER 4612 NEW BEST:: SOT 111176 SOS 45941 HAS SOPS 44172 HAS SOUS 8476 HAS SOUPS 8111 WITH SCORE 8156.941
AT ITER 4646 NEW BEST:: SOT 111126 SOS 45911 HAS SOPS 44142 HAS SOUS 8455 HAS SOUPS 8090 WITH SCORE 8135.911
AT ITER 4648 NEW BEST:: SOT 111030 SOS 46019 HAS SOPS 44250 HAS SOUS 8425 HAS SOUPS 8060 WITH SCORE 8106.019
AT ITER 4669 NEW BEST:: SOT 111046 SOS 46014 HAS SOPS 44245 HAS SOUS 8423 HAS SOUPS 8058 WITH SCORE 8104.014
AT ITER 4673 NEW BEST:: SOT 111044 SOS 46010 HAS SOPS 44241 HAS SOUS 8421 HAS SOUPS 8056 WITH SCORE 8102.01
AT ITER 4675 NEW BEST:: SOT 111074 SOS 46038 HAS SOPS 44269 HAS SOUS 8394 HAS SOUPS 8029 WITH SCORE 8075.038
AT ITER 4699 NEW BEST:: SOT 111035 SOS 45999 HAS SOPS 44230 HAS SOUS 8394 HAS SOUPS 8029 WITH SCORE 8074.999
AT ITER 4726 NEW BEST:: SOT 111029 SOS 45930 HAS SOPS 44224 HAS SOUS 8389 HAS SOUPS 8027 WITH SCORE 8072.93
AT ITER 4732 NEW BEST:: SOT 111015 SOS 45902 HAS SOPS 44196 HAS SOUS 8371 HAS SOUPS 8009 WITH SCORE 8054.902
AT ITER 4736 NEW BEST:: SOT 110996 SOS 45219 HAS SOPS 43482 HAS SOUS 8384 HAS SOUPS 7993 WITH SCORE 8038.219
AT ITER 4746 NEW BEST:: SOT 111054 SOS 45237 HAS SOPS 43510 HAS SOUS 8382 HAS SOUPS 7991 WITH SCORE 8036.237
AT ITER 4748 NEW BEST:: SOT 111046 SOS 45247 HAS SOPS 43520 HAS SOUS 8377 HAS SOUPS 7986 WITH SCORE 8031.247
AT ITER 4770 NEW BEST:: SOT 111052 SOS 45245 HAS SOPS 43518 HAS SOUS 8369 HAS SOUPS 7978 WITH SCORE 8023.245
AT ITER 4831 NEW BEST:: SOT 111108 SOS 45259 HAS SOPS 43532 HAS SOUS 8355 HAS SOUPS 7964 WITH SCORE 8009.259
AT ITER 4911 NEW BEST:: SOT 111166 SOS 45420 HAS SOPS 43693 HAS SOUS 8332 HAS SOUPS 7941 WITH SCORE 7986.42
Bounds file is: CTLFireability.xml
PROPERTY: UtahNoC-PT-none-CTLFireability-00 (EG( (AX( (EF( ((potential((tk(P37)>=1) & (tk(P190)>=1))))))))))
PROPERTY: UtahNoC-PT-none-CTLFireability-01 (! ( (AX( ((potential((tk(P193)>=1)))))) | (EU( (! ((potential((tk(P8)>=1) & (tk(P161)>=1))))) , ((potential((tk(P85)>=1)))) )) ))
PROPERTY: UtahNoC-PT-none-CTLFireability-02 (EU( (EX( (! ((potential((tk(P120)>=1))))))) , ( ((potential((tk(P56)>=1) & (tk(P214)>=1)))) & ( ((potential((tk(P19)>=1)))) & ((potential((tk(P44)>=1) & (tk(P161)>=1)))) ) ) ))
PROPERTY: UtahNoC-PT-none-CTLFireability-03 (AG( (EF( (AF( ((potential((tk(P144)>=1))))))))))
PROPERTY: UtahNoC-PT-none-CTLFireability-04 (EF( ((potential((tk(P57)>=1) & (tk(P190)>=1))))))
PROPERTY: UtahNoC-PT-none-CTLFireability-05 (! ( (EF( ( ( ((potential((tk(P113)>=1) & (tk(P146)>=1)))) & ((potential((tk(P10)>=1) & (tk(P190)>=1)))) ) & (! ((potential((tk(P46)>=1) & (tk(P214)>=1))))) ))) | ((potential((tk(P73)>=1)))) ))
PROPERTY: UtahNoC-PT-none-CTLFireability-06 (EG( ( (AG( (! ((potential((tk(P109)>=1) & (tk(P150)>=1))))))) | ((potential((tk(P144)>=1)))) )))
PROPERTY: UtahNoC-PT-none-CTLFireability-07 (AG( ( ( ( ((potential((tk(P16)>=1)))) & (! ((potential((tk(P20)>=1))))) ) | (! ((potential((tk(P80)>=1) & (tk(P161)>=1))))) ) | ( (AX( ((potential((tk(P105)>=1)))))) | (! ( ((potential((tk(P34)>=1) & (tk(P190)>=1)))) | ((potential((tk(P215)>=1)))) )) ) )))
PROPERTY: UtahNoC-PT-none-CTLFireability-08 (EG( (! (EF( ((potential((tk(P2)>=1) & (tk(P200)>=1)))))))))
PROPERTY: UtahNoC-PT-none-CTLFireability-09 ( (EF( ((potential((tk(P83)>=1) & (tk(P161)>=1)))))) & (EU( (EF( ((potential((tk(P90)>=1) & (tk(P161)>=1)))))) , (AF( ((potential((tk(P81)>=1) & (tk(P214)>=1)))))) )) )
PROPERTY: UtahNoC-PT-none-CTLFireability-10 ( ((potential((tk(P21)>=1) & (tk(P161)>=1)))) | ( ( ((potential((tk(P61)>=1)))) | (! (EG( ((potential((tk(P127)>=1) & (tk(P190)>=1))))))) ) & (EF( ( ( ((potential((tk(P109)>=1) & (tk(P148)>=1)))) & ((potential((tk(P27)>=1) & (tk(P142)>=1)))) ) & ((potential((tk(P108)>=1) & (tk(P190)>=1)))) ))) ) )
PROPERTY: UtahNoC-PT-none-CTLFireability-11 (EF( ((potential((tk(P121)>=1))))))
PROPERTY: UtahNoC-PT-none-CTLFireability-12 ( ((potential((tk(P37)>=1)))) | (! (EX( (EF( ((potential((tk(P38)>=1))))))))) )
PROPERTY: UtahNoC-PT-none-CTLFireability-13 ( (AG( ( (! ( ((potential((tk(P98)>=1)))) & ((potential((tk(P79)>=1)))) )) | (! (! ((potential((tk(P74)>=1) & (tk(P189)>=1)))))) ))) | ( (! (EX( ( ((potential((tk(P118)>=1)))) | ((potential((tk(P27)>=1) & (tk(P145)>=1)))) )))) & ( (! ( (! ((potential((tk(P85)>=1))))) | ( ((potential((tk(P191)>=1)))) | ((potential((tk(P119)>=1)))) ) )) & ( ( ( ((potential((tk(P42)>=1)))) | ((potential((tk(P48)>=1)))) ) & ( ((potential((tk(P46)>=1) & (tk(P214)>=1)))) | ((potential((tk(P188)>=1)))) ) ) | ( ( ((potential((tk(P79)>=1)))) & ((potential((tk(P76)>=1) & (tk(P214)>=1)))) ) & ( ((potential((tk(P32)>=1)))) | ((potential((tk(P89)>=1) & (tk(P211)>=1)))) ) ) ) ) ) )
PROPERTY: UtahNoC-PT-none-CTLFireability-14 (AF( ( (EF( ( ((potential((tk(P2)>=1) & (tk(P212)>=1)))) & ((potential((tk(P68)>=1) & (tk(P161)>=1)))) ))) | ((potential((tk(P168)>=1)))) )))
PROPERTY: UtahNoC-PT-none-CTLFireability-15 (AF( (EF( (EF( ((potential((tk(P43)>=1) & (tk(P199)>=1))))))))))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="UtahNoC-PT-none"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is UtahNoC-PT-none, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r190-csrt-159033382900596"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/UtahNoC-PT-none.tgz
mv UtahNoC-PT-none execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;