Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r033-smll-158901925900288.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudDeployment-PT-3a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901925900288
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 260K
-rw-r--r-- 1 mcc users 2.9K Mar 30 01:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 01:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 15:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 28 15:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 07:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 26 07:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 97K Mar 24 05:37 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 1589139059101

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 3a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 104 places, 308 transitions, 1611 arcs.
AT ITER 0 NEW BEST:: SOT 23078 SOS 13510 HAS SOPS 12426 HAS SOUS 10732 HAS SOUPS 9730 WITH SCORE 9743.51
AT ITER 1 NEW BEST:: SOT 23348 SOS 13610 HAS SOPS 12526 HAS SOUS 10731 HAS SOUPS 9729 WITH SCORE 9742.61
AT ITER 2 NEW BEST:: SOT 23332 SOS 13603 HAS SOPS 12519 HAS SOUS 10724 HAS SOUPS 9722 WITH SCORE 9735.603
AT ITER 4 NEW BEST:: SOT 23345 SOS 13622 HAS SOPS 12538 HAS SOUS 10710 HAS SOUPS 9708 WITH SCORE 9721.622
AT ITER 6 NEW BEST:: SOT 23369 SOS 13622 HAS SOPS 12550 HAS SOUS 10674 HAS SOUPS 9684 WITH SCORE 9697.622
AT ITER 9 NEW BEST:: SOT 23337 SOS 13806 HAS SOPS 12576 HAS SOUS 10626 HAS SOUPS 9675 WITH SCORE 9688.806
AT ITER 10 NEW BEST:: SOT 23214 SOS 13701 HAS SOPS 12471 HAS SOUS 10623 HAS SOUPS 9672 WITH SCORE 9685.701
AT ITER 15 NEW BEST:: SOT 23222 SOS 13694 HAS SOPS 12464 HAS SOUS 10623 HAS SOUPS 9672 WITH SCORE 9685.694
AT ITER 18 NEW BEST:: SOT 23087 SOS 13606 HAS SOPS 12379 HAS SOUS 10570 HAS SOUPS 9619 WITH SCORE 9632.606
AT ITER 19 NEW BEST:: SOT 23213 SOS 13666 HAS SOPS 12439 HAS SOUS 10465 HAS SOUPS 9514 WITH SCORE 9527.666
AT ITER 23 NEW BEST:: SOT 23198 SOS 13696 HAS SOPS 12484 HAS SOUS 10435 HAS SOUPS 9499 WITH SCORE 9512.696
AT ITER 25 NEW BEST:: SOT 23205 SOS 13726 HAS SOPS 12536 HAS SOUS 10411 HAS SOUPS 9497 WITH SCORE 9510.726
AT ITER 26 NEW BEST:: SOT 23287 SOS 13761 HAS SOPS 12611 HAS SOUS 10312 HAS SOUPS 9441 WITH SCORE 9454.761
AT ITER 27 NEW BEST:: SOT 23285 SOS 13759 HAS SOPS 12609 HAS SOUS 10312 HAS SOUPS 9441 WITH SCORE 9454.759
AT ITER 28 NEW BEST:: SOT 23289 SOS 13755 HAS SOPS 12605 HAS SOUS 10308 HAS SOUPS 9437 WITH SCORE 9450.755
AT ITER 29 NEW BEST:: SOT 23402 SOS 13815 HAS SOPS 12693 HAS SOUS 10268 HAS SOUPS 9428 WITH SCORE 9441.815
AT ITER 31 NEW BEST:: SOT 23400 SOS 13811 HAS SOPS 12717 HAS SOUS 10206 HAS SOUPS 9394 WITH SCORE 9407.811
AT ITER 35 NEW BEST:: SOT 23400 SOS 13820 HAS SOPS 12758 HAS SOUS 10141 HAS SOUPS 9361 WITH SCORE 9374.82
AT ITER 38 NEW BEST:: SOT 23396 SOS 13803 HAS SOPS 12741 HAS SOUS 10112 HAS SOUPS 9332 WITH SCORE 9345.803
AT ITER 39 NEW BEST:: SOT 23387 SOS 13792 HAS SOPS 12647 HAS SOUS 10149 HAS SOUPS 9331 WITH SCORE 9344.792
AT ITER 41 NEW BEST:: SOT 23391 SOS 13794 HAS SOPS 12651 HAS SOUS 10143 HAS SOUPS 9327 WITH SCORE 9340.794
AT ITER 42 NEW BEST:: SOT 23389 SOS 13790 HAS SOPS 12647 HAS SOUS 10137 HAS SOUPS 9321 WITH SCORE 9334.79
AT ITER 44 NEW BEST:: SOT 23237 SOS 13694 HAS SOPS 12523 HAS SOUS 9997 HAS SOUPS 9197 WITH SCORE 9210.694
AT ITER 45 NEW BEST:: SOT 23221 SOS 13662 HAS SOPS 12491 HAS SOUS 9942 HAS SOUPS 9142 WITH SCORE 9155.662
AT ITER 46 NEW BEST:: SOT 23248 SOS 13668 HAS SOPS 12483 HAS SOUS 9947 HAS SOUPS 9134 WITH SCORE 9147.668
AT ITER 47 NEW BEST:: SOT 23328 SOS 13743 HAS SOPS 12606 HAS SOUS 9856 HAS SOUPS 9092 WITH SCORE 9105.743
AT ITER 50 NEW BEST:: SOT 23328 SOS 13675 HAS SOPS 12521 HAS SOUS 9828 HAS SOUPS 9047 WITH SCORE 9060.675
AT ITER 51 NEW BEST:: SOT 23275 SOS 13329 HAS SOPS 12134 HAS SOUS 9855 HAS SOUPS 9042 WITH SCORE 9055.329
AT ITER 52 NEW BEST:: SOT 23243 SOS 13333 HAS SOPS 12070 HAS SOUS 9872 HAS SOUPS 9038 WITH SCORE 9051.333
AT ITER 53 NEW BEST:: SOT 23354 SOS 13324 HAS SOPS 12061 HAS SOUS 9836 HAS SOUPS 9002 WITH SCORE 9015.324
AT ITER 60 NEW BEST:: SOT 23333 SOS 13303 HAS SOPS 12040 HAS SOUS 9824 HAS SOUPS 8990 WITH SCORE 9003.303
AT ITER 62 NEW BEST:: SOT 23156 SOS 13336 HAS SOPS 12004 HAS SOUS 9766 HAS SOUPS 8973 WITH SCORE 8986.336
AT ITER 64 NEW BEST:: SOT 23131 SOS 13311 HAS SOPS 12004 HAS SOUS 9732 HAS SOUPS 8964 WITH SCORE 8977.311
AT ITER 67 NEW BEST:: SOT 23475 SOS 13546 HAS SOPS 12272 HAS SOUS 9606 HAS SOUPS 8870 WITH SCORE 8883.546
AT ITER 70 NEW BEST:: SOT 23473 SOS 13545 HAS SOPS 12269 HAS SOUS 9607 HAS SOUPS 8870 WITH SCORE 8883.545
AT ITER 71 NEW BEST:: SOT 23432 SOS 13511 HAS SOPS 12214 HAS SOUS 9607 HAS SOUPS 8849 WITH SCORE 8862.511
AT ITER 75 NEW BEST:: SOT 23552 SOS 13560 HAS SOPS 12395 HAS SOUS 9432 HAS SOUPS 8750 WITH SCORE 8763.56
AT ITER 77 NEW BEST:: SOT 23601 SOS 13609 HAS SOPS 12456 HAS SOUS 9386 HAS SOUPS 8717 WITH SCORE 8730.609
AT ITER 78 NEW BEST:: SOT 23601 SOS 13593 HAS SOPS 12448 HAS SOUS 9338 HAS SOUPS 8677 WITH SCORE 8690.593
AT ITER 79 NEW BEST:: SOT 23589 SOS 13169 HAS SOPS 11899 HAS SOUS 9312 HAS SOUPS 8595 WITH SCORE 8608.169
AT ITER 80 NEW BEST:: SOT 23589 SOS 13237 HAS SOPS 12041 HAS SOUS 9216 HAS SOUPS 8547 WITH SCORE 8560.237
AT ITER 81 NEW BEST:: SOT 23599 SOS 13247 HAS SOPS 12061 HAS SOUS 9196 HAS SOUPS 8537 WITH SCORE 8550.247
AT ITER 87 NEW BEST:: SOT 23614 SOS 13253 HAS SOPS 12067 HAS SOUS 9193 HAS SOUPS 8534 WITH SCORE 8547.253
AT ITER 88 NEW BEST:: SOT 23160 SOS 13069 HAS SOPS 11588 HAS SOUS 8805 HAS SOUPS 8097 WITH SCORE 8110.069
AT ITER 93 NEW BEST:: SOT 23105 SOS 13014 HAS SOPS 11542 HAS SOUS 8793 HAS SOUPS 8087 WITH SCORE 8100.014
AT ITER 97 NEW BEST:: SOT 23280 SOS 13037 HAS SOPS 11711 HAS SOUS 8561 HAS SOUPS 7944 WITH SCORE 7957.037
AT ITER 99 NEW BEST:: SOT 23243 SOS 13049 HAS SOPS 11715 HAS SOUS 8555 HAS SOUPS 7938 WITH SCORE 7951.049
AT ITER 103 NEW BEST:: SOT 23198 SOS 12954 HAS SOPS 11549 HAS SOUS 8533 HAS SOUPS 7916 WITH SCORE 7928.954
AT ITER 106 NEW BEST:: SOT 23231 SOS 13012 HAS SOPS 11623 HAS SOUS 8506 HAS SOUPS 7896 WITH SCORE 7909.012
AT ITER 109 NEW BEST:: SOT 23184 SOS 12978 HAS SOPS 11589 HAS SOUS 8479 HAS SOUPS 7869 WITH SCORE 7881.978
AT ITER 112 NEW BEST:: SOT 23114 SOS 12892 HAS SOPS 11449 HAS SOUS 8493 HAS SOUPS 7859 WITH SCORE 7871.892
AT ITER 118 NEW BEST:: SOT 23127 SOS 12809 HAS SOPS 11420 HAS SOUS 8405 HAS SOUPS 7797 WITH SCORE 7809.809
AT ITER 128 NEW BEST:: SOT 23186 SOS 12841 HAS SOPS 11474 HAS SOUS 8351 HAS SOUPS 7770 WITH SCORE 7782.841
AT ITER 129 NEW BEST:: SOT 23171 SOS 12800 HAS SOPS 11429 HAS SOUS 8310 HAS SOUPS 7729 WITH SCORE 7741.8
AT ITER 131 NEW BEST:: SOT 22318 SOS 12829 HAS SOPS 10841 HAS SOUS 7588 HAS SOUPS 7104 WITH SCORE 7116.829
AT ITER 136 NEW BEST:: SOT 22326 SOS 12840 HAS SOPS 10885 HAS SOUS 7559 HAS SOUPS 7094 WITH SCORE 7106.84
AT ITER 141 NEW BEST:: SOT 22338 SOS 12852 HAS SOPS 10885 HAS SOUS 7536 HAS SOUPS 7073 WITH SCORE 7085.852
AT ITER 142 NEW BEST:: SOT 22338 SOS 12873 HAS SOPS 10906 HAS SOUS 7533 HAS SOUPS 7070 WITH SCORE 7082.873
AT ITER 146 NEW BEST:: SOT 22447 SOS 12923 HAS SOPS 10998 HAS SOUS 7398 HAS SOUPS 6977 WITH SCORE 6989.923
AT ITER 148 NEW BEST:: SOT 22699 SOS 13152 HAS SOPS 11240 HAS SOUS 7394 HAS SOUPS 6973 WITH SCORE 6986.152
AT ITER 150 NEW BEST:: SOT 22286 SOS 13744 HAS SOPS 11089 HAS SOUS 7377 HAS SOUPS 6933 WITH SCORE 6946.744
AT ITER 154 NEW BEST:: SOT 22289 SOS 13747 HAS SOPS 11061 HAS SOUS 7349 HAS SOUPS 6905 WITH SCORE 6918.747
AT ITER 158 NEW BEST:: SOT 22234 SOS 13747 HAS SOPS 10982 HAS SOUS 7310 HAS SOUPS 6831 WITH SCORE 6844.747
AT ITER 161 NEW BEST:: SOT 22227 SOS 13723 HAS SOPS 11002 HAS SOUS 7223 HAS SOUPS 6744 WITH SCORE 6757.723
AT ITER 167 NEW BEST:: SOT 22192 SOS 13667 HAS SOPS 10939 HAS SOUS 7160 HAS SOUPS 6681 WITH SCORE 6694.667
AT ITER 170 NEW BEST:: SOT 22191 SOS 13483 HAS SOPS 10584 HAS SOUS 7036 HAS SOUPS 6557 WITH SCORE 6570.483
AT ITER 171 NEW BEST:: SOT 22278 SOS 13566 HAS SOPS 10642 HAS SOUS 7005 HAS SOUPS 6526 WITH SCORE 6539.566
AT ITER 174 NEW BEST:: SOT 21854 SOS 13269 HAS SOPS 10580 HAS SOUS 6869 HAS SOUPS 6441 WITH SCORE 6454.269
AT ITER 175 NEW BEST:: SOT 20938 SOS 13615 HAS SOPS 10097 HAS SOUS 6469 HAS SOUPS 6040 WITH SCORE 6053.615
AT ITER 184 NEW BEST:: SOT 20926 SOS 13601 HAS SOPS 10087 HAS SOUS 6467 HAS SOUPS 6038 WITH SCORE 6051.601
AT ITER 186 NEW BEST:: SOT 20675 SOS 13338 HAS SOPS 9844 HAS SOUS 6268 HAS SOUPS 5839 WITH SCORE 5852.338
AT ITER 187 NEW BEST:: SOT 20676 SOS 13284 HAS SOPS 9828 HAS SOUS 6258 HAS SOUPS 5833 WITH SCORE 5846.284
AT ITER 190 NEW BEST:: SOT 20625 SOS 13208 HAS SOPS 9700 HAS SOUS 6204 HAS SOUPS 5760 WITH SCORE 5773.208
AT ITER 195 NEW BEST:: SOT 20633 SOS 13224 HAS SOPS 9700 HAS SOUS 6164 HAS SOUPS 5720 WITH SCORE 5733.224
AT ITER 197 NEW BEST:: SOT 20633 SOS 13251 HAS SOPS 9718 HAS SOUS 6155 HAS SOUPS 5711 WITH SCORE 5724.251
AT ITER 202 NEW BEST:: SOT 20763 SOS 13318 HAS SOPS 9785 HAS SOUS 6049 HAS SOUPS 5605 WITH SCORE 5618.318
AT ITER 208 NEW BEST:: SOT 20770 SOS 13325 HAS SOPS 9744 HAS SOUS 6008 HAS SOUPS 5564 WITH SCORE 5577.325
AT ITER 210 NEW BEST:: SOT 20788 SOS 13332 HAS SOPS 9698 HAS SOUS 5955 HAS SOUPS 5511 WITH SCORE 5524.332
AT ITER 212 NEW BEST:: SOT 20808 SOS 13297 HAS SOPS 9672 HAS SOUS 5940 HAS SOUPS 5496 WITH SCORE 5509.297
AT ITER 219 NEW BEST:: SOT 20758 SOS 13251 HAS SOPS 9624 HAS SOUS 5931 HAS SOUPS 5477 WITH SCORE 5490.251
AT ITER 224 NEW BEST:: SOT 20717 SOS 13169 HAS SOPS 9542 HAS SOUS 5829 HAS SOUPS 5375 WITH SCORE 5388.169
AT ITER 235 NEW BEST:: SOT 20712 SOS 13154 HAS SOPS 9537 HAS SOUS 5824 HAS SOUPS 5375 WITH SCORE 5388.154
AT ITER 243 NEW BEST:: SOT 20706 SOS 13134 HAS SOPS 9517 HAS SOUS 5824 HAS SOUPS 5375 WITH SCORE 5388.134
AT ITER 248 NEW BEST:: SOT 20718 SOS 12982 HAS SOPS 9409 HAS SOUS 5781 HAS SOUPS 5332 WITH SCORE 5344.982
AT ITER 251 NEW BEST:: SOT 20677 SOS 12900 HAS SOPS 9327 HAS SOUS 5781 HAS SOUPS 5332 WITH SCORE 5344.9
AT ITER 256 NEW BEST:: SOT 20662 SOS 12880 HAS SOPS 9312 HAS SOUS 5781 HAS SOUPS 5332 WITH SCORE 5344.88
AT ITER 265 NEW BEST:: SOT 20664 SOS 12879 HAS SOPS 9311 HAS SOUS 5779 HAS SOUPS 5330 WITH SCORE 5342.879
AT ITER 269 NEW BEST:: SOT 20470 SOS 12705 HAS SOPS 9147 HAS SOUS 5785 HAS SOUPS 5316 WITH SCORE 5328.705
AT ITER 271 NEW BEST:: SOT 20433 SOS 12371 HAS SOPS 8879 HAS SOUS 5745 HAS SOUPS 5276 WITH SCORE 5288.371
AT ITER 272 NEW BEST:: SOT 20471 SOS 13038 HAS SOPS 8887 HAS SOUS 5737 HAS SOUPS 5253 WITH SCORE 5266.038
AT ITER 274 NEW BEST:: SOT 20495 SOS 13050 HAS SOPS 8899 HAS SOUS 5725 HAS SOUPS 5241 WITH SCORE 5254.05
AT ITER 275 NEW BEST:: SOT 20524 SOS 12962 HAS SOPS 8811 HAS SOUS 5676 HAS SOUPS 5192 WITH SCORE 5204.962
AT ITER 278 NEW BEST:: SOT 20536 SOS 12962 HAS SOPS 8822 HAS SOUS 5648 HAS SOUPS 5172 WITH SCORE 5184.962
AT ITER 286 NEW BEST:: SOT 20486 SOS 12990 HAS SOPS 8794 HAS SOUS 5654 HAS SOUPS 5158 WITH SCORE 5170.99
AT ITER 292 NEW BEST:: SOT 20530 SOS 12994 HAS SOPS 8798 HAS SOUS 5631 HAS SOUPS 5135 WITH SCORE 5147.994
AT ITER 300 NEW BEST:: SOT 20531 SOS 12995 HAS SOPS 8795 HAS SOUS 5628 HAS SOUPS 5132 WITH SCORE 5144.995
AT ITER 302 NEW BEST:: SOT 20548 SOS 12945 HAS SOPS 8874 HAS SOUS 5598 HAS SOUPS 5106 WITH SCORE 5118.945
AT ITER 303 NEW BEST:: SOT 20466 SOS 12985 HAS SOPS 8851 HAS SOUS 5594 HAS SOUPS 5091 WITH SCORE 5103.985
AT ITER 309 NEW BEST:: SOT 20393 SOS 12938 HAS SOPS 8794 HAS SOUS 5569 HAS SOUPS 5066 WITH SCORE 5078.938
AT ITER 310 NEW BEST:: SOT 20291 SOS 12818 HAS SOPS 8674 HAS SOUS 5443 HAS SOUPS 4940 WITH SCORE 4952.818
AT ITER 312 NEW BEST:: SOT 20290 SOS 12815 HAS SOPS 8671 HAS SOUS 5438 HAS SOUPS 4935 WITH SCORE 4947.815
AT ITER 313 NEW BEST:: SOT 20242 SOS 12719 HAS SOPS 8575 HAS SOUS 5424 HAS SOUPS 4921 WITH SCORE 4933.719
AT ITER 319 NEW BEST:: SOT 19720 SOS 12329 HAS SOPS 8326 HAS SOUS 5137 HAS SOUPS 4656 WITH SCORE 4668.329
AT ITER 321 NEW BEST:: SOT 19578 SOS 12266 HAS SOPS 8315 HAS SOUS 5135 HAS SOUPS 4645 WITH SCORE 4657.266
AT ITER 328 NEW BEST:: SOT 19587 SOS 12276 HAS SOPS 8325 HAS SOUS 5122 HAS SOUPS 4632 WITH SCORE 4644.276
AT ITER 331 NEW BEST:: SOT 19476 SOS 12317 HAS SOPS 9227 HAS SOUS 4980 HAS SOUPS 4548 WITH SCORE 4560.317
AT ITER 333 NEW BEST:: SOT 19539 SOS 12279 HAS SOPS 9189 HAS SOUS 4961 HAS SOUPS 4529 WITH SCORE 4541.279
AT ITER 346 NEW BEST:: SOT 19504 SOS 12244 HAS SOPS 9154 HAS SOUS 4926 HAS SOUPS 4494 WITH SCORE 4506.244
AT ITER 348 NEW BEST:: SOT 19251 SOS 12198 HAS SOPS 9177 HAS SOUS 4822 HAS SOUPS 4352 WITH SCORE 4364.198
AT ITER 349 NEW BEST:: SOT 19235 SOS 12194 HAS SOPS 9177 HAS SOUS 4821 HAS SOUPS 4351 WITH SCORE 4363.194
AT ITER 351 NEW BEST:: SOT 19221 SOS 12181 HAS SOPS 9159 HAS SOUS 4804 HAS SOUPS 4333 WITH SCORE 4345.181
AT ITER 352 NEW BEST:: SOT 19186 SOS 12270 HAS SOPS 9150 HAS SOUS 4806 HAS SOUPS 4324 WITH SCORE 4336.27
AT ITER 365 NEW BEST:: SOT 19287 SOS 12407 HAS SOPS 9275 HAS SOUS 4791 HAS SOUPS 4309 WITH SCORE 4321.407
AT ITER 368 NEW BEST:: SOT 19358 SOS 12299 HAS SOPS 9167 HAS SOUS 4693 HAS SOUPS 4211 WITH SCORE 4223.299
AT ITER 371 NEW BEST:: SOT 19368 SOS 12275 HAS SOPS 9143 HAS SOUS 4671 HAS SOUPS 4189 WITH SCORE 4201.275
AT ITER 379 NEW BEST:: SOT 19374 SOS 12246 HAS SOPS 9115 HAS SOUS 4603 HAS SOUPS 4121 WITH SCORE 4133.246
AT ITER 385 NEW BEST:: SOT 19365 SOS 12219 HAS SOPS 9088 HAS SOUS 4585 HAS SOUPS 4103 WITH SCORE 4115.219
AT ITER 389 NEW BEST:: SOT 19359 SOS 12213 HAS SOPS 9082 HAS SOUS 4579 HAS SOUPS 4097 WITH SCORE 4109.213
AT ITER 391 NEW BEST:: SOT 19393 SOS 12182 HAS SOPS 9051 HAS SOUS 4561 HAS SOUPS 4079 WITH SCORE 4091.182
AT ITER 395 NEW BEST:: SOT 19417 SOS 12206 HAS SOPS 9072 HAS SOUS 4552 HAS SOUPS 4070 WITH SCORE 4082.206
AT ITER 396 NEW BEST:: SOT 19417 SOS 12153 HAS SOPS 9035 HAS SOUS 4547 HAS SOUPS 4065 WITH SCORE 4077.153
AT ITER 397 NEW BEST:: SOT 19402 SOS 12123 HAS SOPS 9005 HAS SOUS 4504 HAS SOUPS 4022 WITH SCORE 4034.123
AT ITER 407 NEW BEST:: SOT 19384 SOS 12111 HAS SOPS 8993 HAS SOUS 4504 HAS SOUPS 4022 WITH SCORE 4034.111
AT ITER 411 NEW BEST:: SOT 19384 SOS 11738 HAS SOPS 8990 HAS SOUS 4493 HAS SOUPS 4019 WITH SCORE 4030.738
AT ITER 412 NEW BEST:: SOT 19382 SOS 11736 HAS SOPS 8990 HAS SOUS 4490 HAS SOUPS 4016 WITH SCORE 4027.736
AT ITER 416 NEW BEST:: SOT 19201 SOS 11509 HAS SOPS 8763 HAS SOUS 4455 HAS SOUPS 3981 WITH SCORE 3992.509
AT ITER 419 NEW BEST:: SOT 19263 SOS 11473 HAS SOPS 8727 HAS SOUS 4434 HAS SOUPS 3960 WITH SCORE 3971.473
AT ITER 424 NEW BEST:: SOT 19137 SOS 11293 HAS SOPS 8571 HAS SOUS 4402 HAS SOUPS 3928 WITH SCORE 3939.293
AT ITER 428 NEW BEST:: SOT 19234 SOS 11400 HAS SOPS 8678 HAS SOUS 4395 HAS SOUPS 3921 WITH SCORE 3932.4
AT ITER 443 NEW BEST:: SOT 19220 SOS 11377 HAS SOPS 8626 HAS SOUS 4401 HAS SOUPS 3915 WITH SCORE 3926.377
AT ITER 454 NEW BEST:: SOT 19196 SOS 11361 HAS SOPS 8594 HAS SOUS 4377 HAS SOUPS 3883 WITH SCORE 3894.361
AT ITER 456 NEW BEST:: SOT 19204 SOS 11117 HAS SOPS 8350 HAS SOUS 4247 HAS SOUPS 3753 WITH SCORE 3764.117
AT ITER 461 NEW BEST:: SOT 19193 SOS 11025 HAS SOPS 8286 HAS SOUS 4209 HAS SOUPS 3731 WITH SCORE 3742.025
AT ITER 466 NEW BEST:: SOT 19193 SOS 11005 HAS SOPS 8266 HAS SOUS 4199 HAS SOUPS 3721 WITH SCORE 3732.005
AT ITER 468 NEW BEST:: SOT 19191 SOS 10955 HAS SOPS 8288 HAS SOUS 4167 HAS SOUPS 3712 WITH SCORE 3722.955
AT ITER 473 NEW BEST:: SOT 19322 SOS 11037 HAS SOPS 8370 HAS SOUS 4147 HAS SOUPS 3692 WITH SCORE 3703.037
AT ITER 480 NEW BEST:: SOT 19351 SOS 11063 HAS SOPS 8396 HAS SOUS 4151 HAS SOUPS 3688 WITH SCORE 3699.063
AT ITER 501 NEW BEST:: SOT 19379 SOS 11032 HAS SOPS 8365 HAS SOUS 4137 HAS SOUPS 3674 WITH SCORE 3685.032
AT ITER 512 NEW BEST:: SOT 19378 SOS 11010 HAS SOPS 8343 HAS SOUS 4105 HAS SOUPS 3642 WITH SCORE 3653.01
AT ITER 513 NEW BEST:: SOT 19429 SOS 11057 HAS SOPS 8390 HAS SOUS 4065 HAS SOUPS 3602 WITH SCORE 3613.057
AT ITER 529 NEW BEST:: SOT 19491 SOS 11147 HAS SOPS 8463 HAS SOUS 4059 HAS SOUPS 3596 WITH SCORE 3607.147
AT ITER 533 NEW BEST:: SOT 19485 SOS 11099 HAS SOPS 8415 HAS SOUS 4038 HAS SOUPS 3575 WITH SCORE 3586.099
AT ITER 535 NEW BEST:: SOT 19494 SOS 11090 HAS SOPS 8397 HAS SOUS 4020 HAS SOUPS 3557 WITH SCORE 3568.09
AT ITER 540 NEW BEST:: SOT 19488 SOS 11084 HAS SOPS 8391 HAS SOUS 4014 HAS SOUPS 3551 WITH SCORE 3562.084
AT ITER 554 NEW BEST:: SOT 19487 SOS 11035 HAS SOPS 8342 HAS SOUS 3981 HAS SOUPS 3518 WITH SCORE 3529.035
AT ITER 555 NEW BEST:: SOT 19497 SOS 11005 HAS SOPS 8312 HAS SOUS 3954 HAS SOUPS 3491 WITH SCORE 3502.005
AT ITER 558 NEW BEST:: SOT 19483 SOS 10977 HAS SOPS 8284 HAS SOUS 3934 HAS SOUPS 3471 WITH SCORE 3481.977
AT ITER 559 NEW BEST:: SOT 19450 SOS 10929 HAS SOPS 8243 HAS SOUS 3908 HAS SOUPS 3445 WITH SCORE 3455.929
AT ITER 561 NEW BEST:: SOT 19450 SOS 10589 HAS SOPS 8264 HAS SOUS 3883 HAS SOUPS 3445 WITH SCORE 3455.589
AT ITER 565 NEW BEST:: SOT 19450 SOS 10622 HAS SOPS 8290 HAS SOUS 3880 HAS SOUPS 3442 WITH SCORE 3452.622
AT ITER 567 NEW BEST:: SOT 19447 SOS 10620 HAS SOPS 8289 HAS SOUS 3878 HAS SOUPS 3441 WITH SCORE 3451.62
AT ITER 579 NEW BEST:: SOT 19448 SOS 10619 HAS SOPS 8292 HAS SOUS 3877 HAS SOUPS 3441 WITH SCORE 3451.619
AT ITER 589 NEW BEST:: SOT 19437 SOS 10603 HAS SOPS 8279 HAS SOUS 3874 HAS SOUPS 3438 WITH SCORE 3448.603
AT ITER 594 NEW BEST:: SOT 19444 SOS 10564 HAS SOPS 8305 HAS SOUS 3867 HAS SOUPS 3432 WITH SCORE 3442.564
AT ITER 600 NEW BEST:: SOT 19407 SOS 10680 HAS SOPS 8285 HAS SOUS 3852 HAS SOUPS 3407 WITH SCORE 3417.68
AT ITER 616 NEW BEST:: SOT 19380 SOS 10667 HAS SOPS 8267 HAS SOUS 3833 HAS SOUPS 3388 WITH SCORE 3398.667
AT ITER 619 NEW BEST:: SOT 19389 SOS 10646 HAS SOPS 8271 HAS SOUS 3824 HAS SOUPS 3386 WITH SCORE 3396.646
AT ITER 643 NEW BEST:: SOT 19382 SOS 10632 HAS SOPS 8257 HAS SOUS 3792 HAS SOUPS 3354 WITH SCORE 3364.632
AT ITER 656 NEW BEST:: SOT 19374 SOS 10527 HAS SOPS 8186 HAS SOUS 3737 HAS SOUPS 3307 WITH SCORE 3317.527
AT ITER 661 NEW BEST:: SOT 19358 SOS 10513 HAS SOPS 8172 HAS SOUS 3729 HAS SOUPS 3299 WITH SCORE 3309.513
AT ITER 678 NEW BEST:: SOT 19346 SOS 10495 HAS SOPS 8154 HAS SOUS 3723 HAS SOUPS 3293 WITH SCORE 3303.495
AT ITER 686 NEW BEST:: SOT 19347 SOS 10497 HAS SOPS 8156 HAS SOUS 3721 HAS SOUPS 3291 WITH SCORE 3301.497
AT ITER 703 NEW BEST:: SOT 19323 SOS 10464 HAS SOPS 8123 HAS SOUS 3709 HAS SOUPS 3279 WITH SCORE 3289.464
AT ITER 705 NEW BEST:: SOT 19321 SOS 10438 HAS SOPS 8030 HAS SOUS 3706 HAS SOUPS 3273 WITH SCORE 3283.438
AT ITER 710 NEW BEST:: SOT 19332 SOS 10436 HAS SOPS 8022 HAS SOUS 3705 HAS SOUPS 3263 WITH SCORE 3273.436
AT ITER 715 NEW BEST:: SOT 19308 SOS 10458 HAS SOPS 8022 HAS SOUS 3691 HAS SOUPS 3242 WITH SCORE 3252.458
AT ITER 725 NEW BEST:: SOT 19312 SOS 10460 HAS SOPS 8025 HAS SOUS 3690 HAS SOUPS 3241 WITH SCORE 3251.46
AT ITER 731 NEW BEST:: SOT 19191 SOS 10332 HAS SOPS 7897 HAS SOUS 3673 HAS SOUPS 3224 WITH SCORE 3234.332
AT ITER 734 NEW BEST:: SOT 19201 SOS 10343 HAS SOPS 7908 HAS SOUS 3669 HAS SOUPS 3220 WITH SCORE 3230.343
AT ITER 742 NEW BEST:: SOT 19191 SOS 10317 HAS SOPS 7876 HAS SOUS 3634 HAS SOUPS 3185 WITH SCORE 3195.317
AT ITER 743 NEW BEST:: SOT 19254 SOS 10243 HAS SOPS 7802 HAS SOUS 3575 HAS SOUPS 3126 WITH SCORE 3136.243
AT ITER 747 NEW BEST:: SOT 19233 SOS 10242 HAS SOPS 7801 HAS SOUS 3565 HAS SOUPS 3116 WITH SCORE 3126.242
AT ITER 758 NEW BEST:: SOT 19230 SOS 10216 HAS SOPS 7775 HAS SOUS 3546 HAS SOUPS 3097 WITH SCORE 3107.216
AT ITER 771 NEW BEST:: SOT 19232 SOS 10246 HAS SOPS 7781 HAS SOUS 3542 HAS SOUPS 3087 WITH SCORE 3097.246
AT ITER 774 NEW BEST:: SOT 19226 SOS 10238 HAS SOPS 7771 HAS SOUS 3540 HAS SOUPS 3085 WITH SCORE 3095.238
AT ITER 783 NEW BEST:: SOT 19241 SOS 10241 HAS SOPS 7774 HAS SOUS 3525 HAS SOUPS 3070 WITH SCORE 3080.241
AT ITER 852 NEW BEST:: SOT 19206 SOS 10206 HAS SOPS 7753 HAS SOUS 3525 HAS SOUPS 3070 WITH SCORE 3080.206
AT ITER 856 NEW BEST:: SOT 19216 SOS 10175 HAS SOPS 7745 HAS SOUS 3497 HAS SOUPS 3048 WITH SCORE 3058.175
AT ITER 857 NEW BEST:: SOT 19216 SOS 10150 HAS SOPS 7654 HAS SOUS 3494 HAS SOUPS 3043 WITH SCORE 3053.15
AT ITER 858 NEW BEST:: SOT 19216 SOS 10094 HAS SOPS 7598 HAS SOUS 3466 HAS SOUPS 3015 WITH SCORE 3025.094
AT ITER 859 NEW BEST:: SOT 19220 SOS 10074 HAS SOPS 7578 HAS SOUS 3443 HAS SOUPS 2992 WITH SCORE 3002.074
AT ITER 860 NEW BEST:: SOT 19217 SOS 10077 HAS SOPS 7576 HAS SOUS 3443 HAS SOUPS 2991 WITH SCORE 3001.077
AT ITER 869 NEW BEST:: SOT 19205 SOS 10056 HAS SOPS 7555 HAS SOUS 3431 HAS SOUPS 2979 WITH SCORE 2989.056
AT ITER 885 NEW BEST:: SOT 19187 SOS 10165 HAS SOPS 7938 HAS SOUS 3413 HAS SOUPS 2967 WITH SCORE 2977.165
AT ITER 902 NEW BEST:: SOT 19179 SOS 10155 HAS SOPS 7916 HAS SOUS 3400 HAS SOUPS 2954 WITH SCORE 2964.155
AT ITER 905 NEW BEST:: SOT 19175 SOS 10149 HAS SOPS 7910 HAS SOUS 3399 HAS SOUPS 2953 WITH SCORE 2963.149
AT ITER 923 NEW BEST:: SOT 19158 SOS 10547 HAS SOPS 7856 HAS SOUS 3411 HAS SOUPS 2946 WITH SCORE 2956.547
AT ITER 941 NEW BEST:: SOT 19121 SOS 10510 HAS SOPS 7831 HAS SOUS 3389 HAS SOUPS 2924 WITH SCORE 2934.51
AT ITER 949 NEW BEST:: SOT 19136 SOS 10533 HAS SOPS 7847 HAS SOUS 3388 HAS SOUPS 2923 WITH SCORE 2933.533
AT ITER 962 NEW BEST:: SOT 19160 SOS 10581 HAS SOPS 7883 HAS SOUS 3386 HAS SOUPS 2922 WITH SCORE 2932.581
AT ITER 976 NEW BEST:: SOT 19133 SOS 10548 HAS SOPS 7850 HAS SOUS 3379 HAS SOUPS 2915 WITH SCORE 2925.548
AT ITER 981 NEW BEST:: SOT 19139 SOS 10530 HAS SOPS 7832 HAS SOUS 3379 HAS SOUPS 2915 WITH SCORE 2925.53
AT ITER 986 NEW BEST:: SOT 19139 SOS 10569 HAS SOPS 7825 HAS SOUS 3378 HAS SOUPS 2913 WITH SCORE 2923.569
AT ITER 999 NEW BEST:: SOT 19145 SOS 10569 HAS SOPS 7825 HAS SOUS 3372 HAS SOUPS 2907 WITH SCORE 2917.569
AT ITER 1023 NEW BEST:: SOT 19033 SOS 10521 HAS SOPS 7817 HAS SOUS 3372 HAS SOUPS 2899 WITH SCORE 2909.521
AT ITER 1032 NEW BEST:: SOT 19032 SOS 10520 HAS SOPS 7816 HAS SOUS 3359 HAS SOUPS 2886 WITH SCORE 2896.52
AT ITER 1056 NEW BEST:: SOT 19026 SOS 10517 HAS SOPS 7813 HAS SOUS 3359 HAS SOUPS 2886 WITH SCORE 2896.517
AT ITER 1066 NEW BEST:: SOT 19031 SOS 10522 HAS SOPS 7818 HAS SOUS 3356 HAS SOUPS 2883 WITH SCORE 2893.522
AT ITER 1069 NEW BEST:: SOT 19022 SOS 10522 HAS SOPS 7818 HAS SOUS 3353 HAS SOUPS 2880 WITH SCORE 2890.522
AT ITER 1073 NEW BEST:: SOT 19032 SOS 10535 HAS SOPS 7824 HAS SOUS 3345 HAS SOUPS 2872 WITH SCORE 2882.535
AT ITER 1074 NEW BEST:: SOT 19041 SOS 10539 HAS SOPS 7822 HAS SOUS 3344 HAS SOUPS 2871 WITH SCORE 2881.539
AT ITER 1075 NEW BEST:: SOT 19038 SOS 10533 HAS SOPS 7816 HAS SOUS 3335 HAS SOUPS 2862 WITH SCORE 2872.533
AT ITER 1079 NEW BEST:: SOT 19038 SOS 10530 HAS SOPS 7813 HAS SOUS 3335 HAS SOUPS 2862 WITH SCORE 2872.53
AT ITER 1085 NEW BEST:: SOT 19002 SOS 10491 HAS SOPS 7796 HAS SOUS 3311 HAS SOUPS 2838 WITH SCORE 2848.491
AT ITER 1089 NEW BEST:: SOT 19004 SOS 10491 HAS SOPS 7794 HAS SOUS 3305 HAS SOUPS 2832 WITH SCORE 2842.491
AT ITER 1100 NEW BEST:: SOT 19004 SOS 10489 HAS SOPS 7793 HAS SOUS 3305 HAS SOUPS 2832 WITH SCORE 2842.489
AT ITER 1101 NEW BEST:: SOT 18994 SOS 10487 HAS SOPS 7791 HAS SOUS 3300 HAS SOUPS 2827 WITH SCORE 2837.487
AT ITER 1111 NEW BEST:: SOT 19004 SOS 10472 HAS SOPS 7776 HAS SOUS 3275 HAS SOUPS 2802 WITH SCORE 2812.472
AT ITER 1121 NEW BEST:: SOT 19002 SOS 10363 HAS SOPS 7312 HAS SOUS 3253 HAS SOUPS 2766 WITH SCORE 2776.363
AT ITER 1123 NEW BEST:: SOT 19003 SOS 10356 HAS SOPS 7305 HAS SOUS 3250 HAS SOUPS 2760 WITH SCORE 2770.356
AT ITER 1128 NEW BEST:: SOT 18889 SOS 10191 HAS SOPS 7173 HAS SOUS 3237 HAS SOUPS 2747 WITH SCORE 2757.191
AT ITER 1145 NEW BEST:: SOT 18857 SOS 10167 HAS SOPS 7149 HAS SOUS 3219 HAS SOUPS 2729 WITH SCORE 2739.167
AT ITER 1146 NEW BEST:: SOT 18857 SOS 10164 HAS SOPS 7148 HAS SOUS 3218 HAS SOUPS 2728 WITH SCORE 2738.164
AT ITER 1173 NEW BEST:: SOT 18853 SOS 10152 HAS SOPS 7136 HAS SOUS 3206 HAS SOUPS 2716 WITH SCORE 2726.152
AT ITER 1181 NEW BEST:: SOT 18851 SOS 10146 HAS SOPS 7132 HAS SOUS 3202 HAS SOUPS 2712 WITH SCORE 2722.146
AT ITER 1188 NEW BEST:: SOT 18872 SOS 10167 HAS SOPS 7153 HAS SOUS 3193 HAS SOUPS 2703 WITH SCORE 2713.167
AT ITER 1207 NEW BEST:: SOT 19097 SOS 10354 HAS SOPS 7300 HAS SOUS 3189 HAS SOUPS 2699 WITH SCORE 2709.354
AT ITER 1210 NEW BEST:: SOT 19090 SOS 10347 HAS SOPS 7297 HAS SOUS 3187 HAS SOUPS 2697 WITH SCORE 2707.347
AT ITER 1211 NEW BEST:: SOT 19080 SOS 10337 HAS SOPS 7285 HAS SOUS 3179 HAS SOUPS 2689 WITH SCORE 2699.337
AT ITER 1239 NEW BEST:: SOT 19078 SOS 10333 HAS SOPS 7281 HAS SOUS 3169 HAS SOUPS 2679 WITH SCORE 2689.333
AT ITER 1258 NEW BEST:: SOT 19075 SOS 10358 HAS SOPS 7305 HAS SOUS 3163 HAS SOUPS 2673 WITH SCORE 2683.358
AT ITER 1276 NEW BEST:: SOT 19075 SOS 10266 HAS SOPS 7213 HAS SOUS 3117 HAS SOUPS 2627 WITH SCORE 2637.266
AT ITER 1283 NEW BEST:: SOT 19032 SOS 10223 HAS SOPS 7189 HAS SOUS 3093 HAS SOUPS 2603 WITH SCORE 2613.223
AT ITER 1299 NEW BEST:: SOT 19026 SOS 10203 HAS SOPS 7099 HAS SOUS 3100 HAS SOUPS 2602 WITH SCORE 2612.203
AT ITER 1310 NEW BEST:: SOT 19025 SOS 10203 HAS SOPS 7093 HAS SOUS 3098 HAS SOUPS 2600 WITH SCORE 2610.203
AT ITER 1311 NEW BEST:: SOT 19025 SOS 10194 HAS SOPS 7093 HAS SOUS 3098 HAS SOUPS 2600 WITH SCORE 2610.194
AT ITER 1334 NEW BEST:: SOT 19002 SOS 10194 HAS SOPS 7095 HAS SOUS 3092 HAS SOUPS 2596 WITH SCORE 2606.194
AT ITER 1340 NEW BEST:: SOT 19002 SOS 10190 HAS SOPS 7067 HAS SOUS 3084 HAS SOUPS 2588 WITH SCORE 2598.19
AT ITER 1380 NEW BEST:: SOT 19006 SOS 10209 HAS SOPS 7086 HAS SOUS 3082 HAS SOUPS 2586 WITH SCORE 2596.209
AT ITER 1383 NEW BEST:: SOT 19011 SOS 10201 HAS SOPS 7084 HAS SOUS 3079 HAS SOUPS 2585 WITH SCORE 2595.201
AT ITER 1390 NEW BEST:: SOT 19002 SOS 10183 HAS SOPS 7066 HAS SOUS 3062 HAS SOUPS 2568 WITH SCORE 2578.183
AT ITER 1446 NEW BEST:: SOT 18919 SOS 10094 HAS SOPS 7005 HAS SOUS 3051 HAS SOUPS 2559 WITH SCORE 2569.094
AT ITER 1450 NEW BEST:: SOT 18919 SOS 10074 HAS SOPS 6995 HAS SOUS 3051 HAS SOUPS 2559 WITH SCORE 2569.074
AT ITER 1488 NEW BEST:: SOT 18917 SOS 10065 HAS SOPS 6976 HAS SOUS 3042 HAS SOUPS 2548 WITH SCORE 2558.065
AT ITER 1519 NEW BEST:: SOT 18892 SOS 10035 HAS SOPS 6946 HAS SOUS 3037 HAS SOUPS 2543 WITH SCORE 2553.035
AT ITER 1525 NEW BEST:: SOT 18895 SOS 10036 HAS SOPS 6946 HAS SOUS 3034 HAS SOUPS 2540 WITH SCORE 2550.036
AT ITER 1550 NEW BEST:: SOT 18889 SOS 10034 HAS SOPS 6944 HAS SOUS 3032 HAS SOUPS 2538 WITH SCORE 2548.034
AT ITER 1574 NEW BEST:: SOT 18887 SOS 10032 HAS SOPS 6942 HAS SOUS 3032 HAS SOUPS 2538 WITH SCORE 2548.032
AT ITER 1575 NEW BEST:: SOT 18871 SOS 10020 HAS SOPS 6930 HAS SOUS 3032 HAS SOUPS 2538 WITH SCORE 2548.02
AT ITER 1610 NEW BEST:: SOT 18867 SOS 10006 HAS SOPS 6918 HAS SOUS 3018 HAS SOUPS 2526 WITH SCORE 2536.006
AT ITER 1613 NEW BEST:: SOT 18992 SOS 9957 HAS SOPS 6918 HAS SOUS 2992 HAS SOUPS 2526 WITH SCORE 2535.957
AT ITER 1632 NEW BEST:: SOT 18998 SOS 9953 HAS SOPS 6914 HAS SOUS 2979 HAS SOUPS 2513 WITH SCORE 2522.953
AT ITER 1657 NEW BEST:: SOT 19000 SOS 9952 HAS SOPS 6913 HAS SOUS 2973 HAS SOUPS 2507 WITH SCORE 2516.952
AT ITER 1714 NEW BEST:: SOT 19000 SOS 9952 HAS SOPS 6913 HAS SOUS 2971 HAS SOUPS 2505 WITH SCORE 2514.952
AT ITER 1720 NEW BEST:: SOT 19024 SOS 9976 HAS SOPS 6895 HAS SOUS 2955 HAS SOUPS 2487 WITH SCORE 2496.976
AT ITER 1744 NEW BEST:: SOT 19025 SOS 9971 HAS SOPS 6890 HAS SOUS 2953 HAS SOUPS 2485 WITH SCORE 2494.971
AT ITER 1745 NEW BEST:: SOT 19083 SOS 9994 HAS SOPS 6934 HAS SOUS 2941 HAS SOUPS 2473 WITH SCORE 2482.994
AT ITER 1749 NEW BEST:: SOT 19081 SOS 9990 HAS SOPS 6931 HAS SOUS 2939 HAS SOUPS 2472 WITH SCORE 2481.99
AT ITER 1750 NEW BEST:: SOT 19102 SOS 9986 HAS SOPS 6914 HAS SOUS 2906 HAS SOUPS 2439 WITH SCORE 2448.986
AT ITER 1758 NEW BEST:: SOT 19087 SOS 9965 HAS SOPS 6893 HAS SOUS 2897 HAS SOUPS 2430 WITH SCORE 2439.965
AT ITER 1761 NEW BEST:: SOT 19089 SOS 9965 HAS SOPS 6891 HAS SOUS 2887 HAS SOUPS 2420 WITH SCORE 2429.965
AT ITER 1775 NEW BEST:: SOT 19089 SOS 9969 HAS SOPS 6895 HAS SOUS 2886 HAS SOUPS 2419 WITH SCORE 2428.969
AT ITER 1816 NEW BEST:: SOT 19068 SOS 9945 HAS SOPS 6868 HAS SOUS 2883 HAS SOUPS 2416 WITH SCORE 2425.945
AT ITER 1832 NEW BEST:: SOT 19058 SOS 9940 HAS SOPS 6863 HAS SOUS 2883 HAS SOUPS 2416 WITH SCORE 2425.94
AT ITER 1843 NEW BEST:: SOT 18939 SOS 9826 HAS SOPS 6767 HAS SOUS 2867 HAS SOUPS 2400 WITH SCORE 2409.826
AT ITER 1844 NEW BEST:: SOT 18779 SOS 10109 HAS SOPS 6766 HAS SOUS 2902 HAS SOUPS 2399 WITH SCORE 2409.109
AT ITER 1901 NEW BEST:: SOT 18736 SOS 10036 HAS SOPS 6707 HAS SOUS 2902 HAS SOUPS 2399 WITH SCORE 2409.036
AT ITER 1926 NEW BEST:: SOT 18734 SOS 10067 HAS SOPS 6703 HAS SOUS 2907 HAS SOUPS 2397 WITH SCORE 2407.067
AT ITER 1937 NEW BEST:: SOT 18737 SOS 10068 HAS SOPS 6704 HAS SOUS 2904 HAS SOUPS 2394 WITH SCORE 2404.068
AT ITER 1941 NEW BEST:: SOT 18729 SOS 10058 HAS SOPS 6696 HAS SOUS 2902 HAS SOUPS 2392 WITH SCORE 2402.058
AT ITER 1946 NEW BEST:: SOT 18735 SOS 10064 HAS SOPS 6336 HAS SOUS 2897 HAS SOUPS 2374 WITH SCORE 2384.064
AT ITER 1980 NEW BEST:: SOT 18735 SOS 10063 HAS SOPS 6336 HAS SOUS 2897 HAS SOUPS 2374 WITH SCORE 2384.063
AT ITER 1983 NEW BEST:: SOT 18743 SOS 10069 HAS SOPS 6340 HAS SOUS 2893 HAS SOUPS 2370 WITH SCORE 2380.069
AT ITER 2043 NEW BEST:: SOT 18591 SOS 10515 HAS SOPS 6286 HAS SOUS 2917 HAS SOUPS 2369 WITH SCORE 2379.515
AT ITER 2081 NEW BEST:: SOT 18582 SOS 10508 HAS SOPS 6268 HAS SOUS 2898 HAS SOUPS 2350 WITH SCORE 2360.508
AT ITER 2097 NEW BEST:: SOT 18573 SOS 10513 HAS SOPS 6258 HAS SOUS 2898 HAS SOUPS 2344 WITH SCORE 2354.513
AT ITER 2125 NEW BEST:: SOT 18569 SOS 10513 HAS SOPS 6254 HAS SOUS 2890 HAS SOUPS 2336 WITH SCORE 2346.513
AT ITER 2166 NEW BEST:: SOT 18570 SOS 10482 HAS SOPS 6223 HAS SOUS 2870 HAS SOUPS 2316 WITH SCORE 2326.482
AT ITER 2232 NEW BEST:: SOT 18576 SOS 10488 HAS SOPS 6229 HAS SOUS 2864 HAS SOUPS 2310 WITH SCORE 2320.488
AT ITER 2245 NEW BEST:: SOT 18579 SOS 10482 HAS SOPS 6223 HAS SOUS 2861 HAS SOUPS 2307 WITH SCORE 2317.482
AT ITER 2252 NEW BEST:: SOT 18606 SOS 10221 HAS SOPS 6223 HAS SOUS 2867 HAS SOUPS 2307 WITH SCORE 2317.221
AT ITER 2357 NEW BEST:: SOT 18603 SOS 10200 HAS SOPS 6202 HAS SOUS 2852 HAS SOUPS 2292 WITH SCORE 2302.2
AT ITER 2358 NEW BEST:: SOT 18604 SOS 10200 HAS SOPS 6202 HAS SOUS 2851 HAS SOUPS 2289 WITH SCORE 2299.2
AT ITER 2381 NEW BEST:: SOT 18603 SOS 10199 HAS SOPS 6202 HAS SOUS 2851 HAS SOUPS 2289 WITH SCORE 2299.199
AT ITER 2450 NEW BEST:: SOT 18597 SOS 10191 HAS SOPS 6196 HAS SOUS 2851 HAS SOUPS 2289 WITH SCORE 2299.191
AT ITER 2468 NEW BEST:: SOT 18526 SOS 10106 HAS SOPS 6149 HAS SOUS 2834 HAS SOUPS 2272 WITH SCORE 2282.106
AT ITER 2471 NEW BEST:: SOT 18513 SOS 10112 HAS SOPS 6143 HAS SOUS 2832 HAS SOUPS 2265 WITH SCORE 2275.112
AT ITER 2479 NEW BEST:: SOT 18508 SOS 10111 HAS SOPS 6142 HAS SOUS 2831 HAS SOUPS 2262 WITH SCORE 2272.111
AT ITER 2484 NEW BEST:: SOT 18497 SOS 10089 HAS SOPS 6120 HAS SOUS 2826 HAS SOUPS 2257 WITH SCORE 2267.089
AT ITER 2496 NEW BEST:: SOT 18496 SOS 10089 HAS SOPS 6124 HAS SOUS 2824 HAS SOUPS 2255 WITH SCORE 2265.089
AT ITER 2549 NEW BEST:: SOT 18494 SOS 10084 HAS SOPS 6118 HAS SOUS 2819 HAS SOUPS 2250 WITH SCORE 2260.084
AT ITER 2588 NEW BEST:: SOT 18503 SOS 10087 HAS SOPS 6121 HAS SOUS 2817 HAS SOUPS 2248 WITH SCORE 2258.087
AT ITER 2616 NEW BEST:: SOT 18519 SOS 10098 HAS SOPS 6126 HAS SOUS 2813 HAS SOUPS 2244 WITH SCORE 2254.098
AT ITER 2620 NEW BEST:: SOT 18489 SOS 10080 HAS SOPS 6126 HAS SOUS 2818 HAS SOUPS 2244 WITH SCORE 2254.08
AT ITER 2631 NEW BEST:: SOT 18461 SOS 10134 HAS SOPS 6112 HAS SOUS 2818 HAS SOUPS 2240 WITH SCORE 2250.134
AT ITER 2650 NEW BEST:: SOT 18459 SOS 10130 HAS SOPS 6108 HAS SOUS 2815 HAS SOUPS 2237 WITH SCORE 2247.13
AT ITER 2756 NEW BEST:: SOT 18450 SOS 10115 HAS SOPS 6096 HAS SOUS 2806 HAS SOUPS 2231 WITH SCORE 2241.115
AT ITER 2770 NEW BEST:: SOT 18469 SOS 10108 HAS SOPS 6086 HAS SOUS 2806 HAS SOUPS 2231 WITH SCORE 2241.108
AT ITER 2940 NEW BEST:: SOT 18505 SOS 10139 HAS SOPS 6116 HAS SOUS 2804 HAS SOUPS 2229 WITH SCORE 2239.139
AT ITER 2987 NEW BEST:: SOT 18495 SOS 10128 HAS SOPS 6105 HAS SOUS 2798 HAS SOUPS 2223 WITH SCORE 2233.128
AT ITER 3000 NEW BEST:: SOT 18500 SOS 10116 HAS SOPS 6093 HAS SOUS 2788 HAS SOUPS 2213 WITH SCORE 2223.116
AT ITER 3027 NEW BEST:: SOT 18480 SOS 10124 HAS SOPS 6089 HAS SOUS 2784 HAS SOUPS 2209 WITH SCORE 2219.124
AT ITER 3044 NEW BEST:: SOT 18470 SOS 10110 HAS SOPS 6077 HAS SOUS 2782 HAS SOUPS 2207 WITH SCORE 2217.11
AT ITER 3067 NEW BEST:: SOT 18493 SOS 10100 HAS SOPS 6067 HAS SOUS 2781 HAS SOUPS 2206 WITH SCORE 2216.1
AT ITER 3132 NEW BEST:: SOT 18487 SOS 10098 HAS SOPS 6066 HAS SOUS 2780 HAS SOUPS 2205 WITH SCORE 2215.098
AT ITER 3148 NEW BEST:: SOT 18557 SOS 10147 HAS SOPS 6102 HAS SOUS 2772 HAS SOUPS 2197 WITH SCORE 2207.147
AT ITER 3153 NEW BEST:: SOT 18536 SOS 10138 HAS SOPS 6099 HAS SOUS 2766 HAS SOUPS 2188 WITH SCORE 2198.138
AT ITER 3287 NEW BEST:: SOT 18524 SOS 10126 HAS SOPS 6087 HAS SOUS 2748 HAS SOUPS 2170 WITH SCORE 2180.126
AT ITER 3304 NEW BEST:: SOT 18521 SOS 10124 HAS SOPS 6085 HAS SOUS 2744 HAS SOUPS 2166 WITH SCORE 2176.124
AT ITER 3363 NEW BEST:: SOT 18526 SOS 10122 HAS SOPS 6085 HAS SOUS 2744 HAS SOUPS 2166 WITH SCORE 2176.122
AT ITER 3430 NEW BEST:: SOT 18499 SOS 10113 HAS SOPS 6076 HAS SOUS 2740 HAS SOUPS 2162 WITH SCORE 2172.113
AT ITER 3443 NEW BEST:: SOT 18496 SOS 10108 HAS SOPS 6071 HAS SOUS 2737 HAS SOUPS 2159 WITH SCORE 2169.108
AT ITER 3446 NEW BEST:: SOT 18498 SOS 10110 HAS SOPS 6065 HAS SOUS 2731 HAS SOUPS 2153 WITH SCORE 2163.11
AT ITER 3526 NEW BEST:: SOT 18483 SOS 10085 HAS SOPS 6045 HAS SOUS 2717 HAS SOUPS 2139 WITH SCORE 2149.085
AT ITER 3561 NEW BEST:: SOT 18481 SOS 10084 HAS SOPS 6042 HAS SOUS 2714 HAS SOUPS 2136 WITH SCORE 2146.084
AT ITER 3583 NEW BEST:: SOT 18475 SOS 10072 HAS SOPS 6030 HAS SOUS 2701 HAS SOUPS 2123 WITH SCORE 2133.072
AT ITER 3650 NEW BEST:: SOT 18480 SOS 10076 HAS SOPS 6031 HAS SOUS 2691 HAS SOUPS 2113 WITH SCORE 2123.076
AT ITER 3681 NEW BEST:: SOT 18481 SOS 10075 HAS SOPS 6030 HAS SOUS 2691 HAS SOUPS 2113 WITH SCORE 2123.075
AT ITER 3699 NEW BEST:: SOT 18492 SOS 10074 HAS SOPS 6029 HAS SOUS 2689 HAS SOUPS 2111 WITH SCORE 2121.074
AT ITER 3704 NEW BEST:: SOT 18439 SOS 10196 HAS SOPS 6028 HAS SOUS 2695 HAS SOUPS 2110 WITH SCORE 2120.196
AT ITER 3758 NEW BEST:: SOT 18436 SOS 10188 HAS SOPS 6021 HAS SOUS 2695 HAS SOUPS 2110 WITH SCORE 2120.188
AT ITER 3761 NEW BEST:: SOT 18426 SOS 10184 HAS SOPS 6015 HAS SOUS 2695 HAS SOUPS 2110 WITH SCORE 2120.184
AT ITER 3935 NEW BEST:: SOT 18428 SOS 10185 HAS SOPS 6014 HAS SOUS 2694 HAS SOUPS 2109 WITH SCORE 2119.185
AT ITER 3940 NEW BEST:: SOT 18423 SOS 10175 HAS SOPS 6004 HAS SOUS 2684 HAS SOUPS 2099 WITH SCORE 2109.175
AT ITER 4100 NEW BEST:: SOT 18425 SOS 10174 HAS SOPS 6003 HAS SOUS 2684 HAS SOUPS 2099 WITH SCORE 2109.174
AT ITER 4107 NEW BEST:: SOT 18437 SOS 10206 HAS SOPS 6027 HAS SOUS 2682 HAS SOUPS 2095 WITH SCORE 2105.206
AT ITER 4132 NEW BEST:: SOT 18443 SOS 10203 HAS SOPS 6019 HAS SOUS 2669 HAS SOUPS 2086 WITH SCORE 2096.203
AT ITER 4134 NEW BEST:: SOT 18455 SOS 10198 HAS SOPS 6019 HAS SOUS 2661 HAS SOUPS 2079 WITH SCORE 2089.198
AT ITER 4179 NEW BEST:: SOT 18457 SOS 10189 HAS SOPS 6015 HAS SOUS 2657 HAS SOUPS 2075 WITH SCORE 2085.189
AT ITER 4223 NEW BEST:: SOT 18458 SOS 10191 HAS SOPS 6017 HAS SOUS 2655 HAS SOUPS 2073 WITH SCORE 2083.191
AT ITER 4399 NEW BEST:: SOT 18478 SOS 10201 HAS SOPS 6022 HAS SOUS 2645 HAS SOUPS 2063 WITH SCORE 2073.201
AT ITER 4509 NEW BEST:: SOT 18478 SOS 10201 HAS SOPS 6022 HAS SOUS 2640 HAS SOUPS 2058 WITH SCORE 2068.201
AT ITER 4580 NEW BEST:: SOT 18481 SOS 10205 HAS SOPS 6025 HAS SOUS 2639 HAS SOUPS 2057 WITH SCORE 2067.205
AT ITER 4752 NEW BEST:: SOT 18480 SOS 10204 HAS SOPS 6024 HAS SOUS 2635 HAS SOUPS 2053 WITH SCORE 2063.204
AT ITER 4881 NEW BEST:: SOT 18477 SOS 10201 HAS SOPS 6021 HAS SOUS 2631 HAS SOUPS 2049 WITH SCORE 2059.201
AT ITER 5002 NEW BEST:: SOT 18474 SOS 10198 HAS SOPS 6018 HAS SOUS 2625 HAS SOUPS 2043 WITH SCORE 2053.198
AT ITER 5050 NEW BEST:: SOT 18468 SOS 10192 HAS SOPS 6013 HAS SOUS 2625 HAS SOUPS 2043 WITH SCORE 2053.192
AT ITER 5228 NEW BEST:: SOT 18468 SOS 10178 HAS SOPS 6006 HAS SOUS 2625 HAS SOUPS 2043 WITH SCORE 2053.178
AT ITER 5231 NEW BEST:: SOT 18466 SOS 10171 HAS SOPS 6000 HAS SOUS 2620 HAS SOUPS 2038 WITH SCORE 2048.171
AT ITER 5267 NEW BEST:: SOT 18462 SOS 10168 HAS SOPS 5997 HAS SOUS 2618 HAS SOUPS 2036 WITH SCORE 2046.168
AT ITER 5273 NEW BEST:: SOT 18489 SOS 10201 HAS SOPS 6023 HAS SOUS 2617 HAS SOUPS 2035 WITH SCORE 2045.201
AT ITER 5279 NEW BEST:: SOT 18479 SOS 10176 HAS SOPS 6003 HAS SOUS 2617 HAS SOUPS 2035 WITH SCORE 2045.176
AT ITER 5331 NEW BEST:: SOT 18461 SOS 10158 HAS SOPS 5985 HAS SOUS 2614 HAS SOUPS 2032 WITH SCORE 2042.158
AT ITER 5345 NEW BEST:: SOT 18459 SOS 10154 HAS SOPS 5981 HAS SOUS 2612 HAS SOUPS 2030 WITH SCORE 2040.154
AT ITER 5348 NEW BEST:: SOT 18476 SOS 10161 HAS SOPS 5988 HAS SOUS 2595 HAS SOUPS 2013 WITH SCORE 2023.161
AT ITER 5388 NEW BEST:: SOT 18467 SOS 10152 HAS SOPS 5982 HAS SOUS 2592 HAS SOUPS 2010 WITH SCORE 2020.152
AT ITER 5408 NEW BEST:: SOT 18460 SOS 10154 HAS SOPS 5984 HAS SOUS 2591 HAS SOUPS 2009 WITH SCORE 2019.154
AT ITER 5489 NEW BEST:: SOT 18433 SOS 10127 HAS SOPS 5953 HAS SOUS 2587 HAS SOUPS 2005 WITH SCORE 2015.127
AT ITER 5518 NEW BEST:: SOT 18452 SOS 10131 HAS SOPS 5954 HAS SOUS 2586 HAS SOUPS 2004 WITH SCORE 2014.131
AT ITER 5765 NEW BEST:: SOT 18448 SOS 10126 HAS SOPS 5949 HAS SOUS 2585 HAS SOUPS 2003 WITH SCORE 2013.126
AT ITER 5780 NEW BEST:: SOT 18438 SOS 10108 HAS SOPS 5931 HAS SOUS 2584 HAS SOUPS 2002 WITH SCORE 2012.108
AT ITER 5875 NEW BEST:: SOT 18432 SOS 10099 HAS SOPS 5924 HAS SOUS 2582 HAS SOUPS 2000 WITH SCORE 2010.099
AT ITER 6161 NEW BEST:: SOT 18426 SOS 10089 HAS SOPS 5913 HAS SOUS 2574 HAS SOUPS 1990 WITH SCORE 2000.089
AT ITER 6246 NEW BEST:: SOT 18427 SOS 10088 HAS SOPS 5912 HAS SOUS 2574 HAS SOUPS 1990 WITH SCORE 2000.088
AT ITER 6270 NEW BEST:: SOT 18418 SOS 10076 HAS SOPS 5900 HAS SOUS 2569 HAS SOUPS 1985 WITH SCORE 1995.076
AT ITER 6273 NEW BEST:: SOT 18422 SOS 10081 HAS SOPS 5904 HAS SOUS 2568 HAS SOUPS 1984 WITH SCORE 1994.081
AT ITER 6411 NEW BEST:: SOT 18394 SOS 10071 HAS SOPS 5904 HAS SOUS 2572 HAS SOUPS 1984 WITH SCORE 1994.071
AT ITER 6576 NEW BEST:: SOT 18386 SOS 10061 HAS SOPS 5894 HAS SOUS 2570 HAS SOUPS 1982 WITH SCORE 1992.061
AT ITER 6625 NEW BEST:: SOT 18366 SOS 10036 HAS SOPS 5874 HAS SOUS 2569 HAS SOUPS 1981 WITH SCORE 1991.036
AT ITER 6660 NEW BEST:: SOT 18368 SOS 10034 HAS SOPS 5872 HAS SOUS 2563 HAS SOUPS 1977 WITH SCORE 1987.034
AT ITER 6663 NEW BEST:: SOT 18361 SOS 10036 HAS SOPS 5870 HAS SOUS 2561 HAS SOUPS 1975 WITH SCORE 1985.036
AT ITER 6741 NEW BEST:: SOT 18342 SOS 10014 HAS SOPS 5852 HAS SOUS 2557 HAS SOUPS 1971 WITH SCORE 1981.014
AT ITER 6813 NEW BEST:: SOT 18339 SOS 10013 HAS SOPS 5851 HAS SOUS 2555 HAS SOUPS 1969 WITH SCORE 1979.013
AT ITER 6872 NEW BEST:: SOT 18337 SOS 10013 HAS SOPS 5851 HAS SOUS 2554 HAS SOUPS 1968 WITH SCORE 1978.013
AT ITER 6947 NEW BEST:: SOT 18338 SOS 10012 HAS SOPS 5850 HAS SOUS 2554 HAS SOUPS 1968 WITH SCORE 1978.012
AT ITER 7007 NEW BEST:: SOT 18342 SOS 10014 HAS SOPS 5853 HAS SOUS 2553 HAS SOUPS 1967 WITH SCORE 1977.014
AT ITER 7117 NEW BEST:: SOT 18339 SOS 10018 HAS SOPS 5857 HAS SOUS 2552 HAS SOUPS 1966 WITH SCORE 1976.018
AT ITER 7205 NEW BEST:: SOT 18340 SOS 10008 HAS SOPS 5850 HAS SOUS 2550 HAS SOUPS 1964 WITH SCORE 1974.008
AT ITER 7339 NEW BEST:: SOT 18336 SOS 10008 HAS SOPS 5850 HAS SOUS 2547 HAS SOUPS 1961 WITH SCORE 1971.008
AT ITER 7427 NEW BEST:: SOT 18336 SOS 10008 HAS SOPS 5850 HAS SOUS 2546 HAS SOUPS 1960 WITH SCORE 1970.008
AT ITER 7438 NEW BEST:: SOT 18339 SOS 10009 HAS SOPS 5849 HAS SOUS 2542 HAS SOUPS 1956 WITH SCORE 1966.009
AT ITER 7496 NEW BEST:: SOT 18341 SOS 10008 HAS SOPS 5848 HAS SOUS 2539 HAS SOUPS 1953 WITH SCORE 1963.008
AT ITER 7767 NEW BEST:: SOT 18339 SOS 10009 HAS SOPS 5849 HAS SOUS 2536 HAS SOUPS 1950 WITH SCORE 1960.009
AT ITER 7788 NEW BEST:: SOT 18339 SOS 10009 HAS SOPS 5849 HAS SOUS 2535 HAS SOUPS 1949 WITH SCORE 1959.009
AT ITER 7843 NEW BEST:: SOT 18348 SOS 10010 HAS SOPS 5850 HAS SOUS 2533 HAS SOUPS 1947 WITH SCORE 1957.01
AT ITER 7891 NEW BEST:: SOT 18356 SOS 10017 HAS SOPS 5854 HAS SOUS 2535 HAS SOUPS 1946 WITH SCORE 1956.017
AT ITER 8024 NEW BEST:: SOT 18368 SOS 10029 HAS SOPS 5853 HAS SOUS 2534 HAS SOUPS 1945 WITH SCORE 1955.029
AT ITER 8040 NEW BEST:: SOT 18366 SOS 10041 HAS SOPS 5821 HAS SOUS 2530 HAS SOUPS 1941 WITH SCORE 1951.041
AT ITER 8091 NEW BEST:: SOT 18352 SOS 10034 HAS SOPS 5817 HAS SOUS 2530 HAS SOUPS 1941 WITH SCORE 1951.034
AT ITER 8162 NEW BEST:: SOT 18352 SOS 10033 HAS SOPS 5816 HAS SOUS 2529 HAS SOUPS 1940 WITH SCORE 1950.033
AT ITER 8346 NEW BEST:: SOT 18379 SOS 10063 HAS SOPS 5838 HAS SOUS 2524 HAS SOUPS 1935 WITH SCORE 1945.063
AT ITER 8504 NEW BEST:: SOT 18380 SOS 10064 HAS SOPS 5837 HAS SOUS 2522 HAS SOUPS 1933 WITH SCORE 1943.064
AT ITER 8564 NEW BEST:: SOT 18369 SOS 10054 HAS SOPS 5829 HAS SOUS 2521 HAS SOUPS 1932 WITH SCORE 1942.054
AT ITER 8637 NEW BEST:: SOT 18375 SOS 10060 HAS SOPS 5831 HAS SOUS 2520 HAS SOUPS 1931 WITH SCORE 1941.06
AT ITER 8648 NEW BEST:: SOT 18359 SOS 10044 HAS SOPS 5813 HAS SOUS 2518 HAS SOUPS 1929 WITH SCORE 1939.044
AT ITER 8652 NEW BEST:: SOT 18354 SOS 10037 HAS SOPS 5807 HAS SOUS 2516 HAS SOUPS 1927 WITH SCORE 1937.037
AT ITER 8705 NEW BEST:: SOT 18345 SOS 10036 HAS SOPS 5804 HAS SOUS 2516 HAS SOUPS 1927 WITH SCORE 1937.036
AT ITER 8832 NEW BEST:: SOT 18333 SOS 10005 HAS SOPS 5780 HAS SOUS 2505 HAS SOUPS 1923 WITH SCORE 1933.005
AT ITER 8986 NEW BEST:: SOT 18329 SOS 9997 HAS SOPS 5772 HAS SOUS 2504 HAS SOUPS 1922 WITH SCORE 1931.997
AT ITER 9027 NEW BEST:: SOT 18328 SOS 9996 HAS SOPS 5766 HAS SOUS 2505 HAS SOUPS 1922 WITH SCORE 1931.996
AT ITER 9209 NEW BEST:: SOT 18318 SOS 9991 HAS SOPS 5761 HAS SOUS 2505 HAS SOUPS 1922 WITH SCORE 1931.991
AT ITER 9477 NEW BEST:: SOT 18314 SOS 9983 HAS SOPS 5753 HAS SOUS 2504 HAS SOUPS 1918 WITH SCORE 1927.983
AT ITER 9572 NEW BEST:: SOT 18333 SOS 9995 HAS SOPS 5758 HAS SOUS 2495 HAS SOUPS 1909 WITH SCORE 1918.995
AT ITER 9594 NEW BEST:: SOT 18327 SOS 9987 HAS SOPS 5752 HAS SOUS 2495 HAS SOUPS 1909 WITH SCORE 1918.987
AT ITER 9669 NEW BEST:: SOT 18317 SOS 9981 HAS SOPS 5746 HAS SOUS 2491 HAS SOUPS 1905 WITH SCORE 1914.981
AT ITER 9752 NEW BEST:: SOT 18316 SOS 9980 HAS SOPS 5745 HAS SOUS 2490 HAS SOUPS 1904 WITH SCORE 1913.98
AT ITER 9779 NEW BEST:: SOT 18313 SOS 9976 HAS SOPS 5742 HAS SOUS 2490 HAS SOUPS 1904 WITH SCORE 1913.976
AT ITER 9813 NEW BEST:: SOT 18312 SOS 9972 HAS SOPS 5750 HAS SOUS 2489 HAS SOUPS 1903 WITH SCORE 1912.972
AT ITER 9947 NEW BEST:: SOT 18311 SOS 9971 HAS SOPS 5749 HAS SOUS 2488 HAS SOUPS 1902 WITH SCORE 1911.971
AT ITER 9962 NEW BEST:: SOT 18310 SOS 9969 HAS SOPS 5745 HAS SOUS 2483 HAS SOUPS 1897 WITH SCORE 1906.969
STATE_SPACE STATES 190102 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 13 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 7698055 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589139087289

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudDeployment-PT-3a"
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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is CloudDeployment-PT-3a, 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 r033-smll-158901925900288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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