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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 6.4K Feb 26 18:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 18:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 18:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 18:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 18:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 26 18:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 18:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 18:21 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 68K 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 1678493661144

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-09
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 09
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: 157 places, 327 transitions, 859 arcs.
AT ITER 0 NEW BEST:: SOT 33348 SOS 17857 HAS SOPS 17835 HAS SOUS 10496 HAS SOUPS 10483 WITH SCORE 10500.857
AT ITER 5 NEW BEST:: SOT 33335 SOS 17831 HAS SOPS 17809 HAS SOUS 10496 HAS SOUPS 10483 WITH SCORE 10500.831
AT ITER 6 NEW BEST:: SOT 33271 SOS 17671 HAS SOPS 17649 HAS SOUS 10432 HAS SOUPS 10419 WITH SCORE 10436.671
AT ITER 9 NEW BEST:: SOT 32325 SOS 17091 HAS SOPS 17069 HAS SOUS 10213 HAS SOUPS 10200 WITH SCORE 10217.091
AT ITER 10 NEW BEST:: SOT 32280 SOS 17064 HAS SOPS 17042 HAS SOUS 10213 HAS SOUPS 10200 WITH SCORE 10217.064
AT ITER 22 NEW BEST:: SOT 32212 SOS 17051 HAS SOPS 17029 HAS SOUS 10202 HAS SOUPS 10189 WITH SCORE 10206.051
AT ITER 25 NEW BEST:: SOT 32164 SOS 16984 HAS SOPS 16962 HAS SOUS 10089 HAS SOUPS 10076 WITH SCORE 10092.984
AT ITER 27 NEW BEST:: SOT 32046 SOS 16796 HAS SOPS 16774 HAS SOUS 10003 HAS SOUPS 9990 WITH SCORE 10006.796
AT ITER 31 NEW BEST:: SOT 32046 SOS 16812 HAS SOPS 16790 HAS SOUS 9971 HAS SOUPS 9958 WITH SCORE 9974.812
AT ITER 35 NEW BEST:: SOT 30956 SOS 17933 HAS SOPS 17911 HAS SOUS 9513 HAS SOUPS 9500 WITH SCORE 9517.933
AT ITER 36 NEW BEST:: SOT 30866 SOS 17707 HAS SOPS 17685 HAS SOUS 9465 HAS SOUPS 9452 WITH SCORE 9469.707
AT ITER 38 NEW BEST:: SOT 30889 SOS 17798 HAS SOPS 17776 HAS SOUS 9464 HAS SOUPS 9451 WITH SCORE 9468.798
AT ITER 44 NEW BEST:: SOT 30763 SOS 17673 HAS SOPS 17651 HAS SOUS 9399 HAS SOUPS 9386 WITH SCORE 9403.673
AT ITER 48 NEW BEST:: SOT 30667 SOS 17513 HAS SOPS 17491 HAS SOUS 9335 HAS SOUPS 9322 WITH SCORE 9339.513
AT ITER 54 NEW BEST:: SOT 30621 SOS 17421 HAS SOPS 17399 HAS SOUS 9312 HAS SOUPS 9299 WITH SCORE 9316.421
AT ITER 55 NEW BEST:: SOT 30604 SOS 17370 HAS SOPS 17348 HAS SOUS 9278 HAS SOUPS 9265 WITH SCORE 9282.37
AT ITER 59 NEW BEST:: SOT 29808 SOS 17988 HAS SOPS 17966 HAS SOUS 8573 HAS SOUPS 8560 WITH SCORE 8577.988
AT ITER 70 NEW BEST:: SOT 29749 SOS 17823 HAS SOPS 17801 HAS SOUS 8540 HAS SOUPS 8527 WITH SCORE 8544.823
AT ITER 72 NEW BEST:: SOT 29631 SOS 17597 HAS SOPS 17575 HAS SOUS 8382 HAS SOUPS 8369 WITH SCORE 8386.597
AT ITER 73 NEW BEST:: SOT 29604 SOS 17570 HAS SOPS 17548 HAS SOUS 8355 HAS SOUPS 8342 WITH SCORE 8359.57
AT ITER 76 NEW BEST:: SOT 29601 SOS 17567 HAS SOPS 17545 HAS SOUS 8349 HAS SOUPS 8336 WITH SCORE 8353.567
AT ITER 84 NEW BEST:: SOT 29601 SOS 17563 HAS SOPS 17541 HAS SOUS 8294 HAS SOUPS 8281 WITH SCORE 8298.563
AT ITER 90 NEW BEST:: SOT 29570 SOS 17471 HAS SOPS 17449 HAS SOUS 8292 HAS SOUPS 8279 WITH SCORE 8296.471
AT ITER 94 NEW BEST:: SOT 29426 SOS 17252 HAS SOPS 17230 HAS SOUS 8175 HAS SOUPS 8162 WITH SCORE 8179.252
AT ITER 96 NEW BEST:: SOT 29426 SOS 17238 HAS SOPS 17216 HAS SOUS 8170 HAS SOUPS 8157 WITH SCORE 8174.238
AT ITER 99 NEW BEST:: SOT 29402 SOS 17191 HAS SOPS 17169 HAS SOUS 8146 HAS SOUPS 8133 WITH SCORE 8150.191
AT ITER 102 NEW BEST:: SOT 29331 SOS 17069 HAS SOPS 17047 HAS SOUS 8069 HAS SOUPS 8056 WITH SCORE 8073.069
AT ITER 112 NEW BEST:: SOT 29368 SOS 17139 HAS SOPS 17117 HAS SOUS 8048 HAS SOUPS 8035 WITH SCORE 8052.139
AT ITER 119 NEW BEST:: SOT 28724 SOS 16679 HAS SOPS 16657 HAS SOUS 7427 HAS SOUPS 7414 WITH SCORE 7430.679
AT ITER 120 NEW BEST:: SOT 28706 SOS 16652 HAS SOPS 16630 HAS SOUS 7409 HAS SOUPS 7396 WITH SCORE 7412.652
AT ITER 123 NEW BEST:: SOT 28595 SOS 16480 HAS SOPS 16458 HAS SOUS 7285 HAS SOUPS 7272 WITH SCORE 7288.48
AT ITER 124 NEW BEST:: SOT 27834 SOS 17844 HAS SOPS 17822 HAS SOUS 6622 HAS SOUPS 6609 WITH SCORE 6626.844
AT ITER 126 NEW BEST:: SOT 27704 SOS 17573 HAS SOPS 17551 HAS SOUS 6550 HAS SOUPS 6537 WITH SCORE 6554.573
AT ITER 127 NEW BEST:: SOT 27720 SOS 17593 HAS SOPS 17571 HAS SOUS 6526 HAS SOUPS 6513 WITH SCORE 6530.593
AT ITER 130 NEW BEST:: SOT 27705 SOS 17563 HAS SOPS 17541 HAS SOUS 6482 HAS SOUPS 6469 WITH SCORE 6486.563
AT ITER 134 NEW BEST:: SOT 27683 SOS 16569 HAS SOPS 16547 HAS SOUS 6472 HAS SOUPS 6459 WITH SCORE 6475.569
AT ITER 135 NEW BEST:: SOT 27683 SOS 16569 HAS SOPS 16547 HAS SOUS 6457 HAS SOUPS 6444 WITH SCORE 6460.569
AT ITER 137 NEW BEST:: SOT 27693 SOS 16579 HAS SOPS 16557 HAS SOUS 6442 HAS SOUPS 6429 WITH SCORE 6445.579
AT ITER 138 NEW BEST:: SOT 27673 SOS 16537 HAS SOPS 16515 HAS SOUS 6422 HAS SOUPS 6409 WITH SCORE 6425.537
AT ITER 150 NEW BEST:: SOT 27643 SOS 16447 HAS SOPS 16425 HAS SOUS 6392 HAS SOUPS 6379 WITH SCORE 6395.447
AT ITER 156 NEW BEST:: SOT 27806 SOS 16692 HAS SOPS 16670 HAS SOUS 6391 HAS SOUPS 6378 WITH SCORE 6394.692
AT ITER 157 NEW BEST:: SOT 27752 SOS 16562 HAS SOPS 16540 HAS SOUS 6385 HAS SOUPS 6372 WITH SCORE 6388.562
AT ITER 159 NEW BEST:: SOT 27743 SOS 16540 HAS SOPS 16518 HAS SOUS 6368 HAS SOUPS 6355 WITH SCORE 6371.54
AT ITER 164 NEW BEST:: SOT 27744 SOS 16542 HAS SOPS 16520 HAS SOUS 6356 HAS SOUPS 6343 WITH SCORE 6359.542
AT ITER 165 NEW BEST:: SOT 27691 SOS 16489 HAS SOPS 16467 HAS SOUS 6330 HAS SOUPS 6317 WITH SCORE 6333.489
AT ITER 166 NEW BEST:: SOT 27587 SOS 16330 HAS SOPS 16308 HAS SOUS 6190 HAS SOUPS 6177 WITH SCORE 6193.33
AT ITER 168 NEW BEST:: SOT 27564 SOS 16307 HAS SOPS 16285 HAS SOUS 6144 HAS SOUPS 6131 WITH SCORE 6147.307
AT ITER 171 NEW BEST:: SOT 27552 SOS 16283 HAS SOPS 16261 HAS SOUS 6138 HAS SOUPS 6125 WITH SCORE 6141.283
AT ITER 173 NEW BEST:: SOT 27556 SOS 16271 HAS SOPS 16249 HAS SOUS 6122 HAS SOUPS 6109 WITH SCORE 6125.271
AT ITER 183 NEW BEST:: SOT 27548 SOS 16263 HAS SOPS 16241 HAS SOUS 6076 HAS SOUPS 6063 WITH SCORE 6079.263
AT ITER 185 NEW BEST:: SOT 27535 SOS 16250 HAS SOPS 16228 HAS SOUS 6063 HAS SOUPS 6050 WITH SCORE 6066.25
AT ITER 189 NEW BEST:: SOT 27553 SOS 16268 HAS SOPS 16246 HAS SOUS 6055 HAS SOUPS 6042 WITH SCORE 6058.268
AT ITER 191 NEW BEST:: SOT 27553 SOS 16260 HAS SOPS 16238 HAS SOUS 6054 HAS SOUPS 6041 WITH SCORE 6057.26
AT ITER 192 NEW BEST:: SOT 27588 SOS 16320 HAS SOPS 16298 HAS SOUS 6044 HAS SOUPS 6031 WITH SCORE 6047.32
AT ITER 193 NEW BEST:: SOT 27583 SOS 16315 HAS SOPS 16293 HAS SOUS 6041 HAS SOUPS 6028 WITH SCORE 6044.315
AT ITER 195 NEW BEST:: SOT 27586 SOS 16337 HAS SOPS 16315 HAS SOUS 6038 HAS SOUPS 6025 WITH SCORE 6041.337
AT ITER 199 NEW BEST:: SOT 27585 SOS 16316 HAS SOPS 16294 HAS SOUS 6023 HAS SOUPS 6010 WITH SCORE 6026.316
AT ITER 200 NEW BEST:: SOT 27558 SOS 16289 HAS SOPS 16267 HAS SOUS 5973 HAS SOUPS 5960 WITH SCORE 5976.289
AT ITER 211 NEW BEST:: SOT 27510 SOS 16169 HAS SOPS 16147 HAS SOUS 5925 HAS SOUPS 5912 WITH SCORE 5928.169
AT ITER 232 NEW BEST:: SOT 27551 SOS 16278 HAS SOPS 16256 HAS SOUS 5824 HAS SOUPS 5811 WITH SCORE 5827.278
AT ITER 234 NEW BEST:: SOT 27547 SOS 16274 HAS SOPS 16252 HAS SOUS 5820 HAS SOUPS 5807 WITH SCORE 5823.274
AT ITER 235 NEW BEST:: SOT 27537 SOS 16254 HAS SOPS 16232 HAS SOUS 5815 HAS SOUPS 5802 WITH SCORE 5818.254
AT ITER 246 NEW BEST:: SOT 27529 SOS 16246 HAS SOPS 16224 HAS SOUS 5807 HAS SOUPS 5794 WITH SCORE 5810.246
AT ITER 252 NEW BEST:: SOT 27523 SOS 16228 HAS SOPS 16206 HAS SOUS 5801 HAS SOUPS 5788 WITH SCORE 5804.228
AT ITER 262 NEW BEST:: SOT 27523 SOS 16228 HAS SOPS 16206 HAS SOUS 5761 HAS SOUPS 5748 WITH SCORE 5764.228
AT ITER 264 NEW BEST:: SOT 27515 SOS 16212 HAS SOPS 16190 HAS SOUS 5761 HAS SOUPS 5748 WITH SCORE 5764.212
AT ITER 274 NEW BEST:: SOT 27502 SOS 16198 HAS SOPS 16176 HAS SOUS 5734 HAS SOUPS 5721 WITH SCORE 5737.198
AT ITER 277 NEW BEST:: SOT 27445 SOS 16111 HAS SOPS 16089 HAS SOUS 5712 HAS SOUPS 5699 WITH SCORE 5715.111
AT ITER 283 NEW BEST:: SOT 27422 SOS 16497 HAS SOPS 16475 HAS SOUS 5700 HAS SOUPS 5687 WITH SCORE 5703.497
AT ITER 286 NEW BEST:: SOT 27393 SOS 16469 HAS SOPS 16447 HAS SOUS 5698 HAS SOUPS 5685 WITH SCORE 5701.469
AT ITER 289 NEW BEST:: SOT 27384 SOS 16425 HAS SOPS 16403 HAS SOUS 5672 HAS SOUPS 5659 WITH SCORE 5675.425
AT ITER 293 NEW BEST:: SOT 27364 SOS 16384 HAS SOPS 16362 HAS SOUS 5660 HAS SOUPS 5647 WITH SCORE 5663.384
AT ITER 301 NEW BEST:: SOT 27364 SOS 16384 HAS SOPS 16362 HAS SOUS 5640 HAS SOUPS 5627 WITH SCORE 5643.384
AT ITER 313 NEW BEST:: SOT 27205 SOS 16675 HAS SOPS 16653 HAS SOUS 5476 HAS SOUPS 5463 WITH SCORE 5479.675
AT ITER 317 NEW BEST:: SOT 27125 SOS 16595 HAS SOPS 16573 HAS SOUS 5396 HAS SOUPS 5383 WITH SCORE 5399.595
AT ITER 318 NEW BEST:: SOT 27125 SOS 16595 HAS SOPS 16573 HAS SOUS 5380 HAS SOUPS 5367 WITH SCORE 5383.595
AT ITER 323 NEW BEST:: SOT 27134 SOS 16604 HAS SOPS 16582 HAS SOUS 5374 HAS SOUPS 5361 WITH SCORE 5377.604
AT ITER 325 NEW BEST:: SOT 27118 SOS 16588 HAS SOPS 16566 HAS SOUS 5369 HAS SOUPS 5356 WITH SCORE 5372.588
AT ITER 333 NEW BEST:: SOT 27148 SOS 16556 HAS SOPS 16534 HAS SOUS 5357 HAS SOUPS 5344 WITH SCORE 5360.556
AT ITER 334 NEW BEST:: SOT 27116 SOS 16727 HAS SOPS 16705 HAS SOUS 5330 HAS SOUPS 5317 WITH SCORE 5333.727
AT ITER 335 NEW BEST:: SOT 27015 SOS 17043 HAS SOPS 17021 HAS SOUS 5309 HAS SOUPS 5296 WITH SCORE 5313.043
AT ITER 338 NEW BEST:: SOT 27005 SOS 17023 HAS SOPS 17001 HAS SOUS 5299 HAS SOUPS 5286 WITH SCORE 5303.023
AT ITER 339 NEW BEST:: SOT 26930 SOS 16856 HAS SOPS 16834 HAS SOUS 5276 HAS SOUPS 5263 WITH SCORE 5279.856
AT ITER 350 NEW BEST:: SOT 26922 SOS 16848 HAS SOPS 16826 HAS SOUS 5273 HAS SOUPS 5260 WITH SCORE 5276.848
AT ITER 358 NEW BEST:: SOT 26928 SOS 16854 HAS SOPS 16832 HAS SOUS 5258 HAS SOUPS 5245 WITH SCORE 5261.854
AT ITER 359 NEW BEST:: SOT 26911 SOS 16837 HAS SOPS 16815 HAS SOUS 5224 HAS SOUPS 5211 WITH SCORE 5227.837
AT ITER 364 NEW BEST:: SOT 26911 SOS 16815 HAS SOPS 16793 HAS SOUS 5224 HAS SOUPS 5211 WITH SCORE 5227.815
AT ITER 365 NEW BEST:: SOT 26904 SOS 16818 HAS SOPS 16796 HAS SOUS 5221 HAS SOUPS 5208 WITH SCORE 5224.818
AT ITER 372 NEW BEST:: SOT 26898 SOS 16806 HAS SOPS 16784 HAS SOUS 5209 HAS SOUPS 5196 WITH SCORE 5212.806
AT ITER 378 NEW BEST:: SOT 26917 SOS 16781 HAS SOPS 16759 HAS SOUS 5206 HAS SOUPS 5193 WITH SCORE 5209.781
AT ITER 390 NEW BEST:: SOT 26891 SOS 16716 HAS SOPS 16694 HAS SOUS 5180 HAS SOUPS 5167 WITH SCORE 5183.716
AT ITER 391 NEW BEST:: SOT 26891 SOS 16716 HAS SOPS 16694 HAS SOUS 5164 HAS SOUPS 5151 WITH SCORE 5167.716
AT ITER 393 NEW BEST:: SOT 26888 SOS 16713 HAS SOPS 16691 HAS SOUS 5159 HAS SOUPS 5146 WITH SCORE 5162.713
AT ITER 394 NEW BEST:: SOT 26880 SOS 16705 HAS SOPS 16683 HAS SOUS 5151 HAS SOUPS 5138 WITH SCORE 5154.705
AT ITER 396 NEW BEST:: SOT 26784 SOS 16609 HAS SOPS 16587 HAS SOUS 5018 HAS SOUPS 5005 WITH SCORE 5021.609
AT ITER 399 NEW BEST:: SOT 26772 SOS 16597 HAS SOPS 16575 HAS SOUS 5004 HAS SOUPS 4991 WITH SCORE 5007.597
AT ITER 415 NEW BEST:: SOT 26744 SOS 16569 HAS SOPS 16547 HAS SOUS 4964 HAS SOUPS 4951 WITH SCORE 4967.569
AT ITER 420 NEW BEST:: SOT 26744 SOS 16569 HAS SOPS 16547 HAS SOUS 4961 HAS SOUPS 4948 WITH SCORE 4964.569
AT ITER 427 NEW BEST:: SOT 26710 SOS 16693 HAS SOPS 16671 HAS SOUS 4945 HAS SOUPS 4932 WITH SCORE 4948.693
AT ITER 428 NEW BEST:: SOT 26706 SOS 16686 HAS SOPS 16664 HAS SOUS 4938 HAS SOUPS 4925 WITH SCORE 4941.686
AT ITER 429 NEW BEST:: SOT 26659 SOS 16639 HAS SOPS 16617 HAS SOUS 4873 HAS SOUPS 4860 WITH SCORE 4876.639
AT ITER 430 NEW BEST:: SOT 26656 SOS 16633 HAS SOPS 16611 HAS SOUS 4870 HAS SOUPS 4857 WITH SCORE 4873.633
AT ITER 458 NEW BEST:: SOT 26606 SOS 16508 HAS SOPS 16486 HAS SOUS 4845 HAS SOUPS 4832 WITH SCORE 4848.508
AT ITER 521 NEW BEST:: SOT 26601 SOS 16503 HAS SOPS 16481 HAS SOUS 4830 HAS SOUPS 4817 WITH SCORE 4833.503
AT ITER 524 NEW BEST:: SOT 26592 SOS 16484 HAS SOPS 16462 HAS SOUS 4810 HAS SOUPS 4797 WITH SCORE 4813.484
AT ITER 534 NEW BEST:: SOT 26570 SOS 16429 HAS SOPS 16407 HAS SOUS 4799 HAS SOUPS 4786 WITH SCORE 4802.429
AT ITER 552 NEW BEST:: SOT 26561 SOS 16327 HAS SOPS 16305 HAS SOUS 4794 HAS SOUPS 4781 WITH SCORE 4797.327
AT ITER 563 NEW BEST:: SOT 26570 SOS 16345 HAS SOPS 16323 HAS SOUS 4788 HAS SOUPS 4775 WITH SCORE 4791.345
AT ITER 575 NEW BEST:: SOT 26570 SOS 16345 HAS SOPS 16323 HAS SOUS 4782 HAS SOUPS 4769 WITH SCORE 4785.345
AT ITER 577 NEW BEST:: SOT 26556 SOS 16331 HAS SOPS 16309 HAS SOUS 4757 HAS SOUPS 4744 WITH SCORE 4760.331
AT ITER 579 NEW BEST:: SOT 26552 SOS 16258 HAS SOPS 16236 HAS SOUS 4753 HAS SOUPS 4740 WITH SCORE 4756.258
AT ITER 584 NEW BEST:: SOT 26426 SOS 16048 HAS SOPS 16026 HAS SOUS 4627 HAS SOUPS 4614 WITH SCORE 4630.048
AT ITER 586 NEW BEST:: SOT 26405 SOS 15985 HAS SOPS 15963 HAS SOUS 4597 HAS SOUPS 4584 WITH SCORE 4599.985
AT ITER 589 NEW BEST:: SOT 26399 SOS 15973 HAS SOPS 15951 HAS SOUS 4591 HAS SOUPS 4578 WITH SCORE 4593.973
AT ITER 594 NEW BEST:: SOT 26393 SOS 15967 HAS SOPS 15945 HAS SOUS 4591 HAS SOUPS 4578 WITH SCORE 4593.967
AT ITER 599 NEW BEST:: SOT 26383 SOS 15939 HAS SOPS 15917 HAS SOUS 4580 HAS SOUPS 4567 WITH SCORE 4582.939
AT ITER 601 NEW BEST:: SOT 26381 SOS 15937 HAS SOPS 15915 HAS SOUS 4576 HAS SOUPS 4563 WITH SCORE 4578.937
AT ITER 612 NEW BEST:: SOT 26390 SOS 15946 HAS SOPS 15924 HAS SOUS 4574 HAS SOUPS 4561 WITH SCORE 4576.946
AT ITER 621 NEW BEST:: SOT 26385 SOS 15941 HAS SOPS 15919 HAS SOUS 4574 HAS SOUPS 4561 WITH SCORE 4576.941
AT ITER 635 NEW BEST:: SOT 26385 SOS 15939 HAS SOPS 15917 HAS SOUS 4574 HAS SOUPS 4561 WITH SCORE 4576.939
AT ITER 680 NEW BEST:: SOT 26385 SOS 15939 HAS SOPS 15917 HAS SOUS 4572 HAS SOUPS 4559 WITH SCORE 4574.939
AT ITER 681 NEW BEST:: SOT 26390 SOS 15942 HAS SOPS 15920 HAS SOUS 4570 HAS SOUPS 4557 WITH SCORE 4572.942
AT ITER 686 NEW BEST:: SOT 26365 SOS 15917 HAS SOPS 15895 HAS SOUS 4545 HAS SOUPS 4532 WITH SCORE 4547.917
AT ITER 693 NEW BEST:: SOT 26351 SOS 15896 HAS SOPS 15874 HAS SOUS 4531 HAS SOUPS 4518 WITH SCORE 4533.896
AT ITER 700 NEW BEST:: SOT 26319 SOS 15761 HAS SOPS 15739 HAS SOUS 4523 HAS SOUPS 4510 WITH SCORE 4525.761
AT ITER 702 NEW BEST:: SOT 26313 SOS 15756 HAS SOPS 15734 HAS SOUS 4516 HAS SOUPS 4503 WITH SCORE 4518.756
AT ITER 709 NEW BEST:: SOT 26313 SOS 15756 HAS SOPS 15734 HAS SOUS 4512 HAS SOUPS 4499 WITH SCORE 4514.756
AT ITER 714 NEW BEST:: SOT 26287 SOS 15730 HAS SOPS 15708 HAS SOUS 4473 HAS SOUPS 4460 WITH SCORE 4475.73
AT ITER 739 NEW BEST:: SOT 26381 SOS 15863 HAS SOPS 15841 HAS SOUS 4466 HAS SOUPS 4453 WITH SCORE 4468.863
AT ITER 745 NEW BEST:: SOT 26381 SOS 15863 HAS SOPS 15841 HAS SOUS 4460 HAS SOUPS 4447 WITH SCORE 4462.863
AT ITER 763 NEW BEST:: SOT 26358 SOS 15840 HAS SOPS 15818 HAS SOUS 4448 HAS SOUPS 4435 WITH SCORE 4450.84
AT ITER 767 NEW BEST:: SOT 26390 SOS 15898 HAS SOPS 15876 HAS SOUS 4434 HAS SOUPS 4421 WITH SCORE 4436.898
AT ITER 782 NEW BEST:: SOT 26378 SOS 15886 HAS SOPS 15864 HAS SOUS 4420 HAS SOUPS 4407 WITH SCORE 4422.886
AT ITER 792 NEW BEST:: SOT 26364 SOS 15849 HAS SOPS 15827 HAS SOUS 4406 HAS SOUPS 4393 WITH SCORE 4408.849
AT ITER 800 NEW BEST:: SOT 26356 SOS 15839 HAS SOPS 15817 HAS SOUS 4399 HAS SOUPS 4386 WITH SCORE 4401.839
AT ITER 805 NEW BEST:: SOT 26332 SOS 15794 HAS SOPS 15772 HAS SOUS 4365 HAS SOUPS 4352 WITH SCORE 4367.794
AT ITER 809 NEW BEST:: SOT 26320 SOS 15782 HAS SOPS 15760 HAS SOUS 4353 HAS SOUPS 4340 WITH SCORE 4355.782
AT ITER 818 NEW BEST:: SOT 26320 SOS 15782 HAS SOPS 15760 HAS SOUS 4325 HAS SOUPS 4312 WITH SCORE 4327.782
AT ITER 822 NEW BEST:: SOT 26309 SOS 15783 HAS SOPS 15761 HAS SOUS 4320 HAS SOUPS 4307 WITH SCORE 4322.783
AT ITER 862 NEW BEST:: SOT 26296 SOS 15770 HAS SOPS 15748 HAS SOUS 4307 HAS SOUPS 4294 WITH SCORE 4309.77
AT ITER 863 NEW BEST:: SOT 26312 SOS 15789 HAS SOPS 15767 HAS SOUS 4300 HAS SOUPS 4287 WITH SCORE 4302.789
AT ITER 867 NEW BEST:: SOT 26316 SOS 16016 HAS SOPS 15994 HAS SOUS 4285 HAS SOUPS 4272 WITH SCORE 4288.016
AT ITER 877 NEW BEST:: SOT 26256 SOS 15914 HAS SOPS 15892 HAS SOUS 4248 HAS SOUPS 4235 WITH SCORE 4250.914
AT ITER 879 NEW BEST:: SOT 26212 SOS 15804 HAS SOPS 15782 HAS SOUS 4220 HAS SOUPS 4207 WITH SCORE 4222.804
AT ITER 884 NEW BEST:: SOT 26138 SOS 15693 HAS SOPS 15671 HAS SOUS 4220 HAS SOUPS 4207 WITH SCORE 4222.693
AT ITER 904 NEW BEST:: SOT 26065 SOS 15700 HAS SOPS 15678 HAS SOUS 4212 HAS SOUPS 4199 WITH SCORE 4214.7
AT ITER 915 NEW BEST:: SOT 26053 SOS 15688 HAS SOPS 15666 HAS SOUS 4195 HAS SOUPS 4182 WITH SCORE 4197.688
AT ITER 922 NEW BEST:: SOT 26050 SOS 15673 HAS SOPS 15651 HAS SOUS 4192 HAS SOUPS 4179 WITH SCORE 4194.673
AT ITER 950 NEW BEST:: SOT 26048 SOS 15671 HAS SOPS 15649 HAS SOUS 4190 HAS SOUPS 4177 WITH SCORE 4192.671
AT ITER 954 NEW BEST:: SOT 26035 SOS 15638 HAS SOPS 15616 HAS SOUS 4174 HAS SOUPS 4161 WITH SCORE 4176.638
AT ITER 956 NEW BEST:: SOT 26035 SOS 15638 HAS SOPS 15616 HAS SOUS 4166 HAS SOUPS 4153 WITH SCORE 4168.638
AT ITER 957 NEW BEST:: SOT 26035 SOS 15638 HAS SOPS 15616 HAS SOUS 4160 HAS SOUPS 4147 WITH SCORE 4162.638
AT ITER 981 NEW BEST:: SOT 26002 SOS 15585 HAS SOPS 15563 HAS SOUS 4147 HAS SOUPS 4134 WITH SCORE 4149.585
AT ITER 982 NEW BEST:: SOT 26014 SOS 15091 HAS SOPS 15069 HAS SOUS 4137 HAS SOUPS 4124 WITH SCORE 4139.091
AT ITER 1002 NEW BEST:: SOT 26016 SOS 15107 HAS SOPS 15085 HAS SOUS 4136 HAS SOUPS 4123 WITH SCORE 4138.107
AT ITER 1009 NEW BEST:: SOT 26014 SOS 15091 HAS SOPS 15069 HAS SOUS 4133 HAS SOUPS 4120 WITH SCORE 4135.091
AT ITER 1015 NEW BEST:: SOT 26014 SOS 15091 HAS SOPS 15069 HAS SOUS 4126 HAS SOUPS 4113 WITH SCORE 4128.091
AT ITER 1030 NEW BEST:: SOT 26001 SOS 15058 HAS SOPS 15036 HAS SOUS 4125 HAS SOUPS 4112 WITH SCORE 4127.058
AT ITER 1033 NEW BEST:: SOT 25983 SOS 15040 HAS SOPS 15018 HAS SOUS 4104 HAS SOUPS 4091 WITH SCORE 4106.04
AT ITER 1042 NEW BEST:: SOT 25958 SOS 15015 HAS SOPS 14993 HAS SOUS 4079 HAS SOUPS 4066 WITH SCORE 4081.015
AT ITER 1046 NEW BEST:: SOT 25944 SOS 15001 HAS SOPS 14979 HAS SOUS 4079 HAS SOUPS 4066 WITH SCORE 4081.001
AT ITER 1047 NEW BEST:: SOT 25945 SOS 15002 HAS SOPS 14980 HAS SOUS 4073 HAS SOUPS 4060 WITH SCORE 4075.002
AT ITER 1050 NEW BEST:: SOT 25864 SOS 14881 HAS SOPS 14859 HAS SOUS 4072 HAS SOUPS 4059 WITH SCORE 4073.881
AT ITER 1056 NEW BEST:: SOT 25844 SOS 14613 HAS SOPS 14591 HAS SOUS 4066 HAS SOUPS 4053 WITH SCORE 4067.613
AT ITER 1059 NEW BEST:: SOT 25844 SOS 14613 HAS SOPS 14591 HAS SOUS 4055 HAS SOUPS 4042 WITH SCORE 4056.613
AT ITER 1069 NEW BEST:: SOT 25818 SOS 14584 HAS SOPS 14562 HAS SOUS 4050 HAS SOUPS 4037 WITH SCORE 4051.584
AT ITER 1070 NEW BEST:: SOT 25817 SOS 14583 HAS SOPS 14561 HAS SOUS 4048 HAS SOUPS 4035 WITH SCORE 4049.583
AT ITER 1084 NEW BEST:: SOT 25811 SOS 14577 HAS SOPS 14555 HAS SOUS 4042 HAS SOUPS 4029 WITH SCORE 4043.577
AT ITER 1117 NEW BEST:: SOT 25800 SOS 14566 HAS SOPS 14544 HAS SOUS 4031 HAS SOUPS 4018 WITH SCORE 4032.566
AT ITER 1125 NEW BEST:: SOT 25792 SOS 14553 HAS SOPS 14531 HAS SOUS 4018 HAS SOUPS 4005 WITH SCORE 4019.553
AT ITER 1163 NEW BEST:: SOT 25791 SOS 14552 HAS SOPS 14530 HAS SOUS 4017 HAS SOUPS 4004 WITH SCORE 4018.552
AT ITER 1180 NEW BEST:: SOT 25770 SOS 14531 HAS SOPS 14509 HAS SOUS 3974 HAS SOUPS 3961 WITH SCORE 3975.531
AT ITER 1198 NEW BEST:: SOT 25747 SOS 14474 HAS SOPS 14452 HAS SOUS 3959 HAS SOUPS 3946 WITH SCORE 3960.474
AT ITER 1231 NEW BEST:: SOT 25760 SOS 14517 HAS SOPS 14495 HAS SOUS 3954 HAS SOUPS 3941 WITH SCORE 3955.517
AT ITER 1235 NEW BEST:: SOT 25758 SOS 14515 HAS SOPS 14493 HAS SOUS 3952 HAS SOUPS 3939 WITH SCORE 3953.515
AT ITER 1254 NEW BEST:: SOT 25755 SOS 14512 HAS SOPS 14490 HAS SOUS 3949 HAS SOUPS 3936 WITH SCORE 3950.512
AT ITER 1272 NEW BEST:: SOT 25764 SOS 14521 HAS SOPS 14499 HAS SOUS 3944 HAS SOUPS 3931 WITH SCORE 3945.521
AT ITER 1313 NEW BEST:: SOT 25762 SOS 14519 HAS SOPS 14497 HAS SOUS 3942 HAS SOUPS 3929 WITH SCORE 3943.519
AT ITER 1319 NEW BEST:: SOT 25761 SOS 14518 HAS SOPS 14496 HAS SOUS 3941 HAS SOUPS 3928 WITH SCORE 3942.518
AT ITER 1328 NEW BEST:: SOT 25752 SOS 14509 HAS SOPS 14487 HAS SOUS 3941 HAS SOUPS 3928 WITH SCORE 3942.509
AT ITER 1333 NEW BEST:: SOT 25734 SOS 14491 HAS SOPS 14469 HAS SOUS 3931 HAS SOUPS 3918 WITH SCORE 3932.491
AT ITER 1341 NEW BEST:: SOT 25731 SOS 14488 HAS SOPS 14466 HAS SOUS 3926 HAS SOUPS 3913 WITH SCORE 3927.488
AT ITER 1355 NEW BEST:: SOT 25721 SOS 14450 HAS SOPS 14428 HAS SOUS 3917 HAS SOUPS 3904 WITH SCORE 3918.45
AT ITER 1371 NEW BEST:: SOT 25694 SOS 14423 HAS SOPS 14401 HAS SOUS 3868 HAS SOUPS 3855 WITH SCORE 3869.423
AT ITER 1382 NEW BEST:: SOT 25651 SOS 14205 HAS SOPS 14183 HAS SOUS 3839 HAS SOUPS 3826 WITH SCORE 3840.205
AT ITER 1384 NEW BEST:: SOT 25649 SOS 14203 HAS SOPS 14181 HAS SOUS 3839 HAS SOUPS 3826 WITH SCORE 3840.203
AT ITER 1385 NEW BEST:: SOT 25649 SOS 14203 HAS SOPS 14181 HAS SOUS 3837 HAS SOUPS 3824 WITH SCORE 3838.203
AT ITER 1456 NEW BEST:: SOT 25647 SOS 14164 HAS SOPS 14142 HAS SOUS 3820 HAS SOUPS 3807 WITH SCORE 3821.164
AT ITER 1486 NEW BEST:: SOT 25647 SOS 14151 HAS SOPS 14129 HAS SOUS 3807 HAS SOUPS 3794 WITH SCORE 3808.151
AT ITER 1489 NEW BEST:: SOT 25655 SOS 14150 HAS SOPS 14128 HAS SOUS 3807 HAS SOUPS 3794 WITH SCORE 3808.15
AT ITER 1491 NEW BEST:: SOT 25653 SOS 14150 HAS SOPS 14128 HAS SOUS 3805 HAS SOUPS 3792 WITH SCORE 3806.15
AT ITER 1499 NEW BEST:: SOT 25663 SOS 14136 HAS SOPS 14114 HAS SOUS 3798 HAS SOUPS 3785 WITH SCORE 3799.136
AT ITER 1522 NEW BEST:: SOT 25663 SOS 14136 HAS SOPS 14114 HAS SOUS 3795 HAS SOUPS 3782 WITH SCORE 3796.136
AT ITER 1528 NEW BEST:: SOT 25652 SOS 14125 HAS SOPS 14103 HAS SOUS 3788 HAS SOUPS 3775 WITH SCORE 3789.125
AT ITER 1533 NEW BEST:: SOT 25648 SOS 14121 HAS SOPS 14099 HAS SOUS 3784 HAS SOUPS 3771 WITH SCORE 3785.121
AT ITER 1562 NEW BEST:: SOT 25648 SOS 14121 HAS SOPS 14099 HAS SOUS 3774 HAS SOUPS 3761 WITH SCORE 3775.121
AT ITER 1574 NEW BEST:: SOT 25643 SOS 14116 HAS SOPS 14094 HAS SOUS 3771 HAS SOUPS 3758 WITH SCORE 3772.116
AT ITER 1582 NEW BEST:: SOT 25643 SOS 14116 HAS SOPS 14094 HAS SOUS 3766 HAS SOUPS 3753 WITH SCORE 3767.116
AT ITER 1617 NEW BEST:: SOT 25643 SOS 14113 HAS SOPS 14091 HAS SOUS 3763 HAS SOUPS 3750 WITH SCORE 3764.113
AT ITER 1639 NEW BEST:: SOT 25636 SOS 14106 HAS SOPS 14084 HAS SOUS 3756 HAS SOUPS 3743 WITH SCORE 3757.106
AT ITER 1648 NEW BEST:: SOT 25633 SOS 14103 HAS SOPS 14081 HAS SOUS 3753 HAS SOUPS 3740 WITH SCORE 3754.103
AT ITER 1662 NEW BEST:: SOT 25634 SOS 14104 HAS SOPS 14082 HAS SOUS 3733 HAS SOUPS 3720 WITH SCORE 3734.104
AT ITER 1666 NEW BEST:: SOT 25632 SOS 14076 HAS SOPS 14054 HAS SOUS 3730 HAS SOUPS 3717 WITH SCORE 3731.076
AT ITER 1674 NEW BEST:: SOT 25643 SOS 14108 HAS SOPS 14086 HAS SOUS 3727 HAS SOUPS 3714 WITH SCORE 3728.108
AT ITER 1676 NEW BEST:: SOT 25642 SOS 14107 HAS SOPS 14085 HAS SOUS 3726 HAS SOUPS 3713 WITH SCORE 3727.107
AT ITER 1700 NEW BEST:: SOT 25637 SOS 14102 HAS SOPS 14080 HAS SOUS 3713 HAS SOUPS 3700 WITH SCORE 3714.102
AT ITER 1709 NEW BEST:: SOT 25635 SOS 14102 HAS SOPS 14080 HAS SOUS 3711 HAS SOUPS 3698 WITH SCORE 3712.102
AT ITER 1717 NEW BEST:: SOT 25631 SOS 14092 HAS SOPS 14070 HAS SOUS 3707 HAS SOUPS 3694 WITH SCORE 3708.092
AT ITER 1745 NEW BEST:: SOT 25626 SOS 14082 HAS SOPS 14060 HAS SOUS 3707 HAS SOUPS 3694 WITH SCORE 3708.082
AT ITER 1754 NEW BEST:: SOT 25618 SOS 14072 HAS SOPS 14050 HAS SOUS 3705 HAS SOUPS 3692 WITH SCORE 3706.072
AT ITER 1762 NEW BEST:: SOT 25616 SOS 14070 HAS SOPS 14048 HAS SOUS 3703 HAS SOUPS 3690 WITH SCORE 3704.07
AT ITER 1790 NEW BEST:: SOT 25622 SOS 14076 HAS SOPS 14054 HAS SOUS 3702 HAS SOUPS 3689 WITH SCORE 3703.076
AT ITER 1806 NEW BEST:: SOT 25617 SOS 14071 HAS SOPS 14049 HAS SOUS 3688 HAS SOUPS 3675 WITH SCORE 3689.071
AT ITER 1823 NEW BEST:: SOT 25600 SOS 14054 HAS SOPS 14032 HAS SOUS 3660 HAS SOUPS 3647 WITH SCORE 3661.054
AT ITER 1857 NEW BEST:: SOT 25601 SOS 14055 HAS SOPS 14033 HAS SOUS 3658 HAS SOUPS 3645 WITH SCORE 3659.055
AT ITER 1885 NEW BEST:: SOT 25584 SOS 14038 HAS SOPS 14016 HAS SOUS 3641 HAS SOUPS 3628 WITH SCORE 3642.038
AT ITER 1934 NEW BEST:: SOT 25564 SOS 13998 HAS SOPS 13976 HAS SOUS 3621 HAS SOUPS 3608 WITH SCORE 3621.998
AT ITER 1946 NEW BEST:: SOT 25543 SOS 13961 HAS SOPS 13939 HAS SOUS 3619 HAS SOUPS 3606 WITH SCORE 3619.961
AT ITER 1952 NEW BEST:: SOT 25527 SOS 13929 HAS SOPS 13907 HAS SOUS 3616 HAS SOUPS 3603 WITH SCORE 3616.929
AT ITER 1968 NEW BEST:: SOT 25524 SOS 13926 HAS SOPS 13904 HAS SOUS 3613 HAS SOUPS 3600 WITH SCORE 3613.926
AT ITER 1984 NEW BEST:: SOT 25504 SOS 13906 HAS SOPS 13884 HAS SOUS 3584 HAS SOUPS 3571 WITH SCORE 3584.906
AT ITER 1986 NEW BEST:: SOT 25500 SOS 13898 HAS SOPS 13876 HAS SOUS 3584 HAS SOUPS 3571 WITH SCORE 3584.898
AT ITER 1990 NEW BEST:: SOT 25473 SOS 13871 HAS SOPS 13849 HAS SOUS 3569 HAS SOUPS 3556 WITH SCORE 3569.871
AT ITER 2021 NEW BEST:: SOT 25471 SOS 13869 HAS SOPS 13847 HAS SOUS 3567 HAS SOUPS 3554 WITH SCORE 3567.869
AT ITER 2033 NEW BEST:: SOT 25462 SOS 13848 HAS SOPS 13826 HAS SOUS 3564 HAS SOUPS 3551 WITH SCORE 3564.848
AT ITER 2035 NEW BEST:: SOT 25462 SOS 13848 HAS SOPS 13826 HAS SOUS 3558 HAS SOUPS 3545 WITH SCORE 3558.848
AT ITER 2057 NEW BEST:: SOT 25472 SOS 13863 HAS SOPS 13841 HAS SOUS 3556 HAS SOUPS 3543 WITH SCORE 3556.863
AT ITER 2085 NEW BEST:: SOT 25472 SOS 13860 HAS SOPS 13838 HAS SOUS 3553 HAS SOUPS 3540 WITH SCORE 3553.86
AT ITER 2086 NEW BEST:: SOT 25486 SOS 13874 HAS SOPS 13852 HAS SOUS 3552 HAS SOUPS 3539 WITH SCORE 3552.874
AT ITER 2089 NEW BEST:: SOT 25484 SOS 13870 HAS SOPS 13848 HAS SOUS 3549 HAS SOUPS 3536 WITH SCORE 3549.87
AT ITER 2101 NEW BEST:: SOT 25479 SOS 13865 HAS SOPS 13843 HAS SOUS 3544 HAS SOUPS 3531 WITH SCORE 3544.865
AT ITER 2103 NEW BEST:: SOT 25478 SOS 13864 HAS SOPS 13842 HAS SOUS 3543 HAS SOUPS 3530 WITH SCORE 3543.864
AT ITER 2107 NEW BEST:: SOT 25465 SOS 13854 HAS SOPS 13832 HAS SOUS 3543 HAS SOUPS 3530 WITH SCORE 3543.854
AT ITER 2133 NEW BEST:: SOT 25459 SOS 13848 HAS SOPS 13826 HAS SOUS 3543 HAS SOUPS 3530 WITH SCORE 3543.848
AT ITER 2139 NEW BEST:: SOT 25437 SOS 13808 HAS SOPS 13786 HAS SOUS 3521 HAS SOUPS 3508 WITH SCORE 3521.808
AT ITER 2150 NEW BEST:: SOT 25437 SOS 13808 HAS SOPS 13786 HAS SOUS 3515 HAS SOUPS 3502 WITH SCORE 3515.808
AT ITER 2151 NEW BEST:: SOT 25404 SOS 13742 HAS SOPS 13720 HAS SOUS 3482 HAS SOUPS 3469 WITH SCORE 3482.742
AT ITER 2161 NEW BEST:: SOT 25403 SOS 13741 HAS SOPS 13719 HAS SOUS 3481 HAS SOUPS 3468 WITH SCORE 3481.741
AT ITER 2167 NEW BEST:: SOT 25394 SOS 13687 HAS SOPS 13665 HAS SOUS 3481 HAS SOUPS 3468 WITH SCORE 3481.687
AT ITER 2293 NEW BEST:: SOT 25394 SOS 13687 HAS SOPS 13665 HAS SOUS 3474 HAS SOUPS 3461 WITH SCORE 3474.687
AT ITER 2298 NEW BEST:: SOT 25381 SOS 13521 HAS SOPS 13499 HAS SOUS 3472 HAS SOUPS 3459 WITH SCORE 3472.521
AT ITER 2301 NEW BEST:: SOT 25378 SOS 13516 HAS SOPS 13494 HAS SOUS 3472 HAS SOUPS 3459 WITH SCORE 3472.516
AT ITER 2307 NEW BEST:: SOT 25360 SOS 13498 HAS SOPS 13476 HAS SOUS 3435 HAS SOUPS 3422 WITH SCORE 3435.498
AT ITER 2318 NEW BEST:: SOT 25363 SOS 13504 HAS SOPS 13482 HAS SOUS 3419 HAS SOUPS 3406 WITH SCORE 3419.504
AT ITER 2330 NEW BEST:: SOT 25356 SOS 13497 HAS SOPS 13475 HAS SOUS 3412 HAS SOUPS 3399 WITH SCORE 3412.497
AT ITER 2333 NEW BEST:: SOT 25356 SOS 13494 HAS SOPS 13472 HAS SOUS 3409 HAS SOUPS 3396 WITH SCORE 3409.494
AT ITER 2347 NEW BEST:: SOT 25360 SOS 13510 HAS SOPS 13488 HAS SOUS 3408 HAS SOUPS 3395 WITH SCORE 3408.51
AT ITER 2357 NEW BEST:: SOT 25371 SOS 13509 HAS SOPS 13487 HAS SOUS 3407 HAS SOUPS 3394 WITH SCORE 3407.509
AT ITER 2421 NEW BEST:: SOT 25368 SOS 13507 HAS SOPS 13485 HAS SOUS 3404 HAS SOUPS 3391 WITH SCORE 3404.507
AT ITER 2464 NEW BEST:: SOT 25306 SOS 13383 HAS SOPS 13361 HAS SOUS 3404 HAS SOUPS 3391 WITH SCORE 3404.383
AT ITER 2526 NEW BEST:: SOT 25304 SOS 13378 HAS SOPS 13356 HAS SOUS 3402 HAS SOUPS 3389 WITH SCORE 3402.378
AT ITER 2564 NEW BEST:: SOT 25297 SOS 13371 HAS SOPS 13349 HAS SOUS 3387 HAS SOUPS 3374 WITH SCORE 3387.371
AT ITER 2660 NEW BEST:: SOT 25287 SOS 13356 HAS SOPS 13334 HAS SOUS 3382 HAS SOUPS 3369 WITH SCORE 3382.356
AT ITER 2737 NEW BEST:: SOT 25289 SOS 13358 HAS SOPS 13336 HAS SOUS 3379 HAS SOUPS 3366 WITH SCORE 3379.358
AT ITER 2747 NEW BEST:: SOT 25289 SOS 13358 HAS SOPS 13336 HAS SOUS 3378 HAS SOUPS 3365 WITH SCORE 3378.358
AT ITER 2768 NEW BEST:: SOT 25293 SOS 13372 HAS SOPS 13350 HAS SOUS 3376 HAS SOUPS 3363 WITH SCORE 3376.372
AT ITER 2790 NEW BEST:: SOT 25293 SOS 13380 HAS SOPS 13358 HAS SOUS 3371 HAS SOUPS 3358 WITH SCORE 3371.38
AT ITER 2794 NEW BEST:: SOT 25291 SOS 13376 HAS SOPS 13354 HAS SOUS 3371 HAS SOUPS 3358 WITH SCORE 3371.376
AT ITER 2804 NEW BEST:: SOT 25284 SOS 13348 HAS SOPS 13326 HAS SOUS 3371 HAS SOUPS 3358 WITH SCORE 3371.348
AT ITER 2805 NEW BEST:: SOT 25279 SOS 13338 HAS SOPS 13316 HAS SOUS 3366 HAS SOUPS 3353 WITH SCORE 3366.338
AT ITER 2819 NEW BEST:: SOT 25271 SOS 13331 HAS SOPS 13309 HAS SOUS 3366 HAS SOUPS 3353 WITH SCORE 3366.331
AT ITER 2840 NEW BEST:: SOT 25272 SOS 13323 HAS SOPS 13301 HAS SOUS 3357 HAS SOUPS 3344 WITH SCORE 3357.323
AT ITER 2873 NEW BEST:: SOT 25266 SOS 13168 HAS SOPS 13146 HAS SOUS 3346 HAS SOUPS 3333 WITH SCORE 3346.168
AT ITER 2876 NEW BEST:: SOT 25263 SOS 13165 HAS SOPS 13143 HAS SOUS 3340 HAS SOUPS 3327 WITH SCORE 3340.165
AT ITER 2884 NEW BEST:: SOT 25254 SOS 13147 HAS SOPS 13125 HAS SOUS 3322 HAS SOUPS 3309 WITH SCORE 3322.147
AT ITER 2898 NEW BEST:: SOT 25207 SOS 13053 HAS SOPS 13031 HAS SOUS 3321 HAS SOUPS 3308 WITH SCORE 3321.053
AT ITER 2918 NEW BEST:: SOT 25196 SOS 13039 HAS SOPS 13017 HAS SOUS 3319 HAS SOUPS 3306 WITH SCORE 3319.039
AT ITER 2938 NEW BEST:: SOT 25196 SOS 13039 HAS SOPS 13017 HAS SOUS 3318 HAS SOUPS 3305 WITH SCORE 3318.039
AT ITER 2943 NEW BEST:: SOT 25197 SOS 13113 HAS SOPS 13091 HAS SOUS 3316 HAS SOUPS 3303 WITH SCORE 3316.113
AT ITER 2986 NEW BEST:: SOT 25197 SOS 13113 HAS SOPS 13091 HAS SOUS 3312 HAS SOUPS 3299 WITH SCORE 3312.113
AT ITER 2989 NEW BEST:: SOT 25194 SOS 13110 HAS SOPS 13088 HAS SOUS 3309 HAS SOUPS 3296 WITH SCORE 3309.11
AT ITER 3014 NEW BEST:: SOT 25198 SOS 13116 HAS SOPS 13094 HAS SOUS 3307 HAS SOUPS 3294 WITH SCORE 3307.116
AT ITER 3047 NEW BEST:: SOT 25183 SOS 13089 HAS SOPS 13067 HAS SOUS 3304 HAS SOUPS 3291 WITH SCORE 3304.089
AT ITER 3066 NEW BEST:: SOT 25184 SOS 13090 HAS SOPS 13068 HAS SOUS 3301 HAS SOUPS 3288 WITH SCORE 3301.09
AT ITER 3115 NEW BEST:: SOT 25181 SOS 13087 HAS SOPS 13065 HAS SOUS 3298 HAS SOUPS 3285 WITH SCORE 3298.087
AT ITER 3194 NEW BEST:: SOT 25179 SOS 13085 HAS SOPS 13063 HAS SOUS 3296 HAS SOUPS 3283 WITH SCORE 3296.085
AT ITER 3219 NEW BEST:: SOT 25197 SOS 13121 HAS SOPS 13099 HAS SOUS 3293 HAS SOUPS 3280 WITH SCORE 3293.121
AT ITER 3244 NEW BEST:: SOT 25197 SOS 13121 HAS SOPS 13099 HAS SOUS 3292 HAS SOUPS 3279 WITH SCORE 3292.121
AT ITER 3286 NEW BEST:: SOT 25181 SOS 13089 HAS SOPS 13067 HAS SOUS 3288 HAS SOUPS 3275 WITH SCORE 3288.089
AT ITER 3351 NEW BEST:: SOT 25191 SOS 12992 HAS SOPS 12970 HAS SOUS 3288 HAS SOUPS 3275 WITH SCORE 3287.992
AT ITER 3445 NEW BEST:: SOT 25193 SOS 12994 HAS SOPS 12972 HAS SOUS 3287 HAS SOUPS 3274 WITH SCORE 3286.994
AT ITER 3453 NEW BEST:: SOT 25190 SOS 12988 HAS SOPS 12966 HAS SOUS 3282 HAS SOUPS 3269 WITH SCORE 3281.988
AT ITER 3456 NEW BEST:: SOT 25190 SOS 12999 HAS SOPS 12977 HAS SOUS 3281 HAS SOUPS 3268 WITH SCORE 3280.999
AT ITER 3479 NEW BEST:: SOT 25187 SOS 12996 HAS SOPS 12974 HAS SOUS 3278 HAS SOUPS 3265 WITH SCORE 3277.996
AT ITER 3505 NEW BEST:: SOT 25187 SOS 12996 HAS SOPS 12974 HAS SOUS 3277 HAS SOUPS 3264 WITH SCORE 3276.996
AT ITER 3517 NEW BEST:: SOT 25187 SOS 13016 HAS SOPS 12994 HAS SOUS 3276 HAS SOUPS 3263 WITH SCORE 3276.016
AT ITER 3534 NEW BEST:: SOT 25186 SOS 13015 HAS SOPS 12993 HAS SOUS 3275 HAS SOUPS 3262 WITH SCORE 3275.015
AT ITER 3595 NEW BEST:: SOT 25185 SOS 13014 HAS SOPS 12992 HAS SOUS 3274 HAS SOUPS 3261 WITH SCORE 3274.014
AT ITER 3625 NEW BEST:: SOT 25183 SOS 13014 HAS SOPS 12992 HAS SOUS 3270 HAS SOUPS 3257 WITH SCORE 3270.014
AT ITER 3736 NEW BEST:: SOT 25181 SOS 13012 HAS SOPS 12990 HAS SOUS 3270 HAS SOUPS 3257 WITH SCORE 3270.012
AT ITER 3744 NEW BEST:: SOT 25178 SOS 13009 HAS SOPS 12987 HAS SOUS 3267 HAS SOUPS 3254 WITH SCORE 3267.009
AT ITER 3751 NEW BEST:: SOT 25176 SOS 13007 HAS SOPS 12985 HAS SOUS 3264 HAS SOUPS 3251 WITH SCORE 3264.007
AT ITER 3796 NEW BEST:: SOT 25177 SOS 13039 HAS SOPS 13017 HAS SOUS 3263 HAS SOUPS 3250 WITH SCORE 3263.039
AT ITER 3812 NEW BEST:: SOT 25171 SOS 12991 HAS SOPS 12969 HAS SOUS 3263 HAS SOUPS 3250 WITH SCORE 3262.991
AT ITER 3849 NEW BEST:: SOT 25170 SOS 12990 HAS SOPS 12968 HAS SOUS 3262 HAS SOUPS 3249 WITH SCORE 3261.99
AT ITER 3854 NEW BEST:: SOT 25162 SOS 12982 HAS SOPS 12960 HAS SOUS 3257 HAS SOUPS 3244 WITH SCORE 3256.982
AT ITER 3924 NEW BEST:: SOT 25162 SOS 12946 HAS SOPS 12924 HAS SOUS 3257 HAS SOUPS 3244 WITH SCORE 3256.946
AT ITER 3961 NEW BEST:: SOT 25162 SOS 12946 HAS SOPS 12924 HAS SOUS 3254 HAS SOUPS 3241 WITH SCORE 3253.946
AT ITER 3971 NEW BEST:: SOT 25158 SOS 12864 HAS SOPS 12842 HAS SOUS 3252 HAS SOUPS 3239 WITH SCORE 3251.864
AT ITER 4084 NEW BEST:: SOT 25140 SOS 12846 HAS SOPS 12824 HAS SOUS 3234 HAS SOUPS 3221 WITH SCORE 3233.846
AT ITER 4092 NEW BEST:: SOT 25140 SOS 12846 HAS SOPS 12824 HAS SOUS 3229 HAS SOUPS 3216 WITH SCORE 3228.846
AT ITER 4113 NEW BEST:: SOT 25147 SOS 12853 HAS SOPS 12831 HAS SOUS 3228 HAS SOUPS 3215 WITH SCORE 3227.853
AT ITER 4114 NEW BEST:: SOT 25151 SOS 12859 HAS SOPS 12837 HAS SOUS 3226 HAS SOUPS 3213 WITH SCORE 3225.859
AT ITER 4149 NEW BEST:: SOT 25151 SOS 12859 HAS SOPS 12837 HAS SOUS 3225 HAS SOUPS 3212 WITH SCORE 3224.859
AT ITER 4152 NEW BEST:: SOT 25131 SOS 12828 HAS SOPS 12806 HAS SOUS 3214 HAS SOUPS 3201 WITH SCORE 3213.828
AT ITER 4157 NEW BEST:: SOT 25124 SOS 12821 HAS SOPS 12799 HAS SOUS 3214 HAS SOUPS 3201 WITH SCORE 3213.821
AT ITER 4187 NEW BEST:: SOT 25118 SOS 12812 HAS SOPS 12790 HAS SOUS 3208 HAS SOUPS 3195 WITH SCORE 3207.812
AT ITER 4246 NEW BEST:: SOT 25114 SOS 12808 HAS SOPS 12786 HAS SOUS 3204 HAS SOUPS 3191 WITH SCORE 3203.808
AT ITER 4259 NEW BEST:: SOT 25114 SOS 12808 HAS SOPS 12786 HAS SOUS 3201 HAS SOUPS 3188 WITH SCORE 3200.808
AT ITER 4472 NEW BEST:: SOT 25107 SOS 12827 HAS SOPS 12805 HAS SOUS 3200 HAS SOUPS 3187 WITH SCORE 3199.827
AT ITER 4476 NEW BEST:: SOT 25105 SOS 12824 HAS SOPS 12802 HAS SOUS 3199 HAS SOUPS 3186 WITH SCORE 3198.824
AT ITER 4487 NEW BEST:: SOT 25103 SOS 12822 HAS SOPS 12800 HAS SOUS 3197 HAS SOUPS 3184 WITH SCORE 3196.822
AT ITER 4495 NEW BEST:: SOT 25101 SOS 12806 HAS SOPS 12784 HAS SOUS 3197 HAS SOUPS 3184 WITH SCORE 3196.806
AT ITER 4517 NEW BEST:: SOT 25248 SOS 13010 HAS SOPS 12988 HAS SOUS 3181 HAS SOUPS 3168 WITH SCORE 3181.01
AT ITER 4520 NEW BEST:: SOT 25248 SOS 13010 HAS SOPS 12988 HAS SOUS 3173 HAS SOUPS 3160 WITH SCORE 3173.01
AT ITER 4552 NEW BEST:: SOT 25239 SOS 13001 HAS SOPS 12979 HAS SOUS 3164 HAS SOUPS 3151 WITH SCORE 3164.001
AT ITER 4609 NEW BEST:: SOT 25275 SOS 13073 HAS SOPS 13051 HAS SOUS 3161 HAS SOUPS 3148 WITH SCORE 3161.073
AT ITER 4617 NEW BEST:: SOT 25275 SOS 13073 HAS SOPS 13051 HAS SOUS 3159 HAS SOUPS 3146 WITH SCORE 3159.073
AT ITER 4700 NEW BEST:: SOT 25278 SOS 13076 HAS SOPS 13054 HAS SOUS 3156 HAS SOUPS 3143 WITH SCORE 3156.076
AT ITER 4749 NEW BEST:: SOT 25275 SOS 13073 HAS SOPS 13051 HAS SOUS 3155 HAS SOUPS 3142 WITH SCORE 3155.073
AT ITER 4775 NEW BEST:: SOT 25273 SOS 13071 HAS SOPS 13049 HAS SOUS 3153 HAS SOUPS 3140 WITH SCORE 3153.071
AT ITER 4802 NEW BEST:: SOT 25271 SOS 13069 HAS SOPS 13047 HAS SOUS 3152 HAS SOUPS 3139 WITH SCORE 3152.069
AT ITER 4851 NEW BEST:: SOT 25268 SOS 13066 HAS SOPS 13044 HAS SOUS 3149 HAS SOUPS 3136 WITH SCORE 3149.066
AT ITER 4859 NEW BEST:: SOT 25266 SOS 13060 HAS SOPS 13038 HAS SOUS 3148 HAS SOUPS 3135 WITH SCORE 3148.06
AT ITER 4879 NEW BEST:: SOT 25266 SOS 13047 HAS SOPS 13025 HAS SOUS 3139 HAS SOUPS 3126 WITH SCORE 3139.047
AT ITER 4894 NEW BEST:: SOT 25280 SOS 13061 HAS SOPS 13039 HAS SOUS 3131 HAS SOUPS 3118 WITH SCORE 3131.061
AT ITER 5040 NEW BEST:: SOT 25278 SOS 13057 HAS SOPS 13035 HAS SOUS 3128 HAS SOUPS 3115 WITH SCORE 3128.057
AT ITER 5066 NEW BEST:: SOT 25275 SOS 13054 HAS SOPS 13032 HAS SOUS 3125 HAS SOUPS 3112 WITH SCORE 3125.054
AT ITER 5098 NEW BEST:: SOT 25274 SOS 13053 HAS SOPS 13031 HAS SOUS 3124 HAS SOUPS 3111 WITH SCORE 3124.053
AT ITER 5153 NEW BEST:: SOT 25292 SOS 13080 HAS SOPS 13058 HAS SOUS 3116 HAS SOUPS 3103 WITH SCORE 3116.08
AT ITER 5168 NEW BEST:: SOT 25300 SOS 13088 HAS SOPS 13066 HAS SOUS 3108 HAS SOUPS 3095 WITH SCORE 3108.088
AT ITER 5185 NEW BEST:: SOT 25319 SOS 13107 HAS SOPS 13085 HAS SOUS 3105 HAS SOUPS 3092 WITH SCORE 3105.107
AT ITER 5187 NEW BEST:: SOT 25327 SOS 13131 HAS SOPS 13109 HAS SOUS 3103 HAS SOUPS 3090 WITH SCORE 3103.131
AT ITER 5255 NEW BEST:: SOT 25319 SOS 13123 HAS SOPS 13101 HAS SOUS 3095 HAS SOUPS 3082 WITH SCORE 3095.123
AT ITER 5271 NEW BEST:: SOT 25319 SOS 13123 HAS SOPS 13101 HAS SOUS 3094 HAS SOUPS 3081 WITH SCORE 3094.123
AT ITER 5293 NEW BEST:: SOT 25310 SOS 13114 HAS SOPS 13092 HAS SOUS 3080 HAS SOUPS 3067 WITH SCORE 3080.114
AT ITER 5334 NEW BEST:: SOT 25298 SOS 13103 HAS SOPS 13081 HAS SOUS 3080 HAS SOUPS 3067 WITH SCORE 3080.103
AT ITER 5341 NEW BEST:: SOT 25297 SOS 13103 HAS SOPS 13081 HAS SOUS 3078 HAS SOUPS 3065 WITH SCORE 3078.103
AT ITER 5349 NEW BEST:: SOT 25287 SOS 13093 HAS SOPS 13071 HAS SOUS 3072 HAS SOUPS 3059 WITH SCORE 3072.093
AT ITER 5371 NEW BEST:: SOT 25287 SOS 13093 HAS SOPS 13071 HAS SOUS 3066 HAS SOUPS 3053 WITH SCORE 3066.093
AT ITER 5447 NEW BEST:: SOT 25290 SOS 13058 HAS SOPS 13036 HAS SOUS 3064 HAS SOUPS 3051 WITH SCORE 3064.058
AT ITER 5537 NEW BEST:: SOT 25290 SOS 12984 HAS SOPS 12962 HAS SOUS 3063 HAS SOUPS 3050 WITH SCORE 3062.984
AT ITER 5610 NEW BEST:: SOT 25286 SOS 12980 HAS SOPS 12958 HAS SOUS 3062 HAS SOUPS 3049 WITH SCORE 3061.98
AT ITER 5626 NEW BEST:: SOT 25283 SOS 12977 HAS SOPS 12955 HAS SOUS 3059 HAS SOUPS 3046 WITH SCORE 3058.977
AT ITER 5669 NEW BEST:: SOT 25283 SOS 12977 HAS SOPS 12955 HAS SOUS 3053 HAS SOUPS 3040 WITH SCORE 3052.977
AT ITER 5698 NEW BEST:: SOT 25281 SOS 12974 HAS SOPS 12952 HAS SOUS 3050 HAS SOUPS 3037 WITH SCORE 3049.974
AT ITER 5771 NEW BEST:: SOT 25283 SOS 12988 HAS SOPS 12966 HAS SOUS 3048 HAS SOUPS 3035 WITH SCORE 3047.988
AT ITER 5813 NEW BEST:: SOT 25281 SOS 12976 HAS SOPS 12954 HAS SOUS 3046 HAS SOUPS 3033 WITH SCORE 3045.976
AT ITER 5842 NEW BEST:: SOT 25277 SOS 12968 HAS SOPS 12946 HAS SOUS 3046 HAS SOUPS 3033 WITH SCORE 3045.968
AT ITER 5848 NEW BEST:: SOT 25244 SOS 12902 HAS SOPS 12880 HAS SOUS 3046 HAS SOUPS 3033 WITH SCORE 3045.902
AT ITER 6059 NEW BEST:: SOT 25243 SOS 12875 HAS SOPS 12853 HAS SOUS 3046 HAS SOUPS 3033 WITH SCORE 3045.875
AT ITER 6081 NEW BEST:: SOT 25223 SOS 12859 HAS SOPS 12837 HAS SOUS 3046 HAS SOUPS 3033 WITH SCORE 3045.859
AT ITER 6113 NEW BEST:: SOT 25221 SOS 12858 HAS SOPS 12836 HAS SOUS 3046 HAS SOUPS 3033 WITH SCORE 3045.858
AT ITER 6131 NEW BEST:: SOT 25220 SOS 12857 HAS SOPS 12835 HAS SOUS 3044 HAS SOUPS 3031 WITH SCORE 3043.857
AT ITER 6181 NEW BEST:: SOT 25218 SOS 12855 HAS SOPS 12833 HAS SOUS 3042 HAS SOUPS 3029 WITH SCORE 3041.855
AT ITER 6218 NEW BEST:: SOT 25216 SOS 12850 HAS SOPS 12828 HAS SOUS 3039 HAS SOUPS 3026 WITH SCORE 3038.85
AT ITER 6225 NEW BEST:: SOT 25216 SOS 12820 HAS SOPS 12798 HAS SOUS 3039 HAS SOUPS 3026 WITH SCORE 3038.82
AT ITER 6257 NEW BEST:: SOT 25213 SOS 12814 HAS SOPS 12792 HAS SOUS 3036 HAS SOUPS 3023 WITH SCORE 3035.814
AT ITER 6268 NEW BEST:: SOT 25217 SOS 12819 HAS SOPS 12797 HAS SOUS 3031 HAS SOUPS 3018 WITH SCORE 3030.819
AT ITER 6336 NEW BEST:: SOT 25206 SOS 12799 HAS SOPS 12777 HAS SOUS 3029 HAS SOUPS 3016 WITH SCORE 3028.799
AT ITER 6351 NEW BEST:: SOT 25206 SOS 12796 HAS SOPS 12774 HAS SOUS 3023 HAS SOUPS 3010 WITH SCORE 3022.796
AT ITER 6358 NEW BEST:: SOT 25200 SOS 12782 HAS SOPS 12760 HAS SOUS 3015 HAS SOUPS 3002 WITH SCORE 3014.782
AT ITER 6571 NEW BEST:: SOT 25200 SOS 12789 HAS SOPS 12767 HAS SOUS 3008 HAS SOUPS 2995 WITH SCORE 3007.789
AT ITER 6604 NEW BEST:: SOT 25192 SOS 12768 HAS SOPS 12746 HAS SOUS 2997 HAS SOUPS 2984 WITH SCORE 2996.768
AT ITER 6617 NEW BEST:: SOT 25191 SOS 12766 HAS SOPS 12744 HAS SOUS 2996 HAS SOUPS 2983 WITH SCORE 2995.766
AT ITER 6781 NEW BEST:: SOT 25191 SOS 12766 HAS SOPS 12744 HAS SOUS 2993 HAS SOUPS 2980 WITH SCORE 2992.766
AT ITER 6813 NEW BEST:: SOT 25189 SOS 12764 HAS SOPS 12742 HAS SOUS 2991 HAS SOUPS 2978 WITH SCORE 2990.764
AT ITER 6890 NEW BEST:: SOT 25188 SOS 12763 HAS SOPS 12741 HAS SOUS 2990 HAS SOUPS 2977 WITH SCORE 2989.763
AT ITER 6899 NEW BEST:: SOT 25188 SOS 12763 HAS SOPS 12741 HAS SOUS 2989 HAS SOUPS 2976 WITH SCORE 2988.763
AT ITER 6925 NEW BEST:: SOT 25182 SOS 12738 HAS SOPS 12716 HAS SOUS 2986 HAS SOUPS 2973 WITH SCORE 2985.738
AT ITER 6949 NEW BEST:: SOT 25179 SOS 12729 HAS SOPS 12707 HAS SOUS 2983 HAS SOUPS 2970 WITH SCORE 2982.729
AT ITER 7052 NEW BEST:: SOT 25184 SOS 12724 HAS SOPS 12702 HAS SOUS 2982 HAS SOUPS 2969 WITH SCORE 2981.724
AT ITER 7126 NEW BEST:: SOT 25179 SOS 12719 HAS SOPS 12697 HAS SOUS 2977 HAS SOUPS 2964 WITH SCORE 2976.719
AT ITER 7263 NEW BEST:: SOT 25182 SOS 12684 HAS SOPS 12662 HAS SOUS 2975 HAS SOUPS 2962 WITH SCORE 2974.684
AT ITER 7299 NEW BEST:: SOT 25181 SOS 12683 HAS SOPS 12661 HAS SOUS 2974 HAS SOUPS 2961 WITH SCORE 2973.683
AT ITER 7663 NEW BEST:: SOT 25179 SOS 12674 HAS SOPS 12652 HAS SOUS 2972 HAS SOUPS 2959 WITH SCORE 2971.674
AT ITER 7678 NEW BEST:: SOT 25181 SOS 12676 HAS SOPS 12654 HAS SOUS 2970 HAS SOUPS 2957 WITH SCORE 2969.676
AT ITER 7682 NEW BEST:: SOT 25179 SOS 12680 HAS SOPS 12658 HAS SOUS 2969 HAS SOUPS 2956 WITH SCORE 2968.68
AT ITER 7752 NEW BEST:: SOT 25178 SOS 12679 HAS SOPS 12657 HAS SOUS 2967 HAS SOUPS 2954 WITH SCORE 2966.679
AT ITER 7916 NEW BEST:: SOT 25186 SOS 12692 HAS SOPS 12670 HAS SOUS 2964 HAS SOUPS 2951 WITH SCORE 2963.692
AT ITER 8062 NEW BEST:: SOT 25177 SOS 12452 HAS SOPS 12430 HAS SOUS 2964 HAS SOUPS 2951 WITH SCORE 2963.452
AT ITER 8083 NEW BEST:: SOT 25179 SOS 12516 HAS SOPS 12494 HAS SOUS 2963 HAS SOUPS 2950 WITH SCORE 2962.516
AT ITER 8236 NEW BEST:: SOT 25178 SOS 12515 HAS SOPS 12493 HAS SOUS 2963 HAS SOUPS 2950 WITH SCORE 2962.515
AT ITER 8255 NEW BEST:: SOT 25179 SOS 12517 HAS SOPS 12495 HAS SOUS 2962 HAS SOUPS 2949 WITH SCORE 2961.517
AT ITER 8326 NEW BEST:: SOT 25178 SOS 12516 HAS SOPS 12494 HAS SOUS 2961 HAS SOUPS 2948 WITH SCORE 2960.516
AT ITER 8423 NEW BEST:: SOT 25174 SOS 12456 HAS SOPS 12434 HAS SOUS 2957 HAS SOUPS 2944 WITH SCORE 2956.456
AT ITER 8485 NEW BEST:: SOT 25176 SOS 12457 HAS SOPS 12435 HAS SOUS 2955 HAS SOUPS 2942 WITH SCORE 2954.457
AT ITER 8593 NEW BEST:: SOT 25175 SOS 12456 HAS SOPS 12434 HAS SOUS 2954 HAS SOUPS 2941 WITH SCORE 2953.456
AT ITER 8685 NEW BEST:: SOT 25175 SOS 12456 HAS SOPS 12434 HAS SOUS 2953 HAS SOUPS 2940 WITH SCORE 2952.456
AT ITER 8904 NEW BEST:: SOT 25175 SOS 12456 HAS SOPS 12434 HAS SOUS 2952 HAS SOUPS 2939 WITH SCORE 2951.456
AT ITER 9112 NEW BEST:: SOT 25180 SOS 12433 HAS SOPS 12411 HAS SOUS 2952 HAS SOUPS 2939 WITH SCORE 2951.433
AT ITER 9153 NEW BEST:: SOT 25184 SOS 12437 HAS SOPS 12415 HAS SOUS 2950 HAS SOUPS 2937 WITH SCORE 2949.437
AT ITER 9333 NEW BEST:: SOT 25183 SOS 12436 HAS SOPS 12414 HAS SOUS 2949 HAS SOUPS 2936 WITH SCORE 2948.436
AT ITER 9429 NEW BEST:: SOT 25187 SOS 12429 HAS SOPS 12407 HAS SOUS 2934 HAS SOUPS 2921 WITH SCORE 2933.429
AT ITER 9490 NEW BEST:: SOT 25183 SOS 12422 HAS SOPS 12400 HAS SOUS 2924 HAS SOUPS 2911 WITH SCORE 2923.422
AT ITER 9530 NEW BEST:: SOT 25173 SOS 12400 HAS SOPS 12378 HAS SOUS 2914 HAS SOUPS 2901 WITH SCORE 2913.4
AT ITER 9556 NEW BEST:: SOT 25168 SOS 12395 HAS SOPS 12373 HAS SOUS 2904 HAS SOUPS 2891 WITH SCORE 2903.395
AT ITER 9557 NEW BEST:: SOT 25167 SOS 12393 HAS SOPS 12371 HAS SOUS 2902 HAS SOUPS 2889 WITH SCORE 2901.393
AT ITER 9565 NEW BEST:: SOT 25164 SOS 12390 HAS SOPS 12368 HAS SOUS 2902 HAS SOUPS 2889 WITH SCORE 2901.39
AT ITER 9595 NEW BEST:: SOT 25161 SOS 12387 HAS SOPS 12365 HAS SOUS 2902 HAS SOUPS 2889 WITH SCORE 2901.387
AT ITER 9605 NEW BEST:: SOT 25162 SOS 12387 HAS SOPS 12365 HAS SOUS 2899 HAS SOUPS 2886 WITH SCORE 2898.387
AT ITER 9739 NEW BEST:: SOT 25162 SOS 12306 HAS SOPS 12284 HAS SOUS 2899 HAS SOUPS 2886 WITH SCORE 2898.306
AT ITER 9842 NEW BEST:: SOT 25160 SOS 12304 HAS SOPS 12282 HAS SOUS 2897 HAS SOUPS 2884 WITH SCORE 2896.304
AT ITER 9945 NEW BEST:: SOT 25159 SOS 12303 HAS SOPS 12281 HAS SOUS 2896 HAS SOUPS 2883 WITH SCORE 2895.303
AT ITER 9950 NEW BEST:: SOT 25161 SOS 12301 HAS SOPS 12279 HAS SOUS 2895 HAS SOUPS 2882 WITH SCORE 2894.301
AT ITER 9967 NEW BEST:: SOT 25154 SOS 12267 HAS SOPS 12245 HAS SOUS 2895 HAS SOUPS 2882 WITH SCORE 2894.267
STATE_SPACE STATES 829535052 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 12906496870 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678493708997

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

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