Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r203-smll-167840349400328.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is HealthRecord-PT-12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349400328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 7.5K Feb 26 18:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 18:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 17:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 17:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 18:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 26 18:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 18:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 18:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 71K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678583061194

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HealthRecord-PT-12
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 01:04:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 01:04:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 01:04:24] [INFO ] Load time of PNML (sax parser for PT used): 129 ms
[2023-03-12 01:04:24] [INFO ] Transformed 160 places.
[2023-03-12 01:04:24] [INFO ] Transformed 340 transitions.
[2023-03-12 01:04:24] [INFO ] Found NUPN structural information;
[2023-03-12 01:04:24] [INFO ] Parsed PT model containing 160 places and 340 transitions and 895 arcs in 306 ms.
[2023-03-12 01:04:24] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 160 places, 340 transitions and 895 arcs took 13 ms.
Total runtime 398 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 12
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 160 places, 340 transitions, 895 arcs.
AT ITER 0 NEW BEST:: SOT 39029 SOS 22793 HAS SOPS 22771 HAS SOUS 12909 HAS SOUPS 12896 WITH SCORE 12918.793
AT ITER 2 NEW BEST:: SOT 38951 SOS 22637 HAS SOPS 22615 HAS SOUS 12831 HAS SOUPS 12818 WITH SCORE 12840.637
AT ITER 3 NEW BEST:: SOT 37831 SOS 21929 HAS SOPS 21907 HAS SOUS 12239 HAS SOUPS 12226 WITH SCORE 12247.929
AT ITER 6 NEW BEST:: SOT 37843 SOS 21953 HAS SOPS 21931 HAS SOUS 12237 HAS SOUPS 12224 WITH SCORE 12245.953
AT ITER 9 NEW BEST:: SOT 37798 SOS 21868 HAS SOPS 21846 HAS SOUS 12210 HAS SOUPS 12197 WITH SCORE 12218.868
AT ITER 10 NEW BEST:: SOT 37595 SOS 21398 HAS SOPS 21376 HAS SOUS 12041 HAS SOUPS 12028 WITH SCORE 12049.398
AT ITER 15 NEW BEST:: SOT 37595 SOS 21398 HAS SOPS 21376 HAS SOUS 12037 HAS SOUPS 12024 WITH SCORE 12045.398
AT ITER 16 NEW BEST:: SOT 37127 SOS 21235 HAS SOPS 21213 HAS SOUS 11965 HAS SOUPS 11952 WITH SCORE 11973.235
AT ITER 18 NEW BEST:: SOT 35243 SOS 20248 HAS SOPS 20226 HAS SOUS 11584 HAS SOUPS 11571 WITH SCORE 11591.248
AT ITER 20 NEW BEST:: SOT 35171 SOS 20068 HAS SOPS 20046 HAS SOUS 11548 HAS SOUPS 11535 WITH SCORE 11555.068
AT ITER 21 NEW BEST:: SOT 35157 SOS 20040 HAS SOPS 20018 HAS SOUS 11502 HAS SOUPS 11489 WITH SCORE 11509.04
AT ITER 26 NEW BEST:: SOT 33248 SOS 20345 HAS SOPS 20323 HAS SOUS 10270 HAS SOUPS 10257 WITH SCORE 10277.345
AT ITER 29 NEW BEST:: SOT 33101 SOS 20072 HAS SOPS 20050 HAS SOUS 10249 HAS SOUPS 10236 WITH SCORE 10256.072
AT ITER 30 NEW BEST:: SOT 33065 SOS 20004 HAS SOPS 19982 HAS SOUS 10229 HAS SOUPS 10216 WITH SCORE 10236.004
AT ITER 36 NEW BEST:: SOT 33004 SOS 19866 HAS SOPS 19844 HAS SOUS 10023 HAS SOUPS 10010 WITH SCORE 10029.866
AT ITER 44 NEW BEST:: SOT 33032 SOS 19920 HAS SOPS 19898 HAS SOUS 9967 HAS SOUPS 9954 WITH SCORE 9973.92
AT ITER 45 NEW BEST:: SOT 33032 SOS 19877 HAS SOPS 19855 HAS SOUS 9967 HAS SOUPS 9954 WITH SCORE 9973.877
AT ITER 47 NEW BEST:: SOT 32224 SOS 20072 HAS SOPS 20050 HAS SOUS 9408 HAS SOUPS 9395 WITH SCORE 9415.072
AT ITER 48 NEW BEST:: SOT 32287 SOS 20110 HAS SOPS 20088 HAS SOUS 9356 HAS SOUPS 9343 WITH SCORE 9363.11
AT ITER 51 NEW BEST:: SOT 32197 SOS 19932 HAS SOPS 19910 HAS SOUS 9349 HAS SOUPS 9336 WITH SCORE 9355.932
AT ITER 52 NEW BEST:: SOT 32192 SOS 19902 HAS SOPS 19880 HAS SOUS 9339 HAS SOUPS 9326 WITH SCORE 9345.902
AT ITER 56 NEW BEST:: SOT 32174 SOS 19819 HAS SOPS 19797 HAS SOUS 9329 HAS SOUPS 9316 WITH SCORE 9335.819
AT ITER 62 NEW BEST:: SOT 32219 SOS 19901 HAS SOPS 19879 HAS SOUS 9325 HAS SOUPS 9312 WITH SCORE 9331.901
AT ITER 64 NEW BEST:: SOT 32219 SOS 19857 HAS SOPS 19835 HAS SOUS 9325 HAS SOUPS 9312 WITH SCORE 9331.857
AT ITER 66 NEW BEST:: SOT 32205 SOS 19815 HAS SOPS 19793 HAS SOUS 9311 HAS SOUPS 9298 WITH SCORE 9317.815
AT ITER 67 NEW BEST:: SOT 32182 SOS 19752 HAS SOPS 19730 HAS SOUS 9235 HAS SOUPS 9222 WITH SCORE 9241.752
AT ITER 69 NEW BEST:: SOT 32148 SOS 19666 HAS SOPS 19644 HAS SOUS 9219 HAS SOUPS 9206 WITH SCORE 9225.666
AT ITER 72 NEW BEST:: SOT 32172 SOS 19690 HAS SOPS 19668 HAS SOUS 9192 HAS SOUPS 9179 WITH SCORE 9198.69
AT ITER 74 NEW BEST:: SOT 32138 SOS 19670 HAS SOPS 19648 HAS SOUS 9158 HAS SOUPS 9145 WITH SCORE 9164.67
AT ITER 76 NEW BEST:: SOT 32098 SOS 19588 HAS SOPS 19566 HAS SOUS 9118 HAS SOUPS 9105 WITH SCORE 9124.588
AT ITER 77 NEW BEST:: SOT 32136 SOS 19626 HAS SOPS 19604 HAS SOUS 9110 HAS SOUPS 9097 WITH SCORE 9116.626
AT ITER 78 NEW BEST:: SOT 32117 SOS 19477 HAS SOPS 19455 HAS SOUS 9110 HAS SOUPS 9097 WITH SCORE 9116.477
AT ITER 83 NEW BEST:: SOT 31777 SOS 19863 HAS SOPS 19841 HAS SOUS 8590 HAS SOUPS 8577 WITH SCORE 8596.863
AT ITER 84 NEW BEST:: SOT 31633 SOS 19755 HAS SOPS 19733 HAS SOUS 8554 HAS SOUPS 8541 WITH SCORE 8560.755
AT ITER 85 NEW BEST:: SOT 31633 SOS 19755 HAS SOPS 19733 HAS SOUS 8518 HAS SOUPS 8505 WITH SCORE 8524.755
AT ITER 89 NEW BEST:: SOT 31613 SOS 19715 HAS SOPS 19693 HAS SOUS 8508 HAS SOUPS 8495 WITH SCORE 8514.715
AT ITER 91 NEW BEST:: SOT 31573 SOS 19675 HAS SOPS 19653 HAS SOUS 8499 HAS SOUPS 8486 WITH SCORE 8505.675
AT ITER 94 NEW BEST:: SOT 31580 SOS 19936 HAS SOPS 19914 HAS SOUS 8479 HAS SOUPS 8466 WITH SCORE 8485.936
AT ITER 97 NEW BEST:: SOT 31598 SOS 20002 HAS SOPS 19980 HAS SOUS 8478 HAS SOUPS 8465 WITH SCORE 8485.002
AT ITER 101 NEW BEST:: SOT 31654 SOS 19430 HAS SOPS 19408 HAS SOUS 8462 HAS SOUPS 8449 WITH SCORE 8468.43
AT ITER 104 NEW BEST:: SOT 31492 SOS 19214 HAS SOPS 19192 HAS SOUS 8356 HAS SOUPS 8343 WITH SCORE 8362.214
AT ITER 108 NEW BEST:: SOT 31331 SOS 18928 HAS SOPS 18906 HAS SOUS 8245 HAS SOUPS 8232 WITH SCORE 8250.928
AT ITER 111 NEW BEST:: SOT 31100 SOS 19018 HAS SOPS 18996 HAS SOUS 8114 HAS SOUPS 8101 WITH SCORE 8120.018
AT ITER 112 NEW BEST:: SOT 31058 SOS 18934 HAS SOPS 18912 HAS SOUS 8099 HAS SOUPS 8086 WITH SCORE 8104.934
AT ITER 113 NEW BEST:: SOT 31058 SOS 18916 HAS SOPS 18894 HAS SOUS 8089 HAS SOUPS 8076 WITH SCORE 8094.916
AT ITER 115 NEW BEST:: SOT 31056 SOS 18911 HAS SOPS 18889 HAS SOUS 8043 HAS SOUPS 8030 WITH SCORE 8048.911
AT ITER 120 NEW BEST:: SOT 31077 SOS 18941 HAS SOPS 18919 HAS SOUS 8030 HAS SOUPS 8017 WITH SCORE 8035.941
AT ITER 128 NEW BEST:: SOT 31042 SOS 18871 HAS SOPS 18849 HAS SOUS 7995 HAS SOUPS 7982 WITH SCORE 8000.871
AT ITER 131 NEW BEST:: SOT 31028 SOS 18857 HAS SOPS 18835 HAS SOUS 7995 HAS SOUPS 7982 WITH SCORE 8000.857
AT ITER 133 NEW BEST:: SOT 30999 SOS 18828 HAS SOPS 18806 HAS SOUS 7982 HAS SOUPS 7969 WITH SCORE 7987.828
AT ITER 149 NEW BEST:: SOT 30975 SOS 18804 HAS SOPS 18782 HAS SOUS 7958 HAS SOUPS 7945 WITH SCORE 7963.804
AT ITER 153 NEW BEST:: SOT 30951 SOS 18639 HAS SOPS 18617 HAS SOUS 7900 HAS SOUPS 7887 WITH SCORE 7905.639
AT ITER 154 NEW BEST:: SOT 30853 SOS 18390 HAS SOPS 18368 HAS SOUS 7835 HAS SOUPS 7822 WITH SCORE 7840.39
AT ITER 158 NEW BEST:: SOT 30815 SOS 18343 HAS SOPS 18321 HAS SOUS 7826 HAS SOUPS 7813 WITH SCORE 7831.343
AT ITER 161 NEW BEST:: SOT 30815 SOS 18374 HAS SOPS 18352 HAS SOUS 7795 HAS SOUPS 7782 WITH SCORE 7800.374
AT ITER 169 NEW BEST:: SOT 30822 SOS 18676 HAS SOPS 18654 HAS SOUS 7772 HAS SOUPS 7759 WITH SCORE 7777.676
AT ITER 181 NEW BEST:: SOT 30559 SOS 19971 HAS SOPS 19949 HAS SOUS 7603 HAS SOUPS 7590 WITH SCORE 7609.971
AT ITER 183 NEW BEST:: SOT 30481 SOS 19854 HAS SOPS 19832 HAS SOUS 7525 HAS SOUPS 7512 WITH SCORE 7531.854
AT ITER 185 NEW BEST:: SOT 30592 SOS 20092 HAS SOPS 20070 HAS SOUS 7517 HAS SOUPS 7504 WITH SCORE 7524.092
AT ITER 186 NEW BEST:: SOT 30484 SOS 19876 HAS SOPS 19854 HAS SOUS 7373 HAS SOUPS 7360 WITH SCORE 7379.876
AT ITER 188 NEW BEST:: SOT 30458 SOS 19824 HAS SOPS 19802 HAS SOUS 7373 HAS SOUPS 7360 WITH SCORE 7379.824
AT ITER 194 NEW BEST:: SOT 30446 SOS 19800 HAS SOPS 19778 HAS SOUS 7361 HAS SOUPS 7348 WITH SCORE 7367.8
AT ITER 200 NEW BEST:: SOT 30490 SOS 19845 HAS SOPS 19823 HAS SOUS 7357 HAS SOUPS 7344 WITH SCORE 7363.845
AT ITER 201 NEW BEST:: SOT 30473 SOS 19828 HAS SOPS 19806 HAS SOUS 7321 HAS SOUPS 7308 WITH SCORE 7327.828
AT ITER 202 NEW BEST:: SOT 30473 SOS 19829 HAS SOPS 19807 HAS SOUS 7320 HAS SOUPS 7307 WITH SCORE 7326.829
AT ITER 218 NEW BEST:: SOT 30488 SOS 19874 HAS SOPS 19852 HAS SOUS 7312 HAS SOUPS 7299 WITH SCORE 7318.874
AT ITER 219 NEW BEST:: SOT 30420 SOS 19776 HAS SOPS 19754 HAS SOUS 7288 HAS SOUPS 7275 WITH SCORE 7294.776
AT ITER 221 NEW BEST:: SOT 30362 SOS 19812 HAS SOPS 19790 HAS SOUS 7230 HAS SOUPS 7217 WITH SCORE 7236.812
AT ITER 223 NEW BEST:: SOT 30312 SOS 19740 HAS SOPS 19718 HAS SOUS 7045 HAS SOUPS 7032 WITH SCORE 7051.74
AT ITER 227 NEW BEST:: SOT 30180 SOS 19509 HAS SOPS 19487 HAS SOUS 6975 HAS SOUPS 6962 WITH SCORE 6981.509
AT ITER 230 NEW BEST:: SOT 30136 SOS 19434 HAS SOPS 19412 HAS SOUS 6946 HAS SOUPS 6933 WITH SCORE 6952.434
AT ITER 232 NEW BEST:: SOT 30130 SOS 19428 HAS SOPS 19406 HAS SOUS 6940 HAS SOUPS 6927 WITH SCORE 6946.428
AT ITER 238 NEW BEST:: SOT 30097 SOS 19400 HAS SOPS 19378 HAS SOUS 6911 HAS SOUPS 6898 WITH SCORE 6917.4
AT ITER 239 NEW BEST:: SOT 30030 SOS 19352 HAS SOPS 19330 HAS SOUS 6866 HAS SOUPS 6853 WITH SCORE 6872.352
AT ITER 241 NEW BEST:: SOT 29986 SOS 19310 HAS SOPS 19288 HAS SOUS 6838 HAS SOUPS 6825 WITH SCORE 6844.31
AT ITER 242 NEW BEST:: SOT 29938 SOS 19220 HAS SOPS 19198 HAS SOUS 6832 HAS SOUPS 6819 WITH SCORE 6838.22
AT ITER 247 NEW BEST:: SOT 29938 SOS 19220 HAS SOPS 19198 HAS SOUS 6816 HAS SOUPS 6803 WITH SCORE 6822.22
AT ITER 248 NEW BEST:: SOT 29752 SOS 18965 HAS SOPS 18943 HAS SOUS 6706 HAS SOUPS 6693 WITH SCORE 6711.965
AT ITER 250 NEW BEST:: SOT 29666 SOS 18839 HAS SOPS 18817 HAS SOUS 6588 HAS SOUPS 6575 WITH SCORE 6593.839
AT ITER 251 NEW BEST:: SOT 29573 SOS 18653 HAS SOPS 18631 HAS SOUS 6569 HAS SOUPS 6556 WITH SCORE 6574.653
AT ITER 270 NEW BEST:: SOT 29625 SOS 18400 HAS SOPS 18378 HAS SOUS 6542 HAS SOUPS 6529 WITH SCORE 6547.4
AT ITER 272 NEW BEST:: SOT 29623 SOS 18398 HAS SOPS 18376 HAS SOUS 6540 HAS SOUPS 6527 WITH SCORE 6545.398
AT ITER 278 NEW BEST:: SOT 29600 SOS 18352 HAS SOPS 18330 HAS SOUS 6517 HAS SOUPS 6504 WITH SCORE 6522.352
AT ITER 279 NEW BEST:: SOT 29594 SOS 18313 HAS SOPS 18291 HAS SOUS 6508 HAS SOUPS 6495 WITH SCORE 6513.313
AT ITER 282 NEW BEST:: SOT 29672 SOS 18496 HAS SOPS 18474 HAS SOUS 6504 HAS SOUPS 6491 WITH SCORE 6509.496
AT ITER 291 NEW BEST:: SOT 29659 SOS 18483 HAS SOPS 18461 HAS SOUS 6478 HAS SOUPS 6465 WITH SCORE 6483.483
AT ITER 301 NEW BEST:: SOT 29659 SOS 18494 HAS SOPS 18472 HAS SOUS 6477 HAS SOUPS 6464 WITH SCORE 6482.494
AT ITER 323 NEW BEST:: SOT 29651 SOS 18482 HAS SOPS 18460 HAS SOUS 6473 HAS SOUPS 6460 WITH SCORE 6478.482
AT ITER 325 NEW BEST:: SOT 29656 SOS 18514 HAS SOPS 18492 HAS SOUS 6464 HAS SOUPS 6451 WITH SCORE 6469.514
AT ITER 334 NEW BEST:: SOT 29620 SOS 18451 HAS SOPS 18429 HAS SOUS 6434 HAS SOUPS 6421 WITH SCORE 6439.451
AT ITER 340 NEW BEST:: SOT 29623 SOS 18450 HAS SOPS 18428 HAS SOUS 6433 HAS SOUPS 6420 WITH SCORE 6438.45
AT ITER 342 NEW BEST:: SOT 29623 SOS 18450 HAS SOPS 18428 HAS SOUS 6411 HAS SOUPS 6398 WITH SCORE 6416.45
AT ITER 348 NEW BEST:: SOT 29618 SOS 18445 HAS SOPS 18423 HAS SOUS 6410 HAS SOUPS 6397 WITH SCORE 6415.445
AT ITER 369 NEW BEST:: SOT 29596 SOS 18389 HAS SOPS 18367 HAS SOUS 6400 HAS SOUPS 6387 WITH SCORE 6405.389
AT ITER 375 NEW BEST:: SOT 29711 SOS 17839 HAS SOPS 17817 HAS SOUS 6398 HAS SOUPS 6385 WITH SCORE 6402.839
AT ITER 376 NEW BEST:: SOT 29716 SOS 17801 HAS SOPS 17779 HAS SOUS 6378 HAS SOUPS 6365 WITH SCORE 6382.801
AT ITER 379 NEW BEST:: SOT 29645 SOS 17710 HAS SOPS 17688 HAS SOUS 6287 HAS SOUPS 6274 WITH SCORE 6291.71
AT ITER 385 NEW BEST:: SOT 29640 SOS 17705 HAS SOPS 17683 HAS SOUS 6282 HAS SOUPS 6269 WITH SCORE 6286.705
AT ITER 387 NEW BEST:: SOT 29624 SOS 17689 HAS SOPS 17667 HAS SOUS 6278 HAS SOUPS 6265 WITH SCORE 6282.689
AT ITER 394 NEW BEST:: SOT 29615 SOS 17663 HAS SOPS 17641 HAS SOUS 6274 HAS SOUPS 6261 WITH SCORE 6278.663
AT ITER 403 NEW BEST:: SOT 29615 SOS 17662 HAS SOPS 17640 HAS SOUS 6273 HAS SOUPS 6260 WITH SCORE 6277.662
AT ITER 418 NEW BEST:: SOT 29634 SOS 17692 HAS SOPS 17670 HAS SOUS 6265 HAS SOUPS 6252 WITH SCORE 6269.692
AT ITER 425 NEW BEST:: SOT 29527 SOS 17774 HAS SOPS 17752 HAS SOUS 6232 HAS SOUPS 6219 WITH SCORE 6236.774
AT ITER 432 NEW BEST:: SOT 29524 SOS 17768 HAS SOPS 17746 HAS SOUS 6229 HAS SOUPS 6216 WITH SCORE 6233.768
AT ITER 433 NEW BEST:: SOT 29540 SOS 17792 HAS SOPS 17770 HAS SOUS 6222 HAS SOUPS 6209 WITH SCORE 6226.792
AT ITER 438 NEW BEST:: SOT 29511 SOS 17759 HAS SOPS 17737 HAS SOUS 6187 HAS SOUPS 6174 WITH SCORE 6191.759
AT ITER 450 NEW BEST:: SOT 29435 SOS 17911 HAS SOPS 17889 HAS SOUS 6079 HAS SOUPS 6066 WITH SCORE 6083.911
AT ITER 454 NEW BEST:: SOT 29415 SOS 17891 HAS SOPS 17869 HAS SOUS 6036 HAS SOUPS 6023 WITH SCORE 6040.891
AT ITER 459 NEW BEST:: SOT 29405 SOS 17881 HAS SOPS 17859 HAS SOUS 6026 HAS SOUPS 6013 WITH SCORE 6030.881
AT ITER 461 NEW BEST:: SOT 29403 SOS 17879 HAS SOPS 17857 HAS SOUS 6024 HAS SOUPS 6011 WITH SCORE 6028.879
AT ITER 470 NEW BEST:: SOT 29403 SOS 17865 HAS SOPS 17843 HAS SOUS 6024 HAS SOUPS 6011 WITH SCORE 6028.865
AT ITER 471 NEW BEST:: SOT 29403 SOS 17865 HAS SOPS 17843 HAS SOUS 6019 HAS SOUPS 6006 WITH SCORE 6023.865
AT ITER 475 NEW BEST:: SOT 29388 SOS 17850 HAS SOPS 17828 HAS SOUS 6004 HAS SOUPS 5991 WITH SCORE 6008.85
AT ITER 476 NEW BEST:: SOT 29387 SOS 17848 HAS SOPS 17826 HAS SOUS 6001 HAS SOUPS 5988 WITH SCORE 6005.848
AT ITER 483 NEW BEST:: SOT 29381 SOS 17850 HAS SOPS 17828 HAS SOUS 5997 HAS SOUPS 5984 WITH SCORE 6001.85
AT ITER 489 NEW BEST:: SOT 29373 SOS 17826 HAS SOPS 17804 HAS SOUS 5989 HAS SOUPS 5976 WITH SCORE 5993.826
AT ITER 490 NEW BEST:: SOT 29373 SOS 17826 HAS SOPS 17804 HAS SOUS 5988 HAS SOUPS 5975 WITH SCORE 5992.826
AT ITER 493 NEW BEST:: SOT 29361 SOS 17802 HAS SOPS 17780 HAS SOUS 5976 HAS SOUPS 5963 WITH SCORE 5980.802
AT ITER 513 NEW BEST:: SOT 29350 SOS 17784 HAS SOPS 17762 HAS SOUS 5961 HAS SOUPS 5948 WITH SCORE 5965.784
AT ITER 514 NEW BEST:: SOT 29242 SOS 17661 HAS SOPS 17639 HAS SOUS 5903 HAS SOUPS 5890 WITH SCORE 5907.661
AT ITER 516 NEW BEST:: SOT 29102 SOS 17453 HAS SOPS 17431 HAS SOUS 5882 HAS SOUPS 5869 WITH SCORE 5886.453
AT ITER 518 NEW BEST:: SOT 29102 SOS 17453 HAS SOPS 17431 HAS SOUS 5859 HAS SOUPS 5846 WITH SCORE 5863.453
AT ITER 521 NEW BEST:: SOT 29112 SOS 17463 HAS SOPS 17441 HAS SOUS 5851 HAS SOUPS 5838 WITH SCORE 5855.463
AT ITER 530 NEW BEST:: SOT 29086 SOS 17402 HAS SOPS 17380 HAS SOUS 5834 HAS SOUPS 5821 WITH SCORE 5838.402
AT ITER 531 NEW BEST:: SOT 29086 SOS 17408 HAS SOPS 17386 HAS SOUS 5831 HAS SOUPS 5818 WITH SCORE 5835.408
AT ITER 540 NEW BEST:: SOT 29010 SOS 17248 HAS SOPS 17226 HAS SOUS 5793 HAS SOUPS 5780 WITH SCORE 5797.248
AT ITER 551 NEW BEST:: SOT 28996 SOS 17234 HAS SOPS 17212 HAS SOUS 5777 HAS SOUPS 5764 WITH SCORE 5781.234
AT ITER 553 NEW BEST:: SOT 28986 SOS 17224 HAS SOPS 17202 HAS SOUS 5742 HAS SOUPS 5729 WITH SCORE 5746.224
AT ITER 557 NEW BEST:: SOT 28986 SOS 17224 HAS SOPS 17202 HAS SOUS 5728 HAS SOUPS 5715 WITH SCORE 5732.224
AT ITER 561 NEW BEST:: SOT 28974 SOS 17202 HAS SOPS 17180 HAS SOUS 5724 HAS SOUPS 5711 WITH SCORE 5728.202
AT ITER 562 NEW BEST:: SOT 28971 SOS 17199 HAS SOPS 17177 HAS SOUS 5721 HAS SOUPS 5708 WITH SCORE 5725.199
AT ITER 570 NEW BEST:: SOT 28979 SOS 17136 HAS SOPS 17114 HAS SOUS 5710 HAS SOUPS 5697 WITH SCORE 5714.136
AT ITER 574 NEW BEST:: SOT 28974 SOS 17131 HAS SOPS 17109 HAS SOUS 5710 HAS SOUPS 5697 WITH SCORE 5714.131
AT ITER 591 NEW BEST:: SOT 28972 SOS 17129 HAS SOPS 17107 HAS SOUS 5708 HAS SOUPS 5695 WITH SCORE 5712.129
AT ITER 598 NEW BEST:: SOT 28977 SOS 17137 HAS SOPS 17115 HAS SOUS 5698 HAS SOUPS 5685 WITH SCORE 5702.137
AT ITER 623 NEW BEST:: SOT 28977 SOS 17142 HAS SOPS 17120 HAS SOUS 5697 HAS SOUPS 5684 WITH SCORE 5701.142
AT ITER 631 NEW BEST:: SOT 28937 SOS 16908 HAS SOPS 16886 HAS SOUS 5676 HAS SOUPS 5663 WITH SCORE 5679.908
AT ITER 632 NEW BEST:: SOT 28932 SOS 16903 HAS SOPS 16881 HAS SOUS 5666 HAS SOUPS 5653 WITH SCORE 5669.903
AT ITER 633 NEW BEST:: SOT 28940 SOS 16865 HAS SOPS 16843 HAS SOUS 5660 HAS SOUPS 5647 WITH SCORE 5663.865
AT ITER 638 NEW BEST:: SOT 28935 SOS 16855 HAS SOPS 16833 HAS SOUS 5655 HAS SOUPS 5642 WITH SCORE 5658.855
AT ITER 643 NEW BEST:: SOT 28927 SOS 16847 HAS SOPS 16825 HAS SOUS 5639 HAS SOUPS 5626 WITH SCORE 5642.847
AT ITER 645 NEW BEST:: SOT 29053 SOS 17059 HAS SOPS 17037 HAS SOUS 5617 HAS SOUPS 5604 WITH SCORE 5621.059
AT ITER 660 NEW BEST:: SOT 29053 SOS 17059 HAS SOPS 17037 HAS SOUS 5610 HAS SOUPS 5597 WITH SCORE 5614.059
AT ITER 663 NEW BEST:: SOT 29004 SOS 16915 HAS SOPS 16893 HAS SOUS 5547 HAS SOUPS 5534 WITH SCORE 5550.915
AT ITER 665 NEW BEST:: SOT 28966 SOS 16877 HAS SOPS 16855 HAS SOUS 5528 HAS SOUPS 5515 WITH SCORE 5531.877
AT ITER 670 NEW BEST:: SOT 28871 SOS 16758 HAS SOPS 16736 HAS SOUS 5504 HAS SOUPS 5491 WITH SCORE 5507.758
AT ITER 679 NEW BEST:: SOT 28785 SOS 16628 HAS SOPS 16606 HAS SOUS 5488 HAS SOUPS 5475 WITH SCORE 5491.628
AT ITER 690 NEW BEST:: SOT 28770 SOS 16580 HAS SOPS 16558 HAS SOUS 5401 HAS SOUPS 5388 WITH SCORE 5404.58
AT ITER 693 NEW BEST:: SOT 28640 SOS 16436 HAS SOPS 16414 HAS SOUS 5370 HAS SOUPS 5357 WITH SCORE 5373.436
AT ITER 696 NEW BEST:: SOT 28638 SOS 16434 HAS SOPS 16412 HAS SOUS 5368 HAS SOUPS 5355 WITH SCORE 5371.434
AT ITER 704 NEW BEST:: SOT 28590 SOS 16386 HAS SOPS 16364 HAS SOUS 5348 HAS SOUPS 5335 WITH SCORE 5351.386
AT ITER 705 NEW BEST:: SOT 28570 SOS 16321 HAS SOPS 16299 HAS SOUS 5317 HAS SOUPS 5304 WITH SCORE 5320.321
AT ITER 710 NEW BEST:: SOT 28636 SOS 16356 HAS SOPS 16334 HAS SOUS 5268 HAS SOUPS 5255 WITH SCORE 5271.356
AT ITER 716 NEW BEST:: SOT 28644 SOS 16395 HAS SOPS 16373 HAS SOUS 5245 HAS SOUPS 5232 WITH SCORE 5248.395
AT ITER 723 NEW BEST:: SOT 28609 SOS 16657 HAS SOPS 16635 HAS SOUS 5200 HAS SOUPS 5187 WITH SCORE 5203.657
AT ITER 745 NEW BEST:: SOT 28611 SOS 16659 HAS SOPS 16637 HAS SOUS 5198 HAS SOUPS 5185 WITH SCORE 5201.659
AT ITER 757 NEW BEST:: SOT 28610 SOS 16658 HAS SOPS 16636 HAS SOUS 5197 HAS SOUPS 5184 WITH SCORE 5200.658
AT ITER 760 NEW BEST:: SOT 28545 SOS 16433 HAS SOPS 16411 HAS SOUS 5176 HAS SOUPS 5163 WITH SCORE 5179.433
AT ITER 761 NEW BEST:: SOT 28528 SOS 16416 HAS SOPS 16394 HAS SOUS 5176 HAS SOUPS 5163 WITH SCORE 5179.416
AT ITER 762 NEW BEST:: SOT 28545 SOS 16307 HAS SOPS 16285 HAS SOUS 5168 HAS SOUPS 5155 WITH SCORE 5171.307
AT ITER 771 NEW BEST:: SOT 28539 SOS 16295 HAS SOPS 16273 HAS SOUS 5156 HAS SOUPS 5143 WITH SCORE 5159.295
AT ITER 784 NEW BEST:: SOT 28541 SOS 16297 HAS SOPS 16275 HAS SOUS 5154 HAS SOUPS 5141 WITH SCORE 5157.297
AT ITER 790 NEW BEST:: SOT 28535 SOS 16291 HAS SOPS 16269 HAS SOUS 5154 HAS SOUPS 5141 WITH SCORE 5157.291
AT ITER 796 NEW BEST:: SOT 28567 SOS 16349 HAS SOPS 16327 HAS SOUS 5136 HAS SOUPS 5123 WITH SCORE 5139.349
AT ITER 804 NEW BEST:: SOT 28567 SOS 16349 HAS SOPS 16327 HAS SOUS 5135 HAS SOUPS 5122 WITH SCORE 5138.349
AT ITER 816 NEW BEST:: SOT 28567 SOS 16349 HAS SOPS 16327 HAS SOUS 5114 HAS SOUPS 5101 WITH SCORE 5117.349
AT ITER 821 NEW BEST:: SOT 28572 SOS 16383 HAS SOPS 16361 HAS SOUS 5098 HAS SOUPS 5085 WITH SCORE 5101.383
AT ITER 825 NEW BEST:: SOT 28564 SOS 16251 HAS SOPS 16229 HAS SOUS 5068 HAS SOUPS 5055 WITH SCORE 5071.251
AT ITER 828 NEW BEST:: SOT 28476 SOS 16134 HAS SOPS 16112 HAS SOUS 4980 HAS SOUPS 4967 WITH SCORE 4983.134
AT ITER 840 NEW BEST:: SOT 28476 SOS 16107 HAS SOPS 16085 HAS SOUS 4971 HAS SOUPS 4958 WITH SCORE 4974.107
AT ITER 854 NEW BEST:: SOT 28484 SOS 16120 HAS SOPS 16098 HAS SOUS 4968 HAS SOUPS 4955 WITH SCORE 4971.12
AT ITER 868 NEW BEST:: SOT 28523 SOS 15903 HAS SOPS 15881 HAS SOUS 4956 HAS SOUPS 4943 WITH SCORE 4958.903
AT ITER 869 NEW BEST:: SOT 28527 SOS 15823 HAS SOPS 15801 HAS SOUS 4908 HAS SOUPS 4895 WITH SCORE 4910.823
AT ITER 871 NEW BEST:: SOT 28595 SOS 15673 HAS SOPS 15651 HAS SOUS 4897 HAS SOUPS 4884 WITH SCORE 4899.673
AT ITER 875 NEW BEST:: SOT 28575 SOS 15661 HAS SOPS 15639 HAS SOUS 4891 HAS SOUPS 4878 WITH SCORE 4893.661
AT ITER 876 NEW BEST:: SOT 28569 SOS 15655 HAS SOPS 15633 HAS SOUS 4885 HAS SOUPS 4872 WITH SCORE 4887.655
AT ITER 878 NEW BEST:: SOT 28559 SOS 15645 HAS SOPS 15623 HAS SOUS 4875 HAS SOUPS 4862 WITH SCORE 4877.645
AT ITER 890 NEW BEST:: SOT 28551 SOS 15667 HAS SOPS 15645 HAS SOUS 4865 HAS SOUPS 4852 WITH SCORE 4867.667
AT ITER 900 NEW BEST:: SOT 28545 SOS 15661 HAS SOPS 15639 HAS SOUS 4863 HAS SOUPS 4850 WITH SCORE 4865.661
AT ITER 907 NEW BEST:: SOT 28561 SOS 15668 HAS SOPS 15646 HAS SOUS 4845 HAS SOUPS 4832 WITH SCORE 4847.668
AT ITER 918 NEW BEST:: SOT 28561 SOS 15650 HAS SOPS 15628 HAS SOUS 4843 HAS SOUPS 4830 WITH SCORE 4845.65
AT ITER 921 NEW BEST:: SOT 28563 SOS 15550 HAS SOPS 15528 HAS SOUS 4829 HAS SOUPS 4816 WITH SCORE 4831.55
AT ITER 922 NEW BEST:: SOT 28568 SOS 15469 HAS SOPS 15447 HAS SOUS 4822 HAS SOUPS 4809 WITH SCORE 4824.469
AT ITER 923 NEW BEST:: SOT 28562 SOS 15454 HAS SOPS 15432 HAS SOUS 4822 HAS SOUPS 4809 WITH SCORE 4824.454
AT ITER 927 NEW BEST:: SOT 28553 SOS 15436 HAS SOPS 15414 HAS SOUS 4813 HAS SOUPS 4800 WITH SCORE 4815.436
AT ITER 968 NEW BEST:: SOT 28540 SOS 15396 HAS SOPS 15374 HAS SOUS 4797 HAS SOUPS 4784 WITH SCORE 4799.396
AT ITER 977 NEW BEST:: SOT 28501 SOS 15357 HAS SOPS 15335 HAS SOUS 4781 HAS SOUPS 4768 WITH SCORE 4783.357
AT ITER 984 NEW BEST:: SOT 28487 SOS 15343 HAS SOPS 15321 HAS SOUS 4767 HAS SOUPS 4754 WITH SCORE 4769.343
AT ITER 992 NEW BEST:: SOT 28478 SOS 15334 HAS SOPS 15312 HAS SOUS 4759 HAS SOUPS 4746 WITH SCORE 4761.334
AT ITER 998 NEW BEST:: SOT 28477 SOS 15308 HAS SOPS 15286 HAS SOUS 4735 HAS SOUPS 4722 WITH SCORE 4737.308
AT ITER 1001 NEW BEST:: SOT 28457 SOS 15288 HAS SOPS 15266 HAS SOUS 4714 HAS SOUPS 4701 WITH SCORE 4716.288
AT ITER 1005 NEW BEST:: SOT 28446 SOS 15262 HAS SOPS 15240 HAS SOUS 4703 HAS SOUPS 4690 WITH SCORE 4705.262
AT ITER 1017 NEW BEST:: SOT 28444 SOS 15258 HAS SOPS 15236 HAS SOUS 4698 HAS SOUPS 4685 WITH SCORE 4700.258
AT ITER 1034 NEW BEST:: SOT 28444 SOS 15207 HAS SOPS 15185 HAS SOUS 4678 HAS SOUPS 4665 WITH SCORE 4680.207
AT ITER 1036 NEW BEST:: SOT 28444 SOS 15207 HAS SOPS 15185 HAS SOUS 4677 HAS SOUPS 4664 WITH SCORE 4679.207
AT ITER 1056 NEW BEST:: SOT 28398 SOS 15158 HAS SOPS 15136 HAS SOUS 4653 HAS SOUPS 4640 WITH SCORE 4655.158
AT ITER 1057 NEW BEST:: SOT 28374 SOS 15098 HAS SOPS 15076 HAS SOUS 4629 HAS SOUPS 4616 WITH SCORE 4631.098
AT ITER 1062 NEW BEST:: SOT 28370 SOS 15094 HAS SOPS 15072 HAS SOUS 4626 HAS SOUPS 4613 WITH SCORE 4628.094
AT ITER 1071 NEW BEST:: SOT 28369 SOS 15092 HAS SOPS 15070 HAS SOUS 4617 HAS SOUPS 4604 WITH SCORE 4619.092
AT ITER 1077 NEW BEST:: SOT 28378 SOS 15101 HAS SOPS 15079 HAS SOUS 4612 HAS SOUPS 4599 WITH SCORE 4614.101
AT ITER 1082 NEW BEST:: SOT 28384 SOS 15087 HAS SOPS 15065 HAS SOUS 4585 HAS SOUPS 4572 WITH SCORE 4587.087
AT ITER 1100 NEW BEST:: SOT 28384 SOS 15088 HAS SOPS 15066 HAS SOUS 4584 HAS SOUPS 4571 WITH SCORE 4586.088
AT ITER 1129 NEW BEST:: SOT 28383 SOS 15087 HAS SOPS 15065 HAS SOUS 4583 HAS SOUPS 4570 WITH SCORE 4585.087
AT ITER 1134 NEW BEST:: SOT 28333 SOS 14995 HAS SOPS 14973 HAS SOUS 4533 HAS SOUPS 4520 WITH SCORE 4534.995
AT ITER 1138 NEW BEST:: SOT 28328 SOS 14980 HAS SOPS 14958 HAS SOUS 4528 HAS SOUPS 4515 WITH SCORE 4529.98
AT ITER 1140 NEW BEST:: SOT 28313 SOS 14965 HAS SOPS 14943 HAS SOUS 4513 HAS SOUPS 4500 WITH SCORE 4514.965
AT ITER 1141 NEW BEST:: SOT 28308 SOS 14960 HAS SOPS 14938 HAS SOUS 4508 HAS SOUPS 4495 WITH SCORE 4509.96
AT ITER 1150 NEW BEST:: SOT 28308 SOS 14960 HAS SOPS 14938 HAS SOUS 4505 HAS SOUPS 4492 WITH SCORE 4506.96
AT ITER 1155 NEW BEST:: SOT 28191 SOS 14586 HAS SOPS 14564 HAS SOUS 4447 HAS SOUPS 4434 WITH SCORE 4448.586
AT ITER 1156 NEW BEST:: SOT 28154 SOS 14549 HAS SOPS 14527 HAS SOUS 4427 HAS SOUPS 4414 WITH SCORE 4428.549
AT ITER 1160 NEW BEST:: SOT 28134 SOS 14499 HAS SOPS 14477 HAS SOUS 4407 HAS SOUPS 4394 WITH SCORE 4408.499
AT ITER 1168 NEW BEST:: SOT 28132 SOS 14492 HAS SOPS 14470 HAS SOUS 4405 HAS SOUPS 4392 WITH SCORE 4406.492
AT ITER 1177 NEW BEST:: SOT 28129 SOS 14486 HAS SOPS 14464 HAS SOUS 4404 HAS SOUPS 4391 WITH SCORE 4405.486
AT ITER 1199 NEW BEST:: SOT 28123 SOS 14478 HAS SOPS 14456 HAS SOUS 4402 HAS SOUPS 4389 WITH SCORE 4403.478
AT ITER 1203 NEW BEST:: SOT 28079 SOS 14390 HAS SOPS 14368 HAS SOUS 4395 HAS SOUPS 4382 WITH SCORE 4396.39
AT ITER 1219 NEW BEST:: SOT 28064 SOS 14348 HAS SOPS 14326 HAS SOUS 4378 HAS SOUPS 4365 WITH SCORE 4379.348
AT ITER 1221 NEW BEST:: SOT 28058 SOS 14334 HAS SOPS 14312 HAS SOUS 4358 HAS SOUPS 4345 WITH SCORE 4359.334
AT ITER 1227 NEW BEST:: SOT 28064 SOS 14340 HAS SOPS 14318 HAS SOUS 4354 HAS SOUPS 4341 WITH SCORE 4355.34
AT ITER 1231 NEW BEST:: SOT 28053 SOS 14322 HAS SOPS 14300 HAS SOUS 4346 HAS SOUPS 4333 WITH SCORE 4347.322
AT ITER 1256 NEW BEST:: SOT 28049 SOS 14316 HAS SOPS 14294 HAS SOUS 4346 HAS SOUPS 4333 WITH SCORE 4347.316
AT ITER 1259 NEW BEST:: SOT 28040 SOS 14288 HAS SOPS 14266 HAS SOUS 4331 HAS SOUPS 4318 WITH SCORE 4332.288
AT ITER 1260 NEW BEST:: SOT 28044 SOS 14292 HAS SOPS 14270 HAS SOUS 4330 HAS SOUPS 4317 WITH SCORE 4331.292
AT ITER 1261 NEW BEST:: SOT 27987 SOS 14235 HAS SOPS 14213 HAS SOUS 4267 HAS SOUPS 4254 WITH SCORE 4268.235
AT ITER 1271 NEW BEST:: SOT 27985 SOS 14226 HAS SOPS 14204 HAS SOUS 4263 HAS SOUPS 4250 WITH SCORE 4264.226
AT ITER 1287 NEW BEST:: SOT 27982 SOS 14228 HAS SOPS 14206 HAS SOUS 4260 HAS SOUPS 4247 WITH SCORE 4261.228
AT ITER 1291 NEW BEST:: SOT 27970 SOS 14262 HAS SOPS 14240 HAS SOUS 4256 HAS SOUPS 4243 WITH SCORE 4257.262
AT ITER 1326 NEW BEST:: SOT 27956 SOS 14250 HAS SOPS 14228 HAS SOUS 4244 HAS SOUPS 4231 WITH SCORE 4245.25
AT ITER 1327 NEW BEST:: SOT 27956 SOS 14249 HAS SOPS 14227 HAS SOUS 4244 HAS SOUPS 4231 WITH SCORE 4245.249
AT ITER 1359 NEW BEST:: SOT 27944 SOS 14224 HAS SOPS 14202 HAS SOUS 4236 HAS SOUPS 4223 WITH SCORE 4237.224
AT ITER 1361 NEW BEST:: SOT 27937 SOS 14228 HAS SOPS 14206 HAS SOUS 4226 HAS SOUPS 4213 WITH SCORE 4227.228
AT ITER 1368 NEW BEST:: SOT 27937 SOS 14227 HAS SOPS 14205 HAS SOUS 4225 HAS SOUPS 4212 WITH SCORE 4226.227
AT ITER 1375 NEW BEST:: SOT 27937 SOS 14271 HAS SOPS 14249 HAS SOUS 4221 HAS SOUPS 4208 WITH SCORE 4222.271
AT ITER 1392 NEW BEST:: SOT 27929 SOS 14263 HAS SOPS 14241 HAS SOUS 4205 HAS SOUPS 4192 WITH SCORE 4206.263
AT ITER 1401 NEW BEST:: SOT 27929 SOS 14263 HAS SOPS 14241 HAS SOUS 4204 HAS SOUPS 4191 WITH SCORE 4205.263
AT ITER 1415 NEW BEST:: SOT 27918 SOS 14236 HAS SOPS 14214 HAS SOUS 4201 HAS SOUPS 4188 WITH SCORE 4202.236
AT ITER 1417 NEW BEST:: SOT 27909 SOS 14227 HAS SOPS 14205 HAS SOUS 4195 HAS SOUPS 4182 WITH SCORE 4196.227
AT ITER 1456 NEW BEST:: SOT 27909 SOS 14227 HAS SOPS 14205 HAS SOUS 4179 HAS SOUPS 4166 WITH SCORE 4180.227
AT ITER 1465 NEW BEST:: SOT 27885 SOS 14203 HAS SOPS 14181 HAS SOUS 4145 HAS SOUPS 4132 WITH SCORE 4146.203
AT ITER 1469 NEW BEST:: SOT 27885 SOS 14203 HAS SOPS 14181 HAS SOUS 4144 HAS SOUPS 4131 WITH SCORE 4145.203
AT ITER 1486 NEW BEST:: SOT 27881 SOS 14204 HAS SOPS 14182 HAS SOUS 4124 HAS SOUPS 4111 WITH SCORE 4125.204
AT ITER 1488 NEW BEST:: SOT 27877 SOS 14200 HAS SOPS 14178 HAS SOUS 4116 HAS SOUPS 4103 WITH SCORE 4117.2
AT ITER 1506 NEW BEST:: SOT 27874 SOS 14194 HAS SOPS 14172 HAS SOUS 4113 HAS SOUPS 4100 WITH SCORE 4114.194
AT ITER 1529 NEW BEST:: SOT 27846 SOS 14158 HAS SOPS 14136 HAS SOUS 4103 HAS SOUPS 4090 WITH SCORE 4104.158
AT ITER 1548 NEW BEST:: SOT 27826 SOS 14405 HAS SOPS 14383 HAS SOUS 4101 HAS SOUPS 4088 WITH SCORE 4102.405
AT ITER 1550 NEW BEST:: SOT 27823 SOS 14400 HAS SOPS 14378 HAS SOUS 4099 HAS SOUPS 4086 WITH SCORE 4100.4
AT ITER 1554 NEW BEST:: SOT 27773 SOS 14300 HAS SOPS 14278 HAS SOUS 4042 HAS SOUPS 4029 WITH SCORE 4043.3
AT ITER 1560 NEW BEST:: SOT 27767 SOS 14298 HAS SOPS 14276 HAS SOUS 4039 HAS SOUPS 4026 WITH SCORE 4040.298
AT ITER 1573 NEW BEST:: SOT 27785 SOS 14277 HAS SOPS 14255 HAS SOUS 4035 HAS SOUPS 4022 WITH SCORE 4036.277
AT ITER 1575 NEW BEST:: SOT 27798 SOS 14305 HAS SOPS 14283 HAS SOUS 4026 HAS SOUPS 4013 WITH SCORE 4027.305
AT ITER 1585 NEW BEST:: SOT 27799 SOS 14303 HAS SOPS 14281 HAS SOUS 4024 HAS SOUPS 4011 WITH SCORE 4025.303
AT ITER 1654 NEW BEST:: SOT 27766 SOS 14226 HAS SOPS 14204 HAS SOUS 3998 HAS SOUPS 3985 WITH SCORE 3999.226
AT ITER 1673 NEW BEST:: SOT 27764 SOS 14066 HAS SOPS 14044 HAS SOUS 3986 HAS SOUPS 3973 WITH SCORE 3987.066
AT ITER 1676 NEW BEST:: SOT 27733 SOS 14012 HAS SOPS 13990 HAS SOUS 3984 HAS SOUPS 3971 WITH SCORE 3985.012
AT ITER 1678 NEW BEST:: SOT 27716 SOS 13967 HAS SOPS 13945 HAS SOUS 3983 HAS SOUPS 3970 WITH SCORE 3983.967
AT ITER 1682 NEW BEST:: SOT 27701 SOS 13964 HAS SOPS 13942 HAS SOUS 3983 HAS SOUPS 3970 WITH SCORE 3983.964
AT ITER 1701 NEW BEST:: SOT 27701 SOS 13965 HAS SOPS 13943 HAS SOUS 3973 HAS SOUPS 3960 WITH SCORE 3973.965
AT ITER 1711 NEW BEST:: SOT 27697 SOS 13953 HAS SOPS 13931 HAS SOUS 3971 HAS SOUPS 3958 WITH SCORE 3971.953
AT ITER 1738 NEW BEST:: SOT 27697 SOS 13953 HAS SOPS 13931 HAS SOUS 3963 HAS SOUPS 3950 WITH SCORE 3963.953
AT ITER 1748 NEW BEST:: SOT 27695 SOS 13951 HAS SOPS 13929 HAS SOUS 3954 HAS SOUPS 3941 WITH SCORE 3954.951
AT ITER 1765 NEW BEST:: SOT 27690 SOS 13941 HAS SOPS 13919 HAS SOUS 3952 HAS SOUPS 3939 WITH SCORE 3952.941
AT ITER 1767 NEW BEST:: SOT 27678 SOS 13923 HAS SOPS 13901 HAS SOUS 3940 HAS SOUPS 3927 WITH SCORE 3940.923
AT ITER 1777 NEW BEST:: SOT 27683 SOS 13939 HAS SOPS 13917 HAS SOUS 3939 HAS SOUPS 3926 WITH SCORE 3939.939
AT ITER 1778 NEW BEST:: SOT 27673 SOS 13929 HAS SOPS 13907 HAS SOUS 3929 HAS SOUPS 3916 WITH SCORE 3929.929
AT ITER 1782 NEW BEST:: SOT 27560 SOS 13678 HAS SOPS 13656 HAS SOUS 3840 HAS SOUPS 3827 WITH SCORE 3840.678
AT ITER 1784 NEW BEST:: SOT 27560 SOS 13682 HAS SOPS 13660 HAS SOUS 3836 HAS SOUPS 3823 WITH SCORE 3836.682
AT ITER 1801 NEW BEST:: SOT 27545 SOS 13667 HAS SOPS 13645 HAS SOUS 3832 HAS SOUPS 3819 WITH SCORE 3832.667
AT ITER 1811 NEW BEST:: SOT 27536 SOS 13658 HAS SOPS 13636 HAS SOUS 3820 HAS SOUPS 3807 WITH SCORE 3820.658
AT ITER 1822 NEW BEST:: SOT 27535 SOS 13656 HAS SOPS 13634 HAS SOUS 3820 HAS SOUPS 3807 WITH SCORE 3820.656
AT ITER 1843 NEW BEST:: SOT 27535 SOS 13656 HAS SOPS 13634 HAS SOUS 3818 HAS SOUPS 3805 WITH SCORE 3818.656
AT ITER 1857 NEW BEST:: SOT 27535 SOS 13656 HAS SOPS 13634 HAS SOUS 3817 HAS SOUPS 3804 WITH SCORE 3817.656
AT ITER 1887 NEW BEST:: SOT 27535 SOS 13656 HAS SOPS 13634 HAS SOUS 3816 HAS SOUPS 3803 WITH SCORE 3816.656
AT ITER 1918 NEW BEST:: SOT 27529 SOS 13639 HAS SOPS 13617 HAS SOUS 3815 HAS SOUPS 3802 WITH SCORE 3815.639
AT ITER 1919 NEW BEST:: SOT 27526 SOS 13633 HAS SOPS 13611 HAS SOUS 3815 HAS SOUPS 3802 WITH SCORE 3815.633
AT ITER 1981 NEW BEST:: SOT 27520 SOS 13625 HAS SOPS 13603 HAS SOUS 3807 HAS SOUPS 3794 WITH SCORE 3807.625
AT ITER 1982 NEW BEST:: SOT 27520 SOS 13625 HAS SOPS 13603 HAS SOUS 3806 HAS SOUPS 3793 WITH SCORE 3806.625
AT ITER 1984 NEW BEST:: SOT 27518 SOS 13623 HAS SOPS 13601 HAS SOUS 3802 HAS SOUPS 3789 WITH SCORE 3802.623
AT ITER 2000 NEW BEST:: SOT 27487 SOS 12536 HAS SOPS 12514 HAS SOUS 3797 HAS SOUPS 3784 WITH SCORE 3796.536
AT ITER 2014 NEW BEST:: SOT 27488 SOS 12535 HAS SOPS 12513 HAS SOUS 3786 HAS SOUPS 3773 WITH SCORE 3785.535
AT ITER 2032 NEW BEST:: SOT 27488 SOS 12533 HAS SOPS 12511 HAS SOUS 3785 HAS SOUPS 3772 WITH SCORE 3784.533
AT ITER 2036 NEW BEST:: SOT 27486 SOS 12530 HAS SOPS 12508 HAS SOUS 3784 HAS SOUPS 3771 WITH SCORE 3783.53
AT ITER 2046 NEW BEST:: SOT 27502 SOS 12530 HAS SOPS 12508 HAS SOUS 3768 HAS SOUPS 3755 WITH SCORE 3767.53
AT ITER 2057 NEW BEST:: SOT 27494 SOS 12509 HAS SOPS 12487 HAS SOUS 3767 HAS SOUPS 3754 WITH SCORE 3766.509
AT ITER 2065 NEW BEST:: SOT 27493 SOS 12508 HAS SOPS 12486 HAS SOUS 3766 HAS SOUPS 3753 WITH SCORE 3765.508
AT ITER 2072 NEW BEST:: SOT 27516 SOS 12552 HAS SOPS 12530 HAS SOUS 3764 HAS SOUPS 3751 WITH SCORE 3763.552
AT ITER 2092 NEW BEST:: SOT 27524 SOS 12560 HAS SOPS 12538 HAS SOUS 3760 HAS SOUPS 3747 WITH SCORE 3759.56
AT ITER 2100 NEW BEST:: SOT 27518 SOS 12554 HAS SOPS 12532 HAS SOUS 3760 HAS SOUPS 3747 WITH SCORE 3759.554
AT ITER 2121 NEW BEST:: SOT 27518 SOS 12559 HAS SOPS 12537 HAS SOUS 3753 HAS SOUPS 3740 WITH SCORE 3752.559
AT ITER 2155 NEW BEST:: SOT 27518 SOS 12559 HAS SOPS 12537 HAS SOUS 3750 HAS SOUPS 3737 WITH SCORE 3749.559
AT ITER 2162 NEW BEST:: SOT 27519 SOS 12565 HAS SOPS 12543 HAS SOUS 3749 HAS SOUPS 3736 WITH SCORE 3748.565
AT ITER 2196 NEW BEST:: SOT 27510 SOS 12544 HAS SOPS 12522 HAS SOUS 3746 HAS SOUPS 3733 WITH SCORE 3745.544
AT ITER 2202 NEW BEST:: SOT 27500 SOS 12534 HAS SOPS 12512 HAS SOUS 3742 HAS SOUPS 3729 WITH SCORE 3741.534
AT ITER 2204 NEW BEST:: SOT 27497 SOS 12531 HAS SOPS 12509 HAS SOUS 3736 HAS SOUPS 3723 WITH SCORE 3735.531
AT ITER 2208 NEW BEST:: SOT 27471 SOS 13330 HAS SOPS 13308 HAS SOUS 3723 HAS SOUPS 3710 WITH SCORE 3723.33
AT ITER 2211 NEW BEST:: SOT 27473 SOS 13332 HAS SOPS 13310 HAS SOUS 3721 HAS SOUPS 3708 WITH SCORE 3721.332
AT ITER 2215 NEW BEST:: SOT 27468 SOS 13327 HAS SOPS 13305 HAS SOUS 3711 HAS SOUPS 3698 WITH SCORE 3711.327
AT ITER 2267 NEW BEST:: SOT 27429 SOS 13256 HAS SOPS 13234 HAS SOUS 3707 HAS SOUPS 3694 WITH SCORE 3707.256
AT ITER 2294 NEW BEST:: SOT 27418 SOS 13242 HAS SOPS 13220 HAS SOUS 3704 HAS SOUPS 3691 WITH SCORE 3704.242
AT ITER 2300 NEW BEST:: SOT 27418 SOS 13239 HAS SOPS 13217 HAS SOUS 3701 HAS SOUPS 3688 WITH SCORE 3701.239
AT ITER 2326 NEW BEST:: SOT 27415 SOS 13236 HAS SOPS 13214 HAS SOUS 3690 HAS SOUPS 3677 WITH SCORE 3690.236
AT ITER 2343 NEW BEST:: SOT 27421 SOS 13242 HAS SOPS 13220 HAS SOUS 3684 HAS SOUPS 3671 WITH SCORE 3684.242
AT ITER 2430 NEW BEST:: SOT 27421 SOS 13241 HAS SOPS 13219 HAS SOUS 3683 HAS SOUPS 3670 WITH SCORE 3683.241
AT ITER 2459 NEW BEST:: SOT 27415 SOS 13225 HAS SOPS 13203 HAS SOUS 3671 HAS SOUPS 3658 WITH SCORE 3671.225
AT ITER 2462 NEW BEST:: SOT 27413 SOS 13223 HAS SOPS 13201 HAS SOUS 3669 HAS SOUPS 3656 WITH SCORE 3669.223
AT ITER 2482 NEW BEST:: SOT 27410 SOS 13220 HAS SOPS 13198 HAS SOUS 3666 HAS SOUPS 3653 WITH SCORE 3666.22
AT ITER 2494 NEW BEST:: SOT 27408 SOS 13209 HAS SOPS 13187 HAS SOUS 3664 HAS SOUPS 3651 WITH SCORE 3664.209
AT ITER 2499 NEW BEST:: SOT 27469 SOS 13306 HAS SOPS 13284 HAS SOUS 3661 HAS SOUPS 3648 WITH SCORE 3661.306
AT ITER 2521 NEW BEST:: SOT 27466 SOS 13303 HAS SOPS 13281 HAS SOUS 3654 HAS SOUPS 3641 WITH SCORE 3654.303
AT ITER 2547 NEW BEST:: SOT 27465 SOS 13049 HAS SOPS 13027 HAS SOUS 3653 HAS SOUPS 3640 WITH SCORE 3653.049
AT ITER 2559 NEW BEST:: SOT 27479 SOS 13072 HAS SOPS 13050 HAS SOUS 3650 HAS SOUPS 3637 WITH SCORE 3650.072
AT ITER 2574 NEW BEST:: SOT 27470 SOS 13065 HAS SOPS 13043 HAS SOUS 3641 HAS SOUPS 3628 WITH SCORE 3641.065
AT ITER 2618 NEW BEST:: SOT 27469 SOS 13064 HAS SOPS 13042 HAS SOUS 3641 HAS SOUPS 3628 WITH SCORE 3641.064
AT ITER 2658 NEW BEST:: SOT 27469 SOS 13082 HAS SOPS 13060 HAS SOUS 3635 HAS SOUPS 3622 WITH SCORE 3635.082
AT ITER 2676 NEW BEST:: SOT 27468 SOS 13081 HAS SOPS 13059 HAS SOUS 3634 HAS SOUPS 3621 WITH SCORE 3634.081
AT ITER 2723 NEW BEST:: SOT 27467 SOS 13080 HAS SOPS 13058 HAS SOUS 3633 HAS SOUPS 3620 WITH SCORE 3633.08
AT ITER 2729 NEW BEST:: SOT 27464 SOS 13054 HAS SOPS 13032 HAS SOUS 3620 HAS SOUPS 3607 WITH SCORE 3620.054
AT ITER 2781 NEW BEST:: SOT 27463 SOS 13053 HAS SOPS 13031 HAS SOUS 3619 HAS SOUPS 3606 WITH SCORE 3619.053
AT ITER 2789 NEW BEST:: SOT 27460 SOS 13046 HAS SOPS 13024 HAS SOUS 3610 HAS SOUPS 3597 WITH SCORE 3610.046
AT ITER 2805 NEW BEST:: SOT 27453 SOS 13406 HAS SOPS 13384 HAS SOUS 3609 HAS SOUPS 3596 WITH SCORE 3609.406
AT ITER 2837 NEW BEST:: SOT 27446 SOS 13399 HAS SOPS 13377 HAS SOUS 3602 HAS SOUPS 3589 WITH SCORE 3602.399
AT ITER 2843 NEW BEST:: SOT 27437 SOS 13373 HAS SOPS 13351 HAS SOUS 3600 HAS SOUPS 3587 WITH SCORE 3600.373
AT ITER 2857 NEW BEST:: SOT 27427 SOS 13328 HAS SOPS 13306 HAS SOUS 3586 HAS SOUPS 3573 WITH SCORE 3586.328
AT ITER 2873 NEW BEST:: SOT 27390 SOS 13291 HAS SOPS 13269 HAS SOUS 3586 HAS SOUPS 3573 WITH SCORE 3586.291
AT ITER 2907 NEW BEST:: SOT 27373 SOS 13335 HAS SOPS 13313 HAS SOUS 3585 HAS SOUPS 3572 WITH SCORE 3585.335
AT ITER 2908 NEW BEST:: SOT 27374 SOS 13324 HAS SOPS 13302 HAS SOUS 3580 HAS SOUPS 3567 WITH SCORE 3580.324
AT ITER 2950 NEW BEST:: SOT 27371 SOS 13321 HAS SOPS 13299 HAS SOUS 3577 HAS SOUPS 3564 WITH SCORE 3577.321
AT ITER 2956 NEW BEST:: SOT 27369 SOS 13317 HAS SOPS 13295 HAS SOUS 3573 HAS SOUPS 3560 WITH SCORE 3573.317
AT ITER 3017 NEW BEST:: SOT 27370 SOS 13318 HAS SOPS 13296 HAS SOUS 3572 HAS SOUPS 3559 WITH SCORE 3572.318
AT ITER 3039 NEW BEST:: SOT 27369 SOS 13318 HAS SOPS 13296 HAS SOUS 3571 HAS SOUPS 3558 WITH SCORE 3571.318
AT ITER 3041 NEW BEST:: SOT 27368 SOS 13315 HAS SOPS 13293 HAS SOUS 3570 HAS SOUPS 3557 WITH SCORE 3570.315
AT ITER 3048 NEW BEST:: SOT 27367 SOS 13314 HAS SOPS 13292 HAS SOUS 3569 HAS SOUPS 3556 WITH SCORE 3569.314
AT ITER 3100 NEW BEST:: SOT 27353 SOS 13313 HAS SOPS 13291 HAS SOUS 3564 HAS SOUPS 3551 WITH SCORE 3564.313
AT ITER 3130 NEW BEST:: SOT 27352 SOS 13312 HAS SOPS 13290 HAS SOUS 3564 HAS SOUPS 3551 WITH SCORE 3564.312
AT ITER 3183 NEW BEST:: SOT 27348 SOS 13293 HAS SOPS 13271 HAS SOUS 3551 HAS SOUPS 3538 WITH SCORE 3551.293
AT ITER 3195 NEW BEST:: SOT 27347 SOS 13292 HAS SOPS 13270 HAS SOUS 3550 HAS SOUPS 3537 WITH SCORE 3550.292
AT ITER 3196 NEW BEST:: SOT 27339 SOS 13289 HAS SOPS 13267 HAS SOUS 3544 HAS SOUPS 3531 WITH SCORE 3544.289
AT ITER 3205 NEW BEST:: SOT 27337 SOS 13287 HAS SOPS 13265 HAS SOUS 3541 HAS SOUPS 3528 WITH SCORE 3541.287
AT ITER 3211 NEW BEST:: SOT 27327 SOS 13277 HAS SOPS 13255 HAS SOUS 3512 HAS SOUPS 3499 WITH SCORE 3512.277
AT ITER 3223 NEW BEST:: SOT 27322 SOS 13272 HAS SOPS 13250 HAS SOUS 3507 HAS SOUPS 3494 WITH SCORE 3507.272
AT ITER 3270 NEW BEST:: SOT 27315 SOS 13264 HAS SOPS 13242 HAS SOUS 3495 HAS SOUPS 3482 WITH SCORE 3495.264
AT ITER 3278 NEW BEST:: SOT 27294 SOS 13243 HAS SOPS 13221 HAS SOUS 3487 HAS SOUPS 3474 WITH SCORE 3487.243
AT ITER 3284 NEW BEST:: SOT 27288 SOS 13235 HAS SOPS 13213 HAS SOUS 3482 HAS SOUPS 3469 WITH SCORE 3482.235
AT ITER 3360 NEW BEST:: SOT 27276 SOS 13237 HAS SOPS 13215 HAS SOUS 3478 HAS SOUPS 3465 WITH SCORE 3478.237
AT ITER 3365 NEW BEST:: SOT 27278 SOS 13239 HAS SOPS 13217 HAS SOUS 3472 HAS SOUPS 3459 WITH SCORE 3472.239
AT ITER 3416 NEW BEST:: SOT 27277 SOS 13313 HAS SOPS 13291 HAS SOUS 3467 HAS SOUPS 3454 WITH SCORE 3467.313
AT ITER 3491 NEW BEST:: SOT 27341 SOS 13395 HAS SOPS 13373 HAS SOUS 3462 HAS SOUPS 3449 WITH SCORE 3462.395
AT ITER 3622 NEW BEST:: SOT 27339 SOS 13391 HAS SOPS 13369 HAS SOUS 3460 HAS SOUPS 3447 WITH SCORE 3460.391
AT ITER 3644 NEW BEST:: SOT 27328 SOS 13380 HAS SOPS 13358 HAS SOUS 3449 HAS SOUPS 3436 WITH SCORE 3449.38
AT ITER 3651 NEW BEST:: SOT 27339 SOS 13394 HAS SOPS 13372 HAS SOUS 3447 HAS SOUPS 3434 WITH SCORE 3447.394
AT ITER 3715 NEW BEST:: SOT 27337 SOS 13392 HAS SOPS 13370 HAS SOUS 3427 HAS SOUPS 3414 WITH SCORE 3427.392
AT ITER 3717 NEW BEST:: SOT 27335 SOS 13390 HAS SOPS 13368 HAS SOUS 3425 HAS SOUPS 3412 WITH SCORE 3425.39
AT ITER 3722 NEW BEST:: SOT 27332 SOS 13379 HAS SOPS 13357 HAS SOUS 3422 HAS SOUPS 3409 WITH SCORE 3422.379
AT ITER 3810 NEW BEST:: SOT 27318 SOS 13365 HAS SOPS 13343 HAS SOUS 3408 HAS SOUPS 3395 WITH SCORE 3408.365
AT ITER 3823 NEW BEST:: SOT 27286 SOS 13333 HAS SOPS 13311 HAS SOUS 3384 HAS SOUPS 3371 WITH SCORE 3384.333
AT ITER 3830 NEW BEST:: SOT 27287 SOS 13334 HAS SOPS 13312 HAS SOUS 3376 HAS SOUPS 3363 WITH SCORE 3376.334
AT ITER 3915 NEW BEST:: SOT 27263 SOS 13298 HAS SOPS 13276 HAS SOUS 3376 HAS SOUPS 3363 WITH SCORE 3376.298
AT ITER 3933 NEW BEST:: SOT 27261 SOS 13296 HAS SOPS 13274 HAS SOUS 3374 HAS SOUPS 3361 WITH SCORE 3374.296
AT ITER 3952 NEW BEST:: SOT 27260 SOS 13295 HAS SOPS 13273 HAS SOUS 3373 HAS SOUPS 3360 WITH SCORE 3373.295
AT ITER 3991 NEW BEST:: SOT 27263 SOS 13301 HAS SOPS 13279 HAS SOUS 3372 HAS SOUPS 3359 WITH SCORE 3372.301
AT ITER 4037 NEW BEST:: SOT 27241 SOS 13278 HAS SOPS 13256 HAS SOUS 3356 HAS SOUPS 3343 WITH SCORE 3356.278
AT ITER 4054 NEW BEST:: SOT 27243 SOS 13339 HAS SOPS 13317 HAS SOUS 3355 HAS SOUPS 3342 WITH SCORE 3355.339
AT ITER 4055 NEW BEST:: SOT 27207 SOS 13254 HAS SOPS 13232 HAS SOUS 3312 HAS SOUPS 3299 WITH SCORE 3312.254
AT ITER 4061 NEW BEST:: SOT 27204 SOS 13251 HAS SOPS 13229 HAS SOUS 3309 HAS SOUPS 3296 WITH SCORE 3309.251
AT ITER 4105 NEW BEST:: SOT 27207 SOS 13254 HAS SOPS 13232 HAS SOUS 3300 HAS SOUPS 3287 WITH SCORE 3300.254
AT ITER 4115 NEW BEST:: SOT 27204 SOS 13251 HAS SOPS 13229 HAS SOUS 3290 HAS SOUPS 3277 WITH SCORE 3290.251
AT ITER 4168 NEW BEST:: SOT 27213 SOS 13254 HAS SOPS 13232 HAS SOUS 3286 HAS SOUPS 3273 WITH SCORE 3286.254
AT ITER 4238 NEW BEST:: SOT 27209 SOS 13250 HAS SOPS 13228 HAS SOUS 3282 HAS SOUPS 3269 WITH SCORE 3282.25
AT ITER 4258 NEW BEST:: SOT 27209 SOS 13250 HAS SOPS 13228 HAS SOUS 3277 HAS SOUPS 3264 WITH SCORE 3277.25
AT ITER 4299 NEW BEST:: SOT 27211 SOS 13252 HAS SOPS 13230 HAS SOUS 3273 HAS SOUPS 3260 WITH SCORE 3273.252
AT ITER 4335 NEW BEST:: SOT 27245 SOS 13297 HAS SOPS 13275 HAS SOUS 3268 HAS SOUPS 3255 WITH SCORE 3268.297
AT ITER 4357 NEW BEST:: SOT 27249 SOS 13282 HAS SOPS 13260 HAS SOUS 3264 HAS SOUPS 3251 WITH SCORE 3264.282
AT ITER 4394 NEW BEST:: SOT 27250 SOS 13283 HAS SOPS 13261 HAS SOUS 3262 HAS SOUPS 3249 WITH SCORE 3262.283
AT ITER 4436 NEW BEST:: SOT 27248 SOS 13281 HAS SOPS 13259 HAS SOUS 3260 HAS SOUPS 3247 WITH SCORE 3260.281
AT ITER 4472 NEW BEST:: SOT 27242 SOS 13266 HAS SOPS 13244 HAS SOUS 3244 HAS SOUPS 3231 WITH SCORE 3244.266
AT ITER 4483 NEW BEST:: SOT 27244 SOS 13322 HAS SOPS 13300 HAS SOUS 3240 HAS SOUPS 3227 WITH SCORE 3240.322
AT ITER 4484 NEW BEST:: SOT 27242 SOS 13321 HAS SOPS 13299 HAS SOUS 3234 HAS SOUPS 3221 WITH SCORE 3234.321
AT ITER 4504 NEW BEST:: SOT 27242 SOS 13321 HAS SOPS 13299 HAS SOUS 3231 HAS SOUPS 3218 WITH SCORE 3231.321
AT ITER 4534 NEW BEST:: SOT 27240 SOS 13319 HAS SOPS 13297 HAS SOUS 3229 HAS SOUPS 3216 WITH SCORE 3229.319
AT ITER 4539 NEW BEST:: SOT 27240 SOS 13319 HAS SOPS 13297 HAS SOUS 3226 HAS SOUPS 3213 WITH SCORE 3226.319
AT ITER 4601 NEW BEST:: SOT 27234 SOS 13313 HAS SOPS 13291 HAS SOUS 3222 HAS SOUPS 3209 WITH SCORE 3222.313
AT ITER 4608 NEW BEST:: SOT 27232 SOS 13311 HAS SOPS 13289 HAS SOUS 3218 HAS SOUPS 3205 WITH SCORE 3218.311
AT ITER 4621 NEW BEST:: SOT 27230 SOS 13309 HAS SOPS 13287 HAS SOUS 3216 HAS SOUPS 3203 WITH SCORE 3216.309
AT ITER 4658 NEW BEST:: SOT 27229 SOS 13308 HAS SOPS 13286 HAS SOUS 3216 HAS SOUPS 3203 WITH SCORE 3216.308
AT ITER 4661 NEW BEST:: SOT 27231 SOS 13310 HAS SOPS 13288 HAS SOUS 3215 HAS SOUPS 3202 WITH SCORE 3215.31
AT ITER 4705 NEW BEST:: SOT 27214 SOS 12682 HAS SOPS 12660 HAS SOUS 3211 HAS SOUPS 3198 WITH SCORE 3210.682
AT ITER 4823 NEW BEST:: SOT 27214 SOS 12682 HAS SOPS 12660 HAS SOUS 3207 HAS SOUPS 3194 WITH SCORE 3206.682
AT ITER 4832 NEW BEST:: SOT 27208 SOS 12670 HAS SOPS 12648 HAS SOUS 3206 HAS SOUPS 3193 WITH SCORE 3205.67
AT ITER 4912 NEW BEST:: SOT 27203 SOS 12665 HAS SOPS 12643 HAS SOUS 3201 HAS SOUPS 3188 WITH SCORE 3200.665
AT ITER 4969 NEW BEST:: SOT 27193 SOS 12655 HAS SOPS 12633 HAS SOUS 3201 HAS SOUPS 3188 WITH SCORE 3200.655
AT ITER 4972 NEW BEST:: SOT 27217 SOS 12710 HAS SOPS 12688 HAS SOUS 3198 HAS SOUPS 3185 WITH SCORE 3197.71
AT ITER 5003 NEW BEST:: SOT 27216 SOS 12695 HAS SOPS 12673 HAS SOUS 3197 HAS SOUPS 3184 WITH SCORE 3196.695
AT ITER 5075 NEW BEST:: SOT 27219 SOS 12696 HAS SOPS 12674 HAS SOUS 3196 HAS SOUPS 3183 WITH SCORE 3195.696
AT ITER 5159 NEW BEST:: SOT 27207 SOS 12654 HAS SOPS 12632 HAS SOUS 3195 HAS SOUPS 3182 WITH SCORE 3194.654
AT ITER 5250 NEW BEST:: SOT 27207 SOS 12654 HAS SOPS 12632 HAS SOUS 3193 HAS SOUPS 3180 WITH SCORE 3192.654
AT ITER 5262 NEW BEST:: SOT 27205 SOS 12648 HAS SOPS 12626 HAS SOUS 3193 HAS SOUPS 3180 WITH SCORE 3192.648
AT ITER 5266 NEW BEST:: SOT 27206 SOS 12653 HAS SOPS 12631 HAS SOUS 3192 HAS SOUPS 3179 WITH SCORE 3191.653
AT ITER 5324 NEW BEST:: SOT 27204 SOS 12648 HAS SOPS 12626 HAS SOUS 3189 HAS SOUPS 3176 WITH SCORE 3188.648
AT ITER 5496 NEW BEST:: SOT 27201 SOS 12646 HAS SOPS 12624 HAS SOUS 3189 HAS SOUPS 3176 WITH SCORE 3188.646
AT ITER 5601 NEW BEST:: SOT 27216 SOS 12342 HAS SOPS 12320 HAS SOUS 3186 HAS SOUPS 3173 WITH SCORE 3185.342
AT ITER 5605 NEW BEST:: SOT 27215 SOS 12340 HAS SOPS 12318 HAS SOUS 3185 HAS SOUPS 3172 WITH SCORE 3184.34
AT ITER 5626 NEW BEST:: SOT 27213 SOS 12338 HAS SOPS 12316 HAS SOUS 3182 HAS SOUPS 3169 WITH SCORE 3181.338
AT ITER 5629 NEW BEST:: SOT 27198 SOS 12308 HAS SOPS 12286 HAS SOUS 3169 HAS SOUPS 3156 WITH SCORE 3168.308
AT ITER 5654 NEW BEST:: SOT 27195 SOS 12293 HAS SOPS 12271 HAS SOUS 3166 HAS SOUPS 3153 WITH SCORE 3165.293
AT ITER 5657 NEW BEST:: SOT 27195 SOS 12293 HAS SOPS 12271 HAS SOUS 3161 HAS SOUPS 3148 WITH SCORE 3160.293
AT ITER 5730 NEW BEST:: SOT 27185 SOS 12276 HAS SOPS 12254 HAS SOUS 3159 HAS SOUPS 3146 WITH SCORE 3158.276
AT ITER 5958 NEW BEST:: SOT 27181 SOS 12265 HAS SOPS 12243 HAS SOUS 3154 HAS SOUPS 3141 WITH SCORE 3153.265
AT ITER 6023 NEW BEST:: SOT 27179 SOS 12263 HAS SOPS 12241 HAS SOUS 3152 HAS SOUPS 3139 WITH SCORE 3151.263
AT ITER 6114 NEW BEST:: SOT 27149 SOS 12305 HAS SOPS 12283 HAS SOUS 3146 HAS SOUPS 3133 WITH SCORE 3145.305
AT ITER 6137 NEW BEST:: SOT 27144 SOS 12301 HAS SOPS 12279 HAS SOUS 3146 HAS SOUPS 3133 WITH SCORE 3145.301
AT ITER 6157 NEW BEST:: SOT 27143 SOS 12300 HAS SOPS 12278 HAS SOUS 3146 HAS SOUPS 3133 WITH SCORE 3145.3
AT ITER 6215 NEW BEST:: SOT 27142 SOS 12299 HAS SOPS 12277 HAS SOUS 3146 HAS SOUPS 3133 WITH SCORE 3145.299
AT ITER 6229 NEW BEST:: SOT 27132 SOS 12269 HAS SOPS 12247 HAS SOUS 3141 HAS SOUPS 3128 WITH SCORE 3140.269
AT ITER 6238 NEW BEST:: SOT 27099 SOS 12226 HAS SOPS 12204 HAS SOUS 3130 HAS SOUPS 3117 WITH SCORE 3129.226
AT ITER 6267 NEW BEST:: SOT 27110 SOS 12232 HAS SOPS 12210 HAS SOUS 3126 HAS SOUPS 3113 WITH SCORE 3125.232
AT ITER 6409 NEW BEST:: SOT 27104 SOS 12220 HAS SOPS 12198 HAS SOUS 3123 HAS SOUPS 3110 WITH SCORE 3122.22
AT ITER 6445 NEW BEST:: SOT 27104 SOS 12218 HAS SOPS 12196 HAS SOUS 3123 HAS SOUPS 3110 WITH SCORE 3122.218
AT ITER 6452 NEW BEST:: SOT 27102 SOS 12212 HAS SOPS 12190 HAS SOUS 3119 HAS SOUPS 3106 WITH SCORE 3118.212
AT ITER 6466 NEW BEST:: SOT 27100 SOS 12209 HAS SOPS 12187 HAS SOUS 3118 HAS SOUPS 3105 WITH SCORE 3117.209
AT ITER 6569 NEW BEST:: SOT 27099 SOS 12208 HAS SOPS 12186 HAS SOUS 3117 HAS SOUPS 3104 WITH SCORE 3116.208
AT ITER 6594 NEW BEST:: SOT 27097 SOS 12206 HAS SOPS 12184 HAS SOUS 3113 HAS SOUPS 3100 WITH SCORE 3112.206
AT ITER 6601 NEW BEST:: SOT 27093 SOS 12202 HAS SOPS 12180 HAS SOUS 3112 HAS SOUPS 3099 WITH SCORE 3111.202
AT ITER 6631 NEW BEST:: SOT 27097 SOS 12192 HAS SOPS 12170 HAS SOUS 3110 HAS SOUPS 3097 WITH SCORE 3109.192
AT ITER 6686 NEW BEST:: SOT 27100 SOS 12202 HAS SOPS 12180 HAS SOUS 3109 HAS SOUPS 3096 WITH SCORE 3108.202
AT ITER 6741 NEW BEST:: SOT 27101 SOS 12200 HAS SOPS 12178 HAS SOUS 3109 HAS SOUPS 3096 WITH SCORE 3108.2
AT ITER 6776 NEW BEST:: SOT 27101 SOS 12200 HAS SOPS 12178 HAS SOUS 3102 HAS SOUPS 3089 WITH SCORE 3101.2
AT ITER 6935 NEW BEST:: SOT 27102 SOS 12196 HAS SOPS 12174 HAS SOUS 3098 HAS SOUPS 3085 WITH SCORE 3097.196
AT ITER 6995 NEW BEST:: SOT 27100 SOS 12192 HAS SOPS 12170 HAS SOUS 3098 HAS SOUPS 3085 WITH SCORE 3097.192
AT ITER 7068 NEW BEST:: SOT 27100 SOS 12192 HAS SOPS 12170 HAS SOUS 3096 HAS SOUPS 3083 WITH SCORE 3095.192
AT ITER 7096 NEW BEST:: SOT 27097 SOS 12180 HAS SOPS 12158 HAS SOUS 3090 HAS SOUPS 3077 WITH SCORE 3089.18
AT ITER 7099 NEW BEST:: SOT 27095 SOS 12178 HAS SOPS 12156 HAS SOUS 3088 HAS SOUPS 3075 WITH SCORE 3087.178
AT ITER 7129 NEW BEST:: SOT 27095 SOS 12239 HAS SOPS 12217 HAS SOUS 3087 HAS SOUPS 3074 WITH SCORE 3086.239
AT ITER 7162 NEW BEST:: SOT 27093 SOS 12237 HAS SOPS 12215 HAS SOUS 3085 HAS SOUPS 3072 WITH SCORE 3084.237
AT ITER 7166 NEW BEST:: SOT 27091 SOS 12235 HAS SOPS 12213 HAS SOUS 3083 HAS SOUPS 3070 WITH SCORE 3082.235
AT ITER 7168 NEW BEST:: SOT 27090 SOS 12234 HAS SOPS 12212 HAS SOUS 3082 HAS SOUPS 3069 WITH SCORE 3081.234
AT ITER 7178 NEW BEST:: SOT 27088 SOS 12232 HAS SOPS 12210 HAS SOUS 3076 HAS SOUPS 3063 WITH SCORE 3075.232
AT ITER 7224 NEW BEST:: SOT 27092 SOS 12236 HAS SOPS 12214 HAS SOUS 3075 HAS SOUPS 3062 WITH SCORE 3074.236
AT ITER 7236 NEW BEST:: SOT 27092 SOS 12236 HAS SOPS 12214 HAS SOUS 3073 HAS SOUPS 3060 WITH SCORE 3072.236
AT ITER 7237 NEW BEST:: SOT 27084 SOS 12215 HAS SOPS 12193 HAS SOUS 3062 HAS SOUPS 3049 WITH SCORE 3061.215
AT ITER 7259 NEW BEST:: SOT 27085 SOS 12216 HAS SOPS 12194 HAS SOUS 3061 HAS SOUPS 3048 WITH SCORE 3060.216
AT ITER 7344 NEW BEST:: SOT 27084 SOS 12215 HAS SOPS 12193 HAS SOUS 3058 HAS SOUPS 3045 WITH SCORE 3057.215
AT ITER 7425 NEW BEST:: SOT 27078 SOS 12209 HAS SOPS 12187 HAS SOUS 3046 HAS SOUPS 3033 WITH SCORE 3045.209
AT ITER 7427 NEW BEST:: SOT 27075 SOS 12206 HAS SOPS 12184 HAS SOUS 3044 HAS SOUPS 3031 WITH SCORE 3043.206
AT ITER 7503 NEW BEST:: SOT 27066 SOS 12189 HAS SOPS 12167 HAS SOUS 3042 HAS SOUPS 3029 WITH SCORE 3041.189
AT ITER 7525 NEW BEST:: SOT 27082 SOS 12223 HAS SOPS 12201 HAS SOUS 3041 HAS SOUPS 3028 WITH SCORE 3040.223
AT ITER 7550 NEW BEST:: SOT 27081 SOS 12221 HAS SOPS 12199 HAS SOUS 3041 HAS SOUPS 3028 WITH SCORE 3040.221
AT ITER 7780 NEW BEST:: SOT 27081 SOS 12221 HAS SOPS 12199 HAS SOUS 3040 HAS SOUPS 3027 WITH SCORE 3039.221
AT ITER 7961 NEW BEST:: SOT 27081 SOS 12223 HAS SOPS 12201 HAS SOUS 3039 HAS SOUPS 3026 WITH SCORE 3038.223
AT ITER 8383 NEW BEST:: SOT 27078 SOS 12214 HAS SOPS 12192 HAS SOUS 3036 HAS SOUPS 3023 WITH SCORE 3035.214
AT ITER 8469 NEW BEST:: SOT 27069 SOS 12196 HAS SOPS 12174 HAS SOUS 3036 HAS SOUPS 3023 WITH SCORE 3035.196
AT ITER 8558 NEW BEST:: SOT 27068 SOS 12195 HAS SOPS 12173 HAS SOUS 3035 HAS SOUPS 3022 WITH SCORE 3034.195
AT ITER 8610 NEW BEST:: SOT 27067 SOS 12186 HAS SOPS 12164 HAS SOUS 3025 HAS SOUPS 3012 WITH SCORE 3024.186
AT ITER 8745 NEW BEST:: SOT 27067 SOS 12187 HAS SOPS 12165 HAS SOUS 3024 HAS SOUPS 3011 WITH SCORE 3023.187
AT ITER 8856 NEW BEST:: SOT 27066 SOS 12185 HAS SOPS 12163 HAS SOUS 3024 HAS SOUPS 3011 WITH SCORE 3023.185
AT ITER 8857 NEW BEST:: SOT 27065 SOS 12184 HAS SOPS 12162 HAS SOUS 3022 HAS SOUPS 3009 WITH SCORE 3021.184
AT ITER 8875 NEW BEST:: SOT 27063 SOS 12182 HAS SOPS 12160 HAS SOUS 3018 HAS SOUPS 3005 WITH SCORE 3017.182
AT ITER 9102 NEW BEST:: SOT 27063 SOS 12180 HAS SOPS 12158 HAS SOUS 3018 HAS SOUPS 3005 WITH SCORE 3017.18
AT ITER 9206 NEW BEST:: SOT 27058 SOS 12175 HAS SOPS 12153 HAS SOUS 3017 HAS SOUPS 3004 WITH SCORE 3016.175
AT ITER 9215 NEW BEST:: SOT 27057 SOS 12174 HAS SOPS 12152 HAS SOUS 3014 HAS SOUPS 3001 WITH SCORE 3013.174
AT ITER 9583 NEW BEST:: SOT 27052 SOS 12169 HAS SOPS 12147 HAS SOUS 3013 HAS SOUPS 3000 WITH SCORE 3012.169
AT ITER 9618 NEW BEST:: SOT 27046 SOS 12159 HAS SOPS 12137 HAS SOUS 3009 HAS SOUPS 2996 WITH SCORE 3008.159
AT ITER 9648 NEW BEST:: SOT 27044 SOS 12153 HAS SOPS 12131 HAS SOUS 3009 HAS SOUPS 2996 WITH SCORE 3008.153
AT ITER 9666 NEW BEST:: SOT 27042 SOS 12151 HAS SOPS 12129 HAS SOUS 3007 HAS SOUPS 2994 WITH SCORE 3006.151
AT ITER 9876 NEW BEST:: SOT 27042 SOS 12151 HAS SOPS 12129 HAS SOUS 3006 HAS SOUPS 2993 WITH SCORE 3005.151
AT ITER 9972 NEW BEST:: SOT 27041 SOS 12119 HAS SOPS 12097 HAS SOUS 3006 HAS SOUPS 2993 WITH SCORE 3005.119
AT ITER 9997 NEW BEST:: SOT 27040 SOS 12114 HAS SOPS 12092 HAS SOUS 3005 HAS SOUPS 2992 WITH SCORE 3004.114
STATE_SPACE STATES 1839343024 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 30021085951 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678583139038

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="HealthRecord-PT-12"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smartxred"
echo " Input is HealthRecord-PT-12, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-smll-167840349400328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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