Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r419-tajo-167905973300088.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldRVs-PT-010A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973300088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 6.4K Feb 26 18:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 18:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 18:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 18:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 18:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 26 18:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 18:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 18:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 63K Mar 5 18:23 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 1679088518083

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldRVs-PT-010A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 010A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 143 places, 193 transitions, 920 arcs.
AT ITER 0 NEW BEST:: SOT 20701 SOS 17759 HAS SOPS 17759 HAS SOUS 14307 HAS SOUPS 14307 WITH SCORE 14324.759
AT ITER 3 NEW BEST:: SOT 20671 SOS 17748 HAS SOPS 17748 HAS SOUS 14296 HAS SOUPS 14296 WITH SCORE 14313.748
AT ITER 5 NEW BEST:: SOT 20672 SOS 17636 HAS SOPS 17636 HAS SOUS 14294 HAS SOUPS 14294 WITH SCORE 14311.636
AT ITER 6 NEW BEST:: SOT 20800 SOS 17662 HAS SOPS 17662 HAS SOUS 14268 HAS SOUPS 14268 WITH SCORE 14285.662
AT ITER 7 NEW BEST:: SOT 20769 SOS 17631 HAS SOPS 17631 HAS SOUS 14237 HAS SOUPS 14237 WITH SCORE 14254.631
AT ITER 15 NEW BEST:: SOT 20768 SOS 17630 HAS SOPS 17630 HAS SOUS 14236 HAS SOUPS 14236 WITH SCORE 14253.63
AT ITER 16 NEW BEST:: SOT 20751 SOS 17562 HAS SOPS 17562 HAS SOUS 14133 HAS SOUPS 14133 WITH SCORE 14150.562
AT ITER 17 NEW BEST:: SOT 20701 SOS 17512 HAS SOPS 17512 HAS SOUS 14081 HAS SOUPS 14081 WITH SCORE 14098.512
AT ITER 18 NEW BEST:: SOT 20683 SOS 17494 HAS SOPS 17494 HAS SOUS 14062 HAS SOUPS 14062 WITH SCORE 14079.494
AT ITER 19 NEW BEST:: SOT 20635 SOS 17463 HAS SOPS 17463 HAS SOUS 14036 HAS SOUPS 14036 WITH SCORE 14053.463
AT ITER 20 NEW BEST:: SOT 20611 SOS 17243 HAS SOPS 17243 HAS SOUS 13794 HAS SOUPS 13794 WITH SCORE 13811.243
AT ITER 21 NEW BEST:: SOT 20576 SOS 17208 HAS SOPS 17208 HAS SOUS 13759 HAS SOUPS 13759 WITH SCORE 13776.208
AT ITER 24 NEW BEST:: SOT 20576 SOS 17206 HAS SOPS 17206 HAS SOUS 13759 HAS SOUPS 13759 WITH SCORE 13776.206
AT ITER 26 NEW BEST:: SOT 20548 SOS 17178 HAS SOPS 17178 HAS SOUS 13729 HAS SOUPS 13729 WITH SCORE 13746.178
AT ITER 27 NEW BEST:: SOT 20509 SOS 16898 HAS SOPS 16898 HAS SOUS 13569 HAS SOUPS 13569 WITH SCORE 13585.898
AT ITER 29 NEW BEST:: SOT 20500 SOS 16887 HAS SOPS 16887 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13572.887
AT ITER 31 NEW BEST:: SOT 20473 SOS 16860 HAS SOPS 16860 HAS SOUS 13529 HAS SOUPS 13529 WITH SCORE 13545.86
AT ITER 32 NEW BEST:: SOT 20479 SOS 16882 HAS SOPS 16882 HAS SOUS 13523 HAS SOUPS 13523 WITH SCORE 13539.882
AT ITER 34 NEW BEST:: SOT 20439 SOS 16764 HAS SOPS 16764 HAS SOUS 13396 HAS SOUPS 13396 WITH SCORE 13412.764
AT ITER 35 NEW BEST:: SOT 20368 SOS 16693 HAS SOPS 16693 HAS SOUS 13327 HAS SOUPS 13327 WITH SCORE 13343.693
AT ITER 36 NEW BEST:: SOT 20330 SOS 16510 HAS SOPS 16510 HAS SOUS 13146 HAS SOUPS 13146 WITH SCORE 13162.51
AT ITER 44 NEW BEST:: SOT 20282 SOS 16458 HAS SOPS 16458 HAS SOUS 13090 HAS SOUPS 13090 WITH SCORE 13106.458
AT ITER 47 NEW BEST:: SOT 20348 SOS 16435 HAS SOPS 16435 HAS SOUS 13000 HAS SOUPS 13000 WITH SCORE 13016.435
AT ITER 49 NEW BEST:: SOT 20444 SOS 16438 HAS SOPS 16438 HAS SOUS 12962 HAS SOUPS 12962 WITH SCORE 12978.438
AT ITER 54 NEW BEST:: SOT 20443 SOS 16437 HAS SOPS 16437 HAS SOUS 12961 HAS SOUPS 12961 WITH SCORE 12977.437
AT ITER 55 NEW BEST:: SOT 20425 SOS 16365 HAS SOPS 16365 HAS SOUS 12915 HAS SOUPS 12915 WITH SCORE 12931.365
AT ITER 56 NEW BEST:: SOT 20440 SOS 16352 HAS SOPS 16352 HAS SOUS 12684 HAS SOUPS 12684 WITH SCORE 12700.352
AT ITER 57 NEW BEST:: SOT 20382 SOS 16262 HAS SOPS 16262 HAS SOUS 12547 HAS SOUPS 12547 WITH SCORE 12563.262
AT ITER 58 NEW BEST:: SOT 20424 SOS 16062 HAS SOPS 16062 HAS SOUS 12535 HAS SOUPS 12535 WITH SCORE 12551.062
AT ITER 59 NEW BEST:: SOT 20226 SOS 15870 HAS SOPS 15870 HAS SOUS 12354 HAS SOUPS 12354 WITH SCORE 12369.87
AT ITER 64 NEW BEST:: SOT 20188 SOS 15830 HAS SOPS 15830 HAS SOUS 12304 HAS SOUPS 12304 WITH SCORE 12319.83
AT ITER 65 NEW BEST:: SOT 20190 SOS 15832 HAS SOPS 15832 HAS SOUS 12303 HAS SOUPS 12303 WITH SCORE 12318.832
AT ITER 66 NEW BEST:: SOT 20190 SOS 15873 HAS SOPS 15873 HAS SOUS 12302 HAS SOUPS 12302 WITH SCORE 12317.873
AT ITER 69 NEW BEST:: SOT 20149 SOS 15832 HAS SOPS 15832 HAS SOUS 12250 HAS SOUPS 12250 WITH SCORE 12265.832
AT ITER 76 NEW BEST:: SOT 20134 SOS 15817 HAS SOPS 15817 HAS SOUS 12203 HAS SOUPS 12203 WITH SCORE 12218.817
AT ITER 79 NEW BEST:: SOT 20134 SOS 15729 HAS SOPS 15729 HAS SOUS 12203 HAS SOUPS 12203 WITH SCORE 12218.729
AT ITER 80 NEW BEST:: SOT 20087 SOS 15543 HAS SOPS 15543 HAS SOUS 12157 HAS SOUPS 12157 WITH SCORE 12172.543
AT ITER 86 NEW BEST:: SOT 20079 SOS 15535 HAS SOPS 15535 HAS SOUS 12145 HAS SOUPS 12145 WITH SCORE 12160.535
AT ITER 87 NEW BEST:: SOT 20058 SOS 15569 HAS SOPS 15569 HAS SOUS 11974 HAS SOUPS 11974 WITH SCORE 11989.569
AT ITER 88 NEW BEST:: SOT 20037 SOS 15525 HAS SOPS 15525 HAS SOUS 11894 HAS SOUPS 11894 WITH SCORE 11909.525
AT ITER 92 NEW BEST:: SOT 19969 SOS 15487 HAS SOPS 15487 HAS SOUS 11873 HAS SOUPS 11873 WITH SCORE 11888.487
AT ITER 96 NEW BEST:: SOT 19943 SOS 15328 HAS SOPS 15328 HAS SOUS 11787 HAS SOUPS 11787 WITH SCORE 11802.328
AT ITER 107 NEW BEST:: SOT 20011 SOS 15059 HAS SOPS 15059 HAS SOUS 11765 HAS SOUPS 11765 WITH SCORE 11780.059
AT ITER 108 NEW BEST:: SOT 19989 SOS 15037 HAS SOPS 15037 HAS SOUS 11743 HAS SOUPS 11743 WITH SCORE 11758.037
AT ITER 113 NEW BEST:: SOT 19982 SOS 14925 HAS SOPS 14925 HAS SOUS 11620 HAS SOUPS 11620 WITH SCORE 11634.925
AT ITER 115 NEW BEST:: SOT 19959 SOS 14828 HAS SOPS 14828 HAS SOUS 11581 HAS SOUPS 11581 WITH SCORE 11595.828
AT ITER 120 NEW BEST:: SOT 19950 SOS 14801 HAS SOPS 14801 HAS SOUS 11552 HAS SOUPS 11552 WITH SCORE 11566.801
AT ITER 122 NEW BEST:: SOT 19947 SOS 14730 HAS SOPS 14730 HAS SOUS 11396 HAS SOUPS 11396 WITH SCORE 11410.73
AT ITER 123 NEW BEST:: SOT 19935 SOS 14718 HAS SOPS 14718 HAS SOUS 11390 HAS SOUPS 11390 WITH SCORE 11404.718
AT ITER 128 NEW BEST:: SOT 19916 SOS 14650 HAS SOPS 14650 HAS SOUS 11346 HAS SOUPS 11346 WITH SCORE 11360.65
AT ITER 135 NEW BEST:: SOT 19880 SOS 14575 HAS SOPS 14575 HAS SOUS 11221 HAS SOUPS 11221 WITH SCORE 11235.575
AT ITER 136 NEW BEST:: SOT 19874 SOS 14569 HAS SOPS 14569 HAS SOUS 11215 HAS SOUPS 11215 WITH SCORE 11229.569
AT ITER 138 NEW BEST:: SOT 19854 SOS 14558 HAS SOPS 14558 HAS SOUS 11200 HAS SOUPS 11200 WITH SCORE 11214.558
AT ITER 141 NEW BEST:: SOT 19847 SOS 14405 HAS SOPS 14405 HAS SOUS 11068 HAS SOUPS 11068 WITH SCORE 11082.405
AT ITER 142 NEW BEST:: SOT 19775 SOS 14228 HAS SOPS 14228 HAS SOUS 10885 HAS SOUPS 10885 WITH SCORE 10899.228
AT ITER 147 NEW BEST:: SOT 19763 SOS 14204 HAS SOPS 14204 HAS SOUS 10861 HAS SOUPS 10861 WITH SCORE 10875.204
AT ITER 148 NEW BEST:: SOT 19763 SOS 14216 HAS SOPS 14216 HAS SOUS 10854 HAS SOUPS 10854 WITH SCORE 10868.216
AT ITER 149 NEW BEST:: SOT 19754 SOS 14327 HAS SOPS 14327 HAS SOUS 10820 HAS SOUPS 10820 WITH SCORE 10834.327
AT ITER 156 NEW BEST:: SOT 19749 SOS 14294 HAS SOPS 14294 HAS SOUS 10811 HAS SOUPS 10811 WITH SCORE 10825.294
AT ITER 158 NEW BEST:: SOT 19749 SOS 14310 HAS SOPS 14310 HAS SOUS 10797 HAS SOUPS 10797 WITH SCORE 10811.31
AT ITER 159 NEW BEST:: SOT 19767 SOS 14292 HAS SOPS 14292 HAS SOUS 10779 HAS SOUPS 10779 WITH SCORE 10793.292
AT ITER 160 NEW BEST:: SOT 19730 SOS 14240 HAS SOPS 14240 HAS SOUS 10727 HAS SOUPS 10727 WITH SCORE 10741.24
AT ITER 161 NEW BEST:: SOT 19658 SOS 14159 HAS SOPS 14159 HAS SOUS 10719 HAS SOUPS 10719 WITH SCORE 10733.159
AT ITER 164 NEW BEST:: SOT 19586 SOS 13907 HAS SOPS 13907 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10537.907
AT ITER 166 NEW BEST:: SOT 19586 SOS 13873 HAS SOPS 13873 HAS SOUS 10517 HAS SOUPS 10517 WITH SCORE 10530.873
AT ITER 173 NEW BEST:: SOT 19609 SOS 13883 HAS SOPS 13883 HAS SOUS 10509 HAS SOUPS 10509 WITH SCORE 10522.883
AT ITER 194 NEW BEST:: SOT 19609 SOS 13877 HAS SOPS 13877 HAS SOUS 10507 HAS SOUPS 10507 WITH SCORE 10520.877
AT ITER 195 NEW BEST:: SOT 19596 SOS 13703 HAS SOPS 13703 HAS SOUS 10447 HAS SOUPS 10447 WITH SCORE 10460.703
AT ITER 196 NEW BEST:: SOT 19593 SOS 13663 HAS SOPS 13663 HAS SOUS 10407 HAS SOUPS 10407 WITH SCORE 10420.663
AT ITER 202 NEW BEST:: SOT 19551 SOS 13586 HAS SOPS 13586 HAS SOUS 10388 HAS SOUPS 10388 WITH SCORE 10401.586
AT ITER 203 NEW BEST:: SOT 19542 SOS 13557 HAS SOPS 13557 HAS SOUS 10359 HAS SOUPS 10359 WITH SCORE 10372.557
AT ITER 210 NEW BEST:: SOT 19581 SOS 13532 HAS SOPS 13532 HAS SOUS 10326 HAS SOUPS 10326 WITH SCORE 10339.532
AT ITER 212 NEW BEST:: SOT 19563 SOS 13489 HAS SOPS 13489 HAS SOUS 10305 HAS SOUPS 10305 WITH SCORE 10318.489
AT ITER 213 NEW BEST:: SOT 19528 SOS 13402 HAS SOPS 13402 HAS SOUS 10281 HAS SOUPS 10281 WITH SCORE 10294.402
AT ITER 216 NEW BEST:: SOT 19507 SOS 13381 HAS SOPS 13381 HAS SOUS 10260 HAS SOUPS 10260 WITH SCORE 10273.381
AT ITER 217 NEW BEST:: SOT 19533 SOS 13103 HAS SOPS 13103 HAS SOUS 10160 HAS SOUPS 10160 WITH SCORE 10173.103
AT ITER 229 NEW BEST:: SOT 19526 SOS 13069 HAS SOPS 13069 HAS SOUS 10117 HAS SOUPS 10117 WITH SCORE 10130.069
AT ITER 231 NEW BEST:: SOT 19404 SOS 12949 HAS SOPS 12949 HAS SOUS 9997 HAS SOUPS 9997 WITH SCORE 10009.949
AT ITER 249 NEW BEST:: SOT 19382 SOS 12813 HAS SOPS 12813 HAS SOUS 9874 HAS SOUPS 9874 WITH SCORE 9886.813
AT ITER 252 NEW BEST:: SOT 19381 SOS 12793 HAS SOPS 12793 HAS SOUS 9828 HAS SOUPS 9828 WITH SCORE 9840.793
AT ITER 260 NEW BEST:: SOT 19307 SOS 12754 HAS SOPS 12754 HAS SOUS 9781 HAS SOUPS 9781 WITH SCORE 9793.754
AT ITER 261 NEW BEST:: SOT 19368 SOS 12724 HAS SOPS 12724 HAS SOUS 9692 HAS SOUPS 9692 WITH SCORE 9704.724
AT ITER 263 NEW BEST:: SOT 19358 SOS 12714 HAS SOPS 12714 HAS SOUS 9682 HAS SOUPS 9682 WITH SCORE 9694.714
AT ITER 280 NEW BEST:: SOT 19308 SOS 12611 HAS SOPS 12611 HAS SOUS 9605 HAS SOUPS 9605 WITH SCORE 9617.611
AT ITER 282 NEW BEST:: SOT 19314 SOS 12606 HAS SOPS 12606 HAS SOUS 9580 HAS SOUPS 9580 WITH SCORE 9592.606
AT ITER 290 NEW BEST:: SOT 19303 SOS 12382 HAS SOPS 12382 HAS SOUS 9485 HAS SOUPS 9485 WITH SCORE 9497.382
AT ITER 301 NEW BEST:: SOT 19290 SOS 12369 HAS SOPS 12369 HAS SOUS 9472 HAS SOUPS 9472 WITH SCORE 9484.369
AT ITER 303 NEW BEST:: SOT 19279 SOS 12367 HAS SOPS 12367 HAS SOUS 9468 HAS SOUPS 9468 WITH SCORE 9480.367
AT ITER 304 NEW BEST:: SOT 19302 SOS 12390 HAS SOPS 12390 HAS SOUS 9466 HAS SOUPS 9466 WITH SCORE 9478.39
AT ITER 307 NEW BEST:: SOT 19300 SOS 12388 HAS SOPS 12388 HAS SOUS 9464 HAS SOUPS 9464 WITH SCORE 9476.388
AT ITER 311 NEW BEST:: SOT 19306 SOS 12377 HAS SOPS 12377 HAS SOUS 9453 HAS SOUPS 9453 WITH SCORE 9465.377
AT ITER 312 NEW BEST:: SOT 19306 SOS 12389 HAS SOPS 12389 HAS SOUS 9447 HAS SOUPS 9447 WITH SCORE 9459.389
AT ITER 318 NEW BEST:: SOT 19306 SOS 12389 HAS SOPS 12389 HAS SOUS 9445 HAS SOUPS 9445 WITH SCORE 9457.389
AT ITER 321 NEW BEST:: SOT 19306 SOS 12389 HAS SOPS 12389 HAS SOUS 9443 HAS SOUPS 9443 WITH SCORE 9455.389
AT ITER 324 NEW BEST:: SOT 19286 SOS 12373 HAS SOPS 12373 HAS SOUS 9431 HAS SOUPS 9431 WITH SCORE 9443.373
AT ITER 328 NEW BEST:: SOT 19242 SOS 12329 HAS SOPS 12329 HAS SOUS 9387 HAS SOUPS 9387 WITH SCORE 9399.329
AT ITER 344 NEW BEST:: SOT 19265 SOS 12349 HAS SOPS 12349 HAS SOUS 9369 HAS SOUPS 9369 WITH SCORE 9381.349
AT ITER 345 NEW BEST:: SOT 19299 SOS 12369 HAS SOPS 12369 HAS SOUS 9316 HAS SOUPS 9316 WITH SCORE 9328.369
AT ITER 346 NEW BEST:: SOT 19299 SOS 12365 HAS SOPS 12365 HAS SOUS 9312 HAS SOUPS 9312 WITH SCORE 9324.365
AT ITER 352 NEW BEST:: SOT 19282 SOS 12242 HAS SOPS 12242 HAS SOUS 9248 HAS SOUPS 9248 WITH SCORE 9260.242
AT ITER 356 NEW BEST:: SOT 19275 SOS 12226 HAS SOPS 12226 HAS SOUS 9156 HAS SOUPS 9156 WITH SCORE 9168.226
AT ITER 363 NEW BEST:: SOT 19166 SOS 12117 HAS SOPS 12117 HAS SOUS 9012 HAS SOUPS 9012 WITH SCORE 9024.117
AT ITER 369 NEW BEST:: SOT 19102 SOS 12068 HAS SOPS 12068 HAS SOUS 8900 HAS SOUPS 8900 WITH SCORE 8912.068
AT ITER 379 NEW BEST:: SOT 19204 SOS 12121 HAS SOPS 12121 HAS SOUS 8899 HAS SOUPS 8899 WITH SCORE 8911.121
AT ITER 381 NEW BEST:: SOT 19081 SOS 11941 HAS SOPS 11941 HAS SOUS 8751 HAS SOUPS 8751 WITH SCORE 8762.941
AT ITER 384 NEW BEST:: SOT 19045 SOS 11790 HAS SOPS 11790 HAS SOUS 8639 HAS SOUPS 8639 WITH SCORE 8650.79
AT ITER 392 NEW BEST:: SOT 19039 SOS 11774 HAS SOPS 11774 HAS SOUS 8610 HAS SOUPS 8610 WITH SCORE 8621.774
AT ITER 393 NEW BEST:: SOT 19002 SOS 11717 HAS SOPS 11717 HAS SOUS 8576 HAS SOUPS 8576 WITH SCORE 8587.717
AT ITER 400 NEW BEST:: SOT 19026 SOS 11812 HAS SOPS 11812 HAS SOUS 8548 HAS SOUPS 8548 WITH SCORE 8559.812
AT ITER 404 NEW BEST:: SOT 19022 SOS 11808 HAS SOPS 11808 HAS SOUS 8543 HAS SOUPS 8543 WITH SCORE 8554.808
AT ITER 410 NEW BEST:: SOT 18977 SOS 11673 HAS SOPS 11673 HAS SOUS 8423 HAS SOUPS 8423 WITH SCORE 8434.673
AT ITER 412 NEW BEST:: SOT 18913 SOS 11607 HAS SOPS 11607 HAS SOUS 8355 HAS SOUPS 8355 WITH SCORE 8366.607
AT ITER 416 NEW BEST:: SOT 18904 SOS 11598 HAS SOPS 11598 HAS SOUS 8346 HAS SOUPS 8346 WITH SCORE 8357.598
AT ITER 421 NEW BEST:: SOT 18882 SOS 11552 HAS SOPS 11552 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8311.552
AT ITER 424 NEW BEST:: SOT 18874 SOS 11547 HAS SOPS 11547 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8309.547
AT ITER 428 NEW BEST:: SOT 18870 SOS 11530 HAS SOPS 11530 HAS SOUS 8254 HAS SOUPS 8254 WITH SCORE 8265.53
AT ITER 431 NEW BEST:: SOT 18870 SOS 11322 HAS SOPS 11322 HAS SOUS 8190 HAS SOUPS 8190 WITH SCORE 8201.322
AT ITER 445 NEW BEST:: SOT 18686 SOS 11112 HAS SOPS 11112 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7884.112
AT ITER 450 NEW BEST:: SOT 18729 SOS 10929 HAS SOPS 10929 HAS SOUS 7797 HAS SOUPS 7797 WITH SCORE 7807.929
AT ITER 453 NEW BEST:: SOT 18729 SOS 10902 HAS SOPS 10902 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7780.902
AT ITER 462 NEW BEST:: SOT 18791 SOS 10928 HAS SOPS 10928 HAS SOUS 7751 HAS SOUPS 7751 WITH SCORE 7761.928
AT ITER 463 NEW BEST:: SOT 18790 SOS 10926 HAS SOPS 10926 HAS SOUS 7749 HAS SOUPS 7749 WITH SCORE 7759.926
AT ITER 470 NEW BEST:: SOT 18804 SOS 10894 HAS SOPS 10894 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7756.894
AT ITER 478 NEW BEST:: SOT 18786 SOS 10869 HAS SOPS 10869 HAS SOUS 7707 HAS SOUPS 7707 WITH SCORE 7717.869
AT ITER 491 NEW BEST:: SOT 18753 SOS 10848 HAS SOPS 10848 HAS SOUS 7686 HAS SOUPS 7686 WITH SCORE 7696.848
AT ITER 496 NEW BEST:: SOT 18742 SOS 10838 HAS SOPS 10838 HAS SOUS 7686 HAS SOUPS 7686 WITH SCORE 7696.838
AT ITER 510 NEW BEST:: SOT 18730 SOS 10835 HAS SOPS 10835 HAS SOUS 7679 HAS SOUPS 7679 WITH SCORE 7689.835
AT ITER 511 NEW BEST:: SOT 18722 SOS 10827 HAS SOPS 10827 HAS SOUS 7679 HAS SOUPS 7679 WITH SCORE 7689.827
AT ITER 514 NEW BEST:: SOT 18712 SOS 10813 HAS SOPS 10813 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7677.813
AT ITER 518 NEW BEST:: SOT 18676 SOS 10777 HAS SOPS 10777 HAS SOUS 7631 HAS SOUPS 7631 WITH SCORE 7641.777
AT ITER 523 NEW BEST:: SOT 18621 SOS 10726 HAS SOPS 10726 HAS SOUS 7580 HAS SOUPS 7580 WITH SCORE 7590.726
AT ITER 540 NEW BEST:: SOT 18625 SOS 10806 HAS SOPS 10806 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7573.806
AT ITER 562 NEW BEST:: SOT 18622 SOS 10794 HAS SOPS 10794 HAS SOUS 7557 HAS SOUPS 7557 WITH SCORE 7567.794
AT ITER 563 NEW BEST:: SOT 18578 SOS 10751 HAS SOPS 10751 HAS SOUS 7507 HAS SOUPS 7507 WITH SCORE 7517.751
AT ITER 568 NEW BEST:: SOT 18592 SOS 10732 HAS SOPS 10732 HAS SOUS 7498 HAS SOUPS 7498 WITH SCORE 7508.732
AT ITER 576 NEW BEST:: SOT 18592 SOS 10738 HAS SOPS 10738 HAS SOUS 7497 HAS SOUPS 7497 WITH SCORE 7507.738
AT ITER 578 NEW BEST:: SOT 18574 SOS 10730 HAS SOPS 10730 HAS SOUS 7481 HAS SOUPS 7481 WITH SCORE 7491.73
AT ITER 582 NEW BEST:: SOT 18568 SOS 10678 HAS SOPS 10678 HAS SOUS 7469 HAS SOUPS 7469 WITH SCORE 7479.678
AT ITER 584 NEW BEST:: SOT 18532 SOS 10654 HAS SOPS 10654 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7455.654
AT ITER 585 NEW BEST:: SOT 18525 SOS 10652 HAS SOPS 10652 HAS SOUS 7437 HAS SOUPS 7437 WITH SCORE 7447.652
AT ITER 595 NEW BEST:: SOT 18496 SOS 10463 HAS SOPS 10463 HAS SOUS 7344 HAS SOUPS 7344 WITH SCORE 7354.463
AT ITER 599 NEW BEST:: SOT 18497 SOS 10462 HAS SOPS 10462 HAS SOUS 7334 HAS SOUPS 7334 WITH SCORE 7344.462
AT ITER 603 NEW BEST:: SOT 18409 SOS 10393 HAS SOPS 10393 HAS SOUS 7277 HAS SOUPS 7277 WITH SCORE 7287.393
AT ITER 622 NEW BEST:: SOT 18407 SOS 10385 HAS SOPS 10385 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7282.385
AT ITER 624 NEW BEST:: SOT 18407 SOS 10388 HAS SOPS 10388 HAS SOUS 7269 HAS SOUPS 7269 WITH SCORE 7279.388
AT ITER 632 NEW BEST:: SOT 18402 SOS 10372 HAS SOPS 10372 HAS SOUS 7250 HAS SOUPS 7250 WITH SCORE 7260.372
AT ITER 637 NEW BEST:: SOT 18401 SOS 10367 HAS SOPS 10367 HAS SOUS 7246 HAS SOUPS 7246 WITH SCORE 7256.367
AT ITER 639 NEW BEST:: SOT 18365 SOS 10331 HAS SOPS 10331 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7220.331
AT ITER 640 NEW BEST:: SOT 18365 SOS 10218 HAS SOPS 10218 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7194.218
AT ITER 642 NEW BEST:: SOT 18393 SOS 10246 HAS SOPS 10246 HAS SOUS 7179 HAS SOUPS 7179 WITH SCORE 7189.246
AT ITER 650 NEW BEST:: SOT 18375 SOS 10228 HAS SOPS 10228 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7171.228
AT ITER 679 NEW BEST:: SOT 18360 SOS 10214 HAS SOPS 10214 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7164.214
AT ITER 681 NEW BEST:: SOT 18335 SOS 10184 HAS SOPS 10184 HAS SOUS 7101 HAS SOUPS 7101 WITH SCORE 7111.184
AT ITER 688 NEW BEST:: SOT 18324 SOS 10173 HAS SOPS 10173 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7097.173
AT ITER 701 NEW BEST:: SOT 18337 SOS 10174 HAS SOPS 10174 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7080.174
AT ITER 720 NEW BEST:: SOT 18315 SOS 10218 HAS SOPS 10218 HAS SOUS 7004 HAS SOUPS 7004 WITH SCORE 7014.218
AT ITER 725 NEW BEST:: SOT 18281 SOS 10170 HAS SOPS 10170 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7007.17
AT ITER 764 NEW BEST:: SOT 18286 SOS 10160 HAS SOPS 10160 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7007.16
AT ITER 766 NEW BEST:: SOT 18264 SOS 10138 HAS SOPS 10138 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 6995.138
AT ITER 768 NEW BEST:: SOT 18269 SOS 10138 HAS SOPS 10138 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6990.138
AT ITER 771 NEW BEST:: SOT 18269 SOS 10146 HAS SOPS 10146 HAS SOUS 6946 HAS SOUPS 6946 WITH SCORE 6956.146
AT ITER 793 NEW BEST:: SOT 18245 SOS 10062 HAS SOPS 10062 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6862.062
AT ITER 794 NEW BEST:: SOT 18209 SOS 9938 HAS SOPS 9938 HAS SOUS 6786 HAS SOUPS 6786 WITH SCORE 6795.938
AT ITER 796 NEW BEST:: SOT 18202 SOS 9924 HAS SOPS 9924 HAS SOUS 6786 HAS SOUPS 6786 WITH SCORE 6795.924
AT ITER 799 NEW BEST:: SOT 18200 SOS 9922 HAS SOPS 9922 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6793.922
AT ITER 808 NEW BEST:: SOT 18180 SOS 9855 HAS SOPS 9855 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6729.855
AT ITER 815 NEW BEST:: SOT 18180 SOS 9845 HAS SOPS 9845 HAS SOUS 6710 HAS SOUPS 6710 WITH SCORE 6719.845
AT ITER 816 NEW BEST:: SOT 18212 SOS 9862 HAS SOPS 9862 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6678.862
AT ITER 819 NEW BEST:: SOT 18173 SOS 9831 HAS SOPS 9831 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6643.831
AT ITER 823 NEW BEST:: SOT 18180 SOS 9825 HAS SOPS 9825 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6596.825
AT ITER 833 NEW BEST:: SOT 18167 SOS 9813 HAS SOPS 9813 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6569.813
AT ITER 873 NEW BEST:: SOT 18152 SOS 9815 HAS SOPS 9815 HAS SOUS 6545 HAS SOUPS 6545 WITH SCORE 6554.815
AT ITER 905 NEW BEST:: SOT 18152 SOS 9817 HAS SOPS 9817 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6550.817
AT ITER 914 NEW BEST:: SOT 18147 SOS 9811 HAS SOPS 9811 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6542.811
AT ITER 917 NEW BEST:: SOT 18143 SOS 9799 HAS SOPS 9799 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6530.799
AT ITER 950 NEW BEST:: SOT 18113 SOS 9769 HAS SOPS 9769 HAS SOUS 6491 HAS SOUPS 6491 WITH SCORE 6500.769
AT ITER 953 NEW BEST:: SOT 18148 SOS 9792 HAS SOPS 9792 HAS SOUS 6424 HAS SOUPS 6424 WITH SCORE 6433.792
AT ITER 965 NEW BEST:: SOT 18148 SOS 9811 HAS SOPS 9811 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6427.811
AT ITER 966 NEW BEST:: SOT 18148 SOS 9815 HAS SOPS 9815 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6423.815
AT ITER 971 NEW BEST:: SOT 18139 SOS 9815 HAS SOPS 9815 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6415.815
AT ITER 1019 NEW BEST:: SOT 18139 SOS 9814 HAS SOPS 9814 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6414.814
AT ITER 1022 NEW BEST:: SOT 18119 SOS 9786 HAS SOPS 9786 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6358.786
AT ITER 1025 NEW BEST:: SOT 18119 SOS 9778 HAS SOPS 9778 HAS SOUS 6347 HAS SOUPS 6347 WITH SCORE 6356.778
AT ITER 1032 NEW BEST:: SOT 18119 SOS 9787 HAS SOPS 9787 HAS SOUS 6344 HAS SOUPS 6344 WITH SCORE 6353.787
AT ITER 1038 NEW BEST:: SOT 18149 SOS 9796 HAS SOPS 9796 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6315.796
AT ITER 1050 NEW BEST:: SOT 18145 SOS 9804 HAS SOPS 9804 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6313.804
AT ITER 1054 NEW BEST:: SOT 18144 SOS 9799 HAS SOPS 9799 HAS SOUS 6301 HAS SOUPS 6301 WITH SCORE 6310.799
AT ITER 1070 NEW BEST:: SOT 18150 SOS 9773 HAS SOPS 9773 HAS SOUS 6266 HAS SOUPS 6266 WITH SCORE 6275.773
AT ITER 1073 NEW BEST:: SOT 18148 SOS 9751 HAS SOPS 9751 HAS SOUS 6261 HAS SOUPS 6261 WITH SCORE 6270.751
AT ITER 1095 NEW BEST:: SOT 18146 SOS 9755 HAS SOPS 9755 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6269.755
AT ITER 1114 NEW BEST:: SOT 18145 SOS 9754 HAS SOPS 9754 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6269.754
AT ITER 1123 NEW BEST:: SOT 18110 SOS 9719 HAS SOPS 9719 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6234.719
AT ITER 1126 NEW BEST:: SOT 18110 SOS 9715 HAS SOPS 9715 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6232.715
AT ITER 1127 NEW BEST:: SOT 18126 SOS 9735 HAS SOPS 9735 HAS SOUS 6208 HAS SOUPS 6208 WITH SCORE 6217.735
AT ITER 1156 NEW BEST:: SOT 18082 SOS 9658 HAS SOPS 9658 HAS SOUS 6193 HAS SOUPS 6193 WITH SCORE 6202.658
AT ITER 1161 NEW BEST:: SOT 18075 SOS 9644 HAS SOPS 9644 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6165.644
AT ITER 1172 NEW BEST:: SOT 18075 SOS 9645 HAS SOPS 9645 HAS SOUS 6151 HAS SOUPS 6151 WITH SCORE 6160.645
AT ITER 1187 NEW BEST:: SOT 18087 SOS 9603 HAS SOPS 9603 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6149.603
AT ITER 1191 NEW BEST:: SOT 18112 SOS 9628 HAS SOPS 9628 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6147.628
AT ITER 1194 NEW BEST:: SOT 18101 SOS 9606 HAS SOPS 9606 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6105.606
AT ITER 1210 NEW BEST:: SOT 18100 SOS 9602 HAS SOPS 9602 HAS SOUS 6093 HAS SOUPS 6093 WITH SCORE 6102.602
AT ITER 1220 NEW BEST:: SOT 18098 SOS 9582 HAS SOPS 9582 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6095.582
AT ITER 1228 NEW BEST:: SOT 18056 SOS 9555 HAS SOPS 9555 HAS SOUS 6059 HAS SOUPS 6059 WITH SCORE 6068.555
AT ITER 1257 NEW BEST:: SOT 18037 SOS 9525 HAS SOPS 9525 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6053.525
AT ITER 1262 NEW BEST:: SOT 18039 SOS 9517 HAS SOPS 9517 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6041.517
AT ITER 1267 NEW BEST:: SOT 18040 SOS 9502 HAS SOPS 9502 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6026.502
AT ITER 1302 NEW BEST:: SOT 18025 SOS 9402 HAS SOPS 9402 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 6001.402
AT ITER 1303 NEW BEST:: SOT 18025 SOS 9419 HAS SOPS 9419 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 5999.419
AT ITER 1306 NEW BEST:: SOT 18014 SOS 9408 HAS SOPS 9408 HAS SOUS 5971 HAS SOUPS 5971 WITH SCORE 5980.408
AT ITER 1334 NEW BEST:: SOT 18010 SOS 9404 HAS SOPS 9404 HAS SOUS 5967 HAS SOUPS 5967 WITH SCORE 5976.404
AT ITER 1341 NEW BEST:: SOT 18010 SOS 9334 HAS SOPS 9334 HAS SOUS 5967 HAS SOUPS 5967 WITH SCORE 5976.334
AT ITER 1346 NEW BEST:: SOT 18001 SOS 9325 HAS SOPS 9325 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5970.325
AT ITER 1347 NEW BEST:: SOT 18001 SOS 9323 HAS SOPS 9323 HAS SOUS 5951 HAS SOUPS 5951 WITH SCORE 5960.323
AT ITER 1349 NEW BEST:: SOT 17953 SOS 9274 HAS SOPS 9274 HAS SOUS 5919 HAS SOUPS 5919 WITH SCORE 5928.274
AT ITER 1366 NEW BEST:: SOT 17951 SOS 9267 HAS SOPS 9267 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5926.267
AT ITER 1371 NEW BEST:: SOT 17923 SOS 9289 HAS SOPS 9289 HAS SOUS 5910 HAS SOUPS 5910 WITH SCORE 5919.289
AT ITER 1385 NEW BEST:: SOT 17909 SOS 9243 HAS SOPS 9243 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5916.243
AT ITER 1450 NEW BEST:: SOT 17908 SOS 9241 HAS SOPS 9241 HAS SOUS 5905 HAS SOUPS 5905 WITH SCORE 5914.241
AT ITER 1453 NEW BEST:: SOT 17908 SOS 9241 HAS SOPS 9241 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5910.241
AT ITER 1495 NEW BEST:: SOT 17900 SOS 9222 HAS SOPS 9222 HAS SOUS 5882 HAS SOUPS 5882 WITH SCORE 5891.222
AT ITER 1497 NEW BEST:: SOT 17893 SOS 8978 HAS SOPS 8978 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5841.978
AT ITER 1504 NEW BEST:: SOT 17882 SOS 8967 HAS SOPS 8967 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5831.967
AT ITER 1537 NEW BEST:: SOT 17876 SOS 8961 HAS SOPS 8961 HAS SOUS 5821 HAS SOUPS 5821 WITH SCORE 5829.961
AT ITER 1555 NEW BEST:: SOT 17820 SOS 8891 HAS SOPS 8891 HAS SOUS 5751 HAS SOUPS 5751 WITH SCORE 5759.891
AT ITER 1557 NEW BEST:: SOT 17820 SOS 8891 HAS SOPS 8891 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5754.891
AT ITER 1588 NEW BEST:: SOT 17819 SOS 8869 HAS SOPS 8869 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5744.869
AT ITER 1604 NEW BEST:: SOT 17798 SOS 8645 HAS SOPS 8645 HAS SOUS 5722 HAS SOUPS 5722 WITH SCORE 5730.645
AT ITER 1612 NEW BEST:: SOT 17792 SOS 8637 HAS SOPS 8637 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5723.637
AT ITER 1622 NEW BEST:: SOT 17777 SOS 8632 HAS SOPS 8632 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5713.632
AT ITER 1647 NEW BEST:: SOT 17734 SOS 8578 HAS SOPS 8578 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5670.578
AT ITER 1676 NEW BEST:: SOT 17708 SOS 8533 HAS SOPS 8533 HAS SOUS 5581 HAS SOUPS 5581 WITH SCORE 5589.533
AT ITER 1729 NEW BEST:: SOT 17712 SOS 8541 HAS SOPS 8541 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5579.541
AT ITER 1763 NEW BEST:: SOT 17729 SOS 8495 HAS SOPS 8495 HAS SOUS 5543 HAS SOUPS 5543 WITH SCORE 5551.495
AT ITER 1802 NEW BEST:: SOT 17703 SOS 8469 HAS SOPS 8469 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5505.469
AT ITER 1806 NEW BEST:: SOT 17703 SOS 8442 HAS SOPS 8442 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5467.442
AT ITER 1877 NEW BEST:: SOT 17703 SOS 8450 HAS SOPS 8450 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5460.45
AT ITER 1908 NEW BEST:: SOT 17707 SOS 8442 HAS SOPS 8442 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5438.442
AT ITER 1948 NEW BEST:: SOT 17685 SOS 8420 HAS SOPS 8420 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5428.42
AT ITER 1952 NEW BEST:: SOT 17661 SOS 8396 HAS SOPS 8396 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5412.396
AT ITER 1975 NEW BEST:: SOT 17671 SOS 8367 HAS SOPS 8367 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5412.367
AT ITER 1983 NEW BEST:: SOT 17669 SOS 8362 HAS SOPS 8362 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5407.362
AT ITER 1988 NEW BEST:: SOT 17656 SOS 8345 HAS SOPS 8345 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5407.345
AT ITER 1995 NEW BEST:: SOT 17668 SOS 8240 HAS SOPS 8240 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5356.24
AT ITER 1996 NEW BEST:: SOT 17667 SOS 8240 HAS SOPS 8240 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5348.24
AT ITER 2007 NEW BEST:: SOT 17628 SOS 8129 HAS SOPS 8129 HAS SOUS 5285 HAS SOUPS 5285 WITH SCORE 5293.129
AT ITER 2015 NEW BEST:: SOT 17612 SOS 8107 HAS SOPS 8107 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5265.107
AT ITER 2030 NEW BEST:: SOT 17611 SOS 8103 HAS SOPS 8103 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5258.103
AT ITER 2036 NEW BEST:: SOT 17611 SOS 8107 HAS SOPS 8107 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5256.107
AT ITER 2043 NEW BEST:: SOT 17611 SOS 8107 HAS SOPS 8107 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5255.107
AT ITER 2082 NEW BEST:: SOT 17609 SOS 8102 HAS SOPS 8102 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5249.102
AT ITER 2120 NEW BEST:: SOT 17609 SOS 8102 HAS SOPS 8102 HAS SOUS 5240 HAS SOUPS 5240 WITH SCORE 5248.102
AT ITER 2132 NEW BEST:: SOT 17554 SOS 7986 HAS SOPS 7986 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5161.986
AT ITER 2148 NEW BEST:: SOT 17542 SOS 7962 HAS SOPS 7962 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5143.962
AT ITER 2182 NEW BEST:: SOT 17542 SOS 7962 HAS SOPS 7962 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5140.962
AT ITER 2196 NEW BEST:: SOT 17543 SOS 7966 HAS SOPS 7966 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5137.966
AT ITER 2223 NEW BEST:: SOT 17504 SOS 7909 HAS SOPS 7909 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5084.909
AT ITER 2229 NEW BEST:: SOT 17504 SOS 7906 HAS SOPS 7906 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5078.906
AT ITER 2273 NEW BEST:: SOT 17492 SOS 7846 HAS SOPS 7846 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5048.846
AT ITER 2279 NEW BEST:: SOT 17492 SOS 7846 HAS SOPS 7846 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5044.846
AT ITER 2284 NEW BEST:: SOT 17433 SOS 7776 HAS SOPS 7776 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4920.776
AT ITER 2292 NEW BEST:: SOT 17433 SOS 7774 HAS SOPS 7774 HAS SOUS 4911 HAS SOUPS 4911 WITH SCORE 4918.774
AT ITER 2303 NEW BEST:: SOT 17433 SOS 7756 HAS SOPS 7756 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4901.756
AT ITER 2313 NEW BEST:: SOT 17433 SOS 7765 HAS SOPS 7765 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4900.765
AT ITER 2323 NEW BEST:: SOT 17431 SOS 7763 HAS SOPS 7763 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4894.763
AT ITER 2338 NEW BEST:: SOT 17428 SOS 7759 HAS SOPS 7759 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4890.759
AT ITER 2369 NEW BEST:: SOT 17436 SOS 7734 HAS SOPS 7734 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4831.734
AT ITER 2394 NEW BEST:: SOT 17426 SOS 7720 HAS SOPS 7720 HAS SOUS 4806 HAS SOUPS 4806 WITH SCORE 4813.72
AT ITER 2401 NEW BEST:: SOT 17423 SOS 7708 HAS SOPS 7708 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4806.708
AT ITER 2414 NEW BEST:: SOT 17423 SOS 7708 HAS SOPS 7708 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4802.708
AT ITER 2434 NEW BEST:: SOT 17418 SOS 7698 HAS SOPS 7698 HAS SOUS 4790 HAS SOUPS 4790 WITH SCORE 4797.698
AT ITER 2442 NEW BEST:: SOT 17418 SOS 7693 HAS SOPS 7693 HAS SOUS 4790 HAS SOUPS 4790 WITH SCORE 4797.693
AT ITER 2502 NEW BEST:: SOT 17393 SOS 7668 HAS SOPS 7668 HAS SOUS 4774 HAS SOUPS 4774 WITH SCORE 4781.668
AT ITER 2532 NEW BEST:: SOT 17390 SOS 7662 HAS SOPS 7662 HAS SOUS 4774 HAS SOUPS 4774 WITH SCORE 4781.662
AT ITER 2540 NEW BEST:: SOT 17386 SOS 7657 HAS SOPS 7657 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4774.657
AT ITER 2572 NEW BEST:: SOT 17335 SOS 7620 HAS SOPS 7620 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4759.62
AT ITER 2573 NEW BEST:: SOT 17331 SOS 7616 HAS SOPS 7616 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4755.616
AT ITER 2712 NEW BEST:: SOT 17331 SOS 7624 HAS SOPS 7624 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4747.624
AT ITER 2713 NEW BEST:: SOT 17324 SOS 7617 HAS SOPS 7617 HAS SOUS 4734 HAS SOUPS 4734 WITH SCORE 4741.617
AT ITER 2722 NEW BEST:: SOT 17325 SOS 7615 HAS SOPS 7615 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4738.615
AT ITER 2757 NEW BEST:: SOT 17321 SOS 7613 HAS SOPS 7613 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4734.613
AT ITER 2766 NEW BEST:: SOT 17320 SOS 7608 HAS SOPS 7608 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4733.608
AT ITER 2797 NEW BEST:: SOT 17320 SOS 7596 HAS SOPS 7596 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4717.596
AT ITER 2808 NEW BEST:: SOT 17323 SOS 7587 HAS SOPS 7587 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4713.587
AT ITER 2899 NEW BEST:: SOT 17321 SOS 7589 HAS SOPS 7589 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4711.589
AT ITER 2910 NEW BEST:: SOT 17321 SOS 7589 HAS SOPS 7589 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4709.589
AT ITER 2913 NEW BEST:: SOT 17315 SOS 7577 HAS SOPS 7577 HAS SOUS 4666 HAS SOUPS 4666 WITH SCORE 4673.577
AT ITER 2919 NEW BEST:: SOT 17305 SOS 7537 HAS SOPS 7537 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4656.537
AT ITER 2949 NEW BEST:: SOT 17297 SOS 7529 HAS SOPS 7529 HAS SOUS 4636 HAS SOUPS 4636 WITH SCORE 4643.529
AT ITER 2957 NEW BEST:: SOT 17297 SOS 7501 HAS SOPS 7501 HAS SOUS 4629 HAS SOUPS 4629 WITH SCORE 4636.501
AT ITER 2990 NEW BEST:: SOT 17256 SOS 7459 HAS SOPS 7459 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4598.459
AT ITER 3152 NEW BEST:: SOT 17272 SOS 7473 HAS SOPS 7473 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4595.473
AT ITER 3160 NEW BEST:: SOT 17268 SOS 7466 HAS SOPS 7466 HAS SOUS 4587 HAS SOUPS 4587 WITH SCORE 4594.466
AT ITER 3171 NEW BEST:: SOT 17260 SOS 7453 HAS SOPS 7453 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4584.453
AT ITER 3184 NEW BEST:: SOT 17260 SOS 7449 HAS SOPS 7449 HAS SOUS 4567 HAS SOUPS 4567 WITH SCORE 4574.449
AT ITER 3194 NEW BEST:: SOT 17259 SOS 7448 HAS SOPS 7448 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4573.448
AT ITER 3201 NEW BEST:: SOT 17265 SOS 7448 HAS SOPS 7448 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4572.448
AT ITER 3207 NEW BEST:: SOT 17256 SOS 7428 HAS SOPS 7428 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4561.428
AT ITER 3212 NEW BEST:: SOT 17256 SOS 7426 HAS SOPS 7426 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4561.426
AT ITER 3294 NEW BEST:: SOT 17256 SOS 7423 HAS SOPS 7423 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4558.423
AT ITER 3295 NEW BEST:: SOT 17256 SOS 7435 HAS SOPS 7435 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4557.435
AT ITER 3321 NEW BEST:: SOT 17280 SOS 7459 HAS SOPS 7459 HAS SOUS 4546 HAS SOUPS 4546 WITH SCORE 4553.459
AT ITER 3337 NEW BEST:: SOT 17278 SOS 7457 HAS SOPS 7457 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4551.457
AT ITER 3346 NEW BEST:: SOT 17293 SOS 7467 HAS SOPS 7467 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4546.467
AT ITER 3350 NEW BEST:: SOT 17290 SOS 7467 HAS SOPS 7467 HAS SOUS 4531 HAS SOUPS 4531 WITH SCORE 4538.467
AT ITER 3360 NEW BEST:: SOT 17312 SOS 7471 HAS SOPS 7471 HAS SOUS 4519 HAS SOUPS 4519 WITH SCORE 4526.471
AT ITER 3439 NEW BEST:: SOT 17298 SOS 7462 HAS SOPS 7462 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4507.462
AT ITER 3486 NEW BEST:: SOT 17297 SOS 7460 HAS SOPS 7460 HAS SOUS 4498 HAS SOUPS 4498 WITH SCORE 4505.46
AT ITER 3501 NEW BEST:: SOT 17292 SOS 7452 HAS SOPS 7452 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4485.452
AT ITER 3505 NEW BEST:: SOT 17291 SOS 7451 HAS SOPS 7451 HAS SOUS 4477 HAS SOUPS 4477 WITH SCORE 4484.451
AT ITER 3538 NEW BEST:: SOT 17290 SOS 7447 HAS SOPS 7447 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4480.447
AT ITER 3577 NEW BEST:: SOT 17289 SOS 7446 HAS SOPS 7446 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4480.446
AT ITER 3582 NEW BEST:: SOT 17286 SOS 7443 HAS SOPS 7443 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4477.443
AT ITER 3610 NEW BEST:: SOT 17276 SOS 7411 HAS SOPS 7411 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4448.411
AT ITER 3638 NEW BEST:: SOT 17217 SOS 7360 HAS SOPS 7360 HAS SOUS 4394 HAS SOUPS 4394 WITH SCORE 4401.36
AT ITER 3641 NEW BEST:: SOT 17189 SOS 7344 HAS SOPS 7344 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4331.344
AT ITER 3647 NEW BEST:: SOT 17145 SOS 7300 HAS SOPS 7300 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4287.3
AT ITER 3661 NEW BEST:: SOT 17142 SOS 7300 HAS SOPS 7300 HAS SOUS 4279 HAS SOUPS 4279 WITH SCORE 4286.3
AT ITER 3699 NEW BEST:: SOT 17144 SOS 7315 HAS SOPS 7315 HAS SOUS 4276 HAS SOUPS 4276 WITH SCORE 4283.315
AT ITER 3724 NEW BEST:: SOT 17144 SOS 7291 HAS SOPS 7291 HAS SOUS 4272 HAS SOUPS 4272 WITH SCORE 4279.291
AT ITER 3841 NEW BEST:: SOT 17146 SOS 7245 HAS SOPS 7245 HAS SOUS 4268 HAS SOUPS 4268 WITH SCORE 4275.245
AT ITER 3846 NEW BEST:: SOT 17144 SOS 7241 HAS SOPS 7241 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4271.241
AT ITER 3872 NEW BEST:: SOT 17144 SOS 7240 HAS SOPS 7240 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4270.24
AT ITER 3880 NEW BEST:: SOT 17136 SOS 7202 HAS SOPS 7202 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4270.202
AT ITER 3890 NEW BEST:: SOT 17142 SOS 7178 HAS SOPS 7178 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4260.178
AT ITER 3909 NEW BEST:: SOT 17126 SOS 7164 HAS SOPS 7164 HAS SOUS 4243 HAS SOUPS 4243 WITH SCORE 4250.164
AT ITER 3927 NEW BEST:: SOT 17126 SOS 7144 HAS SOPS 7144 HAS SOUS 4240 HAS SOUPS 4240 WITH SCORE 4247.144
AT ITER 3933 NEW BEST:: SOT 17127 SOS 7140 HAS SOPS 7140 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4246.14
AT ITER 3943 NEW BEST:: SOT 17122 SOS 7134 HAS SOPS 7134 HAS SOUS 4233 HAS SOUPS 4233 WITH SCORE 4240.134
AT ITER 3980 NEW BEST:: SOT 17121 SOS 7143 HAS SOPS 7143 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4238.143
AT ITER 4114 NEW BEST:: SOT 17106 SOS 7129 HAS SOPS 7129 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4234.129
AT ITER 4183 NEW BEST:: SOT 17078 SOS 7101 HAS SOPS 7101 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4206.101
AT ITER 4230 NEW BEST:: SOT 17078 SOS 7095 HAS SOPS 7095 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4200.095
AT ITER 4267 NEW BEST:: SOT 17077 SOS 7094 HAS SOPS 7094 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4199.094
AT ITER 4334 NEW BEST:: SOT 17053 SOS 7038 HAS SOPS 7038 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4148.038
AT ITER 4389 NEW BEST:: SOT 17051 SOS 6997 HAS SOPS 6997 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4118.997
AT ITER 4406 NEW BEST:: SOT 17051 SOS 6989 HAS SOPS 6989 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4114.989
AT ITER 4504 NEW BEST:: SOT 17041 SOS 6979 HAS SOPS 6979 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4112.979
AT ITER 4513 NEW BEST:: SOT 17041 SOS 6976 HAS SOPS 6976 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4112.976
AT ITER 4519 NEW BEST:: SOT 17041 SOS 6970 HAS SOPS 6970 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4112.97
AT ITER 4617 NEW BEST:: SOT 17025 SOS 6904 HAS SOPS 6904 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4091.904
AT ITER 4789 NEW BEST:: SOT 17023 SOS 6894 HAS SOPS 6894 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4087.894
AT ITER 4809 NEW BEST:: SOT 17022 SOS 6881 HAS SOPS 6881 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4039.881
AT ITER 4810 NEW BEST:: SOT 17018 SOS 6861 HAS SOPS 6861 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4037.861
AT ITER 4869 NEW BEST:: SOT 17014 SOS 6858 HAS SOPS 6858 HAS SOUS 4030 HAS SOUPS 4030 WITH SCORE 4036.858
AT ITER 4889 NEW BEST:: SOT 17015 SOS 6856 HAS SOPS 6856 HAS SOUS 4030 HAS SOUPS 4030 WITH SCORE 4036.856
AT ITER 4898 NEW BEST:: SOT 17013 SOS 6854 HAS SOPS 6854 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4034.854
AT ITER 4951 NEW BEST:: SOT 17021 SOS 6834 HAS SOPS 6834 HAS SOUS 4023 HAS SOUPS 4023 WITH SCORE 4029.834
AT ITER 4968 NEW BEST:: SOT 17020 SOS 6832 HAS SOPS 6832 HAS SOUS 4015 HAS SOUPS 4015 WITH SCORE 4021.832
AT ITER 5015 NEW BEST:: SOT 17005 SOS 6812 HAS SOPS 6812 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4004.812
AT ITER 5016 NEW BEST:: SOT 17005 SOS 6811 HAS SOPS 6811 HAS SOUS 3997 HAS SOUPS 3997 WITH SCORE 4003.811
AT ITER 5064 NEW BEST:: SOT 17013 SOS 6833 HAS SOPS 6833 HAS SOUS 3990 HAS SOUPS 3990 WITH SCORE 3996.833
AT ITER 5121 NEW BEST:: SOT 17000 SOS 6820 HAS SOPS 6820 HAS SOUS 3977 HAS SOUPS 3977 WITH SCORE 3983.82
AT ITER 5149 NEW BEST:: SOT 16993 SOS 6816 HAS SOPS 6816 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3979.816
AT ITER 5188 NEW BEST:: SOT 16993 SOS 6811 HAS SOPS 6811 HAS SOUS 3972 HAS SOUPS 3972 WITH SCORE 3978.811
AT ITER 5225 NEW BEST:: SOT 16987 SOS 6801 HAS SOPS 6801 HAS SOUS 3964 HAS SOUPS 3964 WITH SCORE 3970.801
AT ITER 5293 NEW BEST:: SOT 16983 SOS 6797 HAS SOPS 6797 HAS SOUS 3960 HAS SOUPS 3960 WITH SCORE 3966.797
AT ITER 5301 NEW BEST:: SOT 16975 SOS 6749 HAS SOPS 6749 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3959.749
AT ITER 5367 NEW BEST:: SOT 16987 SOS 6741 HAS SOPS 6741 HAS SOUS 3945 HAS SOUPS 3945 WITH SCORE 3951.741
AT ITER 5381 NEW BEST:: SOT 16993 SOS 6751 HAS SOPS 6751 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3947.751
AT ITER 5432 NEW BEST:: SOT 17001 SOS 6759 HAS SOPS 6759 HAS SOUS 3938 HAS SOUPS 3938 WITH SCORE 3944.759
AT ITER 5529 NEW BEST:: SOT 16994 SOS 6752 HAS SOPS 6752 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3934.752
AT ITER 5574 NEW BEST:: SOT 16991 SOS 6754 HAS SOPS 6754 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3931.754
AT ITER 5671 NEW BEST:: SOT 16990 SOS 6757 HAS SOPS 6757 HAS SOUS 3924 HAS SOUPS 3924 WITH SCORE 3930.757
AT ITER 5715 NEW BEST:: SOT 16977 SOS 6740 HAS SOPS 6740 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3917.74
AT ITER 5723 NEW BEST:: SOT 16958 SOS 6721 HAS SOPS 6721 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3900.721
AT ITER 5828 NEW BEST:: SOT 16953 SOS 6719 HAS SOPS 6719 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3898.719
AT ITER 5851 NEW BEST:: SOT 16953 SOS 6707 HAS SOPS 6707 HAS SOUS 3883 HAS SOUPS 3883 WITH SCORE 3889.707
AT ITER 5907 NEW BEST:: SOT 16953 SOS 6706 HAS SOPS 6706 HAS SOUS 3883 HAS SOUPS 3883 WITH SCORE 3889.706
AT ITER 5925 NEW BEST:: SOT 16950 SOS 6704 HAS SOPS 6704 HAS SOUS 3881 HAS SOUPS 3881 WITH SCORE 3887.704
AT ITER 5934 NEW BEST:: SOT 16950 SOS 6702 HAS SOPS 6702 HAS SOUS 3879 HAS SOUPS 3879 WITH SCORE 3885.702
AT ITER 6072 NEW BEST:: SOT 16948 SOS 6700 HAS SOPS 6700 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3883.7
AT ITER 6089 NEW BEST:: SOT 16948 SOS 6698 HAS SOPS 6698 HAS SOUS 3874 HAS SOUPS 3874 WITH SCORE 3880.698
AT ITER 6133 NEW BEST:: SOT 16943 SOS 6693 HAS SOPS 6693 HAS SOUS 3867 HAS SOUPS 3867 WITH SCORE 3873.693
AT ITER 6174 NEW BEST:: SOT 16942 SOS 6687 HAS SOPS 6687 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3870.687
AT ITER 6190 NEW BEST:: SOT 16941 SOS 6686 HAS SOPS 6686 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3868.686
AT ITER 6282 NEW BEST:: SOT 16933 SOS 6678 HAS SOPS 6678 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3860.678
AT ITER 6341 NEW BEST:: SOT 16932 SOS 6672 HAS SOPS 6672 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3859.672
AT ITER 6368 NEW BEST:: SOT 16934 SOS 6665 HAS SOPS 6665 HAS SOUS 3850 HAS SOUPS 3850 WITH SCORE 3856.665
AT ITER 6384 NEW BEST:: SOT 16934 SOS 6664 HAS SOPS 6664 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3855.664
AT ITER 6388 NEW BEST:: SOT 16916 SOS 6646 HAS SOPS 6646 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3837.646
AT ITER 6391 NEW BEST:: SOT 16914 SOS 6644 HAS SOPS 6644 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3835.644
AT ITER 6424 NEW BEST:: SOT 16911 SOS 6637 HAS SOPS 6637 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3832.637
AT ITER 6431 NEW BEST:: SOT 16926 SOS 6607 HAS SOPS 6607 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3821.607
AT ITER 6464 NEW BEST:: SOT 16925 SOS 6612 HAS SOPS 6612 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3820.612
AT ITER 6549 NEW BEST:: SOT 16922 SOS 6609 HAS SOPS 6609 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3813.609
AT ITER 6558 NEW BEST:: SOT 16913 SOS 6600 HAS SOPS 6600 HAS SOUS 3798 HAS SOUPS 3798 WITH SCORE 3804.6
AT ITER 6563 NEW BEST:: SOT 16909 SOS 6593 HAS SOPS 6593 HAS SOUS 3797 HAS SOUPS 3797 WITH SCORE 3803.593
AT ITER 6760 NEW BEST:: SOT 16900 SOS 6584 HAS SOPS 6584 HAS SOUS 3773 HAS SOUPS 3773 WITH SCORE 3779.584
AT ITER 6804 NEW BEST:: SOT 16899 SOS 6583 HAS SOPS 6583 HAS SOUS 3771 HAS SOUPS 3771 WITH SCORE 3777.583
AT ITER 6828 NEW BEST:: SOT 16889 SOS 6571 HAS SOPS 6571 HAS SOUS 3767 HAS SOUPS 3767 WITH SCORE 3773.571
AT ITER 6839 NEW BEST:: SOT 16889 SOS 6569 HAS SOPS 6569 HAS SOUS 3763 HAS SOUPS 3763 WITH SCORE 3769.569
AT ITER 6852 NEW BEST:: SOT 16887 SOS 6551 HAS SOPS 6551 HAS SOUS 3755 HAS SOUPS 3755 WITH SCORE 3761.551
AT ITER 6922 NEW BEST:: SOT 16883 SOS 6546 HAS SOPS 6546 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3756.546
AT ITER 6944 NEW BEST:: SOT 16883 SOS 6545 HAS SOPS 6545 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3756.545
AT ITER 7052 NEW BEST:: SOT 16883 SOS 6563 HAS SOPS 6563 HAS SOUS 3749 HAS SOUPS 3749 WITH SCORE 3755.563
AT ITER 7073 NEW BEST:: SOT 16890 SOS 6546 HAS SOPS 6546 HAS SOUS 3738 HAS SOUPS 3738 WITH SCORE 3744.546
AT ITER 7076 NEW BEST:: SOT 16887 SOS 6546 HAS SOPS 6546 HAS SOUS 3737 HAS SOUPS 3737 WITH SCORE 3743.546
AT ITER 7188 NEW BEST:: SOT 16887 SOS 6550 HAS SOPS 6550 HAS SOUS 3734 HAS SOUPS 3734 WITH SCORE 3740.55
AT ITER 7244 NEW BEST:: SOT 16885 SOS 6548 HAS SOPS 6548 HAS SOUS 3734 HAS SOUPS 3734 WITH SCORE 3740.548
AT ITER 7253 NEW BEST:: SOT 16888 SOS 6541 HAS SOPS 6541 HAS SOUS 3726 HAS SOUPS 3726 WITH SCORE 3732.541
AT ITER 7281 NEW BEST:: SOT 16888 SOS 6539 HAS SOPS 6539 HAS SOUS 3725 HAS SOUPS 3725 WITH SCORE 3731.539
AT ITER 7345 NEW BEST:: SOT 16888 SOS 6525 HAS SOPS 6525 HAS SOUS 3724 HAS SOUPS 3724 WITH SCORE 3730.525
AT ITER 7370 NEW BEST:: SOT 16887 SOS 6524 HAS SOPS 6524 HAS SOUS 3721 HAS SOUPS 3721 WITH SCORE 3727.524
AT ITER 7533 NEW BEST:: SOT 16881 SOS 6520 HAS SOPS 6520 HAS SOUS 3703 HAS SOUPS 3703 WITH SCORE 3709.52
AT ITER 7625 NEW BEST:: SOT 16877 SOS 6523 HAS SOPS 6523 HAS SOUS 3691 HAS SOUPS 3691 WITH SCORE 3697.523
AT ITER 7669 NEW BEST:: SOT 16877 SOS 6508 HAS SOPS 6508 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3694.508
AT ITER 7713 NEW BEST:: SOT 16877 SOS 6507 HAS SOPS 6507 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3694.507
AT ITER 7747 NEW BEST:: SOT 16877 SOS 6478 HAS SOPS 6478 HAS SOUS 3685 HAS SOUPS 3685 WITH SCORE 3691.478
AT ITER 7815 NEW BEST:: SOT 16877 SOS 6473 HAS SOPS 6473 HAS SOUS 3685 HAS SOUPS 3685 WITH SCORE 3691.473
AT ITER 7839 NEW BEST:: SOT 16874 SOS 6465 HAS SOPS 6465 HAS SOUS 3685 HAS SOUPS 3685 WITH SCORE 3691.465
AT ITER 7840 NEW BEST:: SOT 16872 SOS 6463 HAS SOPS 6463 HAS SOUS 3684 HAS SOUPS 3684 WITH SCORE 3690.463
AT ITER 7943 NEW BEST:: SOT 16872 SOS 6460 HAS SOPS 6460 HAS SOUS 3683 HAS SOUPS 3683 WITH SCORE 3689.46
AT ITER 7967 NEW BEST:: SOT 16860 SOS 6448 HAS SOPS 6448 HAS SOUS 3671 HAS SOUPS 3671 WITH SCORE 3677.448
AT ITER 8062 NEW BEST:: SOT 16853 SOS 6434 HAS SOPS 6434 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3674.434
AT ITER 8184 NEW BEST:: SOT 16838 SOS 6419 HAS SOPS 6419 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3674.419
AT ITER 8201 NEW BEST:: SOT 16837 SOS 6421 HAS SOPS 6421 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3673.421
AT ITER 8454 NEW BEST:: SOT 16834 SOS 6417 HAS SOPS 6417 HAS SOUS 3660 HAS SOUPS 3660 WITH SCORE 3666.417
AT ITER 8541 NEW BEST:: SOT 16834 SOS 6414 HAS SOPS 6414 HAS SOUS 3660 HAS SOUPS 3660 WITH SCORE 3666.414
AT ITER 8580 NEW BEST:: SOT 16828 SOS 6396 HAS SOPS 6396 HAS SOUS 3658 HAS SOUPS 3658 WITH SCORE 3664.396
AT ITER 8630 NEW BEST:: SOT 16827 SOS 6379 HAS SOPS 6379 HAS SOUS 3653 HAS SOUPS 3653 WITH SCORE 3659.379
AT ITER 8634 NEW BEST:: SOT 16827 SOS 6376 HAS SOPS 6376 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3658.376
AT ITER 8738 NEW BEST:: SOT 16820 SOS 6365 HAS SOPS 6365 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3650.365
AT ITER 8877 NEW BEST:: SOT 16818 SOS 6353 HAS SOPS 6353 HAS SOUS 3640 HAS SOUPS 3640 WITH SCORE 3646.353
AT ITER 8912 NEW BEST:: SOT 16817 SOS 6355 HAS SOPS 6355 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3645.355
AT ITER 9065 NEW BEST:: SOT 16815 SOS 6357 HAS SOPS 6357 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3644.357
AT ITER 9101 NEW BEST:: SOT 16825 SOS 6347 HAS SOPS 6347 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3644.347
AT ITER 9114 NEW BEST:: SOT 16825 SOS 6347 HAS SOPS 6347 HAS SOUS 3631 HAS SOUPS 3631 WITH SCORE 3637.347
AT ITER 9130 NEW BEST:: SOT 16825 SOS 6345 HAS SOPS 6345 HAS SOUS 3630 HAS SOUPS 3630 WITH SCORE 3636.345
AT ITER 9174 NEW BEST:: SOT 16823 SOS 6343 HAS SOPS 6343 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3634.343
AT ITER 9185 NEW BEST:: SOT 16823 SOS 6341 HAS SOPS 6341 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3633.341
AT ITER 9212 NEW BEST:: SOT 16823 SOS 6336 HAS SOPS 6336 HAS SOUS 3625 HAS SOUPS 3625 WITH SCORE 3631.336
AT ITER 9243 NEW BEST:: SOT 16823 SOS 6315 HAS SOPS 6315 HAS SOUS 3617 HAS SOUPS 3617 WITH SCORE 3623.315
AT ITER 9245 NEW BEST:: SOT 16823 SOS 6312 HAS SOPS 6312 HAS SOUS 3615 HAS SOUPS 3615 WITH SCORE 3621.312
AT ITER 9350 NEW BEST:: SOT 16823 SOS 6310 HAS SOPS 6310 HAS SOUS 3609 HAS SOUPS 3609 WITH SCORE 3615.31
AT ITER 9370 NEW BEST:: SOT 16820 SOS 6303 HAS SOPS 6303 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3610.303
AT ITER 9427 NEW BEST:: SOT 16815 SOS 6278 HAS SOPS 6278 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3595.278
AT ITER 9655 NEW BEST:: SOT 16813 SOS 6258 HAS SOPS 6258 HAS SOUS 3584 HAS SOUPS 3584 WITH SCORE 3590.258
AT ITER 9763 NEW BEST:: SOT 16813 SOS 6256 HAS SOPS 6256 HAS SOUS 3584 HAS SOUPS 3584 WITH SCORE 3590.256
AT ITER 9769 NEW BEST:: SOT 16811 SOS 6246 HAS SOPS 6246 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3584.246
AT ITER 9949 NEW BEST:: SOT 16809 SOS 6237 HAS SOPS 6237 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3580.237
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 620568 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16155788 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="ShieldRVs-PT-010A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is ShieldRVs-PT-010A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r419-tajo-167905973300088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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