Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 7.8K Feb 26 18:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 18:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 18:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 18:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 18:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 26 18:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 18:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 18:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 67K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678493001208

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=HealthRecord-PT-06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 06
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: 154 places, 319 transitions, 835 arcs.
AT ITER 0 NEW BEST:: SOT 34402 SOS 19544 HAS SOPS 19522 HAS SOUS 11405 HAS SOUPS 11392 WITH SCORE 11411.544
AT ITER 1 NEW BEST:: SOT 34271 SOS 19282 HAS SOPS 19260 HAS SOUS 11264 HAS SOUPS 11251 WITH SCORE 11270.282
AT ITER 4 NEW BEST:: SOT 34201 SOS 19142 HAS SOPS 19120 HAS SOUS 11229 HAS SOUPS 11216 WITH SCORE 11235.142
AT ITER 6 NEW BEST:: SOT 34201 SOS 19155 HAS SOPS 19133 HAS SOUS 11219 HAS SOUPS 11206 WITH SCORE 11225.155
AT ITER 7 NEW BEST:: SOT 34106 SOS 19070 HAS SOPS 19048 HAS SOUS 11192 HAS SOUPS 11179 WITH SCORE 11198.07
AT ITER 10 NEW BEST:: SOT 34044 SOS 18946 HAS SOPS 18924 HAS SOUS 11161 HAS SOUPS 11148 WITH SCORE 11166.946
AT ITER 11 NEW BEST:: SOT 34043 SOS 18919 HAS SOPS 18897 HAS SOUS 11136 HAS SOUPS 11123 WITH SCORE 11141.919
AT ITER 12 NEW BEST:: SOT 33523 SOS 18430 HAS SOPS 18408 HAS SOUS 10909 HAS SOUPS 10896 WITH SCORE 10914.43
AT ITER 13 NEW BEST:: SOT 33471 SOS 18356 HAS SOPS 18334 HAS SOUS 10868 HAS SOUPS 10855 WITH SCORE 10873.356
AT ITER 15 NEW BEST:: SOT 33455 SOS 18316 HAS SOPS 18294 HAS SOUS 10852 HAS SOUPS 10839 WITH SCORE 10857.316
AT ITER 16 NEW BEST:: SOT 33437 SOS 18271 HAS SOPS 18249 HAS SOUS 10815 HAS SOUPS 10802 WITH SCORE 10820.271
AT ITER 17 NEW BEST:: SOT 33437 SOS 18271 HAS SOPS 18249 HAS SOUS 10762 HAS SOUPS 10749 WITH SCORE 10767.271
AT ITER 21 NEW BEST:: SOT 32626 SOS 17580 HAS SOPS 17558 HAS SOUS 10636 HAS SOUPS 10623 WITH SCORE 10640.58
AT ITER 30 NEW BEST:: SOT 32626 SOS 17545 HAS SOPS 17523 HAS SOUS 10517 HAS SOUPS 10504 WITH SCORE 10521.545
AT ITER 32 NEW BEST:: SOT 31779 SOS 17593 HAS SOPS 17571 HAS SOUS 9699 HAS SOUPS 9686 WITH SCORE 9703.593
AT ITER 33 NEW BEST:: SOT 31778 SOS 17545 HAS SOPS 17523 HAS SOUS 9651 HAS SOUPS 9638 WITH SCORE 9655.545
AT ITER 34 NEW BEST:: SOT 30357 SOS 16751 HAS SOPS 16729 HAS SOUS 9646 HAS SOUPS 9633 WITH SCORE 9649.751
AT ITER 37 NEW BEST:: SOT 30225 SOS 16485 HAS SOPS 16463 HAS SOUS 9396 HAS SOUPS 9383 WITH SCORE 9399.485
AT ITER 38 NEW BEST:: SOT 30207 SOS 16356 HAS SOPS 16334 HAS SOUS 9348 HAS SOUPS 9335 WITH SCORE 9351.356
AT ITER 39 NEW BEST:: SOT 30292 SOS 15924 HAS SOPS 15902 HAS SOUS 9331 HAS SOUPS 9318 WITH SCORE 9333.924
AT ITER 41 NEW BEST:: SOT 30284 SOS 15908 HAS SOPS 15886 HAS SOUS 9323 HAS SOUPS 9310 WITH SCORE 9325.908
AT ITER 44 NEW BEST:: SOT 30238 SOS 15833 HAS SOPS 15811 HAS SOUS 9310 HAS SOUPS 9297 WITH SCORE 9312.833
AT ITER 48 NEW BEST:: SOT 30223 SOS 15803 HAS SOPS 15781 HAS SOUS 9276 HAS SOUPS 9263 WITH SCORE 9278.803
AT ITER 49 NEW BEST:: SOT 30149 SOS 15729 HAS SOPS 15707 HAS SOUS 9237 HAS SOUPS 9224 WITH SCORE 9239.729
AT ITER 51 NEW BEST:: SOT 30272 SOS 15861 HAS SOPS 15839 HAS SOUS 9179 HAS SOUPS 9166 WITH SCORE 9181.861
AT ITER 55 NEW BEST:: SOT 29723 SOS 15697 HAS SOPS 15675 HAS SOUS 8556 HAS SOUPS 8543 WITH SCORE 8558.697
AT ITER 56 NEW BEST:: SOT 29722 SOS 15665 HAS SOPS 15643 HAS SOUS 8524 HAS SOUPS 8511 WITH SCORE 8526.665
AT ITER 61 NEW BEST:: SOT 29664 SOS 15498 HAS SOPS 15476 HAS SOUS 8401 HAS SOUPS 8388 WITH SCORE 8403.498
AT ITER 63 NEW BEST:: SOT 29664 SOS 15500 HAS SOPS 15478 HAS SOUS 8395 HAS SOUPS 8382 WITH SCORE 8397.5
AT ITER 70 NEW BEST:: SOT 29622 SOS 15458 HAS SOPS 15436 HAS SOUS 8395 HAS SOUPS 8382 WITH SCORE 8397.458
AT ITER 71 NEW BEST:: SOT 29609 SOS 15445 HAS SOPS 15423 HAS SOUS 8382 HAS SOUPS 8369 WITH SCORE 8384.445
AT ITER 79 NEW BEST:: SOT 29609 SOS 15432 HAS SOPS 15410 HAS SOUS 8356 HAS SOUPS 8343 WITH SCORE 8358.432
AT ITER 101 NEW BEST:: SOT 29608 SOS 15431 HAS SOPS 15409 HAS SOUS 8356 HAS SOUPS 8343 WITH SCORE 8358.431
AT ITER 109 NEW BEST:: SOT 29608 SOS 15417 HAS SOPS 15395 HAS SOUS 8354 HAS SOUPS 8341 WITH SCORE 8356.417
AT ITER 111 NEW BEST:: SOT 29455 SOS 15118 HAS SOPS 15096 HAS SOUS 8265 HAS SOUPS 8252 WITH SCORE 8267.118
AT ITER 112 NEW BEST:: SOT 29455 SOS 15105 HAS SOPS 15083 HAS SOUS 8265 HAS SOUPS 8252 WITH SCORE 8267.105
AT ITER 123 NEW BEST:: SOT 29376 SOS 14838 HAS SOPS 14816 HAS SOUS 8216 HAS SOUPS 8203 WITH SCORE 8217.838
AT ITER 124 NEW BEST:: SOT 29301 SOS 14650 HAS SOPS 14628 HAS SOUS 8191 HAS SOUPS 8178 WITH SCORE 8192.65
AT ITER 125 NEW BEST:: SOT 29301 SOS 14692 HAS SOPS 14670 HAS SOUS 8142 HAS SOUPS 8129 WITH SCORE 8143.692
AT ITER 126 NEW BEST:: SOT 29229 SOS 14584 HAS SOPS 14562 HAS SOUS 8098 HAS SOUPS 8085 WITH SCORE 8099.584
AT ITER 131 NEW BEST:: SOT 29247 SOS 14616 HAS SOPS 14594 HAS SOUS 8094 HAS SOUPS 8081 WITH SCORE 8095.616
AT ITER 135 NEW BEST:: SOT 29252 SOS 14629 HAS SOPS 14607 HAS SOUS 8088 HAS SOUPS 8075 WITH SCORE 8089.629
AT ITER 137 NEW BEST:: SOT 29210 SOS 14570 HAS SOPS 14548 HAS SOUS 8041 HAS SOUPS 8028 WITH SCORE 8042.57
AT ITER 144 NEW BEST:: SOT 29228 SOS 14369 HAS SOPS 14347 HAS SOUS 8030 HAS SOUPS 8017 WITH SCORE 8031.369
AT ITER 157 NEW BEST:: SOT 29221 SOS 14355 HAS SOPS 14333 HAS SOUS 8016 HAS SOUPS 8003 WITH SCORE 8017.355
AT ITER 161 NEW BEST:: SOT 29167 SOS 14269 HAS SOPS 14247 HAS SOUS 7978 HAS SOUPS 7965 WITH SCORE 7979.269
AT ITER 163 NEW BEST:: SOT 29147 SOS 14319 HAS SOPS 14297 HAS SOUS 7974 HAS SOUPS 7961 WITH SCORE 7975.319
AT ITER 164 NEW BEST:: SOT 29199 SOS 14475 HAS SOPS 14453 HAS SOUS 7936 HAS SOUPS 7923 WITH SCORE 7937.475
AT ITER 165 NEW BEST:: SOT 29180 SOS 14449 HAS SOPS 14427 HAS SOUS 7902 HAS SOUPS 7889 WITH SCORE 7903.449
AT ITER 166 NEW BEST:: SOT 29183 SOS 14455 HAS SOPS 14433 HAS SOUS 7898 HAS SOUPS 7885 WITH SCORE 7899.455
AT ITER 171 NEW BEST:: SOT 29147 SOS 14383 HAS SOPS 14361 HAS SOUS 7874 HAS SOUPS 7861 WITH SCORE 7875.383
AT ITER 178 NEW BEST:: SOT 29165 SOS 14412 HAS SOPS 14390 HAS SOUS 7857 HAS SOUPS 7844 WITH SCORE 7858.412
AT ITER 184 NEW BEST:: SOT 29069 SOS 14207 HAS SOPS 14185 HAS SOUS 7693 HAS SOUPS 7680 WITH SCORE 7694.207
AT ITER 190 NEW BEST:: SOT 28835 SOS 14324 HAS SOPS 14302 HAS SOUS 7510 HAS SOUPS 7497 WITH SCORE 7511.324
AT ITER 194 NEW BEST:: SOT 28829 SOS 14307 HAS SOPS 14285 HAS SOUS 7502 HAS SOUPS 7489 WITH SCORE 7503.307
AT ITER 199 NEW BEST:: SOT 28796 SOS 14225 HAS SOPS 14203 HAS SOUS 7497 HAS SOUPS 7484 WITH SCORE 7498.225
AT ITER 203 NEW BEST:: SOT 28792 SOS 14219 HAS SOPS 14197 HAS SOUS 7493 HAS SOUPS 7480 WITH SCORE 7494.219
AT ITER 209 NEW BEST:: SOT 27374 SOS 14231 HAS SOPS 14209 HAS SOUS 6613 HAS SOUPS 6600 WITH SCORE 6614.231
AT ITER 210 NEW BEST:: SOT 27368 SOS 14225 HAS SOPS 14203 HAS SOUS 6601 HAS SOUPS 6588 WITH SCORE 6602.225
AT ITER 213 NEW BEST:: SOT 27290 SOS 14100 HAS SOPS 14078 HAS SOUS 6546 HAS SOUPS 6533 WITH SCORE 6547.1
AT ITER 224 NEW BEST:: SOT 27262 SOS 14060 HAS SOPS 14038 HAS SOUS 6496 HAS SOUPS 6483 WITH SCORE 6497.06
AT ITER 225 NEW BEST:: SOT 27252 SOS 14040 HAS SOPS 14018 HAS SOUS 6491 HAS SOUPS 6478 WITH SCORE 6492.04
AT ITER 229 NEW BEST:: SOT 27200 SOS 13936 HAS SOPS 13914 HAS SOUS 6491 HAS SOUPS 6478 WITH SCORE 6491.936
AT ITER 232 NEW BEST:: SOT 27207 SOS 13939 HAS SOPS 13917 HAS SOUS 6436 HAS SOUPS 6423 WITH SCORE 6436.939
AT ITER 241 NEW BEST:: SOT 27200 SOS 13918 HAS SOPS 13896 HAS SOUS 6422 HAS SOUPS 6409 WITH SCORE 6422.918
AT ITER 248 NEW BEST:: SOT 27197 SOS 13915 HAS SOPS 13893 HAS SOUS 6416 HAS SOUPS 6403 WITH SCORE 6416.915
AT ITER 257 NEW BEST:: SOT 27229 SOS 14026 HAS SOPS 14004 HAS SOUS 6354 HAS SOUPS 6341 WITH SCORE 6355.026
AT ITER 264 NEW BEST:: SOT 27180 SOS 13882 HAS SOPS 13860 HAS SOUS 6322 HAS SOUPS 6309 WITH SCORE 6322.882
AT ITER 265 NEW BEST:: SOT 27180 SOS 13874 HAS SOPS 13852 HAS SOUS 6297 HAS SOUPS 6284 WITH SCORE 6297.874
AT ITER 267 NEW BEST:: SOT 26114 SOS 13766 HAS SOPS 13744 HAS SOUS 5147 HAS SOUPS 5134 WITH SCORE 5147.766
AT ITER 268 NEW BEST:: SOT 26118 SOS 13770 HAS SOPS 13748 HAS SOUS 5143 HAS SOUPS 5130 WITH SCORE 5143.77
AT ITER 275 NEW BEST:: SOT 26014 SOS 13848 HAS SOPS 13826 HAS SOUS 5105 HAS SOUPS 5092 WITH SCORE 5105.848
AT ITER 285 NEW BEST:: SOT 25924 SOS 13710 HAS SOPS 13688 HAS SOUS 5088 HAS SOUPS 5075 WITH SCORE 5088.71
AT ITER 290 NEW BEST:: SOT 25926 SOS 13692 HAS SOPS 13670 HAS SOUS 5078 HAS SOUPS 5065 WITH SCORE 5078.692
AT ITER 291 NEW BEST:: SOT 25923 SOS 13690 HAS SOPS 13668 HAS SOUS 5075 HAS SOUPS 5062 WITH SCORE 5075.69
AT ITER 294 NEW BEST:: SOT 25913 SOS 13680 HAS SOPS 13658 HAS SOUS 5065 HAS SOUPS 5052 WITH SCORE 5065.68
AT ITER 296 NEW BEST:: SOT 25899 SOS 13652 HAS SOPS 13630 HAS SOUS 5051 HAS SOUPS 5038 WITH SCORE 5051.652
AT ITER 297 NEW BEST:: SOT 25902 SOS 13658 HAS SOPS 13636 HAS SOUS 5048 HAS SOUPS 5035 WITH SCORE 5048.658
AT ITER 298 NEW BEST:: SOT 25926 SOS 13690 HAS SOPS 13668 HAS SOUS 5032 HAS SOUPS 5019 WITH SCORE 5032.69
AT ITER 300 NEW BEST:: SOT 25954 SOS 13752 HAS SOPS 13730 HAS SOUS 4988 HAS SOUPS 4975 WITH SCORE 4988.752
AT ITER 310 NEW BEST:: SOT 25921 SOS 13719 HAS SOPS 13697 HAS SOUS 4922 HAS SOUPS 4909 WITH SCORE 4922.719
AT ITER 317 NEW BEST:: SOT 25920 SOS 13718 HAS SOPS 13696 HAS SOUS 4911 HAS SOUPS 4898 WITH SCORE 4911.718
AT ITER 323 NEW BEST:: SOT 25920 SOS 13718 HAS SOPS 13696 HAS SOUS 4892 HAS SOUPS 4879 WITH SCORE 4892.718
AT ITER 324 NEW BEST:: SOT 25877 SOS 13666 HAS SOPS 13644 HAS SOUS 4883 HAS SOUPS 4870 WITH SCORE 4883.666
AT ITER 325 NEW BEST:: SOT 25874 SOS 13663 HAS SOPS 13641 HAS SOUS 4877 HAS SOUPS 4864 WITH SCORE 4877.663
AT ITER 345 NEW BEST:: SOT 25898 SOS 13687 HAS SOPS 13665 HAS SOUS 4859 HAS SOUPS 4846 WITH SCORE 4859.687
AT ITER 352 NEW BEST:: SOT 25898 SOS 13687 HAS SOPS 13665 HAS SOUS 4853 HAS SOUPS 4840 WITH SCORE 4853.687
AT ITER 353 NEW BEST:: SOT 25841 SOS 13630 HAS SOPS 13608 HAS SOUS 4801 HAS SOUPS 4788 WITH SCORE 4801.63
AT ITER 354 NEW BEST:: SOT 25837 SOS 13617 HAS SOPS 13595 HAS SOUS 4782 HAS SOUPS 4769 WITH SCORE 4782.617
AT ITER 358 NEW BEST:: SOT 25808 SOS 13596 HAS SOPS 13574 HAS SOUS 4736 HAS SOUPS 4723 WITH SCORE 4736.596
AT ITER 361 NEW BEST:: SOT 25805 SOS 13593 HAS SOPS 13571 HAS SOUS 4733 HAS SOUPS 4720 WITH SCORE 4733.593
AT ITER 373 NEW BEST:: SOT 25793 SOS 13581 HAS SOPS 13559 HAS SOUS 4730 HAS SOUPS 4717 WITH SCORE 4730.581
AT ITER 385 NEW BEST:: SOT 25781 SOS 13569 HAS SOPS 13547 HAS SOUS 4724 HAS SOUPS 4711 WITH SCORE 4724.569
AT ITER 394 NEW BEST:: SOT 25765 SOS 13537 HAS SOPS 13515 HAS SOUS 4719 HAS SOUPS 4706 WITH SCORE 4719.537
AT ITER 421 NEW BEST:: SOT 25842 SOS 13680 HAS SOPS 13658 HAS SOUS 4710 HAS SOUPS 4697 WITH SCORE 4710.68
AT ITER 436 NEW BEST:: SOT 25840 SOS 13690 HAS SOPS 13668 HAS SOUS 4707 HAS SOUPS 4694 WITH SCORE 4707.69
AT ITER 439 NEW BEST:: SOT 25840 SOS 13701 HAS SOPS 13679 HAS SOUS 4706 HAS SOUPS 4693 WITH SCORE 4706.701
AT ITER 455 NEW BEST:: SOT 25831 SOS 13720 HAS SOPS 13698 HAS SOUS 4694 HAS SOUPS 4681 WITH SCORE 4694.72
AT ITER 468 NEW BEST:: SOT 25824 SOS 13713 HAS SOPS 13691 HAS SOUS 4687 HAS SOUPS 4674 WITH SCORE 4687.713
AT ITER 469 NEW BEST:: SOT 25823 SOS 13662 HAS SOPS 13640 HAS SOUS 4686 HAS SOUPS 4673 WITH SCORE 4686.662
AT ITER 484 NEW BEST:: SOT 25825 SOS 13678 HAS SOPS 13656 HAS SOUS 4681 HAS SOUPS 4668 WITH SCORE 4681.678
AT ITER 495 NEW BEST:: SOT 25820 SOS 13673 HAS SOPS 13651 HAS SOUS 4676 HAS SOUPS 4663 WITH SCORE 4676.673
AT ITER 496 NEW BEST:: SOT 25806 SOS 13624 HAS SOPS 13602 HAS SOUS 4654 HAS SOUPS 4641 WITH SCORE 4654.624
AT ITER 500 NEW BEST:: SOT 25771 SOS 13589 HAS SOPS 13567 HAS SOUS 4640 HAS SOUPS 4627 WITH SCORE 4640.589
AT ITER 504 NEW BEST:: SOT 25704 SOS 13490 HAS SOPS 13468 HAS SOUS 4637 HAS SOUPS 4624 WITH SCORE 4637.49
AT ITER 519 NEW BEST:: SOT 25666 SOS 13345 HAS SOPS 13323 HAS SOUS 4596 HAS SOUPS 4583 WITH SCORE 4596.345
AT ITER 525 NEW BEST:: SOT 25634 SOS 13281 HAS SOPS 13259 HAS SOUS 4577 HAS SOUPS 4564 WITH SCORE 4577.281
AT ITER 550 NEW BEST:: SOT 25602 SOS 13249 HAS SOPS 13227 HAS SOUS 4537 HAS SOUPS 4524 WITH SCORE 4537.249
AT ITER 575 NEW BEST:: SOT 25589 SOS 13046 HAS SOPS 13024 HAS SOUS 4536 HAS SOUPS 4523 WITH SCORE 4536.046
AT ITER 580 NEW BEST:: SOT 25586 SOS 13043 HAS SOPS 13021 HAS SOUS 4528 HAS SOUPS 4515 WITH SCORE 4528.043
AT ITER 581 NEW BEST:: SOT 25560 SOS 12969 HAS SOPS 12947 HAS SOUS 4499 HAS SOUPS 4486 WITH SCORE 4498.969
AT ITER 595 NEW BEST:: SOT 25531 SOS 12924 HAS SOPS 12902 HAS SOUS 4454 HAS SOUPS 4441 WITH SCORE 4453.924
AT ITER 611 NEW BEST:: SOT 25510 SOS 12903 HAS SOPS 12881 HAS SOUS 4449 HAS SOUPS 4436 WITH SCORE 4448.903
AT ITER 620 NEW BEST:: SOT 25349 SOS 14801 HAS SOPS 14779 HAS SOUS 4359 HAS SOUPS 4346 WITH SCORE 4360.801
AT ITER 625 NEW BEST:: SOT 25339 SOS 14791 HAS SOPS 14769 HAS SOUS 4339 HAS SOUPS 4326 WITH SCORE 4340.791
AT ITER 633 NEW BEST:: SOT 25338 SOS 14790 HAS SOPS 14768 HAS SOUS 4333 HAS SOUPS 4320 WITH SCORE 4334.79
AT ITER 635 NEW BEST:: SOT 25335 SOS 14790 HAS SOPS 14768 HAS SOUS 4313 HAS SOUPS 4300 WITH SCORE 4314.79
AT ITER 636 NEW BEST:: SOT 25329 SOS 14799 HAS SOPS 14777 HAS SOUS 4295 HAS SOUPS 4282 WITH SCORE 4296.799
AT ITER 645 NEW BEST:: SOT 25325 SOS 14791 HAS SOPS 14769 HAS SOUS 4295 HAS SOUPS 4282 WITH SCORE 4296.791
AT ITER 658 NEW BEST:: SOT 25301 SOS 14755 HAS SOPS 14733 HAS SOUS 4283 HAS SOUPS 4270 WITH SCORE 4284.755
AT ITER 662 NEW BEST:: SOT 25301 SOS 14755 HAS SOPS 14733 HAS SOUS 4282 HAS SOUPS 4269 WITH SCORE 4283.755
AT ITER 664 NEW BEST:: SOT 25318 SOS 14772 HAS SOPS 14750 HAS SOUS 4273 HAS SOUPS 4260 WITH SCORE 4274.772
AT ITER 671 NEW BEST:: SOT 25308 SOS 14762 HAS SOPS 14740 HAS SOUS 4237 HAS SOUPS 4224 WITH SCORE 4238.762
AT ITER 674 NEW BEST:: SOT 25312 SOS 14766 HAS SOPS 14744 HAS SOUS 4232 HAS SOUPS 4219 WITH SCORE 4233.766
AT ITER 679 NEW BEST:: SOT 25280 SOS 14708 HAS SOPS 14686 HAS SOUS 4213 HAS SOUPS 4200 WITH SCORE 4214.708
AT ITER 681 NEW BEST:: SOT 25180 SOS 14508 HAS SOPS 14486 HAS SOUS 4208 HAS SOUPS 4195 WITH SCORE 4209.508
AT ITER 687 NEW BEST:: SOT 25160 SOS 14468 HAS SOPS 14446 HAS SOUS 4208 HAS SOUPS 4195 WITH SCORE 4209.468
AT ITER 700 NEW BEST:: SOT 25160 SOS 14468 HAS SOPS 14446 HAS SOUS 4200 HAS SOUPS 4187 WITH SCORE 4201.468
AT ITER 711 NEW BEST:: SOT 25147 SOS 14455 HAS SOPS 14433 HAS SOUS 4191 HAS SOUPS 4178 WITH SCORE 4192.455
AT ITER 718 NEW BEST:: SOT 25141 SOS 14448 HAS SOPS 14426 HAS SOUS 4171 HAS SOUPS 4158 WITH SCORE 4172.448
AT ITER 727 NEW BEST:: SOT 25133 SOS 14440 HAS SOPS 14418 HAS SOUS 4160 HAS SOUPS 4147 WITH SCORE 4161.44
AT ITER 733 NEW BEST:: SOT 25080 SOS 14387 HAS SOPS 14365 HAS SOUS 4150 HAS SOUPS 4137 WITH SCORE 4151.387
AT ITER 737 NEW BEST:: SOT 25077 SOS 14384 HAS SOPS 14362 HAS SOUS 4147 HAS SOUPS 4134 WITH SCORE 4148.384
AT ITER 763 NEW BEST:: SOT 25068 SOS 14366 HAS SOPS 14344 HAS SOUS 4147 HAS SOUPS 4134 WITH SCORE 4148.366
AT ITER 764 NEW BEST:: SOT 25068 SOS 14366 HAS SOPS 14344 HAS SOUS 4136 HAS SOUPS 4123 WITH SCORE 4137.366
AT ITER 770 NEW BEST:: SOT 25076 SOS 14382 HAS SOPS 14360 HAS SOUS 4128 HAS SOUPS 4115 WITH SCORE 4129.382
AT ITER 791 NEW BEST:: SOT 25028 SOS 14283 HAS SOPS 14261 HAS SOUS 4126 HAS SOUPS 4113 WITH SCORE 4127.283
AT ITER 803 NEW BEST:: SOT 25037 SOS 14292 HAS SOPS 14270 HAS SOUS 4110 HAS SOUPS 4097 WITH SCORE 4111.292
AT ITER 804 NEW BEST:: SOT 25060 SOS 14376 HAS SOPS 14354 HAS SOUS 4104 HAS SOUPS 4091 WITH SCORE 4105.376
AT ITER 810 NEW BEST:: SOT 25034 SOS 14350 HAS SOPS 14328 HAS SOUS 4089 HAS SOUPS 4076 WITH SCORE 4090.35
AT ITER 820 NEW BEST:: SOT 25027 SOS 14336 HAS SOPS 14314 HAS SOUS 4077 HAS SOUPS 4064 WITH SCORE 4078.336
AT ITER 834 NEW BEST:: SOT 25000 SOS 14309 HAS SOPS 14287 HAS SOUS 4077 HAS SOUPS 4064 WITH SCORE 4078.309
AT ITER 853 NEW BEST:: SOT 24968 SOS 14229 HAS SOPS 14207 HAS SOUS 4058 HAS SOUPS 4045 WITH SCORE 4059.229
AT ITER 861 NEW BEST:: SOT 24963 SOS 14232 HAS SOPS 14210 HAS SOUS 4023 HAS SOUPS 4010 WITH SCORE 4024.232
AT ITER 872 NEW BEST:: SOT 24943 SOS 14192 HAS SOPS 14170 HAS SOUS 4003 HAS SOUPS 3990 WITH SCORE 4004.192
AT ITER 873 NEW BEST:: SOT 24902 SOS 14151 HAS SOPS 14129 HAS SOUS 3976 HAS SOUPS 3963 WITH SCORE 3977.151
AT ITER 885 NEW BEST:: SOT 24897 SOS 14146 HAS SOPS 14124 HAS SOUS 3966 HAS SOUPS 3953 WITH SCORE 3967.146
AT ITER 895 NEW BEST:: SOT 24876 SOS 14104 HAS SOPS 14082 HAS SOUS 3931 HAS SOUPS 3918 WITH SCORE 3932.104
AT ITER 904 NEW BEST:: SOT 24888 SOS 14128 HAS SOPS 14106 HAS SOUS 3929 HAS SOUPS 3916 WITH SCORE 3930.128
AT ITER 908 NEW BEST:: SOT 24888 SOS 14124 HAS SOPS 14102 HAS SOUS 3925 HAS SOUPS 3912 WITH SCORE 3926.124
AT ITER 962 NEW BEST:: SOT 24888 SOS 14132 HAS SOPS 14110 HAS SOUS 3917 HAS SOUPS 3904 WITH SCORE 3918.132
AT ITER 965 NEW BEST:: SOT 24888 SOS 14132 HAS SOPS 14110 HAS SOUS 3898 HAS SOUPS 3885 WITH SCORE 3899.132
AT ITER 970 NEW BEST:: SOT 24906 SOS 14159 HAS SOPS 14137 HAS SOUS 3889 HAS SOUPS 3876 WITH SCORE 3890.159
AT ITER 992 NEW BEST:: SOT 24891 SOS 14144 HAS SOPS 14122 HAS SOUS 3859 HAS SOUPS 3846 WITH SCORE 3860.144
AT ITER 999 NEW BEST:: SOT 24883 SOS 14131 HAS SOPS 14109 HAS SOUS 3858 HAS SOUPS 3845 WITH SCORE 3859.131
AT ITER 1005 NEW BEST:: SOT 24878 SOS 14126 HAS SOPS 14104 HAS SOUS 3858 HAS SOUPS 3845 WITH SCORE 3859.126
AT ITER 1053 NEW BEST:: SOT 24875 SOS 14123 HAS SOPS 14101 HAS SOUS 3855 HAS SOUPS 3842 WITH SCORE 3856.123
AT ITER 1062 NEW BEST:: SOT 24859 SOS 14091 HAS SOPS 14069 HAS SOUS 3854 HAS SOUPS 3841 WITH SCORE 3855.091
AT ITER 1070 NEW BEST:: SOT 24855 SOS 14087 HAS SOPS 14065 HAS SOUS 3845 HAS SOUPS 3832 WITH SCORE 3846.087
AT ITER 1098 NEW BEST:: SOT 24852 SOS 14081 HAS SOPS 14059 HAS SOUS 3842 HAS SOUPS 3829 WITH SCORE 3843.081
AT ITER 1157 NEW BEST:: SOT 24852 SOS 14081 HAS SOPS 14059 HAS SOUS 3841 HAS SOUPS 3828 WITH SCORE 3842.081
AT ITER 1165 NEW BEST:: SOT 24852 SOS 14083 HAS SOPS 14061 HAS SOUS 3810 HAS SOUPS 3797 WITH SCORE 3811.083
AT ITER 1166 NEW BEST:: SOT 24845 SOS 14076 HAS SOPS 14054 HAS SOUS 3784 HAS SOUPS 3771 WITH SCORE 3785.076
AT ITER 1178 NEW BEST:: SOT 24849 SOS 14082 HAS SOPS 14060 HAS SOUS 3782 HAS SOUPS 3769 WITH SCORE 3783.082
AT ITER 1204 NEW BEST:: SOT 24847 SOS 14080 HAS SOPS 14058 HAS SOUS 3761 HAS SOUPS 3748 WITH SCORE 3762.08
AT ITER 1230 NEW BEST:: SOT 24871 SOS 14126 HAS SOPS 14104 HAS SOUS 3754 HAS SOUPS 3741 WITH SCORE 3755.126
AT ITER 1240 NEW BEST:: SOT 24871 SOS 14126 HAS SOPS 14104 HAS SOUS 3746 HAS SOUPS 3733 WITH SCORE 3747.126
AT ITER 1241 NEW BEST:: SOT 24867 SOS 14118 HAS SOPS 14096 HAS SOUS 3746 HAS SOUPS 3733 WITH SCORE 3747.118
AT ITER 1245 NEW BEST:: SOT 24859 SOS 14110 HAS SOPS 14088 HAS SOUS 3738 HAS SOUPS 3725 WITH SCORE 3739.11
AT ITER 1257 NEW BEST:: SOT 24869 SOS 14539 HAS SOPS 14517 HAS SOUS 3724 HAS SOUPS 3711 WITH SCORE 3725.539
AT ITER 1271 NEW BEST:: SOT 24838 SOS 14508 HAS SOPS 14486 HAS SOUS 3697 HAS SOUPS 3684 WITH SCORE 3698.508
AT ITER 1273 NEW BEST:: SOT 24839 SOS 14509 HAS SOPS 14487 HAS SOUS 3694 HAS SOUPS 3681 WITH SCORE 3695.509
AT ITER 1274 NEW BEST:: SOT 24762 SOS 14394 HAS SOPS 14372 HAS SOUS 3694 HAS SOUPS 3681 WITH SCORE 3695.394
AT ITER 1298 NEW BEST:: SOT 24761 SOS 14396 HAS SOPS 14374 HAS SOUS 3693 HAS SOUPS 3680 WITH SCORE 3694.396
AT ITER 1308 NEW BEST:: SOT 24749 SOS 14384 HAS SOPS 14362 HAS SOUS 3681 HAS SOUPS 3668 WITH SCORE 3682.384
AT ITER 1314 NEW BEST:: SOT 24749 SOS 14384 HAS SOPS 14362 HAS SOUS 3675 HAS SOUPS 3662 WITH SCORE 3676.384
AT ITER 1336 NEW BEST:: SOT 24754 SOS 14394 HAS SOPS 14372 HAS SOUS 3670 HAS SOUPS 3657 WITH SCORE 3671.394
AT ITER 1363 NEW BEST:: SOT 24754 SOS 14394 HAS SOPS 14372 HAS SOUS 3667 HAS SOUPS 3654 WITH SCORE 3668.394
AT ITER 1379 NEW BEST:: SOT 24754 SOS 14394 HAS SOPS 14372 HAS SOUS 3651 HAS SOUPS 3638 WITH SCORE 3652.394
AT ITER 1391 NEW BEST:: SOT 24754 SOS 14498 HAS SOPS 14476 HAS SOUS 3648 HAS SOUPS 3635 WITH SCORE 3649.498
AT ITER 1394 NEW BEST:: SOT 24753 SOS 14497 HAS SOPS 14475 HAS SOUS 3648 HAS SOUPS 3635 WITH SCORE 3649.497
AT ITER 1406 NEW BEST:: SOT 24769 SOS 14515 HAS SOPS 14493 HAS SOUS 3634 HAS SOUPS 3621 WITH SCORE 3635.515
AT ITER 1409 NEW BEST:: SOT 24768 SOS 14514 HAS SOPS 14492 HAS SOUS 3634 HAS SOUPS 3621 WITH SCORE 3635.514
AT ITER 1410 NEW BEST:: SOT 24765 SOS 14511 HAS SOPS 14489 HAS SOUS 3631 HAS SOUPS 3618 WITH SCORE 3632.511
AT ITER 1418 NEW BEST:: SOT 24753 SOS 14487 HAS SOPS 14465 HAS SOUS 3627 HAS SOUPS 3614 WITH SCORE 3628.487
AT ITER 1425 NEW BEST:: SOT 24754 SOS 14475 HAS SOPS 14453 HAS SOUS 3625 HAS SOUPS 3612 WITH SCORE 3626.475
AT ITER 1441 NEW BEST:: SOT 24756 SOS 14484 HAS SOPS 14462 HAS SOUS 3618 HAS SOUPS 3605 WITH SCORE 3619.484
AT ITER 1452 NEW BEST:: SOT 24730 SOS 14458 HAS SOPS 14436 HAS SOUS 3618 HAS SOUPS 3605 WITH SCORE 3619.458
AT ITER 1473 NEW BEST:: SOT 24730 SOS 14458 HAS SOPS 14436 HAS SOUS 3617 HAS SOUPS 3604 WITH SCORE 3618.458
AT ITER 1486 NEW BEST:: SOT 24729 SOS 14457 HAS SOPS 14435 HAS SOUS 3616 HAS SOUPS 3603 WITH SCORE 3617.457
AT ITER 1502 NEW BEST:: SOT 24733 SOS 14441 HAS SOPS 14419 HAS SOUS 3615 HAS SOUPS 3602 WITH SCORE 3616.441
AT ITER 1511 NEW BEST:: SOT 24723 SOS 14431 HAS SOPS 14409 HAS SOUS 3605 HAS SOUPS 3592 WITH SCORE 3606.431
AT ITER 1513 NEW BEST:: SOT 24740 SOS 14454 HAS SOPS 14432 HAS SOUS 3587 HAS SOUPS 3574 WITH SCORE 3588.454
AT ITER 1516 NEW BEST:: SOT 24755 SOS 14479 HAS SOPS 14457 HAS SOUS 3586 HAS SOUPS 3573 WITH SCORE 3587.479
AT ITER 1518 NEW BEST:: SOT 24723 SOS 14426 HAS SOPS 14404 HAS SOUS 3562 HAS SOUPS 3549 WITH SCORE 3563.426
AT ITER 1521 NEW BEST:: SOT 24717 SOS 14417 HAS SOPS 14395 HAS SOUS 3556 HAS SOUPS 3543 WITH SCORE 3557.417
AT ITER 1531 NEW BEST:: SOT 24704 SOS 14404 HAS SOPS 14382 HAS SOUS 3549 HAS SOUPS 3536 WITH SCORE 3550.404
AT ITER 1551 NEW BEST:: SOT 24654 SOS 14554 HAS SOPS 14532 HAS SOUS 3541 HAS SOUPS 3528 WITH SCORE 3542.554
AT ITER 1568 NEW BEST:: SOT 24646 SOS 14546 HAS SOPS 14524 HAS SOUS 3541 HAS SOUPS 3528 WITH SCORE 3542.546
AT ITER 1616 NEW BEST:: SOT 24640 SOS 14540 HAS SOPS 14518 HAS SOUS 3532 HAS SOUPS 3519 WITH SCORE 3533.54
AT ITER 1652 NEW BEST:: SOT 24639 SOS 14539 HAS SOPS 14517 HAS SOUS 3530 HAS SOUPS 3517 WITH SCORE 3531.539
AT ITER 1668 NEW BEST:: SOT 24629 SOS 14524 HAS SOPS 14502 HAS SOUS 3530 HAS SOUPS 3517 WITH SCORE 3531.524
AT ITER 1678 NEW BEST:: SOT 24628 SOS 14523 HAS SOPS 14501 HAS SOUS 3530 HAS SOUPS 3517 WITH SCORE 3531.523
AT ITER 1683 NEW BEST:: SOT 24626 SOS 14521 HAS SOPS 14499 HAS SOUS 3526 HAS SOUPS 3513 WITH SCORE 3527.521
AT ITER 1688 NEW BEST:: SOT 24625 SOS 14519 HAS SOPS 14497 HAS SOUS 3526 HAS SOUPS 3513 WITH SCORE 3527.519
AT ITER 1695 NEW BEST:: SOT 24600 SOS 14480 HAS SOPS 14458 HAS SOUS 3503 HAS SOUPS 3490 WITH SCORE 3504.48
AT ITER 1703 NEW BEST:: SOT 24583 SOS 14463 HAS SOPS 14441 HAS SOUS 3454 HAS SOUPS 3441 WITH SCORE 3455.463
AT ITER 1709 NEW BEST:: SOT 24585 SOS 14465 HAS SOPS 14443 HAS SOUS 3452 HAS SOUPS 3439 WITH SCORE 3453.465
AT ITER 1745 NEW BEST:: SOT 24582 SOS 14462 HAS SOPS 14440 HAS SOUS 3452 HAS SOUPS 3439 WITH SCORE 3453.462
AT ITER 1753 NEW BEST:: SOT 24594 SOS 14453 HAS SOPS 14431 HAS SOUS 3448 HAS SOUPS 3435 WITH SCORE 3449.453
AT ITER 1767 NEW BEST:: SOT 24589 SOS 14448 HAS SOPS 14426 HAS SOUS 3443 HAS SOUPS 3430 WITH SCORE 3444.448
AT ITER 1801 NEW BEST:: SOT 24595 SOS 14455 HAS SOPS 14433 HAS SOUS 3438 HAS SOUPS 3425 WITH SCORE 3439.455
AT ITER 1841 NEW BEST:: SOT 24595 SOS 14455 HAS SOPS 14433 HAS SOUS 3436 HAS SOUPS 3423 WITH SCORE 3437.455
AT ITER 1859 NEW BEST:: SOT 24600 SOS 14465 HAS SOPS 14443 HAS SOUS 3431 HAS SOUPS 3418 WITH SCORE 3432.465
AT ITER 1862 NEW BEST:: SOT 24603 SOS 14448 HAS SOPS 14426 HAS SOUS 3418 HAS SOUPS 3405 WITH SCORE 3419.448
AT ITER 1880 NEW BEST:: SOT 24596 SOS 14441 HAS SOPS 14419 HAS SOUS 3418 HAS SOUPS 3405 WITH SCORE 3419.441
AT ITER 1970 NEW BEST:: SOT 24588 SOS 14433 HAS SOPS 14411 HAS SOUS 3410 HAS SOUPS 3397 WITH SCORE 3411.433
AT ITER 1978 NEW BEST:: SOT 24589 SOS 14434 HAS SOPS 14412 HAS SOUS 3408 HAS SOUPS 3395 WITH SCORE 3409.434
AT ITER 1984 NEW BEST:: SOT 24589 SOS 14434 HAS SOPS 14412 HAS SOUS 3407 HAS SOUPS 3394 WITH SCORE 3408.434
AT ITER 1992 NEW BEST:: SOT 24593 SOS 14438 HAS SOPS 14416 HAS SOUS 3399 HAS SOUPS 3386 WITH SCORE 3400.438
AT ITER 2007 NEW BEST:: SOT 24594 SOS 14451 HAS SOPS 14429 HAS SOUS 3394 HAS SOUPS 3381 WITH SCORE 3395.451
AT ITER 2046 NEW BEST:: SOT 24591 SOS 14448 HAS SOPS 14426 HAS SOUS 3394 HAS SOUPS 3381 WITH SCORE 3395.448
AT ITER 2048 NEW BEST:: SOT 24599 SOS 14386 HAS SOPS 14364 HAS SOUS 3394 HAS SOUPS 3381 WITH SCORE 3395.386
AT ITER 2124 NEW BEST:: SOT 24590 SOS 14377 HAS SOPS 14355 HAS SOUS 3387 HAS SOUPS 3374 WITH SCORE 3388.377
AT ITER 2150 NEW BEST:: SOT 24590 SOS 14383 HAS SOPS 14361 HAS SOUS 3381 HAS SOUPS 3368 WITH SCORE 3382.383
AT ITER 2153 NEW BEST:: SOT 24564 SOS 14331 HAS SOPS 14309 HAS SOUS 3380 HAS SOUPS 3367 WITH SCORE 3381.331
AT ITER 2154 NEW BEST:: SOT 24564 SOS 14331 HAS SOPS 14309 HAS SOUS 3379 HAS SOUPS 3366 WITH SCORE 3380.331
AT ITER 2176 NEW BEST:: SOT 24559 SOS 14326 HAS SOPS 14304 HAS SOUS 3369 HAS SOUPS 3356 WITH SCORE 3370.326
AT ITER 2178 NEW BEST:: SOT 24567 SOS 14334 HAS SOPS 14312 HAS SOUS 3364 HAS SOUPS 3351 WITH SCORE 3365.334
AT ITER 2193 NEW BEST:: SOT 24564 SOS 14331 HAS SOPS 14309 HAS SOUS 3358 HAS SOUPS 3345 WITH SCORE 3359.331
AT ITER 2202 NEW BEST:: SOT 24562 SOS 14329 HAS SOPS 14307 HAS SOUS 3344 HAS SOUPS 3331 WITH SCORE 3345.329
AT ITER 2227 NEW BEST:: SOT 24534 SOS 14273 HAS SOPS 14251 HAS SOUS 3331 HAS SOUPS 3318 WITH SCORE 3332.273
AT ITER 2242 NEW BEST:: SOT 24535 SOS 14278 HAS SOPS 14256 HAS SOUS 3329 HAS SOUPS 3316 WITH SCORE 3330.278
AT ITER 2249 NEW BEST:: SOT 24533 SOS 14276 HAS SOPS 14254 HAS SOUS 3325 HAS SOUPS 3312 WITH SCORE 3326.276
AT ITER 2254 NEW BEST:: SOT 24531 SOS 14274 HAS SOPS 14252 HAS SOUS 3323 HAS SOUPS 3310 WITH SCORE 3324.274
AT ITER 2277 NEW BEST:: SOT 24520 SOS 14263 HAS SOPS 14241 HAS SOUS 3313 HAS SOUPS 3300 WITH SCORE 3314.263
AT ITER 2287 NEW BEST:: SOT 24511 SOS 14254 HAS SOPS 14232 HAS SOUS 3304 HAS SOUPS 3291 WITH SCORE 3305.254
AT ITER 2304 NEW BEST:: SOT 24513 SOS 14298 HAS SOPS 14276 HAS SOUS 3302 HAS SOUPS 3289 WITH SCORE 3303.298
AT ITER 2365 NEW BEST:: SOT 24511 SOS 14296 HAS SOPS 14274 HAS SOUS 3300 HAS SOUPS 3287 WITH SCORE 3301.296
AT ITER 2391 NEW BEST:: SOT 24513 SOS 14300 HAS SOPS 14278 HAS SOUS 3296 HAS SOUPS 3283 WITH SCORE 3297.3
AT ITER 2393 NEW BEST:: SOT 24545 SOS 14355 HAS SOPS 14333 HAS SOUS 3293 HAS SOUPS 3280 WITH SCORE 3294.355
AT ITER 2451 NEW BEST:: SOT 24544 SOS 14354 HAS SOPS 14332 HAS SOUS 3291 HAS SOUPS 3278 WITH SCORE 3292.354
AT ITER 2464 NEW BEST:: SOT 24543 SOS 14353 HAS SOPS 14331 HAS SOUS 3290 HAS SOUPS 3277 WITH SCORE 3291.353
AT ITER 2502 NEW BEST:: SOT 24543 SOS 14353 HAS SOPS 14331 HAS SOUS 3287 HAS SOUPS 3274 WITH SCORE 3288.353
AT ITER 2506 NEW BEST:: SOT 24542 SOS 14349 HAS SOPS 14327 HAS SOUS 3286 HAS SOUPS 3273 WITH SCORE 3287.349
AT ITER 2528 NEW BEST:: SOT 24542 SOS 14351 HAS SOPS 14329 HAS SOUS 3282 HAS SOUPS 3269 WITH SCORE 3283.351
AT ITER 2560 NEW BEST:: SOT 24577 SOS 14407 HAS SOPS 14385 HAS SOUS 3279 HAS SOUPS 3266 WITH SCORE 3280.407
AT ITER 2583 NEW BEST:: SOT 24576 SOS 14406 HAS SOPS 14384 HAS SOUS 3279 HAS SOUPS 3266 WITH SCORE 3280.406
AT ITER 2587 NEW BEST:: SOT 24626 SOS 14490 HAS SOPS 14468 HAS SOUS 3277 HAS SOUPS 3264 WITH SCORE 3278.49
AT ITER 2590 NEW BEST:: SOT 24626 SOS 14490 HAS SOPS 14468 HAS SOUS 3276 HAS SOUPS 3263 WITH SCORE 3277.49
AT ITER 2592 NEW BEST:: SOT 24638 SOS 14502 HAS SOPS 14480 HAS SOUS 3270 HAS SOUPS 3257 WITH SCORE 3271.502
AT ITER 2595 NEW BEST:: SOT 24637 SOS 14502 HAS SOPS 14480 HAS SOUS 3262 HAS SOUPS 3249 WITH SCORE 3263.502
AT ITER 2625 NEW BEST:: SOT 24630 SOS 14546 HAS SOPS 14524 HAS SOUS 3255 HAS SOUPS 3242 WITH SCORE 3256.546
AT ITER 2634 NEW BEST:: SOT 24630 SOS 14548 HAS SOPS 14526 HAS SOUS 3251 HAS SOUPS 3238 WITH SCORE 3252.548
AT ITER 2639 NEW BEST:: SOT 24629 SOS 14545 HAS SOPS 14523 HAS SOUS 3250 HAS SOUPS 3237 WITH SCORE 3251.545
AT ITER 2657 NEW BEST:: SOT 24621 SOS 14530 HAS SOPS 14508 HAS SOUS 3249 HAS SOUPS 3236 WITH SCORE 3250.53
AT ITER 2668 NEW BEST:: SOT 24622 SOS 14529 HAS SOPS 14507 HAS SOUS 3249 HAS SOUPS 3236 WITH SCORE 3250.529
AT ITER 2691 NEW BEST:: SOT 24617 SOS 14524 HAS SOPS 14502 HAS SOUS 3249 HAS SOUPS 3236 WITH SCORE 3250.524
AT ITER 2700 NEW BEST:: SOT 24653 SOS 14560 HAS SOPS 14538 HAS SOUS 3238 HAS SOUPS 3225 WITH SCORE 3239.56
AT ITER 2701 NEW BEST:: SOT 24652 SOS 14558 HAS SOPS 14536 HAS SOUS 3238 HAS SOUPS 3225 WITH SCORE 3239.558
AT ITER 2725 NEW BEST:: SOT 24652 SOS 14558 HAS SOPS 14536 HAS SOUS 3237 HAS SOUPS 3224 WITH SCORE 3238.558
AT ITER 2755 NEW BEST:: SOT 24650 SOS 14554 HAS SOPS 14532 HAS SOUS 3237 HAS SOUPS 3224 WITH SCORE 3238.554
AT ITER 2788 NEW BEST:: SOT 24649 SOS 14553 HAS SOPS 14531 HAS SOUS 3236 HAS SOUPS 3223 WITH SCORE 3237.553
AT ITER 2791 NEW BEST:: SOT 24649 SOS 14553 HAS SOPS 14531 HAS SOUS 3230 HAS SOUPS 3217 WITH SCORE 3231.553
AT ITER 2805 NEW BEST:: SOT 24647 SOS 14550 HAS SOPS 14528 HAS SOUS 3228 HAS SOUPS 3215 WITH SCORE 3229.55
AT ITER 2824 NEW BEST:: SOT 24683 SOS 14389 HAS SOPS 14367 HAS SOUS 3226 HAS SOUPS 3213 WITH SCORE 3227.389
AT ITER 2858 NEW BEST:: SOT 24683 SOS 14389 HAS SOPS 14367 HAS SOUS 3220 HAS SOUPS 3207 WITH SCORE 3221.389
AT ITER 2859 NEW BEST:: SOT 24681 SOS 14387 HAS SOPS 14365 HAS SOUS 3219 HAS SOUPS 3206 WITH SCORE 3220.387
AT ITER 2881 NEW BEST:: SOT 24680 SOS 14385 HAS SOPS 14363 HAS SOUS 3219 HAS SOUPS 3206 WITH SCORE 3220.385
AT ITER 2883 NEW BEST:: SOT 24672 SOS 14369 HAS SOPS 14347 HAS SOUS 3215 HAS SOUPS 3202 WITH SCORE 3216.369
AT ITER 2935 NEW BEST:: SOT 24680 SOS 14352 HAS SOPS 14330 HAS SOUS 3215 HAS SOUPS 3202 WITH SCORE 3216.352
AT ITER 2952 NEW BEST:: SOT 24673 SOS 14345 HAS SOPS 14323 HAS SOUS 3208 HAS SOUPS 3195 WITH SCORE 3209.345
AT ITER 2964 NEW BEST:: SOT 24665 SOS 14339 HAS SOPS 14317 HAS SOUS 3208 HAS SOUPS 3195 WITH SCORE 3209.339
AT ITER 2991 NEW BEST:: SOT 24660 SOS 14322 HAS SOPS 14300 HAS SOUS 3207 HAS SOUPS 3194 WITH SCORE 3208.322
AT ITER 3014 NEW BEST:: SOT 24667 SOS 14312 HAS SOPS 14290 HAS SOUS 3205 HAS SOUPS 3192 WITH SCORE 3206.312
AT ITER 3031 NEW BEST:: SOT 24680 SOS 14328 HAS SOPS 14306 HAS SOUS 3203 HAS SOUPS 3190 WITH SCORE 3204.328
AT ITER 3063 NEW BEST:: SOT 24686 SOS 14325 HAS SOPS 14303 HAS SOUS 3197 HAS SOUPS 3184 WITH SCORE 3198.325
AT ITER 3075 NEW BEST:: SOT 24683 SOS 14322 HAS SOPS 14300 HAS SOUS 3196 HAS SOUPS 3183 WITH SCORE 3197.322
AT ITER 3152 NEW BEST:: SOT 24681 SOS 14317 HAS SOPS 14295 HAS SOUS 3196 HAS SOUPS 3183 WITH SCORE 3197.317
AT ITER 3157 NEW BEST:: SOT 24681 SOS 14317 HAS SOPS 14295 HAS SOUS 3195 HAS SOUPS 3182 WITH SCORE 3196.317
AT ITER 3163 NEW BEST:: SOT 24675 SOS 14305 HAS SOPS 14283 HAS SOUS 3192 HAS SOUPS 3179 WITH SCORE 3193.305
AT ITER 3174 NEW BEST:: SOT 24674 SOS 14304 HAS SOPS 14282 HAS SOUS 3190 HAS SOUPS 3177 WITH SCORE 3191.304
AT ITER 3220 NEW BEST:: SOT 24673 SOS 14307 HAS SOPS 14285 HAS SOUS 3189 HAS SOUPS 3176 WITH SCORE 3190.307
AT ITER 3232 NEW BEST:: SOT 24672 SOS 14311 HAS SOPS 14289 HAS SOUS 3187 HAS SOUPS 3174 WITH SCORE 3188.311
AT ITER 3234 NEW BEST:: SOT 24682 SOS 14326 HAS SOPS 14304 HAS SOUS 3183 HAS SOUPS 3170 WITH SCORE 3184.326
AT ITER 3258 NEW BEST:: SOT 24675 SOS 14319 HAS SOPS 14297 HAS SOUS 3176 HAS SOUPS 3163 WITH SCORE 3177.319
AT ITER 3259 NEW BEST:: SOT 24665 SOS 14293 HAS SOPS 14271 HAS SOUS 3173 HAS SOUPS 3160 WITH SCORE 3174.293
AT ITER 3299 NEW BEST:: SOT 24653 SOS 14274 HAS SOPS 14252 HAS SOUS 3165 HAS SOUPS 3152 WITH SCORE 3166.274
AT ITER 3308 NEW BEST:: SOT 24665 SOS 14289 HAS SOPS 14267 HAS SOUS 3162 HAS SOUPS 3149 WITH SCORE 3163.289
AT ITER 3319 NEW BEST:: SOT 24663 SOS 14285 HAS SOPS 14263 HAS SOUS 3161 HAS SOUPS 3148 WITH SCORE 3162.285
AT ITER 3339 NEW BEST:: SOT 24679 SOS 14301 HAS SOPS 14279 HAS SOUS 3154 HAS SOUPS 3141 WITH SCORE 3155.301
AT ITER 3366 NEW BEST:: SOT 24677 SOS 14299 HAS SOPS 14277 HAS SOUS 3154 HAS SOUPS 3141 WITH SCORE 3155.299
AT ITER 3376 NEW BEST:: SOT 24677 SOS 14297 HAS SOPS 14275 HAS SOUS 3154 HAS SOUPS 3141 WITH SCORE 3155.297
AT ITER 3398 NEW BEST:: SOT 24677 SOS 14297 HAS SOPS 14275 HAS SOUS 3153 HAS SOUPS 3140 WITH SCORE 3154.297
AT ITER 3461 NEW BEST:: SOT 24678 SOS 14298 HAS SOPS 14276 HAS SOUS 3152 HAS SOUPS 3139 WITH SCORE 3153.298
AT ITER 3462 NEW BEST:: SOT 24676 SOS 14290 HAS SOPS 14268 HAS SOUS 3148 HAS SOUPS 3135 WITH SCORE 3149.29
AT ITER 3484 NEW BEST:: SOT 24676 SOS 14290 HAS SOPS 14268 HAS SOUS 3147 HAS SOUPS 3134 WITH SCORE 3148.29
AT ITER 3499 NEW BEST:: SOT 24668 SOS 14330 HAS SOPS 14308 HAS SOUS 3141 HAS SOUPS 3128 WITH SCORE 3142.33
AT ITER 3526 NEW BEST:: SOT 24668 SOS 14330 HAS SOPS 14308 HAS SOUS 3138 HAS SOUPS 3125 WITH SCORE 3139.33
AT ITER 3581 NEW BEST:: SOT 24668 SOS 14330 HAS SOPS 14308 HAS SOUS 3133 HAS SOUPS 3120 WITH SCORE 3134.33
AT ITER 3603 NEW BEST:: SOT 24667 SOS 14329 HAS SOPS 14307 HAS SOUS 3132 HAS SOUPS 3119 WITH SCORE 3133.329
AT ITER 3741 NEW BEST:: SOT 24665 SOS 14327 HAS SOPS 14305 HAS SOUS 3130 HAS SOUPS 3117 WITH SCORE 3131.327
AT ITER 3837 NEW BEST:: SOT 24662 SOS 14324 HAS SOPS 14302 HAS SOUS 3127 HAS SOUPS 3114 WITH SCORE 3128.324
AT ITER 3851 NEW BEST:: SOT 24660 SOS 14315 HAS SOPS 14293 HAS SOUS 3122 HAS SOUPS 3109 WITH SCORE 3123.315
AT ITER 3871 NEW BEST:: SOT 24658 SOS 14313 HAS SOPS 14291 HAS SOUS 3120 HAS SOUPS 3107 WITH SCORE 3121.313
AT ITER 3883 NEW BEST:: SOT 24625 SOS 14247 HAS SOPS 14225 HAS SOUS 3120 HAS SOUPS 3107 WITH SCORE 3121.247
AT ITER 3885 NEW BEST:: SOT 24619 SOS 14226 HAS SOPS 14204 HAS SOUS 3108 HAS SOUPS 3095 WITH SCORE 3109.226
AT ITER 3959 NEW BEST:: SOT 24618 SOS 14225 HAS SOPS 14203 HAS SOUS 3106 HAS SOUPS 3093 WITH SCORE 3107.225
AT ITER 3960 NEW BEST:: SOT 24605 SOS 14212 HAS SOPS 14190 HAS SOUS 3106 HAS SOUPS 3093 WITH SCORE 3107.212
AT ITER 3974 NEW BEST:: SOT 24600 SOS 14211 HAS SOPS 14189 HAS SOUS 3104 HAS SOUPS 3091 WITH SCORE 3105.211
AT ITER 4026 NEW BEST:: SOT 24592 SOS 14199 HAS SOPS 14177 HAS SOUS 3103 HAS SOUPS 3090 WITH SCORE 3104.199
AT ITER 4274 NEW BEST:: SOT 24589 SOS 14196 HAS SOPS 14174 HAS SOUS 3097 HAS SOUPS 3084 WITH SCORE 3098.196
AT ITER 4284 NEW BEST:: SOT 24581 SOS 14188 HAS SOPS 14166 HAS SOUS 3097 HAS SOUPS 3084 WITH SCORE 3098.188
AT ITER 4307 NEW BEST:: SOT 24580 SOS 14187 HAS SOPS 14165 HAS SOUS 3096 HAS SOUPS 3083 WITH SCORE 3097.187
AT ITER 4337 NEW BEST:: SOT 24577 SOS 14184 HAS SOPS 14162 HAS SOUS 3090 HAS SOUPS 3077 WITH SCORE 3091.184
AT ITER 4361 NEW BEST:: SOT 24577 SOS 14184 HAS SOPS 14162 HAS SOUS 3089 HAS SOUPS 3076 WITH SCORE 3090.184
AT ITER 4420 NEW BEST:: SOT 24570 SOS 14177 HAS SOPS 14155 HAS SOUS 3088 HAS SOUPS 3075 WITH SCORE 3089.177
AT ITER 4427 NEW BEST:: SOT 24570 SOS 14105 HAS SOPS 14083 HAS SOUS 3088 HAS SOUPS 3075 WITH SCORE 3089.105
AT ITER 4428 NEW BEST:: SOT 24570 SOS 14121 HAS SOPS 14099 HAS SOUS 3085 HAS SOUPS 3072 WITH SCORE 3086.121
AT ITER 4435 NEW BEST:: SOT 24567 SOS 14043 HAS SOPS 14021 HAS SOUS 3085 HAS SOUPS 3072 WITH SCORE 3086.043
AT ITER 4442 NEW BEST:: SOT 24572 SOS 14054 HAS SOPS 14032 HAS SOUS 3084 HAS SOUPS 3071 WITH SCORE 3085.054
AT ITER 4511 NEW BEST:: SOT 24567 SOS 14049 HAS SOPS 14027 HAS SOUS 3084 HAS SOUPS 3071 WITH SCORE 3085.049
AT ITER 4524 NEW BEST:: SOT 24569 SOS 14029 HAS SOPS 14007 HAS SOUS 3084 HAS SOUPS 3071 WITH SCORE 3085.029
AT ITER 4534 NEW BEST:: SOT 24568 SOS 14027 HAS SOPS 14005 HAS SOUS 3083 HAS SOUPS 3070 WITH SCORE 3084.027
AT ITER 4571 NEW BEST:: SOT 24564 SOS 14162 HAS SOPS 14140 HAS SOUS 3082 HAS SOUPS 3069 WITH SCORE 3083.162
AT ITER 4647 NEW BEST:: SOT 24564 SOS 14102 HAS SOPS 14080 HAS SOUS 3080 HAS SOUPS 3067 WITH SCORE 3081.102
AT ITER 4800 NEW BEST:: SOT 24558 SOS 14090 HAS SOPS 14068 HAS SOUS 3079 HAS SOUPS 3066 WITH SCORE 3080.09
AT ITER 4865 NEW BEST:: SOT 24559 SOS 14091 HAS SOPS 14069 HAS SOUS 3078 HAS SOUPS 3065 WITH SCORE 3079.091
AT ITER 5170 NEW BEST:: SOT 24557 SOS 14087 HAS SOPS 14065 HAS SOUS 3078 HAS SOUPS 3065 WITH SCORE 3079.087
AT ITER 5180 NEW BEST:: SOT 24553 SOS 14079 HAS SOPS 14057 HAS SOUS 3076 HAS SOUPS 3063 WITH SCORE 3077.079
AT ITER 5209 NEW BEST:: SOT 24521 SOS 14185 HAS SOPS 14163 HAS SOUS 3073 HAS SOUPS 3060 WITH SCORE 3074.185
AT ITER 5230 NEW BEST:: SOT 24518 SOS 14179 HAS SOPS 14157 HAS SOUS 3069 HAS SOUPS 3056 WITH SCORE 3070.179
AT ITER 5233 NEW BEST:: SOT 24520 SOS 14172 HAS SOPS 14150 HAS SOUS 3062 HAS SOUPS 3049 WITH SCORE 3063.172
AT ITER 5279 NEW BEST:: SOT 24529 SOS 14190 HAS SOPS 14168 HAS SOUS 3056 HAS SOUPS 3043 WITH SCORE 3057.19
AT ITER 5342 NEW BEST:: SOT 24527 SOS 14186 HAS SOPS 14164 HAS SOUS 3053 HAS SOUPS 3040 WITH SCORE 3054.186
AT ITER 5344 NEW BEST:: SOT 24507 SOS 14278 HAS SOPS 14256 HAS SOUS 3050 HAS SOUPS 3037 WITH SCORE 3051.278
AT ITER 5363 NEW BEST:: SOT 24507 SOS 14278 HAS SOPS 14256 HAS SOUS 3049 HAS SOUPS 3036 WITH SCORE 3050.278
AT ITER 5584 NEW BEST:: SOT 24502 SOS 14273 HAS SOPS 14251 HAS SOUS 3046 HAS SOUPS 3033 WITH SCORE 3047.273
AT ITER 5621 NEW BEST:: SOT 24499 SOS 14270 HAS SOPS 14248 HAS SOUS 3043 HAS SOUPS 3030 WITH SCORE 3044.27
AT ITER 5650 NEW BEST:: SOT 24499 SOS 14271 HAS SOPS 14249 HAS SOUS 3042 HAS SOUPS 3029 WITH SCORE 3043.271
AT ITER 5722 NEW BEST:: SOT 24498 SOS 14269 HAS SOPS 14247 HAS SOUS 3042 HAS SOUPS 3029 WITH SCORE 3043.269
AT ITER 5838 NEW BEST:: SOT 24497 SOS 14267 HAS SOPS 14245 HAS SOUS 3040 HAS SOUPS 3027 WITH SCORE 3041.267
AT ITER 5843 NEW BEST:: SOT 24497 SOS 14261 HAS SOPS 14239 HAS SOUS 3037 HAS SOUPS 3024 WITH SCORE 3038.261
AT ITER 5864 NEW BEST:: SOT 24503 SOS 14270 HAS SOPS 14248 HAS SOUS 3034 HAS SOUPS 3021 WITH SCORE 3035.27
AT ITER 5865 NEW BEST:: SOT 24499 SOS 14259 HAS SOPS 14237 HAS SOUS 3029 HAS SOUPS 3016 WITH SCORE 3030.259
AT ITER 5999 NEW BEST:: SOT 24498 SOS 14257 HAS SOPS 14235 HAS SOUS 3026 HAS SOUPS 3013 WITH SCORE 3027.257
AT ITER 6081 NEW BEST:: SOT 24496 SOS 14255 HAS SOPS 14233 HAS SOUS 3024 HAS SOUPS 3011 WITH SCORE 3025.255
AT ITER 6094 NEW BEST:: SOT 24488 SOS 14247 HAS SOPS 14225 HAS SOUS 3017 HAS SOUPS 3004 WITH SCORE 3018.247
AT ITER 6111 NEW BEST:: SOT 24486 SOS 14171 HAS SOPS 14149 HAS SOUS 3017 HAS SOUPS 3004 WITH SCORE 3018.171
AT ITER 6221 NEW BEST:: SOT 24486 SOS 14171 HAS SOPS 14149 HAS SOUS 3015 HAS SOUPS 3002 WITH SCORE 3016.171
AT ITER 6226 NEW BEST:: SOT 24486 SOS 14171 HAS SOPS 14149 HAS SOUS 3014 HAS SOUPS 3001 WITH SCORE 3015.171
AT ITER 6233 NEW BEST:: SOT 24485 SOS 14167 HAS SOPS 14145 HAS SOUS 3010 HAS SOUPS 2997 WITH SCORE 3011.167
AT ITER 6235 NEW BEST:: SOT 24495 SOS 14121 HAS SOPS 14099 HAS SOUS 3010 HAS SOUPS 2997 WITH SCORE 3011.121
AT ITER 6264 NEW BEST:: SOT 24495 SOS 14121 HAS SOPS 14099 HAS SOUS 3009 HAS SOUPS 2996 WITH SCORE 3010.121
AT ITER 6282 NEW BEST:: SOT 24477 SOS 14103 HAS SOPS 14081 HAS SOUS 3005 HAS SOUPS 2992 WITH SCORE 3006.103
AT ITER 6367 NEW BEST:: SOT 24476 SOS 14102 HAS SOPS 14080 HAS SOUS 3004 HAS SOUPS 2991 WITH SCORE 3005.102
AT ITER 6461 NEW BEST:: SOT 24471 SOS 14092 HAS SOPS 14070 HAS SOUS 3003 HAS SOUPS 2990 WITH SCORE 3004.092
AT ITER 6476 NEW BEST:: SOT 24472 SOS 14091 HAS SOPS 14069 HAS SOUS 3002 HAS SOUPS 2989 WITH SCORE 3003.091
AT ITER 6485 NEW BEST:: SOT 24465 SOS 14081 HAS SOPS 14059 HAS SOUS 2998 HAS SOUPS 2985 WITH SCORE 2999.081
AT ITER 6496 NEW BEST:: SOT 24453 SOS 14048 HAS SOPS 14026 HAS SOUS 2996 HAS SOUPS 2983 WITH SCORE 2997.048
AT ITER 6520 NEW BEST:: SOT 24453 SOS 14048 HAS SOPS 14026 HAS SOUS 2995 HAS SOUPS 2982 WITH SCORE 2996.048
AT ITER 6536 NEW BEST:: SOT 24452 SOS 14047 HAS SOPS 14025 HAS SOUS 2994 HAS SOUPS 2981 WITH SCORE 2995.047
AT ITER 6639 NEW BEST:: SOT 24459 SOS 14028 HAS SOPS 14006 HAS SOUS 2994 HAS SOUPS 2981 WITH SCORE 2995.028
AT ITER 6655 NEW BEST:: SOT 24450 SOS 14010 HAS SOPS 13988 HAS SOUS 2993 HAS SOUPS 2980 WITH SCORE 2994.01
AT ITER 6676 NEW BEST:: SOT 24450 SOS 14010 HAS SOPS 13988 HAS SOUS 2992 HAS SOUPS 2979 WITH SCORE 2993.01
AT ITER 6695 NEW BEST:: SOT 24450 SOS 14010 HAS SOPS 13988 HAS SOUS 2989 HAS SOUPS 2976 WITH SCORE 2990.01
AT ITER 6716 NEW BEST:: SOT 24450 SOS 14010 HAS SOPS 13988 HAS SOUS 2988 HAS SOUPS 2975 WITH SCORE 2989.01
AT ITER 6894 NEW BEST:: SOT 24449 SOS 14009 HAS SOPS 13987 HAS SOUS 2985 HAS SOUPS 2972 WITH SCORE 2986.009
AT ITER 6918 NEW BEST:: SOT 24445 SOS 13998 HAS SOPS 13976 HAS SOUS 2981 HAS SOUPS 2968 WITH SCORE 2981.998
AT ITER 6964 NEW BEST:: SOT 24445 SOS 13998 HAS SOPS 13976 HAS SOUS 2979 HAS SOUPS 2966 WITH SCORE 2979.998
AT ITER 7094 NEW BEST:: SOT 24437 SOS 13983 HAS SOPS 13961 HAS SOUS 2978 HAS SOUPS 2965 WITH SCORE 2978.983
AT ITER 7257 NEW BEST:: SOT 24452 SOS 13998 HAS SOPS 13976 HAS SOUS 2976 HAS SOUPS 2963 WITH SCORE 2976.998
AT ITER 7509 NEW BEST:: SOT 24447 SOS 13993 HAS SOPS 13971 HAS SOUS 2975 HAS SOUPS 2962 WITH SCORE 2975.993
AT ITER 7521 NEW BEST:: SOT 24447 SOS 13993 HAS SOPS 13971 HAS SOUS 2972 HAS SOUPS 2959 WITH SCORE 2972.993
AT ITER 7835 NEW BEST:: SOT 24460 SOS 14006 HAS SOPS 13984 HAS SOUS 2971 HAS SOUPS 2958 WITH SCORE 2972.006
AT ITER 7839 NEW BEST:: SOT 24448 SOS 13994 HAS SOPS 13972 HAS SOUS 2969 HAS SOUPS 2956 WITH SCORE 2969.994
AT ITER 7896 NEW BEST:: SOT 24442 SOS 13976 HAS SOPS 13954 HAS SOUS 2969 HAS SOUPS 2956 WITH SCORE 2969.976
AT ITER 7902 NEW BEST:: SOT 24435 SOS 13962 HAS SOPS 13940 HAS SOUS 2969 HAS SOUPS 2956 WITH SCORE 2969.962
AT ITER 7964 NEW BEST:: SOT 24435 SOS 13962 HAS SOPS 13940 HAS SOUS 2966 HAS SOUPS 2953 WITH SCORE 2966.962
AT ITER 8026 NEW BEST:: SOT 24431 SOS 13958 HAS SOPS 13936 HAS SOUS 2958 HAS SOUPS 2945 WITH SCORE 2958.958
AT ITER 8092 NEW BEST:: SOT 24433 SOS 13965 HAS SOPS 13943 HAS SOUS 2957 HAS SOUPS 2944 WITH SCORE 2957.965
AT ITER 8117 NEW BEST:: SOT 24429 SOS 13961 HAS SOPS 13939 HAS SOUS 2956 HAS SOUPS 2943 WITH SCORE 2956.961
AT ITER 8204 NEW BEST:: SOT 24434 SOS 13971 HAS SOPS 13949 HAS SOUS 2955 HAS SOUPS 2942 WITH SCORE 2955.971
AT ITER 8324 NEW BEST:: SOT 24434 SOS 13971 HAS SOPS 13949 HAS SOUS 2954 HAS SOUPS 2941 WITH SCORE 2954.971
AT ITER 8420 NEW BEST:: SOT 24426 SOS 13955 HAS SOPS 13933 HAS SOUS 2953 HAS SOUPS 2940 WITH SCORE 2953.955
AT ITER 8475 NEW BEST:: SOT 24434 SOS 13948 HAS SOPS 13926 HAS SOUS 2946 HAS SOUPS 2933 WITH SCORE 2946.948
AT ITER 8596 NEW BEST:: SOT 24434 SOS 13948 HAS SOPS 13926 HAS SOUS 2944 HAS SOUPS 2931 WITH SCORE 2944.948
AT ITER 8736 NEW BEST:: SOT 24432 SOS 13944 HAS SOPS 13922 HAS SOUS 2944 HAS SOUPS 2931 WITH SCORE 2944.944
AT ITER 8881 NEW BEST:: SOT 24429 SOS 13931 HAS SOPS 13909 HAS SOUS 2941 HAS SOUPS 2928 WITH SCORE 2941.931
AT ITER 8900 NEW BEST:: SOT 24433 SOS 13935 HAS SOPS 13913 HAS SOUS 2938 HAS SOUPS 2925 WITH SCORE 2938.935
AT ITER 9004 NEW BEST:: SOT 24433 SOS 13932 HAS SOPS 13910 HAS SOUS 2938 HAS SOUPS 2925 WITH SCORE 2938.932
AT ITER 9030 NEW BEST:: SOT 24432 SOS 13925 HAS SOPS 13903 HAS SOUS 2938 HAS SOUPS 2925 WITH SCORE 2938.925
AT ITER 9076 NEW BEST:: SOT 24425 SOS 13909 HAS SOPS 13887 HAS SOUS 2935 HAS SOUPS 2922 WITH SCORE 2935.909
AT ITER 9085 NEW BEST:: SOT 24423 SOS 13833 HAS SOPS 13811 HAS SOUS 2935 HAS SOUPS 2922 WITH SCORE 2935.833
AT ITER 9108 NEW BEST:: SOT 24421 SOS 13857 HAS SOPS 13835 HAS SOUS 2933 HAS SOUPS 2920 WITH SCORE 2933.857
AT ITER 9239 NEW BEST:: SOT 24415 SOS 13836 HAS SOPS 13814 HAS SOUS 2930 HAS SOUPS 2917 WITH SCORE 2930.836
AT ITER 9384 NEW BEST:: SOT 24414 SOS 13889 HAS SOPS 13867 HAS SOUS 2929 HAS SOUPS 2916 WITH SCORE 2929.889
AT ITER 9422 NEW BEST:: SOT 24414 SOS 13889 HAS SOPS 13867 HAS SOUS 2927 HAS SOUPS 2914 WITH SCORE 2927.889
AT ITER 9556 NEW BEST:: SOT 24412 SOS 13887 HAS SOPS 13865 HAS SOUS 2925 HAS SOUPS 2912 WITH SCORE 2925.887
AT ITER 9575 NEW BEST:: SOT 24394 SOS 13483 HAS SOPS 13461 HAS SOUS 2923 HAS SOUPS 2910 WITH SCORE 2923.483
AT ITER 9647 NEW BEST:: SOT 24392 SOS 13481 HAS SOPS 13459 HAS SOUS 2921 HAS SOUPS 2908 WITH SCORE 2921.481
AT ITER 9730 NEW BEST:: SOT 24390 SOS 13479 HAS SOPS 13457 HAS SOUS 2919 HAS SOUPS 2906 WITH SCORE 2919.479
AT ITER 9804 NEW BEST:: SOT 24388 SOS 13475 HAS SOPS 13453 HAS SOUS 2918 HAS SOUPS 2905 WITH SCORE 2918.475
AT ITER 9880 NEW BEST:: SOT 24380 SOS 13452 HAS SOPS 13430 HAS SOUS 2916 HAS SOUPS 2903 WITH SCORE 2916.452
STATE_SPACE STATES 505148172 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 7745173878 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678493034105

--------------------
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="HealthRecord-PT-06"
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 HealthRecord-PT-06, 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 r195-smll-167840342200280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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