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-167840342200312.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-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342200312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 8.1K Feb 26 18:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 18:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 18:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 18:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K 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 14K Feb 26 18:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 155K Feb 26 18:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 18:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 26 18:15 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 69K 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 1678493846458

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-10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 10
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: 158 places, 333 transitions, 875 arcs.
AT ITER 0 NEW BEST:: SOT 37506 SOS 21709 HAS SOPS 21687 HAS SOUS 12332 HAS SOUPS 12319 WITH SCORE 12340.709
AT ITER 1 NEW BEST:: SOT 37506 SOS 21679 HAS SOPS 21657 HAS SOUS 12322 HAS SOUPS 12309 WITH SCORE 12330.679
AT ITER 4 NEW BEST:: SOT 37506 SOS 21649 HAS SOPS 21627 HAS SOUS 12170 HAS SOUPS 12157 WITH SCORE 12178.649
AT ITER 6 NEW BEST:: SOT 37394 SOS 21537 HAS SOPS 21515 HAS SOUS 12169 HAS SOUPS 12156 WITH SCORE 12177.537
AT ITER 7 NEW BEST:: SOT 37394 SOS 21511 HAS SOPS 21489 HAS SOUS 12143 HAS SOUPS 12130 WITH SCORE 12151.511
AT ITER 8 NEW BEST:: SOT 37277 SOS 21346 HAS SOPS 21324 HAS SOUS 12088 HAS SOUPS 12075 WITH SCORE 12096.346
AT ITER 9 NEW BEST:: SOT 37209 SOS 21210 HAS SOPS 21188 HAS SOUS 12081 HAS SOUPS 12068 WITH SCORE 12089.21
AT ITER 10 NEW BEST:: SOT 37209 SOS 21241 HAS SOPS 21219 HAS SOUS 11966 HAS SOUPS 11953 WITH SCORE 11974.241
AT ITER 14 NEW BEST:: SOT 37209 SOS 21223 HAS SOPS 21201 HAS SOUS 11817 HAS SOUPS 11804 WITH SCORE 11825.223
AT ITER 15 NEW BEST:: SOT 36437 SOS 20704 HAS SOPS 20682 HAS SOUS 11764 HAS SOUPS 11751 WITH SCORE 11771.704
AT ITER 16 NEW BEST:: SOT 36389 SOS 20608 HAS SOPS 20586 HAS SOUS 11742 HAS SOUPS 11729 WITH SCORE 11749.608
AT ITER 22 NEW BEST:: SOT 36389 SOS 20582 HAS SOPS 20560 HAS SOUS 11656 HAS SOUPS 11643 WITH SCORE 11663.582
AT ITER 26 NEW BEST:: SOT 36283 SOS 20370 HAS SOPS 20348 HAS SOUS 11497 HAS SOUPS 11484 WITH SCORE 11504.37
AT ITER 30 NEW BEST:: SOT 36268 SOS 20355 HAS SOPS 20333 HAS SOUS 11497 HAS SOUPS 11484 WITH SCORE 11504.355
AT ITER 31 NEW BEST:: SOT 36268 SOS 20353 HAS SOPS 20331 HAS SOUS 11495 HAS SOUPS 11482 WITH SCORE 11502.353
AT ITER 39 NEW BEST:: SOT 36268 SOS 20342 HAS SOPS 20320 HAS SOUS 11495 HAS SOUPS 11482 WITH SCORE 11502.342
AT ITER 40 NEW BEST:: SOT 34771 SOS 19433 HAS SOPS 19411 HAS SOUS 10640 HAS SOUPS 10627 WITH SCORE 10646.433
AT ITER 46 NEW BEST:: SOT 34755 SOS 19401 HAS SOPS 19379 HAS SOUS 10610 HAS SOUPS 10597 WITH SCORE 10616.401
AT ITER 53 NEW BEST:: SOT 34715 SOS 19301 HAS SOPS 19279 HAS SOUS 10576 HAS SOUPS 10563 WITH SCORE 10582.301
AT ITER 56 NEW BEST:: SOT 34689 SOS 19203 HAS SOPS 19181 HAS SOUS 10548 HAS SOUPS 10535 WITH SCORE 10554.203
AT ITER 59 NEW BEST:: SOT 34231 SOS 18988 HAS SOPS 18966 HAS SOUS 10434 HAS SOUPS 10421 WITH SCORE 10439.988
AT ITER 68 NEW BEST:: SOT 32931 SOS 18916 HAS SOPS 18894 HAS SOUS 9705 HAS SOUPS 9692 WITH SCORE 9710.916
AT ITER 73 NEW BEST:: SOT 32930 SOS 18915 HAS SOPS 18893 HAS SOUS 9703 HAS SOUPS 9690 WITH SCORE 9708.915
AT ITER 75 NEW BEST:: SOT 32930 SOS 18911 HAS SOPS 18889 HAS SOUS 9703 HAS SOUPS 9690 WITH SCORE 9708.911
AT ITER 76 NEW BEST:: SOT 32982 SOS 18950 HAS SOPS 18928 HAS SOUS 9687 HAS SOUPS 9674 WITH SCORE 9692.95
AT ITER 81 NEW BEST:: SOT 32830 SOS 18707 HAS SOPS 18685 HAS SOUS 9535 HAS SOUPS 9522 WITH SCORE 9540.707
AT ITER 82 NEW BEST:: SOT 32830 SOS 18658 HAS SOPS 18636 HAS SOUS 9535 HAS SOUPS 9522 WITH SCORE 9540.658
AT ITER 83 NEW BEST:: SOT 32886 SOS 18762 HAS SOPS 18740 HAS SOUS 9506 HAS SOUPS 9493 WITH SCORE 9511.762
AT ITER 85 NEW BEST:: SOT 32899 SOS 18775 HAS SOPS 18753 HAS SOUS 9453 HAS SOUPS 9440 WITH SCORE 9458.775
AT ITER 90 NEW BEST:: SOT 32472 SOS 18535 HAS SOPS 18513 HAS SOUS 9023 HAS SOUPS 9010 WITH SCORE 9028.535
AT ITER 91 NEW BEST:: SOT 32451 SOS 18500 HAS SOPS 18478 HAS SOUS 9002 HAS SOUPS 8989 WITH SCORE 9007.5
AT ITER 92 NEW BEST:: SOT 30896 SOS 19268 HAS SOPS 19246 HAS SOUS 7672 HAS SOUPS 7659 WITH SCORE 7678.268
AT ITER 94 NEW BEST:: SOT 30816 SOS 19145 HAS SOPS 19123 HAS SOUS 7639 HAS SOUPS 7626 WITH SCORE 7645.145
AT ITER 97 NEW BEST:: SOT 30767 SOS 19012 HAS SOPS 18990 HAS SOUS 7583 HAS SOUPS 7570 WITH SCORE 7589.012
AT ITER 100 NEW BEST:: SOT 30695 SOS 18868 HAS SOPS 18846 HAS SOUS 7535 HAS SOUPS 7522 WITH SCORE 7540.868
AT ITER 101 NEW BEST:: SOT 30596 SOS 18684 HAS SOPS 18662 HAS SOUS 7483 HAS SOUPS 7470 WITH SCORE 7488.684
AT ITER 105 NEW BEST:: SOT 30149 SOS 18176 HAS SOPS 18154 HAS SOUS 7296 HAS SOUPS 7283 WITH SCORE 7301.176
AT ITER 106 NEW BEST:: SOT 30066 SOS 18031 HAS SOPS 18009 HAS SOUS 7254 HAS SOUPS 7241 WITH SCORE 7259.031
AT ITER 108 NEW BEST:: SOT 30197 SOS 17293 HAS SOPS 17271 HAS SOUS 7213 HAS SOUPS 7200 WITH SCORE 7217.293
AT ITER 110 NEW BEST:: SOT 30099 SOS 17145 HAS SOPS 17123 HAS SOUS 7163 HAS SOUPS 7150 WITH SCORE 7167.145
AT ITER 111 NEW BEST:: SOT 30027 SOS 17001 HAS SOPS 16979 HAS SOUS 7091 HAS SOUPS 7078 WITH SCORE 7095.001
AT ITER 124 NEW BEST:: SOT 30043 SOS 16975 HAS SOPS 16953 HAS SOUS 7083 HAS SOUPS 7070 WITH SCORE 7086.975
AT ITER 128 NEW BEST:: SOT 29809 SOS 16928 HAS SOPS 16906 HAS SOUS 7063 HAS SOUPS 7050 WITH SCORE 7066.928
AT ITER 129 NEW BEST:: SOT 29773 SOS 17308 HAS SOPS 17286 HAS SOUS 7035 HAS SOUPS 7022 WITH SCORE 7039.308
AT ITER 137 NEW BEST:: SOT 29773 SOS 17308 HAS SOPS 17286 HAS SOUS 7025 HAS SOUPS 7012 WITH SCORE 7029.308
AT ITER 139 NEW BEST:: SOT 29827 SOS 17478 HAS SOPS 17456 HAS SOUS 7017 HAS SOUPS 7004 WITH SCORE 7021.478
AT ITER 142 NEW BEST:: SOT 29841 SOS 17492 HAS SOPS 17470 HAS SOUS 6980 HAS SOUPS 6967 WITH SCORE 6984.492
AT ITER 143 NEW BEST:: SOT 29845 SOS 17463 HAS SOPS 17441 HAS SOUS 6978 HAS SOUPS 6965 WITH SCORE 6982.463
AT ITER 145 NEW BEST:: SOT 29819 SOS 17317 HAS SOPS 17295 HAS SOUS 6897 HAS SOUPS 6884 WITH SCORE 6901.317
AT ITER 146 NEW BEST:: SOT 29952 SOS 17359 HAS SOPS 17337 HAS SOUS 6875 HAS SOUPS 6862 WITH SCORE 6879.359
AT ITER 147 NEW BEST:: SOT 29955 SOS 17446 HAS SOPS 17424 HAS SOUS 6873 HAS SOUPS 6860 WITH SCORE 6877.446
AT ITER 155 NEW BEST:: SOT 29674 SOS 18664 HAS SOPS 18642 HAS SOUS 6794 HAS SOUPS 6781 WITH SCORE 6799.664
AT ITER 156 NEW BEST:: SOT 29637 SOS 18664 HAS SOPS 18642 HAS SOUS 6757 HAS SOUPS 6744 WITH SCORE 6762.664
AT ITER 158 NEW BEST:: SOT 29618 SOS 18645 HAS SOPS 18623 HAS SOUS 6733 HAS SOUPS 6720 WITH SCORE 6738.645
AT ITER 171 NEW BEST:: SOT 29692 SOS 18672 HAS SOPS 18650 HAS SOUS 6723 HAS SOUPS 6710 WITH SCORE 6728.672
AT ITER 172 NEW BEST:: SOT 29699 SOS 18672 HAS SOPS 18650 HAS SOUS 6716 HAS SOUPS 6703 WITH SCORE 6721.672
AT ITER 175 NEW BEST:: SOT 29596 SOS 18450 HAS SOPS 18428 HAS SOUS 6677 HAS SOUPS 6664 WITH SCORE 6682.45
AT ITER 180 NEW BEST:: SOT 29575 SOS 18348 HAS SOPS 18326 HAS SOUS 6620 HAS SOUPS 6607 WITH SCORE 6625.348
AT ITER 185 NEW BEST:: SOT 29602 SOS 18375 HAS SOPS 18353 HAS SOUS 6593 HAS SOUPS 6580 WITH SCORE 6598.375
AT ITER 190 NEW BEST:: SOT 29522 SOS 18255 HAS SOPS 18233 HAS SOUS 6553 HAS SOUPS 6540 WITH SCORE 6558.255
AT ITER 192 NEW BEST:: SOT 29557 SOS 18317 HAS SOPS 18295 HAS SOUS 6546 HAS SOUPS 6533 WITH SCORE 6551.317
AT ITER 194 NEW BEST:: SOT 29623 SOS 18398 HAS SOPS 18376 HAS SOUS 6520 HAS SOUPS 6507 WITH SCORE 6525.398
AT ITER 197 NEW BEST:: SOT 29621 SOS 18396 HAS SOPS 18374 HAS SOUS 6518 HAS SOUPS 6505 WITH SCORE 6523.396
AT ITER 198 NEW BEST:: SOT 29606 SOS 18389 HAS SOPS 18367 HAS SOUS 6514 HAS SOUPS 6501 WITH SCORE 6519.389
AT ITER 200 NEW BEST:: SOT 29501 SOS 18221 HAS SOPS 18199 HAS SOUS 6479 HAS SOUPS 6466 WITH SCORE 6484.221
AT ITER 214 NEW BEST:: SOT 29434 SOS 18117 HAS SOPS 18095 HAS SOUS 6452 HAS SOUPS 6439 WITH SCORE 6457.117
AT ITER 221 NEW BEST:: SOT 29392 SOS 18075 HAS SOPS 18053 HAS SOUS 6448 HAS SOUPS 6435 WITH SCORE 6453.075
AT ITER 224 NEW BEST:: SOT 29439 SOS 18122 HAS SOPS 18100 HAS SOUS 6441 HAS SOUPS 6428 WITH SCORE 6446.122
AT ITER 227 NEW BEST:: SOT 29430 SOS 18101 HAS SOPS 18079 HAS SOUS 6430 HAS SOUPS 6417 WITH SCORE 6435.101
AT ITER 240 NEW BEST:: SOT 29429 SOS 18100 HAS SOPS 18078 HAS SOUS 6428 HAS SOUPS 6415 WITH SCORE 6433.1
AT ITER 242 NEW BEST:: SOT 29416 SOS 18074 HAS SOPS 18052 HAS SOUS 6416 HAS SOUPS 6403 WITH SCORE 6421.074
AT ITER 250 NEW BEST:: SOT 29406 SOS 18064 HAS SOPS 18042 HAS SOUS 6396 HAS SOUPS 6383 WITH SCORE 6401.064
AT ITER 253 NEW BEST:: SOT 29365 SOS 18056 HAS SOPS 18034 HAS SOUS 6361 HAS SOUPS 6348 WITH SCORE 6366.056
AT ITER 274 NEW BEST:: SOT 29355 SOS 18046 HAS SOPS 18024 HAS SOUS 6351 HAS SOUPS 6338 WITH SCORE 6356.046
AT ITER 275 NEW BEST:: SOT 29238 SOS 17949 HAS SOPS 17927 HAS SOUS 6310 HAS SOUPS 6297 WITH SCORE 6314.949
AT ITER 280 NEW BEST:: SOT 29287 SOS 18029 HAS SOPS 18007 HAS SOUS 6299 HAS SOUPS 6286 WITH SCORE 6304.029
AT ITER 286 NEW BEST:: SOT 29299 SOS 18076 HAS SOPS 18054 HAS SOUS 6289 HAS SOUPS 6276 WITH SCORE 6294.076
AT ITER 287 NEW BEST:: SOT 29335 SOS 18112 HAS SOPS 18090 HAS SOUS 6267 HAS SOUPS 6254 WITH SCORE 6272.112
AT ITER 304 NEW BEST:: SOT 29345 SOS 18119 HAS SOPS 18097 HAS SOUS 6227 HAS SOUPS 6214 WITH SCORE 6232.119
AT ITER 307 NEW BEST:: SOT 29412 SOS 18199 HAS SOPS 18177 HAS SOUS 6211 HAS SOUPS 6198 WITH SCORE 6216.199
AT ITER 308 NEW BEST:: SOT 29403 SOS 18194 HAS SOPS 18172 HAS SOUS 6202 HAS SOUPS 6189 WITH SCORE 6207.194
AT ITER 317 NEW BEST:: SOT 29401 SOS 18191 HAS SOPS 18169 HAS SOUS 6201 HAS SOUPS 6188 WITH SCORE 6206.191
AT ITER 333 NEW BEST:: SOT 29228 SOS 17748 HAS SOPS 17726 HAS SOUS 6191 HAS SOUPS 6178 WITH SCORE 6195.748
AT ITER 334 NEW BEST:: SOT 29152 SOS 17903 HAS SOPS 17881 HAS SOUS 6159 HAS SOUPS 6146 WITH SCORE 6163.903
AT ITER 337 NEW BEST:: SOT 29140 SOS 17879 HAS SOPS 17857 HAS SOUS 6132 HAS SOUPS 6119 WITH SCORE 6136.879
AT ITER 341 NEW BEST:: SOT 29147 SOS 17870 HAS SOPS 17848 HAS SOUS 6123 HAS SOUPS 6110 WITH SCORE 6127.87
AT ITER 342 NEW BEST:: SOT 29137 SOS 17860 HAS SOPS 17838 HAS SOUS 6118 HAS SOUPS 6105 WITH SCORE 6122.86
AT ITER 349 NEW BEST:: SOT 29137 SOS 17860 HAS SOPS 17838 HAS SOUS 6083 HAS SOUPS 6070 WITH SCORE 6087.86
AT ITER 355 NEW BEST:: SOT 29112 SOS 17835 HAS SOPS 17813 HAS SOUS 6077 HAS SOUPS 6064 WITH SCORE 6081.835
AT ITER 358 NEW BEST:: SOT 29108 SOS 17827 HAS SOPS 17805 HAS SOUS 6045 HAS SOUPS 6032 WITH SCORE 6049.827
AT ITER 368 NEW BEST:: SOT 29046 SOS 17734 HAS SOPS 17712 HAS SOUS 6014 HAS SOUPS 6001 WITH SCORE 6018.734
AT ITER 371 NEW BEST:: SOT 29046 SOS 17680 HAS SOPS 17658 HAS SOUS 6012 HAS SOUPS 5999 WITH SCORE 6016.68
AT ITER 376 NEW BEST:: SOT 28995 SOS 17610 HAS SOPS 17588 HAS SOUS 5993 HAS SOUPS 5980 WITH SCORE 5997.61
AT ITER 379 NEW BEST:: SOT 28993 SOS 17631 HAS SOPS 17609 HAS SOUS 5941 HAS SOUPS 5928 WITH SCORE 5945.631
AT ITER 386 NEW BEST:: SOT 28941 SOS 17553 HAS SOPS 17531 HAS SOUS 5915 HAS SOUPS 5902 WITH SCORE 5919.553
AT ITER 400 NEW BEST:: SOT 28928 SOS 17540 HAS SOPS 17518 HAS SOUS 5913 HAS SOUPS 5900 WITH SCORE 5917.54
AT ITER 411 NEW BEST:: SOT 28885 SOS 17458 HAS SOPS 17436 HAS SOUS 5900 HAS SOUPS 5887 WITH SCORE 5904.458
AT ITER 418 NEW BEST:: SOT 28926 SOS 17485 HAS SOPS 17463 HAS SOUS 5886 HAS SOUPS 5873 WITH SCORE 5890.485
AT ITER 422 NEW BEST:: SOT 28926 SOS 17476 HAS SOPS 17454 HAS SOUS 5883 HAS SOUPS 5870 WITH SCORE 5887.476
AT ITER 423 NEW BEST:: SOT 29028 SOS 17578 HAS SOPS 17556 HAS SOUS 5845 HAS SOUPS 5832 WITH SCORE 5849.578
AT ITER 434 NEW BEST:: SOT 29028 SOS 17567 HAS SOPS 17545 HAS SOUS 5845 HAS SOUPS 5832 WITH SCORE 5849.567
AT ITER 440 NEW BEST:: SOT 29000 SOS 17494 HAS SOPS 17472 HAS SOUS 5828 HAS SOUPS 5815 WITH SCORE 5832.494
AT ITER 449 NEW BEST:: SOT 28949 SOS 17323 HAS SOPS 17301 HAS SOUS 5807 HAS SOUPS 5794 WITH SCORE 5811.323
AT ITER 462 NEW BEST:: SOT 28945 SOS 17319 HAS SOPS 17297 HAS SOUS 5799 HAS SOUPS 5786 WITH SCORE 5803.319
AT ITER 464 NEW BEST:: SOT 28939 SOS 17323 HAS SOPS 17301 HAS SOUS 5797 HAS SOUPS 5784 WITH SCORE 5801.323
AT ITER 490 NEW BEST:: SOT 28934 SOS 17287 HAS SOPS 17265 HAS SOUS 5759 HAS SOUPS 5746 WITH SCORE 5763.287
AT ITER 503 NEW BEST:: SOT 28946 SOS 17285 HAS SOPS 17263 HAS SOUS 5753 HAS SOUPS 5740 WITH SCORE 5757.285
AT ITER 509 NEW BEST:: SOT 28933 SOS 17269 HAS SOPS 17247 HAS SOUS 5714 HAS SOUPS 5701 WITH SCORE 5718.269
AT ITER 515 NEW BEST:: SOT 28933 SOS 17269 HAS SOPS 17247 HAS SOUS 5713 HAS SOUPS 5700 WITH SCORE 5717.269
AT ITER 526 NEW BEST:: SOT 28875 SOS 17129 HAS SOPS 17107 HAS SOUS 5683 HAS SOUPS 5670 WITH SCORE 5687.129
AT ITER 533 NEW BEST:: SOT 28874 SOS 17128 HAS SOPS 17106 HAS SOUS 5680 HAS SOUPS 5667 WITH SCORE 5684.128
AT ITER 543 NEW BEST:: SOT 28852 SOS 16746 HAS SOPS 16724 HAS SOUS 5673 HAS SOUPS 5660 WITH SCORE 5676.746
AT ITER 550 NEW BEST:: SOT 28891 SOS 16893 HAS SOPS 16871 HAS SOUS 5654 HAS SOUPS 5641 WITH SCORE 5657.893
AT ITER 552 NEW BEST:: SOT 28870 SOS 16868 HAS SOPS 16846 HAS SOUS 5650 HAS SOUPS 5637 WITH SCORE 5653.868
AT ITER 562 NEW BEST:: SOT 28915 SOS 16952 HAS SOPS 16930 HAS SOUS 5637 HAS SOUPS 5624 WITH SCORE 5640.952
AT ITER 569 NEW BEST:: SOT 28847 SOS 16884 HAS SOPS 16862 HAS SOUS 5602 HAS SOUPS 5589 WITH SCORE 5605.884
AT ITER 579 NEW BEST:: SOT 28878 SOS 16932 HAS SOPS 16910 HAS SOUS 5580 HAS SOUPS 5567 WITH SCORE 5583.932
AT ITER 581 NEW BEST:: SOT 28874 SOS 16930 HAS SOPS 16908 HAS SOUS 5579 HAS SOUPS 5566 WITH SCORE 5582.93
AT ITER 593 NEW BEST:: SOT 28741 SOS 16671 HAS SOPS 16649 HAS SOUS 5513 HAS SOUPS 5500 WITH SCORE 5516.671
AT ITER 602 NEW BEST:: SOT 28741 SOS 16675 HAS SOPS 16653 HAS SOUS 5511 HAS SOUPS 5498 WITH SCORE 5514.675
AT ITER 609 NEW BEST:: SOT 28725 SOS 16651 HAS SOPS 16629 HAS SOUS 5510 HAS SOUPS 5497 WITH SCORE 5513.651
AT ITER 622 NEW BEST:: SOT 28853 SOS 16843 HAS SOPS 16821 HAS SOUS 5504 HAS SOUPS 5491 WITH SCORE 5507.843
AT ITER 625 NEW BEST:: SOT 28912 SOS 16967 HAS SOPS 16945 HAS SOUS 5502 HAS SOUPS 5489 WITH SCORE 5505.967
AT ITER 627 NEW BEST:: SOT 28925 SOS 16980 HAS SOPS 16958 HAS SOUS 5495 HAS SOUPS 5482 WITH SCORE 5498.98
AT ITER 628 NEW BEST:: SOT 28855 SOS 16946 HAS SOPS 16924 HAS SOUS 5449 HAS SOUPS 5436 WITH SCORE 5452.946
AT ITER 636 NEW BEST:: SOT 28852 SOS 16943 HAS SOPS 16921 HAS SOUS 5443 HAS SOUPS 5430 WITH SCORE 5446.943
AT ITER 655 NEW BEST:: SOT 28810 SOS 16854 HAS SOPS 16832 HAS SOUS 5420 HAS SOUPS 5407 WITH SCORE 5423.854
AT ITER 672 NEW BEST:: SOT 28791 SOS 16569 HAS SOPS 16547 HAS SOUS 5401 HAS SOUPS 5388 WITH SCORE 5404.569
AT ITER 673 NEW BEST:: SOT 28751 SOS 16498 HAS SOPS 16476 HAS SOUS 5379 HAS SOUPS 5366 WITH SCORE 5382.498
AT ITER 674 NEW BEST:: SOT 28745 SOS 16492 HAS SOPS 16470 HAS SOUS 5367 HAS SOUPS 5354 WITH SCORE 5370.492
AT ITER 682 NEW BEST:: SOT 28742 SOS 16445 HAS SOPS 16423 HAS SOUS 5353 HAS SOUPS 5340 WITH SCORE 5356.445
AT ITER 690 NEW BEST:: SOT 28765 SOS 16491 HAS SOPS 16469 HAS SOUS 5251 HAS SOUPS 5238 WITH SCORE 5254.491
AT ITER 704 NEW BEST:: SOT 28769 SOS 16495 HAS SOPS 16473 HAS SOUS 5240 HAS SOUPS 5227 WITH SCORE 5243.495
AT ITER 714 NEW BEST:: SOT 28639 SOS 16300 HAS SOPS 16278 HAS SOUS 5240 HAS SOUPS 5227 WITH SCORE 5243.3
AT ITER 725 NEW BEST:: SOT 28668 SOS 16329 HAS SOPS 16307 HAS SOUS 5239 HAS SOUPS 5226 WITH SCORE 5242.329
AT ITER 729 NEW BEST:: SOT 28660 SOS 16313 HAS SOPS 16291 HAS SOUS 5237 HAS SOUPS 5224 WITH SCORE 5240.313
AT ITER 799 NEW BEST:: SOT 28651 SOS 16304 HAS SOPS 16282 HAS SOUS 5228 HAS SOUPS 5215 WITH SCORE 5231.304
AT ITER 800 NEW BEST:: SOT 28653 SOS 16299 HAS SOPS 16277 HAS SOUS 5225 HAS SOUPS 5212 WITH SCORE 5228.299
AT ITER 801 NEW BEST:: SOT 28639 SOS 16271 HAS SOPS 16249 HAS SOUS 5218 HAS SOUPS 5205 WITH SCORE 5221.271
AT ITER 813 NEW BEST:: SOT 28627 SOS 16259 HAS SOPS 16237 HAS SOUS 5212 HAS SOUPS 5199 WITH SCORE 5215.259
AT ITER 816 NEW BEST:: SOT 28614 SOS 16231 HAS SOPS 16209 HAS SOUS 5179 HAS SOUPS 5166 WITH SCORE 5182.231
AT ITER 826 NEW BEST:: SOT 28600 SOS 16203 HAS SOPS 16181 HAS SOUS 5165 HAS SOUPS 5152 WITH SCORE 5168.203
AT ITER 833 NEW BEST:: SOT 28598 SOS 16200 HAS SOPS 16178 HAS SOUS 5157 HAS SOUPS 5144 WITH SCORE 5160.2
AT ITER 835 NEW BEST:: SOT 28589 SOS 16191 HAS SOPS 16169 HAS SOUS 5152 HAS SOUPS 5139 WITH SCORE 5155.191
AT ITER 838 NEW BEST:: SOT 28574 SOS 16176 HAS SOPS 16154 HAS SOUS 5137 HAS SOUPS 5124 WITH SCORE 5140.176
AT ITER 849 NEW BEST:: SOT 28552 SOS 16147 HAS SOPS 16125 HAS SOUS 5128 HAS SOUPS 5115 WITH SCORE 5131.147
AT ITER 857 NEW BEST:: SOT 28556 SOS 16141 HAS SOPS 16119 HAS SOUS 5103 HAS SOUPS 5090 WITH SCORE 5106.141
AT ITER 861 NEW BEST:: SOT 28449 SOS 16524 HAS SOPS 16502 HAS SOUS 5093 HAS SOUPS 5080 WITH SCORE 5096.524
AT ITER 867 NEW BEST:: SOT 28448 SOS 16522 HAS SOPS 16500 HAS SOUS 5092 HAS SOUPS 5079 WITH SCORE 5095.522
AT ITER 868 NEW BEST:: SOT 28419 SOS 16493 HAS SOPS 16471 HAS SOUS 5019 HAS SOUPS 5006 WITH SCORE 5022.493
AT ITER 876 NEW BEST:: SOT 28441 SOS 16512 HAS SOPS 16490 HAS SOUS 5016 HAS SOUPS 5003 WITH SCORE 5019.512
AT ITER 884 NEW BEST:: SOT 28440 SOS 16507 HAS SOPS 16485 HAS SOUS 4987 HAS SOUPS 4974 WITH SCORE 4990.507
AT ITER 885 NEW BEST:: SOT 28400 SOS 16448 HAS SOPS 16426 HAS SOUS 4970 HAS SOUPS 4957 WITH SCORE 4973.448
AT ITER 886 NEW BEST:: SOT 28337 SOS 16539 HAS SOPS 16517 HAS SOUS 4956 HAS SOUPS 4943 WITH SCORE 4959.539
AT ITER 896 NEW BEST:: SOT 28302 SOS 16457 HAS SOPS 16435 HAS SOUS 4895 HAS SOUPS 4882 WITH SCORE 4898.457
AT ITER 898 NEW BEST:: SOT 28300 SOS 16442 HAS SOPS 16420 HAS SOUS 4880 HAS SOUPS 4867 WITH SCORE 4883.442
AT ITER 920 NEW BEST:: SOT 28303 SOS 16445 HAS SOPS 16423 HAS SOUS 4855 HAS SOUPS 4842 WITH SCORE 4858.445
AT ITER 922 NEW BEST:: SOT 28295 SOS 16437 HAS SOPS 16415 HAS SOUS 4847 HAS SOUPS 4834 WITH SCORE 4850.437
AT ITER 925 NEW BEST:: SOT 28297 SOS 16444 HAS SOPS 16422 HAS SOUS 4837 HAS SOUPS 4824 WITH SCORE 4840.444
AT ITER 928 NEW BEST:: SOT 28294 SOS 16441 HAS SOPS 16419 HAS SOUS 4836 HAS SOUPS 4823 WITH SCORE 4839.441
AT ITER 939 NEW BEST:: SOT 28299 SOS 16451 HAS SOPS 16429 HAS SOUS 4822 HAS SOUPS 4809 WITH SCORE 4825.451
AT ITER 951 NEW BEST:: SOT 28330 SOS 16482 HAS SOPS 16460 HAS SOUS 4811 HAS SOUPS 4798 WITH SCORE 4814.482
AT ITER 986 NEW BEST:: SOT 28320 SOS 16472 HAS SOPS 16450 HAS SOUS 4811 HAS SOUPS 4798 WITH SCORE 4814.472
AT ITER 988 NEW BEST:: SOT 28309 SOS 16452 HAS SOPS 16430 HAS SOUS 4792 HAS SOUPS 4779 WITH SCORE 4795.452
AT ITER 993 NEW BEST:: SOT 28302 SOS 16445 HAS SOPS 16423 HAS SOUS 4764 HAS SOUPS 4751 WITH SCORE 4767.445
AT ITER 1018 NEW BEST:: SOT 28310 SOS 16329 HAS SOPS 16307 HAS SOUS 4750 HAS SOUPS 4737 WITH SCORE 4753.329
AT ITER 1036 NEW BEST:: SOT 28518 SOS 16623 HAS SOPS 16601 HAS SOUS 4672 HAS SOUPS 4659 WITH SCORE 4675.623
AT ITER 1106 NEW BEST:: SOT 28511 SOS 16609 HAS SOPS 16587 HAS SOUS 4659 HAS SOUPS 4646 WITH SCORE 4662.609
AT ITER 1107 NEW BEST:: SOT 28421 SOS 16345 HAS SOPS 16323 HAS SOUS 4653 HAS SOUPS 4640 WITH SCORE 4656.345
AT ITER 1117 NEW BEST:: SOT 28421 SOS 16337 HAS SOPS 16315 HAS SOUS 4645 HAS SOUPS 4632 WITH SCORE 4648.337
AT ITER 1127 NEW BEST:: SOT 28394 SOS 16283 HAS SOPS 16261 HAS SOUS 4618 HAS SOUPS 4605 WITH SCORE 4621.283
AT ITER 1130 NEW BEST:: SOT 28375 SOS 16255 HAS SOPS 16233 HAS SOUS 4618 HAS SOUPS 4605 WITH SCORE 4621.255
AT ITER 1143 NEW BEST:: SOT 28342 SOS 16222 HAS SOPS 16200 HAS SOUS 4609 HAS SOUPS 4596 WITH SCORE 4612.222
AT ITER 1145 NEW BEST:: SOT 28342 SOS 16222 HAS SOPS 16200 HAS SOUS 4571 HAS SOUPS 4558 WITH SCORE 4574.222
AT ITER 1154 NEW BEST:: SOT 28322 SOS 16220 HAS SOPS 16198 HAS SOUS 4549 HAS SOUPS 4536 WITH SCORE 4552.22
AT ITER 1157 NEW BEST:: SOT 28317 SOS 16249 HAS SOPS 16227 HAS SOUS 4544 HAS SOUPS 4531 WITH SCORE 4547.249
AT ITER 1167 NEW BEST:: SOT 28320 SOS 16252 HAS SOPS 16230 HAS SOUS 4542 HAS SOUPS 4529 WITH SCORE 4545.252
AT ITER 1181 NEW BEST:: SOT 28291 SOS 16223 HAS SOPS 16201 HAS SOUS 4516 HAS SOUPS 4503 WITH SCORE 4519.223
AT ITER 1185 NEW BEST:: SOT 28316 SOS 16248 HAS SOPS 16226 HAS SOUS 4513 HAS SOUPS 4500 WITH SCORE 4516.248
AT ITER 1189 NEW BEST:: SOT 28292 SOS 16224 HAS SOPS 16202 HAS SOUS 4489 HAS SOUPS 4476 WITH SCORE 4492.224
AT ITER 1199 NEW BEST:: SOT 28291 SOS 16223 HAS SOPS 16201 HAS SOUS 4487 HAS SOUPS 4474 WITH SCORE 4490.223
AT ITER 1208 NEW BEST:: SOT 28299 SOS 16233 HAS SOPS 16211 HAS SOUS 4475 HAS SOUPS 4462 WITH SCORE 4478.233
AT ITER 1209 NEW BEST:: SOT 28368 SOS 16333 HAS SOPS 16311 HAS SOUS 4458 HAS SOUPS 4445 WITH SCORE 4461.333
AT ITER 1214 NEW BEST:: SOT 28350 SOS 17002 HAS SOPS 16980 HAS SOUS 4455 HAS SOUPS 4442 WITH SCORE 4459.002
AT ITER 1243 NEW BEST:: SOT 28331 SOS 16975 HAS SOPS 16953 HAS SOUS 4444 HAS SOUPS 4431 WITH SCORE 4447.975
AT ITER 1270 NEW BEST:: SOT 28327 SOS 16967 HAS SOPS 16945 HAS SOUS 4440 HAS SOUPS 4427 WITH SCORE 4443.967
AT ITER 1271 NEW BEST:: SOT 28327 SOS 16967 HAS SOPS 16945 HAS SOUS 4437 HAS SOUPS 4424 WITH SCORE 4440.967
AT ITER 1304 NEW BEST:: SOT 28327 SOS 16973 HAS SOPS 16951 HAS SOUS 4434 HAS SOUPS 4421 WITH SCORE 4437.973
AT ITER 1309 NEW BEST:: SOT 28328 SOS 16478 HAS SOPS 16456 HAS SOUS 4426 HAS SOUPS 4413 WITH SCORE 4429.478
AT ITER 1321 NEW BEST:: SOT 28307 SOS 16419 HAS SOPS 16397 HAS SOUS 4405 HAS SOUPS 4392 WITH SCORE 4408.419
AT ITER 1348 NEW BEST:: SOT 28323 SOS 16443 HAS SOPS 16421 HAS SOUS 4393 HAS SOUPS 4380 WITH SCORE 4396.443
AT ITER 1365 NEW BEST:: SOT 28368 SOS 16538 HAS SOPS 16516 HAS SOUS 4389 HAS SOUPS 4376 WITH SCORE 4392.538
AT ITER 1374 NEW BEST:: SOT 28366 SOS 16536 HAS SOPS 16514 HAS SOUS 4386 HAS SOUPS 4373 WITH SCORE 4389.536
AT ITER 1382 NEW BEST:: SOT 28364 SOS 16532 HAS SOPS 16510 HAS SOUS 4384 HAS SOUPS 4371 WITH SCORE 4387.532
AT ITER 1383 NEW BEST:: SOT 28308 SOS 16439 HAS SOPS 16417 HAS SOUS 4383 HAS SOUPS 4370 WITH SCORE 4386.439
AT ITER 1394 NEW BEST:: SOT 28280 SOS 16411 HAS SOPS 16389 HAS SOUS 4370 HAS SOUPS 4357 WITH SCORE 4373.411
AT ITER 1411 NEW BEST:: SOT 28265 SOS 16381 HAS SOPS 16359 HAS SOUS 4370 HAS SOUPS 4357 WITH SCORE 4373.381
AT ITER 1416 NEW BEST:: SOT 28247 SOS 16363 HAS SOPS 16341 HAS SOUS 4370 HAS SOUPS 4357 WITH SCORE 4373.363
AT ITER 1436 NEW BEST:: SOT 28219 SOS 16310 HAS SOPS 16288 HAS SOUS 4327 HAS SOUPS 4314 WITH SCORE 4330.31
AT ITER 1460 NEW BEST:: SOT 28216 SOS 16309 HAS SOPS 16287 HAS SOUS 4324 HAS SOUPS 4311 WITH SCORE 4327.309
AT ITER 1470 NEW BEST:: SOT 28211 SOS 16304 HAS SOPS 16282 HAS SOUS 4319 HAS SOUPS 4306 WITH SCORE 4322.304
AT ITER 1516 NEW BEST:: SOT 28211 SOS 16304 HAS SOPS 16282 HAS SOUS 4312 HAS SOUPS 4299 WITH SCORE 4315.304
AT ITER 1530 NEW BEST:: SOT 28207 SOS 16291 HAS SOPS 16269 HAS SOUS 4304 HAS SOUPS 4291 WITH SCORE 4307.291
AT ITER 1534 NEW BEST:: SOT 28203 SOS 16283 HAS SOPS 16261 HAS SOUS 4304 HAS SOUPS 4291 WITH SCORE 4307.283
AT ITER 1538 NEW BEST:: SOT 28188 SOS 16258 HAS SOPS 16236 HAS SOUS 4294 HAS SOUPS 4281 WITH SCORE 4297.258
AT ITER 1572 NEW BEST:: SOT 28196 SOS 16274 HAS SOPS 16252 HAS SOUS 4293 HAS SOUPS 4280 WITH SCORE 4296.274
AT ITER 1574 NEW BEST:: SOT 28192 SOS 16287 HAS SOPS 16265 HAS SOUS 4290 HAS SOUPS 4277 WITH SCORE 4293.287
AT ITER 1592 NEW BEST:: SOT 28200 SOS 16295 HAS SOPS 16273 HAS SOUS 4289 HAS SOUPS 4276 WITH SCORE 4292.295
AT ITER 1601 NEW BEST:: SOT 28194 SOS 16289 HAS SOPS 16267 HAS SOUS 4289 HAS SOUPS 4276 WITH SCORE 4292.289
AT ITER 1605 NEW BEST:: SOT 28190 SOS 16278 HAS SOPS 16256 HAS SOUS 4283 HAS SOUPS 4270 WITH SCORE 4286.278
AT ITER 1633 NEW BEST:: SOT 28190 SOS 16278 HAS SOPS 16256 HAS SOUS 4269 HAS SOUPS 4256 WITH SCORE 4272.278
AT ITER 1637 NEW BEST:: SOT 28188 SOS 16275 HAS SOPS 16253 HAS SOUS 4267 HAS SOUPS 4254 WITH SCORE 4270.275
AT ITER 1642 NEW BEST:: SOT 28188 SOS 16275 HAS SOPS 16253 HAS SOUS 4249 HAS SOUPS 4236 WITH SCORE 4252.275
AT ITER 1664 NEW BEST:: SOT 28186 SOS 16167 HAS SOPS 16145 HAS SOUS 4247 HAS SOUPS 4234 WITH SCORE 4250.167
AT ITER 1674 NEW BEST:: SOT 28133 SOS 16098 HAS SOPS 16076 HAS SOUS 4231 HAS SOUPS 4218 WITH SCORE 4234.098
AT ITER 1698 NEW BEST:: SOT 28114 SOS 16079 HAS SOPS 16057 HAS SOUS 4212 HAS SOUPS 4199 WITH SCORE 4215.079
AT ITER 1702 NEW BEST:: SOT 28113 SOS 16075 HAS SOPS 16053 HAS SOUS 4210 HAS SOUPS 4197 WITH SCORE 4213.075
AT ITER 1709 NEW BEST:: SOT 28128 SOS 16132 HAS SOPS 16110 HAS SOUS 4204 HAS SOUPS 4191 WITH SCORE 4207.132
AT ITER 1734 NEW BEST:: SOT 28130 SOS 16123 HAS SOPS 16101 HAS SOUS 4202 HAS SOUPS 4189 WITH SCORE 4205.123
AT ITER 1737 NEW BEST:: SOT 28103 SOS 16080 HAS SOPS 16058 HAS SOUS 4183 HAS SOUPS 4170 WITH SCORE 4186.08
AT ITER 1751 NEW BEST:: SOT 28089 SOS 16066 HAS SOPS 16044 HAS SOUS 4179 HAS SOUPS 4166 WITH SCORE 4182.066
AT ITER 1855 NEW BEST:: SOT 28068 SOS 16045 HAS SOPS 16023 HAS SOUS 4158 HAS SOUPS 4145 WITH SCORE 4161.045
AT ITER 1859 NEW BEST:: SOT 28066 SOS 16035 HAS SOPS 16013 HAS SOUS 4151 HAS SOUPS 4138 WITH SCORE 4154.035
AT ITER 1874 NEW BEST:: SOT 28086 SOS 15870 HAS SOPS 15848 HAS SOUS 4146 HAS SOUPS 4133 WITH SCORE 4148.87
AT ITER 1935 NEW BEST:: SOT 28088 SOS 15872 HAS SOPS 15850 HAS SOUS 4144 HAS SOUPS 4131 WITH SCORE 4146.872
AT ITER 1943 NEW BEST:: SOT 28082 SOS 15861 HAS SOPS 15839 HAS SOUS 4133 HAS SOUPS 4120 WITH SCORE 4135.861
AT ITER 1948 NEW BEST:: SOT 28065 SOS 15844 HAS SOPS 15822 HAS SOUS 4128 HAS SOUPS 4115 WITH SCORE 4130.844
AT ITER 1986 NEW BEST:: SOT 28075 SOS 15858 HAS SOPS 15836 HAS SOUS 4124 HAS SOUPS 4111 WITH SCORE 4126.858
AT ITER 2020 NEW BEST:: SOT 28073 SOS 15853 HAS SOPS 15831 HAS SOUS 4119 HAS SOUPS 4106 WITH SCORE 4121.853
AT ITER 2089 NEW BEST:: SOT 28098 SOS 15878 HAS SOPS 15856 HAS SOUS 4116 HAS SOUPS 4103 WITH SCORE 4118.878
AT ITER 2128 NEW BEST:: SOT 28092 SOS 15875 HAS SOPS 15853 HAS SOUS 4113 HAS SOUPS 4100 WITH SCORE 4115.875
AT ITER 2134 NEW BEST:: SOT 28090 SOS 15872 HAS SOPS 15850 HAS SOUS 4111 HAS SOUPS 4098 WITH SCORE 4113.872
AT ITER 2141 NEW BEST:: SOT 28084 SOS 15866 HAS SOPS 15844 HAS SOUS 4105 HAS SOUPS 4092 WITH SCORE 4107.866
AT ITER 2147 NEW BEST:: SOT 28084 SOS 15866 HAS SOPS 15844 HAS SOUS 4101 HAS SOUPS 4088 WITH SCORE 4103.866
AT ITER 2152 NEW BEST:: SOT 28086 SOS 15868 HAS SOPS 15846 HAS SOUS 4099 HAS SOUPS 4086 WITH SCORE 4101.868
AT ITER 2155 NEW BEST:: SOT 28082 SOS 15862 HAS SOPS 15840 HAS SOUS 4095 HAS SOUPS 4082 WITH SCORE 4097.862
AT ITER 2207 NEW BEST:: SOT 28081 SOS 15848 HAS SOPS 15826 HAS SOUS 4091 HAS SOUPS 4078 WITH SCORE 4093.848
AT ITER 2224 NEW BEST:: SOT 28073 SOS 15840 HAS SOPS 15818 HAS SOUS 4091 HAS SOUPS 4078 WITH SCORE 4093.84
AT ITER 2289 NEW BEST:: SOT 28085 SOS 15847 HAS SOPS 15825 HAS SOUS 4090 HAS SOUPS 4077 WITH SCORE 4092.847
AT ITER 2301 NEW BEST:: SOT 28085 SOS 15848 HAS SOPS 15826 HAS SOUS 4089 HAS SOUPS 4076 WITH SCORE 4091.848
AT ITER 2359 NEW BEST:: SOT 28082 SOS 15845 HAS SOPS 15823 HAS SOUS 4086 HAS SOUPS 4073 WITH SCORE 4088.845
AT ITER 2362 NEW BEST:: SOT 28075 SOS 15979 HAS SOPS 15957 HAS SOUS 4082 HAS SOUPS 4069 WITH SCORE 4084.979
AT ITER 2385 NEW BEST:: SOT 28069 SOS 15973 HAS SOPS 15951 HAS SOUS 4070 HAS SOUPS 4057 WITH SCORE 4072.973
AT ITER 2392 NEW BEST:: SOT 28058 SOS 15962 HAS SOPS 15940 HAS SOUS 4070 HAS SOUPS 4057 WITH SCORE 4072.962
AT ITER 2441 NEW BEST:: SOT 28103 SOS 15682 HAS SOPS 15660 HAS SOUS 4059 HAS SOUPS 4046 WITH SCORE 4061.682
AT ITER 2531 NEW BEST:: SOT 28103 SOS 15678 HAS SOPS 15656 HAS SOUS 4051 HAS SOUPS 4038 WITH SCORE 4053.678
AT ITER 2549 NEW BEST:: SOT 28105 SOS 15679 HAS SOPS 15657 HAS SOUS 4048 HAS SOUPS 4035 WITH SCORE 4050.679
AT ITER 2604 NEW BEST:: SOT 28104 SOS 15678 HAS SOPS 15656 HAS SOUS 4047 HAS SOUPS 4034 WITH SCORE 4049.678
AT ITER 2612 NEW BEST:: SOT 28103 SOS 15676 HAS SOPS 15654 HAS SOUS 4047 HAS SOUPS 4034 WITH SCORE 4049.676
AT ITER 2619 NEW BEST:: SOT 28099 SOS 15668 HAS SOPS 15646 HAS SOUS 4041 HAS SOUPS 4028 WITH SCORE 4043.668
AT ITER 2634 NEW BEST:: SOT 28076 SOS 15595 HAS SOPS 15573 HAS SOUS 4037 HAS SOUPS 4024 WITH SCORE 4039.595
AT ITER 2663 NEW BEST:: SOT 28069 SOS 15576 HAS SOPS 15554 HAS SOUS 4030 HAS SOUPS 4017 WITH SCORE 4032.576
AT ITER 2705 NEW BEST:: SOT 28080 SOS 15598 HAS SOPS 15576 HAS SOUS 4024 HAS SOUPS 4011 WITH SCORE 4026.598
AT ITER 2707 NEW BEST:: SOT 28083 SOS 15601 HAS SOPS 15579 HAS SOUS 4013 HAS SOUPS 4000 WITH SCORE 4015.601
AT ITER 2708 NEW BEST:: SOT 28038 SOS 15556 HAS SOPS 15534 HAS SOUS 4002 HAS SOUPS 3989 WITH SCORE 4004.556
AT ITER 2714 NEW BEST:: SOT 28038 SOS 15551 HAS SOPS 15529 HAS SOUS 3997 HAS SOUPS 3984 WITH SCORE 3999.551
AT ITER 2735 NEW BEST:: SOT 28032 SOS 15520 HAS SOPS 15498 HAS SOUS 3970 HAS SOUPS 3957 WITH SCORE 3972.52
AT ITER 2823 NEW BEST:: SOT 28024 SOS 15506 HAS SOPS 15484 HAS SOUS 3966 HAS SOUPS 3953 WITH SCORE 3968.506
AT ITER 2846 NEW BEST:: SOT 28024 SOS 15504 HAS SOPS 15482 HAS SOUS 3965 HAS SOUPS 3952 WITH SCORE 3967.504
AT ITER 2909 NEW BEST:: SOT 28019 SOS 15499 HAS SOPS 15477 HAS SOUS 3960 HAS SOUPS 3947 WITH SCORE 3962.499
AT ITER 2917 NEW BEST:: SOT 28031 SOS 15412 HAS SOPS 15390 HAS SOUS 3955 HAS SOUPS 3942 WITH SCORE 3957.412
AT ITER 2982 NEW BEST:: SOT 28028 SOS 15409 HAS SOPS 15387 HAS SOUS 3952 HAS SOUPS 3939 WITH SCORE 3954.409
AT ITER 2997 NEW BEST:: SOT 28028 SOS 15401 HAS SOPS 15379 HAS SOUS 3944 HAS SOUPS 3931 WITH SCORE 3946.401
AT ITER 3019 NEW BEST:: SOT 28025 SOS 15396 HAS SOPS 15374 HAS SOUS 3942 HAS SOUPS 3929 WITH SCORE 3944.396
AT ITER 3048 NEW BEST:: SOT 27990 SOS 15348 HAS SOPS 15326 HAS SOUS 3933 HAS SOUPS 3920 WITH SCORE 3935.348
AT ITER 3157 NEW BEST:: SOT 27986 SOS 15340 HAS SOPS 15318 HAS SOUS 3933 HAS SOUPS 3920 WITH SCORE 3935.34
AT ITER 3194 NEW BEST:: SOT 27977 SOS 15356 HAS SOPS 15334 HAS SOUS 3923 HAS SOUPS 3910 WITH SCORE 3925.356
AT ITER 3212 NEW BEST:: SOT 27975 SOS 15354 HAS SOPS 15332 HAS SOUS 3921 HAS SOUPS 3908 WITH SCORE 3923.354
AT ITER 3213 NEW BEST:: SOT 27965 SOS 15344 HAS SOPS 15322 HAS SOUS 3917 HAS SOUPS 3904 WITH SCORE 3919.344
AT ITER 3260 NEW BEST:: SOT 27965 SOS 15344 HAS SOPS 15322 HAS SOUS 3914 HAS SOUPS 3901 WITH SCORE 3916.344
AT ITER 3271 NEW BEST:: SOT 27956 SOS 15326 HAS SOPS 15304 HAS SOUS 3904 HAS SOUPS 3891 WITH SCORE 3906.326
AT ITER 3308 NEW BEST:: SOT 27957 SOS 15328 HAS SOPS 15306 HAS SOUS 3899 HAS SOUPS 3886 WITH SCORE 3901.328
AT ITER 3348 NEW BEST:: SOT 27947 SOS 15316 HAS SOPS 15294 HAS SOUS 3887 HAS SOUPS 3874 WITH SCORE 3889.316
AT ITER 3378 NEW BEST:: SOT 27947 SOS 15316 HAS SOPS 15294 HAS SOUS 3885 HAS SOUPS 3872 WITH SCORE 3887.316
AT ITER 3383 NEW BEST:: SOT 27936 SOS 15294 HAS SOPS 15272 HAS SOUS 3885 HAS SOUPS 3872 WITH SCORE 3887.294
AT ITER 3435 NEW BEST:: SOT 27933 SOS 15291 HAS SOPS 15269 HAS SOUS 3885 HAS SOUPS 3872 WITH SCORE 3887.291
AT ITER 3437 NEW BEST:: SOT 27947 SOS 15269 HAS SOPS 15247 HAS SOUS 3885 HAS SOUPS 3872 WITH SCORE 3887.269
AT ITER 3440 NEW BEST:: SOT 27944 SOS 15266 HAS SOPS 15244 HAS SOUS 3882 HAS SOUPS 3869 WITH SCORE 3884.266
AT ITER 3449 NEW BEST:: SOT 27942 SOS 15373 HAS SOPS 15351 HAS SOUS 3876 HAS SOUPS 3863 WITH SCORE 3878.373
AT ITER 3462 NEW BEST:: SOT 27933 SOS 15354 HAS SOPS 15332 HAS SOUS 3865 HAS SOUPS 3852 WITH SCORE 3867.354
AT ITER 3472 NEW BEST:: SOT 27933 SOS 15354 HAS SOPS 15332 HAS SOUS 3859 HAS SOUPS 3846 WITH SCORE 3861.354
AT ITER 3475 NEW BEST:: SOT 27927 SOS 15345 HAS SOPS 15323 HAS SOUS 3853 HAS SOUPS 3840 WITH SCORE 3855.345
AT ITER 3512 NEW BEST:: SOT 27891 SOS 15287 HAS SOPS 15265 HAS SOUS 3849 HAS SOUPS 3836 WITH SCORE 3851.287
AT ITER 3572 NEW BEST:: SOT 27889 SOS 15285 HAS SOPS 15263 HAS SOUS 3844 HAS SOUPS 3831 WITH SCORE 3846.285
AT ITER 3608 NEW BEST:: SOT 27885 SOS 15281 HAS SOPS 15259 HAS SOUS 3844 HAS SOUPS 3831 WITH SCORE 3846.281
AT ITER 3649 NEW BEST:: SOT 27905 SOS 15458 HAS SOPS 15436 HAS SOUS 3843 HAS SOUPS 3830 WITH SCORE 3845.458
AT ITER 3650 NEW BEST:: SOT 27903 SOS 15456 HAS SOPS 15434 HAS SOUS 3843 HAS SOUPS 3830 WITH SCORE 3845.456
AT ITER 3676 NEW BEST:: SOT 27903 SOS 15455 HAS SOPS 15433 HAS SOUS 3842 HAS SOUPS 3829 WITH SCORE 3844.455
AT ITER 3757 NEW BEST:: SOT 27896 SOS 15443 HAS SOPS 15421 HAS SOUS 3842 HAS SOUPS 3829 WITH SCORE 3844.443
AT ITER 3772 NEW BEST:: SOT 27900 SOS 15441 HAS SOPS 15419 HAS SOUS 3835 HAS SOUPS 3822 WITH SCORE 3837.441
AT ITER 3807 NEW BEST:: SOT 27900 SOS 15439 HAS SOPS 15417 HAS SOUS 3835 HAS SOUPS 3822 WITH SCORE 3837.439
AT ITER 3869 NEW BEST:: SOT 27900 SOS 15439 HAS SOPS 15417 HAS SOUS 3834 HAS SOUPS 3821 WITH SCORE 3836.439
AT ITER 3889 NEW BEST:: SOT 27944 SOS 15000 HAS SOPS 14978 HAS SOUS 3811 HAS SOUPS 3798 WITH SCORE 3813.0
AT ITER 3909 NEW BEST:: SOT 27935 SOS 14991 HAS SOPS 14969 HAS SOUS 3802 HAS SOUPS 3789 WITH SCORE 3803.991
AT ITER 3922 NEW BEST:: SOT 27923 SOS 14977 HAS SOPS 14955 HAS SOUS 3800 HAS SOUPS 3787 WITH SCORE 3801.977
AT ITER 3926 NEW BEST:: SOT 27923 SOS 14980 HAS SOPS 14958 HAS SOUS 3795 HAS SOUPS 3782 WITH SCORE 3796.98
AT ITER 3950 NEW BEST:: SOT 27922 SOS 14965 HAS SOPS 14943 HAS SOUS 3795 HAS SOUPS 3782 WITH SCORE 3796.965
AT ITER 3953 NEW BEST:: SOT 27912 SOS 14999 HAS SOPS 14977 HAS SOUS 3793 HAS SOUPS 3780 WITH SCORE 3794.999
AT ITER 4049 NEW BEST:: SOT 27904 SOS 15141 HAS SOPS 15119 HAS SOUS 3785 HAS SOUPS 3772 WITH SCORE 3787.141
AT ITER 4115 NEW BEST:: SOT 27900 SOS 15137 HAS SOPS 15115 HAS SOUS 3781 HAS SOUPS 3768 WITH SCORE 3783.137
AT ITER 4139 NEW BEST:: SOT 27900 SOS 15137 HAS SOPS 15115 HAS SOUS 3770 HAS SOUPS 3757 WITH SCORE 3772.137
AT ITER 4142 NEW BEST:: SOT 27888 SOS 15121 HAS SOPS 15099 HAS SOUS 3768 HAS SOUPS 3755 WITH SCORE 3770.121
AT ITER 4157 NEW BEST:: SOT 27883 SOS 15116 HAS SOPS 15094 HAS SOUS 3767 HAS SOUPS 3754 WITH SCORE 3769.116
AT ITER 4181 NEW BEST:: SOT 27881 SOS 15115 HAS SOPS 15093 HAS SOUS 3766 HAS SOUPS 3753 WITH SCORE 3768.115
AT ITER 4187 NEW BEST:: SOT 27878 SOS 15112 HAS SOPS 15090 HAS SOUS 3763 HAS SOUPS 3750 WITH SCORE 3765.112
AT ITER 4197 NEW BEST:: SOT 27876 SOS 15110 HAS SOPS 15088 HAS SOUS 3755 HAS SOUPS 3742 WITH SCORE 3757.11
AT ITER 4200 NEW BEST:: SOT 27880 SOS 15118 HAS SOPS 15096 HAS SOUS 3754 HAS SOUPS 3741 WITH SCORE 3756.118
AT ITER 4215 NEW BEST:: SOT 27878 SOS 15118 HAS SOPS 15096 HAS SOUS 3752 HAS SOUPS 3739 WITH SCORE 3754.118
AT ITER 4243 NEW BEST:: SOT 27878 SOS 15118 HAS SOPS 15096 HAS SOUS 3749 HAS SOUPS 3736 WITH SCORE 3751.118
AT ITER 4265 NEW BEST:: SOT 27878 SOS 15114 HAS SOPS 15092 HAS SOUS 3746 HAS SOUPS 3733 WITH SCORE 3748.114
AT ITER 4300 NEW BEST:: SOT 27872 SOS 15108 HAS SOPS 15086 HAS SOUS 3734 HAS SOUPS 3721 WITH SCORE 3736.108
AT ITER 4363 NEW BEST:: SOT 27872 SOS 15108 HAS SOPS 15086 HAS SOUS 3728 HAS SOUPS 3715 WITH SCORE 3730.108
AT ITER 4374 NEW BEST:: SOT 27871 SOS 15093 HAS SOPS 15071 HAS SOUS 3727 HAS SOUPS 3714 WITH SCORE 3729.093
AT ITER 4379 NEW BEST:: SOT 27870 SOS 15092 HAS SOPS 15070 HAS SOUS 3724 HAS SOUPS 3711 WITH SCORE 3726.092
AT ITER 4397 NEW BEST:: SOT 27850 SOS 15054 HAS SOPS 15032 HAS SOUS 3711 HAS SOUPS 3698 WITH SCORE 3713.054
AT ITER 4511 NEW BEST:: SOT 27850 SOS 15051 HAS SOPS 15029 HAS SOUS 3711 HAS SOUPS 3698 WITH SCORE 3713.051
AT ITER 4529 NEW BEST:: SOT 27848 SOS 15051 HAS SOPS 15029 HAS SOUS 3707 HAS SOUPS 3694 WITH SCORE 3709.051
AT ITER 4540 NEW BEST:: SOT 27938 SOS 15224 HAS SOPS 15202 HAS SOUS 3700 HAS SOUPS 3687 WITH SCORE 3702.224
AT ITER 4552 NEW BEST:: SOT 27926 SOS 15213 HAS SOPS 15191 HAS SOUS 3698 HAS SOUPS 3685 WITH SCORE 3700.213
AT ITER 4566 NEW BEST:: SOT 27926 SOS 15213 HAS SOPS 15191 HAS SOUS 3697 HAS SOUPS 3684 WITH SCORE 3699.213
AT ITER 4628 NEW BEST:: SOT 27925 SOS 15212 HAS SOPS 15190 HAS SOUS 3697 HAS SOUPS 3684 WITH SCORE 3699.212
AT ITER 4682 NEW BEST:: SOT 27925 SOS 15210 HAS SOPS 15188 HAS SOUS 3695 HAS SOUPS 3682 WITH SCORE 3697.21
AT ITER 4712 NEW BEST:: SOT 27923 SOS 15208 HAS SOPS 15186 HAS SOUS 3691 HAS SOUPS 3678 WITH SCORE 3693.208
AT ITER 4743 NEW BEST:: SOT 27923 SOS 15208 HAS SOPS 15186 HAS SOUS 3687 HAS SOUPS 3674 WITH SCORE 3689.208
AT ITER 4762 NEW BEST:: SOT 27921 SOS 15206 HAS SOPS 15184 HAS SOUS 3684 HAS SOUPS 3671 WITH SCORE 3686.206
AT ITER 4763 NEW BEST:: SOT 27918 SOS 15203 HAS SOPS 15181 HAS SOUS 3681 HAS SOUPS 3668 WITH SCORE 3683.203
AT ITER 4769 NEW BEST:: SOT 27909 SOS 15185 HAS SOPS 15163 HAS SOUS 3672 HAS SOUPS 3659 WITH SCORE 3674.185
AT ITER 4778 NEW BEST:: SOT 27901 SOS 15177 HAS SOPS 15155 HAS SOUS 3672 HAS SOUPS 3659 WITH SCORE 3674.177
AT ITER 4795 NEW BEST:: SOT 27899 SOS 15177 HAS SOPS 15155 HAS SOUS 3670 HAS SOUPS 3657 WITH SCORE 3672.177
AT ITER 4821 NEW BEST:: SOT 27864 SOS 15133 HAS SOPS 15111 HAS SOUS 3668 HAS SOUPS 3655 WITH SCORE 3670.133
AT ITER 4879 NEW BEST:: SOT 27861 SOS 15128 HAS SOPS 15106 HAS SOUS 3666 HAS SOUPS 3653 WITH SCORE 3668.128
AT ITER 4956 NEW BEST:: SOT 27852 SOS 15125 HAS SOPS 15103 HAS SOUS 3660 HAS SOUPS 3647 WITH SCORE 3662.125
AT ITER 4958 NEW BEST:: SOT 27851 SOS 15124 HAS SOPS 15102 HAS SOUS 3659 HAS SOUPS 3646 WITH SCORE 3661.124
AT ITER 5094 NEW BEST:: SOT 27851 SOS 15119 HAS SOPS 15097 HAS SOUS 3658 HAS SOUPS 3645 WITH SCORE 3660.119
AT ITER 5126 NEW BEST:: SOT 27860 SOS 15128 HAS SOPS 15106 HAS SOUS 3641 HAS SOUPS 3628 WITH SCORE 3643.128
AT ITER 5132 NEW BEST:: SOT 27860 SOS 15116 HAS SOPS 15094 HAS SOUS 3641 HAS SOUPS 3628 WITH SCORE 3643.116
AT ITER 5298 NEW BEST:: SOT 27871 SOS 15196 HAS SOPS 15174 HAS SOUS 3639 HAS SOUPS 3626 WITH SCORE 3641.196
AT ITER 5299 NEW BEST:: SOT 27871 SOS 15196 HAS SOPS 15174 HAS SOUS 3634 HAS SOUPS 3621 WITH SCORE 3636.196
AT ITER 5305 NEW BEST:: SOT 27871 SOS 15196 HAS SOPS 15174 HAS SOUS 3627 HAS SOUPS 3614 WITH SCORE 3629.196
AT ITER 5362 NEW BEST:: SOT 27871 SOS 15136 HAS SOPS 15114 HAS SOUS 3624 HAS SOUPS 3611 WITH SCORE 3626.136
AT ITER 5375 NEW BEST:: SOT 27864 SOS 15129 HAS SOPS 15107 HAS SOUS 3624 HAS SOUPS 3611 WITH SCORE 3626.129
AT ITER 5448 NEW BEST:: SOT 27862 SOS 15149 HAS SOPS 15127 HAS SOUS 3622 HAS SOUPS 3609 WITH SCORE 3624.149
AT ITER 5606 NEW BEST:: SOT 27862 SOS 15107 HAS SOPS 15085 HAS SOUS 3621 HAS SOUPS 3608 WITH SCORE 3623.107
AT ITER 5650 NEW BEST:: SOT 27859 SOS 15100 HAS SOPS 15078 HAS SOUS 3619 HAS SOUPS 3606 WITH SCORE 3621.1
AT ITER 5725 NEW BEST:: SOT 27854 SOS 15117 HAS SOPS 15095 HAS SOUS 3618 HAS SOUPS 3605 WITH SCORE 3620.117
AT ITER 5752 NEW BEST:: SOT 27885 SOS 15148 HAS SOPS 15126 HAS SOUS 3613 HAS SOUPS 3600 WITH SCORE 3615.148
AT ITER 5824 NEW BEST:: SOT 27885 SOS 15145 HAS SOPS 15123 HAS SOUS 3613 HAS SOUPS 3600 WITH SCORE 3615.145
AT ITER 5840 NEW BEST:: SOT 27885 SOS 15144 HAS SOPS 15122 HAS SOUS 3612 HAS SOUPS 3599 WITH SCORE 3614.144
AT ITER 6004 NEW BEST:: SOT 27877 SOS 15050 HAS SOPS 15028 HAS SOUS 3610 HAS SOUPS 3597 WITH SCORE 3612.05
AT ITER 6032 NEW BEST:: SOT 27873 SOS 15047 HAS SOPS 15025 HAS SOUS 3610 HAS SOUPS 3597 WITH SCORE 3612.047
AT ITER 6112 NEW BEST:: SOT 27874 SOS 15058 HAS SOPS 15036 HAS SOUS 3607 HAS SOUPS 3594 WITH SCORE 3609.058
AT ITER 6429 NEW BEST:: SOT 27871 SOS 15049 HAS SOPS 15027 HAS SOUS 3607 HAS SOUPS 3594 WITH SCORE 3609.049
AT ITER 6681 NEW BEST:: SOT 27868 SOS 15043 HAS SOPS 15021 HAS SOUS 3607 HAS SOUPS 3594 WITH SCORE 3609.043
AT ITER 6830 NEW BEST:: SOT 27876 SOS 15051 HAS SOPS 15029 HAS SOUS 3605 HAS SOUPS 3592 WITH SCORE 3607.051
AT ITER 6964 NEW BEST:: SOT 27871 SOS 15046 HAS SOPS 15024 HAS SOUS 3600 HAS SOUPS 3587 WITH SCORE 3602.046
AT ITER 7050 NEW BEST:: SOT 27871 SOS 15046 HAS SOPS 15024 HAS SOUS 3592 HAS SOUPS 3579 WITH SCORE 3594.046
AT ITER 7063 NEW BEST:: SOT 27874 SOS 15047 HAS SOPS 15025 HAS SOUS 3590 HAS SOUPS 3577 WITH SCORE 3592.047
AT ITER 7081 NEW BEST:: SOT 27873 SOS 15046 HAS SOPS 15024 HAS SOUS 3589 HAS SOUPS 3576 WITH SCORE 3591.046
AT ITER 7161 NEW BEST:: SOT 27873 SOS 15046 HAS SOPS 15024 HAS SOUS 3586 HAS SOUPS 3573 WITH SCORE 3588.046
AT ITER 7202 NEW BEST:: SOT 27857 SOS 15100 HAS SOPS 15078 HAS SOUS 3583 HAS SOUPS 3570 WITH SCORE 3585.1
AT ITER 7255 NEW BEST:: SOT 27857 SOS 15101 HAS SOPS 15079 HAS SOUS 3582 HAS SOUPS 3569 WITH SCORE 3584.101
AT ITER 7305 NEW BEST:: SOT 27857 SOS 15100 HAS SOPS 15078 HAS SOUS 3578 HAS SOUPS 3565 WITH SCORE 3580.1
AT ITER 7406 NEW BEST:: SOT 27857 SOS 15088 HAS SOPS 15066 HAS SOUS 3578 HAS SOUPS 3565 WITH SCORE 3580.088
AT ITER 7424 NEW BEST:: SOT 27850 SOS 15081 HAS SOPS 15059 HAS SOUS 3557 HAS SOUPS 3544 WITH SCORE 3559.081
AT ITER 7566 NEW BEST:: SOT 27839 SOS 15062 HAS SOPS 15040 HAS SOUS 3551 HAS SOUPS 3538 WITH SCORE 3553.062
AT ITER 7835 NEW BEST:: SOT 27849 SOS 15077 HAS SOPS 15055 HAS SOUS 3547 HAS SOUPS 3534 WITH SCORE 3549.077
AT ITER 7855 NEW BEST:: SOT 27848 SOS 15075 HAS SOPS 15053 HAS SOUS 3547 HAS SOUPS 3534 WITH SCORE 3549.075
AT ITER 8016 NEW BEST:: SOT 27846 SOS 15073 HAS SOPS 15051 HAS SOUS 3547 HAS SOUPS 3534 WITH SCORE 3549.073
AT ITER 8229 NEW BEST:: SOT 27846 SOS 15073 HAS SOPS 15051 HAS SOUS 3544 HAS SOUPS 3531 WITH SCORE 3546.073
AT ITER 8314 NEW BEST:: SOT 27839 SOS 15066 HAS SOPS 15044 HAS SOUS 3544 HAS SOUPS 3531 WITH SCORE 3546.066
AT ITER 8323 NEW BEST:: SOT 27838 SOS 15065 HAS SOPS 15043 HAS SOUS 3544 HAS SOUPS 3531 WITH SCORE 3546.065
AT ITER 8330 NEW BEST:: SOT 27837 SOS 15064 HAS SOPS 15042 HAS SOUS 3543 HAS SOUPS 3530 WITH SCORE 3545.064
AT ITER 8403 NEW BEST:: SOT 27828 SOS 14955 HAS SOPS 14933 HAS SOUS 3543 HAS SOUPS 3530 WITH SCORE 3544.955
AT ITER 8410 NEW BEST:: SOT 27827 SOS 14954 HAS SOPS 14932 HAS SOUS 3543 HAS SOUPS 3530 WITH SCORE 3544.954
AT ITER 8582 NEW BEST:: SOT 27827 SOS 14954 HAS SOPS 14932 HAS SOUS 3541 HAS SOUPS 3528 WITH SCORE 3542.954
AT ITER 9301 NEW BEST:: SOT 27825 SOS 14952 HAS SOPS 14930 HAS SOUS 3541 HAS SOUPS 3528 WITH SCORE 3542.952
AT ITER 9454 NEW BEST:: SOT 27818 SOS 14938 HAS SOPS 14916 HAS SOUS 3540 HAS SOUPS 3527 WITH SCORE 3541.938
AT ITER 9627 NEW BEST:: SOT 27813 SOS 14929 HAS SOPS 14907 HAS SOUS 3540 HAS SOUPS 3527 WITH SCORE 3541.929
AT ITER 9728 NEW BEST:: SOT 27812 SOS 14928 HAS SOPS 14906 HAS SOUS 3539 HAS SOUPS 3526 WITH SCORE 3540.928
AT ITER 9750 NEW BEST:: SOT 27815 SOS 14931 HAS SOPS 14909 HAS SOUS 3538 HAS SOUPS 3525 WITH SCORE 3539.931
AT ITER 9785 NEW BEST:: SOT 27816 SOS 14932 HAS SOPS 14910 HAS SOUS 3535 HAS SOUPS 3522 WITH SCORE 3536.932

BK_STOP 1678496706607

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 371 Killed ${SMART}/smart ${INPUT_SM}

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-10"
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-10, 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-167840342200312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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